z be 5 + (1 + 0)*-2. Let a = -274 + 280. Is a at least as big as z?
True
Suppose -3*h + 16 = h. Suppose -o - o = -h*n, -2*n + 2*o = 0. Let a = -9/7 - -52/35. Is n smaller than a?
True
Let d be (-4)/50*(-6 - -8). Is d < 0?
True
Let d = -10 + 32. Let m = d + -22.1. Which is greater: m or 1?
1
Suppose -5*d - 5 = 0, 5*d = 4*l + 2*d + 5. Let g be l/3 - (-3 + 1). Is g at most 1/2?
False
Suppose q + 2 = -2*z, 8 = z + 3*z - 4*q. Let b(t) = t - 1. Let v be b(4). Suppose -n = -v - z. Which is smaller: n or 2?
2
Suppose -5*x + 5 = -4*u + 13, 3*u = -4*x + 6. Let b = -7 + 11. Which is smaller: x or b?
x
Suppose k - 6*k = 0, 5*b = k + 5. Let i be 2/6 + 1/1. Which is bigger: i or b?
i
Let w = 51.77 + 0.23. Which is smaller: 0 or w?
0
Let o = 22 + -18. Suppose 2*u + 4*l = 6*u + 24, 0 = -3*u - 3*l + 6. Let v = 3 + u. Which is smaller: o or v?
v
Let m = -6 - -8. Let f(n) = m*n + n**2 - n - 8 - 8*n. Let t be f(8). Are t and -3/10 unequal?
True
Suppose 2*a - 4*n - 2 = 28, -2*n = a + 1. Is a > 7?
False
Let j = 18/589 + 29913/4123. Let r = 8 - j. Which is smaller: 1 or r?
r
Let b be -4*(-3 - 55/(-20)). Is -1 at least as big as b?
False
Suppose -7*v - 6 = -4*v. Is v greater than or equal to -2?
True
Let t = 3 + -3. Suppose 0*a = -a + 2. Suppose z - 3*i + 11 = 0, a*z = -0*i - i + 6. Which is greater: t or z?
z
Let a(q) = 5*q**2 - 3*q + 1. Let u(d) = 11*d**2 - 6*d + 2. Let x(l) = -9*a(l) + 4*u(l). Let f be x(2). Let j be 4*((-34)/12 + 3). Which is smaller: f or j?
j
Let b(x) = -x**2 - 9*x + 3. Let w be b(-9). Suppose 7*o - 2*o = -2*s + 8, -4*s - 2*o + 16 = 0. Let i = s + -1. Is w not equal to i?
False
Let w = 4 + 5. Let i = w + -9.2. Let y = 1 - 3. Which is greater: y or i?
i
Let v(r) = -r**2 - 5*r + 1. Suppose -5*h = -0*h + 15. Let c be v(h). Suppose -j = 4*w - c, 4*w + 4*j - 15 = w. Are w and 1 equal?
True
Suppose -c - 1 = -2*c. Let s = 106 - 107.96. Let m = 0.04 - s. Are m and c non-equal?
True
Let u = -23 - -23. Which is smaller: u or -3/4?
-3/4
Let p = 4.1 - 4.3. Which is bigger: p or 0.3?
0.3
Let k = 0.1 + 2.9. Let i = 2 - k. Are i and -0.1 unequal?
True
Let a = -12 + 12. Which is smaller: a or -7/6?
-7/6
Suppose 4*r - j - 56 = 0, 2*j + 0*j - 57 = -5*r. Is r > 12?
True
Let t = -0.3 - 3.7. Let y = t - -4. Which is smaller: -0.3 or y?
-0.3
Let m be 23/69 + (-19)/3. Is -4 at most as big as m?
False
Suppose u = 2*v + 24, -4*v = -3*v - u + 10. Let k be 4/v - (-54)/42. Which is greater: k or -1/4?
k
Let s = 76 + -382/5. Let d be 1 + -1 - (5 - 4). Is d smaller than s?
True
Let r = 0.03 + 0.1. Let h = -0.03 + r. Is -5 smaller than h?
True
Let i(a) = -a - 9. Let x(l) = -l**3 - l**2 - 9. Let t be x(0). Let w be i(t). Is w less than 0?
False
Suppose 5 = -5*h, -2*h = -4*g + 7 - 1. Suppose -4 = -5*y + 3*l, 2*y + 3*y - g = 2*l. Are y and -2 unequal?
True
Suppose 0 = -f + 3*f. Let v be (-1 - f/(-2)) + 2. Let s = v + -1. Is 1 smaller than s?
False
Let s = 2/485 + -22799/970. Let q = -23 - s. Let h = 2/365 - -217/365. Is q > h?
False
Let b(o) = -o**2 - 10*o - 22. Let a be b(-6). Let t = -1 + 4. Which is smaller: a or t?
a
Let j = -7 - -18. Let q = -6 + j. Let n = 29 + -23. Is n greater than q?
True
Let p = 54 - 56. Is 3 > p?
True
Suppose 4*z - 112 = 3*t, t + z + 49 - 14 = 0. Is -38 != t?
True
Suppose -g + s = 2, -4*s + 3*s = 5. Is -1 greater than or equal to g?
True
Suppose 0 = -5*x + 1 + 4. Suppose -5*i - 3 = 2. Let h = i + x. Is 0 < h?
False
Suppose 3*p + n + 2*n + 27 = 0, -4*n - 8 = -3*p. Let w be 1/p*(-56)/35. Is 0 smaller than w?
True
Let x = -5 - -5.06. Let t = x - 0.06. Is t equal to -2/3?
False
Suppose 0 = 3*p - 3 - 3. Let a be p/(-1) - (-12)/(-4). Let c(z) = z**3 + 4*z**2 - 6*z - 5. Let b be c(a). Is -1 > b?
False
Suppose a = 1, -2*f - 4*a + 16 = f. Let o = 9 - f. Which is bigger: 6 or o?
6
Let b = -0.11 + -5.89. Which is smaller: -0.4 or b?
b
Let f(l) = -l - 6. Let i be f(-7). Is i at most -1/3?
False
Suppose 2*x = x + l + 3, -4*x + 3*l = -10. Suppose x = -r - 5*b, 5*r + 5*b = -6 + 1. Let j = 33 + -34. Are r and j nonequal?
False
Suppose -4*l + 18 = -6. Let a(r) = -3*r**2 + 28*r - 18. Let o(y) = y**2 - 9*y + 6. Let t(m) = 2*a(m) + 7*o(m). Let u be t(l). Are 1 and u equal?
False
Let l = 0.23 + 2.67. Let r = -3.1 + l. Which is smaller: 1 or r?
r
Let f = 4.5 - 4.5. Which is greater: 68 or f?
68
Let v = 5452955260 - 3353568499639/615. Let o = 8253/5 + v. Let k = o - -2/41. Is k at most 2?
True
Let t be (-264)/1503*(-4)/(-3). Let d = 2/167 + t. Let y = 38 - 37. Which is smaller: d or y?
d
Let k(z) be the second derivative of z**3/6 + z**2 + 3*z. Let m be k(3). Let q = -1.15 + 0.15. Is m >= q?
True
Suppose 5 - 1 = 4*z. Which is bigger: -20 or z?
z
Suppose 3*q = 5*q - 224. Let s be 0 - (-2)/(q/(-12)). Is s >= -1?
True
Let w(q) = q - 1. Let a be w(-3). Let p = a - -4. Is p at most 3?
True
Suppose -3*n - 10 - 8 = 0. Let j be (-2)/12 - 25/n. Let f = -4 + j. Is f bigger than 1/3?
False
Suppose -3*g - 4 - 1 = w, -5*w + 2*g - 8 = 0. Which is bigger: -9/5 or w?
-9/5
Let m = -82 - -412/5. Which is smaller: -1 or m?
-1
Let x(s) = -4*s**2 - 2*s - 2. Let i be x(-2). Let r be (-2)/(-7) + (-24)/i. Suppose -5*q = 2*h + 15, 1 = 2*h + r*q + 7. Is h greater than or equal to -1?
True
Suppose -4*v + 180 = 2*v. Is 28 less than v?
True
Let k(d) = 2*d + 17. Let y be k(-8). Let c(i) = -2*i + 5. Let x be c(5). Let q = -4 - x. Is y > q?
False
Let l = -6 + 7. Let p be (l/4)/((-3)/(-12)). Which is bigger: p or 5/8?
p
Let p = -0.18 + 0.08. Which is greater: p or -0.02?
-0.02
Let t = -44/9 + 326/63. Let s = 2 + -5. Let v be ((-3)/1)/(1*s). Is t smaller than v?
True
Let r be 47/4 + (-1)/(-4). Let i be r/(-16) - 2/(-8). Let j be (3/2)/((-1)/2). Which is bigger: i or j?
i
Let a(x) = x**3 + 3*x**2 + x + 1. Let z be a(-3). Let p be (-1)/4 + 9/4. Suppose 5 - 1 = -p*j + 3*o, 0 = -4*j + 4*o - 8. Does z = j?
True
Let q = 2144/9 - 238. Suppose 2*x = 7*x - 5. Let t = -1 + x. Is t less than q?
True
Let p = 35 - 13. Which is smaller: 21 or p?
21
Let m be (1 - (-8)/(-4))/10. Is m <= 1?
True
Suppose -4*k = u + 3, 0 = -2*u + 5*k - 6 - 0. Let a(r) = -r**3 + 2*r**2 + 2*r. Let i be a(3). Is u at least i?
True
Let z = 0.04 + 0.06. Let s = 0.1 + 0.2. Let q = -0.5 + s. Is z smaller than q?
False
Let p = -0.9 - -1. Let t be (-16)/(-24)*(1 + (-7)/6). Is t greater than p?
False
Let p(f) = -2*f**2 - 11*f - 11. Let r be p(-9). Let x be r/8 - 5/(-20). Are -0.1 and x non-equal?
True
Let v be 79/(-9) + (-6)/27. Let a(s) be the third derivative of s**4/24 + 3*s**3/2 + s**2. Let o be a(v). Is o greater than 2/19?
False
Let o = 309/5 - 62. Let i(h) = 2*h**2 - 2*h + 1. Let b be i(2). Suppose v - b*z + 11 = 0, 4*z = -3*v - 0*v + 5. Do o and v have the same value?
False
Suppose 0 = -5*y + 5, 3*q + y = 5*q + 3. Which is smaller: q or 2/19?
q
Let v = 3 + -6. Suppose -5*g + 0*g = -25. Let z be 8/(-5) - 2/g. Does z = v?
False
Let f = 54 - 55. Does 0.22 = f?
False
Let b(n) = -n**2 + 6*n - 12 + 2*n + 2*n**2. Let s be -3 + (2 + -3)*6. Let u be b(s). Does u = -3?
True
Let r = 56 - 38. Let q = r + -16. Is q less than or equal to 0.1?
False
Let t = 109 + -108. Which is bigger: t or -2/239?
t
Suppose 0*c - 2*c + 10 = 0. Is 5 equal to c?
True
Suppose -2*n - z = n - 22, 2*z - 8 = 0. Suppose 2*a = -a + n. Which is smaller: 1/2 or a?
1/2
Let p be 1/4 + (-252)/(-16). Let a be ((-1)/14)/(4/p). Is a < -0.1?
True
Let x = -193 + 7529/39. Is 0.1 at most as big as x?
False
Let h = 12 - 8. Suppose h*r = 3*r. Is 2/9 greater than r?
True
Let t(z) = z**3 + 5*z**2 - 3 - 13*z + 15*z + 0. Let g be t(-4). Let f be 2/6 - 17/(-3). Which is bigger: f or g?
f
Let x = -47 + 47.025. Is x != 0.1?
True
Let i be 23/(-115)*(-5)/4. Is 0.02 <= i?
True
Let v = 35 - 42. Which is smaller: v or -5?
v
Let p be (-2)/4*1*(7 + -5). Let f be (-10)/3*(-3)/2. Is f less than or equal to p?
False
Suppose 2*b - 5*d + 9 = 0, -4*b + 4 = -8*b - 4*d. Let j = 235/3 - 79. Which is smaller: b or j?
b
Let c = -8 - -15/2. Suppose -2*b + 3 = -7. Suppose -4*g = -4*q - b*g - 3, -16 = -2*q - 4*g. Is q smaller than c?
True
Let w be 32/21 - (-14)/(-21). Is 3 <= w?
False
Let z = -13 + 13.3. Is -0.5 bigger than z?
False
Let j be (6 - 7)/((-2)/6). Suppose -k + j*k + 12 = -4*g, k - 24 = 4*g. Let z(y) = 4*y**2 - y - 1. Let r be z(-1). Is k at least as big as r?
True
Suppose -4*t - 38 = 2*o - o, 4*t = 2*o - 44