. Let m be 48/n - (-6)/(-21). Is 2 not equal to m?
True
Let n be (23/4)/(-2 + 3). Let b = n - 6. Which is bigger: -1 or b?
b
Let k(t) be the third derivative of t**5/20 - t**4/8 + t**3/6 - t**2. Let p be k(2). Let j = p + -5. Is 1 smaller than j?
True
Let o be (-8)/10*(-3 - -8). Let s(v) = 2*v + 2. Let x be s(2). Let l = o + x. Is l < 4/5?
False
Let l(k) = -k**3 + 9*k**2 - 10*k + 11. Let o be l(8). Let m(t) = t**3 + t**2 + t - 10. Let d be m(0). Let b = d - -6. Are b and o equal?
False
Let k = 0.3 - 0.4. Let f be ((-2)/(-3))/((-10)/9). Which is smaller: f or k?
f
Let z = -52982039/384072585 - -52/579295. Let l = 1329/98345 + -4/445. Let c = z + l. Is 1 greater than c?
True
Let v = 0.05 + 0.95. Is v at least 0.9?
True
Let f = 1.1 + -1. Let k = 0.3 - f. Is k bigger than 0.2?
False
Let j be 3/5 + 4/10. Let t = 16 - 127/8. Which is greater: t or j?
j
Let x be (-8)/18 + -1 + 21/27. Let w be 4 - 3/(-9)*-3. Which is greater: x or w?
w
Let f = 937/10 + -193/2. Which is smaller: -4 or f?
-4
Let z(w) = w**3 + 10*w**2. Let i be z(-10). Let k = 157 + -633/4. Which is bigger: k or i?
i
Let s be 2*(-11)/(-6) - 3. Is 59 at least as big as s?
True
Let f(z) = -z + 4. Let g = 5 - 2. Let a be f(g). Suppose 2 = 3*k - a. Is k less than or equal to 1?
True
Suppose 7 = 3*j + 10. Is 5/14 at least j?
True
Let w be (2 - 1)/(1/(-5)). Let x be (-60)/(-19) + (-8 - w). Which is smaller: -1 or x?
-1
Let t = -5.99 + -0.01. Let j = t - -6.2. Is j greater than 3?
False
Let y(z) = -z**2 - 7*z. Let s be y(-8). Is -8 equal to s?
True
Let j = -5 - -1. Let x be (j/(-6))/((-8)/(-6)). Which is smaller: x or 2/7?
2/7
Let m = -1 - -1. Suppose m*q + 10 = 5*i + 2*q, 5*q - 25 = -2*i. Is -1/10 smaller than i?
True
Suppose -t + 3 = -n, 5*n - 21 = -t - 3*t. Let y be 64/24 - 1/(-3). Which is smaller: y or n?
n
Suppose -3*i = 4*g - 11, 4*g - 2*i + 11 = 3*g. Is -1 bigger than g?
False
Let u = 6 - 6.3. Let f = 3.07 + -0.07. Let z = f - 4. Which is smaller: z or u?
z
Let l be (-75)/252 - (-1)/3. Which is smaller: l or 0?
0
Let g(l) = l**3 - 4*l**2 + l + 3. Let n be g(3). Let u = 1 - 5. Is u not equal to n?
True
Suppose -45 = -2*f + 3*j + 11, f + j - 38 = 0. Suppose o + f = -2*u, 5*o + 171 = -u - 44. Let t = o - -131/3. Which is smaller: t or 1?
t
Let p = 5 + -6. Let i = p + 0.9. Let y = -1 + 0. Is y at most as big as i?
True
Suppose -2*c + 1 = 3. Let g = 1 + c. Let b = 9 + -8. Which is greater: b or g?
b
Suppose 3*b - b + 2 = -4*m, 2*b - 22 = 4*m. Let d(y) = -2 + 3 + y + 0. Let w be d(m). Which is bigger: 0 or w?
0
Let l be (-3)/2*40/12. Suppose -3*v = -3*o + 30, 5*o = v + 13 + 17. Is l less than v?
False
Let j = -22 + 25.1. Is j less than 0?
False
Let c(g) = -3*g - g**3 - 11*g**2 + 2 + 9*g + 6*g - 6. Let t be c(-12). Let x be (21/(-78))/(-7)*t. Which is bigger: x or -1?
x
Let y be 1 + (-5)/(5/3). Let g = y + 4. Is g >= 0?
True
Suppose 15*l - 21*l - 138 = 0. Which is smaller: l or -22?
l
Let z = -0.2 + -1.8. Let y = z - -2. Let b = -0.1 + y. Which is bigger: b or 1/4?
1/4
Let q = 8 - 8. Suppose -2*l = -5*f + 19, 3*l + 2*f + 2*f - 29 = q. Suppose l*m + m - 4 = 0. Which is bigger: m or -1/4?
m
Let t be ((-2)/(-3))/(430/(-568719)). Let w = 8821/10 + t. Let m = -3/86 - w. Is -0.1 at least as big as m?
True
Let i be (-4)/(4/(-20)*1). Is i smaller than 20?
False
Let a = 5 + -2. Suppose -n = -6*n - 5. Let p be (0 + a/(-9))/n. Is p at least -1?
True
Suppose 12 = -4*y + 5*y. Let q be 1/12*(-32)/y. Which is smaller: q or 1?
q
Let g(o) = 8*o - 4. Let t be g(-4). Is -37 > t?
False
Let m be 0 + (3 - 2)*-1. Do m and -2/345 have the same value?
False
Let i(b) = 4*b**3 + 1. Let q be i(-1). Is -9/5 >= q?
True
Let j = 4 + 8. Suppose -j = 7*w - 3*w. Is w equal to -2?
False
Let h(w) = w + 5. Let x be h(-4). Let t be 4/10 - 8/(-30). Which is smaller: t or x?
t
Let q(b) = -b**2 + 8*b - 8. Let l be (-15)/(-2) - (-1)/(-2). Let h(s) = -s**2 + 7*s + 7. Let z be h(l). Let n be q(z). Is n less than or equal to -1?
True
Let v(f) be the third derivative of f**6/30 - f**5/60 - f**3/6 + f**2. Let x be v(2). Suppose 4*p - 7 + x = 0. Which is smaller: -4 or p?
p
Suppose t = -5*w - 4*t + 20, 9 = 4*w - 3*t. Let c be -3*(-6)/10 - w. Do -1 and c have the same value?
False
Let a be (26/39)/((-2)/(-27)). Suppose -5*x + a = -16. Which is smaller: 4 or x?
4
Let c = -11 + 14. Does c = -4?
False
Let v(i) = i**3 - 2*i**2 - 5*i - 11. Let y be v(4). Which is greater: y or -2/117?
y
Let n = -12 + 11. Let h be n + 2 + (-16)/12. Is h equal to -2?
False
Let d = 194/7 - 1488/35. Which is smaller: d or -14?
d
Suppose 3*g + v - 18 = -0*g, -4*v = 0. Which is smaller: 15 or g?
g
Let s = 1/442 - -1321/2210. Let a be (2/(-6))/(1/(-3)). Is a smaller than s?
False
Suppose -3*w + 9 = 3. Let p = w + 0. Suppose 0 = -i + 4 - 0. Which is bigger: p or i?
i
Let j = -1618/9 - -180. Which is smaller: j or -1?
-1
Let d = 17.5 + -20.5. Is -1 < d?
False
Let r = -1 - -2. Let j = -0.9 + r. Let n = -222 + 217. Which is smaller: j or n?
n
Let s = 79 - 64. Which is greater: 13 or s?
s
Let c be (-10)/(-4)*(-5)/(-200). Is -1 at least as big as c?
False
Let r = -5.6 + 15.6. Is r > -1?
True
Let h be 21/9 - (1 + 0). Is h greater than 0.1?
True
Suppose 0 = -4*p + q + 2, -4*p + p - 3 = -3*q. Are p and -4 nonequal?
True
Suppose 0 = -16*y + 51 - 3. Let a be 6/3 + 6/(-2). Are y and a equal?
False
Suppose 0 = -t - 1, -3*h - h + 3*t + 35 = 0. Suppose 0 = 5*q - 4*p - 25, 3*q + 2*p - 1 = -h. Which is smaller: -1/6 or q?
-1/6
Let c be (20/(-6) + 3)*-27. Suppose 0 = -4*u + c + 7. Suppose -5*w + 4*r - 10 = -r, -u*w - r = -12. Is 2 < w?
False
Let b = 0 + -1.24. Let y = b - 0.16. Is 1 >= y?
True
Let p be (-2)/(-3) - (-4)/(-6). Let n = 6717 - 33866/5. Let u = -56 - n. Is p bigger than u?
False
Suppose -6*t + 1 + 5 = 0. Which is smaller: -2/47 or t?
-2/47
Let z = 22.6 - 0.6. Which is smaller: 3 or z?
3
Suppose 0 = -b - 0*b. Let j = -241 - -240. Is b at most as big as j?
False
Suppose -3*c - 10 = -b, 3*b - c + 4*c = 6. Let w = 85 - 80. Which is greater: b or w?
w
Let u = -0.3 - -6.3. Are u and -6 equal?
False
Let b = -13/3 + 17/3. Let k be 6/(-24) - 1/(-4). Is b < k?
False
Let d = 13/5 - 3. Let v be 60/14 + 10/(-35). Suppose f - 5 = -v*f. Is d bigger than f?
False
Let m be (-1 - 0)*(-1 + -18). Is m smaller than 19?
False
Suppose -5*c = -c + 64. Let j be 2/8 + 4/c. Suppose -3*d + 0*h = -h - 4, -1 = -3*d - 2*h. Which is bigger: j or d?
d
Let w = -225 + 1799/8. Let k be ((1 + -2)*0)/(-2). Which is greater: w or k?
k
Let u(t) = t**3 - 5*t**2 + 3*t + 4. Let n be u(4). Which is greater: n or 1/50?
1/50
Let d = -9 + 11. Let x = d + 5. Are x and 1/2 unequal?
True
Let a be (2/49)/(10/70). Let u = -0.29 - 0.01. Let o = u + 0.4. Which is smaller: o or a?
o
Let p be (3/(-25))/(3/(-15)). Let j = p - 1. Are j and 5 equal?
False
Suppose -7*b + 2*b = 5*d + 75, -5*b - 72 = 4*d. Let m = b - -18. Is 0.1 less than or equal to m?
True
Suppose k = 2*c + 3*c - 14, -k - 4 = 0. Suppose -c*h = 3*h - 10. Is 5/2 at most as big as h?
False
Let p = -1.01 + 1. Let b = -2.6 + 2.6. Does p = b?
False
Let d be (1 + 0)/(1/2). Suppose 3*b + 6 = -3*j, -d*b - 3*j = -5*b. Is 1 > b?
True
Let w be 1/(-5)*-1 - (-44)/(-20). Let f = -0.2 + 0.2. Which is bigger: f or w?
f
Suppose d + d - 4 = 0. Suppose -3*n = -4*i + 2, 3*n + d*n = -4*i + 18. Is 3/2 <= i?
True
Suppose -3*q + 261 - 627 = 0. Let n = 1099/9 + q. Which is smaller: 0 or n?
0
Suppose -3*c = 2*l, 5*c = 5*l - l. Let t = c - 3. Is 2 at least t?
True
Suppose -2*z = -3*z. Let j = 68/57 - 10/19. Is j <= z?
False
Let b = 3 + -4. Let d be 20/(-15)*(-12)/(-2). Let t be (-46)/(-42) + d/12. Which is greater: b or t?
t
Let v = 7 + -1. Is 6 != v?
False
Let n = -51.12 + 0.12. Is n less than or equal to 0?
True
Let q = 20 - 16. Suppose -18 = 5*a + q*d, 0*a - 4*d = -a - 18. Which is smaller: -2/7 or a?
a
Let f = 946 + -114467/121. Is f > -1?
True
Let l be 5 - (360/3)/(-2). Is 65 at least as big as l?
True
Let j = 3 + -3. Is 77 greater than j?
True
Let q(m) = -m**2 + 3*m - 1. Let b be q(3). Which is bigger: -3/2 or b?
b
Suppose 0 = -4*o - 0*l - 3*l - 5, 5*o + 3*l = -4. Which is smaller: 5/13 or o?
5/13
Suppose 2 = 6*w - 4*w, 5*s - 3*w = 27. Let b = 18 + -12. Is b equal to s?
True
Suppose 0 = l - 7. Suppose -o = -5*d + 55, -43 = -2*d + 4*o - 3. Let b be (0 - d)*(-6)/10. Is l at least b?
True