9. Let p = o + 33. Let m = p + 65. Is m bigger than -44?
True
Let a = 10.289 - 11.38. Let t = -0.091 - a. Which is smaller: 0.024 or t?
0.024
Suppose -4*h = -4*i + 612, 3*h + 306 = h - 4*i. Let c be (-40)/h + 28/(-126). Let u(t) = -t**2 + 9*t - 18. Let l be u(6). Is c > l?
True
Let j be ((-10)/(-25))/(11/110). Suppose 3*y = -j*u + 320, y + 2*u - 34 = 70. Is y at most as big as 113?
True
Let w = 4157 + -3520. Which is smaller: w or 640?
w
Let q = 130 + -303. Let c = -78 - q. Let r = c + -94.8. Which is bigger: r or -2.5?
r
Suppose -21 + 21 = 29*j. Suppose -s + 5*x + 91 = 0, 5*s - 347 = -x - x. Let m = 1067/15 - s. Which is smaller: m or j?
j
Let b = 9 + 8. Let u = b + -19. Let y be (u - (19 + -4)) + 2. Is y at least -2/3?
False
Suppose 1129 = -86*v - 1451. Is v >= -229?
True
Suppose 9*w + 13*w + 0*w = 88. Which is greater: 137/34 or w?
137/34
Let h be 1 + -1*6387/(-3). Let w be (-4)/(-10) + 83745970/39325. Let n = h - w. Which is greater: n or 1?
1
Let v = -43.9 + 46.63. Let l = 2.43 - v. Let i = 6 - -2. Is l at most i?
True
Let h = -213.8 + 542.4. Let r = 330 - h. Is r not equal to 11?
True
Let y be (-1629)/180 - 6/8. Let n = -10 - y. Let t = 37 - 37.8. Is t at least as big as n?
False
Let h be (0 - 3)/((-12)/4)*-1. Which is smaller: -17/100 or h?
h
Let z(l) = 3*l**3 + 84*l**2 - 179*l + 187. Let j(c) = -2*c**3 - 41*c**2 + 89*c - 94. Let t(n) = -5*j(n) - 3*z(n). Let s be t(45). Which is bigger: 9/22 or s?
9/22
Let a(b) = 3*b - b**2 + 14 + 18*b - 9*b. Let c be a(13). Let k be (-2)/8 + (-336)/(-64). Is k at most as big as c?
False
Let i be 13 + 1 + 438/(-30). Which is greater: i or 2705?
2705
Let m = -3.9322 + 3.97. Let r = m + 0.2622. Which is smaller: 1/41 or r?
1/41
Let z(k) = 2*k + 31. Let j be z(22). Let d be (3/8)/(j/(-220)). Do d and -2 have the same value?
False
Let f = -5 + 5.1. Let t = -32.92199 - 0.07801. Which is bigger: t or f?
f
Let i(v) = v**2 + v - 20. Let j be i(0). Let l = 69008 - 69031. Is l greater than j?
False
Suppose -2*d = -5*d. Suppose -x = -d*x. Let v = -6004/4249 + 164/607. Which is greater: x or v?
x
Let v = 19247 - 116599/6. Let n = 187 + v. Which is smaller: n or -17?
-17
Suppose -63*n + 5285 = -70. Is n greater than 86?
False
Let s be (0/90)/((-2)/1). Is s at most 82?
True
Let m = 75 - 65. Let f be 2 + 8 + m/(30/6). Suppose -f*i + 17 = -11*i. Which is smaller: i or 13?
13
Let k(d) = 26*d**3 - 3*d**2 + 2*d + 3. Let s be k(2). Which is smaller: 204 or s?
s
Let y = -1936 - -30977/16. Let u(z) = 2*z**3 - 9*z**2 + z + 5. Let f(p) = -p**3 + 1. Let k(s) = -3*f(s) - u(s). Let q be k(-9). Which is smaller: y or q?
y
Let d = -267.3 + 267. Which is smaller: d or 32?
d
Let a be 14 - 16/348*357. Is -3 not equal to a?
True
Let c = -5921 - -5920.5. Is 137 < c?
False
Suppose -5*w + q = -445, -3*q - 1 = -16. Let b be w/21 + (-10)/35. Let c(r) = -2*r**2 - 2*r - 1. Let u be c(b). Is u at least -42?
True
Let y be -7 + (-92)/(-14) + 208/28. Which is smaller: 113/16 or y?
y
Let g = -230 + -11. Let l = -82 + 81. Which is smaller: l or g?
g
Suppose -11880 = -18*q - 36*q. Let a be ((-4)/q)/(26/195). Which is bigger: 0 or a?
0
Let q = 25706 + -25717. Are q and -10.2 nonequal?
True
Let y = -22 + 21. Let a be (-9)/6 - (y - 0). Let z = 8.7 + -7.7. Is z greater than a?
True
Let t = 1216/165 - 2/55. Suppose 6*b - 2*h = 4*b + 48, 5*h + 36 = b. Suppose 2*g - b + 5 = 0. Which is bigger: t or g?
g
Let b = -84.892 - -85. Let t = b + -77.108. Let z = t + 76. Which is greater: -5/3 or z?
z
Let n = -326.37 - -328.37. Let u = -7.89 + -2.01. Is u at least n?
False
Let s(k) = 10*k**2 + k - 9. Let j(b) = 5*b**2 - 4. Let f(h) = 9*j(h) - 4*s(h). Let d be f(1). Which is smaller: d or -5/3?
-5/3
Suppose -4*y + 0*y - 44 = 0. Let z be (-15*12/(-210))/(3/14). Suppose -z*l - 52 = 5*v, 2*l + 36 = 2*v - 7*v. Is y equal to l?
False
Let n = -11556 + 10693. Is n < -868?
False
Suppose -3*m + 8 = m. Let a(d) be the third derivative of d**4/24 - d**3/3 + 1995*d**2. Let k be a(m). Which is smaller: k or -2/51?
-2/51
Let r be (3 - -1) + (-90)/(-10) + -12. Let g be 2/(-8) - (-7)/(168/30). Are g and r equal?
True
Suppose 3*v - 4*v = 1. Let r be (-194)/485*(-1 + 536/526). Are v and r equal?
False
Suppose 2*n + 11 = -3*b, -5*b - 2811 + 2786 = 0. Is n bigger than -7.99?
True
Let o be 82/(-451) - ((-252)/(-66) + -3). Is o greater than or equal to -12/655?
False
Suppose -26*a = 26*a + 99*a - 533785. Is a greater than or equal to 3532?
True
Suppose -100*p - 136413 = 82987. Is p less than -2194?
False
Let h = -148 - -167. Let b = -21 + h. Which is greater: 1.7 or b?
1.7
Let k = 4.426 - 40.426. Which is smaller: k or 1.6?
k
Let v be (-18 - -2)/(-4) + (1 - 10). Which is smaller: -235/58 or v?
v
Suppose -2*n = 2*u + 9 - 245, -375 = -3*u + 4*n. Which is smaller: u or 856/7?
u
Let l(p) = p**3 - 16*p**2 - 32*p - 23. Let x be l(18). Let f = 93 - x. Let b = -6 - f. Which is smaller: -48 or b?
b
Let f be 274/1106 + ((-4)/(-10) - 1296/1890). Is -3 >= f?
False
Suppose 0 = -7*x - 307 - 197. Let o be (1 - x/(-45))*6/9. Is o equal to -8?
False
Let h = 3344.996 - 3344. Let s = -0.2 - -0.196. Let j = s - h. Which is smaller: j or 1?
j
Let c = 455 + -16836/37. Suppose 0 = q + 7*v - 21, 2*q + 33*v = 29*v + 12. Which is smaller: q or c?
c
Let g be (-80)/(-14) - (-2)/7. Suppose 0 = -9*m - 41*m + 1700. Suppose 4*t + g = -m. Is t at most -1/4?
True
Let f = 35.7141 + 0.2859. Which is smaller: 232 or f?
f
Suppose -936*m - 27555 = -951*m. Which is smaller: m or 1838?
m
Let v = -184 - -1658/9. Suppose u + 4*p - 78 = 37, -4*u + 2*p = -388. Suppose -2*m = -15 + u. Which is bigger: v or m?
v
Suppose 4*o - 211 = -0*o - l, 2*l - 266 = -5*o. Let q = 344 - 291. Let n = q - o. Is n > 3?
False
Suppose -694 = -543*b + 545*b. Which is smaller: b or -349?
-349
Let j = 395 + -370. Suppose -431 - 19 = -j*t. Which is smaller: t or 15?
15
Let p be 264/10*(-6)/(-9). Suppose -64*c + 24*c = 77*c - 2106. Which is bigger: c or p?
c
Let f(w) = -4*w**3 + 6*w**2 + 4. Let a(m) = -7*m**3 + 12*m**2 + 7. Let i(l) = -3*a(l) + 5*f(l). Let k be i(6). Let r be (-4)/5 - (-392)/(-385). Is k at least r?
True
Let x(l) = 4*l**2 - 3 + l**2 + 9 + 11*l. Let b be x(6). Let p be (-266)/b + 1/2. Is -1 at least as big as p?
False
Let p = -14 + 36. Suppose -18*f - 4 = -p*f. Which is smaller: f or -4/3?
-4/3
Suppose 2*a - 996 = 6*a. Let s = a + 144. Is -105 less than or equal to s?
True
Let b = 2574 - 2575. Which is smaller: b or 3/29?
b
Let s = -7.1 - 37.9. Let y = 41.1 + s. Let u = 1.9 + y. Which is smaller: u or -6?
-6
Let x(k) = 46*k**3 + k + 1. Let y be x(-1). Let d = y - -183/4. Let q = 0.101 - 0.081. Which is smaller: q or d?
d
Suppose -4*r = -3*x - 15, -2*r + 3*r + 5*x = -25. Suppose r = -8*h - h + 5*h. Suppose h*s + 7*s = 0. Is s at most -1/2?
False
Let i(l) = -l**3 + l**2 - 7*l + 10. Let h be i(0). Let f = -1 + 5. Suppose -f*g = -3*g - 11. Which is smaller: g or h?
h
Let h be 218/77 - (-4)/(-14). Suppose 0 = 25*p + 1902 + 5498. Let u = p - -299. Which is bigger: h or u?
u
Suppose -18*j + 13*j + d = -2742, 2*d + 2184 = 4*j. Is j smaller than 3845/7?
False
Let j = -0.0103 + 201.0103. Let g = -105 + j. Let r = 96.08 - g. Which is greater: r or -2?
r
Suppose 14409 = 2*l + 21175. Is -3381 greater than or equal to l?
True
Let s = 3080 - 3071. Which is smaller: -102 or s?
-102
Let r be (-459)/6*-6*(-8)/9. Let i = 37943/93 + r. Which is bigger: -1 or i?
i
Let z(g) = g**2 + 12*g + 11. Let q be z(-12). Suppose 5*v = -q - 34. Let b be (-12)/(-234)*v/(-2). Is b less than or equal to 0?
False
Let n = -11974292/35 - -342162. Which is greater: n or 38?
n
Let m be (-366)/(-84) - 3*(-80)/(-48). Suppose 4*i = -20, 5*t - 2*i + 20 = -4*i. Which is smaller: m or t?
t
Suppose 0 = -5*j + 4*q + 13, -q = -2*j - 19 + 23. Which is smaller: j or -40/193?
-40/193
Let i be (7/(-161))/(8/890856). Let s = -4839 - i. Is 2 greater than s?
False
Let r = -762 - -3021/4. Let z = r + 89/12. Which is bigger: -102 or z?
z
Let z(a) = -16*a**2 - 15*a + 36. Let r be z(4). Let d = r + 280. Is d at least -7/90?
True
Let k be (((-3)/(-1130))/(-1))/(6/(-8)). Let d(q) = -15*q + 2144. Let x be d(143). Is k < x?
False
Let l(p) = -p - 3. Let g be l(-8). Suppose 0 = 4*y - z - 7 - 22, 5*y = g*z + 40. Suppose -h = -2*u + y, 0 = 5*h - 3*u - 1 + 15. Which is greater: -2/317 or h?
-2/317
Let u be