- -28. Which is smaller: b or 26?
b
Let d be (-1)/(-24)*-4*9/613. Is d greater than -1?
True
Let u be 55/3234*((-5)/(5 + 20) + 2). Let r = -1 + 0. Is r at most as big as u?
True
Let s = -136 - -183. Are 4 and s equal?
False
Let y = 339 - 360. Is y smaller than -1?
True
Let i(l) be the second derivative of -l**4/12 - l**2/2 + 14*l. Let a be i(0). Which is bigger: -2/171 or a?
-2/171
Suppose q + 1 = -5*i + 33, 0 = -q - 4*i + 29. Suppose -q - 25 = -3*n. Is 10 equal to n?
False
Let h be (-3)/((-15)/(-760)*22). Which is greater: -8 or h?
h
Let c be (-3 - (-14)/6)*3. Let j be ((-2)/c)/(2/(-42)). Is -21 at most j?
True
Let c = 237 + -303. Which is smaller: c or 0.2?
c
Let g be -1 - ((-186)/24 + 7). Which is bigger: g or -34?
g
Suppose -4*g + 0*w = -w + 110, -5*w = -2*g - 46. Let h be 0*(g/(-8))/7. Let o = -18 - -130/7. Are o and h equal?
False
Let m(l) = l**2 - 6*l - 10. Let k be m(7). Let q = 1 + k. Let x = 0.023 + -0.023. Is x not equal to q?
True
Suppose 0 = 3*c + 2*q - 75, -q - 4*q = -4*c + 77. Suppose 0 = -2*t - c - 17. Let h be (4/114)/(t/15). Which is smaller: h or -1?
-1
Let y = 8.28 + -0.28. Let x = -6 + y. Which is bigger: -1/4 or x?
x
Suppose 3*a + 42 = -3*o, 28 = -4*o + 3*a - 0*a. Let v be (o/4)/(-1*(-21)/(-6)). Let y be 14/20*-2 + 1. Is y at least v?
False
Let a = -945.7 + 946. Is a < 3/2?
True
Let b = -90 - -94.4. Let d = b + -9.5. Do 2/7 and d have the same value?
False
Let s(b) = 2*b**2 + 2*b - 2. Let o be s(-2). Let n = o + -3. Are -3/14 and n equal?
False
Let j = 36936827/1090 + -33887. Are j and -1 nonequal?
True
Let n = -32 + 32. Suppose 0 = -2*c + 10, 3*f + 2*c + 4 = 20. Suppose 0 = -4*u - 3*i - 4, 2*u + f*i + 4 = -0*i. Is u equal to n?
False
Let l(n) = n**3 - 5*n**2 - 30*n - 7. Let o be l(-9). Do o and -870 have different values?
True
Let y be (-1)/(-141)*1/(-5)*2. Let p = y + 7759/1410. Let s = -6 + 11. Which is smaller: s or p?
s
Let a = 12654 - 2948392/233. Let g = a - -876/9553. Is g equal to 0?
False
Let r = -2 - 0. Let m = 0.37 + 0.43. Let d = m - 3.8. Is d != r?
True
Let p = 126/97 - 339/485. Let b = 0.4 - 10.4. Which is smaller: p or b?
b
Let q be 4/6 - 26/(-33). Let k = 19493 + -19493. Which is smaller: k or q?
k
Let i = 9 + -9. Let k be ((-14760)/1341 - -10) + 0 + 1. Is k > i?
False
Let v = 4.83 + -4.67. Which is bigger: -2/5 or v?
v
Let m be (2/(-1))/(106/(-3)). Let o = 143/1590 - m. Let x(y) = -2*y**2 - 2*y - 1. Let j be x(-1). Which is bigger: o or j?
o
Suppose 0 = -21*x + 19*x + 4, 3*j + 4*x = 65. Are j and 17 equal?
False
Suppose 20*l - 48 = 28*l. Which is bigger: l or -28?
l
Suppose -4*m = -3*n + 35, 4*m + 63 = 5*n + 2*m. Let f be 4*n/18 - 2. Suppose 0 = 2*s - 4 - 0. Is s bigger than f?
True
Let l(p) = p**3 + 11*p**2 + 6*p + 19. Let v be l(-10). Let b be ((-3)/v)/(((-3)/(-2))/(-1)). Which is greater: -0.1 or b?
b
Suppose -15*o = 42*o + 12996. Is -228 < o?
False
Let p(w) = -3*w**2 + 24*w - 20. Let z be p(1). Suppose 4*y - 2 = 2. Let k be (2 - y)/((-53)/2). Is z at most as big as k?
False
Let w be (2/(-12))/((-2)/(-136)). Let m = w - -12. Let l = -0.28 - -0.68. Is m at least l?
True
Let g be (0 - -3) + (-180)/62. Which is greater: g or -7?
g
Suppose -16*g = -0*g - 544. Is 33 at most as big as g?
True
Suppose -14*a = -21*a + 84. Which is smaller: 7 or a?
7
Let g = 241 + -299. Is g less than or equal to -60?
False
Let a(y) = -y**3 - 8*y**2 - 6*y + 6. Let x be a(-7). Let w = -4.8 + 5. Which is smaller: x or w?
x
Suppose -3 = -4*w + s - 49, 2*w = 3*s - 28. Which is smaller: -2/5 or w?
w
Suppose 4*z - 23 = -11. Let x(g) = g**3 + 4*g**2 - 7*g - 2. Let d be x(-5). Suppose 5 = z*j - d*j. Which is smaller: j or -3/16?
j
Let h be ((-10)/(-4) - 3)*(-1 + 5). Is h at most -14/19?
True
Let o = 3 - 1. Suppose c + h - 12 = 0, -7*c + o*c + 75 = 2*h. Which is smaller: 15 or c?
15
Let q be (-107)/2 + (-2)/4. Let z(r) = r**3 - 6*r**2 + 3*r + 8. Let y be z(5). Let x be (-90)/q*y/(-5). Is 2 at least as big as x?
True
Let s = 8 - 7. Let y = 2 - s. Let r be 4/8*(y - 1). Which is bigger: -4/5 or r?
r
Let i be ((-9)/394)/(-7*(-27)/252). Is i less than 1?
True
Suppose -3*x - 2*m + 0*m - 248 = 0, 5*x + 2*m = -416. Which is greater: -85 or x?
x
Let b be (-8)/4 - (-200)/102. Let x = b + 112/255. Suppose y = 5*y. Which is bigger: x or y?
x
Let y = 2.5 + -2.511. Which is smaller: 0 or y?
y
Let c(l) = -l**2 - 12*l + 3. Let y be c(-9). Let k = y + -31. Is -2 greater than or equal to k?
False
Let s = -1.55 + 2.55. Which is greater: 5/11 or s?
s
Suppose -2*i = -3*j + 6 - 17, -4*i + 7 = -j. Let l = 1/125 + 1369/750. Is i not equal to l?
True
Let x be (-8 - -3) + (1 - 0) - -21. Suppose -5*b - 8 = x. Is b smaller than -26/5?
False
Suppose -3*t - 120 + 42 = 0. Suppose 6*n - 216 = 4*n. Suppose d + d - 5*f = -54, 4*f - n = 4*d. Is d >= t?
False
Let g(z) = -267*z**3 - 5*z - 4. Let o be g(-1). Is o not equal to 269?
True
Let n be (-6)/45 - (-17)/15. Is n greater than 1/55?
True
Let o = 80 + -61.7. Is o smaller than 1/5?
False
Let j(h) = -h**2 - 17*h + 267. Let s be j(-27). Do -26 and s have different values?
True
Let o = -7 - -12. Let h = 22535/3822 + -40/637. Is o > h?
False
Let x be 22/(-55) + 2161/2. Let c = x - 1081. Which is smaller: c or -1?
-1
Let j be (-2 - (-156)/42)*7/(-2). Are j and -6 equal?
True
Let w(a) = 3*a + 13. Let i be w(-5). Suppose -5*q = -10*q - 55. Let p = q + 8. Which is greater: p or i?
i
Let j = 1412 - 1407. Which is greater: -7/11 or j?
j
Let u be 975/18 + -3 + 2/6. Let j = -51 + u. Let g = -5/137 - 939/548. Are j and g equal?
False
Let p(j) = -j**3 - 11*j**2 + 16*j + 41. Let y be p(-12). Which is smaller: -6 or y?
y
Suppose -2*g - 2*w + 2 = 0, -4*g - 2*w = -0*w - 12. Suppose 2*d = -3*v + 4*d + 14, -g*d - 24 = -2*v. Let b be (-3 + 4)/(4/8). Is v != b?
False
Let u(f) = -f**3 - f + 1. Suppose 0 = -5*y + 5. Let c(d) = 5*d**3 - 12*d**2 + 3*d + 4. Let q(h) = y*c(h) + 4*u(h). Let a be q(12). Is a at most as big as -3?
True
Let s = 392 + -419. Which is bigger: s or -2?
-2
Let z(b) = b**3 - 3*b**2 + b + 7. Let i be z(6). Let a = -849/7 + i. Let w(p) = -p**2 + 26*p. Let f be w(26). Which is bigger: f or a?
f
Let m be 3/27 + (-7)/(-63). Which is smaller: 0.024 or m?
0.024
Let l be (-182)/(-18) - (-24 - (-6 + -28)). Suppose 0 = -3*q + 3*f + 6, -2*f = -q + 2*q + 4. Is l not equal to q?
True
Let g be ((-50)/6)/((-2)/(-12)). Suppose 7*p + 34 + 309 = 0. Which is bigger: g or p?
p
Let o = -513/1760 + 3/160. Let s = -208 + 207. Which is smaller: o or s?
s
Let l = 127085 + -127150.971. Let j = -66 - l. Let g = j - -26.029. Which is greater: -1 or g?
g
Let a be 6 + 5/(-25) + 1/3. Let q = 34/5 - a. Which is smaller: -2/9 or q?
-2/9
Let h(b) = -b**3 - 6*b**2 - b - 4. Let w be h(-6). Suppose 4*y = w - 6. Let t be -1 + (y - (-2 + 3)). Which is bigger: -2 or t?
-2
Let x be 2/10 + (-63)/(-35). Suppose 4*y = -5*q - 8 - 2, -x*y = -q - 2. Let i be (1 - q/(-1))*1. Is -1 greater than i?
False
Let h = 0.394 - -0.006. Which is smaller: h or 10/13?
h
Let q = -0.187 + 1.387. Is 98 bigger than q?
True
Let w be -4 - 2*845/(-50). Let x = 141/5 - w. Which is smaller: -0.2 or x?
x
Let n be ((-12)/(-30))/1*(15 + 0). Suppose -2*x + f = 2*x - 3, x + 5*f = n. Let a = 2/527 + 4727/4216. Is x less than a?
True
Suppose 8 = -4*g - 3*o, -g + 5*g + 8 = 4*o. Let l = -21 - g. Let p = l + 14. Is p less than 1?
True
Suppose 0 = 5*s - 2*c - 0*c + 1539, -5*c = 4*s + 1251. Which is smaller: s or -310?
-310
Let m be (-13)/(-22)*-301 - 2. Let l = m - -180. Which is greater: l or 0?
l
Let l = 368.2 + -368. Is l at least as big as 2/157?
True
Suppose 5*s + 637 = 3*t, 8*s = 10*s - 2*t + 258. Which is greater: s or -123?
-123
Suppose 0 = 4*l, -2*y - 6*l + 2*l - 132 = 0. Let x be y/(-9) - (4 + 0 + -3). Does x = 6?
False
Let c = 120.9 + -121. Which is smaller: c or 233?
c
Suppose -2*z = 3*i - 5*z + 48, 0 = -5*i + 4*z - 83. Let f(g) = g**2 + 18*g - 31. Let v be f(i). Suppose -2*w = 5 + 17. Is w at most v?
False
Let a be 1/(-1*(-1)/(-93)). Let h be a/(-6) - 3/2. Which is bigger: h or 12?
h
Suppose -4*k = k - 10. Suppose 0 = k*g + g + 12. Let w = -1 - 2. Which is bigger: g or w?
w
Let r(p) = -5*p - 11. Let b(c) = c. Let q(g) = 4*b(g) + r(g). Let k be q(-15). Which is bigger: 5 or k?
5
Let a be ((-14)/((-112)/(-6)))/(3*(-15)/(-40)). Let i be (-15)/(-2)*(-16)/(-6). Which is bigger: a or i?
i
Le