z = n + 6. Is 2 less than z?
False
Let c = 0 + -7. Let b = c - -6. Is b greater than or equal to -1/4?
False
Let r = 2 - 2. Let p = 999 + -4173/4. Let w = -44 - p. Which is greater: r or w?
w
Let v = -4.7 - -4.7. Which is smaller: -1/62 or v?
-1/62
Suppose 10 = 3*o + 4. Let s be ((-5)/3)/(o/(-3)). Which is greater: 2 or s?
s
Let p(u) = -u**2 - 3*u + 8. Let z be p(-5). Are -8/9 and z unequal?
True
Let c be (0/(-3))/3 + -1. Let l(y) = -y + 7. Let f = -5 - -12. Let h be l(f). Is h less than c?
False
Let b be (-4)/6*12/(-52). Let t(z) = -z - 5. Suppose -5*p = 5*o + 10 + 30, -5*o + 5*p = 0. Let j be t(o). Is j less than b?
True
Let o = -73 + 70.1. Let x = o + 3. Let z = 55/84 + 2/21. Which is smaller: z or x?
x
Let v = -1.6 - 0.4. Which is bigger: v or 1/4?
1/4
Let m = -70 - -87. Are -0.2 and m nonequal?
True
Let a = 4 + -1. Is 16/7 <= a?
True
Suppose -5*i + 4*a = 3*a + 58, -a = -3*i - 34. Suppose 73 = -4*n - 5*c, -34 = 3*n + 2*c + 12. Is n greater than or equal to i?
True
Let o be 3/(-18)*6/(-4). Let a = -2.02 + 0.02. Let y = a - -2. Which is smaller: y or o?
y
Let d(u) = -u**2 + 6*u + 4. Let m(b) = 2*b**2 + 3*b + 3. Let s be m(-2). Let h be d(s). Suppose -h = -4*g + g. Which is smaller: 2 or g?
2
Let z be 6/(-4)*(-4)/(-9). Let i be (-3)/3*-3 - 6. Let h(c) = c + 2. Let x be h(i). Which is smaller: z or x?
x
Let m(q) = q**2 + 10*q + 27. Let c be m(-7). Suppose -a + 30 = 4*a - b, -3*a + 18 = 4*b. Is a <= c?
True
Suppose -2*q + 4 = -3*q. Let h be q/8*(-3 + -1). Suppose -r = -h*r. Is r > -2/7?
True
Let k = -2 + 9. Suppose k*d - 120 = d. Is d > 19?
True
Suppose 5*h = 7 - 152. Which is greater: h or -30?
h
Suppose s = 5*b + 1, -5*s + 2*s - 12 = 0. Which is bigger: b or 0.1?
0.1
Suppose 5*k + 4 = 2*i + 35, 5*k - 15 = 0. Suppose 0*t + 4*t = -28. Is t at most as big as i?
False
Let q be (123 - 1) + 5 + -5. Let a = -858/7 + q. Let j be 4/14 + (-64)/28. Is j greater than or equal to a?
False
Let y = 64.8 + -55. Let i = y - 10. Which is greater: 4 or i?
4
Let l = 0.03 - 0.43. Which is smaller: l or -0.1?
l
Let w(f) = f**2 + 4*f - 5. Let b be w(-5). Suppose 5*n = r + 27, b = -n + 3*r + 2*r + 15. Suppose 4*h - 3 + 19 = n*m, -4 = 3*m + h. Are -2/5 and m non-equal?
True
Suppose -15 = 4*l - 7*l. Are 7 and l nonequal?
True
Let p be 65/20 - 1/4. Suppose -10 = -4*l + 2*l. Suppose 7*h + 11 = p*h - l*q, 4*h = 3*q + 13. Are h and 2 nonequal?
True
Let p(v) = -v**3 + 4*v**2 - 4. Let b be p(4). Let m = b + 4. Let i be (0 - 0) + m/(-4). Are i and 0 nonequal?
False
Let l = 7 - 4. Let y be (2 - 5/l)*0. Which is bigger: y or 2/5?
2/5
Suppose 0*c - 6 = 2*c - 4*u, 2*c = 2*u. Suppose -d = 3*q - 3*d + 8, c*d - 3 = 0. Which is smaller: -1/2 or q?
q
Let u = 3.6 + -0.6. Let v = 6 + -4. Let k = v + -1. Which is smaller: k or u?
k
Suppose -5*l = -5 + 15. Let s = l + 3. Let g be (-6)/(-6) - s*-1. Which is bigger: 1 or g?
g
Suppose 50 = 6*y - y. Suppose -3*z - 2*w = w + 51, y = -2*w. Is -11 equal to z?
False
Let d be (-4)/(3/((-36)/16)). Let i be d - 1/(6/16). Suppose 5*v - 7 = -3*p, -11 - 4 = 5*p - 5*v. Which is smaller: i or p?
p
Let v be 46/14 - 2/7. Suppose 0*g = -v*g + 3. Let r be (-4)/(g - -1) - 0. Is r <= -1?
True
Let w(v) = v**2 - 5*v. Let o be w(5). Suppose 4*c - 4*t = -10 + 2, -2*c - 4*t + 14 = 0. Let n = c + o. Which is smaller: n or 2/9?
2/9
Suppose -t + 6*t + 5 = -q, q = 3*t + 3. Suppose a = -q*a. Suppose -2*i - 3*i = a. Are i and 0 equal?
True
Let y(x) = x**3 + 1. Let u be y(-1). Let k = 2 - 6. Which is smaller: u or k?
k
Let l = 5 + -9. Let w = 14.9 + -15. Which is greater: w or l?
w
Let k = -42 + 37. Which is smaller: 0.7 or k?
k
Suppose 0*w = -3*w - 96. Is -32 equal to w?
True
Let i = 6904789/316470 + 1/28770. Let p = i - 22. Which is smaller: p or 1?
p
Suppose 0 = 14*q - 22*q. Which is smaller: q or 4/63?
q
Let s(m) = m**3 + 6*m**2 + m + 6. Let c be s(-6). Suppose -5*v - p - 26 = -6, -5*p - 25 = c. Is -2 equal to v?
False
Suppose 0 = 2*d - h + 4, 3*d - 5*h = -d - 2. Let b be (-9)/(-6)*(-8)/d. Which is smaller: 5 or b?
b
Let j = 0.063 + -3.763. Let t = 4.8 + -0.8. Let c = t + j. Which is bigger: c or 1?
1
Suppose -r = -3*x - 64, r = -4*x - 0*x - 90. Which is greater: -1/2 or x?
-1/2
Let h(t) = t**3 - 5*t**2 - 6*t + 1. Let p be h(6). Let i = 0 - 1. Is p at most i?
False
Let k be 1/(-2) - (-4)/(-8). Is k smaller than -1?
False
Let n = -0.02 + 2.02. Let s = n - -1. Let y = s + -3. Which is smaller: 0.1 or y?
y
Suppose -4*l - 2 = -5*l. Suppose -l*x = -x. Let i = 0.9 - 1.9. Which is bigger: x or i?
x
Let x = -10 - 3. Let v = -5 + x. Let a be (-10)/(-36) + (-4)/v. Which is smaller: 0 or a?
0
Let u(s) = s**2 - 10*s - 13. Let i be u(8). Is -31 at most i?
True
Let z be 27/6 - 6/(-4). Let m(o) = -o**3 - 11*o**2 + 11*o - 6. Let g be m(-12). Is z bigger than g?
False
Suppose m + 2*m = 183. Let x = 123 - m. Let j be x/22 - (-8)/44. Is j at least 4?
False
Suppose 0 = u + 4*c - 16, 5*u = -3*c + 11 + 1. Suppose o + u*o = 0. Suppose -g = 3*b + 1, -4*b + 2*g - 5*g = 3. Is o greater than or equal to b?
True
Let b = 695/6 + -115. Is 5 at least as big as b?
True
Suppose 3*h = -5 - 7. Let j = h - -6. Suppose 0*g - 4 = -j*g. Which is smaller: 0 or g?
0
Let s be 2/(-1*(-1)/(-4)). Let o(t) = -t**3 + 6*t**2 - t + 49. Let g be o(7). Is s smaller than g?
True
Let m = -2592 + 54403/21. Let g = -5/7 - m. Which is smaller: 6 or g?
g
Let s = -7 + 7. Suppose c + 2*c = s. Suppose -3*q = -8*q + 5. Do c and q have the same value?
False
Let l = -16 + 26. Let p = l + -9. Let u = -0.8 - 0.2. Is p less than or equal to u?
False
Let x be 0 + (-12)/(-16)*4. Suppose 0 = -5*m + x*n - 2*n - 5, -4*m = -n + 5. Is 0 equal to m?
True
Let h(a) = -a**3 + 12*a**2 + 14*a - 4. Let v(l) = -l**3 + 11*l**2 + 13*l - 4. Let o(x) = -3*h(x) + 4*v(x). Let y be o(9). Is y greater than 4?
True
Suppose -3*n + n - w - 30 = 0, -4*w = 2*n + 30. Do -15 and n have the same value?
True
Let a be 5 + -5 - 0/(-2). Let n be -2 - 2/(2 - a). Suppose 12 = -b + 2*x + 1, 4*x - 7 = -3*b. Is b not equal to n?
False
Let c(w) = w**2 - 6*w + 4. Let f be c(5). Let a = -1066928/45 - -23707. Let g = 12/5 + a. Which is smaller: g or f?
f
Let m(s) = s**3 + 7*s**2 + 5*s - 4. Let c be m(-6). Suppose 1 = -c*r + r. Is r > 1/3?
False
Let w = 0.001 + -0.021. Is w greater than or equal to -3/7?
True
Let k = -5 - -12. Let j be (2 - (k - 1))/(-5). Is 2 less than j?
False
Let q = -0.13 - -0.13. Which is smaller: 0.06 or q?
q
Let r be (-36)/(-10)*60/9. Suppose -3*q + 4*a = 1 - 5, -2*q - r = 4*a. Let s = q + 4. Is s at least 3/5?
False
Let s = -10.9 + -1.9. Let o = s - -13. Is o greater than -1/7?
True
Let w = -92 - 24. Is w bigger than -117?
True
Let f be ((-12)/8*-1)/((-3)/8). Is f < -4?
False
Let m be (14/6)/(5/15). Suppose 5*i = m - 2. Is i > -1/5?
True
Let u be (-12)/(-5) - 2/5. Suppose u*l - 3 = 9. Let x be (-3)/(-14) + l/(-12). Is x at least as big as 1?
False
Let k(j) = j**3 + 4*j**2 - 5*j - 6. Let c be k(-5). Suppose 5*a - 3*f + 16 = f, 4*f = 2*a + 16. Suppose p + 6 - 1 = a. Is p less than c?
False
Let g = -6.5 - -0.5. Let d = 2 + g. Let h = -4.1 - d. Do 1 and h have the same value?
False
Let a = -8 - -8.1. Which is bigger: -0.2 or a?
a
Let w(g) = 2*g**2 + 21*g + 11. Let q(k) = 4*k**2 + 43*k + 23. Let t(j) = -4*q(j) + 9*w(j). Let f be t(-8). Is f bigger than -1/5?
False
Suppose -2 - 1 = -5*m - d, -3*d - 10 = -4*m. Is -1 smaller than m?
True
Suppose -41 = -5*i + 59. Suppose -5*w + i = 0, -2*j = 2*j + 2*w + 4. Which is smaller: 3 or j?
j
Let b(o) = 7*o**3 - o**2 + o. Let v be b(2). Let z = v - 484/9. Let t = 4 + -3. Which is smaller: z or t?
z
Let n(p) = -2*p - 8. Let a be n(-6). Suppose 0*m = -a*z + m, 5*m = 4*z. Suppose z = 5*c - c. Are -1/2 and c equal?
False
Let y = -22 + 23. Which is smaller: y or 7/6?
y
Let s = 2/721 - 138442/3605. Let z = s + 1738/45. Which is smaller: z or 0.1?
0.1
Let v = 0 - -15. Let k = 21 - v. Which is greater: 2/5 or k?
k
Let l = 4847/2690 - 1/538. Is 2 less than l?
False
Suppose 0 = -4*z - 10 - 22. Which is smaller: 0.3 or z?
z
Let v = -1251/10 + 125. Suppose 0*w + 6 = -2*w. Let r be (-5 - -8)*w/(-9). Are v and r unequal?
True
Suppose 4*s - 13 = -h, 4*h + 7 = -4*s - 1. Let b(a) = 6*a - 1. Let x be b(-1). Do x and h have the same value?
True
Let l = 157 - 161. Let f = -2.2 - -2. Which is greater: f or l?
f
Let s(t) = -t - 1. Let 