(i) = -i**2 + 7*i - 9. Let s be b(3). Suppose -s*z = 5*r - 156, -4*r = -9*r - 4*z + 158. Which is smaller: 29 or r?
29
Let d(l) = -l + 17. Let h be d(12). Let p(w) = 21*w**2 - 6*w. Let j be p(h). Let q be 69/j - 1/5. Are q and 0 equal?
False
Let r be (4/(16/3))/(-6). Suppose -16*k + 22*k = -6. Is r bigger than k?
True
Suppose -60 = -3*r + o, -7*r + 4*r = 4*o - 75. Let z(h) = h**2 - 21*h + 3. Let b be z(r). Is 4 not equal to b?
True
Let l = -39 - -38.85. Let s = 0.05 - l. Let j = 5.3 - 6. Is s != j?
True
Let l(d) = d**3 + 11*d**2 - d + 7. Let g be l(-11). Suppose -3*v = -g - 21. Let u(q) = -q**2 + 13*q + 5. Let t be u(v). Which is bigger: t or 6?
6
Let i be ((-42)/(-2 + -5) + -5)*-11. Is i < -21?
False
Suppose 18 + 92 = 5*j. Which is smaller: j or 23?
j
Let s be (2/(-30))/(-2 + 96/60). Is -0.1 less than s?
True
Let j = -391133087645/8943 + 43736228. Let u = -3/271 - j. Which is smaller: -1 or u?
-1
Suppose 0 = 4*r + 25 + 11. Let f = -2 - r. Let g(b) = 3*b**2 - 2*b - 1. Let q be g(2). Is q bigger than f?
False
Let f = 13569/5 + -2691. Is f bigger than 22?
True
Let b(o) = o**2 - 7*o - 10. Let y be b(7). Let d = y - -2. Let i be 79/(-9) - (-4)/(-18). Which is bigger: i or d?
d
Suppose -6*i - 5 = 283. Let y be (-24)/i*4*4. Let c(w) = -w**2 + 8*w + 1. Let k be c(y). Is k smaller than -2/37?
False
Let t be (-2 + 1)*(-10)/(-14). Let g = -434 + 432. Which is greater: t or g?
t
Let d = -1018 + 1023. Is -22 < d?
True
Let s = 78.4 + -97. Let c = -17 - s. Let q = c + -1.65. Are q and 1 non-equal?
True
Let n = 2.9447 - -0.0553. Is 0.023 smaller than n?
True
Let u(o) = -10*o - 20. Let j be u(-3). Suppose -79 = j*s - 9*s. Is s greater than -79?
False
Let k = -0.1 - -0.15. Let c be ((-10)/(-35))/(3/7). Which is bigger: c or k?
c
Let d = -23 + 8. Let w = 15 + d. Are w and -14 nonequal?
True
Let k(v) be the first derivative of -11*v**2/2 - 10*v - 14. Let n be k(-3). Is 23 greater than or equal to n?
True
Let s = -2354/21 + 112. Let r = 78 - 77. Is r equal to s?
False
Let x be (-206)/(-8)*(9 + -13). Let c = -40 - x. Let r = -187/3 + c. Which is smaller: -11 or r?
-11
Let c = -19 + 19.36. Let l = -0.76 + c. Is -3 greater than l?
False
Let r = -12349/565 + -84/113. Which is greater: -24 or r?
r
Suppose 5*i - 38 = 5*l + 17, 4*l + 28 = 2*i. Which is greater: 64/7 or i?
64/7
Let p(u) = -u**3 + 4*u**2 - 4*u + 2. Suppose 35 = 5*i - 4*m, -12 = 4*m + 8. Let y be p(i). Is 2/37 smaller than y?
False
Let u(w) be the first derivative of w**2/2 + 8*w + 5. Let f be u(-8). Let o = -171 - -2225/13. Which is greater: o or f?
o
Let q = -1 + -1. Let z(p) = p**3 + 2*p**2 - 3*p - 3. Let u(i) = -i**2 - 11*i - 3. Let h be u(-11). Let r be z(h). Is q at least r?
True
Let r(b) = -b + 4. Let n be r(5). Let a = -49/124 - 13/124. Which is smaller: n or a?
n
Let h(c) = c**3 - 3*c**2 - 2*c + 1. Let w be h(0). Is 1/82 greater than or equal to w?
False
Let q be -32*(-4)/8 + -5 + 1. Let k(l) = 2*l. Let a be k(0). Are a and q non-equal?
True
Let s be 1*(40 + 2) + 4. Let y = s - 45. Which is smaller: y or 2/261?
2/261
Let g = 6 + -1. Suppose -3*p + g*i = 2*p + 15, 4*p - i - 3 = 0. Let j = 84 + -80. Are j and p nonequal?
True
Let l(z) = 5*z**2 + 8*z - 13. Let q be l(2). Are 164/7 and q equal?
False
Suppose l - 3*a = 2 + 2, 5*a = l - 4. Is -3 greater than or equal to l?
False
Suppose -5*d = -9*d + 8. Let b be ((-96)/(-217))/d - 4/14. Which is smaller: b or 1?
b
Let q be (-124)/(-28) - (-6)/(-14). Let l be (-16)/(-56) + q/(-14). Suppose -5 = 5*p - l. Is p at most -0.5?
True
Let x(g) be the third derivative of g**5/60 + 7*g**4/24 + 5*g**3/6 + 30*g**2. Let a be x(-6). Are a and -12/17 equal?
False
Let m = 27 - 26.87. Let q = m - 0.23. Let j = 2.5 - -3.5. Is q smaller than j?
True
Let x = 8.08 + -9. Let y = -1 - x. Let i = y - -0.38. Is i smaller than 0?
False
Let q be 66/4 - 90/(-60). Let g be (2/((-4)/(-9)))/((-74)/(-296)). Does q = g?
True
Let q(o) = -41*o - 551. Let i be q(-13). Which is smaller: i or -20?
-20
Let u = 101012/7 + -14523. Let j = u + 93. Which is greater: -1/9 or j?
j
Let w(l) = l**3 + 5*l + 6. Let y be w(-1). Let d be (9/(-20) + 1)*-2. Which is smaller: y or d?
d
Let v = 703 + -705. Which is bigger: 22 or v?
22
Let z = -854 - -913. Is z greater than 3?
True
Let a be (-5)/(-27)*2/5. Suppose 4*b = 2*c - 29 + 19, -4*b = 4*c - 20. Is a less than or equal to b?
False
Let u = -724/11 + 66. Is 0.3 > u?
True
Suppose -3*p - 11 - 43 = 0. Let k be (-1)/p*-26 + (-6)/(-3). Is 1 <= k?
False
Let w = -937 - -2810/3. Is w < 19?
True
Let k(l) = -4*l. Let v be k(1). Let g = 6 + v. Suppose 14 = 4*a + 5*u, u - 6 = -2*a - g. Is -0.07 at most a?
True
Let r = -80 - -77. Is -52/19 < r?
False
Let o be 12/(-1)*(-3)/2. Let h be o/2 + (-10)/10. Suppose -3*s - 5*u = 14, -u - h - 2 = 3*s. Does -8/5 = s?
False
Suppose -2*m = 2*b + 10, b + 5*m = -5 - 0. Suppose -5*j + 91 = 2*j. Suppose -5*h + 0*h + q = 25, 2*h + j = q. Which is smaller: h or b?
b
Let a = -176 - -309. Is 133 not equal to a?
False
Let i = 0.032 - -0.081. Let j = -0.193 + i. Which is smaller: -2/9 or j?
-2/9
Let j be ((5 - 3)*-1)/((-2)/(-205)). Which is bigger: j or -2/3?
-2/3
Let i be 12*(-9)/24*-12. Suppose 0 = -49*c + i*c + 565. Are -114 and c unequal?
True
Let w(a) be the second derivative of -a**4/12 - 7*a**3/6 + 4*a**2 + 4*a. Let b be w(-8). Which is smaller: 2/71 or b?
b
Let j be (-115)/9 + (-4)/18. Let r be (-2)/4 - (-46)/(-4). Let q = j - r. Is q smaller than 0.6?
True
Suppose 8*w - 277 = 19. Let x = -38 + w. Which is greater: 3/17 or x?
3/17
Suppose -16 + 1 = -5*x. Suppose 15 - x = 4*h. Which is greater: h or 2?
h
Let t be 0*(-1)/(-2)*1. Let x = -45 + 39. Let v be (x - -12)/24*16/18. Which is smaller: t or v?
t
Let r = 0.568 - -0.432. Let n = -0.03 - -0.23. Let c = n + 0.8. Is c < r?
False
Let l(r) = 3*r**2 + r + 4. Let k be l(-2). Suppose -m + 2*m + 5 = 0, -4*m = -4*f + 148. Suppose -2*c + 0 = -f. Is k bigger than c?
False
Let y be -3 + (-48)/(-18) + 565/105. Which is greater: y or 6?
6
Let k = -3 - -3. Suppose -5*x - 24 - 86 = k. Let s = 68 - 91. Which is smaller: x or s?
s
Suppose 3720 = 3*r + p + 2*p, 9 = 3*p. Let w = 122464/99 - r. Is 1 at most as big as w?
False
Let u be (7/(-28)*2)/(1/(-2)). Let r be ((-2)/(-4))/(u/12 - 0). Is r greater than -2/5?
True
Suppose 11*h = 5*h - 2280. Let i be h/210 + (-2)/(-1). Is -1 != i?
True
Let r be 4/14 - 0/(-4). Let o = -9.18 + 29.13. Let x = -20 + o. Which is greater: r or x?
r
Suppose -36*b - 10685 - 4579 = 0. Is -426 less than or equal to b?
True
Let t(v) = -2*v**2 + 5*v - 1. Let z(w) = -w**2 - w - 1. Let g(u) = -t(u) + 3*z(u). Let b be g(-4). Let a be 2/(-56) - b/(-49). Which is smaller: 0 or a?
0
Let a = -3453 - -3453. Let k be 112/159 + (-4)/6. Is a less than k?
True
Let z = 5 - -10. Let d = z + -19. Which is greater: 0.1 or d?
0.1
Let u(j) = -j**3 - 3*j**2 + 5*j + 3. Let w be u(-4). Let n be (19/1653)/((-6)/18). Which is bigger: w or n?
n
Suppose 7*z = 434 - 427. Let p = -13 - -46. Does p = z?
False
Let w(u) = 4 - 2*u - 2*u - 6*u + 3*u. Let a be w(-1). Suppose 2*x - 33 = -x. Is x >= a?
True
Let x = -15 + 19. Suppose q = -4*j + 20, 5*j + x*q - 3*q - 25 = 0. Let u be (-12)/j*(-10)/(-3). Is u bigger than -8?
False
Let u = -11 + 6. Let p be 0/(-7 - 20/u). Suppose -12*r + 7*r + 50 = p. Which is greater: 9 or r?
r
Let y = -93.2 + 103. Is 4 greater than y?
False
Let t(v) = -v**2 - 2*v - 3. Let h be t(-5). Let r(m) = 43*m + 36*m - 84*m - 7. Let a be r(2). Is a >= h?
True
Let z = -12.87 - -13. Let m = -0.16 + z. Is m != -2?
True
Let p be (-6)/40 - 1/4. Let m = 18.6 - -0.4. Let f = m - 19.4. Do p and f have different values?
False
Let d be 62/12 + (-5)/30. Suppose 2*s - 4*s = -m + 5, 0 = -d*m - 25. Is s equal to -5?
True
Let h be (10/75)/((-4)/(-3)). Let m = 30 + -27. Let i be -3 - -3 - (-3 + m). Which is bigger: h or i?
h
Suppose -3*n + 170 = -190. Suppose 3*y + 7*l = 2*l - 120, -3*y + 5*l = n. Which is greater: -39 or y?
-39
Let o = -10 + 6. Let w be (3 - 1)*o/14. Suppose -5 = -3*v - a, -9*a = -6*a - 15. Which is smaller: w or v?
w
Let m = -0.17 - -1.03. Let f = -0.34 - m. Let p = f + 1.4. Is 0.2 greater than p?
False
Let a be ((-41)/(-615))/((-1)/(-12)). Which is greater: a or 1/3?
a
Let x be 6/18 - ((-54)/14 + 4). Suppose -4*g + l = -4, -4*g + 5*l + 0 = -20. Is g greater than or equal to x?
False