 Let h = d - n. Is h less than -2?
True
Let n be (-26)/65 + (-396)/(-15). Is 6 at least n?
False
Let z = 18 + -17.6. Let c = z - -1.04. Let y = c + -1.7. Which is smaller: y or 0.1?
y
Suppose 70*t + 481 = 411. Is t < -4/233?
True
Let s(l) = 57*l**3 - l**2 - 10*l - 16. Let f be s(-2). Let r be 12/42 + f/77. Which is smaller: r or -5?
r
Suppose 0 = 2*l + 1250 - 450. Let i be (-3)/48 + 311/l. Is 0 not equal to i?
True
Suppose 3 = 3*f, 2*w + 6*f - 4*f - 140 = 0. Let d = -27 + w. Which is smaller: 43 or d?
d
Suppose 3*a - 3*m + 6 = 75, 3*a - 109 = -5*m. Suppose 16*r + 12 = a*r. Let w = -29/60 - -2527/4980. Is w at least r?
False
Let p = -3499/4498 - -3/346. Let w = 18/91 + p. Is w > 10?
False
Let r(o) = 3*o**2 - 20*o - 36. Let y be r(17). Suppose -y = 6*m + 139. Let w be ((-7)/(m/(-24)))/(8/20). Is w <= -4?
True
Let g be -7 + 24 + -12 + 4. Let o be -4 + 2 + 10*2. Suppose -d = -3*u - o, -4*u - 42 = -3*d + u. Is d less than g?
False
Let q = 331 + -329. Let f be q/(-60)*(19 + -76). Is 2/3 <= f?
True
Let o = -215 - -861/4. Let p = 0.941 - -0.059. Is p equal to o?
False
Let g be ((-1)/6)/(6/9). Let h = 394.75 + -389. Let w = h - -0.25. Is g > w?
False
Let q = 1156 - 1447. Is -1169/4 not equal to q?
True
Let f = -1.89 - 45.11. Let m = f - -47.8. Which is bigger: m or 3?
3
Suppose -3*d = -5*u + 209, -4*u - 27 = -3*d - 196. Let r be (60/u)/(6/(-232)). Let v be r/(-44) + (-18)/12. Is 2/7 at least as big as v?
True
Let o(n) = -43*n + 12. Let y be o(-11). Let a = -497 + y. Which is greater: -6 or a?
-6
Suppose 0 = -5*n + 13 - 23. Let i be (n - -3)/(1/8). Suppose 4*l - 3 = 3*h + i, 3*h + l = -1. Is h bigger than -2/17?
False
Suppose -4*s = -4*j + 1492, 0 = -3*s - 2*s - 3*j - 1825. Let x be 5 + 3/2*s/115. Let c be 1/(-2)*2*-1. Which is smaller: c or x?
x
Let u(y) = 2*y**2 + 19*y + 55. Let h be u(-4). Which is smaller: h or 73?
h
Let u = 5965 + -5970.563. Is u at most as big as 0.1?
True
Let z = 50 + 97. Let s = z + -179. Is -33 < s?
True
Let t(z) = -z**3 + 24*z**2 - 35*z + 277. Let l be t(23). Which is smaller: l or 3/5069?
3/5069
Let p be 3468/(-14) + (-6)/21. Let x = p - -356. Which is bigger: x or 1/3?
x
Let v be 1/2*(-17 - -15). Let z be (2 - 3) + 3 + 0 + 231. Let d = z + -2099/9. Which is smaller: d or v?
v
Let l be (-2295)/63 + ((-138)/21 - -6). Is l < 3?
True
Let t(i) = -6*i**2 + 55*i - 21. Let w(z) = 32*z**2 - 274*z + 106. Let p(v) = -11*t(v) - 2*w(v). Let s be p(10). Which is smaller: -349 or s?
s
Let u(p) = -p**3 + 4*p**2 + 2*p - 9. Suppose -4*j + 108 = 23*j. Let h be u(j). Is h <= 1/226?
True
Let c = 30716 - 30712. Is c at most as big as -1544?
False
Let l be (-233 + -29)/(-1*1). Suppose -7*f = 53 + l. Which is bigger: f or -47?
f
Suppose 8 = -i - 20. Let s(q) be the third derivative of -17*q**4/24 - 56*q**3/3 + 27*q**2. Let w be s(-5). Which is bigger: i or w?
w
Let m = -9213 + 267159/29. Let c be (-4)/3*(-6)/(-4). Is m at least as big as c?
True
Suppose -12 = 4*n - 7*n + 3*t, 3*t - 12 = 0. Suppose -4*f = -n*f. Is f less than or equal to -2/387?
False
Let a = -31033 - -123521/4. Let c = -153 - a. Let s = -44 + 100. Is c at most s?
True
Let p = -0.08623 - -0.07623. Which is bigger: p or 4/115?
4/115
Let w = -12399/370 - -2/185. Let q(c) = -4*c**2 + 39*c + 20. Let s be q(11). Which is greater: w or s?
w
Let z be (-1)/(-4)*(-4 + 8). Suppose -2*h + 4*y + 2 = 0, 0 = -3*h + 5*y + 3 + z. Suppose 0 = -2*v - 2*d - 2*d + 54, h*v - 66 = -3*d. Which is bigger: v or 1/2?
v
Let i(j) = -j**3 - 20*j**2 - 56*j - 175. Let p be i(-13). Is p bigger than -630?
False
Let u = 397 + -165. Suppose u + 124 = -4*t. Are -90 and t equal?
False
Let c = -903/4 - -8119/36. Is -13.85 > c?
False
Let i = -343 - -344. Let k = -30 - -14. Let d be (40/k)/((-2)/4). Is d >= i?
True
Let k = 9673 - 6323. Which is greater: 3349 or k?
k
Suppose 10*z + 37086 - 7626 = 0. Is -2945 < z?
False
Suppose -65*f + 4071 = -3209. Suppose -2*a = -5*a + 333. Is a greater than f?
False
Let j(w) = -15*w**2 + 3*w - 18. Let b be j(7). Let n be (48/56)/(b/(-21)). Which is greater: n or 0?
n
Let n = 55/71 - 57320/213. Let g = -268 - n. Which is smaller: -0.107 or g?
-0.107
Suppose -34*l - 29*l = 27*l - 90. Is -4/113 != l?
True
Let r = 45 - 41. Suppose -20 = f + 9*f. Let o be (4 + -1)/(-1) - f. Which is smaller: r or o?
o
Let f be (-2806)/(-8) + (-26)/(-3328)*32. Which is smaller: -0.3 or f?
-0.3
Let n(x) = 65*x - 7934. Let a be n(87). Which is smaller: -2284 or a?
-2284
Suppose 6*x = -26 + 86. Suppose -x*p + 11 = 41. Let h be 2/(4/30) - (3 + p). Which is smaller: h or 14?
14
Let o = 23631 + -23631. Is -23/420 at least o?
False
Let d be (-300)/550*1/50. Which is greater: d or -1?
d
Let g be 10/140 + (5347/14 - -5). Which is smaller: g or 2?
2
Let d(q) = q**3 + 20*q**2 + 90*q + 88. Let o be d(-19). Do o and -0.1 have the same value?
False
Suppose 10*k = r + 6*k + 6, 4*k = -2*r + 12. Let o be (-25)/(11/r + -6). Which is smaller: o or 49?
49
Let a = 0.29 - 4.49. Let k = 85 + -87.2. Let d = a - k. Are 3 and d equal?
False
Let w = -0.45 + 0.486. Let a = w - 43.036. Let g = a - -43.3. Is g smaller than -1/4?
False
Let z = 581 + 269. Is z >= 1701/2?
False
Let u be (-731)/153 + 5 + (-46310)/(-18). Are u and 2575 non-equal?
True
Suppose 4*s + 4*l = 120, 0 = s - 2*s - 3*l + 26. Let o be 132/10*(6 - (-176)/24). Let z = -143 + o. Which is smaller: s or z?
s
Let l(c) = -c**3 - 33*c**2 - 134*c + 56. Let p be l(-17). Does p = -2289?
False
Let v = -19549/9100 - 4/2275. Let q be 1/(6 - (-852)/(-147)). Let x = q + v. Which is smaller: 4 or x?
x
Let a = 8.186 - 7.786. Which is bigger: -2612 or a?
a
Let v be (10/(-2) + (-451)/(-110))*2/3. Suppose 4*j - 8*j + 16 = 0. Suppose 0 = -2*z - j*f - 24, 3*z - f = -0 - 1. Which is smaller: v or z?
z
Suppose 11*y - 899978 = 7*y - 2*x, -y = -2*x - 224982. Let i = y + -1119352/5. Let n = 1118 - i. Which is bigger: n or -3?
-3
Let m(z) = -2*z - 3. Let i be m(-2). Let c(d) = 21 - 29*d**2 + 0 - 22 + d + d. Let x be c(i). Is -28 != x?
False
Let b be ((-1616273)/(-1))/(-12 - 6). Let z = b - -180605/2. Let h = 508 - z. Which is greater: h or -1?
-1
Let c be (-98)/(-94) - (1 - 0). Let v = 76651 - 76651. Do v and c have the same value?
False
Let a be -6 - ((-4094)/(-207) + -26). Is 1721 >= a?
True
Let y = 32292 + -32316. Which is greater: y or 206/3?
206/3
Let v be (2/4)/((-2)/(-712)) + 520 + -520. Which is bigger: v or 181?
181
Suppose 162*w - w = -1449. Which is smaller: w or -14?
-14
Let a(k) be the second derivative of k**5/20 + 7*k**4/12 + 5*k**3/3 + 2*k. Let r be a(-5). Suppose -h + r*h - 32 = -5*n, -4*n + 2*h + 28 = 0. Is n < 8?
True
Suppose 2*d = 5*t + 20, 4*t + 32 - 82 = -5*d. Suppose -d*w - 44 = w. Which is greater: -3 or w?
-3
Suppose 4*a + 3*w = 2361, -32*a + 574 = -31*a + 4*w. Suppose -242*b - a = -244*b. Is b at least as big as 297?
True
Let s = -33936 - -34174. Are s and 0.6 equal?
False
Let y = 12160/9 + -11588498/8577. Does 1 = y?
False
Let l = -9259/8 - -38184169/32984. Let u = -2/589 - l. Is -5 at least u?
False
Let a = -168651 - -2191329/13. Let i = a + 87. Suppose -3*g = -0*g. Which is smaller: i or g?
i
Suppose -5*v + q = 1263, -1092 = 2*v + q - 591. Which is bigger: v or 0.4?
0.4
Suppose r + 1377 = 2*f, 551*f - 548*f - 2066 = r. Is 689 <= f?
True
Suppose 162*l - 152*l = 0. Let p = 500 - 3494/7. Is l at least p?
False
Suppose -130 = 7*q + 6*q. Let o = 22 + -31. Which is smaller: q or o?
q
Let m be ((-148)/(-8) - 17)/(2/(-8)). Suppose -g = -2*g - 6. Is g >= m?
True
Let s = 0.3 + -0.7. Let i(g) = -2*g - 13. Let d be i(-4). Let t be (4/10)/((6/d)/(-6)). Is s < t?
True
Let g(i) = -i**2 - 87*i - 229. Let c be g(-86). Is -143 at most as big as c?
True
Let l = 298.5 + -301. Let z = 4/49 - 118/245. Is z not equal to l?
True
Let i(t) = -37*t + 33. Let z = -60 - -48. Let l be i(z). Are 478 and l non-equal?
True
Suppose 2559 + 12239 = -4*y + 2*w, -14796 = 4*y - 4*w. Is -3699 at least y?
True
Let j = 15409 - 15409. Let l = -3193/23141 + 9/317. Which is greater: l or j?
j
Let q = -140538623/80664 - 199/10083. Let o = q - -1742. Which is bigger: o or -1?
o
Let h be ((-588)/(-343))/(((-4)/21)/(-2)). Suppose h*p - 40 = 17*p. Which is greater: p or 41?
41
Let a(o) = o**3 + 3*o**2 - 18*o - 35. Let m be a(-5). Suppose -35*i = -30*i + m. Is i greater than -1/119?
False
Let j be (-1572)/(-70)*500/