9. Do o and p have the same value?
False
Let d(b) = -b + 29. Let w be d(23). Suppose -v + w*v + 6 = -4*s, 0 = 3*s + 2*v + 8. Which is smaller: -14/3 or s?
-14/3
Suppose 81 = -7*o + 25. Let b(f) = -f**2 - 11*f - 16. Let q be b(o). Are 8 and q nonequal?
False
Let n = 1667 - 1667. Which is bigger: n or -3/22?
n
Suppose 3*v = -23 + 83. Let w be 104/(-20)*(-25)/v. Are 7 and w equal?
False
Suppose -3*q + 5*i = 60, -2*i + 4*i + 24 = -2*q. Let d = 14 + q. Let r be 1 + 4 - 159/30. Which is smaller: r or d?
d
Let y = 42 + -16. Let c = 42 - 25. Let b = c - y. Is -9 smaller than b?
False
Let c = -22 - -22.6. Let p(a) = a**2 - 7*a + 5. Let w be p(5). Let g = -6 - w. Which is smaller: c or g?
g
Suppose 2*v + 1 = -i + 41, -2*i + v = -60. Is i greater than or equal to 29?
True
Let k(y) = -y**2 + 2*y + 9. Let l be k(0). Let r be ((-6)/2)/(l/6). Let d be r - (2 + -3) - -4. Which is greater: d or 1?
d
Let u = -734 + 713. Does u = -6?
False
Let x = -2163 - -2159. Which is bigger: 137 or x?
137
Let y = -5 - -6. Let o be y/((-2)/(-2 + 24)). Let l = -19 + 8. Do o and l have the same value?
True
Let u = 11 - 33. Let z = u + 15. Let x = z + 6. Which is greater: x or -9?
x
Let w be 0 - ((-4)/2)/(-30). Let s = 17/30 + w. Let x = -2.08 + 8.08. Which is smaller: s or x?
s
Suppose 2*t - 5*t + 21 = 0. Suppose 8 = 6*n + 26. Let o(b) = b**2 + b + 2. Let x be o(n). Which is greater: t or x?
x
Let w(x) = x**3 + 7*x**2 - 4*x. Let n be w(-8). Which is greater: -95/3 or n?
-95/3
Let d = 1.109 - 0.009. Is d greater than -7?
True
Let z = 0.1629 - 0.0629. Is 688 at most z?
False
Suppose -3*d + 16 = 4*v, -3*d + 1 = 5*v - 19. Let z = -22/9 - -185/72. Which is smaller: z or d?
d
Let q be -1 - 6/(-9)*-15. Let h = -11 - q. Suppose -4*t - 4*z - 4 = h, 5*t - 5*z - 2 = 3. Is t not equal to 4/7?
True
Let r = 472 - 472. Is -28/37 not equal to r?
True
Let c = -3.02 - -3. Let i(x) = x**3 - 4*x**2 + x + 4. Let v be i(3). Let y be (v + 21/6)/3*1. Which is bigger: y or c?
y
Let i = -4290 + 3933928/917. Are -1 and i unequal?
True
Let g = -48 - -48. Suppose g = -3*y - 2*l + 11, -4 = 3*y - 2*l + 1. Is 0 bigger than y?
False
Let u = 8 + -4. Suppose 4*y - 12 = 5*i, 20 = -4*i + 5*y + 5. Let w be i*(u/(-4) - 0). Which is smaller: w or -2/9?
-2/9
Suppose 8*w + 18*w = -26. Which is bigger: w or 18/353?
18/353
Let v = 1397 - 1382. Is v less than 71/5?
False
Suppose 3*x + 3 = 27. Suppose i - f = -13, 3*i + 2*f + x = -11. Are -9 and i equal?
True
Let l be ((9/3)/1)/1. Let c(w) = -2 + 1 - w**l + 9*w**2 - 2*w - 5*w**2. Let u be c(2). Which is greater: 2 or u?
u
Let g = 1534/15 + -278/5. Let o = 45 - g. Is o < 4/3?
True
Let a be 0*((-15)/6 + 10/5). Which is bigger: a or -2/3151?
a
Let s = -20 + -20. Let z = -14 - s. Let v = -1.7 - -1.6. Is z greater than v?
True
Let a be (2083 + 15)*-3*4/(-24). Is 1048 less than or equal to a?
True
Let i = -149 + 135. Which is greater: i or -15?
i
Let w be (-3 - (4 + -3)) + 2. Let m be (w - 10/(-8))*40/5. Which is bigger: -3 or m?
-3
Let n be (315/14 - -3)/((-1)/2). Which is smaller: -49 or n?
n
Suppose 3*v - 3 + 15 = 0. Let t be v/22 + (-368)/(-88). Which is bigger: 19/6 or t?
t
Let c be (-130)/126 - 1/(-1). Let o(x) = x**3 + 109*x**2 + x - 1. Let z be o(0). Which is greater: z or c?
c
Let p(z) = -3*z**2 - 109*z - 41. Let l be p(-36). Let t be (-22)/8 - (4 - 2). Which is smaller: l or t?
l
Let m = 0.35 + -0.25. Let w = 6 + -3. Let p = -2 + w. Which is greater: p or m?
p
Let v be (-33 + 34)*((1 - 0) + -2). Which is smaller: v or 2/4615?
v
Suppose 0 = -2*l + j - 4 + 2, 0 = 2*j. Let h = -3 - -2. Let a be h/13 - (1 - 1). Which is smaller: a or l?
l
Let h be 35/78 - 13/26. Let w(n) be the third derivative of -n**5/60 + 13*n**4/24 - 23*n**3/6 - 10*n**2. Let m be w(11). Which is smaller: h or m?
m
Let l be (-4*2/(-12))/(10/(-555)). Is l < -44?
False
Let s = 4.7 - 0.6. Let m = -4.4 + s. Is m at most as big as -3?
False
Let b(t) = -3*t - 5. Let r be b(8). Let n = r + 29. Let z = 3 + n. Is 4 equal to z?
False
Let a = -0.5 + 19.5. Let l = -40 - -19. Let r = a + l. Is r < -2?
False
Let m(f) = -f**3 - 13*f**2 - 2*f - 27. Let r be m(-13). Which is greater: r or -29/19?
r
Let q(l) = -l**3 + 3*l**2 - l + 3. Let w be q(3). Suppose w = -3*p + 4*p. Let y = 55235/51 + -1083. Is y > p?
True
Let w = -125 - -192. Which is smaller: -2/7 or w?
-2/7
Let o = 19 + -9. Suppose o*y - y = 0. Which is smaller: y or -3?
-3
Let l(p) = 2*p**2 + 4*p + 4. Let x be l(-2). Is x >= -0.8?
True
Suppose 240*b + m = 237*b - 4, -4*m - 16 = b. Which is bigger: -1/826 or b?
b
Let l = -1/243 + -1445/3159. Let c = 32 + -7. Let n = 24 - c. Is n greater than l?
False
Suppose g + 0*g = z + 2, 4*g = 2*z + 12. Suppose 16*q - 13*q = g*b - 11, 19 = b - 4*q. Is -3 at least b?
False
Let g = -5297/2461 - -48/23. Is 0 at most g?
False
Let i be (20/641)/(4 - 30). Let m = 4441439/41665 - i. Let t = -107 + m. Is -2 <= t?
True
Let j = 326 + -256. Is 70 at least j?
True
Let h(s) = s**2 + 8*s - 1. Let i be h(-8). Let l be 17863/5668 - (-9)/(-3). Let a = l + 1/436. Which is greater: i or a?
a
Let l = 15 + -9. Let n be 10/(-15) - (-8)/l. Is n > 1?
False
Let r be 1*(4/6 - 10/(-30)). Which is smaller: r or -2/267?
-2/267
Let j(d) = 2*d**3 - 21*d**2 - 12*d + 3. Let p be j(11). Suppose 4*a - 34 - 46 = 0. Let m = 11 - a. Is p less than or equal to m?
False
Let c = 2 - -4. Let t = 3.8 - -8.2. Let n = c - t. Is 2 at most as big as n?
False
Suppose 13*i = 11*i. Suppose 3*a - 5 = 5*m + 4, i = -4*m - 4*a - 20. Is m < -20/9?
True
Let b(q) = q**3 + 8*q**2 + 13*q + 3. Let d be b(-5). Suppose 8 = 5*m + d. Which is smaller: -2/11 or m?
m
Let c = -1191 + 1191. Is c <= -1/780?
False
Let v(t) = -3*t**2 - t. Let c be v(1). Let x be (c/6)/((-5)/15). Suppose a = x*a. Which is smaller: -1/3 or a?
-1/3
Suppose -6*z + 29 = 5. Suppose z*m = 10 + 6. Which is smaller: -3 or m?
-3
Let h = 1230 + -1065. Is h at least as big as 0.2?
True
Suppose 0*a + 2*a = 20. Suppose -6*z + 409 = 2*p - 7*z, -z = 3*p - 621. Let d = -196 + p. Is d bigger than a?
False
Let z = -495685 - -7927665/16. Let r = -206 - z. Let n be ((-4)/(-2))/((-4)/2 - 2). Which is smaller: n or r?
n
Let h = 40.8 - 29.8. Let y = 376/7 + -54. Is h less than or equal to y?
False
Suppose 4*z - 3*i = 8, -4*z + i = -0*z - 8. Let h be (830/(-40))/(1/4). Let g = h + 89. Is g smaller than z?
False
Let m(l) = -l**3 + 12*l**2 + 12*l + 19. Let c be m(13). Suppose 0*o - 2*o + c = 0. Let h be 13/o - (-7)/(-21). Which is smaller: -0.2 or h?
-0.2
Let z be (-1 - -7) + -3 + -4 + 3. Suppose -8*m = -z*m - 324. Is 55 greater than m?
True
Let d = 0.64 - 1.94. Which is smaller: d or 2?
d
Let f be 1/((-35)/(-14)) + 4/(-10). Is 140 greater than or equal to f?
True
Suppose -80 = 60*t - 55*t. Is -16 smaller than t?
False
Let b be ((-102)/2074)/(3*-1). Is b != 1?
True
Let s(y) = y**3 - 3*y**2 + 2*y - 4. Suppose 0 = 3*j - 4*b - 13 - 4, j = 2*b + 7. Let w be s(j). Let l be (-100)/8*2/(-20). Do l and w have the same value?
False
Let r = 127777/95 + -1345. Which is greater: r or 0?
r
Let p = 3.959 - -0.041. Which is smaller: p or 13?
p
Suppose -61 = 4*k - 65. Which is bigger: 2/1553 or k?
k
Let s be -1 - 7 - ((-448)/(-42) - 19). Let v = 1 + -4. Is s greater than or equal to v?
True
Let w = -5 - -8. Let x = 10 + 7. Let i = x - 17. Which is smaller: i or w?
i
Let b = -0.13 - 0. Let r = 0.22 + b. Let n = r - -0.11. Which is smaller: 1/2 or n?
n
Let s = 9917/10545 - 5/703. Let f = 27 + -27. Which is smaller: f or s?
f
Let m = -5 + 5.33. Let y = 0.28 - m. Which is greater: y or 0.3?
0.3
Let m be (49 + -11)*(-1 - -2). Is m bigger than 36?
True
Let b be 3*((-10)/(-2) - 2). Suppose 5*u - c - 2 + b = 0, -u + 2*c = -4. Let s be 12/(-18)*u/(-4). Which is bigger: 0 or s?
0
Suppose -4*f + f - 230 = -p, p + 378 = -5*f. Is f at least as big as -77?
True
Let z(v) = v - 3. Let o be z(6). Suppose l - 3*b = -6, -31 = -o*l - 4*b + 3. Let t = 1965/2 + -982. Which is greater: t or l?
l
Let u be 2 + (-12)/1*-1. Suppose -l - 42 = -4*z - 1, z - 4*l - u = 0. Is 10 at least as big as z?
True
Suppose -3*b = 3*u - 615, 8*b - 1019 = -5*u + 5*b. Is u > 203?
False
Let p(q) = -q + 3. Let f be p(-5). Let k = 9.02 - 0.02. Let v = 11 - k. Does v = f?
False
Let c = -148772290/2041083 - -2/226787. Let j = 173 + -101. Let s = j + c. Which is greater: -0.1 or s?
-0.1
Let r = -78