eater than c?
False
Let i be (-6)/(-4)*24/(-27)*-6. Suppose -3*z = -i*z - 5*z. Is z greater than 0.09?
False
Let x(j) = j + 2*j**2 - 7*j - j**3 + 1 + 3*j. Let y be x(1). Let m(l) = -l**3 + 6*l**2 - l + 3. Let i be m(6). Is y at least as big as i?
True
Let f = -0.132 + -10.868. Which is bigger: -3 or f?
-3
Suppose -5*j = -5*y + 60, -4*y + 4*j = 3*j - 54. Is 1/19 greater than y?
False
Let o = -38.958 + 39. Let i = 0.142 - o. Do i and 12 have the same value?
False
Let p = -44 - -80. Let o = -36 + p. Are -8/13 and o non-equal?
True
Let b(k) = -k**3 - 5*k**2 - 5*k - 4. Let q be b(-4). Suppose -c = -q*c. Suppose 19 = -m - 0*m - 5*n, -5*m + 5*n + 25 = c. Is m >= 4/3?
False
Suppose 0 - 2 = -2*j. Let f be ((-26)/(-4))/(j*5/(-10)). Is f greater than -10?
False
Let g be 5/88 - (-7)/(-224)*-4. Are -0.14 and g non-equal?
True
Suppose 0 = -3*r - 7 - 5, 0 = -5*l - 3*r + 3. Is l < 13?
True
Let v = 1077 + -1095307/1017. Is v <= 1?
True
Let v be (216/7 + (-19)/(-133))*6. Is 185 less than or equal to v?
True
Let j = 7.694 + -0.094. Let p = -2.6 + j. Let x = -0.4 + 0.3. Are x and p nonequal?
True
Let q = -179 + 178.98. Which is greater: 2 or q?
2
Let q(h) = -h**3 - 2*h**2 + 19*h - 52. Let k be q(-7). Which is smaller: 61 or k?
k
Let p = -1 + 7. Let r(u) = -47*u**2 + 48*u**2 + 3 + 4. Let t be r(0). Which is bigger: t or p?
t
Let w(k) = -2*k - 18. Let z = 6 + 23. Suppose -4*i + i + r = z, 5*r - 45 = 5*i. Let t be w(i). Is t > -4?
True
Let w = 96/11 + -1651/198. Is 1 less than or equal to w?
False
Let t = 227/2 - 117. Which is smaller: -4 or t?
-4
Let h be 5 - (-1 - 1 - -4). Suppose -6*q - 2*y + 2 = -2*q, 2*q + 3*y = h. Is q bigger than 1/31?
False
Let r(k) = k**3 - k**2 - k. Let n(l) = 3*l**3 + 8*l**2 - 2*l - 9. Let f(g) = -n(g) + 4*r(g). Let b be f(12). Which is greater: -13 or b?
-13
Let g(d) be the first derivative of -d**2 + 7*d + 8. Let i be g(8). Are -10 and i non-equal?
True
Let v be 3/(15/4) + 0. Let t(w) = 4*w + 37. Suppose -107 = 17*f + 46. Let p be t(f). Which is smaller: p or v?
v
Suppose -5 = -4*w - 9. Let s be 4/(w + 9/3). Let k = s - 0. Is 1 at most k?
True
Let a = 87.585 + -0.585. Let s = 0.95 + 0.05. Is a less than s?
False
Let p(u) = -24*u - 395. Let r be p(-15). Is -28 > r?
True
Let q(p) = -2*p**2 - 29*p - 77. Let a(s) = -3*s**2 - 44*s - 116. Let j(b) = -5*a(b) + 8*q(b). Let h be j(-9). Is -12 > h?
False
Suppose 5*k + 21 - 16 = 0. Let g be k + -1 - (30 - 8). Which is smaller: -25 or g?
-25
Let u(a) = 31*a + 666. Let v be u(-34). Is v <= -388?
True
Suppose 56 = -5*r - 79. Suppose 3*m = 4*b + 18, -4*m - 4*b - b + 55 = 0. Let j = m + r. Is j smaller than -17?
False
Let d = 735 - 735. Is d bigger than 42/47?
False
Suppose -2*x = -5*p + 14, 2*p - 6 = 2*x - p. Suppose -2*o = x*a - 115, -4*a - o = -96 - 49. Which is greater: a or 1/2?
a
Let w(s) = 8*s + 1. Let x be w(-3). Let o = x - -4. Let k = -47 - -30. Is o greater than k?
False
Let s = 87/650 - -1/50. Let q = -34 + 30. Let k = -5 - q. Is k != s?
True
Let q = 39 - 98. Let i = q + 2303/39. Which is greater: 0 or i?
i
Let h = 30476 - 28312201/929. Which is greater: -1 or h?
h
Let a = -38 + 169. Let f = a + -95. Which is smaller: -1/4 or f?
-1/4
Let h(c) = 53*c + 4. Let g be h(2). Let p be (-75)/g*(-4)/(-3). Which is bigger: p or 0?
0
Suppose -q + f - 7 = 0, 5*q + f + 1 = -10. Let k be 9/(-5) - (2 - 0). Which is bigger: q or k?
q
Let z = 19 + -19. Let g be z/((-2)/((6/(-9))/(-1))). Which is smaller: g or -1?
-1
Let o be ((-6)/27)/((-56)/(-12)). Let h(u) = -2*u**2 - 7*u - 7. Let k be h(-2). Is k less than o?
True
Let m = -4.4 + 25.4. Let l = 18.01 - 0.01. Let j = m - l. Are j and -1/2 equal?
False
Suppose -n = 2*n + 5*m + 13, -m = -2*n. Does n = -20/11?
False
Suppose 4*s - 2*h - 3299 = h, -3*s - 3*h + 2469 = 0. Let m = s + -4137/5. Let y = -12 + 9. Which is smaller: y or m?
m
Let f = -1/48 + -5/16. Let d = 16.7 - 4.5. Let h = -1.2 + d. Are h and f equal?
False
Let c(q) = -q**3 + 8*q**2 - 7*q. Let j(g) = -13*g**3 + g**2 + g - 1. Let s be j(-2). Let l be (4/(-6))/((-10)/s). Let p be c(l). Which is bigger: p or 2/7?
2/7
Let k be (-2)/9 + (-22)/(-18). Let s = 74873/56 + -1337. Is k at least as big as s?
True
Suppose -2*k - 3*k + 120 = 0. Let p be (34/8)/(6/k). Which is smaller: 18 or p?
p
Suppose 0 = -8*i + 434 + 462. Is 0 less than i?
True
Let n be (-32)/144 + (-2)/(-9). Suppose -3*b + 92 = 5*q, -3*b + 15 - 3 = 0. Let w be ((-1)/(-6))/((-4)/q). Is w <= n?
True
Let x be 11 + (12/3 - 3). Suppose 0 = y - x + 4. Suppose -3*d + 3*t = 0, -y*d + 3*d = -t - 16. Do 4 and d have different values?
False
Suppose 2*u - 15 = -a, 3*a - 15 = -3*u + 9. Let h be 60/(-62) - (-1)/1. Is a at most h?
False
Let h(w) = -5*w**3 - 2*w**2 + 2*w - 4. Let j be h(2). Let n = -47 - j. Is n <= 3/10?
False
Let w = -1.9882 - 0.0118. Is 162 smaller than w?
False
Suppose -i - 2*m - 2*m + 3 = 0, 2*m - 2 = 0. Let k be (-6)/(-15) - (-36)/10. Suppose -z = -o - 1, -o - k*o = 5*z + 15. Is i at most as big as o?
False
Let r(d) = d**2 - d - 27. Let n be r(-8). Let t = 45 - n. Which is smaller: 8/13 or t?
t
Let r be 6/(-4) + 9/(-2). Let f be -2 + r + -4 + 7. Let s = -17 - -14. Which is smaller: s or f?
f
Let i = 107/3 + -36. Suppose 5*t - 1 + 10 = 4*b, 3*t + 6 = 3*b. Let g be (-3 - -2)*t*(3 + -2). Which is greater: g or i?
g
Let b = -197 - -199. Which is greater: b or 0.85?
b
Let j = 44 - 72. Let v = -36 - j. Let k be (-7 - v) + 0 + -1. Which is smaller: k or -2/17?
-2/17
Let o = -7.93 - -4.93. Let m be -4 - (-4)/2 - -4. Is o less than m?
True
Let a = -18/83 - 213/166. Which is smaller: a or 53?
a
Let a = 1021 + -1032. Is a at least as big as -20?
True
Suppose -10 = -k - 6. Let j be -3 + (2 - (k - -36)). Is j less than -40?
True
Suppose x + 2*d = 5, 2*x - 4 = -2*d + 4. Suppose -x*w = -0*g + 4*g, w = -g. Let j(i) = i**3 + 12*i**2 + 12*i + 8. Let b be j(-11). Which is bigger: b or w?
w
Let g be 1 + 0 - (-2 - -4). Let x = -12043/33 - -365. Is g smaller than x?
True
Let w = 18 - 12. Let p(n) = n**3 - 7*n**2 + 6*n - 2. Let f be p(w). Let x = 2 + f. Which is greater: -2/3 or x?
x
Suppose 2*w + 328 = 3*w. Suppose -2*d = z + 3*z + w, z + 100 = 4*d. Let y be (-1)/3 - 64/z. Which is smaller: 0 or y?
0
Let y = -40 - -29. Let f be 104/780 + 167/(-15). Is f greater than or equal to y?
True
Suppose 6*a + 60 = 16*a. Which is smaller: a or -1?
-1
Let h be (-2 - -3)*(-46 - 20). Is h equal to -70?
False
Suppose 3*o + 5*h - 5 = 0, 5*h - 10 = -3*o + h. Let p = o + -5. Is p at least as big as 6?
False
Let k be (16/84)/((-60)/(-21) - 2). Which is smaller: k or 0.103?
0.103
Let m be (-3)/21 + (-9)/(-21). Which is greater: -0.019 or m?
m
Let t be 8 - (-3)/((-309)/826). Is t smaller than 0?
True
Suppose 2*t = -12*t + 70. Which is greater: t or 13?
13
Let m(w) = -2*w**2 + 20*w - 117. Let k be m(7). Is -71 less than k?
False
Let k(r) = 13 + r**3 - 23 + 0*r**2 + 11 - r**2. Let n be k(1). Is 3/25 less than or equal to n?
True
Let o = 65 + -73. Is o at most as big as 1?
True
Let t be ((-3)/36*-6)/((-18)/8). Is t at least -1?
True
Let j = -15 + -1. Let m = 2/1475 + -42779/2950. Is m smaller than j?
False
Let c = 297 + -37. Is c > 260?
False
Let g be ((-1)/3)/((-1)/18). Let t be (-1)/g + (-75)/(-18). Let p(a) = -a + 2. Let b be p(-3). Is b greater than or equal to t?
True
Suppose 0 = -2*u - 7*u. Suppose 3*n + 0 - 12 = u, -2*n - 50 = 2*o. Which is greater: 0.1 or o?
0.1
Suppose -3*l = -3*s - 2*s + 6, 3*s - l - 6 = 0. Suppose -4*y - 2*d = 38, 0*y + 4 = s*y - 5*d. Let i be (-206)/50 - (-11 - y). Are 0 and i non-equal?
True
Let i = 140 - 140.059. Is i > 3?
False
Let r(z) = 3*z**3 - 40*z**2 + 9*z + 51. Let o be r(13). Is -33/16 bigger than o?
False
Let l be (-40)/(-32) - (-6)/8. Suppose 0*r = -l*r + 8. Suppose -r = -2*u - 12. Is u != -3?
True
Suppose -2*b - b = 0. Suppose 8 = -b*u + 4*u. Suppose -5*n = -8 - 7, 4*r + 8 = 4*n. Which is greater: u or r?
u
Let n = -519 - -524. Is -6 less than or equal to n?
True
Suppose 3*p + 2*h + 4 = 8, 0 = 2*p + h - 4. Suppose 0 = -p*r - 2*r + 144. Do 24 and r have the same value?
True
Let w(i) = i**3 - 9*i**2 + 2*i - 5. Suppose -d = 5*d - 54. Let x be w(d). Do 13 and x have the same value?
True
Let v(u) = 4*u - 24. Let g be v(7). Are -20 and g non-equal?
True
Let o = -141.9 + 155. Let i = o + -14. Does i = 0.1?
False
Suppose -3*u + 3*a - 282 = -6*u