Let g = -160/7 - -12626/553. Which is smaller: f or g?
g
Let s(m) = -m**3 + 4*m**2 - 5*m - 1. Let v be s(4). Suppose -6*d = -4*d - q + 42, -d - 5*q - 10 = 0. Which is smaller: d or v?
v
Let c = 2 + 9. Let r = c + -17. Let w = r + 1. Which is smaller: w or 2/3?
w
Let c(v) = -v**3 - 15*v**2 + 15*v - 20. Let q be (-24)/9*(0 + 6). Let a be c(q). Is -6 greater than a?
False
Let v(u) = -4*u - 3. Let s(k) = -k**2 - k - 1. Let y(m) = -s(m) - v(m). Let p be y(-4). Let x be (22/99)/(1/2). Is p not equal to x?
True
Suppose 0 = 2*z - 4*u - 44, -4*z + 5*u + 6 = -5*z. Let v = -15 + z. Do -2/35 and v have the same value?
False
Let d be (-2364)/8*((-2)/3)/1. Let v = -405/2 + d. Which is smaller: v or -7?
-7
Let j be (-245)/9 - (-18)/81. Let v = j + 57. Let b be ((-4)/(-1))/((-140)/v). Which is bigger: 0 or b?
0
Let x = 4 + 4. Let v(b) = 4*b - 31. Let l be v(x). Which is bigger: l or -2/57?
l
Suppose -3*m + 15 = -4*l - 7, -m + 4*l = -18. Suppose -4*a = -3*a - 3, -m*n + 5*a = -3. Let o be -1 + 11*(2 + -1). Which is greater: n or o?
o
Let u be 81/(-50) - 129/(-86). Is u != -1?
True
Let c = -2971/8 + 370. Let w be 511/560 + (-6)/(-15). Let g = w + c. Are g and 0 unequal?
True
Let i = 1753 - 1613. Are 139 and i equal?
False
Let l be (-71)/(-102) - 2/3. Let j(s) be the third derivative of -s**5/30 + s**4/24 + 18*s**2. Let r be j(0). Does l = r?
False
Let c = -1723 - -1635. Is c greater than or equal to 2?
False
Let i = -44 + 42. Let n be 2 - 0 - (5 + -4). Which is greater: i or n?
n
Let m = -135 + 131. Are 0.02 and m nonequal?
True
Let u = -59639/2 - -29160. Which is smaller: -660 or u?
-660
Let b = -4/47 + 130/423. Let y be ((-3)/(-5))/((-9)/(-45)). Suppose -y*t = t + 4. Is b at least t?
True
Let j = 87.5 + -83.5. Which is bigger: j or -0.21?
j
Let f(v) = -v**3 + v**2 + 2*v + 110. Let n be f(0). Which is bigger: n or 329/3?
n
Let q(k) = -k**2 - 8*k - 7. Let f be q(-7). Let x be (1 - (-31)/(-25))/((-10)/(-50)). Which is smaller: f or x?
x
Suppose -5*r = 5*t + 5 - 10, -3*t - 4*r = -3. Is t at least as big as 3/617?
True
Let h be 1214/(-3606) + -5*(-3)/45. Do 0 and h have the same value?
False
Let q = -6 + 33. Let p = 27 - q. Which is smaller: 2/33 or p?
p
Suppose 0 = -4*k + 5*z - 1, 5*k - 7*z + 2*z = 0. Are 113 and k equal?
False
Let m(g) = 52*g - 417. Let u be m(8). Which is smaller: u or -3/416?
u
Suppose 117*z + 3652 = 50452. Which is greater: z or 402?
402
Let u(f) = f**2 + 3*f + 1. Let i be u(-1). Let h = 366.88 + -367. Which is greater: h or i?
h
Let k = -41.47 - -38.5. Let y = -0.03 + k. Let m = y + 2. Is m < -0.06?
True
Let d(o) = o**3 - 15*o**2 + 19*o - 6. Let a be d(14). Let z = 65 - a. Let j be (-2)/(-6)*(-2)/2. Is j != z?
True
Suppose 0 = -7*c + 9*c. Let b = 0.08 + -2.58. Let p = -4 - b. Which is smaller: p or c?
p
Suppose 0 = 5*d + c - 65, d + c - 51 = -3*d. Suppose d*m = 12*m - 4. Let g be m/(-6)*(-6)/17. Is 0 >= g?
True
Suppose 0*u = u + 6. Let c = 7 + u. Let f be (-13)/(-28) - ((-36)/16)/(-3). Which is smaller: c or f?
f
Let s = -75.6 + 9.6. Let q = 71.9 + s. Let j = 0.1 + q. Is 1/4 smaller than j?
True
Suppose 0 = 11*k - 10*k. Suppose 5*f + 0*f + 5 = k. Let h(u) = -u**3 + 6*u**2 - 4*u - 6. Let v be h(5). Does v = f?
True
Let x = -1162/285 - -134/95. Suppose v = -m + 1, -4*v + 0 = -m - 9. Let r be (1 + -1*v)*4. Is r at least as big as x?
False
Let z = -30.8 + 30. Let c = z - 1.2. Which is greater: 1 or c?
1
Let g = -52 + 52. Are -4/3 and g nonequal?
True
Suppose 0 = 5*c + k + 12, 0 = 2*c - 2*k + 3*k + 3. Let j = c + 7. Suppose 0 = 4*u + 5*g + 16, 5*u - 6*g + 20 = -j*g. Are u and 0 equal?
False
Let z = 3 - 6. Let u = z - -19. Let y = u - 15. Which is greater: 3 or y?
3
Suppose 130*o - 134*o - 140 = 0. Is -4 > o?
True
Let u(s) = -16*s - 9. Let t be u(-4). Let n be 71/(-5) - (-11)/t. Which is smaller: -13 or n?
n
Let y(d) be the second derivative of -d**5/20 - d**4/2 - d**2 + d. Let f be y(-6). Let j = f + 2. Which is bigger: j or -1/4?
j
Let u = -1 + 2. Suppose 2*m + 6 = 0, 5*i + 68 = -m + 5. Let h be (i/(-15) + 1)*5. Is h greater than u?
True
Let i = -7.2 + -0.8. Let k = i + 7. Which is smaller: k or -17?
-17
Let w = -0.0505 - -0.0251. Is w at least as big as -1/3?
True
Let q = -0.118 + -26.834. Let y = -27 - q. Which is smaller: y or -1?
-1
Let f(x) = x - 12. Let v be f(5). Suppose -4*u - 21 = -5. Is v != u?
True
Let p be 2/10*(-803 - -1). Let f = p + 161. Which is bigger: 1 or f?
1
Let a(b) = b**2 - 7*b + 5. Let h be a(6). Let y be (-2)/(-1 + -1) + 51. Let n = y + -53. Is n greater than h?
False
Let v be (-10 - -6)/(-1) + 2858/(-715). Is v smaller than 0?
False
Let c be (-237)/(-9) + (-4)/8. Is c <= 25?
False
Let u be (20/35)/(2/4). Which is bigger: u or 1?
u
Suppose 114 = -4*o - 2*n, -3*o - o - 116 = 4*n. Which is smaller: -3/4 or o?
o
Suppose -3*s = s - 340. Suppose -6*j - s = -11*j. Suppose -20 = 4*z + 4*t, -2*t - j = 4*z + t. Which is smaller: z or 1?
z
Suppose 3*b + 27585 = 4*x, 44357 - 16771 = 4*x - 2*b. Let r = -75809/11 + x. Is r < 6?
True
Let h = -225 + 236.9. Let q = -11 + h. Let p = 46 - 46.1. Do p and q have different values?
True
Suppose 0 + 1 = o. Let k be o - (-2)/(-2) - -1. Let i be -32 + 35 + (-198)/63. Which is bigger: i or k?
k
Let u = 1 - 6. Suppose 3*g + 13 = 10. Let n be -1 - (g - (u - -2)). Which is greater: 2 or n?
2
Let j be (1 - 4)/(6/(-4)). Let g = -5 + 9. Suppose g*q = 3*q - 2, q - 6 = -4*d. Is j at least d?
True
Let y = 21155/1648387 + 3/5513. Is y <= -1?
False
Let a be 0 - -3 - (2 - 1). Let l be (-3)/12*(1 - a). Suppose q + 7*r = 4*r - 9, 5*q + 5*r + 15 = 0. Are l and q equal?
False
Let h(d) = -4*d**2 + 16*d - 29. Let x be h(6). Which is bigger: x or -615/8?
-615/8
Let o(i) = i**3 - 13*i**2 - 14*i - 1. Let j be o(14). Let v(r) = 2*r**3 - r**2 - 3*r - 3. Let h be v(j). Which is smaller: h or -2?
h
Let p = 96.9 + -96. Let n = p + -0.8. Is -47 at least n?
False
Let m = -39 + 116/3. Let u be ((-8)/(-46))/(2 - 12). Let w = u + 5/23. Is w smaller than m?
False
Let d be 15*(-5 - 11/((-220)/636)). Is 403 equal to d?
False
Let n be -2 + 6 + (-5)/10*-4. Is n smaller than 44/7?
True
Let o be (-1847)/1164 + (-12)/18. Let j = -174/37 - -50597/10767. Let b = j - o. Which is smaller: b or 2?
2
Let g be ((-6)/132)/(1/1). Is 1 less than or equal to g?
False
Suppose -21 + 9 = -2*l - x, 28 = 2*l + 5*x. Suppose -k = 24 - 24. Suppose k = -l*p + 8 - 0. Is p greater than 0?
True
Let n = -11 + 7. Let t = 10.5 - 9.1. Is t greater than n?
True
Suppose -6 = 5*r + 4*f + 9, -r + f + 6 = 0. Let d = -1 + 1. Suppose -5*v = 4*u - 2*u - 16, d = -u + 3. Are r and v unequal?
True
Let s(m) = 12*m - 69. Let j be s(0). Let k = -47 - j. Are 23 and k unequal?
True
Let k = 0.6 - 0.3. Let j = 7 - 7.7. Let x = k - j. Is -2/7 bigger than x?
False
Suppose 14 = 11*x + 25. Which is greater: x or 37/2?
37/2
Let x = 0.179 - 40.179. Let d = 37 + 6. Let m = d + x. Which is bigger: 2/5 or m?
m
Let q = -38 + 71. Let v = 263/8 - q. Let y = v - -27/88. Which is greater: y or 1?
1
Let t = 132.3 + -131. Suppose 0*d + 5 = -5*d. Which is smaller: d or t?
d
Suppose 5125 = 68*u - 109*u. Which is smaller: u or 3?
u
Let l = 0.054 + -22.054. Let c = -30 - l. Is c at least as big as -0.2?
False
Let c be (-11580)/726 - -9 - -7. Which is smaller: c or 0?
0
Let k be 2/(5 + 1) - (-188)/48. Is k at least as big as 3?
True
Let z = 488527/24185 - -2/4837. Do z and 20 have different values?
True
Let o(y) = -2*y - 4*y + y**2 + 55 - 46. Let k be o(5). Which is bigger: k or -1?
k
Let c be 4016/200 - (3 - (-219)/(-75)). Which is smaller: c or 17?
17
Let t = 12.91 - 13. Let b = t + 5.09. Which is bigger: b or 2?
b
Let p be 848/(-14) + (351/63 - 6). Which is greater: p or -58?
-58
Suppose 2*n + 3*n + 15 = 0. Let f = 3 + n. Is -2/465 greater than or equal to f?
False
Let w = 41 + -57. Let s = w + 19. Let d be 0 + -1*(-3)/(-6). Which is bigger: d or s?
s
Let h = 959.102 - 958. Let d = -0.052 + h. Let x = d + -1. Which is greater: x or 1?
1
Suppose 2*w = 4*o + 1 + 11, -3*w + 3*o = -6. Let l be 5 + 4/w + -4. Let k be l/(-4) - (-42)/(-8). Is -5 smaller than k?
False
Suppose 45*g + 11480 = 4*g. Which is greater: g or -279?
-279
Let w = 3 + -54. Let x = 56 + w. Is x <= 6?
True
Let c = 463 - 477.07. Let s = c + 14. Let t = -0.05 - s. Which is smaller: 0 or t?
0
Let w = -1365 - -4025/3. Which is greate