2?
m
Let n = 23 - 18. Which is bigger: n or 0?
n
Let w(y) = y**3 - 2*y**2 + 2*y. Let a be w(3). Let s be (-2)/25*a/(-12). Which is greater: s or 0?
s
Suppose -m = -2*f - 57, 95 + 17 = 2*m - 3*f. Let k = -263/5 + m. Is k >= 1?
False
Let d be (3 - 1)*(5/(-40) + 0). Which is bigger: d or -5/3?
d
Let v be (3 - 2)/((-1)/(-2)). Which is bigger: v or -1?
v
Let a = -209 + 6062/29. Which is greater: 0 or a?
a
Suppose 3*i - 7*i = -8. Let x(v) = 30 + v - 56 - v**2 - v**3 + 26. Let d be x(-2). Is i != d?
False
Let f = 23 + -35. Let w be (-21)/f - 1/4. Are w and 2 non-equal?
True
Suppose -7*k - 25 + 4 = 0. Which is smaller: k or -4?
-4
Suppose 6*z = 5*z + 17. Let m = z + -16. Which is bigger: 8 or m?
8
Let b = 1.8 - -8.2. Let t = -18 + b. Let g = 11 + t. Which is greater: g or 0.1?
g
Let w be 2/(-7) - 328/28. Let l = w - -8. Let x = l - -4. Which is greater: x or -1/4?
x
Suppose u - 2 = -4*g, 0 = -u + 2*g + 2*g + 34. Suppose -u = -o - 2*o. Suppose -3*b = 9, -29 = -3*h + h + 5*b. Is o < h?
True
Let a(f) = f**3 + 6*f**2 - f - 5. Let i be a(-6). Let n be (-3 + 2 - -6)/i. Suppose -u + 4 = -0, 20 = -2*y + n*u. Which is smaller: y or -1?
-1
Let o be -2 + (-8)/(-3) - 2054/39. Is -53 greater than o?
False
Suppose 5*d = -0*d + 5. Let k(r) = -r**3 - 5*r**2 - 6*r - 6. Let g be k(-4). Is g at most as big as d?
False
Suppose -4*b = 3*j - 4*j - 5, 0 = -2*j - 5*b + 3. Which is greater: -23 or j?
j
Let j be (-4)/(-14) + (-2705)/35. Is -78 at most as big as j?
True
Let p(o) = -o**3 - 7*o**2 - 7*o - 9. Let y be p(-6). Let r = 0 + 0. Let b be y/8 + 0 + r. Is b greater than 0?
False
Let d = -1685/7 + 239. Is d not equal to -2?
True
Let x(d) = d**3 - 7*d**2 - 2*d + 10. Let a be x(7). Let y(n) = -n**2 - 11*n - 10. Let f be y(-10). Suppose -2*t - 6 = -f*t. Is a less than or equal to t?
True
Let d(j) = -j**2 + 2*j - 1. Suppose -4*i - 4 = -4*l, -3*i - 4*l + 14 = -4. Let g be d(i). Do 2/13 and g have the same value?
False
Let a = -12 - -13. Let w be 1/(a/1) - 1. Which is bigger: -1/3 or w?
w
Let s = -1 - -1. Let t = s - 0. Which is bigger: t or 0.1?
0.1
Let g = -333/70 - -19/14. Which is bigger: g or -4?
g
Let j be ((-3)/9)/((-3)/36). Is j at most 3?
False
Let o(u) = 2*u - 12. Let g be o(6). Let m(x) = -x + 10. Let h(d) = -d + 11. Let f(c) = 5*h(c) - 6*m(c). Let q be f(6). Is g greater than q?
False
Let n be (0 + 4)*(12 + 2). Is n > 57?
False
Let n be 3/9 - 11/(-3). Suppose -5*g + 0*g + 2*s + 30 = 0, 0 = 2*g - s - 13. Is g != n?
False
Suppose 12 = -d - 20. Suppose -3*w = -24 - 6. Let l be (4/w)/(d/(-20)). Which is bigger: -1 or l?
l
Suppose 4 = -4*i - 0. Let r = -6.96 + 7. Let o = 0.04 - r. Which is smaller: i or o?
i
Suppose 2*h - 3*h - 12 = -3*n, 12 = h + 5*n. Let p = h + -2. Is p <= -6?
False
Let j = 31 - 30. Suppose -4*s = -3*z - 6, z - 2*s + 8 = -3*z. Which is greater: z or j?
j
Let c(w) = 2*w - 8. Let d(k) = -k + 3. Let i(o) = -4*c(o) - 11*d(o). Let x be i(3). Let s be 2 - -2*(-10)/x. Which is greater: 0 or s?
0
Let t be 2 - (-4 + 24) - -2. Is t less than -16?
False
Let y = -60 - -539/9. Let b = -26 - -27. Is b < y?
False
Let v(p) = -3*p**3 + p**2 - 1. Let s be v(1). Which is bigger: s or -2?
-2
Suppose -5*x + 18 = 4*z, 2*z + 4*x - 12 = -0*x. Suppose -12 = -d - z*d. Is 1 smaller than d?
True
Suppose -3*h = 6 + 9. Let s = h + 4. Let r be (-2)/(-42) - (-6)/21. Which is smaller: s or r?
s
Let c(n) = n + 12. Let b be c(-5). Is b smaller than 11?
True
Let n be 6/3 + (-30)/8. Suppose 4*j + 10 = 2*d, 2*d = -2*j - d - 1. Is j < n?
True
Let u = -6201/581 + -39/83. Let x = u - -219/14. Which is smaller: x or 5?
x
Suppose 6*u = 3*u + 12. Let p = -0.2 + 0.3. Let c = p + 0. Is u not equal to c?
True
Let l be 4/(-14) - 1616/1596. Let k = 12/19 + l. Is k > -2?
True
Let x = 10838/33 + -979/3. Let y = x - 2. Which is smaller: y or 1?
y
Let y(z) = z**3 - 13*z**2 + 2. Let o be y(13). Suppose 2*d + o*d - 12 = 0. Which is smaller: d or 1?
1
Let q be 12/21 + 12/(-21). Is 0 at least as big as q?
True
Let m = 8.45 - 12.5. Let a = -4 - m. Let l = a - -0.05. Is 2/7 not equal to l?
True
Suppose -4*q = -3*q - 73. Let y be q/(-78) + -2 + 4. Let m = y + -16/13. Which is bigger: -1 or m?
m
Let k = 97 - 98. Is k < 0?
True
Suppose -3*i = -h - 1, 2 = -2*h + 3*i - 0. Is h equal to -3/8?
False
Let b(l) = 2*l + 5. Let p be b(-5). Let j = 79 - 77. Which is bigger: p or j?
j
Let m = 0.021 + 0.979. Which is greater: -0.58 or m?
m
Let a = 553 - 9404/17. Which is smaller: 1 or a?
a
Let g = -11 - -15. Suppose 0 = -4*a - 2*d - 52, -g*a - 2*d - 54 = d. Which is bigger: a or -11?
-11
Let m(u) = u + 7. Let g be m(-4). Let k = g - 3. Which is greater: k or 1/11?
1/11
Suppose -4*z = -0*z. Let n = 96 - 95. Is z greater than n?
False
Let v be (4 - 2) + 1 - -5. Suppose -3*n + v*n = -40. Does -7 = n?
False
Let k = -2 + 5. Is 2 greater than or equal to k?
False
Let d = -1.2 - -7.2. Are -2/3 and d unequal?
True
Let b(d) = -d**2 + 3*d + 3. Let t be b(4). Is -2 < t?
True
Let p = -1.06 - -1. Let l = p - -0.02. Is 1 at most l?
False
Let c = 4 + 1. Suppose 0 = -3*z + 12, -c*z = -3*m - 6*z - 14. Which is smaller: -7 or m?
-7
Let y(n) = -n**3 - 5*n**2 + 1. Let d be y(-5). Let r be 18/20*(0 - 1). Let h = r + 51/40. Which is bigger: h or d?
d
Let w = -6.7 - -12.7. Which is smaller: w or -1/7?
-1/7
Suppose 0 = 2*d - 2*x - 12, 3*x = -d + 5*d - 24. Which is smaller: d or 2?
2
Let k be (-2)/(-3)*6/2. Let l(v) = -v**2 + 2*v - 1. Let b be l(k). Is b smaller than -2?
False
Let g be ((-2)/6)/((-1)/3). Is g <= 7?
True
Let b be (-70)/4 - (-2)/(-4). Let s be 2 + ((-25)/b - -1). Let y = 38/9 - s. Is 1 at most as big as y?
False
Let f = 4.7 + -5. Let p = f + 0.4. Let a = -67 + 66. Which is greater: a or p?
p
Let g be 2*-1 + 160/76. Which is bigger: 0 or g?
g
Let n be 1 + 1 + -1*4. Let v be -1 - n/(-1) - 3. Which is smaller: v or 0.1?
v
Let l(s) = s**2 + 4*s - 4*s + 7*s + 5. Suppose 0 = -5*t - 25. Let i be l(t). Is -5 bigger than i?
False
Let d = 7.9 + -8. Which is smaller: 0.3 or d?
d
Suppose -5*w = 5*t - 15, 4*t = 3*w + 22 - 3. Let z(u) = 2*u**2 - 5*u - 3. Let j be z(4). Let s = -4 + j. Is t at most as big as s?
True
Let m(u) = -u**2 + 2*u + 4. Let t = 6 - 2. Let l be m(t). Let c be 1/l*-2*6. Which is smaller: 5 or c?
c
Let d(k) = -k**3 - 7*k**2 - 2*k - 9. Let b be d(-7). Suppose -3*p + 29 + 13 = 0. Let q = -8 + p. Which is greater: q or b?
q
Suppose 0 = -2*p - 4*h + 20, 0*h - 60 = -4*p - 4*h. Let v = p - 22. Is v less than -1?
True
Let c = -41.05 + 41. Which is greater: c or 0?
0
Let b = 1132/7 + -162. Is 0 greater than or equal to b?
True
Let d = -1/6 + 0. Is d smaller than -1?
False
Suppose -m - 38 = 5*v, -v + 33 = -4*m - 14. Is m >= -2/3?
False
Let q = -3 + 1. Is q smaller than -1?
True
Suppose 0 = -3*l + 33 + 30. Suppose 2*n + l - 5 = 0. Suppose 13*s = 8*s - 45. Which is greater: s or n?
n
Let r = -0.2 + 0.3. Let a = r - -0.4. Let v = 0.5 + a. Is -1 at least as big as v?
False
Let g = 7 - 5. Let y(m) = 3*m**2 + 2*m**2 - 4*m**2 - 3*m + 3. Let s be y(g). Is -2/7 greater than s?
False
Let f(t) = t**2 + 5*t - 1. Let n be f(-6). Suppose -3*a + n = 2. Let o be (a/2)/((-1)/(-2)). Is o at most as big as 4/5?
False
Let h(g) = g + 1. Let w(a) = a + 1. Let b(t) = 2*h(t) - w(t). Suppose 3*x - 8*x = 0. Let d be b(x). Which is smaller: 2/5 or d?
2/5
Let p = 0.4 + -0.41. Let c = p - -0.1. Let r = 0.01 + c. Do r and 3 have the same value?
False
Let v = 8 + -9. Which is bigger: v or -15/7?
v
Suppose 4 = 128*r - 130*r. Which is smaller: r or 4?
r
Let b = 139 + -698/5. Is 4 <= b?
False
Let o(s) be the third derivative of -s**5/60 - s**4/24 - s**3/6 + s**2. Let v be o(0). Which is smaller: -3/5 or v?
v
Let l(w) = -w**3 - 2*w**2 - 4*w - 1. Let h be l(-3). Is 20 > h?
False
Suppose -9*x + 2*x - 161 = 0. Which is bigger: x or -97/4?
x
Let b = 32 - 58. Which is smaller: -25 or b?
b
Suppose 0 = -3*h - 12, -5*h + 9 = t + 27. Let i be (21/15)/(-1) + t. Is i not equal to 2?
True
Suppose -4*y = 64 - 12. Which is bigger: y or 1?
1
Let z(q) = -3*q**2 - 6*q + 8. Let f(m) = -m**2 + m. Let o(r) = 4*f(r) - z(r). Let p be o(8). Which is bigger: p or 1?
p
Let z = -82 + 408/5. Let b be 8/(-5)*10/(-4). Suppose b*k = 4*u + 12, -2*k + 2*u = -6*k. Which is bigger: k or z?
k
Let f be (6/(-21))/(12/(-28)). Which is greater: -32 or f?
f
Suppose i = -0*i - 1. Let a(z) = 3*z**2 + 7*z - 3