2*g - 292 = -a*z. Let c be 3/(-6) + g/(-360) + 0. Is 0 at most c?
False
Let l(b) = 5*b + 5. Let c be l(-3). Let i be (-2)/172*(-7 - 9 - c). Is -1 less than or equal to i?
True
Suppose 2*k - 4034 = 4*j, -2*k + 1902 = -5*j - 2136. Is 2007 >= k?
False
Let m = 846878/2705 + 282/541. Which is smaller: m or 315?
m
Suppose -b = 10*g - 11*g - 126, g = 0. Let i be ((-508)/(-6))/((-58)/(-87)). Which is bigger: b or i?
i
Suppose -28*l = 3*l - 31. Let u be (228/60 + -4)*(-10)/(-1578). Which is smaller: u or l?
u
Let a = 64010/11 - 5818. Let c = 7.7 - 7.3. Is c smaller than a?
True
Suppose -4*b + 5*k = -249, 0 = 4*b + 3*k + 78 - 287. Suppose 69*x - 676 = b*x. Which is smaller: 51 or x?
51
Let q(h) = -h**2 + 19*h - 19. Let n be q(18). Let r be (1/(-1) - (-11 - -12)) + n. Which is smaller: -3/14 or r?
r
Let h = -43/451 - 3747230/1353. Let n = 2731 + h. Which is smaller: -39 or n?
-39
Let v = 461 - 201. Suppose -2*m = 8*m + v. Suppose -2*z = 4*w - w + 70, 5*w - 4*z = -146. Is m at least as big as w?
True
Let k = -11653 - -8925. Is 1 <= k?
False
Let q = 1091/144 - 250/33. Is q less than or equal to 0?
False
Let w be 8/(-12) + (-74)/6. Suppose -29*k = -16 - 13. Let j be (k + 2)/(8/(-24)). Is j smaller than w?
False
Let z = 442 - 2221/5. Suppose -2*b = 2*b + t - 12, 2*t - 8 = 0. Let r be b*(-14 + 6)/(-56). Which is bigger: z or r?
r
Let k = -187 + 186.956. Let a = -0.956 + k. Which is smaller: -29.1 or a?
-29.1
Let k = -139 - 103. Let f = k + 243. Does f = 1/2?
False
Suppose -r - 45 = 4*r + 5*a, 0 = -5*r - 2*a - 33. Let w = -8448 - -59099/7. Which is greater: w or r?
r
Let j(u) = u**2 + 32*u + 115. Let l be j(-4). Suppose i - 231 = -2*a, -l*a + 5*i + 346 = 6*i. Which is smaller: 116 or a?
a
Let y = 6579589/15 + -438830. Let i = y + 877/5. Is i > -15?
False
Let n(b) = -b + 56. Let x be n(24). Let c = -6 + x. Suppose -3*v = -3*l - 42, v + v = -4*l - c. Which is smaller: -1 or l?
l
Let t(k) = -4*k**2 + 14 - 12*k**2 + 4 - 1250*k**3 - 1249*k**3 + 2498*k**3 + 57*k. Let d be t(-19). Which is smaller: d or 113/6?
d
Suppose -5*k = -11 + 6. Let v = -3862/21307 - -24/143. Is v greater than or equal to k?
False
Suppose -4*b + 13075 = 3*m + 2440, 5*m + 4*b - 17725 = 0. Which is bigger: 3544 or m?
m
Suppose 3*h - 4*q + 42 = -5*q, -4*q + 70 = -5*h. Let p be 0*(h - -14 - (1 + 0)). Is 1/54 equal to p?
False
Suppose 0 = 3*w - 4*w + 10. Let y = 6764 - 6751. Suppose -2*r = -z + y, -25 = -w*z + 7*z - r. Is z at most 15/2?
False
Suppose 17*b + 40 = 13*b. Let j be (b/(-6))/((-36)/(-54)). Which is smaller: 3 or j?
j
Suppose 9 = -5*z + 19. Let c = 1 - 4. Let u be (-1*z/c)/((-2)/18). Which is smaller: -10 or u?
-10
Let p = -38 - -36. Let y be (p + (-848)/(-5))*2. Let u = y + -334. Which is greater: 2 or u?
2
Let n = 576 - 378. Let r = n + -110. Is r != 91?
True
Let t(a) = -1482*a + 6732. Let w be t(5). Which is bigger: w or -5425/8?
w
Let h = 609 - 609.1516. Let x = h + 0.0516. Which is greater: 0.129 or x?
0.129
Suppose 608 = -3*t - 5407. Let w = t + 56149/28. Which is smaller: w or -0.1?
-0.1
Let n = 13 - 8. Suppose z - b - 2 = 0, -2*z - 3*b - n = 1. Suppose -5*q + 2*g = -20, 3*q + z = -2*g - 4. Is q greater than -19?
True
Let i(o) = 20*o**2 + o**3 + 14 + 17*o**2 - 26*o + 10*o**2 - 41*o**2. Let g be i(-9). Which is greater: 1/64 or g?
g
Let u = -33 - -38. Suppose -3*q = q + 4, 2*y = 5*q + u. Is y at most as big as 2?
True
Let j(m) = -15*m**2 + 54*m - 18. Let u(a) = a**2. Let k(v) = j(v) + 12*u(v). Let g be k(18). Let r be 1/2 - 37/2. Is r at least g?
True
Suppose -152*i = -85*i + 5963. Is i <= -357/4?
False
Let h = -256609 - -256611. Let a = -194 - -184.7. Is a equal to h?
False
Let h(i) = -i**2 - 2*i. Let y be h(0). Let g = -29.3 + 29. Let s = g + -10.7. Is s at least y?
False
Let a = 0.025 - 33.025. Let q = -43 - a. Which is greater: q or -5/4?
-5/4
Let t = 1928/3861 + 4/297. Let a = -2/13 - t. Let i = a + 7/9. Are i and 0 equal?
False
Let n = -23496 - -23911.97. Let y = n + -416. Is 2/41 less than or equal to y?
False
Let q be 108/72*((-26)/24 - 1/(-2)). Which is smaller: q or -1?
-1
Let m = 19059 + -19266.02. Let z = 207 + m. Which is smaller: -1/2 or z?
-1/2
Let s be (-5492)/68*(-2)/(-72). Let g = 47/17 + -424/153. Let m = g + s. Which is smaller: 3 or m?
m
Let d be 2/1 - 4/(-2). Suppose 3*h - 4*p + 6 = -4, -3*p = 4*h + 5. Let v be (3 - d)/((-3)/((-6)/h)). Which is greater: 5/3 or v?
5/3
Suppose 3*x - 2*c = 17, -x + 5*c = -3*x + 24. Suppose 2*n = -5*p + 6, x*n - 6*n + 10 = 4*p. Is -24 equal to n?
False
Let x = -72 - -72. Suppose -3*b + 5*b - 416 = x. Let c = b + -629/3. Is -1 greater than or equal to c?
True
Let s(i) = i + 7. Let q = -89 + 103. Suppose -3*x = -5*d + 21, -x - 4*d = x + q. Let g be s(x). Do -2/23 and g have the same value?
False
Let l = -222 - -39. Let s = -129 - l. Which is smaller: -0.1 or s?
-0.1
Let w be -6 + 2/(4/18). Suppose -h + 40 = -w*j, 5*h - 145 = -3*j + 91. Which is smaller: 2 or h?
2
Suppose 0 = 2*b - 5*b - 1626. Let x be ((-2589048)/(-23870) + 2/(-31))*-5. Is b at most x?
True
Let z = 172 + -106. Let i be 6/11 + ((-1800)/z)/6. Are i and -4 unequal?
False
Suppose -4*x = -0*x + 4*k, 0 = -k - 3. Suppose -x*t = 5*t + 176. Let v = -40 + t. Are -61 and v non-equal?
True
Let j = 16 + -28. Suppose p + 3*o - o = 0, 2*p = 3*o - 35. Let q(c) = c**3 + 10*c**2 + 2*c + 10. Let t be q(p). Which is smaller: t or j?
j
Let s(j) = 11*j**2 - 10*j. Let h(t) = -t**3 - t**2. Let p(z) = h(z) + s(z). Let c be p(8). Let n(k) = -32*k + 16. Let b be n(-1). Is c >= b?
True
Let i(z) = 3*z**3 - 40*z**2 - 93*z. Let y be i(-2). Is y bigger than -1857?
True
Let g(q) = -22*q - 4. Let d(t) = -23*t - 4. Let f(w) = 5*d(w) - 4*g(w). Let n be f(1). Is 3 < n?
False
Let a = -3296 - -3290. Is a < 4/25?
True
Let n(u) = 290*u - 810. Let x be n(5). Which is smaller: 629 or x?
629
Suppose -3*q = 51 - 3. Let f be (-160)/q*3*2/15. Suppose k + 25 = 6*k, -2*l = -f*k + 22. Do -5/16 and l have the same value?
False
Let c(k) = k**2 - 40*k + 40. Let z be c(39). Let l(o) = -130*o**2 - 14*o + 13. Let s be l(z). Is -131 <= s?
True
Let h be 3 - ((-2)/(-1) - -1). Suppose h = -7*z + 54 - 145. Let k = -6.1 + 6. Which is smaller: k or z?
z
Let c = -0.0276 - 0.0724. Let a = 1.3 + -8.3. Which is greater: c or a?
c
Let t be 3920/160*(-4)/(-14) - (-1778)/(-290). Which is bigger: 2 or t?
2
Let b(r) = -2*r**2 + 71*r + 4808. Let d be b(0). Which is smaller: d or 4809?
d
Let v = -9 + 9.2. Let j = 3.45 - 3.627. Let z = j - -0.057. Which is greater: z or v?
v
Suppose -100 = 2*a - 4*h, -3*h + 151 + 64 = -5*a. Which is smaller: 23 or a?
a
Let w(p) = p**3 - 4*p**2 + 5*p - 5. Let j be w(2). Let r be 4/((9/j)/6). Let c(s) = 7*s + 7. Let z be c(-2). Is z equal to r?
False
Let q(o) = -107*o + 10380. Let p be q(97). Is -2/7109 at least p?
False
Let t be -1708*1*(-3)/6 + 2. Suppose 5*x - 4*z - t = 0, -670 = -3*x - z - 170. Let y = x + -837/5. Which is smaller: y or 3?
y
Let q(r) = r**3 + 27*r**2 - 27*r + 32. Let n be q(-28). Suppose -n*d - 18 = -2*b, -18*d + 23*d = 2*b - 24. Is d at least as big as -0.03?
False
Let a = 169 + -18. Let y = -151 + a. Which is smaller: y or -6/41?
-6/41
Let x = -10617/5 - -2116. Suppose 6*d + 16 = 5*d - 2*t, 16 = -4*d + 4*t. Is d at least as big as x?
False
Suppose -3*a + 13*a + 50 = 0, 0 = -4*j + 4*a - 3088. Is -775 < j?
False
Let s be ((-132)/(-200))/(2700/1600). Which is bigger: s or 0.1?
s
Suppose -7 = -2*i + 3*y, -7*y + 6*y = 2*i - 11. Suppose -19 = i*f + 136. Is f not equal to -32?
True
Let n be (-2)/((-2)/174*3). Suppose -4*o + 749 = 3*o. Let j = o + -49. Is j > n?
False
Let c = 5626 + -5626.7. Is 97 less than c?
False
Let g = -1264 - -1264. Is g at most as big as -2/283?
False
Let g be -806 + (1 + -9)/2. Let v be g/(-22) + (-280)/(-88) + -3. Suppose -v*x + 30*x = 49. Is -8 > x?
False
Let a be ((240/(-9))/5 + 5)/((-2)/6). Which is greater: a or 1821?
1821
Suppose 4*w - s + 3 = 0, 2*w - 8*s = -3*s + 21. Let c be (w/5)/(-1) + (-64578)/470. Which is greater: c or -138?
c
Suppose -2*v + 785 = -53. Suppose -5*n - g + 148 - 561 = 0, -3*g - v = 5*n. Is -84 at most as big as n?
True
Let g be 235314/1170 + (-3)/(-15) + (-4)/10. Which is greater: 200 or g?
g
Suppose -8 = 3*g - 5*g. Suppose 3*o = y, 5*y - 4*y = -g*o. Is o smaller than 2/145?
True
Let s = 99.0118 - 99. Let l = s - 0.0118. Are l and 2/3 