to l?
True
Let s be (-1)/5 - 22/(-10). Let u = s - -1. Which is bigger: u or 2?
u
Let s(t) = t**2 + 5*t - 7. Let u be s(-7). Suppose -j - 4*j = -3*i + u, 0 = 4*j - i. Let a be (-12)/(3/1)*j. Is -4 less than a?
False
Let m = -7 + 9. Suppose -14 = -4*f + 2*o, 3 = -4*f - m*o + 21. Suppose 0 = h - f*h - 6. Which is smaller: h or -1?
h
Let p be 1*1/(2 + -4). Let q be ((4 - 3) + -2)*7. Let a = 6 + q. Do a and p have different values?
True
Suppose 4*h = -8, 0 = -s - 2*h + 6*h + 16. Let q = s - 9. Which is smaller: q or 2/7?
q
Let f = 2 - 18. Let s be 45/10*f/6. Let k be (s/9)/(-4) + 0. Is k less than -1?
False
Let q = 1 - 0. Let k be q + -2*(-2)/(-4). Suppose -a + 0*a - 1 = k. Which is greater: 2/13 or a?
2/13
Let f(h) = h**2 + 6*h - 5. Let p be f(-7). Let x be (-2)/(-5) + 1498/5. Let t = x + -2096/7. Which is greater: p or t?
p
Let w = 3.2 + -3.39. Let n = w - 0.81. Which is smaller: n or 4/13?
n
Let a = -40 + 159/4. Is 0.1 <= a?
False
Let q be 6/10 + 378/70. Which is smaller: 10 or q?
q
Suppose 6 = -4*b + 3*b. Let n = b + 5. Which is bigger: n or 2/9?
2/9
Let b(v) = 0 - 7*v**2 + 0 + v**3 + 6*v. Let n be b(6). Let k = -41/4 - -10. Is k less than n?
True
Suppose 3 = -2*v - k, -3*v + 4*k - 3 + 26 = 0. Let c be 6/(v - 6/4). Is c greater than -11?
False
Let z(r) = r**2 + 2*r + 3. Let t be z(-2). Suppose 2*h + t*c - 13 = 0, -4*h - 3*c + 4 = -7. Which is bigger: h or -3/2?
h
Let f = -30 + 31.5. Is -1 <= f?
True
Let v be 4/6 + (-4)/6. Let t be -1 - (2 - -2 - 1). Let x be 0 + (-2)/t*2. Which is smaller: x or v?
v
Let g = -4 + 3. Let p = 1.35 + -1.2. Let r = p + -0.05. Is r not equal to g?
True
Let h(x) = -x + 4. Let i be h(7). Which is smaller: i or -30/11?
i
Let o = 2 - 2. Let x(m) = m**2 + 10*m + 7. Let g be x(-9). Which is bigger: g or o?
o
Let z(w) = -w**3 + 6*w**2 - w + 2. Let t be z(6). Let k be 5*(0 - t/70). Suppose 0 = -s + 3*s + 2. Are k and s equal?
False
Suppose 2*y - 2*m = 3*m - 8, -2*y - 6 = -4*m. Is -2/3 less than or equal to y?
True
Suppose -5*m = -3*q - 18 + 68, 4*m + 79 = 5*q. Suppose -3*l - 2*l + q = 0. Is l greater than 2?
True
Let a = 10 + -3. Suppose 0*f + 4 = -5*b + 3*f, -b + a = 2*f. Are -5 and b unequal?
True
Suppose 2*h + 3 = 5*x - 3, 4*h - 2*x = -12. Let k be (-5 - -2)/(6/4). Which is bigger: h or k?
k
Let c be 152/405 + (-8)/20. Let p = c + 29/81. Which is smaller: 0 or p?
0
Let w = -7 - -9. Suppose 2*s - r = -5, -2*s - 16 = w*s - 4*r. Is s at most as big as 2/27?
True
Let r(t) = t**2 + 11*t + 11. Let d be r(-10). Let a be 1 - (d + (0 - 1)). Is a greater than 0?
True
Let w(a) be the first derivative of -1/4*a**4 - 5/3*a**3 - 5/2*a**2 + 1 - a. Let b be w(-4). Which is smaller: b or 2?
2
Let y = -57 - -51. Is y less than or equal to -0.3?
True
Suppose 0 = 2*g - 2 - 6. Let q(v) = 30*v**2 + v - 1. Let z be q(1). Suppose 20 = 4*x, g*r + 5*x - z = 3. Is 1 at most r?
True
Let x = -9 - -7. Let n = x - -2.03. Let d = n - 0.13. Which is smaller: d or 3?
d
Let p = 1869 - 7533/4. Let y be 1 - 1 - 1*14. Let c = y - p. Which is smaller: 1 or c?
c
Suppose 5*n - 5 = -p, 3*n - n = 3*p + 2. Let y = -308195/26 - -11806. Let x = y + 95/2. Which is bigger: x or n?
n
Let o = -2 - 0. Let w = -51433/284 - -121/142. Let s = 179 + w. Which is greater: o or s?
s
Let v = -26/11 + 1972/825. Do 1 and v have different values?
True
Let b = -43 - -73. Let o = -21 + b. Is o smaller than 9?
False
Let x = 4.36 - 0.36. Does x = 1/3?
False
Let u = -0.052 - -2.052. Let x = 2 - 2. Is x less than or equal to u?
True
Let l be (-27)/6*52/(-12). Let c = 979/50 - l. Which is smaller: c or 0?
0
Let r = 17 - 10. Suppose -r + 2 = -5*w. Is w greater than or equal to 1?
True
Let w = -1.1 + 0.6. Let m = 5.5 - w. Which is smaller: -1 or m?
-1
Let y = 5 - -4. Let a = y + -10. Is a smaller than -0.1?
True
Let q be (-3 + 85/25)/((-1)/65). Which is greater: q or -25?
-25
Let a = 4 + -2. Let i be (8/(-10))/(4/(-10)). Suppose 0 = 7*m - i*m - 15. Which is bigger: a or m?
m
Let x be (-6)/8*40/(-45). Let y = 28 - 26. Which is bigger: y or x?
y
Let l = -11 + 15. Suppose n = l*n + 3. Which is greater: -1/2 or n?
-1/2
Let u = 13 - 7. Let r be (2 - (3 + -2))/(4/20). Which is bigger: r or u?
u
Let p be 0 - (34/10 - 3). Is -1 < p?
True
Let s(b) = 2*b**2 + 2*b - 1. Let k be s(1). Let g(o) = 2*o - 3. Let f be g(k). Let m = f - 4. Do 0 and m have different values?
True
Let z = 3893/2438 - 31/106. Is 1 at least z?
False
Let s(m) = m**2 + m. Let d be s(1). Suppose -3*o - u + 18 = 0, d*o + 3*u + 0 = 5. Let k be 18/(-81) - o/9. Which is bigger: -3/8 or k?
-3/8
Let f(w) = 3 - w**2 - 3 - 1 - 2*w + w**3. Let x be f(-1). Is x > -1?
False
Suppose 0 = 4*g - 0*g + t - 8, 0 = t. Let b be g*(-2)/60*2. Let w = -0.4 - -0.2. Is b < w?
False
Let b = 16 + -14. Which is greater: b or 0?
b
Suppose 3*f - 21 = 3*c, -3*c - 10 = -2*c + 2*f. Let u(m) = m - 14. Suppose 5*j - 11 = 5*w - 1, j = -w + 12. Let x be u(j). Which is bigger: x or c?
x
Let j be 0 + (-15)/(-20) - 1. Suppose -5*h = -25, 2*l - 4*h = -11 - 9. Which is smaller: j or l?
j
Suppose -1 = -q, 0 = -2*o + q + q - 4. Suppose 5*y - 5*l + 25 = 0, -l = -5*l + 16. Are o and y nonequal?
False
Let v = -13 + 10. Is 0 < v?
False
Let d = 187 - 168.4. Let i = d - 18. Let b = 66 - 200/3. Which is greater: i or b?
i
Let n = -3432 - -17081/5. Let i = -38/6477 - 3515681/226695. Let v = n - i. Is v less than -1?
False
Let k = 7 + -6.9. Let j = -13/11 - -95/99. Is j greater than k?
False
Let v = 9 - 14. Let m be (3 + v)*(-2)/4. Which is greater: m or 2/11?
m
Let o(f) = -f**3 + 2*f - 15. Let k be o(0). Is k smaller than -14?
True
Let w = -1/231 - 6235/462. Let h = -14 - w. Let d = -45.9 + 46. Is h at most d?
True
Let n(w) = -2*w - 1. Let g be n(-1). Suppose y - 3*j - 2*j - g = 0, -2*y = -3*j - 2. Is y at least as big as 3?
False
Let g be (-10)/(-56)*10 + 26/(-91). Let t = -1 + 5. Let o be (6/(-4))/((-3)/t). Which is smaller: g or o?
g
Let v(s) = 5*s**2 + 3*s + 14. Let w(x) = 2*x**2 + x + 5. Let z(h) = 6*v(h) - 17*w(h). Let n be z(1). Let a = -4 - n. Which is greater: a or 2/3?
2/3
Suppose 15 = v - 6*v. Let j(d) = -d**2 + 5*d - 1. Let c be j(5). Let a = c - 3. Which is smaller: a or v?
a
Let b be (((-36)/70)/3)/(18/(-60)). Which is smaller: b or 0?
0
Let n(y) = y**3 + 9*y**2 + 3*y + 21. Let k be n(-9). Suppose g = -g. Which is smaller: k or g?
k
Let r = -17 + 25. Let p be 3*1*r/(-6). Suppose 27*y - 34*y - 21 = 0. Is p at least as big as y?
False
Suppose 5*d - 15 = h, 0 = 2*h - 6*h + 20. Suppose 8 + d = -4*u. Is u greater than -4?
True
Suppose 5*g = -4*t + 9, 4*g - 8 = -4*t - 0*t. Suppose -t = -v + 2. Suppose 4 = a - v*a. Are a and -1/2 unequal?
True
Suppose 2*x = 8, 3*j = j - 5*x + 8. Let f be (j/16)/(9/210). Let t = 9 + f. Is 1 >= t?
True
Let s be 3/(-2)*2/5. Which is smaller: -1 or s?
-1
Let l = -359/3 - -118. Let i be (5 - -1)/(-3) + -1. Which is smaller: i or l?
i
Let j(y) = y**3 + 5*y**2 + 2*y - 2. Let x be j(-4). Let f(q) = -q**2 + 4*q + 11. Let u be f(x). Is u >= -2/17?
False
Suppose -b + 10 = 2. Which is bigger: b or 7?
b
Let m = -31 + 61/2. Suppose 4*k + 4*l = 48 - 16, 3*k - 3*l - 6 = 0. Which is greater: m or k?
k
Let w(x) = 3*x + 31. Let k be w(-11). Which is bigger: k or -18/7?
k
Let p = -0.1 - -0.1. Let y = -0.7 + 0.8. Let l = p + y. Does 0.1 = l?
True
Suppose 9*d - 4*d = -45. Let b be 2/d + 102/(-27). Which is bigger: b or -2?
-2
Let k be 2 + -1 - (1 - 2). Let u be 4/8*(0 - -35). Let g = 18 - u. Which is bigger: k or g?
k
Let p = -7 + 3. Suppose -o = -4*i + 5, o - 2*i + 4 = i. Which is smaller: p or o?
p
Suppose -10*c = -4*c. Which is greater: c or -5/29?
c
Let m = -79 + 79.08. Let n be (-2)/6 - 1/3. Is n less than or equal to m?
True
Let a = 181/4 + -46. Is a > -44?
True
Let m = 11/53 - 1129/4929. Which is greater: m or 0?
0
Suppose 14 + 38 = -5*y - 2*g, -4*y - 56 = -2*g. Let r = 26 + y. Let x be (-4)/r + 8/42. Is x >= -1?
True
Let u = -2 + 1.5. Let y = -0.7 + u. Is -0.1 at least y?
True
Let i = -0.12 + -2.88. Let n = -27 - -23.9. Let d = i - n. Which is greater: d or -1?
d
Let q = -19 + 19. Let n(f) = f**3 + 3*f**2 - 3*f + 4. Let z be n(-4). Do z and q have different values?
False
Suppose 5*i + 10 - 80 = 0. Is i greater than or equal to 15?
False
Suppose 21 = h + 40. Which is greater: h or -17?
-17
Suppose 0*m - 6 = -2*m. Let k be -2*(54/20 - m). Which is small