23.2 - 26. Let k = p + b. Which is smaller: k or -5?
-5
Suppose 5*i + 39 + 6 = -5*k, -3*k = i + 33. Let j be k/161*(-21)/(-6). Which is bigger: j or 0?
0
Let k be 2*214*(-16)/(-64). Which is smaller: 108 or k?
k
Let p = 0.032 - 0.232. Which is bigger: p or -2/55?
-2/55
Let u(y) = 2*y**3 - 13*y**2 - 8*y + 6. Let m be u(7). Let a(p) = -p + 2. Let j be a(0). Let z be j/(-9) - (-44)/36. Is m smaller than z?
True
Suppose -2*n = -3*p - 13, 0 = n - 2*p - 9 + 1. Suppose -n*s = 2*s + s. Which is bigger: s or 20/17?
20/17
Suppose 5*f = 3*j + 15, -3*j - 20 = -4*f + j. Let w be 2/147*(-9)/6. Which is smaller: w or f?
w
Let v = -603 - 893. Is -1496 >= v?
True
Let k(r) = r**3 + 6*r**2 + 4. Let o be k(-6). Suppose x = -5*u - 3*x - 25, -u = -x - o. Which is smaller: u or 2/39?
u
Let m = 17/14 - 443/434. Let c = m - -13/93. Which is bigger: 0 or c?
c
Let b = 837 - 752. Let g = -98 - -45. Let t = b + g. Is 0.1 less than t?
True
Let v be ((-12)/(-15))/(5/((-1100)/(-8))). Let h be v/(-4)*(0 + 2). Let o be (1/2)/(2/(-48)). Is h > o?
True
Let a be 4/12*3*-52. Let u = a - -52. Which is bigger: u or -2/83?
u
Let m(p) = p**2 + 1. Let j be m(2). Let y(r) = 3 + 7 - 3*r + 6. Let q be y(4). Which is greater: q or j?
j
Let h = -6 + 6. Let x be 34/(-8)*88/(-11). Let u = 100/3 - x. Which is greater: u or h?
h
Suppose -t + 85 = -5*x - 24, -4*x - 3*t - 72 = 0. Let m(d) = 2*d + 50. Let f be m(-15). Let l = f + x. Is l > 3/17?
False
Let x = 251.82 - 252. Is -5 at least as big as x?
False
Suppose 5*t + 14 = 2*s, 0 = -2*s - t + 6 - 4. Suppose h - 8 = s*h. Let m be 2/(-4) + h/(-16). Do m and 0 have different values?
False
Suppose 65 = 4*x + 2*y - 7, -5*y = 2*x - 52. Which is greater: 15 or x?
x
Let w(v) = 7*v + 217. Let b be w(-32). Is b != -9?
True
Let p = -185.1 - -185. Suppose 2*f = -z - 1, 2*z + 3*z + 11 = -4*f. Let d be f/(-2) + -3 + 2. Which is greater: d or p?
p
Let a(m) = -m**3 - 6*m**2 - 3*m - 6. Let c be a(-5). Let v = 35 - 29. Let h be -1*(-71)/(-4) + v/8. Which is smaller: c or h?
h
Suppose -103 = -5*i - 3*s, -2 = s - 3. Let z(y) = 8*y - 5. Let a be z(3). Are a and i non-equal?
True
Let y = -139.49 + -0.51. Let r = 141 + y. Which is smaller: r or 3?
r
Let p = 5.07 + 19.93. Is 2/9 != p?
True
Suppose -19 = -3*k - 2*t - 5, 5*k - 20 = -5*t. Let s be 8/k*3/2. Let n be 17/12 + (1 - (-49)/(-28)). Is n > s?
False
Let f(v) = v**3 + v**2 - v. Let z be f(-2). Let t be 0 - 45*5/5. Let h be 87/t - (-10)/75. Which is bigger: h or z?
h
Suppose -3*n = 5*z + 67, -24 = 2*z + 4*n - 0*n. Let o be ((-40)/(-910))/((-12)/z). Which is greater: 1 or o?
1
Let w = 32 + -20. Suppose 20 - 18 = p. Suppose p*v = -3*v + 4*a - 30, -w = 2*v + 4*a. Do -6 and v have different values?
False
Let i = -263 - -264. Is i <= 0.0604?
False
Let z be -8 - (1 + 3 - 11). Let t = 20.8 + -15. Let g = t - -1.2. Which is smaller: z or g?
z
Let f be (6/(-5) + 1)/(-96 - -97). Which is smaller: f or 3.3?
f
Let f be (7 + (-1510)/(-30))/((-20)/18). Which is smaller: -53 or f?
-53
Let q = -218 + 222. Is q at most -26?
False
Let m(i) = -2*i**2 + 8*i. Let l be m(5). Let d = l - -8. Let f = d - 3. Which is smaller: f or -7?
-7
Let k = -14.3 + -5.7. Let z = 29 + k. Which is greater: 1/3 or z?
z
Let x = -8 - -10. Let l be ((-8)/20)/(x/(-300)). Suppose -7*s + l = -4*s. Which is smaller: 21 or s?
s
Let g be -5*-1*2/5. Let z be ((-2940)/(-1468) - 4) + 2. Let w = 1839/1468 - z. Which is greater: w or g?
g
Let g = 514 - 533. Are -6 and g non-equal?
True
Suppose 5*n - 2*z - 112 + 13 = 0, -2*n = 3*z - 51. Suppose f + 1 = -n. Is f less than -23?
False
Let l = 68578602/55 - 1246930. Let x = l + 510/11. Let z(p) = -p**3 + p**2 + 2*p - 1. Let m be z(1). Which is bigger: x or m?
m
Let d(z) = 2*z**3 - z**2 - 2*z - 4. Let n be d(3). Suppose -9 = -2*j + n. Let c be 720/(-4444) - (-4)/j. Which is smaller: 0 or c?
0
Suppose 0 = a + 69 - 40. Which is greater: a or -147/5?
a
Let t = 1791/4 - 77133/172. Do 0 and t have different values?
True
Let f = -2.01 - -0.01. Let b = -1.9 + -0.9. Let r = b + 4.8. Is f greater than r?
False
Suppose -4*b + 0*b = 56. Let v be 21/b - 36/(-40). Let o be 1/(-4) + 3/(-4). Which is bigger: v or o?
v
Let n(u) = -u**2 + 22*u - 88. Let a be n(17). Is -7 >= a?
False
Let p be (6*3/30)/(36/840). Suppose -m = 4*y - 6, 0 - 6 = -m + 5*y. Suppose 5*t - h + m*h = 55, 0 = 3*t - 5*h - 65. Is p < t?
True
Let a = -23 + 26. Let l = 0.94 + 3.06. Which is greater: a or l?
l
Let f = -267 - -277. Is 24 greater than f?
True
Let d = 0.78 - 0.712. Let j = d + 1.632. Which is greater: 4 or j?
4
Let p(u) = -12*u**2 - 5*u + 10. Let i be p(3). Let t = 114 + i. Which is greater: 1/3 or t?
t
Suppose -8*l + 27 - 19 = 0. Is l less than or equal to -21?
False
Let h be 10/135 + (-6397)/(-27). Which is smaller: h or 236?
236
Let t = -36 + 54. Let m = 30 - t. Let r be (-6)/4*(-2)/m. Is r equal to -0.1?
False
Let z = -30 - -93. Which is smaller: 66 or z?
z
Let n = 31/72 - -5/72. Are n and -2/187 non-equal?
True
Let j = 336 - 392. Which is bigger: -60 or j?
j
Suppose 0 = -2*u - l + 2, 4*u + 2 + 0 = l. Suppose u = -2*b + 4*b + 3*f + 4, -b + 5 = -2*f. Let x = -5 + 7. Is b < x?
True
Let v be (9 + -8)*4*-5. Let w be v/(-33) - (-4)/(-6). Suppose -3*k = -13*k - 10. Which is greater: k or w?
w
Let r = 0.4 + -0.4. Let j = 20.95 - -20.05. Is r < j?
True
Let z(y) = 5*y**2 - 5*y + 19. Let o(p) = -p**2 + p. Let k(w) = 4*o(w) + z(w). Let n be k(5). Which is smaller: n or 40?
n
Suppose -4 = 36*x - 37*x. Let b be x/10*(-25)/405. Is 1 less than b?
False
Let h = -22629025 - -307121126995/13572. Let y = h + -2/377. Is 1 smaller than y?
False
Let m = -4.9 - 5. Let l = -22 + 32. Let h = l + m. Is -11 != h?
True
Let j(a) = -a - 3. Let o be j(-5). Suppose o*p - 70 = 7*p. Let r(b) = -6*b - 110. Let d be r(-16). Is d smaller than p?
False
Let b = -4 + -6. Let i(c) = c - 13. Let o be i(9). Is o less than b?
False
Let n be ((-7)/(-14))/(1/(-20)). Suppose 15 = 2*k - 49. Suppose i = -3*z - 0*i - 26, 0 = 3*z - 5*i + k. Is n at least as big as z?
False
Let n = 0 - 0.1. Let w(r) = -r**2 + r - 3. Let d be w(-6). Let p be -1*3 - 117/d. Is p at most as big as n?
True
Let x = 10143 + -60623/6. Which is greater: 38 or x?
x
Let x be 1*2/(-6)*(-888)/(-8). Is -34 equal to x?
False
Let x be (-2)/(-6)*(-66)/(-8). Let f = 9 - 3. Let q be -3 + f + 2 - 2. Which is greater: x or q?
q
Suppose -5*o + 74 + 16 = 0. Let g = o - 21. Which is smaller: -4 or g?
-4
Let i(b) = -2*b**3 + 10*b**2 + 3*b + 11. Let k be i(5). Suppose 6*a + 292 + k = 0. Is a != -53?
False
Let p be 6*1*17856/(-128). Is p <= -837?
True
Let j be 740/(-385) - 4/(-14). Let v(u) = 3*u - 29. Let i be v(9). Which is bigger: j or i?
j
Let i be (12/9)/((-111)/(-117) - 1). Let x(p) = -3 + p**2 + 5 + 1 + 13*p. Let u be x(-10). Which is smaller: i or u?
u
Let f = 16.68 - 15.68. Which is bigger: f or 1618?
1618
Let j be 36/(-378) + (-1580)/(-273). Which is smaller: 7 or j?
j
Let m = -65.99 + 66.29. Let w = 0.9 - -0.1. Is w less than or equal to m?
False
Let i = -26 - 23. Let y = i - -25. Let h = y - -26. Is 0.1 > h?
False
Let k be 351/(-18)*32/15 - -1. Which is smaller: k or -41?
-41
Let f(z) = 4*z - 12 - 9*z + 17. Let b be f(-14). Is b less than or equal to 151/2?
True
Let i(f) = -2*f**3 + 11*f**2 - 4*f - 3. Let r be i(4). Do r and 27 have different values?
True
Let v(n) = 2*n**2 - 8*n - 11. Let r be v(5). Does r = 44?
False
Let q(l) = -l**2 + 7*l + 55. Let g be q(14). Is g < -35?
True
Let z = 35 - -14. Let q = 43 - z. Is q > -6?
False
Let c = -5548/781 + -12/71. Let h = 8218/1133 + c. Is 1 smaller than h?
False
Let y = 2 - -7. Let f(a) = 4*a**2 + 7*a + 5. Let c(v) = v**2. Let d(k) = 5*c(k) - f(k). Let u be d(y). Is u not equal to 15?
True
Let v be 533/(-123) + 0 + 4. Which is bigger: 0.077 or v?
0.077
Suppose -11*i = -137 - 17. Is i <= -6?
False
Let v(s) = 3*s**3 + 21*s**2 - 5*s + 8. Let c(k) = -12*k**3 - 85*k**2 + 19*k - 32. Let n(o) = -2*c(o) - 9*v(o). Let l be n(-7). Which is smaller: 43 or l?
l
Let n(w) = -w + 9. Suppose -3 = 2*q - 3*q. Let g be ((-28)/(-6) + -2)*q. Let u be n(g). Do u and 0 have different values?
True
Let u be (-4)/(-813*(-1)/(-6) - 5). Which is smaller: u or -1?
-1
Suppose 5*p - f = -1588, -3*p + 5*f = 336 + 608. Are -318 and p unequal?
False
Suppose a = -4*o + 1933, -a - 1468 = -2*o - 497. Are 482 and o non-equal?
Tr