93/20 - 39/4. Which is bigger: g or c?
g
Let n(w) = w**3 - w**2 + w + 41. Let j be n(0). Let p = j + -37. Let g = 11 + -8. Does g = p?
False
Let s = -1 - -1. Suppose s = -u + 9 - 4. Suppose j + 6 = 12. Which is greater: j or u?
j
Let n(t) = -t**3 + 4*t**2 - 2*t - 3. Let u be n(3). Let x be 0*(-2)/8*1. Let r be x/(-3 + 1 - 1). Do u and r have different values?
False
Let r be -7 + 3*20363/8736. Which is smaller: 1 or r?
r
Let z be 2 + (-48)/21 + (-1100)/(-28). Suppose -5*v + 121 = -z. Is v >= 31?
True
Suppose 3*t - 24 = -2*t + 3*l, t - l = 4. Is 210/43 at least as big as t?
False
Suppose -2*v + 2*o = -0*v - 20, 0 = 2*o - 8. Do v and 44/3 have the same value?
False
Suppose -3*d - 9 + 18 = 3*c, 3*d - 4 = -2*c. Suppose 3*k - 5*j = 0, -5*j + 5 = 20. Let p(x) = x**3 + 5*x**2 - 2*x - 5. Let i be p(k). Is i smaller than c?
False
Let x be 4/(-14) + -1*48/(-21). Suppose -f = x*f + 63. Which is greater: f or -19?
-19
Let q be (-1)/(4/10)*(-104)/234. Let z = 16 + -18. Let v be 3 + -1 + z - -1. Which is greater: q or v?
q
Suppose 2*c = 9 - 1. Suppose 4 + c = 2*j. Let o = -89 + 94. Is j at most as big as o?
True
Let n = -385 + 208. Let z = 260 + n. Which is smaller: 84 or z?
z
Let a = -622 - -16792/27. Let z = -873 - -872. Which is smaller: a or z?
z
Let y(f) = -f**3 - 6*f**2 - 7*f - 9. Let w be y(-6). Let v = w - 27. Suppose -6*c - v = -0. Which is bigger: c or -1/2?
-1/2
Let n = -392/9 - -14477/333. Which is smaller: n or -1?
-1
Let s = 12.5 - 12.466. Let n = 4.966 + s. Is n equal to -0.07?
False
Let c(t) = -t**2 - 12*t + 7. Let s be c(-10). Let y be (2/6)/(3/s). Suppose 0 = -3*o + y*k - 57, 0*o + 2*o = -3*k - 28. Is -17 greater than o?
False
Let t(w) = 13*w**2 + w - 1. Let k be t(1). Let z(p) = -p**3 + 12*p**2 + 12*p + 19. Let o be z(k). Let v be 2*(-3 - (-21)/o). Which is smaller: -2 or v?
-2
Let z be (-5 - 14/(-3))/((-3)/(-6)). Which is smaller: 3/22 or z?
z
Let h = 154 - 153.7. Is 2.41 less than h?
False
Let o(g) = 37*g**2 + 6*g + 5. Let j be o(-1). Are 2/11 and j nonequal?
True
Let m = 1545 + -1561. Is -0.12 less than m?
False
Let b = 2 - 1. Let i = -769/3363 - -14/57. Which is bigger: b or i?
b
Let j(f) = -3*f**2 - 71*f + 48. Let y be j(-24). Which is greater: 15 or y?
y
Let c = 131 - 2095/16. Suppose 5*g + w - 159 = 4*w, -4*g = -4*w - 132. Let y = 30 - g. Is y != c?
True
Suppose 101 + 11 = 16*a. Which is bigger: 38/5 or a?
38/5
Let t = 731.6 + -699.39. Let m = -0.21 + t. Which is smaller: m or 0?
0
Suppose 0*n - 3*n + 2*r + 1 = 0, -2*r = 4. Let m be -1*n/2*-46. Let w = 13 + m. Is -9 greater than or equal to w?
True
Let o = 61.7 + 14.3. Let g = o + -75.82. Is g greater than or equal to 0.2?
False
Let y = -812 - -1116. Which is smaller: y or 302?
302
Suppose 4 = w + 2. Suppose -5*q - 12 = -w*q. Is q < -6?
False
Let s be ((-57)/(-133))/(-2 - 39/(-6)). Is 2/9 not equal to s?
True
Let p(o) = o**3 - 9*o**2 - 26*o + 17. Let c be p(11). Which is smaller: -22 or c?
c
Let s(a) = a**3 - 20*a**2 + 65*a + 4. Let l be s(16). Is l not equal to 20?
False
Let c = -3.2 - -3.53. Let t = 0.39 - c. Is t < 3/4?
True
Let u(g) = g**3 - 3*g**2 - 4*g + 4. Let j be u(3). Suppose 5*o - 5 = 0, 3*p = -p + 4*o + 28. Let d be 3*(-2)/p*12. Do d and j have the same value?
False
Let q(g) = 4*g - 5. Let c be q(-7). Let w = c + 56. Suppose 0 = -3*t - y - 33 + 98, 3*t = -5*y + 61. Which is bigger: t or w?
w
Let u = -7 + 8.4. Let h = 1.45 - u. Is h != -3?
True
Let s(b) = 17*b**2 - 25 + 9*b - 16*b**2 + b. Let u be s(-12). Let o be u*3 + 21/7. Do 2/39 and o have different values?
True
Let a be (-1406)/(-102) + -4 - 6/51. Suppose -v = -4*b + 32, 17 = -0*b + b + 2*v. Is b not equal to a?
True
Let v be (3 + -4)/((-4)/28). Suppose 0 = 8*n + v + 1. Do 2/271 and n have the same value?
False
Let c be ((-4)/(-110)*1)/(18/10). Which is smaller: c or -5/4?
-5/4
Suppose -10*k = -2*r + 230, 4*r + 9 = -3*k - 83. Which is greater: k or -260/11?
-260/11
Suppose 0 = -7*x + 22 - 8. Suppose -f = -x*c - 0*f + 2, -4*c - 5*f = 24. Which is greater: -1/7 or c?
-1/7
Let v = 1.08 + -0.78. Which is smaller: v or 18/11?
v
Let q = 501 + -578. Which is smaller: -990/13 or q?
q
Suppose -357 = -16*w + 347. Let g = -0.1 - -0.3. Which is greater: w or g?
w
Let q = 229 - 221. Which is smaller: 8/13 or q?
8/13
Let a = 0.12 + 9.88. Let z = -11 + a. Is -24 greater than z?
False
Let b be 318/(-9)*(-21)/14. Suppose 4*d - 2*p + 73 = -p, 0 = -4*d - 3*p - b. Which is greater: 0.1 or d?
0.1
Let s be 1744/(-88) - 9 - 2/11. Is -22 bigger than s?
True
Let x = -2/515 + 523/2060. Is x > -0.86?
True
Let t = -0.021 - 37.979. Let o = 67 + t. Let a = 29.1 - o. Which is smaller: a or -1?
-1
Let m be (-40)/12*-43*27/15. Is 257 not equal to m?
True
Suppose 5 = -u, -29 = 2*o - 5*o + u. Let h be (-6)/(-266)*o/12. Is h equal to -1?
False
Let a be (2037/32942)/((-6)/(-8)). Let p = 1/181 - a. Are p and -1 non-equal?
True
Let r = -0.4798 + 0.0798. Let l = -0.04 - -1.64. Let j = r - l. Which is smaller: 0 or j?
j
Suppose 5*p = -4*f - 25, p + 2*f = 6*p - 5. Let y be 167/(-24) + 4 - p/3. Which is bigger: y or -4?
y
Let f be 25/3 + (-2)/(-3). Let v be (-25)/f + (8 - 5). Are -1/17 and v equal?
False
Let b = 437 - 1298/3. Let u = b + -88/21. Which is bigger: u or -1?
u
Let l be -2 + 0 + 56/30. Suppose 3*k - 3 - 3 = 0. Suppose 6*s + 16 = k*s - 4*y, 2*y + 8 = 0. Which is smaller: s or l?
l
Let h = -14 - -22. Let z = -5 + h. Suppose -5*c - 7 - z = 0. Which is bigger: -1/2 or c?
-1/2
Suppose -4*n = -2*n - 22. Suppose b - 2*b = d + n, -2*b = -3*d - 33. Let m(o) = 17*o + 328. Let u be m(-20). Is d <= u?
False
Let g(r) = 87*r + 1284. Let l be g(-11). Is l smaller than 327?
False
Let l be (92/115)/(7/(-2)). Which is smaller: l or 0?
l
Let m(x) = -x**3 + 6*x**2. Let f be m(6). Which is bigger: f or 41?
41
Let t be (4/10)/((-4)/70). Does t = -2?
False
Let b = 26 + -16. Let h = 17 + 3. Suppose z - 4*i = -b, -4*z - h = -6*z - 2*i. Are 5 and z unequal?
True
Let x(f) = f**2 - 6*f + 4. Let j be x(5). Let p be (2*2/(-5))/(1464/(-60)). Is p less than j?
False
Suppose -9 = -3*g - 162. Let l = g + 52. Is 3/40 greater than or equal to l?
False
Let u be (3 - (-1)/1) + (-6 - 0). Is -10/3 at most as big as u?
True
Let x(i) be the third derivative of 0 + 0*i - i**2 + 1/6*i**3 + 1/8*i**4. Let o be x(-1). Which is smaller: -3 or o?
-3
Suppose 4*t - 5*t + 2 = 0. Suppose -t*x = -2*s + 8, s - 6 = -x - 0*x. Let z(w) = -w. Let q be z(x). Which is greater: -1/17 or q?
-1/17
Let g(b) = -b - 6. Suppose 10*y - 9*y + 5 = 0. Let t be g(y). Which is smaller: -5 or t?
-5
Suppose -1 = 2*d - 31. Suppose -5*t = 5*w + d, t = -4*t + w + 15. Suppose t*y + 5*s - 15 = 6*s, -y + 3*s = -5. Is y less than or equal to 8?
True
Let z be (-1)/(-2) - (-2 + 246/4). Is 1 > z?
True
Let m = 23 - 2. Suppose 0 = -2*c - 15 - m. Let j be (-60)/c*(-12)/10. Is -5 <= j?
True
Let d = 34/9 - 1820/477. Which is smaller: d or 1?
d
Suppose -5*p + 1005 = 5*r, -4*r + 410 = p + p. Let l = -793/4 + p. Let i = l - -183/140. Which is bigger: i or -1?
i
Let o(r) = 3*r**2 + 124*r + 36. Let v be o(-41). Which is greater: -12.8 or v?
v
Suppose -4*s + 8 = -o, 3*s + o = 2*s + 2. Suppose -3*d - s*d + 15 = 0, 3*d = i + 9. Suppose i*p = -2*p + 8. Is p not equal to 4?
False
Let g = -4501/1653 + 81/29. Which is greater: g or -2/7?
g
Let h = 1.881 - 1.831. Which is smaller: 1/7 or h?
h
Suppose -4*c + c - 4*p + 125 = 0, 3*c = -3*p + 126. Let x = -44 + c. Is 31 at most x?
False
Suppose 17*o = 5 - 5. Which is greater: o or 1/2846?
1/2846
Let s = 1.22 + -1.369. Let w = s - -0.449. Which is bigger: w or 25?
25
Let v be 370/(-2)*(-2)/5. Let g = v + -32. Let q be ((-1)/5)/(7/g). Which is greater: q or 0?
0
Let f be 2*(21/(-14) - -2). Is f less than or equal to 1/270?
False
Let v be (-2 - -2 - -1) + -14. Let w(n) = -n + 0*n + 11 + 13 - 27. Let p be w(11). Which is smaller: v or p?
p
Suppose 0*d + 2*d = -a + 62, 5*d = 5*a - 310. Let f = -78 + a. Is f less than or equal to -15?
True
Let b be ((-132)/(-30))/(16/1640). Which is greater: 449 or b?
b
Let u(w) = 33 - 2*w**2 - 11 + w + w**2 + 6*w. Let f be u(9). Let b be (f/40)/(4/10). Which is bigger: b or -1?
b
Suppose 117 = -22*d - 939. Is d <= -47?
True
Let b be (-3)/(1*3/61*-1). Let x = b - 59. Is 4 <= x?
False
Let n(f) = -f**2 - 20*f - 62. Let r be n(-14). Let g = -1 - 1. Is r greater than or equ