Suppose p = 2*s + 3*s. Suppose s = 4*m - 9*m. Which is greater: -1 or m?
m
Let c = 518/4085 + -5/43. Which is smaller: 1 or c?
c
Let t = -15 + 30. Let q be 18*(t/6 - 2). Do q and 9 have different values?
False
Let j be (-100)/(-16) - (-2)/(-8). Suppose 0*d - j = -3*d. Is d bigger than 1?
True
Suppose -5*x = -3 - 7. Suppose -4*w = y - x, y - 3 = 3*y + w. Which is smaller: y or 0?
y
Let p(q) = -q + 1. Suppose 0 = -4*o + 4 + 8. Let k be p(o). Is k less than -2?
False
Let d(o) = 2*o - 47. Let r be d(23). Which is smaller: r or 2/553?
r
Suppose 61 - 991 = 3*f. Let n = -1558/5 - f. Is -3 at least n?
False
Suppose -6 = -2*g - 8. Is g less than 7?
True
Suppose -m + 2*m = -v - 4, 0 = -5*m - 3*v - 12. Suppose 10 + 5 = 3*z, -4*z = 4*s - 28. Is s at most m?
False
Let x(w) = -w**3 - 8*w**2 - 8*w - 5. Let q be x(-7). Suppose -q*a + 2*n = -5*a - 4, a = -n - 1. Let v = -0.06 + 2.06. Are v and a equal?
False
Let q = 39.6 + -36. Let z = q + -4. Are z and 1/4 unequal?
True
Let h be (-60)/(-25) - (-4)/(-10). Suppose -h*p = -5*p + 12. Is 4 bigger than p?
False
Let b(h) = h**2 - 6*h + 5. Let d be b(6). Suppose -r - d*i + 5 = -0, -2*i + 2 = 4*r. Is r greater than 1?
False
Let j = 81 - 78. Is j greater than 0.6?
True
Let c = -0.09 - -0.19. Let g = 10 - 19. Which is smaller: g or c?
g
Suppose -3*n + 12 = 0, -2*k - 5*n = -3*k - 12. Suppose 0*q = q + 1. Let z be q/((-2)/(8/10)). Is z at least k?
False
Let f(g) = -5*g + 13 + 0*g**3 + g**3 - 8*g**2 - 2 - 5*g. Let a be f(9). Suppose -3*k + 4*k - a = 0. Are k and 3 unequal?
True
Let m be (-3)/4 - (-81)/12. Suppose 3*w + 8 + 4 = 3*r, -3*w = m. Suppose 5*h + 2*n - 10 = -r, 5*n + 7 = h. Is h less than or equal to 5/2?
True
Let u = 10 + -16. Let g = -1 + 3. Let w be (-2)/3 - g/u. Which is smaller: w or 0.2?
w
Let s(i) = -i**2 + 4*i - 3. Let v be s(2). Suppose 6 = -21*j + 27*j. Is j at least v?
True
Let p be (-6)/12 + 65/100. Which is greater: 0 or p?
p
Suppose -3 = 2*m - 7. Let x be m*-1*5/2. Is -5 >= x?
True
Let q = -20 - -22.1. Let m = -2 + q. Which is bigger: 0.3 or m?
0.3
Let k be (-8)/(-52) + 11/13. Which is smaller: k or 1/8?
1/8
Let r(d) be the first derivative of -d**3/3 + 3*d**2 - 6*d + 1. Let y be r(4). Is 3 equal to y?
False
Let g = 84 + -107. Which is smaller: g or -21?
g
Let q = -47 + 211. Let x = 816/5 - q. Which is greater: -2 or x?
x
Let l = -5 - -4.7. Suppose -y - 1 = -v - 3, -4*y + 3*v + 6 = 0. Are l and y nonequal?
True
Let c be 28/(-51) - (-2)/3. Suppose -2*j - 2*u = -8, j - 1 = -2*u + 8. Is j > c?
False
Let d = 0.27 + -0.02. Let l = d + -0.45. Is -0.6 <= l?
True
Let n(c) = c + 8. Let i be n(-6). Let v be (i/4)/(2/24). Let f be 15/25 - (-32)/5. Which is bigger: f or v?
f
Suppose 0 = -3*m - 0 - 3. Which is bigger: m or -1/2?
-1/2
Let f(m) = -m + 3. Let g = 11 + -7. Let d be f(g). Let z be ((-6)/4)/(-1) + -2. Which is smaller: d or z?
d
Let i = -39 + 93. Are i and 55 equal?
False
Let q = 8.3 - 8.6. Is 11 > q?
True
Let a(h) be the second derivative of -1/2*h**2 - 3*h + 0 + 1/6*h**3. Let x be a(6). Is 5 != x?
False
Let u(n) = n**2 + 3*n + 1. Let x be (-225)/81 + (-2)/9. Let k be u(x). Which is smaller: k or 4/9?
4/9
Let q be 6/(2*(-99)/(-204)). Let o = q - 6. Suppose 0 = 5*l - 3 - 2. Is o less than l?
True
Let i be ((-5)/(-4))/((-2)/8). Let u be (16/5)/(i/(-25)). Suppose -2*k = 10, -3*k = -d + u + 1. Is 4/3 >= d?
False
Let g be ((-6)/7)/(2/14). Let a(y) be the second derivative of y**5/20 + y**4/2 + y**3/6 + 3*y**2 - y. Let v be a(g). Do 2/5 and v have different values?
True
Let s(z) = -z. Let y(i) = i**3 - 8*i**2 - i + 6. Let g = 9 + -1. Let c be y(g). Let t be s(c). Is t smaller than 1?
False
Let g = 0.93 + -1. Is g at least as big as 0?
False
Let i = -8 - -11. Let w = 0 - -4. Is i smaller than w?
True
Suppose -18*k - 99 + 495 = 0. Which is smaller: k or 23?
k
Let z(s) be the third derivative of 7*s**6/120 - s**3/6 - s**2. Let q be z(1). Let a be (3/q + 0)*-2. Are a and 1/8 equal?
False
Let m = 2 + -1.98. Let o = -44 - -43. Is m less than o?
False
Let u = 5 - 3. Let q be ((-2)/(-9))/(u/4). Is -2/5 < q?
True
Suppose 5*u = 4 - 14. Let t be 20/1 - (-2 - u). Let k be (t/(-25))/(4/(-10)). Which is smaller: k or -0.1?
-0.1
Let y be (-6)/4 + (-121)/(-22). Let b be 1 + 5 + y/(-1). Which is smaller: b or -4?
-4
Let b be 100/15*1/(-4). Is b less than -2?
False
Let k = -17 - -16.95. Is 0.1 > k?
True
Let w(b) be the third derivative of -b**4/3 - 2*b**3/3 - 5*b**2. Let a be w(2). Is a less than -19?
True
Suppose s - 35 = -4*s. Suppose 0 = -v + 5*q - q - 3, 5*v + q - 27 = 0. Are v and s non-equal?
True
Suppose -4*k = r + 144, -3*k - 3*r = -4*k - 49. Does -37 = k?
True
Let b = -0.85 + -0.15. Is -0.3 at most as big as b?
False
Let n(u) = -2*u**2 - 3*u - 1. Let r be n(-4). Let v be -3*r/((-3)/(-1)). Suppose q - 4 = -3*c + 4, -v = 4*c - 5*q. Do c and 0 have the same value?
False
Let i(c) = -c**3 + 13*c**2 + 15*c + 16. Let u be i(14). Is u > 30?
False
Let b = 2/5 - 3/20. Let f = 2 - -1. Suppose w = -m + 8, -f*w + 16 = m - 0*w. Does b = m?
False
Suppose -3*i + 3 = -5*a, -2 = -2*i + 5*a - 0. Which is bigger: -1/25 or i?
i
Let c be (-1)/(-1*2)*-2. Let o be (c/(-6))/(9/(-6)). Which is bigger: 1 or o?
1
Let k be (-2)/(-12)*10 - 3. Is 0 greater than or equal to k?
True
Let f = 13.9 + -14. Which is bigger: -19 or f?
f
Let c = 4.42 - -1.5. Let l = c + 0.08. Which is smaller: l or 2?
2
Let j(w) = w**3 - 4*w**2 - w + 4. Let n be j(4). Is n >= 1?
False
Let a be (-18)/54 + 1/(21/13). Is a not equal to 2/9?
True
Let f = -228 + -49. Let k = -1935/7 - f. Which is bigger: 2 or k?
2
Suppose 42 = 10*k - 16*k. Are -2 and k equal?
False
Suppose -8 + 4 = -z. Suppose z*u - 7 - 5 = 0. Suppose -x - r + 1 = 0, 2*r - u*r - 17 = -5*x. Is 1 less than or equal to x?
True
Let u = 1 - 4. Let i = 6 + -9. Let w = i + 3.2. Which is smaller: u or w?
u
Let n(z) = 3 - 1 - 5 - 2*z + z. Let u be n(-2). Which is smaller: -1/2 or u?
u
Let z(w) = -w**2 + 5*w + 2. Let t be z(4). Suppose 4*j - 10 = -t. Let r(u) = -u**3 + 3*u**2 - 2. Let d be r(2). Which is smaller: j or d?
j
Let t = -9.71 - -1.71. Let s = 0 - 0. Which is smaller: s or t?
t
Let s = 8/19 + -66/247. Which is bigger: -12 or s?
s
Let v(z) = -z**2 + 4*z + 3. Suppose -5*w + 35 = 4*d, 9 = -5*d - 5*w + 49. Let b be v(d). Which is smaller: b or -3?
-3
Suppose 0 = 6*k + 5 + 1. Is k greater than -1?
False
Suppose -3*n + 1 + 5 = 0. Suppose n*x = 3*x. Let d be (2/10)/(4/16). Which is smaller: x or d?
x
Let a = -22 - -22.2. Let w = a + 0.4. Which is greater: w or 1?
1
Let o = -5.9 + 2.1. Let h = -4 - o. Let v = 0 - h. Which is smaller: -2 or v?
-2
Let v be (-2)/21 - 1650/(-175). Is 9 >= v?
False
Let c(n) = 0 + 0 - 3*n**3 - 3*n**2 - 4 + 3*n + 2*n**3. Suppose 4*r + 13 + 3 = 0. Let b be c(r). Which is bigger: -1 or b?
b
Let z = 2.4 + -1.7. Let b = z - -0.3. Is b < 0.03?
False
Let m = -1878 + 16922/9. Which is smaller: 2 or m?
2
Let p be -1*2*(-2)/4. Let b be 781/3 + (-2)/(-3). Let t = -2869/11 + b. Is t at most as big as p?
True
Let d(x) = x + 11. Let a be (-6)/(-21) - (-144)/(-14). Let w be d(a). Which is bigger: w or 8/9?
w
Let k = 10 - 6. Let m be (2/(-20))/((-1)/k). Let j = -0.1 - -0.1. Is m >= j?
True
Let h = -0.25 - -0.25. Is 18 less than or equal to h?
False
Let r = 176 + -1234/7. Let a(f) = -2*f**3 + f**2 - f + 1. Let t(n) = -n**2 + 3*n - 1. Let s be t(2). Let b be a(s). Is r less than b?
False
Let p(c) = -c**3 - 7*c**2 - 9*c - 4. Let w be p(-8). Let f be (-2)/(-4) + (-90)/w. Is f != -1?
True
Let o = -7 + -3. Is o not equal to -9?
True
Let w = -0.03 - 0.07. Let k = w - 1.9. Which is bigger: k or -3?
k
Let h be 6*(560/(-564) - -1). Suppose -4*f = -0*f. Are f and h non-equal?
True
Let h(o) = 297*o**3 - 3. Let s be h(4). Let l be 1/(-4) + s/(-108). Let c = -176 - l. Which is greater: -1 or c?
c
Let n = 0.5 + -2.5. Let s = 0 - n. Let w = -3 + s. Which is smaller: -2/11 or w?
w
Let i = 4 + -3. Suppose 2*g = m, 0*m = -2*g - m. Do i and g have different values?
True
Let b be 6/18*(-165)/(-7). Let q = b + -57/7. Is q at least 1?
False
Let x be 3/6*(0 + 0). Suppose x = -0*b - b - 21. Let n = b + 43/2. Which is greater: 1 or n?
1
Suppose -3*y = -5*m + 137, 2*y + 133 = -m - 4*m. Let r = y - -539/10. Which is smaller: r or 1?
r
Suppose -4*k - 9 = -2*k + c, -2*k - 21 = 5*c. Let s(r) = r**3 + 2*r**2 - r - 3. Let d be s(k). 