*a + 2*i. Let l be a/(-3 - 34/(-12)). Suppose -b - 4*f - 2 = -3*f, -f - l = 3*b. Is b bigger than -5/2?
True
Let p be (104/30)/((-333)/45 - -7). Which is bigger: -8 or p?
-8
Let o = -122 + 113.7. Let t = 8 + o. Let k = t + 0.4. Is -1 greater than k?
False
Let n = -69 - -49. Is n at least as big as -19?
False
Let z = 142/525 - 2/25. Which is greater: 0 or z?
z
Let m = 3 + 0. Suppose p - 7 = -4*q, -3*p + 2*q = m*q + 1. Let u = 37 + -149/4. Are p and u unequal?
True
Suppose -3*h + 4*h = -4*l + 2, -6 = 3*h. Let w be (l - 5)*(-15)/20. Suppose 6 + w = -3*n. Is -3 greater than n?
False
Let c be ((-4)/6)/((-176)/(-948)). Let k = 10/11 - c. Which is greater: 4 or k?
k
Let d(i) = -2*i - 7. Let r be d(4). Let y = r - -16. Which is smaller: y or -2/3?
-2/3
Let g = -13 + 12.2. Let c = -1 - g. Is c smaller than -0.1?
True
Let x = -8/9 + 2/9. Is x bigger than 5?
False
Let n = 5 + -3. Let g(x) = -x**2 - 4*x + 3. Let u be g(n). Which is smaller: -8 or u?
u
Suppose -p - g - 9 = 0, 4*p - 2*g = 3*g - 36. Let t = p - -28/3. Is 0 equal to t?
False
Let g = 36 + -34.7. Is 2/7 > g?
False
Let k = -19469 - -175774/9. Let n = 185/3 - k. Let r(g) = -g**3 + 3*g**2 - 2*g + 1. Let i be r(2). Is n at least i?
False
Let i be (28/(-21))/(12/(-9)). Is -3/58 >= i?
False
Let f = -6 + 3. Let q = -3 - f. Let m = 3 + q. Are -2/3 and m unequal?
True
Let a(k) = 3*k**2 + 1. Let l be a(-2). Let x be 2*7/6*l. Let w = -31 + x. Is -2/3 greater than w?
False
Suppose 5*i + 20 + 10 = -5*d, 0 = -i + 4*d - 6. Let p = 8 + i. Suppose -4*s + p*m - 3 = -13, -5*m - 25 = -5*s. Is -2/11 equal to s?
False
Let u = 0.4 + -0.5. Is u bigger than 1.2?
False
Suppose -3*d - z - 3 = 2*d, 5*d - 12 = 4*z. Suppose -4*q + q - 6 = 0. Which is smaller: q or d?
q
Suppose 3*d - 6*d = -33. Does d = 11?
True
Let x(k) = -k**2 + 3*k + 5. Let h be x(5). Let o be (2/(-62))/(h/(-10)). Are 1 and o nonequal?
True
Let o = 1 - -5. Let d = o - 5.8. Do d and -0.3 have different values?
True
Suppose 3 = -4*f - 1, 5 = n - 4*f. Suppose -s = -2 + n. Let g(d) = d**3 - d - 3. Let o be g(0). Which is bigger: o or s?
s
Let y = -1/96 - 283/480. Let p = -6 - -4. Which is smaller: p or y?
p
Let t = -332/3 - -111. Which is smaller: t or -3?
-3
Let l be 4*((-14)/4)/(-7). Suppose -3*g - 4*p = 3 + 9, l*g + 19 = p. Is g greater than or equal to -8?
True
Let z = 11 + 16. Which is smaller: z or 26?
26
Let n = 0.1 + -4.1. Let r = 4.05 + n. Let l = r + -0.35. Are 2/7 and l nonequal?
True
Let n be -2*7/14 - (-17)/12. Which is smaller: n or 0?
0
Suppose 6 = -0*v + 3*v. Let k be (-1)/(2/(-4)) + v. Suppose -k*j = -j - 12. Is j equal to -0.1?
False
Let l = 30 + -91/3. Which is greater: 1 or l?
1
Let m be ((-8)/3)/((-48)/72). Let f(w) = -13*w**3 - w**2 - w - 1. Let b be f(-1). Let k be (b/(-10))/((-8)/20). Which is bigger: m or k?
m
Suppose -3*v = 3*p - 9, 5*p - 9 = p - v. Which is greater: -13 or p?
p
Suppose -b + 2 = 5, 2*b + 3410 = -4*d. Let s = -9355/11 - d. Let u be -2 + (4 + -5 - -5). Is s > u?
False
Suppose -3*o + 24 = 3*j, -4*o + 5*o - 1 = 0. Suppose 2*u - j*u = 5. Let i be -1 + u - 35/(-14). Is 2 bigger than i?
True
Let c = 0.3 + -0.1. Let r = 111.97 + -112. Is r greater than c?
False
Let g be -1 - (-3 + (0 + 4 - 0)). Is -4 smaller than g?
True
Let t = -0.02 - -0.32. Let y = -0.4 + t. Which is smaller: y or -5?
-5
Suppose -5*u - 92 = 48. Let j be (-8)/u - 16/7. Let g = -16 + 13. Which is smaller: j or g?
g
Let q be ((-8)/(-12))/((-4)/(-18)). Suppose 0 = 3*z + 2*h - 1 - 7, 0 = 3*z - 3*h - q. Let n = z - 3. Is n greater than 2/9?
False
Let c = 38 + -42. Which is greater: c or 0.4?
0.4
Let a = 21 + -32. Let o = a - -6. Let h be (-2*1)/(7 + o). Which is smaller: -3 or h?
-3
Let s(a) be the second derivative of a**5/20 + a**4/6 - a**3/6 + a**2/2 - a. Let x be s(-3). Which is bigger: x or -4?
-4
Suppose 0 = 2*q + q + 2*y + 3, 0 = 3*y - 9. Which is smaller: q or -7?
-7
Let o = -29 + 27. Which is greater: -7/4 or o?
-7/4
Let l(h) = h**2 - 3*h + 3. Let b = -1 + 3. Let f be l(b). Is f greater than -1/8?
True
Let w be (0 - 17)*(-3)/3. Do w and 15 have the same value?
False
Suppose 0 = -3*p + p - 4. Let s be (1 + -3)*3/p. Is s != 3?
False
Let l = -1 + 5. Let d = -3 + l. Let m = d - 0. Which is smaller: m or -2?
-2
Let v be 3*2*(-4)/(-40). Which is bigger: 1 or v?
1
Suppose 0 = 2*j - 1 - 7. Suppose 2 = -2*c + j*c. Is c at most as big as 6/11?
False
Let b be 16/12*3*2/(-44). Is b smaller than 7?
True
Let p = -13 + 10. Let z be ((-4)/(-5))/(3/(-15)). Which is greater: z or p?
p
Let n = -1 - -1. Let k = n - -0.1. Let c = 1 - -3. Which is smaller: k or c?
k
Let l be 7 + -4 - 13/3. Is 2 greater than l?
True
Let s be 2/(-48)*(-22 + 0). Which is smaller: s or 0?
0
Suppose 3*f - 10 = -2*z + z, 5*z = -5*f + 20. Does 3 = f?
True
Let t(j) = -17*j**2 - j. Let d be t(-1). Let s be -6 - -3 - d/6. Which is smaller: s or -2?
-2
Let s = 13/7 + -11/7. Which is greater: -18/7 or s?
s
Let v(w) = 6*w**3 - 2*w**2 - 2*w - 1. Let k be v(-1). Let c be (2/16)/(k/(-21)). Let i = -3 + 2. Which is bigger: i or c?
c
Let a be (6/2 - 1)*2. Suppose -4*v + 0*m + 5*m = 12, m = a*v - 4. Let r be (-6)/(-15)*(-1)/v. Is 0.1 greater than r?
True
Let t(l) = -l + 12. Let n be (-4)/(-10) + (-129)/(-15). Let u be t(n). Let m be u/(-6) - (-2)/(-4). Is -2/11 less than m?
False
Let o = -1.3 - 3.5. Let d = 4 + o. Is 0.1 > d?
True
Let v be 9/6*3/(-27). Let x be 2/(-2) + 0/(-1). Is x at least as big as v?
False
Let d(x) = -2*x**2 + 2*x + 1. Let z be (0 - -2)/(-4 + 2). Let q be d(z). Suppose -14 = -o - 4*t, 3*t = 3*o + 27 - 9. Which is smaller: o or q?
q
Let l = 163/3 + -56. Let t(p) = -p**2 + p - 3. Let m be t(0). Is l greater than m?
True
Suppose -35 = -4*q + 3*g, 2*g + 35 = 2*q - 3*g. Let f = q - 4. Which is bigger: 3/4 or f?
f
Let n(q) = -q**3 + 9*q**2 + 10*q - 2. Suppose -4*r + 20 = -5*z + 62, -4*z + 4*r + 32 = 0. Let p be n(z). Is p smaller than -1?
True
Let s = -25 + 25. Is -2/3 greater than s?
False
Let r be (2 - 3)/((-2)/10). Suppose -2*b = f - 13, r*b - 37 = -4*f - 0. Suppose f*t - 20 = -k, -3*t = -5*k - 8*t + 50. Is 4 < k?
True
Let k be 4/10 + 224/(-610). Let u = k + 53/244. Let x = 25/36 - 4/9. Is u greater than or equal to x?
True
Let o = -3 - -5. Suppose 0 = 2*w + 3*x + 8 + 7, 25 = -5*x. Is o bigger than w?
True
Let x = 0.08 + -0.18. Which is smaller: x or 1.1?
x
Let b be (-1 + 4)/((-3)/8). Let c = 7 + b. Which is smaller: c or -3?
-3
Suppose 2 - 22 = 5*m. Let u be (m + 0)*2/4. Is u >= -7/5?
False
Suppose 90 = 3*p + 4*l - 34, -l = 5*p - 235. Which is smaller: p or 49?
p
Let g be (-4)/((-5 - -4)*-2). Which is smaller: g or -9?
-9
Let v(a) = a**2 - a - 1. Let g be v(-2). Are 6 and g equal?
False
Let r = -5 + 9. Suppose -5*k - 25 = -3*d, 3*d - r*d + k = -7. Let u be (-14)/(-133) - 110/(-38). Is u less than d?
True
Suppose -3*u = -5*i - 8, 5*i + 5*u = -0*i. Is i less than -3/2?
False
Let h(s) = -2*s - 8. Let a be h(-6). Suppose -5*v + 2*q + 19 = 0, 0 = v + v - 4*q - 14. Let g = v - a. Which is smaller: g or 2/11?
g
Let i = 5 - 4.9. Is 4 smaller than i?
False
Let i = -1.3 - 4.7. Let c = 1 - i. Let f = c - 6.7. Which is greater: 1 or f?
1
Let x = -3/5 - -21/10. Which is bigger: -0.36 or x?
x
Let y be -3 + (4/4 - -6). Suppose -2*u + 0*w = y*w + 8, -w = -5*u - 9. Is u at most as big as -3/2?
True
Let z be 228/432 - 4/(-18). Suppose -f = -1 - 0. Which is smaller: f or z?
z
Suppose -m + 0 + 4 = 0. Which is bigger: m or 3?
m
Let a = -22.1 + 22. Is -3/5 less than or equal to a?
True
Let n(y) = y**2 + 5*y - 6. Suppose 0 = -0*c + 3*c - 6. Suppose -5*z = -c*d - 12, 3*z = -4*d + 2*z - 24. Let v be n(d). Which is bigger: v or 2?
2
Let y = 3616/5 + -721. Are y and -0.1 equal?
False
Let m be (-1 - -1)/(2 + -4). Suppose 0 = -t - m*t + 5*j - 6, 0 = 5*j - 5. Suppose 0 = 3*s + 6, 2*l - s - 4 = s. Are t and l equal?
False
Let l(o) = -o**2 - 21*o + 21. Let g be l(-22). Is -10/11 bigger than g?
True
Let l = 13 - 7. Suppose 6*g - 3*g = l. Which is greater: g or 3?
3
Let z be (-4)/(-14) + (-4)/14. Suppose 6*s + 24 = 2*s. Let w = 5 + s. Which is bigger: z or w?
z
Let w(p) = p + 1. Let y be w(3). Suppose 3*k - 10 = i, 0 = 2*i - 3 + 5. Do y and k have different values?
True
Suppose 2*n = i + n - 53, -i - 3*n = -41. Is i equal to 50?
True
Let r = 77 + -83. Which is smaller: r or 0?
r
Let q = 76 - 86. Which is smaller: q or 