 Suppose 6 - r = -5*p. Do 1 and p have different values?
True
Suppose -5*a - 4*i = -5, -2*a - 4 = i - 3. Is a less than or equal to 7?
True
Let s = 247/7 + -235/14. Let b = -130/7 + s. Is b at least 1?
False
Let j = -5/3 + 7/6. Let t = -43 + 41. Is t less than j?
True
Suppose 0*p = -5*p. Which is greater: -2/7 or p?
p
Let b = 25/1489 + -2019259/10423. Let i = -194 - b. Which is smaller: i or -1?
-1
Let d(f) = -2*f**2 - 54*f - 1. Let h be d(-27). Which is smaller: h or 2/325?
h
Let z = -121/20 - -29/4. Suppose -7*u + 2*u + 10 = 0. Which is greater: z or u?
u
Suppose 0 = 4*v + 8 - 0. Which is bigger: v or -6/11?
-6/11
Let j = 1.1 + -0.1. Let l = 1.9 + 4.1. Is l less than j?
False
Let p = 3 - 5. Let s(h) = -10*h - 16. Let b be s(-2). Is p at least b?
False
Let c be 1/(1*3/33). Let o be 77/(-14)*(0 - 2). Is o smaller than c?
False
Let n = -9 + 9.9. Let m = n - 1. Is m less than 0.3?
True
Suppose -2*s + 9 = 5*q - 0*s, 3*s - 6 = 0. Which is bigger: q or 19?
19
Let h(f) = f**2 + 5*f - 3. Let w be h(-6). Suppose -2*y - w = y. Are y and 0 equal?
False
Suppose -3*h = 5*s + 25, 4*h + 12 = 4*s - 0*h. Is -1 greater than s?
True
Let h = 17926/27 + -664. Suppose 5*g + 2*i = -4, 0*g + 8 = -3*g - 4*i. Which is smaller: h or g?
h
Let j be ((-4)/(-9))/((-44)/(-66)). Let l(w) = w + 3. Let i be l(-5). Let q = -1 - i. Is q smaller than j?
False
Let n = 1.05 + -0.05. Is n greater than -12/5?
True
Let x = -2312/13 + 178. Which is greater: x or 0?
x
Let l = 5 - 3. Suppose -6*s + 10 = -s. Suppose 3*f - 4 = f + 2*m, -l*f = s*m. Is f less than 0?
False
Let r = 119 - 26. Which is greater: -2/7 or r?
r
Suppose -11 = -3*l - w, 0 = -5*w + 39 - 14. Suppose 3*t = -l*n - 1 + 3, -2*t - 3 = -3*n. Which is bigger: 5/4 or t?
5/4
Let m(o) = 2*o + 9. Let c(w) = -w - 5. Let s(x) = 7*c(x) + 4*m(x). Let a be s(2). Which is smaller: 2 or a?
2
Suppose 0 = 3*w - 2*w - 3. Let a = w - 5. Which is bigger: 1 or a?
1
Let f = 16.9 + -17. Let y be (1/(-12))/(2/(-3)). Is y less than or equal to f?
False
Suppose 3*s - 28 = 4*r + 4*s, -2*r + 3*s - 28 = 0. Let m be 2/r - 9/12. Which is greater: m or 1/6?
1/6
Let i = -21 + 30. Let q = 1728 + -6875/4. Let n = q - i. Is -1/7 greater than n?
False
Let a = 1 + -2. Which is smaller: 5 or a?
a
Let q(l) = 2*l**2 - 4*l - 3. Let t(u) = -u**2 + 2*u + 2. Let a(r) = -3*q(r) - 5*t(r). Let i be a(2). Let f(b) = -3*b + 1. Let g be f(0). Is i less than g?
True
Suppose -4*x - x = -25. Suppose -3*c - 3 = 4*f, 5*c = -2*f - 3*f - x. Is -1 >= c?
True
Suppose -h = 4*h. Which is bigger: -2/5 or h?
h
Let d(c) = c**2 + 2*c + 1. Let q be d(-1). Let y be (6/99)/((-2)/6). Which is greater: q or y?
q
Let x(k) = -k**3 + 2*k**2 + 11*k - 10. Let q be x(5). Is q < -31?
False
Let o = 17 - 16. Which is smaller: o or 8?
o
Let o = 6/49 - 152/441. Which is bigger: o or 1?
1
Let a(o) = 5*o**2 - 19*o - 35. Let h be a(-2). Suppose w + 23 = 2*w. Are w and h unequal?
False
Let x = -32/5 - -6. Let j(q) be the first derivative of q**2/2 + q + 2. Let a be j(-2). Is x < a?
False
Let i = -0.5 - -0.4. Is i < -17?
False
Suppose -2*b - c = 2, 0 = -4*c - c - 20. Let f(s) = -s + 2. Let g be f(3). Let o = g + 3. Which is greater: b or o?
o
Suppose 0*n + 1 = n. Which is smaller: n or 6/17?
6/17
Suppose 3*o + 67 = 6*o - 2*r, -4*o + 2*r + 86 = 0. Which is greater: o or 20?
20
Let f = 18 - 13. Let w be 3*2/36*f. Is w greater than or equal to 2?
False
Let q = 2 - 2. Let t = -17 - -7. Let o = 9.9 + t. Is q less than or equal to o?
False
Let m = -8 - -14. Let g = 3/8 + -1/8. Which is smaller: m or g?
g
Let k(r) = 5*r + 8. Let j be k(0). Is 7 bigger than j?
False
Let y(l) = -33 + l**2 + 14*l - 2*l**2 + 50. Let r be y(15). Let p(z) = -3*z - 3. Let t be p(-2). Which is smaller: r or t?
r
Suppose 2*q - 37 + 17 = 0. Are 12 and q nonequal?
True
Suppose 2*g + 14 = 3*n + 2*n, 2*g = -2*n. Let z be 9 + 2*(0 + g). Which is smaller: z or 7?
z
Let u be (-78)/(-10) - 3/(-15). Let l(b) = -b**3 + 7*b**2 + 8*b + 3. Let w be l(u). Let c(g) = g - 7. Let k be c(w). Which is smaller: -3 or k?
k
Let t = -417/20 - -77/4. Let l = t + 2. Do 0.2 and l have the same value?
False
Let x be (-12)/8*1 - -1. Let z = -0.13 - -0.05. Is x at most as big as z?
True
Let j = -43 + 43. Let d = -49/18 + 26/9. Which is greater: j or d?
d
Let w = 1001/5 + -201. Which is bigger: 0.1 or w?
0.1
Let u(s) = -16*s - 21. Let r(h) = 3*h + 4. Let k(m) = 11*r(m) + 2*u(m). Let q be k(-2). Which is greater: -1 or q?
q
Let v = 22/3 - 37. Let t = 27 + -57. Let m = v - t. Which is smaller: m or 1?
m
Let w(q) = -q**3 + 9*q**2 - 10*q - 2. Let f be w(8). Let o = -17 - f. Which is smaller: -17 or o?
-17
Let l be -4 + 4 - (-4)/(-18). Which is smaller: l or -1?
-1
Suppose -3*s - 3 + 2 = 5*i, -s - 4*i - 5 = 0. Which is bigger: s or 0?
s
Suppose 0 = 5*k - o - 9, 0*o = 2*k - 4*o. Suppose 3 + 7 = -a. Let z be k/a + (-7)/(-10). Are 1/3 and z unequal?
True
Let p = 1 - 2. Let g = 13 - -145. Let o = -478/3 + g. Is p <= o?
False
Let p = 12 + 0. Suppose 0*s - p = 4*s. Let y be 4/(-6) + (-4)/3. Is s <= y?
True
Suppose -13 - 617 = -5*d. Let p be (2/3)/(d/(-54)). Are p and 0.3 non-equal?
True
Let s = 0.2 + -0.1. Let c be (-1 + 0)*-2 + (-93)/48. Does c = s?
False
Let t be (3 + 22/(-6))*-21. Let g be (-3 - t/(-8))*1. Let d(s) = s**2 + 7*s + 4. Let l be d(-6). Which is smaller: g or l?
l
Let f = 3 + 2. Suppose -f = 3*p + 7. Let y = 5 + -9. Is y equal to p?
True
Let u(d) = 0*d**3 + 4*d**2 + 0 + d**3 + 4 + 4*d. Let y be 5*((-12)/5)/4. Let r be u(y). Is r not equal to -1/6?
True
Suppose 0 = -5*x + 14*x - 108. Is x greater than 10?
True
Suppose -3*r - 17 = -5*s, 5*r + 4*s - 2 - 19 = 0. Which is smaller: 3/13 or r?
3/13
Let c(f) = 3*f**2 + 10*f + 18. Let d be c(-6). Are 196/3 and d nonequal?
True
Let l = 42 - 42.96. Let x = l + -0.04. Is -2 at least x?
False
Let z = -2.5 + 0.9. Let q = z - 0.4. Which is bigger: q or -0.04?
-0.04
Suppose -k + 64 = 3*k - 2*y, 0 = 4*k + y - 52. Is k > 1?
True
Let l = 832/21 + -118/3. Let n(q) = 0*q + 2*q - 3*q - 2. Let g be n(-2). Is l greater than or equal to g?
True
Let o(p) be the second derivative of -p**5/20 + 2*p**4/3 + p**3/6 - 2*p**2 + 2*p. Let y be o(8). Which is smaller: y or 3?
3
Suppose -3*c + 2*y - 3 + 5 = 0, -5*c - 3*y = 3. Let z = c - 3. Are -3 and z equal?
True
Let b be 1*(1*-1)/1. Suppose -12 - 177 = 3*j. Let f be (-1)/3 + (-30)/j. Which is greater: b or f?
f
Suppose 12*k + 119 = -1. Which is greater: k or -6?
-6
Let m(p) = p - 4. Let b be m(4). Suppose b*c + c = 4. Which is smaller: 3 or c?
3
Let c(s) = -s**3 - s**2 + 1. Let g be c(1). Let w = 103 + -313/3. Is w >= g?
False
Let t be (-280)/(-720)*(-6)/(-28). Which is smaller: t or -8?
-8
Let d be 6/21 + (-551)/(-7). Suppose -2*n - 29 = -h, 2*n = 3*h - 2*n - d. Let s be (1/(-4))/(h/(-24)). Is 0 bigger than s?
False
Let t = 11 - 43/4. Is t >= -6?
True
Let l = -3 + -27. Let q be ((-24)/110)/(9/l). Which is smaller: 0 or q?
0
Let w = 19 - 19.11. Which is smaller: -1/2 or w?
-1/2
Let v = -1.6 - -1.5. Do 0.4 and v have the same value?
False
Let j = -0.26 - -0.26. Let u = -3.6 - 0.4. Which is smaller: j or u?
u
Suppose 16 = 6*t - 20. Is 18 at least as big as t?
True
Let p = 0.3 + -0.3. Let d = 0 + p. Let n be (5 - 3)/(3/(-1)). Is n at most d?
True
Suppose 808 = 11*v - 19*v. Is v smaller than -101?
False
Suppose 7 = -5*u - 3*y + 122, u - 45 = -5*y. Which is greater: 58/3 or u?
u
Let l(n) = 6*n**2 + 4*n. Let y(a) = 7*a**2 + 4*a + 1. Let r(g) = 6*l(g) - 5*y(g). Let w be r(-5). Is w at least 2/5?
False
Suppose -5*x = 5*i - 28 - 7, 2*x - 5*i = -7. Suppose -3*j + 11 + 4 = 0. Is j < x?
False
Let w = -22 - -8. Let l be (4/w)/(8/(-14)). Is l less than or equal to 2?
True
Let j = 7/4 - 1/4. Is 2 equal to j?
False
Suppose -3*y - 2 = l + 4, 4*y + 27 = 5*l. Let o be -3*(-5)/l*1. Suppose 26 - 6 = -5*k + 3*v, o = v. Which is greater: -4/5 or k?
-4/5
Let r be -1*(1 + (0 - 3)). Let t = r - -1. Suppose 3*y + 14 = 5*w + 7*y, -t*w + 5*y + 1 = 0. Which is smaller: 2/11 or w?
2/11
Let z = -8 + 8.7. Let h = -0.6 + z. Is -2/11 less than or equal to h?
True
Let d = 5 + -4.6. Which is smaller: d or -1?
-1
Let a = 15 + -16. Let p be (-2)/4 + (-7)/(-22). Which is smaller: p or a?
a
Let i = 1 + 3. Let u = -5 + i. Let t = 0.1 + -0.2. Which is smaller: u or t?
u
Let w = 0 + 0.03. Let g = w + 0.67. Let r = 0.3 + g. Which is smal