gger than -0.2?
False
Suppose 0 = -8*q + 4*q - 8. Is -0.2 < q?
False
Let z(l) = 6*l. Let h = 10 - 11. Let r be z(h). Which is smaller: -8 or r?
-8
Let k be 5 + -7 + 36/14. Let t = 43/63 - k. Suppose -3*x + 2 = 5*y - 0, -y = -1. Which is smaller: t or x?
x
Let z = 0.88 + 0.12. Is 3 greater than z?
True
Let x = 2/29 - -52/87. Let p(o) = o**2. Let h be p(0). Are x and h equal?
False
Suppose -3*p = -15 + 75. Which is bigger: p or -21?
p
Let l(a) = a + 6. Let w be l(-6). Let y(t) be the first derivative of -t**3/3 - t - 1. Let z be y(w). Which is greater: z or -3?
z
Suppose -2*w = -18 + 20. Let p = -17 + 117/7. Are w and p non-equal?
True
Suppose 1 + 1 = 2*k. Which is smaller: k or 6/11?
6/11
Let b = -4 - -1. Let u(f) = -f**3 - 6*f**2 + 6. Let g be u(-6). Let k be (-4)/g*(0 - -3). Is k less than or equal to b?
False
Let d be ((-8)/(-14))/(2/7). Suppose -5*z + 7 = 2*j, -2*z - 1 = 2*j - 5. Which is bigger: d or z?
d
Let p be (2/7)/(27/5124). Let u = -54 + p. Which is smaller: 0.1 or u?
0.1
Let l be ((-9)/((-135)/(-6)))/(6/(-15)). Which is bigger: 0.2 or l?
l
Let q = -704/2415 + 2/345. Let h = -13.9 - -12. Let i = h - -2. Is i at least q?
True
Let z = -57 - -62. Is z smaller than 54/11?
False
Let v be 625/(-225) + (-4)/18. Is v at least -4?
True
Let r be (-9)/((-102)/(-84) + -1). Which is smaller: r or -41?
r
Let o = -0.91 - -5.01. Let c = o + -0.1. Let b = c - 4.2. Which is bigger: b or 2/5?
2/5
Suppose 5*n - d + 4*d = -108, 2*d = n + 32. Is n bigger than -23?
False
Let b = -15 + 16. Which is greater: 4/5 or b?
b
Suppose 0 = -4*u + k - 603, -133 = 2*u - k + 166. Let w = 1974/13 + u. Is 1 less than w?
False
Let o(d) = -d**3 - 6*d**2 + 6*d - 6. Suppose 5*s = -30 - 5. Let u be o(s). Let k = 151/4 - 38. Which is bigger: u or k?
u
Suppose 9 = 5*h - 26. Let a = 7 - h. Suppose t - 2*p - 6 = a, -4*t + p = -2*t. Which is smaller: -1 or t?
t
Let l(u) = -2*u + 2. Let r be l(3). Which is greater: r or -5?
r
Let p be 13 + (-2 - -1) + 1. Suppose -y + 7 = m + 2*y, -4*m + 62 = -5*y. Is m <= p?
True
Suppose -o + 0*o = 4*s + 10, -5*o = 2*s - 22. Suppose 0 = -3*v - 3*b + b - 6, 2*b = -2*v - o. Let a be (-8)/70 - (-18)/(-63). Which is smaller: v or a?
a
Let t = -0.115 + 0.015. Which is smaller: t or -2/3?
-2/3
Suppose 4*z - 3*z + 3*y - 2 = 0, 6 = 3*z - y. Suppose 2*n + z = 0, 4*n = -0*l + 4*l - 40. Let s = 8 - l. Which is bigger: 1/6 or s?
1/6
Let l = 0.2 - -0.8. Which is bigger: l or 0?
l
Let i = -15 - -17. Suppose -4*f = -h + 13, -i*f + 2*h = -4 + 18. Is -9/5 bigger than f?
True
Let w be ((-1)/(-3))/(40/30). Is w > 1?
False
Suppose 1 + 2 = 3*u. Let f be -16 + 15 - (0 + -2). Is f equal to u?
True
Let n = -167 + 3169/19. Does n = 0?
False
Suppose -4 = -z + 6. Let l be 3/(-6) + 1/z. Is 1 < l?
False
Let m(u) = 2*u + 3. Let k be m(-3). Suppose 0*y = h - y - 7, 0 = 3*h - 5*y - 29. Suppose -h*d - 6 = -0. Is d bigger than k?
True
Let r = 156 - 159. Let k = 0 - 0. Is k < r?
False
Suppose 16 = -4*a, -2*s + 0*a = 2*a + 4. Let k be 3/(-3)*1*2. Is k less than s?
True
Let z(l) = 9*l**2 - 10*l + 2. Let j(p) = 5*p**2 - 5*p + 1. Let d(a) = -11*j(a) + 6*z(a). Let x be d(-5). Is 2 > x?
True
Let l = 2.5 + -2.8. Which is smaller: 3/14 or l?
l
Let j = 0.12 + -16.12. Which is smaller: 1 or j?
j
Suppose 0 = 2*y - 2*w - 10, 4*y + y + w = -5. Is 18/25 greater than or equal to y?
True
Suppose k - 5*i - 42 = 0, -k - 3*i = -7 - 3. Is k greater than 21?
True
Suppose 2*d = -3*u - 2*d + 22, 2*u - 24 = -5*d. Let m = -1 + u. Let z be m - (2 - 1/(-1)). Which is smaller: 0 or z?
z
Let w = -2.25 - -0.25. Which is smaller: 2 or w?
w
Let u = -13 - -9. Let q(y) = 6*y + 1. Let t = -11 - -10. Let a be q(t). Does u = a?
False
Let z = 858 - 859. Let k(x) = -2*x + 3. Let l be k(2). Does l = z?
True
Let z = 1/20192 + 2859691/20192. Let o = 142 - z. Which is smaller: o or 0?
0
Suppose 0 = -2*t + 2 + 2. Let l = t + -2. Suppose 2*q - 5*m + 14 = 0, -5*q - 19 + 1 = -4*m. Is q greater than l?
False
Let s = 1.11 + -0.11. Let u = -6/127 - 5703/254. Let q = 213/10 + u. Which is smaller: q or s?
q
Let p be (6/4)/(6/16). Suppose 5*y - 3 = -h + 3*y, -p*h + 3 = -y. Let n = -1.1 + 1. Which is greater: n or h?
h
Suppose 23 = 5*a + 2*b, -a - 1 = 4*b - 20. Suppose -a*m - 11 + 2 = 0. Let l = m + -1. Which is greater: -1 or l?
-1
Let j = 2.5 - 20.5. Let g = j + 12. Let d = g + 8. Is d < 2/9?
False
Let p(a) = a**3 + 4*a**2 - 2. Let d(b) = b + 1. Let t be d(-4). Let q be p(t). Is 8 bigger than q?
True
Let g = 5 + -4. Let a = g + -1.2. Is 0 less than a?
False
Let n = 2/5 + -3/5. Which is bigger: -1 or n?
n
Let y = 2 + -1. Let s be 2*4*3/24. Is y <= s?
True
Suppose -4*m - m + 20 = 0. Suppose -m*j = -0*k - k + 25, -4*k + 5*j + 45 = 0. Is 4 >= k?
False
Let a(r) = r**3 + 11*r**2 - r - 6. Let l be a(-11). Which is smaller: l or 6?
l
Suppose 0*b + 1 = b. Suppose 0 = -c - 2*c + 1218. Let k be (14/c)/(2/(-4)). Is k less than b?
True
Let k = -4 - 1. Let m = k + 4. Which is greater: m or -2/7?
-2/7
Let j(c) = c**3 - 12*c**2 + 10*c + 11. Let z be j(11). Let k be 4/6 - (-7)/3. Which is bigger: k or z?
k
Let k = -23.3 + 22. Let u = 3.3 + k. Is 0.1 at least as big as u?
False
Let u be 544/(-40) + (-6)/(-10) - 0. Which is bigger: -14 or u?
u
Let x(l) be the third derivative of l**6/120 - l**5/20 + l**4/12 + l**3/6 - 3*l**2. Let u be x(2). Which is smaller: u or -2?
-2
Let k be 21/581*2/(-3). Which is smaller: k or 0?
k
Let z(y) = 6*y - 43. Let o be z(7). Is o equal to -5?
False
Let n = 112 + -110. Let r be (2/(-5))/((-1)/(-5)). Which is smaller: n or r?
r
Let k be (1/3)/((-76)/6). Which is smaller: k or 0?
k
Let v = -39 + 39. Let q = 0.2 + -0.2. Let m = q + -0.05. Is v at least as big as m?
True
Let a = 12 - 12.06. Do -2 and a have different values?
True
Suppose 8*s = 10*s. Which is bigger: 10/9 or s?
10/9
Let h be (-2)/(-9) + (-215)/(-45) + 4. Which is bigger: 0 or h?
h
Let d be 0 + 1 + -1 + (-4)/(-8). Which is greater: -0.03 or d?
d
Suppose 5*n + 5 - 15 = 0. Suppose 0 = n*w - w. Is 2/5 at most w?
False
Let n be (56/98)/(6/(-14)). Is n at least -2?
True
Let b = 124 - 3969/32. Do b and -1 have the same value?
False
Let f = -9 + 6. Let o be 5/((-5)/f) + -4. Is -1 at most o?
True
Suppose 102 = 3*s - 0*s. Are 34 and s unequal?
False
Let f(x) = -x**2 + 13*x + 13. Let d be (-70)/4*4/(-5). Let w be f(d). Which is greater: w or 2/13?
2/13
Let u = 3.2 - 2.9. Which is bigger: u or -2/5?
u
Let o be 51/99 - (-4)/(-22). Is o at most as big as -0.1?
False
Let h be (-33)/55 - 1/(-10). Is -2 > h?
False
Let o = -10 - -9.2. Let l = -9.9 - -9. Let r = o - l. Is 1 at most r?
False
Let t be 0 - -2*(-2)/(-4). Let p be (-3)/(6*t)*0. Let c be 1 + (-1 + p)/(-1). Is 2 at most c?
True
Let m be (8/5)/(1 + 1). Let b be 2 + -1 - (2 + 8). Let y = b + 10. Which is greater: m or y?
y
Suppose 0 = -f + 4*f - 4*d - 15, 0 = f - 5*d - 16. Is f at most -4?
False
Let q = 20 + -21. Let u be 12/30 - (q + 1). Is u != 6?
True
Suppose -2 = -6*t + 4*t. Let c = 5 - t. Suppose 0 = 2*z - 3*p + c, 3*z - 2 = 7*z - 3*p. Is z smaller than -1/6?
False
Let l be 2 - ((-1)/(-2))/(332/1320). Which is smaller: l or -1?
-1
Let j(o) = o**2 - 19*o + 21. Let f be j(18). Which is greater: f or 4?
4
Let v(r) = -r**3 - 2*r**2 - r. Let s be v(-3). Let o = -13 + s. Is 1 <= o?
False
Let x = -4.6 + 5.5. Is 1 at least as big as x?
True
Suppose 24 = -5*q - 16. Is -8 greater than q?
False
Let r = -16 + 7. Let c be ((24/r)/2)/(-10). Which is bigger: c or 1?
1
Let p be -1*(3 + -2)*-3. Suppose -p*v = v. Is -1 greater than v?
False
Let z = 64/5 + -13. Let a be (-2)/8 - 1/(-4). Which is smaller: a or z?
z
Let j(p) = -p - 8. Let c be j(-6). Let l = 7 + -9. Let s be (3/l)/(2/4). Is c >= s?
True
Let h be -1 - (-4)/(-50) - -1. Let o = h + -24/325. Let p = 0 - 0. Is o equal to p?
False
Let o = 49 + -42. Is 0.1 less than or equal to o?
True
Let x(y) = -y**3 - 19*y**2 - 15*y + 36. Let m be x(-18). Which is bigger: m or -16?
-16
Let z = -5 + 5.04. Let h = -0.96 - z. Which is bigger: -0.1 or h?
-0.1
Suppose 5*r = -13 - 7. Let l = 3 + r. Let u be 1/(l/2 - 2). Which is smaller: -2 or u?
-2
Let m = -4.15 - -4. Which is greater: m or 1?
1
Let k(c) = 2*c - 2. Let s be k(-2). Let z = s - -4. Suppose -18 = 2*q - 5*n, -q + 21 = 4*n + n. Are q and z equal?
False
Let n be -3 - (-3)/(-1)*5/(-5). Which is bigger: n or -3/13?
n
Suppose k + 5