Suppose 0 = -n + 3 - 1. Suppose 8 = -n*l + 10. Let c(g) = 13*g**3 + g**2 + g - 1. Let a be c(l). Is a less than 14?
False
Let d be (114/1596)/((-114)/(-28) + -4). Let k be ((-9)/(-336))/((-9)/(-4)). Which is smaller: d or k?
k
Let k be (((-230)/5)/(-23))/(4/1). Which is bigger: -1611 or k?
k
Let w = 1.98 - 0.04. Let t = w + -0.94. Which is greater: 8.6 or t?
8.6
Let v(x) = x**3 - 7*x**2 - 67*x + 222. Let u be v(26). Is u less than or equal to 11324?
True
Suppose 1 = -6*v + 31. Suppose 11*l - v = 6. Which is bigger: l or 3?
3
Suppose 0*o - 8 = 2*o - 3*y, 3*y + 62 = -5*o. Let s be ((-28)/7)/(4/o). Let t be (-287)/(-42) + (-5)/(-30). Which is smaller: t or s?
t
Suppose -5*h + 2*p = -94, 4*p - 2 = -10. Let v = 17 - h. Do -2/411 and v have the same value?
False
Let b = -2316 + 2287. Which is smaller: b or -0.193?
b
Let g be (-50)/(-6) + 2/(-6). Suppose -5*s - 53 = -g. Let x be (15/s)/(-5)*132/(-20). Is x smaller than -3?
False
Suppose 2*n = -0*n + 20. Let g be ((-2)/n)/(6/1655). Let t = 2621/48 + g. Which is smaller: -2 or t?
-2
Suppose -5*f - 3 = 4*u + 11, u = -f - 4. Let x(w) = w**3 - 14*w**2 - w + 18. Let y be x(14). Let v be y*(7/(-42) + (-4)/u). Is -14/3 less than v?
True
Let j = 261.3 - 261.3709. Which is bigger: j or 0.2?
0.2
Let q be (-28606)/(-34356) + (-1320)/1584. Which is bigger: 0 or q?
0
Suppose 2 = -4*k + 6. Let g(l) = l**2 - 9*l - 14. Let p be g(10). Let x be (p/(-8) - (-872)/(-240)) + 3. Is k bigger than x?
True
Let l(u) = 222*u - 718. Let m be l(5). Is m > 391?
True
Let n be (78/325)/(6/4). Let c = -1/25 - n. Suppose 4*f = 24 - 24. Is c greater than f?
False
Let z(o) be the second derivative of 49*o**5/10 - 5*o**3/6 + 2*o**2 + 8*o. Let j be z(1). Which is smaller: 98 or j?
j
Let i = 0.031 - 0.051. Which is greater: -157 or i?
i
Let f = -72.2 + 46. Let h = 1.8 - f. Let m = -28 + h. Is m equal to -0.1?
False
Let s = -29.6 - 8.4. Let f = 218 + -177. Let r = f + s. Is 2/9 not equal to r?
True
Let z be ((-4)/8 - -1)/((-6)/(-12)). Let u be (9471/(-2365) + 4)*z/(-3). Are 1 and u equal?
False
Let j be ((-405)/18*10/(-3))/1. Suppose 4*r = 19*r + j. Let s be 6*52/318 - (-5)/r. Do s and -1 have the same value?
False
Suppose 32*y = -7*y - 2457. Let u be -64 - 5/20*0. Are u and y nonequal?
True
Let n = -2373 - -2373. Does n = -12/151?
False
Let o = 715802 - 55106016972/76985. Are o and -1 equal?
False
Suppose f = -1 + 4. Suppose 5*d + 27 = 4*t, 2*t - f = -5*d - 12. Which is greater: d or -26/7?
d
Suppose 20 = 27*x - 22*x. Let b be 0 - (x - (3 + 1)). Let f(h) = h + 4. Let z be f(b). Are z and 3 unequal?
True
Let y be ((-273)/(-28))/((-2)/56). Which is smaller: -276 or y?
-276
Let m be 16*((-3)/(-6) + 1). Let a(h) = 23 + 5225*h**3 - 5224*h**3 + 0*h - 24*h**2 - h. Let b be a(m). Which is smaller: -4/13 or b?
b
Let l(g) = 102*g + 193 + 88*g - 189*g. Let a be l(-26). Which is bigger: a or 335/2?
335/2
Let r = 10324 - 10345. Is r at most as big as -20?
True
Let c be 19 + -14 + 0 + -1. Let x be (148/(-1) - -4) + c. Which is smaller: -141 or x?
-141
Let a(r) = r**3 - 83*r**2 + 81*r - 178. Let v be a(82). Is v less than -265?
False
Let q = -57 + 59. Suppose 2*f - q*n + 85 = n, 5*f + 200 = 5*n. Is -172/5 < f?
False
Let r = -3.5 + 3.4. Let j be 10/2870*(-119)/(-68). Which is bigger: j or r?
j
Suppose -3*q = a, 4*q - 5 = 2*a + 9*q. Let t be 7/42 - (-570)/(-36). Which is smaller: a or t?
t
Let n be (-17)/((-850)/(-280))*(-12645)/18. Is 3934 at least as big as n?
True
Let k = -47.177 + -1.773. Let z = -48 - k. Let v = z - 5.75. Which is greater: v or -2/7?
-2/7
Let s(u) = 4*u**2 - 21*u + 5. Let w be s(6). Suppose 857 = 20*l - w. Is l less than or equal to 43?
False
Let r = -118.95 + 163.55. Which is bigger: r or -12?
r
Let f = -5936 - -5026. Which is smaller: f or -914?
-914
Suppose -4 = -2*u - 2*m, -3*u = -0*u - 4*m + 1. Suppose -c - u = 11. Is -12 less than or equal to c?
True
Let l = 107 - -69. Is l bigger than 1/6?
True
Suppose -68 = -2*f - 2*f. Let p be ((-858)/65)/(4/(-10)). Suppose 2*n - 3*c = p, -2*n + 40 = -4*c + 8*c. Is n greater than f?
True
Suppose -33*c - 4403 = -17*c - 42451. Does c = 2379?
False
Let q be (28 - 29)/((-2)/1878). Let r = q + -1863/2. Does r = -3/5?
False
Let r = 42 - 14. Let l(x) = 4*x**2 + 4*x + 2. Let h be l(-1). Suppose n - 94 = -5*k, -3*n + r = h*k - 7. Is 19 greater than k?
False
Let g be (-87 - -88)*(2 - 385/203). Suppose 2*t = 4*c - 2 - 2, -20 = 5*t. Let z be 2/c + 2/2. Which is smaller: g or z?
z
Let k = -9/86 - -113/258. Suppose 0 = -f - l - l + 28, 4*l + 22 = f. Let d = -56 + f. Is d at least k?
False
Let l = 26.97 + -2.97. Which is greater: l or -45?
l
Let z = -11 - -162. Suppose -89 = -10*g + z. Which is smaller: g or 25?
g
Suppose -55*y = -56*y + 3*w - 141, -2*w + 136 = -y. Which is smaller: y or -129?
-129
Let p be 173/5 - 105/175. Suppose -p*l + 7986 = -3302. Which is bigger: 331 or l?
l
Let x = -76 - -79. Suppose 4*f - k - 14 = 0, 0 = -x*k - k + 8. Let q = 2468/5 - 489. Which is greater: q or f?
q
Let j = -42 - -57. Suppose 5*t + j = 35. Suppose 3 + 2 = 5*p. Which is smaller: p or t?
p
Let q = 0.064822 - 468.917822. Let y = q + 469. Is -1/4 at most y?
True
Let k = -252 - 391. Let l = k + 647.5. Let j = -0.1 - 0.1. Is j not equal to l?
True
Suppose 682 = -6*y + 2*b, -9*y + 2*b = -10*y - 130. Which is smaller: y or -24?
y
Let x be (4/(-32)*2026)/(22/56). Let j = 644 + x. Let o be (1/(-2))/((-1)/(-2)). Is o <= j?
True
Let u = -3 + 2.92. Let b = 0.21 + u. Let n = 832/63 + -4286/315. Is n at least b?
False
Let x = -1 + 2. Let q = -1408 - -1417. Let n be (7/q - x) + 1565/(-45). Is n < -35?
False
Let s = 0.177 - 0.237. Which is bigger: s or 93/8?
93/8
Let r = 1789640/77 + -46485/2. Let f = r + -6/77. Is 0 > f?
True
Suppose 0 = w - 3*u + 6, 5*u + 0 = 2*w + 8. Let g be w/(-15)*(-30)/8. Which is smaller: g or -0.05?
-0.05
Suppose 0 = -2*k + 5*q - 8673 - 10976, q - 39325 = 4*k. Which is smaller: k or 0?
k
Let y(k) = -k**2 + 11*k + 1. Let u(j) = -1. Let f(r) = -6*u(r) - y(r). Let i be f(11). Suppose -3*c = 5*d - i, d - 2 = -1. Is c less than 1?
True
Let g = 14.86 - -50.24. Let q = g - 65. Is q at least as big as 32/7?
False
Let g = -9 + 13. Let q = 8 + g. Let a = q - -16. Do 2/3 and a have the same value?
False
Let t = 985/6 + -2953/18. Is 52.7 > t?
True
Let w = 1627 + -1081. Which is greater: 545 or w?
w
Let z be (378/(-49))/(-9) - 324/(-14). Suppose z*p - 92*p = 6120. Is p at most -89?
True
Let f = -3466 + 3295. Which is bigger: -179 or f?
f
Suppose -z = -3*c + 51, 0 = -3*c + 3*z + 14 + 43. Let m(q) = -2*q. Let i be m(-5). Let f be ((-2)/i)/((-8)/c). Are f and -0.1 nonequal?
True
Let z = 25462 + -25462.275. Are z and 1 equal?
False
Suppose 2*d = 2*y, -6*y - 2*d = -2*y - 12. Let r be 5*(-10)/(-29) - y. Which is smaller: r or -1?
-1
Let h be (2/2246)/(705/(-423)). Is h bigger than 0?
False
Let d = 48.17 - 26.17. Let x = 0.02 + 7.98. Let y = -9 + x. Which is greater: d or y?
d
Let s(i) = -2*i**2 + 6*i - 1. Let g be 16/24*(1 - 4). Let h be s(g). Is h at most as big as -21?
True
Let b be (-369)/(-15) + 36/30 - -5. Is b > 30?
True
Let a be (-30)/(-12)*-2 + (6 - 1). Suppose -7*y + 332 + 494 = a. Are 118 and y equal?
True
Let a = 1.3 + 9.7. Let z = -1.02762 - -0.02762. Which is smaller: a or z?
z
Let i(t) = t**2 - 6*t + 5. Let l be i(2). Let b be (l - 0 - -2) + 3. Let a be (6/6)/(1/3*3). Which is smaller: a or b?
a
Let r(l) = l**2 - 14*l + 25. Let x be r(13). Suppose -9*s + x = -12*s. Let w be 4/1 + 940/(-100). Is s < w?
False
Suppose -3*d - 2*x + 25 = -4*x, 2*d - 42 = -5*x. Let c(k) be the first derivative of 3*k**2/2 - 37*k - 584. Let b be c(d). Which is bigger: -2 or b?
-2
Let z(j) = 53*j + 21. Let r be z(8). Suppose 3*f = 3*m - m - r, -5*f = 3*m + 729. Is f smaller than -148?
False
Let l be (2/10)/((1992/20)/((-33)/(-44))). Is l >= 0?
True
Let y(n) = -2*n**3 - 23*n**2 - 6*n + 64. Let s be y(-11). Let k be (-3)/(-1) - (130/(-20) + s). Which is smaller: k or 1/33?
1/33
Let i(p) = -p**3 - 5*p**2 - 2*p + 7. Let m be i(-6). Let u = -1673 + 1672.9. Is m greater than u?
True
Let y(d) = -d - 2. Let h be y(2). Let b be (3/(-14))/3*(0/70 - -75). Are h and b equal?
False
Let t = 7707 - 7713. Which is smaller: t or -45/7?
-45/7
Suppose -9*z + z + 208 = 0. Suppose -12*k = k - z. Let m(n) = n**3 - n**2 - 2*n + 1. Let y be m(k). Which i