) + u(p). Let h be k(6). Is h less than 2?
True
Let q = 3 + -2. Which is smaller: q or 26?
q
Suppose -o + 14 = -4*d, 14 = -5*d - o + 4*o. Let a be d + 2 - (-20)/9. Which is smaller: 0 or a?
0
Suppose -5*l + 3*n - 18 = 0, 19 = -5*l - 2*n - 19. Suppose 5*k = -0*k - 4*s - 10, 3*k - 2*s + 28 = 0. Do l and k have the same value?
True
Let f be 6/(-27) + 16/72. Is 2/95 at least f?
True
Let c = -0.3 + 1.3. Let d = 0.86 + -0.8. Let m = -0.02 + d. Is m > c?
False
Let a = -107 - -86. Which is bigger: a or 2?
2
Let l = -1 - 1. Let q be ((-6)/(-22))/(1 + l). Suppose -r - 2 = o, -3*o + 2*r = 2 - 11. Is q equal to o?
False
Let x = -2/619 + -1176/19189. Let k = -4 + 4. Which is greater: k or x?
k
Let j(f) = -f**3 + 7*f**2 + 3. Suppose -3*g + 24 = 3. Let h be j(g). Suppose 0*w - h*w = 0. Which is greater: 0.2 or w?
0.2
Let b = -7.6 + 26.6. Which is greater: 1/4 or b?
b
Let a = 14.1 + -13. Which is greater: -0.4 or a?
a
Let l = 63 + -63.02. Which is smaller: -1/7 or l?
-1/7
Let u be ((3/(-4))/1)/((-4)/(-16)). Which is bigger: -13/6 or u?
-13/6
Let r(k) = -k - 2. Let i be r(-4). Suppose -t + 0 = i. Which is greater: t or -3?
t
Let a = -30 - -29. Which is bigger: a or 0?
0
Let a be -1*(148/56 - 3). Is a < -1?
False
Let k(a) = -a - 11. Let n be k(-9). Let u(x) = -x**3 - 4*x**2 - 2*x + 2. Let r be u(-2). Is r at least n?
True
Let u be ((-6)/14)/((-2)/90). Suppose 2*i - 62 + 24 = 0. Let p = i - u. Do 1 and p have the same value?
False
Let f = 8 + -5. Let d = f - -8. Let l = 8 - d. Which is greater: l or -2?
-2
Let t = 5 + -9. Which is greater: 3 or t?
3
Let u(b) = 7*b - 8*b + b**2 + b**3 + 1 + 0*b**2. Let o be u(0). Is o greater than 1?
False
Let s(a) = -a**3 - a**2 + 1. Let p be s(0). Suppose 15 = -3*t + 36. Let o = -5 + t. Is p >= o?
False
Let m = -46 + 57. Is m at most as big as 13?
True
Let w be (-5)/(-15) - (-11)/3. Let q be (-12)/(-8)*w/16. Does 0 = q?
False
Suppose 5*b = 4*b - 0*b. Is -6 >= b?
False
Suppose 3*u - 7*v + 3*v = -170, -u - 3*v = 48. Which is smaller: -52 or u?
u
Suppose -3*r + 8*r - 15 = 0. Let s(b) = b**3 - 4*b**2 - 7*b + 12. Let f be s(5). Suppose -y = f*y + r. Which is bigger: 2/13 or y?
2/13
Suppose 181 = -16*s - 11. Is -3 at least as big as s?
True
Let t = -8 - -7.4. Let d = -0.4 + t. Let w = 0.2 + -0.2. Are w and d unequal?
True
Let l(k) = 4*k**2 - k - 1. Let g be l(-1). Suppose 3*f = f. Suppose 5*w - 4*o + 19 = f, -4*o - 12 + 4 = g*w. Is w equal to -2?
False
Let i be 3/((-42)/20) - -1. Suppose 0 = 5*b + 3*k + 20, 4*b - 2*k + 9 = -3*k. Let z = b + 1. Is i bigger than z?
False
Suppose 4*l - l - 21 = 0. Suppose l*p = 3*p + 12. Is -0.1 bigger than p?
False
Let p be 0/(-2) - (1 + -3). Let t = 11 - 10.3. Let q = -0.6 + t. Is q != p?
True
Suppose -19 = 5*s - 2*b, s = 2*s + b + 8. Let w be (1/(-18))/(s/(-20)). Which is bigger: w or -0.5?
w
Let x be 2*1 + (-4)/(-24)*0. Which is smaller: 8 or x?
x
Suppose 6*w - 16 = 3*w + 4*b, 5*b = -5. Is 7/2 less than or equal to w?
True
Let i = 42217/26 - 1624. Is 0 <= i?
False
Let j = -0.144 + -0.056. Is j not equal to 0.14?
True
Let f(p) = -p**2 + 10*p + 19. Let r be f(12). Which is bigger: r or -3?
-3
Let b = -699/5 + 140. Are b and -2 nonequal?
True
Suppose -10*u + 126 = -3*u. Is 3 < u?
True
Suppose -n + 16 = 4*h, -2*h + 0 + 8 = 0. Let d be 609/(-60) + 4/10. Let y = -10 - d. Which is smaller: y or n?
y
Let i(y) = -7*y + 3. Let w(m) = 6*m - 2. Let a(l) = 5*i(l) + 6*w(l). Let k be a(-5). Which is smaller: k or -3?
-3
Suppose t - 4*t = -3. Let v be (-1*2)/(6/45). Let a = 16 + v. Is a < t?
False
Let h = -1 + 2. Let d(w) = 4*w - 1. Let c be d(h). Suppose c*l + 6 = -0*l. Is l smaller than -0.2?
True
Suppose 0 = -s + 3*j - 10, 0 = 2*s - 6*s + 4*j - 24. Let i be (-20)/(-12) + 2/6. Let h = i - s. Do h and 7 have the same value?
False
Let a(w) = 7*w - 1. Let x be a(-7). Which is smaller: 0 or x?
x
Let v(a) be the first derivative of -a**7/840 - a**6/120 - 2*a**3/3 - 1. Let c(y) be the third derivative of v(y). Let t be c(-3). Does -1 = t?
False
Let b = -1 - -1.2. Let m = -0.1 + b. Let q = 3.02 - 0.02. Which is smaller: m or q?
m
Let a = 4 - 1. Suppose 0*c - 2*c + 4 = 0. Suppose -a*b = -c*b. Is 0 at most as big as b?
True
Let j be ((-14)/3)/(8/(-12)). Do j and 6 have different values?
True
Suppose 0 = -2*m + 27 + 15. Is 20 equal to m?
False
Suppose 2*g + 4*d = -18, 0 = -3*g + 2*d - d - 13. Let q(w) = -w**3 - 6*w**2 - 5*w. Let j be q(g). Is -2 greater than or equal to j?
False
Let z(f) be the third derivative of f**4/12 + 7*f**3/6 - 4*f**2. Let v be z(-4). Is 2/5 greater than v?
True
Let u(g) = -g**3 + g**2 + g + 2. Let j be u(2). Let q be (2/(-22))/(1*(-1 - -2)). Which is greater: j or q?
j
Let t be ((-4)/3)/(3/(-9)). Let x = -0.4 + 0.2. Let z = 0.1 + x. Which is bigger: z or t?
t
Let p(w) = w + 9. Let k be p(-12). Let h be (-4)/(-36)*k/2. Is h > 0?
False
Suppose 0 = -3*v - 2*v. Suppose 0 = 2*k - 5*k + 5*r - 3, 2*k + 2*r + 18 = v. Let q be 2/k*(4 - 5). Which is smaller: -1 or q?
-1
Let y = -110 + 108. Is y <= -8?
False
Let x(k) = -k**2 + 9*k + 11. Let u be x(10). Let b = u - 1. Let a be 4/2 + (-2)/3. Which is smaller: a or b?
b
Let p be 126/(-16) + (50/(-16) - -3). Which is smaller: -13 or p?
-13
Let q = 0.02 - -0.16. Let w = -0.08 + q. Suppose -10 = -4*c + 2*c + 4*l, -4*c = -2*l + 4. Which is greater: c or w?
w
Let v(h) = -h**3 + 3*h**2 + 5*h - 4. Let a be v(4). Let j = -11 + 6. Let w = -4 - j. Which is smaller: a or w?
a
Let d = 39 - 12. Suppose 4*v - 5*v + 12 = -3*o, 3*o = -4*v - d. Is o > -13/3?
False
Let k = -1.2 + 0.2. Let m = -0.156 + 1.156. Which is greater: k or m?
m
Let g(j) = 2*j + 4. Let r = -6 - -3. Let i be g(r). Let b = 1.2 + -1. Which is smaller: b or i?
i
Let w = 16 - 2. Which is bigger: 0 or w?
w
Let n(j) = -j - 1. Let i(q) = -6*q - 10. Let u(t) = -i(t) + 5*n(t). Let y be u(-4). Is y >= -1/7?
True
Let n(s) = -3*s + 1. Let l be n(-3). Suppose 4*q + 2*r - l = -0*q, q + r = 3. Does q = 1?
False
Let d be (-98)/(-34) - (-15)/(-5). Is 0 < d?
False
Let v be 1*(-2)/4*-2. Let k be -5 - -10 - v*2. Is 3 at least k?
True
Let v be (-2)/(-40)*(-64)/24. Which is greater: v or 1?
1
Let m(t) = 8*t**3 - 1. Let n be m(1). Suppose -3*f + 15 = 0, -4*q - q + 2*f - 40 = 0. Let r = n + q. Is 3 >= r?
True
Let r = -7 - -7.02. Let c = r + -0.1. Which is smaller: 2/3 or c?
c
Let f be 9/(-6) - (-439)/366. Let q = -2/61 + f. Which is smaller: 1 or q?
q
Let b(l) be the second derivative of 2*l - 5/6*l**3 - 4*l**2 + 1/12*l**4 + 0. Let n be b(6). Are -2 and n equal?
True
Suppose -3*r - 11 + 53 = 0. Let j be 2/r + 328/56. Which is greater: j or 5?
j
Suppose 0*c - 2*c - 2 = 0. Let g = -1 - -1. Which is greater: g or c?
g
Let l be 0/2*2/4 - 0. Which is bigger: l or 14?
14
Suppose -k + 0 = -2. Let f be (-1)/k + 4/6. Which is bigger: f or 0?
f
Let s be (-2)/514*(3 + -1). Let a = 524/1285 + s. Let k be 147/(-70) + 2/(-5). Which is smaller: a or k?
k
Let b be ((-580)/(-15))/(-4)*3/7. Are b and -3 nonequal?
True
Let i be (-177)/252 - (0 + (-4)/6). Is i less than 0?
True
Suppose -8 + 1 = -7*x. Is 0 at least x?
False
Suppose 4*d - 3 = 9. Suppose 2*z = -d*u - 7, -3*u + 6*z = 2*z - 5. Let w be (-1)/(-4)*(-6)/(-9). Which is bigger: u or w?
w
Let m be -74*(-1)/(-24) + 3. Which is greater: m or -0.1?
m
Suppose -10*z - 20 = -6*z. Is z greater than or equal to -5?
True
Let s(l) = l - 4. Let k be s(7). Is k at most as big as 2?
False
Let w = 44/45 + -6/5. Suppose j + 5*l = -24, 5*j - 5*l - 24 = 6. Let b be 4*j - (0 + 3). Which is bigger: b or w?
b
Let d = -1 - -0.9. Suppose -29 + 17 = -2*a. Which is bigger: d or a?
a
Let l be 22/(-121) + 52/165. Which is greater: 1 or l?
1
Let k = 5 + -5. Let v = 11 - 9. Suppose -3*n = -v*n. Is k > n?
False
Suppose -4*h - z = -3, 2*z - z = -1. Let d = -134/3 + 941/21. Which is smaller: d or h?
d
Suppose -5*g - 10 = -2*c, 0*g - g = 2*c - 10. Which is smaller: g or -2.1?
-2.1
Let q = -13 + 13. Is -2/15 >= q?
False
Suppose -2*v + 4*w = 0, 0 = -4*v - 4*w + w + 55. Let b = -8 + v. Is 1/2 at least as big as b?
False
Let y = 2/19 + -103/76. Do -1 and y have different values?
True
Let q = -3215/4 + 737. Suppose 0 = -2*a - 3*i - 120, 9*a + 4*i + 248 = 5*a. Let y = a - q. Does y = 0?
False
Suppose -5*d - 39 = -2*w, 6 - 33 = 5*d + 4*w. Let f be d/(-2) + 3/6. Suppose -12 = f*x - 0. Which is smaller: x or -1?
x
Let b be (1 + -