et c be 1/(-3) + (-78)/(-18). Suppose b - 2 = c. Let i(j) = j - 6. Let v be i(b). Which is smaller: -1 or v?
-1
Suppose 0 = -5*z - 20 + 130. Is z less than 22?
False
Let o = -14 - -15.5. Let b = o + -1.2. Which is greater: 0.03 or b?
b
Let x = 1 - -1. Do 0.02 and x have the same value?
False
Let u be 0*(-1)/3 - -2. Are u and -2 non-equal?
True
Let d = -0.08 - -0.08. Let i(t) = -t**3 - 7*t**2 + 7*t - 7. Let x be i(-8). Let n = -1 + x. Is n < d?
False
Suppose -9*q + 48 = -5*q. Suppose 3*k = -3*j + 45, j - 4 = -0. Which is smaller: q or k?
k
Suppose -4 = 3*m + 2. Which is greater: -0.3 or m?
-0.3
Let j = -23.2 + 24. Let y = -11.2 - j. Are y and 1 nonequal?
True
Suppose -4*v + 45 = v. Let q = -29 - -31. Suppose 3*f = -4*g + v, f - 7 = -q*g + 2*f. Is 3 greater than g?
False
Suppose -f + 94 = -5*v, -5*v = -0*f - 4*f + 316. Is 74 at least as big as f?
True
Suppose -10 - 5 = 3*g. Let q be (-2)/g*20/16. Is q greater than or equal to 2?
False
Let r be (-2)/(-6) + 8/(-6). Which is bigger: r or 1/5?
1/5
Let p be 1 + ((-34)/15)/2. Suppose 5*y - 2*y + 3 = 0. Which is greater: y or p?
p
Let g(w) = w - 8. Let x be g(6). Let o be ((-1)/(-2))/(x/48). Let l be o/42 + 11/14. Which is smaller: 1/5 or l?
1/5
Let l be 1/(-2) + 6/4. Let i = l - 1. Suppose 3*b = -b - 4. Is b not equal to i?
True
Let n = -14 - -10. Let a be 6/n - (-37)/10. Which is greater: a or -0.1?
a
Let p(w) = -w**3 - 5*w**2 + 5*w - 4. Let t be p(-6). Let a = -1 - -4. Suppose -t*m - a = 1. Which is smaller: m or -1?
m
Let l be 4 + ((-52)/(-28) - -2). Are l and 8 non-equal?
True
Let x = -0.92 - 0.08. Which is smaller: -3/2 or x?
-3/2
Let m be (-3)/14*3/9. Let y(w) = w**3 + w**2 - w. Let c be y(0). Is m bigger than c?
False
Let j(l) = l + 13. Let f be j(-12). Let r = 0 - f. Let g = -64/33 + 14/11. Is g less than or equal to r?
False
Let q = -5 + 4.8. Let t = -0.4 - q. Which is smaller: 2/5 or t?
t
Let c = -12.9 - -13.2. Which is smaller: c or -1.1?
-1.1
Let l be 2/4*7*1. Is l greater than or equal to 3?
True
Let c = 2 + -3. Let h = 2/37 - 125/259. Do h and c have the same value?
False
Let w be (-2)/(-2) + -1 - 1. Let t(m) = m**2 + m - 1. Let j be t(2). Let z(h) = -h**2 + 8*h - 10. Let c be z(j). Is c equal to w?
False
Let s(o) = 2*o - 9 + 5 - 3*o. Let c be s(-3). Is c at most -1?
True
Let c(t) = -t**3 + 2*t**2 + t + 6. Let d be c(3). Is d at most 4/35?
True
Let h = 0.74 + 3.56. Let z = 4 - h. Which is greater: -1 or z?
z
Let p = -94 + 2067/22. Which is smaller: p or 1?
p
Let k(s) = s**3 + 7*s**2 + s + 10. Let w be k(-7). Suppose 4*n - 27 = -w*c - 4, -2*c - n = -7. Is c not equal to 2/15?
True
Suppose 7*h - 2*h + 5 = 0. Let u be (-3)/12 - 28/(-80). Which is smaller: u or h?
h
Let h(n) = -n**3 - 16*n**2 - 13*n + 24. Let s be h(-15). Which is bigger: -7 or s?
s
Let d = -7 + 12. Suppose -4*m - 2 = -14. Which is bigger: d or m?
d
Let a = 6.12 - 0.12. Let o = 5.9 - a. Let b be 3*(2 + 11/(-3)). Is b smaller than o?
True
Let f be 3/((-1)/13*1). Let a be f/6 + (3 - 3). Are a and -6 unequal?
True
Suppose -q = 3*q - y - 1, -3*y = 3. Suppose 2*m - 2*r + 6 = 0, q = 2*m - 5*m - 5*r - 17. Which is bigger: m or -5?
m
Let b be (((-40)/12)/5)/(2/6). Is b greater than -3?
True
Let s = -15 + 19. Which is bigger: 3 or s?
s
Let t = -18 + 26. Which is smaller: 1 or t?
1
Let y be ((-144)/135)/((-2)/5). Is y at least as big as 3?
False
Suppose -5 + 9 = t. Suppose -3*q = d + 15, 0*q + t*q = 5*d - 1. Do -4 and d have the same value?
False
Let p = 244 + -352. Which is smaller: -1 or p?
p
Let k = -16 + 21. Suppose 2*h - 32 + 7 = 5*q, -h = -2*q - 10. Suppose h = -f - 2*f + 12. Is k > f?
True
Let z = -6 + 8. Let o = 0.08 + 0.22. Which is bigger: z or o?
z
Suppose -5 - 7 = 3*t. Let z = t + 9. Suppose 2*r - 5*q + 10 = -q, -3*r + z = 4*q. Which is smaller: r or 1/3?
r
Suppose 3*w = 25 + 5. Is w > 7?
True
Suppose -2*c + 20 - 8 = 0. Let o(y) = y**2 - 4*y - 7. Let f be o(c). Is f smaller than 5?
False
Suppose 0 = 2*c - 2, -c = 4*u + c - 70. Let v = u - 21. Is 3 at most v?
False
Let y = -12/25 + -1/50. Is 0 less than y?
False
Let j = 355/92 - 5/46. Which is smaller: 3 or j?
3
Let p be (-4)/(-3)*(5 - (-255)/(-54)). Is p bigger than -1?
True
Suppose -4 = n - 1. Let q(h) = h**3 + 4*h**2 - h - 2. Let b be q(n). Is 11 less than or equal to b?
False
Suppose 2*z - 30 = -3*z. Suppose -s + z = 9. Is 0 less than or equal to s?
False
Let q = -0.26 - -0.16. Let y = 0.3 + 0.2. Which is bigger: q or y?
y
Suppose -6*h = -3*h - 48. Let g = -2 - -6. Suppose 0*c - 7 = 3*c - 2*i, 0 = 4*c + g*i + h. Which is smaller: -2 or c?
c
Let q(u) = u**3 - 7*u + 4 + 7*u - 6*u**2. Let y be q(6). Is y > 6?
False
Let j = 63 + -122. Let r be j/20 + (-6)/24. Is -4 at most as big as r?
True
Let n = -723 - -18078/25. Let t = n + 2/25. Let g(m) = -m**3 + 6*m**2 - 6*m + 4. Let j be g(5). Which is bigger: j or t?
t
Let b = -13.1 - -13. Let g = 0.04 + -0.44. Let i = b + g. Which is bigger: -2/5 or i?
-2/5
Suppose -5*m + f - 4 = 0, 3*m + 20 = 7*f - 2*f. Let d be 2 + 13/(-2) - (-13 + 9). Is d < m?
True
Let z(u) = u**2 - 2. Let p be -2*2/8*-4. Let r be z(p). Suppose g = -g + r. Which is greater: 0.3 or g?
g
Let s be ((-3)/(-5))/(17/2 + -1). Are 1 and s equal?
False
Suppose -20 = i + i. Suppose -5*p = -3*p - 4. Let m be ((-9)/15)/(p/i). Is m > 2?
True
Let d = -2 - 3. Suppose 10*k = -9 - 11. Do k and d have the same value?
False
Let s = -0.06 + -2.94. Let d = 4 + s. Is d smaller than 2/3?
False
Suppose -4*b - 2*j - j - 5 = 0, 3*b - 10 = -5*j. Is b at most as big as -8?
False
Let n be 3/231*29/(-8). Let s = 6/77 - n. Which is smaller: s or -1?
-1
Let o be (-4 + -1)*(-12)/(-30). Suppose -2*m + 119 = -21. Let p be (4/m)/(o/10). Which is greater: p or 3?
3
Suppose -27 = 5*l - 3*d + 4*d, 3*l + 5*d = -25. Let r(s) = s**3 + 4*s**2 - 4*s + 6. Let x be r(l). Which is smaller: x or 0?
0
Let a = -73 + 145. Let q be 16/a + 8/(-198). Is q > 1?
False
Let b = -48 - -69. Let n = -19 + b. Is 3 less than n?
False
Let o = 13.8 - 12. Let l = -0.2 - o. Let j = -3 - l. Which is greater: j or -1/4?
-1/4
Let o(t) = 2 - t - 2 - 2. Let g be o(2). Let n(y) = y**3 + 4*y**2 + 2*y + 6. Let w be n(g). Which is greater: -1/2 or w?
-1/2
Let f(x) = x**3 - 9*x**2 - x + 17. Let j be f(8). Is j less than or equal to -54?
True
Let c = -12 - -23. Let z = c + -12. Let d be (-8)/14*2/4. Is d <= z?
False
Let x = 53 + -23. Let s be 3/9 - (-32)/x. Let z = s - 1. Is z > -1?
True
Let k = 2 + -5. Let b be (-2)/(k/((-9)/(-6))). Is b not equal to 4/3?
True
Let r = -0.26 - -0.16. Suppose -2*w - 1 = -w. Let s = 0 + w. Which is bigger: r or s?
r
Let m(h) = h**2 + 10*h + 10. Let r be m(-8). Let d be 2 - (-5)/(15/r). Which is greater: -2/3 or d?
d
Let z = -517 - -9825/19. Do z and 1 have different values?
True
Let u = -0.4 + 0.48. Let l = u + -3.08. Let x = l + 2. Which is smaller: 3 or x?
x
Suppose 0 = 4*y - 5*o - 25 - 6, -2*o - 32 = -3*y. Let w be (-34)/y - (-6)/3. Is -1 smaller than w?
True
Let j(o) = 5*o**2 + 5*o + o + 7*o**2 + 4 - o**3 + 7*o. Let g be j(13). Let y(h) = -h**3 + 5*h**2 - 3*h - 2. Let x be y(g). Which is smaller: x or 6/5?
6/5
Let i be 0/(5/(-15)*-6). Which is smaller: i or 11/8?
i
Let z(b) = 3. Let v(o) = o. Let j(n) = -v(n) + z(n). Let f be j(3). Let k = 31/35 - 9/7. Is k less than f?
True
Let p = -37/2 + 403/22. Let r = -1/27 - 8/27. Which is greater: r or p?
p
Suppose -10 = -u - 4*u. Suppose b + b + u = 0. Suppose 19 = -4*p + 5*r, p - 4*r + 6 = -7. Is p bigger than b?
False
Suppose 0 = 4*v + v + 280. Let r be 2/5 + v/(-10). Let p be 1/r*20/(-15). Is p <= 0?
True
Suppose a - 4 = 0, -2*a = h - 20 + 2. Suppose -2*x - 3*x = -5*g - h, 5*x + 8 = -g. Which is bigger: -2/7 or x?
-2/7
Let r(i) be the second derivative of i**5/20 + 5*i**4/12 - i**3 + i**2/2 - 2*i. Let u be r(-6). Let a be (-2)/(-3) + (-12)/(-9). Which is smaller: a or u?
u
Let t be (-13)/(-12) + (-6)/8. Suppose 5*b = 3*w + 10, 0 = 3*b - 3*w - 7 - 5. Let m = -1 + b. Which is smaller: t or m?
m
Let c = -11 + 11. Let o be -1*(c + (-2)/36). Is o greater than or equal to 1?
False
Let q = -9 - -6. Let u be (-1)/(q/6)*1. Are 2/3 and u nonequal?
True
Let f = -0.04 + -4.96. Let a = -8 - f. Let j = 104/3 + -35. Is j equal to a?
False
Let j = 182 - 907/5. Suppose 2*c = -4*l, 5*c - 2*c - 4*l - 10 = 0. Which is greater: j or c?
c
Let g = -95.2 - -106. Let q = 11 - 