e
Let x(z) = z**3 - z**2 - 3*z - 1. Let a be x(0). Let w(o) be the second derivative of -7*o**5/10 + o**3/6 - o. Let b be w(a). Is 12 < b?
True
Suppose k - 33 = -4*a, 3*a = 2*k + 26 - 4. Let m(q) = -3*q - 16. Let b be m(a). Let d be ((-9)/6)/((-75)/b). Which is bigger: d or -2?
d
Suppose 9*c + 168 = -219. Which is greater: 1 or c?
1
Let z(u) = u**3 + 8*u**2 - 9*u - 7. Let m be z(-9). Let t(w) = w + 2. Let b be t(-17). Let o = b + 8. Is o at least as big as m?
True
Let s be 77/4 + (-1)/4. Let c(h) = 34*h**2 - 54*h - 5. Let y be c(2). Which is smaller: s or y?
s
Let a = -0.094 - -4.294. Which is smaller: 1 or a?
1
Let h = -11 + 11. Suppose h = 2*b - 15 + 5. Suppose 5*o = 3*j - b, j + 3 = -5*o - 2. Is 3 equal to o?
False
Let o(j) = 22*j + 12*j**3 + 11*j**2 + 4*j**3 - 15*j**3 + 8. Let k be o(-9). Is k > -27?
False
Let u(t) be the second derivative of -8*t**4/3 - t**3/2 - t**2/2 + 54*t. Let k be u(-1). Which is smaller: k or -29?
k
Suppose 54 = 30*n - 33*n. Suppose -5*v + 2*k = 89, -v - k - 2*k = 11. Is v less than n?
False
Let v(z) = 3*z + 8. Suppose -5*o - 5*q - 30 = 0, -3*o + 5*q + 9 = -o. Let g be v(o). Which is smaller: g or -7?
-7
Let w = 99 + -82. Is w bigger than -4?
True
Suppose 0 = 5*i + 4*o - 3 + 6, -2*i - 4*o - 6 = 0. Which is smaller: i or 1/617?
1/617
Suppose 4*l - 22 = -6. Suppose -l*z - 6 = 2. Is -1 less than or equal to z?
False
Suppose 0 = -10*i - 23*i. Is i bigger than -10/7?
True
Let b be (2/6)/(1/135). Suppose -2*u + b - 41 = 0. Which is bigger: u or 5?
5
Let r = 0.03 - 11.03. Let t = -19 + 135/7. Is t < r?
False
Let y be 2/(-6) - 22/6. Let a = 15 + -13.5. Let n = 1.3 - a. Which is greater: n or y?
n
Suppose 0 = k - 2*l - l - 2, 5*k + 3 = 2*l. Let r be 210/(-144) - (-12)/8. Which is bigger: k or r?
r
Let z(p) = 9*p**2 - p + 1. Let m be z(1). Let r be (m - 1)*(-34)/8. Is -34 greater than or equal to r?
True
Let b = -2313591 + 57855598/25. Let y = b + -633. Suppose -4*v - 5*s = v + 10, 2*s = -2. Is v not equal to y?
True
Let w(i) = 5*i**2 - i - 2. Let v be w(-2). Suppose 26 = y - x, y + 57*x = 54*x + 6. Which is greater: v or y?
y
Suppose 490*x - 486*x = 0. Is -2/383 > x?
False
Suppose -363 = -0*z - z. Which is greater: z or 366?
366
Suppose 2*i + 22 = 4*f + 5*i, 0 = -3*f + 2*i + 8. Suppose a - 15 = 5*s + f*a, -4*a = -3*s + 20. Is s bigger than -1/5?
True
Let g = 167 + -166. Is g > -1.05?
True
Suppose 0 = 5*f - 7 - 3. Let y be (0/14)/(-1*1). Let k = f - y. Which is greater: k or 1/2?
k
Let c = 1260 - 1322. Which is bigger: c or -56?
-56
Let q(o) = -o**3 + 4*o**2 + 5*o - 1. Let p be q(5). Let r = 27/2 + -1027/76. Is r less than p?
False
Suppose -4*m + 1 = -3. Let n = 3.08 - 2.32. Which is bigger: m or n?
m
Let l(c) = -c**3 + c**2 + 2*c + 3. Let w(u) = -1 + 6*u - 3 - 7*u. Let o be w(-7). Let n be l(o). Is -8 at most as big as n?
False
Let f = -2296 + 2295. Which is bigger: -473 or f?
f
Let t be (-4 + -1)/(-5) + -75. Which is smaller: -75 or t?
-75
Suppose 193 - 515 = o. Which is smaller: o or -1?
o
Let n = -0.7 + 79.7. Let s = n + -72. Is s at least -9?
True
Let j = -1581 - -1582. Is j < -9/38?
False
Suppose 198*p = 208*p. Are 1/667 and p unequal?
True
Let k = -22.76 - -46.7. Let j = k + 0.06. Which is smaller: j or 0?
0
Let j = -0.6 + -9.4. Let a = -8.2 - j. Let n = a - 1.8. Which is smaller: 2/15 or n?
n
Suppose 2*t = 6*t - 4. Is 8/37 < t?
True
Let u = -28.974 + -0.026. Let d = -24.5 + -3.5. Let s = u - d. Is 2 > s?
True
Let p(y) = y + 14. Let m be p(-14). Suppose 4*r + 3*s + 132 = m, 5*r + 0*s - 4*s + 196 = 0. Let z = r + 28. Is z at least -9?
True
Suppose 2*c + 0*g - g = -42, 0 = 5*c + 4*g + 79. Is c greater than -21?
True
Suppose 3*j - 42 = p, 0 = -19*p + 24*p. Which is bigger: j or 38/3?
j
Let l = 7.8 + 1.2. Which is bigger: l or 6?
l
Let n = 711 + -710.9. Is 322 smaller than n?
False
Let t = -113.659 - -0.259. Let q = 114 + t. Let j be ((-2)/(-27))/(1/(-3)). Which is bigger: q or j?
q
Let d(v) = -v**2 + 19*v - 16. Let b be 11 + -8 - (-15)/1. Let g be d(b). Is g at most 1?
False
Let l = -11623091/78 + 149022. Let g = -49/6 + l. Let u = 3 - 2.8. Are u and g non-equal?
True
Let z be -1 - 2/(96/(-14199)). Let a = 295 - z. Which is smaller: -1 or a?
-1
Let j be 24765/(-120) - 5/8. Which is smaller: j or -206?
j
Let p = 169 - 167. Are 52/17 and p unequal?
True
Let y = -688 - -11686/17. Which is smaller: y or -1?
-1
Let g = 50 - 38. Suppose g*r - 17*r - 35 = 0. Does -6 = r?
False
Let o(m) = m**2 + 12*m + 3. Let b be (-6)/(-8) - (-306)/(-24). Let w be o(b). Suppose w*y + 1 = -g, -3*y + 3 = -8*y - g. Which is smaller: y or 3?
y
Let f be (16/112)/(2/(-212)). Which is smaller: f or -16?
-16
Suppose 2*x - 2*i + 10 = i, x - 5*i = -12. Let y be x/10*(1 + 22/1). Is y != -4?
True
Let q = -132 + 176. Is q < 44?
False
Let m = 233227 - 4201469/18. Let r = -188 - m. Suppose 3*x + 5 = 2. Is x at least r?
False
Let n = 77 - 59. Let b = 11 + 7. Is n bigger than b?
False
Suppose i + i = 4*z + 72, 2*z = 3*i - 120. Let k be (i/70)/((-18)/4). Is k < -1?
False
Let z = 254 - 338. Is z >= -84?
True
Let p(a) = -a - 6. Let d be p(-4). Let s(h) = h**2 - 14*h + 15. Let o(i) = -i**2 - 1. Let f(l) = d*o(l) - s(l). Let q be f(-15). Which is smaller: -1/5 or q?
-1/5
Let a(h) = -h**3 - 7*h**2 - 8*h - 4. Let d(r) = -r - 1. Let y be d(5). Let b be a(y). Suppose -k = -3*k - 10, -t + 3*k = -b. Which is greater: -6 or t?
-6
Let z(g) = g**2 - 25*g - 11. Let c be z(25). Let u(i) = -2*i - 13. Let o be u(c). Do o and 4 have different values?
True
Let a = 1269 + -2462. Is a != -1195?
True
Let t(f) = -12*f**2 - 2*f - 2. Let z be t(-3). Let h = -105 - z. Is h less than -1/190?
True
Suppose -2*r + 6 = 0, 0 = o + 5*r - 94 + 63. Is 19 < o?
False
Let h = 0 - 1. Let n = -96/41 - -1578/779. Which is smaller: h or n?
h
Let d = 2952 + -2960. Do 16/5 and d have the same value?
False
Let j(k) = -549*k + 12. Let b be j(-5). Let t = 71767/26 - b. Let o = -3/13 - t. Which is greater: o or -4?
o
Let r be (-1 - (-56)/51)*(16 + 5). Is r less than 2?
False
Suppose 0 = 26*t - 14*t - 1812. Suppose -3*z = -5*f - 135, t = 4*z + 2*f + f. Which is smaller: z or 38?
38
Let p = -79 + 88. Which is smaller: 54/7 or p?
54/7
Let b = -0.075 + -244.925. Let t = b + 135. Which is smaller: t or -1/4?
t
Suppose 2*c - 36 - 14 = -w, -5*w - 3*c = -215. Let h = w + -6. Is h < 34?
False
Let r = 12.589 - 12.5. Let d = 0.011 + r. Which is smaller: 89 or d?
d
Let u = -78 + 131. Let q = -131/9 + 3049/45. Let z = q - u. Which is greater: -1 or z?
z
Let b = 8 - -8. Is 16 >= b?
True
Let o(r) = -r - 1. Let h be o(-6). Let y be 3/20*12/21*h. Is 1 at most y?
False
Let v = 220 - 220. Is v at most 7?
True
Let o = 197 - -1167. Is o != 1363?
True
Let g(y) = y**2 + 3*y - 4. Let l be g(1). Let q = 3/161 - 263/5474. Is l bigger than q?
True
Let a = -26 - -64. Suppose 5 = -3*m + a. Is m < 11?
False
Let o = 2 - 0. Which is bigger: 7.5 or o?
7.5
Let v = 16 + -14. Suppose 0 = v*w - w + 16. Let i = w - -30. Is i smaller than 13?
False
Let m = 11 + -6. Suppose -9*u + 9 = -45. Which is greater: m or u?
u
Let o be 4/6 + (-2)/(-6). Let z(j) = 2*j + 4. Let r(k) = k + 1. Let h(u) = -6*r(u) + z(u). Let v be h(-1). Is v at most as big as o?
False
Let g be 1 - ((-12)/6 - -5) - 37. Which is bigger: -38 or g?
-38
Let w = 129.39 + 0.61. Let y = -186 + w. Which is smaller: y or 0.1?
y
Let c = -47502623/20 + 2375828. Let v = -697 + c. Is 1 > v?
True
Let x be (-11)/(-2)*(8 - 8/4). Let u = x + -32. Let d = -8/101 + 325/2828. Is u bigger than d?
True
Let o(g) = -78*g + 958. Let x be o(11). Do 94 and x have the same value?
False
Let j = 522 - 599. Is j not equal to -74?
True
Let r = -88 - -92.9. Let h = r + -5.2. Which is smaller: h or -1/20?
h
Let s be (-3)/(-15) - 219/870. Which is smaller: 1 or s?
s
Let u = 0.1171 - 0.0171. Do 1.78 and u have different values?
True
Let f = 722 - 10838/15. Let c = -1/5 - f. Let n = 17419 - 17420. Is c smaller than n?
False
Let n be -11 + -1 + -7 + 4. Let q = -19 - -6. Is n greater than or equal to q?
False
Let q be (-2*(-8)/(-5))/((-13)/195). Are 148/3 and q equal?
False
Let y = 889 + -888. Is -26 != y?
True
Let t be (52/(-234) + 1/(-9))*0. Which is smaller: t or -12/295?
-12/295
Let y be ((-2)/(-10))/(2/10). Let i = -4 + y. Let x be -7*(i - 2/(-1)). Which is bigger: x or 1?
x
Let h = -756 + 757. Let t(k) = -k**