 Let n = y + -20. Is d greater than or equal to n?
False
Let f = 0.173 - -3.527. Let j(s) = s - 6. Let y be j(9). Suppose -1 = y*k + 2*l, 4*l + 2 = -4*k + 2*l. Is f at least as big as k?
True
Let f = 35 + 88. Let w = f - 122. Which is smaller: w or 7/5?
w
Let z = 35942/1186227 - 2/8919. Suppose 4*x - 20 = 5*f, -5*f = 2*x - 941 + 961. Is z at most x?
False
Suppose 0 = -3*p + d - 2*d - 882, 0 = -4*p + 5*d - 1195. Let u = p - -290. Let l = -4 - -3.6. Which is smaller: l or u?
u
Suppose 2*n + 33255 = 10*v - 15*v, -4*v + 4*n - 26576 = 0. Is v greater than -6649?
False
Let i be -56 + 64 - ((-3)/(-12))/(2/56). Is 17/228 less than or equal to i?
True
Let c(y) = -213*y + 6183. Let q be c(29). Is -591 at least q?
False
Let s be (-4)/(-14) - 320/(-56). Suppose s = -7*w + 4*w. Let q = 1661 + -1663. Is w less than q?
False
Let w = -76/131 + 8062/1703. Which is smaller: w or 5?
w
Let m be (15148/(-77))/(6/(-33)). Is m less than or equal to 1081?
False
Let p be 18/(-24) + (-1)/(-6) + (-46986)/(-79560). Is 1 bigger than p?
True
Let y be 7/((-105)/(-24))*5. Let l be (y/(-4))/((-4)/6). Let c be (6/5)/((420/(-200))/(-7)). Is c equal to l?
False
Suppose -3*b = 4*l - 7*l + 165, 0 = -4*b + 4. Let z = 103 - l. Suppose 5*w + 148 = -z. Are w and -39 equal?
True
Let m be (592/24 - 20) + 0 + -2. Let p(k) = k**2 + 3*k - 7. Suppose 3*d - 3*o + 3 = 0, 3*d + 11 = -o - 8. Let x be p(d). Which is smaller: m or x?
m
Suppose 4*x - 91 = -3*x. Suppose -11 = o - 2*n, 4*o - n - 4 = -5*n. Let z be 8/x*o/18. Is 1 equal to z?
False
Let h(k) = -k**2 + 38*k - 325. Let x be h(25). Which is greater: x or -12/13?
x
Let g(h) = -h**2 - 8*h + 27. Let k be g(-9). Let j = k + -16. Let l be j/5 - 29/(-40). Do 2/5 and l have different values?
True
Suppose 0 = -0*x + 13*x - 52. Suppose -4*l + 7*f = 10*f + 15, 2*f + 10 = -x*l. Let y be 4/24 - 3/2. Which is smaller: y or l?
y
Suppose u = -2*u - 12. Let r be ((-12)/3 - u)/(-1). Let y be (-12 - -17) + (r - 3). Is 11/4 less than y?
False
Let d = 89 + -44. Let l = d - -30. Let k be 1 - (306/l + -3). Which is greater: k or 2/3?
2/3
Suppose 3*i - 22 = 4*p, 4*i + 41 = 6*p + 71. Which is smaller: p or -41/266?
p
Suppose 0 = -r - 38 - 212. Let g be (-1 + 5)*r/(-175). Which is smaller: g or 5?
5
Let i = 343173382176351 - 1137619749386596277/3315. Let y = 3779188 - i. Let q = -14/195 - y. Which is smaller: 1 or q?
q
Suppose -3*f = 5*u, 0 = 2*u + 3*f - 0*f. Let r = 79871/104 + -768. Which is smaller: u or r?
r
Suppose 223*m = -153*m + 4599 - 839. Which is greater: m or 18?
18
Let s be (-7)/(35/356)*4400/(-160). Are 0.1 and s non-equal?
True
Let g(o) = -40*o - 1201. Let j be g(-30). Is 265 less than or equal to j?
False
Suppose 2*o = 3*o - 3*f + 20, 0 = 5*o + 5*f. Suppose -3*s = 5*w - 38, -s - w = 1 - 7. Which is smaller: o or s?
o
Let h = -0.2443 - -0.2533. Does h = 4?
False
Let y be ((-2630)/(-524))/5 + (-16 - -15). Let b be (2/2)/1 - 0. Which is smaller: b or y?
y
Let n(s) = 114*s + 6726. Let q be n(-59). Is q at least 104/513?
False
Let c be (7191/1020)/((-348)/10). Is -1 at most as big as c?
True
Suppose o + 128 + 34 = 0. Let a = -104 - o. Let m = -60 + a. Which is greater: m or -9?
m
Let y = 3.1 - 3. Suppose 0 = -b - 2*t - 11, -88*b + 89*b = -3*t - 17. Which is smaller: y or b?
y
Let q(h) = -h**2 - 17*h - 39. Let v be q(-6). Let d(s) = 8*s**2 - 3*s. Let y be d(2). Let l = y - v. Which is smaller: l or 2/5?
l
Let k = 2721.374 + -2725. Let v = -0.626 - k. Which is smaller: v or 2.4?
2.4
Let p = -420 - -148. Let g(y) = 33*y**3 - 14*y**2 + 7*y + 62. Let a be g(-2). Do p and a have the same value?
True
Suppose -11 = r - 5*i, -5*i = 2*r - r - 19. Suppose 3*b = 4*b - r*a, b - 14 = -3*a. Suppose 0 = -b*c + 24 + 24. Which is greater: c or 2?
c
Let g = -203/62 + 15859/6510. Let w = 14/15 + g. Which is smaller: w or -7/3?
-7/3
Suppose 14*p = 17*p - 15, -d = 5*p - 85. Is 69 bigger than d?
True
Let o = -587 - -958. Let g = o - 315. Does g = 7?
False
Let j = 13.5 + -13.471. Let v = 1.029 - j. Are 39/10 and v nonequal?
True
Let x = 17.891 + -17.8. Let n = 0.241 - x. Let m = 0.55 - n. Is 1/4 smaller than m?
True
Let a = -0.3224 + -82.6776. Is -0.11 smaller than a?
False
Let m = 80 - 78.44. Let b = m - -11.44. Is 1/2 at most b?
True
Let m(w) = w**2 + 16*w + 22. Let h = 28 - 21. Let d(b) = -b**3 + 7*b**2 - 3*b + 9. Let j be d(h). Let x be m(j). Does -26 = x?
True
Suppose 4862 = 5*a + 7*v, 2*v + 1945 = 2*a + 5*v. Is a <= 973?
True
Let t(o) = o**2 - 5*o + 10. Let r be t(4). Suppose 0 = -r*n + 2*n. Let f be (-8)/(-108)*-3*2. Which is smaller: n or f?
f
Let c = -767015866019/333 + 2303355544. Let t = 4595 - c. Which is smaller: t or 1?
t
Suppose -2*s + 5 = -227. Suppose -5*x = 3*a - 46, -3*a + s = -2*x + 42. Which is greater: 21 or a?
a
Let g = 18.6 - 22. Let d = g + 3.5. Let c = -6.14 + 0.14. Which is greater: c or d?
d
Let f be (-4)/142 + (-6)/(-213). Which is greater: 111/155 or f?
111/155
Let j(d) = -d**2 + 18*d - 4. Let m be j(15). Let b = -37 + m. Suppose b = 8*i - 4. Which is smaller: 18 or i?
i
Let t(q) = 11*q**2 + 69*q + 18. Let s be t(-6). Which is smaller: s or -69/74?
-69/74
Let f = 7813 + -8122. Which is smaller: f or -3/5?
f
Let t = 150 + -96. Let l be -26 + 9/(t/24). Is l less than or equal to -23?
False
Let o be -8 - ((-632)/(-12) + 2) - (-2)/(-6). Which is bigger: -74 or o?
o
Let a be 7/(21/(-24))*-1. Let n(f) = 1 - f**3 - 5 - f + 2. Let r be n(-2). Are r and a equal?
True
Suppose 7*g + 25 = -10. Let d(q) = 3*q**2 + 9*q + 24. Let t be d(g). Is t smaller than 54?
False
Let g = -4725 - -1357. Which is smaller: -3367 or g?
g
Let x = -0.0047 + 745.0047. Let y = -745 + x. Which is smaller: y or -7.77?
-7.77
Let d be 6/(-27) + 625/1125. Which is bigger: -380 or d?
d
Let l(a) = -3*a**3 - 5*a**2 - 3*a - 8. Let k be l(-6). Suppose -k = -2*d + 2. Does d = 240?
True
Suppose 0 = -19*o + 118 + 72. Let x = 2 - o. Is -19 at least as big as x?
False
Let o be (-10875)/33030 - (6 - (-114)/(-18)). Which is smaller: o or 0?
0
Let f = -15.9 - -14. Let p = 2 + f. Let y = 210402.77 - 210402. Which is greater: p or y?
y
Let n(l) = -18*l + 28. Let k be n(4). Suppose 0*v = -2*v - 90. Which is smaller: k or v?
v
Let k = 0.15 + -0.41. Let m = -0.02 + k. Let x = 0.38 + m. Is x smaller than 18/11?
True
Let d = 130 + -164. Let t = 83 - 49. Let n = t + d. Is -1/3 equal to n?
False
Let l be -551*150/126 - 1/3. Let y = 49876/77 + l. Which is smaller: -9 or y?
-9
Let h = -20/627 + 146/209. Which is smaller: h or -1581?
-1581
Suppose 5*r - 19 = -4*g - 13, -4*g - 10 = -3*r. Let v = 0.021 - -2.679. Are r and v unequal?
True
Let b be -1646*(1/1 - 0). Let s = 8852128/11 + -806386. Let q = b - s. Which is smaller: q or 1?
1
Let c be 21/5*(-4)/((-180)/75) + -8. Which is greater: 3/1466 or c?
3/1466
Suppose 6*o + 62 = 158. Suppose o*j - 193 = -17. Let y = -22 - -32. Which is bigger: y or j?
j
Let o = 246 - 224. Let b be 48/(-2)*15/(-10). Suppose 2*m = b + 6. Which is bigger: o or m?
o
Let f = 22577336/19 - 1188899. Let h = f - -1855/3. Does 1 = h?
False
Let b be 280/4*(-19)/(-2). Suppose -32*s + 25*s + b = 0. Is s at least 95?
True
Let h = 1867.02 - 1954.249. Let f = 0.271 - h. Let r = 89 - f. Is r less than or equal to -0.2?
False
Let u = -2787.9 - -2804.4. Let n be 0 + 1/2 + -1. Is n at most u?
True
Suppose -82*p = -87*p - 330. Let v be ((5 - 4) + -2 + 2)*p. Is v >= -65?
False
Let w = 3456.9 - 3457. Is w >= 45/64?
False
Let h = 4.547 - 4.547. Is -4913 less than or equal to h?
True
Let x = -180 - -160. Let v = x + 13.3. Which is greater: v or -1/2?
-1/2
Let q be ((-816)/(-62) - -1)*(-2 + 88). Let o = 1218 - q. Which is bigger: 1 or o?
1
Let r = -59 + 751/6. Let f = -66 + r. Which is smaller: 0.09 or f?
0.09
Let r = 147.97 - 148. Let s = -337 + 216. Let k = s + 121.12. Which is smaller: r or k?
r
Suppose -13*f = 17 - 4. Let a be f/(441/(-111) - 1*-4). Is a equal to -39?
False
Let g = -10.495 + 10.375. Let r = 1.2 + -1. Let y = r - 0.4. Is y equal to g?
False
Let i be ((4/1)/24)/((-8)/(-80)). Which is bigger: i or 4.67?
4.67
Suppose 0 = 2*b - 3*b + 13. Suppose 4*j + 11 = -3*s, -s + 36*j = 34*j - b. Which is greater: s or 0.027?
s
Suppose 4*f = -2*x + 18, 6 = f + 2. Is 34/963 != x?
True
Let s = -216 - 218. Let i = s - -434.32. Which is bigger: i or 2/7?
i
Suppose -4*m + 286 = -2*f, m - 2*f = 4*m - 22