-t + 9 = i, -3*t + 32 - 5 = 4*i. Let n = 3 + -3. Suppose n*d + t*d = 0. Which is smaller: 2/5 or d?
d
Let p = -47 + 47. Suppose 0 = 3*z - l - 11, 4*z - z + 2*l - 5 = p. Suppose 4*n + 104 = 2*x, z*n + 92 = -n - x. Which is smaller: -25 or n?
-25
Suppose -y - 34 = -2*k, 2*k - 4 = -y - 10. Let b be 4/(-10)*(-15)/(-21). Is y greater than or equal to b?
False
Let p(h) = -h**2 - 3*h + 11. Let w(d) = -26*d - 3. Let o be w(-2). Let n = 44 - o. Let q be p(n). Is 3/5 equal to q?
False
Let d = -121 + 123. Suppose -5 = -d*b + 5*r, 3*r + 3 = -3*b - 0*r. Are b and 8/37 nonequal?
True
Suppose 0*n = -4*n - 5*w + 41, -2*n = 3*w - 21. Suppose 108*g - 51*g = 53*g + 28. Which is smaller: g or n?
g
Let c be 1 + (361581/(-25828) - -13). Is 1 greater than or equal to c?
True
Suppose -50*c + 530116 = 31366. Are c and 9975 unequal?
False
Let n = -0.392 - -59.392. Let l = 70 - n. Is 6 greater than or equal to l?
False
Let f(z) = z**3 + 24*z**2 - 11*z - 137. Let x be f(-24). Suppose -l = -9*l + 1024. Which is smaller: l or x?
x
Suppose 372 = -2*b - 646. Let q = b - -296. Is -211 at least q?
True
Suppose -6 = -3*d - 15. Let i(j) = -20*j**3 - 3*j**2 + j + 3. Let c be i(d). Let f be c/(-3)*(0 - (-3)/(-9)). Is 57 >= f?
True
Let x be (-15)/((-1800)/996) - -3. Which is smaller: 10 or x?
10
Let y(v) = 18*v - 5. Let j be y(7). Let m = 175 - j. Let h(d) = -d**3 + 22*d**2 - 18*d - 8. Let k be h(21). Which is smaller: m or k?
m
Let j be ((-130)/(-5))/(2/5). Suppose -5*w + 29 = -4*v + 72, 0 = 2*v - 2*w - 18. Which is smaller: j or v?
v
Let v = -14 + 27. Let j = v + 8. Let k = -19 + j. Which is smaller: k or 4?
k
Let j = 651 + -648. Is 164/109 != j?
True
Let x = -0.037 - -0.017. Let n = -0.22 - x. Is n equal to 1.6?
False
Let j = -4596 + 4541. Which is greater: -25 or j?
-25
Let x be 1/2*(-1528)/20. Let b = -38 - x. Suppose 16*u - 4 = 12*u. Which is bigger: b or u?
u
Suppose 41*k = 52*k + 66. Let p be 4 + -1 - 110*k/48. Are 17 and p unequal?
True
Let f be 19/((-456)/(-3488)) + 2/(-6). Let t be (-3)/(-9) + (-2622)/(-18). Which is greater: f or t?
t
Let q(b) = 7*b**3 - 3*b**2 - 10*b + 1. Let p be q(-2). Let l = p - -48. Is -7/25 at least l?
False
Suppose -3 = -6*x + 21. Let l be (-4)/(-10) - (x + (-1244)/(-10)). Which is greater: -127 or l?
-127
Let o be (9 - (-588)/(-63))/((-1)/69). Is o at least as big as -11?
True
Suppose -f + x - 6 = 0, x = -5*f - 0*f. Let g = 2261/28380 + -9/220. Is f equal to g?
False
Suppose 142 + 88 = 5*h. Let g = -44 + 439. Let f = 440 - g. Is h less than or equal to f?
False
Let a be (-3 - -2)*-3 - 26. Suppose -3*v - 306 = -9*v. Let b = v + -74. Is b at most as big as a?
True
Let r be (-2)/(1648/28)*(-2)/(-14). Is 1 at least as big as r?
True
Let b = -13283/966 + 302/21. Let r = b + -5181/8510. Is r at most 1?
True
Let l = 1.7 + -1.91. Let k = -810 + 816. Is l at most k?
True
Let h = -23809.1 + 25403. Let i = h + -1594. Let o = -1 - 0. Which is bigger: o or i?
i
Suppose 0 = -14*r + 17*r + z + 108, 5*r + 2*z + 179 = 0. Which is smaller: r or -38?
-38
Let i = 86.48 - 33.48. Which is bigger: i or 86?
86
Suppose 6*p + 2*p - 56 = 0. Let c = p + -31. Suppose 5*r - r + 3*v + 116 = 0, 5*r + 118 = 3*v. Is c less than r?
False
Let k(o) = -o**3 - 33*o**2 + 359*o + 271. Let s be k(-44). Which is greater: 5770 or s?
s
Let t = 24.963 + -25. Let b = t - -0.137. Let m = 736/9 + -80. Is b < m?
True
Let u = -14948 - -433432/29. Let i = -3 + 2. Which is smaller: u or i?
u
Let y be 2/(13 - 75/10). Which is smaller: -2/843 or y?
-2/843
Let m = 11.7 + -25.7. Let y = -31 - -18. Let h = y - m. Are -3 and h non-equal?
True
Let i = 2860.18 + -2856. Which is smaller: i or -0.2?
-0.2
Let g be (8/(-3))/((-28)/((-1344)/(-72))). Let a = -2.5 - -4. Let q = 0.5 - a. Is q greater than g?
False
Let w = -0.0331 - -0.0356. Let g = w + -0.0025. Which is greater: 81 or g?
81
Suppose 4*p - 4*k + 284 = 0, 5*p + 461*k - 462*k + 327 = 0. Is p less than or equal to -93?
False
Let w(r) = -61*r**2 + 53*r + 114. Let a be w(-1). Let g = 4460 - 521810/117. Let l = g - -5/26. Which is smaller: a or l?
a
Let z be 3660/1833 + (-30)/15. Which is smaller: z or 1?
z
Let g = -76627 - -76562. Suppose 5*u + 0*j + 3*j + 334 = 0, -2*u - 2*j - 136 = 0. Are g and u non-equal?
False
Let r(o) = -40*o**3 + 2*o**2 + o. Let z(b) = -b**3 - 9*b**2 - 1. Let n be z(-9). Let k be r(n). Let q = 11 - k. Is -30 at most as big as q?
True
Let f = -1820 - -1728. Which is smaller: f or -11?
f
Let r(g) = 2*g**2 + 64*g + 3. Let d be r(-32). Suppose 5*k - d*u + 15 = 0, -5*k = -7*u + 8*u - 5. Which is greater: 3/43 or k?
3/43
Let u(l) = -2*l + 81. Let j be u(-10). Suppose -103*o - 44 = -j*o. Is -27 > o?
False
Let q = 49 - 19. Suppose 118*d = 109*d + 1953. Suppose 144*k + d = 151*k. Which is smaller: k or q?
q
Let f be -28 + -3 + 13 + -24. Let x be 0 - 42 - (-1)/(-2). Is x at most as big as f?
True
Let o = 6716 + -6389. Do o and 7 have the same value?
False
Let k(r) = r**2 - r - 4. Let f be k(5). Suppose 9*v + f = 7. Let w = 239 + -4301/18. Which is smaller: w or v?
v
Let y = 39250 + -39249. Which is smaller: y or 7/408?
7/408
Let q be (-1)/(6/9241)*(-18)/(-4). Let b = q + 6994. Which is greater: b or 62?
b
Suppose 0 = -2*v - h + 69, 123 = v + 2*v - 5*h. Let x = 768502063/4880 - 2519111/16. Let j = x - -2/305. Which is bigger: v or j?
v
Let i = -273141 + 273141. Let v be 34/60 - (-2)/(-5). Is i at most as big as v?
True
Suppose -5*w = 17*w + 6020 + 3968. Which is smaller: -459 or w?
-459
Let c = -6310 + 4241. Are c and -2071 non-equal?
True
Let p be (4*1 - 0)*5. Let k = -42 + p. Let x = -52070 - -52048. Is x bigger than k?
False
Suppose 2*o - 2*x = 6*o + 292, -5*x = 10. Let c be 1063*(-2)/13988 + o/(-468). Which is greater: 0 or c?
c
Suppose 99*z - 73*z + 26 = 0. Which is smaller: z or -31/143?
z
Let u be ((-1)/(-2) + 0)*-5*16/(-660). Do 1/30 and u have different values?
True
Suppose 19*f + 276 = -4*f. Suppose -2*k + 106 = -t + 3*k, 2*k - 576 = 5*t. Let v be 1 + (1 + 2 - t/f). Is -6 equal to v?
False
Let m(o) be the first derivative of -o**3/3 - 15*o**2/2 - 57*o + 68. Let n be m(-8). Let p be ((-8)/(-30))/((-44)/(-6)). Is n less than or equal to p?
True
Let f = 1462/331 + -295007/12909. Which is greater: f or -19?
f
Suppose 3315 = 643*z - 628*z. Which is smaller: z or 1551/7?
z
Let h = 350 + -340. Let i be (-15)/h*30/9. Which is bigger: i or -55/13?
-55/13
Let x be 67/(-1541) - (-123534)/552. Is 2 greater than or equal to x?
False
Let w be (-3 - -12)*(-40)/(-696). Suppose -3*j = 5*z - 11*z + 12, 4*z = 3*j + 6. Is j >= w?
True
Let i be (1 - 10/12)/(146/(-65919)). Let b = i + 377/5. Is -1 bigger than b?
False
Suppose -4*i = 5*x + 19 - 153, 3*i + 4*x = 101. Let d be ((-50)/(-4))/((-3)/(-6)). Is d > i?
False
Suppose a - 125 = -2*s, 118 = -47*a + 48*a - 5*s. Let v(q) = 3*q**2 - 2*q + 3. Let y be v(-6). Is a less than y?
False
Let j be 0*(6/4 - 1). Let q = -142 - -407. Let i be (-1)/(-8)*(9 - q/30). Are j and i equal?
False
Suppose -30 = 4*f - 5*v, 24 = 44*v - 40*v. Which is greater: f or -0.0089?
f
Suppose 6*n = -3*s - 2583, -6*n + 4*n = n. Is s at least -855?
False
Suppose 29 = l + 5*v, -4*v + 51 = 5*l + 11. Let z(w) = -w**3 + 4*w + 7. Let h be z(l). Let d = h + 42. Is 4 >= d?
True
Let h(t) = t + 14. Let v be h(0). Let b be 1*-2*2/v. Let x = 1789 - 1788.99. Do b and x have different values?
True
Let x = -4/1325 - 9187/29150. Let s = 43 + -42. Is s bigger than x?
True
Let z = 10 + 62. Let w = 75 - z. Let h be (w + -2)/((-21)/18 - -1). Is h >= -4?
False
Let p = -5923596/671 + 8828. Let i = -2775/176473 - p. Which is smaller: i or 0?
i
Let l = 835 + -157. Let b = l - 824. Are -147 and b equal?
False
Let h be (7932/8 - 0)*(-42)/(-36). Let q = h + -1115123/964. Which is greater: q or -1?
q
Let r(l) be the third derivative of 7*l**5/30 - l**4/3 - 7*l**3/6 - 2*l**2. Let p be r(-3). Suppose 0 = y - 5*o - 88, -3*o = 2*y - 2*o - p. Is 74 less than y?
False
Suppose 11 - 6 = n. Suppose n*v = -5*v + 320. Suppose 4*w - v = -4*i, -3*w + w + 25 = 5*i. Is 16/5 equal to i?
False
Let o(l) = -3*l**3 + 3*l**2 - 5*l + 3. Let q be o(1). Which is smaller: q or -1/10?
q
Let a be 46/966 - (-87526)/42. Is a greater than 2084?
False
Let b(z) = z**3 - 7*z**2 + 15*z - 44. Let r be b(6). Suppose r = 2*x + 3*x, -3*x + 297 = 3*a. Which is smaller: 100 or a?
a
Let p be (-5