t w = 656.4 - 656. Which is bigger: q or w?
w
Let k = -274.9 + 275. Which is bigger: 6/29 or k?
6/29
Let x = -22 - -13. Let v = x + -19. Let n be 7/(v/(-8)) + -2. Is n > -1/8?
True
Let h be (-2)/(-10) + 532/140 + -3. Which is greater: -260 or h?
h
Suppose -3 + 1 = 2*c. Let d be (-3 - -6)/((-1)/(-13)). Let a be (-91)/d - 1/(-3). Is c >= a?
True
Let y = 71 - 71.33. Let u = -0.23 - y. Do 0.5 and u have different values?
True
Let b = 6.555 - 8.555. Let s(v) = -3*v**3 + 3*v**2 + 5*v - 2. Let y be s(3). Is y at least as big as b?
False
Suppose 0*b - 69 = 3*b. Let h = b + 19. Let p be (1 - (5 + h))/1. Which is smaller: p or 1/4?
p
Let x = -163/1330 - -7/190. Is x >= -2?
True
Let k(g) = -g**2 - 6*g + 6. Let m be k(-7). Let s = m - 7. Let b = -41 + 33. Is b greater than or equal to s?
True
Suppose -2*f = 3*i - 85, 4*f + 3 = i - 2. Which is smaller: 215/9 or i?
215/9
Let v = -2373/83 - -274401/1411. Let p = -166 + v. Let r = -2 - -2. Is p <= r?
True
Let r = -3979/4 + 988. Suppose 0 = -3*y + h - 16, 20 - 5 = -3*h. Which is greater: r or y?
r
Let z = -38 - -34. Let y = z - 0. Let x(q) = -q**2 + 2*q + 5. Let f be x(4). Which is smaller: f or y?
y
Let v be 411/12*88/(-55). Is -54 equal to v?
False
Suppose m - 496 = -505. Is -57/7 less than or equal to m?
False
Suppose 0 = 2*q - 4*d + 14, 3*q + 11*d - 6*d = 12. Let a = -61 - -675/11. Is a at most as big as q?
False
Suppose 127 = 2*o + 5*q, -3*o = 2*q - 156 - 7. Which is smaller: 52 or o?
o
Suppose -17*t = 13 - 13. Let z be (6/4)/((-12)/(-16)). Let s be z/(-4) - 3/(-6). Is s smaller than t?
False
Let z = -19 + 14. Let d be z*(292/300 + -1). Which is bigger: 1 or d?
1
Let z be 2 - 2/(-3384)*-3062. Let p = 3/94 + z. Suppose -70*x + 1 = -71*x. Which is greater: x or p?
p
Let j be 74/14 + 10/(-35). Let h be 3/6*(-28)/(-2). Suppose 6*y - h*y + 7 = 0. Are y and j equal?
False
Let x be 27/(-36) + 6/8. Let p be -10*(x - 1/2). Suppose 2*j = -p*s - 19, s + 14 = 2*j + j. Which is smaller: j or 2?
2
Let c = 0.15 + -2.15. Let v = 1.9 + c. Let h = -9 + 10. Is v >= h?
False
Let k be (-225)/632 - (-6)/16. Is k at most 0?
False
Let p be 8/5 + 25272/130. Which is smaller: 785/4 or p?
p
Let c = -10 - -247. Which is smaller: 236 or c?
236
Let r = 106 + -714. Which is smaller: r or -610?
-610
Let c be ((-3)/(-3) - -591)/((-18)/(-7)). Let j = c - 230. Is j at least -1?
True
Suppose j = 5*u - 812, u - 3*j = -7*j + 175. Let o = 162 - u. Is -2/185 equal to o?
False
Let b be ((-8)/6*-1)/(-29 + 25). Which is smaller: -850 or b?
-850
Let u be ((-2)/3 + 0)*-1. Suppose -3*w + 4*a = 10, -4*w = w + 4*a + 38. Let b be (6/(-4 - -1))/(w - -4). Which is smaller: b or u?
u
Let r = 41 - 35. Let p = -4 + r. Is p greater than or equal to 1?
True
Let f(t) = t**2 + 5*t - 37. Let o be f(-9). Which is bigger: 46 or o?
46
Suppose 3*o + 2 = -7. Let v = 0.05 + 0.25. Let a = -0.7 - v. Which is smaller: o or a?
o
Suppose r + 5*a + 23 = 0, -2*r - 5*a = -3*a + 54. Let h be (0 + 0 + 1)/r. Is h < -1?
False
Suppose 4 = 4*o - 4. Let q = o + 16. Let w = -26 + q. Is -1 < w?
False
Let b be 2/(-11) - (-7104)/42944. Is b > 0?
False
Let c = 55.1 - 58. Let b = 1.9 + c. Which is greater: -2/21 or b?
-2/21
Suppose -82*u + 422 = -86*u + 2*a, u + 108 = 3*a. Is u greater than -105?
False
Suppose 4*i + 599 = -217. Is -204 < i?
False
Let f be (3 + -2)/((-4)/(-12)). Suppose 0 = 5*r + t - 9, -3*r - 3*t - 2*t = -23. Is f at most as big as r?
False
Let v be ((-2002)/28)/13 + (-6)/(-4). Is v less than or equal to -45/11?
False
Let h(i) = -8*i + 71. Let t be h(10). Is -8 at least as big as t?
True
Let l = -0.255 + 23.855. Let p = -78.4 - l. Is p greater than -2/5?
False
Let r be 3/(-1) - -3*(-32)/(-12). Suppose 5*a - r = -0*a. Which is bigger: a or 4/39?
a
Suppose -a - 4*o + 24 = -0*o, 0 = -3*a - 3*o + 27. Suppose a*w - 2 + 6 = 0. Let k = 49/3 - 16. Which is smaller: w or k?
w
Suppose -v + 8 = -5*v. Let c(g) = 6*g**2 - 6*g - 7. Let p be c(v). Which is smaller: p or 1/3?
1/3
Let k(f) be the third derivative of -f**4/24 - 5*f**3/6 - f**2. Let z be k(-4). Let t = 12.19 + -6.19. Which is greater: t or z?
t
Let n be ((-786)/(-182))/(3*2/(-12)). Let s = -51/13 - n. Which is smaller: s or 4?
4
Suppose -3*j - m + 20 = 0, 3*j - 3*m - 30 = -6*m. Suppose -5*b + 2*d = -2, 4*d - 8 = 2*b + d. Suppose 6*v = v - j, -5*c - b*v = 7. Which is smaller: c or -1/5?
c
Let q(t) = t**2 - 4. Let y be q(4). Suppose -4*w - 3*l = -42, 12*w - 5*l - 70 = 7*w. Do y and w have the same value?
True
Suppose -4*n = 3*n + 14. Let t be (-7)/(n + 1 + -5). Which is smaller: 2 or t?
t
Suppose -4*p + 0*p + 24 = -4*z, -3*p + 24 = -5*z. Suppose -29*w + p = -28*w. Are w and 0 equal?
False
Let c = -37 - -47. Let u be 4/c + (-1140)/2975. Are 0 and u nonequal?
True
Let q be (252/112)/((-6)/(-296)). Which is smaller: 114 or q?
q
Suppose 5*d = -5*i + 40, -3*d = -7*d + i + 7. Suppose -d*z = 2*z - 3*u + 50, 4*z = -5*u - 40. Which is smaller: z or -8?
z
Let i = 175 + -81. Let y = i + -96. Which is smaller: y or -3/2?
y
Let j be 0 + -1 + 11/(55/90). Let k = j - 4. Is k at least 41/3?
False
Suppose 0 = -5*k + 2*i - 13 + 3, -4*i + 20 = 4*k. Let g = 7/4 + -9/4. Is g greater than or equal to k?
False
Suppose 0 = -18*x + 16*x + 2. Let d be -7*8/(-58) - 1. Are x and d non-equal?
True
Suppose 152 = -2*h + 5*s, h + 356 = -3*h - 3*s. Let n = 88 + h. Is 5 at most n?
False
Let u = 44.97 - -1.03. Let q = u + -23. Let v = 28 - q. Do 0.1 and v have the same value?
False
Let x be 0 + -2 + 3 - (7 - 52). Is x at most as big as 44?
False
Let n be (2 + -2)*21/42. Which is smaller: -3/53 or n?
-3/53
Let h be ((-158)/(-114) + 112/(-84))*(0 - 2). Let a(f) = -3*f - 9. Let i(l) = 2*l + 5. Let q(m) = 3*a(m) + 5*i(m). Let u be q(3). Is u less than h?
False
Suppose -6*m = 6 - 4200. Is m > 697?
True
Let j be 1/2*(7 + -5). Suppose 6*p = 7*p - j. Suppose 3*h + 12 = -4*q - p, h = -5*q - 8. Which is smaller: 1 or q?
q
Let p(x) be the first derivative of -x**3/3 - 2*x**2 + 7*x - 6. Let t be p(-4). Is t at least 7?
True
Let t(n) = -n**2 - 9*n - 9. Suppose -5*k - 48 = k. Let v be t(k). Which is greater: v or -6?
v
Suppose 4*u - 16 = 0, 4*u - 23 + 7 = 5*b. Let r = -100/117 - -1/13. Which is greater: b or r?
b
Let l be 1 - (4 + (-19 - -1)). Let t(j) = 2*j**2 - j - 3. Let s be t(0). Let i be 237/l + s/(-15). Is 15 less than or equal to i?
True
Suppose 3*k + 13 = -m, m - 4*k + 0*k - 8 = 0. Let p be (-172)/20 - (m + 88/20). Which is greater: 3 or p?
3
Suppose 0*x + 5*r = x + 11, 0 = -3*x - 3*r + 3. Let m be (0 - -2) + (0 - x). Let s = -8/239 + 4358/1673. Is s < m?
True
Suppose 13*l + 3 = 10*l. Let b = -22 - l. Is -21 <= b?
True
Let o be -244 + ((-2)/(-9))/1. Let r be (-2)/6 - 2193/9. Let i = r - o. Which is smaller: -1 or i?
-1
Let c = -397/2 - -161. Which is smaller: 3/2 or c?
c
Let o(s) = 3*s - 64. Let a be o(23). Suppose 0 = -2*r + 5*t + 13, -t = -3*r + 18 - 5. Suppose -a*p - r = 41. Is p at most -9?
True
Let t(o) = -5*o + 14. Let b be t(3). Suppose -3*d = -7*d + 5*j + 8, 2*d - 10 = 4*j. Let l be d + 2*1/2. Does b = l?
False
Let w(v) = v**3 + 23*v - 19 - 22 - 2*v**2 + 33*v**2 - 6*v**2. Let s be w(-24). Which is greater: -19 or s?
s
Let i = -1 + 5. Suppose k = i*a + 2 - 0, 5*k + 11 = -a. Let m = 6 - 8. Which is smaller: a or m?
m
Let g = 111 - 139. Let h be (-109)/3 - 1/(-3). Let j = g - h. Is j at most 2?
False
Let x be (-66)/(-78) + (-6)/(-39). Suppose -x = -3*d + 2. Which is smaller: d or 0?
0
Suppose -4*x - 19 = -g, -2*g - 4*x = -g + 13. Suppose 3*b + 11 = 4*y, -1 - 1 = -3*y - 4*b. Suppose -y*p = -2*o - 2, -3 - 3 = -3*o. Is g <= p?
True
Let y be (-15104)/1856 + (-9)/(-1). Is y >= 0?
True
Let l = -441 + 41889/95. Is l greater than or equal to 0?
False
Let q = 1/3479 - -20851/80017. Is 1 less than q?
False
Let r = -214132/95 + 2254. Is r bigger than 1?
False
Let n = -39 - -115/3. Which is smaller: n or 2/209?
n
Let m be (-7)/(-21)*(-1)/(1/(-384)). Is 0.2 at least m?
False
Let q be (-6 - 19) + 10/5. Which is smaller: -16 or q?
q
Let o be (-18378)/72 + (-12)/16. Are -256 and o equal?
True
Let n = 300 - 300.11. Which is bigger: n or 29?
29
Let m be 1/100 + (-1)/4. Let n = -571 + 572. Which is smaller: n or m?
m
Let z = 54 - 48. Suppose 0 = -z*l + 5 - 53. Which is bigger: 0 or l?
0
Let p = 15 - 13. Suppose -p*y = -4*y. Let f be (9/(-51))/((-9)/6). Which is smaller: f or