e w/3 + 2/3. Which is smaller: s or 1?
s
Let p = -3 + 33. Which is bigger: 1 or p?
p
Let w(q) = q**3 + 9*q**2 + 8*q + 11. Let d be w(-8). Suppose 0 = 3*p + d + 25. Is p <= -13?
False
Let q = 10 + -11. Let w = -1 + q. Which is greater: w or -4?
w
Let c = 0.3 - 0. Let u = 0 + c. Which is greater: -1 or u?
u
Let t be (3/(-126))/((-7)/28). Is -1/4 at most as big as t?
True
Let t(s) = -s + 3. Let a(k) = k - 5. Let n = -18 - -26. Let z be a(n). Let v be t(z). Is 2 smaller than v?
False
Suppose 11*y = 7*y - 160. Is 0.1 < y?
False
Let v(z) = -3*z**2. Let r be v(-1). Let w = 2 + r. Is w > -1?
False
Suppose 0 = 5*c - c - 5*r - 35, 3*r = -9. Let l be (-4)/6 - 34/(-6). Is c > l?
False
Let n(g) = g**3 - 2*g**2 - 2*g. Let t be n(-1). Which is smaller: t or -4/79?
t
Let b = -14 + 8. Let v = 5.9 + b. Which is smaller: v or -1?
-1
Suppose -i - 10 = -2*x, -6 = -x + 5*i + 8. Let r be -2*(x/(-2))/2. Let h be r/(-12)*24/(-16). Is -0.5 at least h?
False
Suppose -26 = -2*m - 2*n, 2*m - n - 1 = 2*n. Suppose -21*j = -16*j - 5. Which is greater: m or j?
m
Let l = -6 + 3. Let i be (-4 + 4 + -4)/1. Which is smaller: i or l?
i
Let c be (-12)/(-170) + (-6)/30. Let r = 9/17 + c. Let u be 0 - -1 - (-3 + 3). Which is bigger: u or r?
u
Let m be (15/4)/((-7)/16 - -1). Which is bigger: m or 8?
8
Suppose 4 - 16 = -5*m + 4*x, 22 = 4*m + 3*x. Let a(f) = f - 3. Let b be a(m). Which is bigger: b or 3/2?
3/2
Suppose 2*x - 5*v = -35, -v + 5 = -0*v. Let m = x + 12. Suppose 28 = 4*n - 0*n. Is n not equal to m?
False
Let m = 12.91 + -13. Let q = -7.91 + m. Let z = -8.1 - q. Is 1/4 >= z?
True
Suppose 12 = -4*t + 4. Let c be t + (-2)/4 + 2. Are 1/2 and c equal?
False
Let a = 29 + -35. Let j = 56.1 - 62. Let g = a - j. Is g at least 1/3?
False
Suppose 40 = 5*w + j - 6*j, 5*w = 2*j + 46. Suppose 0 = -c + 3*c - w. Suppose -c*h = -16 + 1. Which is smaller: h or 2?
2
Let o(q) = -2*q - 1 + 0 + q. Let u be o(1). Which is greater: u or -4/3?
-4/3
Let x = 0.9 - 0.6. Let h = x - 0.2. Which is greater: -15 or h?
h
Let l(z) = 18*z + 1. Let m be l(3). Suppose 4*w = 3*x - m, 2*x - 25 = w + 20. Let r = x + -49/2. Which is greater: r or -1?
r
Suppose 3*i - 40 = 5*i. Let n = -11 - i. Let s = n - 9. Is s > 1/2?
False
Let g be (-14)/91 - (-106)/13. Suppose 5*p + 22 + g = 0. Are -6 and p equal?
True
Let u = 5 - 4. Let q = -1151/210 + -2/105. Let g = q + 79/14. Which is greater: g or u?
u
Let x = -307 + 2173/7. Which is greater: x or 2?
x
Suppose -16 + 1 = -5*k. Suppose -11*q - 2*q + 91 = 0. Which is bigger: k or q?
q
Let u be (-2)/(-8) + 30/8. Let m = 3 - u. Which is smaller: m or 0?
m
Suppose -4*b - 4*n + 217 = -119, -3*n - 148 = -2*b. Let o = -1 - 8. Let y be b/198 - (-2)/o. Which is smaller: 1/2 or y?
y
Suppose -l + 2 - 4 = -3*s, -2*s - 4*l = 22. Let p = 1 + s. Let y = p + -1. Is y at most as big as 1/6?
True
Let y(q) = 2*q**2. Let x be y(1). Let p = 25/8 - 13/8. Which is bigger: x or p?
x
Let s be (-15)/6*(-3)/(-60). Is 6 >= s?
True
Let t = 4 + -6. Let z(f) be the second derivative of f**3/6 + f**2/2 + 13*f. Let j be z(t). Is j greater than or equal to -1?
True
Let v(h) = -h. Let o be v(6). Let s be (4/o)/((-6)/(-36)). Suppose 3*n - 3*x = -0*n - 6, 5*x + 22 = -3*n. Is n greater than or equal to s?
True
Let b = 0.947 - -0.053. Which is bigger: b or -6?
b
Let a = 0.43 + 19.57. Let x = 20.2 - a. Are -2 and x equal?
False
Let v = 252 + -1761/7. Does v = 0?
False
Let z be (-6)/(-27) + 64/(-45). Let k be (-6)/10 - 9/(-15). Is k greater than z?
True
Let k(b) = -b**2 - b - 1. Let i(f) = -3*f**2 - 2*f - 4. Let q(t) = i(t) - 4*k(t). Let p be q(-2). Let h = -620/6601 + 2/287. Which is smaller: p or h?
h
Let s = -3 + 2. Let h = -0.38 - 0.12. Is h equal to s?
False
Let v = -12 - -10. Let u be (3 - (v - -3)) + -1. Which is smaller: 2/11 or u?
2/11
Let w be (15/40)/(3/(-2)). Which is greater: w or -1/2?
w
Let o be ((-2)/(-3))/(2/(-84)). Let u be 52/6*o/320. Let v = 1/120 + u. Which is smaller: v or -2?
-2
Let q be (-2 + 0)*69/(-46). Let z(v) = v**3 - v**2 - v. Let j be z(0). Let f = 4 - j. Is q bigger than f?
False
Let l be 2*((-2)/(-10) + 0). Let n = -17 - -17.1. Is l >= n?
True
Let y = -203 - -197. Let b = -0.2 + 0.1. Which is smaller: b or y?
y
Suppose -3*y = -10 + 1. Suppose y*p + 0 + 3 = 0. Is p at most as big as 2/5?
True
Let t = 3 + -1. Suppose -4*f = 2*n + 22, -3*n + 8*f - 3*f + 11 = 0. Let l(b) = -2*b - 3. Let q be l(n). Which is smaller: q or t?
t
Let o = -9 - -12. Suppose 5*y + 2 + o = 0. Is 1/16 equal to y?
False
Let m = 550/3 - 185. Does m = -4?
False
Let s be 2/6 + 1/(-5). Does 0 = s?
False
Let g = 65.2 - 59. Let d = g + -6. Let n = 2.2 + -2. Is n greater than d?
False
Let z = 10 - 6. Suppose c = -z*c - 45. Do -10 and c have the same value?
False
Let k be (-2 + 0)*30/(-4). Suppose t - k = -3*l, l + 3 = 2*t - 2*l. Is t < 1?
False
Let y = 181 + -183. Let n = 1 + -3. Is y equal to n?
True
Let t(y) = -37*y**2 + 2*y - 2. Let n be t(1). Do -35 and n have different values?
True
Let g = -3518/455 - -102/13. Is 0 at most g?
True
Let g = -6 - -15. Let j = -9.1 + g. Let q = 0.28 - -0.02. Is q at least as big as j?
True
Let p = 76/5 - 74/5. Is p not equal to 1?
True
Let g = 5 - 1. Suppose 2*p = g*p - 2. Let y be (0 + 1)/((-3)/(-6)). Which is greater: y or p?
y
Let q = -0.8 - -2.8. Let o = q + -2.1. Let r = o + 0.3. Which is smaller: r or -2?
-2
Let x = 173/9 - 199/9. Is -4 >= x?
False
Let m(j) = j**2 + 12*j + 3. Let v be m(-12). Let x(w) be the third derivative of -w**4/24 + w**3/2 + w**2. Let d be x(v). Which is greater: d or 1?
1
Let i = -1.9 + 0.8. Let y = -0.1 - i. Which is smaller: y or 5/7?
5/7
Suppose 0*o = 2*o - 2. Let p = -128 - -134. Which is bigger: p or o?
p
Suppose -7 - 1 = 4*a. Let h = -7 - -11. Suppose 0*d = 2*d + 2*b + 10, -h*b + 1 = -3*d. Which is smaller: a or d?
d
Let y be (2 - (-6)/(-4))*-2. Let i be (6/(-14))/(40/35). Is i at least y?
True
Let q = 0.06 - 0.16. Is q bigger than 7?
False
Let c = -4.3 - -3.3. Let a(o) = -o**3 + 3*o**2 - 4*o + 3. Let s be a(2). Let w be 1*(-1)/(-4)*s. Which is smaller: c or w?
c
Let a be 1/(-2) + 4/8. Let i = -16016309 + 40248985221/2513. Let g = i - -2/359. Which is greater: g or a?
g
Suppose -m - 3*m = 0. Let g be 7 - (5 - (m - -3)). Is g bigger than 2?
True
Let u = 58/45 - 8/9. Is u at most 1.6?
True
Let v = -271/4 + 67. Let p be 5*(-2)/4 + 3. Is p <= v?
False
Let b be (3 + 2)*(-4)/25. Let s = -1 - -1. Is b smaller than s?
True
Let a be ((-2)/6)/(1/2). Let k(t) = t**2. Let s be 4/(-14) - 9/(-7). Let w be k(s). Which is greater: a or w?
w
Let n be (-1147)/28 - 18/24. Suppose 0 = -2*d + 56 + 28. Let z = d + n. Which is bigger: 3/4 or z?
3/4
Let z = -11 + 32. Suppose 0 = -i - 4*w + 2, 0 = -4*i - 0*i - 3*w + z. Let k = i - 6. Is 0 at least as big as k?
True
Let g(p) be the second derivative of -p**3/6 + 4*p**2 + p. Suppose 3*l - l + 2 = 0, 4*r + 4*l - 28 = 0. Let v be g(r). Is v bigger than 0.2?
False
Let x be ((-2)/4)/((-1)/6). Let p = x - 2. Is 0.4 at most as big as p?
True
Let l(s) = s**2 - 6*s + 1. Let j be l(5). Let r be j*(3 + (-31)/10). Suppose 9 = -3*k - 2*c + 5*c, -4*c + 8 = 0. Which is bigger: r or k?
r
Let s = -4 + 6. Let k = s - 6. Let w = 8 - 8.1. Is k bigger than w?
False
Let x be (82/40*-3)/(6/(-8)). Does x = 7?
False
Let w be 9/(-2)*(-6)/9. Let q be -4 + w - 3/(-4). Does q = 0.1?
False
Suppose 11 = 2*w - 5. Let l = 8 - w. Which is greater: -2 or l?
l
Let f = 47/4 - 149/12. Let q = 1.02 + -1. Which is greater: q or f?
q
Let q = -21 + 24. Which is smaller: q or 2?
2
Let j(z) = z - 3. Let y = -5 + 12. Let w be j(y). Suppose 0 = w*l - 2*k - 10, 0*k + 4*k = 2*l - 14. Which is smaller: 0 or l?
0
Suppose 0 = -4*g - 4*t + 56, -2*t - 42 = -3*g + 3*t. Let s be 1/(-3) + g/6. Suppose -4*r = -4, 2*r = -4*c + s*c + 2. Do 1/5 and c have the same value?
False
Let w(k) = k - 1. Let g be w(4). Suppose g*j + 2*j + 4*y = 32, -3*y + 5 = -j. Suppose -2*t + j = 2*t. Which is smaller: 3 or t?
t
Suppose 4*f + 20 = 6*f. Suppose -f = -4*w + 6. Suppose -3*q = w*l + 6, l - q = -2*l + 2. Is 0 <= l?
True
Suppose 0 = i - b - 33, 4*i + 2*b = 2*i + 54. Let r = i + -5. Let o be (r/(-10))/(1/(-2)). Which is bigger: o or 6?
6
Let c = 129 - 1807/14. Suppose 5*j + 0*j + 5 = 0. Which is greater: j or c?
c
Let n = 38 - 21. Which is greater: 11 or n?
n
Let k be 3 - -1 - 112/18. Is -1 less t