5974. Let q be x(-90). Is 125 smaller than q?
False
Let i(w) = w**3 + 11*w**2 + 10*w. Let v be i(-10). Suppose 6*u + 3 - 15 = v. Suppose 15 = -u*m + 17. Is 10/27 at most m?
True
Suppose -139*l + 143*l = 1480. Let o be (-8)/10*l/(-2923). Are o and 0 non-equal?
True
Let a = -80 - -76. Let l be (-6)/a*2 + 272/(-90). Let h(c) = -c**2 + 16*c + 1. Let p be h(16). Which is smaller: l or p?
l
Let j be 0/(3 - (7 + -3)). Suppose -2*a = -a + 10. Let k be (-1)/a*(-10)/(-44). Which is smaller: k or j?
j
Let o be 28/49 + 198/21*1. Suppose -3*l - n = n - o, 5*l - 2*n - 38 = 0. Is l greater than or equal to -0.2?
True
Let y = -6395 + 332497/52. Are -2 and y unequal?
True
Suppose l + 10 = 2*l. Suppose -18538*p + 18516*p + 22 = 0. Suppose -9*j + p = l. Which is bigger: 2/41 or j?
2/41
Let s be 450/(-195)*-14 + 0. Which is smaller: -4 or s?
-4
Suppose 5*u = 4*k - 17, -3*u - 9 + 0 = -3*k. Let s be (0 + 50/(-15))*6/u. Suppose 0 = 2*p, s*z + 0*p = 5*p - 4. Is 1/26 less than z?
False
Let x = -481 + 490. Let p be 6*25/135*x. Is p <= 61/6?
True
Suppose -4*i + 250 = -414. Let f = i + -161. Let k be 4/10*(-3 + -2). Is f > k?
True
Let d(y) = -y**2 - 30*y + 63. Let v be d(-32). Let z = 11 - 26. Let g be (4/z)/(68/(-6)). Is g bigger than v?
True
Let l(d) = -34*d - 250. Let x be l(-7). Let r be x*(5 - (-3)/9). Which is greater: r or -65?
r
Let j(r) = -r**3 + 23*r**2 + 24*r - 16. Let a be j(24). Let z be ((-249)/(-63) - 5)/(a/30). Let g = z - 9/4. Is 1 at least as big as g?
True
Let x(t) be the third derivative of t**5/20 + 73*t**4/24 + 19*t**3/6 + 37*t**2. Let j be x(-27). Is 236 less than j?
False
Let a = -760 - -819.8. Let s = 59.4 - a. Which is greater: s or 20?
20
Let y = 981.4 + -796. Let q = y - 185. Let j(g) = g**2 + 7*g - 3. Let p be j(-6). Which is smaller: p or q?
p
Let s be (-1)/4 + 15/60. Suppose 200*z - 104 = 213*z. Which is smaller: z or s?
z
Suppose 361 + 533 = -2*z. Let a = z + -729. Let g be (-217)/a + (-1)/7. Is g bigger than 0?
True
Let z = -162.268 + 162.12. Let c = -0.4 + 0.3. Which is greater: c or z?
c
Let h(f) = f**2 - 21*f - 44. Let l be h(-2). Which is smaller: 150/91 or l?
150/91
Suppose -3*s + 2 = 8, 3*s = c - 18. Suppose -2*o - 3*v = -6*v - c, -o = v + 4. Let l be 24/(-42) + (-1)/189*-339. Which is bigger: o or l?
l
Suppose -84*s + 488149 = -430139. Which is greater: s or 10933?
10933
Let g(y) = y**2 - 6*y + 3. Let v be g(7). Let u(n) = -n**3 + 10*n**2 + 3*n - 25. Let d be u(v). Suppose -5*i - z = 0, -16 = 4*i - z + d*z. Is 13 <= i?
False
Let b = 0.127 - -1.013. Let q = b - -0.46. Suppose 2*o = 5*t - 5, o + 8*t - 3*t - 5 = 0. Which is greater: o or q?
q
Let m = -350 - -345. Let f(s) = s**3 + s**2 - 10*s + 3. Let r be f(m). Does -47 = r?
True
Suppose 2*v - 706 = -u + 776, 2*v - 2*u = 1476. Let n = -550 + v. Which is greater: n or 192?
192
Let k = 17967 + -17241. Is 9 at least k?
False
Suppose 0 = 5*z - 0*z - 2*p - 5, -16 = -4*z + 4*p. Let w be (-2)/4 + (5/11 - (-287812)/5816888). Which is greater: w or z?
w
Let p = -10249 - -10249.2. Which is greater: -0.1061 or p?
p
Let r = -5038 + 5041. Are r and 101/42 non-equal?
True
Let s = 9.3929 + -0.3929. Suppose 37 + 28 = 5*h. Which is smaller: s or h?
s
Let z = -0.963 - -35.943. Let x = z - 35. Is x at most as big as 2/23?
True
Let h = -1164 + 1472.5. Let s = 309 - h. Which is greater: -5 or s?
s
Suppose 138 = 5*k + 3*v, 4*k + 4*v - 116 = 3*v. Let d(z) = 3*z**2 - 188*z + 391. Let b be d(2). Which is greater: b or k?
k
Let b = -59321 + 145633053/2455. Let t = 14764/41735 + b. Is t greater than -1?
True
Suppose 4*m + 5*n = 22, 0 = m + 3*m - n - 10. Suppose m*r = -5*t + 5*r - 21, -3*r = 4*t + 3. Let f = -9 + 7. Is t > f?
False
Let f = -16445687/7388 + 2226. Which is greater: f or 1?
1
Let x = 3489 - 3470. Which is greater: x or 53/3?
x
Let n be 10/(-55) + (-5671)/(-11). Let f = 517 - n. Which is greater: f or 2?
2
Suppose -22*x + 1861 = -7643. Let y be (-86304)/x + 2/(-9). Is y < -200?
False
Let b = 3 - 4. Let g = b + 0.95. Let q = 39.05 - 39.25. Is q at least g?
False
Let d = 0.9695 - 0.4488. Let n = -0.0207 + d. Do n and -7 have the same value?
False
Let v = 28 - 27.9. Let w = 0.1 + v. Let f = -34 + 33.5. Is w bigger than f?
True
Let o = -66304 - -330134/5. Is -1/3 at least o?
True
Suppose -3*k + 2 = -5*k, u - 117 = 4*k. Suppose -4*r - 4*z = -147 - 313, -z + 2 = 0. Are r and u non-equal?
False
Let f = -0.04 - 0.66. Let y = f + 1.2. Let k be (-1790)/315 + 6 + (-1)/(-9). Is y less than k?
False
Let v(d) = d**2 - 7*d - 99. Let s be v(-6). Is s > -161/8?
False
Let v = -17710 + 195166/11. Which is bigger: 31 or v?
v
Let u be (2/(-287)*6)/(50/(-3325)*-19). Suppose 0 = 2*a - a - 2. Let o be a/(3/((-9)/(-6))). Are o and u nonequal?
True
Let s = 4.7 + -3.74. Let g = -17563.96 + 17561. Let b = g + s. Are b and 3/5 nonequal?
True
Let f = 280/13 + -12066/559. Suppose v + 4*l = 14, -45 = -5*v - 4*l - 7. Let p be v/(-10) - (-13 - (-513)/45). Which is greater: p or f?
p
Let k be -2 + (0 - -6) + (-4455)/5. Which is greater: -890 or k?
k
Suppose -6 = 5*p + 4. Let x be (-2)/21 + -6*(-848)/504. Suppose -19 = -3*t - x. Which is bigger: t or p?
t
Suppose -103040 = 736*y - 552*y. Which is smaller: y or -553?
y
Let u = 100 + -25. Let f be (-135)/(-81)*(-3)/(-15). Which is greater: u or f?
u
Let o = -24 + 21. Let n be 9*o/12*-68. Let q be 2/9 + (-34)/n. Which is greater: q or 2/83?
2/83
Let u = -17979 + 17986. Is u at most as big as -291?
False
Suppose 192 + 170 = -5*y - 4*s, 2*s = 5*y + 374. Let g be y/(-48) + (-21)/14. Suppose 0 = 5*f - 3*f. Are f and g equal?
False
Let k be 6/(-8) + (-33345)/(-380). Suppose -3*v + s + 264 = 0, 2*v + 3*s - 163 = 13. Which is bigger: k or v?
v
Suppose 4*a - 10 = -5*r, a = 3*r - 0*a + 11. Let q(w) = -w**3 + 92*w**2 - 26*w + 2369. Let x be q(92). Which is smaller: x or r?
x
Let d(t) = 66*t + 1518. Let o be d(-23). Is o smaller than -16/353?
False
Let f = -2414 - -2413.966. Which is greater: f or 3?
3
Let f = -1004.56 + 1004.46. Let v be (1/((-1)/(-4)))/(-69). Which is bigger: v or f?
v
Let y(j) = -j**3 - 6*j**2 - 4*j + 12. Let h(z) be the second derivative of -z**3/2 + 2*z**2 - 4*z. Let i be h(3). Let r be y(i). Is r less than 29/5?
False
Let b be 16/(-2)*((-365)/(-90) + -4). Let l = -59107 - -531182/9. Let i = l - -87. Which is greater: i or b?
i
Suppose -32*l + 208 = -28*l. Let t = 51 - l. Are 7/23 and t equal?
False
Suppose 0*t - 10 = -3*z - 2*t, -2*z = -5*t + 6. Suppose 0 = 3*x - 4 - z. Suppose -5*y = j - x*j - 64, -2*j + 54 = 4*y. Which is bigger: y or 11?
y
Let d be 538/(-88)*(-18)/(-153). Let r = -5/374 - d. Which is bigger: 2 or r?
2
Let v = 0.5864 - 504.5864. Is 2 >= v?
True
Let n = -139 - -144. Suppose -n*b + 30 = 40. Is b < -8.4?
False
Let p(y) = y**3 + 6*y**2 + 19. Let m be p(-7). Let g be ((m/(-8))/5)/(10/72). Is 5 less than g?
True
Let x = 1232 - 1658. Are x and -1277/3 nonequal?
True
Let p = 8/2115 - -253696/27495. Is p less than 10?
True
Suppose -4641 - 18099 = -20*u. Is u at least 1137?
True
Let d = 4 - 2. Suppose -5*a - 55 = -a - 3*r, -4*a = -d*r + 54. Suppose 5*l + 24 = 3*l. Are a and l unequal?
True
Let m(d) = 22*d**2 - 81*d - 28. Let t be m(4). Suppose 2*j - 1415 = n + 145, 1562 = 2*j - 2*n. Let p = 11681/15 - j. Are t and p equal?
False
Let x be (3 - (-17)/(-5))*(-90)/(-6). Let u = -74 + x. Which is greater: u or -0.3?
-0.3
Let t = -205.43 - -16.63. Let f = t + 201. Which is greater: 1 or f?
f
Let d(u) = -73*u + 279. Let y be d(-7). Which is greater: y or 788?
y
Let s = -122.1101 + 0.1101. Which is bigger: 1/6 or s?
1/6
Let t be (-1 - 234/(-304))*8568/(-9996). Which is bigger: t or 0?
t
Let w = 23368 - 23337. Suppose -5 = -d + 5*x, 2*d = -2*x + 2 - 4. Suppose l + 4*f - 134 = -4*l, 2*f + 8 = d. Is w at most l?
False
Let a(y) = 219*y - 859. Let t be a(4). Which is smaller: -52 or t?
-52
Let s = -0.34 + -13.66. Let c = 76 + -76. Suppose -j - 3*x + 10 = c, -3*x = 4*j + x - 8. Which is greater: j or s?
j
Suppose -4*w + 2*z = 36 + 134, 0 = 2*z + 10. Let t be (141/w - -3)/(4/(-10)). Which is smaller: -147 or t?
-147
Let b = 285 - 32491/114. Let f = 29/57 + b. Which is smaller: 4 or f?
f
Let t = -161 + 166. Let u be (-791)/(-476)*4 - t. Which is greater: 1 or u?
u
Let d be (-56)/(-35) - (8/20)/(-1). Suppose 7*w - 373 - 1832 = 0. Let x be (-4)/(-30) - (-273)/w. Which is smaller