r be (16/48)/((-3)/(-1 - 521)). Suppose -j - r = -92. Which is smaller: j or 35?
j
Let w = 28.08 - 36.08. Let y = -139 - -136.03. Let r = y + -0.03. Which is smaller: w or r?
w
Let q = -35 + 36.8. Let p = q - 81.8. Let g = p + 81.2. Which is smaller: -2/5 or g?
-2/5
Suppose -4*g - 1439 = 5*a, -3*a - 7*g + 2*g - 853 = 0. Let r = 6347 - 6637. Which is bigger: a or r?
r
Suppose 3*u + u = -2*w - 14, -8 = -4*u. Is 19 at most as big as w?
False
Let j = -8.44 + -31.46. Let w = -47 - j. Which is bigger: 0.1 or w?
0.1
Let j(h) = -23*h**2 - 16*h**2 + 10*h**2. Let q be j(-1). Let s(g) = -g**3 - 95*g**2 - 536*g - 40. Let o be s(-6). Which is smaller: o or q?
q
Let s(f) = f**3 - 10*f**2 + 7. Suppose -7*x = -10*x + 15. Suppose -x*l + 17 = -33. Let c be s(l). Which is bigger: c or 2?
c
Let b = -22546/1043523 + 10/1053. Which is smaller: 1 or b?
b
Suppose -v - 95 = 4*v. Let o be -4*(-3)/66 + 2 + (-288)/132. Is v equal to o?
False
Let r = -7842 - -7885. Is r equal to 91?
False
Suppose 0 = 143*r - 139*r - 120. Let g be (-3)/(2 + (r/12)/(-5)). Is -26/33 at most as big as g?
False
Let d = 111 - 108. Suppose 10*x = 5*x + 10, t + x = d. Let b be 3 + (-2)/(0 + t). Which is greater: -3/56 or b?
b
Suppose 29*o - 43722 = -5848. Is 1308 < o?
False
Suppose -5*i + 80 = 15*i. Let y be 23472/(-384)*(i/(-6) - -2). Which is bigger: -82 or y?
y
Let k = -24963 - -24999. Which is smaller: 8.3 or k?
8.3
Let y = 82192 - 740519/9. Is y != -87?
True
Suppose 2*f - 3 = -z - 0, -9 = -3*z - 4*f. Suppose 12 + 0 = -4*s. Let d be z - (-3*4/s + -1). Is -5/11 greater than d?
False
Suppose 13*k = 791 - 76. Let i be 2 - ((-2)/(-11) + (-3805)/k). Is 71 less than or equal to i?
True
Suppose -4*w + g = -85 - 21, 71 = 3*w - 5*g. Which is smaller: w or 464/17?
w
Let t = -275071/870 - -4717/15. Let g = -6/29 - t. Which is smaller: g or 2/3?
2/3
Suppose 0*l + 555 = 5*l. Let a = l + -59. Let x(t) = 12*t + 364. Let y be x(-26). Is a >= y?
True
Let g(z) = 2*z + 20. Let t be g(-9). Suppose t*n - 3*r + 19 = 0, 0*n = 2*n + 4*r - 2. Let q be 1*3 + (-70 - n). Are q and -60 unequal?
True
Suppose -14535 - 11233 - 8460 = -4*m. Is 8558 greater than m?
True
Let x = -60/1313 - 58665/9191. Is -7 at least as big as x?
False
Let w = -7 + 1. Let n(a) = -a**3 + 2*a**2 + 4*a + 13. Let c(f) = 2*f**3 - 5*f - 14. Let u(s) = -2*c(s) - 3*n(s). Let l be u(w). Which is greater: l or 1/10?
l
Suppose -2*g - 64 = 2*g. Let c(s) = s**3 + 21*s**2 + 15*s - 117. Let f be c(-20). Is g > f?
True
Let p = -8.05 + 47.93. Is p > -0.1?
True
Let p(o) = -o**3 - 9*o**2 - 6*o + 9. Let w be (-4)/(-6) - (-182)/(-21). Let s be p(w). Let g = 302 - 308. Is s < g?
True
Let u(z) = -5 + 2*z - 7 - 24 - 16. Let o be u(26). Suppose r = 2*d - o*r + 13, -3*r = -3*d - 21. Which is smaller: d or -5?
d
Suppose 5*o = v + 93, -o - 2*v + 4*v + 24 = 0. Let w = o - 11. Let j(h) = -h**2 + 8*h + 4. Let k be j(w). Which is smaller: k or 8?
8
Suppose -12*g + 595 = 5*d - 10*g, 3*d - 357 = 5*g. Let l = d + -314. Is l at most as big as -194?
True
Let y = 270.87 - -1098.13. Which is smaller: y or -7?
-7
Let a = 0.87 - 0.898. Let x = -5.928 + 6. Let d = x - a. Which is bigger: d or 2.9?
2.9
Let i(q) = q**3 - 3*q**2 - 2*q - 2. Let f be i(3). Let c be -4*((-8)/32)/(2/f). Let t = c - -19. Which is smaller: t or -1/2?
-1/2
Let o be 407/(-55) + 2/5. Let i be 3/o + 1056/14. Let s be (1 + 11/(-14))*4/i. Which is bigger: 1 or s?
1
Let u(c) = -c**3 - 9*c**2 + c. Let k be u(-5). Let w be (155 + 1)/((-34)/4 + 595/85). Which is greater: w or k?
w
Suppose -a - 2*p - 530 = 0, -2*a + 4*p - 239 = 837. Which is greater: a or -536?
a
Let b be -1 + (-21)/(-15) - (28574/8435 - 3). Which is bigger: b or 0?
b
Suppose 5*v - 400 = -5*p, -3*v + p = 2*v - 388. Suppose -10*l = 3*l - v. Which is smaller: 5 or l?
5
Let g = -1461.91 + 1462. Let k = 0.094 - 0.094. Is g greater than k?
True
Suppose -12*y - 3*f = -13*y - 27, -2*y - 5*f = 43. Let v(b) = 4*b**3 + 6*b**2 - b**2 - 3*b**2 - 6 - b + 5. Let o be v(-2). Which is smaller: y or o?
y
Let d(x) = x**3 + 12*x**2 + 2*x - 128. Let v be d(-11). Let w(q) = -7*q - 7. Let o be w(-5). Let n = v + o. Which is smaller: -4 or n?
-4
Let m(n) = -n**2 + 12*n - 5. Let u be m(5). Let v = -7517 - -7521. Let f be ((-3)/(u/25))/((-2)/v). Which is smaller: f or 21/4?
f
Let w = -1/2091 - 4169/27183. Is -0.2 smaller than w?
True
Let c = -139.77 + -2.43. Are c and 0.1 nonequal?
True
Let r(c) = -c**3 + 8*c**2 - 12*c + 19. Let y be r(8). Let x = y + 113. Suppose -14*f + x = -16*f. Do -18 and f have the same value?
True
Suppose 0 = -4*d + 78 + 10. Let k be 40/22 + 4/d. Suppose 49*o + 354 = -214 - 118. Is k at least o?
True
Let j(x) = -x**2 + 22*x - 92. Let n be j(6). Let u be (n - 2) + (35 - 36). Is 1/665 bigger than u?
False
Let a = -2671 - -21393/8. Let w(j) = 2*j + 17. Let o be w(-7). Is a smaller than o?
False
Let d be (-10 - 4)*(0 + 4/(-28)). Let w be (d + 2)/(44/440). Suppose -v + 30 + 9 = 0. Is w at most as big as v?
False
Let d = 3504 + -3456. Which is smaller: 62 or d?
d
Let v be 4 + ((2422/(-70))/(2/(-10)))/(-1). Are v and -1185/7 unequal?
True
Let x be (-6)/(-15) - (-83)/5. Suppose 0 = 463*d - 369*d - 1786. Is x at least as big as d?
False
Let b(r) = -r**2 + 196*r - 2385. Let l be b(182). Let h = -168 - -332. Which is smaller: l or h?
l
Let r = 48.51 - 48.51. Which is smaller: 3879 or r?
r
Suppose -130*v + 271788 = -235212. Is 3900 < v?
False
Let c(f) = f**2 - f - 6. Let o be c(-6). Let t = o - 52. Let m be t/28 - (-342)/(-112). Is -5 > m?
False
Let v(g) = 22*g**3 + 7*g**2 - 25*g + 13. Let y be v(2). Which is bigger: y or -28?
y
Let i(n) = -n**2 + 16*n - 39. Let d be i(7). Let t be 8/d - 8/18. Is -1 <= t?
True
Suppose 93*m + 666 = 75*m. Which is smaller: m or -2?
m
Let d(m) = m**2 - 7*m - 133. Let o be d(-25). Suppose -621 - o = 28*f. Is f bigger than -50?
True
Let r be (-4688)/7 + 106/(-371). Is -668 < r?
False
Suppose -219 = -2*t - 209. Suppose -3*l = -t*u + 1, -3*u + 61*l - 56*l + 7 = 0. Do u and 2/211 have the same value?
False
Let f be 0 + 20/15*816 + -2. Let v = -4323/4 + f. Which is smaller: 4 or v?
4
Let x be (6*238/(-147))/((-5)/(-14))*35. Which is smaller: -6662/7 or x?
x
Let f(u) = u**3 + 26*u**2 - 25*u + 61. Let b be f(-27). Let i be 10/((-3)/126 - 1/b). Is -60 bigger than i?
False
Let g = 0.046 - 0.09. Let y be ((-3)/2)/(78/52). Does g = y?
False
Let d be 41 + 1 + (-325923)/8631 - (-14)/(-3). Let t = -0.2 - -1.2. Which is smaller: t or d?
d
Let r = -3/58960 - -2005279/12558480. Is r equal to -1?
False
Let o be (6/192)/(1 - (-261)/(-246)). Which is smaller: 0 or o?
o
Suppose 95*q - 27574 - 11487 = 28*q. Which is smaller: q or 580?
580
Let b(i) = -199*i**2 - 7*i - 2. Let k be b(1). Is k at most -195?
True
Let r = -275 - -219. Let p = -55.9 - r. Which is smaller: -0.23 or p?
-0.23
Let n = -184 - 3133. Let j = -3308.972 - n. Let y = 0.028 - j. Which is bigger: y or 1/5?
1/5
Suppose -188*i - 9 + 313 = -36*i. Which is smaller: 957 or i?
i
Let g(o) = 15*o - 258. Let a be g(17). Let p be ((-2)/a + -1)/((-2210)/(-1836)). Which is smaller: p or 0?
p
Let z = 2961 - 4486. Which is smaller: z or -1526?
-1526
Let r = -88.37 - -100.37. Which is greater: r or 0.87?
r
Let u = 5121 + -2318. Does 2804 = u?
False
Let z be 15 - 31/(62/(-144)). Is z > 14?
True
Suppose -1 = c + 5*w, -55*c + 2*w - 3 = -52*c. Suppose 0 = -r - 5*i - 99, 4*r + i + 32 + 459 = 0. Let s = r - -1985/16. Which is smaller: c or s?
c
Suppose 5*h + 2*n - 20 = 0, 5*h + 4*n - 20 = 7*n. Let m(q) = 7*q**2 - 3*q - 2. Let k be m(h). Let i = -3 + k. Is 95 at most i?
True
Let z = 270 - 234. Let u be 48/(-36)*z/3. Is -31/2 >= u?
True
Let w(x) = x**3 + 4*x**2 - 8*x - 18. Suppose 0 = -2*n + n - 5. Let j be w(n). Let i be 1*(1 + 0/j). Is -5 less than i?
True
Suppose -6*h + 10*h = -3*y - 390, 0 = -y + 2. Let n be (-4)/22 + (-106)/h. Which is greater: 1/5 or n?
n
Let x(w) = 553*w + 7018. Let s be x(-11). Which is bigger: 937 or s?
937
Suppose -5*k = -5*j + 200, 38*j + 3*k + 162 = 42*j. Let c be 18/(12/20 + 2/(-2)). Let y be 41 + 2/(-10) + (-9)/c. Which is bigger: j or y?
j
Suppose -12 = -5*n + 48. Let l(a) = -86*a + 429. Let b be l(5). Which is smaller: n or b?
b
Suppose h + 4*m = 18, 0*h = 2*h - 3*m + 19. Let t = 6341 - 6316. Is t greater than h?
True
Let p(j) = -54*j. Let c be p(-1). Let w be ((-30)/18)/((-75)/25