0. Let u be m(x). Let a be 4/u - 1*3. Which is bigger: a or -2?
-2
Let o be (1 + -2 + 4)*1. Let u(t) = 2*t**2 + 1 + 0*t**2 - o*t**2. Let f be u(0). Is f greater than or equal to 2?
False
Suppose -39*u - 17*u + 2352 = 0. Which is greater: u or 40?
u
Suppose 0 = 2*k + 2*k - 4*z + 124, -4*z + 98 = -3*k. Let j(c) = 77*c + 513. Let f be j(-7). Is f at least as big as k?
True
Suppose 98 + 28 = -7*d. Are -1/15 and d equal?
False
Suppose 8 = z + 3*z. Suppose -z*p = -5*p - 3. Let b = p - 33. Which is smaller: 0.1 or b?
b
Let x be ((-5)/(-60))/(3/(-6)). Let u = 7/12 - x. Is -3 greater than u?
False
Let a = 678 + -22372/33. Let m(n) be the first derivative of -n**3/3 + 4*n**2 + 34*n + 9. Let x be m(11). Which is greater: a or x?
x
Let h(x) = 445*x - 4 + 2*x**2 + 2 - 445*x. Let z be h(-1). Which is smaller: z or -1?
-1
Let c be ((-2)/(-25))/(1/5). Let f = 33 + -8. Let y = f - 23. Is c <= y?
True
Let d = -3.16 - -0.16. Let v = d - -2.8. Let a = v - -2.2. Is a at least as big as 1/6?
True
Let z = 3286/13257 + -7/982. Which is greater: 0 or z?
z
Let l(a) = 2*a - 11. Let w = 12 - 4. Let g be l(w). Suppose 3*i - 7 = -2*d, -g*d + 3*i - i - 11 = 0. Is 1 < d?
False
Suppose -7*u = u + 2*u. Let f(k) = k**2 + 5*k + 4. Let t be f(-5). Suppose -5*o + 10 = -3*w, t*w - 2*o + 4*o - 4 = u. Which is greater: w or 2/15?
2/15
Let l = 7465/7 - 1066. Is 0 less than or equal to l?
True
Let n be ((-46)/5382)/((-391)/381 - -1). Let g = n + -5/26. Does -1 = g?
False
Let g(p) = -p**3 - p**2 + p - 5. Let b(m) = m**3 + 3*m**2 - m - 3. Let t be b(-3). Let o be g(t). Which is smaller: o or -6?
-6
Let r = -0.04 - 0.03. Let w = r + 0.19. Let u = w + -0.02. Is 4 greater than u?
True
Suppose -10*u = -5*u - 25. Let d(h) be the first derivative of -h**4/4 + 5*h**3/3 - h + 2. Let f be d(u). Are f and -1 non-equal?
False
Let d be 1*(-3 - (0 + -14)). Suppose -5*x - 2*u - 5 = -2*x, 3*x - d = 2*u. Which is greater: x or 3?
3
Let f = -841 + 837. Is f equal to 74?
False
Suppose -2*z + 16 = z - 5*y, 0 = z + 4*y + 6. Suppose s + 2*s = 3, -3*k + 5*s = z. Suppose w = -k + 4. Is w smaller than 2?
False
Let b be (-2)/(-1)*(82 - (-9 + 6)). Are 170 and b nonequal?
False
Let g = 803 - 802. Which is smaller: 2/53 or g?
2/53
Let s = -602 - -603.91. Are -1 and s equal?
False
Let i be (-1931)/(-630) + 6/(-27). Let v = -65/14 + i. Let w be (2 - 0) + -1 - 2. Which is greater: v or w?
w
Let y = -0.098 + -2.222. Let v = -0.68 + y. Let f(j) = -j**2 + 7*j - 1. Let s be f(6). Which is smaller: s or v?
v
Suppose -351 = 4*o + 405. Let j be 54/o - (-32)/14. Suppose 2*f + j = 4. Is f at most as big as 2/7?
False
Let b = -0.9 - -0.2. Let g = 0.4599 - -0.1401. Let t = g + b. Is t at most as big as -0.1?
True
Let i be ((-2)/(-12))/((-1)/(-322)). Which is greater: i or 54?
54
Let f = -15 + 35. Suppose 2*v = -5*o - 10, -5*o = -0*v - 4*v - f. Suppose -3*g = -o*w + w - 14, 4*g - 22 = -3*w. Is 1 < w?
True
Suppose -l - 25 = -6*l. Suppose 105 = l*j - 10*j. Let p be (-1)/(j/12 + 2). Which is greater: p or -3?
-3
Let z(l) = -l**2 + 10*l - 10. Let o be z(8). Suppose o*j - 10 = 4*j. Let n be (4/10)/(6/j). Is 1 bigger than n?
True
Let q = -271357754/4559529625 + -59/10947250. Let c = q - 2/4165. Is 0 equal to c?
False
Let y = 45.09 + -45. Let v = -10 - 6. Let i = v + 16. Which is greater: y or i?
y
Let j = 8 - 20. Suppose g - l = 3*l + 10, -5*g - 3*l + 4 = 0. Suppose -4 = c + 3*k, g*c + k + 29 = 2*k. Which is bigger: j or c?
j
Suppose -t = -6*t + 10. Suppose -3*b + 3*v = 2*b - 2, t*b = 4*v - 2. Let n = -71/19 + 379/76. Is n at least as big as b?
True
Let m = -1.953 + 223.853. Let r = m + -233. Let g = -11 - r. Is 2 smaller than g?
False
Let n be (1/(-2))/(145/(-15)). Let c = -125/174 + n. Let d = 9 - 5. Which is smaller: d or c?
c
Let d = 5.2 + -5.239. Let s = d - -4.639. Let q = 1.6 - s. Which is bigger: q or -1/2?
-1/2
Let t be -1 + (18/(-2) - -8). Is -60/31 smaller than t?
False
Suppose 31*u - 44 = -13. Which is greater: u or 6/191?
u
Let r be -2 + (-8)/(-3) - 237/(-9). Let j = r - 36. Is j at most -11?
False
Let q be 74/(-9)*(178 - 184). Is 50 greater than q?
True
Let h be 2 + 0 + -58*(-4)/(-108). Let f = -8 + 7. Which is smaller: f or h?
f
Let u(x) = x**2 - 2. Let l be u(0). Let p = 24536/18393 + -4/6131. Which is smaller: p or l?
l
Let d = 167 - 169. Does -66 = d?
False
Let o = 60 + -68. Let p be 9/(-2) + (o - -13). Which is smaller: p or 0?
0
Let d(q) be the third derivative of -q**5/60 - q**4/12 + 6*q**2. Let n be d(-3). Are n and -2 non-equal?
True
Let u = -585 - -472.1. Let w = 113 + u. Let f = 2/63 - 23/63. Which is bigger: w or f?
w
Let k(y) = y**3 + 5*y**2 + 3. Let q(h) = 0*h**2 + 2*h**2 - 3*h**2 + 0*h**2 + 4*h. Let f be q(5). Let r be k(f). Which is smaller: 5/3 or r?
5/3
Let s = 0.375 + 1.325. Is -4 at most as big as s?
True
Suppose 4*h = v - 28, 0*v - 35 = 5*h + v. Let d be (6 + -8)*h/(-2). Are -7 and d non-equal?
False
Let k = -462 - -465. Is -19 != k?
True
Let s be (-6)/(-207)*223/8. Let u = 29/43 - 2173/2967. Let p = s + u. Is -1 smaller than p?
True
Let g = 7/13 - 5/13. Suppose 2*b = -2*b + 4. Do b and g have the same value?
False
Suppose -5*q + 24 = -36. Suppose -1 = 11*o - q*o. Which is smaller: 0.13 or o?
0.13
Let c be -6*(483/2)/3. Let q be (-1)/((c/9)/7). Which is smaller: -1 or q?
-1
Let m = 0.6 + -0.7. Is 0.07 at most as big as m?
False
Let i = -403 - -404. Which is smaller: 1/2216 or i?
1/2216
Let o be (-43758)/(-459) - ((-2)/6)/(-1). Are o and 97 non-equal?
True
Suppose 15*g - 1699 - 5936 = 0. Is 509 at most g?
True
Let w = -15 - -6. Let p = -110 - -104. Which is bigger: p or w?
p
Let n = -0.1954 + -0.0046. Let j = 0.49 - 0.5. Which is smaller: n or j?
n
Let x = -320 + 321. Is x at least 28/13?
False
Let z be 8 + 2447/(-144) + 9. Which is smaller: z or 0?
0
Let z be 4/(-95)*5/2. Let b = 0.094 - -0.206. Is z at least as big as b?
False
Let u = 3006 + -4271. Which is greater: -1266 or u?
u
Let f(h) = -h**2 + 15*h + 55. Let r be f(18). Let t be (9/(-6))/(1076/16 + 1). Which is smaller: r or t?
t
Let p = 28846 - 49528580/1717. Which is greater: p or 0?
p
Let j = 0.012 - -0.738. Which is bigger: -1/4 or j?
j
Suppose -5*v + 116 = -4*p, p + 2*v + 11 = -5. Is p greater than or equal to -171/7?
True
Let s = 28/79 + -1691/2765. Let b = s + 1/140. Is b greater than 3/19?
False
Let v = -0.05 - 1.95. Let q = 177.3 - 180.3. Which is bigger: q or v?
v
Suppose -x = 5*d - 8, -4*x - 37 + 51 = 2*d. Suppose 2*w = -3*w - 1260. Let k be 1/(-2) + (-118)/w. Is d smaller than k?
False
Let x = 0.05 + -0.43. Let n = x + -20.62. Let z = -20 - n. Which is smaller: z or 1/4?
1/4
Let p(h) = h**3 + 14*h**2 + 14*h + 14. Let d be p(-13). Suppose 2*v = -v. Suppose v = -6*s + s + 5. Is s <= d?
True
Let k be (388/26)/2 + (58 - 53). Which is smaller: 11 or k?
11
Suppose 0 = -2*x + 1 + 7. Let f(v) = -15*v**3 + v**2. Let l be f(1). Let q = l + 17. Which is bigger: q or x?
x
Let b = 1264.8 + -1254. Is -2 at least b?
False
Let g be (-5 - 1)/((-78)/4). Suppose 4 = 5*r - 1. Do g and r have different values?
True
Let y = 401/5 - 82. Suppose i - 18 = -h - 4*h, -3*i + 32 = 4*h. Suppose 7*z - i + 22 = 0. Which is bigger: y or z?
y
Let s = -37 + 40. Suppose 3*u + s*u = 204. Is u >= 1?
True
Let j = -266 - -271. Let z = 1 + 4. Is j <= z?
True
Let a = 649 - 664. Do -128/9 and a have different values?
True
Let z be (((-36)/(-831))/(-6))/(3/(-3)). Which is smaller: -1 or z?
-1
Let f be (0 + -1 + 1)/1. Let l(v) = v**3 - 6*v**2 + 7*v - 2. Let q be l(7). Let x be -4 + (4 - 4/q). Which is bigger: f or x?
f
Let c(w) = -w**2 - 12*w - 21. Suppose -6*q - 25 = 35. Let v be c(q). Which is bigger: -2 or v?
v
Let b = -0.169 - -0.069. Let k be -9*-1*(-4)/(-6). Let s be (-3)/k - (-10)/4. Which is greater: b or s?
s
Suppose 2*t = -2*t - 24. Suppose -2*b - 4 + 12 = -2*r, -3*r = 3*b + 24. Is t less than r?
False
Suppose 0 = 2*t - 13 + 17. Let v be 12/(-10) + 19/(-95). Which is smaller: t or v?
t
Suppose 4*o - 2*o = 0. Let n = 661/60 - 43/4. Which is smaller: n or o?
o
Let r(c) = -6*c - c**3 - 14 + 16*c**2 - 5*c - 4*c**2. Let w be r(11). Is 0 > w?
True
Let r(l) = 4*l**2 + 13*l + 9. Let b(i) = 3*i**2 + 12*i + 9. Let q(g) = 7*b(g) - 6*r(g). Let z be q(6). Which is bigger: z or -62?
-62
Suppose -5*g - 36 = -g. Let w(h) = h - 1. Suppose -f + 0*f + 5*m = -18, 5*f = -4*m - 55. Le