e a(0). Let f(u) be the second derivative of -u**4/12 + 2*u**3/3 + u**2 - u. Let p be f(4). Is p at least k?
True
Let u be 4/22 - (9 - 9). Which is smaller: -1 or u?
-1
Let g(i) = i - 3. Let w be g(3). Suppose -2*h + 3*a = -11, -a = -w*h + 5*h - 36. Suppose -h*y + 3*y = -12. Is y equal to 3?
True
Suppose -4*o + 3*i + 15 = 0, -i + 20 = 4*o - 5*i. Let p(w) = w**3 - 5*w**2 - 6*w + 4. Let r be p(6). Let d be 1 - 6*r/42. Do o and d have different values?
True
Let j = 3 - 7. Let a = -16 - -11. Which is greater: a or j?
j
Let t = 0 + -1. Let k = 7 + -3. Let b be k/(-26) - 10/(-65). Is t != b?
True
Let i be 1/(-4) - (-77)/(-144). Let t be (1 - -1) + (-246)/96. Let x = t - i. Is -0.1 greater than x?
False
Let v be 1/((-5)/15*3). Let m = 5 - 9. Let n be m/(-26) - 0/1. Which is smaller: n or v?
v
Let b be (-4)/12 - 62/(-6). Suppose -3*v + 2*m + b = -2*m, 4*v + 2*m - 6 = 0. Suppose 5*a - 2*t + 23 = 0, -3*a + v*t - 25 = -2*t. Which is greater: -2 or a?
-2
Let w be 15*(-1)/(1 + -4). Let v = 3 - w. Let r = 0.1 - 0.2. Which is greater: v or r?
r
Suppose -2*i - 12 = i, 0 = -u + 2*i + 7. Let f be (-28)/(-21)*(-3)/1. Let k = 30/7 + f. Is k < u?
False
Suppose -3*u - 17 = -5. Let q be 6/u - (-333)/90. Which is smaller: q or 1?
1
Suppose -6*v - 5*v = -22. Is 9/5 not equal to v?
True
Let b = -0.2 + 0.1. Suppose 0 = 9*d + 5 + 13. Is d greater than b?
False
Let f = 4 + 4. Is 8 greater than or equal to f?
True
Let o = -149 + 175. Is 24 greater than o?
False
Suppose 0 = -5*a - 5. Let j = -397 - -1186/3. Which is smaller: a or j?
j
Suppose -4 = -5*c + q, 3*c - q = 5*c - 3. Let t = c + -4. Is t <= -3?
True
Let y = -55 - -54. Is -2/37 greater than y?
True
Let h = -0.2 + 0.11. Let a = h + 2.09. Do -2/9 and a have the same value?
False
Let u(d) = 5*d + d + 0*d. Let k be u(1). Let x be (3/(-9))/(2/k). Which is smaller: 0.3 or x?
x
Suppose 0 = -3*a + c + 20, 18 = 2*a + c + 3*c. Do a and 7 have the same value?
True
Suppose 0 = -3*l - 41 - 10. Is -15 smaller than l?
False
Let b = 38 - 20. Suppose 4*l + 16 = 2*n, -4*n + b = -4*l + 2. Let p be 40/(-189) - l/14. Which is greater: 1 or p?
1
Let g(w) = w + 1. Let n be g(7). Suppose -4*l = -3*l - n. Let k = l + -5. Is k greater than 3?
False
Let m = -5209/21 - -248. Is m greater than 1?
False
Let z = 0 + 0. Suppose 0 = -n - z*n. Suppose -3*m + 1 = -2*m. Is n <= m?
True
Let s = -3 - -4. Let w = -1 + s. Let i = -1 + w. Is -1 at most i?
True
Suppose 3*p - 5 = 4*p. Let j be p/(-15) + (-7)/3. Let z = j + 2. Which is greater: -1/2 or z?
z
Let w = 894 + -1694. Let h = w - -16796/21. Which is smaller: 1 or h?
h
Let f = -3 + 7. Let l = -3 + f. Which is smaller: l or -1?
-1
Let d(v) = v**3 + 8*v**2 - 9*v - 16. Let j be d(-9). Is j < -16?
False
Suppose -3*n + 9 = -3*c, 0 = -4*c - c - 2*n - 29. Is -3 >= c?
True
Let f = -3 - -2. Let a(t) = -2*t - 2. Let s be a(-5). Let z(i) = i - 4. Let m be z(s). Is f equal to m?
False
Suppose 2*b = q - b - 16, 5*q + 3*b - 26 = 0. Suppose q = 4*v + 3. Let p = -2668/153 - -158/9. Is v equal to p?
False
Let a = 549/4 - 138. Let i be 0 + 0 - 1 - 1. Is a at least as big as i?
True
Let k be 1/(0 + (-3)/1). Suppose -1 = -3*q + 2*q. Let a = q - 0. Which is smaller: a or k?
k
Let d be (-10)/14 - (-2)/(-7). Let m be (2 - (-2)/3) + -3. Is m at most as big as d?
False
Suppose -2*m + 2 + 6 = z, -2 = 3*m + 5*z. Suppose -3*v = -0*v - m. Let b = 3 - 0. Which is bigger: b or v?
b
Let q = -3 + 0. Let o = -1.4 - -0.4. Let c = o + 1. Which is greater: q or c?
c
Suppose -s = -2*a + 6*a - 21, a + 16 = 4*s. Let p = 68 + -65.1. Let f = p + -3. Which is greater: a or f?
a
Let a(s) = -s - 1. Let k be a(-5). Suppose -2*y + 0 = k. Suppose -88 = -3*p - 94. Is y equal to p?
True
Suppose 0 = -0*k - 2*k - 6. Let n(c) = -12*c**2 + 3*c + 5*c**2 + 6*c**2 + 2*c**2 + 1. Let o be n(k). Is o > -1/3?
True
Let y = -10 + 10. Is 7 at most y?
False
Let n = 123 + -122.7. Suppose i = 4, -21 = -h - 2*i - 8. Suppose 0 = -h*l + 2 + 3. Is n != l?
True
Let j = 6 + 3. Which is bigger: j or 8?
j
Let x be 16/6*(-9)/6. Let u be -1*0*x/12. Which is bigger: -1 or u?
u
Let s = -4 - -6. Let u = -5 + s. Let j = 3 + u. Is 0.2 <= j?
False
Let j(w) = w**3 + 2*w**2 - 4*w - 2. Let a be j(-3). Let x = a + 1. Suppose 0 = -0*i - x*i. Is i greater than or equal to -1?
True
Let o = 19 + -15. Which is bigger: o or 0.9?
o
Let d(z) = z**2 + z. Let x be d(-3). Let h be (-10)/(-35) - (-276)/14. Suppose h = -5*w, 1 = -3*q + 5*w + 39. Is x less than q?
False
Let n = -0.178 + 2.178. Let o = 224 - 2462/11. Is n equal to o?
False
Let o = -72 + 71. Which is smaller: o or -4/11?
o
Let j = -1.6 + 1.6. Is j at least -3?
True
Let t be ((-6)/(-232))/((-4)/8). Let r = 95/406 - t. Do r and 1 have the same value?
False
Suppose 5*v + 9 = -1. Suppose -3*c + 2*b - 26 = 4*b, -2*b - 14 = c. Let j be (-3)/9 + (-2)/c. Which is bigger: j or v?
j
Let b(y) = 15*y**2 - 3*y - 4. Let f be b(-1). Which is bigger: f or -4?
f
Let f = 17 - 12. Suppose f*v - o = 18, -v - o = v - 3. Suppose -4*j + 0 + 21 = -z, 2*j - 13 = v*z. Is z equal to 2/5?
False
Let t be ((-2499)/(-84))/(2/(-8)). Is t < -120?
False
Let y(z) = 3*z - 13. Let i be y(5). Suppose 2*c + 21 = -3*g - 4, -5*g - i*c = 39. Which is bigger: g or -8?
g
Let j(g) = -g - 4. Let k be j(-8). Let a = -12 + 17. Let x = k - a. Do x and -1 have different values?
False
Suppose 5*i = 6*i + 10. Let m = i + 7. Is -5 at most as big as m?
True
Let x = 4 + -4.4. Let b = -0.5 - x. Which is bigger: 3 or b?
3
Let c = 3/31 + -37/62. Let r = -1 + 0.9. Do c and r have the same value?
False
Suppose 3*c - 4 = -1. Let u = 279/7 + -269/7. Are c and u unequal?
True
Let a = 19.1 + -19. Is a at least as big as -0.1?
True
Let k = -161 + 162. Is 1 at least k?
True
Suppose 25 = 69*x - 74*x. Which is bigger: x or 0.4?
0.4
Let g(p) = p**3 - 5*p**2 - 5*p - 7. Let n be g(6). Let y(l) = l**2 - 6*l - 7. Let t be y(7). Let z be (-1 - t) + 1/(-3). Which is smaller: n or z?
z
Suppose y = -3*y. Suppose 4*u - 8*u - 4 = y. Let v(o) = -o + 2. Let p be v(2). Is p >= u?
True
Let h(v) = -v + 6. Let x be h(-7). Are 10 and x equal?
False
Let n = -18 - -21.1. Let w = -3 + n. Let v = 1.7 - 2. Which is smaller: w or v?
v
Suppose 3*n - b + 12 + 0 = 0, b + 12 = -5*n. Let i be n - (0 - (13 - -1)). Is 11 bigger than i?
False
Suppose -v = 3*g - 7 + 1, -5*g = 4*v - 17. Let a be (3 + 3)*(-3)/(-63). Which is smaller: a or g?
a
Suppose 7*t = 3*t - 56. Let b = -4 - t. Let z be 1 - 3 - b/(-4). Which is greater: z or -2/3?
z
Suppose 13 + 32 = -3*p. Are -11 and p nonequal?
True
Let g be 77/5 + 6/(-15). Let i be 86/(-30) + g/5. Which is greater: i or -1?
i
Let s = 34.84 - 0.84. Is s greater than or equal to 2/7?
True
Let m = 14 - 11. Suppose -m = -t + 1. Do 4 and t have different values?
False
Let n(w) = w + 7. Let f be n(-6). Let s be 3/(42/4)*(-1)/1. Are s and f unequal?
True
Let m(n) = -n + 5. Let v be m(0). Let a(h) = h**2 + 3*h - 6. Let b be a(-5). Is v smaller than b?
False
Let o = 10 + -5. Let l = o + -9. Is l <= -2/5?
True
Let z be 2/(-2) + 0 - 1. Let w = 2 + z. Suppose -4*h = 2*i + 3*i - 21, -3*i + 4*h + 19 = w. Which is smaller: i or 6?
i
Let d = -0.73 - -0.8. Let a = d + -0.02. Let s = a + 0.05. Which is bigger: -4 or s?
s
Let t be (-2)/12 - (-220)/24. Is 8 less than t?
True
Let l(j) = j**3 - 6*j**2 - 7*j + 3. Let o be l(7). Suppose -o - 2 = -5*p. Let b = 44 + -218/5. Is p less than b?
False
Suppose 7*z - 5 = 2*z. Suppose -3 = 3*u - 0. Do z and u have different values?
True
Let g = 24 + -16. Let o = g + -8. Which is smaller: 0.2 or o?
o
Let b be (-14)/6 + (-2)/6 + 1. Which is smaller: b or -1?
b
Let l be (-264)/15 + 2/(-5). Let o = l + 40. Suppose -5*u = -2*y - o, -4*u + 3*y + 12 + 7 = 0. Which is greater: u or 2?
u
Let w = -0.08 - 2.92. Let s = 143/3 - 47. Which is greater: w or s?
s
Let q = 1.18 + -0.42. Let h = q + -0.9. Let t = h - 0.06. Which is smaller: t or -3?
-3
Let w be ((-4)/(-3))/(8/12). Is w != 2/3?
True
Let x(z) = -z**2 - 4*z - 3. Let k be x(-4). Let l be (k/2)/((-14)/4). Let j(s) = -s - 16. Let c be j(-15). Is c greater than l?
False
Let w = 6 - 4. Which is greater: w or 0.1?
w
Suppose -2*n = i - 3*i + 36, -2*i = -3*n - 36. Which is smaller: i or 17?
17
Let r = 4 - 3. Let v = 0.7 - r. Let y = v + 0.4. Which is smaller: -2/9 or y?
-2/9
Let j(m) = m + 13. Let i be j(-13). Which is bigger: i or 1/