 -2/3 < c?
True
Suppose -m + 11 = -8. Which is greater: m or 21?
21
Let b(w) be the third derivative of -w**5/60 - 5*w**4/12 + w**2. Let a be b(-10). Is 3/5 not equal to a?
True
Let p be ((-3)/3 - 7) + 1*-3. Which is smaller: p or -4?
p
Let k = -15.991 - 0.009. Are -1 and k nonequal?
True
Suppose -4*j - 4*y + 28 = 0, 0*j = 3*j + 2*y - 18. Let r be (4 + 1)*j/10. Let z be -3 + (-1 - (r - 5)). Which is smaller: 2 or z?
z
Suppose -3*p - 4 = 2*i + 2, 4*p + 8 = 2*i. Which is bigger: 1/27 or i?
1/27
Suppose -2*s - 2*u = 8, 2*s - 19 = -2*s + 3*u. Let w(l) = -l + 8. Let y be w(8). Is y less than or equal to s?
True
Suppose 0*z - 6 = -3*z. Let r(u) = -u**3 + 2*u**2 + 3*u + 4. Let g be r(3). Let j(p) = p**2 - 3*p - 2. Let n be j(g). Is n < z?
False
Let n be (-3)/5*(-6)/117. Suppose 5*j = -4*p + 1, j = -2*p + 1 - 2. Is j < n?
False
Let b be (-4)/10 - 6/(-30). Which is bigger: b or 0.6?
0.6
Suppose 0 = -3*c + 3*q - 18, -q = 4*c + 4*q - 21. Let t be -5*1/(-6) + -1. Which is greater: t or c?
t
Let c = -0.9 + -0.5. Let q = c - -1. Is q at most -1?
False
Let u = -0.19 - -0.22. Is 2 at most as big as u?
False
Suppose -2*p - 2 = 5*x + 1, -5*p - 4*x - 33 = 0. Is p >= -9?
True
Let p = -1.46 - 0.54. Which is greater: 11 or p?
11
Let a = 16.1 - 16. Let t = 2 + -1. Is a smaller than t?
True
Let c be 9/(-3) + 4 - -3. Let p = -3 + c. Is p less than or equal to 5/3?
True
Let z(y) = y**2 + 8*y. Let m(f) = -2*f - 1. Let d be m(4). Let s(c) = -c - 17. Let u be s(d). Let v be z(u). Is 1/3 less than or equal to v?
False
Let n = 2 + -1.6. Let i = 1.3 - -0.1. Let u = n - i. Which is bigger: -2 or u?
u
Suppose -5*y + 0*n = 2*n - 16, -3*n = y - 11. Let v be (y/6)/(3/6). Let p = 1 - 1. Which is bigger: p or v?
v
Let s be ((-3)/24)/((-12)/(-16)). Is s greater than or equal to -1.3?
True
Let i(x) = 2*x**3 - 4*x**2. Let n be i(3). Suppose 3*c = -5*b - n, 2*c + c + 3*b + 12 = 0. Let z = c + 1. Which is smaller: 1 or z?
z
Suppose 3*u + 4*j = 35 - 5, 0 = 5*u - 2*j - 24. Let s(r) = -r**2 + 6*r + 1. Let d be s(u). Are -1 and d unequal?
True
Let s be 6/3*(-1)/(-2). Let d be s + 60/(-28) - -2. Is d at most 2?
True
Let l = -0.9 + 1.8. Let y = l - 1. Let f = y + -2.9. Is -1 < f?
False
Let o = 3/136 + -55/952. Is o greater than 0?
False
Let c = 0.2 - -0.3. Let y = -3 - -2.5. Let j = y - c. Is j <= 1/3?
True
Let v = 281 + -1971/7. Suppose 0 = 3*c - 4*n - 13 + 5, 0 = -5*c - n - 2. Which is greater: v or c?
c
Let r = 5/3 + -13/6. Suppose 4*i - n - 24 = 4*n, -2*n - 13 = -5*i. Suppose i + 1 = 2*k. Is k less than or equal to r?
False
Suppose -l = 0, -3*d + 4 = -2*d + 3*l. Suppose -d = 4*w - 6*w. Do w and 3 have different values?
True
Let h(g) = -26*g**3 - g. Let t be h(-1). Let o be 2 + (-12)/t*5. Suppose -2*d = d - 6. Which is smaller: d or o?
o
Suppose 0 = j + 3*j - 12. Let s(r) = -6*r + r**2 - 4*r + 0*r**2 - 4 + 3*r. Let n be s(8). Is n at least j?
True
Let l = -6 + 4. Let d = -7 - -5. Is l less than or equal to d?
True
Let w(d) = d**2 - 4. Let t = 1 - 1. Let q be w(t). Is q at most -4?
True
Let g = 14 - 8. Let r = 4 - -4. Let q = g - r. Is q at most 0?
True
Let w be ((-2)/47)/((-2)/5). Let o = w + -121/2021. Is o equal to 1?
False
Let m = 2.93 + 0.07. Let j = m - 2. Which is smaller: -3 or j?
-3
Let c = 7.028 + -0.028. Is -0.1 at least as big as c?
False
Let s = -5 - -3. Let l = s - -2.1. Is -2 <= l?
True
Let p = -4.1 + 1.1. Let z = 2 + p. Which is smaller: -3 or z?
-3
Let g be 2/6 + (-226)/65. Let u = g + 40/13. Do -1 and u have the same value?
False
Let m be 4/(-16) + 3/(-4). Suppose 5*u - 2*a = -28, 0 = 4*u + 2*a - 3*a + 20. Let f = u + 3. Is m equal to f?
True
Let x(f) = 2*f. Let z be x(3). Let j = -5 + z. Let g be 4/6*(j - -2). Which is smaller: g or 2/3?
2/3
Suppose -2*g + 5 = -3. Let n be g/(-6) - (-24)/9. Let d be 0 + 0 - n/1. Which is smaller: d or 2?
d
Let k = 2 + -5. Let y = 35 - 35. Is k < y?
True
Let q = -60 - -59. Let u = 2 - 2.02. Is q equal to u?
False
Let n = -219 + 324. Let v be 1/3 + (-65)/n. Are -3 and v equal?
False
Let f = -3 + 6. Suppose -f = -2*o - 5. Which is smaller: o or -2?
-2
Let w(h) = 2*h**3 - 2*h**3 + 3*h**3 - 4*h**3 + h. Let j be w(-2). Is 5 bigger than j?
False
Suppose -3*b - 21380 = 5*r, 4*r - 4*b + 6651 = -10421. Let z = -12937/3 - r. Let j = -40 - z. Is -1/3 smaller than j?
False
Let x = 4.8 + -5. Let y = 0 + x. Is y at most 0.1?
True
Let s = -2 - 0. Let c be 2*(-1)/1 - -5. Suppose -3*g = c - 0. Which is smaller: s or g?
s
Let o = -135 - -135. Is o less than -8/27?
False
Let c = -8 + 9. Which is smaller: -1/5 or c?
-1/5
Let x = -17979/5 + 3607. Is x > 12?
False
Suppose -n = -6*n. Let b be (-2)/(n + (3 - 1)). Is b smaller than 0.3?
True
Let j be (2 + 6/(-2))/1. Which is greater: -3/7 or j?
-3/7
Let i = 242/3 - 85. Is -5 greater than or equal to i?
False
Let r be 27/(-9) - 16/(-6). Are -0.2 and r non-equal?
True
Let l = 8 + 4. Let q be (-1)/4 - 3/l. Suppose 9*o - 3*o - 4*o = 0. Are q and o unequal?
True
Let r(d) = d**3 + 10*d**2 + 8*d - 5. Let c be r(-9). Are 4 and c nonequal?
False
Let f = -4 - -5. Let o(b) = -b + b + 6*b + b**2 + 1. Let x be o(-6). Do x and f have different values?
False
Let x be ((-42)/(-8))/((-4)/16). Let c be (-69)/x + 2/(-7). Let v be 3/45*c*2. Is v not equal to 0.1?
True
Let f = -427765/172 - -2487. Is -1 < f?
True
Let f(y) = 2*y + 3. Let j be f(-2). Let h(s) = -s**2 + s + 1. Let i be h(j). Let m be (-16)/(-6) + i/(-3). Is m != 3?
False
Let r = -18 - -26. Is r bigger than 9?
False
Let q = 18.22 - 0.22. Let g = 17 - q. Which is smaller: g or 7?
g
Let i = -1/42 - 121/210. Let y = -35 - -33. Is i greater than y?
True
Let b = -5 + 6. Suppose -u + 3 = -b. Which is greater: u or 5?
5
Let o = 2/171 - 352/855. Suppose -k = -5*f, 0*f - 2*k + 12 = 2*f. Are o and f equal?
False
Let p be 3 + (-1)/2*-2. Let a be (-8)/(-5) - p/(-10). Suppose -2*i + 2*k - 3 = 3*k, a*k + 3 = -i. Is i > 0?
False
Let n be 3*16/(-12)*-4. Which is bigger: 12 or n?
n
Suppose -j = -y + 34, -7*y = -3*j - 3*y - 106. Which is smaller: -32 or j?
-32
Let r be 3*9/((-162)/12). Which is smaller: -10/17 or r?
r
Suppose -2*m + m + 14 = 5*o, -3*o - 5*m = -26. Let h be 30*((-4)/o - -3). Suppose -h = -5*p + 5*t, -5*p - 4 = 3*t - 2. Is p smaller than 3?
True
Let q be (-4)/14 + (-44)/42. Let b be (-33)/(-15) - (-8)/10. Let p = b + -5. Which is smaller: p or q?
p
Let l be 2/2 + (-186)/6. Let w be 21/l*(-2)/(-3). Let m = w - -34/105. Which is smaller: 0 or m?
m
Suppose 5*l + 4*f = -10, -5*l + f + 15 = -0*f. Let t = l - 2. Let g = -427/5 - -85. Is t < g?
False
Suppose 15 = -5*c - 0. Let j = -1 + c. Let q be (3/2)/(3/(-6)). Which is smaller: q or j?
j
Suppose -2*b - 10 = -2*n, 3*b = -2*n + 3 + 2. Let x be (10/8)/(b/(-4)). Let h be (1 + -2)*(-2)/x. Is h >= 1?
False
Suppose 0 = 3*t + 6, -3*k + 3*t - 6*t = -24. Let b = 18 + -9. Which is greater: k or b?
k
Let a be 4/14 + 3/14. Suppose -5*f + 4 + 46 = 0. Suppose 4*s + s = f. Which is smaller: a or s?
a
Let k be 6*(7/2 - 3). Suppose 4*q + 5 + 2 = -k*h, 4*h = 4*q. Which is greater: q or -2/3?
-2/3
Let q = 666253 + -13988287/21. Let s = q + -144. Is 1 at least as big as s?
True
Let y(j) = -j**2 + 3*j + 8. Let r(d) = 1. Let l(k) = k + 1. Let f be l(5). Let z(a) = f*r(a) - y(a). Let o be z(4). Does o = 1?
False
Let q be (4/45)/((-2)/3). Let g be (-1)/(-2) - ((-6)/12 + 1). Is g at most q?
False
Let c(v) = -v - 1. Let k be c(-8). Let j be (-14)/k + 32/15. Which is smaller: -2/3 or j?
-2/3
Suppose -v = -4*v + 5*h - 21, 4*v - 3*h + 17 = 0. Let p = 19/2 - 10. Is p smaller than v?
False
Suppose 0 = -2*g + 2 + 4. Which is greater: g or 2?
g
Let f(i) = 0*i**2 + 24*i - 29*i + i**3 + 8 + 5*i**2. Suppose 5*l - 33 = 4*t + 2*l, 5*t = -l - 27. Let h be f(t). Is 1/2 less than or equal to h?
True
Let z be (-12)/(-14) + (-4)/(-28). Does -1/15 = z?
False
Let b(k) = 4*k + 25. Let m be b(-7). Which is greater: m or -1/3?
-1/3
Suppose -u - 4*y = -y + 4, -2*u = 2*y + 4. Which is smaller: -1.6 or u?
-1.6
Let q be (2 - 1)/((-2)/4). Let u be (-1)/3*q/1. Suppose -10*i + 9*i + 1 = 0. Which is greater: u or i?
i
Let i = -2162/339 - -5/113. Which is smaller: -6 or i?
i
Let w = 0.27 - -0.13. Is w greater than or equal to 2/17?
True
Suppose -5*n = -0 - 5. Suppose 19 = 5*h + 3*p, -4*h - 2*p = p - 17. Is h equal to n?
False
Let o = -1.1 + 0.1. Let m = o - -2. Let j = m - 0.9. Is