al to -2/7?
True
Let z = -9 - -10. Let s = z + -3. Let n(h) = -h - 1. Let i be n(s). Which is bigger: i or 4/11?
i
Let p = -0.15 - -1.35. Let q = p + -1. Let k = -0.18 + 0.08. Which is greater: k or q?
q
Let n = 71 - 11. Let b be (-35)/n*(-4)/14. Is b at most 1?
True
Let r = 3/3253 - 4264698/16265. Let b = r - -266. Is b at least 3?
True
Let y be 2 + 1 + 47/(-15). Let p(t) = t**2 + 5*t - 9. Let b be p(-7). Suppose 3 = -b*h + 8. Which is bigger: h or y?
h
Let g(m) = 2*m - 7. Let f be g(11). Are f and 13 equal?
False
Suppose 0 = 4*g + 17 - 133. Suppose -5*w - 27 = -3*i - 2*w, 5*w = i - g. Is i less than or equal to 4?
True
Let a(k) = -2*k - 50. Let l be a(-24). Let o = 485 - 3401/7. Which is smaller: o or l?
l
Let q = 18 + -28. Let a be 14/(-40) + q/25. Is 0 at most a?
False
Suppose -2*j = -3*j + 12. Let l be (-37)/(-3) - (-2)/3. Which is greater: l or j?
l
Let r = 6/17 - 64/85. Which is smaller: r or -1?
-1
Let h be 4/(-18) - (-222)/27. Let x(l) = -l**3 + 3*l**2 + l - 1. Let d be x(2). Suppose n + 3*p + 0*p + h = 0, 3*n - d*p - 4 = 0. Is 0.1 <= n?
False
Let d be 5*4*714/(-85). Which is greater: d or -167?
-167
Let v = 123.1 + -123. Which is smaller: 10.5 or v?
v
Let m be 0 - 10/36*-2. Let a = -915 + 16489/18. Let v = a - m. Which is smaller: -0.2 or v?
-0.2
Suppose 0 = -2*h - 2*d + 22, h + 5*d + 2 - 9 = 0. Which is smaller: 9 or h?
9
Let x(y) = -y**3 - 29*y**2 + 32*y + 41. Let f be x(-30). Is -16 less than f?
False
Let w be (-6)/21 + 510/2079. Let b = w + 268/99. Which is smaller: b or 2?
2
Let p = -4.4 + 5. Let u = 0.6 - p. Which is bigger: -0.07 or u?
u
Let y = -10.9 - -1.9. Let q = y - -11. Is q > 5?
False
Suppose 4*f + 0*f - 5*k = 13, f + 13 = -2*k. Which is smaller: -8 or f?
-8
Suppose 4*o + 1640 = -4*j, 4*j + o + 1369 = -262. Let i = j + 7735/19. Which is smaller: 0 or i?
0
Let h(n) = -n. Let p be h(4). Let a be (-2 - (-16)/6)*-6. Is a less than or equal to p?
True
Let v = 2.4 - 2.5. Let g = -0.9 + 1. Are v and g equal?
False
Let t = -0.44 - -18.44. Which is smaller: t or -1?
-1
Suppose 0 = d + d + 2, 0 = 2*g - 4*d. Suppose 0 = 2*k + 4*u - 8, -2*k + u - 6 = 11. Let w = g - k. Which is bigger: w or 3?
w
Suppose 5 = 3*v + 2. Is 6 < v?
False
Let s be 1 + -4*(-3)/3. Let y(t) = -t**3 + 6*t**2 - 3*t - 4. Let j(g) = -g + 1. Let n(h) = 3*j(h) + y(h). Let r be n(s). Which is smaller: r or 0?
r
Let x(g) = -g**2 + 7*g. Let s be x(6). Let q be 8/(-2)*s/(-12). Suppose -q*u = -u. Is u > 0?
False
Let b = -0.39 - -1.39. Are 15 and b non-equal?
True
Let p = -116/3 - -39. Is p greater than or equal to 4?
False
Let g(c) = -2*c - 3. Let n be g(-9). Is 13 < n?
True
Let l = -17 - -21. Which is bigger: -1 or l?
l
Let s = -15 + 16. Which is bigger: s or -2?
s
Let l = -7.7 + 7.9. Is l greater than 0.9?
False
Let a(k) = -k**2 + 7*k - 9. Let b be a(6). Let u = 13 + -8. Suppose -z - 5 = 3*h - 3*z, z = -u*h + 9. Which is bigger: h or b?
h
Let a = -0.2 + 0.2. Let y = a - 0. Let i = 12 + -15. Is y <= i?
False
Let l be (-2)/(-9) + 1736/(-6678). Are l and 1 equal?
False
Let f = 0.04 - 0.04. Let l = -1 - f. Are l and 1 non-equal?
True
Let p(a) = 3*a + 5. Let z(l) = -2 + 0 - 4*l - 4. Let m(q) = 3*p(q) + 2*z(q). Let d be m(0). Are d and 2 unequal?
True
Let w = 11 - 14. Let g be (-7)/w*20/(-350). Is 0 smaller than g?
False
Suppose 4*r = -p - 9, -7*r + 4*r = 3*p + 18. Suppose 6*j = 3*j - 15. Is j less than or equal to p?
True
Let d(m) = m**3 - 3*m**2 - 5*m + 3. Let g be d(4). Let s(n) = -n**3 + 3*n**2 + 4*n - 1. Let b = 16 - 12. Let q be s(b). Is g < q?
False
Let r = 0.1 + -0.2. Suppose 4*s - v + 12 - 23 = 0, 20 = 4*v. Is r smaller than s?
True
Let r(m) = -m**3 - 6*m**2 - 4*m + 7. Let o(k) = -5*k**3 - 23*k**2 - 17*k + 29. Let w(t) = 2*o(t) - 9*r(t). Let n be w(8). Is 11 less than n?
False
Let t be (-3 - 57/(-18))*12/56. Is -1 bigger than t?
False
Let w(r) = 3*r**3 + 5*r**2 - 3*r - 7. Let o(x) = x**3 + 3*x**2 - x - 4. Let n(h) = -5*o(h) + 2*w(h). Let j be n(5). Let v be 2/((-8)/(-2)) - 0. Is j > v?
True
Let m = -11 - -16. Suppose u + l = -1, -27 - m = 4*u - 3*l. Does -5 = u?
True
Suppose -3*c = -d + 8, -4*c + 2 = 2*d + 3*d. Suppose 21 = v + d*f - 6*f, -f + 11 = 3*v. Is 6 less than v?
False
Suppose -2*m + 6*m = 32. Suppose 4*c = -m - 12. Is c greater than -5?
False
Suppose 12 = -3*i + 6*i. Let s = i - 4. Let k be 4/2 - s/2. Is k at least as big as 2?
True
Let v = 1.95 + -2. Let c = 36 - 35. Is c at most v?
False
Let j = 0 + -6. Let s be 20/j + 3/9. Which is greater: s or -2?
-2
Suppose 5*g - 5*l - 25 = 0, 0*g + 4*l + 4 = 2*g. Suppose -g = -3*i - 2. Which is smaller: 6/11 or i?
6/11
Let x = 6 + -1. Suppose u + 5*z = -13 - 8, 2*z = 3*u - x. Which is smaller: u or 4?
u
Let m = 16 - 38. Is -1 >= m?
True
Suppose 4*q + 4*r = -8, -3*q - 2*r + 9 = -4*r. Let u(c) = c**2 + 6*c - 2. Let n be u(-6). Let j(g) = -g. Let a be j(n). Which is smaller: q or a?
q
Suppose -4*s = 4*a + 12, -a - 6 = 5*s - 5*a. Suppose -3 + 1 = -2*o. Is s >= o?
False
Let u be ((-126)/(-12))/((-1)/14). Let t be 140/u - 6/(-21). Let i = -0.08 - -0.38. Which is bigger: t or i?
i
Let j = 0.48 - 0.28. Is -6 bigger than j?
False
Let h = 1 + -1.2. Are 0.1 and h non-equal?
True
Let b = 246.93 - 250. Let t = -3 - b. Is -1/2 smaller than t?
True
Suppose -i = i - 10. Suppose 4*g + 6 = 2*b, -b = i*g - 4*b + 10. Suppose -2*p - v - 11 = -g, -2*v - 16 = 3*p. Which is smaller: -3 or p?
p
Suppose w = 1 - 2. Let z = 0 + -3/5. Is w smaller than z?
True
Suppose -6 = -2*g + 18. Is 12 not equal to g?
False
Let q = 0.21 - -9.79. Let h = 9.96 - q. Is h equal to 2/9?
False
Suppose 0 = -0*h - h. Let q = 1 + -3. Let d be -4 + 6 - h/q. Which is greater: d or 1/2?
d
Let k(u) be the first derivative of u**2/2 - 9*u - 3. Let l be k(7). Is l at most as big as -2?
True
Let i = -4.726 + 0.026. Let h = 5 + i. Suppose 0*g = -3*g. Does g = h?
False
Let x be 0 + 3 + (0 - -1). Suppose 14 = 2*t - 3*z, -3*t + 3*z = -2*z - 22. Is t smaller than x?
False
Let q = -15 - -12. Let t = 2 - 5. Let v = q - t. Which is smaller: v or -1?
-1
Let h(c) be the first derivative of -c**2/2 - 3*c + 4. Let n be h(-3). Is n > 6/7?
False
Let d be 3/(1/5 - 1209/(-30)). Are 0.1 and d non-equal?
True
Let u = -11 + 25. Suppose 0*c - u = -c + 5*y, 3*c = y. Is c greater than or equal to 1/9?
False
Suppose -5*i + 2*i - 13 = -4*t, -2*i = -2*t + 6. Let f be -3 - (4 - 2/i). Let o(m) = m**2 + 4*m - 3. Let s be o(f). Is -0.1 at least s?
False
Let f = -17534 - -87317/5. Let q = 71 + f. Does q = 0?
False
Suppose -2*v + 1 = -5. Are v and 4 non-equal?
True
Suppose 7*w + 1 = 6*w. Suppose 1 = 5*h - 29. Which is smaller: h or w?
w
Suppose -3*j + 3*z - 6 = 0, 6*j + 5*z - 17 = 4*j. Which is smaller: -1/41 or j?
-1/41
Let q = -42 + -6. Let c = -10 + 7. Let o be q/15 + -1 - c. Is -1 greater than o?
True
Let p = -3501349410196/2045154475 + 6/22474225. Let j = -1712 - p. Which is smaller: 1 or j?
j
Let t = 2161/1395 + 1/155. Which is greater: -2 or t?
t
Let j(t) = -t**2 - 17*t - 10. Let h be j(-16). Which is smaller: 4 or h?
4
Let o = 387/7 - 55. Is 0.2 greater than o?
False
Let g be (-2)/(-11) + (-497)/11. Let r = -134/3 - g. Let j = 127/4 - 32. Which is greater: r or j?
r
Let r(h) = 3*h + 0*h + 8 + h**3 - 5*h**2 - 6. Let d be r(4). Is -2 greater than d?
False
Let x be (-9)/6*((-12)/45 + 0). Let w(o) = o - 7. Let l be w(7). Which is smaller: x or l?
l
Suppose 5*r - 1 = d, d + 15 = -5*r + 6*d. Is r not equal to -1/28?
True
Let c = 20 - 21. Which is smaller: c or 1/6?
c
Let b = 49 - 23. Let o = -8 - -13. Suppose -2*v - 9 = o*f - b, -5*f - v + 21 = 0. Is f at most 4?
False
Suppose 0 = 3*g - 11 - 10. Suppose -3 + 17 = 2*t. Is g at most t?
True
Let v = -0.08 + -1.42. Let y = v - 0.5. Does y = -2?
True
Suppose u = 3*u + 14. Suppose 7*k + 10 = 5*k. Let c = u - k. Which is smaller: -2/3 or c?
c
Suppose 10*g + 370 = 8*g. Let n = -226127/1197 + 620/171. Let x = g - n. Is 1 > x?
True
Let b(t) = -t**3 + 5*t**2 - 6*t + 14. Let x be b(4). Which is bigger: x or 1/4?
x
Let s = 0.05 + -0.09. Let l = 0.1 - s. Let d = -0.04 + l. Which is smaller: d or -5/2?
-5/2
Let m = -8 + 2. Let j = 3 + m. Which is greater: -1 or j?
-1
Suppose 5*f + 2 = 4*s - 2, 5*s - 5 = 4*f. Let r be ((-2)/(-4) + 0)*s. Let z = 1 - 0. Is z < r?
False
Let g be (1 - 3)*(-2)/(-4). Let m(d) = -d - 10. Let z be m(-10). Which is smaller: g or z?
g
Le