alse
Let b(l) = l**3 - 6*l**2 + 5*l + 8. Let u be b(5). Let m be ((-9)/(-210))/(6/u). Which is greater: m or 1?
1
Let j = 69 - 49. Let i = -21 + j. Which is smaller: -4 or i?
-4
Let h = -0.28 - 11.72. Let n = h - -12.1. Which is bigger: -0.3 or n?
n
Let i(n) = -26*n - 7. Let k be i(2). Does k = -60?
False
Let n be (-2 + 0)*5315/(-90). Let m = 118 - n. Which is bigger: 0 or m?
0
Let l = 1 - -1. Let s be 4/(l/2 - 3). Which is greater: -0.1 or s?
-0.1
Suppose -5*k = -12 - 13. Let i = -2 - -2. Which is smaller: k or i?
i
Let v be 0/(1*(-1 - -4)). Suppose -5 = -n - 3. Let h be ((-1)/(-9))/((-1)/n). Which is smaller: v or h?
h
Suppose -88*p = -83*p + 15. Is p <= -3?
True
Suppose -2*z - z = -105. Suppose -n - z = -3*t, 61 = 5*t + n - 2*n. Which is smaller: t or 12?
12
Let z = 23 - 16. Which is bigger: 9 or z?
9
Let o(g) = -g**3 + 4*g**2 + 3*g - 6. Let p be o(4). Let y be (-2)/(-3)*p - 1. Is y at least 4?
False
Suppose 4*g - 5*a = 0, -g + 17 = -2*a + 5*a. Suppose g*o - 5 = 5. Suppose -3*p = x - 4, -o = 5*p + 4*x - 4. Do 2 and p have the same value?
True
Suppose -4*c + 3*p = 15, p - 8 = -4*c - 3. Let f be (8 - (-232)/(-32))/(2/(-8)). Is c bigger than f?
True
Let l be 2*-1 + 24/12. Which is smaller: 2/141 or l?
l
Let m be (-2 - (-3 + 5)) + 0. Let x = m - -2. Which is smaller: x or -1/5?
x
Suppose -2*h + h + 5*l + 795 = 0, -5*l - 25 = 0. Let x be h/504 + 2/9. Which is smaller: x or 3?
x
Suppose -i = i + 2. Suppose 3*n - 3 = 5*s - 4, 0 = 4*n + 2*s - 16. Let g be (-2)/5*n/2. Is g at most i?
False
Let y(x) = -3*x - 4. Let r be y(-3). Let u(z) = -z**2 + 6*z - 1. Let s be u(r). Suppose 0 = -s*t - t - 10. Is t smaller than 1/4?
True
Let f(w) = -w + 1. Let m be (-1 + 2)/((-7)/35). Let t be f(m). Suppose t*l = 7*l - 3. Is l at most 1?
False
Suppose 5*i = -5*a + 15, 0*a = -a - 1. Suppose 0 = i*s + 2 + 14. Let m be (-2)/3*-3 - 6. Are m and s unequal?
False
Suppose -4 = -3*o - 4*a, 0 = -o + 2*a - 6 - 6. Do -2 and o have the same value?
False
Suppose 0 = -3*f + 4*f - 4. Suppose -f*b + 2 = 62. Which is bigger: b or -14?
-14
Let m be (-3 + (-21)/(-9))*9. Let s be (-2)/m + (-2)/(-3). Is 1/2 < s?
True
Let b = 9 - 13.1. Let c = 4 + b. Is c greater than -2/7?
True
Let z = -3 - -3.3. Let k = 0 - -1. Is k >= z?
True
Let z be ((-6)/9)/((-8)/12). Is -4/27 smaller than z?
True
Let w(t) = -t**2 - 12*t + 14. Let h be w(-11). Which is bigger: h or 26?
26
Let v be (0 - 110/(-16)) + -6 + 4. Is v greater than 5?
False
Let j = -42 - -36. Is j != -8?
True
Let d be 4 + 0 - (-5 + 13 + -3). Is -4/33 bigger than d?
True
Let w = 7 + -9. Which is greater: 0.2 or w?
0.2
Suppose -17*l - 9 = -20*l. Suppose l*a = a + 2. Are a and -1/12 nonequal?
True
Let v = -19 - -19. Which is greater: v or 1/10?
1/10
Suppose 21 = -3*g - 4*p - p, -2*p = 5*g + 16. Which is smaller: -7/12 or g?
g
Let y = -8.4 - -10. Let m = 6 - 4. Let u = m - y. Which is smaller: 1 or u?
u
Let m(y) = -2*y - 20. Let r be m(-10). Which is smaller: 1/6 or r?
r
Let t(q) = 4*q**2 + 3*q + 2. Let x be t(-1). Which is bigger: x or 5?
5
Let u be 12/(-78) - (-25)/(-91). Is 1 smaller than u?
False
Let f = -0.05 + -0.15. Do f and -0.2 have different values?
False
Let t(i) be the second derivative of i**5/20 - i**4/4 + i**3/3 + i**2/2 - i. Let a be t(2). Let f = 32/3 - 230/21. Which is greater: a or f?
a
Let f = 0.7 - 1.3. Let k = -0.4 + f. Which is greater: k or -2?
k
Let n = -44 + -33. Which is greater: -76 or n?
-76
Let d = 31.1 - 32. Which is smaller: 0.1 or d?
d
Suppose -2*m + 2 = 5*t, 0*m = 4*m + 16. Let u = -2 - -6. Suppose u = -t*r + 3*r + 3*x, -4*x = -4*r. Is -1/8 != r?
True
Let f(a) = -14 + 5*a - 3*a - a. Let g be f(11). Is g > -3?
False
Suppose -2*p + 4 = -4*y, -10 = -3*y + 8*y - 5*p. Which is smaller: -17 or y?
-17
Let f = 104 - 730/7. Which is greater: 0.2 or f?
0.2
Let l(m) = m**2 + 2*m + 4. Let j be l(0). Is 2/5 bigger than j?
False
Let w(h) be the second derivative of -h**4/12 - h**3 - 3*h**2/2 + h. Let x be ((-12)/(-10) + -2)*5. Let z be w(x). Which is greater: z or 6?
6
Let k(q) = -q**3 + 7*q**2 + 9*q - 9. Let n be k(8). Let g = 1 - -1. Suppose 0 = g*m - 5*m. Which is bigger: m or n?
m
Let o = 6.84 - -0.16. Is o equal to 2?
False
Let w(x) = -x - 5. Let d be w(-5). Suppose 2*t + 5 = -p, -3*p = -t - t - 1. Is p bigger than d?
False
Let a be (-1938)/(-180) - (-5)/6. Is 11 >= a?
False
Let f = 27 - 15. Which is smaller: f or 10?
10
Let w = -38 - -37. Let s = 0.03 - -2.97. Which is smaller: s or w?
w
Let a = 157/9 - 53/3. Let k = -19/46 - 2/23. Which is bigger: a or k?
a
Let s = 32 - 32. Let d = -6 + 6.3. Is d smaller than s?
False
Let i = 5/28 + 3/28. Which is bigger: i or 1/3?
1/3
Let b = -6/11 - -52/55. Let t(g) = -5*g**2 + 16*g + 13. Let i(x) = -x**2 + 4*x + 3. Let u(f) = -9*i(f) + 2*t(f). Let k be u(-4). Are b and k non-equal?
True
Let b = 732/7 + -104. Which is bigger: b or 2?
2
Let p = 7.87 + -3.87. Let t be (-3)/12*(1 + 0). Which is smaller: t or p?
t
Let h = 10 + -4. Is 0 >= h?
False
Let j = 6 + -4. Let c be j + 4/(8/30). Suppose 2*k + 2*k + c = o, -4*o - k = 0. Which is smaller: -1 or o?
-1
Suppose 2*j - 4*y = 16, 5*j + 1 - 16 = 5*y. Let v(h) = -3*h - 36. Let p be v(-12). Which is smaller: p or j?
j
Let w(l) = l**3 - l**2 + l - 3436. Let r be w(0). Let h = -10198/3 - r. Let a = h - 36. Which is smaller: -1/2 or a?
-1/2
Let w(k) = -k - 1. Let o be w(2). Let p = -14/5 - o. Which is smaller: p or -1?
-1
Suppose 0 = z + 5*d + 12, -2*d = -z + 3*z. Let o(s) = -s**2 + 6. Let c be o(0). Suppose 0*u + z*u - c = 0. Is u at least as big as 3?
False
Let x(t) = -t**3 - 5*t**2 - 5*t - 1. Let r be x(-4). Suppose -2*k - 8 = -2*p, -2*p - 4*k + r - 1 = 0. Suppose -3*u - 9 + p = 0. Is u < -3?
False
Let v(f) = f**3 + 2*f**2 - 3*f - 1. Let p be v(-3). Let t be (2 + -10 - 1)/(-1). Let g be 6*(2 + (-21)/t). Is g >= p?
False
Let m(r) = r**3 + r**2 - 2*r - 3. Let s(u) = -3*u**3 - 3*u**2 + 4*u + 7. Let c(n) = 5*m(n) + 2*s(n). Let a be c(-1). Is 1/2 bigger than a?
False
Let h = 11/42 - 3/7. Let k be (-33)/9 + 2/3. Let s be (-1 + 1)/(6/k). Which is smaller: s or h?
h
Let d be -6*(-4 + (-153)/(-27)). Let k = -14 - -5. Which is greater: d or k?
k
Let g = -26 + 25.8. Let j(c) = -c - 3. Let d be j(-2). Does d = g?
False
Let l be (-17)/2 - 3/6. Let u(i) = -i**2 - 10*i - 4. Let b be u(l). Let v(r) = -2*r**3 - 4*r**2 - 3*r. Let p be v(-2). Which is bigger: p or b?
p
Let w be 1*(1*-2 + 0). Let c = w + -5. Suppose 3*k + 2*a + 26 = 0, 3*k + 2 = -0*k + 4*a. Which is bigger: c or k?
k
Let c = 0.02 + 0. Let l = -0.08 - c. Which is smaller: -1 or l?
-1
Suppose -2 = -3*i + 1. Are i and -2/105 unequal?
True
Suppose -v + j - 1 = -0, -v = -3*j + 5. Which is bigger: 1/6 or v?
v
Suppose -2*z + i = 4*i - 14, -2*i + 6 = -2*z. Let l = 5 + -4. Let j be 0 + l - (1 - 0). Are z and j equal?
False
Suppose z - 1047 = -2*z. Let v = z - 108. Let t = 3613/15 - v. Which is bigger: t or -2/5?
t
Let w = 7 + -17. Let j be (1 + 7/(-6))/(2/8). Is j at most as big as w?
False
Let a(s) = -2*s + 29. Let z be a(15). Let x be (-2)/(-28) - 6/21. Is z != x?
True
Let t be (1/13)/(0 - (-5)/10). Which is smaller: t or -1?
-1
Suppose 2*h + 0 + 4 = 0. Let n be (-2)/(-1) - h/(-1). Which is smaller: 1 or n?
n
Let a(l) = -2*l - 2. Let g be a(0). Which is smaller: -5/7 or g?
g
Let a(l) = 5*l**2 + 3*l. Let u be a(-1). Which is bigger: u or 10/11?
u
Let b(l) = l**3 - 2*l**2 - 4*l - 7. Let u(r) = 5*r**3 - 2*r**2 + 1. Let v be u(1). Let s be b(v). Which is greater: 10 or s?
10
Suppose 0 = -2*s - 1 + 5. Suppose 30 = 4*i + 3*j, j = -3*i + s + 18. Which is bigger: 7 or i?
7
Let n(k) = -k + 14. Let q be n(7). Let g(c) = c**3 + 5*c**2 - 4. Let i be g(-4). Let v = q - i. Do v and -5 have the same value?
True
Suppose -2*q - 4*y + 3 + 11 = 0, 3*y - 11 = -2*q. Let d = 168 + -56. Let f = d - 445/4. Which is bigger: q or f?
q
Let a = 8 - 4. Suppose v = 5*v + a*n + 4, n + 5 = -5*v. Which is smaller: -2/13 or v?
v
Let s be (-4)/((-16)/10) + -2. Let f = 0.18 - -7.82. Let v = 11 - f. Which is smaller: s or v?
s
Let u = 21.036 - 0.036. Let y = u + -20.9. Is y greater than or equal to -6?
True
Suppose v = -2*v. Is -1/16 at most as big as v?
True
Let q = 2 - 2.9. Let t = 1 + q. Let d be 7/(-20) - (-3)/(-12). Which is bigger: t or d?
t
Let r = -50/744543 - -397046269/3050392671. Let p be (-994)/2410 - 18/(-45). Let c 