?
False
Let z = -542721/4840 - -9/1210. Is -111 greater than or equal to z?
True
Let k(x) = x**2 - x - 10. Let i be k(5). Suppose -16*o = -11*o - i. Let l be 8*2/o*4/8. Is 1 smaller than l?
True
Let f = 5404 - 5400. Is f greater than 2006?
False
Let w be (-5 - (4 - 11))/(((-120)/126)/10). Is -321/16 greater than w?
True
Let j = -3.534 - -11.534. Which is smaller: 2 or j?
2
Let b = -101370835/1289 + 78643. Does 0 = b?
False
Suppose -4*k + 4 = -3*k. Suppose k*t + 0*a - 9 = a, -3*t = 3*a - 18. Suppose 8 - 11 = t*o. Are 1 and o unequal?
True
Let q = 2.39 - -140.61. Let c = 135.6 - q. Is -2 >= c?
True
Let s = -636 - -922. Let d be s/(-1480) - 8/(-40). Which is smaller: d or 0?
0
Let r = -466 + 672. Let q = 206.1 - r. Which is bigger: 483 or q?
483
Let q(h) be the third derivative of h**6/120 + 7*h**5/60 + h**4/3 + 16*h**2. Let s be q(-5). Suppose -15 = 13*i - s*i. Which is greater: i or -4?
-4
Suppose -3*y + 34 = 4*v, -429*y + 431*y - 5*v + 31 = 0. Let f = 580 + -387. Let l = 586/3 - f. Which is bigger: y or l?
l
Let p be (-1)/(-1)*(43 + 1 + -3). Suppose 0 = 5*v - 4 - p. Let s be (v/(-6))/(12/88). Is -12 at least s?
False
Let l = 144 - 257. Let h = -112.9 - l. Are h and 44/3 non-equal?
True
Let h = 3742.97 - 3743. Which is smaller: h or 3/8?
h
Let g = -623 - -642. Let f = -5 + 8. Let h(c) = c**2 + 5*c - 3. Let y be h(f). Which is greater: g or y?
y
Let r be (-4)/(-20) - (-496)/10. Let u = -50 + r. Suppose 143*z = 146*z + 3. Is u smaller than z?
False
Let u = -342296 + 16087909/47. Let c = 0.02 - 2.02. Let n = c - -3. Is n >= u?
True
Suppose -10*p + 12*p = 20. Let h = p - 7. Let q(f) = -3*f + 15. Let v be q(h). Which is greater: v or 3?
v
Let t = -77 + 74. Let i(v) = 2*v**2 - 7*v + 1. Let c(r) = 3*r**2 - 13*r + 2. Let n(j) = 3*c(j) - 5*i(j). Let l be n(t). Which is greater: l or -5?
l
Let f = -132676/5 + 26535. Are f and 6004 unequal?
True
Suppose -4*q + q = 1035. Let r be (-2)/5 + (-625958)/q. Let f = -1814 + r. Is -1 bigger than f?
False
Let l be (5 + -6)/((-4)/(20*5)). Suppose -17*j + 16*j - l = 0. Suppose -b = t + 21, -t = 3*b + 3*t + 58. Which is smaller: j or b?
b
Let t be -3 - -5 - (-1 - 3). Let v(l) = -l**3 + 9*l**2 - 13*l + 5. Suppose z - 4*c - 17 - 10 = 0, -z - 2*c = 3. Let r be v(z). Is r at most t?
False
Suppose -5*c - 72*b + 70*b - 30 = 0, -4*b - 8 = -3*c. Suppose 0 = 2*y + 3 + 11. Is y <= c?
True
Let r = -0.1767 - -0.2767. Which is greater: 586 or r?
586
Let l be (-3597)/(-22) - ((-2)/(-1))/(-4). Suppose 4*g = -l - 204. Let a = g - -66. Which is smaller: -25 or a?
a
Let j = -33050 + 33161. Which is bigger: j or 22?
j
Suppose 2*b = 17*b - 20072 + 6947. Which is bigger: 874 or b?
b
Let f(x) = -323*x**2 - 61*x - 61. Let r be f(-1). Which is smaller: r or -0.2?
r
Let r = 6633 - 6622. Which is greater: -2.5 or r?
r
Let k be (-2 + 7)*-1 + -400 + 406. Which is bigger: -23/79 or k?
k
Let w = 41 + -15. Let a = w - 38. Let y = -3563 - -3560. Is a smaller than y?
True
Suppose 8*r - 4*r + 3*h - 258 = 0, -r - h = -65. Let b be (-18)/(-105)*(-7140)/r. Which is smaller: b or -18?
b
Let x = 209574/11 + -19052. Which is smaller: x or 4464?
x
Let u = -0.065 - -6.165. Which is bigger: 2 or u?
u
Let q(x) = 6*x + 145. Let l be q(0). Let h = -145 + l. Which is smaller: 108 or h?
h
Let u(w) = 2*w**2 + 2*w. Let j be u(-6). Let i be (-1 + -244)*24/j. Let p be (i/(-21) - 4) + (-4)/6. Are p and -0.03 non-equal?
True
Suppose -3*w = -b - 4*b + 80, w = 0. Suppose -3*d = -5*p + 7, -5*d = -p - 3*p + b. Let y be (-782)/(-918) + (p - (-1 - -1)). Is y smaller than 0?
True
Let w be 1/(-6)*4*(336/(-40))/14. Which is smaller: w or -0.2461?
-0.2461
Let n = 2 - 2. Let g(c) = 9*c**2 - 74*c - 9. Let p be g(7). Is n smaller than p?
False
Let i(a) = 136*a + a**2 - 272*a - 12 + 132*a. Let v be i(3). Is -15 bigger than v?
False
Let f = -7129.011 - -7129. Does f = 0.04?
False
Let g = -17127 + 17356. Which is greater: 23 or g?
g
Let f be 2232/54 + (24/9)/4. Let k be (-3 - (-350)/f)/((-148)/(-6)). Is 0 <= k?
True
Let k(n) = -n - 15. Let a(z) = -z - 15. Let o(u) = 6*a(u) - 5*k(u). Let q = 512 + -527. Let b be o(q). Is b smaller than -28?
False
Let q(w) = 8*w - 59. Let o be q(7). Let l be 3 + -2 + -19 - o - 4. Let r = -14 + -16/3. Is l at least as big as r?
True
Let o = -3.048 - -2.818. Is o at least as big as -61/6?
True
Let v = 62 + -32. Let s be (12/15)/((-6)/v). Which is smaller: s or -46/11?
-46/11
Suppose 20 = -t - 4*w, 2*w - 97 = 4*t + w. Let s be (-18018)/(-145808) + 3/t. Is -1 smaller than s?
True
Let x = 0.964 - -4.966. Let o = 5.88 - x. Which is bigger: o or 16?
16
Let l be ((-522)/(-175) + -3)/(3/(-74378)). Let t = -425 + l. Which is smaller: 1 or t?
t
Let v be 4 + (-823 - (-7 + 16))/((-409)/(-2)). Is -1 > v?
False
Let j be 0/21*(1 + 0). Let c = -38 - -60. Suppose -c = 3*o - 139. Which is bigger: o or j?
o
Let w = 57292.11 + -56888. Let z = 404 - w. Which is greater: z or -0.1?
-0.1
Suppose 5*x + 2*a - 1 = 1, 4*x - 4 = -4*a. Suppose 5*o + 24 = w, w + 7*o - 23 = 11*o. Suppose 13*n - 6 + w = x. Is n at least as big as -1?
True
Let h = -46 + 36. Let g be (136/h)/((-93)/(-25) - 3). Is -19 at least g?
False
Let z = -0.0513 - 41.1487. Let r = z + 27.2. Is -7 bigger than r?
True
Let a(z) = -z**2 - 9*z + 38. Let n be a(3). Do 21/37 and n have different values?
True
Suppose -37*d + 45*d = -2168. Let n = -272 - d. Let h be 12/8 - (-16)/(-11). Is h greater than n?
True
Let u = -110 + 112. Suppose -208 = 4*h - 3*f + 459, -666 = 4*h - u*f. Are h and 0 nonequal?
True
Let t = -0.79 - -4.49. Let x = -3.3 + t. Let d = -0.2 + x. Which is greater: 1/10 or d?
d
Let t = 8.952 + 0.048. Let r = t + -92. Let c = r + 81. Is 1 smaller than c?
False
Let t be (2/(-15))/((-33)/(-55)). Is t > -521?
True
Let g = 576 + -573. Let y be (4/12)/(g/(-18) - 0). Is 29 at most y?
False
Suppose y + 68 = -8*p + 10*p, -2*y = -2*p + 140. Let s be 24/204 + (4 - y/(-34)). Do -34 and s have the same value?
False
Let c = 1097 + -1114. Let p = 19072/9 + -2136. Which is smaller: p or c?
c
Let z = 5438 - 5437.9. Is z at least as big as -9/167?
True
Let q = -13618 - -13619. Which is smaller: q or 985?
q
Let c = -956042/17 + 56281. Is c < 44?
True
Let s = 190 + -25. Let n = s - 164.9. Is -40 > n?
False
Suppose -2*q + 8 + 1 = -g, 4*g = -3*q - 14. Suppose -2*t = -4*t + 5*d - 13, -9 = -3*t - q*d. Which is smaller: 19/13 or t?
t
Let d be (8/(-162))/(((-198)/(-189))/11). Let y = d + -22/27. Which is smaller: -0.6 or y?
y
Let u = 1043463166/15216594063 + -14618/167129. Let r = u + 4/1023. Are -1 and r non-equal?
True
Suppose 54*y + y + 27225 = 0. Is -495 greater than or equal to y?
True
Let k be (-4)/((-20)/(-121)) - 97/(-485). Which is greater: -313/13 or k?
k
Let t = 25000/3 + -8334. Let p be (-1 - (-72)/75)*-2. Which is smaller: p or t?
t
Suppose o + 63 = -2*o + 5*n, 4*o + 2*n = -58. Let c be (1 - -1)/(4/o). Is 0 smaller than c?
False
Let l = 2.41 + -2.35. Let u = -2.06 + l. Let k = -4 + 0. Is k smaller than u?
True
Let w = 1200.9 - 1201. Which is smaller: w or -0.2286?
-0.2286
Let b = -16392 + 442498/27. Which is smaller: -2 or b?
b
Suppose 6*q - 7576 = -3*w + 2*q, -3*w + 5*q + 7594 = 0. Is w equal to 2529?
False
Suppose -3*l - 5*p - 436 - 459 = 0, 2*p + 590 = -2*l. Let k = 215 + l. Is -76 >= k?
False
Let m = -6563 - -6335. Do m and -234 have different values?
True
Let n = -1473 + 914. Let a = 12301/22 + n. Is a < 1?
True
Let c be ((-92)/(-24) - -1)/((-2)/(-18)). Suppose -73*b + 969 = 419 - 2589. Are b and c equal?
False
Let b be -26 + 33500/840 + 2. Is 15 smaller than b?
True
Let m(l) = -l**3 + 3*l**2 + 11*l - 7. Let u be m(5). Let q(a) = 2*a**2 - 7*a - 17. Let j be q(u). Is 1/5 > j?
False
Let s = 32920 - 32848. Which is greater: s or -0.044?
s
Suppose 2246*k - 2183*k = -126. Which is smaller: k or -50/13?
-50/13
Let l = 0.0821 + 125.0579. Let b = -125 + l. Is -1/6 less than b?
True
Let q(c) = c**3 + 5*c**2 - c - 3. Let s be q(-4). Suppose 4*w + 5084 = 5176. Suppose t + 4*j = w, -2*t - 5*j - s = -51. Which is bigger: t or 2?
t
Let p = -8 - -29. Let r = -1117427 - -1117426.7. Which is bigger: p or r?
p
Let q = 829/1739 + -20/37. Suppose 339 = 5*s + 189. Suppose 23*o + 7 = s*o. Which is smaller: q or o?
q
Let y(d) = 99*d - 675. Let u be y(7). Is u at least as big as -2?
True
Suppose -5*k + 65 = 75, 4*x - 2*k + 4444 = 0. Whi