
Let d = -47 + 49. Let i(o) = -o**2 - 5*o - 4. Let x be i(-3). Do x and d have the same value?
True
Let l = -0.95 + 0.56. Let b = l - -0.29. Do b and 0.1 have the same value?
False
Let z be (1/2)/(9/(-198)). Which is bigger: z or -10?
-10
Let t(f) = -f**2 + 4*f - 6. Let g be t(4). Let r(o) be the second derivative of o**4/12 + 7*o**3/6 + 4*o**2 + o. Let s be r(g). Which is smaller: s or 0?
0
Suppose 13 + 12 = 5*g. Suppose b = g*b. Is -2 greater than b?
False
Let p = 5 - 8. Let f = 3 + p. Which is smaller: f or -0.1?
-0.1
Let g be 6932/84 - (-2)/6. Let v = 83 - g. Which is greater: 0 or v?
v
Suppose -15 = 3*f - 81. Suppose 4*z = -3*h + f, h = 3*z + 4*h - 18. Suppose 9 = w - z*w. Are w and -1 equal?
False
Let z = 6 + -4. Let b(k) = k**2 + k - 2. Let w be b(z). Suppose 2 = -2*q + w*q. Is 2 != q?
True
Let y be 8/12*(-6)/(-4). Let t be y - ((-47)/(-15) + -2). Let o be 16/(-54)*3/(-4). Do t and o have different values?
True
Let j be 1*2/(-2) - 0. Which is greater: -1/8 or j?
-1/8
Suppose -2*o = -w, -5*w + 2*o = 7*o - 45. Suppose -4*u + w = -5*u. Let t(d) = d + 2. Let i be t(u). Is i smaller than -4?
False
Let k(p) be the first derivative of -p**3/3 - 3*p + 2. Let i be k(0). Suppose 2*v + h = -7, -5*h + 17 = -v - 10*h. Which is smaller: i or v?
i
Let o = -2745 - -8402/3. Suppose -p - 165 = -4*p. Let i = o - p. Are i and 0 equal?
False
Suppose -5*d - 4*m + 27 = 0, 2*m + 4 = -d + 13. Let w be (1/3)/(d/(-9)). Let q be w + 3 - (-5)/(-2). Is q < 1?
True
Let y(p) = -36*p**3 - p - 1. Let f be y(-1). Let a be -5*(-15)/f + -2. Let r(q) = -q + 15. Let j be r(14). Which is greater: a or j?
j
Suppose 5*t + 0*q = -5*q + 40, 4*t = 2*q + 2. Suppose 2*n - t = -g - 0, -2*g + 3*n = 15. Let w be -5*((-18)/(-10) - 1). Is w bigger than g?
False
Let q = -53 + 39. Is -13 greater than or equal to q?
True
Suppose -4*j = -12, 0 = -n - 5*j + 3 + 12. Suppose 0 = 2*y + 8. Let s be (1/y)/((-3)/3). Is n greater than s?
False
Suppose 3*j + 3 = -b + 4, -5*b = -5*j + 35. Does b = -5?
True
Suppose 0 = 2*p - 3 + 5. Which is smaller: -3 or p?
-3
Let v = -0.18 - 11.82. Let t = -11.95 - v. Which is greater: -0.3 or t?
t
Let m(p) = p**2 + p. Let s be m(0). Which is bigger: -6/31 or s?
s
Suppose -8 = 2*u + 4*v, 4*u - 2*v - 4 = -u. Which is smaller: u or -2?
-2
Let p(w) = -42*w - 1. Let g be p(-1). Suppose 4*c - g - 67 = 0. Let o be 4/(-14) - c/(-21). Is o greater than or equal to 3/5?
True
Suppose 2*o + 3*t - 13 = 0, 5*t - 77 + 32 = -5*o. Let b = 8 - o. Let d be ((-4)/12)/((-2)/b). Is d at least -4/3?
True
Suppose 0 = -38*t + 41*t + 48. Does -15 = t?
False
Let u = -28/17 + 320/153. Is u at least 1?
False
Let x = -198 - -200. Let q(o) = -o**2 + 7*o - 3. Let m = 7 - 1. Let f be q(m). Do f and x have different values?
True
Let i be 4 - (11/(-2))/((-4)/(-8)). Which is greater: 13 or i?
i
Suppose 2*o = -2, 0 = 2*a + 3*a + o - 24. Suppose 0*b + 2 = -4*b + f, 0 = b + 2*f - 4. Which is greater: b or a?
a
Let r = -0.8 - -3. Let m = r + -0.2. Let x = m - 6. Which is smaller: x or 0?
x
Let g be ((-10)/4)/(2/(-4)). Suppose 0 = -2*x - g*n - 2, -x + 5*x + n + 4 = 0. Let c be x/(-3) - (-1 - 0). Is c at least as big as 2?
False
Let i = 2.1 + -2.4. Is i > 0.2?
False
Suppose 1 + 3 = 4*u. Let v = -63 - -65. Which is smaller: u or v?
u
Suppose -269 = -9*x + 118. Are x and 46 equal?
False
Let s = 1.8 - 2.8. Is s bigger than 8?
False
Suppose 3*x = 7*x + 3*k - 17, 0 = 2*x - 5*k - 15. Let l be ((-4)/(-10))/(12/x). Are l and 0 unequal?
True
Suppose 0 = j + 4*j + 10. Let p = 17 + -15. Let x(k) = -2*k**2 + 4*k - 2. Let c be x(p). Is j at least c?
True
Let w(u) = u + 2. Let i be w(3). Suppose -5*x = -5*d - 10, 4 - 11 = i*d - 2*x. Let j = 0 + -2. Does d = j?
False
Suppose 51 = 4*w - 1. Is 57/4 != w?
True
Let w = -0.2 - 0.8. Let r = -647 - -1939/3. Which is bigger: r or w?
r
Let q = -4.6 + -14.4. Let w = -25 - q. Is w equal to 0?
False
Let j be 7/(-14)*(-10)/4. Let c = 2 + -2. Which is bigger: j or c?
j
Suppose 2*q - 3*f - 132 = -f, 4*q - 273 = -5*f. Is q > 68?
False
Let o = -43 - -42.08. Let z = o - 0.08. Is 1 bigger than z?
True
Suppose 0 = 5*y + 10, -4*y - 23 = -5*n - 0*y. Suppose 0 = -s - 5, -7 = 3*x + n*s - 1. Which is smaller: x or 4?
x
Suppose -4*d - 5 = -5*l, 5*d + 4*l + 0*l = -37. Is -8 less than or equal to d?
True
Let d = 0.8 + -0.5. Let q = d - -0.1. Let o = 3 - 2. Is o less than q?
False
Let a be 78/6 + (-2)/1. Suppose a = 3*o - 10. Which is greater: 5 or o?
o
Let h be (-6)/(-15) - (-52)/20. Let x be 0/(-1 + 2) - -4. Are h and x unequal?
True
Let w = 9077/5 - 1809. Is w greater than or equal to 6?
True
Suppose 3*d + 3*s = 21, 1 + 15 = 3*d - 2*s. Suppose -d*m = -5*m - 2. Let t(k) = k**2 - k - 2. Let f be t(m). Which is smaller: -1 or f?
-1
Let k(a) = 2*a**2 - 3*a + 2. Let v be k(2). Let u be (v/(-9))/(2/(-195)). Let n = 44 - u. Is 1/4 greater than or equal to n?
False
Let h = 36 - 27. Is h at most 10?
True
Suppose 3*c - 6*c + 9 = 0. Suppose 0 = -3*l + 8*l - 2*h - 6, -c*l - 2*h + 10 = 0. Let d be 4/14 + l/42. Is d less than or equal to 0.2?
False
Let r(x) = x + 5. Let c be r(-6). Is c less than 2/21?
True
Let p = -105/4 - -26. Let f be 22/2 + (1 - 0). Suppose 3*q = 2*t + 3*t + f, 5*t + 4 = q. Is p at least as big as t?
False
Suppose -3*r - 9 = 12. Suppose 5*y + 31 + 9 = 0. Is y > r?
False
Let h(l) = l**3 + 6*l**2 - l - 2. Let u be h(-6). Suppose 3*t + t - 17 = -b, -3 = 4*t - 3*b. Which is smaller: u or t?
t
Let a be (-412)/(-36) + (-32)/72. Is 10 at least a?
False
Suppose 2*g - 2*j = -j + 4, 2*g = -3*j + 12. Let i = g - 4. Let x = -1 - i. Do x and 0 have different values?
False
Let i be (14/15)/((-12)/(-20)). Which is greater: 1 or i?
i
Suppose m = -3*m - 4*y - 16, -3*m + y = -8. Suppose 0*r - 2*r + 66 = 0. Let h be r/12 + 12/(-4). Are h and m equal?
False
Let b = 220/217 - -4/31. Which is smaller: b or 1?
1
Suppose -8*y - 3 = -91. Is y <= 13?
True
Suppose 0 = -4*f - f - 15. Let n = f - -5. Suppose 0*a = n*a - 4. Is -1 bigger than a?
False
Let v be (-1 - (-26)/34)/(48/120). Is -2 greater than v?
False
Let l be (-45)/18 - 2/(-4). Let r be 28/(-18)*3/l. Which is greater: 1 or r?
r
Let s(x) = 2*x**3 + 17*x**2 + 6*x - 10. Let h be s(-8). Do 1 and h have the same value?
False
Let j be 4/18 - 475/(-171). Which is greater: 0.4 or j?
j
Let x be 1 + 2 + 5/(-2). Which is smaller: 0 or x?
0
Let i be (3 + -4)*(3 - 0). Let a be 3/(-9) + 7/(-6). Is i >= a?
False
Let m(s) = s**2 - 5*s + 7. Let i be m(3). Is 1 greater than or equal to i?
True
Suppose -2*n - 4*g - 14 = 0, 3*n - 3 + 4 = -2*g. Suppose 95 = -5*j - c, -2*j - 5 = -n*j - 5*c. Is j at least -20?
True
Suppose 5*f + 4*x - 148 = 0, -2*f + 0 + 62 = 3*x. Let q = f - 28. Do -3/10 and q have different values?
True
Let n = 1 - 2. Which is bigger: -3 or n?
n
Let w = 0.058 - 0.058. Is w equal to 9?
False
Let c be 4/(-9)*6/4. Let y = 1.56 - 5.56. Which is smaller: c or y?
y
Suppose -3 = -p + 2. Suppose -3*a - 2*y = 2, a - 2 = -3*a - p*y. Let v be a + (10/6)/1. Does 1 = v?
False
Let b = -2/537 - 1583/7518. Does 1 = b?
False
Suppose -i - 34 = 3*i + 5*q, 3*q = 5*i + 24. Which is smaller: -7 or i?
-7
Let g = -13 + 14.2. Let d = g - 1.06. Let k = 0.04 - d. Which is bigger: 1/4 or k?
1/4
Suppose -n + 105 = -6*n. Which is greater: n or -22?
n
Let c be 10/4 + 6/(-12). Let a(w) = -w + 2. Let g be a(c). Let i be 6/(-8)*(-2)/6. Do i and g have the same value?
False
Suppose -2*u - 1 = 3. Let k = -2 - u. Suppose 0 = 4*x - 3*p + 3, 20 = 4*p - k. Is 3 not equal to x?
False
Let q = 10/351 - 88/27. Which is smaller: q or -2?
q
Let k be -4 - 16/(-4) - (-12)/(-38). Suppose -q - 6 = q + 4*o, o = q. Which is greater: k or q?
k
Suppose 14 = 5*p - 21. Suppose 8 = 5*w - p. Let h = -1 + 5. Is h > w?
True
Suppose 516 - 104 = 2*m. Let p = 1446/7 - m. Which is bigger: p or 1?
1
Let u(m) = -3 - m + 6*m - 8*m. Let r be u(-2). Which is smaller: r or 5?
r
Suppose -6*p - 300 = -9*p. Is 101 < p?
False
Let q = 14.463 + -1.273. Let g = -0.19 + q. Which is greater: 0.2 or g?
g
Suppose -2 - 2 = -2*b. Let w be (-2)/(-9) + 68/18. Suppose 2*c + w = -2*c. Is c greater than b?
False
Let m = -0.6 - -0.3. Let g = 0 + m. Which is greater: -1 or g?
g
Let s = 5 + -2. Let d = 8.2 - 0.2. Let v = -10 + d. Which is smaller: v or s?
v
Let f = -1 + 0.94. Let q = -2.06 - f. Which is smaller: q or -0.2?
q
Let z(x) = x**2. Supp