= 8 + -6. Suppose 4 + p = 2*m. Is m > 2?
True
Suppose 2*x + 20 = 5*l, 0 = -l + 3*x - x + 12. Suppose 4*g - 22 = g + 5*b, b = l*g - 3. Is -3 less than g?
True
Let u(r) = -r**3 - 13*r**2 + 2. Let d be u(-13). Suppose o = -3*o + 8. Let c = o - 1. Is c smaller than d?
True
Let i be (28 + -27)/((-6)/10 + 0). Are -3 and i equal?
False
Let h(y) = -y**3 - 2*y**2 - 8*y + 7. Let f be h(-8). Let a be 7/(f/2)*5. Let j = -1 + 0. Which is greater: a or j?
a
Let s = -12/8467 - -9356143/76203. Let a = s - 123. Which is bigger: -1 or a?
a
Let t(x) = -8*x**2 + 8 - 6*x - 6*x**3 + x + 5*x**3. Let a be t(-7). Let k be 0*(1 + -2) + -6. Is a > k?
False
Let p = 82 + -54. Is -0.1 bigger than p?
False
Suppose 3*v + 40 = 4*v. Suppose 0 = -9*s + 4*s - 5*f + v, -s = 2*f - 12. Let q be (2 + (0 - s))/(-6). Is 3 >= q?
True
Let g(r) = 4*r**2 + 2*r + 1. Let f be g(-1). Let z be (-7)/f*3/(-1). Suppose -3*a + 5*k = -28, k + 17 - z = 5*a. Which is greater: a or -0.03?
a
Let a be 2/((-3)/(-9)*3). Let g be a - (-33)/27*-3. Let h = g + 49/33. Which is smaller: 1 or h?
h
Suppose -2*m - 3*m = 0. Suppose m = n + 3*n - 32. Suppose -b = 4*b - 10, -2*a - n = -4*b. Is -1 <= a?
True
Let x be ((-2)/4)/((-2)/4). Let q(u) = x + 0*u + 0 + 1 + u. Let h be q(-3). Which is smaller: 0 or h?
h
Let j be -10*(1 - 6/4). Let x be 5/(-20) + 13/4. Suppose 8*o = x*o - j. Which is smaller: 2 or o?
o
Let q = -50 - -35. Which is smaller: 0.1 or q?
q
Suppose 5*z + 4 + 24 = -3*a, 3*a + 3*z = -18. Suppose -3 = 2*l + 1. Which is smaller: l or a?
l
Suppose 2*n + 15 = -9. Do n and -12 have different values?
False
Let v = 36 - 35. Is v less than 18/11?
True
Let c = 0.11 + 0.69. Let a = 0.7 - c. Let q = 4 + -5. Is a at most q?
False
Let y = 14 + -7. Let n(t) = 4*t**2 + 6*t - 2*t**2 - 3*t**2 - y. Let w be n(5). Is w bigger than -0.1?
False
Let b be (5 - 0)/(-5)*(-1 - -2). Are 0 and b equal?
False
Let x be -3*1 - (-7)/3. Let l = 1 - 1. Is l at most x?
False
Let w be ((-8)/(-36))/(6/(-9)). Which is smaller: -7.2 or w?
-7.2
Let x be -2 + ((-540)/80)/((-2)/(-8)). Which is greater: -25 or x?
-25
Let u(s) = -7*s - 62. Let k be u(-9). Which is greater: 1/263 or k?
k
Let w = -108 + 109. Which is bigger: w or 5/9?
w
Suppose 4*r - 16 = -a, 0 = 3*r + 5*a + 2 - 14. Let f be r/24 - (-1)/(-6). Suppose 4*o + 13 = 4*j - j, f = o + 4. Is 2/11 at most j?
False
Let s be (1 - (1 - -1))*-1. Let a = 8 + -6. Let g be (a/12)/(1/2). Which is bigger: g or s?
s
Let s(m) = m**2 + 7*m + 8. Let t be s(-8). Suppose -t = -8*w + 4*w. Let c be (-2)/4 - 2/w. Is c < -3?
False
Let j be (-430)/(-232) + 15/(-20) + -1. Is 0 greater than or equal to j?
False
Suppose -2*u + z + 3 = 0, 6*z - 2*z - 1 = -5*u. Let k = -206/133 - -24/19. Is k greater than u?
False
Let y = -0.36 - -0.12. Which is smaller: y or 2?
y
Let z(y) = y + 1. Let t be z(5). Suppose -5 + t = -c. Which is smaller: 0 or c?
c
Let b(g) = -g**2 - g + 1. Let r be b(-2). Which is smaller: r or -2/27?
r
Let p be (-2)/8 + (-2)/((-1168)/122). Do 0 and p have the same value?
False
Let u be ((-1)/2 - -1)*0. Let n be 0 - (2*(-44)/(-40) - 3). Is u not equal to n?
True
Let v = -1/4 + 1/2. Which is smaller: 6 or v?
v
Let k = 37 + -15. Let h be (k/12 + -2)*2. Let a be -1*1*(-2)/2. Which is smaller: a or h?
h
Let p = 12 + -11. Let l be p + -2 + (-4)/(-8). Let z = -0.1 + 1.1. Is l at least z?
False
Suppose 0 = 3*j - 6 - 27. Let o = 10 - j. Is o <= 0?
True
Let j(v) = -v + 6. Let l be j(2). Suppose 3*y = -y - l. Is y less than -8?
False
Let d = 3 + -1. Let j = -59/150 + 3/50. Which is greater: j or d?
d
Let j = -9 + 11. Do j and -20 have the same value?
False
Suppose 4 = -4*q - 20. Which is smaller: q or -3?
q
Let p(q) = q + 6. Let j be p(-8). Let s be (1*j)/(6/12). Is s > -4?
False
Let z = 34 + -35. Suppose -o - 9 = -1. Let h = o - -5. Which is bigger: z or h?
z
Let w be 4/12 - (-2)/(-6). Let j = -2475599/11 - -224207. Let s = -848 - j. Do w and s have the same value?
False
Suppose 0 = -2*q + 113 - 103. Is q at least as big as -5?
True
Let n be (1 - 0) + 26/2. Let c = -9 + n. Which is greater: 4 or c?
c
Let q(h) = -h**3 + 9*h**2 - 3*h - 4. Let v be q(8). Suppose -3*a - v = -7*a. Which is greater: a or 8?
a
Let h(q) = q + 8. Let z be ((-3)/2)/((-3)/(-8)). Let y be h(z). Is 4 greater than or equal to y?
True
Let w be (-6)/10 + 26/10. Let j be (-13)/(-4) + (-4)/16. Is w >= j?
False
Let i = 80 - 72.7. Let p = i + -1.9. Let y = p + -5. Which is smaller: -1 or y?
-1
Let s be (-85)/(-51)*(-2)/(-10). Let p = 0 + 0. Suppose 5*n - 2*t - 9 = p, 4*n - 7 = 5*t + 7. Are s and n unequal?
True
Let q = -15 + 15.13. Let t = 0.07 + q. Is -3 bigger than t?
False
Let n = -24 + 29.3. Let x = -0.3 + n. Which is smaller: -1/3 or x?
-1/3
Let o = -15.9 - -9.8. Let v = o - -0.1. Let m = v - -8. Are m and 2 unequal?
False
Let s(h) = h**2 + 5*h + 6. Let f = -16 + 12. Let n be s(f). Which is bigger: n or 3/4?
n
Let p be (-12)/(-8)*(-8)/42. Is p bigger than -7.4?
True
Suppose a - 8*a = 0. Let x = -3 - -5. Let q be 2/x*9/21. Which is bigger: a or q?
q
Suppose -4*g = 8*g - 60. Is -0.1 at least g?
False
Let o be 21*2/3 + 1. Suppose 5*c - 3 = p, 7*p + 5*c = 2*p - o. Let v = -14 + 10. Which is smaller: p or v?
v
Let g be 1 + (-33)/(3/1). Let z be (g/(-8))/((-3)/(-72)). Suppose -2*c = -d + 6, 0 = 5*d - 3*c - c - z. Which is greater: 7 or d?
7
Let a be 0 - -1 - (-7 - -9). Is a bigger than 1/11?
False
Let n(d) = -d + 10. Let c be n(7). Suppose -2*k + 2*h + 3 + 11 = 0, 3*k + c*h = 9. Let l be 5/(-4)*(-1)/k. Is -0.3 smaller than l?
True
Let z(q) = -q - 3. Let o be z(-7). Suppose o*r - r - 3 = 0. Suppose 2*c - 5*a = -6 - 21, 0 = -4*c - a + r. Which is bigger: c or -2?
c
Let d = 6.942 + 0.058. Which is smaller: d or -2?
-2
Let j(g) = 2*g**2 + 15*g + 6. Let n be j(-7). Which is smaller: n or 2/109?
n
Let c be 2 - (5 + -1 + -3). Let x(w) = 2*w - 8. Let f be x(6). Let j(b) = b**3 - 4*b**2 + b - 4. Let h be j(f). Is h greater than c?
False
Suppose -4*m + 0 = -3*x - 7, 4*x = -5*m + 1. Let t = 35 + -35. Is t less than x?
False
Let o = 22/175 + 4/25. Suppose -2 = 3*v + 1. Is v >= o?
False
Let r = 19 + -17. Let g be 1 + -6 + r + 1. Is g less than -9?
False
Let n(z) = z**3 - 9*z**2 + 8*z + 2. Let i be n(8). Let r = 8 - i. Suppose 3*p = p - r. Is -4 less than p?
True
Let j = -1 + 2. Let m = -2 - -0.9. Let t = m + j. Is 0.1 at most as big as t?
False
Let u = -2 - -2.06. Let f be ((-2)/(-6))/((-2)/6). Is u < f?
False
Let j = 45.1 + -45. Let c be (20/(-3))/(-5) - 1. Which is bigger: c or j?
c
Let q = 1/302 + 1203/1510. Which is bigger: q or 1?
1
Let p(h) = 6*h + 32. Let d be p(-5). Which is bigger: 16 or d?
16
Let m = -7 + 11. Is 4 bigger than m?
False
Let z = -1 + -2. Let f be 0 + 1 + 1*z. Let u be (-15)/9*f/(-5). Which is smaller: 0 or u?
u
Let p = 38 + -19. Let s(y) = 6*y**2 - 3*y - 3. Let k be s(-2). Suppose -50 = 3*a + 5*x - p, 5*x + k = -a. Is -2 at least as big as a?
True
Let c = 4 + -2.9. Let w = 0.9 + c. Which is smaller: -10 or w?
-10
Suppose 5*x + 5*c = 2*x + 3, 0 = -2*x + 5*c + 2. Let p be (x - 0)*(-4 - -4). Is p != -2/9?
True
Suppose -17 = 4*q - 5*u, -3*q + 2*u - 9 = -u. Suppose -3*j - 2*j + 17 = q*m, m - 13 = -4*j. Is j smaller than 1?
False
Let y(a) = a - 12. Let f be y(14). Suppose h = f*h. Which is greater: h or -1/5?
h
Let y = -81 - -180. Let n be 4/y + 6/(-27). Do 2/5 and n have the same value?
False
Let h(n) = -n + 7. Let l be h(5). Suppose 0 = -f + 4*x - 8, 4*f - 4*x + 6 = -x. Do l and f have different values?
True
Let b = 7/76 + 3/19. Which is smaller: b or -0.04?
-0.04
Suppose -2*r + 2*p + 38 = 3*p, 5*p = -3*r + 50. Suppose -3*w = -7 - r. Suppose y + w = -4*i - 2, 5*i + 19 = -3*y. Is i at most as big as -2?
True
Let k(v) = -4*v - 9. Let c be k(-3). Is c less than or equal to 2?
False
Let n = 0.4 - 0.5. Let c = 0.18 - 7.18. Let q = 10 + c. Which is smaller: q or n?
n
Let p = 0.08 - -0.12. Which is greater: p or -0.1?
p
Let o = -125 + 2126/17. Suppose q - 3*q - 2*t = 4, 4*t = -2*q - 8. Which is smaller: q or o?
q
Let r be 1/(-1)*4/28. Is r greater than or equal to 2?
False
Suppose 2 = -5*z + 22. Suppose 41 = -z*c + 101. Suppose 5*v + 5 + c = 0. Is -4 less than v?
False
Let i = 9 - 4. Suppose 17 = 3*z - 1. Which is smaller: i or z?
i
Suppose -p - 5 - 6 = 3*v, 5*p = -4*v - 55. Let w(z) = -10*z**3 - 2*z**2 + 1. Let r be w(1). Are p and r equal?