 is greater: q or -4?
q
Let c = -1 + 0.8. Let q = -1826 - -1828. Which is smaller: q or c?
c
Let f be (-4)/(-3)*11/(132/(-108)). Which is smaller: f or 3?
f
Let s = 27 + -27.2. Is 9 at least as big as s?
True
Suppose d = -65 + 589. Let v be d/40 - 7/((-140)/8). Is 15 > v?
True
Let z be 5/((-30)/(-156)) - 1. Which is bigger: 31 or z?
31
Suppose 0 = 3*x - 3*t - 24, -x = -5*x - 2*t + 50. Suppose -112 = -3*u + x. Suppose u = 3*c + 2*o + 3*o, -100 = -5*c - 2*o. Which is greater: 1 or c?
c
Suppose 2*z = o - 0*o - 22, -4*z = -3*o + 70. Let l be 30/o + (-4)/26. Suppose l = 3*t - 2. Is -2/37 at least as big as t?
False
Suppose 11*z = -1292 + 291. Do -90 and z have the same value?
False
Let x be (-2 - 150/(-78))*3/25. Which is smaller: 1 or x?
x
Suppose 0 = -13*o + 100 - 217. Let a = -2 - 7. Let z = o - a. Do z and 2/3 have the same value?
False
Suppose 0 = -3*v + 2*c + 91, -6*v + v + c + 140 = 0. Which is greater: 138/5 or v?
138/5
Let q(l) = l + 10. Let s be q(-7). Suppose 2*d - 2*b = -0*b + 8, s*d - 12 = -5*b. Suppose 7*y - d*y = -j, 5*j = y + 16. Is 6 < y?
False
Let b be (-4)/(-114)*(44 + 4). Is 1 smaller than b?
True
Suppose -s + 10 + 6 = 0. Suppose -s = -4*v - 12. Are v and -2 unequal?
True
Suppose 35*p + 15 = 30*p. Is p at least as big as -3?
True
Let s = -7.3 - -7. Let l = -0.09 - -0.79. Let z = l - s. Is 3 at most as big as z?
False
Let y be (-8)/(-5) + 1*-1. Let a(n) = n**3 + 7*n**2 + 2. Let k be a(-7). Let o be (1 - 1/k)*0. Is y at most o?
False
Let h = 1063 + -1072. Which is smaller: h or -1/2?
h
Let b = 1.601 + 0.799. Let d = -11 - -21. Let r be 4/d + 7/(-5). Which is smaller: r or b?
r
Let g be 3 + (8/(-12) - (-38)/(-18)). Which is smaller: -41/5 or g?
-41/5
Let s(h) = 3*h**2 + 6*h - 2. Let n(a) = 3*a**2 + 6*a - 3. Let y(i) = -6*n(i) + 7*s(i). Let t be y(-4). Let k = t + -1. Is k less than 27?
False
Suppose 0*p + 4 = 2*p. Let c be (-2)/(-2) + 1/5. Is c != p?
True
Suppose -4*s + h + 7 = 0, -3*s + 2*s = 4*h - 6. Suppose 2*j = 4*j - s, -4*z - 2*j - 10 = 0. Which is bigger: z or -18/5?
z
Let p = -302 + 302. Is p bigger than -172?
True
Suppose 5*h - 4 = -2*o + 12, 0 = 3*h - 2*o - 16. Let a be h - -52*4/(-56). Which is bigger: a or 1?
1
Suppose 2*f - 20 = x + 2, 28 = 3*f + x. Suppose -11 = -v - f. Which is greater: -2/157 or v?
v
Let t = 31 - 31. Suppose 3*w - 5*w + 6 = t. Suppose -4*z - 16 = 4*v - z, -v - w*z = 13. Which is smaller: -4/7 or v?
v
Suppose -5*d - 700 = 5*n, -3*n - 9 = -5*d + 379. Which is bigger: n or -135?
-135
Let d(p) = -p**2 - 5*p + 6. Let i be d(-5). Let q(b) be the first derivative of -b**4/4 + 7*b**3/3 - 7*b**2/2 + 3*b - 32. Let y be q(i). Is -1 at most y?
False
Suppose -2*o = 2*w + 4, 2*o + 6 = w - o. Let b be (-3)/((-29)/(-5) + -2). Which is bigger: w or b?
w
Let k be (-104)/(-12) + 2/(-3). Suppose 0 = 7*w - k*w - 4. Are w and 0 nonequal?
True
Let p(i) = i**2 + 25*i - 26. Suppose -102 = 4*a - 3*y + 2, -2*y - 130 = 5*a. Let n be p(a). Suppose 4*b = -0*b - 16, -5*b = -4*m + 16. Is n < m?
False
Suppose 4*x + 11 = 3*l, 3*l = 2*x - 3 + 10. Let a be x/(-4)*8/(-4). Let y(d) = -2*d**2. Let q be y(a). Which is bigger: q or -4/5?
-4/5
Let y(c) = -19*c + 84. Let d be y(5). Is -11 equal to d?
True
Let g = 1 + -2. Let k be (-2400)/(10 - 4)*(-1)/(-7). Let q = 57 + k. Which is bigger: g or q?
q
Let u(c) = -c**2 - 12*c - 11. Let s be u(-10). Suppose -s*n - 1 = -8*n. Are n and 3/14 nonequal?
True
Let a = -534 - -567. Let j(f) = 3*f**2 + 5*f + 6. Let d be j(-4). Which is smaller: a or d?
a
Let k be 15/((12/16)/(-3)). Let c be (-4)/15*k/(-18). Is -2 less than or equal to c?
True
Let y be -3 - (8 + -32 + -1). Which is bigger: -10 or y?
y
Let k = 1.53 + -1.13. Let w be (-106)/(-1278) - 2/(-9). Let h = w - -2/71. Which is smaller: k or h?
h
Let d = 6912/5 - 1377. Let o = d - 71/15. Is 1 smaller than o?
False
Let j(c) = 3*c**3 - 2*c**3 - c - 14 + 5*c**2 + 10. Let h be j(-5). Is 7/5 at most h?
False
Let i be (-2)/(-2) - 6/5. Let y(q) be the third derivative of -q**6/120 + 2*q**5/15 + 3*q**4/4 + 10*q**3/3 + 11*q**2. Let g be y(10). Which is greater: i or g?
g
Suppose -41*q + 16*q = -7275. Is 292 greater than or equal to q?
True
Let x = 8 - 6.9. Let k be (-22)/(-6) + -4 + 0. Is x at most k?
False
Let c = -1117 + 1116.9. Is 346 less than c?
False
Let a = -110.032 + 112. Let t = -0.032 - a. Does -1.5 = t?
False
Let o = -188 - -95. Which is greater: -95 or o?
o
Suppose 21 - 17 = -2*q. Let r = q - 29. Which is smaller: -30 or r?
r
Let t be 5/(-10) + 15/(-2). Let a be (-1)/(-2) + 2020/t. Let x be (-3)/(-4) - (-245)/a. Which is greater: x or 1?
1
Let a(u) = -3*u + 2. Suppose -i - 3*i = -8. Let m be a(i). Let j be m - (-5)/((-15)/(-32)). Is j smaller than 6?
False
Let j(z) = z**3 - 11*z**2 - 15*z - 11. Let h be j(12). Is -47 at least h?
True
Suppose -2*t + 14 = -a, -3*t - a + 21 = -0*t. Suppose -5*y + 20 = 3*b, 3*y - 2*b + t = -0*b. Let u = 114 - 114. Do u and y have the same value?
False
Let c = 1807 + -1816. Let u = -19 - -5. Which is bigger: c or u?
c
Let z = 87 + -89. Is z >= -12/17?
False
Let t(b) = b**3 - 65*b**2 + 183*b + 175. Let n be t(62). Are -13 and n non-equal?
True
Let n be 648/858 + ((-2)/13)/(-1). Suppose 0 = -2*v + p + 7, 3*v - 15 = 3*p + 3. Is v >= n?
True
Let h be (2 - 0)/((-6)/(-30)). Let v be (-30)/h - 152/(-50). Is 0 less than v?
True
Suppose 2*y - y = 85. Let b = 883.1 + -883. Is b less than y?
True
Let h be -474*220/33*(-1)/(-4). Let x be (-2)/(-10) + 178/h. Which is bigger: 0 or x?
0
Let i(y) = y**3 + 10*y**2 - 32*y - 22. Let f be i(-11). Is 1042/5 equal to f?
False
Let o = -63.37 + -1.63. Let l = o - -65.27. Let b = l + -0.37. Is 9 >= b?
True
Let y = -62 + 0. Is -63 greater than or equal to y?
False
Let m(l) = -4*l - 53. Let t be m(-14). Which is smaller: 2/49 or t?
2/49
Let u be ((-3)/234*-3)/(12*14/672). Let s = -5 - -4.7. Let x = 0.7 - s. Which is greater: u or x?
x
Let u = 1770.3 + -1770. Which is bigger: -17/4 or u?
u
Let a(m) be the second derivative of -3*m**5/10 - m**4/12 - m**3/6 - m**2/2 + 5*m. Let h be (1*2)/(-1 + -1). Let z be a(h). Which is bigger: z or 4?
z
Let v = -1256 - -1258. Which is smaller: -221 or v?
-221
Let f be ((-126)/147)/(3/1092). Is f at most 0?
True
Let r = -910 - -1105. Do r and 195 have the same value?
True
Let d = -30 + 2. Let l = d + 27. Which is smaller: l or 1?
l
Let k be (231/180 - 1) + (-3)/12. Which is bigger: k or 3?
3
Let r(b) = -b**3 - 9*b**2 + 4. Let o be r(-9). Suppose 6*f - o = 2*f. Let k be (-141)/240 + 6/15. Is f <= k?
False
Suppose 0 = 3*f + 3*v + 114, -4*f + v - 145 = -2*v. Let u = f - -56. Is u greater than or equal to 18?
True
Let r be 6/4 + 78/(-16). Which is smaller: -3 or r?
r
Let k(v) = -13*v - 12. Let h be k(-6). Suppose 0 = 9*y - 336 + h. Does y = 31?
False
Suppose -z - 25 = -6*z. Let c be (-3)/12 + (z/(-3))/(-5). Let p(a) = -a**3 + 2*a + 1. Let i be p(-1). Is i equal to c?
False
Let a = -27 + 215/8. Let m(x) = -x**3 - 4*x**2 - 3*x + 4. Let z be m(-3). Suppose -7 = -5*o - 2*f, -z*o + 0*f + 6 = 2*f. Is o at most a?
False
Suppose 0 = 5*x - 2*x - 18. Suppose x = 2*w - 2. Let y be 1/((5/20)/((-15)/(-12))). Do w and y have the same value?
False
Let x(d) = 3*d + 7*d - d**2 - 5*d + 3. Let o be x(5). Which is greater: o or 10?
10
Let t be (-660)/(-385) - 4/(-14). Is t smaller than 7/12?
False
Let h(t) = -t**3 + t**2. Let m be h(1). Let r = -36/77 + 2/7. Is r greater than or equal to m?
False
Let z be 428/(-6)*(-27)/(-6). Let x = -613/147 - 46742/147. Let g = x - z. Is g less than or equal to -1?
True
Suppose 0 = i - 5*i + 12. Let q = -10 + 14. Let r(g) = g**3 - 3*g**2 - 11. Let d be r(q). Which is bigger: d or i?
d
Suppose 10 = -38*g + 48*g. Let i be (-6)/21*(-410)/(-4). Let d = 29 + i. Is d < g?
True
Let b = 0.3 + -0.33. Let u = -0.09 + 1.29. Let p = u + -1. Does p = b?
False
Let r = -20 + 22. Suppose 2*z = 5*s + 90, -r*s - s - 4*z = 80. Is -20 greater than s?
False
Let f = -51 - -48. Let n = 2 + -1. Let g be (-1)/(-3 - (f - n)). Is g >= 2/15?
False
Suppose 67*c = 6*c + 2745. Which is smaller: -3 or c?
-3
Let b(x) = x**2 + 13*x + 3. Let l(c) = c**2 - 12*c - 13. Let k be l(12). Let r be b(k). Suppose -4*d + 3*n + 13 = 0, 4*n + 4 = d + d. Which is greater: r or d?
d
Let v(j) = j**2 - 13*j + 15. Let d be v(12). Suppose -14 = d*k - 110. Is 30 at most k?
True
Let i = 4808/11 - 43