 Let y = -239 + 236. Let w be i(y). Which is smaller: -0.2 or w?
-0.2
Let u = 6859985/1402 - 4893. Is u equal to -1?
False
Let h = -99 + 695/7. Let v = -7.52 + 396.52. Let s = v - 384. Which is smaller: h or s?
h
Let j(h) = 6*h**2 + 3*h + 8 - 9*h - 5*h**2. Suppose -4*l + 44 = 7*l. Let f be j(l). Which is bigger: f or 4/9?
4/9
Let y = 2745 + -7467. Is y bigger than -4721?
False
Let q = -35 - -50. Suppose -2*s - l = -2*l + 6, -q = -5*s - 5*l. Let i be (-3)/(-2) - 5/(-2670)*-813. Which is bigger: i or s?
i
Let f = -7 + 12. Let t(j) = -j**3 + 4*j**2 + 11*j + 5. Suppose 0 = 4*h + 8, 3*h - 2*h = -5*n + 28. Let w be t(n). Which is greater: f or w?
f
Let i(p) = 6*p + 204. Let j be i(-34). Let v = -840 + 831.82. Which is smaller: v or j?
v
Let f be ((-8)/(-40))/((-6)/(-24)). Let i = 21 + -16. Suppose -t + 7 = i*n, -n + t = -2*n - 1. Which is smaller: n or f?
f
Suppose -86 + 286 = 10*w. Let p = w + 1. Let h be 1/(((-6)/57)/(-2)). Is p >= h?
True
Let b be ((-51)/170)/(587/292 + -2). Is -30 not equal to b?
True
Let o(f) = -f**3 + 5*f**2 + 7*f - 7. Let w be o(6). Let u = -20561 - -164173/8. Let v = u - -7859/200. Which is greater: w or v?
v
Let k = 1447/168 - 69/8. Let q = -209 - -214. Suppose 0 = -q*j + 6*j - 6*j. Which is smaller: j or k?
k
Suppose 129 = 7*v + 108. Suppose 12 = 3*p + v*p. Do p and -51 have different values?
True
Suppose 4 = -2*v + 58. Let r be 0/(0 - (2 - 5)). Suppose -m + 2*n - 4*n + 24 = r, 2*m - 47 = -5*n. Which is bigger: m or v?
v
Let h(t) = 3*t**3 + 9*t**2 + 2*t. Let f(r) = r**3 - r**2 + r. Let d(n) = -2*f(n) + h(n). Let u be -10 - (0 + (-3)/(-3)). Let x be d(u). Is -2/83 < x?
True
Let s be 3/(-12) - 4*(-109)/(-16). Is -27 < s?
False
Suppose h - 6*h = 0. Let f = -144 + 142. Let b be 3 + h - (-4)/f. Which is bigger: b or 0.053?
b
Let y be (-2*(1 - 0))/11. Let i = -20733.022 - -20733. Which is bigger: i or y?
i
Let x = 4.66 - 629.66. Let d = 597 + x. Which is bigger: -0.4 or d?
-0.4
Let t = -138.07 - -138. Let a = t + -0.03. Does a = -12?
False
Let v = 25 - 27.6. Let t = -76933/6 - -12823. Is t at least v?
True
Let d(u) = -46*u + 517. Let g be d(19). Is g greater than -358?
True
Let x be (-16)/((-588)/66 - -9). Let s be 1*(-704)/(-4)*-1. Is x < s?
False
Let y be (((-51)/6)/17)/(1/20). Let k(q) = -12*q - 81. Let l be k(y). Is l != 37?
True
Let q(s) = 2*s**3 + 45*s**2 + 20*s - 12. Let z be q(-22). Let g be -3*(z/6)/8. Let a be (0/g)/(-1 - (-4 + 5)). Is a <= -34?
False
Let g be ((-58)/(-28) - -1) + -2. Suppose -h = -3*h + v + 33, -h = -3*v - 9. Let i be 30/h - 3/(-9). Which is greater: g or i?
i
Let h = -0.00456 + 1.09456. Which is bigger: h or -2?
h
Let u(y) = 4*y - 13. Let o(c) = -c + 4. Let d(l) = 7*o(l) + 2*u(l). Let r be d(-2). Let z be 4/(-26) + (-592)/(-3172). Which is bigger: r or z?
z
Suppose -2306*i + 932*i - 1267*i = 0. Let d be (0 - -2) + 403/(-206). Let u = 254/4635 - d. Is i at least u?
False
Let i(x) = -x**2 + 100*x + 4584. Let s be i(-30). Is s <= 0.01?
False
Suppose -351 = t - 350. Which is smaller: 60/11 or t?
t
Let l = 15884 + -15641. Are l and -0.1 nonequal?
True
Let z(p) = p**2 - 6*p + 8. Let q be z(0). Let n = q - 15. Let k(f) = -14*f - 149. Let m be k(-10). Is m at least as big as n?
False
Let q be -3*(-8)/6 + (0 - 4). Suppose -172 = 2*d + 4*b, q = -6*d + 2*d - 5*b - 344. Which is bigger: d or -84?
-84
Suppose -60 = -7*y - 18. Let z be 5 + ((-2)/(-6) - 416/y). Is -65 greater than or equal to z?
False
Suppose 3*t - 2*l = 81, t + l - 34 = 4*l. Suppose -j + 2*z + 21 = -0*j, 4*z = 20. Let b = j - t. Which is smaller: b or 5?
5
Suppose -11*f - 21*f + 35*f = 12855. Which is smaller: 0.1 or f?
0.1
Let u be (-1)/2*(70/(-15) + 5). Let m = 9.4 - 9.05. Let y = m - -11.65. Is u bigger than y?
False
Let h = 141.153 - 0.153. Let a = 103 - h. Is a != -2?
True
Let k be (7 - 4)/1 - -53. Let y = k + -56. Suppose -14*h + 6*h - 104 = y. Is h smaller than -13?
False
Let f = 1854 - 1835. Let n = -6 - -11. Are n and f nonequal?
True
Let y = -160 + 152. Let q be (-5*(-4)/20)/((-4)/y). Which is smaller: 13/22 or q?
13/22
Let u be (-72)/16 + 3 + (-1078)/4. Let p = -271 - u. Which is smaller: -2/799 or p?
-2/799
Let v = -59510311/1315 - -45255. Which is smaller: 1 or v?
v
Let y be (4 - 154/40)/(21/(-28)). Which is smaller: 219.6 or y?
y
Let w(d) = 2*d - 38. Let t be w(19). Suppose 11*x + 794 + 416 = t. Does -110 = x?
True
Let t be 393/(4*(-24)/64). Which is smaller: -279 or t?
-279
Let w = -21388 - -21392. Does 209/63 = w?
False
Let f(v) = 2*v**2 - 2*v - 3. Let s be f(-3). Suppose 78*d - 81*d + s = 0. Is 126/17 > d?
True
Let i be (-1305)/(-261)*(4/(-18) - 1346/(-5895)). Suppose 5 = 2*p + 3*p. Is i greater than p?
False
Suppose 5*o = -3*h + 142, -4*h + 2*o + 126 = -72. Suppose h*d - 44*d = 315. Let r = 4 - d. Is -59 != r?
False
Let d be ((-10)/(-3))/((-10)/(-30)). Let o be 498/30 - (-1 - (-16)/d). Which is greater: -4 or o?
o
Let v be -12524*27/1260*-7. Which is bigger: v or 1878?
v
Let w(b) be the first derivative of b**2/2 - 1. Suppose -4*k + 78 = 19*k + 16*k. Let f be w(k). Which is bigger: 34 or f?
34
Let j = -76 - -88. Let c(h) = -j - 19*h + 21*h + 0. Let a be c(12). Is a smaller than 14?
True
Let q = 10713 - 1082015/101. Is q at most 37?
True
Suppose -5*r + 0*m - 289 = -2*m, 5*r = m - 292. Let l = -668 + 610. Are r and l unequal?
True
Let l = 0.0664 - 19.4264. Let y = 6.8 - l. Let t = -26 + y. Is 0 bigger than t?
False
Let z(q) = q**3 + 6*q**2 - 4*q + 10. Let x be z(-7). Suppose 4 = 2*p - 0*p. Let o be 52/(-8)*(0 + 0 + p). Is x smaller than o?
False
Let w(c) = -c**2 + 10*c + 168. Let q be w(17). Suppose 62*i - 3471 = q*i. Is 267 at least i?
True
Let l = -9452/5 - -1897. Let q be 5 - ((-16)/6 + 32/(-96)). Is l != q?
True
Let b = -105 + 92. Let i(s) = -s**2 - 13*s + 10. Let p be i(b). Let j be 0/1 - (-1 - 9). Is j at least as big as p?
True
Suppose 1177*r - 1181*r + 6 = 2*h, -r - 4*h = -26. Suppose -3*z = -5*z + 6. Suppose -9 - z = -2*s. Is s equal to r?
False
Suppose 228*k - 1261 = -4453. Which is smaller: k or -896/59?
-896/59
Suppose 37 - 107 = 2*r. Let u(l) = -27*l - 281. Let m(i) = 27*i + 275. Let k(h) = 4*m(h) + 5*u(h). Let t be k(-10). Is t < r?
False
Let k be (2790/(-27))/((-85)/5). Is 5 less than or equal to k?
True
Suppose 6*r - r = -20. Let z be r/(-16) + (-11)/(-4). Suppose -w + t - 7 = 0, w - z*t + 1 = -4*t. Is -24/7 greater than w?
True
Let t = -109 + 58. Let i = t + 49. Let j = -896 - -7153/8. Do i and j have the same value?
False
Let q be ((-12)/(-30))/((-36)/90 + 8/10). Which is greater: q or -2/6503?
q
Let k(l) = -l**2 - 13*l - 25. Suppose -21*t + 26*t = j - 40, 2*t = -4*j - 38. Let d be k(t). Let v = -15 + 11. Which is smaller: d or v?
v
Let o(b) = -59*b + 173. Let s be o(3). Let u be (-72)/(-1872)*5/s. Which is greater: 0 or u?
0
Let f = -118 - -230. Let m = 84 - f. Is m <= -29?
False
Let y(w) be the second derivative of 37*w**3/2 + 155*w**2 - 178*w. Let t be y(-6). Is t > -357?
True
Let g(u) = 4*u - 2. Let i(j) = 12*j - 5. Let h(t) = -11*g(t) + 4*i(t). Let o be h(4). Is 17 > o?
False
Let d be -13 + (5 - 3) - (-6218)/(-10). Is -632 >= d?
True
Let n(f) = 1370*f**3 - 2*f**2 + 1. Let h be n(-1). Let o = 15069/11 + h. Let m(w) = -w**2 + 26*w + 26. Let x be m(-1). Does x = o?
False
Let m = 1.9 - 45.4. Let q = -43.6 - m. Which is smaller: q or 184?
q
Let l be -4*((-1939)/(-28) - -3). Let v = l + 161. Which is smaller: -126 or v?
v
Suppose 34*w + 4*c = 33*w + 26, 5*c - 22 = 4*w. Which is greater: w or -713?
w
Let n(l) = -3286*l**2 - 80*l. Let b be n(-1). Is -3206 != b?
False
Suppose -106*q + 229844 = 247*q + 62522. Do q and 485 have different values?
True
Let d = -2395.2 - -2395. Is d at least -83.4?
True
Let j(q) = -70*q - 4621. Let m be j(-68). Is 1821/13 not equal to m?
True
Let o be 4/(-10) - (-12152)/480. Let b = -105/4 + o. Let j = 33 + -18. Which is greater: b or j?
j
Let d(x) = 11*x**2 - 9*x - 15. Let p be d(-3). Suppose -2*n + 5*n = p. Is 37 < n?
False
Suppose -2*z + 330*z - 164709 = 118355. Is z < 864?
True
Let n = -72.818 - -72.8. Let t = n + -4.982. Which is smaller: t or 25?
t
Suppose 0*v + 50 = 2*v. Let o be 68904/(-6468)*14/(-6). Is v at most o?
False
Let g(n) = 11*n**2 - 5*n - 62. Let d(h) = -13*h**2 + 6*h + 64. Let m(o) = 6*d(o) + 7*g(o). Let c be m(9). Which is bigger: -123 or c?
c
Let k = 101/36 - 333