Suppose 4*s - s + 2*l + 29 = 0, 40 = -4*s - 3*l. Let z(c) = -c**3 - 8*c**2 - 6*c + 6. Let y be z(s). Which is bigger: r or y?
y
Let s be ((-2)/8)/((-3)/444). Suppose 3*m = -5*w + s, -8 = -2*w + 2. Is m greater than or equal to 7?
False
Let c be (-4 - (-5 - -1))/((-2)/(-2)). Let b be (1 - 10/5)*c. Let m be (-14)/(-30) - 4/6. Is m less than or equal to b?
True
Suppose -4*x = 4 + 28. Is x != -9?
True
Let w = -54 + 29. Let p = w + 40. Suppose -p = -3*z - 3. Is z at most as big as 4?
True
Let z = -319.561 - -321. Let t = -0.061 - z. Which is bigger: 0.2 or t?
0.2
Suppose 9*a + 35*a + 44 = 0. Is 3/218 < a?
False
Let t be 28/4 + (-6 - -3). Suppose t*y + 15 = -21. Let b be 2/y + (-10)/(-45). Are -3/14 and b unequal?
True
Suppose 0 = -4*y + 23 + 113. Let l = y + 4. Let z = 60 - l. Do z and 23 have different values?
True
Let l = -1382.99 - -1389. Let r = 0.4 + -6.4. Let p = l + r. Is p <= -0.2?
False
Let j be (-1)/((-141)/(-176)) + (-164)/(-123). Which is smaller: j or 0?
0
Let f = -240 + 323. Which is bigger: f or 86?
86
Suppose 24 = -30*p + 33*p. Suppose 7*a - 3*a + 5*c = 29, -3*a - c + p = 0. Are a and 1/33 nonequal?
True
Let a be ((1 - -2) + -7)*60/(-345). Which is greater: 0 or a?
a
Let q(w) = 14*w**3 + 4*w**2 + 4*w + 14. Let o be q(-3). Is -340 < o?
False
Let l = 169 - 161. Are 3/2 and l non-equal?
True
Let f(v) = -57*v**2 + 2*v + 1. Let c be f(-1). Let p = 100 + c. Let j be (4/p)/(8/(-24)). Which is greater: j or -8/9?
j
Let x = -1538 - -1538. Let k be (2/(-124))/(1/(-12)). Is x at most k?
True
Suppose -n + 3*k = 165, 5*n + 6*k = k - 805. Let o = n - -490/3. Let r = 175/3 - 59. Which is bigger: o or r?
o
Let q = -14 + 13. Let g be (-1 - q - -1)*-1. Which is bigger: 3/7 or g?
3/7
Let c = 0.111 + -1.511. Which is greater: c or -7?
c
Suppose -b = -5*v + 3*v + 14, 5*b = -3*v + 34. Suppose i = 3*s - i + 7, 4*s = 4*i - v. Let f = s - 3. Which is greater: f or 1?
1
Suppose 0 = 40*j - 395 + 75. Is j less than or equal to 14?
True
Let o(w) be the second derivative of -w**4/12 + 4*w**3/3 - 6*w**2 + 2*w - 1. Let r be o(6). Which is greater: r or 2?
2
Suppose 82 = -5*z - 178. Which is greater: -53 or z?
z
Suppose -5*q = -5*f, 4*q = 2*f - q. Let g = 1.6 + -4.9. Which is smaller: f or g?
g
Let j be 10/(-18)*(-444)/(-370). Is j smaller than 2/217?
True
Let g = 5.153 - 0.153. Is g >= -22?
True
Let b be (-2 + (-78)/51)/(-2). Let r = b - 175/51. Is r > -1?
False
Let m be 5 - (807814/11543)/14. Is 0 > m?
False
Suppose -2*w + 148 = -l, 58 = 2*w - 3*l - 90. Is 74 at least w?
True
Let s = 7168 + -7168.2. Let v = -0.5 + 1.2. Let c = v + -5.7. Is c less than or equal to s?
True
Suppose 2*w - 5*b + 17 = 0, -13 = 36*w - 38*w - 5*b. Are w and -20/43 non-equal?
True
Let s be 92/6*(76/8 - 11). Is -24 >= s?
False
Let x be 5 + 0 + (-3 - -1). Let w be x + (-35 + -1)/4. Let k be (-6)/9*w/(-4). Are -5 and k unequal?
True
Let p = -22 - 123. Do p and -147 have the same value?
False
Let v = 15111 - 15790993/1045. Which is smaller: v or -1?
-1
Let q = -789 + 386. Is q smaller than -403?
False
Let j(o) = -2*o**3 + 4*o**2 + o + 17. Let h be j(8). Let c = 1459/2 + h. Is c greater than or equal to -13?
False
Let v(h) = 8*h - 105. Let z be v(13). Are z and -4/17 unequal?
True
Let q be 6/15 - 792/(-45). Suppose 0 = -37*l + 34*l + q. Let o be 66/10 - (-4)/10. Is l >= o?
False
Let q be ((-111)/2)/(((-36)/(-8))/9). Is -109 >= q?
True
Let j(a) = 25*a - 484. Let u be j(-6). Is u at least as big as -635?
True
Let x be -1*9/684*-5. Is x less than or equal to -1?
False
Let s = -2240 - -71683/32. Which is greater: s or 5?
5
Let d = 10 - 16. Suppose 0 = -5*h - 3*p + 8*p, 4*h = p - 3. Let y be ((-1)/h)/(5/(-45)). Is d bigger than y?
True
Suppose -69*i = -65*i + 412. Is i less than -106?
False
Let p = 1 - 43. Let g = p - -45. Does g = 0?
False
Suppose -5*w + w = 0. Suppose -4*q - 81 = 5*t, 5*q = 3*t - 0*t + 19. Let v = t - -53/4. Which is greater: w or v?
v
Let l be (2 + -2)/(-2*2/2). Is l >= -4/31?
True
Suppose 15*z - 17*z - 40 = 0. Let r = z + 26. Suppose 5*t = r*t. Which is smaller: t or -2/45?
-2/45
Let b be (-1)/(-1*3/15). Suppose -3 + 0 = 2*s + 3*p, b*s = 2*p + 21. Let z be (0*(-1)/s)/(-2). Which is greater: z or -1?
z
Let h = 16 + 22. Let o = 37 - h. Let d be (-8)/310*10/4. Which is smaller: o or d?
o
Let f be -1 - (-2 + (-33)/(-15)). Let c(j) = -j**3 + 11*j**2 - j - 6. Let i be c(11). Let w = -17 - i. Is f less than or equal to w?
True
Let h(t) = t + 41. Let g be h(0). Let y be (4/g)/(10 + -12). Which is greater: y or -1?
y
Let l be 5/20 - 447/12. Which is smaller: -36 or l?
l
Let m be (2/24)/((-690)/(-120)). Which is smaller: 1 or m?
m
Let y = -0.049 - -2.949. Let l = -0.9 + y. Let i = 9.1 - 9. Which is greater: i or l?
l
Let f = -1.5 + 2. Let x = 57 + -57.74. Let q = 0.84 + x. Is f smaller than q?
False
Let p be (1/(0 - -1))/(7/210). Is 3 at most p?
True
Let h = -286 + 563/2. Suppose 0 = -b + 5*s + 17, -b = -0*b + 2*s + 18. Let v = -13 - b. Is h at least v?
True
Let w = 3.1 + -0.1. Let t = 12 - 16. Which is smaller: t or w?
t
Let r be 2 + (-427)/(-140) - 5. Which is greater: 1 or r?
1
Let x(l) be the second derivative of 1/20*l**5 + 0*l**2 + 2/3*l**3 + 0 - l + 1/3*l**4. Let a be x(-4). Are a and -0.1 non-equal?
True
Let i = 1.6 + -18.6. Let p = 12 - i. Let x = 28.9 - p. Which is smaller: 2 or x?
x
Let w = 865 - 862. Is w at most -1/61?
False
Suppose -2*y + 6*y - 64 = 0. Suppose y = q + 4*d, -6*d = 5*q - 2*d - 32. Let t be 4/6 + q/(-6). Is t at least as big as 1/6?
False
Suppose 2*k = 3*h + 2, h + 0*k = -k - 4. Which is bigger: -51/62 or h?
-51/62
Suppose -4*d + 8 = 4*n - 0*n, 0 = d - 2. Let g = 11/106 - -51/530. Which is bigger: g or n?
g
Let x be 10/(-20) - 26/(-4). Let j = 61 - 54. Does x = j?
False
Let x = 1317/580 - 3/145. Let c = -43 - -49. Let f be ((24/(-21))/4)/(c/(-42)). Do x and f have the same value?
False
Let s = 1335 - 1336. Is 2/651 != s?
True
Let u = -5 + 21. Suppose 0*j = 4*j - u. Suppose y + 2*y = -j*x - 1, 3*y = -5*x + 1. Does y = -3?
True
Let h = 1639/2 + -3328813/4062. Which is smaller: 1 or h?
h
Suppose 0 = 7*t - 2*t - 60. Let c(a) = -13*a + 114. Let l be c(8). Is l less than or equal to t?
True
Let i be (-3 + -1)*5/(-11 - -6). Let c be (i/160*4)/(15/6). Which is smaller: c or -1?
-1
Let a be ((-6)/8)/(7/(-56)). Let j be (-3)/a*2*1. Let u be (-3)/1 - (-78)/27. Which is bigger: j or u?
u
Let q(z) = -2*z**2 + 4. Let u be q(2). Let o = u + 9. Which is smaller: 0.2 or o?
0.2
Let o = 65 - 66.24. Let u = o - 0.26. Is 2 at least as big as u?
True
Suppose 0 = -3*b - 405 + 402. Let a = 544 + -10340/19. Which is bigger: a or b?
a
Suppose 0 = 10*t + 21*t. Let i = -41 + 13. Which is greater: t or i?
t
Let f = 0.6 + -1. Let k = -3 + -12. Let j = k + 13. Is f at most j?
False
Suppose 2*x - 6 = -x. Suppose 0 = -3*f - t + 16, 5*t - 3*t = 8. Suppose -3*c - x = -f*c. Is c at most as big as 10/11?
False
Let f(s) = -12*s + 16. Let g be f(11). Let m be (-3)/(-5) + g/(-15) + 0. Which is greater: 7 or m?
m
Let m(u) = 3*u**3 - 39*u**2 + 19*u + 100. Let x(t) = -t**3 + 13*t**2 - 6*t - 33. Let a(h) = 3*m(h) + 8*x(h). Let o be a(12). Let q be 2/(-7) + 24/133. Is q < o?
True
Let i = 128 + -125. Let o be (-20)/i*((-22)/(-4) - 5). Is -3 less than o?
False
Let z = -3013 - -21127/7. Which is greater: 4 or z?
z
Let i(f) = f**3 + 7*f**2 + 2*f - 22. Let s be i(-6). Suppose -3 = 3*y + s*d - 1, 2*y - 4 = -4*d. Suppose -c + 5 = -6*c. Is c bigger than y?
True
Suppose 4223*r = 4219*r - 456. Which is bigger: -4 or r?
-4
Suppose -g - 4*g + 60 = 0. Let y be g/(-54) - (-2)/9. Suppose -8*x + 13*x = y. Is -2 greater than or equal to x?
False
Let r be (1 - -2) + 8/(-2). Let n be (-42)/(-45) - r/(-3). Let y be (-2)/5 + 6/15. Are n and y non-equal?
True
Let z = -3.3 - -1.4. Let f = z + 2. Let w = 1.43113 - -0.06887. Which is smaller: w or f?
f
Let m = -36 - -27. Let r(b) = b**2 + 14*b + 21. Let f be r(m). Which is smaller: f or -23?
f
Let u be (-20)/(-90) - 1580/(-18). Suppose -2*l + u = l - 4*a, 56 = 2*l - 4*a. Suppose 7*n = -n - l. Is -1 > n?
True
Let r = -216.06 - -216. Is 28 greater than or equal to r?
True
Let z = 12.5 + -123.5. Let i = z + 111.88. Is -0.1 != i?
True
Let s = 43 - 40. Let r be s + 532/(-108) - -2. Which is smaller: -1 or r?
-1
Let i = 32 - 75. Let u = i - -43.1. Let j(g) = -g**3 - g**2 - g + 1.