16. Let j(y) = -2*k(y) - 9*z(y). Let x be j(-4). Is n bigger than x?
True
Let l = 0.4715 - 0.1715. Is l at most 43/14?
True
Suppose 65*p = 72*p + 42. Let n be (3/p)/(20/8 - 2). Which is smaller: n or -22?
-22
Let n be (0 - (-5 - -6))*-5. Suppose 0 = 5*b - 3*z, 5*z = n*b + 3*z + 5. Which is smaller: 13 or b?
b
Suppose 78*s - 28*s = -350. Which is smaller: 72 or s?
s
Suppose 0 = -20*j + 22*j - 392. Suppose 3*r + 2*r = -4*l + j, -5*r + 200 = 5*l. Let o = -26 + 62. Is r bigger than o?
False
Let g = 14367 - 2399296/167. Which is greater: -1 or g?
g
Suppose -1 = -h, r + 11 = 2*r + 3*h. Suppose 0 = -v + 28*m - 23*m + 24, 27 = 4*v + 3*m. Is v less than or equal to r?
False
Suppose 127*h - 65*h + 91*h = -306. Is 322.5 less than or equal to h?
False
Let q be (-3 - (0 + 9))*(-8)/(-6). Let i(o) = -o**2 + o + 10. Let s be i(0). Let t be (-4 + s)/(2/(-5)). Is q equal to t?
False
Let y be (-18)/90*1449*(6 - (1 - 0)). Are y and -1449 nonequal?
False
Let g(p) = -30*p**2 - 5*p + 9. Let b be g(2). Let o = b + 88. Which is bigger: o or -34?
o
Suppose -4*j + 5*y = 11559, 178 = 4*y + 166. Is -2885 greater than or equal to j?
True
Let q(z) = -40*z - 288. Let d be q(-5). Let x be 36*(-5)/(-50) - 4. Is x at most d?
False
Let j = -58609/56189 - 1/2443. Is j smaller than 0?
True
Let r = -61484905/163 + 377206. Let q = -2 - r. Which is bigger: 0 or q?
q
Let h = 15126 - 15125.9. Suppose -9*r - 2474 = 586. Which is smaller: r or h?
r
Let k = 1556 - 6221/4. Which is smaller: -211 or k?
-211
Let h(u) = u**2 + 4*u - 2. Let i be h(1). Suppose i*c = j - 4, 4*c + c = 3*j - 12. Is 2/293 at most c?
False
Suppose -14*d = -146 - 64. Suppose 5*z - 5*s = d, z + s = 3*z - 9. Suppose 15*a = z*a + 9. Which is smaller: -4/17 or a?
-4/17
Let c = -45 + 45.02. Let n = -106 + 105.957. Let t = 1.957 - n. Is c at most t?
True
Let j be ((-2)/(-6))/((-8)/(-52 + 4)). Suppose 0 = g - j + 6. Let c be -3 + (-7133)/(-2646) + g/(-14). Which is greater: c or 0?
0
Let d(b) = -50 - 104 - 33*b + 83 - 96. Let h be d(-5). Which is smaller: h or -13?
-13
Let w(y) = -178*y + 6234. Let p be w(35). Is p at most -157?
False
Suppose 0 = r - p - 4, 0 = 5*r + p - 7 + 11. Let u(k) = k**3 + k**2 + k + 636. Let h be u(r). Let f be 20/(-90) + h/189 + -2. Which is greater: 0 or f?
f
Let l be 14/4 + 2/4. Suppose 0 = 2*x + 2*s - 108, 0 = -l*x - 5*s + 6*s + 236. Is x >= 58?
True
Let q be 2537/(-3) - (40/12 - 4). Which is smaller: -848 or q?
-848
Let a = 134.07 - 3.07. Let o = a + -127. Is 16 smaller than o?
False
Let g = 14576510691/85 + -171484204. Let a = 4157 - g. Is a at least as big as 0?
False
Suppose 14 = -3*b + 3*h - 16, 4*b - 3*h = -36. Suppose 106 - 34 = 4*g. Let f be 8/g - b/(-9). Is f not equal to 15?
True
Let w be ((-1)/(-1052))/((-151)/1510)*8/(-10). Which is greater: w or -5?
w
Let j(d) = 4*d**2 + 15*d - 50. Let q be j(6). Let c(y) = y**3 + 12*y**2 - 29*y - 23. Let b be c(-13). Is b at most q?
False
Let z be 330/9*9/6. Let f = -101 + z. Let a = f + 51. Which is bigger: 3 or a?
a
Suppose 14 = u + 3*x, 24 = 3*u - 2*u - 2*x. Suppose 4*q - w - 5 = 5*q, -4*w = u. Let j be (35/78)/35*(0 + 2). Is q bigger than j?
False
Suppose 5*i + 5*b = -10, i + 5*b = -i + 8. Suppose -3*l + 1 = -8, 3*p + 2*l = 12. Suppose 3*c + 26 = c + 5*z, 3*c + 17 = p*z. Is c less than i?
False
Let o be (4 + 27/(-6))/(3/(-60)). Suppose 76*l = 66*l - o. Which is bigger: l or -1/46?
-1/46
Let r be (-96 - -110) + (-18)/3. Suppose -4*q - 4*f - 116 = 0, q = -3*f - 6 - 19. Let c = q + 43. Is c less than or equal to r?
False
Let i = -987.8 - -1036.4. Is i greater than 0.06?
True
Let r be (0 + -1)*21 + 0. Let d be (r/(-3843))/((-2)/(-18)). Which is bigger: d or -1?
d
Let y(l) = l**3 - 117*l**2 + 230*l + 1801. Let t be y(115). Which is smaller: 1798 or t?
1798
Let z be (0 - 0)/(7/(-7)). Suppose 5*h = 3*r - 44, h + 372 = -5*r + 380. Which is smaller: h or z?
h
Let w = -7086173/53 - -133708. Which is smaller: 8 or w?
w
Suppose 2 = i - 2. Let k(a) = -a**2 + 5*a - 1. Let r be k(i). Suppose -w = -2*y + 11, -2*w - r*y = w + 78. Is w bigger than -20?
False
Let h be 4/(-24) - 7/(-42). Let u be (4 - 6 - h)*12. Which is greater: -31 or u?
u
Suppose -20 = 4*g, -2*n = 4*g + 8 + 50. Let t = n - -67. Let f = -29 + t. Is 19 != f?
False
Let o = -5484.938 - -5530. Let u = o + -0.362. Let a = 45 - u. Is a < 5/3?
True
Let n be (-10932)/(-936) + -14 - 2/(-52)*4. Suppose 5*s - 8 = 2. Let q be s/(-3) - (-1)/3. Is q <= n?
False
Let f = 123.74 + -123.96. Let i = 15.4 + -15. Is f at most as big as i?
True
Suppose 357*l + 15972 = 401*l. Which is greater: l or 364?
364
Let q be 4*(-1)/6*6/4. Let i be q/((-12)/2) + (-75)/(-90). Is i not equal to 161?
True
Let k be 3 + (311592/(-31160) - -7). Which is greater: -1 or k?
k
Let i = 290.05 + -329.05. Do i and -55 have different values?
True
Suppose -19*y = -17*y - 4. Let v(t) = 1395 + 2*t**2 - 1399 - t**3 + 0*t**y + 3*t - 3*t**3. Let r be v(3). Is -85 at most r?
True
Let r = -14745 + 14611. Which is smaller: -141 or r?
-141
Let v = -100 - -149. Suppose 0 = -4*t + 5*g - v, 11 = -2*t - 2*g - 9. Is -11 at most as big as t?
True
Let x(l) = 5*l + 5. Let u be x(-1). Suppose -j + 157 = 2*s, -6*s + 7*s - 3*j - 96 = u. Is s at least 81?
True
Let a(b) = 6593*b - 19735. Let k be a(3). Let l be 1/(-2) - 1299/(-30). Which is greater: l or k?
k
Let m = -0.35 + 0.79. Let a = m + -0.33. Let v = 2.11 - a. Is -17 greater than v?
False
Let o = -487 + 296. Let t be 2*7/(-196)*(o + -3). Which is bigger: t or 15?
15
Let b(t) = t**3 - 10*t**2 + 11*t - 12. Let l be b(9). Suppose 5*y = 4*p + 469, -449 = 4*p + 2*y - 3*y. Let s = p + 235/2. Is l >= s?
False
Let i(r) be the third derivative of -65*r**4/8 + 13*r**3/3 + 149*r**2. Let h be i(1). Which is smaller: -1 or h?
h
Let m = -34 - -34. Let z = -69 + 61. Let k be (-5 - 0/2)*z/2060. Which is greater: m or k?
k
Let a = 82107/444932 - 54/2713. Is 1 at most as big as a?
False
Let h = 13376 + -12127. Is 1251 at least h?
True
Suppose 0 = 394*y - 399*y - 495. Let f = 98 + y. Is -2/411 smaller than f?
False
Let b(a) = 3*a**2 + 23*a. Let j be b(-7). Let c be 218/(j/(-7) - 4). Is -108 at least as big as c?
True
Let g be (-4 - 9)/(-13)*1. Is g greater than or equal to 2/35387?
True
Let g = 4356 - 3824. Is 532 greater than g?
False
Let y = -546 - -777. Suppose 40*d + y = 39*d. Is -232 less than d?
True
Let v = 140 - 193. Let g = -47 - v. Is g < 7?
True
Let h = -20 - -15. Let o(t) = 2*t**2 - 9*t - 20. Let a be o(h). Suppose a*v + 192 = 69*v. Does -123/4 = v?
False
Let b be 1628/(-10) - (7 + 99/(-15)). Is -162 < b?
False
Let s(l) = 9*l + 3295. Let h be s(-141). Are h and 6082/3 equal?
False
Let i = 17023 - 17024. Which is bigger: i or 2/65773?
2/65773
Let t = 97.9 + -93. Let x = -5 + t. Let o = -1284 + 1280. Is x < o?
False
Let l = 4/1247 + -2506/3741. Is l at least as big as -56.48?
True
Let f be (-6)/236*21/((-378)/(-120)). Is f smaller than 0?
True
Let p = 71642685487/3432 - 20874908. Let w = -9/88 + p. Is 0 less than w?
True
Suppose 71 = 23*p - 1079. Suppose -12 = -2*v + 5*v. Let f(o) = -14*o - 6. Let g be f(v). Is g < p?
False
Let l be (2874/(-427))/(9/(-14)). Let a = l + 12/61. Does 10 = a?
False
Let v be -3 + 7 - (19 + 10351/11). Which is bigger: v or -951?
-951
Let h = -11 - -8. Let b = -304.02 + -3.98. Let k = 309 + b. Which is smaller: k or h?
h
Let v(w) = -2*w**3 + 2*w**2 + 20*w - 47. Let i be v(3). Which is smaller: i or -23/4?
i
Let y be (11 - 7) + -669*12/(-3). Which is smaller: y or 2682?
y
Suppose 2*s + 8 = -s + j, -5*s = j. Let l(t) = t**3 + 14*t**2 + 19*t + 810. Let w be l(-16). Which is bigger: w or s?
s
Let m = 2 - 3. Let v be (-2 - (-35)/25) + (-934)/10. Let f = 367/4 + v. Are m and f nonequal?
True
Let d be (-1)/2*163559099/180301. Let o = d + -331/886. Let a = -454 - o. Are -1 and a equal?
False
Let a = -82 + 81.31. Let p = -0.7 - a. Which is greater: p or 1/5?
1/5
Let c = -3.89 - -23.19. Let i = c - 20.335. Let u = i - -0.035. Which is greater: u or 5?
5
Suppose 2*s - 4751 = l + 5001, -3*l = -3*s + 14616. Which is greater: 4881 or s?
4881
Let k be (1/56)/((-22908)/581). Which is greater: 1 or k?
1
Suppose -14*x = -8*x - 42. Suppose 4*g = p + x, -p + g = -7 + 11. Is p < 7?
True
Suppose -3*w + 30*s + 86 = 28*s, s = 6*w - 178. Let j = 6 + -2. Suppose -j*a + 145 = a. Is a <= w?
True
Let r be (8/(-6)