1606464)/((-2)/24). Which is smaller: 0 or f?
f
Let u(t) = -t**3 - t + 10. Let o be u(0). Let c = -582 + 594. Is c less than or equal to o?
False
Let g be (3/((-24)/7))/((-37)/(-42)). Is g at least -1?
True
Let k = -206 + 128. Let s be (k/(-455))/((-34)/(-5)). Is 0 greater than or equal to s?
False
Let m = 9.777 - 9.677. Let v = -6 - -5.94. Let p = v - -0.02. Which is smaller: m or p?
p
Let x = -2414/15 - -9641/60. Which is smaller: 1658 or x?
x
Let g = 2404 - 2708. Which is greater: g or -297?
-297
Suppose -7*w - 31*w = -56675 + 171131. Is -3012 >= w?
True
Let d be (3/(-18))/((-3661)/(-3663) + -1). Let u = 305 - d. Which is greater: u or -320?
u
Let f(m) = -m**3 + 16*m**2 + 106*m - 8. Let d be f(-5). Let j(l) = -l + 1. Let u(w) = 6*w. Let q(h) = -5*j(h) - u(h). Let o be q(6). Which is smaller: d or o?
d
Suppose 388 - 122 + 482 = 44*b. Which is smaller: 33 or b?
b
Suppose -79*k + 84*k = 0. Which is bigger: k or 23/70?
23/70
Let d = -1482.88 - -1564. Let v = d + -81. Let g = v + -11.12. Which is smaller: 0 or g?
g
Let b = 345 + -365. Let t be 2175/(-720) + b/12. Which is smaller: t or -4?
t
Let f = 0.43 + -0.3. Let i = 0.03 - f. Let h = 54 - 70. Which is greater: i or h?
i
Let w = 4830 - 69. Which is smaller: w or -1/2?
-1/2
Suppose -2*h + 2*o + 17 = -o, 2*h + 2*o = 42. Let f = 17 - h. Let z be (-4)/6 - (2 + (-65)/(-15)). Are f and z equal?
False
Let l = 49 + -38. Suppose p - z + 14 = 0, -15*p - 91 = -l*p + 3*z. Which is smaller: -88/5 or p?
p
Suppose -20941 + 1515 = 83*i + 20082. Which is smaller: i or -478?
-478
Let n = -211 + 73. Let i = -137.9 - n. Is i smaller than -12?
False
Let u = -231575/33 + 7016. Is 0 > u?
True
Let h(d) = -d**2 - d + 2. Let c be h(0). Let t(o) = o**2 - 47*o - 36. Let z be t(48). Suppose -7 = -3*r + c*s, -5*r + s = -z - 2. Which is smaller: 4 or r?
r
Let u = 6657 + -2647. Let z be (u/(-75))/((-220)/15). Let v = z + -45/22. Is 3 <= v?
False
Let r(y) = y**2 + 18*y + 19. Let i be r(-19). Let b = i + -37. Let f be (-6)/4*b*4/(-3). Which is smaller: f or -14?
-14
Let v be 741/30 - (-2 + (-11)/(-5)). Let a = 25 - v. Is a equal to -24?
False
Suppose 2*o - 45 = -13. Let f(t) = 3*t**2 - t - 22 + 15 - 4*t**2 + 3*t**2. Let d be f(-3). Which is greater: o or d?
o
Suppose -3*w - 2*c + 17 = 0, -2 = -w - 4*c - 13. Suppose 0 = -7*k + 6*k - w. Suppose -x + 4 - 12 = 0. Are x and k non-equal?
True
Let c = -58 - -106. Let n = c + -62.9. Let t = 0.1 - n. Is t > 2/5?
True
Let i(g) = -g**3 + 7*g**2 + 2*g - 10. Let p be i(7). Suppose -p*k + 4*z = -2*k - 86, 0 = -5*k + 3*z + 222. Let o be k/4*(-2)/12. Which is smaller: -1 or o?
o
Let v(u) = -101*u - 1414. Let s be v(-14). Which is bigger: s or -2/1833?
s
Let d = 19233 - 33817/2. Which is greater: 2326 or d?
2326
Let i be ((-274)/(-822))/((-1)/((-30)/(-4))). Is i bigger than -3/7?
False
Let d = 2.404 - 2.604. Is d not equal to 0.0277?
True
Let h = 1576 - -52. Is h equal to 1626?
False
Let r = 13.4 - 88.4. Let u = -1819 - -1900. Let h = r + u. Which is smaller: -1 or h?
-1
Suppose 21*t + 224 = -7*t. Let i be 34/1700*t/98. Is 1 <= i?
False
Let r = -139 - -257. Let l = 119 - r. Which is bigger: l or -28/11?
l
Let r = -3/5947 - 148513/321138. Which is greater: r or 1?
1
Let y be 1038 - (4 + (2 - 17)). Is y <= 1049?
True
Let c(l) = 4*l - 46. Let j be c(23). Let t be 621/j*16/6. Is t less than 35?
False
Suppose -2*j - 10 = 3*j, 0 = -3*m - j + 22. Let f(o) = -13*o - 18*o + 2*o - 13 + m*o. Let c be f(6). Are c and -140 nonequal?
True
Let b(k) = k**2 + 2*k + 15. Let w be b(0). Let m = -15 + w. Let i = -29/20 - -821/580. Which is smaller: i or m?
i
Suppose 95 = 2*l + 3*z + 20, 5*l + 3*z = 210. Let s be 0/3 + l + -1. Let i(w) = 2*w**2 - 4*w - 4. Let x be i(-4). Is s less than or equal to x?
True
Let w(n) = -74*n**2 + 13*n - 27. Let r be w(2). Let s = -296 - r. Do s and 10/61 have the same value?
False
Let n = -0.041 + 89.041. Let t = n - 88.9. Let p = 8861/140 + -442/7. Is p != t?
True
Let z = 0.1831 - 0.0831. Are z and -732/13 nonequal?
True
Let o be 21*46/(-13524) - 939/(-14). Which is bigger: o or -76?
o
Let v = 82 - 122. Let a be -5*(-3088)/120*12. Let t = -1583 + a. Which is smaller: v or t?
v
Suppose 260 = -193*f + 180*f. Let g be 3/(-5) - (2 - (-4692)/f). Which is smaller: g or 233?
g
Let g = -3.481 - -13.481. Are g and -12/7 non-equal?
True
Let f(y) = 2*y**2 - 35*y - 16. Let d be f(15). Let g be (-26)/d - 290/(-14). Let s(t) = -8*t - 4. Let z be s(-3). Is z greater than g?
False
Let w = 45 - 138. Let b = 0.139 + 0.861. Is w less than b?
True
Let h = -286 - -509. Let x = h + -226. Is -36/11 at least as big as x?
False
Let l(s) be the first derivative of s**4/4 - 7*s**3/3 + 3*s**2/2 + 5*s - 1. Let q be l(5). Which is bigger: q or -88/3?
-88/3
Let f = -16891 + 16888. Are -485 and f non-equal?
True
Let k(i) = i**3 - 14*i**2 + 38*i - 21. Let r be k(24). Is r at least 6651?
True
Let b(v) = -v**3 - 6*v**2 - 4*v + 5. Let f be b(-5). Suppose 2*p - 3*p - 112 = 5*r, 4*p + 348 = 5*r. Let d be (-6 - 65/(-10)) + 38/p. Which is bigger: f or d?
d
Let i(w) = -538*w + 64. Let b be i(-2). Let j be -2*(1 - -2) + b/35. Is j greater than 27?
False
Let o = -897.1 - -945.1. Let m = -0.4 + -0.6. Which is smaller: m or o?
m
Let n(w) = -75*w + 10102. Let r be n(136). Which is smaller: r or -139?
-139
Suppose y = 4*i - 37 - 53, 0 = 3*y - 2*i + 230. Suppose -2*l = 4*b - 3 - 1, 5*b = -4*l + 8. Suppose b = 2*u - 17 + 15. Which is greater: y or u?
u
Let b(l) = -5*l**2 - 41*l + 1187. Let j be b(-34). Which is smaller: -3198 or j?
j
Let n be -27*(-176)/1296 + (-1)/6. Let r = 17 + -7. Let i = r + -5. Which is bigger: i or n?
i
Let m(j) = -1. Let r(o) = -o**3 + 10*o**2 - 8*o + 9. Suppose -7*d + 3*d + 22 = 5*y, 5*y = -d + 13. Let w(f) = d*m(f) + r(f). Let k be w(9). Is -2/7 at least k?
False
Suppose 0 = -39*q - 79049 + 29692 - 108632. Is q != -4050?
True
Let r be (-48)/880*-75 + -2*(-15)/(-10). Is -141 less than r?
True
Suppose 65*j = 70*j + 240. Let l = j + 58. Suppose -l + 32 = v. Which is greater: 21 or v?
v
Suppose -3*c = -g - 6 - 20, 0 = g + 5*c - 14. Which is greater: -266/27 or g?
-266/27
Let o = -334.03 + 334. Let s = o + 18.03. Which is greater: s or 1/2?
s
Suppose 3*t = -3300702 + 25436640. Let j be ((-2)/3)/(t/197523). Let z = -1/1991 + j. Is 1 greater than z?
True
Let x = 62.4 + -131. Let w = x + 78. Which is greater: w or 0?
w
Suppose 0 = -3*v - 2*s - 24147, -452*v + 32201 = -456*v - s. Is v less than or equal to -8049?
True
Suppose 2*h - 9*v + 4*v = -5, 3 = -3*v. Is 691 equal to h?
False
Let y = -0.066 - -0.066. Let o = 13.41 - 0.41. Let s = -13.1 + o. Is y greater than or equal to s?
True
Let l = -55 - -265. Suppose 10*p = 5*p + l. Suppose 7*a = 3*a + 5*z - p, -a + 5*z = 18. Is -7 less than or equal to a?
False
Let h(f) = f**3 + f**2 - 6*f. Let s be 56/70*5/(-2). Let z be h(s). Suppose 11*c - 45 = z*c. Is 15 greater than c?
False
Let m(x) = 2*x**3 + 10*x**2 + 19*x + 109. Let n be m(-6). Is 1/18 <= n?
False
Let s = 535 - 533. Let g be ((-3)/s)/(6296/1264 - 5). Which is bigger: 239/3 or g?
239/3
Suppose 0 = -m + 3*m - 2. Suppose j = -6 + m. Let h = -1363/4071 - -2/1357. Does j = h?
False
Let l(t) = 2*t**3 - 21*t**2 + 14*t - 34. Let b be l(10). Suppose -y - 5*q = -7, b*y + 48 = 2*y - q. Which is smaller: y or -17?
-17
Let n = 32.94 + -32.95. Which is bigger: 17/2 or n?
17/2
Let o(w) = 5*w - 26. Let q be o(10). Let z be 16/q*6/2. Which is smaller: z or 0.1?
0.1
Let k = -6563/16220 + 15/3244. Which is bigger: k or 5/172?
5/172
Let b = -3199 - -3192. Suppose 4*n = 3*p + 39, -p + 4*n = 3*n + 12. Which is greater: p or b?
b
Let c = 10660 - 5904. Is 4758 < c?
False
Let b(f) = 9*f**3 + f**2 + 4*f - 5. Let v be (-8)/(-12) + 104/(-12) + 5. Let k be b(v). Which is smaller: k or -253?
-253
Let j be (2 - 1655) + (-14 - 4*(-36)/16). Which is smaller: j or -6633/4?
-6633/4
Suppose -676 = -5*u - 3*w, 6 = 5*u - 7*w - 700. Let j(q) = -17*q**3 + q**2 + 3*q + 2. Let h be j(-2). Do h and u have the same value?
False
Let o = -305 - -308. Suppose -4*m - 5*d = -5*m - 5, o*d - 7 = m. Is -9 at least as big as m?
True
Let l be (3825/2)/15 - (-1)/(-2). Let o be (l/(-4))/(225/(-180)). Which is smaller: o or 24?
24
Let u = 306 - 302. Let i(p) = p + 1. Let b be i(u). Which is smaller: -3 or b?
-3
Let d = -19339 + 19319. Suppose 0 = w + 1, -2*f +