se -c - 6 = -3*y, -24 = -3*c - c - 4*y. Let i(z) = z**3 - 7*z - 6. Let h be i(c). Is m < h?
False
Let a(i) = i**3 + 11*i**2 + 14*i + 24. Let g be a(-10). Let u(l) = l**2 + 20*l + 66. Let f be u(g). Let y be (-24)/(-16) + 91/f. Is 47 greater than y?
False
Let j be -35 - -22 - (-483)/37. Which is greater: j or 461?
461
Let y = 74.08 - 67.08. Which is greater: 0.068 or y?
y
Let z be (1 - -77) + -2*1. Let c be 24 + (2090/(-44) - -23). Does z = c?
False
Let y = 532.5 + -530.5. Which is smaller: y or -2950?
-2950
Let w(d) = -110*d - 318. Let v be w(-24). Which is smaller: v or 2321?
2321
Let w = -9 + 34. Let m = -22 + w. Suppose -3*g + l + 14 = 0, 20 = m*g + 4*l + 1. Which is greater: 8 or g?
8
Let a(u) = -20 - 31 + 6*u + 16. Let s = 99 + -93. Let p be a(s). Which is bigger: p or -6?
p
Let b(d) = -d. Let j be b(-1). Suppose 3*w + 31 - j = 0. Let c be 20/(-2)*((-38)/(-10) - 3). Is w at least as big as c?
False
Let q be 280/79870*7/6. Let s = 70 - 71. Which is greater: q or s?
q
Let d be 21 + (-21)/(-3) + -4. Suppose -d*h - 2*h = 494. Is -204/11 less than h?
False
Suppose -925 = -4*s + 9*s. Let u = 186 + s. Are 3/10 and u non-equal?
True
Let f be ((-108)/378 - 3132/(-35))*-5. Is f greater than -449?
True
Let a be (-78)/494*(20/12)/(-5). Are a and 0 equal?
False
Let c(o) = 2*o**2 + 109*o + 910. Let u be c(-11). Suppose b + 84 = 5*b. Suppose -2*r - 73 - b = 0. Is r <= u?
True
Suppose -c - 40 = -19. Let q be (-368)/(-10) - (c - -21). Does q = 37?
False
Let d = -18 - 48. Let q(k) = -336*k + 37903. Let u be q(113). Is d greater than u?
False
Let u = 0.003 + -13.803. Let y = u + 16. Let g = y - 2.3. Do -2/13 and g have the same value?
False
Let a = -0.08 + 40.08. Let o = -67 + 20. Let g = a + o. Which is greater: -0.1 or g?
-0.1
Let k = 42.988 - -0.012. Let n = k + -46. Let i = n - -3.8. Which is greater: 0.2 or i?
i
Let a = 265 + -255. Suppose a*s + 550 = -150. Is s less than -70?
False
Suppose -6*q = -24*q + 5940. Let b = 257 - q. Which is smaller: b or -74?
-74
Let q = -213 + 56. Let y = q - -157. Is y < 2/9?
True
Let k be (-1)/((-10)/(-11))*4. Let z(h) = h**3 + 29*h**2 - 5*h - 33. Let a be z(-29). Let g = 108 - a. Which is bigger: k or g?
g
Let v be 195/(-99) + 2*1. Suppose 2*f + 13 = w, -3*w - 90*f = -95*f - 32. Which is bigger: v or w?
v
Let t(p) = p**3 - 37*p**2 + 69*p + 52. Let w be t(35). Suppose -12*v - w + 5 = 0. Are -3/173 and v unequal?
True
Let n = 3 + -3.3. Let y = n + 0.4. Let q = 20744 + -20729. Is y smaller than q?
True
Let q = 14350 - 115155/8. Which is smaller: q or -45?
-45
Let w be -2 + 1 + 4 + 8. Let c be 5/(10/4)*-2. Is w at most as big as c?
False
Suppose j + 105 = 80. Let h(q) = 6*q - 3*q - q + 0*q. Let p be h(-12). Do j and p have different values?
True
Let h = 204 + -340. Let m = 181 + h. Let k = 40 - m. Which is smaller: k or -0.09?
k
Let z = -166 - -165.38. Let m = 0.544 + -15.164. Let d = z - m. Which is smaller: 0 or d?
0
Suppose 3*b + 15 = 4*n, -433 + 442 = 3*n. Which is bigger: b or 2/32881?
2/32881
Suppose 20 = 5*f + 5. Suppose f*l = 65 + 31. Let t = 0.015739 - 1.015739. Is t <= l?
True
Let n = 351 - 1369/4. Are n and 6/5 nonequal?
True
Let w(f) be the second derivative of -4*f**3/3 - 317*f**2/2 - 158*f. Let q be w(-36). Is q >= -29?
True
Let y be 66204/(-3010) + 108 + -86. Is y at least as big as 1?
False
Let s = 460770445/2313 - 199209. Do -1 and s have the same value?
False
Let i be (-6)/(-9) - 3920/3486. Does i = -1/2?
False
Let o be (-4)/10 + 634/10. Suppose 15 = -4*c + m, 0 = 2*c - 0*c - 3*m + 5. Let l be (-8)/(-32) + (-2 - 255/c). Is l <= o?
True
Let a = -717.78 - -711. Let l = -6.68 - a. Which is bigger: -2/59 or l?
l
Let l = -989.1214 + 0.1214. Is 2 smaller than l?
False
Let g be (-8616)/26235 - (-44)/165. Are g and 0 non-equal?
True
Let x = -137610125/191429 - -3/27347. Which is smaller: -720 or x?
-720
Let r be (-76)/(-28) + -3 - 458/14. Let a be -3 - (-3 + 1 + 38). Let q = r - a. Do q and 1 have the same value?
False
Suppose -3 + 2 = d. Let y be 105/50 + 224/(-64). Which is bigger: d or y?
d
Let q be (1*-1)/(5/15). Let n be (-14)/((-40)/22 + (-4)/22). Let j be (6/15 + n/(-5))*3. Is q at most j?
True
Let i = 129.03213 - 0.03213. Let r = -18 + 71/4. Are r and i nonequal?
True
Let a = 4773/1510 + 21/151. Is 4 at most as big as a?
False
Let n be (-10)/4*(-144)/40. Let s = n + -20. Is s greater than -11?
False
Let m be ((-19597)/(-78))/((-63222800)/190462032). Let c = 2/3951425 - m. Let d = c - 757. Which is smaller: -1 or d?
-1
Suppose -159 = y + 5*p, 12*p - 5*p = 4*y + 663. Which is smaller: y or -160?
y
Let m be (-2 - (-1 + 140))*2/3. Let s be (-2)/(-18)*(-4 + m/(-4)). Which is bigger: s or -2/7?
s
Let b = 619/7 - 2227/35. Let j = -25 + b. Is j != -2/17?
True
Suppose f + 13 = d + 100, -4*f = -d - 111. Let c = -75 - 4. Is c less than d?
False
Let w be 1/(-78)*11 + 118/885. Let r(x) = 1 - 10*x + 9*x + 2*x. Let u be r(-2). Which is smaller: w or u?
u
Suppose 2*s - 4*s = -3*c + 89, -3*s + 5*c - 131 = 0. Let v = s + 31. Let u = 34 + v. Is 13 greater than or equal to u?
True
Let a = 248 - 286.2. Let q = a - -144.2. Is 1 <= q?
True
Let m = 211 - 419. Suppose -797*b = 2*g - 798*b + 417, 833 = -4*g + 3*b. Is m != g?
True
Suppose -30*s - 18392 = -32*s - 2*r, -16 = -2*r. Which is smaller: 9189 or s?
s
Let h(d) = -27*d + 84. Let k(r) = -r + 1. Let l(p) = -h(p) - 2*k(p). Let o be l(3). Is o less than -2/63?
False
Let i = 127129/5 - 25160. Which is bigger: 265 or i?
i
Let w = -28 + 15. Let x = 8 - w. Let i = 26 - x. Is 0.1 not equal to i?
True
Suppose -128 - 10 = 3*d. Let a = -262 + 37. Let q be (-10)/(-15)*-6*a/(-20). Which is smaller: q or d?
d
Let c = -3239 + 3185. Which is bigger: 5 or c?
5
Let s be 4/6 + (174/9 - 0). Let b = -32.7 + 32.6. Is b bigger than s?
False
Let j be (-8 - (-2884)/364) + (-1754)/182. Let d = -3 - -6. Suppose -8 = 4*x, -d*x - 41 = 3*z - 2. Which is smaller: z or j?
z
Let z = -2.136 + 0.086. Let i = z - -4.34. Let j = -0.29 + i. Which is bigger: 4/13 or j?
j
Let s(w) = 6*w**2 - 167*w + 128. Let d be s(27). Let t = 1792/3 + -603. Is t != d?
True
Let b(r) = -2*r**2 - r + 1. Let y be b(-2). Let t(n) = 3*n**2 - 6*n - 7. Let s be t(0). Let d be (-2)/s + (-228)/42. Is y <= d?
False
Suppose 3*q + 2*b = -24 + 10, 3*q = 2*b - 10. Let g be (-6)/q*40/15. Suppose -2*r - 4*i - g = 0, 5*r - 4*i + i - 16 = 0. Is 3 greater than r?
True
Suppose -m + 12 = -2*g, -5*g = 5*m - 6*m + 33. Let u be 3/(-9)*(8 - g). Let n be (-1 + 0)/(-3 - u)*34. Which is greater: -18 or n?
n
Let q be (-248)/2 + (1 - 0). Let p(u) = 6*u**2 + 83*u + 107. Let i be p(-10). Is i equal to q?
True
Suppose 21 = 3*h - 0*h. Let k(t) = 284*t - 1136. Let v be k(4). Which is smaller: v or h?
v
Let s = -24.54 + 27.24. Which is smaller: -25 or s?
-25
Let j(r) = 56*r**2 - 2*r. Let p be j(-2). Let n be ((-2)/6)/(4/p). Which is bigger: -37/2 or n?
-37/2
Let c(y) be the first derivative of -17*y**3/3 - 9*y**2/2 + 23*y + 35. Let a be c(2). Which is smaller: -62 or a?
a
Let c be 270/(-10)*((-111)/185)/(1/(-5)). Does c = -34?
False
Let g(c) = 5*c - 8. Let l be g(4). Let x(n) = n**3 - 12*n**2 + 2*n - 21. Let d be x(l). Suppose -d*s - 170 = -8*s. Is 35 less than or equal to s?
False
Suppose -61*u + 55*u - 1890 = 0. Suppose -5*s + 24*l - 1568 = 20*l, 2*s + 3*l = -641. Which is smaller: s or u?
s
Let n = 620 + -408. Let m = n + -209. Is -11/2 < m?
True
Suppose 0 = -3*k - 2*m - 3*m + 5, -1 = -2*k - m. Suppose 2*g + g = 15, 3 = 4*y - g. Let d be 948/(-234) + (y - -2). Which is smaller: k or d?
d
Let j be (39/12)/(6 + (-254)/42). Let w = 8469/124 + j. Which is bigger: -1 or w?
w
Let x be (-351)/459*-130 + 25. Is x bigger than 123?
True
Let c be (-5)/10 + 1176/(-192)*(-36 - 0). Which is smaller: c or 210?
210
Let s = -0.1 - 1.7. Let p = s - -2.2. Let v = 137 - 1235/9. Is v < p?
True
Let w be (1 - -8)/(2/(-54)). Let a be ((-1)/(-6))/(w/6). Does a = 0?
False
Let z be 5 - 11 - (1 + -1). Let q be (-475)/57 - 8/z. Is 0.3 less than q?
False
Let x(c) = -14*c + 60. Let b be x(4). Let n be b/14*(-210)/(-1380). Is 4 less than or equal to n?
False
Suppose 586*p + 4*y - 11824 = 591*p, 2*p = -3*y - 4725. Which is smaller: p or -2363?
p
Suppose 23*q = 21*q - 17*q - 61598. Is q < -3243?
False
Let p = -267 - -227.1. Let y = -40 - p. Which is smaller: y or 0?
y
Let u = 451.9 + 41.8. L