 9*j - 6. Let x be c(8). Suppose 3*q + x = 5. Is q less than or equal to i?
True
Let h = 64 - 95. Are -31 and h unequal?
False
Let d = -3 + 2.8. Let x = d + -0.1. Let j = x + 0.6. Which is greater: j or -1?
j
Suppose 4*o - 9 = q, o + 0*q + 5*q + 3 = 0. Suppose -2*l - 4 = -o, l = 4*g - 5. Is -1/5 smaller than g?
True
Let b(d) = d - 1. Let l be ((-1)/3)/(1/3). Let c be b(l). Is -2 less than c?
False
Let d(m) = m**2 + 14*m + 16. Let p be d(-13). Which is greater: 2 or p?
p
Let v = 0.054 - 0.074. Do -0.2 and v have the same value?
False
Let o be 1/(-2) + 2/4. Suppose 2*l - 14 = 2*i - 2*l, o = -2*i + 5*l - 19. Suppose -u - u - 1 = b, 0 = -3*u - i. Which is greater: -1 or b?
b
Let l be (-2 - (-30)/(-9))*3. Let y be 8/(-15)*(-4)/l. Is y greater than 0?
False
Suppose 2*c - c + 2*z = 16, -c + z = -7. Suppose 4*r = 5*s - r - c, -s = r. Which is smaller: 0 or s?
0
Let s = -31 - -63/2. Suppose -16 = -6*u + 2*u. Let j be 15/(-90)*(-6)/u. Do s and j have different values?
True
Suppose 0 = 6*c - 2*c. Let g be 7*(2/(-7) - 0). Is c >= g?
True
Suppose -2*l + 28 = 5*l. Is 4 equal to l?
True
Let c = 16 + -14. Is c > 9?
False
Let i = -6/19 + 68/95. Which is greater: -15 or i?
i
Let j be (18/8)/((-9)/(-24)). Let x be 3/j - (-3)/6. Is 2 < x?
False
Let s = 2.05 + -0.05. Let p = s - 1.6. Let d = p + 0.6. Does d = -2/7?
False
Suppose -4 = 4*a, -2*g - 4*a = 96 + 12. Which is bigger: -1/3 or g?
-1/3
Let z = 141 + -101. Is z > 40?
False
Let c be 4*2/24*-3. Is -6 smaller than c?
True
Suppose 2*f = 5*o + 90, 4*o + 4*f = -35 - 9. Let v be o/(-3 + 0 - -4). Let n be (v/(-60))/((-2)/6). Which is bigger: 0 or n?
0
Let a = -0.5 + 0.2. Is a bigger than -2?
True
Suppose -2 = -3*c - 5. Suppose -2 = -2*a - 4. Is a smaller than c?
False
Suppose 8 = -2*d - 2*d. Let x be (-24)/(-9)*(-3)/2. Let b be 1/(-3) - d/x. Is 0 at most b?
False
Let p(x) = -x**3 + 4*x**2 - 5*x + 2. Let b be p(3). Let v be 1/(-2) - 2/b. Which is greater: 2/25 or v?
2/25
Let b(g) = -g - 9. Let c be b(-8). Let l(h) = h**2. Let u be l(0). Which is greater: c or u?
u
Suppose -2*t - 20 = -6*t. Suppose -11 = 2*i - t. Is -3 less than or equal to i?
True
Let a = 1 - -2. Suppose a*b + 2 = q, -2*b - 3*b = 5. Which is bigger: q or 1/16?
1/16
Let n be (4/(-114))/((-2)/3). Which is smaller: n or -1?
-1
Let w = 8 + -5. Let v(h) = h**3 - 3*h**2 + h - 4. Let o be v(w). Which is bigger: o or 1/7?
1/7
Let q = 1 - 1. Let r = -25/126 + -1/42. Which is smaller: r or q?
r
Let n be 2 - (2 + 2 + -6). Let y = n + -4. Let g = 0 + y. Which is smaller: g or 2?
g
Let u = -3 + 3.1. Let l be (-36)/(-15) + 0 + -2. Is l != u?
True
Suppose 0 = 2*h - l + 3*l, 0 = -2*l. Suppose h = -5*q - 5 + 25. Which is greater: q or 1?
q
Let l = -7 - -11. Suppose 3*j = -3, l*s - 3*j = -52 + 691. Let b = -484/3 + s. Does -2 = b?
False
Let g be 1 - 3323/95 - -3. Let r = g + 31. Let w = 107/570 - r. Is w < 1?
True
Let j = -0.11 + 5.11. Which is greater: j or 0.1?
j
Let f = -396/4087 - -5/61. Is 0 greater than f?
True
Let i be (-33)/(-2 + 2 + 1). Is i bigger than -32?
False
Let i = -0.43 + 0.43. Is 42 > i?
True
Let s be 12/2*(-40)/(-12). Suppose -o - o = 2*j - s, -2*o + 41 = 5*j. Which is smaller: 4 or j?
4
Suppose 4*b - 4 = -o, -o - 1 = 4*b - 5*b. Is b smaller than 3?
True
Let m be 0/1 + (-4)/55. Let i = -232/165 - m. Which is bigger: -1 or i?
-1
Let b(o) = o**3 - 6*o**2 + 5*o. Let i be b(5). Let s = i + 0. Let t be 14/10 - (-1)/(-1). Is t greater than s?
True
Let i be 2/13 - 96/(-52). Let f be (-1036)/(-441) + i/9. Which is bigger: f or 2?
f
Let l(m) be the second derivative of m**4/12 - m**3/6 + m**2 - m. Suppose i + 12 = 3*h - 2*i, 20 = -h - 5*i. Let d be l(h). Is d smaller than 2?
False
Let t(g) = -4*g - 2. Let b be t(1). Which is greater: b or -5?
-5
Let f be ((-30)/(-2))/((-3)/(-2)). Suppose 6 = -m + 5*w - 11, -20 = -4*m - 2*w. Suppose -m*y = -8*y + f. Is 1/2 at least y?
False
Let k = -21 + 0. Let a be (-48)/k - (-5 - -6). Which is greater: 2 or a?
2
Let h = 8 + 44. Is 53 less than h?
False
Let b(i) = 5 + 0 - 3*i**2 - 5. Let k be b(-1). Is -1 bigger than k?
True
Let h = -2.94 + 3. Let z = -0.46 + h. Which is smaller: 1 or z?
z
Suppose 4*y = 9*y + 120. Are y and -24 equal?
True
Suppose -2*p - 4*v - 16 = 0, v = 4*p + 8 + 24. Let i be 13/(-5) + p/(-4). Which is bigger: -2 or i?
i
Suppose 4*y + 4 + 8 = 0, 4*h + 5*y = -7. Which is smaller: h or 1?
1
Suppose -18 = -2*g + 3*x, 5*g - 11 - 9 = -5*x. Which is smaller: g or -0.1?
-0.1
Let d(r) = -r**3 + r**2 + 3*r - 2. Let v be d(2). Suppose -2*k + 4 = -v*k. Which is smaller: k or 4/5?
4/5
Let c = -1.47 - -2.47. Is -28 > c?
False
Let t = 11/10 + -7/10. Let n = -442 - -435.02. Let f = n - -7. Which is bigger: f or t?
t
Suppose -4*z - 2*o + o + 8 = 0, -2*z - o + 4 = 0. Let b be (0 - -1)/(2/14). Let t = b + -4. Are z and t non-equal?
True
Let w be (-1122)/289 - (-4 + 0). Which is smaller: w or -11?
-11
Let b = 2 - 5. Let m = -4 - b. Let p = 0 + m. Do 0.1 and p have the same value?
False
Let q = 713/6 - 119. Which is smaller: q or -1?
-1
Let s be ((-10)/(-6) + -2)*-12. Suppose 2*r = -r - v + 5, -2*r - s*v = -20. Is r < -3/7?
False
Suppose -5*v + 270 = 2*w, 3*w = v + 2*w - 61. Let t be (-12)/18 - v/(-66). Which is bigger: t or 0?
t
Let t = -15.2 - -14. Let r = -1 - t. Let u = -0.01 + -0.19. Is u equal to r?
False
Let f(y) = 5*y**2 - 5*y + 4 + 10*y - 5 - y**3 + 5. Let l be f(6). Let s be (-2)/(l/1)*-2. Is -3 smaller than s?
True
Let x be ((-4)/5)/(266/(-95)). Suppose u = 5*h + 1, 0 = -3*h + 2*h + 2*u + 7. Do x and h have the same value?
False
Let o be 4/(-6)*(-2)/4. Suppose -m + 4 - 2 = -3*c, 4 = -2*c - 2*m. Which is smaller: c or o?
c
Suppose -30 = 4*v + 2*x, -4*v + 0*x + 2*x = 18. Let d = v + 13/2. Let i = 1 - 1. Which is bigger: i or d?
d
Suppose 4*p - 4*b = 2*p - 10, -p - 14 = -5*b. Let f be 6/(0 - p)*1. Let r(u) = -u**2 + 17*u - 22. Let g be r(16). Is f > g?
False
Suppose -9*f = 434 - 92. Do f and -37 have different values?
True
Let i = 110 - 65. Is 89/2 at least i?
False
Let z be 2/(-4) + 12/8. Suppose 12 = -4*y, 27 = 4*p - y - 4*y. Suppose -2*n - p = -z. Which is bigger: n or 2/7?
2/7
Let c = 137655/44 + -3128. Let f = 26443/44 - 601. Let u = c + f. Is u bigger than 0?
True
Let m be (2/(-2))/((-4)/(-4)). Is 4 less than m?
False
Suppose 0 = 5*t - y, -y - 2*y - 15 = 0. Suppose 0*h - 3*k + 12 = -h, 0 = 2*k. Let q be (-2)/(-4) - (-10)/h. Is q >= t?
True
Let y = -155/2 - -17511/226. Let s = y + 470/1017. Is s equal to 0?
False
Suppose 2*l = 3*v - 15, 2*l = -l - 3*v + 15. Let a = -14 + 5. Let j be (a/(-6))/(18/16). Is j at most as big as l?
False
Let w = 2.11 - 2.4. Let i = -0.02 - -0.03. Let a = w - i. Is a greater than -1/3?
True
Let f = 49 - 50. Let w(x) = -x**2 + 5*x - 5. Let t be w(4). Is f bigger than t?
False
Let p be 1/((-1)/(3/(-3))). Let d = 5 - p. Let z be (-2)/d + 18/(-4). Is z <= -5?
True
Let r = -0.5 - -31.5. Is r != -0.1?
True
Let d(f) = 2*f + 12. Let u be d(-10). Let n be u/10 + 1/5. Let r = -25 + 24.7. Which is greater: n or r?
r
Let a be (-207)/56 + (-15)/35. Which is greater: a or -4?
-4
Suppose 4*g - 6 = -10. Let b = -45 + 310/7. Which is smaller: b or g?
g
Let x(h) = 2*h - 4. Let n(v) = 5*v - 9. Let z(w) = 3*n(w) - 7*x(w). Let q(k) = 2*k**2 - 5*k - 6. Let j(u) = -q(u) - 6*z(u). Let i be j(1). Is -3 less than i?
False
Let w = -142 + 83. Is -60 at least as big as w?
False
Let u = 2.3 - 2.4. Are 14/5 and u non-equal?
True
Let u = -1 - -1.1. Let d = -1.1 + u. Which is smaller: d or 5?
d
Let n(s) = -8*s**2 + 6*s - 5. Let z be n(4). Let h = z + 761/7. Which is smaller: h or 3?
h
Let i(v) = 6*v + 7 - 1 + v**2 + 0*v**2. Let k be i(-5). Which is smaller: 3/4 or k?
3/4
Suppose 4*x + 10 = -2*n + x, -4*n - 14 = 3*x. Let q be (9/(-24))/(3/n). Is 10 at least q?
True
Let j be (6/(-15))/(19/5). Suppose -4 + 3 = -v. Suppose -5*h + v = 2*n, -h + n - 8 = 4*h. Is h less than j?
True
Let h be (-1)/(((-6)/(-20))/((-2)/(-5))). Which is bigger: h or 4?
4
Let l be (315/(-60))/((-2)/(-8)). Is l at most as big as -23?
False
Suppose -2*n + 4 = -5*d + 19, -5*n = 2*d + 23. Let p be 0 - 0/1*d. Let t = -1488/7 - -212. Is t at least as big as p?
False
Let t = 1.31 - 0.31. Let v = 373/52 - 29/4. Which is smaller: t or v?
v
Let t = -1 - -5. Is 5 greater than t?
True
Let l(f) = 2*f**2 - 7*f + 1. Let n be l(5). Let p(c) = -5*c**2 + 1. Let