Let a(l) be the second derivative of -l**4/12 - 5*l**3/3 + 13*l**2/2 + 2*l. Let m = -11 + 0. Let x be a(m). Do 2 and x have the same value?
True
Let u(x) = -x**3 - 6*x**2 - 2*x - 8. Let d be u(-6). Suppose -d*c + 5*f + 0*f = -24, 13 = 5*c - 2*f. Let v = -0.9 + 0.8. Which is greater: c or v?
c
Let h be (7/(-32))/(13/52). Which is bigger: h or 0?
0
Let u = -7 - -13. Let b = u - 6. Which is bigger: -4/7 or b?
b
Let s be ((-21)/70)/((-12)/(-890)). Let u = -2039/92 - s. Is u less than or equal to 0?
False
Let z be ((-24)/21 - -4) + -2. Is z equal to 0?
False
Suppose -3*t + 23 = -7. Is t at most 10?
True
Let y(m) = 12*m - 6*m - 5*m. Let a be y(-3). Let c be (2 - -2)*a/(-12). Which is greater: 1/9 or c?
c
Suppose -d + 5*f + 41 - 7 = 0, -3*d + 37 = -2*f. Let k be d/6*(-4)/(-6). Let u = -153/5 - -31. Is u greater than k?
False
Let o be 1*(-10)/5 + -1. Which is smaller: -5 or o?
-5
Let u be ((-3)/1359)/(35/(-6753)). Let h = 2/755 + u. Which is smaller: h or -0.1?
-0.1
Let x(p) = -3*p**3 + 2*p + 4*p**3 - 6 + 4 - 4*p**2. Let y be x(3). Let m be (-2)/y*10/22. Is 1 greater than or equal to m?
True
Suppose 18 = q - 4*q. Suppose 2*i + 3*i + 30 = 0. Is i > q?
False
Let s = 10 + -3. Is s < -4?
False
Suppose 0 = -4*d + 2*d - b, 0 = d - b. Let s be d - (-3)/((-6)/4). Let c be (-1 - s) + (-3)/2. Is -2 smaller than c?
True
Let w(i) = 2*i**3 + i**2 + i + 1. Suppose -l = 3*l + 4. Let a be w(l). Let h be ((-3)/((-3)/2))/a. Is -1 at least h?
True
Let j = 8 - -8. Let y = -8 + j. Is 6 bigger than y?
False
Let s be 2/((-1 - 1)*-1). Let d be (-1 - s*-2)/1. Let u = 29/164 - -3/41. Which is smaller: u or d?
u
Let n(i) = i**2 + 3*i - 10. Let f be n(-5). Which is smaller: 2/53 or f?
f
Let s = -6.4 - -6. Which is smaller: s or -3/5?
-3/5
Let m = 1.4 - 1.4. Which is bigger: m or -5?
m
Suppose 0*v + 2*v = 2. Let p(n) = n**3 + 9*n**2 + 9*n + 8. Let c be p(-8). Suppose 2*b - 7*b = c. Is v < b?
False
Suppose 4*v - 4 = -0. Which is smaller: 3/7 or v?
3/7
Let o(j) = -j**3 + 6*j**2 + 6*j + 5. Let u be o(7). Let m(z) = -2*z**3 - z**2 - z - 1. Let c be m(-1). Is c at least u?
True
Let t(l) = -1 + 2 - 3 + 4*l. Let r be t(3). Suppose 5*m - 2*m = -y - 16, r = -2*m. Is 2/17 bigger than y?
True
Suppose t + 6 = -2*t. Let a = -19 - -17. Is t equal to a?
True
Let p be (-6)/9*6/2. Is -1 at least p?
True
Let g(c) = 2*c**2 - 2*c + 1. Let n be g(2). Suppose d - n = -4. Which is greater: d or -2/19?
d
Let x be -2*3/(-3) - 6. Let o = 13 + -18. Which is smaller: o or x?
o
Suppose 5*y = -5*d + 10, 2*y - 4*d + 0*d - 4 = 0. Let z be (2/4)/((-2)/4). Let m be z/(y + 1) + 1. Which is smaller: 2 or m?
m
Let a = -8 - 4. Let l = -11 - a. Which is bigger: 1/3 or l?
l
Let s(d) = d**2 + 10*d - 2. Let u be s(-10). Let a(i) = -11*i - 1. Let y(q) = -6*q. Let f(g) = 3*a(g) - 5*y(g). Let v be f(u). Are v and 3 equal?
True
Suppose 24 = 5*j - 6. Let k be j/4*2/6. Are k and 0.2 unequal?
True
Let m(o) = o**3 + 8*o**2 + 6*o - 7. Let w be m(-7). Let b = -3.2 + 0.2. Let h = -3.3 - b. Is w at most h?
False
Let p = -5 + 5. Suppose 0 = 2*y - 0*y. Let o be (y - p) + (-1 - 2). Is -1 at least as big as o?
True
Suppose b - 2*q = 3, -4*b + 2*b = 4*q + 2. Let h be (2 - 2)/b*-1. Is -1/4 equal to h?
False
Let b be 0 - (-3)/(-18)*4. Let a be 22/(-99) + 2/9. Is a smaller than b?
False
Let g = 3 - 4. Let o(y) = -y**3 - 4*y**2 - 4*y - 6. Let j be o(-3). Which is smaller: j or g?
j
Let g(b) = -2*b + 3. Let l be g(3). Let m be (-2)/7 - 4/(-14). Suppose s - 4*s + 2*d - 18 = m, -5*d = -5*s - 35. Is l less than or equal to s?
False
Suppose 2*y = -4*x + 2, -4*y + 7 = -0*x + 5*x. Let s be (0/x)/(-2) + 2. Suppose s*d - 4 = 6*d. Is d > 0?
False
Suppose -3*l = -2*l - 5. Let g = l + -1. Suppose 2*a + g = -0*a. Which is bigger: a or -4?
a
Let s(y) = -y. Let f(i) = 8*i - 1. Let t(z) = 2*f(z) + 14*s(z). Let o be t(-1). Is o < -14/3?
False
Let t be (-1)/12 + (-5)/(-15). Let q(n) = 2 + 2*n + n - 7 - 2*n. Let m be q(5). Which is greater: t or m?
t
Let l(h) = -h - 3. Let x be l(-2). Which is bigger: x or 0?
0
Let l(u) = u - 1. Let m be l(1). Suppose 2*o - 3*o = 3*v - 55, 0 = v - o - 17. Suppose -n = -3, -v = z - 4*z - 4*n. Is m <= z?
True
Suppose 45 = 6*i - 2*i + z, 0 = i - 2*z - 9. Which is bigger: 12 or i?
12
Let y = -255 + 4334/17. Is 0 bigger than y?
True
Let h be 14/(-1)*(-2)/4. Let u be 700/90 - (-3)/(54/4). Does h = u?
False
Let p(t) = t**3 + 10*t**2 + 7*t - 13. Let h = 14 - 23. Let q be p(h). Suppose -4*n = n - q. Is 2/9 <= n?
True
Let y = -2 + 2.2. Let b = 4 - 3.2. Let l = y + b. Which is smaller: 0.3 or l?
0.3
Let u = -2/1801 + -1711/81045. Do 0 and u have different values?
True
Suppose -2*l + 7 = 13. Which is smaller: l or -2?
l
Let c be 208/6*36/24. Suppose 0*m = -3*m - 3*w - 36, 5*m = -w - c. Are -9 and m equal?
False
Suppose 2*v + 0 = -2. Let l = -3973/13 + 306. Is v smaller than l?
True
Let z = -7161851/15 - -477721. Let n = 497/3 - z. Let u = -99 - n. Do 0 and u have the same value?
False
Suppose 5 = -3*w - 2*w. Which is smaller: w or 0.02?
w
Let a = -0.2 - -0.6. Let n = -0.2 + a. Let y = n - 0.3. Which is greater: y or 4?
4
Let m be 0 + 2*4/(-32). Which is bigger: -17/4 or m?
m
Let j = -0.18 + 8.18. Let u = j - 7. Which is bigger: 1/3 or u?
u
Let r = 19/7 + -3. Let s = 0.3 - 1.3. Let h = -2 - s. Is r != h?
True
Suppose 5*m - 55 = 2*a, -3*m + a + 21 = -12. Which is bigger: m or 10?
m
Let w be 2 - (-5)/((-12345)/4936). Let q = 76549/12345 - w. Let z = q + -191/30. Are 0 and z non-equal?
True
Suppose 5*w - 41 = -16. Let c(n) = -n**2 + 9*n - 5. Let m be c(w). Suppose -2*k - m = -7*k. Are 3 and k nonequal?
False
Let k be 1/4*6/(-4). Let c = 19/5 + -17/5. Is k > c?
False
Let f be (6/(-32))/((-4)/(-40)). Let v = 211/104 + f. Let q = 5 - 6. Is q at most v?
True
Suppose 3*h = 8*h - 25. Let k(j) = j**2 + j - 1. Let d be k(-3). Suppose 5*c + i - 5 = c, -d = -h*i. Which is smaller: c or 2?
c
Suppose r - 4 = -2*w, -5*r + r + 16 = 0. Is -1/34 < w?
True
Let q be (-1 + (-4 - -5))/2. Is q != -1/4?
True
Let p = 45 - 45. Let t = 0.14 - 0.1. Which is smaller: t or p?
p
Let b = -5.808 + -0.092. Let g = 1.1 - b. Which is smaller: -1 or g?
-1
Let o = 11 - 11.2. Let y = -0.1 - o. Do 4 and y have different values?
True
Let v = -104 - -102. Is 1 at most v?
False
Suppose 5*r - 6 = -r. Let p = 8 + -5. Suppose 2*o = -o + p. Are o and r non-equal?
False
Let c be (-18)/(-30)*(4 - -1). Suppose -c - 11 = n - 2*b, 5*b - 45 = 5*n. Let q = n + 6. Which is smaller: 4/5 or q?
4/5
Let g be 118/(-119) - (-36)/126. Is 0 greater than or equal to g?
True
Let l be (12 + -4)/(2/1). Suppose 0 = -2*i + 5*b - 1, 3*i - l*b - 9 = -0. Which is bigger: i or 6?
i
Let v(p) = -20*p**3 - p + 1. Let s be v(1). Is s at least -21?
True
Let m be (1/(-4))/(2/4). Let b = 12 - 13. Which is smaller: b or m?
b
Suppose -5*k - 2898 = 4*a, -a - 10 = 4*a. Let d = k - -4038/7. Let p = -31/21 - d. Is -2 greater than or equal to p?
False
Let o(i) = i**3 + 8*i**2 + 4*i + 2. Let m be o(-6). Which is greater: m or 49?
m
Let g(d) = -d - 5. Let n be g(-6). Which is smaller: 1/11 or n?
1/11
Let v = 34 + -137/4. Let x = -6 - -34. Let s be 7/x + 18/(-8). Is s greater than or equal to v?
False
Suppose 0 = 8*t - 3*t - 15. Let c be 15/(-8 - -5) - -10. Which is greater: t or c?
c
Let f(q) = -q. Let h be f(0). Which is greater: -1/15 or h?
h
Let p be (1 - 0)/((-1)/1). Let h(r) = -1 + 5*r + 6*r**2 - 3*r**2 - 2*r**2. Let b be h(-5). Is p < b?
False
Let v(h) = h**2 + 8*h - 8. Let n be v(-10). Suppose 0 - n = 2*z. Let k = 5 + z. Is k at most as big as 0?
True
Suppose 0 = 2*p - 0*p. Are 1/2 and p non-equal?
True
Let d(n) = 3*n + 12. Let u be d(-5). Which is smaller: u or -1/7?
u
Let s be 12/(-5) + (-4)/(-10). Let c be ((-3)/s)/(1 - 7). Suppose 0 = -2*p + p - 1. Which is bigger: c or p?
c
Let v = -11 - -6. Let q = v + 8. Is 1 at most as big as q?
True
Let i = -63 + 64. Which is greater: i or -3?
i
Let a be (6 - 0 - 3) + -2. Let g = 9.2 + -10. Let l = g + -0.2. Are a and l nonequal?
True
Let v(b) = b**2 - 8*b + 9. Let w be v(7). Suppose 0 = -4*l - 5*d + 6 - w, 0 = 5*d. Is l > 2/3?
True
Suppose 0 = -2*d + 2 + 4. Suppose h + 2 = -o, 3*h - 5*h - 7 = o. Suppose 5*r = 3*c - 4 - 4, o*c + 4*r = -1. Do c and d have the same value?
False
Let d = -1 + 6. Suppose -d*q + 27 = g, -3*q - q - 4*g = -28. Suppose -q*i - 2 - 3 = 0. Which is gre