 Is y less than or equal to 9?
True
Let s be 3 - ((-2178)/(-21) - -3). Let v = 104 + s. Is 2/9 smaller than v?
True
Suppose 4*b + 9 = -w + 1, -3*w + 10 = -5*b. Let r be (-8)/100*(0 - 1). Which is smaller: r or w?
w
Let q = -953/188 + 15/47. Which is greater: -6 or q?
q
Let o be (-10)/(-85) + 63/(-102). Is 1/36 smaller than o?
False
Let k = -0.1 - -0.2. Let f(v) = -v - 6. Let q be (-2 + -3 - 2)*1. Let i be f(q). Which is smaller: i or k?
k
Let i be -13 - -13 - (-1 - 1). Suppose -3*m = 2 - 8. Is i equal to m?
True
Let n be 4/14 - (-198)/42. Let y = n - 6. Is y less than -2?
False
Let p be (-42)/(-12) - 2/4. Let z = 3 - p. Suppose z*f = f. Is 1 less than f?
False
Suppose -6 = 8*k - 14. Which is smaller: 7/31 or k?
7/31
Let r = -39.04 - -39. Is r < 0.04?
True
Let y(u) = u**2 + 8*u + 4. Let g be y(-8). Suppose g*k - 15 = -3. Is k bigger than 3?
False
Let g = 20 - 17. Is g < 28/9?
True
Let x be 13 + -6 - 4/(-2). Suppose 0 = -0*t - 3*t + x. Let c be 20/12 - 2/t. Is -1/4 smaller than c?
True
Suppose 5*n + 55 = 5*b, b + 73 = -5*n - 0*n. Is n at most as big as -0.1?
True
Let p(g) = g**3 + 9*g**2 + 6*g - 19. Let o(c) = -c**2 + 2*c. Let b be o(4). Let u be p(b). Do -3 and u have different values?
False
Suppose -4*d = 20, 2*f + 2*d = -3*f - 30. Suppose 0 = -5*w + w - 12. Is f greater than or equal to w?
False
Suppose 4 = 3*z - 2. Suppose -5 + 1 = z*j. Let v(h) = -2*h - 3. Let o be v(j). Is o smaller than -2/5?
False
Suppose 0*g = 4*g - 12. Suppose -g*b = -b - 16. Is b at most as big as 9?
True
Let u = 0.1 - 7.1. Let a = u - -4. Is a != 0?
True
Let p = 5 + 1. Let x be 3/12 - p/8. Let a(l) = -l**2 + 5*l + 6. Let r be a(6). Is r >= x?
True
Let j = -6 + 4. Let p = -2 - j. Let s = 0.1 - 0. Is p at least s?
False
Suppose -c + 18 = c. Is c at least 1?
True
Suppose -77 = 2*l + 7. Let h be l/(-18) + (-1)/3. Which is smaller: h or 1/4?
1/4
Let h(k) = -k**3 + 3*k**2 + 7*k + 2. Let t be h(5). Are t and -13 unequal?
False
Let x(g) = 10*g**3 - 13*g**2 - 5*g + 16. Let m(q) = 7*q**3 - 9*q**2 - 3*q + 11. Let r(o) = -7*m(o) + 5*x(o). Let s = 2 + 1. Let u be r(s). Is u > 1/7?
False
Let g be 10/12 + -1 + 0. Let b = 7.1 - 0.1. Let z = 6 - b. Do g and z have different values?
True
Let m = 28 - 29.3. Let w = m - -1.1. Is w <= 4/7?
True
Let c be (-50)/(-6) - (-2)/(-6). Suppose 17 = 5*k + 2. Suppose k*u + c = u. Is -4 smaller than u?
False
Suppose -2 = -y, -4*c + 11 = 3*y + 1. Which is bigger: -6 or c?
c
Let p be (10/545)/(2/2). Is 1 greater than or equal to p?
True
Let i(t) = -t - 2. Let f be i(-7). Suppose -21 = 4*r + f*n, 0 = 5*r + n + 2*n + 23. Is -3 smaller than r?
False
Let y = 9 + -9.03. Let q = -0.23 - y. Are q and 0.07 unequal?
True
Suppose -44 = 5*k - 9. Let n = 1 + -7. Which is greater: k or n?
n
Let f(u) = -u**2 + 3*u - 2. Let k be f(4). Let m = 20 - 26. Is m >= k?
True
Let s be (-4 - -6)*1*8. Suppose -8*m = -4*m + s. Does -4 = m?
True
Suppose 4 = 4*c, -16 = 3*r - 8*r - c. Let g be (6/12)/(r/8). Let y = 1 - 1. Is y greater than g?
False
Let g = -0.2 + 0.3. Let b = -10 - -10.1. Let p = g + b. Is 1 at least p?
True
Let w = 4/9 + 2/9. Let n = 1/3 - w. Do 8 and n have different values?
True
Let k(s) = s**2 + 3*s - 3. Let j be k(-4). Let p = 347/260 + -18/13. Are p and j unequal?
True
Suppose 4*f - 2*f = 0. Let u(v) = v**2 + 7*v - 4. Let m be u(-7). Let a(b) = -b - 5. Let w be a(m). Which is smaller: w or f?
w
Let x = -1 - -1.1. Let u be 0 + 8/(-10) + 1. Are u and x non-equal?
True
Let p = 7 + -6. Which is greater: -4/13 or p?
p
Suppose -5*k - 2*d + 14 = 0, -4*k + 5*d + 1 - 3 = 0. Suppose 3*s - 52 = -4*v, 10 = 3*s - k. Let j(g) = -g + 9. Let r be j(v). Is r bigger than -4/5?
False
Let x(m) = -m**2 + 5*m - 3. Let h = 6 + -3. Let s be x(h). Which is smaller: 2 or s?
2
Let c = -13 + 11. Is -2/7 >= c?
True
Suppose -r = 4*p - 7*p - 14, -3*r - 5*p = 14. Let h be ((-14)/(-21))/(r/6). Is h less than 9/5?
False
Let p(z) = z + 2. Let n be p(5). Suppose 3*f - u - 3 = -5, n = -3*f + 2*u. Let o = 25/6 - 181/42. Which is smaller: o or f?
o
Let t(u) = -6*u - 1. Let x(q) = -5*q. Let l(r) = -6*t(r) + 7*x(r). Let s be l(-5). Let h(k) = -k**2 + k. Let f be h(0). Which is greater: s or f?
s
Let n be 11/2 + (-57)/(-38). Suppose n = -4*i + 3*w + 49, 0 = 2*i - w - 20. Is 2 > i?
False
Let r(m) = m**2 - 14*m + 9. Let a be r(12). Is -14 < a?
False
Let g(n) = -3*n - 3. Let i be g(-2). Suppose -i*s = -5*c - 28, 7*s - c = 3*s + 9. Suppose -s = 4*k + 3. Is -2 less than k?
True
Suppose 11*b = 4*b - 7. Are b and 6.2 nonequal?
True
Let w be (-76)/(-18) + (-4)/18. Suppose m = -2*m + 12. Suppose m*k - 20 = -k. Is w <= k?
True
Let s(o) = o**3 + 3*o**2 - 2*o - 4. Let x be s(-3). Let c be (3 - (-1 + x))/(-7). Is c at most -1?
False
Let a(z) = -z**3 + 7*z**2 - 9*z + 18. Let r be a(6). Is r greater than or equal to -1/2?
True
Let t = 17 + -16.7. Which is smaller: t or -1?
-1
Let w = -39 + 33. Is -3 less than w?
False
Suppose -5*v = b + 21 - 16, -3*b - 2*v = -24. Let o be (-122)/(-14) + 4/14. Is b at least as big as o?
True
Suppose 0 = 3*n + 2*n + 3*m + 460, -2*n = m + 183. Is -89 at most as big as n?
True
Suppose -j + 0*j = -3*q - 41, 3*q = 2*j - 73. Suppose -2*b = 4*n + j, 0 = -3*b - 0*n + 3*n - 57. Is -18 at most as big as b?
True
Let v(u) = -3*u**3 - 2*u**2 - 2*u - 3. Let g be v(-3). Let t be (-8)/g*(-9)/6. Suppose o = -3*y + 4*y - 4, 3*o = -y + 8. Does o = t?
False
Let w(k) = k - 5. Suppose 23 - 103 = -5*j. Suppose 6*l - j = 2*l. Let q be w(l). Which is smaller: 2 or q?
q
Let a = -1 - -1. Let k = 25 - 18. Suppose -7 = -0*h - k*h. Which is smaller: a or h?
a
Let b(q) = -q**3 - 6*q**2 + 7*q + 4. Suppose 0 = w + 3*w + 28. Let n be b(w). Are 5 and n equal?
False
Suppose -2*a + 8 = 2*a. Let i = a - 1. Let n(x) = -x**2 - 12*x - 32. Let v be n(-8). Is v at most i?
True
Suppose 2*y + y = 18. Let t be 8/(-126) - y/(-21). Let s be 2 + (-2 - (-3 + 3)). Which is greater: s or t?
t
Suppose 18 + 2 = -b. Let j be b/5*6/(-8). Suppose -g - 4 = -8*y + 5*y, 3*y + 6 = j*g. Which is greater: y or 2?
y
Suppose 4*g = 3*w + 6, 5*g - 7 + 1 = 3*w. Let r be (g - 6)/(5 + 2). Suppose -3*z - 5*h - 23 = 0, 0*z = -2*z - 5*h - 22. Which is greater: r or z?
r
Let c = 5 - -2. Let j = -2 + c. Suppose -3*q + j*r = q + 29, 5*q = 3*r - 20. Is 2/5 equal to q?
False
Let d(g) = -3*g - 13. Let a be d(-9). Suppose 0*q + q + a = 2*z, 33 = -2*q + 5*z. Let s = q - -2. Which is smaller: s or -1?
s
Let w be 0/(-1 - 3/(-1)). Let d be 8/3*12/(-11). Let v = d + 34/11. Which is smaller: v or w?
w
Let f = -129 - -214. Which is bigger: f or -1?
f
Let d(j) = j**3 - 4*j**2 + 4*j + 1. Let p(f) = f - 5. Let u be p(8). Let t be d(u). Suppose -2*q + 3*b = 0, 9*q - b - 13 = t*q. Which is bigger: 2 or q?
q
Suppose -j + 5*r = -103, -5*j + r + 4*r = -515. Let s = j - 509/5. Which is greater: 1 or s?
s
Let u = -6.3 + 8. Let z = -2 + u. Let h = z - -0.4. Are -4 and h equal?
False
Let j(z) = z**2 + 6*z + 5. Let w be j(-4). Let r be (2/w)/((-12)/54). Which is greater: r or 2?
r
Let h(b) = b - 3. Let f be h(5). Suppose -f = 5*q + 4*x + 1, -24 = 4*q - 4*x. Do q and -1 have different values?
True
Let p = -4927/22 - -224. Are p and 0 equal?
False
Let q be 9*(-3)/(12 - 3). Suppose 18 = -4*j + f, 14 = -j + 3*f + 2*f. Are j and q non-equal?
True
Let g = -2.04 - -0.04. Let w be (-4 + 9/2)/(1/(-4)). Is w smaller than g?
False
Suppose p - 2*p - 4*o - 2 = 0, 2*p - 2*o - 6 = 0. Suppose p = -g - 5. Let u(t) = -t - 2. Let r be u(g). Is r less than 5?
False
Suppose 36 + 8 = -11*v. Is v bigger than -4?
False
Suppose u - 4 = -0. Suppose 2*h - 15 = -4*g + 11, -u*g = 4*h - 32. Is g < 4?
False
Suppose y + 2*y = 0. Are y and 2/3 equal?
False
Let f = -2.22 + 2.4. Is -1/4 bigger than f?
False
Let d = 106/3 + -35. Let h = 0.095 + 2.905. Is d != h?
True
Let r(g) = 2*g - 3. Let t be r(-3). Let o = t + 4. Are o and -4 equal?
False
Let c = -3 - -3. Suppose -3*g = 2*d + 332, c = -d + 1 + 1. Let p be 4 + -2 - g/(-60). Is 0 at least p?
False
Let v = -26 - -38. Let i = v - 14. Which is greater: -3 or i?
i
Let f = -2.06 + 0.06. Suppose 92 - 27 = 5*g. Suppose -5*p = 2*q + g, -p = 5*q - 4*p - 14. Is q >= f?
True
Let a(p) = p + 1. Let m be a(2). Let g = -2 + m. Let c be ((-2)/10)/(6/(-30)). Is c equal to g?
True
Let b = 0.3 - 0.7. Is b at least as big as 0.4?
False
Suppose 3*b - b = 10. Suppose 3 = -b*z + 2