 r = -37 + s. Is 14 <= r?
False
Suppose 0 = 3*c - 5*q + 16, 2*q + 2 = -3*c - 0. Let k(s) = -s**2 + 5*s - 4. Let d be k(4). Suppose d = r - 0*r + 1. Which is greater: r or c?
r
Suppose 122*q = 118*q + 884. Is 222 at least as big as q?
True
Let g(j) = j**2 - 1. Let o be g(1). Let c be ((-8)/16)/((-3)/(-6)). Which is smaller: c or o?
c
Suppose 10*a = 3*a + 7. Let o be ((-2)/25)/((-6)/10). Which is smaller: a or o?
o
Let b be ((-270)/72)/(6/(-296)). Are b and 185 non-equal?
False
Let p = 2358 - 2360. Let l be 12/(-8)*(-8)/(-6). Let o be (-14)/66 + l/6. Are p and o equal?
False
Let d(x) = -x + 5. Let v be d(5). Suppose 5*i - 3*s - 4 = v, -7 = 4*i + 4*s - 3*s. Let a be i*2*21/14. Is a < -5?
False
Let z = -7975 - -7977. Let p(d) = -d**2 + 4*d + 8. Let x be p(6). Is z greater than or equal to x?
True
Let q = 36 + -35. Suppose -1 = 4*y - q. Does y = 0.42?
False
Let a = -485/11123 + -4/227. Which is bigger: -1 or a?
a
Let d = -1806 - -1809. Is d bigger than -64?
True
Let y be (-2)/6*0 + 2. Let m be (-30)/(1 - 5/y). Let p be 14/(-8)*m/(-15). Which is smaller: p or 1?
1
Suppose -1 = y - 0*r + 3*r, -5*y = r - 23. Suppose -y*q + 0*b - 39 = -4*b, 0 = 5*q - 2*b + 37. Which is smaller: q or -5?
q
Let n(z) = -z**3 + 9*z**2 + 3*z + 12. Suppose 6*x - 27 = 3*x. Let w be n(x). Which is greater: 38 or w?
w
Let n = -19 - -18. Let s = n + 5. Suppose 17 = 4*d + v, -s*d - 4*v + 6 + 26 = 0. Is 10/3 not equal to d?
True
Let d = -28221 - -3104261/110. Let f = 1/22 + d. Is 2 > f?
True
Let s(l) = l**3 + 5*l**2 - 20*l - 37. Let a be s(-6). Is 5 bigger than a?
False
Let x be 2 - (0 + 10/6). Let j be 8/((-25)/(-6) - 4). Let c = j - 49. Is c smaller than x?
True
Let q = -96 - -63. Let j be q/(-2)*76/57. Let z = -19 + j. Is z smaller than 4?
True
Let f = 0.824 + -0.924. Let y = 0.3 - 0.2. Let z = y - 0.05. Which is greater: z or f?
z
Let l = 10 - 5. Suppose -2*a + 7*a + l*i + 35 = 0, 3*a - i = -13. Is a greater than or equal to -17/3?
True
Let s be 5/262*(-1083732)/6. Let u = s - -3447. Which is greater: 1 or u?
1
Let c = -3443/4 + 856. Suppose -3*g - 7 = 5*h + 15, 2*h + 4*g + 6 = 0. Is c equal to h?
False
Let u be ((-4)/(-6))/(16/6). Let r = -2980/3 - -990. Is r less than or equal to u?
True
Let s(t) = t - 21. Let z be s(21). Are 8/129 and z non-equal?
True
Let b = -125 + 126. Let a = 5392/31 + -174. Is a bigger than b?
False
Let d = -87 + 39. Let x = 53 + d. Which is smaller: x or 0.1?
0.1
Let r = -6 + 11. Let w(p) = r*p**2 + 1 - p - 2*p + 11*p - 6*p**2. Let u be w(6). Is 12 at most as big as u?
True
Suppose -f + 28 = 3*u, 0 = 2*u - f - 8 - 14. Is u < -5?
False
Let a(x) = -x**3 - 21*x**2 + 27*x + 19. Let s be a(-22). Is s at most as big as -93?
False
Let q(z) = -19*z**2 - 226*z + 24. Let i be q(-12). Are i and 13/85 equal?
False
Let w = -37/10 - -16/5. Let o = -0.25 - 0.75. Are o and w equal?
False
Let s = 5 - 11. Let k(m) = -6*m**2 - 5 - 3 + 5*m**2 - 7*m. Let p be k(s). Is 1 >= p?
True
Suppose -3*m + 60 = -23*m. Is m at least as big as -9/5?
False
Suppose 4 = -7*j + 8*j. Suppose 2*a = -4*k - 24, -4*k = -5*a - 0*a - j. Are k and -2 non-equal?
True
Suppose 3*a + 5*k = 30 - 11, 5*a + 2*k - 19 = 0. Let q be 2 + a/6*-3. Let m = -11.9 - -17.9. Which is bigger: q or m?
m
Let t = -544 + 443. Which is smaller: t or 0?
t
Let q = 162 - 166. Which is smaller: -132 or q?
-132
Let f = 1507 - 1471. Which is greater: 38 or f?
38
Let x(q) = -q**2 - 1. Let w = 0 + 1. Let v be x(w). Is v greater than or equal to 0?
False
Let x(g) = 2*g + 5*g**2 - 2*g + 7 - 6*g - 3*g**2. Let j be x(2). Let m = 634/5 + -125. Is m bigger than j?
False
Let j = -113 - -118. Suppose m + 19 - 67 = s, 120 = -3*s - j*m. Which is greater: s or -43?
-43
Let i = -2101 - -2086.83. Let r = i - -14. Let o = -0.07 - r. Which is bigger: o or 9?
9
Let n = -18 - -22.9. Let k = n + -5. Let m = -2 - -5. Which is bigger: m or k?
m
Suppose 40 - 10 = 10*g. Let f = 27 - g. Is f at least as big as 24?
True
Suppose 0 = 2*x + r - 107, 0*x = -2*x - 5*r + 119. Let j be -4*(x/(-44) - -1). Which is greater: 2 or j?
2
Let b = 15.977 + -16. Which is smaller: b or -2?
-2
Let p(k) = 2*k**2 - 11*k - 24. Let h be p(7). Suppose 5*u + 30 = 4*f, -4*u - 6*f = -4*f + 24. Which is bigger: h or u?
h
Let w = -1993 - -7975/4. Is w equal to -127?
False
Let u(j) = 8*j + 20. Let s(t) = 2*t + 2. Let y(o) = -5*s(o) + u(o). Let l = 14 + -9. Let g be y(l). Do -2/7 and g have the same value?
False
Let v(l) = -2*l - 60. Let b(r) = -5*r - 120. Let t(i) = 3*b(i) - 7*v(i). Let f be t(24). Is f equal to 36?
True
Let r = -12 + 32. Suppose 4 = -4*k + m, 2*k = -3*k + 5*m - r. Which is smaller: k or -1?
-1
Let f = -25176/611 - -534/13. Which is smaller: 1 or f?
f
Let m = -0.02 - 1.98. Let w = 396.9 + -391.9. Is w > m?
True
Let t = 2 + -3. Let v = 2 + t. Let i = 7744/3 + -2583. Does v = i?
False
Let b be (-9 - -16)/(0 + 1). Suppose -28 = -b*o + 5*o. Which is smaller: -2 or o?
-2
Let r be (-15)/6*6/(-5). Suppose -4*i - 5*f = 45, 4*i - r*f + 15 = -2*f. Let z be (-17)/i + (-6)/15. Is z at most 0.2?
False
Suppose -1224*x + 1227*x + 21 = 0. Suppose -5*h - 5*j = 40, 4*h = -5*j - 57 + 23. Is x equal to h?
False
Let a be 108/26 - 2/13. Let c(z) = z**3 + 4*z**2 + 2*z + 2. Let n be c(-3). Is n greater than or equal to a?
True
Let t = -13/32 + 29/32. Let l = 2.4 - -0.6. Which is smaller: t or l?
t
Let z = 2 + -5. Suppose 2*x + 43 = -4*r + 1, -r + 3 = -4*x. Let s = r - z. Which is smaller: 0.1 or s?
s
Suppose 6400 + 18128 = 84*z. Is 293 less than z?
False
Suppose -4*p + 0*x - x = -1, -5*x = 15. Which is smaller: p or 10/7?
p
Suppose i + 6 + 19 = 0. Suppose 4*t + 21 = 2*s - 11, 3*s - 4*t = 46. Suppose -95 = 4*j + 3*d, -2*j - 3*d = 57 - s. Which is smaller: i or j?
j
Let b(r) = -42*r + 13. Let m be b(-3). Is m at most -3/2?
False
Suppose -x + 5*d = 1, -4*d - 25 = -3*x - 6. Let f be (-6)/x - 252/(-297). Which is bigger: 8 or f?
8
Let h be ((-202)/54)/1*-24. Let y(j) = 44*j + 2. Let a be y(2). Let f = a - h. Is f at least as big as 1?
False
Let q = -84.14 - -17.14. Which is smaller: -0.3 or q?
q
Suppose 0 + 3 = c. Suppose -4*y + c*m = y + 14, -2*y = 3*m - 7. Let k be (3/(-10))/((-6)/64) + -3. Is y >= k?
False
Let q = -56 - -89. Suppose -8*k = -5*k - q. Which is greater: k or 8?
k
Suppose 4*h + 112 = 5*s, -30*h - 5*s = -27*h + 49. Which is smaller: -4 or h?
h
Suppose -5*j - 93 = -3*p, 29*p + 2*j - 762 = 8*p. Suppose 0*d = -2*d + 74. Is p at least d?
False
Let d = 93 + -90. Suppose 3*g = 4*v - 17, -d*v + 20 = v. Is g >= 1/5?
True
Suppose 2*k = -2*k - v + 11, 2*v = k - 5. Suppose k*a + n = -2, a - 11 = 3*n - 5. Is a at least -7/8?
True
Let w(s) = 14*s**2 - 5 + 1 + 2*s**2 + 3*s + 3. Let n be w(2). Let z be (-2)/7 + n/21. Which is smaller: 4 or z?
z
Suppose 67 = -3*z - z - 3*x, -4*z + x = 79. Is z > -183/10?
False
Let z = -86/5 - -52/3. Let w = 1181/7 - 169. Are w and z equal?
False
Let d(g) be the first derivative of -g**3/3 + 15*g**2/2 - g - 2. Let f be d(13). Let q be -1*((-27)/f + 1). Is -1 smaller than q?
True
Let q be (-330)/(-210) + (-4)/7. Which is smaller: 10/31 or q?
10/31
Let w = -1135.92 + 1157. Let a = -368 + 389. Let n = a - w. Is 0 bigger than n?
True
Let i = -19 + 19.02. Let f = i - 0.82. Is f greater than or equal to -0.05?
False
Suppose -4*w - 12 = -6*k + 5*k, -5*w - 16 = -k. Let d = 12 + -7. Let r = d - 9. Is r equal to k?
True
Let f be 36/16 + 2/(-8). Let q = 5 - 0. Suppose 3*y = -l + 15, -q*y = -f*l - 0*l - 25. Is -1/2 greater than l?
False
Let g be (30 - 29)*(1 - 0). Do g and -186 have the same value?
False
Let t be (-50)/15 - (-4)/(-6). Let f be 2/4 + 6/t. Let s be f + -4 + 2 - -3. Which is smaller: -1/8 or s?
-1/8
Let p be ((-24)/17520)/((-4)/10). Is p greater than -1?
True
Let d(s) = 7*s - 15*s**2 + 6*s**2 + 10*s**2 + 12. Let z be d(-4). Let m = -18 + 397/22. Is z smaller than m?
True
Let j be (6/(-12))/(1/(-12)). Let s be j/10*25/(-55). Which is smaller: s or -1?
-1
Suppose 5*g + 7*o = 2*o - 5, 4*o = -8. Let n be g*(-3 - 39/(-12)). Let m = 13 - 6. Which is smaller: n or m?
n
Let n = 359 + -274. Is 1 greater than n?
False
Let o = 1125 - 1126.97. Which is greater: o or 0?
0
Let s = -29 - 16. Let j = -45 - s. Suppose 0*b = -b + 9. Which is bigger: j or b?
b
Suppose 2*b = 5*b. Let m be -2 - (b/(-2))/(-3). Suppose 5 = 4*u + 1. Which is smaller: u or m?
m
Let s = -0.1174 