*3 + i - 10. Let l be a(0). Let m be ((-8)/l)/(16/(-120)). Let p = -6 - m. Which is smaller: p or -1/7?
-1/7
Let a(j) be the third derivative of -j**6/120 - j**5/12 - 7*j**4/24 + j**3/6 + 37*j**2. Let h be a(-3). Which is smaller: h or -5?
-5
Let t = 2.1 - 3.4. Let p = -1.198 - 0.202. Let s = t - p. Which is greater: 0.17 or s?
0.17
Suppose -23 = -11*c + 76. Let y be 2/(-3 + 42/c + -1). Which is smaller: y or 1?
1
Let p be (-2)/(-10) + 880/300. Let c = p - 10/3. Let m(r) = -r**2 - 8*r - 6. Let h be m(-7). Is h > c?
True
Let t = 1 - -2. Suppose -3*o - t*a + 9 = 0, 3*a = 7*o - 3*o + 9. Is o greater than -4/23?
True
Let n(k) = -k**2 - 3*k. Let g be n(0). Do g and -8/21 have different values?
True
Let a = -49 - -157. Suppose -44*k = -47*k - a. Does k = -36?
True
Let f be 4/6*6/(-22). Suppose 0 = -3*q - 4*x - 1 - 7, 5*q - 2*x = 30. Suppose -2*o + 6*o + q = 0. Which is smaller: o or f?
o
Let s = 2697 + -2892. Is -195 < s?
False
Let g = -103/43 - 34323/86. Let s = 8845/22 + g. Is s at least 1?
False
Let p = -1045 + 17760/17. Let c = p + 69/119. Let n = -175/186 - -17/62. Is n < c?
True
Let u = -145 + 144.9. Is -0.98 equal to u?
False
Let c = -32.031 + 0.031. Do -2/7 and c have the same value?
False
Let c = -79/792 + -1/88. Let m(w) = -w**3 - 3*w**2 - w + 3. Let q(d) = 2*d + 24. Let h be q(-13). Let n be m(h). Which is smaller: c or n?
c
Let z = -2370.4 + 2404. Is -0.1 at most z?
True
Let d = -990 - -1031. Is d greater than 43?
False
Suppose -1 - 7 = -3*p - 2*g, 12 = 2*p - 2*g. Suppose -p*q + 3*j = -40, 0 = -6*q + 5*q - j + 3. Let i(x) = -x**2 + 7*x - 4. Let a be i(q). Is a < -5?
False
Let o be (-15)/(-2 - 1) - (-5 + 16). Which is smaller: o or -15?
-15
Let h = 0.0787 - 108.0787. Is h greater than or equal to 1?
False
Let n(l) be the first derivative of 7*l + 1/4*l**4 - 2 - l**3 - l**2. Let h be n(3). Is -2/9 at most as big as h?
True
Let o = -212 - -216.4. Which is smaller: o or 1?
1
Suppose -2*q + 24 = -g, g - q = 4*g + 58. Let n be 42/10 - (-4)/g. Suppose 0 = -3*v - z + 6, 2*z - 6*z + 16 = n*v. Do v and -3/7 have the same value?
False
Suppose 2*p = 10, -4*o + 10 = 5*p - 43. Let a be (-2)/o*(-14)/(-30). Let x(q) = -q - 5. Let v be x(-5). Which is smaller: v or a?
a
Let a = 2/3267 - -3059/339768. Let k = 26 - 26. Is k < a?
True
Let p = -57 - -74. Suppose p = 3*q + 4*r, 3 = 4*q - q - 3*r. Is q less than 2?
False
Let h = 8.9 + -2.4. Let u = -18.5 + h. Do u and 0.2 have the same value?
False
Let g be (-1 + (-1 - -1))*-11. Suppose -1 = -4*i + g. Let w be (i/22)/((-3)/4). Which is smaller: -1 or w?
-1
Suppose 0 = 2*n + 5*d + 28, -n - 2*n - 20 = 2*d. Which is smaller: -21/4 or n?
-21/4
Let z be -2 + 10 + 3 + -5 + -28. Let w(k) be the first derivative of k**3/3 - 5*k**2 - 1. Let m be w(7). Which is smaller: m or z?
z
Let c be 83/(-4) - (4 + (3 - 7)). Is c at least as big as -21?
True
Let r(c) = c**3 + 15*c**2 + 49*c + 1. Let i be r(-5). Which is bigger: i or 5?
i
Let b = -96 - -85. Is b at most -2?
True
Let a = 0.6 + 0.96. Let u = 1.6 - a. Let l = -5 - -8. Which is smaller: l or u?
u
Let x = 43 + -46.8. Let o = 0.3 + -4.3. Let y = x - o. Are y and -6 nonequal?
True
Suppose -n - 6 = -5*x - 1, 5*n = -5*x - 25. Which is smaller: n or 2/129?
n
Let v(x) = -2*x - 16. Suppose 0 = 2*m - 8, u = 2*u + m + 2. Let k be v(u). Is k greater than -4?
False
Let k be (-715)/(-26) - (-28)/(-8). Let g be (6/(-5))/(1/(-20)). Is g bigger than k?
False
Let o(u) = u - 9. Let m be o(3). Which is smaller: m or 5?
m
Let q = -55 - -36. Let j(s) = s**2 + 10*s + 3. Let o be j(-7). Is q at least as big as o?
False
Let b = 838 + -681. Is 2 < b?
True
Let t be 2*1/5*1362/(-4). Let n = t - -136. Is -1 bigger than n?
False
Let f = 344 - 328. Which is bigger: f or 210/13?
210/13
Let a = 0.0432 - 0.0632. Let x = -1.2 - -1. Does a = x?
False
Let o = 7.2 - -0.2. Let h = 7 - o. Let d = -0.2 - h. Is d not equal to -5?
True
Let l = -43 + 24. Let c = -22 - l. Which is bigger: -1 or c?
-1
Suppose -14 = -5*m - 4*n, 5*n - 9 + 4 = 0. Let l = -17266957/11 + 1568598. Let c = l - -1127. Which is bigger: m or c?
m
Let l(w) = 5*w**2 + 3*w - 17. Let d be l(-14). Let o = d - 2324/3. Let g = o + -144. Which is bigger: 2 or g?
g
Let b(a) = -a**2 - 6*a - 3. Let v be b(-5). Suppose -y = -v*y. Let h be (1 + -21)*4/10. Which is greater: y or h?
y
Let o = 4.0145 + -0.0145. Which is bigger: o or -20?
o
Let y(c) = 2*c**3 - 19*c**2 - 9*c + 4. Suppose w - 10 = -j - 5, -2*w + 35 = -3*j. Let r be y(w). Is 40/3 <= r?
True
Let z = 13 - 10. Suppose 0 = 5*q - 2*q + z. Let t = q + -5. Do -7 and t have different values?
True
Suppose -12 = 4*c, 3*a - 7 - 5 = c. Let o be a + -2 + -2 + -4. Is -5 <= o?
True
Let j be 9 + -3 - (-2)/(-1). Suppose 6*v + s - 24 = 0, -14 = v - 2*s - 18. Is v at least j?
True
Let z(a) = -a**3 - 12*a**2 + a - 17. Let f be -24*((-15)/6)/(-5). Let m be z(f). Which is greater: -30 or m?
m
Let m be 2/8 + (-6)/(-8). Let w be 3/2*((-713)/62)/(6/8). Which is greater: m or w?
m
Let r be (-16)/56 - 96/7. Let q = 13 + r. Let d be ((-6)/3 - 0)/5. Are q and d unequal?
True
Suppose 4*j - k = -8, 33*j = 28*j - k - 1. Which is smaller: j or 2/1073?
j
Let r be (1/2)/(4/96). Let k(m) = m - 5. Let s be k(-5). Let o = s + r. Is o > 10/7?
True
Let v be (-9)/12*(16 + 0). Let i be ((-8)/v)/((-4)/30). Let k(b) = -b**3 - 6*b**2 - 4*b + 4. Let j be k(i). Which is bigger: 4/13 or j?
4/13
Let j be (4 + 85)/(1 - (-1 - -1)). Which is bigger: 86 or j?
j
Let j be 6/(-93)*(2/4 + 0). Let k(l) = l**2 - 18*l + 16. Let x be k(17). Which is greater: j or x?
j
Let q = 1/2 + 1/6. Is q != -142?
True
Let n = -92.9 + 1.9. Let v = n + 90.97. Is 4 less than or equal to v?
False
Let r = 598 + -599. Which is smaller: r or -3/676?
r
Let w(p) = 2*p**2 + 37*p + 19. Let n be w(-18). Is -3/635 < n?
True
Let f(x) = 3*x - 12. Let n be f(6). Suppose -5 = -7*w + n*w. Let c = 4/39 - -265/78. Is w equal to c?
False
Let w = 122 + -105. Suppose w + 3 = -5*y. Suppose 0*j = -5*j. Which is bigger: y or j?
j
Let c = -19889/9 + 2205. Which is smaller: c or -4?
c
Let x = -25 - -29. Suppose -3*g + 9 = 0, 0 = 2*w + g - 5 - 4. Suppose -26 = -4*p + 5*o, -2*o - w = -3*p + 13. Is p not equal to x?
False
Let d be 4 - ((12 - 5)*-1 - -4). Suppose 0 = -2*q + 6 + 10. Is q greater than d?
True
Let z = -0.2619 - -0.2219. Is 89/2 >= z?
True
Let o(h) = 101*h + 208. Let j be o(8). Which is bigger: j or 1015?
j
Suppose l - 18 - 39 = 0. Suppose h + 4*q - l = -4*h, -q = 2. Which is smaller: 12 or h?
12
Suppose -8 = 2*v - 10*v. Suppose 3 = 2*a - 13. Let o be (a + v - 2) + -3. Which is smaller: 3 or o?
3
Let d be 6/(-4)*12/(-279). Suppose 0 + 4 = -5*j - 3*f, 2*j = 2*f + 8. Let x be 9/(-18) - j/2. Does x = d?
False
Let v = 14 - 4. Suppose 5*b + 0*z - 5*z = -v, b + 3*z = 18. Suppose i - b = 1, -3*s - 4*i + 1 = 0. Which is smaller: s or -19/5?
s
Let k(g) = 32*g - 11. Let a be k(0). Does -11 = a?
True
Let n = -28 - -20. Let r be 12/n*16/12. Is r at most as big as -3?
False
Let t = -1650 - -4772/3. Which is smaller: -58 or t?
t
Let t be 5/(-3) + (-3912)/(-2376). Is 0.1 at most as big as t?
False
Suppose -1131 = 47*h - 3998. Which is greater: 60 or h?
h
Let y(i) = -3*i**3 + i**2 + 3*i - 1. Suppose 9 = k + 7. Let v be y(k). Let t = -27 - v. Is -12 bigger than t?
False
Let n = -290 + 289.89. Is n smaller than 3?
True
Let i = 0.07 - -0.93. Which is smaller: 0 or i?
0
Suppose 0 = -4*a + 60 + 84. Are 0 and a equal?
False
Let a(p) = p**3 - 4*p**2 - 16*p + 44. Let z be a(5). Is -16 greater than z?
False
Suppose 20*y + 247 = 2427. Is y bigger than 111?
False
Let g(d) = 14*d - 6. Let v be g(-3). Let y be v/120*10/1. Suppose -i = -0*i + 5. Which is smaller: y or i?
i
Let s be 6/(-804)*(1 - -3). Let d = -83823/36113 - -1004/539. Let q = d - s. Which is greater: -0.1 or q?
-0.1
Suppose -3*n - 3*n = 0. Let y = 2 + n. Suppose y*o + 0*o = 0. Which is bigger: o or 4/17?
4/17
Let k be (86/8 + 1)*(-8)/(-2). Is 140/3 less than k?
True
Let o(g) = 7*g**2 - g - 4. Let m be o(3). Let y be (m/(-30))/(6/(-9)). Suppose 4 = -261*x + 262*x. Do x and y have the same value?
False
Let j(f) = 40*f + 340. Let o be j(-14). Is 1 >= o?
True
Let f be (7 - 204/30)*5/(-9). Is f at most 10?
True
Let w = 22.7 + -23. Let p = -0.162 - 0.038. Is p != w?
True
Let s = -289 + 284. Is s < -5?
False
Let v = 286 - 286. Is 234 less than or equ