 o - 10. Let c be b(10). Is -1/2 bigger than c?
False
Let s be (-4)/10 + 2/5. Let w = -3/4 + 0. Which is greater: w or s?
s
Suppose 2*s = -6, -c - 19 + 4 = 5*s. Let o = c + -1. Which is smaller: -2/13 or o?
o
Let r = 15352 + -61791/4. Let t = r - -95. Suppose 3*y + y + 2*m = -6, 4 = -4*y - 4*m. Which is smaller: y or t?
y
Suppose -4 = 2*j - 4*j. Let c = 6 - 9. Let a = j + c. Is 2/7 at most a?
False
Let y be -1*(6/(-8) + (-21)/(-12)). Let s(u) = u**3 + 6*u**2 + 6*u + 6. Let c be s(-5). Let v = -1 + c. Which is smaller: y or v?
y
Let b = 49.9 - 50. Is b < 23?
True
Let t = 44 - 44. Which is smaller: t or 2/3?
t
Let y = 156/203 + -14/29. Let s = 24/35 - y. Let x be (-6)/18 + 26/6. Is x less than or equal to s?
False
Let c be (-152)/(-473) - 4/22. Which is smaller: 2/3 or c?
c
Let d = 0 + 2. Suppose i + 8 - d = 3*g, -3*g = 3*i - 6. Suppose 0 = z + g*z + 3. Is z <= -0.3?
True
Let f = 1.4 - 1.9. Which is bigger: f or -1?
f
Let p = 68 - 67. Suppose x - 25 = -3*o - 0*x, -41 = -3*o - 5*x. Which is greater: p or o?
o
Let a be -5 + 5 + 0 + 0. Let n be 1 + (a/(-1))/(-3). Let g be n/((-9)/(-21)) - 1. Which is greater: 0.1 or g?
g
Let d(o) = -o + 1. Let h(y) = -8*y - 1. Let p(b) = d(b) + h(b). Let s be p(1). Which is greater: -8 or s?
-8
Let x be (3 + 10/(-4))*4. Suppose 2*v = 4*v - w, -2*w + 3 = -v. Is x > v?
True
Let i = -3 - -3. Suppose 3*m = -i*m - 3. Is 0 > m?
True
Let i = -3 - -8. Suppose 5*r + 2*j - 7*j = -10, 11 = -i*r + 4*j. Let w be 4/(-22) + (r - -3). Which is smaller: w or 0.1?
w
Let m be 3/(1 - 0) - 3. Suppose 0 = -m*t + 2*t. Is -3/8 at least t?
False
Suppose 0*r - 4*r + 4 = 0. Let f be (-2)/(-10) + r/(-5). Suppose f = -a - 5*l - 0 + 9, a = -4*l + 8. Are a and 4 equal?
True
Let r(s) be the first derivative of -s**2/2 + 5*s + 3. Let w be r(6). Is w <= -1?
True
Let u(v) = -v**3 + 6*v**2 + 6*v + 8. Let a be u(7). Suppose a - 4 = -3*k. Let m be 87/(-252) + 2/8. Is k greater than or equal to m?
True
Let a = -5.2 - -0.2. Let r = a - -15. Do r and 1 have different values?
True
Let y = -11/61 + 241/2013. Let o(t) = t**2 + 20*t + 91. Let u be o(-13). Is y > u?
False
Let s be 3/(-1)*(-4)/12. Let o be 124/12 - s/3. Let i be (2/(-2))/(o/12). Which is bigger: 0.1 or i?
0.1
Let t(s) = s**3 - 9*s**2 + 7*s + 8. Let f be t(8). Let q = 7 - 6.88. Let y = -0.08 - q. Is y at least f?
False
Suppose 4*t + 5*n = 2*n - 1, -t = -4*n + 5. Is t at most -4/7?
True
Let c be (2 + -1 + -2)/1. Let y(x) = 11*x + 2. Let u be y(c). Is -9 at most as big as u?
True
Let z = -13271/56 - -237. Which is bigger: z or 0?
z
Let s = -3/34 - 24/17. Is s at least as big as -2?
True
Let p be (-34)/(-10) - (-6)/(-15). Suppose 0 = -0*j + 3*j - p. Let f be (-1 - 3/(-3))*j. Which is bigger: 2/3 or f?
2/3
Let f = 0.36 + -5.36. Which is greater: 0.2 or f?
0.2
Suppose 3 = -2*d - 5*g, 2*g + 4 = 3*d - 1. Which is smaller: d or 2?
d
Let t = -14 - -16. Is t < 6/7?
False
Let y be 2/((-8)/(12/3)). Let x be 3 - 2 - (-1 - 322). Let q = -4210/13 + x. Which is greater: y or q?
q
Let s = -10 - -12. Suppose -5*t - s*y + 48 = 0, -y = -2*t - 0*y + 21. Which is smaller: 11 or t?
t
Let q = -122/165 + 7/15. Is -1 less than q?
True
Let x = 65 - 64. Which is smaller: 2/63 or x?
2/63
Let b be (-15)/(-10) - (-22)/(-16). Let a = 8 + -6. Suppose h = -a*h. Which is bigger: b or h?
b
Suppose -4*f = -x - 32, -x - x + 17 = f. Suppose 9*v - 4*v - f = 4*z, 0 = -2*z + 2*v - 4. Let t = 5 - 8. Is t <= z?
True
Let z(j) = j + 36. Let r be z(0). Let w be (-4)/14*(-597)/r. Let u = w + -32/7. Is 1 less than or equal to u?
False
Suppose 19 = 4*k + 3. Let s = k - 5. Is 0 less than s?
False
Let t = -39.1 + 39. Which is bigger: -0.27 or t?
t
Let h be -1 + 6 + 1*-2. Suppose h*n = 8 - 2. Let u be (-14)/4*20/(-35). Is u at most n?
True
Let b be (-22)/11 - 11/(-7). Is 1 at most as big as b?
False
Suppose -44 = -0*f + 4*f. Let n = 6 + f. Is n at least -5?
True
Suppose x = 4*w - 36, -38 = -5*w + x + 8. Let m = 11 - 5. Suppose -s - w = -m*s. Is s greater than 0?
True
Let w = -761/120 - -1/120. Which is smaller: -7 or w?
-7
Let p = -283 + 2833/10. Suppose 18*m = 15*m. Is m at most p?
True
Let d = -0.1 + 1.1. Let r be (-10)/8*(-1 + 7). Let p = 7 + r. Is p at least as big as d?
False
Let j be (-1)/(-1 + (-17)/(-18)). Which is smaller: j or 17?
17
Suppose 2*w + 5*n + 11 = 2*n, -w + 3*n = -8. Which is greater: -4/17 or w?
-4/17
Suppose -k + 3 + 2 = i, k - 5*i + 13 = 0. Suppose -k*l + 3 - 6 = 3*m, l - 3 = 3*m. Is m < -2/3?
True
Let f = -1 - -1.2. Which is greater: -1/12 or f?
f
Suppose 0 = 4*b + 2*c - 238, -3 - 7 = 2*c. Let t = b + -373/6. Which is smaller: t or -1?
-1
Let b be 2 + (4 - (-884)/(-147)). Which is greater: -1 or b?
b
Let k be ((-2)/28)/(15/10). Do 1 and k have the same value?
False
Suppose -1 = t + 3. Let r be ((75/6)/5)/((-3)/6). Is r greater than t?
False
Suppose j - 6*j + 140 = 0. Let a = j + -82/3. Which is smaller: a or 3?
a
Suppose -3*u - 5 = -2. Which is greater: -1/25 or u?
-1/25
Let j be 1 - (1 + -1 + 0). Let b be (j/5*2)/(-2). Let t(u) = u - 5. Let w be t(6). Are w and b non-equal?
True
Let m = 26 - 21. Is m <= 5?
True
Let l be 777/(-1430) - 2/(-5). Let r = l + -1/26. Let j = -1.8 - -0.8. Is r smaller than j?
False
Suppose b = -4*p + 2*b + 4, 2 = 2*p + b. Suppose 7*m = 3*m + 136. Suppose 5*v = 25, 0 = -3*z + 2*v - m + 6. Which is bigger: p or z?
p
Let r = -6 + 38. Let l be (-2)/(-11) - r/55. Which is smaller: 1 or l?
l
Suppose 2*r = 7*r. Is -1 less than r?
True
Let j = 1.7 + -1.6. Let c = j + 0. Are -2/7 and c equal?
False
Let r = -8 + 13. Suppose r*h - h = 0. Let f = 36/11 + -274/77. Is f < h?
True
Suppose 2*b = -2*b. Let g = 2 + b. Let i = -69 - -141/2. Which is smaller: g or i?
i
Let z(d) = -2*d - 9. Let y be z(-5). Which is smaller: y or -3/7?
-3/7
Let z = 4515/11 + -411. Which is bigger: -2 or z?
z
Let j be 0*(1 - (3 - 1)). Suppose 3*f + j = -6. Is 1 at least f?
True
Let j = 4959 - 436387/88. Let k = j + 3/44. Do k and 1 have the same value?
False
Suppose -1 = -2*w + 3. Let j be 11/(-33) + w/6. Are j and -2/11 equal?
False
Let y(h) = -h**3 + 11*h**2 - h + 14. Let p be y(11). Suppose -5*j = z - 11, p*z + 4*j = -5 + 16. Do 3/7 and z have different values?
True
Suppose -2*q - 2*q = v - 25, 0 = -2*q + 8. Suppose 5*l + 4*d + v = -1, -4*l = d + 8. Is -3 bigger than l?
False
Let f = 1300/11 + -118. Suppose -g - 9 = -5. Let x be (3 + g + 0)*1. Is f smaller than x?
False
Let j(r) = -1 - r**2 + 0*r**2 - 1 + 2*r. Let l be j(2). Let c = -2 - l. Which is greater: c or -2/5?
c
Suppose 2*i + 3*i = 0. Suppose 0 = -7*a - 20 + 20. Is i not equal to a?
False
Let s(i) = 4*i**2 + 46*i + 23. Let a be s(-11). Is -57 at most as big as a?
True
Let m(n) = -n**2 - 10*n + 14. Let w be m(-11). Is 17/7 <= w?
True
Let w = 5 + -7. Let n = 0 - w. Do 0.1 and n have the same value?
False
Let t = 2.5 - 1.4. Let s = 0.8 - t. Which is smaller: s or 0?
s
Let v be 24/(-2) - (-6 + 9). Is v at least -13?
False
Let n = 39 + -39. Which is smaller: n or -2.8?
-2.8
Let l = 7 - -20. Let m = l + -59. Let t be 6/8*m/40. Which is smaller: t or 0.2?
t
Let q = 51/7 + -7. Is 1/204 greater than or equal to q?
False
Let z = -19 + 15. Let m(x) = 2*x - 1 + 8 - 1. Let g be m(z). Which is smaller: -3 or g?
-3
Let y = -4/9 - -13/36. Is y greater than 1?
False
Let k = -1.6 - -0.9. Let i = -0.8 - k. Which is greater: -0.01 or i?
-0.01
Let o = 8 + -9. Suppose x + 4*x = 10. Suppose x*u + 3*a + 7 = 0, 3*a = -u - 3*u - 11. Which is smaller: o or u?
u
Let s(k) = k - 11. Suppose 0*q - 7 = -q. Let j be s(q). Do -4 and j have the same value?
True
Suppose -t + 9*f + 4 = 5*f, 68 = -5*t - 2*f. Is -13 greater than t?
False
Suppose 0 = -w - v - 5, w - 5*v - 9 + 2 = 0. Suppose n + 20 = -4*n. Which is smaller: w or n?
n
Suppose -z - 12 = 4*k, 5*z = 4*k - 3*k + 45. Are -2 and z non-equal?
True
Suppose -j = 3*p - 6, 0*p - 2*p - j = -3. Suppose -o = -4*o + p. Suppose -2*w = -w - 1. Are o and w equal?
True
Let q be (1/(-6))/((-2)/12). Suppose 5*g = 3*j + 14, -g + 2 = 1. Is j < q?
True
Let c = -1 - -5. Let f = -9 + 33. Suppose f = c*i - 0*i. Which is smaller: i or 5?
5
Let g be 10/(1 - (-2)/2). Which is bigger: 7 or g?
7
Let u = -53 + 51. Is -13 bigger than u?
False
Let k be (3/9)/(1/24). Let f be (-80)/(-102) - k/12. Is f bigger than 1?
False
Let v = 22 - 6. Does v = 16?
True
Let b = -44/5 + 9. Let 