uppose 2 = 3*a - 1. Let t = 1 - a. Is j greater than t?
False
Let t(b) = -2*b**2 - 3*b. Let x be t(-2). Let l = -11 + 13. Suppose -s + 1 = l. Is x at most as big as s?
True
Let x = -1.193 - -0.093. Is 0.01 > x?
True
Let x be ((-12)/15)/(92/(-10)). Let v = 5 + -3. Let c be (-8)/(-21) - v/(-7). Is x greater than or equal to c?
False
Let r be 0/(-3 + 0/(-3)). Is r at least as big as -2?
True
Let v be 4 - 2 - 1/(-1). Let t be 4/(-44)*(v - 0). Let d = t + -7/55. Is d less than 1?
True
Let d = -8375/1522 + 2/761. Is d less than -5?
True
Let d = 0.091 + 1.669. Let t = 1.7 - d. Which is smaller: 0.1 or t?
t
Let o = -65 + 66. Let c = -4.11 - -0.11. Which is smaller: c or o?
c
Suppose -6*n + 5*n = 0. Which is greater: 2/11 or n?
2/11
Suppose 3 = 4*j - 5. Suppose -2*k = -6, -p - 3 = -j*p - k. Let z = 128 - 509/4. Which is smaller: z or p?
p
Suppose p - 2*p = -7. Let h = p + -9. Which is greater: -3 or h?
h
Suppose -3*h - 3*z - 9 = -0*h, 3*h - z = 11. Is h < 3?
True
Let b = -1 + 0. Let l be (-60)/15*(1 + 54/(-52)). Which is smaller: b or l?
b
Let v(p) = 3*p + 8. Let j(b) = -b + 1. Let h(r) = -4*j(r) - v(r). Let z be h(15). Let i be -1 + (-1)/((-2)/5). Is i smaller than z?
True
Let c = -73 - -73. Which is smaller: c or -0.5?
-0.5
Let u = 16.9 + -17. Which is bigger: u or -4/5?
u
Suppose l + 4*l = s - 1121, -s = l + 229. Let n = l - -2922/13. Which is smaller: -1 or n?
-1
Suppose 2 = -k + 7. Suppose 5*n + 0*n - 24 = -v, -4*v + 8 = -2*n. Is n less than k?
True
Suppose j + 4*k = -0*j + 23, -2*j = 3*k - 21. Suppose -12 = -o - 3*o. Are j and o unequal?
False
Let v = -577/740 + -3/148. Is v >= -2?
True
Suppose -5*z + 29 = 4*o, o + 0 - 5 = z. Let a be ((-26)/o)/(2/(-36)). Let d = -548/7 + a. Is 0.1 bigger than d?
True
Let n = -83 + 131. Is n equal to 49?
False
Let r = 0.29 + -1.32. Let d = r + 0.03. Is d < -0.03?
True
Let o be 8/6 - (-190)/(-165). Is -2 greater than o?
False
Suppose -1 = -4*s - 2*o - 3, -3*s - 2 = 2*o. Suppose s = -0*f + 3*f. Is 0 at most f?
True
Let t = -5.5 + 6.5. Which is smaller: t or -3/29?
-3/29
Suppose 19 = 3*w + 16. Let r = 328 + -8199/25. Let s = 18/175 + r. Which is bigger: s or w?
w
Let t(j) = -j**3 - 6*j**2 + 9*j + 13. Let h be t(-7). Is 8 smaller than h?
False
Let d(z) be the first derivative of z**2/2 - 7*z - 3. Let l be d(6). Which is smaller: 0 or l?
l
Let b = -6 - 0. Let z = 29 + -24. Let x = b + z. Is -1/2 less than x?
False
Suppose 28*t = 27*t - 4. Let u be 1/3 - 19/3. Let q = u - t. Is 0 less than q?
False
Let t = 5.41 - 5.5. Which is smaller: 3 or t?
t
Suppose -3*s + 4*k = -15 - 1, -2*s + 4*k = -16. Is 0 equal to s?
True
Let b = 11.1 + -26.1. Let i = 408/7 + -58. Is b bigger than i?
False
Let z = 17.3 - 18. Is 2/7 > z?
True
Let i(f) = f**3 - f**2 - 3*f + 3. Let w be i(2). Let n be (w + 0/1)/1. Let h = 0 - -4. Which is smaller: n or h?
n
Suppose 2*j + 4 = 18. Are 7 and j nonequal?
False
Suppose 0 = -2*n - 0*n + 12. Let k be n/3 + 2 + -2. Which is smaller: 2/3 or k?
2/3
Let y(u) = -4*u - 53. Let g be y(-11). Which is bigger: g or -2/9?
-2/9
Let n(v) = v**2 - 7*v + 1. Let j be n(2). Which is smaller: -3 or j?
j
Let t be ((-12)/(-7))/((-2)/(-7)). Suppose 5*d + 1 = t. Let y(q) = q**2 - 2. Let f be y(-2). Which is greater: d or f?
f
Suppose -f + p - 3 = -0, 0 = -2*f - 5*p + 22. Is f less than or equal to -5/17?
False
Suppose 0 = -7*b + 24 - 10. Which is smaller: 12/5 or b?
b
Let z be (-9)/(-7) - 4/14. Let h = 45 - 43. Does z = h?
False
Let n(w) = -6*w**2 + w + 6. Let r(m) = 5*m**2 - m - 6. Let s(x) = 4*n(x) + 5*r(x). Let g be s(0). Is g != -6?
False
Let t(s) = s**3 + 18*s**2 + s + 11. Let a be t(-18). Which is smaller: -3 or a?
a
Suppose 2*x = x + 4. Suppose -x*j - 27 = -3*j - 4*s, -5*j - 101 = -3*s. Which is smaller: j or -18?
j
Let o be -5*(12/5)/2. Let s = o + 68/11. Let p(y) = y + 5. Let n be p(-5). Is s < n?
False
Let b be (120/(-22))/(-4)*1. Let x = 83/77 - b. Which is smaller: 5 or x?
x
Suppose -4*m + 3*y = -106, 3*y - 59 + 190 = 5*m. Which is smaller: m or 1?
1
Let i = 0.163 - 0.263. Which is smaller: 82 or i?
i
Suppose -56 + 59 = -k. Which is greater: k or -4?
k
Suppose -7*v + 48 = -8*v. Is -49 equal to v?
False
Let s(k) = k**2 - 2*k - 3. Let m be s(3). Let a = -13909/24 + 579. Let y = a - -3/8. Is y at least m?
False
Suppose -4*h + 66 = 2*c, 0*h + 3*c + 13 = h. Is 14 at most h?
True
Let t = 123.29 - 124. Let a = -0.19 + t. Let y = a - -1. Which is greater: 1/4 or y?
1/4
Suppose -4*y = 2*a, 3*y - 15 = 2*a - 43. Is a greater than or equal to 6?
True
Let l = -2/977 - 2915/7816. Which is smaller: -1 or l?
-1
Let k be 12/(-4) - 452/(-36). Which is greater: 11 or k?
11
Let l = -245 + 242.14. Let r = l + -0.14. Which is greater: r or 1?
1
Let c = 0.01 + 1.99. Let o = -89 + 88. Is o >= c?
False
Let x = -33 - -100/3. Which is greater: -7 or x?
x
Let k(w) = w - 28. Let c be k(22). Which is smaller: c or -1?
c
Let s(d) = -d**2 - 10*d - 10. Suppose 3*v = 5*o + 8*v + 55, -5*o + v - 43 = 0. Let y be s(o). Is y at least 2/13?
False
Suppose 5*s = s - 16. Is -4 equal to s?
True
Let t(s) = -s**2 + 3*s + 3. Let o be (-22)/(-5) - 6/15. Let m be t(o). Suppose 9 = 3*d + 2*r + r, 4*r - 14 = -3*d. Which is greater: m or d?
m
Let b = 42 - 28. Let r = b - 14. Is r greater than 2/19?
False
Let p(s) = s**2 + 5*s - 6. Let j be p(-6). Let g(r) = r**2 + r + 16. Let i be g(j). Suppose 5*k + 16 = -2*t, 3*t + i + 1 = -4*k. Which is smaller: t or -4?
-4
Let f = 23 + -23. Is f greater than -2?
True
Let q = 4 + -6. Is q <= 0?
True
Let w be 26/(-10) + (-6)/15. Let g = w - -2. Let n be 4/2*7/28. Is n greater than or equal to g?
True
Let k = -94/3 - -31. Let h = k + -1/6. Suppose 5*d = 4*z - 5, -d - z + 4*z - 1 = 0. Which is smaller: h or d?
d
Let s be (-5 + 1 + -16)/(-1). Suppose -4*y = -s, 10 = a + 5*y - 15. Let f = 0.3 + 0.7. Are f and a unequal?
True
Let h be (1 - (-3)/(-1)) + (10 - 7). Let r be 21/33 - 4/22. Is r greater than or equal to h?
False
Let s be (1 - -5)*3/(45/(-3)). Which is smaller: s or -6?
-6
Let f(o) be the first derivative of o**4/4 + 4*o**3/3 - 5*o**2/2 - o + 2. Let n be f(-5). Which is smaller: n or -2/11?
n
Let d = -3 + 3. Let k be 5/15 + 0 + d. Which is smaller: k or 1/4?
1/4
Let k(m) = m**3 - m**2 + m. Suppose w - 6 = -2*q - w, q + 4*w - 12 = 0. Let h be k(q). Are 0 and h equal?
True
Suppose 0 = -0*s - 5*s. Which is smaller: s or -4?
-4
Let l = -24 - -14. Is -10 bigger than l?
False
Let s = -2 + 1. Let r(j) = 4*j**3 + j**2 - j - 1. Let w be r(s). Let c = 41 + -43. Which is greater: w or c?
c
Let o be 2 - 10/(-4)*19/(-10). Is o < -2?
True
Suppose -2*x + 3*x + 8 = 3*q, 5*x + 4*q - 17 = 0. Let r be -18*(-2 + 1/x). Suppose 5*v - 2 = -2*a, -3*a - v = -4*v + r. Which is greater: -3 or a?
-3
Let n(z) = -z + 3. Let g be n(6). Suppose 3*b - 2 = 4. Let a be (-1)/b*(3 - 1). Are g and a unequal?
True
Let k be ((-2)/10)/(8/(-16)). Are 0 and k equal?
False
Suppose y - 47 = 46. Suppose -4*m - y = -4*k - 5, -k = m - 20. Suppose -3*g + 3*o + k = 0, -o + 4 = 7. Is 3 at least g?
False
Let p = 0.59 + 4.41. Which is bigger: p or -4?
p
Let p be (3 - (-685)/(-95)) + 4. Is p at least as big as 0?
False
Let i be (-4 - 8/(-2))/(-1). Is i smaller than 3?
True
Suppose -56*z + 57*z = -1. Is -3/4 greater than z?
True
Suppose -w = -2*w + 16. Is 15 greater than w?
False
Let c = -108 - -109. Let q(h) = h**3 + 4*h**2 + 3*h + 3. Let u be q(-3). Suppose u = 6*o - 3*o. Do o and c have the same value?
True
Let r = -717 - -25825/36. Let b = -10 + 89/9. Let k = b + r. Which is greater: -1 or k?
k
Suppose -5*p = -j - 11, -5*j - 1 = -3*p - 3*j. Let g be (-2 - -1) + 2 - -40. Let w = g - 79/2. Is p less than or equal to w?
False
Suppose -q = n + 10, q + 34 = -4*n + 3*q. Is -41/5 at most as big as n?
False
Let f be (0 + 7 - 0)*-1. Suppose -24 = -m - 3*m. Let u = f + m. Is -1 greater than or equal to u?
True
Let f = -1279/5 - -1221/5. Which is bigger: f or -12?
f
Let r = -7 - -5. Let u = r - -2. Suppose u = 3*f + p + 2, 3*f - 4*p + 0*p = 8. Is 1 equal to f?
False
Let u = 2549.022 + -2553. Let n = 0.032 - u. Let c = n + -0.01. Are 1 and c equal?
False
Let h = -0.044 + 0.144. Is -4/13 at least as big as h?
False
Let m = 19 - 14. Let v = m + -5.03. Which is smaller: v or -0.2?
-0.2
Let r = 5 - 5. Suppose r*j = -5*j + 25. Let d be ((-12)/15)/(1/j). Is d bigger than -2?
False
Supp