han f?
False
Suppose -4*q = 382 - 334. Which is smaller: 0.4 or q?
q
Suppose -73*t = 97 + 195. Which is greater: -64/23 or t?
-64/23
Let h(w) = -w**2 - 45*w - 179. Let f be h(-30). Which is smaller: f or 270?
270
Let r = 8/3 - 7/3. Let h = 0.2 + 0.1. Is h >= r?
False
Let r = -143 + 158. Let i(y) = 2*y**3 - y**2 + 2*y - 1. Let g be i(1). Suppose -j + 4*c = -35, -g*j + 5*c + 43 = -12. Is j smaller than r?
False
Let u = 0 - 0.4. Let c = 191.1 + -191. Is u at most as big as c?
True
Suppose -35*p + 9112 = -p. Is p smaller than 270?
True
Let v be (1 - 3)*(0/6 + -1). Which is smaller: v or 7?
v
Let w = 2113 + -2007. Which is smaller: -0.3 or w?
-0.3
Let v be 0 + ((-780)/55 - 2/(-11)). Let b = v - -14. Which is smaller: -2/139 or b?
-2/139
Let y = 2061 + -1869. Which is bigger: y or 189?
y
Let c(p) = -p**2 - 3*p + 2. Let w(x) = x + 1. Let h be w(-7). Let i be c(h). Let j be (i/20)/(4/(-10)). Which is smaller: 0.2 or j?
0.2
Suppose -3*m + 8*m - 57 = 4*p, 0 = 5*m + 4*p - 33. Suppose -11*l + 20 = m. Which is greater: l or -2/201?
l
Let p(t) = 5*t - 2. Let c be p(10). Which is smaller: c or 45?
45
Suppose 0 = p, -4*h + 3*p + 68 = p. Let z = h - 18. Let l(a) = -a**2 - 5*a - 3. Let q be l(-2). Which is smaller: q or z?
z
Suppose 2*q = -2*q + 4. Suppose -33*g + 1195 = -28*g. Let d = -2632/11 + g. Does q = d?
False
Suppose -2*k - 140 = -12*k. Let f be k/12*2 + 17/(-51). Is 6 >= f?
True
Suppose 41*c = 8 - 49. Is -104 greater than c?
False
Let k = -19 + 1. Let a = k - -30. Let r = 11.9 - a. Is r <= 1?
True
Let b(h) = -h**2 + 15*h + 3. Let i be b(15). Let o be (i/(-10))/(7/84). Is o <= -4?
False
Suppose 7 = 3*r + 10. Let g be 42/(-6)*r/8. Which is greater: 0 or g?
g
Suppose 0 = 3*y + t - 18, 4*t + 6 - 3 = 3*y. Which is smaller: 33/8 or y?
33/8
Let u = -23 + 23.27. Let s = 0.17 - u. Let d = -17/2 - -8. Which is smaller: s or d?
d
Let f be (2 - 44/12)*-3. Let u be 30*(f/10 - 0). Are 17 and u nonequal?
True
Suppose 2*j + 2*j - 8 = 0. Suppose 3 = 2*h - 2*k - 1, 6 = h + k. Which is smaller: h or j?
j
Let i be (25*8/30)/(12/14). Which is smaller: 8 or i?
i
Let x(w) = -w**2 - w + 11. Let r be x(-4). Which is greater: r or -2/927?
-2/927
Let p = 108/187 + -45752/2805. Which is smaller: -16 or p?
-16
Let y = -2 - -3. Let n(i) = i + 2. Let t be n(2). Suppose t*j - y = 3*j. Is j less than 1?
False
Let t(h) = 98*h + 543. Let q be t(-5). Is q > 68?
False
Let b = -95 + 97. Let d be (-2328)/(-18) + (-2)/(-3). Let w = d - 908/7. Is w <= b?
True
Let q be 80/350*(35/10 + -3). Which is smaller: q or 0?
0
Suppose -3*j = 4*b + 15, -5*b + 15 = -3*b - 3*j. Suppose b = -0*w - 3*w. Let d = 27/4 - 67/12. Which is bigger: w or d?
d
Let p(q) = -q**2 + 12. Let j be p(0). Let v be (-52)/6*j/8. Let i(w) = -w**2 - 14*w - 15. Let g be i(v). Is g at most as big as -2?
True
Let i = -3 - -3. Suppose 0*t - 5*f = -4*t - 60, 0 = -4*t + 3*f - 60. Let p be t/70 + 3/(-6). Which is greater: p or i?
i
Let p = 1291919/2325 + 2/775. Let y = -537 + p. Let h = y - 19. Is 2 < h?
False
Let t(n) = -3*n - 5. Let g be t(-5). Suppose -3*d = -2*i - 39, -3*d + 166*i = 170*i - 21. Is d greater than or equal to g?
True
Let s(g) = 7*g**3 - g - 8 - 2*g + 10 + g**2. Let t be s(1). Suppose -y = -0*y + t. Which is bigger: -8 or y?
y
Suppose 5*q - 5 = -5*b + 5, -3*q + 8 = b. Let d(u) = 8*u**3 + u - 6 + 10*u**q - 19*u**3 - u**2. Let w be d(0). Which is smaller: -7 or w?
-7
Let h(k) = -k**3 - 4*k**2 - 4*k - 2. Let z be h(-2). Let r be z/(-20) + (-6)/(-15). Let v = -1.01 - -2.01. Which is bigger: v or r?
v
Let h(p) be the first derivative of 5*p**2/2 - 9*p - 32. Let x be h(2). Is 9/19 > x?
False
Suppose 0 = 3*s - 178 + 43. Which is smaller: 8 or s?
8
Let y(n) = -2*n + 7. Let p be y(-4). Which is smaller: 8 or p?
8
Let s be 11/(-66)*2*12. Which is bigger: -110/27 or s?
s
Let a = 1732.85 + -1697. Let r = 35 - a. Let o = 0.6 + r. Is o equal to -1?
False
Suppose 4*i - 5*t - 8 = -t, 0 = -2*i - 3*t - 6. Let d = 0.21 - -7.79. Is d less than or equal to i?
False
Let g(q) = -2*q - 38. Suppose 0 = -2*r + 3*r + 19. Let f be g(r). Is f < -6/5?
False
Let h = 4.2 + -4.142. Let m = h - 0.298. Which is bigger: 0.2 or m?
0.2
Let y = 6626/53 - 125. Suppose 3*u - 8*u - 5 = 0. Which is greater: u or y?
y
Suppose 0 = 2*a - 179 - 121. Suppose 0 = s + 4*d - 2*d - 65, -3*d = -3*s + a. Is s smaller than 56?
True
Let l = 0.02 + -0.22. Let m(w) = w**3 + 9*w**2 - w + 20. Let v(z) = -z**2 - z - 1. Let f(i) = -m(i) + 3*v(i). Let j be f(-12). Is l smaller than j?
True
Let y = -18.82 - -19. Let u = -14 + 14.28. Let j = u - y. Which is smaller: -0.11 or j?
-0.11
Let o = -0.352 - 0.058. Let b = -5.59 + o. Is b not equal to 3?
True
Let w(u) = 2*u**2 - 28*u - 41. Let z be w(13). Which is smaller: z or 3?
z
Let p(h) = 5*h - 8. Let c be p(0). Which is smaller: 8 or c?
c
Let l = -4.7 - -7. Let g = l + -2.55. Let r = 0.15 + g. Which is smaller: r or -0.14?
-0.14
Suppose 2*v + 278 = -5*t, 58 = -t + 2*v + 12. Let l be 66/t + 4/18. Let o = 129 - 1418/11. Which is bigger: l or o?
o
Let b(j) = -j**3 + 6*j**2 + 2*j - 8. Let y be b(6). Let h be y*-1 - 110/(-35). Are 0 and h non-equal?
True
Let w = 19 - -17. Let l = 35.8 - w. Which is smaller: 0 or l?
l
Let n = 19/25 - 4882/75. Which is bigger: -64 or n?
-64
Let w = -2270101/31 - -73271. Let j = w - 42. Is -1 bigger than j?
False
Suppose 18*x + 11 - 29 = 0. Do 35/22 and x have the same value?
False
Let b = -2.343 + 0.343. Let j = -56 + 38. Which is smaller: j or b?
j
Let w(v) = -v**2 + 2*v + 2. Let s be w(2). Let m be s/9 + (733/(-99) - -7). Let a be (-1)/2 + (-2)/(-4). Are m and a non-equal?
True
Suppose q = -2*z - 373, -q + 1119 - 169 = -5*z. Is -187 at most as big as z?
False
Let r(b) = -b**2 + 1. Let m be r(1). Let a = -5 - -1. Let p be (-11)/(-12) - a/(-16). Which is smaller: m or p?
m
Let t(r) = -r - 3. Let d be t(-4). Let b be 2 + d + (-3 - -6). Let a be (9/b)/((-9)/(-12)). Do a and 1 have the same value?
False
Let r(f) be the third derivative of -f**4/12 + f**3/3 + 5*f**2. Let p = 3 - -2. Let g be r(p). Is -8 bigger than g?
False
Suppose 0 = -k + 22 - 20, 5*s + 3*k = -1734. Is -348 less than s?
False
Let a(p) = -p**3 + 7*p - 3. Let v be a(-4). Suppose -112 = -5*h + 4*q, -4*h - 5*q = -32 - v. Do 16 and h have the same value?
False
Let l(s) = 173*s**2 + 1. Let d be l(-1). Is d at most as big as 172?
False
Suppose -63*j = -74*j - 275. Which is bigger: -23 or j?
-23
Let r = -45 - -32. Let m = r - -9. Let j be 6/m*2/3. Is j smaller than -1/20?
True
Let q = -705 + 713. Is 0.009 smaller than q?
True
Let v = 20 + -81/4. Suppose g = 3*g. Let w = g - 1. Which is greater: v or w?
v
Let s = -1348 - -1347.99. Which is greater: -10 or s?
s
Let i(q) = 2*q - 29. Let r be i(-11). Let f = r + 51. Is f at most -2?
False
Let q = 198.9 + -165. Let y = q + -34. Is -4/3 less than y?
True
Let y be (3/9)/((-10)/(-1086)). Let r = 36 - y. Which is greater: r or -1?
r
Let c = -74 + 96. Let i be 21/c + -4*9/24. Is i at most -1/2?
True
Let z be 2/(-11) + (6 - 2218/22). Is z greater than -94?
False
Let o = -6/35 - 11/140. Let n = -0.07 + -2.93. Let j = n - -3.01. Is j at most as big as o?
False
Let d = -0.25 - 0.75. Let o be 1 + -5 - (444/(-75) - -2). Do d and o have the same value?
False
Suppose -18*h = -29*h - 55. Which is bigger: -51/8 or h?
h
Suppose 36*y - 10 = 41*y. Let q be 24/14 + y + 14/49. Which is bigger: q or 4/29?
4/29
Let h = 8619 + -8640. Let x be (2 - 1)*-1 + -20. Is x <= h?
True
Let s(p) = 7*p - 45. Let v be s(-10). Are -116 and v equal?
False
Let v = 63 - 6. Let k = v + -54. Is 9 at most k?
False
Suppose 0 = -3*i - 3. Let b be (-42)/(-7) + i + 0. Is b at most 0.1?
False
Let l be (5 - (-7)/(-7))*(-2)/8. Let q = -1448/3 + 495. Let f = q + -425/33. Is l <= f?
True
Let u = 175/3 - 57. Let l = -8 + 10. Let r = l - 3. Which is smaller: u or r?
r
Let n(r) = 32*r + 251. Let v be n(-11). Is -101 bigger than v?
False
Let s(k) = 1 - 8 + 2*k**2 - 2*k**2 + 2*k**2 + 8*k. Let v be s(-5). Let z(u) = -u + 11. Let b be z(8). Is b greater than v?
False
Let x = 185 - 184. Let z be (-4)/(-6)*27/(-42). Is z > x?
False
Let l = 260 - 261.2. Is l > -1?
False
Let m = 5 + -10. Let w be 5048/(-12)*m/(-60). Let h = 35 + w. Is 1 equal to h?
False
Let p = 5.985 + -0.985. Is p <= 11?
True
Let u(v) = -v - 14. Let w be u(-11). Let j(r) be the second derivati