1 + -110. Which is bigger: w or t?
t
Let d(t) be the second derivative of t**4/3 - t**3/6 + t**2/2 + 5*t. Let x be d(1). Is x bigger than 3?
True
Let n be (-1)/((-2)/174*3). Let m = -25 + n. Let g be (-6)/m - (-18)/12. Which is smaller: g or -2/17?
-2/17
Let n be -16 + -8 + 1*-4. Let p = -28 - n. Is -7/9 equal to p?
False
Let t be ((-12)/(-6))/(7/(-2)) + 1. Let s(q) = q**2 + q + 5. Let a be s(0). Suppose -a*d + 5 = 3*z - 10, -9 = -3*z - 3*d. Which is smaller: z or t?
z
Let f = 415/6 + -70. Are f and -1 unequal?
True
Let b be (1 + -2 + 2)*1. Let y = 1 - b. Suppose 39 = -6*z + 27. Is z at most y?
True
Let c = 74 + -56. Let w = c - 65. Is w less than -2/3?
True
Suppose 3 = w + 2*w. Let x be -5 - (-196)/1085*(-220)/(-8). Is x != w?
True
Let v = 26952/11 - 2450. Let g = 25.6 - 4.6. Are v and g non-equal?
True
Suppose -8*g + 2*g = 2082. Is -346 at most as big as g?
False
Let z be 18/20 - 3/6. Let r be (3*1/(-9) - 0)*-6. Let d be r/7 + 0/((-15)/3). Is d greater than z?
False
Suppose 45 = 3*h - b, h - 4*b + 2 = 2*h. Suppose -5*w + 81 = 2*p, 0 = -5*w + 3*w + 4*p + 18. Which is smaller: w or h?
h
Let g be ((-5)/52)/(20/160). Which is smaller: g or -5?
-5
Let a = -13.7 + 15. Let c = -0.3 + a. Which is smaller: c or 0.02?
0.02
Let h = -57 + 33. Let c = -17 + h. Which is greater: c or -40?
-40
Let f = 18 + -10. Suppose 10*d = 77 + 33. Is f bigger than d?
False
Let o = -8 + 11. Let r be 6/o*(2 + -1). Let v = 119/47 + -3/94. Which is greater: r or v?
v
Let v = -485/209 + 248761/1463. Let r = v + -168. Is -1 less than or equal to r?
True
Let o = 189 - 316. Let g = 85 + o. Let x = g + 35. Which is bigger: x or -2/5?
-2/5
Let m be (22/(-88))/((-15)/2). Is m greater than or equal to -1?
True
Let s(w) = w. Let f = 10 - 6. Let t be s(f). Is 29/7 at most as big as t?
False
Suppose -g = g + 28. Let d be ((-6)/(-2))/(-3 - (-225)/80). Is d smaller than g?
True
Let n = -4.283 + 4.2. Let r = n + -34.917. Let l = 35.1 + r. Is 0 less than or equal to l?
True
Let k be (11/(-2))/(4/8). Let t = 866 + -1751/2. Is k less than or equal to t?
True
Suppose -4*v + 4 = 3*j, 2*j - 3 = -2*j - 3*v. Suppose 4*l - 11 - 21 = j. Suppose 2*b = -0 - l. Which is greater: -5/2 or b?
-5/2
Let u = 134445 - 77148. Let v = u - 457555/8. Let p = v + -103. Which is smaller: 0 or p?
p
Let n be -7 + (-182 - (6 + -6)). Which is greater: -188 or n?
-188
Let q be 2/(-5) + (-1340)/400. Which is smaller: -1/9 or q?
q
Suppose 2 = -x + 7. Suppose -2*n + q = 3, 7*n - 3*n = x*q - 15. Which is greater: 0.3 or n?
0.3
Let u(h) = -h**2 + 20*h + 79. Let g be u(23). Let w = 0 + -0.15. Let d = w - -0.15. Which is greater: g or d?
g
Let q = -52 - -51.974. Let s = q - -0.026. Let f = 7.08 - 0.08. Is f at most as big as s?
False
Let k = 1.1 - 0.1. Let p = 698.77 + -699. Which is greater: k or p?
k
Let m be 1188/24 + 1/(-2). Let z = 33 - m. Suppose -t = -2*f - 34, t - 28 - 22 = 3*f. Is z < f?
False
Suppose 4*a - 3*a = 0. Let p be (-4)/22 + 46/11. Suppose a = -w + p*w - 12. Do w and 2 have different values?
True
Suppose -7*o - 28 = -12*o - s, -4*o + 29 = 3*s. Which is bigger: o or -14?
o
Let u = 3.585 + -3.285. Let v = 65 - 97. Which is bigger: v or u?
u
Suppose 2*l + 3*l - 5 = 0. Let h = 30 + -70. Let y = 119/3 + h. Which is smaller: y or l?
y
Let h = 23 + -7. Let t = 7045 - 14061/2. Are t and h equal?
False
Suppose a = 3*h, -1 = -26*h + 22*h + a. Suppose -2*u + 4*r + 21 + 7 = 0, -70 = -5*u - 5*r. Let g = -10 + u. Is g not equal to h?
True
Suppose -3*d = -0*d - 9, -10 = -5*c + 5*d. Let g(p) = 4*p - 16. Let k be g(c). Suppose -4*a + 0*a - 20 = k*y, -3*a = 5*y + 15. Which is greater: y or -1?
y
Let f be (1/(-6)*142)/((-9)/27). Which is bigger: 72 or f?
72
Let n be 15/3*(-13)/(-65). Which is smaller: n or -1/170?
-1/170
Suppose -f - 2*b + 2 = 2*f, -f = 5*b - 18. Let v = -85 + 103. Suppose -21*i = -v*i + 27. Is f at least i?
True
Let g be (12/30)/((-2)/(-10)). Suppose -5*t - 5*c = -20, 0 = g*t - 4*c + c - 3. Suppose -2 + 10 = 4*v. Do t and v have the same value?
False
Let b be 6/(-4)*(-28)/(-21). Let i be (-2 + -3)*-4 + b. Which is bigger: i or 17?
i
Let w = -42 - -44. Let c = w + -5. Do 0.3 and c have different values?
True
Let d = -0.09 + 0.01. Let a = d + 0.38. Which is bigger: -2 or a?
a
Let v(u) = 6*u + 7. Let f be v(3). Suppose f = -5*r - 5. Let t be (r/16)/((-33)/22). Is t < 0.2?
False
Let g be 5*(4 + 0 + 1156/10). Is 597 greater than g?
False
Let x be 3 + (-8 - -1) + (3 - -94). Are 95 and x equal?
False
Let u = 34 - 37. Let m be u/4 + (-6)/(-8). Which is greater: m or 1/19?
1/19
Let c = 5 + -7. Let t = -22 - 9. Let w = t - -35. Which is smaller: c or w?
c
Let q(p) = -2*p**3 + 14*p**2 - 11. Let c be q(7). Let w = 5 + -14. Is c less than w?
True
Let m = -20.9 - -20.5. Which is smaller: m or -45?
-45
Suppose y - 135 = -2*d, 5*y + d = 32 + 634. Let z = y + -130. Are 8 and z unequal?
True
Let w(g) be the second derivative of -g**3/2 + 45*g**2/2 + 10*g. Let u be w(15). Which is smaller: u or 2/17?
u
Let y be 21/(-3) + (-505)/(-35) + (-9)/21. Suppose 4*r - 78 = -30. Suppose 3*n - r = n. Is y at most as big as n?
False
Suppose 0 = -6*h + h - 245. Let s = 22 + h. Which is smaller: -25 or s?
s
Let p = -0.014 + 0.014. Let a = -1.59 - -1.5. Let u = -0.16 - a. Which is smaller: p or u?
u
Let n = 10 + -8. Suppose 4*p = -5*k + 9 + 4, -20 = -n*p + 2*k. Suppose 3*w = 4*w + p. Which is smaller: -6 or w?
w
Let a = 0.11 + -2.11. Which is smaller: -59 or a?
-59
Let u = 1256 + -1334.1. Is -1/3 at least u?
True
Suppose 64*u = 62*u + 168. Suppose -u - 77 = -7*r. Which is greater: r or 18?
r
Let j(b) = -9*b**2 + 132*b - 73. Let i(p) = -6*p**2 + 88*p - 49. Let x(r) = 8*i(r) - 5*j(r). Let z be x(14). Let o be 2/(-7) + 4/14. Which is smaller: o or z?
o
Suppose -3*n + 0*x - x = -44, 0 = -3*n + 4*x + 34. Let b(l) = -3*l + 46. Let k be b(n). Which is smaller: k or 6?
k
Let a = 252 - 266. Is a at least as big as -12?
False
Let g be 1/18 - (-660)/(-216). Is g greater than -27/10?
False
Let j = 53/4 - 167/12. Suppose 3*p - s + 2*s - 647 = 0, -4*s = -5*p + 1101. Let k be 5/7 - 1 - (-2449)/p. Do j and k have the same value?
False
Let u(x) = -x - 1. Let k be u(8). Let t(g) = g**2 + 8*g - 8. Let f be t(k). Let n be (0 + f)*2*-1. Is -2 smaller than n?
False
Let a = -73 - -73. Do a and -1 have the same value?
False
Suppose 0 = -13*w + 4*g + 241, -5*g - 59 = 7*w - 9*w. Which is smaller: w or 114/7?
114/7
Let n be ((-5)/(-4))/(14/56). Suppose -6 = -5*x - 2*t - t, -n*x + 5*t = 10. Which is greater: x or -1?
x
Let n = 25/9 + -541/198. Let h = -3185/11 - -290. Let b = h + n. Which is bigger: b or 0.14?
b
Let o be -39*((-10)/(-45))/(2/15). Which is smaller: -66 or o?
-66
Let p(b) = b**2 + 6*b - 27. Let k(o) = o**3 + 5*o**2 + 2*o - 1. Let w be k(-4). Let h be p(w). Is 65 < h?
False
Let t(v) = v**2 - 3. Let f be t(-2). Let r = -397/8 + 50. Which is greater: r or f?
f
Let o be (2/4)/(10/(-120)). Let m be o/8*(-8)/2. Let r = 14/5 - m. Is r greater than 0?
False
Let k be 0 - (-1 - 0 - -1). Suppose i = -5, 0*m - i - 317 = -4*m. Let x = 313/4 - m. Do x and k have the same value?
False
Let s = -18608/82399 + 30/131. Which is smaller: s or 0?
0
Suppose 24*b - 26*b = -410. Let g be (1/5)/(3 - 612/b). Which is greater: 14 or g?
14
Let d = 93966/35 + -2685. Which is smaller: d or 0?
d
Let t = -16.09 - -14.09. Is 6/77 at least as big as t?
True
Let u = 461/799 - 8/17. Is -1 less than u?
True
Let s = -1459 - -80247/55. Are -0.1 and s nonequal?
True
Let i be ((-19)/((-646)/8))/(2/(-1)). Let w = -1.1 + 1. Let s = w + 0.3. Which is smaller: i or s?
i
Suppose 4*b + 4*j = -8, -2*b - 5*j - 12 = b. Let f be (-1 - b)*(4 + -8). Let q be (0 - 12/f) + 1. Do -1 and q have the same value?
False
Let t be 139/556*(-4)/(-3). Which is smaller: 3/17 or t?
3/17
Let t be (-4)/8*(-7 + 1). Is t at least as big as 10?
False
Let z be 2*4/((-12)/87). Let b = z - -68. Suppose 0*m + 36 = 3*y - 3*m, -9 = 3*m. Which is greater: y or b?
b
Let q(t) = 2*t - t**2 + 5*t**2 - 2*t**3 - 6*t**2 + t**3 - 3. Let x be q(-3). Suppose -g - 2 = -x*g. Which is greater: -16/5 or g?
g
Let r be 3/(-9) - 391*(-5)/105. Which is smaller: r or 19?
r
Let a = -157/44 + 42/11. Suppose w = -2*w + 3. Which is smaller: w or a?
a
Suppose 4*j = -2*p + 150 - 4, 5*p = j + 420. Is p >= 83?
True
Let z(h) = h**3 + 8*h**2 + 5*h - 13. 