s greater: -1/9 or x?
x
Let y = 0.4 - -0.1. Let j = 152 + -152.1. Is y equal to j?
False
Let z(f) = -f + 1. Let s be z(1). Suppose -2*n + 4*n = s. Suppose -x + n + 1 = 0. Which is smaller: x or 2/9?
2/9
Suppose -3*o + 4*o = 3. Suppose -2*k + 23 - 4 = 3*x, 11 = o*k + x. Let g = k - 2. Is -2/3 equal to g?
False
Let k be -3 + 1 + (-1 - -4). Suppose 0 = -0*y + y + k. Let a be 2 + -1 + 8/(-10). Which is greater: a or y?
a
Let b = 85/28 + -11/4. Is b greater than or equal to 1/6?
True
Let d = 1 + 1. Is d smaller than 3?
True
Let d(h) = h + 9. Let w(s) = -s**2 - 5*s - 1. Let j be w(-6). Let g be d(j). Suppose -a = g*a. Which is smaller: a or 2/19?
a
Let b be (2/(-4))/(1/(-2)). Suppose 0*j + 5*y - 85 = -3*j, 27 = j + y. Let f = -171/7 + j. Is f at least as big as b?
False
Suppose -l - 5*b = 19, -23 = 3*l + 5*b + 4. Let y = 0 - l. Do y and 5 have different values?
True
Let m be (-3)/6*27/5. Let d = m - -11/5. Which is bigger: d or 5?
5
Let c be (1 - -10) + (0 - 2). Let v = 5 - c. Let m be (3 - 1)/(v/(-2)). Are -3 and m equal?
False
Suppose -2*j = -3 - 1. Suppose j*f - 2 = f. Let v be 4/4 + (f - 3). Which is smaller: 1 or v?
v
Let v be (-3)/(-10) - (3 - 3). Let i = -9839/30 - -328. Let r = i + v. Is -2 bigger than r?
False
Let i(s) = 8*s**2 - 7*s + 7. Let u be i(1). Suppose -3*j + 28 = j. Which is smaller: u or j?
j
Let a = 1.84 - -0.16. Are a and 1.4 non-equal?
True
Let k = 23 - 15. Let u = 13 - k. Do 5 and u have different values?
False
Suppose -b = 5*i - 1 + 5, 3*b = 2*i - 12. Let u(y) = -y - 1. Let c be u(b). Suppose -q + 2 = c. Which is bigger: 1 or q?
1
Let m be (-10)/85 - (-9)/(-816)*-5. Let w = 0 - 1. Which is greater: m or w?
m
Let f(w) = w**2 - w + 6. Let k be f(0). Let t(d) = d**2 - 6*d. Let x be t(k). Suppose -2*n + o + 1 = x, 23 = n - 11*o + 6*o. Which is smaller: n or 0?
n
Let m(q) = 2*q**3 + 2*q**2 + q. Let l be m(-1). Let h = 7 - 6.3. Let k = -0.5 + h. Which is smaller: k or l?
l
Let s = 0 + -4. Let p be 22/(-5) + s/(-10). Let o be p/(-6) + 85/(-105). Is o at most -1?
False
Suppose -3*i + 2*q + 22 = 0, 0 = 2*i - 2*q + 3*q - 3. Is 3 at most i?
True
Suppose 8*y - 5*y = -4*q + 78, 72 = 2*y - 4*q. Is y smaller than 32?
True
Let l(a) = a**2 - 17*a + 27. Let i be l(15). Are -2/5 and i nonequal?
True
Let r = -1 - -1. Let b = 13.98 - 14. Is r < b?
False
Let h(u) = 11*u - 19. Let g be h(4). Is g < 1/3?
False
Let q = -9.03 - -0.03. Let p = q - -10. Which is smaller: 0 or p?
0
Let d(a) = -a**3 - 4*a**2 - a + 1. Let o be d(-4). Let n be 8/(-22)*o/10. Does n = -0.3?
False
Let l = 5 - 5. Suppose 0 = -0*c - 2*c. Suppose c*s = -s + 1. Which is smaller: l or s?
l
Suppose 0 = 2*a + 8, -a + 2 = 5*m - 34. Let y = m + -12. Is -4 at most y?
True
Let v be 98/140*(-6)/(-7). Suppose -3*b = h + 2, -2*b - 26 = -3*b + 5*h. Which is smaller: b or v?
v
Let n = 245/166 - -2/83. Which is smaller: n or 0.1?
0.1
Suppose 3*i + t = -0*t - 1, 16 = -4*t. Suppose 0 = -31*y + 34*y. Which is greater: i or y?
i
Suppose 3*v + 2*v = 5*m + 5, v = 0. Let q(f) = -f**2 + 6*f + 2. Let y be q(7). Let r = 3 + y. Is m bigger than r?
True
Suppose -3*k = 17 - 5. Suppose 0 = -3*t - 8 + 14. Suppose t*f = f - 3. Which is bigger: f or k?
f
Suppose -4*x + 5*x - 19 = -4*w, 2*w = 3*x - 1. Let y be (-1 - 10/(-12)) + (-2)/(-12). Which is smaller: y or w?
y
Let r = -2 - -5. Let f be 3 - r - 2/(-4). Let k = 317/7 + -45. Which is bigger: k or f?
f
Let j(m) = m**2 - 9*m + 8. Let g be j(8). Suppose 5*i - 5*p = -25, -2*i + 0*i - 5*p + 25 = g. Which is bigger: i or -1?
i
Let z = -1/42 - 13/42. Let v(t) = -t**2 - 4*t + 3. Let m be v(-4). Suppose -5*g + m*g = 0. Is g smaller than z?
False
Let o = 0.02 - -0.08. Let j = 0.3 + -0.1. Let a = j - 0.3. Are o and a unequal?
True
Let w(g) = g + 12. Let n be w(-9). Let v be ((-6)/9)/(4/n). Are -2/5 and v equal?
False
Let k(p) = -p - 5. Let s be k(-5). Suppose -d = d - 10. Let i = 5 - d. Do i and s have the same value?
True
Let s = -41 - -51. Is s at most 11?
True
Suppose 9 = -3*k + 4*d, 5*k - 14 - 6 = -5*d. Is 1/3 at least k?
False
Let t(k) = 8*k**3 + 3*k**2 - 2*k. Let i be t(2). Suppose 176 = -2*c + i. Let l = c - -207/4. Is l less than -3?
False
Let j be ((-78)/4)/(3/72). Let g be (-1)/6 - (-129162)/j. Let p = -276 - g. Which is bigger: -1 or p?
p
Let p = -186 - -189. Let u = -3 - -2. Which is bigger: p or u?
p
Suppose 8 = 2*l + 4*a, -3*a + 0*a - 16 = -4*l. Suppose 10 = -r - l*r. Let b be 5/(-18) - 1/r. Which is smaller: b or 1?
b
Let a = -0.2 + 0.6. Let q = 2 + -1.8. Which is smaller: a or q?
q
Suppose 0 = 5*r - 9*r - 8, -2*z + 46 = -4*r. Let o = -6 - -25. Is o greater than z?
False
Let y(w) = 0*w**3 + w - 6*w**2 + w**3 + 0*w - 3. Let x be y(6). Let i be (x/9)/((-2)/6). Is i != -2/11?
True
Let n be 1 + ((-318)/(-9))/(-2). Let v = n - -17. Is v >= 1?
False
Let k(w) = 2*w**3 + 6*w + 4. Let t(r) = -5*r**3 + r**2 - 13*r - 9. Let m(j) = -7*k(j) - 3*t(j). Let b be m(4). Suppose -5*a + 2 = -b*a. Is -2/11 > a?
False
Let w = 0 + 0.06. Let v = w - -0.04. Let c = v + -0.3. Which is smaller: c or 1/3?
c
Let q(t) = -2*t + 5. Let d be q(-5). Suppose -4*b - b = -d. Are b and 3 unequal?
False
Suppose r = -0*r + 7. Let a be 2 - (-3 + r) - -4. Suppose -a*n + 1 = -n. Is -1/4 at least n?
False
Let f = -65 + 326/5. Let t = -1 + 2. Let p be (-3 + 3 - 0)*t. Which is smaller: p or f?
p
Let u(w) = w**3 + 6*w**2 - w - 3. Let x be u(-6). Suppose 5*o - 4*r + 7 = 0, 0*o + 2*r = 4*o + 2. Let p be o/(-5)*x*1. Which is greater: 0 or p?
0
Let b = 26 - 26.1. Which is smaller: b or 4?
b
Suppose 15*x - 343 = 8*x. Which is greater: x or -0.1?
x
Let w = -2 + 6. Let y = 1 - w. Let k = y + 3. Which is bigger: k or -1/4?
k
Let a = -293/5796 - -5/126. Which is smaller: -1 or a?
-1
Suppose 3*q - 3*k = 5 + 7, 4*k = 4. Let l be 7 - q - (4 - 1). Are 2/27 and l non-equal?
True
Suppose -3*o + 26 = -2*w - 0*w, 0 = 4*o - 3*w - 33. Are 12 and o nonequal?
False
Suppose 2*q + 5 = -g, -5*q + 0 = -3*g + 29. Let h = -0.34 - -0.04. Let u = h - -0.3. Which is greater: g or u?
g
Let r(y) = y**3 + 3*y**2 - 1. Let w be r(-2). Suppose -22*k + 25*k + w = 0. Is 3/29 equal to k?
False
Let x be 2*(-2 + 1) + 1. Let k be (-55)/(-33)*(-3)/4. Which is bigger: x or k?
x
Let q be 0 + 1 + (-49)/47. Let l = -9/56 - 5/56. Are l and q unequal?
True
Suppose -3*p + 9 = -7*s + 4*s, 5*p + 4*s = 33. Which is greater: 0.1 or p?
p
Let h = 8 + -5. Let g(b) = b - 4. Let i be g(h). Which is smaller: 0 or i?
i
Let x = 21/205 + 4/41. Which is bigger: x or 0?
x
Let l be 7 - 10 - 17/(-5). Which is bigger: l or 2?
2
Suppose -4 = 4*a + 4. Let m be a/(-5)*-10*1. Is m < -5?
False
Let x = -54 - -50. Is x smaller than -23/6?
True
Let f = -3 - -1. Let c = 12 + -11. Is f not equal to c?
True
Let z be 8/(-12) + (-4)/((-36)/(-15)). Let p be 1/2 - (-3)/(-2). Which is smaller: z or p?
z
Let o(b) = -b**3 - 5*b**2 - 6*b - 8. Let q be o(-4). Is 3/35 equal to q?
False
Let j be 34/10 - 8/20. Suppose 9 + 6 = -j*t, -3*g + 5 = 2*t. Suppose -7 = -4*o - u, 5*o - g*u + 0*u + 10 = 0. Are -5 and o non-equal?
True
Let p = -40 + 20. Let g be 2 + 0 - p/(-11). Let u(s) = -s + 2. Let l be u(3). Which is smaller: l or g?
l
Suppose 5*d = 5*n + 30, 0*d + 2*n = 3*d - 23. Let h = d + -12. Is h != -2/7?
True
Let f = 101/5 - 248/15. Suppose 0*k - 8*k + 24 = 0. Is k != f?
True
Suppose 4 = -4*r - 12. Let h be 15/(-39)*r/(-10). Are -1 and h equal?
False
Let p = -86.93 + 88. Let i = 7.43 - 7.5. Let k = i + p. Which is greater: k or 1/7?
k
Let h = 3/8 - 5/56. Let v = -11 - -8. Which is smaller: v or h?
v
Let i = 1 - 0. Suppose 3*x = 4*x. Suppose -3*h - 3*v + 15 = -x*v, -5*v = h - 21. Are i and h unequal?
False
Let n be -2 - -48*8/186. Are n and -0.1 unequal?
True
Suppose 10*j = 12*j + 4. Let v be -1*1 + (2 - 2). Which is smaller: v or j?
j
Suppose -g = g + 10, p - 2*g = -14. Which is smaller: -25 or p?
-25
Let i = -22.96 + 27.9. Let o = i - 5. Are o and 2/3 equal?
False
Let o be 0/5*(-4)/(-16). Is o at least as big as 1/5?
False
Let f be 5/(-10) + 50/4. Let h(d) = 3*d**3 - 11 + d - 11*d**2 - 4*d**3 - f*d. Let u be h(-10). Which is greater: u or 1?
1
Let o = -12 + 8. Let r(g) be the second derivative of g**4/12 + 13*g**3/6 + 4*g**2 - 2*g. Let t be r(-12). Is t != o?
False
Let u = -3.5 - -3. Let t = u + 0.6. Is 0.2 <= t?
False
Let d(c) be the first derivative of c**4/4 + c**2/2 + 2*c + 2. L