. Let n = 0.3 + -0.2. Which is greater: y or n?
y
Let l be 5*((-27)/(-15) - -3). Let x = 30 - l. Which is smaller: 5 or x?
5
Let y(u) = 5*u - 5. Let n(b) = -6*b + 6. Let q(s) = 4*n(s) + 5*y(s). Let i = 11 - 4. Let m be q(i). Which is bigger: 4 or m?
m
Let u be 229/5 - 16/20. Are 45 and u non-equal?
False
Let g(x) = x**2 + x + 1. Let c(j) = j**3 + 4*j**2 + j + 4. Let t be c(-4). Let q be g(t). Let s = 31/38 - 6/19. Which is greater: q or s?
q
Let c = -22 + 36. Is c smaller than 14?
False
Suppose 11 = u + 5*j, j = u - 2*u - 1. Let n be (u/50)/(6/(-10)). Is -1 at least as big as n?
False
Suppose -5*d + 12 = -3*d. Let p be d/2 + -5 + 3. Let q be (26/10 - p) + -2. Is 0 equal to q?
False
Let h = -0.41 - -0.61. Which is greater: h or 8?
8
Suppose -4*z - 93 - 115 = 0. Is -52 at most z?
True
Let g = 11 - 9. Suppose 0*x = g*x. Are 1 and x nonequal?
True
Let y = -0.046 - 5.954. Which is smaller: 3/5 or y?
y
Let w be ((-4)/11)/(2/(-5)). Let q be 296/(-110) - -3 - -1. Let t = q - w. Which is smaller: t or 0?
0
Suppose -2*h = -4*q + 8, 3*h + 3*q + 7 - 4 = 0. Let y be (1 - (-9)/(-6))*h. Is y at most 1?
True
Let b be 3/4 + 21/4. Let h(k) = -k**3 + 6*k**2 + 1. Let i be h(b). Let m be (2/4*0)/(-2). Which is bigger: i or m?
i
Let x = 12 - 13. Is 0 at most as big as x?
False
Suppose 4*g + 6*j + 4 = 2*j, 0 = 5*g + 4*j + 1. Let o(w) = w**2 - 2*w - 1 + 0*w**2 + 5*w - w**g. Let t be o(2). Which is greater: t or 2?
2
Let z = -6 + 5. Let r = 7.7 - 8. Let l = r + -0.7. Is l <= z?
True
Suppose -3*k + x - 72 = 0, -6*k = -k - 3*x + 116. Let l = 223/9 + k. Which is bigger: 1 or l?
1
Let y be -3*(-4 + 6)/2. Let q be (-5)/(885/2)*y. Which is bigger: q or 1?
1
Suppose 6*o - o = 0. Which is smaller: o or 2/99?
o
Let d = 16 - 63/4. Let w = 1235 - 1237. Which is smaller: w or d?
w
Let q be ((-2)/(-6))/((-7)/147). Let z be (-2)/(-5)*5/q. Is z not equal to 1?
True
Suppose -4*u + 90 = -2*i, -4*u + 43 = -5*i - 32. Which is bigger: u or 23?
u
Suppose 4*d - 5*i - 32 = 0, 3 = -d - i + 2. Suppose -2*w + d*r = -0*w + 6, r = 5*w + 15. Let t = -6 - -4. Which is bigger: t or w?
t
Let m = -15 + 17. Which is smaller: m or 1/4?
1/4
Let h(p) = p**2 + 6*p + 7. Let j be h(-6). Suppose -3*s + j*s = 20. Suppose 0 = -s*g + g. Is -1/9 greater than or equal to g?
False
Suppose 20 = -0*y + 4*y - d, -25 = -5*y - d. Let m = 5 - y. Is m at most -2/3?
False
Let o = 2/39 + -17/78. Let l(m) be the third derivative of m**6/120 - m**5/60 - m**4/12 - 3*m**2. Let n be l(2). Is n <= o?
False
Let h = 0.2 - 0.2. Let r = h - 0.06. Let t = 4.06 + r. Do t and -1 have the same value?
False
Let i = -0.5 + 0.6. Are i and 78 equal?
False
Let z = -196531/45 + 4367. Let k = 1/45 + z. Let r = -3 - -2. Are k and r non-equal?
True
Suppose 0*s + 14 = 2*c + s, -5*c = 5*s - 45. Suppose c = -0*v + 2*v - 5*x, v + 2*x = -2. Is -1 != v?
True
Let x(d) = 4*d**2 + 5. Suppose 7 = 2*b - 3*a - 2, -2*b + 4*a + 8 = 0. Let i be x(b). Let p = -1939/13 + i. Is p greater than or equal to -1?
True
Suppose -1 = -p - 0*p - 2*y, 0 = 4*p + y + 10. Which is smaller: p or -5?
-5
Let n = 54 - 68. Which is smaller: n or 1?
n
Let c be (2/8)/((-3)/(-60)). Suppose c*h + 53 = 4*u, 0 = -2*h + 6*h + 20. Is u at most as big as 6?
False
Let k = 34/3 - 67/6. Which is bigger: -0.7 or k?
k
Suppose -2*n = -3*b - 35, n - 22 = b + b. Are b and -11 unequal?
True
Let l = 569/612 - 25/36. Which is smaller: l or 1?
l
Suppose b = -2*b - 12. Let p be ((-6)/2)/(30/b). Is p less than 1?
True
Let z = -171/670 - 3/67. Is 1 at least as big as z?
True
Let d = -1.81 + 1.91. Is 0.07 greater than d?
False
Let i = 106 + -51. Let v be -2 + i/(-28) + 4. Is v greater than 0?
True
Let r(u) = -u**2 + u - 5. Let o be r(0). Let v(n) = -n - 4. Let q be v(o). Let x = -8 - -8. Do q and x have the same value?
False
Suppose -9 = 3*n, 3*n + 17 = -5*j + j. Is j > -4/3?
False
Suppose -5*w + 0*w = 5*a - 20, 6 = 3*a. Suppose w*r + 2 = -0*r. Let l be 0/(-1)*(-1 - -2). Which is smaller: l or r?
r
Let c be (-4)/(-31)*1/2. Is 1 at most as big as c?
False
Suppose -4*l + 3*l = 0. Suppose 2*b = 3*h - 6*h, -16 = -2*h + 4*b. Suppose 3*q = h*q. Does l = q?
True
Suppose -12 = 3*k + 3. Does -5 = k?
True
Let k = 11 - 6. Suppose k*n = 10*n + 30. Are n and -6 non-equal?
False
Let r = 7.8 + -7. Let p = -1.7 - -0.7. Let q = p + r. Which is smaller: -0.3 or q?
-0.3
Suppose -2*y + 55 = -7*y + b, 3*b = -15. Are y and -7 nonequal?
True
Suppose n - 6 = -12. Which is smaller: -4 or n?
n
Let g be -5 + 3 - (-5)/1. Let z = -3 + g. Are z and -6/7 equal?
False
Let y(p) = p - 1. Let v(f) = f**2 + 1. Suppose 0 = -6*t + t. Let z be v(t). Let c be y(z). Is c at least as big as 2/5?
False
Suppose b - d = 3*d + 28, 4*d = -2*b + 8. Suppose -3*s = 12, 3*s = -3*l - 0*s - b. Let u = 0.05 - 0.45. Do l and u have different values?
True
Let a = -5 + 4. Let b be (1*1/(-2))/a. Which is smaller: -0.2 or b?
-0.2
Let m = 0.1 - -0.9. Suppose -u = 4*x - 13, 2*u + 3*u - 2*x + 23 = 0. Let h be ((-3)/18)/(u/9). Is h at most m?
True
Suppose 4*y + 4 = -h, 0 = 4*y + 5*h + 28 - 8. Suppose -12 = -4*f - 4*r, 0 = -4*f + 4*r - y - 4. Let d be -1*3*f/2. Which is smaller: -1 or d?
d
Let a = -8 - -8. Is a < 10/7?
True
Let f(k) = 9*k**2 + k + 1. Let p be f(-1). Suppose 0 = 4*z + 3 + p. Which is greater: -2 or z?
-2
Suppose 2*t + 0 - 14 = 0. Suppose -t = c + 2*s, s + s + 25 = 5*c. Which is bigger: 1 or c?
c
Suppose 2*u = 9 - 3. Suppose -u*q - 3 - 6 = 0, 5*d - 2*q - 11 = 0. Let a = 1356/7 + -194. Are a and d non-equal?
True
Let q = -4/14913 + -28230253/208782. Let u = 135 + q. Is 0 equal to u?
False
Let l = 20 - 19.8. Is -4/7 > l?
False
Let y = -0.6 - 2.4. Let n = 74 - 75. Which is smaller: y or n?
y
Let i = -31 + 38. Which is greater: -2 or i?
i
Suppose 2*m + 8 = 2*l, -2*m + 16 = 4*l - 7*m. Is l at least as big as 16/3?
False
Let j = 1.2 - 0.2. Let m = 28 - 21. Let g = m + -10. Is g < j?
True
Let p be -1*((3 - 8) + 6). Let x = 16 + -14.8. Is p greater than x?
False
Let h be ((-4)/5)/((-6)/(-30)). Suppose -4 = -0*g - g. Let b be (2 - 1)*(-1)/g. Is b greater than h?
True
Let w be (-1 - 2)*(-5)/3. Let i = w + -6. Let q = 35 + -73/2. Is i at most as big as q?
False
Let v = 5/419 - 2359/338133. Let i = 158963/3228 + v. Let n = i - 969/20. Which is bigger: 2 or n?
2
Let n = 485 + -344. Let j = n + -4231/30. Is -1 at most as big as j?
True
Let f be 2 - ((-3)/(-9) + 2). Is f at least as big as 1?
False
Let o = 283769/38 + -7467. Let v be ((-6)/(-76))/(15/(-20)). Let z = v + o. Which is bigger: 0.1 or z?
z
Let a be (-2)/(-5) + (-214)/560. Is a at least -1?
True
Let s = -9 + 10. Let i = 1 - 0. Let q = i + s. Are 0 and q nonequal?
True
Let o(u) = -39*u**2 + 1 + 38*u**2 + 4*u - 8 + 3*u. Let p be o(6). Is p at least -1?
True
Let n = -4 + 44. Suppose 0 = -o - 3*o + 16, -3*h + 4*o - n = 0. Which is bigger: -7 or h?
-7
Suppose -6 = 4*r - 26. Suppose -3*l - l = -o - 18, 4*l = -r*o + 6. Let b be (-4)/4*o/2. Are 0.1 and b unequal?
True
Let q(y) = 6*y + 2. Let r(b) = 5*b + 2. Let o(h) = 4*q(h) - 5*r(h). Let d = 12 + -17. Let x be o(d). Which is greater: 2 or x?
x
Let k(o) = o**2 + 6*o + 4. Let x be (-5)/(-3*2/(-6)). Let h be k(x). Let q = -8 - -6. Is h less than or equal to q?
False
Let b = 6 + -3. Let i(g) = -g**2 - 15*g - 27. Let k be i(-13). Let j be (0 - k)*b + -3. Which is greater: 4/5 or j?
4/5
Suppose -3*p - f = -6, -3*f + 4 = -p - 4*p. Let q = 95 + -281/3. Is q >= p?
True
Suppose -a = 2*a + 6. Let q = a + 5. Suppose f = -f + 6. Is f greater than q?
False
Let q = 11 - 7. Suppose 5*s - 5 = q*s. Suppose -t - s*k + 16 = 0, -8*t = -3*t - 3*k - 24. Is 2/7 smaller than t?
True
Let z = 9 + 14. Let q = z + -28. Which is greater: 3 or q?
3
Let d be ((-1)/2)/(3/9). Let f(x) = 0*x**2 + x**2 - 10 - 3*x + 9*x. Let s be f(-7). Which is smaller: s or d?
s
Suppose 0 = -22*m + 21*m + 38. Is m <= 38?
True
Let w = -3 - -12. Let z = -7 + w. Which is greater: -1/4 or z?
z
Let h be (-104)/(-6)*12*(-6)/(-48). Is 26 at most as big as h?
True
Let y be ((17/(-2))/17)/((-2)/(-4)). Which is smaller: y or -8/9?
y
Let q = 0 - 0. Let b be 1 - 1 - 8/(-20). Which is greater: b or q?
b
Let c(h) = 2 + 2*h - 3 - 3*h. Let k be c(-3). Suppose -t = k*t - 3. Do 1 and t have different values?
False
Suppose -4 = -u - 1. Does u = 5?
False
Let a(z) = 3*z**3 + 12*z**2 + 11*z - 1. Let y(r) = 4*r**3 + 13*r**2 + 12*r -