k be c(-10). Is -3 at most k?
True
Let v = 32 + -97/3. Let c(f) = -f**3 + 5*f**2 + 8*f - 3. Let t be c(6). Suppose 0 = t*a - 4*a - 5. Is v bigger than a?
False
Let v = 3 + 3. Suppose 2*l = 4*d + 16, 2*l - 28 = 5*d - v. Is d at most -7?
False
Let w = 11 + -11. Let g(u) = -4*u**3 + 7*u**2 - 4*u + 6. Let o(a) = 3*a**3 - 7*a**2 + 5*a - 6. Let r(f) = -2*g(f) - 3*o(f). Let d be r(6). Is w smaller than d?
False
Let k(a) = 6*a**2 + 5*a - 4. Let w be k(-5). Let g = w + -849/7. Which is greater: -1 or g?
g
Let p be (-10)/(-6) - (-4)/12. Suppose -8 = -2*c - p*c. Suppose c*i - 5 = i. Is 6 at most as big as i?
False
Let i = -3.6 + 3.3. Is i greater than or equal to -6?
True
Let b = 0 + -8. Let t be -2*(-2)/b*-8. Suppose 2*g + 9 = m, g = t*m + 1 - 2. Is m bigger than -2?
True
Let t be 4/10*(-2 + -3). Let g be (t/6)/(1/3). Let k be 0 - g/(-4) - 0. Is k equal to 0?
False
Let n be (676/(-570))/((-32)/(-15516)). Let f = 2301/4 + n. Let i = f - 2/19. Which is greater: -1 or i?
i
Let d = 38 + -46. Let l = -2.1 + 2. Is d smaller than l?
True
Let g(m) = 6*m**3 + 7*m**2 + 12*m + 16. Let p(o) = o**3 - o**2 + 1. Let a(c) = -g(c) + 5*p(c). Let q be a(-11). Is q <= -2?
False
Let m be (36/(-656))/(2/16). Let f = -116/451 - m. Is 1 at most as big as f?
False
Let q = -1 - 0. Let o be (-4 + 3)/(2 + q). Let i = -8 + 22/3. Which is bigger: i or o?
i
Let t(w) = w - 1. Let s be t(5). Let h be (s/(-2))/((-2)/9). Let p be (-6)/(-27) - 8/h. Which is greater: p or -2?
p
Suppose 0 = -3*s + 6*s. Let u = -0.078 + -0.222. Is u less than s?
True
Let o be (2/(-4) + 0)*-10. Suppose 4*d - 3*h = -7, 2 + 3 = o*h. Let a be ((-2)/(-18))/((-1)/(-2)). Which is greater: a or d?
a
Suppose 4*n = -0 - 12. Let w be -1 - n/((-1)/(-1)). Suppose y = w - 4. Is 2 greater than or equal to y?
True
Let f = 12.1 - 12. Is f > -1/10?
True
Let q = 2219/60 - 149/4. Let g = q + -1/15. Is g greater than or equal to 0.4?
False
Let u = 36 - 0. Is u less than or equal to 1?
False
Let y(i) = -i - 2. Let s be y(-2). Let f(j) = j**3 - j - 1. Let r(g) = 6*g**3 + g**2 - 5*g - 4. Let k(u) = 5*f(u) - r(u). Let o be k(s). Is o <= -1?
True
Let r = 174 + -36. Is r at least 137?
True
Let w = -82 - -151. Let m be w/60 - 2/5. Which is bigger: m or 2/7?
m
Let c = -190/3 - -62. Which is smaller: c or -2?
-2
Let l(p) = p + 17. Let q be l(-7). Let m(a) = a**2 - 16*a + 1. Let j(n) = -3*n**2 + 47*n - 2. Let i(y) = 6*j(y) + 17*m(y). Let z be i(q). Are z and 5 unequal?
False
Suppose -162 = -2*g - 174. Suppose -1 = -n - 8. Is n greater than g?
False
Let y = 2/2247 + -27715/2247. Let i = y + 13. Let s = 21 + -19. Which is bigger: i or s?
s
Let j = -10.1 - -12. Let v = 2.04 - 0.04. Let p = v - j. Which is bigger: p or 3?
3
Let z = -3 + -6. Let l = z + 55/6. Let r = 19 - 18. Which is smaller: r or l?
l
Suppose -4*h + 7*h - 7 = y, h + 5*y = -19. Suppose -b + 2 = h. Is 1 <= b?
True
Let b(v) = -v**2 + v - 31. Let z be b(0). Let o be 64/2 - 7/14. Let d = o + z. Which is smaller: -2 or d?
-2
Let j = 5 - 2. Suppose -5 + 2 = -j*x. Are x and 0 nonequal?
True
Let u be (2/3)/((-2)/(-15)). Suppose -2*k = -u*c + 3*k + 30, -2*c - 13 = 3*k. Let d be (1 - 1)/(2*1). Which is smaller: d or c?
d
Suppose 2*z + f - 9 = 11, 4*z = f + 34. Let l be (6/z)/((-4)/(-30)). Is l greater than or equal to 5?
True
Let l be (-4)/6*-9 + -1. Suppose -l*z = -4 - 1. Let w be (-2*z)/(3 + -2). Which is greater: -2/3 or w?
-2/3
Suppose p = 2*p - 1. Let v = -3 + p. Let d = v + 2. Is 0 greater than or equal to d?
True
Suppose 1 = -x + 3. Suppose 2*v = -x - 0. Which is smaller: v or -2/5?
v
Let n = -19 + 20. Which is greater: n or -3/7?
n
Let k = -0.03 + -4.97. Is 0.2 equal to k?
False
Suppose a - 6*a = 70. Which is bigger: a or -4?
-4
Let z = 10 + -5. Suppose k = -5*m - 20, 0 = z*m + k - 2*k + 10. Suppose 0 = -6*q + 4*q - 6, -u - 14 = 4*q. Is u >= m?
True
Suppose 13 = -4*v + 37. Let y be 4/v*18/4. Suppose -y*j - 2 = -j. Is -1 less than or equal to j?
True
Let d = -4340/11 + 395. Are -1 and d equal?
False
Let h(n) = -3 + 5 - n**2 + 7*n - 3 - 9*n. Let a = 2 + -3. Let g be h(a). Which is greater: 1/6 or g?
1/6
Let l(g) = 7*g**3 - 5*g**2 - 5*g + 10. Let a(p) = 3*p**3 - 2*p**2 - 3*p + 5. Let k(o) = -5*a(o) + 2*l(o). Let m be k(2). Let i be 2 + -1 + -2 - 2. Does m = i?
True
Let q = -168 - -173. Let l(o) = o**3 + 3*o**2 - 7*o - 5. Let b be l(-4). Is q less than b?
True
Let s be (-3)/(-9) + 38/30. Which is smaller: s or -1/4?
-1/4
Let b = 3 + -3.3. Let r = -22.1 + 22. Is r less than b?
False
Let c(l) = -l**3 + 2*l - 1. Let b be c(1). Let v = -3 + 5. Which is smaller: v or b?
b
Suppose -2*v - 1 = v + 4*x, 0 = -2*v - 3*x - 2. Suppose 5*l - v*c = 20, l - 5*c - 9 = 15. Let o = -0.4 + 0.3. Is o not equal to l?
True
Let s(a) = a + 2. Suppose v - 3*q - 61 = -v, v - 30 = q. Suppose -4*t = -3*x + v, -17 = -4*x - t + 2*t. Let k be s(x). Is 4 less than k?
True
Let a be (4/1)/(-5 - -6). Do 2 and a have the same value?
False
Suppose 0 = -2*l + 5*q - 10, 0 = l + 3*q - 8 + 2. Let n = 1.1 - 1.2. Are l and n nonequal?
True
Let d = -161 - -961/6. Suppose -5 = -18*y + 23*y. Which is smaller: y or d?
y
Let l = 17 - 6. Let j be (9 - l) + (-2)/1. Is -4 != j?
False
Let i(f) = -f**3 - 6*f**2 - 8*f - 6. Let y be i(-5). Suppose -2*d = 4*r + 6, -5*r - y = -r + d. Let c be 6/(-4)*(r + -1). Is c at most 5?
False
Suppose r - 21 = 5*o, r + 41 = -3*r - 5*o. Let x be 3 + 39/(-7) - 9/21. Is x < r?
False
Let t = -20 + 9. Let z = -11 - t. Which is smaller: z or -0.6?
-0.6
Suppose 0*j = -2*j + 2. Which is bigger: j or 9/5?
9/5
Let w = -5 - -2. Let y(n) = -2*n + 5*n - 4*n. Let l be y(4). Is l at least w?
False
Suppose -l - 2*t = -9, -l - 4 = 4*t - 21. Which is smaller: l or 1/13?
1/13
Let c = -9/13 - -105/208. Are 1 and c non-equal?
True
Let y = 6.43 + -0.43. Which is greater: -1 or y?
y
Let y = -23 + 24. Which is smaller: y or 5/2?
y
Let t = -27307/13 + 2099. Which is smaller: -2 or t?
-2
Let v be 4/8*7*2. Suppose 0 = -v*g + 2*g + 5*a - 10, 4 = -4*a. Suppose 7 = -4*k + 3. Is k < g?
False
Let h = 0.06 - 9.06. Let f = h - -7. Let t = 0.8 + 0.2. Is f greater than t?
False
Suppose 9 - 25 = k - 5*n, 4*k - 3*n = -13. Which is bigger: k or -9/5?
k
Suppose -2*k = -k - 7. Suppose 0 = 3*p + 36 - 51. Let v = p - k. Is -4 at least v?
False
Let k = -2/273 + -172/1365. Let l(p) = -p**2 + 5*p. Let w be l(5). Is w smaller than k?
False
Let i be 8/(-12) + (-24)/(-9) - 1. Which is smaller: 5/8 or i?
5/8
Suppose -f - 18 = -3*v, f + 3 + 15 = 5*v. Let i = -13 - f. Is 5 >= i?
True
Let q be 21/(-6) - 12/(-8). Let w = 160276/47 - 3410. Let a = w + -171/235. Is q greater than a?
False
Let y(x) = -x**3 + 2*x**2 + 17*x - 11. Let b be y(5). Is b at least -1/47?
False
Let i(g) = g**3 + 3*g**2 - 6*g - 2. Let y be i(-4). Does -1 = y?
False
Let g be 1/(1*-3)*-6. Suppose 0 = 2*u + g*u - 12. Do u and 3 have the same value?
True
Let o be 6*(3 - 8/(-4)). Suppose o = -4*i - 22. Is i greater than -13?
False
Suppose 0 = -4*q + 24 - 4. Let a = 4 - q. Let i = -5 + 3. Which is smaller: a or i?
i
Let b(o) = -o**2 + 2*o - 1. Let c be b(3). Let v be (-6)/c*16/(-6). Which is smaller: -5 or v?
-5
Let g(q) = -4*q**3 - 2*q**2 + 5*q - 4. Let z be g(1). Is z at most -1?
True
Let c = -79/6 - -13. Let x(a) = -a**2 - 5*a + 1. Let p = 4 - 9. Let u be x(p). Is u at least as big as c?
True
Suppose 0*s - 5*o = -s - 113, 0 = 2*s + 2*o + 166. Does -88 = s?
True
Suppose k - 5*b + 25 = 0, -5 = 3*k + 2*k - b. Let s be (-86)/4*8/(-84). Let l = -19/7 + s. Which is smaller: l or k?
l
Let s = -15 + 1. Let p = 105 - 119. Is p != s?
False
Suppose p + 4*u - 26 = -0*p, 4*p - 59 = -u. Which is smaller: p or 13?
13
Let l = 20 - 9. Let a be 36/15*(-5)/l. Is -1 not equal to a?
True
Suppose 0 = -2*k + 3*k. Let m = 1 - 1. Suppose m*w + 3*w = k. Which is greater: w or -2/9?
w
Let w be 2/(-4) + (-274)/(-556). Let m = w - 273/695. Is -2/7 less than m?
False
Suppose -10*i - 5*i = 15. Is i < 9?
True
Let f be -438*-1*(-8)/(-84). Let s = f - 43. Is s bigger than 0?
False
Let w = 2 - 2. Let q be 2 + (-6)/3 + w. Let d be 2/7 + 5/7. Which is greater: d or q?
d
Let n = -829/16021 - 1/433. Let c = -0.3 + 0.2. Are c and n nonequal?
True
Suppose -h = -2*h - 11. Let r be 4/(-4) + (-17)/h. Which is bigger: 1 or r?
1
Let p = 640/7 + -92. Let f be 5 - -1 - (16 + -13). Suppose -2*y - 5 = w - f*y, -3 = -y. Which is bi