-12)/(-198). Which is smaller: w or -1?
-1
Suppose 2*g = u - 4, 3*u = 7*u - 8. Let i be (-24)/(-14)*((-7)/2)/g. Which is smaller: 7 or i?
i
Suppose -2*j - n + 126 = -6, 0 = 5*j + 4*n - 327. Suppose 64*p = j*p. Is p >= 2/51?
False
Let k = 1 + 1. Let j be 4*((-1)/k + 1). Suppose 0 = -j*f + 5 - 3. Is 2 less than f?
False
Let p be (12/(-8) - -2)*18 - 3. Suppose o - p = -3*o - 2*n, 0 = -o + 4*n - 21. Which is bigger: 1/66 or o?
1/66
Let d be (100/225)/(4/18). Let w be 35/10*3/(-6). Is w smaller than d?
True
Suppose 5*c - 3*j = 25, c - 5*j = -2*c + 15. Suppose 2*w = -2*w - 5*r - 8, -c*r - 35 = -5*w. Suppose 2*a + 150 = -w*a. Is a less than or equal to -29?
True
Let o = -713 - -713. Which is smaller: -438/7 or o?
-438/7
Let f(s) = s**3 - 5*s**2 + 19*s + 9. Let p be f(4). Which is greater: 77 or p?
77
Suppose -5*l + 4*l + 5 = 0. Suppose -l*m + 67 = -18. Suppose -2*z + 27 + 7 = 0. Is z smaller than m?
False
Let c = -53 - -12. Let d = c + 38. Are -5 and d equal?
False
Let l(z) = z**3 + 11*z**2 - 2*z + 6. Let g be l(-11). Suppose -23*k + 125 = -g*k. Which is smaller: -27 or k?
-27
Let j(t) = t**3 - 6*t**2 - 3*t - 15. Let w be j(7). Suppose 12*x = w*x + 12. Is -10 >= x?
True
Let h be (-39)/189 + (-4)/18. Let f be (-4)/(-18) + 30/(-54). Which is bigger: f or h?
f
Suppose -8*i + 4*i + 48 = 0. Suppose c - 107 = -4*t + 4*c, 0 = -4*t - 3*c + 101. Let z = t - 14. Is i > z?
False
Suppose 3*l + 5*b + 27 = -l, 3*b = -5*l - 24. Suppose 35 = -5*f + 5*m, -m = 2*f - f + 17. Let s be 0/(4*l/f). Is 5/7 at least as big as s?
True
Let t = -0.855 + 0.755. Which is smaller: -1/5 or t?
-1/5
Let s be (2 - 16/8) + 678/(-11). Which is smaller: s or -62?
-62
Suppose -648*p = -650*p + 530. Which is smaller: p or 264?
264
Let c = -0.109 - 2.991. Do c and 1 have different values?
True
Let x = 3 + -2.98. Let q = -14.02 - -14. Let b = x + q. Do b and -1 have different values?
True
Let z = 0.93 - 1.66. Let x = z + 0.63. Is x greater than -24?
True
Let k(o) = 26*o**2 + 10*o + 18. Let n be k(-2). Is n at most as big as 103?
True
Let n(x) = -2*x + 50. Let g be n(13). Suppose -22 = 2*h + a, 12 = -4*h + 2*a - g. Is -10 less than or equal to h?
True
Let k be (40/60)/((-2)/(-15)). Suppose 0 = -4*h + 2*h + k*v + 16, 4*h = 2*v. Which is greater: h or 1?
1
Let t = 68/3 - 22. Suppose -l + 0*l = -4. Suppose l*b - 9*b + 3*z + 22 = 0, 4*z = 3*b - 22. Is t equal to b?
False
Suppose -3*u = -4*i + 51, -4*i + 0*u = 3*u - 21. Let n be i/(-3)*(-2)/18. Let x = 0.0596 - 0.0596. Is x >= n?
False
Let c = 301480892 - 143203674024/475. Let z = 527 + c. Let v = 449/12350 + z. Which is bigger: v or 0?
v
Let d be 3 + 0 + -2 + -2. Let p be (-10700)/9990 + (d - -2). Let g = p + 4/37. Is -1 <= g?
True
Let n be (-3)/6 - 4/88. Let u(s) = -9 + 17*s**2 + 13*s + s**3 + 2*s - 8. Let d be u(-16). Which is smaller: n or d?
d
Let w(n) = -2*n**2 - 13*n - 8. Let j be w(-6). Is j bigger than -5/7?
False
Let i(o) = -2*o - 7. Let a be i(-4). Which is bigger: a or -20/57?
a
Let p = 2 + 9. Suppose -4*v - 1 = p. Let z = -1373/5 - -273. Which is smaller: v or z?
v
Let d = -879 - -879. Is 1/385 greater than or equal to d?
True
Let x = 4 + -3.8. Let k be (-6 - -2)*-1*5/(-4). Let t be (2/(-12)*4)/(k/3). Which is smaller: x or t?
x
Suppose 47 = 3*i + 2*h, 2*i = -3*h - 6 + 39. Suppose -6*g + i + 15 = 0. Is g >= 1?
True
Let x = 311 - 310. Which is smaller: x or 1/2?
1/2
Let u be (-560)/(-60)*6/4. Let t(p) = p**2 + 2*p - 7. Let a be t(-6). Let q = u - a. Which is smaller: -4 or q?
-4
Suppose 16 = 5*f - 4*a, 2*f + 2*f + a - 17 = 0. Let o be (4 - f)/((-1)/((-2)/(-4))). Which is smaller: 1/9 or o?
o
Let k = 0 - 10. Let g be k/(-34)*(-12)/30. Which is greater: g or 1?
1
Suppose -6 = -5*b + 3*m, 0 = -0*b + 2*b + 5*m - 21. Suppose b*a + 6 = a. Let c = -0.02767 + 0.05767. Which is bigger: a or c?
c
Suppose -7*m = -24 + 108. Let l be (2*9/m - -2)/2. Let w be (-4)/(-8)*(-1 + 3). Are w and l non-equal?
True
Suppose 7*f + 4752 = -2*f. Let b be 2/(-4)*f/11. Suppose 2*k - b = -4*j, -j + 2 = -2*k - 14. Which is bigger: 6 or j?
j
Let a = -119 + 459/4. Let o(b) = -b - 6. Let n be o(0). Let g be n - -2*(-3)/(-6). Which is smaller: g or a?
g
Let q = -0.1 - -0.2. Let u(p) = -p**2 - 3*p. Let r be u(-3). Let m be 38/14 + -3 + r. Is q greater than or equal to m?
True
Suppose -4*b - 39 = d, d - 3*d = 3*b + 28. Let o = 16 - 27. Which is smaller: b or o?
o
Let u = -0.06 - -0.1. Let a = 8.1 + -8.17. Let y = a + u. Which is smaller: -0.1 or y?
-0.1
Suppose 5*t + 2*o = -141, 0 = -3*t - 2*t + 4*o - 123. Let u = 610 + -601. Let d = t + u. Is d < -18?
False
Let x = 678.9 - 679. Which is bigger: x or 8/15?
8/15
Let a be 128/96 - 7/3. Which is bigger: a or -135?
a
Suppose 2*m + 1327 = -5*p, 0 = p - 3*m + m + 275. Let c = p + 2932/11. Is c <= 0.1?
True
Let v be 5/2*12/5. Suppose 3*t - v*t = -15. Suppose x = 5*s + 2*x - 48, -t*s - 5*x = -60. Are s and 10 non-equal?
True
Suppose -3*m - 5*k = 8, -9*m + 4*m = -5*k. Is -5/8 >= m?
True
Suppose 2*l - 7*l = l. Which is greater: l or -26/37?
l
Suppose -2 = 4*y - 10. Let u be (-10553)/(-244) + y*2/16. Do 44 and u have the same value?
False
Let k(r) = r**3 - 5*r**2 - 17*r - 16. Let c be k(7). Let o = 32 - c. Are o and 68 unequal?
True
Let v = 121 + 14. Let h = 325 + v. Let l = h + -13338/29. Are 0 and l non-equal?
True
Suppose -102*s = -17*s - 6460. Does 3 = s?
False
Suppose -3*i - i + 35 = o, 2*i + 2*o = 10. Suppose 0 = -3*c + 7*c + m - i, c + 4*m = 10. Let g = -23 + 21. Are g and c nonequal?
True
Let t be ((-1)/(-153))/(8/13836). Let s = 110/17 - t. Let z = -13/3 - s. Which is smaller: z or -2?
-2
Let h(y) = -y**3 - 22*y**2 + 52*y + 77. Let b be h(-24). Are -91/5 and b non-equal?
True
Let t(l) = l**3 + 9*l**2 - 10*l + 4. Let x be t(-10). Let o be (-4 + x)/(2/1). Which is greater: 4/49 or o?
4/49
Let o be (-1158)/(-78) - (2 - -1). Let n = o + -317/52. Which is smaller: n or 7?
n
Let r(d) = 0*d**2 - 2*d**2 + 3*d**2 - 14*d - 3. Let p be r(14). Is -4 equal to p?
False
Let f = -4 - -3. Let i be (f/(-2))/(1/(-24)). Suppose 0 = -3*o - 5 - 28. Is o less than i?
False
Let y(o) = -o**2 - 11*o - 31. Suppose 61 = 2*x + 73. Let u be y(x). Which is greater: u or -5/11?
-5/11
Let i be (-14)/(-7) + 1 + -1. Which is greater: i or -0.033?
i
Suppose m = -5*t + 46, m - 3*m = 3*t - 120. Let q = m + -332/5. Which is smaller: -1 or q?
-1
Let q(x) = x**3 - 2*x**2 - 6*x + 1. Let j be 1/(-3 - (-39)/12). Let o be q(j). Suppose -2*w - o = 7. Is -8 < w?
False
Let s = 0.56 - 0.56. Let t = -0.21 - -0.01. Let l = t + s. Is -0.4 at most l?
True
Suppose -3*z + 23 = -4. Let j = -7 + z. Is 13/4 smaller than j?
False
Let t be 248/(-10) + 5/(-25). Let w be 20/t*25/(-2). Let j be ((-16)/120)/(1/w). Is 0 less than j?
False
Let a be ((-15)/(-17) + 8/68)*1. Let r be -2 + a + (1 - (-3 - 2)). Is r > 5?
False
Let u(c) be the second derivative of -c**3/3 + 61*c**2/2 - 6*c. Let q be u(27). Is 7 < q?
False
Let t(n) = -n**2 - 6*n - 5. Suppose a = -4*a - 25. Let l be t(a). Suppose l*z - 5 = -z. Which is greater: z or 4?
z
Let s(d) = -d**3 - d**2 + d + 105. Let i be s(0). Let j = i + -87. Is 3 > j?
False
Suppose -4*g = -5*h - 10, -4*g - 9 = -2*h - 1. Let l be 2/(-4) + h/(-4). Let o be ((-6)/32)/(10/(-260)*-13). Which is smaller: o or l?
o
Let r = 3/128 + -67/128. Let u = 19 + -13. Let s = 4 - u. Which is smaller: s or r?
s
Suppose -3*w + 14 = 2*c - w, 5*c + 2*w - 23 = 0. Suppose c*l = -0*l. Suppose l = 3*k + 5*t + 25 - 6, -2*k + 2*t = -14. Is k greater than 2/3?
True
Let a be ((-387)/(-344))/((-2)/(-16)). Which is smaller: 71/8 or a?
71/8
Let m be 8*(-8)/(-12)*-6. Which is smaller: m or -31?
m
Let g be 82/(-287) + (-9)/6 + 2. Which is bigger: g or 1?
1
Let l be (60/(-738))/((-8)/(-12)). Which is smaller: l or 0?
l
Let x = -0.4 + 2.5. Let d = -2.09 + x. Let v = 0.01 - d. Is 4 at least v?
True
Let f(t) = t**3 - 6*t**2 - 37*t - 21. Let g be f(10). Do g and 94/9 have different values?
True
Let z be 12/(-18) + (-70)/3. Let v = -18 - z. Is 4 != v?
True
Let y = 23 + -16. Let n(f) = f**3 - 8*f**2 + 7*f - 3. Let a be n(y). Let d be a/9 + 11/(-12). Which is greater: d or -1?
-1
Let q = 0.12 + -0.52. Let b = 0.22 + q. Let u = 0.02 - b. Which is bigger: u or -1?
u
Let t = 18.18 + -1037.18. Is -1/3 <= t?
False
Let j(w) = w**2. Let z be j(0). Let s = 5265/23 + -229. Let m = s - 36/115. Does 