/2945586 + 2/34251. Which is greater: -1 or g?
g
Let m(j) = -37*j + 36. Let k be m(-3). Is k at least as big as 147?
True
Let i = -188252/111 - -1696. Is i at most 0?
False
Let w = -77 + 83. Suppose w*l - l = -5. Which is smaller: 11 or l?
l
Suppose 17 + 3 = -5*c, -f = -5*c - 8. Let s = f + -4. Suppose -6*r - 204 = 6*r. Is r smaller than s?
True
Let l be 48/30 - (-4)/10. Let y be (-2338)/(-140)*l/(-3). Let o = y - -43/3. Is 3 > o?
False
Let h = 13.4 + -7.2. Let o = -21 - -22.8. Let x = h + o. Which is bigger: 1/5 or x?
x
Let k = 447.08 - 463. Let y = -16 - k. Is 2/3 at most y?
False
Let m = 2 - 0. Let w(a) = 6*a - 2. Let y be w(m). Suppose 483*d - 569*d = -774. Is d less than y?
True
Suppose 0 = 5*o + 2*c - 39, -5*c - 9 = -5*o + 16. Suppose o = -6*f + 19. Suppose -5 = -5*p + 4*n, -f*n + 5*n = 5*p - 5. Is p at least as big as 2?
False
Let j be 125/75 + 3009/9. Are j and 334 nonequal?
True
Suppose -2*r + 6 = 2*d, 5*d = -4*r - 6 + 19. Let w be (2/(-4))/(r/(-12)). Which is greater: w or 4?
4
Let l(j) = -j**2 + 3*j - 1. Let u be l(3). Let b be u/(-2) - (-27)/(-78). Suppose 5*z - 15 = -2*p, -5*z - 4*p + 23 = -2*z. Which is bigger: z or b?
z
Let q be -1 + -6 + 7 - (0 + 1). Let c be ((-34)/(-8) + -4)*q. Suppose k - 3 = -2*z + 4, 2*z = k + 9. Is z at most as big as c?
False
Suppose 103 = -10*q - 37. Which is smaller: q or -23?
-23
Let t(u) = -u**3 + 27*u**2 - 23*u + 20. Let f be t(26). Let i(x) = 3*x + 97. Let c be i(0). Do f and c have the same value?
False
Suppose 3*d - 4*b = -0*d + 19, 27 = 4*d - 5*b. Let l be (8/10)/((-2)/(-5)). Suppose l + 82 = 7*x. Is x greater than d?
False
Suppose -2*c - 5*p + 9 = 0, -4*c - p - 1 + 28 = 0. Suppose -c*t = -4*t + 6. Let j = -8 + 5. Is j less than t?
True
Let n = 538 - 594. Is -59 bigger than n?
False
Let l(j) = 10*j - 18. Let x be l(3). Let n(w) = w - 8. Let q be n(x). Which is greater: 28/9 or q?
q
Let y(k) = 2*k**3 - 14*k**2 - 2*k - 8. Let l be y(7). Let j be (-824)/(-176) - 7 - (-4)/l. Is -2 bigger than j?
True
Let a = 2982 - 2983. Is 12/95 >= a?
True
Let z = 0.2 + -0.3. Let f = 1.436 - 0.016. Let v = 0.58 + f. Is v at most as big as z?
False
Let o = 2 + -3.7. Which is greater: o or 13?
13
Suppose -l + 1 = 2*p - p, -4*p + 2*l = -4. Let u = 1576 - 14182/9. Which is smaller: p or u?
u
Let a be (1/87)/((-3)/27). Is -1 equal to a?
False
Let o = -74 - -74.066. Let j = o - 0.006. Is j less than 1/4?
True
Let n = 1605 - 1605. Let s(x) = -5*x**2 + 2*x**2 + 1 + 2*x**2. Let w be s(1). Is w bigger than n?
False
Let m = -17 - -16. Let k = m - -7. Which is greater: 2/5 or k?
k
Suppose -3302 = 2*p - 15*m + 14*m, -m - 3302 = 2*p. Is p < -1652?
False
Suppose 0 = u + 2, -q - 49 = u - 65. Which is bigger: 129/7 or q?
129/7
Let v(y) = -y**2 - 9*y + 21. Let r be v(-9). Let a = -22 + r. Let k be 22/(-6) + (-1)/3. Which is smaller: k or a?
k
Let v(k) = 13*k**2 - 6*k + 3. Let b be v(1). Suppose -4*p - 9 + 45 = 0. Are b and p equal?
False
Let f = -1041/2 - -521. Which is smaller: f or 2?
f
Let l = 59.3 + -73.3. Is 0 equal to l?
False
Let v(a) = -a**2 + 5*a + 2. Let c be v(5). Suppose c*m - 18 + 10 = 0. Suppose 0 = 2*k - m, 3*y - 4*k + k = -9. Which is bigger: y or -3/23?
-3/23
Let f = -6778 - -6773. Let m = 103/39 + -30/13. Which is bigger: m or f?
m
Let a = -14 + 15. Let x = a - 1.2. Is 10 > x?
True
Suppose 931*u = 934*u + 27. Which is smaller: 13 or u?
u
Let q be 6/((-45)/20 + 3). Suppose q = 2*a + 2*h, a - 4*a = -5*h + 12. Which is greater: a or 4/11?
a
Let j = 0.17 - 8.17. Let k = j - 4. Let b = k + 24. Is -1 at most as big as b?
True
Let j be 2/(-4) - (-164)/296. Let b(o) be the second derivative of o**5/20 - 3*o**4/4 + 7*o**3/6 + 7*o**2/2 - 19*o. Let h be b(8). Which is smaller: h or j?
h
Let j be (-10)/4*24/20. Let a be ((-516)/108)/(0 + 1) - -3. Is j at most a?
True
Let k = -75524/17619 + 2/2517. Let v be (-84)/30 + (4/(-10))/2. Which is greater: v or k?
v
Let l = -274 - -274.09. Let d = -40.81 + 41. Let w = l - d. Is -0.1 > w?
False
Suppose -2*t + 5 = 4*x + 3, 3*t = x + 10. Let i = -7 - -13. Is i <= t?
False
Let v(q) = q**2 - 9*q + 8. Let w be v(8). Let z be (-138)/50 + 7 + -4. Is w smaller than z?
True
Let l(x) be the second derivative of -x**4/12 + 2*x**3/3 - 7*x. Let y be l(4). Are 0 and y equal?
True
Let w = 40.2 + -41.2. Do w and 186 have different values?
True
Let a = 0.2 - -0.6. Let z = -1.2 + a. Let y = -2.3 - -2. Are z and y equal?
False
Let k(f) = -f**3 + 7*f**2 - 6*f + 7. Let t be k(6). Let z(g) = -g**3 + 6*g**2 + 6*g + 7. Let d be z(t). Suppose d = i + i + 4. Which is smaller: i or -7?
-7
Let d = 0.05 + 0.13. Let q = d + -0.32. Let m = q - -0.24. Do m and -4 have the same value?
False
Let l be 7/(-2) - (-1353)/66. Suppose -4*m + 3*m = -19. Is l smaller than m?
True
Let d(t) = t**3 - 2*t**2 + t - 1. Let p be d(3). Let u be (-8 + 5)/(-12) - 3/(-4). Let j be -1 - u - (-11)/p. Is j bigger than -0.1?
False
Suppose -5*z + 9 + 81 = 4*c, -3*c + 71 = 4*z. Let w be 41/(-2) - (-7)/z. Let h be (-18)/w - 9/6. Which is greater: h or 0?
0
Let p(k) = k**3 + 8*k**2 - 3*k - 11. Let i be p(-6). Which is greater: 75 or i?
i
Let u = -41 + 47. Let l be 5*u/75 + 3/(-5). Which is smaller: -1 or l?
-1
Suppose 5*l = 6*l. Is 2/315 < l?
False
Let x be (1*268/(-252))/((-2)/6). Let k = x - 27/7. Is 0 <= k?
False
Let d = 761/442 + -22/13. Are d and -1 unequal?
True
Let y = -0.0303 - 0.0697. Is 3/106 >= y?
True
Suppose -1640 = 13*f + 180. Does -146 = f?
False
Suppose 7 = 8*b - b. Let l(y) = y**3 - 8*y**2 + 9*y + 6. Let v be l(7). Which is smaller: v or b?
b
Let p be -4 - 6/(-2) - 38. Let t = 41 + p. Which is greater: -22 or t?
t
Let v = -0.28 + -32.72. Let b = v + 21. Which is smaller: b or 1?
b
Let x = -313 - -314. Which is greater: x or -2/601?
x
Let c be 4400/(-165) + 2/(-6). Which is greater: -34 or c?
c
Let b be ((-2118)/186)/((-221)/(-1)). Let m = b - 10/221. Let j(w) = w**2 + 3*w + 1. Let k be j(-3). Is m less than or equal to k?
True
Let t = 3462 + -176582/51. Are -1 and t equal?
False
Let g = 272 - 243. Which is smaller: g or -1/2?
-1/2
Let y(b) = b**2 - 7*b + 8. Suppose -2*f - 4*k = -4*f + 20, -2*k = -4*f + 28. Let z be y(f). Suppose z*n - 4*v + 8 = -2*n, -4*n = -5*v + 9. Is n > -3/2?
True
Let i = -14 + 19. Suppose 4*w - w + 3*n - 3 = 0, -i*w = -2*n - 26. Suppose 0*g - w*g = 0. Is 0 less than g?
False
Let n be 2360/(-36) + -1 + 0. Let q = n - -422/9. Which is greater: -19 or q?
-19
Suppose 3*s - 54 = 12*s. Is -3 at least as big as s?
True
Let b(d) = -d**2 - 6*d - 4. Let a be b(-4). Suppose -w + a = 2. Let s = -3 + w. Is 3/8 less than or equal to s?
False
Let h = -0.2 - 61.8. Let y = h + 63. Are y and 0.08 nonequal?
True
Let r(z) = 29*z**3 + z**2 - 1. Let j be r(1). Let q = j + -89/3. Let u(c) = c**2 - 2*c - 3. Let t be u(-3). Do t and q have different values?
True
Suppose -16 = -8*r + 16. Let p be (-399)/201 - (2 - r). Is 1 greater than p?
True
Let w = 10 + -17. Let j = -4 - w. Is 5 less than j?
False
Let q = 17.721 - 17.8. Let c = q + 9.079. Do c and 1/3 have the same value?
False
Let i be (5/25)/((-9)/((-225)/245)). Which is greater: -15 or i?
i
Let q be (9 + (-27)/3)*(-2)/(-2). Which is bigger: -6/7 or q?
q
Let n = 11 - -92. Suppose -9*w + n - 670 = 0. Let j be (-18)/w - 32/210. Are 0 and j nonequal?
True
Let l = -86 - -189/4. Let q = l + 7273/188. Which is bigger: q or 1?
1
Let f = 1529980/261 + -5862. Which is smaller: f or 0.1?
f
Let m = -10.5 + 10.386. Let o = -0.886 + m. Which is greater: o or 0.015?
0.015
Let m(h) = -h**2 + 5*h + 4. Let p(i) = i**2 - 5*i - 5. Let a(r) = 4*m(r) + 3*p(r). Let w be a(0). Is 3 >= w?
True
Let f = -3.36 - 1.64. Which is smaller: -0.6 or f?
f
Suppose -2*c - 861 = -5*z - 0*c, 846 = 5*z + 3*c. Are z and 171 non-equal?
False
Let f(j) = -4 + 2 + 13*j + 5 + 3. Let i be f(-3). Let c be (-38)/33 + 6/i. Is -2 bigger than c?
False
Let x = 0.9 - 4.2. Let o = -3.5 - x. Which is bigger: -0.04 or o?
-0.04
Let p = 3 - -48. Let u(m) = m**3 + 9*m**2 + 5*m - 8. Let i be u(-4). Which is smaller: i or p?
p
Let k = -535 + 522. Which is smaller: -15 or k?
-15
Let k = 913 - 912.7. Let o = 21 - 20. Is o at most k?
False
Let s(a) = -11*a**2 - 61*a - 227. Let i be s(-4). Is i < -164?
False
Suppose 5*g + 19 = x, 34 - 1 = 2*x - 5*g. Let z be 1/(-2)*8/12*-1. Which is greater: x or z?
x
Let z be (-1)/3 - 6/9. Suppose 2*p =