 g(v) = -5*v**3 - 1. Suppose -5*a - 12 = 2*c, 5*a + 11 = -5*c + 2*a. Let n be g(c). Suppose 2*q + 6 = n. Is -4/5 < q?
False
Let c be (-63)/(-27) - (-2)/(-6). Let l be c*1/10 - (-6)/70. Do -11 and l have different values?
True
Let i(c) = c**3 + 2*c**2 - 4*c + 1. Let x be i(-3). Suppose 2*l - 4*z + 35 = z, -5*z = x*l + 55. Let d = 16 + l. Is 1 > d?
False
Let x(q) = -11*q + 34. Let f be x(3). Let z = -8727/10 - -874. Is f at most as big as z?
True
Let v = 0.025 + 2.075. Let m = -5.9 - v. Let z = m - -9.4. Are z and 0 nonequal?
True
Let x = 17.013 + -18.07. Let v = x - -0.057. Is v bigger than -38?
True
Suppose 0*j - 127 = -5*d + 4*j, 5*j + 107 = 4*d. Suppose -q - d = -73. Let c be ((-2)/(-3))/(q/(-15)). Is c bigger than 0?
False
Let x = -906 + 906. Is -19/26 != x?
True
Let b(u) = -u**3 + 6*u**2 - 4*u + 5. Let n be b(5). Suppose -4*y - 24 = -n*y. Suppose -z - y = 19. Is -23 greater than z?
False
Let m = -741 - -838. Which is smaller: m or 293/3?
m
Let b be 7695/88 - 4/(-22). Let k = -355/4 + b. Do k and -2/3 have different values?
True
Let v be (26/14 + -1)/(10/(-70)). Is 90 greater than v?
True
Let g(w) = -w**2 - 2*w + 12. Suppose 3*r - 4 = -3*p - 1, -5*r - 11 = p. Let f be g(p). Let m be 68/(-168) - 4/f. Which is smaller: -2 or m?
-2
Let f(i) = -i**2 - 5*i + 12. Let s(k) = k**3 - 3*k**2 - 9*k - 9. Let w be s(5). Let q be f(w). Is -0.1 at least as big as q?
False
Suppose -f = 2*n, 3 - 2 = 3*n + f. Are -2/913 and n unequal?
True
Suppose s + 25 = -28. Let v = -56 - s. Is -3 bigger than v?
False
Let m be 8/4*18/4. Let z be 6/m*(-20)/12. Which is smaller: -2/5 or z?
z
Let i = -677 - -689. Which is smaller: -1/14 or i?
-1/14
Let i(t) = t**2 - 5*t + 3. Suppose -5*v - c + 9 = 2*c, 3*c = -2*v. Let j be i(v). Which is bigger: j or 6?
6
Let q(t) = -36*t - 76. Let p be q(-7). Is 175 equal to p?
False
Suppose 3*b - 3 = 3*i, 3*i = 4*i. Suppose -5 - b = -2*h. Suppose 0 = 4*d + 3*v - 23, 0 = -4*d - h*v - v + 20. Which is smaller: 9 or d?
d
Let h = -719 - -737. Which is greater: 33/2 or h?
h
Let c(h) = 2*h + 15. Let r be c(0). Let j(k) = k - 16. Let z be j(r). Which is smaller: 1 or z?
z
Let v = 310 + -332.7. Let f = -21 - v. Let j = 5 - 37/7. Which is smaller: j or f?
j
Suppose 3*p - 36 = v + 134, p = 3*v + 46. Let o be (-12)/48 + p/296. Is 1 equal to o?
False
Suppose 25 = 5*p, 3*p - 25 = -2*v + 2*p. Let q be (-3)/6 - (-55)/v. Is 5 at most q?
True
Let w be 3/5 - (-2 - (-705)/275). Which is smaller: w or 1?
w
Let o = -163 + 771. Let g be (-2)/10 - (o/(-140) + 2). Which is smaller: 1 or g?
1
Let k = 529 + -535. Which is smaller: -4/57 or k?
k
Let l be -2 - (-5 - (-4 + 2)). Let f(x) = -x**2 + 17*x - 34. Let o be f(19). Let r be (1/((-50)/4))/(o/(-90)). Is r greater than l?
False
Let l = 19 - 17. Suppose -4*s - x - 174 = l*x, -s = -5*x + 55. Let y be (3/34)/(s/60). Which is greater: y or -1?
y
Suppose w = 2*u - 4, -w + 35*u = 38*u - 1. Is w greater than -36/17?
True
Let w(a) = -2*a + 4. Let v be w(1). Suppose 0 = 5*r + h + 144, v*h = -5*r + 5*h - 128. Do r and 1 have the same value?
False
Let c be 242/6 - (-14)/(-42). Let a = c + -23. Which is greater: a or 18?
18
Let f = 0.012 + -0.063. Let h = f + -0.949. Which is bigger: h or -6?
h
Let r = -17 + -78. Let f = -83.4 - r. Let k = f + -12. Is k less than 2/9?
True
Suppose -4*o = -4*v + 212, -10*o - 101 = -8*o - 3*v. Which is smaller: o or -60?
-60
Let v be (-1 + -2)*(-224)/(-2352). Let l = -1 - -0.95. Which is smaller: v or l?
v
Suppose -5*g + 3*i = 10 + 2, -3*g + 3*i = 12. Let z be (-1)/2*(-8)/(-16). Is g at least z?
True
Suppose -4*k + 3 = c + 36, k - 2*c = 3. Let p(v) = -v**3 - 5*v**2 + 18*v + 8. Let b be p(k). Is -17 bigger than b?
True
Let a = -368 - -143. Is -225 less than or equal to a?
True
Let y(s) = -6*s**2 + 20*s - 101. Let i be y(11). Is i greater than or equal to -607?
True
Let m be 0 + (-1 - 1)/(-1). Let n = 14 - 13. Let t be (1/(-9))/(n/(-15)). Which is bigger: m or t?
m
Let h = -34 + 28. Let c be (36/h)/(0 + -2). Is 1 <= c?
True
Suppose -4*u + 4*h + 16 = 0, 2*h + h - 33 = -2*u. Let a(t) = t - 8. Let o be a(u). Suppose 3*p + o = -5. Are -3 and p nonequal?
True
Suppose 2*a + 88 = 5*y, -5*y - 31 - 43 = a. Let r = a - -54. Which is greater: -2 or r?
r
Let o be (-28830)/(-14385)*2/(-4) + 1. Which is greater: o or -1?
o
Let d = 4 + 1. Let n be (5 - 0)/(55/(-33)). Let o be (n - d/(-2))*0. Is o smaller than 3/4?
True
Let w = -711439/3 - -6367450/27. Let s = w - -1315. Which is smaller: -1 or s?
-1
Let a = -10.962 - 0.038. Let j = -2 + a. Is j less than 2?
True
Let b = 3 + -8. Let w = -31 - -15. Let s = -14 - w. Is b less than or equal to s?
True
Suppose n = -3*d + 1, -5*d - 4*n + 0 = 3. Let x be (4 - d) + -3 + 0. Which is smaller: -1/19 or x?
-1/19
Let g = 406 - 406. Are -4/119 and g non-equal?
True
Suppose -33 + 1 = -4*y. Suppose -y = -21*d + 17*d. Which is smaller: d or -1?
-1
Let n = 1.1 - 0.98. Let j = 12.82 + -10.7. Let t = j - n. Which is bigger: 0.5 or t?
t
Let g be -13 - (-6)/3*3/6. Let k = 44 + g. Is k <= 33?
True
Let a = 208/7 + -30. Do 10/11 and a have the same value?
False
Let c = 654 + -631. Is c smaller than 118/5?
True
Let d = 29825.991 - 29814. Let s = 0.091 - d. Let z = -12 - s. Are z and 0.21 unequal?
True
Let n = 384 - 10366/27. Which is greater: n or -3?
n
Let m(v) = -v**2 + 15*v + 39. Let t be m(17). Suppose 4*r - 9*r + t = 0. Which is smaller: r or 3/28?
3/28
Let i be -3 + 3 + 5/(2 + 18). Which is smaller: i or 14/3?
i
Let u be ((-198)/12)/11*2/3. Is u > -5/36?
False
Suppose 0 = -5*z + 2*c + 5, z - 1 = -2*c + 12. Suppose -4*h = -1 - 3, 4*v = -z*h - 5. Let g = -5/14 + -31/70. Is g >= v?
True
Let o(r) = 236*r + 5. Let t be o(1). Is t at least as big as 241?
True
Suppose 0 = -4*o + 3*v - 16, 13*v = -o + 14*v - 5. Is -2/851 greater than o?
True
Let n = 229 + -223. Which is greater: n or 1?
n
Let n(a) = 2*a - 5. Let g(i) = 5*i - 11. Let s(t) = 4*g(t) - 9*n(t). Suppose 5*m = 3*m + 6. Let w be s(m). Is 8 != w?
True
Suppose -4*x - 16 + 0 = 0. Let j be (40/(-32))/(1/x). Suppose l - 2*a = -4*l - j, -l - 3*a = 1. Are -2 and l nonequal?
True
Let v be 2/10*5/14. Let o = -251.1 + 251. Are v and o unequal?
True
Suppose -1194 = -99*a + 105*a. Which is greater: a or -200?
a
Let p = -223 + 219. Which is bigger: p or 1?
1
Let l(b) = 12*b**3 - 3*b**2 - 3*b. Let s be l(-2). Let x = s + 61. Which is bigger: x or -2/7?
-2/7
Let m(v) = -30*v + 0*v**3 + v**3 + 17*v + 11*v - 12*v**2 + 15. Let p be m(12). Let k be 93/(-9) - 1/(-3). Is k < p?
True
Let w = -0.04 + 37.04. Let r = -28 + w. Let q = -2 + 1. Which is smaller: r or q?
q
Let j = -10/147 + 344/735. Is j <= 31?
True
Let t = -355 + 404. Are 4 and t equal?
False
Let j(z) = -2 + 2*z - 1 + z - 4*z. Let r be j(-1). Is r != -11/5?
True
Let i = 12 + -8. Suppose -9 = 5*s - 4. Let o be s*(-2 + -1 + -1). Is o not equal to i?
False
Let n = 71 + -50. Let f = 14 - n. Which is greater: 3/5 or f?
3/5
Let l = -14 + 144. Suppose 498 = 5*k - t, -2*k + l + 83 = -5*t. Are 100 and k nonequal?
True
Let q = -973 + 972.98. Let i = 0.29 + 0.01. Let d = 0.6 - i. Is d >= q?
True
Let k = -231 - -231.93. Let p = 0.47 + k. Is p >= 4?
False
Let v = -6 + 8. Let a = 304 + -301. Let z = v - a. Is z at most -2/11?
True
Suppose 2*r = -4*o, -5*r - 19 = -9. Let q = -1 - -3. Let b be (q/20)/(12/10). Do b and o have different values?
True
Suppose -36 = -10*q + q. Which is smaller: 10 or q?
q
Let f = -2.87 + -0.13. Let m = 1 + f. Let k be (-5)/(0 + 2 + -3). Which is smaller: m or k?
m
Let n be (5/3)/((-2)/96). Which is greater: -72 or n?
-72
Suppose 0 = -0*w + 4*w. Suppose w = -2*i - d - 2, -4*i + 4*d - 13 = -5*i. Is i at least as big as -3?
True
Let s = 4.6 - 43.6. Let y = -30 - s. Let n = y - 11. Which is greater: 1 or n?
1
Let s = -11 - -11. Let v be 5/4*(-2)/(-5). Which is bigger: v or s?
v
Let u = -63 - 8. Let d = 70.9 + u. Is d not equal to 25?
True
Let p = 0.1 + -1.1. Suppose 2*b = 159 + 9. Let y be (-33)/b - (-3)/21. Which is greater: y or p?
y
Let n(f) = -f**2 + 8*f - 1. Let u be n(7). Suppose 3 - 33 = -u*q. Which is smaller: 1 or q?
1
Let h(o) = -29*o**3 - 5*o**2 - 8*o - 7. Let u be h(-2). Which is smaller: u or 220?
220
Let r(h) = -2*h**2 + 31*h - 58. Let w be r(11). Which is bigger: 14 or w?
w
Let h = -39/28 + -1217/252. Let x be 11/(-99)*0 + -4 - 3. Which is greater: x or h?
h
Su