-574*k + 640 = -564*k. Is k less than -23?
False
Let l be (-1)/(2/(-4) - 0). Let u be (1/6*l)/4. Let d be 40/12 - 1 - ((-2448)/108 + 24). Which is smaller: d or u?
u
Let b be 134/16750*(-2)/22. Which is bigger: b or 2?
2
Let i be (-149)/(-3) - (3 + -4)/3. Let g be -10*((-2)/(-5) - 45/i). Let j be (5/(g/(-2)))/(-2). Is -15 smaller than j?
True
Let q = -4.3 - -0.56. Let a = -17.74 - q. Which is smaller: -0.2 or a?
a
Let q = -58 + 122. Let x = -7342 - -7341. Which is greater: x or q?
q
Let t be 7 - 7 - (-367785)/159. Let d = 2313 - t. Which is smaller: d or -1?
-1
Suppose -8*j - 304 = -13*j - 2*a, 0 = j + 3*a - 40. Is 324/5 <= j?
False
Suppose -652 = -17*y - 601. Let l be ((-3)/6)/((-5)/38). Which is smaller: y or l?
y
Let m(w) = 3*w**3 - 38*w**2 - 12*w - 12. Let c be m(13). Is 7/128 less than c?
True
Let q = 2190 + -1718. Which is smaller: 2 or q?
2
Let z = 0.4251 + -1.4251. Is z at least -2186?
True
Suppose -3*p + 2*y + 15 = -2, 2*y - 18 = -4*p. Suppose -a - 3*f = -2*f - 6, -p*f + 10 = 0. Which is bigger: a or 8/3?
a
Suppose g = -4*s - g + 68, 4*s - 68 = -g. Let x be 162/10 + 387/(-645). Is s <= x?
False
Let l = 22 + -20. Let f be -6*l*1/(-102). Is -0.051 <= f?
True
Let a = 10737 + -10579. Which is bigger: a or 92?
a
Let h(b) = b**3 + 11*b**2 + 8*b - 22. Let z(m) = 2*m**3 - 9*m**2 - 19*m - 4. Let q be z(6). Let g be h(q). Which is smaller: g or -9/7?
g
Suppose 2*w + 60 = h + 7*w, -48 = -h + w. Let g = -1615 - -1616. Which is bigger: g or h?
h
Let j = -704996/259 - -2722. Which is greater: 0.49 or j?
0.49
Suppose 5*j = 2*a + 108 - 444, j = -3*a + 521. Which is greater: a or 189?
189
Let z = -0.2 - 0.13. Let i = -1.63 + z. Let a = i + -0.04. Are -2/3 and a nonequal?
True
Let c = -5966.5 - -5977. Is 3/4 >= c?
False
Let c be (-60)/(-9) - (-126060)/45. Which is smaller: 2812 or c?
c
Let c = 418 + -309. Suppose -3*p + 5*l - 436 = c, -5*p - l - 899 = 0. Which is smaller: -181 or p?
-181
Let m = -65.134 + 29.134. Is -6/13 bigger than m?
True
Let h = -15 + 22. Suppose 0 = -t + h - 9. Let v = t + 55. Which is smaller: v or 54?
v
Let n = 81.347 - 23.447. Which is bigger: 0 or n?
n
Let y = 19982/3 + -6653. Which is greater: 113 or y?
113
Let v(m) = 7*m + 2. Let h(w) = 8*w + 3. Let k(c) = -6*h(c) + 7*v(c). Let d be k(6). Let j be (-5 - -6)*3/d. Which is smaller: j or 1?
1
Let q(u) = -719*u - 6. Let d be q(-8). Let o be (d/143 - 4/22) + 3. Let j = o + -40. Is 2 at most as big as j?
True
Let f(w) be the second derivative of w**5/120 - 7*w**4/24 - 2*w**3 - 4*w. Let m(k) be the second derivative of f(k). Let d be m(-5). Is d at most -11?
True
Let h be 4*(-15)/56450*5. Is h != -1?
True
Let v(o) = -o**2 + 22*o - 35. Let y be v(21). Let r be (35/y)/((-60)/19248). Which is smaller: 801 or r?
801
Suppose -541*l = -549*l + 488. Let y = 12 + 50. Let b = l - y. Which is smaller: b or 1/160?
b
Let d = 6 + -2. Let g(l) = l**3 - 4*l**2 + l + 1. Let r be g(d). Suppose -2*i - 4 = -z - 4*i, 3*i - 6 = r*z. Which is smaller: -1/5 or z?
-1/5
Let y = -118 + 127. Suppose -11 - y = -4*c. Suppose -c*m - 19 = 4*x - 0, -x = 3*m + 10. Which is greater: x or -1/23?
-1/23
Let t = -80257 - -80673. Let a be 0 + 9/6 + -2. Is t equal to a?
False
Suppose -2*h + 352 = -2*z, 2*z = -3*z - 2*h - 887. Let y = z + 172. Let b = 217/2 - 1585/14. Is b at most as big as y?
False
Let w(i) = -i**3 - 3*i. Let v = 409 + -412. Let d be w(v). Which is smaller: d or 408/11?
d
Let b(r) = -66*r + 1529. Let v be b(31). Which is greater: -2/3 or v?
-2/3
Let f = -8186 + 8185.841. Which is smaller: f or 0?
f
Let w = 10643/5 + -2106. Suppose 2*f - 116 = -5*k + f, 3*k + f = 68. Is w bigger than k?
False
Let t be 3*(1 - (5 + (-256)/(-12))). Let l be (1/(-21))/(t/2926). Which is smaller: l or 3?
l
Let s = 3445 + -3445.768. Is s at most 1?
True
Let m be 5264/564*(-6)/(-4). Let z = 2 + 13. Is z at most as big as m?
False
Let v be (84/175)/(2/((-1028)/(-12) + 1)). Which is greater: 26 or v?
26
Let j = -1154/143 + 228694/23023. Let s = j - 33/23. Are -1.5 and s non-equal?
True
Let i = 29 - 20. Suppose i + 7 = 8*f. Suppose -y - 1 = f. Is y at least as big as 1?
False
Let p = -152.114884 - -0.176884. Let o = 152 + p. Which is smaller: o or -0.4?
-0.4
Let s(y) = 5*y + 120. Let l be s(-17). Suppose -5*f - 3*q - 19 = 0, -3*f - 53 + l = 4*q. Which is smaller: f or 2?
f
Suppose 6 = -h - 2*g - g, -5*h = -2*g - 21. Let w be 2/8 + (-39)/12. Let n = w + h. Which is bigger: 1/31 or n?
1/31
Let x = -8.6 + 4. Let q = x - -6.6. Which is smaller: 4 or q?
q
Let k = -4.3463 + 0.3463. Are k and 358 equal?
False
Let i be (-16 - -1) + 8 - (-132)/27. Let p be (-1 - (-1 + 1))/1. Which is smaller: p or i?
i
Let v be ((-2)/(-2))/(-1)*(-1308)/15. Which is bigger: v or 87?
v
Let d be (7 - 2) + (-11)/(33/(-384)). Let z be d/(-646)*(-1)/14. Which is bigger: -1 or z?
z
Let a = 0.0341 - -0.1659. Which is bigger: -425 or a?
a
Let p = -588 - -591. Suppose p = -29*z + 32*z - 3*i, 3*z = -3*i - 9. Which is smaller: z or 1?
z
Let m = 14/39 - 100/13. Suppose 4*j = 4*t + 40, -25*t + 23*t - 29 = -5*j. Which is bigger: t or m?
t
Suppose 3*f = -h - 800, 4*h + 0*h = -4*f - 1064. Is -277 equal to f?
False
Let h = 0.156 + 1.844. Let w = 375 + -385.925. Let a = w - 0.075. Which is smaller: h or a?
a
Suppose 0 = -2*z + 5*g + 2935, 3*g = -3*z + 2*g + 4445. Suppose -119*h + 109*h = -z. Is h not equal to 147?
True
Let q = -0.02 - 27.98. Let f = 4.9518 + -0.0018. Let d = 4.95 - f. Are q and d equal?
False
Suppose -2227*c + 2218*c = 144. Which is smaller: c or 54?
c
Let t(l) = l**2 + 105*l + 203. Let m be t(-51). Which is greater: m or -2549?
-2549
Suppose -40*n - 3400 = 160. Which is smaller: n or -79?
n
Let u = -464.1312 + 463.8. Is u bigger than 0?
False
Suppose 16*a - 5*w = 18*a - 82, -5*a - 4*w = -188. Suppose -j - a = 5*p + 1, 5*j + p + 137 = 0. Is j != -24?
True
Let q(u) = -u**3 + 9*u**2 + u + 6. Let r be q(9). Suppose -n - 13 = g, 7*n - 2*n - 15 = 3*g. Let y = g + r. Which is smaller: y or 4?
4
Suppose -13*x - 229 - 635 = 14*x. Is -69 equal to x?
False
Let a = 0.18 - 0.191. Let i = -901 + 900.411. Let j = i + a. Is j less than or equal to 0.3?
True
Suppose 4*h - h - 39 = 0. Suppose -r - 2 = -2*r + 2*i, -2*i - 6 = -3*r. Suppose 0 = s - r*d - 15, 5*s - h = 3*d + 62. Which is bigger: s or 14?
s
Let r = -150/41 + 45137/12259. Which is smaller: 0 or r?
0
Let g = 77 - 244. Let b = g - -167.1. Which is smaller: b or 112?
b
Let v be (-15580)/340 + -19 - (7 - 5). Is v < -67?
False
Let c be (-12)/10*(9 - 4). Let m = 8 + c. Suppose 0 = m*b - 10, 0 = -0*j - 5*j - 4*b + 15. Are -2/7 and j equal?
False
Let w(p) = p + 26. Let b be w(-24). Suppose 3*d + 26 = 5*v, b*d - 5*d - 3*v = -6. Is -28/19 not equal to d?
True
Let t = -474331/2130 - -186/355. Is t <= -221?
True
Suppose 3*o + 2*l - 14 = 0, -o = -6*o - 3*l + 24. Suppose o*a - 11*a - 5 = 0. Does -492 = a?
False
Suppose 499 = 5*y - 12*u + 13*u, -3*u = -12. Suppose 32*r - y*r + 67 = 0. Let d = 67 + -38. Which is bigger: r or d?
d
Let r be (268/(-810))/(1/5). Which is bigger: -1 or r?
-1
Let j be 144/27*(-996)/16. Let m = j + 367. Are 35 and m nonequal?
False
Suppose -12*c = 5*l - 16*c - 565, 0 = -l + 4*c + 129. Let z = -325/3 + l. Is z less than or equal to -3.1?
False
Let x = 11666 + -11675. Is x <= -75?
False
Suppose -5*g = 4*h + 105981, -21199 = g - 0*h - 2*h. Let p = -529849/25 - g. Which is smaller: 2 or p?
2
Let j be 2*8*(-8)/128. Let c = -561189/187 - -3001. Is c less than j?
False
Let g = 66 + -102. Let h = -33 - g. Suppose -34 = h*l - l. Which is smaller: l or -15?
l
Suppose 9*k - 347 = 76. Let s = -148 + 68. Let x = -32 - s. Is k at most x?
True
Let p = 8997 + -9575. Which is greater: p or -571?
-571
Let u = 2430 + -2488. Which is smaller: -44 or u?
u
Let t be 0 + (280/495)/7. Let v = -1481/24453 + t. Is v greater than 1?
False
Suppose -2*n + n + 5*p + 36 - 9 = 0, 0 = -4*p. Is 20 smaller than n?
True
Let c = -368 - -369. Let i be 4 + c/(3/1101). Is -0.1 greater than or equal to i?
False
Suppose -5*f = -13 - 917. Suppose -5*x = 2*l - 359, 0*x = -5*l - x + 932. Which is greater: l or f?
l
Let q = 2.94 + -32.94. Which is greater: -22/9 or q?
-22/9
Let r be (1 + 29)/((12 + -8)*2/(-4)). Is r at most -792/53?
True
Suppose -166 = -b - 149. Suppose b*l = 5*l - 24. Do l and -0.1 have the same value?
False
Suppose 23 = -4*j +