= 0.2 - 0. Let y be ((-57)/33 - -2)/(-39 + 45). Is y equal to d?
False
Suppose -5*z + 4 + 6 = 0. Let v(w) = -w**3 + 4*w**2 - 3*w - 1. Let d be v(z). Which is bigger: d or 16/7?
16/7
Let p(y) = -4*y**2 - 18*y + 8. Let j be p(-6). Is -29 <= j?
True
Suppose 11*o - 1722 - 3129 = 0. Let b be 1/(-5) + (-30764)/(-70). Let n = b - o. Which is greater: 1 or n?
1
Suppose 581 + 395 = -16*l. Is -65 bigger than l?
False
Let u(g) = g + 17. Let t be u(12). Suppose 5*z = 5*k + 6 - 1, -5*z - k + t = 0. Suppose 0 = -2*y - 3*f - 2, 5*y - z*f = -6*f + 8. Is y < 1/2?
False
Let g = -0.013 - -9.193. Let i = 0.18 - g. Which is smaller: -0.1 or i?
i
Suppose 0 = 4*k - 6*k + 6. Suppose 4*a = k*q + 13, 2*q - 4*a = -a - 10. Let z be q/(((-4)/11)/4). Is z less than or equal to -12?
False
Let k(a) = a**2 - a - 1. Let q be k(2). Let w(o) = -o. Let t be w(0). Suppose -4*c + 3*s - q = -2*s, t = c - s. Which is smaller: c or 0.06?
0.06
Let m(c) = 2*c**2 + 65*c - 43. Let y be m(-33). Is y != -11?
True
Let d(r) = -r**3 - 5*r**2 + 5*r - 4. Suppose m + 6 = -m. Let n = m - 3. Let k be d(n). Is 5/6 <= k?
True
Let c(n) = -n**2 + 2*n + 4. Let i be c(0). Let m(p) = -p**3 + 3*p**2 + p + 7. Let v be m(i). Is -2 less than v?
False
Let l = 22 + -45/2. Let o be (-20)/130 + 25/(-260). Is l not equal to o?
True
Let l(u) be the first derivative of -u**3/3 - 7*u**2/2 - 25*u + 7. Let x be l(-12). Is x > -85?
False
Suppose -28 = 4*p - 8*p. Suppose -f - p = -l + 6*l, -3*f + 11 = -l. Which is greater: 3/2 or f?
f
Let p be (1/(-51)*4)/((-28)/(-462)). Does p = 0?
False
Let c = -38 - -31. Let r be (-1)/2*-1*(-23 - -1). Are r and c equal?
False
Let b = 528.3 + -511. Is b less than 0?
False
Let s be (39 + 4)*(4 - 3). Let i = 33 - s. Let v = i - -13. Which is smaller: v or 9/5?
9/5
Let r = 0.9 - 1. Let y = -1649 - -1652. Which is smaller: y or r?
r
Let t be (-29670)/(-15)*(-1)/(-2). Which is smaller: t or 1/4?
1/4
Let i(j) = 9*j - 37. Let l be i(4). Are -9/137 and l equal?
False
Let n = -37.1 - 7.9. Let g = 44 + n. Are 6 and g equal?
False
Let b(n) = -7*n**2 + 1. Let z be b(2). Let a be -6*(-14)/(-21) + 2*1. Let t be (3/z)/(a/12). Which is greater: -1/4 or t?
t
Suppose -2*w - 2*s = -6 - 2, 4*w - 4*s - 48 = 0. Suppose 18 = -5*v - 4*a, 5*v - 6*a + 5*a = -w. Do v and -3 have the same value?
False
Let p(r) = -10*r**2 + 34*r - 12. Let f be p(3). Is -2/1633 > f?
False
Let l = -369 - -355. Which is greater: l or 3?
3
Let x(t) = t**3 - t**2 - 2*t. Let v be x(2). Which is greater: -17/50 or v?
v
Let k = 73 + -59. Let a = 17 - k. Let f = 2.1 + -2. Is a bigger than f?
True
Suppose -12 = 5*a - 272. Which is bigger: 51 or a?
a
Let f = 2.108 - 0.008. Let m = f - 3.3. Let v = m + 0.7. Which is bigger: v or 0.3?
0.3
Suppose 2 - 1 = s. Let b = 0 - -34. Suppose -4 = 5*h - b. Is h not equal to s?
True
Let y = 1211 + -1913. Is y > 0?
False
Let o = -0.09 + -3.11. Let w = o + 2.3. Which is bigger: w or 2?
2
Let k = 25 + -13. Let j = -131 + 143.2. Let g = k - j. Is g greater than 2/15?
False
Let d = 325 + -325.1. Are d and -1 equal?
False
Let k(m) = m**3 + 11*m**2 + 3*m + 17. Let q be k(-11). Are q and -19 non-equal?
True
Let d be (5*(-6)/25)/(3/(-10)). Suppose -14 + d = a. Is -9 at most as big as a?
False
Suppose 5*k + 38 = 3*q, -q = 4*k - 6*k - 13. Let t(a) = -42*a - 196. Let i be t(-5). Which is bigger: i or q?
i
Let x be (6/(-9))/((-8)/(-3)). Let i be 0*(-2)/(-6)*-1. Is x at least as big as i?
False
Let u = 30.9 + -32.9. Which is smaller: u or 0.63?
u
Let m be ((-4)/30)/(33/(-55)). Let h = -707/3 + 237. Which is smaller: h or m?
m
Let o = -13/232 - -1/8. Let v = o + -72/203. Let n = -6 - -4. Is v at least as big as n?
True
Let t(f) = 7*f**2 - 10*f - 7. Let v(n) = -4*n**2 + 5*n + 4. Let l(p) = -6*t(p) - 11*v(p). Let j be l(-3). Let q be (4*(-3)/(-432))/j. Is 1 greater than q?
True
Let x be (0 - -1)*(-5 - 816/(-156)). Suppose 2*u + 7*b - 4*b - 6 = 0, 4*u - 4*b = -8. Which is smaller: x or u?
u
Let x = -0.17 - -2.57. Let a = 17.6 + x. Let f = 0.032 + -0.132. Is a greater than f?
True
Let n be 5*(1 + (-9)/15). Suppose d - 3*d + 12 = 2*o, -4 = n*d - 2*o. Is 1.4 greater than d?
False
Let v = -677 - -666. Let z be (1 - -1)/((-2)/9). Which is smaller: v or z?
v
Suppose -47*c = 53*c - 15*c. Which is bigger: 3/65 or c?
3/65
Let c = 362 + -361. Is c > -2/51?
True
Let h(p) = 4*p + 27. Let q be h(-12). Is q smaller than -39/2?
True
Let d = 10 + -5. Suppose 2*f - 7*f - 3*t = 33, 2*f + 17 = -5*t. Let a be -1 + (f - (-12 - -4)). Does a = d?
False
Let m(i) = i + 10. Let c be m(-10). Let x be -4 + c + 4 + (-2)/(-4). Which is smaller: -0.22 or x?
-0.22
Let u(s) = -s**3 - 8*s**2 - 9*s + 3. Let y be u(-5). Let l = y + 26. Let z be 1 + 1 + (-48)/26. Which is bigger: l or z?
z
Suppose 55*i - 652 = 51*i. Suppose -3*z + b + i = 0, 3*z + 5*b - 158 = 17. Which is smaller: 54 or z?
54
Let b(h) = -4*h**2 - 7 + 7*h - 3*h + h**3 - 2*h**3. Let z be b(-5). Let o(r) = -2*r**2 + 3*r - 3. Let v be o(1). Is z at least as big as v?
True
Let g(b) = -b**2 - 9*b - 9. Let z be g(-7). Suppose z*n = -4*n + 99. Is n < 13?
True
Suppose 9 = 3*i + 3*j, 53*j - 55*j = -6. Is i less than or equal to 2/1115?
True
Suppose 9*m = -m - 2650. Is m at least as big as -265?
True
Let a be ((-21)/(-9))/((-5)/(-60)). Which is smaller: a or 29?
a
Let v = 0.725 + -0.725. Let j = 2.7 + 0.3. Let w = 10 - j. Which is smaller: v or w?
v
Let r = 1214.929 + -1216. Let b = r + 0.071. Let g = -1.1 - -9.1. Which is smaller: g or b?
b
Let n = -1015/102 - -59/6. Which is smaller: n or -0.51?
-0.51
Let r be (-14)/(-1) + -1 + 1. Let s = r - 2. Suppose 15*w + 9 = s*w. Is w greater than 1?
False
Suppose -5*p + 249 - 79 = 0. Let x be p/220 - 1/5. Suppose -c - 4 = b, -4 = -7*c + 8*c. Which is smaller: x or b?
x
Let q = -10 + 49. Let f = q + -37. Is 0.35 less than f?
True
Let r = -196 - -1569/8. Let u(s) = s**3 + 10*s**2 - 10*s + 10. Let i be u(-11). Which is smaller: r or i?
i
Let z = 71 + -71. Is z less than -2/129?
False
Let p = 0.438 + 0.562. Which is bigger: p or 166?
166
Suppose 5*k + f + 3 = 0, 0 = -20*k + 17*k - 4*f - 12. Does k = 76?
False
Let v be (-861)/(-14)*(-4)/3. Let s be 4*(-1 - v/76). Is s > 1?
False
Let b = -29/15 + 73/30. Is b >= -12?
True
Let r(k) = -k**3 - 7*k**2 - 8*k - 10. Let u be r(-6). Let g be u/4*(6/9 + -1). Suppose c = -3*c. Which is smaller: g or c?
g
Let c = 10.1 + -7. Let x = c - 3. Let d = 109.08 - 107.88. Is d bigger than x?
True
Let s = -17213/3 + 5686. Is s greater than -53?
True
Let p be 2/3*3/2. Let o(v) = -v**3 + 18*v**2 - 2*v + 35. Let i be o(18). Let j be (-25)/11 - i*2. Is p greater than or equal to j?
True
Let u be ((-4)/(-20)*-6)/(3/(-10)). Suppose -4 = u*a - x, 3*a + 0 = 3*x - 3. Is -2/239 greater than a?
True
Suppose -5*l - 10 + 4 = 2*p, -4*l = 3*p + 9. Is l less than -301?
False
Suppose -2*h + 4 = n - 5*h, 5*n - 64 = 4*h. Let o be ((-2)/(-276))/(4/n). Which is smaller: 1 or o?
o
Let x(m) = -m**3 + 5*m**2 - 2*m + 19. Let i be x(5). Is i greater than or equal to 2?
True
Let y be ((-2)/(-4))/(9/(-396)). Let n = 20 + y. Let c be (4/(-15))/(2/6). Is c at most n?
False
Let t = 2.32 + -2.32. Let j(b) = b - 2. Let q be j(2). Let u be ((-2)/(-1) - q)/(-7). Is u bigger than t?
False
Let r = -281810212/3243 + 86898. Are 1 and r equal?
False
Let w be (-74)/10 + 2/(-1) + 4. Is w at least as big as 1/5?
False
Let i be (-3962)/3396 - (1 + 6/(-4)). Is i > -279/5?
True
Let n = -537.236 - -537. Which is smaller: n or 0.2?
n
Suppose -2*k = -2 - 0. Let l(r) = k + 1 + r + 12 + 1. Let x be l(-13). Is 7 at most as big as x?
False
Let b = -175/4 + 43. Which is bigger: b or 2?
2
Let f = -0.1952 + 0.0952. Is -375 < f?
True
Let k = 4.02 + -115.02. Is 2/9 >= k?
True
Let c(u) = u**3 - 5*u**2 + 5. Let i be c(5). Suppose 0*p = i*p. Which is bigger: 1/19 or p?
1/19
Suppose -j - 3 = -4*a + 8, -3*a - 6 = 4*j. Suppose 2*x = a + 2. Which is smaller: x or -27?
-27
Let j = 12 - 12. Are j and 82/3 equal?
False
Let a be 8540/(-3450) + 4/(-30). Which is smaller: -3 or a?
-3
Let s = -632 - -599. Is -36 <= s?
True
Let i = 18.66 - 19. Let o = -5/3 - -7/3. Which is smaller: i or o?
i
Suppose -54 - 123 = 3*q. Let b be 9/(-6) + 575/(-10). Is b less than q?
False
Let g = 0.53 - 2.53. Let f = 52.8 - 54. Which is smaller: g or f?
g
Let b(i) = i**2 + 31*i - 667. Let c be b(26). Is c > 815?
False
Suppose