/9). Is g < -78?
False
Let t(j) = 43*j**2 + 1. Let h be t(-1). Let f = -65 + h. Let w = -20 - f. Which is smaller: -5/11 or w?
-5/11
Let c = 63 + -179. Let p be 0 + (c/(-1))/4. Suppose -5*z + 6*z + p = x, 2*z + 46 = -x. Which is greater: -24 or z?
-24
Let f(g) = 3*g**3 - 12*g**2 + 5*g - 12. Let t be f(10). Let d = -207692/113 + t. Is d at least 0?
True
Suppose 4*j + 10 = -2*q, -5*j - 9 = 1. Is q bigger than -1?
False
Let z(d) = -12*d - 11. Let o be z(6). Let i be (o - 1)*(4 + -5). Suppose 9 = 2*a + a, 0 = 3*p + a - i. Which is smaller: 0 or p?
0
Let y = 56 - 39. Let o = 17.5 - y. Let b = o - -0.6. Is -0.1 greater than b?
False
Let s be 23085/28575 + 8/(-10). Is -1 greater than or equal to s?
False
Let u be 71/(-142)*1/2. Which is bigger: 35 or u?
35
Let o(d) = 29*d + 94. Let b be o(-13). Are b and -283 nonequal?
False
Let l = 16 - 16.09. Let g = 0.02 + l. Let x = 0.17 + g. Which is bigger: x or 2?
2
Suppose 49*p - 19 = 50*p. Is -15 >= p?
True
Let r = -61/42 + -22/21. Which is smaller: -2 or r?
r
Suppose 5*d + 4*l = -0*d + 17, -2 = l. Suppose -5*x + 5 + 10 = 0. Let i be 1/(2/(x + 3)). Which is smaller: i or d?
i
Let o = 1096 + -1096. Is 139 less than or equal to o?
False
Let u(l) = -l**2 + l + 7. Let w be u(0). Let n(a) be the third derivative of -a**5/60 + a**4/3 - 4*a**3/3 + a**2. Let j be n(w). Is -2/5 smaller than j?
False
Let u = 143.921 + -144. Is u at most 0?
True
Let q be 0 - 3 - -3 - -18. Suppose -q = 2*b - 6. Do 1 and b have different values?
True
Let d(s) = -5*s**2 - 26*s + 137. Let z be d(4). Which is bigger: z or -49?
z
Suppose -6 = -a - 5. Which is bigger: 1/500 or a?
a
Suppose 4 = 4*s - 2*s. Let h be ((-7)/3 - -3)/s. Which is bigger: h or -62?
h
Let a be (-4)/((-4)/(-6)*(-3)/(-230)). Let h = -13072431/28280 - -1/28280. Let b = h - a. Which is bigger: -3 or b?
b
Suppose 2*u - 123 = 69. Let i(q) = -196*q - 296. Let k be i(-2). Is k < u?
False
Suppose 12 = -8*g + 12*g. Suppose -13*f = -16*f - g. Let p be 2/(-2) + (-2)/7. Is f smaller than p?
False
Let j be (-8)/(-3) + (-6150)/(-1845). Suppose i + p + 3*p - 23 = 0, -5*i - 2*p + 43 = 0. Which is smaller: j or i?
j
Suppose g = 4*q - 14 + 1, -11 = -5*q + 3*g. Let f(x) = -x**2 + 23 - 36*x - 21 + 39*x. Let u be f(q). Which is bigger: -1 or u?
-1
Let g = -9294 - -130177/14. Is 3 at least g?
False
Suppose 5*x - 108 = 2*o, 44 = -0*x + 2*x - o. Suppose -18*d + x*d + 4 = 0. Is 0 at most d?
False
Let g = 4.9 - -8.1. Let p = 12 - g. Are -27 and p equal?
False
Let x be (-5)/(-75)*(-6)/14. Let i = 938 + -937. Are i and x nonequal?
True
Suppose -1568 = 5*a + 807. Is a at most as big as -475?
True
Let t be -2 + 111/30 + (-9)/6. Let x = -56 + 390/7. Which is greater: x or t?
t
Let t(g) = g**3 + 6*g**2 + g + 1. Let n be t(-6). Suppose 2*i = 11 + 1. Suppose 5*d + 5*c = 3*d - i, 3*d + 3*c + 9 = 0. Which is smaller: n or d?
n
Let t = 0.07 - -0.23. Let z = 352/519 - 2/173. Is t at least z?
False
Let v = -14 + 26. Suppose 15 = 2*p - 4*r - r, 4*r = -5*p - v. Suppose -2*u - u - 3 = p. Is u greater than 0.2?
False
Let z = 135 - 164. Which is greater: 1 or z?
1
Suppose w + 4*w + 40 = 0. Let i(c) = c**2 + 10*c + 16. Let z be i(w). Are z and 1 nonequal?
True
Suppose -g = 11 - 13. Suppose 5*s = g*y - 8, 0*y = 3*s + 5*y + 11. Suppose 0 = -0*p + 3*p. Is s >= p?
False
Let r = 2 - 2.1. Let d = -147 - -5435/37. Let x = d + 65/259. Which is greater: r or x?
x
Let i(a) = a**2 - 8*a + 2. Let f be i(9). Suppose -43 + 133 = 5*w. Let x be w + (-16)/4 + -3. Is f > x?
False
Let a = -0.12 + -17.88. Let u = a + 20. Which is smaller: u or 0.5?
0.5
Let u = -1331/996 - -1/332. Is u greater than or equal to -25?
True
Let o be ((-9)/(-369))/(4 + 92/(-22)). Which is bigger: o or 0?
0
Let q(n) = -n**3 + 2*n**2 + 3*n - 2. Let y be q(3). Which is bigger: y or -40/33?
-40/33
Let c = 968 - 1051. Is -3 bigger than c?
True
Let s = 157 - 378. Which is smaller: s or -222?
-222
Let j = 229 - 685/3. Is j smaller than -0.037?
False
Let t(a) = a**2 + 5*a - 23. Let r be t(-7). Let j be (4/6)/((-15)/r). Suppose 0 = -3*p - 3, 2*q + 6*p = 3*p + 1. Is q > j?
True
Let x = -23 + 19.8. Let j = -1.6 - x. Let d = j - 1.6. Is -4 < d?
True
Let y be -2*((-7 - 0) + -2). Suppose 183*l - 53*l - 2600 = 0. Which is greater: y or l?
l
Let a be (-4185)/(-620) - -1*2/8. Which is bigger: 26 or a?
26
Let g = 64/123 - -6/41. Which is greater: g or -15?
g
Let a = -2 - -17. Let j be (-12)/9 + 38/a. Let o be (-11)/(-9) - (-4)/(-18). Does j = o?
False
Let s(f) = f**3 + 2*f**2 - 9*f - 15. Let g(c) = -c**2 - 1. Let q(b) = -5*g(b) + s(b). Let w be q(-8). Let z be ((-51)/15 - 2) + 2. Which is smaller: z or w?
z
Suppose -2*i - 2 = 0, -2*u + 5*i + 2 = -5. Let l be (48/(-15))/(u/(-5)). Let v be 3/10 - (-8)/l. Is v >= 1?
False
Let t = 5 + -2. Suppose -44 = -p - t*p. Let i be (-12 + p)/((-1)/(-2)). Which is bigger: -4 or i?
i
Let x = 22.8 + -22.6. Which is smaller: x or 7/6?
x
Suppose -44*a + 40*a - 40 = 0. Let k = -15 - 40. Let c be 12/k - 4/a. Which is smaller: c or 1?
c
Let w(n) = -7*n**2 + 3*n + 15. Let z be w(5). Which is greater: -146 or z?
z
Let r = 20.9 - 2.9. Let c = r + -18.5. Which is bigger: 0 or c?
0
Let h = -19.935 - -20. Let t = h - 0.035. Which is bigger: -0.3 or t?
t
Let m = 9.5 + -105.5. Let d = m - -85. Are -0.3 and d non-equal?
True
Let f = -111.66 + 126.8. Let p = f - 15. Let d = 0.06 + p. Do d and -3 have the same value?
False
Let t(k) = -k**3 + 23*k**2 - 75*k + 25. Let a be t(15). Is 700 less than a?
False
Let v be -6*2 - (-96 + 85). Are 2/797 and v equal?
False
Let w(l) = l**3 - 16*l**2 + 26*l + 17. Let h be w(14). Let g be (12 + h)/((-2)/4). Is -14 greater than or equal to g?
False
Let m(r) = -r**3 + 9*r**2 - 9*r - 23. Let n be m(6). Which is bigger: 29 or n?
n
Let z be 140/48*4*1/3. Is z less than 4?
True
Let d = -77155/17 - -4537. Which is bigger: d or -1?
-1
Suppose 2 = -2*s + 48. Suppose 19 = -d - i, 4*d + 5*i + 54 = -s. Is -14 less than or equal to d?
False
Let u(v) = 13*v - 144. Let t be u(6). Which is smaller: t or -63?
t
Suppose 1289*i = 1297*i + 72. Which is smaller: i or 13?
i
Let r = 983/3 + -327. Which is greater: r or -1/2?
r
Suppose l = -2*l - 39. Suppose -10*x - 483 = 13*x. Let z be (0 + -2)*(-3)/(9/x). Is l greater than or equal to z?
True
Suppose -9*y + 10*y + 2 = 0. Let s be 1/(-2)*(-126)/(-35). Is y < s?
True
Suppose 141*g - 151*g = 10. Let f be 2/3 - (-710)/(-1110). Which is bigger: f or g?
f
Let k = 24327/10 + -2448. Which is smaller: -15 or k?
k
Let t = 16 + -40. Let o = t + 41. Let y = -17 + o. Which is bigger: -4 or y?
y
Suppose 0 = 32*k - 3*k + 23316. Is -804 greater than k?
False
Let h(k) = 5*k**2 - 3*k - 31. Let r be h(8). Which is greater: 266 or r?
266
Let y(j) = -7*j**3 - 43*j**2 - 89*j + 36. Let z(s) = -3*s**3 - 21*s**2 - 45*s + 18. Let l(b) = 2*y(b) - 5*z(b). Let h be l(-16). Which is smaller: h or -72?
-72
Let q be -1 - -2 - ((-147)/(-30) + -3). Is q greater than or equal to 0?
False
Let c be (-4 + 115)/1 - -1. Let f = -283 + c. Let s = 2563/15 + f. Is s greater than -1?
True
Let a = -31 - -16. Let v = -406 - -405.9. Are v and a unequal?
True
Let j = 220 + -221. Is -1/17 bigger than j?
True
Let s = -23 - -22.12. Let o = -0.18 - s. Which is smaller: -3 or o?
-3
Let m be ((-2)/(-3))/(4/(-86)). Let b be (-30)/(-28)*13334/(-1017). Let z = b - m. Which is bigger: z or -1?
z
Let w = -46.929 + -0.071. Let b = -50 - w. Let q = -0.05 - -1.05. Which is bigger: q or b?
q
Let b = 4.8 + -0.8. Let d = b + -4.1. Let f = 61 + -63. Which is smaller: d or f?
f
Suppose -3*h - 1 = -4*h. Suppose 0 = -3*d - 12, 5*b + 5*d - 475 = -0*b. Let z be b/(-27) + 1 + 3. Is z bigger than h?
False
Let n = 182368/63 - 17152/7. Let z = 444 - n. Which is smaller: -1 or z?
-1
Suppose -4*j = 5*l - 9, -l - 2 - 1 = -4*j. Let w be 4 + 96/4*j. Suppose w = 3*z - 2. Which is smaller: z or 9?
9
Let n = 1077 - 1072. Which is greater: n or -213?
n
Let r be (-937)/(-11) - (-1 + (-52)/(-44)). Which is bigger: r or 84?
r
Suppose 100*w + 64 = 132*w. Let t be 5/17*(-9)/(-5). Which is bigger: t or w?
w
Let d be (-1)/(-4) + 5/76. Let a = 14 - 63. Let v = a + 49. Is v != d?
True
Suppose 0 = 3*x + 5*d + 16, 0 = 3*x - x + 2*d + 4. Suppose 4*r - 2*r = 3*y - 7, y - x*r = -7. Let i = -28.2 - -28. Which is bigger: i or y?
y
Let a be (3/(-15) - 6/(-30))/1. Let c be (-10)/6*12/(-75).