 t or -3?
t
Let c = -27/58 - 1/29. Let b be 19/8 + 6/3. Let r = b - 191/40. Is r greater than or equal to c?
True
Suppose -3*x - 15 = 2*x. Let t(j) = j**3 + 3*j**2 - j - 4. Let r be t(x). Does r = -1?
True
Let g be 4/(-10) + (-10338)/(-70). Suppose -4*q = -0*q - 3*y + 573, 2*q + 2*y + 304 = 0. Let h = q + g. Is -3 < h?
True
Let a be -3*(3 + (-1175)/390). Which is bigger: a or 1?
1
Let y = -0.8 - -1.1. Let b = y + 0.3. Let o = -0.4 - b. Is o != -3?
True
Suppose 3*z + 0*z + 3*x = 6, 0 = 4*z - x - 8. Suppose -2*a = z + 2, -g = -3*a. Let c = -23 + 17. Is c at most g?
True
Let h = -0.97 + -0.03. Let s = 1.1 + h. Let p = 0.3 + -0.2. Are p and s unequal?
False
Let v(s) = -s**2 - 4*s - 7. Let r be v(-4). Which is greater: r or -8?
r
Suppose 10 = -5*r + 4*r. Let z be 1/(-4) + r/(-24). Which is smaller: -1 or z?
-1
Suppose -10*d + 13*d = -426. Which is smaller: -143 or d?
-143
Let x be (5/10)/(-3 - 1). Let i(r) = -r**2 + 8*r - 6. Let g be i(7). Do g and x have the same value?
False
Suppose 0 = 2*v + 3*v. Let u be 1 + (-1 - 129/(-6)). Let l = u - 22. Is l smaller than v?
True
Let k be -1 - (-7 - 0) - 1. Let i = k - 7. Suppose 0 = -2*s - 6. Is i at most s?
False
Let g = 118 + -1063/9. Let y be 5*((-18)/(-15) - 1). Is y bigger than g?
True
Let h(s) = s**3 + 9*s**2 - 9*s + 22. Let k be h(-10). Which is bigger: k or 1?
k
Suppose 6*y - 50 = 8*y. Which is smaller: -24 or y?
y
Let d be (8 - 10) + 7*1. Suppose 0 = 5*m - 2*l - 11 - 11, d*m + 2*l - 38 = 0. Is m at most 6?
True
Let c be (-2)/(2672/1354 - 2). Let k = -75 + c. Which is smaller: k or 1?
k
Suppose k + 6 = -u, 0 = 2*u - 3*k - 11 - 2. Are u and 1/63 equal?
False
Let d = 0.008 + -1.608. Does d = -1?
False
Let o(x) = -x. Let c be o(5). Suppose -j + l = 5, 3*j + 51 = -4*l + 43. Is c at most as big as j?
True
Suppose 7*r = 8*r. Suppose r = -5*v - 0*v - 15. Which is smaller: -5/3 or v?
v
Let p be (-2)/4*(-1 - 0). Let z = -35 + 35.4. Which is smaller: z or p?
z
Let v = 313 - 6887/22. Which is bigger: v or -0.1?
v
Let v be (-29)/93 + (0 - (-4)/12). Which is smaller: v or 0?
0
Let w = 69 + -211/3. Which is smaller: w or -2?
-2
Let n(g) = 8*g**2 + 3*g + 2. Let u(m) = -7*m**2 - 2*m - 1. Let t(a) = 2*n(a) + 3*u(a). Suppose 0 = -4*q - 2 - 2. Let i be t(q). Which is bigger: 2/5 or i?
2/5
Suppose 5*m - 24 = -m. Suppose -m*w = -b + 7, -5*w - 13 = 3*b - 0. Is w smaller than -6?
False
Let r = -18 - -18.1. Which is greater: r or -2?
r
Let c(h) = h**3 - 10*h**2 + 2*h - 13. Let o be c(10). Let y be (-65)/(-105) - 2/o. Is 3 less than y?
False
Let m = 0.3 - 0.5. Let l(t) = -t - 1. Let u be l(-6). Suppose -4*h - 18 = 3*y, -3*h = -3*y - 2 + u. Which is smaller: m or y?
y
Let q(k) = k**3 - 6*k**2 + 3*k + 6. Let z be q(5). Let c = z - -3. Let o = 155 + -1707/11. Is c greater than o?
False
Let b = 15 - 18. Is b > -3?
False
Let p be ((-6)/4)/(6/62). Let d be 4/8*-2*16. Let m = d - p. Are m and 0 nonequal?
True
Let o = -881 - -29957/34. Is 0 != o?
True
Suppose 2*w + 0 - 14 = 0. Which is smaller: 8 or w?
w
Suppose 7*u - 27 = 50. Are 11 and u nonequal?
False
Suppose 0 = -3*q - 0*q - 30. Let x be q/84 + 4/14. Let i be -1 + (-2)/((-1)/1). Which is smaller: i or x?
x
Let c be (-7 - 0) + 0 + 1. Let w be 7/(-21) + 4/c. Which is bigger: w or -2/31?
-2/31
Let x(v) = -v**3 - 7*v**2 - 12*v - 4. Let g(b) = b**2 - b - 1. Let c(h) = 3*g(h) - x(h). Let u = -6 - 3. Let f be c(u). Which is greater: -2/9 or f?
f
Let s = 30315/46 + -659. Let v = 97/230 - s. Let j = 1 + -2. Which is bigger: v or j?
v
Suppose 2*a = -5 - 7. Let j(o) = -o - 3. Let x be j(a). Is x at least as big as 4?
False
Let l be (-310)/60 + ((-2)/(-6))/(-1). Which is greater: -5 or l?
-5
Suppose 5*d - 5*l + 75 = 0, -5*d - 74 + 8 = -2*l. Is -17 less than or equal to d?
True
Let y be ((-8)/14 - (-40)/28)*7. Is y at most 9?
True
Let l(x) = x**3 - 7*x**2 + 2*x - 1. Let s be l(6). Is -25 greater than s?
False
Let w(r) = 6*r**3 + r**2 + r + 1. Let q be w(-1). Let i be q*(63/(-15))/3. Suppose 2*s = 1 + i. Which is smaller: 3 or s?
3
Let w(q) = -q**2 - 12*q - 12. Let r be w(-11). Which is greater: -18 or r?
r
Let v be -3 - (35/(-9) + 1). Which is smaller: 1 or v?
v
Let h = -97 - -91. Is h greater than or equal to 2/3?
False
Suppose 0*w - 2*w - d = -55, 0 = -w + 5*d. Which is smaller: 73/3 or w?
73/3
Let l = 9 + -45/4. Is -3 at least l?
False
Let d be 58/8 + 8/(-32). Suppose d*b = 11*b. Is b greater than -2/3?
True
Let t = -73 - -44. Which is smaller: t or -28?
t
Let x be 1 + -7 + 3 + -2. Let u = -45 + 40. Is u less than or equal to x?
True
Let i(y) = -4*y - 3. Let d be i(-2). Let r = 0 + d. Suppose 0 = -l + 4*b + 8, -4*l - 3 = r*b + 7. Which is smaller: -1 or l?
-1
Let r(i) = i**3 + 3*i**2 + 3. Suppose 3*n = -a - 2, 2*n + 0*n = -a - 3. Let p = a + 2. Let b be r(p). Is 2 <= b?
True
Suppose 0*l + 12 = -4*k + 4*l, -2*l + 9 = k. Let o be 0/(1 + 0) + -3. Let m be (2/o)/((-12)/9). Which is smaller: k or m?
m
Let l(h) = -h**2 - 6*h - 4. Let a be l(-3). Suppose 2*b + 3*x - 15 = -3*b, 0 = b - a*x - 3. Is b equal to 2?
False
Let o(u) = -u**2 + 6*u + 17. Let q be o(8). Is q at most as big as -1.7?
False
Let i(n) = n**3 - 7*n**2 - 9*n + 12. Let c be i(8). Let p be c/(-1)*25/(-20). Suppose -6 = p*w - 3*w. Is w >= -4?
True
Let j = 0.22 + -17.22. Let z = j + 17.7. Let v = z - -0.3. Which is smaller: 2 or v?
v
Let y = 56 + -59. Let j(v) = v - 3. Let b be j(5). Suppose -2*q = 4, 0 = d - 5*d - b*q - 16. Is y != d?
False
Let f be (-4)/(-2) - 0/2. Let v(m) = m + 10. Let u be v(-5). Suppose u*l + f = 7. Is l at most as big as 0?
False
Let z(t) be the second derivative of -t**3/6 + t**2 + t. Let s be 1*-2*6/(-4) + 3. Let o be z(s). Which is smaller: -0.1 or o?
o
Let j = -11 - -11.1. Which is greater: -2/227 or j?
j
Let u = -10 + 9. Which is smaller: 5 or u?
u
Suppose -d - 18 = -10*d. Which is greater: d or 5/9?
d
Suppose -5 = -2*p - 3*u - 0, -2*p + 3 = u. Let y be p/(-1 - (-4)/2). Which is smaller: -2/21 or y?
-2/21
Let g be (-1 - (-3 + 2))/2. Let n be (g - (-9)/48)*-676. Let h = -128 - n. Which is smaller: h or -1?
h
Let m = 0.094 - 2.054. Let n = 0.04 - m. Is n equal to -0.6?
False
Let s(x) = x**2 - x + 19. Let d be s(0). Let o = d + -16. Which is smaller: 1/4 or o?
1/4
Let p = 3 - 3.2. Suppose 7 = -3*a + 1. Is a greater than p?
False
Let s(m) = m**3 - 9*m**2 - m + 7. Let g be s(9). Is g > -9/5?
False
Let p = -62 + 109. Which is bigger: p or 48?
48
Let p be ((-2)/(-2))/((-2)/(-28)). Suppose -66*h = -56*h - 120. Which is smaller: p or h?
h
Suppose 0 = -0*a + 5*a - 10. Let j be (3 - a)/(1 + 0). Which is bigger: -2 or j?
j
Let j = 0.4 - -0.1. Let o = j - 0.1. Let k = -0.6 + o. Are -0.1 and k nonequal?
True
Let h = 44 + -46. Let u(m) = -2*m + 5. Let c be u(4). Which is bigger: c or h?
h
Let a = 2/383 - 776/1915. Let l = 42.97 + -43. Is a bigger than l?
False
Let c be (-3 - (-6)/4)/3. Which is greater: c or 0?
0
Let c be (-2)/(4/6)*-1. Suppose c*p - 13 + 4 = 0. Let w be ((-8)/12)/((-2)/9). Is p <= w?
True
Let c = -2 - -5. Let h = 8 - c. Suppose -5*r = h*j - 22 - 8, -j + 4 = 0. Is r at least 2?
True
Let x be (-88)/(-11)*(-1)/1. Which is greater: -9 or x?
x
Let s = 13 - 6. Which is smaller: s or 19/3?
19/3
Let v = 0 + 1. Suppose 2*a + 10 = 3*s + 2*s, s = -2*a + 14. Let w be (-2 + s/(-2))/(-5). Is v at most as big as w?
False
Let x = 4.4 - -13.6. Let b = x - 17.8. Which is smaller: b or 1/2?
b
Let k = 5 + -9. Which is smaller: k or 7?
k
Let u = 56 + -55. Let a be 4/(-2) - (-1 - 1). Suppose a*j = 2*j. Is j smaller than u?
True
Let f(j) = j**2 + 9*j + 6. Let v be f(-8). Which is smaller: -3 or v?
-3
Suppose -3*c - 4 = -10. Suppose 4*r - 13 - 3 = 0. Suppose 0 = x + 2*o + 3*o + 3, 0 = -r*o - 4. Is c < x?
False
Let a(q) = -7*q**3 + q**2 + 7*q + 8. Let d be a(-2). Which is bigger: -2 or d?
d
Let c(i) = -i**2 - 5*i - 2. Let s(u) = 2*u + 11. Let p be s(-8). Let v be c(p). Let r = v - -1. Is r equal to 1?
False
Let g = -3 + 6. Suppose 4*z - g*r = -5*r + 8, -z - 2*r = -2. Suppose b = -z*b. Which is smaller: -2 or b?
-2
Suppose -2*x + 2*u = 6, 4*u = 3*x - 0*u + 8. Let q = 2 - -2. Let f = q + -7. Which is greater: f or x?
f
Suppose 4*t + 3*c - 5*c - 6 = 0, -5*t + 3*c + 9 = 0. Let v be 3/(-2*(-14)/(-4)). Which is smaller: t or v?
v
Let h = -14.6 - -14. Is h < 1/2?
True
Let z be 3/15 + 3/(-15). Is z equal to 4/5?
False
Let i be 