- b. Which is greater: -1 or c?
c
Let x = -0.08 + -0.12. Let s = -7 - -3. Let f = 3 + s. Is f greater than or equal to x?
False
Let u = 4 - 7. Let d = 12 - 15. Let j = d + u. Which is smaller: j or -0.1?
j
Let j = 1157/11 - 106. Which is greater: j or -1?
j
Suppose 2*k = 3*k - 3. Suppose -4*b + 26 = -3*g, -k*g + 2 + 7 = 3*b. Which is bigger: 2/5 or g?
2/5
Let b be (-1)/((-1)/(-1))*1. Is b at most 18?
True
Let h = 34 - 32. Which is smaller: 3 or h?
h
Let p be ((-2)/6*0)/1. Let o(n) = -4*n**3 + n**2 + 4*n - 2. Let c(l) = -3*l**3 + l**2 + 3*l - 2. Let s(z) = 3*c(z) - 2*o(z). Let b be s(p). Is -2 > b?
False
Let t = -6.63 - 0.37. Is t equal to -14?
False
Let r = 9 + -10.9. Let j = r + 0.8. Let s = j - -0.1. Which is bigger: s or 1?
1
Suppose 5*x - 3 - 22 = -2*w, 0 = -4*x - 4*w + 20. Suppose -2*j = -1 - x. Suppose 4*o - 9 = j*p, 6 = 2*p - 4*p. Are o and 4/9 unequal?
True
Let x be 9/24*(-4)/6. Are x and -31 nonequal?
True
Let i = 91 + -90. Is -2/245 bigger than i?
False
Let x(t) = 3*t + 11. Let p(r) = -10 + 0 + r - 3*r. Let b(h) = 4*p(h) + 3*x(h). Let n be b(9). Is 1 <= n?
True
Suppose -6*j + 4*j = 2. Are -1/31 and j unequal?
True
Suppose -4*s - 20 = 4. Let c be (-15)/s*(-2)/4. Which is smaller: -1 or c?
c
Let y(t) = -t**2 - t + 1. Let w(d) = -d**3 + 9*d**2 + 4*d - 3. Let b(s) = w(s) + 5*y(s). Let v be b(4). Let u be v/(-3)*18/24. Is -0.2 equal to u?
False
Suppose 0 = -3*g + 2*w + w - 48, 5*g + 84 = 3*w. Let m = 26 + g. Which is smaller: 6 or m?
6
Let l(t) = t**3 + 9*t**2 + 7*t + 6. Let f be l(-4). Let q = 292/5 - f. Let d = 1.8 + -2. Is q at least d?
True
Let y(g) = -g**3 + 8*g**2 - 9*g + 13. Let b be y(7). Is -6/23 not equal to b?
True
Let x(s) be the third derivative of s**5/20 - s**3/6 + 2*s**2. Let c be x(-1). Suppose -2*v = -4*p - 18, -3*v + p + 0 = -c. Is v smaller than -2/3?
True
Let j(v) = -v**3 - 5*v**2 + 3*v + 3. Let h be j(-3). Let k = -2/2281 - -168800/6843. Let q = k + h. Is -3 > q?
False
Suppose 3*a + 2*b - b = -16, -a + 5*b = 16. Let g = 10 + a. Let m(n) = -n + 2. Let v be m(g). Which is greater: v or -1?
-1
Let m = -2.9 + 3. Let g be 186/(-378) + (-2)/9. Let x = g + 3/14. Is x <= m?
True
Suppose 4*v + s + 4*s + 2 = 0, -5*s + 22 = -4*v. Is -2 at most as big as v?
False
Let b be (3/5)/(-2 - (-27)/15). Is -4 > b?
False
Suppose -62 = s - 3*s. Suppose 0 = h - 3, -5*k = -h - 8 + s. Is -3 <= k?
False
Let c be 4/10 + (-2)/5. Let f = 51/2 - 25. Does c = f?
False
Let q be 2 - (0 + 17 + 1). Let g = -10 - q. Suppose -y = -2*m + g*m + 2, m = -2*y - 4. Which is bigger: y or -1?
-1
Let g = 81 - 88. Let y be 11/(-2) + 2/(-4). Is y less than g?
False
Let j be (-1)/2 + (-7)/2. Let b be (-8)/(-6)*(-6)/j. Suppose 2 = b*w - 0. Which is smaller: w or -2/11?
-2/11
Suppose 4*f + 2*h = 48, 4*f + h - 22 = 26. Are 13 and f unequal?
True
Suppose 14 = 5*l - 4*t, 0 = 4*t + 2 + 2. Suppose -b - l*b + 9 = 0. Suppose -3*y - 6 = -b. Is 2/33 > y?
True
Let c = 1.1 - 0.1. Let s(o) be the first derivative of -o**2/2 + o - 6. Let f be s(6). Which is greater: c or f?
c
Suppose -6*f + f = 5. Which is greater: 2/15 or f?
2/15
Let f(d) = -d**3 - 6*d**2 + 4. Let h be f(-6). Let m = h - 3. Let o = -19 + 77/4. Which is bigger: m or o?
m
Let w = -5 - -4.6. Is w at most as big as -3/2?
False
Let g = -74 - -517/7. Let l = 0 + 11. Suppose 2*r + r + 3*t = -6, 4*t + l = -r. Which is smaller: g or r?
g
Let g = 774160 - 202055486/261. Let k = g - 24/29. Which is smaller: k or -0.2?
-0.2
Suppose -2*z - z = 0. Suppose z = q + q - 2. Let b be q + 2 + 7/(-2). Do b and -1 have different values?
True
Let q be (-52)/(-12) - 2/(-3). Let v(d) = -d**2 - 11*d + 14. Let s be v(-10). Suppose i - 4 = 5*t + q, -4*t = -5*i + s. Is t less than 2/9?
True
Let t = -26 - -34. Let w be ((-4)/15)/(6/5). Which is smaller: t or w?
w
Let p be 5/(-65)*(3/1)/3. Is 0 less than or equal to p?
False
Let t(w) = w**2 + 2*w + 2. Let k be t(-3). Let b = 9 - k. Suppose -2 = -0*p - 3*p - i, 0 = -2*p - b*i + 8. Do 1/5 and p have the same value?
False
Let x be (0 - (1 + -2))/1. Is x > 14/9?
False
Let u be 0 + 2 + -2 - -1. Let w be (0 - (u - 3))/(-9). Let k be 7/(-5) + 2/5. Is k smaller than w?
True
Let i = 1.2 + -2.3. Let z = 0.1 + i. Suppose -p + 12 = 3*p. Which is bigger: z or p?
p
Suppose 10*m = 2*m. Suppose 0 = 3*w - 3*n + 9, -3*n - 2 = -2*w - 11. Are m and w non-equal?
False
Let w(t) = -3 - t + t**2 - 4*t**2 - t - t**3. Let o be w(-3). Suppose 0 = -o*v - 2*v - 5. Is v not equal to 0?
True
Let y = 13 - 8. Let s(l) = l**2 - 6*l + 6. Let x be s(y). Is 3/4 < x?
True
Let t be ((-90)/12)/(6/184). Let j be t/(-444) + (-3)/6. Let c = 551/222 + j. Which is greater: 3 or c?
3
Let x = -28 - -27.67. Which is bigger: x or 3/2?
3/2
Let i = -22.9 + 24. Let j = -1.9 + i. Is j less than 0?
True
Let h be 4/12 - 8/15. Is h greater than 1?
False
Let m = -58/7 + 8. Which is smaller: m or 0?
m
Suppose -2*o = -4*o - 18. Let r = o - -12. Which is smaller: 2 or r?
2
Let n = 3 + -2.7. Let i = 0.3 - n. Are i and 0 unequal?
False
Let q(o) = -1. Let t(g) = g**2 + 3*g - 8. Let w(b) = -5*q(b) + t(b). Let l be w(-4). Is l at most 2?
True
Let h be ((-2)/(-53))/(12/65). Let q be 3/3 - 110/106. Let l = h + q. Which is bigger: l or 1?
1
Suppose 0 = -5*o - 2*p - 48, -o = -2*o + p - 4. Do o and -11 have different values?
True
Let s be ((10/(-19))/1)/((-17)/(-51)). Is s greater than -3?
True
Suppose -69 = -4*c + 43. Let j be 6/14*c/16. Which is bigger: j or 0?
j
Suppose -5 = 5*o + 5*v, 4*o + 3*v + 2 + 2 = 0. Let c be 3*(2 + (-15)/9). Suppose -m - 2 + c = 2*w, 2*m = 5*w + 7. Is o greater than or equal to w?
True
Let s = 0.05 - 1.05. Let p = -2 - s. Let c(r) = -r**3 - r**2 + r. Let n be c(0). Are p and n equal?
False
Let r be ((-51)/6)/(2/12). Let a be 4*(r/18 - -3). Suppose 4*k + 6*p = 2*p - 12, 9 = 2*k - p. Which is smaller: a or k?
a
Let y = 7 + -1. Let d be (-4)/y - 155/15. Which is smaller: d or -10?
d
Let g = 19 - 13. Let x(v) = v - 5. Let j be x(g). Which is smaller: -1/6 or j?
-1/6
Let n = 30 - 31. Are n and 1/23 nonequal?
True
Let c = 364 + -364. Let w = 1.9 + -2. Which is greater: c or w?
c
Suppose j = 6*j + 4*g + 2, 2*j - g = -6. Let h(a) = a - 1. Let z be h(j). Let y = 8/3 + z. Which is bigger: y or -0.6?
y
Let x = -427 + 431.11. Let b = x + -0.11. Let u = b + -3.9. Which is smaller: u or -0.05?
-0.05
Let j be (-2)/8 + (-17)/(-4). Suppose -5*p = -j*k + 4, 4*p + 5*k + 0 = 5. Let i = 8 + -23/3. Which is smaller: i or p?
p
Suppose -5*c - 2*v = -14, 4*v + 4 - 2 = 5*c. Is 3 at most as big as c?
False
Suppose 4*j + 0*c + 4*c - 20 = 0, -5*j = -2*c - 4. Is j at least as big as 2?
True
Let b(q) = -q**3 - 8*q**2 - 6*q + 10. Suppose h + 2 = -5. Let f be b(h). Suppose -5*m - 2 = -12. Is f smaller than m?
False
Suppose -5*t = -19 + 4. Suppose 2 = -t*d + 8. Let f be (0 + d + -1)*1. Are 2/17 and f nonequal?
True
Suppose -3*q = v + 15, 2*q = q - 4. Which is smaller: v or -5?
-5
Let v = -1 + 0. Let m be (-28)/(-108) - v/(-3). Do 1 and m have the same value?
False
Let k = 12 + -14. Let n = 27/16 + -489/176. Are n and k non-equal?
True
Let k = -42 - -61. Is 20 != k?
True
Let v = 0.04 + 2.96. Suppose 0 = 3*q - 0*q. Suppose 0 = -d - q - 2. Which is greater: d or v?
v
Suppose 3 + 1 = -o. Suppose -3*l = 2*l - 65. Let s be -3 + l/4 - 0. Is o equal to s?
False
Let c = 11 - 8. Let q = c - 2. Is -2/33 at least q?
False
Let v be (2 + -1)/(-1 + 2). Is 1 less than or equal to v?
True
Let z(q) = -q**3 - 6*q**2 - q - 4. Let i be z(-6). Which is bigger: -12/5 or i?
i
Let n = 867/4 - 218. Does 0 = n?
False
Suppose 3 = r - 21. Let i be ((-4)/(-66))/(4/r). Suppose -5*o + 3*o = -2. Which is smaller: i or o?
i
Let j = -0.7 - 4.3. Let s = j - 3. Which is greater: 0 or s?
0
Let n = 3 - 1. Let r be 0 + (0 - 0) + n. Suppose -4*k + 5*m - 8 + 22 = 0, 4*k = -2*m. Which is smaller: k or r?
k
Let x be ((-6)/(-9))/((-4)/(-6)). Let y = -11 + 6. Is y at most as big as x?
True
Let w be ((-3)/8)/((-9)/6). Let x(p) = p + 1. Let h be x(5). Let r be 9/h*1/3. Is w > r?
False
Let a = 4 - 2. Suppose p + a = -3*b - 3*p, -p = b. Is b equal to 2?
True
Let s = 0 - 6. Let z be (-111)/21 - (-2)/7. Which is bigger: s or z?
z
Let i = 23155/18 - 1286. Which is smaller: i or -1?
-1
Suppose 8*t = 5*t - 18. Which is bigger: t or -5?
-5
Let y = 15 + -16.9. Let s = y - -2. Let i = s + 0. Does i = 0.1?
True
Let y(w)