 - m. Which is smaller: p or 0?
0
Let f = 7/10 - 9/20. Do -1/2 and f have different values?
True
Let f = -20 - -18. Let b be f/(-1) + (-21)/14. Do 0.1 and b have the same value?
False
Let q = 1 - 1. Let v = -1.3 + 2.3. Is v > q?
True
Let g be (6/(-52))/(1 + 42/(-24)). Let o = 4 + -3. Which is greater: g or o?
o
Let n(q) = -q**2 - 8*q + 1. Let d be n(-6). Is 12 < d?
True
Let m = 4.2 - 7.6. Let o = -3 - m. Let r = 0.2 - o. Is r equal to 0?
False
Suppose 4*v - 13*v = 981. Which is greater: v or -107?
-107
Suppose -b + 4*b = -5*i + 27, -2*i + 14 = 2*b. Suppose b*r - 6 = -z, -2*r + 11 = -r + 5*z. Let n be (-2)/9 - (-8)/(-45). Which is bigger: r or n?
r
Suppose 40 = -6*y + y. Let k = -5 - y. Which is smaller: k or 2?
2
Let v = 6 - -2. Let k(h) = 2*h - h**2 - v*h - 11 + 8. Let g be k(-3). Which is smaller: 7 or g?
g
Let t(d) = -d**3 - 5*d**2 - 2*d + 5. Let k be t(-4). Let r = k + 3. Let u be ((3 + -5)/(-6))/(-1). Which is bigger: u or r?
r
Let n = -27 - -26. Which is bigger: n or -2/13?
-2/13
Let f = -14.5 + -0.5. Which is smaller: 0.1 or f?
f
Let x = -5 + 7. Let l = x + 2. Let q = l + -4. Is q equal to -1?
False
Let c = 34 - 46.1. Let i = 9 + c. Let a = -3 - i. Is -1 smaller than a?
True
Let i = -2/727 - -4372/3635. Which is greater: i or 1?
i
Suppose 1 = 2*w - 5. Is w at most as big as 3?
True
Let p = -0.2 - 0. Let c = -60 - -60. Which is smaller: c or p?
p
Suppose -73 = 5*r - 2*r + 2*u, -u = -4. Let p be (-6)/r*-6 + 2. Which is smaller: p or 0?
0
Let a be (-1)/62*(1 - -3). Suppose -2*g = -g. Which is greater: a or g?
g
Let q = 4 + -2. Suppose -q*j + 9 = -5*j. Let f = -14 - -11. Do j and f have different values?
False
Let d = -41 + 77. Let t be (-8)/d - (-142)/(-9). Let p be (t/(-44))/(2*1). Is 1/4 greater than p?
True
Suppose 4*f + 2*o = -o - 558, 2*f = o - 274. Let p = -13 + 21. Let y be (9/f)/(6/p). Is y bigger than 0?
False
Suppose 1 = -r - 2*s, -4*r + 2*s - 2 - 2 = 0. Suppose 58*x = 62*x + 28. Is r smaller than x?
False
Let y be 2/(-52)*22 - -1. Which is smaller: 0 or y?
0
Let s = 45 + -26. Is s < 18?
False
Let h(z) = -z. Let t be h(-5). Let n be (1*-1)/(-4 + t). Let w = 0.04 + -3.04. Is n less than w?
False
Let x(k) = k**3 + 3*k**2 - 6*k - 6. Let c be x(-4). Let s(m) = 5*m**2 - 3*m + 1. Let i be s(c). Let t be 1 + 0 + i/(-18). Which is greater: t or 0?
t
Let o = -0.01 - 0.01. Let s = 0.12 + o. Which is greater: s or -10?
s
Let b(s) = -2*s - 12. Let t be b(-5). Which is greater: t or -3?
t
Suppose d = p - 7, 2*p - 3*d - 25 = -2*p. Suppose p*c - 2*o = -6 + 18, -4*c + 3*o + 12 = 0. Let w be -2*(c/6 + -3). Is w at least 4?
True
Let o = 7 + -4. Let y = o + -2.6. Suppose -3*q + 3 = -5*p, 4 = q + 3*q - 2*p. Is y <= q?
True
Let s = 7 - 4. Suppose s = -4*c + 3*c. Let m be 1 + 1/(c/(-6)). Does 4 = m?
False
Let r = 1.22 + -0.22. Which is smaller: r or 3?
r
Let i = 3.5 + -3. Let t = -0.6 + i. Which is smaller: -2 or t?
-2
Let h(z) = -z**2 + 8*z + 12. Let v be h(9). Let o be -1*((-8 - 2) + v). Let i(u) = u**2 - 6*u - 1. Let s be i(o). Is 6 at least s?
True
Let d = -66 + 62. Which is smaller: -16/5 or d?
d
Let a be (2/(-65))/((-1)/5). Suppose 3*i = 4*j - 7*j, 3*j = 5*i. Suppose 2*m = -j*m. Which is smaller: m or a?
m
Let s = -5/37 - 271/185. Are s and -5 equal?
False
Suppose 2*f + 10 = 0, 2*r - 5 = -3*r + 2*f. Let c = -1/46 - -49/138. Which is smaller: c or r?
r
Let i(k) = -k**3 - 10*k**2 + 9*k - 25. Let j be i(-11). Do -2 and j have different values?
True
Let h be (11/3 + -3)/((-1)/3). Is -4 less than or equal to h?
True
Let i = -12 - -11. Let a be (1/2*0)/i. Is -1/2 greater than or equal to a?
False
Let g = -5 + 28. Is g < 22?
False
Let l = -223/2 - -109. Let g(v) = v - 2. Let b be g(5). Suppose 0 = b*p + 6. Which is bigger: p or l?
p
Let f be -3*3/(-12)*-4. Let d be (-3)/(-4)*2/f. Is -1 less than or equal to d?
True
Let r be ((-6)/(-7))/(9/42). Suppose -20 = -j - 4*l, l - r - 1 = 0. Is 1 less than j?
False
Let f be (0 - (-2)/(-2)) + 0. Do -4 and f have the same value?
False
Let s = 41.7 + -41. Which is smaller: s or 2/9?
2/9
Let w(o) = o**2 + 8*o + 7. Let p be w(-6). Let r = -16/3 - p. Which is bigger: r or 1?
1
Let g(w) = -w + 14. Let k be g(2). Are 80/7 and k non-equal?
True
Let l(g) = g. Let s be l(8). Which is smaller: 9 or s?
s
Let a = -63662/11 - -5782. Which is greater: -4 or a?
-4
Let a(s) = -5*s - 2 + s**2 + 5 + 0*s - 9. Let d be 8 - (1 + (1 - 0)). Let v be a(d). Is -5/4 at most as big as v?
True
Suppose 0*x = -2*y - 3*x + 7, -4*y - 3*x = -17. Let s be 13/2 - y/10. Let z be (4/s)/((-2)/(-2)). Is 2 greater than or equal to z?
True
Let f be ((-3)/9)/((-1)/57). Which is smaller: 20 or f?
f
Let a(f) = 3*f + 3. Let g be a(-1). Which is smaller: -1/14 or g?
-1/14
Let q = 9 - 4. Let y be 8/12*(-3)/q. Let n = -10 + 9.9. Is y >= n?
False
Let w be 16/(-56) + 2/7. Suppose u + w = -1. Which is bigger: -4/17 or u?
-4/17
Suppose p = -3*p. Let q = 8 + -6. Let a = q - 1. Is a at least as big as p?
True
Let x = 2.7 - 3.1. Which is bigger: x or 8?
8
Let q = 71 - 69. Is -7 less than q?
True
Let o be (-4)/8 + (-9)/(-2). Suppose -g + o = -5*g. Are g and -3/7 nonequal?
True
Let g be (66/(-8))/((-6)/16). Is g at most 22?
True
Let b be ((-3)/4)/((-204)/(-1635416)). Let c = 6013 + b. Let z = c - -1/17. Is -4 less than z?
True
Let n be (-2)/(-4) + 6/(-4). Suppose -2*z = -5*q + q - 16, 5*q + 24 = 3*z. Let b = 6 - z. Is b > n?
False
Let n be (-1*(-2)/(-2))/1. Which is greater: 1 or n?
1
Suppose 5*u = -5*g + 55, 4*g = 4*u + 5 - 1. Suppose -14 = 2*c - 4, 0 = m - c - g. Is -1/5 less than or equal to m?
True
Let n = 14 - 22. Let b = n - -6. Is b at most -4/7?
True
Let h be (-1 + 2 + 0)*31. Suppose 4*b + h = 5*i, 4*b + 3 = -5*i + 2. Let s be (16/84)/(b/6). Which is smaller: 0 or s?
s
Let i(k) = -k**2 + 6*k + 6. Suppose -o - 5*p = -27, p = 2*o - 4*p + 6. Let y be i(o). Is -3 <= y?
True
Let m = -4857/12460 + -13/35. Let t = 1/89 + m. Is 2/3 at most t?
False
Let r = 24 - 19.6. Let t = r + -0.4. Which is smaller: -1 or t?
-1
Let f = -10 + 51/5. Let h be 1/3 - (-3)/(-9). Suppose 5*s + 23 = -3*n, h = 5*n + 3*s - 0*s + 17. Which is greater: f or n?
f
Let g(u) = -u**3 - 13*u**2 + 13*u - 13. Let n be g(-14). Suppose 2*k + 3 - n = 0. Do 2/5 and k have the same value?
False
Let v be (-2 - (-4 + (-2 - -5)))/4. Let g = -3.1 - -3. Which is greater: g or v?
g
Let h be (15/(90/(-12)))/((-1)/(-15)). Which is smaller: h or -31?
-31
Let g = 327/1591 - 10/43. Is 0 less than g?
False
Let b(y) = -y**2 - 2*y - 1. Let u be b(-4). Let a = -5 - u. Suppose 5*k - a*h + 5 = 0, -k - 2*h = h + 1. Which is greater: 2/5 or k?
2/5
Suppose 4*m - 7*m = 3. Is m bigger than 3/32?
False
Let u = 11/3 + -4. Is u < 17?
True
Let y be 2/(-3) - 3/(-18). Let x(v) = 12*v - 4. Let o be x(4). Let b = o + -130/3. Which is bigger: y or b?
b
Suppose 0*a - 3*a + 5*u - 8 = 0, -u = -1. Let v be (0 - -1)*(-4)/(-1). Which is smaller: a or v?
a
Let i be 7/(-14) - 6/(-28). Is -2/3 at least i?
False
Let v be (7 - 4) + 0 + (-76)/28. Are v and 7 equal?
False
Let u = 44 + -45. Is u > 2/81?
False
Let l = -1271/5 + 5458/15. Let k = l - 111. Which is smaller: k or -2?
-2
Suppose 20 = 11*x - 7*x. Suppose k = -3*d + 5 - 18, -x*k - 32 = 4*d. Is -1 equal to k?
False
Suppose 169 + 56 = 5*u. Suppose -u = -o - 2*o. Suppose -3*t - 4*p = -8*t + o, 0 = -p. Is t less than 3?
False
Let o(j) = j**3 + 5*j**2 - 24*j - 20. Let k be o(-9). Does k = -128?
True
Suppose -3*p = -2*q - 13, 5*q - 14 = -2*p + q. Suppose 4 = -4*g, p*g + 48 = -4*v - 1. Are -10 and v equal?
False
Let r(m) = m**3 - 7*m**2 + 7*m - 5. Let h be r(6). Let j be (8 - 9)/(h*-1). Is j <= 1/6?
False
Suppose -21 = 3*d - 2*d. Let r = -21 - d. Is r greater than or equal to -8?
True
Let a = -325 - -6177/19. Is -2/11 smaller than a?
True
Suppose 29 = -4*y + 113. Suppose 0 = -g + 4*g - y. Which is smaller: 9 or g?
g
Let h be 36/15 + (-4)/10. Suppose 6*s = 2*s + 4. Let a be (s - h) + 18/12. Which is bigger: 2 or a?
2
Let a be 56/132 - (-4)/6. Suppose 3*u = -2*u + 10. Which is greater: u or a?
u
Let s = -219 + 869/4. Does s = -1?
False
Let t = 22 + -10. Is 12 > t?
False
Let r = -29.16 + 29. Let y = r - -4.16. Do 2 and y have different values?
True
Let c = -37 - -332/9. Suppose -3*d - 18 = -3*n, -11*d = -12*d - 5. Which is greater: n or c?
n
Let m = -0.11 - 3.89. Let z = -8 + 5. Let f = z - m. Whic