= 946 - 943. Let f = 0 + 3. Suppose f*p = p. Solve -3*v = p, 2*v = q*x + 4 + 2 for x.
-2
Let a = -391 - -397. Suppose -3*g + 2 = 26. Let h be (-1)/2*4 + g/(-1). Solve -h = 3*t - a*t, 2*t = 5*w + 19 for w.
-3
Suppose -103*k = -417 + 108. Solve 5*v - 18 = -t, k*v + 2*t = 3 + 12 for v.
3
Let d = -106 + 106. Suppose -4*v + 3*v = d. Suppose 2*u + 5*n - 10 = v, 25 = -0*u + 5*u - 4*n. Solve -5*j - 20 = w, 0 = -3*j + j + u*w + 19 for j.
-3
Let f be 60/10 - ((-4)/18 - 180/(-81)). Solve 5*d + 4*m + 30 = 0, -8*m - 10 = -5*d - f*m for d.
-2
Let d(q) = -3*q**2 + 125*q - 307. Let t be d(39). Solve 15 = -u + t*c, 5*u - 49*c = -46*c - 9 for u.
0
Suppose 0 = 20*k + 373*k - 393. Solve -2*b - 8 = -4*h, 2*h - 3*b + 5 = k for h.
4
Let g be ((-17)/(1020/36))/(1/(-10)). Solve -q = -3*o + 13, -4 = -2*o + q + g for o.
3
Let c be 198 + ((-8)/1 - -2). Suppose -6 = -195*d + c*d. Solve d*p - 18 = 4*u, 4*p - 2*u - 6 = 6*p for p.
1
Suppose 0 = -8*k + 5*k + 3. Suppose f - k = 0, -f + 2 = -2*d + 11. Let g = d - 5. Solve g*s = -3*s + 3*r, 5*s = 4*r + 1 for s.
1
Suppose 304 = 30*g - 14*g. Suppose 5*y = 15, 2*c + 8*y = 4*y + 18. Suppose -5*b = -5*a - 1 - g, 12 = 5*b + c*a. Solve 9 = -3*r - b*h, 3*r - 7*r = h + 15 for r.
-4
Let j(o) = -o**2 + 9*o**2 + 1118*o + 2 - 1120*o. Let b be j(1). Solve 3*q + 1 = -2*l + 6*q, -3*q = 5*l - b for l.
1
Suppose 2 = -r + 5*n, 6*n + 2 = 2*r + 2*n. Suppose 15*i + 9*i - 65*i + 246 = 0. Solve 4*a + 11 = -o, r*o + a + i + 5 = 0 for o.
-3
Let b be 0/(3 + 1 + -2). Let f(y) = y**2 + 3*y - 1. Let q be f(-4). Suppose 2*t - 2*h = 0, -q*h + 9 = -6. Solve 3*k + p - 8 = 0, 8 = -k - b*p + t*p for k.
2
Let k be (-6)/((-18)/3 + 8) - (-4 + -7). Solve 5*g = z + k*g - 6, -3*z = -4*g + 8 for z.
0
Suppose 0*p + 14*p - 42 = 0. Solve 4*l + p*h + 23 = 0, -12*l + 5*h = -15*l - 31 for l.
-2
Let x be (1260/1155)/(6/33). Solve -q + o + 4 = 0, 0 = -3*q - 17*o + 14*o - x for q.
1
Suppose -30 = -m + 11*m. Let v be m/2*(-4)/12*6. Solve v*j + a + 6 = 0, -5*j = -2*a - 4 + 14 for j.
-2
Suppose 0 = -g + 6*g - 5. Let x be (5 - (2 + g)) + -2. Suppose -105 = -3*a + 3. Solve 5*r + 4*c - a = x, r - 3*r + 16 = 2*c for r.
4
Let q = -534 + 538. Let c(w) = -9*w + 62. Let y be c(q). Solve 24 = 3*h + 3*j, 4*h - j + 3*j = y for h.
5
Let o be (-42)/(-98) - 88/(-7). Let j(p) = 25*p**2 - 44 + 21*p + p**3 + 12*p**2 - o*p**2. Let t be j(-23). Solve -q - 3*q - 5*v = -25, 7 = t*q - 3*v for q.
5
Let q = 14588 + -14563. Solve 2*o - 21 = 3*j - 23, -q = -5*o for j.
4
Let b(d) = d**3 - 13*d**2 + 34*d - 660. Let s be b(14). Solve 3*c + s*h - 10*h = 10, -3*c = h - 14 for c.
6
Suppose -n - 4 = -2*i, 0 = 236*n - 240*n + 5*i - 4. Solve -n = -4*p, -2*p = -31*c + 27*c + 18 for c.
5
Suppose -3*f = -5 - 1. Let v = 112 + -93. Solve f*n - v = 3*x + 3, 3*x - 3 = -3*n for n.
5
Suppose -3*g = -16 + 1. Let y(w) = 999 - g*w**2 - 6*w + 2*w**2 - 993 + 2*w**3. Let m be y(3). Solve -4*a - 3*f = -a + m, -20 = 4*a - 5*f for a.
-5
Let g(f) = f**2 + 7*f - 3. Let p be g(-9). Suppose -p*o = -14*o - 17. Suppose 5*d - o = 8. Solve -d = x - z, 0*x = 3*x + 2*z + 5 for x.
-3
Let p = -232 + 216. Let a(n) = -5*n - 78. Let z be a(p). Solve -4*h + 6 - 18 = -2*l, -z*h - 18 = 5*l for l.
-2
Let n = 343 + -229. Let x = n + -110. Let q = 3 - -3. Solve -f = x, -i - 4*f - 36 = -q*i for i.
4
Let s = 146 + -106. Let t = s + -29. Solve -o - 5*i - 29 = -8, 4*i = 5*o - t for o.
-1
Suppose 0 = 5*p + y - 2469, -p = 22*y - 17*y - 489. Let c = 495 - p. Solve z - o - c = 0, 4*z + 2*o + 6 - 34 = 0 for z.
5
Let w be (10/7)/(2/14) + -4. Suppose 36 = w*d - 18. Solve 2*p = -k + 11, -4*p + 4*k = -1 + d for p.
3
Let n = 10097 - 10094. Solve 0 = -10*o + 6*o + 5*c + 35, n*o + 4*c - 3 = 0 for o.
5
Let q(l) = 12*l - 1. Let n be q(4). Let u = -42 + n. Solve 2*s = 4*z + 4, 2*z + 0*z = -u*s - 26 for s.
-4
Let b(z) = 13*z**2 + 102*z - 10. Let m be b(-8). Solve 9 = -3*f - 32*v + 29*v, 2*f - v = m for f.
1
Let x(l) = -2*l**3 - 13*l**2 - 31*l - 44. Let u be x(-4). Solve 3 = 5*b - 4*v, -b + 1 = -u*b - v for b.
-1
Suppose -d = s - 51 + 55, 4 = 2*s - d. Let m = 3 + -3. Let w = m - -4. Solve -5*z - w*h - 12 = s, 0*z - 4*h = 2*z for z.
-4
Let s be 33 + 4 - (-4)/(-4). Suppose -20*r = -38*r + s. Solve -3*t - r*v + 4 + 0 = 0, -12 = t + 4*v for t.
4
Let p = 3961 - 3940. Solve -3*i + p = 3*r, 17*r = 13*r + 3*i for r.
3
Let w be (1/(-2))/(11/(-1848)). Suppose 2*q - 55 = 41. Suppose 6*n - w = q. Solve -5*y = -4*j - 13 + 1, 0 = 3*y + 5*j - n for y.
4
Suppose 2*y - 22 = 4*r, 11*y + 2*r - 31 = 6*y. Let j(f) = -f**3 + 9*f**2 - 16*f + 16. Let u be j(y). Solve u = -5*q + 2*c, -2*q = 5*c - 1 - 4 for q.
0
Suppose 108*l - 247 - 293 = 0. Solve 3*x + 4 + 7 = l*d, -4*d = 2*x for d.
1
Suppose -4*n + 15 = 7. Suppose -n*g = -5 + 1. Suppose 1 = -4*k + 2*v + 9, -4*v - g = -k. Solve -5*i + 0*i = 25, -4*i - 26 = k*x for x.
-3
Let r be (-1)/((5/(-25))/((-1887)/(-185))). Solve k = -4*q + 28, -4*q - 4*k + r = -1 for q.
5
Let y(l) = -20 + 1272*l**2 - 14*l - 10 - 638*l**2 - 635*l**2. Let r be y(-11). Solve 0 = -4*u - 0*b - b - 17, 7 = -u - r*b for u.
-4
Let h be (-15)/(-4) + (-2)/(-8). Suppose h*i + d = 50, -3 = -2*d + 1. Let n = i + -10. Solve -2*m - n*m - 9 = 5*j, 1 = j - 2*m for j.
-1
Let c(f) be the third derivative of -1/60*f**5 + 0 - 5*f**2 + 11/6*f**3 + 5/24*f**4 + 0*f. Let h be c(6). Solve r - b = -4, 12 = -3*r - 3*b + h*b for r.
-4
Let b(p) = -p**2 - 15*p - 130 + 92 + 2*p. Let v be b(-7). Solve k - 3*o = 14, -v*k - 3*o + o = 0 for k.
2
Let b(k) = k**3 + 72*k**2 + 203*k - 273. Let t be b(-69). Solve f + 4*q = -15, 19*q = -t*f + 20*q - 6 for f.
-3
Let k(j) = -j - 6. Let l be k(-13). Suppose -2*b = -n + l, 0 = -5*n + 6*n + 4*b - 1. Solve -3*d = -6*y + 2*y - 5, n*y - 4*d = -7 for y.
1
Let g be -2*3/(-12)*(272/17 + -16). Solve 0 = 5*m, g = i + 4*m - 120 + 118 for i.
2
Suppose 11 - 27 = 4*c. Let l be 4/(c + 8) - -12. Suppose 0 = 21*a - 22*a + l. Solve -3*b = 5*d - 5, b - 5*d + 3*d = -a for b.
-5
Let k = -18843 + 18848. Solve d = -k*u - 2, 4 - 6 = d + 2*u for d.
-2
Suppose -585*z + 264 = -519*z. Solve -42*x + 44*x = -z*t - 16, t + 7 = x for x.
2
Let g be (-9)/27 + 1/3. Suppose g = -y - 2 + 5. Let d be -13 + 26 - (1 + 2). Solve -4*p + d = 2*u, -5*p = -y*u - u - 6 for p.
2
Let r(w) = w**3 + 11*w**2 - 30*w - 7. Let k be r(-13). Suppose 84 = 2*b - 4*p, k + 33 = 2*b + 2*p. Solve -4*o + 2 = -3*g - 2, 0 = 5*g + 5*o - b for g.
4
Suppose -3*b - 1 = -n - 0*b, -1 = -b. Solve 0 = n*c - 2*q - 8, -21*c - 3*q - 12 = -22*c for c.
0
Let d be 75/(32/(-8) + 5). Suppose z + 6*k - 4*k = 25, 3*z - d = 2*k. Solve 0 = -l - 5*o + z, 4*l - 3*o = -l - 15 for l.
0
Let x = 1380 - 1381. Let j(c) = c - 2. Let m be j(0). Let o be (8/(-6) - x)*(-4 + m). Solve 0 = 2*v - 10, -2*v + o = -4*u - 4 for u.
1
Let n be 612/(-45)*(-15)/6. Suppose 4*z - 3*z = n. Suppose 5*g - z + 9 = 0. Solve g = -t + 2*o, 5*t + 4*o = o + 14 for t.
1
Suppose -8 + 5 = -i. Suppose -4*f = -12, -4*l - i*f + 178 = -91. Let a be (13/l)/(1/25). Solve 0*m + 2*g + 12 = m, a*g = 5*m - 35 for m.
2
Suppose -4*t + 5*t + 3 = 2*h, -t - 4*h + 15 = 0. Suppose v = 3, -t*v - 10 + 27 = 2*p. Solve 0 = 5*x + 3*b - 28, 0 = p*x - b - 3*b - 16 for x.
5
Let q = -9863 - -9877. Solve -t + q = -3*l, 42 - 20 = -4*l + 3*t for l.
-4
Let l = -187 - -212. Let g be (-188)/(-20) - 10/l. Solve 5*f + g = 4*w, -5*f - 41 = 7*w - 3*w for w.
-4
Suppose -9*c = 125 - 205 - 208. Solve f = -3*k + 14, 0 = -c*k + 30*k + 3*f - 9 for k.
3
Suppose 16*y - 3595 + 395 = 0. Suppose 58*n - 8*n - y = 0. Solve -5*g + n*i - 13 = -0, -4*i = 3*g - 5 for g.
-1
Suppose 3*s = -0 + 18. Suppose 4*y - 6 - s = -2*n, -y - 3 = -n. Let w be -2 - (n - 6)/1. Solve -v - q - 10 = w, -2*v - 45 = 2*v + 5*q for v.
-5
Suppose -6845 = -16*d - 2413. Let i = -400 + d. Let c = i + 125. Solve 4*k + 0 = 8, 4*k = -c*f for f.
-4
Let t be (-4140)/7590 - (34/(-22) - -1). Solve t = 2*y + 4*d, 2 = -2*y + 2*d + 14 for y.
4
Suppose -5*q + 2*q + 1 = -3*h + 10, 4*q = 0. Solve -w + 2*i + 5 = h*i, -4*i = -12 for w.
2
Suppose 2*q = 3*g - 7*g - 1696, -2120 = 5*g - 5*q. Let b = g - -427. Solve b*d + 10 = -5*w, -2*d + d = -2*w - 15 for d.
5
Let a(c) = -2*c**2 + 42*c + 51. Let q be a(22). Let d be (-1)/4*(-5)/((-25)/(-60)). Solve -7*s - q = -10*s + 5*g, -d*s + g - 1 = 0 for s.
-1
Suppose 4*u - 28 = 2*q, 0 = -2*q + 3*q + 4. Suppose 9 = u*j - 16. Suppose 0 = 3*d - 