values?
True
Let h(i) = -i**3 + 6*i**2 - 4*i - 1. Let m(z) = -z**2 - 8*z - 7. Let r be m(-6). Let p be h(r). Suppose -3*s = -p*s - 13. Is -13 at least s?
True
Let h = -372 - -371. Is 0.6 less than or equal to h?
False
Let d(v) = -3 - v**3 + 170*v - 6*v**2 - 173*v + 2*v**3. Let p be d(6). Which is smaller: -2 or p?
p
Let v(s) = -11*s**2 + 6*s - 17. Let a(r) = 4*r**2 - 2*r + 6. Let k(p) = -17*a(p) - 6*v(p). Let c be k(-2). Let j = -187.2 - -188.2. Is j smaller than c?
False
Suppose 14*c - 108 = 11*c. Suppose 5*y - c = -21. Which is smaller: -8 or y?
-8
Suppose 4*f - 7 = 13. Suppose f*u = 2*g - 8 - 5, 7 = 5*u + 3*g. Let o = -839/9 + 93. Which is greater: u or o?
o
Let o = 281 + -356.4. Let b = o + 75. Which is bigger: 1/4 or b?
1/4
Let i(u) = u + 6. Let r be i(-7). Which is smaller: 1/10 or r?
r
Let y = 1.855 - 1.8. Let h = 8.055 - y. Does -1 = h?
False
Let g = 116 + -146. Let i = -25.52 - -0.52. Let h = g - i. Do -0.1 and h have different values?
True
Let r be (21/35)/((-2)/4). Let c be (1/9)/((0 + -3)/(-6)). Which is bigger: c or r?
c
Suppose 0 = -2*n - 3*t - 14 - 40, 5*n = 3*t - 93. Let w be (6/n)/((-2)/42). Suppose w*v + 14 = 2. Is v > 1?
False
Let i(b) = b**2 + 9*b - 16. Let l = -70 - -65. Let v be i(l). Is -35 >= v?
True
Let k be 3*336/189*(-15)/4. Is k smaller than -19?
True
Let k = -457 + 455. Is k less than -194?
False
Suppose 0 = -0*i + i + 24. Let w be 1/((-12)/i - (-6)/(-4)). Which is smaller: w or -16/17?
w
Let z = 0.8 + -0.8. Let i be (-1 - 0)*(-40 - (7 + -10)). Which is smaller: z or i?
z
Let l = -0.496 + 0.396. Let p = -195 - -1370/7. Is p smaller than l?
False
Let w be 4/(-14) - -164*1/(-14). Do w and 2.7 have different values?
True
Suppose -4*o + 6*o = 10. Suppose 3*b - 10 = h, 6 = 4*h + 5*b - o. Let d = 0 - 1. Is h at least as big as d?
True
Let h = 24 + -18. Let c be h*(-1 - 1) + 2. Let o be 15/c*(6 - 0). Is -8 greater than or equal to o?
True
Let t be (5 - 3)/(32/752). Which is smaller: t or 45?
45
Let x = -20089 + 51347483/2556. Is x smaller than 0?
True
Let t be (-20)/5 + (-116)/4. Let o = 28 + t. Is -4 at most o?
False
Let i(j) = -2*j - 6. Let f be i(-4). Suppose 4 = -0*d - f*d. Suppose -4*q + 5*u = -21, 0 = -5*q - 5*u - 56 + 26. Is d at most as big as q?
True
Let y = 14 - 8. Let o = y + -4. Suppose 1 + 3 = o*p. Which is smaller: 0 or p?
0
Let r = -71.1 - -71. Are r and -90/13 non-equal?
True
Let t = -34 - -54. Suppose 4*d + 2*n - 24 = 3*n, 4*n + 31 = 3*d. Suppose 4*k - q - d = 0, 4*q = -4*k - 0*q + t. Is k != 4?
True
Let b be 6 - 3/144*292. Which is smaller: 1/3 or b?
b
Let a(i) = -i**2 + i + 16. Let l be a(0). Let n(d) = -3*d**3 + 2*d**2 - 2*d + 1. Let f be n(1). Let s be 2/6*2*f*-12. Is l less than s?
False
Suppose -4 = -l - 2. Suppose -l*u - 2*f + 3 = f, -4*u - f = -21. Suppose 0 = -2*s + u*s - 20. Is 4 not equal to s?
True
Let z = -851 - -853. Let q(r) = -r**2 - 5*r + 5. Let u be q(-5). Is z bigger than u?
False
Let s = 1006 + -1005. Which is smaller: s or 21/25?
21/25
Let i be (-99)/12*(-32)/(-6). Let j be (1 + -5)*i/8. Is j < 23?
True
Let c = -166 - -184. Is 4 at most c?
True
Suppose 42*o + 246 = 48*o. Let t = o + -54. Is -13 greater than or equal to t?
True
Let h = 177 + -178. Are h and -2/1709 unequal?
True
Suppose y = 3*x + 62, -4*y = -5 - 15. Which is bigger: x or -24?
x
Let o = 3.83 + -3.63. Is 19 smaller than o?
False
Let u be -4 - 240/(-11) - (-2)/11. Suppose 0 = -f - 12 + u. Which is smaller: f or 4?
4
Let d = -181/132 - -4/33. Let y(s) = -s**3 + 4*s**2. Let l be y(4). Suppose l = -3*r + 6*r + 6. Which is smaller: d or r?
r
Let g(l) = l**3 + 10*l**2 - l - 7. Let p be g(-10). Let w be (68/12 - 5) + (-10)/24. Which is smaller: w or p?
w
Let p be 6/2 + (-2 - -1). Suppose g = p*g. Suppose -3*n - 3*w - 21 = g, 4*w = 6*n - 2*n + 44. Is -8 not equal to n?
True
Let n(w) = w**3 - 7*w**2 + 3. Let c be n(6). Let b = c + 35. Let h = -0.2 + 0.3. Which is bigger: b or h?
b
Let p = -13 - -33. Let o be 20/17 - (-4)/p*-5. Which is bigger: -1 or o?
o
Let p be ((-4)/8*-74)/(-3). Is -11 at most as big as p?
False
Let u be (1 - -1) + (-420)/215. Suppose -9*z = -4*z - j + 7, -2 = -j. Is u >= z?
True
Let v be 30/(15/(-5))*1. Let y be 0/(-2) - 0 - 9. Is v less than or equal to y?
True
Let o = -0.526 - -155.526. Are o and 0.1 equal?
False
Let z = 4.68 + -1.68. Is -2/93 >= z?
False
Let p be 10/2 + (-3)/3. Suppose g + 4*f - 30 + 5 = 0, p*f = 2*g - 14. Let q = 0.82 + -0.92. Which is smaller: g or q?
q
Let h(v) = v - 4. Let t be h(6). Suppose -4*c + 68 = q + 2*q, -q + t*c + 16 = 0. Which is greater: q or 21?
21
Let a = 11 - 17. Let s = -15 - a. Let f = s - -8.9. Which is smaller: f or -18?
-18
Let u(m) = m**2 - 7*m + 9. Let o be u(10). Suppose o = 2*p + p. Suppose 5*b - j = -14 + 33, 3*b = -j + p. Is 4 less than or equal to b?
True
Let g = -3017 - -21153/7. Let j = 171/28 - g. Which is greater: j or 0?
j
Let k = 14 + -14.05. Let p = k + 5.05. Let w = -4 + p. Which is smaller: 0.01 or w?
0.01
Suppose 3*b + 4*i = 376, 4*b + 0*b + 5*i - 500 = 0. Let a be (81/b)/((-15)/(-20)). Is 0 != a?
True
Let t be (-60)/3075 + (0 + 0 - 0). Let l = -988/205 - t. Is l at most as big as -6?
False
Let t be 3/(-5) - 28/(-5). Suppose t*c + 96 = 9*c. Are c and 26 equal?
False
Suppose -15*h - 28 = -12*h + 2*j, -2*h + 4*j - 40 = 0. Is -11 > h?
True
Let b be ((-18)/21)/(4/(-28)). Let d be b + -3 + -2 - -3. Let y = 11 + -6. Is y > d?
True
Let s be (-405235)/(-450) - 4/18. Let c = -901 + s. Which is greater: -1 or c?
c
Let l(i) = 26*i**3 + 4*i**2 + 4. Let s be l(-2). Is s > -189?
True
Let l be 3 - (1 + 2)/3. Suppose -i = -l*h + 10, 3*i + 2*h + 2 = 12. Which is smaller: 0.16 or i?
i
Let z = 36 + -49.9. Let i = -14 - z. Is 12 smaller than i?
False
Suppose -8*l + 36 = 4. Suppose l*a - 96 = o, 1 = a - 2. Is -83 at least o?
True
Let o(u) = -2*u**2 - 16*u + 23. Let s be o(-9). Let z = 5 + -3. Suppose -s*k - i - 3 = 7, 0 = 5*k + z*i + 5. Which is smaller: k or -5?
-5
Let c(h) = -h**2 - 38*h + 122. Let f be c(3). Let x = -16 - -9. Is x greater than f?
False
Let v be (-1)/((-20)/6 - -3). Let u be ((-2)/4)/((-12)/8 + v). Which is bigger: 89 or u?
89
Suppose 0 = -3*u + 5*f + 48, 2*u - 2*f = -3*u + 99. Is u >= 15?
True
Suppose -180*p + 284 = -176*p. Is p <= 72?
True
Let m = 342 - 350. Which is greater: m or -3?
-3
Let v = -1413 - -940. Which is smaller: v or 0?
v
Suppose 74 = -9*d + 8*d - 3*o, -370 = 5*d - 2*o. Is -75 less than d?
True
Let s = -1.47 - -0.51. Let n = s + 1. Let i = 4397 - 4396. Which is smaller: i or n?
n
Let o = -921/25 - -184/5. Suppose 18 = 3*d - 3*u + 6*u, -5*d - u = -10. Is d >= o?
True
Suppose 87 = -5*t - 4*s + 373, -3*t + s = -158. Which is smaller: t or 0?
0
Suppose -267 + 210 = 19*t. Let v be ((-8)/(-10))/(-4)*1. Do t and v have different values?
True
Suppose 0 = -q - 4*o + 32, -q + o = -o - 32. Let b = -31 + q. Are b and 4/17 non-equal?
True
Suppose -14*w + 44*w - 210 = 0. Suppose 0 = -5*v + 4*j + 66, v - 5*v - j + 57 = 0. Suppose 2*p = 5*s - p - 55, 2*p = -3*s + v. Is w at least as big as s?
False
Let u = -19.73 + 15.73. Which is bigger: -14/11 or u?
-14/11
Let o(p) = p**3 - p**2 + 7*p - 166. Let k be o(0). Let j be k + (-6)/4*(15 + -17). Is -164 bigger than j?
False
Suppose 8 = -2*m, n + 3*n + 5*m = -16. Is n less than 4/139?
False
Let m(q) = -q**3 + 8*q**2 + 22*q - 22. Let g be m(10). Let z be (0 - 5)/(g/4). Is 11 smaller than z?
False
Suppose -2*b = 3*x - 3*b - 17, 2*b + 10 = 0. Let y be (-21 + x)/(0 - 1). Which is greater: 19 or y?
19
Suppose 5*f = 4*m + 3, -m = -8*f + 3*f - 3. Let o be m/(((-236)/(-24))/(4/16)). Which is greater: 0 or o?
0
Let d = -31/14 - 5/42. Is d less than or equal to -3?
False
Let x be (-100)/400*2/(-2 + 4). Is -3/17 smaller than x?
False
Let u(g) = g**3 - 16*g**2 + 31*g + 29. Let p be u(13). Which is smaller: -79 or p?
-79
Suppose -2*z = -5*z - 9. Let f be 5 - 12/6 - 10. Is z not equal to f?
True
Let d be 79/4*(-3 + -1). Let j = 37 + d. Let x be (0 - -2) + (-6)/j. Is 2 greater than x?
False
Let g = 6 - 6. Let y = 23.73 - -0.27. Let f = y + -24. Is f at least as big as g?
True
Let i(m) = -m**2 + 15*m - 72. Let o be i(8). Let y be (-49)/3 + 3/9. Is y less than o?
False
Let v = -357825934/47271 + -5349/2251. Let a = v - -7569. Let j = a + 26/7. Is -0.4 less than j?
True
Let t = 26.5 - 28.88. Let l = 0.38 + t. Are l and 3