 = 8 - 7. Let u(w) = -w - 13. Let l be u(-7). Let o = l - -6. Is x >= o?
True
Let p(o) = 4 - 1 + o**2 + 0*o**2 + 5*o. Let w be p(-4). Which is greater: w or -3/7?
-3/7
Let h be (12/16)/3 - 0. Is h != -1?
True
Let c = -12 + -1. Is c greater than -13?
False
Let z = -34 + 37. Which is bigger: 1 or z?
z
Suppose -y + 1 = -0*y - v, 5*v = -5*y - 15. Let i be -3*(-6)/(-27)*y. Are i and 2 unequal?
True
Let l = 16 - 15.94. Is -1 not equal to l?
True
Suppose -f = f - 4. Suppose -5*s = -37 - 38. Let h be ((-2)/6)/((-5)/s). Is h at most f?
True
Suppose 4*z + 19 = -4*t + 3*t, 2*z = -5*t - 5. Suppose 4*l = -w - 22, 4*w - 17 = -0*w + 5*l. Let g be (1/8)/(1/w). Is t smaller than g?
False
Let j = -48 - -915/19. Do j and 1 have the same value?
False
Let d = 82 + -81. Which is smaller: d or 1/5?
1/5
Let q be ((-1)/18)/(2/8). Let m be ((-5)/10)/((-2)/12). Let b = -2 + m. Which is smaller: q or b?
q
Let s be (-9)/(-3) - 41/13. Is -3/5 at most s?
True
Let s = 0 + 1. Let l = -82 - -896/11. Is s not equal to l?
True
Let d = -17.39 + 0.39. Let p = -18.8 - d. Let n = 2 + p. Is n <= 1/2?
True
Suppose 55*v = 51*v. Let r(x) = x**2 + 4*x - 7. Let g be r(-5). Which is greater: g or v?
v
Let n = -32 - -32. Let k = -4 - -5. Is n greater than or equal to k?
False
Let c(r) = -r + 4. Let x be c(4). Let b(h) = -2*h + 1. Let i be b(-1). Suppose 3*o = i*d + 12, -o + 1 = 2*d - 3. Does x = d?
True
Let a be (-1 - -1) + -14 + 2. Let q be (-5)/(80/a) - 1. Is q > -2/9?
False
Suppose 4*k + 14 = 2*f - 30, 0 = -f - 2*k + 18. Suppose -f = -0*z - 4*z. Let j = 4 - z. Which is smaller: j or -4/5?
j
Let p(d) = 7*d + 4. Let r be p(-2). Let n = r + 5. Is -2 equal to n?
False
Let l(x) = -x + 1. Let c be l(-3). Suppose 2*n - 18 = -a - c*a, -5*a = -5*n - 25. Which is smaller: n or 0?
n
Let x be (-86)/6*49/2. Let h = x + 352. Let o = h - 77/78. Which is greater: o or 1?
1
Let z = -25 - -10. Let p = 9 + z. Is -4 > p?
True
Let g = -0.85 + 1. Let f = g - 0.05. Let v = 0.2 - 0.5. Is f at least as big as v?
True
Suppose 3*z = 7*z - 532. Which is smaller: 132 or z?
132
Let w = 427/5 + -87. Let p = -21/10 - w. Let h = 0.3 + -0.1. Are p and h non-equal?
True
Let s = -1.7 + 12.7. Is s > 1?
True
Suppose s = -3*s + 8*s. Let h = 34 - 307/9. Is s equal to h?
False
Let c = 241/5 - 50. Is -3 at most as big as c?
True
Let g = 17 + -14. Let b be ((-8)/(-24))/(5/g). Which is smaller: -0.1 or b?
-0.1
Let d(z) = z**3 + 9*z**2 + 2. Let j be d(-9). Suppose j*a = -5 + 3. Which is bigger: -1/3 or a?
-1/3
Let a = 0 + -0.1. Let h = 16 + -17.2. Let y = 1 + h. Is y greater than or equal to a?
False
Let b(y) = y**2 - 6*y. Let r(i) = i**3 + 5*i**2 + 3*i. Let x be r(-2). Let s be b(x). Is 0 smaller than s?
False
Let f(b) = -b + 5. Let w be f(-5). Let j be (-2)/(-7) - w/35. Is j greater than or equal to -5/8?
True
Let f(c) = -c**2 + 5*c + 1. Let y be f(4). Suppose -48 = d - y*d. Let h = d - 88/7. Is -1 greater than or equal to h?
False
Let f be 3/(-6) - (-6)/8. Is -7 > f?
False
Let g be 2/(-8) - (-10)/(-280). Which is greater: g or 1?
1
Let v(c) = c**2 + 3*c + 3. Suppose 0 = -0*l - 4*l - 12. Let f be v(l). Which is smaller: 4 or f?
f
Let b = 0 + 2. Let j = -8 - -12. Suppose 4*k + v = 0, -j*k - 18 = -2*k + 5*v. Is b smaller than k?
False
Suppose 5*j = 4*a + 60, -4*j - a = -0*a - 27. Is 7 < j?
True
Let r be (-20)/(-45)*(-1)/2. Suppose n + 5*k - 1 = 9, -4*k = -8. Let i be n + 0 + -2 + 2. Which is smaller: r or i?
r
Let x = -63210/13 - -10430443/2145. Let u = -1/33 - x. Let b = 2.11 + -0.11. Which is smaller: b or u?
u
Let g = -8 + 8. Let d = -3 - -3. Is g greater than or equal to d?
True
Let x = 1 - 2. Is 2/7 bigger than x?
True
Let n = -119 + 175. Let i = 223/4 - n. Is 1 at least i?
True
Let l = -835/9 + 93. Suppose -2*i + 18 = 2*d, -3*i = -0*i - 3*d - 33. Is l at most i?
True
Let u = 9 - 6. Suppose -2*r - 19 = r - 2*d, -u*d + 6 = 0. Is r bigger than -4?
False
Let l = -218 - -217. Let q be (-5)/(-1)*(2 + -1). Which is smaller: l or q?
l
Suppose -2*i + 0*i = 0. Suppose -2*s = -0*s - 2*q, -1 = -3*s + 2*q. Which is smaller: s or i?
i
Let b = -4.6 + 0.9. Let l = b + -0.3. Let n = l + 4. Is n at least as big as 1/7?
False
Let y = 8.8 - -0.2. Which is smaller: 1/2 or y?
1/2
Let g = -116/51 + -1/17. Are g and -3 nonequal?
True
Suppose 0 = -w + 3*d - 1, -4*d + 3 = -w + 1. Suppose w*p + 0 = 2. Suppose -4*s + 16 = 5*m - 8, 10 = 2*s + 2*m. Is s at most p?
True
Suppose 13 = -5*l - 17. Let f be 4/5*l/8. Which is smaller: f or 0?
f
Suppose -2*q = 4*k - 8, 3 = -q + 3*k - 8. Let m be (-60)/(-32) + q*1. Is m < 1?
True
Let d = -13 - -13.1. Let z = 1 - d. Which is smaller: z or -0.1?
-0.1
Let z = 109.95 - 110. Which is bigger: z or 2/9?
2/9
Let v be 3/9 + 2/48. Suppose -2*h - 2*h = -4. Are h and v nonequal?
True
Let p = -16 - -20. Suppose 2*w - 2 = p. Which is bigger: w or -2?
w
Suppose 7 = -4*d - 21. Let c(j) = j**3 + j**2 + j. Let i be c(-2). Do d and i have different values?
True
Let y be 23 - 18/(3 - -3). Which is greater: 81/4 or y?
81/4
Let y(j) = -2*j + 6. Let k be y(8). Is -9 greater than or equal to k?
True
Let l = 13327/345 - 193/5. Which is greater: l or 1?
1
Suppose 0 = -2*q + 4*q. Let y(a) = -a**2 + 10. Let c be y(q). Let u be (-2)/(-4) + 1/c. Which is bigger: 2 or u?
2
Let g(z) = -3*z**2 + 1 + 4*z**2 + 8*z**2 + 2*z**2. Let h be g(1). Suppose -t + 5*t + h = 0. Which is smaller: t or 2?
t
Let c(t) = -2*t**3 - 1. Let r be c(-2). Let a = 26 - 26. Which is smaller: r or a?
a
Let b(u) = 5*u + 10. Let d be b(-4). Which is greater: -29/3 or d?
-29/3
Let i = 5/9 - 8/9. Let k = -44 - -44. Which is greater: k or i?
k
Let c(w) = -8 - 3*w + w**3 - 2 + 2*w + 7*w**2. Suppose -4*j + 3*l = 25, -5*j + 0*j = 5*l + 40. Let o be c(j). Is -2 < o?
False
Let m = -19 + 18. Is -4/15 less than m?
False
Let u = -10 - -27. Let x be (-512)/(-28) + (-2)/7. Are u and x equal?
False
Suppose -3*h - 3 = 3*g, h - 5*h = -g - 6. Let z = 13 - 29/2. Which is greater: g or z?
z
Let i be (-6)/4*(-24)/9. Suppose -10 + 2 = -i*c. Suppose 0*u + 3*u = 9. Which is smaller: u or c?
c
Suppose -3*c = 26 + 199. Let s be (-10)/16*10/c. Which is smaller: s or -1?
-1
Let z = 26 + -28. Which is smaller: -3 or z?
-3
Let a = 2 - -1. Suppose -2*x + 3*i + 11 = 0, 4*i + i - 3 = -2*x. Suppose 3*t + a = x*t. Is t smaller than 2?
False
Let w be (1/(-3))/(1/(-3)). Let t = -18944/123 + 154. Let u = t + 43/123. Is w at most u?
False
Suppose 0 = -4*g - g + 15, 0 = -4*t - 5*g + 15. Suppose 4*w - k - 4 + 1 = t, -4 = w - 5*k. Is -0.1 at most w?
True
Suppose -2*h + 15 = -5*j - 0*h, -h = 4*j + 12. Let w = j + 4. Is 1/10 not equal to w?
True
Let u = 11 + -11.3. Let f = 3 - -25. Let i = f - 111/4. Is i bigger than u?
True
Suppose -1 + 4 = -3*s, 2*p - 3*s - 7 = 0. Let a = p - -3. Suppose 4*w = a*w. Is 6/11 <= w?
False
Suppose -5*k - 10 = -4*r + 9, -r + 4 = -k. Let t be ((-16)/14)/(-2) + -2 + 1. Which is smaller: r or t?
t
Let a = -6 - -5. Let v = 3 - a. Suppose -v*b = b. Which is bigger: 1 or b?
1
Suppose 5*p + 199 + 191 = 0. Is -1 at most p?
False
Let l = -28 - -35. Which is greater: -2/5 or l?
l
Suppose 3*q = -3*q. Which is smaller: -1/16 or q?
-1/16
Let j(i) = -i**2 + 5*i - 3. Let h be j(5). Which is smaller: 1 or h?
h
Suppose 0 = 5*w - w - 24. Let d be -1 + 1 + (-2)/w. Is d > 0?
False
Suppose -10 = 4*x + 2. Let s be -2*3*x/(-405). Let n = s + 143/180. Which is smaller: 2/5 or n?
2/5
Suppose 0 = -2*m + 2, 0 = -3*l - 2*m + 8 + 3. Let q be l/18*8/18. Which is smaller: q or -1?
-1
Suppose -2*y = 0, 3*n - n - 5*y = 8. Let d = n - 7. Is d at least as big as -3?
True
Let t be 2/2 + 966/(-10). Let l = 96 + t. Let w = 0.2 + -0.2. Does l = w?
False
Let q(g) = -g + 3*g - 7 + 5*g - 6*g. Let u be q(7). Which is greater: u or 1/14?
1/14
Let f = -22 + 29. Let d = -6.9 + f. Let l = -0.9 - 0.1. Is l smaller than d?
True
Suppose -2*f - 2*n - 3*n + 12 = 0, -2*n + 8 = 0. Let m be ((-3)/(-2))/(2/f). Let k(j) = -j**3 + 21*j**2 - 19*j - 22. Let z be k(20). Which is greater: m or z?
z
Let s = 21 + -14. Let c = s - 11. Which is greater: c or 0.4?
0.4
Let t = -12 + 14. Which is greater: 3 or t?
3
Let k(u) = -2*u**2 - 35*u - 35. Let z be k(-16). Is z greater than 14?
False
Let n(p) = -p**3 - 11*p**2 + 2. Let q be n(-11). Let b be -2 + (3 - 1/q). Which is bigger: b or 0?
b
Let b = 6.7 + 0.3. Let u = 6.99 - b. Which is bigger: u or 0?