 as big as o?
False
Let q be 12/6*(15/(-6) + 2). Which is greater: 11/91 or q?
11/91
Let y(v) = -v**2 + 7*v + 6. Let h be y(7). Let o be (3/9 - 0)*(3 - h). Which is smaller: o or -2/29?
o
Let i = -41 - -49. Let c = i - 7. Does -15/2 = c?
False
Suppose -33*u + 7*u + 52 = 0. Is 4 smaller than u?
False
Suppose 0 = 3*j + 2*j + 80. Let z = j + 20. Suppose 0 = z*v, 44 - 8 = 4*b + 2*v. Is 9 less than b?
False
Let s = 0 - 1. Let t(n) = 3*n**3 - 19*n**2 - 21*n + 48. Let q be t(7). Are q and s unequal?
False
Let d be (2 - 466*(-2)/4) + 1. Which is smaller: 237 or d?
d
Let x = 54 - -71. Let t = x + -111. Is 16 < t?
False
Suppose 2*m = -2*i - 126, -2*m - 5 = -4*i + 91. Let g be (m/8)/(10/(-40)). Suppose -2*c = 3*d + 3*c + 34, 0 = -3*d - 4*c - g. Is -5/2 not equal to d?
True
Let c = 1 - -2. Suppose -4*j - c = 5, -2*f - 5*j = 20. Is f not equal to -5?
False
Let f(s) = -s**3 + 5*s**2 + 6*s. Let k be f(6). Suppose 2*h - v + 5 = k, h = 4*v - 11 - 9. Which is smaller: -2/3 or h?
-2/3
Let o = -9.05 - -0.95. Let m = -2.9 + o. Let u = m + 10. Which is smaller: 0.1 or u?
u
Let t = 81.78 - 1.78. Let g = 79 - t. Is -1 smaller than g?
False
Let j = -1.01 - -3.52. Let q = -0.49 - j. Which is greater: 2/3 or q?
2/3
Let s = 5.79 + -173.79. Is -0.2 less than s?
False
Let h(j) = -3*j**2 + 8*j - 3. Let l be h(6). Let w = 223 - 285. Which is bigger: w or l?
w
Let m = -38.1 - -38. Does -2/11 = m?
False
Let s(b) = -b**2 - 14*b - 25. Let q be s(-12). Let j be 127/1270*(16/(-2))/1. Which is greater: q or j?
j
Let q = 314 + 7. Is q bigger than 321?
False
Let b = -114.35 + 1.35. Are b and 1 nonequal?
True
Suppose -15*y = -16*y + 3. Suppose -2*d + 19 = -5*n, 2*d + y*d + 10 = n. Is d greater than -5?
True
Let x = -38 - -68. Let l = x - 35. Which is smaller: 1/3 or l?
l
Let f(g) = g**3 + 5*g**2 - 5*g - 7. Let t be f(-5). Suppose -3*w + 4*w - t = 0. Is w equal to 33/2?
False
Suppose d - 2*j - 10 = 5*d, 4*j = -d - 20. Let t be (4 + 7/(-2))*d. Which is smaller: t or -0.1?
-0.1
Let p = 0.0007 + 488.9993. Which is smaller: p or 0?
0
Suppose -1828*k + 1841*k = -585. Which is bigger: k or -40?
-40
Let f be 17/(-68) - 45371/132. Let b = f + 344. Which is bigger: b or 0?
b
Let j = 356 + -574. Is -218 < j?
False
Let i = 1.978 - -0.202. Let z = -0.18 + i. Is -0.1 at most z?
True
Let n = 1581 + -1580.73. Let x = 0.1 + -1.1. Is n not equal to x?
True
Let o be (-4)/(-22) + -6*(-2)/(-66). Which is smaller: o or -1/158?
-1/158
Let y(a) = 378*a + 3. Let t be y(-2). Let d = t - -11291/15. Is d less than 2?
True
Suppose 0 = j - t - 5, 0*t - t = j - 1. Suppose -2*r + r = 0, 0 = j*z - 4*r + 3. Which is bigger: -14 or z?
z
Let k = 41 - 19. Let v(w) = 3*w**2 - 4*w + 5. Let a be v(2). Let o = k - a. Which is bigger: 14 or o?
14
Let w = -4907/16992 + 4/531. Is 1 less than w?
False
Let t = -75 - -75.1. Is t greater than 1089?
False
Suppose -11*i = -19 - 25. Suppose -i = -s - 5. Which is greater: s or 1/73?
1/73
Let l be 24/7 + (-3)/14*2/1. Suppose 2*x + 3*x = 0. Is l at least as big as x?
True
Let f be (-2)/(-1) + 63/45 + -3. Let d = -35/8 - -111/40. Is f at least as big as d?
True
Let a(x) = x**2 - 5*x - 3. Let u be a(6). Let f = u - -6. Let s = -15 + f. Which is smaller: s or 0.2?
s
Let l be (2 - 4) + (-10)/(-10). Is l < 46/5?
True
Let g = -104 + 108. Suppose g*t = -3*o + 16, -3*t = -0*o + 3*o - 15. Which is smaller: 2/183 or t?
2/183
Let i = 0.4 + 88.6. Is 2/5 greater than i?
False
Let x = -15.12 + 15. Let n = x - 0.88. Let o = n - -0.8. Which is smaller: o or 0.3?
o
Let j = -601/2 + 280. Let x = j - -19. Which is smaller: x or -3?
-3
Let r = -9 + 15. Let h be (-140)/49*(-14)/r. Let t = h - 7. Are 1/5 and t nonequal?
True
Let v = -1/334 + -1305/10354. Is 1 greater than v?
True
Let w = -8/645571 - 394440361/284051240. Let z = w + -1/88. Which is smaller: -2 or z?
-2
Suppose 65*f - 13*f = -2652. Is -49 greater than or equal to f?
True
Let h be -1*((-2)/4 + 4/8). Is 4/49 at most h?
False
Let y = 1388 - 1458. Which is bigger: -4 or y?
-4
Let r(s) = 6*s**2 - 12. Let q be r(-3). Let p = -27 + q. Is 15 >= p?
True
Let o = 208.8 + -209. Are 59/11 and o equal?
False
Let j = 636 + -611. Is j less than or equal to 24?
False
Let s = 125 - 83. Which is smaller: 39 or s?
39
Let d = -2.84 + 2.94. Is -0.41 bigger than d?
False
Suppose -13*s + 12*s = -2. Suppose 0 = -2*k - 4*a + 24, 5*a + 0*a - 27 = -s*k. Suppose k = -3*l + 60. Do 19 and l have the same value?
False
Let l be -1*7 - 749/(-107). Let s = -3 + 6. Is s at least l?
True
Let c be (3 + (-11)/1)/(2*1). Let p(o) = 2*o + 7. Let r be -2 - -5 - (1 - -7). Let w be p(r). Is c equal to w?
False
Let y(k) = k**3 - 7*k**2 - 6*k + 7. Let b be y(8). Let c = 26 - b. Which is smaller: -2 or c?
-2
Let a = 1.64 + 63.36. Which is bigger: a or 1/2?
a
Let v be (-25)/2*16/(-10). Let u be ((-15)/v)/((-2)/(-152)). Let w be (-6)/(-24)*(-6)/u. Which is smaller: 1 or w?
w
Suppose -5*q - 4*q = 117. Is q < 2?
True
Let t be 5 - ((13 - 4) + -812). Is t >= 808?
True
Let t(c) = c**3 + 7*c**2. Let v be t(-7). Suppose 0 = -o - 2*o + 2*f + 5, v = o - 5*f - 6. Which is bigger: -4/13 or o?
o
Suppose -257 - 48 = 5*d. Let y = 49 + d. Suppose u + 21 = -4*f, 3*u - 6*f + 29 = -f. Is y bigger than u?
True
Let b be 4/(-6)*(-12)/8. Suppose -4*i + 3*d = -11, -i + d = 46 - 49. Which is smaller: i or b?
b
Suppose -2*d = -3*d + h + 68, -5*d + 344 = -3*h. Let w be 23/(-1)*(3 - 6). Is d > w?
True
Let m = -11.73 + -0.27. Let k = -10.5 + 22.1. Let h = k + m. Is h > -1?
True
Let j be 2/1*(-54)/36. Suppose 4*i + 2*m = 10, -4*m = i - m - 15. Let b = i + j. Is -1 <= b?
False
Let h be -2*(8/(-12) - (-4)/(-3)). Suppose -h*z + 9 - 5 = 0. Is -2/83 smaller than z?
True
Let q(g) = 2*g**3 - 20*g**2 + g + 9. Let i(a) = 10*a**3 - 101*a**2 + 6*a + 45. Let b(y) = 2*i(y) - 11*q(y). Let j be b(9). Which is greater: j or -1/23?
j
Let u = -272 - -289. Which is smaller: 52/3 or u?
u
Let a = -74 + 29. Let z be (2/(-20))/(-1*6/a). Let s = -3 - -2. Which is smaller: z or s?
s
Suppose -c + 83 = -3*b, -48*c = -b - 45*c - 41. Which is bigger: -27 or b?
b
Let a(f) = 10*f + 142. Let z be a(-15). Is z != -4?
True
Let i = 0.281 - 4.281. Is -28 < i?
True
Let j(c) = -c - 3. Let u be j(-2). Let y = 54/19 - 10892/3819. Is y at least u?
True
Suppose 4*a + 2*d - 326 = 0, 7*a = 8*a - 2*d - 89. Let j = 82 - a. Which is bigger: 8/19 or j?
8/19
Let t(n) = -n**3 - 5*n**2 + 6*n - 7. Let a be t(-6). Which is greater: 6 or a?
6
Let y(o) = 3*o**3 - 23*o**2 + 14*o - 8. Let w be y(7). Is -74/11 less than w?
False
Suppose 0 = -7*n + 2*n - 90. Let g = -13.1 + 13. Which is greater: n or g?
g
Let l be (1/(-393))/(29/174). Which is smaller: -1 or l?
-1
Let z be (-6)/(-20)*(-16)/12. Let t(h) = -h**2 - 6*h - 4. Let r be t(-5). Suppose 3 = 4*v - r. Is v at least as big as z?
True
Let i be 4/18 + (-52)/(-9). Suppose -4*l = 3*s - 17 - 8, 39 = 5*s + 4*l. Suppose -29 = 2*r - s*r + m, -2*r - 4*m - 6 = 0. Which is greater: i or r?
i
Let r(u) = -u - 10. Let b be r(-19). Which is smaller: b or 10?
b
Let v = 38 - 34. Suppose -4*w + 15 = d - 9*w, -v*d - 4*w = 12. Let k = -2 + 1.8. Which is bigger: d or k?
d
Let p be -4 - 26/(-6) - 0. Let q = 1.5 + -1. Which is smaller: q or p?
p
Let t = 1/1459 - 10256/62737. Which is greater: t or 1?
1
Let d be (5 - 6)/(-5*(-3)/12). Which is smaller: -0.04 or d?
d
Let x = 53091/5005 + -138/13. Does -1 = x?
False
Let m(i) = -i**3 + i**2 + i + 455. Let j be m(0). Is j less than 455?
False
Let s = -44 - -47. Suppose 3*t - 15 = -4*y, -2*t + 25 = -s*y + 3*t. Is -2/19 at most y?
True
Let n = -337 - -337. Is -2/385 at most as big as n?
True
Let w(s) be the second derivative of -s**4/6 - s**3/2 - s**2/2 + 28*s - 3. Let k(v) = -v + 2. Let j be k(3). Let a be w(j). Is a greater than 1/74?
False
Let o be (3/3)/(5/(-310)) + 3. Do -57 and o have different values?
True
Let m = -86 + 85.728. Let j = 0.072 + m. Which is smaller: j or -0.07?
j
Suppose 16*l - 275 = 11*l. Suppose -3*q - l = 2*q. Let h be (4/(-6))/(q/3). Is h <= 0?
False
Let z = -10318/15 + 3786/5. Which is greater: 68 or z?
z
Let f = -83 - -69. Let a = 15.2 + 1.8. Let m = a + f. Which is smaller: m or 2/7?
2/7
Let a be 0 + -17 + -2 + 0. Let u = 10 + a. Suppose -144 = 44*g - 28*g. Is u > g?
False
Let d = 24 + -16. Let h = -0.2828 - -3.2828. Is d > h?
True
Suppose -5*r + 28 = -7. Let v be (4/2)/(