v != -1?
True
Let x be 5/(-5) + -9 - -2*1. Let v(k) = -k + 1 - 6*k - k**2 + 8. Let g be v(x). Are g and 1/5 unequal?
True
Let u = -33 - -32. Is u bigger than 1/61?
False
Let n = 30.1 + -28. Let i = n + -0.1. Which is greater: i or -3/4?
i
Let w be (-3 - (-4)/(-4))*-10. Let o be 10/(-26)*(-8)/w. Which is bigger: o or -1?
o
Let k = 32 - 48. Let q = k + 18. Which is greater: q or 0.5?
q
Let z be 7076/60 + (-2)/6. Let t = z - 118. Is t <= 0?
True
Suppose 0 = -k - 5*u - 21, -2*u + 4 = -5*k + 7. Which is bigger: -2 or k?
k
Let b be -1 + (3 - 3/1). Let h = 4 - 7. Which is smaller: b or h?
h
Suppose -4 = 4*z + 5*x + 17, -x + 19 = -5*z. Which is smaller: -1 or z?
z
Suppose 5*r - 112 - 8 = 0. Let x be 1*-6 + r/8. Is 1 greater than or equal to x?
True
Let f = 139/15 + -28/5. Let u be 7/(-12)*(-41)/(-7). Let z = u + f. Which is smaller: -0.1 or z?
-0.1
Suppose 3*d = -2 - 10. Let r be (-21)/(-12) - (d + 5). Are r and 2 equal?
False
Let j(m) = -2*m - 8. Let c be j(-6). Let t be c/(-3)*(-9)/(-105). Let b = -97/70 + t. Which is bigger: b or -2?
b
Let n be ((-20)/15)/(4/(-18)). Suppose -p + 11 = -3*s, -2*p - 2*s + 0*s + n = 0. Suppose 2*o + 9 = 5*q, o - p*q = -q - 9. Which is smaller: 1 or o?
1
Let j be (-1*2 - -2) + 36. Suppose -4*g + j = -4*i, 2*i - 6*g = -g - 27. Which is smaller: -5 or i?
i
Let w = 1/10 - 1/2. Let b = -12 + 10. Which is smaller: w or b?
b
Suppose -4*v = -3*c - 0*c - 7, 4*v + 28 = -4*c. Is c less than -5?
False
Suppose 3*x - 2 = 16. Let f = -4 + 11. Which is smaller: x or f?
x
Let o be (-5)/10 + (-4)/16. Let c(u) = -10*u**2 - 1. Let b be c(-1). Let f = b - -21/2. Is o at most f?
True
Let l be (-3)/(-5)*2/30. Which is greater: 0 or l?
l
Let d(q) = q**2 + 19*q + 18. Let s be d(-18). Which is smaller: -2/61 or s?
-2/61
Suppose -w - 14 = 5*m, -2*w + 2*m - 1 = 3*m. Let d be (3 - 1)*3/2. Suppose d*b = 5 + w. Is 3/4 less than b?
True
Suppose 0 = -y + 3, 4*y = -0*r + 5*r + 32. Is -1 <= r?
False
Let o be 4/(8/(-10))*1. Which is bigger: o or -0.1?
-0.1
Let c = -19 - -21. Is c greater than or equal to 0.5?
True
Let l = 5 - 4.9. Suppose 0 = 3*w + 3*d - 30, 2*d - 5*d = w - 10. Let b = w - 7. Which is smaller: b or l?
l
Suppose -7 - 5 = -4*p. Which is bigger: -2 or p?
p
Let p(b) = -3*b + 38. Let o be p(11). Which is bigger: o or -0.1?
o
Let c be -4*1 - 84/(-20). Is c at most -1?
False
Let s = -12 - -5. Which is greater: 1 or s?
1
Suppose 5*m - 24 = 1. Suppose m*j = 5*o - 25, j - 10 = -2*o - 2*o. Is o >= 5?
False
Suppose 8*z - 6*z = 644. Let n = z - 6764/21. Which is smaller: n or -1?
-1
Let p be 36/16*(-160)/15. Which is greater: -23 or p?
-23
Let p = 0.3 + 3.7. Let z = 4.161 - -0.039. Let d = p - z. Which is smaller: 0.1 or d?
d
Let c(q) = -2*q - 11. Let f be c(4). Do -16 and f have different values?
True
Let l be (3/9)/((-3)/63). Let o(a) = -a**2 - 7*a - 2. Let c be o(l). Is 4 > c?
True
Let j(y) be the second derivative of y**5/20 - 7*y**4/12 + 7*y**3/6 + 3*y. Let n be j(6). Let i be (-11 + n)*(-8)/(-10). Is i greater than -4?
False
Let p = -0.8 - 0.2. Suppose 4*z - 2*h - 10 - 10 = 0, 2*z + h - 18 = 0. Which is greater: p or z?
z
Let h = -20 + 79/4. Let j = 10 + -10. Which is bigger: j or h?
j
Let k = -4 - -4.5. Let d = k - 0.8. Let u = -0.3 - d. Is u at least as big as 0?
True
Let k(n) = n**3 + 11*n**2 + 10*n - 5. Let j be k(-10). Is j less than or equal to 0?
True
Let u = -7 - -5. Let y = 986/5 - 198. Are u and y equal?
False
Let y(c) = -8*c**3 - 7*c**2 + 4*c + 4. Let f be y(6). Let r be 4/4 - f/(-1386). Let t = r - 2/99. Are -1 and t unequal?
True
Let u = 122 + -119. Is u at most as big as 3?
True
Let v = -0.6 + 1.6. Is v >= 4?
False
Let u be 0 + 4 + (1 - 5). Suppose 3*c = -5*o + 20 + 2, 15 = 3*o. Which is greater: c or u?
u
Let f = -45 - -27. Is -19 not equal to f?
True
Suppose 5*a - 3 - 7 = 0. Suppose -3*g = -2*g + x - 6, 26 = 3*g + 5*x. Is a less than or equal to g?
True
Let z be (-2337)/(-180) - 6/(-10). Let v = z + -49/3. Which is bigger: -2 or v?
-2
Let t = -19 - -30. Suppose 2*p - t = 5. Let a be (4/p)/(5/(-4)). Is -1/4 at most as big as a?
False
Let n = -1 - -5. Let h be n/18 + (-25)/(-9). Let i = h - 1. Which is smaller: i or 6?
i
Suppose -4 = 3*n - 5*i, 2*i + 56 = -5*n - 2*i. Let h be 1*4/n*-2. Are 1/5 and h equal?
False
Let h = 29 + -29. Let d be (4/3)/(1/3). Suppose -9*k + r - 2 = -4*k, 0 = -k - r - d. Which is smaller: h or k?
k
Let m(g) = -2*g**3 + 6*g**2 + 5*g - 4. Let q be m(4). Suppose -d + 0*d = 15. Which is bigger: q or d?
d
Let v(l) = -l + 1. Let d be v(-6). Let o(w) = w**2 - 6*w - 7. Let c be o(d). Are c and 1/3 nonequal?
True
Let f(t) = -3*t - 7. Let g be f(-3). Suppose 2*s + 10 = 4*c, -4*c + g*c + 4*s + 14 = 0. Let o = -59/10 - -709/110. Which is greater: o or c?
c
Let g be (2/(-3))/(2/(-9)). Let m = -4 - -9. Let n be 2/g*3/m. Is n < -1?
False
Suppose -3*b + 28 = -b - 4*z, b - 29 = 5*z. Suppose -3 = 3*h - 6, b*h = -2*f + 4. Which is bigger: 2/7 or f?
2/7
Let p = -20.8 + 20. Let d = -1.5 - p. Does d = -1/3?
False
Suppose -2*u - 3*u - 2 = 4*f, 3*f = -4*u - 2. Let q be -3 + (2 - f) + 5. Suppose q*p = -p. Which is greater: p or 3/5?
3/5
Let m(u) = 2*u**2 + 20*u + 26. Let r be m(-8). Is r < -52/11?
True
Suppose 0 = 2*k - 5*k, -3*k = -2*h + 6. Suppose 5*b + 0 - h = u, 0 = 4*b. Are 0 and u non-equal?
True
Suppose -p = -1 - 3. Which is smaller: p or 5?
p
Suppose -3*c - 4*j - 2 = 0, -4*j = -c - 2*j - 4. Suppose 0 = -3*u + 15, -4*d - u - 5 + 2 = 0. Is d <= c?
True
Let j = -6.72 - -0.52. Let b = 6.14 + -0.14. Let h = j + b. Is 2/7 greater than or equal to h?
True
Let n = 3 + -5. Let p be ((-3)/9*0)/n. Is p >= 2?
False
Let u(m) = m**3 + 11*m**2 - m - 9. Let q be u(-11). Suppose -3*a - 2 = -5, q*n = -4*a + 8. Do n and 6/7 have the same value?
False
Suppose -12 = -b - b - 3*a, -2 = 2*b - 4*a. Is 1 less than b?
True
Let y be 254/(-77) - (-20)/35. Is y <= -2?
True
Suppose -3*i + 14 + 25 = 0. Suppose g - 2*g = i. Let u = g - -88/7. Which is smaller: -1 or u?
-1
Suppose -5*b + 21 = -v + 3*v, b = -v + 3. Is -5 bigger than v?
False
Let j be (1 - 18/14)*(-7)/15. Which is smaller: -1 or j?
-1
Let l be ((-1)/(-3))/(4/12). Let g be ((1 - l)/(-3))/(-1). Is 6/7 at least g?
True
Suppose g + 3*x + 221 = 6*g, 2*g - 76 = -5*x. Which is bigger: 44 or g?
44
Let t(x) = x + 19. Let y be t(-13). Are y and 6 non-equal?
False
Let i(z) = -z + 11. Suppose 0 = -4*d - h + 44, 6*h = 4*d + 3*h - 28. Let n be i(d). Is n bigger than 2?
False
Let t = -1.86 - 0.14. Let q = -2 - t. Is q smaller than 0.1?
True
Let n = -3351/8 - -418. Let l = 17/16 + n. Is -1 > l?
False
Let k(p) = -p**3 - 11*p**2 + 11*p - 8. Let f be k(-12). Let q(z) = -4*z + f*z + 1 - 2*z**2 - z**2. Let l be q(-1). Which is bigger: -1 or l?
-1
Suppose 3*z + 11 = -4*f, -4 = 3*f + 4*z + 13. Does 2/5 = f?
False
Let q be (5/(-309))/((-8)/114). Let f be 16/(-24)*9/(-309). Let i = q + f. Is i not equal to 3?
True
Let d(u) = -u**3 + 3*u**2 + 5*u - 6. Let f be d(4). Is f bigger than -4?
True
Let x(y) = -y**3 - 10*y**2 - y + 11. Let v be x(-10). Let d = v - 25. Which is smaller: -7 or d?
-7
Let p = 4124 - 1488. Let z = 376946/143 - p. Let s = -300/1001 - z. Is 0 greater than s?
True
Let a = -262 - -1831/7. Is a at most as big as 1?
True
Let s = -24 + 40. Let v be (-1)/(-1) + s + -10. Is 7 equal to v?
True
Let k = -70 - -69. Let q = -7/2294 + 5/74. Which is bigger: q or k?
q
Let o = -18 - -36. Suppose -3*w + 0*w = -o. Suppose -3*m + m + w = 0. Which is smaller: m or 4?
m
Let x = -2.3 - -1.7. Which is smaller: 0 or x?
x
Suppose d + d = 0. Suppose d = 2*y - 3*u + 2, 3*y - 4*u + 3 = -0. Does 3/8 = y?
False
Suppose 0 = -5*z + 2*l - 8, -2*z + 2 = -4*l + 18. Let x be ((-10)/(-4) - (-9 + 8)) + -3. Which is bigger: z or x?
x
Suppose 14 - 17 = -3*h. Is -1/9 < h?
True
Let b = -17 - -17. Which is greater: 1 or b?
1
Suppose -4*c + 8 + 4 = 0. Suppose 4*a = 7*a - 3. Which is bigger: a or c?
c
Let h(x) = -x**3 - 4*x**2 + 5*x - 2. Let k be h(-5). Let c = -12 + 0. Let f = c - -11. Is k < f?
True
Let h = 0.3 + 0.1. Let q = -3 - -2.5. Let m = h + q. Is m greater than or equal to -0.1?
True
Suppose 2*k = -4*d + 4 - 2, -3*k + 3*d = 33. Let z(b) = -b**3 + 2*b**2. Let u be z(2). Let a be 3/12*-2*u. Is a at least as big as k?
True
Let g = 0.66 + -0.06. Let k = g + -2.6. Let h = k + 1.9. Is h < -2?
False
Let w be 8/20*1/(-2). Let o = 14/