3*s. Let p be v(a). Is 0.2 less than or equal to p?
False
Let c(r) = -r**2 - 3*r + 7. Let z be c(-6). Let v be -1*(9/z - -1). Let l = v + 1/66. Which is smaller: l or 1?
l
Let g = -29 - -85/3. Suppose -4*l = 3*w + 5 + 2, -4 = 2*l + 2*w. Which is bigger: l or g?
g
Let b = -489/2 - -240. Let q = 4 + b. Let y(x) = x**3 - 7*x**2 + 7*x - 7. Let r be y(6). Is r > q?
False
Let n be 12/(-5)*((-170)/(-45) + -4). Which is bigger: 0 or n?
n
Let t be 90/(-189)*12/(-10). Which is greater: t or 1?
1
Let n = 5 + -5. Let v = -5 - -7. Let m be v/6 + 52/(-84). Is n at least m?
True
Let p be 5/2*(-168)/(-60). Is p greater than 8?
False
Let q be (-68)/91 + (-2)/(-7). Which is greater: q or 1?
1
Let h = -51 + 46.2. Which is greater: -0.1 or h?
-0.1
Let z(h) = h**3 - 21*h**2 + 54*h - 4. Let g be z(18). Let q(n) = 6*n**3 + n**2 - 2*n + 1. Let u be q(1). Let p = u - 10. Is p bigger than g?
False
Suppose v + 3 - 5 = 5*k, -3*k - 3*v = -6. Let u be k + (-2)/(2 - 0). Is -3/4 < u?
False
Let x = -4 + 9. Suppose -n - 7 = -r, -n = -x*r + n + 41. Let j be r/(-7) - (-4)/14. Is 2/5 equal to j?
False
Let u(m) = m**2 - 8*m - 9. Let b be u(9). Suppose -5*z - 25 = -5*j - b, -2*j - 2*z = 10. Is 2/9 at least as big as j?
True
Let p(x) = -x**2 - 2*x + 1. Let i be p(0). Suppose 4 = 2*c - 3*m + 12, c = m - 2. Let a = c + 0. Which is smaller: a or i?
i
Let l = 0.142 + -29.142. Is 1/4 at most as big as l?
False
Let j = -19 + 25. Suppose 0 = 2*y - 2*f + 5 - 1, 0 = -y + 2*f - 4. Which is bigger: j or y?
j
Let t = 81/112 + -5/112. Let d = -387/28 - t. Let i = d - -15. Which is bigger: 0 or i?
i
Suppose -3*x + 4*u = u - 30, 4*u = 5*x - 47. Are x and 9 non-equal?
True
Suppose -3*i + 2 = -1. Let v be (-4)/(-2) - 0/2. Let y = 3 - v. Is y < i?
False
Let g = 25 + -17. Let q(d) = -d**3 + 8*d**2 + d - 9. Let w be q(g). Is w at least -1?
True
Let b be -3*(-2)/(-12)*-2. Let n = b - 1. Which is smaller: n or 0.1?
n
Let q(y) be the first derivative of y**3/3 + 4*y**2 + 9*y - 6. Let d be q(-7). Is d at least as big as 3?
False
Suppose k = -5*c - 81, 2*k = c - 0*k + 14. Let v = 18 + -28. Let u = c - v. Is u less than -5?
True
Suppose d = 3*g - 4*d + 4, -2*g + 2*d = 4. Let a be g*2 - 6/(-3). Let u(o) = 2*o**2 - 12*o - 5. Let x be u(6). Which is smaller: a or x?
x
Let o(c) = -8*c + 4. Let q = 7 - 4. Let z be o(q). Let w be 1/2*(-24)/z. Is 0 bigger than w?
False
Let b be 2/4*(-5)/10. Let y(i) = 3*i - 7. Let t(u) = -2*u + 3. Let m(o) = 5*t(o) + 3*y(o). Let d be m(-7). Is b <= d?
True
Let i = 0 - -2. Let z = -13 + 9. Let d = i + z. Is d smaller than 0?
True
Suppose k = -2*k - 6. Is k at most as big as -5/4?
True
Suppose 0 = -3*c - 9 + 51. Is 16 bigger than c?
True
Let t = 7 + -7. Let g = t - 1. Is 1 less than or equal to g?
False
Let n be (5/(-10))/((-2)/4). Suppose 2*z + 1 = 3*r, z + n = -2*r + 4. Which is greater: z or 2/5?
z
Let f(u) = -u**3 - 6*u**2 + 2. Let q be f(-6). Suppose q*g = -2*g. Which is smaller: g or -3/4?
-3/4
Let j = 7.1 + -7. Let g = 1 + 0.1. Let x = j - g. Is 2/11 at most x?
False
Let u be -1 + (-3)/(0 - 3). Suppose 3*y - 1 + 10 = u. Is -7/2 less than or equal to y?
True
Let p(a) = -10*a - 35. Let i be p(-4). Is 32/5 > i?
True
Let t be (-2)/(-4)*((-12)/(-188))/(-3). Which is greater: t or -1?
t
Let l(t) = 3*t**3 + 2*t**2 - t. Let q be l(1). Suppose q*a - o - 5 = 0, -4*a + 6*o - 7 = o. Suppose 0 = 5*i - 2*i. Which is smaller: a or i?
i
Let f be (-15)/(-400)*(3 - 1). Which is greater: -1 or f?
f
Suppose -25 = -2*z - l, -2*l + 58 = 5*z + 2*l. Let a = z + -12. Is 1 less than a?
True
Let w(b) = -b - 4. Let g be w(-7). Let n be -1 + (5/g - 1). Let v(o) = -2*o - 1. Let r be v(-1). Is r less than or equal to n?
False
Suppose 39 = 4*z - 3*l, z - 5*l - 19 = 2*z. Suppose -5*p - z = -26. Let y be (p/(-55))/(6/15). Which is smaller: y or -1?
-1
Let c be (2 - 2)/3 + 2. Let h(a) = a - 2. Let o be h(c). Suppose -r - 2*g + 3 = o, 2*r - 7*r - 4*g + 3 = 0. Which is greater: r or -2/19?
-2/19
Let a be (-10 + 2)*(-69)/2. Suppose -2*n + a = -0*n. Let y be (8/n)/((-6)/9). Which is greater: y or 1?
1
Suppose c + 4 = 10. Let f(o) = -o**3 + 3*o**2 + 3*o - 3. Let k be f(2). Is c > k?
False
Let d = 3/34 + -29/714. Is 0 less than d?
True
Let l = -4 - -7. Let i be (-2)/4*l*2. Let y be 1/(-2)*i/(-2). Which is bigger: -2 or y?
y
Let p be -1 + (-1)/(2/(-4)). Let q = -11 + 14. Suppose 5*z = -t - 17, -q*z - 15 = -6. Is t greater than p?
False
Suppose 0*c + c + d = -2, 12 = 4*c - d. Is c not equal to 3?
True
Let n(v) = -v**3 + 2*v**2 + 4*v - 3. Let r be n(3). Suppose -5*x - 15 = -t, 2*x - 5*x = 15. Let w be 2/t*-2*1. Are r and w non-equal?
True
Let v = -4.818 + 0.118. Let i = -0.7 - v. Let f = i + -2. Is f less than or equal to -2/5?
False
Let p be (-259)/87 + (6 - 3). Is -1 at most as big as p?
True
Let w(t) = -11*t**2 - t + 2. Let o be w(-2). Let l = 8 - o. Let f be -2 - 3/((-63)/l). Which is smaller: f or 1?
f
Suppose 3*m = m + 18. Suppose 3*s + m = 3. Is -4/5 at least s?
True
Let y = 59 - 58.9. Which is greater: y or -0.039?
y
Let g(t) be the third derivative of t**6/120 - t**5/60 - t**4/8 + t**3/3 + 3*t**2. Let d be g(2). Do 3/8 and d have different values?
True
Let g(b) = b**2 - 6*b + 4. Let o be g(4). Let r be (-2)/(-12) + o/16. Which is greater: r or 0?
0
Suppose 5*v - 25 = 2*f + 3*f, v - 15 = 3*f. Which is bigger: v or 1/15?
1/15
Let j(t) = -t**2 + t + 15. Let a be j(0). Is a <= 15?
True
Let a(y) = 2*y - 8. Let s(v) = -5*v + 15. Let b(j) = -7*a(j) - 3*s(j). Let p be b(-8). Suppose -2*w = -3*w + p. Which is smaller: 2 or w?
2
Suppose 0 = 5*a - 16 + 41. Is -33/7 at most as big as a?
False
Suppose 0 = f + 3*f. Suppose 10 + 5 = 3*x. Let q = f + x. Is q >= 5?
True
Suppose 2*i = -i. Let x = 2 - -3. Let n = i + x. Which is smaller: n or -1?
-1
Let n(f) = -2*f**3 - 4*f**2 + 2*f + 4. Let l be 6/4*(8 + -10). Let u be n(l). Which is bigger: 15 or u?
u
Let f = 27 + 9. Do 35 and f have the same value?
False
Let h be (20/(-55))/4*(0 + 12). Which is smaller: h or -1?
h
Let k(n) = -n**2 + 6*n - 5. Let l be k(5). Which is smaller: l or 3?
l
Suppose 82 = -3*i - v, 4*i + 0*v + 114 = v. Which is smaller: i or -29?
-29
Let q(j) = -2*j + 22. Let a be q(9). Let w(r) = r**3 - 7*r**2 - 6*r - 11. Let h be w(8). Is h < a?
False
Let p be (1/(-3))/(6/72). Are p and -2 nonequal?
True
Suppose -3*u = 3*u + 102. Is -16 <= u?
False
Let w = 2.4 - 0.4. Is w smaller than 5?
True
Let i(l) = l**3 + 6*l**2. Let f be (1 - -1)/((-3)/3). Let n = -4 + f. Let p be i(n). Is p less than 2/7?
True
Let i be 1 - (-3 + 14/3). Is 1 > i?
True
Let g(n) = n**2 + 7*n + 3. Suppose i + 4*i = -30. Let v be g(i). Is -2 at most as big as v?
False
Suppose 2*b - 3*b - 4 = -2*t, 5*b - 16 = t. Let i be 3 - 2 - (1 - 3). Which is greater: b or i?
b
Let p be (-14*1)/(-3 + 1). Is 6 > p?
False
Let s = 1 - 2. Let m = -33/5 - -133/20. Is s != m?
True
Let w be ((-3)/(-6) - -2)*4. Let c be 3 + (144/w)/(-4). Is -2 greater than or equal to c?
False
Let t(c) = -c - 7. Suppose 20 = -3*l - 2*l. Let k be t(l). Is -3 at least as big as k?
True
Let c(g) = g**3 - 6*g**2 + 5*g - 4. Let y be c(5). Let b be (-30)/80*y/(-6). Which is bigger: b or 0.1?
0.1
Let u(w) be the third derivative of w**6/120 + w**5/20 + w**4/12 + w**3/3 - w**2. Let s = 3 - 5. Let t be u(s). Are 3 and t nonequal?
True
Let z = 7.7 - 8. Let y = -1.3 - -0.3. Let h = y + 0. Is z > h?
True
Let h(z) = z**3 + 10*z**2 + 6*z - 7. Let l be h(-9). Let k = l - 9. Suppose -4*g = -3*y - 17, -4*y + g + 2*g = k. Is y at most -1/4?
False
Let s(v) = -8*v + 12. Let t be s(1). Is t >= 3?
True
Suppose 4 - 7 = 3*v. Let d be 2*v - (0 - 0). Is -2 < d?
False
Let j = 5.953 + 0.047. Is -0.2 at most j?
True
Let a = -4254/7 - -609. Which is greater: a or 2?
2
Suppose 9*g + 10 = 4*g. Suppose i - 4*x - 30 = -5, -x - 10 = -i. Let b be 15/i*(-4)/6. Is b < g?
False
Let c be (-14)/(-10) - (3 + -2). Suppose 0*k = k. Suppose -2 = -3*s + 13, -4*i + 5*s - 25 = k. Do c and i have different values?
True
Let x = -43 + 72. Is 30 greater than x?
True
Let j = 3/124 - -1467/868. Let u = -46/35 + j. Let r = 0 - -0.1. Which is greater: u or r?
u
Suppose -3*j + 8 = -1. Suppose -16 = -2*z - 5*s, -21 - j = 2*z - 5*s. Which is smaller: -4 or z?
-4
Let n(l) = 2*l + 4. Let j be n(-4). Let c be (8/6)/(5/105). Let y be (-92)/c + (-2)/(-7). Are j and y non-equal?
True
Suppose -2*