a
Let u(r) = r + 10. Let b be u(-2). Suppose -12*f - b = -13*f. Let d = 20821/7 - 2965. Which is smaller: d or f?
f
Let z(d) be the third derivative of -d**6/120 + d**5/6 - d**4/12 + 19*d**3/6 + 239*d**2. Let p be z(10). Let x be -2 + 1 - 178/(-180). Which is smaller: x or p?
p
Suppose -n + 2*x = -0*x + 5, -5*n + 5*x = 15. Suppose 0 = -5*p - d + 1822, -1100 = -p - 2*p - 4*d. Let l = -9827/27 + p. Is n at least l?
False
Let n(f) = -f**3 + 20*f**2 - 20*f + 33. Let t be n(19). Let d be 2 - 17/((-3)/3). Suppose d*q = t*q. Is 2/15 > q?
True
Let l = -1252 - -1514. Is l bigger than 267?
False
Suppose 22*b + 5 = -17. Which is smaller: b or 2?
b
Let h be (-5)/((-1)/(6/15))*(-3)/19266. Do 1 and h have the same value?
False
Let p = 60 - 56. Suppose -5*q + 10*q + 5*h + 3640 = 0, -p*q - 5*h = 2912. Let c be (-294)/q - (-4)/(-26). Is c >= 1?
False
Let q(f) = 3*f**3 + 43*f**2 - 32*f - 30. Let w be q(-15). Which is bigger: w or 1/156?
1/156
Let s = -442 - -438. Let b be 8/(-120)*6 - s/10. Which is greater: 55 or b?
55
Let h = -10/459 + 2026/8721. Is h at least as big as 8/3?
False
Let o(m) = 2*m**2 - m + 5. Let l be o(8). Suppose 39*z - 866 = -l. Which is smaller: -1.7 or z?
-1.7
Let o be 22/(-4)*56/56. Is 1/33 greater than o?
True
Let x = -0.0004 + 1.0004. Which is bigger: 4.96 or x?
4.96
Suppose -4 = 193*z - 191*z. Let w be (-48)/(-42) + (0 - 2). Which is smaller: z or w?
z
Let q(i) = -i + 5. Let g be q(5). Let j be (g - -2)*-1 + -2. Let l be ((-32)/(-28) + -1)/((-6)/(-12)). Is j > l?
False
Let p be (1115 - 1)/(6 + (-27)/2). Which is greater: -148 or p?
-148
Let y(w) = w**3 + 52*w**2 - 31*w + 290. Let h be y(-53). Which is greater: h or -1/2?
-1/2
Suppose 3*p = -3*p - 234. Let q = p + 33. Let v be q/10 + 329/525. Which is greater: v or 0?
v
Let i = -3990 + 4014. Which is greater: 416/17 or i?
416/17
Suppose -6*f - q - 2 = -11*f, -2*f + q + 2 = 0. Are -4/14847 and f non-equal?
True
Let r(a) = 7*a - 187. Let k be r(25). Let c be k/6 - -3 - 3. Does c = -36/13?
False
Let t = -213.06093 + 0.06093. Is 8 at least t?
True
Let a be 5025/201 + 2 + -5 + -1. Which is smaller: a or -2?
-2
Let g = 336.368 - 334. Let o = 0.368 - g. Is 1.28 <= o?
False
Let f(c) = -38*c**2 + 3*c + 3. Suppose -28*m - 2 = 26. Let g be f(m). Is g greater than -38?
False
Let h(g) be the second derivative of g**3/2 + 9*g**2/2 + 13*g. Let k be h(-6). Which is bigger: k or -7?
-7
Suppose 4*h + 20 = -7*h - 134. Which is bigger: -15 or h?
h
Let j be (-13 - (-2 - 10))*14. Do -0.2 and j have the same value?
False
Let f = -2.2762 + -1.0238. Which is smaller: f or 4/15?
f
Let v = -30 + 28. Suppose 5*d + 3*u - 85 = 8*u, 3*d + 3*u - 51 = 0. Suppose 7*b + 30 = d*b. Is v > b?
False
Let r = -339329/41 + 8278. Which is greater: r or 1?
r
Let y be (-1*2)/(-1) + 79 + 3. Suppose -5*j + 334 - y = 0. Let r = 23 - j. Is r smaller than -26?
True
Let w = 24316 + -24302.767. Let c = 0.233 - w. Does c = 4/5?
False
Let v = 221 - 32. Let u = 192 - v. Which is smaller: 5 or u?
u
Let d(c) = -c**3 - 5*c**2 + 8*c - 28. Let y = 281 + -288. Let h be d(y). Does h = 14?
True
Suppose 3*v + 209 = -4*y, -2*y - 2*v = -3*y - 66. Let q be (y/(-6))/(550/75). Which is greater: q or 0?
q
Let f = 27 - 23. Let l = 14 - f. Let d be 0/(l/2 + -3). Does 5 = d?
False
Let i be (261/(-174))/(6/104). Is 10 bigger than i?
True
Let z(w) = -8*w**2 - 7*w + 6. Let b be z(1). Suppose -23*t + 17*t - 36 = 0. Let u(o) = -o**2 + o + 27. Let i be u(t). Is i less than b?
True
Let v be ((-482)/2169)/(4/(-18)). Is v smaller than -14/163?
False
Let l = 12/101 + 7325/404. Is 18 at least l?
False
Suppose -12 = -26*v + 560. Let a = 541 - 526. Are v and a nonequal?
True
Let m(u) = -2*u**3 - 12*u**2 - 26*u - 505. Let o be m(-13). Is o smaller than -1?
False
Let j be (8/(-5))/(-4*1/(-10)). Let r be 4 - 51/(-6) - j. Which is bigger: r or 17?
17
Suppose 0 = -16*v + 10*v - 1770. Let g = v - -260. Is -38 != g?
True
Let s = -10837119/572 - -18946. Which is bigger: -1 or s?
s
Let y be (-3)/(-14)*(-4)/(-27). Let q(b) = -b**3 + 32 + 0*b**2 - 17 + 9*b**2 - b + 5*b**2. Let x be q(14). Are x and y non-equal?
True
Let f be 10*((-6)/45)/(2/(-36)). Let o = 71/3 - f. Let h = 1.5 + -1.45. Is h <= o?
False
Let a = -0.474 - -4.474. Which is smaller: a or 83?
a
Let u = -419 + 244. Is u at least as big as -173?
False
Let m(r) = 7*r + 262. Let a(l) = 2*l + 65. Let x(s) = 9*a(s) - 2*m(s). Let t be x(-18). Is -20 < t?
True
Suppose -p + 69 = -34. Let o be (0 - 67)*(-7)/(-42)*-6. Let c = p - o. Which is smaller: c or 37?
c
Let l(i) = -i**3 - 18*i**2 + 18*i + 323. Let j be l(-18). Is -15/32 smaller than j?
False
Let g = 334.83092 + 0.15908. Let p = 335 - g. Are p and -0.09 nonequal?
True
Suppose 8463*o + 29513 = 8452*o. Is -2683 less than or equal to o?
True
Let h = -0.35 - -0.55. Let m = h + 70.8. Let p = 70.9 - m. Is p <= 2.7?
True
Let o = 673.722 - 2.522. Let z = -671 + o. Is z bigger than -10.2?
True
Suppose 154*a + 1342720 = -215*a + 113*a. Is a != -5245?
False
Suppose -j + 8*w = 3*w - 887, 0 = 2*j + 3*w - 1761. Let z be (14/j)/(1/3). Is 0 smaller than z?
True
Let o = 55 - 85. Let d be (23247/o)/(-9) - 10/(-25). Is 87 > d?
True
Let z = 5970.1015 - 1.1015. Which is smaller: z or 1/2?
1/2
Let i = -4363 - -135259/31. Is i bigger than -3/16?
True
Let p be (-188)/(-423) + (-117856)/265068. Which is smaller: -1 or p?
-1
Suppose 20 = -w + 4*w + 5*a, -2*w + a = 4. Let b be (-6)/9 + 4012/(-12). Let u = 12396/37 + b. Is u < w?
False
Let i(y) = 4*y**2 - 41*y. Let c be i(0). Which is bigger: c or -41/88?
c
Suppose -q + n = -47, 0 = 3*q - 5*n - 30 - 107. Which is greater: q or -7/10?
q
Let g = 7490 + -23653425/3158. Which is greater: g or 1?
1
Let q = 13712 + -13053825/952. Is 0 equal to q?
False
Let p = -1467 - -1467. Let m = -5085 - -1011913/199. Is p greater than m?
True
Suppose 2*f + 4*q = -20, 0*q - 5 = f + q. Let j be 39/(-169)*1/3*-11. Is f >= j?
False
Let j = -10708596 + 75124979/7. Let m = -23501 + j. Is m > 43?
False
Let c be ((-44)/(-77) + (-45585)/79835)/((-2)/2). Is -2/9 at most as big as c?
True
Let k = -3204.8 - -3205. Which is greater: k or 0.0606?
k
Let n = -0.46303 - 0.09697. Do n and -30 have different values?
True
Suppose 20*o = -0*o + 60. Suppose o*d + 5*m + 16 = 0, 8*d - 4*d + m = -27. Which is smaller: 0 or d?
d
Let g = -631 - -641. Suppose 2*o + 3*t = -2*t - 23, -3*o + 5*t = -3. Let i be 11/(-6) + (-3 - g/o). Which is greater: i or 0.1?
0.1
Suppose -85 = -5*v - 5*o, 0 = -4*o + 2*o - 2. Suppose 2402 - 2522 = -8*u. Is v > u?
True
Let g = 9769 + -15880. Do g and -6111 have the same value?
True
Let k be (17 + 1711/(-87))/((-20)/4098). Which is smaller: 547 or k?
k
Suppose 0 = 274*k - 277*k - 18. Let c be ((-10)/k + (-9)/3)*18. Are -22 and c unequal?
True
Let v = 0.139 + -0.248. Let i = v + -7.891. Let c = -0.5 - 0.5. Do c and i have the same value?
False
Let j(g) = -2*g**3 - 3*g**2 + 4*g + 8. Let y(c) = -3*c**3 - c**2 - 30*c - 29. Let l be y(-1). Let p be j(l). Are -432/7 and p nonequal?
True
Let o be -4 + (-5)/(105/(-13302)). Let w = -634 + o. Let g be ((-10)/15)/(2/15). Which is bigger: w or g?
w
Suppose 30*w = 37*w - 1050. Let r = w + -148. Is r < 3/2?
False
Let j = -1456 + 1811.5. Let w = j + -356. Which is bigger: -14 or w?
w
Suppose k - 5*a = -19, -5*k + 4*a - 101 = 99. Let n be (0 - k)*2/8. Let r be 1/((-2)/(-20)) + (-90)/(-45). Which is bigger: n or r?
r
Suppose 528*m = 462*m - 66. Which is smaller: -9/67 or m?
m
Suppose 5*i = 2*a - 3 - 0, i = 5*a + 50. Let b = a + 75. Which is smaller: 66 or b?
b
Let l = -3283085.11713 + 3283043. Let f = -0.09287 + l. Let x = f + -0.79. Is x greater than or equal to -1?
False
Let r be 6/15 - 341/(-10). Suppose 109*d - 776 = 2930. Which is smaller: r or d?
d
Suppose -115*q + 85958 = 146690 + 200088. Are q and -2268 unequal?
False
Let t(n) = 20*n - 204. Let w be t(10). Let f be 1/w + 556/(-16). Which is bigger: f or 3?
3
Suppose 4*p + 46 = 62. Suppose 0 = 5*c, 0 = -0*y + p*y + 2*c. Let m = 304 + -5170/17. Which is greater: m or y?
y
Let z be 2220/7 - (-6)/7. Let o = z - -281. Which is smaller: 1 or o?
1
Let r(i) = -9 + 4 - 6*i - 18 + 6. Let v be r(-12). Which is smaller: v or 57?
v
Let i = 17.438 + 3.562. Is i equal to 5/8?
False
Let g = 1969 + -3131. Is g smaller than -1160?
True
Let x = -150.87 + 150. Let m = -0.7 - x. Which is smalle