 - 11. Let a be h(11). Let w = -10 + a. Let m be l(w). Is m greater than -11/8?
True
Let u(d) be the second derivative of 0 + 13/2*d**2 + 7*d + 1/6*d**3. Let l be u(-15). Is -3 less than l?
True
Let x = 1291507/20197 + -1215/19. Is 1 < x?
False
Let a = 10 - 10. Which is smaller: -1/74 or a?
-1/74
Suppose 250*v = 255*v. Let m = -1899/20 - -95. Let o = m - 37/140. Which is smaller: v or o?
o
Suppose -2*i - 46 + 14 = 0. Let j = -12 - i. Which is greater: 0 or j?
j
Let k = -1525 + 871. Which is greater: -655 or k?
k
Suppose -13*w = -2910 - 4565. Are w and 1 unequal?
True
Let x be (3/(-6))/(-1)*(-884)/(-130). Which is smaller: x or -5?
-5
Suppose 79*s - 84*s - 55 = 0. Is s >= -35/3?
True
Let v be 1305 - 3 - 5/(35/(-42)). Is v at most as big as 1309?
True
Let r = -35 - -53. Suppose -14*j = -r*j + 32. Is 0 less than or equal to j?
True
Suppose f = 4*l - 19, -9*f = -7*f + 5*l - 27. Let o be -1*((-90)/(-93) + -1). Which is smaller: o or f?
o
Let n be (-27171)/5427 + (-10)/(-2). Does 0 = n?
False
Let o = 92 + -15. Is o greater than 0?
True
Let j = 364 - 412. Is j at least as big as -50?
True
Suppose -t = -3*i + 7*i - 20, 20 = 4*i. Suppose 3*d - 3 = -t. Which is smaller: 3/83 or d?
3/83
Let r(p) = p**2 - 6*p + 2. Let o(s) = 3*s**2 - 18*s + 6. Let b(z) = -3*o(z) + 8*r(z). Let t be b(7). Let d = t + 8. Is 2/61 at most d?
False
Let s(n) = -n**3 - n**2 - 22*n + 68. Let r be s(3). Is -28 at most r?
False
Let t = -2628 - -2629. Which is smaller: t or 1/181?
1/181
Let p be -1*((-8 - -7) + -3 + 4). Which is bigger: -2/205 or p?
p
Let f(n) = -n + 1. Let j(x) = -x - 8. Let m be j(-8). Let k be f(m). Is -2/9 > k?
False
Let w = 113 + -213. Which is greater: w or -99?
-99
Suppose -34 = 5*k - 4*o - 4, 5*k - 3*o = -30. Suppose -3*v = -2*u + 11, -u + v + 20 = 2*u. Let b be (-7)/u - 1*4. Is b >= k?
True
Let c be (-3)/(-6) + (805/(-42))/23. Let w(t) = -t**3 + 4*t**2 - 3 - 1 + 3. Let d be w(4). Which is smaller: c or d?
d
Suppose -5*z = -3*u + 2*u + 8, -3*u = 2*z + 10. Let q(s) = -3*s + 9. Let o be q(4). Let j be ((-510)/35)/(-6) + o. Is j bigger than u?
True
Suppose -5*q - 15 = 5*n, 5*q + 4*n + 26 = 8. Are 75 and q nonequal?
True
Let h = 59 + -115. Let y be (65/10 - 4)*h/(-15). Which is greater: 8 or y?
y
Suppose -3*b - 4*o = 3, 0 = b - 3*b - 5*o - 2. Let a be (6/(-2))/(14/4). Is a bigger than b?
True
Let z = -307 + 8287/27. Let h = 9 - 8. Which is bigger: h or z?
h
Let x be ((-202)/(-6))/((-8)/(-36)). Does 151 = x?
False
Let d be ((-2)/(-10))/((-4)/(-508)). Let y = d + -2149/85. Suppose 2*m = z - 1, m + z + 1 = 2*z. Which is greater: m or y?
y
Let i be 8 - -3*(-2)/3. Let j be 12/(-14)*(-28)/i. Suppose 0 = j*y - 16, -3*d - 3*y = -2 - 10. Which is bigger: 3/4 or d?
3/4
Let c = -2033 + 24415/12. Let l be (-41)/(-12) + 1/2. Let h = c + l. Which is greater: 7 or h?
7
Let o be 2/2*(14 + -13). Let u be 28/2*9/18. Let m be (-4)/u*(-3)/18. Are o and m unequal?
True
Suppose -z - 106 = 3*z + 2*l, -49 = 2*z + 5*l. Is -25 smaller than z?
False
Let m be 1 + (-2)/(-2) + 0/(-34). Suppose -4*w - 3*z + m = 0, -2*w + 4*z = -w + 9. Is w > -8/15?
False
Let s = -2/19965 + 44378/113135. Let p = 31/1062 + -256099/90270. Let f = p - s. Is f < 0.1?
True
Suppose 2*a - 44 = -3*i, -3*i - 5*a + 28 = -1. Let x be (1 - (-5)/(-35))/(i/(-8)). Which is greater: 1 or x?
1
Let s = 438.797 - 439. Is 1 != s?
True
Let t be (1174/3)/(2/12). Let k be (t/40 - 1)*-2. Let i = k + 115. Which is smaller: i or 0.3?
i
Let t(k) = k + 6. Let f be t(6). Suppose 0 = -p - f - 1. Let s = 14 + p. Which is smaller: 1/2 or s?
1/2
Let o = 1077 + -1321. Is -243 at least o?
True
Let k be 6/(-45)*(-234)/(-572). Which is smaller: -1 or k?
-1
Let c = -3 + -1. Let i be -6*(-1)/3*19. Suppose 23 = 5*n + i. Is c bigger than n?
False
Suppose -315 = 4*c + z - 60, 5 = z. Which is greater: -1 or c?
-1
Suppose 4635406 = 3*a - 7363283. Let f = a - 6247317155/1562. Let s = f + 3/142. Which is bigger: 0 or s?
s
Let i be -587*(1 - 6/7). Suppose -h = 4*s - 6*h - 351, 249 = 3*s + h. Let w = i + s. Is 0 bigger than w?
False
Let z(u) = -u**2 - 8*u + 7. Let b(h) = -5*h. Let y be b(2). Let n be z(y). Let v = 11 + n. Is v greater than -2?
False
Let u(d) = -d**3 + 6*d**2 - 6*d + 36. Let g be u(6). Which is smaller: g or -5/13?
-5/13
Let n = -40 - -46. Let j = n - 5. Is j >= 1/8?
True
Let x(y) be the second derivative of -y**5/10 + y**4/6 - y**3/3 + 8*y. Let h be x(2). Let u be ((-3)/39)/(1/h). Is u bigger than 1?
False
Let a be (3465/576 - 9) + 3. Which is smaller: a or 3/2?
a
Let a = -492 - -463.1. Let b = a + 29. Which is smaller: b or 39?
b
Let x = -1.17 - -4.67. Is -2/5 greater than x?
False
Suppose 2*b + 2*v = 84, -33 = -0*b - b - 4*v. Suppose -3*a - z - 33 = 0, -2*a - b = -3*z - 12. Let r = -7 - a. Is 2 greater than r?
False
Let x be (4 - -32) + (-1 - -1). Let w be -2 + 5/(55/x). Which is smaller: w or 2?
w
Suppose 11*j - 24*j = -156. Let c = -17 - j. Which is bigger: c or -28?
-28
Let i(c) = 9*c - 1. Let k be i(1). Let q = -86 + 97. Suppose q*x - 27 = 50. Are k and x equal?
False
Let q = 9.31 + 352.69. Are q and 3/4 non-equal?
True
Suppose 4*n - 8 = 2*y, 4*n - 17 = -3*y + 11. Let a(j) be the second derivative of j**4/12 - 2*j**3/3 - j**2/2 + j. Let p be a(y). Is p smaller than 2/5?
True
Let x = -19 + 99/5. Let y = 2 - 2. Is x at most as big as y?
False
Let q(s) = -10*s + 4. Let b(w) = -w - 15. Let v be b(-9). Let d be q(v). Suppose 22 - d = 3*k. Which is smaller: k or -15?
-15
Let f = -58.34 + 0.34. Which is bigger: -1/4 or f?
-1/4
Let q be (-3)/(-12) - (-158)/72. Let z be (14/(-3) - -4)/(6/(-27)). Is q > z?
False
Let n(d) = 32*d**3 + d + 1. Let w be n(-1). Let c be -1*3/(3/w). Suppose -l - 3*l + 2*z = c, -2*l - 20 = -2*z. Are -8 and l unequal?
True
Let c = -73 + 71. Are -1/26 and c unequal?
True
Let p = -1482197/318 + 4661. Which is smaller: -1 or p?
-1
Let i = 139/141 + -15/47. Suppose 0 = -5*t + 2*g + 2, -2*t - 5 = 5*g - 0. Which is bigger: t or i?
i
Suppose r - 36 = 5*r. Let s = 11 + r. Let j(i) = i**2 - 3*i + 2. Let g be j(s). Which is smaller: g or 6/13?
g
Suppose 2*a - 5*c = -101, -3*c = 2*a - 27 + 152. Are a and -55 nonequal?
True
Suppose -l + 3 = -4*n, 1 - 7 = 2*n + 4*l. Which is smaller: n or -2/13?
n
Let t(h) = -19*h + 1. Let g be t(0). Suppose -5*s = -0*s. Suppose 0 = 2*f - 5*j - 27, -2*f + s*f + 12 = -2*j. Do f and g have different values?
False
Let d = 0.27 - 0.47. Is d bigger than 3.3?
False
Let z = 275 + -276. Do z and -96 have different values?
True
Suppose -2*r - 14 = -4*s, -3*r = -4*s + 3*s - 4. Is 5/2 > r?
False
Let z be 7*-2*(20/(-8) - -2). Let m be (-12)/((21/(-2))/z). Suppose -5*y = -2 - 38. Is y bigger than m?
False
Let s = -6569 - -4483. Is -2086 at least s?
True
Let r(q) = q - 16. Let m be r(-16). Is m at most as big as -30?
True
Let w = 0.919 - -0.081. Is w at least 58?
False
Let m = -1.33 + -0.07. Let k = 1.2 - m. Let r = 0.6 - k. Which is greater: 6 or r?
6
Let k be (-9)/6*(-4)/(-3). Let t be 0 + 2 + (-3 - k). Suppose 0 = -3*y + 21 - 27. Which is smaller: y or t?
y
Let q(g) = g**2 + 11*g. Let v be q(-10). Let j = v - -15. Let h = -4 + j. Is h equal to -2/9?
False
Let n(j) = j**2 + 4*j + 2. Let s be n(-1). Let u(c) = c**2 - 2. Let h be u(-2). Let t be 24/(-930)*5/h. Do s and t have the same value?
False
Let n be -1*5/(25/(-20)). Let d be n/(-3)*(4 + -1). Which is smaller: -6 or d?
-6
Let z be (-8 - (-80 + -6))/2. Is 159/4 != z?
True
Let l(w) = w**3 + 20*w**2 + 127*w + 10. Let a be l(-6). Is a less than or equal to -248?
True
Suppose -6 + 4 = j. Let a be ((-6)/j)/(3*(-3)/60). Which is bigger: -19 or a?
-19
Suppose i - 2*h + 2 = -1, -4*i = -2*h + 6. Suppose 2 = -3*g - 7. Let s be (-1)/g - 16/120. Which is smaller: s or i?
i
Suppose -9*m = -17*m + 8. Which is bigger: m or 3/5?
m
Let m = 24/85 - 2/5. Let j be ((-6)/15)/(2/(-10)). Let q = j + -1. Which is bigger: m or q?
q
Let t = -312 + 4060/13. Let n = 77 + -78. Which is smaller: n or t?
n
Let r be (-3 + 6)*(-4)/(-3). Suppose 0 = -r*g - g - 135. Let d be ((-6)/(-4))/(g/(-12)). Which is bigger: d or 3/5?
d
Suppose 0 = -2*p - u - 6, -2*u = 3*p + 1 + 6. Let t be ((-91)/p)/(-3 + 2). Is t less than or equal to -19?
False
Suppose 5*r - 52 + 7 = 0. Let o(y) = y**2 - 10*y - 1. Let m be o(r). Let n be (3 + m/4)*-2. Which is smaller: n or 1/4?
n
Let o(j) = -2*j + 5. Let g be o(