c/7). Which is bigger: l or 1?
1
Let k be 9/2*(-42)/7. Let g = 28 + k. Suppose h + 8*h = -153. Which is smaller: h or g?
h
Let s = 929 - 748. Is s >= 154?
True
Suppose 41*y + 124*y + 128223 = -85122. Is -1/4 less than y?
False
Let o be ((-546)/(-52) + 3 + -15)*(-4)/(-6). Which is bigger: -23/122 or o?
-23/122
Let d(a) = -3*a**3 - 157*a**2 - 51*a + 52. Let n be d(-52). Is n not equal to -35/72?
True
Suppose 4*s + 192 = 11*b - 6*b, 3*s - 27 = -b. Let j be 12/(-252)*(-14)/b. Let w = 0 - 0. Is j smaller than w?
False
Let f(c) = -c**3 - 65*c**2 - 309*c - 13. Let y be f(-5). Let w(x) = x**2 + 2*x - 10. Let t be w(-8). Is y smaller than t?
True
Let a = -422 + 422. Suppose -8*o + 4*o - 5 = -q, a = -2*o - 5*q + 3. Is -134 at least o?
False
Suppose 0 = -2*l - l + 6. Let a be 1/l - 5/10. Let o = -0.088 - 35.912. Is o less than a?
True
Suppose -2*n - n - 4*i = 0, 0 = 5*i. Let l = -38 + 39. Let v be (-1300)/(-637) + (-1 - l). Are n and v equal?
False
Let k(g) = g**3 - 1074*g - 1074. Let c be k(-1). Let j = 52417 + -629891/12. Let t = j - -74. Which is bigger: t or c?
t
Let j = 6 - 5. Let a be (-2 + 1)*(-2 + j + -1). Suppose 3*q + 3*f + 3 = 0, 0 = -6*q + a*q + 5*f + 23. Does q = 7/5?
False
Let i = -0.23 - 5.77. Let w = 43 + i. Let x = w - 40. Is x >= 2?
False
Suppose 7*t - t = 0. Suppose t = -g + 2*k, 28 = 5*g - 4*g + 5*k. Let y be (-7)/(-35) + g/10. Is 1 equal to y?
True
Suppose 19*q - 24*q - 5 = 0. Let m be (-1 + 2)/(q*(-5)/130). Is m > 107/4?
False
Let v = -15199/180 + 1097/15. Is v greater than -12?
True
Let q = 31479 - 31478. Is -4/7503 at least q?
False
Let q = 101 + 31. Suppose -6*z - q + 126 = 0. Which is bigger: -23.4 or z?
z
Suppose -2*a + 52*j - 53*j = -13565, -5*a = -4*j - 33867. Which is greater: 6778 or a?
a
Let q = 2809/10438 - 93/614. Let z = 3.2 - 0.2. Which is greater: z or q?
z
Suppose 6*x = -49385 + 49403. Is x > 162/61?
True
Suppose -r + 3 = -2*y, -13*y = -14*y + 4*r - 19. Let a be y/(-2) - 2353/78. Which is smaller: a or -31?
-31
Let g = -1226 + 1952. Let f be (-2)/16 - (g/16)/(-11). Suppose f*v + 1 = -3. Which is smaller: 1/12 or v?
v
Let d be 330/(-50) + 7 + (-298)/(-5). Let a = -43 + 100. Which is smaller: d or a?
a
Let w(d) = 9*d - 204. Let n be w(21). Suppose -2*r + 65 = -7*r. Which is smaller: r or n?
n
Let r = -0.375 - -0.075. Let g = -21 + 21.014. Which is smaller: g or r?
r
Let z = -67 + 63. Let b be (-864)/(-3300) - z/(-22). Which is bigger: b or 1?
1
Let o = 41617 + -25760. Let n = o - 10069197/635. Do -1 and n have different values?
True
Let a be (9 + (-12 - -3))/(8/(-8)). Is 21/37 > a?
True
Let l = 117 + -145. Let g be 0*l/70*10/8. Which is bigger: g or 0.64?
0.64
Let g be 948/(-238) + (3 - 2) - -3. Let a be (-1)/((-16)/(-284)) + (-1)/4. Let j = -19 - a. Which is smaller: g or j?
j
Let h = 296 + -443. Let w = h - -9. Let t = -112 - w. Which is greater: t or 0.1?
t
Let m = 15 - 12. Suppose -4 = -m*y - 1. Let n be 1 + (-1)/2*y. Which is smaller: 2 or n?
n
Let m = 233.7 - 227.2. Is m bigger than 0.13?
True
Suppose 1 - 5 = 4*g. Let d = g + 1. Let t = 6069/76 - 319/4. Are t and d equal?
False
Let o(j) = -62*j**3 + j**2 + 4*j + 2. Let h be o(-1). Let k be (h/62 + -1)/(-1)*8. Which is greater: -3 or k?
k
Let d = -33.24 + 33.54. Is 0.8 < d?
False
Suppose -3*q - r = -483, -4*q - r - 2*r + 649 = 0. Let x = -84 + q. Suppose -x = -7*a - 20. Which is greater: 7 or a?
a
Let i(x) = -4*x + 60. Let s be i(-4). Let p = -91 + s. Which is greater: -19 or p?
p
Let r = -7257 + 4962. Let b = r + 117041/51. Which is greater: b or 1?
1
Suppose 4*u + 4*t = 3*t + 749, -u = 2*t - 182. Let r = 60 - u. Let f = -1411/11 - r. Which is greater: f or -1?
f
Let l be (-22)/(-627) + (-3852)/80541. Let m(g) be the first derivative of -g**2/2 - 7*g + 2. Let d be m(-7). Which is greater: l or d?
d
Let r be 552/(-414)*117/122. Which is smaller: -2 or r?
-2
Let i be -7 - (-908)/428*-461. Let k = i + 985. Is 0 at most k?
False
Let w(h) = h**3 - 2*h**2 + 2*h + 3. Let x be w(-1). Let l be (-8748)/(-16470) - x/(-5). Which is smaller: l or 0?
0
Let a = -4993 - -9989/2. Is a equal to 651?
False
Let l = -45042 - -111478952/2475. Which is bigger: l or 1/4?
1/4
Suppose 0 = -3*v + 5*j + 295 + 1, -98 = -v + 2*j. Let i be (62/v + -1)/((-59)/531). Are 4 and i equal?
False
Let m = -1083 - -1082.9455. Let x = -44.0545 - m. Let s = 0.4 + -0.3. Is s smaller than x?
False
Let d be 1/(-5) - 12/15. Let k = 44 - 51. Is k > d?
False
Let v = 127.59 - 6.49. Let b = -127 + v. Let g = b + 6. Is -2/95 less than g?
True
Let o(m) = -m**3 - 33*m**2 - 30*m - 167. Let u be o(-32). Which is greater: -242 or u?
u
Let l = 0.327844 - 33.890944. Let k = l - -1.5081. Let u = k + 0.055. Which is bigger: 0 or u?
0
Let y(b) = -2*b - 18. Let n be y(-12). Let a be (n/(-4))/(6/(-72)). Suppose a = -9*o + 9. Do 3/19 and o have different values?
True
Suppose -2*k - k - 2*h = 34, 0 = 4*k + h + 47. Let a be (-2 + k/8)*4. Is -12 smaller than a?
False
Let y(h) = -147*h - 6461. Let a be y(-44). Suppose -4*i - 322 = -2*d, -707 = -5*d - i + 87. Let m be d/15 - 3*1. Are m and a non-equal?
True
Suppose -5*r - 475 = w + 679, -4*r = -4*w + 904. Let v = -227 - r. Which is bigger: 90/29 or v?
90/29
Let z be -1*(15/40 + (-3)/8). Suppose 2*n - 4*v + 22 = z, 0 = 2*v - 10. Which is smaller: n or -6/37?
n
Suppose 4*g - 5*g + 43 = 0. Let p = g - 133. Suppose -3*d = -2*d + 89. Which is bigger: p or d?
d
Let p = 10 - 7. Suppose -20 = p*d - 8. Let r(j) = 2*j**3 - 13*j**2 - 45*j + 260. Let g be r(7). Which is bigger: d or g?
d
Suppose -1 = o - k, 4*o + 3*k - k = -16. Let g be 7/3 - 2/o. Let v(s) = 323*s + 38443. Let a be v(-119). Is a >= g?
True
Let h(y) = -4 + 9*y**2 - y + 6*y + 4*y**2 - y. Let d be h(2). Let r = 0.37 - 0.47. Which is bigger: r or d?
d
Let u = -3999.12 + 3995. Which is bigger: 0 or u?
0
Let y = -10130 + 10193. Which is bigger: y or -26?
y
Suppose 39*t - 10327 = -499. Suppose 59*s = 41*s + t. Let k be 13/(1 - (2 - 2)). Which is smaller: s or k?
k
Let o be -2 + (50 - 2/(-6)*-6). Suppose -5*f = -3*c - o, 3*f + 4 = 1. Let x(j) = -j**3 - 16*j**2 + 17*j - 16. Let n be x(c). Do -16 and n have the same value?
True
Suppose -4*h + 5*p - 93 = -7*h, 4*h + 5*p = 129. Let n(t) = -t**3 + 38. Let r be n(0). Does r = h?
False
Suppose v - 5*h + 7 = 0, 6*v + 21 = 3*v - 5*h. Suppose -50 = 9*n - 32. Let u be ((-4)/n)/(5 + v - -4). Which is greater: 4/3 or u?
4/3
Suppose 10*i = 22*i - 216. Let d(h) = -h**2 + 21*h - 50. Let t be d(i). Is 6 bigger than t?
True
Let d = 9984 + -9350. Which is smaller: 0.7 or d?
0.7
Let v(w) = -w**3 - 33*w**2 - 146*w - 4. Let t be v(-4). Which is smaller: t or 118?
t
Suppose 536*c = 476*c + 449580. Which is greater: 2 or c?
c
Let l = 6779 - 6678. Is 104 > l?
True
Let b = -262/3 + 88. Let r = 32.6 - 18.63. Let l = 1.97 - r. Which is bigger: b or l?
b
Let f(w) = -4*w**2 - w - 2. Let j be f(-1). Let l be j*(-5 - 23/(-5)). Let t be (-51)/l*(-32)/(-48). Which is greater: t or -18?
t
Suppose -4*j + 2*v + 21 = 265, -2*j = -4*v + 122. Let m be ((-8)/16)/(-1 - j/62). Let q be 2/(596/(-294)) - (30 - m). Which is bigger: -1 or q?
q
Suppose -4*h - 3*y = -2, 7*h = 10*h + 5*y + 4. Suppose -2*r = -h*p + 218, -3*r - 4*p + p = 297. Which is smaller: r or -106?
-106
Let s = 3109 + -3120. Let b = 30 - 42. Which is smaller: b or s?
b
Let m = 173 + 79. Let g be (30/40)/(27/m). Suppose 0 = o - s - 2*s - 15, 2*o = 5*s + 28. Which is smaller: o or g?
g
Let j = -609/2 - -314. Let v be 696/80 + (-3)/(-5). Let n = j - v. Is n < 0?
False
Let w be (-11)/((-22)/12) - 8. Let k be (12/906)/(w/(-1)). Which is greater: k or -2/7?
k
Let f = -1/27880 - 390309/306680. Which is smaller: f or -0.47?
f
Suppose -40*f + h = -39*f + 1497, 2*h = f + 1501. Does -1500 = f?
False
Let y = 24 + -18. Let i be 1/(y/(-8)*-10 + -3). Which is greater: i or -0.97?
i
Let y(f) = -f + 12. Let i = -106 + 108. Let v be y(i). Which is smaller: -7 or v?
-7
Let q be (175 - 173)*3/(-358). Let l be 12/18 - 2/3. Which is bigger: q or l?
l
Let k be ((16 - 4)/3)/(2 - 1). Suppose q - 103 = -3*t + 5*t, 4 = k*q. Let g = -132 + 82. Is t >= g?
False
Let d be ((544/3)/(-8))/(-6). Let y = -43/72 - d. Is -5 >= y?
False
Let r be (166 - 136)/(1*(-6)/(-3704)). Let d be 1 + (-6)/4 + 9340/r. Let a(x) = -x - 5. Let i be a(-5). Is d at least as big as i?
True
Let m(n) = -n**2 - 2*n - 