Let m be y/65 - (-44)/55. Is 2 smaller than m?
False
Let q = 75.5 + -206.2. Let s = -140 - q. Let j = -8.3 - s. Does 29/5 = j?
False
Let l = 16 - 10. Suppose -l*z - 255 = -1257. Which is smaller: 166 or z?
166
Let o = 170 - -186. Let l be -2 - -2 - 2 - o/12. Which is smaller: l or -31?
l
Let m(t) = -2*t**3 + 19*t**2 - 11*t + 29. Let z be m(10). Which is smaller: 54 or z?
z
Suppose -u + 2*c = -9, -4*c = u + 9 + 6. Let b be u/(-2) + 6727/(-682). Which is smaller: b or -10?
b
Let r be 18/(-27) - 5/(-12) - 24233/(-97284). Which is greater: 1 or r?
1
Let z = 884.4 + -883.6. Which is bigger: -17/7 or z?
z
Let q(h) = -8*h**2 + 69*h - 239. Let y be q(14). Which is smaller: y or -0.1?
y
Suppose 52 = 6*p - 2*p - l, 0 = p - 2*l - 20. Let r(y) = -y**3 + 13*y**2 - y - 12. Let t be r(p). Let s be 4/10 - 88/t. Is s bigger than 8?
False
Let u = -494.9 + 494.95. Is u at most as big as 4.1?
True
Suppose -4*w - z - 4 = 0, -5*w - 13*z = -12*z + 5. Let q = -0.0562 - -0.0112. Is w greater than q?
False
Let v = -12.549 + 0.549. Which is bigger: v or 55/6?
55/6
Let v = 182 - -148. Let r = v - 326. Which is greater: -3/20 or r?
r
Let b = -632.3 + -1281.7. Is b > -2/5?
False
Suppose -8*t + 5*t - 138 = -3*b, -2*t - 83 = b. Let i be (2 - 2)*(-3)/6. Suppose i = 2*q + 26 + 62. Which is smaller: q or t?
q
Let f = 0.0163 + -0.2263. Let m = -0.208 - f. Which is smaller: m or 4/7?
m
Let j be -1 + -1 + 0 - -2. Let t = -133 - -129. Let w be t/(-2) - (-207)/(-102). Which is bigger: w or j?
j
Let r = 7 - 11. Let m(n) = -n**3 + 2*n**2 + 10*n - 3. Let b be m(4). Suppose -b*h + 25 = 35. Which is bigger: h or r?
h
Let a be 12/60 - (-21)/(-225) - 4/(-30). Which is smaller: a or 1.3?
a
Let g = 132751067/29127 - -211/4161. Let j = g + -4548. Which is bigger: j or 9?
j
Let o = 36 + -39. Let a = -0.037 - -7.437. Let g = a - 7.6. Are g and o unequal?
True
Let f(i) = 65*i + 956. Let j be f(-15). Which is smaller: 50 or j?
j
Let y = 0.29786 - -0.00214. Suppose 3 = -4*t - 1. Let d be 2*-6*t/4. Which is greater: y or d?
d
Let u be 5/(7 - 6)*-87. Let h = 403 + u. Which is smaller: -34 or h?
-34
Let z = -529.9 + 509.9. Let s be 3 + -1 + (-100)/55. Which is greater: s or z?
s
Let w(t) = t**3 + 14*t**2 + 28*t + 48. Let b be w(-12). Is b less than 24/49?
True
Let m = 36 - 58. Let j be (-48)/(-40)*(10/(-4) + 0). Let k(l) = -3*l**2 - 4*l - 6. Let t be k(j). Is t equal to m?
False
Let w = -1063 + 90353/85. Let d be (6 - (-22)/(-4))*10 + -10 + 4. Are d and w non-equal?
True
Suppose 99 = -3*v - 87. Let s = -1038 + 976. Let u = v - s. Which is smaller: u or -9/13?
-9/13
Suppose -173*v = -x - 177*v + 1054, 2*v + 5270 = 5*x. Do 1053 and x have the same value?
False
Let n(q) be the first derivative of -q**2/2 - 14*q + 15. Suppose -3*r + 3*w = 33, 2*r + 46 - 4 = -3*w. Let i be n(r). Which is smaller: -3/10 or i?
-3/10
Let m = -0.9037 + 25.5037. Which is bigger: -0.9 or m?
m
Suppose -21*w = -17*w - 8. Suppose 0 = 4*d + 4*m - 16, -w*d + 5*m + 22 = -0*d. Is 7 bigger than d?
True
Suppose -140*p + 143*p - 12 = 0. Suppose 2*r - r = 5*t - 2, r + 2 = -p*t. Let f(n) = n**3 - 10*n**2 - n + 8. Let c be f(10). Is t > c?
True
Let y be 0 + -46 + 0 + (-156)/39. Let h be (126/15)/(20/y). Which is smaller: h or 2/7?
h
Let p = 62 + -42. Let s be -5*(1 + (-52)/p). Let u = 1334 - 6634/5. Which is smaller: u or s?
u
Let i = -562.55 - -562. Let v = -4.45 + i. Is v less than -22?
False
Let u = 675.685 + 9.315. Is u equal to 0?
False
Let f = -1953 + 1780. Is f at most as big as -2?
True
Let h be (-4)/(-56)*-44*1. Is 18/7 >= h?
True
Suppose -2*h + 11 = 1, -4*p = 5*h + 11. Let s be 56/(-12)*p/(-6). Which is smaller: s or -25?
-25
Let h = 50.4 - 49. Let u = 40.6 + h. Which is greater: 1 or u?
u
Let f(y) = -4*y**2 + y + 22 + 3*y - 27 + y. Let h be f(5). Is -83 greater than h?
False
Let a be (-6)/21 - (-1 - (-12644)/17290). Let z = 108844/62985 - a. Let t = z + -7/17. Which is greater: 1 or t?
t
Suppose 3*y = 3*q + 189, 15 = -4*y - 5*q + 249. Let b = 83 - y. Suppose 0 = -5*c - 20, 0*i + 5*c + 66 = 2*i. Is i < b?
False
Suppose -6 = -2*i - 0*i. Let x be (-6)/4*4/6. Let h be x/i - 12/(-9). Which is smaller: 9 or h?
h
Suppose -4*c + 2*u + 1634 - 14218 = 0, u + 3143 = -c. Let k = 34571/11 + c. Let o = k - -107/44. Is o >= 10?
False
Let s be (-1519)/147*(1 - 13). Suppose s = -372*y + 376*y. Is 1 at least y?
False
Let v be 6/(-2)*6162612/(-1611). Which is smaller: v or 11477?
v
Let u be (-75152)/(-264)*36/(-21). Is u bigger than -488?
False
Let n(s) = -2*s**2 + 4*s + 3. Let m(q) = -q**2 - 17*q - 32. Let h be m(-16). Let g = h - -18. Let y be n(g). Is 0 > y?
False
Let r be (-6)/(-15) + (26082/15)/(-7). Let l = r - -247. Let y be -8*2/(-40)*-2. Which is smaller: l or y?
l
Let w = -4.2 + -30.8. Let u = 34.91 + w. Let s = u + -0.01. Which is smaller: s or -26/7?
-26/7
Let y(i) = -i**2 - 6*i**2 + 27*i + i**2 - 26 + 5*i**2. Let o be y(25). Is 22 greater than or equal to o?
False
Suppose -5*u = 4*w + 1903 - 2637, 2*w + 5*u - 352 = 0. Suppose 0 = -3*s + 1 + 2. Are s and w non-equal?
True
Let q = 14603/12 + -259915/204. Is -58 at least q?
False
Let l be (-7 + 4)/((-21)/2). Let d(t) = -86*t - 705. Let a be d(-6). Is a equal to l?
False
Let z = 217.9523 + 0.0477. Let i = z - 217.8. Which is greater: i or -1.41?
i
Let d = -405 - -400. Let c be d/3 - 112/(-72)*-42. Is -67 bigger than c?
False
Let b(s) = -s**2 + 11*s - 28. Let g be b(7). Suppose 8*j - 10*j = g. Does -2/529 = j?
False
Suppose -4*k + 10 + 86 = -2*m, 5*k = 4*m + 126. Let j(a) = 15*a - 120. Let f be j(8). Suppose -6*s + 111 = -s + r, f = s - r - 21. Is k less than or equal to s?
True
Suppose -5*h + 3*r - r + 51 = 0, -2*h + 2*r = -24. Suppose -17 + 62 = h*v. Is v greater than or equal to -5/6?
True
Let b be (2 + -3 + 0)*(-962)/(-2). Which is greater: -479 or b?
-479
Let d = 2 - 2. Let u be 16/(17/4276*-131). Let v = u + 522/17. Is d at least v?
True
Let v(n) = -n + 1. Let i(w) = 6*w - 24. Let o(k) = -i(k) - 4*v(k). Let q be o(-6). Let c be q/(-18) - 4/18. Which is bigger: -10/3 or c?
c
Let r be -6*(14/(-6) + (13 - 12)). Let g be 4/r*2*-3 - -4. Are g and 5 unequal?
True
Let f be (-1 - 4) + (-62)/(-279) + 34/9. Which is bigger: -2/29985 or f?
-2/29985
Let l = 6169 + -5982. Which is smaller: l or 9?
9
Let s = -5294 - -21615/4. Suppose -w - 111 = -m, 10*w = -5*m + 12*w + 552. Let d = m - s. Is d at most as big as -0.063?
False
Suppose -3*i = 4*p - 32, -8*i - 5*p + 29 = -7*i. Suppose 0*k = -k. Suppose k*n + n - 5 = 0. Is i < n?
True
Let h be 3*3 - (6 + -7). Suppose 10*s + h = 5*s. Let u be (30/60)/(2/4). Which is smaller: u or s?
s
Let b(f) = -7*f**3 - 7*f**2 + 6*f - 47. Let a(k) = 3*k**3 - 2*k. Let c(j) = -2*a(j) - b(j). Let i be c(-8). Which is smaller: i or -66?
-66
Let o = 30084/5 + -6065. Let s = 79 - 126. Which is smaller: o or s?
o
Let z = 880 + -881. Let g be 474/(-2056) - (-1)/(z + 5). Which is greater: 0 or g?
g
Let f = -26 + 37. Let d = -45434/3 - -15145. Which is greater: f or d?
f
Let s be ((-21)/(-5) + -3)*15 + -1. Suppose 5*y + s = 4*r, 19 = -3*y - y + 5*r. Which is bigger: 8/33 or y?
8/33
Suppose -17*y + 13*y - 5*t = -187, y + 5*t - 43 = 0. Let p be 54/y*(-24)/(-126). Which is greater: 0 or p?
p
Suppose 5*s = -2*u + 150, -5*u = 3*s - 7*s + 87. Suppose 33*q - s*q = -400. Is q smaller than -79?
True
Let r be -5 + (-36)/(-6) + (-2)/(12630/6335). Which is smaller: r or 0?
r
Let x be 0/(-5) - (2/24 - (-28)/112). Does x = 3.723?
False
Let w = 69.8 - 69.43. Suppose 3*l = -15 - 12. Which is bigger: l or w?
w
Let o = -227 + 232. Suppose -39 + 271 = -4*x - o*j, -5*j = -x - 58. Which is smaller: -1 or x?
x
Let i(a) = 1097 + 3*a**2 - 1101 - 2*a**2. Let l be i(0). Is -0.021 at most as big as l?
False
Let f = -688 - -687. Is -6/1009 > f?
True
Let g = 184 - 185. Let c = 2152371/35 + -61492. Let p = -33/7 + c. Which is smaller: p or g?
g
Let f be 8 - (18/10)/((-22)/(-110)). Which is bigger: f or 20/621?
20/621
Let m = -11408 + 11404. Are m and -122/29 unequal?
True
Let p be 4 + 53781/126 + 20. Which is bigger: 451 or p?
451
Let a(z) be the second derivative of -z**3/2 + 30*z**2 + 4*z. Let f be a(20). Suppose -4*j + 9*j = -3*v - 18, f = v + j + 4. Is v >= 9/19?
False
Let f = 4364 + -4464. Which is bigger: f or -105?
f
Let w = -147 - -223. Let v = w - 75. Is v smaller than -2/155?
False
Let z(k) = 