 q and 20 have the same value?
False
Let v be (-49)/4 + (-1)/(-4). Let k be (-15)/(-6)*v/220. Suppose 5*n = -5*g, -n - 4*n = g. Do n and k have the same value?
False
Suppose 0 = 2*j - 75 - 1. Suppose -4 - j = -l. Let a be 16/l*42/(-28). Are a and 0 equal?
False
Suppose 6*x = -5*p + 4*x + 4, -2 = p - x. Let l = 183/343 - 174109/11319. Let m = l - -44/3. Which is bigger: p or m?
p
Let o be (-8)/(((-1113)/(-186) + -6)/1). Is o greater than 497?
False
Let u = 38.21 + -39. Let k = -0.21 + u. Do k and -2/7 have the same value?
False
Let b = 165 - 165. Which is bigger: b or 1/24?
1/24
Let o(m) = 3*m**2 + 81*m - 8. Let z be o(-27). Are z and -92/11 non-equal?
True
Let d(f) = -9*f + 15 + f**2 - 21 + 13 + f. Let l be d(7). Which is greater: -2/3 or l?
l
Suppose -2*l - 4 = -2*b + 4, 0 = -b - l + 8. Suppose 0 = -10*k + b*k - 12. Let q be 8/(-3) - 2/(-3). Is k greater than or equal to q?
False
Let p be (117/(-26))/(9/(-15)). Which is greater: p or 8?
8
Let b(c) = 7*c**2 - 27*c - 4. Let k be b(4). Is k at most as big as -4/1001?
False
Suppose -8558 = -99*a + 11143. Which is greater: a or 201?
201
Let s = 27.31 - 25.31. Let i be -2 - ((-32)/9 - -2). Is s less than or equal to i?
False
Let v = -451.9 - -452. Which is smaller: v or 199?
v
Let m(h) = h + 13. Let n be m(38). Which is smaller: n or 52?
n
Let c = 35.03 - 35.1. Is c at least 21?
False
Let d be ((-15)/(-13))/((-11)/(-2) - 4). Which is greater: 0 or d?
d
Let p(s) be the second derivative of -s**3/2 - 14*s. Let m be p(0). Is m bigger than 1/25?
False
Let a(x) = -x**2 - 9*x + 43. Let o be a(8). Which is greater: o or -95?
o
Let n = -12 - -19. Let t(o) = o**2 + 7*o - 18. Let s be t(-10). Let a = n - s. Are -7 and a nonequal?
True
Let z = -0.127 + 0.427. Is z at least 73?
False
Suppose 0 = 10*i - 7*i. Let p be 14/63 - (-7)/(-27). Is p <= i?
True
Let j = -30 - -56. Is j smaller than 11?
False
Let s = -2624 - -23497/9. Which is greater: -12 or s?
-12
Let b = 0.83 - -3.17. Which is bigger: 0.059 or b?
b
Let m(v) = 32*v - 336. Let i be m(14). Is 112 at least i?
True
Let r(i) = i**3 + 11*i**2 + 9*i + 10. Let v be r(-10). Suppose 0 = -a + 12 + 8. Is a < v?
False
Let i = -555 - -466. Is -90 greater than i?
False
Let o = -3859 - -189121/49. Which is smaller: 1 or o?
o
Let j = 16.06 + -16. Let p = -2 - -1.96. Let g = p - j. Is -1.5 less than or equal to g?
True
Let t(m) = m**2 + 13*m + 14. Let b be t(-12). Let f be (142/(-72) + 2)/(b/(-4)). Suppose -2*g + 3*g = -1. Which is bigger: g or f?
f
Let f be ((-3 - -9) + -4)*-1. Let j be (f/1)/2*4. Which is bigger: j or -2?
-2
Suppose 2*n - 217 = -3*w + 21, 3*w + 101 = n. Let p = -113 + n. Is p at least 1/19?
False
Let c(u) = u**2 - 11*u + 24. Let b = -24 - -30. Let d be c(b). Is -6 at most as big as d?
True
Suppose l + 3*c - 21 = 0, 5*l + 0*c = -c + 49. Suppose -2*j + 3 = l. Is -5 at most as big as j?
True
Let w(i) = -4*i**2 + 3 - 2*i**2 + 7*i + 5*i**2 + 6. Let u be w(7). Let h = u - 9. Which is bigger: h or -2?
h
Suppose 3*y - 60 = 20*w - 17*w, 22 = 2*y + 4*w. Is y bigger than 117/7?
True
Let y = 965 - 864. Is y bigger than -6?
True
Let f = -33 - -37. Let v be 30/75 + f/(-10). Suppose 2*x + 10 = 5*y + 4, -4*y + 15 = -5*x. Is y greater than or equal to v?
True
Suppose 3*r - 2*a = 97, -4*a - 54 = -r - r. Let w be (12/15)/((-220)/225 + 1). Which is smaller: r or w?
r
Let t(z) = z**3 - 28*z**2 + 29*z - 49. Let p be t(27). Let x be (-1)/(2/24 - 0). Let w be 2*(-2)/x*12. Is p <= w?
False
Let l = -13 - -13. Let q = 3/382 + 4527/7258. Is l > q?
False
Let j be (1/4)/((-13)/(-12)). Let s = 41 - 35. Let u(t) = -t**3 + 7*t**2 - 5*t - 6. Let d be u(s). Which is greater: d or j?
j
Let q(a) = -3*a - 11. Let f(v) = 5*v + 14. Let p be f(-4). Let d be q(p). Is 2 <= d?
True
Suppose 0 = -2*g + 14 - 2. Let d be (-258825)/279 + 4/g. Let c = 927 + d. Which is smaller: 0 or c?
c
Let d = -6699 + 6705. Suppose 0 = 6*p - 2*p - 8. Suppose 3*m - p*m = 5. Is m not equal to d?
True
Suppose -5*r + 2*r = 3*r. Which is smaller: -3/43 or r?
-3/43
Let h be 39/52 + 2*(-483)/1320. Is 0 < h?
True
Suppose 0 = -5*o + 5*p + 165, 3*o + 4*p - 105 = p. Let n(d) = 2*d**2 + 36*d - 198. Let q be n(-23). Is q > o?
False
Let b = 1 + -1. Let p(x) = 7*x + 4. Let w be p(-3). Let t be 19/w + -1 + 2. Is t bigger than b?
False
Let b be (-33)/(-2)*1410/45. Is -2/3 < b?
True
Let r = 378 - 4157/11. Let f = -3 - -4. Is f equal to r?
False
Let g = 1820 + -1846. Which is smaller: g or -4?
g
Let l = 6/5 - 43/35. Is 2/5 less than l?
False
Let x(k) = -k - 2. Suppose 13*m = 9*m + 16. Let s be x(m). Is -1 less than or equal to s?
False
Let x = -48 - -29. Is 2 > x?
True
Let k = 176 - 90. Let z = 86 - k. Is z >= -4.4?
True
Suppose 39 = 25*j + 14. Is -3/13 equal to j?
False
Let i(n) = n**2 + 2*n - 7. Let c be i(-5). Let k be -2*c*(-2)/4. Suppose -6*q + k = -10*q. Is -1/2 equal to q?
False
Let w = -134 + 39. Which is greater: w or 2?
2
Let u = -7 + -3. Let h = 9.386 - -0.214. Let o = h + u. Is 0.3 bigger than o?
True
Let o = 1027/110 + -106/11. Let k = 26/3 + -28/3. Is o at least as big as k?
True
Let v(z) = 2*z**3 - 7*z**2 - 4*z + 11. Let c be v(5). Suppose t = c - 28. Is 37 greater than or equal to t?
False
Suppose 4*z - v - 21 = 0, -3*v + 6 = 3*z - 6. Suppose l + 2*q = -8, z*l - q + 24 = -3*q. Which is greater: -2 or l?
-2
Let a = 4181/9520 + -7/16. Let m = 2341/23205 + a. Is m < 1?
True
Suppose -5*o + 303 = 5*g - 2, 0 = 3*g - 5*o - 143. Let w(y) = 13*y**2 - y + 2. Let u be w(-2). Are u and g nonequal?
False
Let w = 60 + -63. Let a be -4 + 2 - -2 - -2. Suppose -5*y - 2 = 2*o, -y + 8 - a = 2*o. Is y less than w?
False
Suppose -3*v = 3*y + 6, -4 + 0 = 2*v - y. Let s be (5 + 0)/(-11 - (1 - 3)). Which is smaller: v or s?
v
Suppose -3*h - k = -8*h + 170, -5*k - 124 = -3*h. Let l = h - 32. Are 0 and l non-equal?
True
Let c = -44 + -151. Which is greater: c or -194?
-194
Let a = 0.17 + -1.37. Let y = a - -0.7. Let o = -0.4 - y. Is o at most as big as -23?
False
Let d = 30 - 45. Let i = d - -18. Suppose -4*v - 2*m = 6, 5*v + 3*m + i = 2*m. Which is smaller: 2/21 or v?
v
Let o = 17 - 6. Suppose 11 = 11*c - o. Is c at most as big as 7/13?
False
Suppose 3*p = 4*p. Let w = -197458/39 - -5063. Is p bigger than w?
True
Let s be 1/(-2)*(-18)/(-162). Is -36 at most as big as s?
True
Let v be (33/(-6))/((-2)/4). Suppose -7 + v = 2*q. Suppose q*j - 5*n = -31, 2*j = -0*j + 4*n - 28. Which is bigger: -9 or j?
j
Suppose -14*y - 8 = -6*y. Is 2/3247 >= y?
True
Let w = 15 - 11. Suppose -w*q = -22 - 2. Is 5 >= q?
False
Let k(u) = u**3 - 6*u**2 + 4*u + 15. Let v be k(3). Which is smaller: -1/2391 or v?
-1/2391
Suppose 3*u = -u - 3*z + 22, -4*z = -4*u + 8. Suppose r + c = -3*c + u, 5*r - 5*c - 45 = 0. Let d be (-1)/(0 + 2)*r. Is -4 not equal to d?
False
Let f = 6.7 + -11.8. Let s = f + 5.1. Does s = 7/6?
False
Suppose 2086 = -3*s - 5*j, -2*j - 214 - 481 = s. Is -696 at least s?
True
Let q be -5*(-3 + (1 - -3)). Let y be (1/2)/(q/(-550)*5). Do y and 11 have the same value?
True
Let l be -1 + 5 + -4 + 2. Let g(q) = 13*q + 11. Let t be g(l). Are t and 37 nonequal?
False
Let n(t) = 2*t**2 - t. Let c be n(1). Let o(s) = 2*s**3 + 23*s**2 + 12*s + 9. Let k be o(-11). Let i be (c*(-2 - k))/(-2). Which is greater: 6/11 or i?
6/11
Let u = -36 - -25. Let p = -7 - u. Suppose -2*w = -p*w. Is 0.09 smaller than w?
False
Suppose -5*n = 1459 - 264. Which is smaller: n or -238?
n
Let j(o) = 3*o**2 + 17*o + 27. Let i be j(-2). Which is smaller: -0.06 or i?
-0.06
Suppose 3*o = 2*p + 22, -5*o + p = -3*p - 40. Suppose o*d - 2*d + 5*g - 33 = 0, -4*g = 2*d - 28. Let q be (-1)/d - 6/168. Which is bigger: q or 15?
15
Suppose -3*f - 60 = 2*f. Let g be (22/f - -2)*-1. Which is greater: -1 or g?
g
Let u(y) = -y**2 - 8*y + 7. Let x be u(-8). Let q = 3 - x. Let l be 3 + 9/(q - -1). Is 2 greater than l?
True
Let b(l) = -l**2 + 37*l + 79. Let f be b(39). Which is smaller: f or 1/24?
1/24
Let m = -0.014 - -0.714. Let b = -0.1 - -0.2. Which is smaller: m or b?
b
Suppose 0 = -30*g + 29*g - 5. Let u(r) = -r**3 - 4*r**2 - 4*r - 3. Let q be u(-3). Let m be (8/6 + q)*-3. Which is greater: g or m?
m
Let z be 4 + (-5 - -1) + (-2 - -7). Is z smaller than 25?
True
Let x = -1268 + 1295.2. Which is greater: x or -0.1?
x
Let f be 61712264/12948 - 6/39. Let g = 4766 - f. Is g >= 1?
False
Let m = -8/47 - 