 x?
x
Let b = -4.9 - -0.9. Let a = b - -4.1. Is 3 greater than or equal to a?
True
Let x(r) = 7*r**2 - 4*r + 2. Let p be x(2). Let n be (0 - p/(-8))*-4. Is -12 < n?
True
Suppose -5 = -3*b + 1. Let t be (-1)/(b/(-6)*1). Are 3 and t unequal?
False
Let s = 10/39 + -12/13. Are s and -2/35 non-equal?
True
Let z be 2/8 - (-2)/2. Let i(m) = -7 - 3*m + 7*m - 3*m + m**2 + 5*m. Let c be i(-7). Which is bigger: z or c?
z
Let l = 7 + -7. Suppose 5*f - 6 = -4*c, f = -5*c + 3*f - 9. Let b be (-1 + 2)*l/c. Is 1/4 > b?
True
Let n be 4/10 - (-120)/75. Suppose -12 + 3 = -3*h. Suppose h*b = n*b. Is b >= 2/3?
False
Let l(h) = h**3 - 10*h**2 + 1. Let n be l(10). Let y be 3 - ((-1 - 0) + n). Is y < 12/7?
False
Let n = -201 + 203. Is 27 at most as big as n?
False
Suppose 8 = 5*t - 2. Suppose t*g + 0 = -2. Is g at most 1/4?
True
Let k be 1/((-3)/(-38)*(-16)/48). Which is smaller: -36 or k?
k
Suppose 2 + 7 = -3*w. Which is bigger: 0 or w?
0
Let p be -1 + (9/(-3) - -10). Let s(a) = -a**3 + 7*a**2 - 4*a - 7. Let i be s(p). Suppose -9 = -3*z - 6*v + 3*v, i*z + v - 3 = 0. Is -1/2 smaller than z?
True
Let i(y) = 5*y**2 - 1. Let v be i(-1). Let z be (-9)/6*v/(-3). Suppose z*w = -0*w. Which is smaller: 1 or w?
w
Let q(c) = 0 + 2 - 1 - c. Let y be q(0). Let i be 19/39 - 1/3. Do y and i have the same value?
False
Let f be 58/42 - (-1)/3. Is f greater than 1?
True
Suppose 0 = 3*s - 0*s + k - 11, 0 = k + 1. Is s equal to 4?
True
Let z = -71 - -107. Does z = 32?
False
Let p(g) = g**2 - g + 4. Let n be p(-6). Let k be 16/(-12)*(-3)/n. Which is bigger: k or -1?
k
Let d = -39439/585 + 337/5. Which is bigger: d or 1?
1
Let v = -23 + 33. Do 10 and v have the same value?
True
Let k be 1*(-4 + 5 + -2). Which is smaller: -1/5 or k?
k
Let o be 22/6 - 3/(-9). Let t(s) = -s + 6. Let u be t(0). Let r = o - u. Which is greater: -3 or r?
r
Let z be 3/((-27)/(-6))*24/8. Is z equal to -1/49?
False
Let g(z) = -z + 4. Let k be g(6). Suppose 2*n - 2 = -2*n + 2*j, j + 15 = -5*n. Are n and k unequal?
False
Let q = 17/116 + 3/29. Let s = -8/79 + -70/869. Let x = s + 19/44. Are x and q equal?
True
Let q = -2 + 2. Let o = 108.93 - 109. Which is bigger: q or o?
q
Let t be (-4)/2*(-3)/1. Suppose -3 = -2*u - 5*x - 0, t = -5*u + x. Let k be -3 + 2*u/2. Which is bigger: k or -3?
-3
Suppose 3 = 4*z - 1. Let k = 3 + z. Suppose -k*j + 8 = 5*t, 5*j - 3*t = 6 + 4. Is j > 2?
False
Let k = 12 + -7. Suppose k*v - 8 = -48. Is v > -8?
False
Suppose 2*m + 18 = 5*m. Suppose 0 = 5*r - 47 + 12. Let h = r - m. Is 1/7 at most as big as h?
True
Suppose -2*a + 3*j + 13 = 2*a, 10 = 3*a - 2*j. Which is greater: a or 6?
6
Let h be (5 + -1)*8/16. Let t be 9*2*h/6. Is 6 greater than t?
False
Let f = 1/45 - -1/5. Let r be 24/(-135) + 0/2. Let q = r - f. Is 0 greater than q?
True
Let h(q) = 2*q**2 - 3*q - 4. Let p be h(4). Let l be p/6*(-1)/(-2). Which is greater: l or 2?
2
Let l = 4318/27 + -160. Is l <= 0.2?
True
Let l be 3 - 0 - (0 - -3). Let m(h) = -2*h - 28. Let r be m(-15). Which is smaller: r or l?
l
Let s be 11/2*(-3)/(-51). Let m = -3/22 - 15/374. Let k = s - m. Are k and 1 unequal?
True
Let b = 3/55 + 199/385. Is 2 greater than b?
True
Let l be 3 + ((-2)/4)/((-2)/52). Which is smaller: l or 18?
l
Suppose -22 = -t + 5*a - 4, -t + a = -14. Let m = -22 + t. Which is smaller: m or -8?
m
Let k = -14 - -2. Is -12 less than or equal to k?
True
Suppose -3*x - 139 = -202. Which is smaller: x or 18?
18
Let r be (-10 - 2)/(-3 - -2). Let v be r/(-20) - (-13)/5. Suppose 5 = 5*c, -4*s - c = v + 1. Is s less than -1/3?
True
Suppose -12*b - 3*b - 30 = 0. Are b and -9 equal?
False
Suppose -5*d + 3*d - 17 = -3*x, 3*d = -3*x + 12. Let s = 22/21 - 4/3. Which is bigger: s or d?
s
Let f(o) = o**2 - 7*o + 14. Let d be f(7). Let u be (d/(-21))/(2/18). Are -5 and u nonequal?
True
Suppose 0 = 2*g + 4*a - a + 21, -3*a = -5*g - 21. Let k(u) be the third derivative of -u**5/60 - u**4/4 + u**3/2 + u**2. Let c be k(g). Is 3 < c?
False
Suppose 1 = a - 2*a. Let r be a*2/2 - 0. Which is smaller: 2/5 or r?
r
Let f = -260/3 + 86. Suppose -5*s - 15 = -r + 2*r, 2*s + 28 = 4*r. Let n be (s/(-3))/(12/(-18)). Is n < f?
True
Suppose -77 = -3*t - 14. Let m be (-6)/(-21)*t/12. Which is smaller: m or -1/3?
-1/3
Let c(s) = s - 7. Let r be c(5). Is r at least as big as -11?
True
Let q be 12 - (-2)/((-4)/6). Let d = q - 9. Which is bigger: 1 or d?
1
Let q = 0.047 - -1.953. Which is greater: q or -1/2?
q
Suppose 39 = 5*u + 4. Suppose -7*c + 2*c + 2 = q, c - 2*q - u = 0. Is c at least as big as 2?
False
Let i = 16 + -17. Is i at least 4/19?
False
Let u(y) = y**2 - 5*y - 3. Let q be u(6). Let t(a) = a**3 - 3*a**2 + a - 3. Let v be t(q). Let p = 548/5 - 110. Which is smaller: v or p?
p
Suppose 2*m + 5*u - 48 = u, 4*m - 91 = -3*u. Let d = m - 41/2. Is d <= -2/5?
False
Let l = -0.14 + -0.86. Let c = 6 - 6. Is c > l?
True
Let y be -2*(-9)/(-6)*28/294. Which is bigger: 3 or y?
3
Let o be 7 - 2*-1 - 0. Let t(g) = g**3 - 10*g**2 + 8*g + 10. Let m be t(o). Is -4 at most as big as m?
True
Suppose -2*y + y + 1 = 0. Suppose k + 4*o + 18 = 2*k, 0 = 4*k + 4*o - 12. Let r be ((-4)/k)/((-24)/9). Which is greater: r or y?
y
Let r = 1.95 + 0.05. Let j = -3.63 + -0.37. Is j <= r?
True
Let k(l) be the first derivative of l**4/4 + l**3/3 - 3*l**2/2 - 2*l - 1. Let t be k(-2). Is t less than or equal to -3/4?
False
Let g be (-2)/4*(-2)/6. Let k(x) = -3 - 4*x**2 - 10*x - 5 + 3*x**2. Let j be k(-9). Which is greater: j or g?
j
Let w be (-4)/20 + (-32)/(-10). Suppose 3*x = 4*u - 2, -w*u + 2*x = 6*x + 11. Is u greater than 3/7?
False
Suppose 3*o - x + 2 - 10 = 0, x = -3*o + 16. Let y(r) = r**3 - 4*r**2 - 1. Let k be y(o). Is k greater than -3?
True
Let p = -20/21 - -2/7. Which is smaller: p or 2?
p
Suppose 4*p - 422 = 2*a, 0 = 5*p - 2*a - 2*a - 523. Is p greater than -1?
True
Let o be 0/1*4/(-8). Let w be ((-2)/6*o)/(-2). Let u be (w - -4)*2/(-14). Is -1/4 less than or equal to u?
False
Let y be (-3)/(-8)*(1 + 1). Which is bigger: y or 2?
2
Let l(v) = 5*v**3 - v**2 + v - 1. Let z be l(1). Suppose -1 = -2*u + 3, z*u = 4*o + 12. Let r be (3 + -2)*(-2)/12. Is o smaller than r?
True
Suppose -8*y = -24 + 40. Let o = 0.5 - 0.8. Let i = o + -0.7. Which is smaller: y or i?
y
Let l be -3 - ((3 - 3) + 52 + -1). Do l and -55 have the same value?
False
Suppose 0 = 3*r + 2*r + 5. Which is greater: r or -1/6?
-1/6
Let l = 4/145 - -1092/2465. Does l = -1?
False
Let o be (39/18)/13 - -1. Which is smaller: 0 or o?
0
Let z be 1/2 - 45/130. Which is smaller: z or 1/5?
z
Let m be (-1)/7 - 135/(-455). Which is greater: m or -1?
m
Let u = 18 + -9. Let s(k) = -2*k + 13. Let z be s(u). Let j = -9 + 4. Are j and z unequal?
False
Let w = -3 - -2.7. Let c = -0.3 - w. Let l = -2 - c. Is l at least as big as -2/5?
False
Suppose 2*f - 2*i + 10 = 0, -3*f - 5*i - 15 = 2*f. Is -5 equal to f?
False
Let p = 33 + -11. Suppose o = 4*o + 4*b + p, -3*o - 32 = -b. Which is smaller: o or -9?
o
Let n(g) = 2*g**2 + 6*g + 5. Let z be n(-3). Suppose c - r + 0*r + 2 = 0, -2*c - r = -z. Is 4/23 bigger than c?
False
Let y be (-2 - -1)*(-48)/4. Let j = y - 8. Is 4 smaller than j?
False
Let b = 826 + -4264/5. Which is bigger: -28 or b?
b
Let x be 48/(-30) + 1 + 0. Which is greater: x or 0?
0
Let s be 21/((-10)/(-4) - 1). Which is greater: 13 or s?
s
Suppose -2 = 5*w + 5*j + 3, 0 = -w - 5*j - 13. Which is bigger: w or 6?
6
Let a = 8749/15 - 583. Is -1 at least as big as a?
False
Let f(q) = -7*q + 42. Let x be f(8). Which is bigger: 3 or x?
3
Suppose -4*f = 5*a - 30, 2*f = -a - 3*f + 27. Let r be a/8 + (-9)/4. Is -2/3 at most as big as r?
False
Let t = 1214/3 + -404. Suppose -5*v + 5*k + 20 = 0, -v - v + 11 = -3*k. Is t <= v?
True
Let v(g) = -g**3 - 6*g**2 - 3*g. Let z be v(-6). Suppose 0 = -0*p + 3*p + z. Let s be 3*(-2)/p - 2. Is s >= 1/9?
False
Suppose 4*n - 2*n + 10 = 0. Suppose 0 + 2 = o. Suppose o*z - 4*i = -2*i - 14, -11 = 2*z - i. Do z and n have the same value?
False
Let d = 1931/8 - 241. Which is smaller: d or -1?
-1
Let q = -215/154 + 15/22. Which is smaller: -1 or q?
-1
Let n = 3/37 - 49/148. Which is smaller: n or -63?
-63
Let t be (-57 + -1)/(9/42). Let j = 273 + t. Which is smaller: j or 2?
2
Suppose 0*g = 2*g - 20. Let c = -10 + g. Is c at least as big as -1/14?
True
Let m be ((-20)/4)/(-25) - 8/15. Is -22 > m?
False
Let a(k) = 