Let s = -16 + 7. Let r be (-1 - -3)/(s + 2). Which is smaller: j or r?
r
Let k be (-5 - -3)/((-6)/1437). Suppose -301 = 5*a + k. Let y = a - -1090/7. Is -0.2 at least as big as y?
True
Suppose -9*f - 35 = 1. Is -1 > f?
True
Let s(q) = -q**2 + 10*q. Let b be s(10). Suppose g + 0*g = 0. Let x be b/(g - -2 - 0). Which is greater: 2/9 or x?
2/9
Suppose 0 = -4*t - 5*f + 2 + 7, 5*t - 21 = -3*f. Let b be 9/6 + (-27)/t. Which is smaller: b or -2?
b
Let v = -174 + 675/4. Let h = -35/6 - v. Let y = h - 1/12. Which is bigger: y or 0.1?
0.1
Let d(x) = x**2 - 1. Let f(o) = o**3 + 8*o**2 + 5*o - 8. Let n(z) = -d(z) + f(z). Let t be n(-6). Is 1/5 at most t?
False
Suppose 21 + 27 = -4*q. Let r = q - -10. Suppose 3*p - 1 = -7. Is r bigger than p?
False
Let a = -11 - -43. Which is greater: a or 33?
33
Let i = 3557/15301 + -2/1177. Which is smaller: i or 0.2?
0.2
Let b = -77 + 79. Is -9 at most as big as b?
True
Suppose -2*y + 20 = 2*y - 4*r, 2*y + 25 = -5*r. Suppose 3 = 5*h - 4*n, 0*n = 5*n - 15. Suppose 5*g = h*z - 3, 3*z + 1 = 4*z - 2*g. Which is bigger: z or y?
z
Let j = -5 + -1. Let d = j - -7. Which is bigger: d or -0.2?
d
Suppose -17 = z + 3*c - 3, 0 = 3*z - 5*c - 14. Suppose 7*g = 2*g. Is g less than z?
False
Let z = 847/2 + -9269/22. Is z less than 3?
True
Let n(c) = -4*c - 2*c + 4*c - 3*c - 1 - 4*c**2 + c**3. Let x be n(5). Let j be -2 - (x - -2)*-2. Is j <= 2/25?
True
Suppose 0 = 3*f - 2*y - 2*y + 46, 0 = 2*y - 8. Let c be (-5)/(f/(-4)) + 0. Let i(p) = p**2 - 4*p + 1. Let q be i(2). Which is greater: c or q?
c
Let x = 160 - 152. Which is greater: 1 or x?
x
Let w = -6/1697 + 358097/8485. Suppose 2*r = -0*r - 3*k - 87, -4*r + 3*k = 165. Let q = w + r. Which is greater: q or -1?
q
Suppose 2*r - 3*r - 2*l + 23 = 0, 3*r + 5*l = 69. Is 23 at most r?
True
Let a be 1/(-2)*4/(-3). Let o(m) = -m**2 - 4*m + 1. Let i be o(-4). Is i bigger than a?
True
Suppose 2*b + 14 = 4*w - 44, -5*w = 4*b - 40. Let n be -2 - (3 + (-261)/w). Let c = n + -17. Which is smaller: c or 1?
c
Let q = -77276687/62434995 + 6/180971. Let w = q + 30/23. Let m = -3 + 3. Is w at most as big as m?
False
Let b = 4.16 + -0.16. Let v = -2 + 6. Let x = b - v. Which is greater: 2 or x?
2
Suppose 3*x + 2*u = 8*x + 7, 4*x + 2*u + 2 = 0. Suppose -4*k = 3*v + 17, 5*v + 4*k + 19 = 2*k. Is v >= x?
False
Let x = 17/132 + 4/33. Let u be (19/1)/((-3)/(-3)). Suppose 4*p = 3*g - u, -1 = -p - 5. Are x and g equal?
False
Let b = -11.305 - -0.205. Let x = 11 + b. Which is smaller: x or 1/3?
x
Suppose 24*q = 23*q + 12. Which is bigger: 34/3 or q?
q
Let g = 184 - 1654/9. Suppose 0 = -4*o + 25 + 7. Suppose 0 = 4*b + 2*i - 4*i - 4, o = 5*b - 4*i. Is b greater than g?
False
Let m(w) = w + 2. Let o be m(0). Suppose -o*f - 2*f + 40 = 0. Suppose 2*c - f = 4*p - 9*p, 5*c + 10 = 5*p. Is -3 at most as big as c?
True
Let g(o) = 15*o**2 + 2*o - 3. Let c be g(1). Which is bigger: 12 or c?
c
Suppose 4*m = -16 - 0. Let c = 13 + -11. Let n be (4/30)/(c/(-10)). Is n at most as big as m?
False
Let g(c) = -5*c - 10. Let z be g(-5). Let p be (2/8)/(z/50). Suppose -l = 4*l. Which is smaller: p or l?
l
Let d = 208.91 + -208. Let o = d + -0.01. Let p = -1 + o. Which is bigger: 0 or p?
0
Let f = 30 + -29. Which is greater: f or 3?
3
Let r(u) = -u. Let h be r(-4). Let d be 3/(-6)*(h - 1). Which is bigger: d or -1?
-1
Suppose 4*s + 29 = -5*j, 3*s + s - 2*j = 6. Let x be s + 5/((-10)/6). Does x = -4?
True
Let b be (-1)/9*(2 - -1). Which is greater: b or -1/5?
-1/5
Suppose -60 = -5*y + 5*b, -y - 3*b = 4 + 4. Let n(w) = w - 3. Let l be n(y). Suppose l*v - 23 + 3 = 0, 5*v = -4*a + 25. Which is smaller: -1/3 or a?
-1/3
Suppose 14 = -6*r - 4. Is 0.06 bigger than r?
True
Let t = -60 - -59.96. Is t at most -2/5?
False
Suppose 36 = x + x. Suppose -g + 0*u = u, -5*g = -4*u + x. Let k be g + 1 - (-14)/18. Is 0 bigger than k?
True
Let t be 0/2*(-1)/(-1). Is -2/13 less than t?
True
Let r = 5/12 + -95/84. Is r greater than 1?
False
Let c be (-425)/150 + (-4)/(-2). Let w = -1 - -1. Which is smaller: w or c?
c
Let c = -8 - -4. Let b(x) = x + 3. Let g be b(-13). Let y be (-6)/g - (-23)/(-5). Is y smaller than c?
False
Suppose 5*z = -n + 9, 8 = z + 3*z + n. Let g be 2/(-7) - (-456)/1498. Let l = g - -313/428. Is z <= l?
False
Let h = 23 - 43. Is -21 > h?
False
Suppose 3*z + 24 = -z - 2*g, -4*z + 5*g = 52. Let h be 1 - ((-34)/z - 3). Is h >= 1?
False
Let z be 5 + -3 + -3 - -4. Suppose -2*j = 2*a + 6, 2*a - 4*a - 4 = z*j. Are -5 and a equal?
True
Let k be 35/2 - 7/(-14). Let p = 23 - k. Is -2 <= p?
True
Suppose u - 6 = -0*u. Let k be ((-15)/20)/(u/4). Let r be 36/(-21) - (-2)/(-7). Is k <= r?
False
Let g be 10/(-8)*8/40. Let c = -52 + 60. Are g and c nonequal?
True
Suppose -4*n + 2*x = -0*n - 18, 3*n + 4*x + 14 = 0. Let y(j) = -j**3 + 2*j**2 - 2*j. Let m be y(n). Let o = m + 5. Are o and 3/5 equal?
False
Suppose 0 = 5*h - 6*h + 7. Suppose h = 4*c - 3*c. Is c < 7?
False
Suppose -4*j - 19 = -h, 4*h = -j - j - 14. Let l be (-1)/(-3) - 4308/(-90). Let k = -48 + l. Is k at least as big as h?
True
Let v(j) = -2*j + 15. Let p be v(6). Which is greater: p or 8?
8
Let n = -34.1 + 38.1. Let s = 258/13 + -20. Does s = n?
False
Suppose -2*i = -3*i + 2. Are i and 2 equal?
True
Suppose -6*p + 3*p = 3*v + 9, -2*p - 2 = 0. Let z be (v/(-6))/((-4)/(-6)). Suppose -5*j + t = -6, -5*t + 0 - 4 = j. Is z smaller than j?
True
Let h = 0 + 12. Let l be (-6)/3 - h/(-7). Do l and -1 have the same value?
False
Let p = 775/1044 - -2/261. Suppose -7*n + 3*n + 44 = 2*j, -2 = j. Suppose -5*r + n = 2*m, 4*m = 5*r - 8 + 2. Which is bigger: p or r?
r
Suppose -5*l - 2*u = -95, 3*l + 3*u - 8 - 40 = 0. Is l bigger than 20?
True
Suppose -5 = -w, 2*w = 4*s + w - 11. Is s smaller than 5?
True
Let x be (-6)/(-2) + (0 - 1). Is 0 less than x?
True
Let w(c) = -c**2 - 4*c + 6. Let i be w(-5). Suppose -l + 2*l = i. Let s be 2/5 - 6/15. Is s smaller than l?
True
Let n be 66/17 + -6 + 2. Which is greater: n or -0.1?
-0.1
Let p = 10.8 - 12. Let h = p + 0.2. Let z = -0.2 - -0.1. Which is smaller: z or h?
h
Let p(a) = -a**3 - 2*a**2 - a. Let o(g) = g + 10. Let h be o(-11). Let u be p(h). Is 2/29 at most as big as u?
False
Let q = -4 - -2. Which is smaller: -3/2 or q?
q
Let f(u) = u**3 - 4*u**2 - 7*u + 7. Let z be f(5). Suppose 0 = -r + 1, 8 = -j + 3*r + r. Which is smaller: j or z?
j
Suppose 4*g + 3*t = 27, -3*g - 3 = -5*t + 13. Suppose -5 = -8*z + g*z. Let k = 2.99 - -0.01. Is z at least k?
False
Let s be (-12)/(-54) - 38/(-72). Suppose 0 = -t - 3*f + 20, -2*t + 0*t - 3*f + 25 = 0. Suppose -8 = -t*h + h. Which is smaller: h or s?
s
Let r be (-3 + (-3 - -2))*1. Is -8 less than or equal to r?
True
Let p be (-16)/(-10) + 6/15. Suppose -5*x + 15 = p*u - 1, 20 = 4*u + 4*x. Suppose -2*z + 3*b = -0*b - u, 0 = -z + 4*b + 4. Which is smaller: 2/5 or z?
z
Let q be -6 - -5 - (-29)/17. Which is greater: q or 2?
2
Suppose 0 = 4*p + 3*v + 60, 4*p + p + 75 = v. Let z be 24/p*(-2 - -7). Which is greater: -7 or z?
-7
Suppose -4*k - 5*l - 10 = 0, 2*k + l + 0*l = -2. Let g(o) = -o**2 + 3*o + 4. Let s be g(4). Suppose s = 3*u - 2*u. Is u != k?
False
Let z(d) = -d**2 - 4*d - 1. Let y be z(-3). Suppose -4*w + 6 = -14. Let q be w - (0 - -2 - 0). Is q != y?
True
Suppose -2 = -u - 1. Let h be -1 + 3 + -2 + u. Let r = -2.5 + 2.58. Does h = r?
False
Let q be (30/24)/(1/4). Suppose q*c - 3 = 2. Let v be (-1)/(c/6*3). Is -2 greater than v?
False
Let a be -1 + 3/(-5) - -2. Let u be 3/(-12)*-4*1. Which is smaller: a or u?
a
Let p = 2/641 - -637/1282. Which is greater: p or 15?
15
Let f = 209 - 3552/17. Do -2/3 and f have different values?
True
Let g(h) = h - 5. Let t be g(4). Let i = 251/5 + -50. Is t at most as big as i?
True
Let t(m) = -3*m - 5. Suppose -2*c - 8 = -4. Let p be t(c). Is p at least -3/11?
True
Let z = -3/47 - -156/235. Is z smaller than 1?
True
Let w = 27 + -31. Are 0.2 and w non-equal?
True
Let i = 316/5 + -63. Suppose -45*n + 2 = -43*n. Is i at most as big as n?
True
Suppose 0*c = 4*c - 8. Suppose -2*q = 4*o + 2, -3*o + 4*q = -2 - c. Are o and 7/5 non-equal?
True
Let w be 28/21 - 2/6. Let g(j) = j**2 - 4*j + 2. Let u be g(4). Suppose -t = -w + u. Which is smaller: t or -2?
-2
Suppose -4*r + 5*z - 10 = -37, -2*z - 12 = -2*r. Is r greater than -4?
True
Let q = -6/91 + 1959/728. Which is smaller: 4 or q?
q
Let l be 4