False
Let w be ((-361)/532*-21)/((-3)/12). Which is smaller: w or -289/5?
-289/5
Let w(p) = 6*p + 140. Let b be w(-8). Let g be b/6 - (-148)/(-111). Which is smaller: g or 1/2?
1/2
Let d(p) = -5*p - 124. Let b be d(-30). Suppose -b = -14*i + i. Which is smaller: 3 or i?
i
Let f(g) be the third derivative of g**6/60 + g**5/4 - 5*g**4/12 - g**3/6 + 2*g**2 - 7. Let o be f(-8). Which is bigger: o or -5?
o
Let g be -121 + 90/(-7 + -2). Which is smaller: g or -29?
g
Let q = 46 + -81. Suppose 19*o - 693 = -14*o. Let c be o/q + (-207)/5 - 0. Is c bigger than -43?
True
Let x = 4905 + -4807.104. Let y = -0.104 - x. Let v = -97.918 - y. Which is smaller: v or 0.1?
v
Let l be 357/(-2975)*(1535 - 0). Is l < -184?
True
Let w = -20.382 + 65.382. Which is smaller: -0.22 or w?
-0.22
Let p = -0.0931 + 588.0931. Let l = -587.8 + p. Which is greater: 25.5 or l?
25.5
Suppose 3*i - 6*i = -4*o + 211, -2*i + 4*o - 142 = 0. Let c(a) = -a**3 + 6*a**2 - 4*a + 10. Let k be c(7). Which is greater: i or k?
k
Suppose 56*n = 28077 - 116613. Is n greater than -1580?
False
Let z = 554/75 + -168/25. Is 1.499 <= z?
False
Let o = 12362 + -12411445/1004. Which is bigger: o or 1?
1
Suppose 4*m - 12 + 2 = -2*y, 0 = -y + 3*m - 5. Which is smaller: 5/97 or y?
5/97
Let t(l) = 467*l - 1390. Let k be t(-7). Are k and -4659 unequal?
False
Let f(l) = 25 + 32*l + 13 - 21*l - 1 + 13. Let s be f(4). Which is smaller: 95 or s?
s
Let f be (-2808)/(-273)*33/2. Which is smaller: f or -1/2?
-1/2
Suppose 9*f + 14 = -67. Let n be ((-12)/f)/((-2)/(-21)). Let v be (4/(-15) - 0)*-51. Which is greater: n or v?
n
Let p = -195 - -237. Let q be (-6)/p*(-28)/40. Which is smaller: -1/2 or q?
-1/2
Let v = -2/55 + 61/165. Let c = -5965 - -5994. Are c and v equal?
False
Suppose -6*v - 15 = -3*v. Suppose -20*w + 244 = 304. Is v > w?
False
Suppose -3*t + 11 = p - 236, 4*t - 4*p - 308 = 0. Let v = t - 76. Suppose -4*c - 12 = 0, -v*x - 5*c = -3*c - 134. Is 28 smaller than x?
False
Suppose 0 = -2*d + s + 1479, 772 = 2*d - 2*s - 706. Let r = -389241/526 + d. Let g = r - 951/53126. Is -1 at most g?
True
Let r be 33/(-44) + 26/(-8). Let q be (r - -3)*3 - -58. Suppose -q = h - 6*h. Is 10 greater than h?
False
Let b be 2/4 - ((-372)/8 - 4). Suppose 13*q - 10*q + b = 0. Let u = -1 + 1.3. Is u equal to q?
False
Let d be -2 - ((-4)/(-22) + (-41256)/(-88) + -12). Which is bigger: d or 6?
6
Suppose 0 = 2*w - 5*q + q - 32, -w + q + 11 = 0. Let y be w/18*(-18)/24. Which is greater: y or -1/21?
-1/21
Let a be 10/(-4)*(-8)/10. Suppose -6 = 4*q - a*o, -4*q + 3*o - 7*o = 24. Let y be ((-101)/(-35) + q)/((-2)/(-5)). Are y and -19 equal?
False
Suppose 0*x - 32 = 4*x. Let c be 1/1 + x/16. Let a = -1.03 - -0.73. Is a greater than c?
False
Suppose 0 = 5*g - 2*t + 2372, 0 = 7*g - 5*t + 4671 - 1359. Which is greater: g or -475?
-475
Let f = -16 + 24. Let o = 6 - 0. Suppose f = -y - o. Do -15 and y have different values?
True
Let b be (-133 - -5) + (35 - 19) + 6 + 0. Is b smaller than -108?
False
Let d = 13.4372 + -0.0372. Is -1/2 greater than d?
False
Let f be (-1)/3*(-1 + -339 + -5). Let d = f + -117. Is 2 less than or equal to d?
False
Let m = -1184 + 591. Let b = -592 - m. Which is smaller: 0.06 or b?
0.06
Suppose -2*c - 3*l + 12 - 2 = 0, -4*c + l + 6 = 0. Let i = c + -2. Let v = -12/113 - 337/2147. Which is smaller: v or i?
v
Let q be (32 - 47 - (-35)/(-25)) + 10 + 0. Suppose 0 = -4*w + m + m - 24, 0 = 3*w + 4*m + 7. Which is smaller: q or w?
q
Suppose 0 = -5*y - m + 10, 11 = -3*y - 0*y - 4*m. Let d be y/7 - 11/42. Let n = -71/12 + 25/4. Which is greater: n or d?
n
Suppose -178 = 6*b + 56. Let y(c) = -c - 39. Let a be y(b). Is a not equal to -20?
True
Suppose 4670*b + 1216 = 4662*b. Is b less than 0.3?
True
Let i(q) = q + 13. Let d be (2 - 11) + (-1 - 4). Let m be i(d). Is m <= -13?
False
Let r = -171 + 239.6. Let i = 67 - r. Let n = 0.9 - -0.1. Which is greater: n or i?
n
Suppose -4*s + 4*n = -72, 5*n + 50 = 2*s + 11. Suppose 0 = s*r - 13*r. Suppose r*j = -3*j + 105. Is j >= 35?
True
Let o(l) = -2*l**2 - 7*l + 36. Let q be o(3). Let y(p) be the first derivative of -p**3/3 - 3*p**2/2 - 6*p - 1. Let n be y(q). Which is greater: -13 or n?
n
Suppose 254*w - 2205 = 263*w. Let m = -737/3 - w. Which is greater: m or 0.07?
0.07
Let c = -29330 + 27754. Is -0.2 at least as big as c?
True
Let k = -9.397 - -10. Let d = k - 0.6. Let x = d - 0.103. Is x bigger than 5?
False
Let p = -32 + 35. Let d(n) = -9*n**2 + 20 - p*n**3 + 6*n + 2*n**3 + 3*n. Let w be d(-10). Are 29 and w unequal?
True
Let t(h) = -7*h**2 - 2*h - 1. Let m be t(-2). Let u(k) = -448*k**2 - 133*k**3 + 134*k**3 - 50 + 473*k**2 - 2*k. Let b be u(m). Does 23 = b?
False
Suppose -4*r + 13 = -3*r. Let a = -717/1805 - -2/5. Let b = 29595/2527 + a. Are r and b unequal?
True
Suppose -4*m - 2*t + 4 = 0, 14*m + 5*t - 10 = 9*m. Suppose -b + 26 = -3*b. Let i = -5 - b. Which is greater: i or m?
i
Let x be (-12838)/10 + 58/(-290). Is -1283 bigger than x?
True
Let h = -1884/5 + 383. Let z = -7045.2 - -7045. Is h >= z?
True
Let y = 129.84 + -129.757. Which is greater: 1.2 or y?
1.2
Let d(p) = 26*p**2 - 472*p + 21. Let x be d(19). Which is smaller: -2/5 or x?
-2/5
Let c = -23 + -114. Let h = 136.6 + c. Is h greater than or equal to 35?
False
Let d(o) = -o - 2. Let j be d(-3). Let q = j + 8. Suppose -211 = q*y - 4. Does y = -23?
True
Let h = 0 - 1. Let y = 24863 + -99449/4. Which is smaller: y or h?
h
Let t = 44.657 + -43.5. Let j = 0.157 - t. Let h = 0.22 - 18.22. Is h less than or equal to j?
True
Let w = -23989/1067 - 59/97. Let d = w - -357356/15477. Do d and 1 have the same value?
False
Let c = 400 + -245. Let x = 5.2 + 214.8. Let d = c - x. Is d bigger than 0?
False
Let f = 155 - 121. Suppose -13*i + s + 32 = -11*i, i + 4*s = f. Is 120/7 smaller than i?
True
Suppose 36*g = 37*g - 2. Let c(f) = 4 - 5 + 368*f**g - 11 - 10*f - 369*f**2. Let d be c(-9). Which is bigger: d or 4?
4
Let c be (-2)/(-2)*(0 + (-3)/(-159)). Let u(d) = -5 - 3 - 6 + 0 - 3*d. Let m be u(-5). Is c >= m?
False
Let c be (-181 + -2 + 3)/((-3)/4). Let s = c + -239. Which is smaller: s or 2/489?
2/489
Let c = 27.378 - 55.816. Let v = -0.298 - c. Let h = -28 + v. Is 0 greater than h?
False
Let h(f) = 16*f - 4 - 7 + 7. Let v be h(-2). Let m = v - -36. Which is smaller: m or 1/55?
m
Let h = 7725.47 - 7846. Let z = 4.47 - h. Which is greater: -1/3 or z?
z
Let v = 2560 + -2045. Which is greater: v or 511?
v
Let f = 9.806 + -9.806. Which is bigger: 2/1763 or f?
2/1763
Let d be -1 + (0 - -1) + (1 - -7). Let x be (-1)/(((-174)/d)/((-47)/(-4))). Let f = -6/29 + x. Is f < -1?
False
Let k = 143 + -80. Let n = -57 + k. Suppose 0 = -n*z + 123 + 105. Which is smaller: 37 or z?
37
Let r be (-24)/408 - 443/(-17). Is 53 less than r?
False
Suppose -2*q - 3*n + 3 = 0, 4*n - 8 + 4 = 4*q. Suppose 203 = 5*x - 2*h, -2*x + q*h + 62 = 4*h. Let m = x - 39. Is m at most as big as 2/7?
True
Suppose 15*d - 441 + 81 = 0. Let v be (15/10)/(((-28)/d)/7). Let r = -5 + -3. Is v bigger than r?
False
Suppose 3*i - 5*v = 22, 2*v - v + 18 = 4*i. Suppose 195 = i*w + 27. Suppose -2*p = u - 85, p + 4*u = -3*p + 180. Is p at least w?
False
Let x = 3 - 3. Let s be -8 - -1 - ((-37620)/1341)/4. Which is smaller: s or x?
x
Let i be (-18)/(-3)*4/24 - -2. Let y be (i/(-14))/(((-44)/42)/11). Let a(z) = -z - 1. Let r be a(-3). Is r smaller than y?
True
Let c(n) = -n**2 + 74*n - 795. Let b be c(61). Which is smaller: b or 0.0622?
b
Let v be ((-137248)/(-18))/((-1)/(24/(-1960))). Let j = -8/245 + v. Which is smaller: 94 or j?
j
Suppose 0 = -6*p - p + 728. Suppose -233*m = -232*m - p. Which is smaller: 103 or m?
103
Let k be 2/(-4) - 7/((-112)/472). Suppose -10*j = -k*j - 19. Which is bigger: -0.45 or j?
-0.45
Let l = -70.018 - -0.018. Let r = l - -49. Let i = 13 + r. Are i and -2 unequal?
True
Suppose 0 = 8*b - 5*b + 66. Let w be 70/9 + b/(-99). Suppose -w*l = -13*l - 120. Is l <= -24?
True
Let d(g) be the second derivative of 206*g**3/3 - 9*g**2/2 - 8*g. Let o be d(-4). Let h = 77873/47 + o. Which is bigger: -1 or h?
h
Let m = 11477 - 11476.9. Which is smaller: -434 or m?
-434
Let r(w) = 480*w - 5695. Let b be r(6). Which is bigger: b or -2814?
-2814
Let y = -17.66 - -20. Let h = y + -0.04. Let f = -1.3 + h. Is f <= -1?
False
Suppose 3*z + 13 = -o, 2*o + 2*z = -0*z - 10. Let 