 x(c) = 10*c**2 - 3*c**3 - 5*c - 16*c**2 - 3 + 2*c**3. Let f be x(-5). Let y = f + 10. Is y at most 8?
True
Suppose -4*o + 64 = n, o - n - 2*n - 29 = 0. Which is greater: o or 1/3?
o
Let c(r) = -r**3 - 8*r**2 + 14*r + 45. Let h be c(-9). Is h != -2/3?
True
Let s = 1119/35 + -207/7. Which is bigger: s or 3?
3
Let y = 2239 + -58211/26. Do 4/3 and y have the same value?
False
Let h = -429 - -428.5. Which is bigger: h or 40?
40
Let o = 21 + 33. Suppose -8*h = 16*h - 1344. Which is greater: h or o?
h
Let h = 180 - 1622/9. Let z = -2461/20 - -123. Do h and z have different values?
True
Let h(n) = 3 + 3 + 0*n**2 - 3*n**2 - n - 4*n + n**3. Let r be h(5). Let i = r - 14. Do 1/3 and i have the same value?
False
Let x be (21/(84/(-8)))/(2/3). Let q(h) = -h - 2. Let d be q(0). Which is smaller: d or x?
x
Let t = 3.288 - -0.012. Let z = t - 3.3. Which is greater: z or 0.008?
0.008
Let k be (-216)/5 - ((-18)/(-10) - 1). Let t be 56/168 - (k/(-42) - 1). Which is smaller: t or -0.085?
-0.085
Suppose -24*m = 22*m. Which is smaller: m or 6/1267?
m
Let g(d) be the third derivative of -d**6/60 - d**5/20 - d**4/24 + d**3/2 - 6*d**2. Let t be g(-2). Is t greater than or equal to 5?
True
Let u = 34 + -47. Let v be ((-9)/(-4))/((-15)/(-40)) + 4134/(-234). Is v > u?
True
Suppose -8*a + 12 = 68. Which is greater: a or -120/17?
a
Let g be (-2)/(-10) + (-72)/(-15). Suppose -x - 2 = g*r - 5, 2*x = 5*r - 9. Let f be ((225/(-15))/150)/((-4)/10). Is f not equal to x?
True
Suppose 5*y = 2*x - 34, 0*x - 3*y + 23 = 5*x. Let q(t) = -t**3 - 15*t**2 + 15*t - 11. Let s be q(-16). Which is smaller: x or s?
s
Let x = -1409/28 - -354/7. Which is greater: x or -0.274?
x
Let f = 0.15 - 0.17. Let d = f + 0.04. Suppose 0 = 3*g + 22 - 25. Which is bigger: d or g?
g
Let n be (-2 - -3 - -16) + -1. Let u(p) = 2*p**2 - p - 4. Let a be u(-3). Which is smaller: a or n?
n
Let b = -272 + 212. Which is bigger: -62 or b?
b
Let r be 4/(-3) + (-3)/(-9). Let f be -2 + 16 + -2 + r. Let y = 10 - f. Which is bigger: y or 1?
1
Let x = 1761/5920 - 3/185. Which is bigger: 0 or x?
x
Let u be 4/28*(1 + -3). Let h = 1 + -0.94. Are u and h equal?
False
Let d = -10 - -7. Let s = 1829 + -1831. Is s smaller than d?
False
Let x be -3 + 2 + -2 + 417/141. Let g be 7 + (-3 - (1 - 4)). Let f(y) = -y**3 + 7*y**2 - y + 7. Let n be f(g). Is x at least n?
False
Let a = 62 - 67. Let b = -5/84 + -197/42. Is b smaller than a?
False
Let j be ((-4)/(-1004))/(38 - 37). Which is smaller: 1 or j?
j
Let r = 2883/7 - 410. Is 1/2 bigger than r?
False
Let h(t) = -t**2 - 34*t - 33. Let c be h(-32). Suppose 12*o - c + 31 = 0. Is o less than or equal to -5/51?
False
Let u be ((-4)/5)/2 - (-276)/115. Let j(o) = -o**2 + 10*o - 9. Let q be j(8). Which is greater: q or u?
q
Let w(l) = -2*l**3 + l**2 + 3*l. Let p be w(3). Let f = 36 + p. Which is bigger: -9/7 or f?
f
Suppose -k = -6*k - 25. Let b be 6/(-15) + 218/k. Let z = 218/5 + b. Which is bigger: z or 0?
0
Suppose 2*i + 3*i = q - 4, -3*q - i = -12. Suppose -l - q = v, -13 = 5*l - l + 3*v. Let p = -139 - -1113/8. Is p < l?
False
Let f(y) = 91*y - 187*y + 95*y + 2. Let v be f(-15). Which is smaller: v or 31/2?
31/2
Let h = 17 + -23. Let s(o) = o + 6. Let d be s(h). Which is bigger: 3 or d?
3
Let k(h) = -23*h - 85. Let x be k(16). Is x equal to -453?
True
Suppose 5*q = -k + 11, 4 = 3*q - 2. Is k <= 34/43?
False
Let g = 930/11 + -12255/143. Is g greater than or equal to -1?
False
Let w be (-484)/28 - 4/(-14). Let t be (2/(-8))/1 - (-5)/4. Which is smaller: w or t?
w
Let d = 2/293 - 21983/1172. Is -19 greater than or equal to d?
False
Let q = 3.89 - -0.11. Let s = -3.92 + q. Let r = -9 - -9. Which is greater: s or r?
s
Let b = 1076/23077 - 2/491. Suppose 3*i = 2*s + 2*i, 0 = 5*i + 10. Do b and s have the same value?
False
Let s = 13 + -19. Let i be (s/(-26))/(6/4). Is 1 not equal to i?
True
Let s = -2 + 0. Let w be (s/4)/(4/48). Let m = -6 - w. Which is bigger: m or -2/3?
m
Let y = 4 - 126. Let x = -135 - y. Which is smaller: -14 or x?
-14
Let r = 9.1 - 0.1. Let c = r + -8.9. Let z = c - -0.9. Is 1 at most z?
True
Let j(r) = 13 - 1 + 7*r**2 - 8*r**2 + 0*r**2. Let f be j(0). Is 12 < f?
False
Let w = 1 + -2. Let v = w - -7. Do v and 2 have different values?
True
Let k(w) = -w**3 + 5*w**2 + 41*w + 16. Let x be k(10). Is 1 bigger than x?
True
Let v = 11598004639/157 + -73869721. Let x = -2920 + v. Is x greater than 1?
False
Let f be ((-6)/15 - -2) + -2. Let u = 3030 + -3027. Is u bigger than f?
True
Suppose 0 = 19*o - 29*o + 30. Is 9/5 < o?
True
Let i = 421 - 420.5. Which is smaller: 0.03 or i?
0.03
Let n(v) = -v**3 + 6*v**2 + 5*v + 19. Let m be n(7). Suppose -m*y + 56 = 2*y. Are 8 and y non-equal?
False
Suppose -3*s - 42 = -2*n, 3*s + 123 = 5*n + 9. Let a be (n/(-9) - -2) + 0. Let m = -29.9 - -27.9. Are a and m nonequal?
True
Let g be (10/4)/(64/13952). Which is greater: 544 or g?
g
Let m(o) = 7*o - 4 + 2 + 7 - o**2. Let q be m(6). Let v = 9 + 1. Which is smaller: v or q?
v
Let g be 6/306*5/(-15). Is g greater than or equal to -1?
True
Suppose -3*n = 4*k - 0*n + 3, 3*k + 2*n + 3 = 0. Let m(q) = -q**3 - q**2 + 3*q + 3. Let x = 24 - 26. Let y be m(x). Which is greater: k or y?
y
Let c(b) = -b**3 - 7*b**2 - 7*b + 8. Suppose 4*h = 5*h. Suppose 6 + h = -j. Let o be c(j). Which is smaller: o or 13?
13
Let o = -3 - -11. Let r(d) = -d**3 - 5*d**2 + d + 6. Let j be r(-5). Suppose 2*b + 3*i - j = 4, 4*b = 2*i + 2. Which is bigger: o or b?
o
Suppose 3*v - a - 45 = 0, -3*v - 4*a + 40 = -5. Suppose 14 = p + 2*b - 6, 0 = -5*p + 4*b + 58. Are p and v unequal?
True
Let n(f) = f**2 + 16*f + 3. Let s be (4/(-2))/(-2)*-15. Let t be n(s). Let m be t/10 - 1/(-1). Is 6 at most as big as m?
False
Let t(x) = -46*x - 352. Let j be t(-8). Which is smaller: j or 17?
j
Let s(k) = -k**2 + 2*k - 5. Let n be s(3). Let l be (2 - -2)/(n/(-12)). Which is smaller: 14/3 or l?
14/3
Let u(v) = v + 18. Let o be u(-14). Let h be 5 + (-10)/4 + 2/o. Is 3 != h?
False
Suppose 5*h + 15 = 90. Let x = h - 12. Let a be (x + -2)/(2/6). Is 5 bigger than a?
True
Let d be -1*(-2 - 0)/2. Let l(x) = -x + 30. Let k be l(23). Let o = -6 + k. Is o >= d?
True
Suppose -3*v = 2*v - 5. Let f = 0.37 - 0.76. Let j = -0.09 - f. Is v less than or equal to j?
False
Let i(f) = -f**3 + 11*f**2 + f + 7. Let j be i(10). Let m be 96/j + (-4)/6. Let l be (-6)/(-4) - (-1 + (-5)/(-2)). Is m at most l?
False
Let h = -39.2 - -36. Let m = 1.2 + h. Let u = m - -4. Which is smaller: -4 or u?
-4
Let c(i) = i**3 - 2*i**2 - 3. Let j be c(3). Let a(b) = -3*b + 13 + j - 2*b - 6. Let g be a(6). Is -18 not equal to g?
True
Let x = 3 - -5. Let t = -0.33 + 14.33. Let q = 15 - t. Which is bigger: x or q?
x
Let q(l) = 2*l**3 + 2*l + 1. Let p be q(-2). Let k = -42 - p. Is k not equal to -23?
False
Let i be (-4)/(3 + (-52)/16). Let j be (0 - -1)*(-8)/i. Let d be (-3)/(-9)*-3 + 0. Which is smaller: j or d?
d
Let m(d) = d**2 + 16*d + 9. Let b be m(-6). Let n = 72 + b. Suppose -4*g = -20 - 60. Which is smaller: g or n?
g
Let v(i) = -i**3 + i**2 + 2*i - 2. Let d be v(2). Let o = -5 - -9. Let y(t) = t**3 - 5*t**2 + 3*t + 3. Let s be y(o). Which is bigger: s or d?
s
Let c(x) = x**2 - 5*x - 6. Let f be c(6). Let r(z) be the second derivative of z**4/12 + z**3/6 + 3*z**2/2 - z. Let j be r(f). Is 0 > j?
False
Let d = -43 + 85. Let q = 45 - d. Which is smaller: q or 1?
1
Suppose -3*g - 1 = -5*m, 35 = 3*g + 3*m - 4. Let d = -4361/3 + 1463. Which is smaller: g or d?
g
Suppose 23 = 31*p - 628. Which is smaller: p or 59?
p
Let w = -40.748 - -7.558. Let g = 33 + w. Let j = -4315 + 4315.1. Which is smaller: g or j?
g
Let k = 547 + -778. Let y be (-7)/k*(-24)/44. Which is bigger: 0 or y?
0
Let h be 5824/(-105) + (-1)/5. Let v = 56 + h. Which is smaller: 1 or v?
v
Let p = -86 - -85.4. Let x be (-12)/(-15)*(-5)/(-34). Which is greater: p or x?
x
Suppose -p - 2*r - r - 5 = 0, 5*p + r = -11. Which is greater: p or 32?
32
Let n be (-4)/(-6) + 136/(-24). Let d = n + 4. Let q(y) = -y**2 + 1. Let f be q(-1). Is d >= f?
False
Let v = 47.65 + -47. Which is smaller: v or 0.1?
0.1
Let y = -119 - -100. Which is greater: y or -134/7?
y
Suppose -757*d + 765*d = 568. Which is greater: d or 72?
72
Let m be ((-1173)/(-46))/(45/(-12) + 3). Is -40 > m?
False
Let j be 15/(-20)*(3 + (-275)/90). Are j and -1 nonequal?
Tr