17*u - 14*u. Let y be (u/33)/(2/(-4)). Which is greater: -0.1 or y?
y
Let v(q) = q**3 - 56*q**2 + 159*q - 2. Let j be v(53). Let p = 1867 - 1236. Let u = p - 3167/5. Is u smaller than j?
True
Let j = -60 + 30. Let t be (90/6)/(7/(-14)). Is j <= t?
True
Suppose -325*w + 330*w - 190 = 2*t, 5*t = -3*w - 475. Is t > -96?
True
Suppose 5*n = n - 84. Let m be (2 - 0)*21/n. Are m and -12/19 equal?
False
Let y = -2297 + 1273. Which is greater: -1025 or y?
y
Let o = -2 - -1. Let t = -1239 + 1238. Is o greater than or equal to t?
True
Let f(u) = -7*u**2 - 4*u + 1. Let z be f(-3). Let r be 2*1 + (-110)/z. Let h = r - 142/35. Are 0 and h equal?
False
Let f be (-9 + 11)*(-1 - -2). Let i be 143/13 + f/(-2). Suppose -5*n = -0*n + 2*m - 53, 2*m + 1 = n. Which is smaller: n or i?
n
Let b = 0.89 - 0.21. Let f = -0.68 + b. Let y = 232 + -1853/8. Which is smaller: y or f?
f
Let u(m) = -2*m**2 + 73*m + 501. Let h be u(41). Do h and 135 have the same value?
False
Suppose -4*i - 4*u + 24 = 0, 4*i - 18*u = -13*u + 6. Is 0.3 equal to i?
False
Suppose 3*m + 4*n + 81 = -20, -2*m - 94 = -4*n. Which is bigger: -28 or m?
-28
Suppose 5*y - 5*k = -35, -5*y + y = 3*k. Let d = 52 + -50. Is d at least as big as y?
True
Let h be 248/(-310) + 14/(-10)*13. Which is smaller: -16 or h?
h
Suppose -54*y + 241 = -83. Which is smaller: 18 or y?
y
Suppose 0 = o + 5*o - 6. Let x be -4 + (-3 + (-22)/o)*-2. Is x bigger than 46?
False
Let j = -2.54 - -2.44. Which is greater: 16 or j?
16
Let o be (-2 + (-115)/(-2))/(21 + -22). Is -57 greater than or equal to o?
False
Let j be -1 - 6/(-9) - 626/(-6). Suppose j = 5*p + 64. Which is bigger: 5 or p?
p
Suppose 0 = -2*u + 4*f - 14, 4*u = 25*f - 30*f + 24. Suppose 0 = y + 5*s - 2, -4*s + 3 + 5 = 4*y. Suppose 1 - 5 = -y*v + 3*z, -2 = -v + 2*z. Is v at most u?
False
Let i = -21 + 22.7. Let l = i - -0.5. Let o = l - -1.8. Which is greater: o or 0.2?
o
Let d(o) = 10*o - 14. Let b be d(4). Suppose -5*w + 88 = -42. Are w and b nonequal?
False
Let n = 28.6 - -7.4. Let f = n + -21. Let h = -19 + f. Are h and 0.2 equal?
False
Suppose 4702 = -19*j + 1130. Which is smaller: j or -189?
-189
Let c(i) be the first derivative of -i**3/3 - 7*i**2 - 5*i + 5. Let g be c(-11). Suppose -4*o + 4*a + g = 0, -o + 3*o - 23 = -a. Is 9 less than o?
True
Let l = 0.101 + 0.899. Let n = -0.53 + l. Which is bigger: 1 or n?
1
Let u(t) = t + 6. Let d be u(-8). Let q = -0.217 + 0.277. Which is bigger: q or d?
q
Let x(k) = -3*k - 28. Let o = -45 - -36. Let h be x(o). Is h equal to 42?
False
Suppose 0 = 2*h - 15 - 1. Suppose 0 = -125*r + 129*r - 44. Let x = h - r. Is -1/7 greater than x?
True
Suppose -f + 0*y = -3*y + 281, -4*y = -5*f - 1438. Let u = f - -3768/13. Is u greater than 0?
False
Let z = -555 + 678. Which is smaller: z or 609/5?
609/5
Let d = -173 + 325/2. Are d and 1/3 unequal?
True
Let j(x) = 1185*x + 6. Let p be j(16). Suppose -2*q - 7001 = -l - p, 3*q - 17980 = -5*l. Let n be (-2)/(-7) + (-1500)/q. Which is smaller: 0 or n?
0
Suppose 0 = o + o + 12. Let g be (2/6)/((-4)/o). Is g at least as big as -0.15?
True
Let w(h) be the second derivative of -h**4/12 + 5*h**3/6 + 5*h**2 + h. Let r be w(7). Let m = r - -1. Which is bigger: 0 or m?
0
Suppose 77 - 80 = -z. Let k = 3 + -5. Let t be ((-3 + z)/(-4))/k. Which is smaller: 6/7 or t?
t
Suppose 0*j - 6*j = -24. Suppose 6*u - j*u + 10 = 0. Let h be 18/10 - (u + 7). Is h at most -1?
False
Let s be 1*40/6*9. Let r = -189 - -187. Let v be r/(-4) + 66/s. Which is smaller: v or 2?
v
Suppose -5*i - 254 = -5*y + 866, 2*i + 458 = 4*y. Is -220 greater than i?
False
Let s be (-42)/(-112) + 21/8 + 0. Which is smaller: s or 7?
s
Let o = -234 + 226. Is -0.04 > o?
True
Let y = -46 + 77. Let v = y - 30.9. Let g = 0.1 + -0.1. Is v smaller than g?
False
Let s be (4/1)/(15/420). Let i = -1121/10 + s. Let z = 0.1 - 0. Is i bigger than z?
False
Let j be (-2)/(-1) - (-1 + 1). Suppose 22 + 14 = j*q. Is 17 at least as big as q?
False
Let v(l) = -20 + 5*l + 9*l + l**2 + 6. Let c be v(-14). Let r be ((-8)/14)/(4/c). Is r less than or equal to 2/11?
False
Let r = 9 + -14. Let q(y) = -2*y**2 - 16*y - 22. Let v(d) = -d**2 - 8*d - 11. Let b(g) = r*v(g) + 2*q(g). Let z be b(-6). Is 1/6 >= z?
True
Suppose 0 = 4*h + 20 + 44. Let u = 19 + h. Suppose 3*n + 5*v = n - 9, n = v + 6. Is u bigger than n?
False
Suppose 2*u - p = 4 - 0, -u = -5*p - 2. Suppose -2*s - g = -6*g - 24, 0 = -2*g - 8. Suppose 0 = -u*j - s*j + 52. Is j >= 2?
True
Let d be (-1)/(-1 + 240/(-9)). Does d = -1/3?
False
Let a be (-2)/4 - (-124)/8. Let u = a + -13. Suppose z + 1 = u*z. Is z not equal to 7/3?
True
Let h be (0/3)/(3 - 4). Suppose h = y + y + 2. Are -1/59 and y nonequal?
True
Let j = -26/145 + 3168/19285. Let c = -900 + 901. Which is greater: c or j?
c
Let z(f) = -7*f + 11. Let u(h) = 19*h - 32. Let d(k) = 3*u(k) + 8*z(k). Let j be (-2)/5 - (-37)/5. Let y be d(j). Is y <= -1.8?
False
Let b = 19 - 8. Suppose -4*s + 59 = 11. Are s and b nonequal?
True
Let u be (-1709)/(-3)*2/(-34). Let d = u + 100/3. Let q(n) = -36*n - 180. Let m be q(-5). Is m smaller than d?
False
Let q be -1 + (-82)/697 + (-46)/(-102). Which is smaller: -17 or q?
-17
Let y be (-12)/(-66) + (-3904)/55. Let o = 71 + y. Let a(r) = r**3 - 2*r**2. Let t be a(2). Which is smaller: t or o?
t
Let x = -0.16 + -1.6. Let k = 1.7 + x. Let s = -0.16 - k. Which is greater: s or -12?
s
Let h be 12/(-7) + 2/(-7). Let q = -437.03 - -437. Is h != q?
True
Let r = -222 + 224. Suppose -2*a = 2*a - 508. Suppose -3*q = r*q - 3*l + a, -5*q - 103 = 3*l. Is q less than -23?
False
Let m be (-28)/(-8)*(-40)/(-7). Suppose 5*t + m = 3*g, -6 = 2*t - 5*g + 2. Are t and -44/9 nonequal?
True
Let o = -8.78 - -8.78. Which is greater: o or -0.063?
o
Suppose 33*k - 19*k = 28. Let q = -2 + -4. Is k not equal to q?
True
Let y = -0.0476 - -0.0836. Is -1/3 equal to y?
False
Let g be (-4)/(-6) + (-60)/9. Let r be (g/(-8))/(2/(-24)). Suppose 4 = 4*l, -12*m + l + 15 = -14*m. Which is greater: m or r?
m
Let k(o) be the third derivative of -o**5/60 + o**4/4 - 7*o**3/6 + 17*o**2. Let j be k(2). Which is greater: -31 or j?
j
Let d = -60/5989 - 1/113. Which is bigger: d or 5?
5
Let m = 0.3 - -0.03. Let a = m - -22.67. Let p = a + -22.9. Which is smaller: p or 6?
p
Let c = 933 + -915. Do 1/6 and c have the same value?
False
Let u = 75.96 + -79. Let h = 77.96 - 78. Let i = u - h. Which is greater: i or 0.2?
0.2
Let f = -3.6 + 31.6. Let h = -26 + f. Which is smaller: 0.3 or h?
0.3
Let q = -466 - -467. Which is greater: q or -3/277?
q
Suppose 3*d = -2*d + 45. Let h be 2/(-4)*(-54)/d. Is h at least 19/5?
False
Let r be 4 + 0/1 + (-588)/133. Is 1 at most r?
False
Let t(m) = -m**3 - m**2 + m - 1. Suppose -5*y - 8 = -4*n + n, 3*y + 5 = 2*n. Let h be t(n). Is -7/3 at least as big as h?
False
Let z = 197 - 208. Which is greater: z or -97?
z
Suppose 15 = 3*p + 5*b, 0 = 3*p + b - 5*b + 12. Let q(x) = x**3 + 2*x + 1. Let h be q(p). Do h and 2/29 have the same value?
False
Let t = 0 + 26. Suppose -22*w - 8 = -t*w. Is w > 6/7?
True
Let o = -0.2 - 0.2. Let q = -26.4 + 26.5. Let m = o + q. Which is greater: -0.2 or m?
-0.2
Let h = 20.214 - 20. Is 0 at least as big as h?
False
Let t(a) = 4*a**2 - 4*a**3 - 2*a + 7*a**3 - 1 - 4*a**3. Let w be t(3). Let c be (-5 - -4 - w) + -7. Is c equal to -11?
False
Let f = 692 + -693. Which is smaller: f or -1/1018?
f
Let l = -110 + 113. Suppose 2*g = -l*n - 13 - 47, 0 = 4*g + 12. Which is smaller: -20 or n?
-20
Let l = 23.7 + 168.3. Are l and -1 non-equal?
True
Let t = 20 - 8. Let y(v) = -v**3 + 13*v**2 - 13*v + 17. Let r be y(t). Suppose -3*u = -5*k - 30, -2*u - 3*k = u - 6. Is r equal to u?
True
Let m = 132 + -100. Which is bigger: m or 30?
m
Suppose -2*x + 4*o = x - 129, 2*x + 4*o = 86. Let b = 869/20 - x. Which is smaller: b or 0?
0
Let n(p) = p**3 + 6*p**2 - 18*p + 24. Let y be n(-10). Is y less than or equal to -194?
True
Suppose 23 + 37 = -4*s. Suppose 0*o - 5*o + 585 = 0. Let u be (-12)/(-15) + o/s. Which is greater: -8 or u?
u
Suppose -2*t + 0*w + w + 2 = 0, 0 = 5*w. Let b be 4/3 - (-8)/(7 + -15). Which is smaller: b or t?
b
Let t be -3*((-60)/234)/5. Is 12 > t?
True
Let i be 1/1 + 2 + 3. Let b = 3 - i. Suppose 4*q - 2*q + 4*m = 0, -2 = 3*q + 4*m. Which is smaller: b or q?
b
Let d = -59 + 61.7. Let c = -17.7 + 13. Let h = d + c. Is h n