= -0.6 - f. Which is greater: g or n?
g
Suppose 2*u - 1 = -t - 13, 0 = 5*u + 25. Let j be (-1)/(t + (3 - 2))*6. Does -4 = j?
False
Let d(q) = -q**2 + 28*q - 95. Let k be d(4). Is k < -8/53?
False
Suppose -698 - 142 = -7*p. Let w = -119 + p. Are w and 4/83 equal?
False
Suppose -4*n = -5*d + 1455, 3*d - 2*n = -25 + 896. Is 286 < d?
True
Let d be 1 + (-2 + 382 - 7). Which is bigger: d or 0.1?
d
Suppose j - 4*j + 2*p = -18, 15 = -5*p. Let o be ((-27)/(-108))/((-1)/(-20)). Which is greater: o or j?
o
Let o = 0.09 - 7.09. Let p = 130.9 - 138. Let u = p - o. Is -3 equal to u?
False
Suppose -148 = -7*z + 6. Does z = 21?
False
Let k(m) = -6*m - 26*m + 13*m + 1. Let h be k(-1). Are 19 and h non-equal?
True
Let h(x) = x**3 - 7*x**2 - 8*x + 5. Let f be h(8). Suppose f*v = -135 - 25. Let t be 2 + v/14 - 0. Is t less than 1/8?
True
Let w = -4 - -4. Suppose -2*o = 2*r - 6, w*r - r = -3*o - 3. Let b = -134/99 - -2/99. Which is greater: b or o?
o
Let w be 10/20*(0 - -4). Suppose 4*n + 3*u + 2 = w*u, -5*n - 8 = 4*u. Which is bigger: -1/6 or n?
n
Let a = -48 - -47.89. Let i = a + 0.11. Which is greater: i or 2/149?
2/149
Let y(f) = f**3 + 7*f**2 + 5*f - 6. Let t be y(-6). Suppose t = -5*i - 0 + 60. Suppose -2*u + h - i = 0, -2*u - 18 = -3*h - h. Which is smaller: -6 or u?
-6
Let y be -2 + -4 + (-7 - -3) + 11. Let p = -4 + 7. Is y bigger than p?
False
Let z = -40 + 13. Which is bigger: z or -4?
-4
Let p = 71 + -3. Let d = 69 - p. Which is greater: -4/27 or d?
d
Let c = -15 + 10. Suppose -o + 10 = 2*t, o + 7*t - 14 = 4*t. Suppose 0 = -o*d - 0*d - 10. Is d at most c?
True
Suppose -q + 15 = 4*q. Suppose -5*a + 30 = 5*o, 3*a = q*o - 2*o + 2. Suppose -a*s = -0 + 4. Which is greater: -10/7 or s?
-10/7
Let h = 38 - 6. Suppose 4*n - 5*i = h, -5*n + 3*i = -0*i - 40. Do 4 and n have the same value?
False
Let z(b) = b + 2. Let h be z(0). Suppose -3 = -w - h. Let y = -63 - -947/15. Is w greater than or equal to y?
True
Let c = 1.03 + -20.83. Let g = 22 + c. Let p = -2 + g. Which is smaller: p or 0.03?
0.03
Suppose -y = -3*y + 22. Let i(g) = -g**2 + 11*g + 2. Let p be i(y). Are 3 and p equal?
False
Let k = -10 - -15. Let j be (6/(-5))/((-10)/275). Suppose 13 - j = -2*v - 5*f, 3*v - 20 = -k*f. Is -1 at most v?
True
Let q be (-152)/(-36) - (-2)/(-9). Suppose -2*u + 110 = 3*u - 4*w, 5*w + 79 = q*u. Which is smaller: 24 or u?
24
Let f(w) = w**2 + 3*w + 1. Let l be f(-3). Let i = -1 + l. Let q be (15/6 + -2)*i. Which is greater: q or 1/6?
1/6
Let r = -44.9 + 43.9. Which is greater: r or -0.0414?
-0.0414
Let t(a) be the first derivative of -a**2/2 + 4*a - 32. Let x be t(-6). Is x > -1?
True
Let z = 42 - 46.9. Let k = -10 + 5. Let f = z - k. Is 0.5 <= f?
False
Suppose 4*b = b. Let l = -329/720 + 1/80. Is b less than l?
False
Let z = -12.3 + 12. Let r = z + 1.6. Let g = 1.3 - r. Which is bigger: g or 4?
4
Let x = -203 - -196. Let u(g) = -g**3 - 6*g**2 + 6*g - 1. Let o(k) = 1. Let w(y) = 4*o(y) - u(y). Let z be w(x). Which is smaller: z or -3?
-3
Let a = 76/99 + -2/9. Which is smaller: 0 or a?
0
Let b = 438 - 1437. Is b >= -1000?
True
Suppose 29 = -2*c - 5*r - 10, 0 = c + 2*r + 18. Let l = c - -14. Suppose -f = 2*f - 9. Is f >= l?
True
Let l = 47 + -44. Let o = -3 - -1. Which is smaller: o or l?
o
Suppose 0 = 3*y + 5*x + 1, -9*y - 14 = -13*y + x. Which is smaller: 48/17 or y?
48/17
Let v = -10/127 - 2133/3556. Let u = v - -705/28. Is u less than 24?
False
Suppose -j - 3*j - 12 = 0. Let n = -3 - j. Let m be 6 - (-23)/(8970/(-2360)). Is n at least as big as m?
True
Let x = 87 - 93.7. Let u = -2.3 + x. Let p = 8 + u. Which is smaller: -1/8 or p?
p
Let f = -1001 + 1001. Which is smaller: f or 3/164?
f
Let z be (-4 - -2) + 55/5. Suppose 4*v + 5*r - 3 = z, 4*r + 32 = 2*v. Suppose -4*y + 4*g = -v, -y - 2*g - 1 = -0*y. Do -1 and y have the same value?
False
Let o = -166/13 + 791/65. Let q(t) = -t**3 - t. Let n be q(0). Which is smaller: o or n?
o
Suppose 0*s + 3*s + 2*b = 0, -3*s - 9 = -b. Let y = 524 - 3679/7. Which is greater: y or s?
y
Let n = -710 - -606. Is -106 less than or equal to n?
True
Let i = -8.1 - -8. Are 322 and i nonequal?
True
Let d be 8*172/96*-3*1. Which is greater: -2/35 or d?
-2/35
Suppose -5*u = -2*s, 0 = 2*u - s + 3*s - 14. Suppose u*y + 7 = -3*l - 0*l, 0 = -4*l - 20. Which is smaller: 7 or y?
y
Let x be 6152/(-44) + 26/(-143). Which is greater: x or -139?
-139
Suppose -y + 5*s = 3*y + 150, -196 = 5*y - 2*s. Is -42 greater than or equal to y?
False
Suppose 0*j - 4*d = 2*j - 16, 4*d = -j + 18. Let u be (0 + (-16)/108)/j. Is -1 bigger than u?
False
Let l = 79 - 77. Suppose 0 = -i - l*i. Which is bigger: -8/15 or i?
i
Suppose z + 125 = -4*z. Let k = z + 22. Which is greater: 1 or k?
1
Let n be (-1)/2 + 123/6 + -2. Let x be 174/8*12/n. Which is smaller: 15 or x?
x
Suppose -38 - 6 = -11*g. Suppose -3*r + r + 4 = 0. Suppose -r = -g*z + x, -2*z - 10 = -z + 5*x. Is 2/5 < z?
False
Let r be (-37)/(-3)*(1 + -4). Let x = -260/7 - r. Suppose 212*q = 224*q + 12. Is x at most q?
False
Let t(p) be the first derivative of -p**4/2 + 4*p**3/3 - 2*p**2 + 3*p + 6. Let h be t(2). Let g = 2.8 - 3. Which is smaller: g or h?
h
Let z(t) = t**3 + 4*t**2 - 7*t - 2. Let k be z(-4). Is 504/19 bigger than k?
True
Let u = -13 - -12. Let o be (-6 + -1)/(u/2). Are 15 and o unequal?
True
Let k be 1458/24 - (-2)/8. Let b = 60 - k. Let h be 48/(-130) + (-4)/(-10). Which is bigger: b or h?
h
Let t(n) = n**3 + 4*n**2 + 10*n + 15. Let c be t(-5). Let z be 1/3 - (-110)/c. Which is bigger: -3 or z?
z
Let r = -8 + 3.2. Let c = -5 - r. Let z = 10 + -8. Does c = z?
False
Let y(d) = 32*d + 1. Let n be y(9). Let g = n - 1739/6. Is g greater than or equal to -1?
True
Let k = 296.9 - 297. Let t(q) be the third derivative of q**4/24 + 2*q**3 - q**2. Let a be t(-6). Which is bigger: k or a?
a
Let j be ((-22)/55*-35)/(-2). Are j and -4 non-equal?
True
Let j(r) = r**2 - r - 6. Let l be j(-2). Suppose 2*c - 21 = -c - 2*y, l = 3*c + 4*y - 27. Is 4 at least as big as c?
False
Let x = 1 - 2. Let j = -1227 - -7361/6. Is j bigger than x?
True
Let i = -1/535 - 209/2675. Which is smaller: -41 or i?
-41
Let k = -357.2 - -394. Let u = k + -37. Which is smaller: u or -46?
-46
Let i be 69/(-9) - (19 + -26). Are i and -135 non-equal?
True
Let u be 196605/1197 + -2*(-1)/(-19). Do 163 and u have different values?
True
Let x(z) = z - 12. Let o be x(3). Is -3 > o?
True
Let b be (-42)/(-4) + (-18)/12. Let n be (4/b)/2 - 28/(-36). Which is bigger: -1/44 or n?
n
Let w(m) = -35*m**2 + 4*m + 17. Let g be w(5). Let f = g + 49444/59. Which is smaller: f or 0?
0
Let b = -76878/17 + 4520. Which is smaller: -1 or b?
b
Let x = 399 - 408. Which is smaller: x or -0.049?
x
Let k(w) = -w**3 + 3*w**2 + w - 3. Let t be k(3). Suppose 2*z = -d - t*d - 23, d = 5*z + 12. Which is greater: d or -14?
d
Let d = -37 + 28. Let a = d + 11. Is a less than -2/3?
False
Let y = -8.72 - -8.92. Is 1.3 smaller than y?
False
Let b = -0.056 - -68.056. Let y = -32 + b. Which is smaller: 0.1 or y?
0.1
Let j be 0/(16/4) - -72. Which is smaller: j or -1/9?
-1/9
Let p(o) = -o - 1. Let g be p(-3). Suppose g*q = -q. Let d be (0 - 1) + 4/5. Is q less than d?
False
Suppose -2*y + 0*y - 18 = 3*c, 3*y = -5*c - 28. Let r = 8 + y. Suppose r = j + j. Are j and 1 equal?
True
Let c = 2 - 4. Suppose -5*z = -7*i + 2*i - 70, 43 = -2*i + 5*z. Let a be (i/4)/((-33)/(-8)). Which is greater: c or a?
a
Let r be 1 - (7 + 21*(-3)/9). Let y(j) = -j**3 - j**2 - j + 8. Let f be y(0). Let a be 19/91 + f/(-28). Are a and r non-equal?
True
Suppose 0*y - 3*y - 96 = 0. Let t = 31 + y. Which is bigger: t or -6?
t
Let t(v) = v**3 - v**2 - v + 8. Let x be t(0). Let m be (513/(-1464))/((-6)/x). Let y = -2/61 - m. Which is smaller: 0 or y?
y
Let w be (23 + 3)/(1/(-4)). Are -104 and w equal?
True
Let o = 92.2 - 80. Let z = o - 6.2. Is z greater than 0.2?
True
Let t = 419147/56 + -29945/4. Let a = t + -1/56. Is a less than -2/7?
True
Let z(d) = 0*d - 11*d**3 - 6 + 10*d**3 - d - 8*d**2. Let w be z(-8). Is 11/4 > w?
True
Suppose -120 - 88 = -8*t. Let a = t + -15. Is a less than 7?
False
Let x = -0.1 - -2.1. Let u = -2.2 + x. Which is greater: u or 12?
12
Suppose 3*i - 6*i - 4*r = -97, -i + 30 = -r. Which is smaller: 19 or i?
19
Let y(i) = 4*i + 20. Let k be y(-6). Let l = k - -14. Which is greater: l or 1?
l
Le