e l(-10). Do v and 0.2 have the same value?
False
Let g = -193/123 + -4/41. Which is smaller: g or 1?
g
Suppose -4*d + 5*g + 21 = 0, 0 = 4*g - 2*g - 6. Which is smaller: d or -1?
-1
Let y = 2 + -5. Let s(c) = -c**3 + 7*c**2 - 7*c + 8. Let o be s(6). Let n be o/(6/(-9)) - 0. Is y smaller than n?
False
Suppose -2*w - 9 = -3*w. Let n be (3/w)/((-1)/(-3)). Let b = 7/8 + -53/24. Which is smaller: b or n?
b
Let r(p) be the second derivative of p**5/20 - p**4/6 - p**3/3 - 2*p**2 + 2*p. Let y be r(3). Let o = -1 + y. Is o < -3/2?
True
Suppose -2*y + 56 = 5*g - 0*y, -2*g - 2*y + 26 = 0. Let o = 3 + 8. Is g at least as big as o?
False
Let k be -2 - 1/(-1*2). Let y(s) = 3*s + 2. Let v be y(-1). Which is bigger: v or k?
v
Let y = 2/995 - 2048/28855. Which is greater: 0 or y?
0
Let b(w) = -w - 11. Let a be b(-5). Let c = a - -7. Are 1/3 and c equal?
False
Let b(c) = c**3 - 5*c**2 - c. Let g be b(5). Which is smaller: -6 or g?
-6
Suppose -4*p + 66 = -5*y, -5*y = 5*p - y - 62. Is 14 at least as big as p?
True
Suppose 4*n = 1 - 5. Do n and -1 have different values?
False
Let w be 2*(-56 - 0)*-1. Suppose -5*h = -h - w. Let z be (-6)/h + 1/2. Does z = -1?
False
Let u(a) = a**3 + 4*a**2 + a - 4. Let m be u(-3). Suppose -m*z + 86 = -2*r - 4*z, -5*r + z = 227. Let n be (18/r)/((-2)/10). Is n greater than 2?
False
Suppose 5*p + 4 = -16. Let q = 16 + -23. Let u = -10 - q. Is u < p?
False
Suppose 0 = y + 3*d - 5*d - 7, 2*y - 34 = -d. Is 15 not equal to y?
False
Suppose 0 = -2*j - 3*g + 20, 2*j + 2*g = -0*j + 24. Does 15 = j?
False
Suppose 3*c = 2*n + 2, 2*c = -3*n + 3 + 20. Let w(v) = -2*v - 2. Let o be w(5). Let u be o/(-16)*(0 - c). Is u at least as big as -2?
False
Let w = 0 - -1. Which is greater: 6/17 or w?
w
Let d = 47.3 + -47. Is 23 less than or equal to d?
False
Let t(i) = -2*i**3 + 4*i**2 - 3*i + 2. Suppose 5*g - 2*g = 9. Suppose -10 = -2*w + 3*u, -g*u - 18 = -5*w - 2. Let o be t(w). Which is greater: o or 1?
1
Let k = -1.96 - 0.04. Let w = -1.8 - k. Let f = 0.1 + -0.2. Is f smaller than w?
True
Let s(g) = -g**3 - 4*g**2 + g + 3. Let c be s(-4). Let p = 1/71 + 133/639. Let b = 19/45 - p. Do c and b have the same value?
False
Let u = -8 - -7.7. Let y = 0.06 + 1.24. Let g = u + y. Which is greater: 2/7 or g?
g
Suppose -3*z = -5*h - 2*z + 108, -2*h = 2*z - 36. Which is smaller: h or 20?
20
Let v = 2/17 - 23/51. Which is smaller: -1 or v?
-1
Let m(f) be the second derivative of -f**5/20 + f**4/3 - f**3/6 - 2*f**2 + f. Let q be m(3). Which is bigger: 3 or q?
3
Let q = -0.07 + -5.93. Which is smaller: q or -3?
q
Let i = 884/279 + -174/31. Is -1 equal to i?
False
Let g be ((-4)/(-230))/((-8)/40). Let o = 1 + -2. Which is smaller: o or g?
o
Suppose 0 = -0*a + 2*a - 12. Suppose -7*w + 2*w = -4*p + 6, p - 2*w - 3 = 0. Which is bigger: a or p?
a
Let z = 15 - 50. Does z = 2?
False
Let f = 0 + -3. Let l be ((-9)/30)/(f/(-4)). Which is smaller: 2/7 or l?
l
Let c(t) = -t**3 - 9*t**2 - t - 10. Let z be c(-9). Is z <= -5/6?
True
Let k be 57/6 - 1/2. Let n = k + -67/7. Suppose -3*x = -x + 2. Is x at least as big as n?
False
Let l = 1 - -2. Let b = -2 - l. Let q = b - -8. Which is greater: 2/5 or q?
q
Let u = 1 - 1. Let k = -0.003 + 2.103. Let b = -2 + k. Which is greater: b or u?
b
Let p = 29 - 21. Let h = -5 + p. Let m = -2 + h. Is m not equal to 5?
True
Suppose -y - 20 = -3*f + 3*y, -2*f - 3*y + 2 = 0. Suppose 2*l - f = -0. Which is greater: l or 3?
3
Let g = -0.39 - 0.01. Let f = g + 0.2. Let p = -8.8 + 9. Which is greater: f or p?
p
Let i = 6 + -14. Let z(s) = s**2 + 9*s + 4. Let c be z(i). Let k = -5 - c. Which is smaller: -2/9 or k?
k
Suppose -3*c = -0*c. Let j(n) = -n. Let d be j(c). Which is bigger: 1/5 or d?
1/5
Let y = -234 - -1632/7. Let p = -9 + 18. Suppose 10*b - 5*b = -3*i - 13, -3*b - 3*i - p = 0. Is y not equal to b?
True
Suppose 2*o = -o, -4*p = 4*o - 8. Suppose -p*z + 4*g + 8 = g, z - 3*g = 7. Let y be (z/(-8))/((-3)/(-6)). Which is bigger: -1 or y?
y
Let s = -2194 + 147001/67. Let l = -189/268 - s. Which is smaller: -2 or l?
-2
Let t(n) = -3*n**2 + 2*n**2 + 18 - 14. Let j be t(2). Is j greater than 8/11?
False
Let n(w) = -w + 1. Let r be n(1). Let m(a) = a - 1. Let c be m(2). Which is smaller: c or r?
r
Let r be 3/33*-2 + 0. Which is greater: r or -3/5?
r
Let k = 10 + -2. Let v = -7 + k. Suppose 1 = 2*h - v. Which is smaller: h or -2/7?
-2/7
Let t be (-5 - -14)/(6/(-4)). Let l(f) = -f - 7. Let m be l(t). Which is bigger: -0.4 or m?
-0.4
Let b = -0.44 - -0.14. Which is bigger: 0.06 or b?
0.06
Let r(d) = -4*d - 3. Let f(t) = -3*t - 4. Let i(j) = 5*f(j) - 4*r(j). Let o be i(6). Let k be 1 - ((-6)/15 - o). Which is greater: k or -2?
k
Let s be (-34)/(-8)*22/(-84). Let x = s - 3/56. Which is smaller: x or -2?
-2
Let r = 15 + -16. Let t = r - -0.7. Is t less than 0?
True
Suppose -20 = -2*i - 2*h, 3*h - 4 = 4*h. Suppose -g - 5*x + 20 = 0, 2*g = 3*g + 3*x - i. Is 4 <= g?
True
Suppose 2*m - 18 = -4*l, -l - 13 = -2*m - 4*l. Which is bigger: m or -0.07?
-0.07
Let r be (-8)/28 - 99/(-273). Let m be 4/(-18) + (-21)/27. Is m < r?
True
Let z = 3 + -1. Let g = z - 3. Let n = -0.1336 + -0.0664. Which is smaller: g or n?
g
Suppose 2*z - 5*c = -3*z - 15, 0 = -5*c + 25. Is 2 smaller than z?
False
Let z be 7 + -5 - (1 - 1). Let w(h) = h. Let u be w(4). Let j be u/16 + 3/12. Which is smaller: j or z?
j
Let l = -4/6251 - 314332/6251. Let t = l + 50. Let a = 3.7 + -4. Which is smaller: a or t?
a
Let g = 9 - 13. Let l be 3/(-3 + 1 + 1). Which is smaller: g or l?
g
Suppose -6 = -3*a + 9*a. Which is smaller: a or 1/2?
a
Let x = -1.44 + 1.5. Which is smaller: -2/3 or x?
-2/3
Let z(t) be the second derivative of -t**5/20 - t**4/2 + 3*t**3/2 - 2*t**2 - 2*t. Let q be z(-7). Let k be -2*(-15)/q - -1. Is 0 <= k?
False
Let j(z) = 17*z + 6. Let k be j(2). Is 40 < k?
False
Suppose -5*k - 1 = -11. Suppose n + 4*r = 3, k*n - r = 4*r - 20. Let m be n - 2/(1/(-1)). Is m >= -2?
False
Suppose 402 = 6*d - 9*d. Let w = 922/7 + d. Which is bigger: -1 or w?
-1
Let r(i) = -i**3 - 5*i**2 + i + 6. Let k be r(-5). Let x = -1/5 - -7/10. Which is smaller: x or k?
x
Let q = -1013/10 + 101. Which is smaller: 1 or q?
q
Let t(r) = -r**3 - r**2 + 4*r + 3. Let g be t(-3). Let n = 20 + -12. Is g greater than n?
True
Let c = 12 + -4. Which is smaller: 6 or c?
6
Suppose 2*l = r - 11, 4*l = 3*r + 7*l - 6. Does r = -3?
False
Let b = -14/27 + 20/27. Suppose 2*q + 5*o = 27, q = -4*q - 3*o + 20. Is q smaller than b?
False
Suppose 5*p = 4*v + 1 + 23, 15 = -3*v + 3*p. Which is smaller: v or -24/25?
v
Let f = -9 - -23. Let l be ((-24)/14)/(2/f). Which is smaller: l or -11?
l
Suppose -5 = -8*z + 107. Which is greater: 13 or z?
z
Let f be 105/(-459) - (-4)/34. Is f < -1/3?
False
Let s(u) = -u**3 - 5*u**2 + 7*u - 3. Let a be -5 + 3/(-2 + -1). Let r be s(a). Let w = r + 9. Is 4/9 less than w?
False
Let m = -256/3 + 86. Is -0.04 < m?
True
Let b = 1.2 - 1.04. Is 0.3 less than b?
False
Let x(o) = -o**2 + 13 + 2*o - 2*o - 4*o - 6*o. Let z be x(-11). Is z smaller than 2?
False
Let b = 39 + -35. Is 11/3 != b?
True
Let l = -0.6 - -0.5. Which is smaller: 3 or l?
l
Let m = -55.8 + 62. Let w = 7 - m. Let l = -1.1 + w. Do l and 1 have the same value?
False
Let w = -9 + 16. Let a be (21/56)/((-6)/4). Are a and w unequal?
True
Let n be ((-29)/(-46))/(3/4). Let l = -4/23 + n. Which is bigger: 0 or l?
l
Let k = 0 - 0. Suppose k = 3*j - 6*j - 9. Let h = -0.4 - -0.3. Are h and j unequal?
True
Suppose 3*m = 5*m + 16. Does -23/3 = m?
False
Let b be (-7)/14*(-2)/5. Which is smaller: 2 or b?
b
Let a(y) = -y**3 + 16*y**2 + 16*y + 21. Let f be a(17). Suppose -2*g - f*h = -18, g - 4*h = -2*g - 13. Does 1 = g?
True
Suppose -5*q = 3*v - 3, 4*q - 2*v - 32 = 3*v. Suppose 4*g - 4*c - 6 = 3*g, -12 = 2*g + 4*c. Let i = 3 + g. Which is smaller: i or q?
i
Let k = -111 - -96. Is k < -18?
False
Let x = 19.7 + -20. Which is bigger: x or -2/9?
-2/9
Let d be (3 + -2)*(1 - 1). Is d less than -2/11?
False
Let k = -0.08 + -0.12. Let r = 94033/5 + -18683. Let i = 124 - r. Which is bigger: k or i?
i
Let k = -0.066 + 3.066. Which is bigger: -5/4 or k?
k
Let d = -37136586540/6981379 - 1133604/19339. Let u = -5378 - d. Let m = u - 704/3249. Which is smaller: m or 1?
m
Let w = 10 + -13. Let u be 2 + w/((-39)/(-22)). Which is greater: 0 or u?
u
Let i = -8 + 13. Let t(u) 