p = -5 - q. Which is greater: p or -1?
p
Suppose -5*p + 6 - 1 = -o, -2*p - 2*o = -14. Let c = 3 - p. Is c at most 0?
False
Let h = 40 + -37. Let r be (8/6)/(2*-1). Is r less than or equal to h?
True
Let z = -2 - -6. Suppose -9*n = -11*n + z. Suppose -3*h - 3*l + 2 + 4 = 0, 5*h + 2*l - 10 = 0. Do n and h have different values?
False
Let g = 9 - 5. Suppose -3*n = -n - 2*z + g, 10 = -5*n - 4*z. Let b = n + 1. Is b equal to 0?
False
Suppose 0*r + 4*r = -68. Let c(s) = s**3 + 18*s**2 + 16*s - 14. Let j be c(r). Which is smaller: j or 18/11?
18/11
Let s = 8 + -4. Suppose s*a - 139 = -39. Suppose -4*n = n + a. Which is bigger: n or -6?
n
Let q be ((-9)/(-1 - 2))/((-20)/12). Is -1 bigger than q?
True
Suppose 5*n - 35 - 20 = 0. Is n >= 11?
True
Let c(l) = -l**2 - 2*l + 36. Let t be c(-7). Is t < 1/102?
False
Let q be 84 + (-44)/10 + (-2)/(-5). Is q equal to 79?
False
Let v(h) = -h**3 - 6*h**2 - 4*h + 3. Let u be v(-5). Let d be (u + 3)*(4 - 2). Let g = 3 - d. Are g and 2/21 equal?
False
Let c = 16 + -15.9. Does 0.3 = c?
False
Suppose -5*p = 4*a - 111, 2*a = -3*p + 38 + 29. Suppose 4*k = -w - 0*w + p, 0 = -5*w + k + 10. Let q = 9 + -5. Which is bigger: q or w?
q
Let q(w) = w**2 - 3*w - 1. Let g be q(4). Suppose j = -3*n - 19, g*n + 20 = -5*j - 39. Is -9 smaller than j?
False
Let c be 2/(-3)*(-15)/35. Let a = -8/21 - c. Does 1/3 = a?
False
Let x be (2 - 0)/(-13 + 9). Is -11 greater than or equal to x?
False
Let b = 0 + 1. Let v = -5 - -11. Let j = v + -10. Is j <= b?
True
Let o be (-52)/(-20) + 6/(-10). Suppose o*a = -15 + 5. Is -5 <= a?
True
Let n be -1 - (16 - -2)/(258/(-15)). Is 0 >= n?
False
Let n be (10/(-6) - -2)*(-10 - -10). Let t be ((-1)/(-3))/(7/(-3)). Is n at most as big as t?
False
Let r(g) be the third derivative of g**4/24 + 7*g**3/6 - 4*g**2. Let d be r(-8). Is d equal to 0?
False
Let i = 23 - 22. Which is greater: i or 3?
3
Let k = 0.3 - 0.4. Is k smaller than 0?
True
Let v = -26 - -5. Are -21 and v non-equal?
False
Let b = -37511 - -2100459/56. Let q = -24/7 - b. Which is bigger: q or -2?
q
Let n = -0.08 - 2.92. Let x = 5.75 - 8.75. Is x at least n?
True
Let y = -107 + 857/8. Let a(n) = n**2 + 4*n. Let t = -11 + 7. Let k be a(t). Which is smaller: y or k?
k
Let o = 4 - 1. Let g be ((16/(-4))/4)/(-1). Which is smaller: g or o?
g
Let n(u) = -u**3 - 4*u**2 + 2*u + 4. Let w be n(-4). Suppose 5*q + 20 = a, q + a = -2*a + 12. Is w smaller than q?
True
Let i(q) = q**2 - 13*q + 2. Let o be i(13). Suppose -o = -x - 3. Which is smaller: x or 2/13?
x
Let v be (-32)/(-14) - (-2)/(-7). Suppose -5*t = -4*t - 2, -5*c + 4*t = -v. Is 2 < c?
False
Let i = -0.09 + 1.09. Let x = 2 - i. Are 0.1 and x equal?
False
Let a(p) = 2*p + 2. Let h be a(-4). Let u be h/9*(-12)/8. Which is smaller: u or -2/11?
-2/11
Let m = 35 + -17. Suppose 3*j + j + t + 10 = 0, 4*j = 3*t - m. Which is bigger: j or -4?
j
Let o(j) = j**3 - 6*j**2 - 6*j - 9. Let g be o(7). Let f be (g/3)/(1/(-6)). Does 1 = f?
False
Let x = 5.5 - -0.5. Let f = -8 + x. Let u = 6 - 5.9. Is f >= u?
False
Let b = 1108/7 - 158. Is -8 < b?
True
Let w(h) = h**3 - 6*h**2 - 6*h + 11. Let c be w(7). Suppose 4*m - 2*j + 54 = 0, -m + 2*m - 2*j = -c. Which is smaller: m or -11?
m
Let b = -4898/49 + 74681/735. Let i = -2/105 - b. Does i = -1?
False
Let m = -192.1 + 184. Let y = m + 8. Which is bigger: y or 1/4?
1/4
Let d = 0.3 - 0.4. Let x = d + 0.2. Is -0.2 bigger than x?
False
Suppose i - 50 - 29 = 4*a, -3*i - 4*a + 205 = 0. Let w be (-3)/(-9) + 212/(-3). Let r = i + w. Which is greater: r or -0.2?
r
Let a = 14 - 15. Which is bigger: a or 1/5?
1/5
Let b(x) = -x**2 - 7*x - 1. Let s be b(-6). Let r = 8 - s. Let k be 1 + -2*r/12. Is -0.2 != k?
True
Suppose -3*j = -j - 4. Suppose j + 2 = 2*h. Is 1 less than h?
True
Let b(i) = i**2 + 8*i + 6. Suppose -5*w + 40 - 15 = 0. Suppose -v + w*s - 8 = 4, 3*v + s = -20. Let p be b(v). Which is smaller: 0.1 or p?
p
Let y = -17.8 - -18. Let t = -4.8 - y. Is t at least 1?
False
Let z = 108602/69 + -1574. Which is bigger: -1 or z?
z
Let l = -0.7 + -3.3. Let o = -4 - l. Let v = 0 - o. Is v less than or equal to -1?
False
Let x = -0.4 + 0. Let g = x - -0.5. Which is greater: g or -4?
g
Let a = 49 - 48.6. Is a <= -4?
False
Suppose 3*c = 15*c. Is c equal to -1/89?
False
Suppose 4*m - 25 + 1 = 0. Suppose 0 = -w + m*w - 10. Is w less than or equal to 1/2?
False
Let z(y) = -5*y**3 - 3*y**2 - 2*y + 1. Let m be z(-2). Which is bigger: m or 35?
35
Let a be ((-6)/(-668))/((-66)/(-88)). Which is bigger: a or 1?
1
Let i be 35/(((-7)/(-2))/7). Suppose 2*z + 16 = 3*x - 5, 0 = 2*x - 6. Let n be z/21 - (-62)/i. Do 1 and n have the same value?
False
Suppose 3*p + 2 = 2*q, 4*q + 3*p + 7 = -7. Let u = -7 + q. Let t be 4 - 6 - 19/u. Is t at most as big as 1?
True
Suppose -4*q + 4*d = -24, -q - 34*d + 32*d - 9 = 0. Let n be 1 + 2/(-5)*-69. Let m = -29 + n. Is q at least m?
True
Let n = -244733/97 + 2523. Which is smaller: n or -1?
-1
Let r = 2221/11991 + 3/571. Is r greater than or equal to -1?
True
Let u be (-1*4/(-36)*3)/(-27). Which is smaller: u or 1?
u
Suppose 0*d - 4*g + 5 = -d, -3*d = 5*g + 32. Let o = -8 - d. Which is bigger: 3/5 or o?
o
Suppose -3*g - 153 = 3*y, -y - 245 = 5*g - 6*y. Let t be ((-137)/(-2))/(22/(-16)). Let q = t - g. Which is greater: q or -1?
q
Let k = 3 - 3. Suppose k = -y - 2 + 3. Let a = y - 1. Is -1/5 greater than a?
False
Suppose 0 = 2*o + 10, 5*m - 4*o = m - 144. Which is smaller: m or -42?
-42
Let i = 10 + -3. Let s be (-2)/i + 87/(-14). Which is smaller: -7 or s?
-7
Let y = -1100 + 23104/21. Is -1 smaller than y?
True
Let m be 2/(2*(-1)/1). Let h be (m/(-5))/(4/(-10)). Let z(v) = v - 1. Let d be z(1). Which is smaller: h or d?
h
Let x = 39 - 40. Is x greater than 27?
False
Suppose -46 = -2*o - 4*r, -2*r = o + r - 27. Let i be (-5)/o + (-14)/(-24). Let y be (-2)/4*0/4. Do i and y have the same value?
False
Let p = -0.6 + 4.6. Let v = 3.8 - p. Is v smaller than -2?
False
Let u be 2 - (1 + -3) - (-986)/(-247). Which is smaller: u or -1?
-1
Suppose 2 = -q - 1, -2*x - 1 = 3*q. Which is bigger: 5 or x?
5
Suppose 21 = 3*a - 6. Suppose -j - a = 4*x, -2*j - x - 5 = j. Let h = 29 - 29. Which is smaller: h or j?
j
Let r(u) = 33*u + 5. Let o be r(-2). Is o smaller than -61?
False
Suppose u + 1 = 10. Suppose -y = 2*y - u. Let v = -14 - -16. Is y at most as big as v?
False
Suppose 3*o - 6 = 0, o - 28 = -3*h - o. Suppose 2*p = 2*x + h, 6*x = 4*x - 6. Let c be 1 + (0 - (-2)/(-5)). Is c greater than p?
False
Let w = -2/175 + 27/175. Suppose 0 = j + u - 5 + 4, 9 = 4*j + 5*u. Let t(v) = v + 3. Let h be t(j). Is w > h?
True
Suppose 0 = 2*h - p + 5, 3*h = -2*h + 5*p - 20. Is 2/19 <= h?
False
Suppose 2*c - 2 - 8 = 0. Suppose 0 = 3*a - 4 - 5. Is a equal to c?
False
Let z = -1.3 - -2. Let y = z + 1.3. Which is smaller: y or 0.2?
0.2
Let x = 2 - 1.9. Let y be 12/10 - (-2)/(-10). Is x equal to y?
False
Let q(a) = -2*a + 40. Let v be q(15). Is 21/2 greater than v?
True
Let c = -10 + 10. Let j be (c*2/4)/1. Is -6/11 greater than or equal to j?
False
Let p = 0.1 + 0.1. Let f = p + -1. Let o = 0.2 - f. Does o = -1?
False
Suppose 0 = q + 3*q. Are -3/2 and q nonequal?
True
Let s(w) = -2*w**3 - 3*w**2 - 12*w - 15. Let k be s(-3). Is 48 not equal to k?
False
Let v = -0.4 - -0.5. Let q = 4.72 - -0.28. Is v at least as big as q?
False
Let z be (-3)/(-20)*(-14)/(-21). Suppose 2 = 5*t - 18. Let c be (-1)/3 + t/(-6). Is c != z?
True
Let o be (-3)/1*((-8)/(-6) + -1). Is -1 bigger than o?
False
Let g = 0.09 + 0.11. Let k = 0.1 - g. Are k and 1.2 non-equal?
True
Let p = 10 + -8. Is p >= 0?
True
Suppose 2*a - 6*a - 40 = 0. Let n be (-2)/a - 26/5. Let b = n - -2. Do b and -3 have different values?
False
Suppose -3*f = -8*f - 10. Suppose -4*b + 11 = 7. Are f and b unequal?
True
Let p be -2*((-21)/(-30))/(-7). Let b = 0.3 + -0.2. Is p greater than or equal to b?
True
Let m be 152/(-80) + 3/2. Let k = -3/20 - m. Does k = 1?
False
Let q(f) = f + 8. Let u be q(3). Is 12 != u?
True
Let r = 3 - -1. Suppose -5*n = 2*b + 16, -4 = -r*n - b + 5*b. Is -2 greater than or equal to n?
True
Let m be (-1)/(-4) - 3/(-4). Let w(a) = a**2 - a. Let r(v) = -5*v**2 + 8*v - 1. Let y(i) = r(i) + 4*w(i). Let j be y(3). Are j and m equal?
False
Let u = 8411/19 + -443. Which is greater: 1 or u?
1
Suppose -3*c + 2*c + 5 = 0. Suppose -3*v +