 (-1 + 2)*((2 - 0) + -4). Let w be (3 + v)*(-2 + 1). Let f = -1523 + 98993/65. Is w at least f?
False
Let t(z) = z**3 + 3*z**2 + z + 3. Let s be t(-3). Let m be 5*2/40*8*(-35)/(-84). Which is greater: m or s?
m
Let i = 354 - 88. Which is greater: i or 265?
i
Suppose -8*h = -11*h - 45. Let f be (-2)/h + 6/9. Is f < 2?
True
Let r = 878 + -945. Are r and -48 unequal?
True
Let a be -4 + 1332*3/998. Is 1 at most a?
False
Let q = 8 + 27. Let w = q - 36. Let x = -1 - -1.5. Is w less than or equal to x?
True
Let o be (-21)/35 - (-116)/10. Let h = 19 - o. Is 6 smaller than h?
True
Suppose 0 = -2*f + 15 + 13. Let p(g) = 3*g + 5. Let c(r) = -8*r - 14. Let y(a) = f*p(a) + 5*c(a). Let u be y(2). Is 5 smaller than u?
False
Let a be (-15 - -1)/(6*(-95)/6726). Is 0.1 less than a?
True
Let y = 63378/115 + -551. Which is greater: 0 or y?
y
Let b = 46.45 + -47. Is b at least -6/7?
True
Let j = 8 + -6. Let c be j/(-4) + (-142)/(-124). Let h = -322/403 + c. Is h > 1?
False
Suppose 28 = 25*h - 53*h. Which is smaller: h or -2?
-2
Let b be 0/(-2 - -5) - -7. Suppose o - 16 = 4*y, b*o - 3*o - y - 19 = 0. Suppose 0*c + o*c + 24 = 0. Is c greater than -1?
False
Suppose 0 = 3*z - 2*v + 4*v - 160, 5*z = v + 245. Is 52 > z?
True
Let y = 79 - -55. Is -0.1 less than or equal to y?
True
Let t = 302 + -283.1. Let h = -7 - -26. Let a = t - h. Is -8 < a?
True
Let j = 1/222 + 217/1110. Let g = -0.07 + 0.14. Is g smaller than j?
True
Let o = 2086 + -2085. Is -6/325 less than o?
True
Let k = -22 - -22. Suppose -10 + k = -5*x. Let y(q) = -q**3 + 4*q**2 + 4*q - 5. Let b be y(x). Is 8 greater than b?
False
Let r(x) = x**2 + 77*x - 734. Let n be r(9). Does 4 = n?
False
Let a = 46.9 + -45. Let j = a - 0.8. Let s = 1.1 - j. Which is smaller: s or 1?
s
Suppose j - 8 = -4*o - 2, -3*j = o - 7. Which is smaller: o or 2/83?
2/83
Suppose -11*d + 547 = -960. Which is smaller: d or 140?
d
Suppose 5 = 5*k + 70. Let u = k - -12. Which is bigger: -2/19 or u?
-2/19
Let f = -146.59 - -145. Which is bigger: 0.1 or f?
0.1
Let o = 574 - 502. Is 70 less than o?
True
Suppose 10*j + 10 = 5*j. Let l(v) = 2*v**3 - v**2. Let x be l(2). Suppose 8*p - 4*p = 4*z + x, 0 = 5*z + 5*p - 5. Which is smaller: j or z?
j
Suppose 3*c - 5*c - 3*j - 32 = 0, -4*c + 2*j - 64 = 0. Is -19 greater than c?
False
Suppose -27*v = -10*v. Which is smaller: 2/303 or v?
v
Let t(l) = 4*l + 13. Let c be t(-4). Let v be ((-45)/3)/(c/2). Which is bigger: v or 11?
11
Suppose 723*k - 738*k = -30. Which is smaller: 14/25 or k?
14/25
Let w = 25 - 15. Let o be 9/15 - 164/(-10). Suppose -2*l + o = -1. Is l not equal to w?
True
Suppose 0 = -3*w + w + 10. Suppose -w*d + 4 = -11. Suppose y - 2 = i, -5*i + d*y = y + 7. Is -2/11 greater than i?
True
Let j(l) = -l**2 - l + 31. Let c be j(-6). Let g = -25.21 + 0.21. Is g greater than or equal to c?
False
Let g(m) = 3*m - 76. Let a be g(17). Let q be -2 + (-2 - -31) - 2. Let p = q + a. Which is smaller: p or -3/16?
-3/16
Let d = -137965/943311 + 2/10599. Which is greater: 0 or d?
0
Let m = -16.1 - -11.1. Is -1.2 greater than m?
True
Let p be 2/36*20/265. Let m = -2347/9063 - p. Is m bigger than 0?
False
Let y = -2266 - -287784/127. Which is bigger: 0 or y?
y
Let t = 0.1 + -0.23. Let y = 203 + -199. Is t greater than y?
False
Let i be 5/(35/(-4)) + 392925/688415. Which is smaller: i or 1?
i
Let x = 44 + -19. Let f = -30 - -24. Let g be (-4)/f*39/(-26). Which is smaller: g or x?
g
Let x = 25 - 27. Let u be x + 64344/10810 + -4. Let k = u - -1/235. Which is bigger: -1 or k?
k
Let p = -22 + 21.7. Let l = 4.1 - 4. Let n = p + l. Which is smaller: 5 or n?
n
Let v(a) = a**2 - 7*a + 4. Let y be v(7). Let d = 16 + -6. Suppose 2*h - d = -0*h. Is h equal to y?
False
Suppose 11 + 11 = -2*p - 5*x, 5*x = 3*p - 17. Is p at least -1/373?
False
Let q(b) = -5*b**2 - 19*b + 3. Let a be q(-4). Which is bigger: 9/28 or a?
9/28
Let x(j) = -42*j + 2. Let p be x(2). Is 3 at most p?
False
Let y be (4 + 2)*((-224)/24 + -2). Is y smaller than -614/9?
False
Let u(w) = -2*w**3 - 7*w**2 - 11*w - 12. Let p be u(-4). Let d = -48 + p. Let f be (-4)/(-5) + 1/(-2). Which is greater: d or f?
f
Let g be ((-15)/2610)/((-140)/45). Which is smaller: g or -1?
-1
Suppose 0*v - 5*v = 0. Let n be ((-34)/85)/((-1)/(5/(-386))). Is n less than v?
True
Let j be (8/6)/(11/297). Which is smaller: j or 34?
34
Let h(d) = 14*d**2 + d + 2. Let y be h(2). Let l be 22/(-12) - (-20)/y. Which is smaller: -3 or l?
-3
Let u be (-2938)/(-120) + -2 + (-7)/(-28). Let k = u - 67/3. Is k at most as big as 1?
True
Let c = 33104/11 + -3012. Is c less than or equal to -2?
True
Let n be ((-4)/3)/(4/(-6)). Let k(z) = -2*z**2 - 5*z + 5. Let x(h) = -h**2 - 4*h + 4. Let a(d) = -4*k(d) + 5*x(d). Let m be a(1). Is m at least n?
True
Suppose 0 = j - 6*j + 2*g + 400, -j + 4*g = -98. Is -1 smaller than j?
True
Let l(t) = -9*t - 6. Let b be l(6). Let q be (9/b)/((-3)/206). Let z = -44/5 + q. Which is bigger: z or -1?
z
Let y = -0.89 - 0.11. Let m = y + 3. Let b be (-2)/(-9) - 40/(-630). Is m not equal to b?
True
Suppose -4*f + s + 117 = 0, -f = -0*f - 5*s - 53. Suppose -p = 3*p + f. Which is smaller: p or -8?
-8
Suppose 4*a = 1 + 7. Let i = -12169 + 12178. Is i < a?
False
Let f = -107.829 - -149.73. Let g = f - -0.099. Let z = g - 32. Are -0.1 and z equal?
False
Let c(t) = -t + 1. Let x(f) = -7*f - 44. Let o(p) = -c(p) + x(p). Let a be o(-8). Is a less than 8?
True
Suppose 0 = -4*o - 275 + 267. Is -14/19 at most as big as o?
False
Let x = 467353/29546 + 1/2686. Which is smaller: 16 or x?
x
Let m = 143 - 143. Let q = 1 - 0. Which is bigger: m or q?
q
Suppose -4*d = 4*t - 324, 0 = 4*t - 6*d + 9*d - 319. Is 76 equal to t?
True
Let f = 6 - -6. Which is greater: f or 11?
f
Let n = -0.1 + 2.1. Suppose 2*b = 4*x - 50, -5*x + 63 = 5*b - 22. Suppose x = -2*v + 4. Which is greater: n or v?
n
Suppose 0 = 21*q - 16*q + 10. Which is smaller: q or -0.6?
q
Let s = -2006 + 1693. Which is smaller: s or -311?
s
Suppose 0 = 5*i + 3*f - 50 - 9, -31 = -3*i - 4*f. Let v(c) = -341*c + 13656. Let x be v(40). Is x greater than i?
True
Suppose -2*l + 3*v = 199, 4*l = 2*v - 3*v - 433. Which is greater: -110 or l?
l
Let s(j) = -4*j + 3. Let r be s(-9). Suppose r - 99 = -5*i. Is 13 greater than i?
True
Let o(i) = 2*i - 6. Let m be o(-1). Let t be 2/(-9) + -5*m/252. Is 0 at least t?
True
Let s(q) = q**3 + 10*q**2 + 7*q + 60. Let o be s(-10). Which is smaller: o or -98/11?
o
Let q = 35 - 51. Let g = -1/1274 + -1271/3822. Which is bigger: q or g?
g
Let y = -14 + 12.9. Let l = 0.5 - y. Let o = 0.6 - l. Is 0 at most o?
False
Let z = -1085 - -1091. Does -0.025 = z?
False
Let g = 714 - 10709/15. Which is greater: g or 14?
14
Let s = -26.003 + 0.003. Let r = -24.3 - s. Let t = r - -0.4. Which is bigger: 0 or t?
t
Let d = 6 + -5.9. Let m = 390 - 349. Is m equal to d?
False
Let g be 0 + 1*(-4)/((-8)/(-166)). Is g > -85?
True
Let p = -356 - -319. Which is greater: p or -8?
-8
Let o = 2/7 + -11/14. Let j = 60.5 + -61. Is o at most as big as j?
True
Suppose -5*s - 123 = -3*b - 25, -4*s - 81 = -5*b. Is -1 at least s?
True
Suppose 4*p + 18 + 2 = 0. Let d = p + 3. Let x be d*((-7)/2 - -3). Is x < 10/7?
True
Let k be (-1)/(-14*(-8)/56). Which is smaller: -168 or k?
-168
Suppose 4*n - 164 = -5*f, -4*n - 29 = -4*f + 95. Suppose 233*k - 232*k + 70 = 2*g, 5*k + 164 = 4*g. Which is smaller: g or f?
g
Let t = 110202/3689 - 508/17. Let h = t + -1513/651. Is 2 bigger than h?
True
Suppose -11*w - 13 = -12*w + 5*q, 5*q + 11 = 2*w. Do 157 and w have different values?
True
Suppose s + 18 = 4*f, -s - f - 3*f = -6. Let n be 15/s*(-22)/20. Suppose 0 = 31*c - 8*c - 92. Do c and n have the same value?
False
Let k(s) = s + 9. Let a be k(-8). Let r = 2.363 - 0.353. Let x = 0.31 - r. Is a smaller than x?
False
Let a be ((-2)/3*-3)/(-122). Let m = -349/1037 + a. Which is bigger: m or -1?
m
Let o be 8/(-44) + (-2416)/22. Which is smaller: o or -109?
o
Let o be -29 + ((-8)/(-48))/((-1)/(-6)). Which is smaller: -187/7 or o?
o
Suppose -s - 14*o + 93 = -16*o, 4*s - 351 = o. Is 87 smaller than s?
False
Suppose 6*g - 5 = -z + g, -2*g + 16 = -z. Let r be ((-91)/35)/(1/(-5)). Let h = r + z. Which is greater: h or 4?
4
Suppose -11628 = -30*j - 8*j. Are j and 306 unequal?
False
Let h = 959.36 + -959. Which is bigger: h or 2?
2
Let u = -249 - -248. Is -