). Suppose -36 = -2*a - n. Suppose -4*p + 9 = a. Which is smaller: -4 or p?
-4
Let x(p) = -p**2 - 21*p - 27. Let i be x(-20). Let d be (84/144)/i*9/2. Which is smaller: -10 or d?
-10
Let s = 33849 - 33854. Let q(f) = -f**2 - 8*f - 9. Let y be q(-6). Suppose 0 = -0*o - o + y. Which is greater: s or o?
o
Let j = -67 + 74. Suppose -3*b + 66 = -3*a, 6*b = 5*b - 2*a + j. Which is bigger: b or 20?
20
Suppose -3292 + 286 = -2*y - 4*g, 0 = -2*y - 3*g + 3008. Let j = y - 10567/7. Which is smaller: j or -1/3?
j
Let m be ((-1)/(-3)*9642/2)/((-339)/(-678)). Is m greater than 3214?
False
Let d = -201 - -202. Let l be ((-6)/145)/((-219)/(-730)). Is l != d?
True
Suppose -1514*u + 1366*u - 366300 = 0. Which is smaller: 1 or u?
u
Suppose -v = -5*f - 16, 0 = -v - 8*f + 3*f - 4. Let i(p) = 6*p + 14. Let w be i(v). Let h = -51 + w. Are -24 and h equal?
False
Suppose -4*u - u + 3*k = 6, -6 = u + k. Let g(l) = -l**2 + 34*l + 185. Let h be g(35). Suppose h = -55*c + 30*c. Which is greater: u or c?
u
Let i = 0.3 - 0.3. Let z = 3284 + -3280. Which is bigger: z or i?
z
Let n(o) = -34*o**2 - 2*o + 92. Let y be n(0). Let w(u) = 5*u**2 - 8*u + 6. Let l be w(5). Which is smaller: l or y?
l
Let x = -0.7301 + 0.7301. Which is smaller: x or 0.3843?
x
Let u = 107 + -107. Which is bigger: 6/653 or u?
6/653
Let s(b) = -b**3 - b**2 - 3*b - 4. Let n be s(-2). Let u be (-9 - (-30)/n)*1/(-2). Let x be u/16*(-5 + 3). Is 0.2 >= x?
True
Let d(v) = v**3 - 22*v**2 - 33*v + 50. Let q be d(20). Is q at most as big as -1410?
True
Let l(p) = -11*p**2 + p. Let h be l(2). Let c be (-4825)/(-10)*4/(-5). Let a = c + 344. Does a = h?
True
Suppose -10 - 25 = 3*x - 5*f, -x - 21 = -4*f. Suppose -1532 - 2248 = -10*d. Suppose -d = -9*o - 432. Which is greater: x or o?
x
Let t = -18083 - -18083. Is -80/133 less than t?
True
Suppose -r + 4 = -0*r. Let y = -820 - -804. Is r bigger than y?
True
Let w = -33.03 + 32.03. Which is bigger: w or -13.04?
w
Suppose 0 = 57*a + 23*a + 12*a + 92. Which is bigger: a or -1/627?
-1/627
Let k = -29482/103481 + -12/14783. Suppose -g - 2 = 4*t - 0, -6 = t + 3*g. Is k less than t?
True
Suppose 23*r + 16*r = 0. Is r greater than 19/17?
False
Let d be (4 - (-68)/(-16))*-892. Let x = d + -243. Let o = -0.2 - -0.1. Which is greater: x or o?
o
Let c be (-3)/(-6) - (-4)/((-168)/15). Let v = -40 - -42.1. Let s = v + -0.1. Is s at most c?
False
Suppose s - 1 = 0, -205 = 5*a - 4*a - 3*s. Let w = a - -201. Which is smaller: w or -0.036?
w
Let s be (-257 - -260)/((-3)/2). Which is bigger: -2.7 or s?
s
Suppose 4*m + 512 = 2*d, m - 44 = -d - 172. Let l = 35758/3 + -11794. Let u = m + l. Is u < 0.1?
True
Let b(t) = -11*t + 1. Let j(k) = 2. Let c(q) = -24*q + 11. Let i(l) = -c(l) + 4*j(l). Let m(h) = -13*b(h) - 6*i(h). Let p be m(0). Are p and 5 nonequal?
False
Let l = 1846 + -1844.17. Is -1/4 at most l?
True
Suppose -74 = -12*g - 26. Let r be (29/(-11) + g)/(2 - 1). Are 1 and r non-equal?
True
Let w = -22367 + 20879. Which is bigger: 2 or w?
2
Let d(j) = j**3 + 29*j**2 - 28*j + 39. Let l be d(-30). Let n = 35 + -58. Is l >= n?
True
Let b(x) be the first derivative of -17*x**2/2 - 2*x + 11. Let g be b(-2). Let u = 33 - g. Is u at least as big as 25?
False
Suppose 101 + 1808 = 23*t. Which is smaller: t or 84?
t
Let n = -11689873/16 - -730911. Let c = 294 - n. Do c and 7 have the same value?
False
Let y = 254803/166980 - 607/345. Let d = 300324/121 + -2482. Let j = y - d. Is j greater than or equal to 20?
False
Let b be 1/((-2)/(122/(-1))). Let i(c) = -4*c + 174. Let r be i(45). Let v be ((-106)/(-4) - -4)/(r/(-12)). Is v at least b?
True
Let q = 109 - 108. Let a(u) = u - 7. Let l be a(8). Suppose 3*j - 2*j - l = 0. Is j less than or equal to q?
True
Let y(f) = -1355*f - 4651. Let c be y(-8). Which is smaller: c or 6190?
c
Let b = -22 + 29.1. Let v = -7.4 + b. Let a = 22.96 + -23. Is v less than a?
True
Suppose -153 = 5*h - 523. Let p be (13 - 13) + (-1 - -77). Which is bigger: h or p?
p
Suppose 0 = -6*w, -7*w - 5*w + 88 = -4*p - 14*w. Is p != 7?
True
Let w = 7 + 3. Let c(p) = p - 8. Let t be c(w). Suppose -5*x - t*x = -4*x. Is x smaller than 0.04?
True
Let f = -63 - -253/4. Suppose 10 = 5*r, 2*p - 5*r + 44 = 150. Let s = p + -56. Which is smaller: f or s?
f
Let o be ((-8)/(-30))/((-40050)/(-375)). Let y = o - -176/801. Which is smaller: y or -199?
-199
Let d = -31 - -41. Let v be (-84)/14 - 41/(-6). Which is smaller: d or v?
v
Let w(z) = z**3 - 55*z**2 + 208*z + 53. Let j be w(51). Which is bigger: j or 256?
j
Let q be 2/(-7)*5*7/(-15). Is q smaller than 4/11?
False
Let t(o) = -4*o**3 + 61*o**2 + 36*o + 20. Let b be t(15). Is 788 greater than b?
True
Let w(p) = 271*p - 2224. Let a be w(9). Is a bigger than 220?
False
Let s = -444.222 + 444.3. Is s less than or equal to 1?
True
Let u = 370.3 - 370.2. Is u > -6187?
True
Suppose 27*m - 30*m + 113418 = 4*h, -6*h = 2*m - 170132. Which is greater: 28357 or h?
28357
Let n = -215 + 215. Let f be 0 - 3/6 - n. Let b be (-5)/4 - (-1)/4. Is b less than or equal to f?
True
Let o(f) = f**3 - 31*f**2 + 153*f - 96. Let r be o(26). Is 496 <= r?
True
Let t(r) = -106*r - 527. Let k be t(-5). Which is greater: -4.1 or k?
k
Suppose 2*i + 3042 = 3*i + 2*x, -5*i - 4*x + 15204 = 0. Suppose 45*c - 26*c + i = 0. Does c = -158?
False
Let z be ((-12)/(-15))/((-2)/(-5)). Let r = 3 - z. Let h = 39.07 - 25.07. Is h smaller than r?
False
Suppose -4*s + 5*o + 9023 = 0, 0*s - 4*o - 4504 = -2*s. Suppose -s = -9*z + 987. Are z and 361 unequal?
False
Let l = -243 + 247. Suppose -l*g - m - 483 = 0, 495 = 2*g - 6*g - 5*m. Are g and -121 unequal?
True
Suppose 0*l - 1148 = -4*l. Suppose -4*t = -4*u - 208, 5*u + 2*t = -2*t - l. Let o be ((-2)/5)/((-44)/u). Which is smaller: o or 19?
o
Let s be (((-5680)/(-936))/1 + -6)*-1. Which is smaller: 0 or s?
s
Let h = -4 + 6. Let o = -4.89 + 5. Let g = o + -0.12. Is h at most as big as g?
False
Suppose 1 = -2*y - p + 8, 0 = 4*p - 28. Do y and -21/277 have the same value?
False
Let i(z) be the second derivative of -z**3/2 + 64*z**2 - 4*z + 14. Let d be i(20). Is -1 != d?
True
Suppose -15*q + 56 = -29*q. Let u be ((-60)/q)/(6/(-4)). Is -12 equal to u?
False
Let f = 188/37 + -1957/407. Let s be (-27)/(-18)*(1 - -1). Suppose s*r = -2*r. Which is smaller: f or r?
r
Let f be (-126)/(-231) - 24/44. Let s be 1*(0 - -2 - 1). Let i be (1/s)/((-37)/(-3)). Which is smaller: f or i?
f
Let k = -0.1831 - -506.1831. Which is smaller: k or 0.1?
0.1
Let y be 4*(45/10)/3. Suppose 0 = y*h + 4*h - 70. Suppose 0 = -12*m - h - 5. Are m and -12/5 equal?
False
Let s(t) be the first derivative of t**4/4 - 2*t**3/3 - t**2/2 - 8. Let d be s(-1). Let x = -13729/11 - -1247. Which is smaller: d or x?
d
Let r = 93 + -81. Let t = 4 + -1. Suppose 2*i + v - 3 = t, r = 5*i + 4*v. Which is greater: i or 2?
i
Let o = 0.9802 + -1.0302. Which is smaller: o or 1.483?
o
Let h(o) = o**2 - 16*o - 185. Let f be h(35). Let j = -455 + f. Is 5 greater than or equal to j?
False
Suppose 0 = 10*w - 143 + 133. Is 2/3505 less than or equal to w?
True
Let m(o) = 8*o - 19. Suppose 6*c = -0*c + 18. Let r be m(c). Suppose -r*d = d. Is d less than 1/9?
True
Let i be (8 - (-45)/(-5))*1. Is i at most -24/37?
True
Let h = 15.3 - 22.3. Is h > -46/5?
True
Suppose -2*l - 185 = 2*m - 187, -2*m = l - 1. Is m <= 69/70?
True
Let b = -193/240 - -1/240. Is -5/31 bigger than b?
True
Let z be ((-4)/(-6))/(25/((-3825)/68)). Let y(g) = -g + 10. Let j(x) = -6*x + 59. Let i(f) = -6*j(f) + 34*y(f). Let c be i(6). Is c greater than z?
False
Let f = 265111/1560585 - 2/29445. Which is smaller: f or 0.2?
f
Let h = -1181 - -1239. Let c be 59 + (-1)/(-1 + 2). Is h greater than or equal to c?
True
Let o be 3325/38*(-24)/84. Is o smaller than 283?
True
Let r be ((-2 - 0)*9/(-158958))/((-1)/(-1)). Is -1 greater than or equal to r?
False
Let f(l) = -504*l - 2508. Let p be f(-5). Suppose -5*o + 2*x = -90, 4*x - x = 0. Suppose 0 = -3*j + o + 21. Are p and j nonequal?
True
Let x = 162 + -160. Let m be (x/3)/((-58)/87). Let a be 248/(-122) - (-16)/8. Which is smaller: m or a?
m
Let b be 21 + 2/3*-3. Let x = 10/1363 + 167579/9541. Is b at least x?
True
Let p be (-35)/17 - -2 - (-4069492)/3434. Is p less than 3?
False
Let f = 21380 + -23036. Which is bigger: -3/8 or f?
-3/8
Suppose 4728 = 8*p - 5584. Suppose -7*s + p - 484 = 