 is bigger: i or -20?
i
Let l(r) = r**2 + 6*r + 29. Let p be l(0). Which is greater: -44 or p?
p
Let r = -52.967 - -53. Let p = -58.067 + 58. Let j = p - r. Which is greater: j or -1/30?
-1/30
Suppose 19*x + 1957 - 1957 = 0. Is 30/271 less than x?
False
Suppose 31*o + 3*u = 27*o - 16, -3*o + 4*u = -13. Is o bigger than -6/947?
False
Let x = 3967/693 + -13/77. Let i = x - 203/36. Let q = -62 - -62.1. Which is smaller: q or i?
i
Let u = 218 + -1957/9. Let c(p) = p**3 - 7*p**2 - 9*p + 15. Let v be c(8). Let l = 7 - v. Which is bigger: u or l?
u
Let a(t) = -1146*t + 997. Let d be a(1). Which is smaller: d or -7?
d
Let k = 175 + -172. Let g be 2 + 6/(-12) - 4/k. Is -13/5 bigger than g?
False
Let h = 225 + -530. Let r = h - -192. Let n = 229/2 + r. Which is bigger: n or 8/11?
n
Let d = 19 + -33. Let v(w) = 4*w**2 - 20*w - 22. Let l(b) = -5*b**2 + 21*b + 23. Let r(h) = 5*l(h) + 6*v(h). Let o be r(-15). Is o less than d?
True
Let d be ((-2)/5 - (-24)/(-40))*26. Let c = 70 + d. Do 44 and c have the same value?
True
Let r be (-394)/3708 - (10/(-414) + (-1404)/16146). Let d(t) = -4*t + 2*t**2 - 2 + 0*t**3 - t**3 + 2*t**3. Let h be d(-3). Are r and h unequal?
True
Let a = -50 - -57. Suppose a*u = 7 + 175. Let i = u - 31. Which is smaller: i or -7?
-7
Let n be -3 + 9 - ((-240)/(-18) + 1). Suppose -4*b = 5*w + 13, 4*b - w = 3*w - 40. Which is smaller: n or b?
n
Let b(j) = -3*j - 59. Let u be b(-21). Suppose -2*k - 8 = u*z, 4 = -4*k - 2*z - 0*z. Suppose -2*r + p + 18 = -k*p, 9 = r + 5*p. Is 1 greater than r?
False
Let d = -5 + 2. Suppose 7*r = 10*r - h - 4, -5*r = 5*h - 40. Let p be r/1*76/(-57). Which is bigger: d or p?
d
Let h = 2160.09 - 2094. Let g = -65 + h. Is g greater than -0.2?
True
Let a = 1.008 - -351.392. Let d = a - 271. Let s = d + -82. Which is bigger: -1/5 or s?
-1/5
Let o = -59 + 90. Suppose -n = -4*l + 115, -2*n + 2*l + o = 261. Let p = n + 114. Which is smaller: -0.7 or p?
p
Let y = 24.86 - 25.86. Which is greater: 446 or y?
446
Let a = 1/43016 + 37813/223812248. Is a < -1?
False
Suppose u + 11*d = 44, 3*u - 30 + 46 = 4*d. Let w be 0 + -2 - 122/(-56). Which is smaller: u or w?
u
Let g = 60 + -41. Suppose -g*m = -21*m - 10. Let o be -2*(-4 - m) + -4. Which is bigger: -8 or o?
o
Let j = 366 + -362. Is j >= 294/67?
False
Let h = -11.5 + 10.43. Let s = h - -1.08. Let r = s - 3.01. Is r at least -1/4?
False
Let c = -1613 + 1606. Which is smaller: -9 or c?
-9
Let i be (1 - (1 + 0)) + 0. Let p = 0.669 - -129.331. Let g = 141 - p. Are g and i equal?
False
Let x be (1/3)/(17 + (-232428)/13671). Which is greater: x or -1521/7?
x
Let p = 1131 - 51. Let b be 1521/p + (-12)/9. Let f = b - -3/10. Are f and -2 non-equal?
True
Let y = 15.8 - 13.1. Let n = y - 3.3. Which is greater: n or -3?
n
Let h(f) = 3*f + 126. Let a be h(-30). Suppose 76 = -32*w + a*w. Is w greater than 20?
False
Let s be 1/(24 - 58776/2448). Let r(q) = -4*q**2 + q + 5. Let h be r(-5). Is h at least s?
True
Let a(z) = -z**2 - 11*z + 60. Let s be a(0). Let v be (-72*(-6)/s)/(6/40). Which is bigger: v or -1?
v
Let x(o) = 2*o**3 - 11*o**2 - 12*o - 59. Let w be x(7). Is w smaller than -54?
False
Suppose 3*h + 15 = -5*x, 0 = 2*h - h - 4*x - 12. Suppose -12*p + 47 - 239 = h. Let d(m) = m**3 + m**2 + m - 15. Let n be d(0). Is n != p?
True
Suppose -5*k + 5*v = -3*k - 85, -5*k + 140 = 2*v. Suppose -1 = -9*b + 10*b. Let i be (k/15)/(b*2). Is i smaller than 6/29?
True
Let s be (-1)/2 - 0/(-4 - -32). Which is bigger: -2435 or s?
s
Suppose -a + 5*d = 11, -2*a + d = -3*d + 10. Let b be 1/(-2 + a/(-6)). Is b >= 2/5?
False
Let p = 305/114 - 16/19. Suppose -3*j + 2 = 56. Let h be (-2)/4 + (-27)/j. Which is bigger: p or h?
p
Let k(u) = -14*u**2 + 5*u - 2. Let q be k(-2). Let c be -2 - 72/(-34) - (-42)/q. Which is greater: 2.32 or c?
2.32
Let v(j) = 2*j - 19. Let s be ((-1)/(-2) + 374/4)*-1. Let p = -89 - s. Let k be v(p). Is k equal to 2?
False
Let c = 50 - 120. Let p = -169 - c. Is p < -98?
True
Suppose 6*r = 8*r + 202. Let h = r + 102. Let m = -82 + 1078/13. Which is smaller: h or m?
m
Let n = -4740 - -4763. Are n and -0.15 nonequal?
True
Let c = -15.1 + 18.84. Let o = c + -3.04. Do o and -0.2 have the same value?
False
Suppose -2*k - 93 = n, -3*k - 291 = -3*n + 6*n. Let q = n + 103. Suppose q*w + c + 7 = 6*c, 3*c + 1 = -4*w. Which is smaller: w or -5/32?
w
Let h = -9535 + 8510. Is -1025 at most as big as h?
True
Suppose 2*c - 1621 - 1611 = 0. Let b be c/26 + (-70)/455. Is b at least 62?
True
Suppose 32*a - 4*f - 368 = 33*a, -f + 673 = -2*a. Which is smaller: a or -350?
-350
Let x = 222 - 196. Suppose 34 = -x*s - 356. Which is greater: -13 or s?
-13
Suppose 9*u = -6*u + 6615. Suppose 85*y - u = 36*y. Is y smaller than -1?
False
Let w = 784/187 - 109420/16643. Is w at least as big as -1?
False
Suppose 0 = -q + 2*s + 898 - 35, 0 = 4*q - 5*s - 3440. Is q bigger than 855?
False
Suppose -538 = -3*v - 5*z, 6*z - 712 = -4*v + 2*z. Suppose -9*i + v = -5*i. Suppose 5 = i*q - 39*q. Which is greater: q or -1?
q
Let x = -2 - 2. Let p(c) = -c**2 - 29*c - 86. Let h be ((-5)/(100/(-24)))/(2/(-5)). Let f be p(h). Is f less than x?
True
Let a = -32860 - -32859. Let n be 112/(-118) - (-2 + 1). Which is smaller: a or n?
a
Let o be (-567)/(-81) + 249/1. Is 255 at least o?
False
Let p be -633 + -39 + 9 + -1. Let r = 5313/8 + p. Is 2 > r?
True
Let h = 524.532 - 525. Let i = 0.668 + h. Let r = -240 - -2158/9. Is r < i?
True
Let g(n) = -24*n + 4 - 24*n + 47*n. Let h be g(5). Which is greater: h or -3/209?
-3/209
Suppose -21 = -n - 16. Suppose 0 = -3*o + s - n*s - 13, -2*o + s + 6 = 0. Let y = 4 + -12. Which is smaller: y or o?
y
Let o = -13869/4955 + -1/991. Let v(w) = 2*w**3 + w**2 + 3*w - 2. Let f be v(1). Let b be (2 - (-18)/(-8))*f - 1. Which is smaller: b or o?
o
Suppose 0 = 7*f - 53 - 710. Let m = -30 - -29. Does f = m?
False
Let q = -15.7 - -14.47. Let g = q - -9.23. Let o = -0.98 + -0.02. Which is bigger: g or o?
g
Let n be 18591/(-4647) + (0 - -8 - 4). Does n = 0?
False
Let h = 88 - -449. Let i = h - 462. Is i at least 0.4?
True
Suppose -7 = 4*a - 5*a, 4*m - 2*a = 526. Suppose -4*g + p = -545, 2*g - 2*p - 269 = -5*p. Which is smaller: g or m?
m
Suppose -53*b + 5670 = -11*b. Let p be 630/8*180/b. Is 1 smaller than p?
True
Let c = -18 - -30. Suppose 8*v = 129 - 105. Suppose 2*a + v = 21. Does a = c?
False
Let m = -96 + 108. Suppose -5*j - m = -8*j. Let i = j + -17. Is -10 greater than or equal to i?
True
Let i(o) = 4*o**2 - o - 6. Let k be i(7). Let b = k + -57. Let z be 78/b + 2/(-6). Which is smaller: z or 1?
z
Let x = -1202 + 1202.019. Is x greater than 16/5?
False
Suppose 0 = 16*k - 13*k + 3. Let y be -137 + 141 + (1 - (-103)/(-18)). Which is bigger: k or y?
y
Let d be ((-4)/(-1))/(28 + -26). Suppose d*l - 9*l = -7. Is 14/29 <= l?
True
Let n = 5 + -2. Let h = -24 + 45. Suppose 5*y - 34 = -o, 18*y - h*y + o = -14. Is y bigger than n?
True
Let m = 0.0877 - -457.9123. Let w = -486 + m. Which is smaller: w or 2/5?
w
Let a(g) = 9 + 4*g - 2 + 9*g**2 + g - 14. Let c be a(3). Suppose s - c = -3*l, -4*s + 180 + 204 = -2*l. Which is smaller: 96 or s?
s
Suppose 543*h + 2325 = 558*h. Let r(a) = -6*a**3 - 2*a**2 - 4*a - 2. Let d be r(-3). Do d and h have different values?
True
Let b be 3 - (-15)/(-10) - (-194)/4. Suppose 9*q + b = -40. Let u = 18 + q. Is u at most 31/4?
False
Let v(u) = 2*u**2 + u - 2. Let z be v(-2). Suppose -3*p + 134 + 836 = y, -2*p + 642 = 3*y. Let m = 2613/8 - p. Which is bigger: z or m?
z
Let c(w) = -2*w + 28. Let y be c(13). Let u be 6/(-81)*11/(-66). Is u at most as big as y?
True
Let i = 1346 - 17500/13. Which is greater: -0.134 or i?
-0.134
Let k(z) = 35*z + 32. Let j(o) = 9*o + 16. Let s be j(-2). Let w be k(s). Are w and -31 unequal?
True
Let d = -13 + 2. Let b be 13/((-2145)/d)*8/(-2). Suppose 5*l + 6 = 3*o - 4, -o + 5 = 0. Is l < b?
False
Suppose 4*b = -2*j + 736, -5*j + 1819 = -4*b + 7*b. Is 363 > j?
True
Let b(v) = -11*v - 118. Let x be b(-7). Suppose 0 = -4*z + s - 2, 5*z = 4*s - 5*s + 2. Suppose z*n - 164 = 4*n. Is n smaller than x?
False
Let y be ((-5)/(-10))/((-2)/(-20)). Suppose 8 = 20*d - 32. Suppose -d*j = q - 13, -2*q + 17 = -4*j + 7. Which is smaller: y or q?
y
Let n = -844 + 852. Let d be -562 - (0/n + -3). Which is greater: -558 or d?
-558
Let r = 71671 + -71704.987. Let p = r 