/k). Is -4 < c?
True
Suppose -3*q + 22 = k + 3*k, -3*q + 16 = -2*k. Let w = 7 - q. Suppose -8 = -4*p - 0*p. Which is smaller: p or w?
w
Let v = 93 + -646/7. Is v bigger than 1?
False
Let l(b) = b**3 - b. Let s be l(0). Let d = -2.33 - -6.33. Is d < s?
False
Let i = -4/23 - -39/92. Let o(u) = u**3 + 10*u**2 - 10*u + 10. Let y = -7 - 4. Let z be o(y). Is i >= z?
True
Suppose -8*d = -4*d + 268. Let l = -66 - d. Which is smaller: 2/23 or l?
2/23
Let z(h) = -13*h - 126. Let n be z(-9). Let k(v) = -v**3 - 6*v**2 - 6*v. Let a be k(-4). Which is greater: a or n?
a
Let r be (-4)/(-6)*(7 + (-93)/12). Let w = -801/10 - -80. Which is smaller: w or r?
r
Let i = 1.9 + 0.1. Suppose v + 2*v + 9 = 5*w, v + 3*w = 11. Let q be 2/v*4/(-20). Which is smaller: q or i?
q
Let t = -22.9 - 0.1. Let a = -14 - t. Let d = a - 9.1. Is d bigger than 2?
False
Suppose b - 93 = -o, -3*o - 418 = -5*b + 7. Let r be b/3 - (-2)/(-6). Let z be (-9)/6 + r/14. Is 1 at most z?
False
Let r = 950 + -1139. Do r and -944/5 have different values?
True
Suppose 2962 = 34*f + 16222. Which is smaller: -391 or f?
-391
Suppose 2*n - 11 - 5 = -3*h, 3*n = h - 9. Let w be h/10*(-5)/(-18). Is 7 < w?
False
Let k = -0.026 + -0.074. Which is greater: k or -11?
k
Let n(u) = u**3 - 2*u + 1. Let s be n(1). Let y be (0 - (-9)/6 - 0) + (-27832)/18704. Is y greater than s?
True
Suppose -8*r + 5*r + 6 = 0. Suppose 0 = -3*f - 2*f + r*f. Is 5 bigger than f?
True
Let p(u) = 3*u + 17. Let z be p(-4). Which is bigger: 17/4 or z?
z
Let i = 1.7228 - -0.0772. Is i at most as big as 15?
True
Let y = -280/3 + 93. Which is greater: y or 2.68?
2.68
Let b = -35 - -506. Is b smaller than 471?
False
Suppose -9*q = 45 + 9. Let o(y) = -2*y**2 - 9*y + 12. Let s be o(q). Is 1 less than or equal to s?
False
Let x be 2/(4/(-6)) - -43. Let v = -4.8 - -3.8. Which is greater: x or v?
x
Let z = 2.07 + -696.07. Which is bigger: -1 or z?
-1
Suppose 2*o = q + 11, -3*q + 2 = -o + 2*o. Let r be q/(-2)*2/8. Suppose -4*a = -3*g - 5, -4*a + 10 = -4*g + 2. Which is greater: r or a?
r
Let t(v) = -6*v**3 + v**2 - 1. Let h be t(3). Let r be 94/h + (-4)/(-22). Suppose -4*u + 5*n = -11, -3*u + 4*n = 8*n + 15. Which is smaller: u or r?
u
Let n = -1/346 + 893/9688. Are n and 0 non-equal?
True
Let k = 507648/143 + -3550. Which is smaller: -1 or k?
-1
Suppose -6*i + 8*i + 6 = 0. Let v = i - -16. Let c = -21 + 34. Are v and c equal?
True
Suppose -5*m + 24 = 2*s, 3*m - 3*s - 10 + 4 = 0. Suppose 2*l + l - 1 = 2*q, -2*l + m = 2*q. Suppose -j - 4*f = -1, -2*j + f + 3 - q = 0. Is j not equal to 1/25?
True
Suppose -3*z + z + 30 = 0. Suppose -l + z = -6*l. Is l smaller than -21/8?
True
Let j be (-5)/60*(4 - 3). Let q(g) = 5*g**2 + 4*g + 3 - g**2 - g - 5*g**2. Let x be q(4). Which is bigger: x or j?
j
Let l(s) = -4*s + 56. Let p be l(21). Let u = p - -6. Which is bigger: -0.2 or u?
-0.2
Let v(t) = t - 11. Let s be v(5). Let q be (4/5)/((-14)/(-65)). Let p = -11/14 - q. Which is smaller: p or s?
s
Let x = 4.51 - 5.11. Which is greater: 74 or x?
74
Let d = 385/11742 + -2/309. Let h = d - -871/114. Let a = 25065 - 25057. Which is smaller: a or h?
h
Let k be (7 - 6)/(3/(-6)). Let d = 329/4 - 83. Which is bigger: k or d?
d
Let w = 1.05 - 0.05. Is w less than 837?
True
Let f be (-2220)/(-100)*10 + 3/1. Are f and 225 unequal?
False
Let f = -20 + 19.95. Do f and 2/7 have the same value?
False
Suppose -8*d - 5*d = -247. Suppose -d*o = -15*o - 52. Is 12 at most o?
True
Suppose 0*f = -5*f - 120. Let h = -33 - f. Which is smaller: h or -5?
h
Suppose -3*t + 2*o = 7, -2*o + o = 1. Let v be 3745/(-60) + t/12. Let p = 2623/42 + v. Is 0.1 < p?
False
Let m be 4/18*(0 + -3). Let p = 7.5 + -4.8. Which is smaller: p or m?
m
Suppose -6*v + 1749 = -1023. Let j be 48/v - (-4)/(-14). Which is smaller: j or 3?
j
Suppose -15*r + 9 + 36 = 0. Let m be r - (1 - -2) - 2. Which is greater: m or 1/3?
1/3
Let x = 23 - 9. Let b = 15 - x. Let q = -6 + 5. Do q and b have the same value?
False
Let f be 2 + (2/12 - 1020/504). Which is greater: f or 14?
14
Let u(y) = 12*y**2 + 78*y + 470. Let s be u(-6). Is s at least as big as 437?
False
Let a = -57539/7 + 175474/21. Let s = 136 - a. Is 0 greater than s?
True
Let r(b) = 5*b + 16. Let y be r(-5). Let n be (-3)/y*-3 + 3. Let f = 1 + 2. Is n > f?
False
Suppose -3*g + 10*w - 5*w = 4883, 5*w = 2*g + 3247. Is g < -1637?
False
Let t(w) = w**3 + 4*w**2 - w - 1. Let q be t(-4). Suppose 0 = q*j - 0*j + 3*r + 24, 3*j - 6 = 3*r. Let o be (2/(-3) + 17/3)*-1. Which is smaller: o or j?
o
Let f = -51 + 44. Let x(g) be the second derivative of g**4/12 + 4*g**3/3 + 5*g**2/2 + g. Let y be x(f). Is y at least -4?
True
Let u = -307 + 448. Let s = u + -141.02. Which is bigger: -1/10 or s?
s
Let c = -30 - -37. Suppose 0 = 3*b + 5*t + 11, 0 = 5*t + c + 13. Let y be b/(-4) + (-30)/(-40). Is y less than -2/23?
False
Let x be 72/(-56) - (-12)/42. Is 10/29 >= x?
True
Let x(v) = v**2 - 36*v + 180. Let s be x(5). Is s at most 26?
True
Suppose -4*k = 2*k. Let j be 48/(-1188)*(5 + -2)*-1. Is k bigger than j?
False
Let q be 4/(-5) - 909/(-405). Which is bigger: q or 1?
q
Let y(g) = -g**2 - 5*g. Let b be y(-5). Suppose 0 = -b*f + f + 48. Let p be 20/f + (-3)/12. Which is bigger: 0 or p?
0
Let o = 4579/20 + -229. Let d = -15/7 - -37/14. Is o smaller than d?
True
Suppose -3*u = -5*p - 960, 125*u - 3*p + 1280 = 129*u. Is u at least as big as 320?
True
Let a = -719 - -712. Is a equal to -0.06?
False
Suppose 10*v - 8*v = 12. Suppose 2*y + 32 = v*y. Do y and 9 have the same value?
False
Let z be ((-112)/(-8))/(-28)*(454 - 0). Is z > -228?
True
Let c be -7 + 7 + -1 + 1. Let j be 10964/(-36) + (c - 3). Let i = -306 - j. Does i = 1?
False
Suppose 4*c - 8 = 2*x, 2*x + 3*c = -0*c + 13. Let j be 7/x*(0 + 2). Is j bigger than 6?
True
Suppose -2*y + 2*k + 34 = 2*y, 0 = -2*k - 6. Which is smaller: y or 67/8?
y
Let a = 3 + -9. Let o = 5.1 + -4.79. Let s = -0.21 + o. Which is greater: s or a?
s
Let y be (-159)/279 + 58/87. Which is bigger: y or 0?
y
Suppose 3*f - 3 + 12 = 0. Let v(b) be the second derivative of -b**4/12 - b**3/3 + 3*b**2/2 + 55*b. Let u be v(f). Which is greater: u or 3/16?
3/16
Let c be (3/173)/(1/(-6)). Does 1 = c?
False
Let b be 16/(-40)*1*-5. Suppose b*d - 3*d + 10 = 0. Let n be (2 + -1)*(d - 9). Is 1/15 bigger than n?
False
Let z = -102 - -86. Let p = -30 - -13. Which is smaller: p or z?
p
Let y be (-62)/6 + 8/(-12). Let x = 27 + y. Which is smaller: 17 or x?
x
Let d be (16/108)/((-4)/6). Suppose -3*a = 3*z + 9, 4*z - a = -3 + 11. Which is bigger: z or d?
z
Let m be 102/8*(-1984)/96. Which is smaller: -264 or m?
-264
Suppose -5*a = -2*y + 404, -y + 98 = 3*a - 104. Do y and 202 have different values?
False
Let m be (1 - (-113)/(-111))/((-68)/510). Is m at least as big as 0?
True
Suppose 6*h + 4 = 2*h, 4*h = 2*r - 4. Let p(n) = -n**3 - 3*n**2 + 3*n + 3. Let a be p(-4). Let k = r + a. Is 7 equal to k?
True
Let v(g) = -g + 8. Let l be v(-9). Let r be (l - 21)*-1*1. Let f be 1*1/3*9. Which is smaller: r or f?
f
Let s = 4 + -8. Let l(d) = 10*d + 63. Let u be l(-6). Do s and u have the same value?
False
Let g be 4/(-14) + 18/14. Let k = 3 - g. Suppose -8*y + 12 = -k*y. Which is smaller: y or 0?
0
Suppose -2 = -3*c - 8. Let t be c/(-11) + (-106)/(-22). Let v = 343/96 - -3/32. Which is smaller: v or t?
v
Let c be (-30)/12 - (-2)/(-4). Let x be c/(-9) - 2/4*-3. Is 3 < x?
False
Let t = -0.58 - -0.48. Which is greater: 106 or t?
106
Let m = -184 - -124. Let l = 42 + m. Which is smaller: l or -17?
l
Let g = 3/17 - -285/119. Let z = -29 + 49. Suppose d = 6*d - z. Is d smaller than g?
False
Let w be (-19575)/(-39300) + (-2)/4. Are w and 1 unequal?
True
Let v be -295 + 2*2*3/4. Let r be v/154 + (-10)/35. Which is greater: -3 or r?
r
Let r be 134/14 - (260/(-35) + 7). Is r at most as big as 28/3?
False
Suppose -3*c - 5*k = -28, -4*k + 5 + 3 = 0. Let p(o) = 2*o**3 + 2 + c*o - 4*o**2 + 19*o**2 - 9*o**2. Let d be p(-3). Which is greater: d or -15?
-15
Let t(o) = o - 5. Let u be t(8). Let f(b) = -b**2 + 2*b - 1. Let h be f(u). Suppose -5 = -i - 4*p, 2*p - 16 + 0 = 4*i. Which is smaller: h or i?
h
Let t = 35 + -50. Let j be (-10)/t - (-2)/12. Let w be (0/6)/((-2)/2). Which is greater: w or j?
j
Let y = -887 + 761. Which is bigger: -129 or y?
y
Let x be (23/4)/((-3)/(-4)). Let y(m) = 2*m**3 - 3