4 + 2501 = 0. Let x = m - 131. Which is smaller: x or 45?
45
Let s = 7559 - 7499. Which is bigger: s or 76?
76
Let n = 3.5 + -7.6. Let x = -4 - n. Let f = 17.2 + -16.2. Are x and f equal?
False
Suppose -4*n + n + 276 = 0. Let c = 126 - 36. Let p = n - c. Are p and 6/5 equal?
False
Suppose -l = 3*x + 2030, 3*l = -2*x - 0*x - 1365. Let c be (-30)/x*25/(-3). Is 0 equal to c?
False
Let n = 2.167 + -1.167. Is 0.371 less than n?
True
Let b = 521.1 + -520.129. Is -3 != b?
True
Let z = -18/655 + -536/28165. Do z and 359 have the same value?
False
Suppose -5*b - 384 = -1274. Let g = -6232/35 + b. Which is greater: -1 or g?
g
Let q = 1.3 + -0.3. Let r = -8.13 + 9.1. Let y = 1.06 - r. Which is smaller: y or q?
y
Suppose 0 = -5*z + 2*s - 5 + 1, -5*s + 10 = 2*z. Let u = 0.755 - -0.245. Is u > z?
True
Let j = 3/37990 + -1428457/417890. Are j and -2 equal?
False
Let x = 5 - 5. Suppose -q - q + 8 = 0. Suppose 0 = 5*n - 7*y + q*y - 12, -4*n + 2*y + 8 = 0. Do x and n have the same value?
True
Let z = -0.4 + -0.1. Let d = 5.5 - z. Let c be (-6)/(-36)*(20 - (-560)/(-25)). Which is bigger: d or c?
d
Let q = 2348 - 4218. Let c = -1699828/909 - q. Which is greater: c or 0?
c
Let y = 982 - 986. Let f = -355.1 - -373. Let j = f + -18. Are y and j nonequal?
True
Let s(i) = 4*i**2 - 75*i + 299. Let w be s(13). Is -42/1753 <= w?
True
Let j = -67/31 - -717/217. Is -4/37 <= j?
True
Suppose 4*p = 2*p - 376. Let s be -1 - (6/(-9))/((-70)/(-19839)). Let v = s + p. Which is smaller: v or -1?
-1
Let p = 720 - 719.94. Which is smaller: p or -2/5?
-2/5
Let q = 3255 + -3176. Is 76 less than q?
True
Let y = 0.4 - 4.1. Let d = 0.272 + -0.647. Let h = d + 0.275. Which is smaller: y or h?
y
Suppose 301 = -n + 5*k + 67, n + 242 = k. Let o = -502 - -498. Let l be o/(-10) - n/(-460). Which is smaller: l or 0?
l
Let u(r) = -r**3 - 7*r**2 + 2*r + 16. Suppose 5*l + 27 = 4*f, f + 18 = -2*l - f. Let y be u(l). Let j = 0 + y. Which is smaller: j or 12/13?
12/13
Let v = 0.12 + -0.115. Let w = -0.028 + v. Let s be (6/(-8) + 0)/((-2709)/2408). Which is smaller: w or s?
w
Let f(w) = 8*w**3 - 7*w**2 + 12*w - 36. Let q be f(4). Which is greater: 417 or q?
417
Let c(a) = -15*a + 798. Let h be c(36). Let s(t) = t**2 + 5*t + 4. Let b be s(-4). Suppose 6*r = -b*r + h. Does r = 43?
True
Let d = 3979.1 - 3979. Let s = -0.174 + 75.174. Is d less than or equal to s?
True
Let c be (-408)/(-612) - (-7)/((-1953)/618). Suppose 0 = -x + 5*x + 12. Which is bigger: x or c?
c
Let w = -121 + 123. Suppose w*b - 3*p = 4*b - 26, 5*b - 2*p - 84 = 0. Which is greater: b or 15?
b
Suppose 7 = -14*v + 7. Suppose v = 3*h + 5*i + 15, 3*h - 2*h + i + 3 = 0. Is h bigger than -0.033?
True
Suppose 51 + 21 = 12*a. Suppose -2*w + 7*w - 1 = 4*c, -4*c - 2*w = -a. Which is smaller: 4/95 or c?
4/95
Let d be -12 + 303513/84*-4. Is -14466 > d?
False
Let f = -2322 + 2712. Does 390 = f?
True
Let n be (-27)/34455*15/(-18)*(-4)/(-6). Is -1 at most as big as n?
True
Let v = 27044303/5061 - 16031/3. Is v smaller than -3?
False
Suppose -4*x - 3*d = -21, -10*d + 7*d + 21 = 11*x. Which is bigger: x or -14/687?
x
Let p = -9538 - -9538. Which is greater: -4/6169 or p?
p
Let p be ((-7)/14)/(-1)*-2. Which is smaller: 3/1033 or p?
p
Suppose -17*f - 5*i = -18*f + 21, f = -i + 21. Which is bigger: f or 1.1?
f
Suppose 3*n - 38 = 2*n + l, 0 = -3*l - 15. Suppose b = 2*k - n, -72 = -5*k - 2*b + 24. Suppose 11*h - 7 = k*h. Which is greater: h or 3/23?
3/23
Let f be ((-12)/18)/((-2)/(-15)). Let s be -3 + 140/f + -1. Let i = -221/7 - s. Which is greater: i or 1?
1
Suppose -316*a = -158*a - 149*a + 9. Is a <= -21/320?
True
Let f = 18006 + -11511. Is 6495 <= f?
True
Let x(l) = l**3 - 1 + 0 + 2*l**2 - 4*l + 0*l**2. Let z be x(-2). Suppose z*y = 2*y - 3*u + 8, 5*y - 7 = -2*u. Which is smaller: y or 2/67?
2/67
Let y be ((27/5)/(-3))/((-67)/335). Suppose -y*i = -90 + 81. Which is smaller: i or -1?
-1
Let a be ((-87)/(-406))/((-14)/4 + 2). Let j = -0.885 + 0.025. Let f = 0.9 + j. Is f > a?
True
Let u be 40/(-20)*((-30)/(-47765))/(-6). Are 1 and u unequal?
True
Let n = -138 + 134. Let q be 8 + (3 - (9 + n)). Let z(a) = -a**3 - 7*a**2 + a + 10. Let b be z(-7). Is q < b?
False
Let g be 329 + (-2)/(1 - 3). Let y(s) = s**2 - 31*s - 1235. Let m be y(-27). Is g bigger than m?
False
Suppose 5*y + 2*x + 33 = 0, 19*x - 24*x = 20. Let a be y/(5/180*-4). Which is greater: a or 133/3?
a
Let o = 179 + -173. Let f be (-6 - (-7 + o)) + 2446/490. Are f and 1 equal?
False
Suppose 5*y = -29*u + 27*u + 5, 0 = 2*u - 3*y + 3. Is 1/14 at least as big as u?
True
Let i(y) = 12*y + 60. Let n(w) = w**3 - 19*w + 4. Let h be n(4). Let k be i(h). Which is smaller: -33 or k?
k
Let r(x) = -x + 23. Let z be r(24). Let t(o) = -26*o**2 - 6*o + 1. Let c be t(-3). Let y be (c/(-25) + -7)*(-5)/2. Is z bigger than y?
True
Let b be ((-68)/51)/((-8)/30). Suppose -8*d = -b*d + 195. Which is smaller: d or -63?
d
Let m(y) = 82*y + 1. Let x be m(0). Suppose 0 = -0*l + 5*l - 40. Let d = -6 + l. Is d at least as big as x?
True
Let f be 4/(-18) + (-177538)/(-261). Suppose 12*a = -8*a - f. Is a at most -34?
True
Let o = -18 + 9. Let x be 1/(-2) - (-2 + o/2). Let s be (-2)/(x/63*-3). Which is smaller: s or 10?
s
Let b(c) = 94*c - 285. Let v be b(3). Which is greater: -100 or v?
v
Let y = 36 + -26. Let w(l) be the third derivative of l**4/24 + 3*l**3/2 + 4*l**2. Let f be w(2). Are f and y unequal?
True
Let u(k) = -k**3 + 5*k**2 - 11*k + 31. Let l be u(4). Suppose -2*b = 5*t + 90, -l*t = 2*b - 107 + 197. Is b bigger than -44?
False
Let c = 20088 + -20080. Let r = 1.5 + 5.5. Is c bigger than r?
True
Suppose 238 = 3*o - 5*h + 5, -4*o = h - 349. Suppose -2*j = s + 14, -o = 5*s - 2*j + 4*j. Let c be (-243)/s + 1/2. Is 14 greater than or equal to c?
True
Let i(c) be the first derivative of 4*c**3/3 - 12*c**2 - 8*c + 166. Let x be i(6). Which is smaller: -72/11 or x?
x
Let z = 6869 + -6869.481. Is -1 > z?
False
Suppose 8 = 2*g + n - 5*n, 3*n = 5*g + 1. Let j be 6*1 + (6 + -18)/3. Let l be (j - 1) + 36/(11 - 2). Which is smaller: g or l?
g
Let n = 24.51 + -2.51. Let r = -398 + 397.93. Is r equal to n?
False
Let v = -291 + 291. Suppose v = 3*h + 3*h - 18. Let s = -906/7 - -133. Is s at most h?
False
Let i = -55/183 - -1/3. Let s = -6883 + 6882. Is i at least s?
True
Let u(c) = c**3 - c**2 + 63*c + 290. Let v be u(-6). Are v and -312 unequal?
True
Let r(j) = -j. Let d be r(1). Let s = -1520 + 66879/44. Which is smaller: s or d?
d
Suppose -29*u + 17*u = -1044. Let c = -86 + u. Let g be ((-1)/2)/(111/6). Is g less than c?
True
Let h = -761/132 + -3/44. Are h and -6.5 nonequal?
True
Let z = -5222 + 4991. Which is smaller: -237 or z?
-237
Let q be ((-21708)/(-1736) - 0) + -3. Let p = q + -129/14. Let n = p + 29/434. Are -1 and n equal?
False
Let x = -4321/260 + 83/5. Let u = 625 - 626. Which is smaller: x or u?
u
Let g = 6.96 + -7. Let n(i) = -i**3 - 7*i**2 - 8*i - 13. Suppose -13*y + 5*y - 48 = 0. Let s be n(y). Which is smaller: g or s?
s
Suppose 27825 = -63*c + 138*c. Which is smaller: 385 or c?
c
Let w = 25 + -20. Suppose 0 = 5*c - 15 + w. Suppose c*d - 10 = -16. Is d >= -6?
True
Let v(d) = 35*d + 4. Let o be v(-2). Let y = 120 + o. Suppose -3*c - y = c + 3*i, -22 = 2*c + 4*i. Which is greater: -1 or c?
-1
Let o(u) = u**3 - 7*u**2 - u + 13. Let y be o(7). Suppose -s + y = 3*f - 9, -4 = -f. Let p be ((-2)/6)/(2/(-6)). Is s bigger than p?
True
Let x(q) = q - 8. Let g be x(9). Suppose -16*k + 880 = -5*k. Let b = -244/3 + k. Which is smaller: g or b?
b
Let s = -3847 - -3873.4. Which is smaller: -1 or s?
-1
Suppose -f - 2*s - 34 = -3*s, -s + 64 = -2*f. Let y be 27/f - (-4)/(3 + 5). Which is smaller: 1 or y?
y
Let h(r) = 37*r - 374. Let d be h(24). Is d > 514?
False
Let i(r) = 4*r + 34. Let z = 31 - 39. Let x be i(z). Suppose b + 4 = 3*u - x, -2*u = -4. Which is smaller: -2/15 or b?
-2/15
Let z = 0.157 - 0.098. Is z greater than -21?
True
Suppose -1451*o + 1445*o + 18 = 0. Suppose 0 = -o*h - 0*h - 915. Which is greater: h or -306?
h
Suppose -4316 = 35*c - 8262 - 6589. Which is smaller: 299 or c?
299
Suppose 2*a + 91 - 33 = -z, -2*z - a = 110. Suppose -503*q + 691 + 1978 = -349. Which is greater: z or q?
q
Let l(k) = k**3 + k**2 - 5. Let g be l(2). Suppose 0 = -x - 3*y + 6, 2*x - g*y + 8 = -3*y. Is -4/475 at least as big as x?
F