 - 913. Let q be g(5). Which is greater: 1422 or q?
1422
Let r(h) = -h**3 - 5*h**2 + 4*h. Suppose f = -i - 4, 6*i + f = 3*i - 14. Let l be r(i). Let b(z) = z**3 - 11*z**2 + 11*z - 30. Let k be b(10). Is l < k?
False
Let a(v) = 3*v + 10*v - 4 - 9*v - 14. Let r be a(5). Suppose 2*z - 1 - 3 = 0. Is z at most as big as r?
True
Let l = -3.645 - -3.445. Is -11/390 not equal to l?
True
Let g = 662/45 - 608468/41355. Which is smaller: g or 0?
g
Let k be (60 - 60)/(-1 + 4). Let l be ((-6)/(-5))/(11934/340). Which is greater: l or k?
l
Suppose -m - 24*i - 22 = -31*i, 2*i = 3*m - 67. Suppose -4*o + 76 = 2*w, -3*w = -0*o + 4*o - 72. Which is bigger: m or o?
m
Suppose -4*s + a = -4, 0*s - 2*s = -a. Suppose -2*w - 3*y - s*y = -20, -4*w + 72 = 2*y. Let j be -5 - -1 - (-20 - 3 - 3). Which is smaller: j or w?
w
Let n = 0.3624 + -0.37. Let q = -144.0076 - n. Which is smaller: 1 or q?
q
Let o(j) be the third derivative of 11*j**4/24 + 61*j**3/3 - 3*j**2 + 8. Let i be o(-11). Is -2 less than i?
True
Suppose -2*w - r + 1 = -4, -3*r = -15. Is w less than 537/11?
True
Suppose 8*q - 10*q = -26. Suppose l - q = -67. Let p be (-6)/(-80)*l - -4. Is p <= 0?
True
Let v = 7943196 - 87466646/11. Let w = 8323 + v. Which is smaller: w or -1/4?
-1/4
Suppose 14*d + 270 = 11*d. Let h be (0 - -4) + 996/d + 7. Is h <= 0.2?
True
Suppose 0 = 5*t - 3 - 42. Let h be (2/15)/(3/(t/(-4))). Suppose -3*z = -4*q - 1, 2 + 0 = -3*q + z. Is q >= h?
False
Let h = 26726 - 26724. Is h < 1/30?
False
Suppose -96*b = -17*b. Which is greater: b or -16/483?
b
Let i = 0.22 + -0.3. Let p(d) = -d**3 - 9*d**2 + 15*d - 2. Let m be p(-11). Let f = 77 - m. Which is smaller: i or f?
i
Let l = -778 + 671. Let o = -108 - l. Which is smaller: 3/206 or o?
o
Let l = 62485/628 - 199/2. Let d = -1297/25748 - l. Which is smaller: d or 0?
d
Let z be (1 - -3) + 147735/(-2450). Which is smaller: -57 or z?
-57
Let x(z) = z**2 + 8*z - 34. Let t be 26/(-3) - 60/45. Let v be x(t). Let y(q) = 3*q + 36. Let s be y(v). Is 2/3 less than s?
False
Let r = 100647 - 100360. Let h = 645 + -358. Do r and h have different values?
False
Let k(d) = -4*d - 4*d - 12 + 6*d. Let n be k(-6). Let a be 9 + -2 + (n - -3). Is 12 greater than a?
True
Let v be 1*(3 + -5 + -2 + 3). Let u = 4 - -1. Is u <= v?
False
Let q = 194 + -533. Let f = q + 278. Is -62 less than f?
True
Let w = -674 + 309. Let r = w - -472. Is r greater than 109?
False
Let d be 936/(-236)*1 - (-1 - 3). Is 0 at most as big as d?
True
Let f = 363 - 4717/13. Let t be 8 + (-1)/(-4)*(-3 + 7). Let c be (-3 - 1 - (0 - 2))/t. Which is smaller: f or c?
c
Let j be ((-3423)/504 - 21)*(2 - 2/2). Which is greater: j or -28?
j
Let m = -170 + 169. Let j be (-1 + 0)*(m + 0 - -12). Let k = -24 + 14. Which is smaller: k or j?
j
Let g(c) = 296*c + 593. Let y be g(-2). Is -1/146 less than y?
True
Let y be (-16)/6 - 3/9. Let w be (-3)/(-9)*y/85. Let o = 500 + -501. Is w < o?
False
Let y be (-12)/222 + (-3278)/(-407) - (-6910)/3. Is y at least as big as 2311?
True
Let t = 64429/4 - 16100. Let p be (12/16)/((-1)/(-8)). Is p bigger than t?
False
Let a = 738 + -1128. Is -390 at most a?
True
Let q = -47 + 64. Let j = -20 - -20. Is j != q?
True
Let t = 0 + 0. Let v be (-1 + 33/(-15))/(38/475). Let z be 7/v + 56/280. Which is smaller: z or t?
t
Let s = 141748 + -1658451601/11700. Which is greater: s or 0?
0
Let y(l) = l**3 + 18*l**2 + 17*l + 3. Let d be y(-17). Suppose 5*z + 15 + 15 = 0. Which is smaller: d or z?
z
Let j be 7/(21/22)*-60. Let a = j + 264. Let d = a + 2290/13. Is d != -1?
True
Let s(n) = -n + 23. Let z(l) = 2*l - 46. Let a(b) = 7*s(b) + 4*z(b). Let r be a(26). Let h be ((-11)/r)/(95/(-15) + 5). Is 4 not equal to h?
True
Let h be (-7)/(21/24)*-20. Suppose -4*y - n = 158, -2*n = 2*y + 2*y + h. Let b = 31 + y. Do b and -7 have different values?
True
Let y = -17.6 - -15.7. Let u = y - -4.9. Does 26 = u?
False
Let o be (441/(-245))/((-1)/5). Suppose 4 - 4 = -o*z. Do 2/31 and z have different values?
True
Let d(p) be the first derivative of 5*p**2/2 - 31*p + 11. Let v be d(7). Let s be ((0 - 5) + v)*1. Which is bigger: -6/29 or s?
-6/29
Let u = 34 - 33.874. Let q = -76 + 75.914. Let o = q + u. Is o at least -1?
True
Let p be -1 - (1 - (-74)/(-6)). Let v be -32 + 24 + (-24)/9. Let s = v + p. Is -1 > s?
False
Suppose -470*j = -475*j - 5*b - 870, j - 5*b + 126 = 0. Let w = -117 - 50. Are w and j nonequal?
True
Let t be 13968/(-57408) + (-3)/(-12). Which is smaller: t or 0?
0
Let r = -16062 + 144398/9. Let a = r + 136/9. Does -2 = a?
False
Suppose -2*w - 61 = -5*p + 2*p, 4*w - 3*p + 131 = 0. Suppose -57*m + 245 = -64*m. Let c = m - w. Is c at most as big as 3/8?
True
Let o = -1446 + 259168/179. Is o less than or equal to 3?
True
Suppose 6*m - 1532 = 10*m + 4*x, 0 = m - 3*x + 387. Is m smaller than -385?
False
Let a = -283.19 - -282. Let g = a - -1.29. Is 39 at most as big as g?
False
Let j = -2 - -1. Let z be (-352)/13552*(-1 + -1)*(-63)/(-36). Is j bigger than z?
False
Let z be (6 + -2)/(4 + 44/(-30)). Let h(g) = g**2 + 14*g + 36. Let v be h(-11). Are z and v equal?
False
Let j be (1 + 0)/(-1) + -25. Let o be (-5)/(-5) + j/34. Let b be (-34 - (-6090)/175)*(-2 + 3/(-6)). Are o and b equal?
False
Let p = 53 + -30. Let a = 24674.9 - 24675. Is p > a?
True
Let a(i) = -5*i - 35. Let k be a(-7). Suppose 4*n + k*n - 20 = 0. Suppose v = 3*d + 1, -8 = -n*d - 3*v + 9. Are d and 2/43 equal?
False
Suppose 7*u - 1209 - 898 = 0. Let s be 3 - (u/(-98))/(-1). Let p be (4/6)/(0 - 2). Is p at least s?
False
Let l = -81.8 + -320.2. Let c = -349.6 - l. Which is bigger: 1 or c?
c
Let r = 57 - 33. Let h = r + -9. Suppose 6*v - 11*v = -h. Is v less than 2?
False
Let f = -23 - -91/2. Suppose 742*v + 48 = 744*v. Is f less than v?
True
Suppose 11*f = 43*f + 10688. Let h = f - -335. Let n = -8 + 62/7. Is h < n?
False
Let i be -2*(0 + (-3)/(-12)). Let d = 7657 + -7715. Is i <= d?
False
Let n(i) = 5*i**2 - 16*i + 157. Let z(k) = -6*k**2 + 16*k - 161. Let l(a) = 7*n(a) + 6*z(a). Let p be l(-22). Which is bigger: p or -4/65?
p
Let p be ((-12)/3 + 418/76)/(42/8). Which is bigger: 7 or p?
7
Let j be (-179 + -12)*((-4)/2)/2. Let i = j - 88. Is i less than or equal to 103?
True
Let m be -6*(-525753)/2 - 0. Let g = m - 678220943/430. Let k = -4/43 + g. Which is smaller: k or 1?
k
Suppose 0 = 4*a + 11*q - 12*q + 518, 2*a + 5*q + 226 = 0. Which is greater: a or -145?
a
Let x = 2.579 + -131.279. Let n = 129 + x. Let f = -0.01 - -0.02. Which is greater: n or f?
n
Let f be (15/2)/(3/(-18)). Suppose d = 4*k - 32, -22*k + 185 = -4*d - 25*k. Which is smaller: f or d?
f
Let f = 12993 + -20143. Which is greater: -7151 or f?
f
Let m = 4814/14451 + 1/4817. Which is bigger: m or 17/47?
17/47
Suppose 35 = 3*h - 43. Suppose 5*j = 3*q - h, -3*j + 0*j - 4 = 4*q. Suppose 3*v - 7 = 2*g, -5*g - 12 = q*v - 4*v. Is v greater than -6/31?
True
Let t = -115 + -37. Let n = -153 - t. Suppose -3*d + 19 = 2*x, 3*x - 2*d + 1 + 3 = 0. Is n > x?
False
Suppose -246*v + 503 = 161*v + 96. Is -3/4085 != v?
True
Let l(n) = -3*n**2 + 1. Let w be l(-2). Let h = -128.064 - -128. Let a = -0.036 + h. Are a and w unequal?
True
Let r = -230.74 - -221. Let l = -8.74 - r. Let p = -0.4 - 11.6. Is p less than l?
True
Suppose -m = -2*b - 0*b, 5*b - 3 = 4*m. Let o be (m + 3/2)*-2. Let j = 7454/1957 - 72/19. Are j and o nonequal?
True
Let o(d) = d - 5. Let c be o(9). Suppose 5 = -2*u + p, u + 0*u = 5*p - 7. Let v(s) = -s. Let m be v(u). Which is greater: c or m?
c
Suppose 5*f + 2284 = -t, 0 = 344*f - 343*f + 7. Are -2247 and t equal?
False
Let y(w) = w**2 - 11*w - 8. Let g be y(11). Let v = g + 12. Suppose 0*s + k = v*s - 2, 0 = 3*s + k - 5. Is -17/6 at most s?
True
Let u = -69.9 + 73. Let v = -5.8 + u. Let l = v + 2.6. Is -26 bigger than l?
False
Let v(b) = -544*b**3 + 6*b**2 - 6*b + 1. Let y be v(1). Suppose -46*c + 45*c - 544 = 0. Is c at most y?
True
Let x = -4.092 + -3.908. Let k = -101 + 109.2. Let r = x + k. Which is smaller: r or -20?
-20
Let k = -108 - -191. Suppose 11 - k = -4*l. Let h = 1.04 - 3.04. Which is bigger: h or l?
l
Let c = -21424 + 107572/5. Let q = 90 - c. Suppose 14 = p - 5*y, 2*p + 2 = -y - 4*y. Is p at most as big as q?
False
Let k = 0.162 - 0.122. Let b = -0.44 + k. Is b >= -0.6?
True
Suppose -a + 22 = 4*p, a - 4 = 3*p - 17. Let t be -65 + 6 + a + -8. 