= -6?
True
Let i(y) = 25*y**2. Let b be i(1). Let o be (5/b)/((-1)/2). Is 1 at least o?
True
Suppose 2*n - 846 = 4*d, -809 = -5*n + 4*d + 1276. Let v = -10323/25 + n. Is v greater than or equal to 1?
False
Let u = -1/150 + -433/2550. Let k be (2 - (2 - 0))/2. Which is bigger: u or k?
k
Suppose -5*k + 3 = -7. Suppose j = -2*j + 3*o + 12, 2*j = o + 9. Which is bigger: j or k?
j
Let c = -6 + 11. Suppose 4*u + 15 = -2*z + z, -5*u = 4*z + c. Is 3 equal to z?
False
Suppose 5*j + 1 = -5*o + 26, -3*j + 8 = -4*o. Let g be o + 1 - (1 - 1). Which is bigger: g or 1?
g
Let o = -19 - -8. Let b = o + 7. Suppose m - 10 = 4*q + q, 0 = -5*q - 15. Which is bigger: m or b?
b
Suppose 0 = -m + 4 - 1. Suppose -m*g + 8*g + 30 = 0. Let f = g - -5. Which is smaller: 1 or f?
f
Suppose 0 = -5*o - 18 + 48. Suppose d - 8 = o*z - 3*z, -5*z = 5*d. Suppose -i - 3 = -2*l, -d*l - l + 12 = -3*i. Is l != 1/5?
True
Let o(u) = -u**2 - 11*u - 5. Let x(p) = -p**2 - 5*p - 4. Let h be x(-6). Let b be o(h). Let r = b - 8. Are r and -3 nonequal?
False
Let h be (3 - 0) + (-24)/4. Is -4 >= h?
False
Let d be -1 - ((-2)/(-4) - 2). Suppose 4*w = 2*m - 6, -3*w + 5*m = -w + 15. Is d at most as big as w?
False
Let n(t) = t**3 + 4*t**2 - 5*t + 2. Let j be n(-5). Let a be -2*(j - 36/21). Which is smaller: a or -1?
-1
Suppose -2*m = 5*l + 2, -5*l - 5 = 5*m - 0. Suppose l = -0*w + 3*w - 6. Suppose -n = -b + 4, -n - w*b = -7 - 1. Which is smaller: 0.4 or n?
n
Let p = 0 - -2. Suppose 3*c = -4*n - 16, -1 = -4*c + p*n + 7. Is -2/15 at least c?
False
Let v = -77 + 90. Is 13 at least as big as v?
True
Let x(u) = 1. Let b(j) = -j - 5. Let f(l) = -b(l) - 6*x(l). Let v be f(1). Are v and -1/3 non-equal?
True
Let w = -0.3 + 0.2. Let q be (-1)/1 - (-1 + -3). Let l be ((-6)/(-10))/(q/2). Is w not equal to l?
True
Suppose -l = 10*l - 44. Is l smaller than -0.03?
False
Suppose 0 = -o - 3*g - 25, -4*o + 3*g - 32 = 53. Which is smaller: -24 or o?
-24
Let s(z) = -z**3 + z**2 - z - 1. Let c be s(-1). Suppose -c + 8 = -2*g. Let h(l) = l**2 + 3*l - 30. Let d be h(-7). Which is smaller: g or d?
g
Suppose -6 + 7 = -h. Which is smaller: h or -1.6?
-1.6
Let i = -42 + 127/3. Suppose 2*z + 32 = 5*h, -4*z + 14 = -h + 42. Let r = 5 + z. Are r and i equal?
False
Suppose -3*u + 2 = -y, 0*u + 3*u - 8 = 4*y. Let k = -6 + 6. Is u greater than k?
False
Let t = -0.5 + 1.5. Let a = t - -1. Let r = a - 4. Which is greater: 0.1 or r?
0.1
Let c(l) be the third derivative of -7*l**4/6 + l**3/6 + 3*l**2. Let f be c(7). Let u be (-9)/f - 6/(-39). Which is greater: u or 0?
u
Suppose -23 - 7 = -10*x. Which is bigger: 8/3 or x?
x
Let q = -1 - -1. Let o be (-12)/(-9) + 4/(-12). Is q greater than o?
False
Let q be (-4)/(-5) + 4/(-10). Let x = -577.15 - -577. Which is smaller: x or q?
x
Let h = 40118/553 + -508/7. Do -1 and h have different values?
True
Let c = -0.052 - -6.052. Which is smaller: c or 2/3?
2/3
Suppose s + 3*p = 1 - 5, 0 = -4*s - 2*p + 24. Is s != 5?
True
Suppose 72 = 4*l - 4*x, -x = -4*l + 5*l - 18. Which is greater: 20 or l?
20
Suppose -2*n = -10 - 0. Let x(m) = m**3 - 6*m**2 + 5*m. Let k be x(n). Let f = 2653/11 - 241. Which is greater: f or k?
f
Let l(q) = -2*q + 3. Let f be l(3). Let i be f + 1 + (-46)/(-22). Which is bigger: i or 0?
i
Let p(o) = -2*o + 8. Let h be p(5). Which is bigger: h or -21/10?
h
Let z = -4 + 6. Suppose 5 = q + 2*r - z, 3*q + r - 1 = 0. Which is bigger: 2/31 or q?
2/31
Let u be 26/20*8 + -1. Let q = u - 287/30. Which is smaller: q or 0?
q
Let m be (-6)/(-8) + 194/(-24). Which is bigger: -2 or m?
-2
Let p be 4*1 - 1/1. Suppose u - p*n = 8, 0 = 4*u - 3*n - n - 16. Let o = -10 - -12. Is o smaller than u?
False
Let o(w) = w**3 + 6*w**2 + 3*w - 6. Let d be o(-5). Let h be 90/21 - d/14. Suppose 3*c - 25 = -2*c. Which is smaller: h or c?
h
Let k = -10 - -10.05. Is k < -0.1?
False
Let r = 3.9 - 0.1. Let w = -1.8 + r. Which is greater: w or -2?
w
Let r = 30 - 28. Which is bigger: 0 or r?
r
Let z be (-2 - (-14)/6)*-9. Let v be (-1 + (-10)/(-4))/z. Let y(s) = s**2 - 8*s + 7. Let x be y(7). Which is smaller: x or v?
v
Let l(i) = -2*i + 1. Suppose -5*b + 36 = -2*y, 2*b = -2*b + 3*y + 33. Let q(u) = 5*u - 2. Let s(d) = b*q(d) + 13*l(d). Let z be s(1). Is z bigger than 5?
False
Suppose 0 = -2*t - 5*p - 16, 0 = 2*p + 2*p + 16. Which is bigger: 9/4 or t?
9/4
Suppose h = 6*h + 4*f - 3, f = -h. Do 1 and h have different values?
True
Let d = 3 + 7. Let i be 24/d*(-10)/(-4). Suppose 0 = -t, 3*f - i*t = -2*t + 9. Is f less than or equal to 2?
False
Let i = 0.4 - 0.4. Which is bigger: 1 or i?
1
Let o be (-4)/(-6)*(-3)/14. Is 1 bigger than o?
True
Suppose 11*n - 63 = -19. Is n bigger than 2?
True
Let i = -1 - -0.9. Let n = -1/35 - 4/7. Are i and n equal?
False
Let k = 5.1 - 5. Let u be 3/(-1) - (-1 + -6). Are k and u non-equal?
True
Let v = 10 - 12. Let a = v - -2.2. Is a at most 0.5?
True
Let p be 12/5 + 2/(-5). Let u be ((-4)/(-5))/(p/(-10)). Is u > -4?
False
Let y(i) = i + 5. Let m be y(-3). Let t(p) = 0*p**2 - p - m*p + p**3 - 5*p**2 + 7. Let o be t(5). Is o less than -7?
True
Let q(p) = 3*p**2 + 4*p - 1. Let n be q(-3). Let i = n - 24. Let k be (4/i)/((-6)/10). Do 2 and k have the same value?
False
Suppose m - 10 = -5*p, p - 36 = 4*m + 2*p. Suppose 4*l + 6 = u + 25, 2*u + 14 = -4*l. Is m smaller than u?
False
Let y be 4/10 - (-2068)/(-4895). Is 1 < y?
False
Let j = -7/4 - -81/44. Let x = 2 - 3. Which is bigger: x or j?
j
Let m be (-5)/((-5)/4 - -1). Let h be (0 + -1)/(4/m). Let n = -7 - h. Which is smaller: n or -5/4?
n
Let q = 31.92 - 33. Let l = q + 0.08. Is l less than or equal to 1/2?
True
Let d = -16/35 + 2/35. Suppose 5*f + 18 = -2*z, 5*f - 3*z + 12 + 11 = 0. Let p be (f/(-12))/((-2)/(-4)). Which is smaller: d or p?
d
Let i be (-368)/(-6) + 2/(-6). Let h = 408 + -1389/4. Let d = h - i. Does d = 0?
False
Let l be ((-1)/(-21))/(1/3). Let u(c) = 3*c - 9. Let t be u(3). Which is smaller: t or l?
t
Suppose -46 - 60 = 3*n + 4*v, v = -3*n - 112. Which is smaller: -39 or n?
-39
Let r be (17 - 11)*2/(-5). Which is smaller: r or -3?
-3
Suppose -1 = x - 3*y, 2*x + 5*y - 13 = -4. Suppose -19 = u + 4*i, 4*u = x*u - 4*i - 22. Which is smaller: u or 3?
u
Let r(b) be the second derivative of -b**5/20 - b**4/2 + 7*b**3/6 - b**2/2 - 4*b. Let u = 3 + -10. Let i be r(u). Is i smaller than -4/7?
True
Suppose -8 = 2*g + 3*b, -3*b - 1 - 11 = 0. Suppose z - 16 = -15. Are z and g unequal?
True
Let o(c) = -c**3 + 6*c**2 + 6*c + 5. Suppose 5*b + 3 = -4*y, -11 = -3*b - 2*y + 6*y. Let v be 0 + 1 - -6*b. Let q be o(v). Which is smaller: q or -1?
q
Let l = -343 - -4457/13. Is l at least as big as -1/3?
True
Let s = 62 - 44. Let o = s - 18.9. Let a = o + -0.1. Is 1 smaller than a?
False
Let t = -2.1 + 0.5. Let n = 1.7 + t. Which is smaller: n or 0.07?
0.07
Let w be (-74)/(-14) + 2/(-7). Let m = -4 + w. Let n be (1 - m) + 2*1. Which is bigger: n or 5/4?
n
Let p = -17 - -32. Suppose -17*y + p*y = 0. Is 1 less than y?
False
Let w(p) = 6*p + 6. Let n be w(-4). Let u = n + 32. Let m be u/8 + 2 + -4. Which is greater: -0.1 or m?
-0.1
Let l be 26/(-10) + (-3)/(-5). Suppose 4*m - 4*p = -16, 2*p - 3 - 7 = 3*m. Let r be 27/(-15) + m/10. Is l < r?
False
Let q = 24/77 + -2/77. Let c(y) = -3*y**2 - 3*y - 1. Suppose -3*j + 10 = -j + 3*g, 4*g - 14 = -2*j. Let m be c(j). Which is bigger: m or q?
q
Suppose -3*j + 2 + 4 = 0. Suppose -3*z - s + 17 = 0, -2*s + 29 = 8*z - 3*z. Suppose -3 - 7 = 2*y - z*n, -4 = 2*y - j*n. Are 4/9 and y non-equal?
True
Let r = 0 + 0. Let p be (-4)/12 + 4/9. Let m = -2/9 - p. Is m at most as big as r?
True
Let x be 9/6*-1*2. Let i be (1/(-18))/(1/x). Which is bigger: -1 or i?
i
Let v be 1 + 1 + (-2)/(-2). Suppose -2*m + 2*w = -14, 5*m - w - 23 = -0*w. Which is bigger: v or m?
m
Let w = -30 + 153/5. Suppose -21 = -b - b - 5*g, -3*g = -2*b - 3. Suppose -2*f - f + b*u = 0, 4*f = u + 3. Is w at most as big as f?
True
Suppose -3*t + 5*d = 11, -2*d + 1 = 4*t + 7. Let b = t + 3. Let l be (2/6)/((-4)/(-3)). Which is smaller: b or l?
l
Let f(m) = -2*m - 7. Let w be (0 - -3) + (-18)/2. Let q be f(w). Is 5 at least as big as q?
True
Suppose -3*p - 2 = 4. Let h = 12 + -11.84. Let c = h - -0.04. Which is smaller: p or c?
p
Suppose -3*q = 3*n - 0 + 3, -2*n + 2*q = -2. Which is greater: 4/19 or n?
4/19
Suppose b - 4 - 1 = 0. Let r = 3 - b. Does 0 = 