. Let b = 35/2 + z. Which is bigger: r or b?
b
Suppose -4*l + 5*u + 38 = 0, l + 6*u - 3*u = 18. Let h be (-20)/18 - 8/l. Let g = h - -41/18. Are g and 0 nonequal?
True
Let y = 237.31 + -207.7. Let f = -31.6 + y. Let q = 0.01 - f. Is 1 at least as big as q?
False
Let a = -25 - -223/9. Let z(w) be the second derivative of -w**5/20 - w**4/4 + 5*w**3/6 + 5*w**2/2 + w. Let i be z(-4). Are i and a equal?
False
Suppose 5*w + 2*r = 98, -w + 40 = 4*r + 6. Let j = -9 + 28. Are j and w non-equal?
True
Suppose -4*f = -f - 12. Suppose 3*i - 4 + 3 = y, f*i = 3*y - 2. Suppose -3*k + 3 + 2 = 2*c, y*k - 5*c + 22 = 0. Is 2/13 smaller than k?
False
Let t be 4/(-1)*12/80. Let w be (6 - 0)*(-2)/4. Let l = -5 - w. Is t at least as big as l?
True
Let d = 0.03 + -0.43. Let k = -0.99 + 1. Let g = k - -0.09. Is d at least as big as g?
False
Let q(u) = u**2 + 7*u - 9. Let v be q(-9). Let d be (2 - 1)/((-3)/v). Is d less than or equal to -5?
False
Let i be 2/5 + 0/1. Suppose 0 = -2*s + 3*r - 37, 0 = -2*s - s + 4*r - 53. Let k = -11 - s. Which is greater: k or i?
i
Let x be (-4)/18 - (-17)/9. Let i be -2 + 222/36 - (1 - -2). Let g = x - i. Which is greater: g or 0?
g
Let f = -4134 + 70320/17. Which is bigger: 3 or f?
3
Suppose 10 = 13*s + 23. Which is smaller: -7/3 or s?
-7/3
Suppose -3*s = 2*s. Let f(z) = z + 7. Let j be f(s). Suppose -4*b - 5 = j. Are -3/2 and b nonequal?
True
Let t be 151/(-680) - 7/(-35). Let f = 251/952 - t. Which is smaller: 0 or f?
0
Suppose 0*g - 3 = 3*g, 2*g + 3 = -k. Is 5 less than k?
False
Suppose 7 = -5*z - 3. Let d be z/4 + 87/6. Suppose b + 3*a + 14 = -0*a, -3*b - d = 2*a. Which is smaller: b or 1?
b
Let a be (-1)/(-4) + 2/(-8). Suppose -4*i = -c - 63, -c + 0*c = 4*i - 57. Let q = i + -16. Which is greater: q or a?
a
Suppose 4*x - 2*y = -8 - 2, -x = -5*y + 25. Let h = x - -3. Let n = -4 + 3. Which is smaller: h or n?
n
Let w = 6 - 5.96. Let q = w + -0.09. Is -1 at most as big as q?
True
Let z = -0.96 - 0.04. Which is smaller: 2/57 or z?
z
Let y = 6 + 6. Is 12 at least y?
True
Let m be (1/10)/(26/195). Does m = -9?
False
Let r(w) = 2*w - 16. Let z be r(12). Is 6 > z?
False
Let c = 97 - 96. Which is greater: c or 1.6?
1.6
Let f = 0.206 - -13.894. Let i = 14 - f. Which is smaller: 0.07 or i?
i
Let i be 1*-1 - (-2 + 0). Suppose 4*t + n - 2 = 0, 2*t - 3*n + 4 + 2 = 0. Is t < i?
True
Let n(g) = g**3 + 5*g**2 + 6*g + 5. Let r be n(-4). Suppose 2*s = -0*s. Suppose s*f - 1 = f. Which is greater: f or r?
f
Suppose -3*p + 10 = -p. Are 5 and p unequal?
False
Let z = 6.162 + 0.138. Let t = 6 - z. Are t and -0.1 non-equal?
True
Let d = 532/2313 - 2/257. Is d less than or equal to 3?
True
Let b = 3 + -5. Let f(u) = u**2 - 8*u - 3. Let q be f(9). Let h be -2 - (q/(-3) + 3). Are b and h unequal?
True
Let y be (1/(1 + 5))/(78/12). Is 0 > y?
False
Let f = 362 + -358.11. Let g = 0.11 + f. Let a = 59/24 + -25/8. Is g at most as big as a?
False
Let u = 6 + -4. Let j = 4.1 - -0.9. Let l = 7 - j. Is u smaller than l?
False
Let r = 1174 - 3607/3. Let b = r - -28. Are b and 2 unequal?
True
Let y(z) = z**3 + 4*z**2 - 5*z + 7. Let n be y(-5). Let b = 9 - n. Which is greater: 6/7 or b?
b
Let j be 1 - (1 - 0/2). Let r be 1/(-7) + j - 0. Suppose 0 = -u + 63 - 64. Which is smaller: u or r?
u
Let n be (0 - -2) + 6 - 1. Let g = 0.9 - -0.3. Let i = g - 1.2. Is n bigger than i?
True
Suppose -5*r = -4*o - 20, 2*o - 5*r + 18 = -2. Let d be 10/12*12/40. Which is smaller: o or d?
o
Suppose -h - 41 = r, -122 = 4*r - r + 4*h. Let y = r - -25. Is y equal to -18?
False
Let z = 0 + 8. Is z bigger than 8?
False
Let k(x) = -x**3 + 3*x**2 - x + 4. Let q be k(3). Suppose 7 = -5*l - 18. Let h be (-3)/l + 318/(-630). Which is bigger: h or q?
q
Suppose 0 = -4*c - 3*v + 6, 2*v + 7 = -2*c + 3*c. Suppose -6 = 5*b - f, 4*b - 8*b = c*f + 1. Let z be (-2)/((-6)/(-3)) + b. Do -1/2 and z have the same value?
False
Suppose -p - j - 3*j + 17 = 0, 0 = -4*p - 5*j + 24. Does p = 1?
True
Suppose 5*c - 5*h = 255, 188 = 4*c + 4*h + 24. Let g be (-134)/c + (0 - -3). Is 1 at most as big as g?
False
Suppose -o - 4*o + 50 = 5*r, 2*r = 2*o. Let m(d) = -d**2 - 4*d + 1. Let i be m(-3). Which is smaller: o or i?
i
Let d = 4 + -2. Is d at most as big as -1?
False
Let k = -10 - -13. Suppose 20 - 38 = k*u. Which is smaller: u or -5?
u
Let p(j) = 23*j + 10. Let f(r) = -11*r - 5. Let i(k) = 7*f(k) + 3*p(k). Let t be i(-6). Suppose 0*v - t = -5*q - 4*v, v = 2. Which is smaller: q or -0.1?
-0.1
Suppose 0 = 5*g - 3*j + 5 + 10, -2*g + 10 = 2*j. Let f be 0 - g - 8/44. Suppose r + 3 = 0, q + 13 = -3*r + 4. Is f <= q?
True
Let t(k) be the second derivative of k**3/6 - 7*k**2/2 - k. Let w be t(6). Suppose g - 4*g - 6 = 0. Which is bigger: w or g?
w
Let n = 3 + -2.9. Let r = -1.1 + n. Which is bigger: r or 2/7?
2/7
Suppose -5*j + 7 - 12 = 0. Which is greater: j or -6?
j
Suppose 4*w - 3*l + 1 = 26, 3*w = -2*l + 6. Suppose -4*c = 5*t - 10, 0*c + w*c - 8 = -4*t. Is -1 > c?
False
Let g(f) = 2*f**3 - 17*f**2 + 10*f - 17. Let n be g(8). Let m = 111 - 889/8. Which is greater: n or m?
m
Let s be (-8)/2*(-2)/14. Let d be (0/(6/3))/2. Let c = 0 + d. Is s < c?
False
Let h be (-2 - -6)*(3 - 1). Let y = h - 8. Which is greater: y or -2/9?
y
Let n = 3 + -1. Let z be 3 - (n + -2 - -3). Which is smaller: z or 1/3?
z
Let l = -0.4 - -0.4. Let p = l - -2. Which is greater: p or 0?
p
Let w = -18 + 18.1. Let r = -0.01 - -2.01. Is r at most as big as w?
False
Let f = 5 + -7. Suppose 2*g + g = -2*p - 9, 2*p - 2*g = -4. Is p at most as big as f?
True
Suppose z - y + 11 = -0*y, -5*z = -y + 47. Let j(t) = t**3 + 9*t**2 + t + 8. Let i be j(z). Which is smaller: -1/9 or i?
i
Let t = 0.18 - 0.28. Let n = -0.15 + 7.15. Is t less than or equal to n?
True
Suppose 0 = -4*g - 53 - 7. Do g and -14 have the same value?
False
Suppose 3*w + 2*w = 0. Suppose w = 3*h + i - 2, i = h + 6*i + 4. Suppose -u = -2*u + h. Which is smaller: 2 or u?
u
Let k be (-34)/(-16) + (1 - 3). Let d = 3/8 - k. Which is smaller: -2/9 or d?
-2/9
Let s be (2 - 0)/(4/10). Suppose -x = 3*t + 4*x - 3, x = -s*t + 5. Let z(y) = 2*y**2 - 13*y - 7. Let n be z(7). Which is smaller: n or t?
n
Let i be 16/30 + 2/(-3). Let l = 7/60 - i. Do -1 and l have different values?
True
Let r = -19 - -24. Which is bigger: 6 or r?
6
Let m(p) = -3*p - 33. Let o be m(-11). Which is smaller: -1/4 or o?
-1/4
Let q = 700/381 - 1/254. Is q > 1?
True
Let m be ((-32)/12 - -3)/((-2)/3). Which is greater: -1/57 or m?
-1/57
Let x = 16 + -4. Let s = x + -11.9. Which is smaller: s or 2?
s
Let z = 1 - 1.7. Let d = -0.6 - z. Which is bigger: -5 or d?
d
Suppose -11*g - 1 = 10. Is 5/23 at least g?
True
Let g = -1/21 - -4/21. Let j(l) = -5 + l + 2 - 1. Let f be j(5). Is g less than f?
True
Suppose -3 = 5*q + 7. Let u(a) = a - 2. Let b be u(7). Suppose h + 9 = 2*p + 4*h, b*h = 3*p + 34. Is p at most as big as q?
True
Let n = -3/29 + 35/58. Is 17 less than n?
False
Suppose 5*m + 5*c + 320 = 0, 208 = -0*m - 3*m + 5*c. Let i = -39663/4 - -9849. Let j = i - m. Are 0 and j equal?
False
Let o be (-25)/20*(-1)/(-8). Is -1 greater than o?
False
Let p be (-4)/(-10) + 42/(-5). Which is greater: p or -5?
-5
Suppose h - 4*h = 147. Let n be h/28 + (-2)/(-4). Which is smaller: -1 or n?
n
Let a be (1/2)/((-7)/126). Suppose -3*n - n - 40 = 0. Which is smaller: a or n?
n
Suppose 3*b = -3*c, 2*b - 6 = 3*c - 8*c. Does b = -5?
False
Suppose -3*d = -3*g + 3, 2*d + 7 = g + 5. Let f be -1 + 198 + 2/(-2). Let i = -2154/11 + f. Is i at most as big as d?
False
Suppose 0 = -u - 0 - 3. Is -8/5 smaller than u?
False
Let f be 2/5*(-325)/(-55). Let u = 152/55 - f. Which is greater: u or 5?
5
Let z = -24 + 19. Which is bigger: -6 or z?
z
Let z be (-46)/13 - -2 - -2. Which is bigger: 0 or z?
z
Let y = 13 + -13. Suppose y = -d - 2*d + 18. Which is bigger: 4 or d?
d
Let a be 21/(-27) + 4/(-18). Let o = 2428/9 + -269. Let x = o - 10/9. Which is smaller: a or x?
a
Let p = -18 - -17. Let u = 0 - -2. Suppose -4*b = 6 - u. Do b and p have different values?
False
Let s(a) = 4*a**2 - a. Let c be s(-1). Let o be c/(-12) - (-4)/(-12). Let v(r) = -r - 2. Let x be v(-2). Which is smaller: x or o?
o
Suppose -112 = 5*b + 3*t, -5*b - 52 = -3*b + 3*t. Is b >= -20?
True
Let m(g) = -g**2 + 7*g - 9. Let d be m(6). Let j be d/2*10/(-3). Suppose -j*h = -2*a - 1, -h - 4*a - 10 = -3*