v + q = -v + 2*i, -v - i + 2 = 0 for v.
3
Let m = -65 - -70. Let k(l) = 2*l**2 - 9 + 4*l + 6 - 10*l. Let a be k(4). Solve -m*s = 5*x + a + 15, -4*x = 20 for s.
1
Let k(d) = -436*d + 1315. Let b be k(3). Solve i = -3*f + 122 - 117, -3*f + i = -b for f.
2
Suppose 1466*c + 34 = 1483*c. Solve -c*m = -x - 7, 2*x + 4*m = 39 - 13 for x.
3
Let y(x) = -7*x + 39. Let q be y(6). Let t be (-2 - 21/(-6))/(q/(-6)). Suppose -f - t*h + 12 = 2*f, -5*h = 0. Solve f*a = 3*r, -5*a + r = -2*r + 3 for a.
-3
Suppose -2*s = 4*r + 90, -s + 0 = -5*r - 102. Let o be (-5 - (-132)/28)*r. Solve a + 3*i + 2 = -a, 0 = 3*i + o for a.
2
Suppose -8*s - 2448 = -16*s. Suppose 12 = -304*d + s*d. Solve o + f + d = 0, -f - 19 = 4*o + 2*f for o.
-1
Suppose 27*a - 80 - 356 = 50. Solve -24 = h - 5*m, -m - a = -3*h - 4*m for h.
1
Let g be 9 - ((-15)/(-45))/((-3)/(-45)). Solve 4 = 3*r - 26*h + 27*h, -17 = r + g*h for r.
3
Let p = -7 + 8. Let y be 2 - p*(-12)/2. Let b = -114 - -116. Solve 0 = 4*f + 4*n - y, -f - 3*n - 2 = b*n for f.
3
Suppose 14*l - 830 - 948 = 0. Let t = 99 - l. Let w = -24 - t. Solve w*p + 3*q - 7 = 0, 32 = 5*p - 3*q - q for p.
4
Let m be ((-750)/(-225))/(((-2)/3)/(-1)). Let u = -20 + 24. Suppose -3*z = 5*h - 8, -h - 9 - 3 = u*z. Solve -h*q + 1 - m = -i, 4*i - 16 = -2*q for q.
0
Let f be (-513)/(-133) - (-2)/14. Solve -1 = -4*g - f*t + 15, -4*t + 7 = g for g.
3
Let b(t) = 2*t**2 - 436*t - 1323. Let h be b(-3). Solve -3*d + 0 = 2*v - h, -d + 1 = 0 for v.
0
Suppose -14*h - 240 = 16*h. Let d be 89/178*(h - 0)/(-2). Solve p + 4*r - 25 = d*p, 3*r - 35 = 4*p for p.
-5
Suppose -5*c = -b + 33, -30 = -2*b - 4*c - 34. Suppose 0 = -6*f + 11 + 1. Solve -v = -4*q - 20, -5*v - f*q - q + b = 0 for v.
4
Let f be (4/8)/((-5)/(-170)). Suppose -5*n = -4*o + 2*o - 22, f = -o + 4*n. Let j be 1 + 0 - (-1 + o)*2. Solve -x = -4*a - 13, -x - j*a = 2*x + 12 for x.
1
Let j(v) = -v**2 + 10*v - 6. Let x be 3/(-6) - 76/(-8). Let d be j(x). Suppose z + b = 5*z - 13, -4*b - 14 = d*z. Solve g - 3*a = -0 - 4, 3*g = 2*a + z for g.
2
Suppose 25*p = 73 - 23. Let g be (16 - 12)/(p - 1). Solve -2*a + 3*f = 16, 0 = a - f + g + 2 for a.
-2
Let h be -11*(-30)/275*15/9. Solve -h*i + 6*d - 6 = 4*d, -5*d = -i - 3 for i.
-3
Let m(c) = 2*c**2 + 44*c + 146. Let y be m(-4). Solve 5*w = -2*r - 3*r - 15, y*w = 3*r - 6 for w.
-3
Suppose 0 = -33*h + 1023 - 264. Solve 3*a = 3*f - 18, -29 = -h*f + 18*f + 4*a for f.
5
Suppose 0 = -5*k + 19 + 1. Suppose -2*p + 3*g = k*g - 11, -g - 4 = -p. Solve c + 2 = p*w, -w + 2*c + 6 = -c for w.
0
Suppose 2*b = j - 1, 4 = 5*b - b. Let u = 272 + -268. Suppose -d + 6 = -2*d + u*z, z = -3*d + 34. Solve a + a + d = 4*o, -2*o - j*a = 15 for o.
0
Let g(f) = -7*f + 51. Let y(w) = -8*w + 53. Let n(u) = 4*g(u) - 3*y(u). Let z be n(10). Solve 5*c - 5*l = -z, -4*c - 3 = 2*l + 13 for c.
-3
Suppose -2*x + 4*v - v = 60, -3*x = -3*v + 96. Let n be 24/9*x/(-16). Solve -3*d - n = -5*i + 17, 0 = -3*d + 4*i - 19 for d.
-1
Suppose -90 = -47*d + 4. Let i be 66/10 + (-18)/(-45) + d. Solve -11 = -5*c + i, 2*x = -c for x.
-2
Let q be (-9)/12 - 33/(-44). Suppose 20*w - 52 + 32 = q. Solve 3*y = 3*h - 21, 4*h + w = -4*y + 13 for h.
5
Suppose -4 = -2*a + 3*v + 5, -2*a - 5*v = 15. Solve a*c - 4*c = -q - 12, 0 = 3*c + 4*q - 9 for c.
3
Let a = -4 - -7. Suppose -a*k = -k - 6. Let r be (-22)/5*(-2340)/2574. Solve -2*q - k*q + z = 0, r*z = 20 for q.
1
Suppose -80*n + 422 + 58 = 0. Solve 0 = 5*s + n*z - 2*z - 33, -3*s + 7 = -4*z for s.
5
Let m(h) = 37*h**3 - h**2 + h - 1. Let n be m(1). Let f = n + -23. Let c(w) = 315*w - 9445. Let g be c(30). Solve g*l + 4*z = -16, 3*l + f = l + 5*z for l.
-4
Let f(o) = -585*o - 1752. Let j be f(-3). Solve g - 5*d = j*g + 14, 5*d = -g - 17 for g.
3
Let z(u) = 6*u**3 + 2*u**2 - 1. Let g be z(1). Let j be (36/63)/(g/((-147)/(-6))). Solve 0 = -2*d - j*l - 2, -3 = 4*d - 0*d + 3*l for d.
0
Let t = -180 - -170. Let m be 1 + 2*(-5)/t. Solve -4*s + m*p - 12 = -0*p, -p = -s - 2 for s.
-4
Suppose 4*o - 3*o = -7*o. Suppose o = -8*p - 57 + 89. Solve -q + 2*g = -5*q, 0 = -p*q + 3*g - 10 for q.
-1
Suppose -7*d - 150 + 290 = 0. Let h be (-6 - (0 - 9))/(3/d). Solve 0 = 4*x - 2*o - h, -3*x + 5 = -2*o - 11 for x.
4
Let k(s) be the third derivative of s**5/60 - 5*s**4/24 + 3*s**3/2 - 7*s**2. Let f be k(6). Suppose 31 - f = 4*c. Solve -3*x - 2 - 6 = -4*p, x = -c*p - 8 for x.
-4
Suppose 4*f + 12*f = 32. Suppose -95 = -3*v - f*v. Solve -4*o = o - u - 10, -2*o + 5*u - v = 0 for o.
3
Suppose 4*t + 744 = 2*b - 0*b, -4*t - b = 750. Let v = -111 - t. Let r = -71 + v. Solve -4*p + r*g - 12 = 0, 3*p - 2*g + 9 = -0 for p.
-3
Let g(y) = 67*y + 4824. Let i be g(-72). Solve -4*f - q - 9 = i, 0 = -5*f + 3*q - 23 + 16 for f.
-2
Let x(n) = -58*n**3 + 1 + 55*n**3 - n**2 - 3. Let h be x(-2). Let o be 96/h*(-3)/(-2). Solve -s = -5*v + 31 - 11, 2*s + o = 2*v for s.
0
Let u = 219 - 217. Solve -27*d + 31*d - 21 = c, -u*d - 3*c = -7 for d.
5
Let c(f) = 32*f + 228. Let r be c(-7). Solve 7*m + 8 = 2*x, r*x - 8*x = -2*m - 16 for m.
0
Let f(v) be the second derivative of 2*v**3/3 - 20*v**2 + 2*v. Let w be f(15). Suppose -72 = 2*j - w*j. Solve 2*i - 4*c - 10 = 0, -25 = 4*i - i + j*c for i.
-3
Let n(h) = -3*h - 11. Suppose -5*c = 0, -10 = 4*j + j - c. Let g be (-1 - j)/(1/(8/(-2))). Let f be n(g). Solve 0 = 3*s - 4*r + 6, r + f = 4 for s.
2
Suppose 2*r - 8 = 4*r, 3*r = 3*b - 21. Suppose -10 = -2*v + 26. Let x = v - 14. Solve 3*c - 3 = -3*p, -b = -2*c - x*p + 7 for c.
-3
Let s be (3/2 + 1)*432/270. Suppose -21*q + 3 = 3. Solve -s*u + 2*o - 16 = 0, -3*o + q + 16 = -4*u for u.
-4
Suppose 2*u - 107 + 122 = 3*y, 0 = -4*y + 5*u + 20. Solve 6*g - 7*g - w = -2, -g + y = 2*w for g.
-1
Suppose -3978 = -269*a + 263*a. Let g = a - 661. Solve -w + 8 = 3*n, 0 = 3*w - 2*n + 7 + g for w.
-1
Let z(f) = -f**2 + 12*f - 32. Let c be 20/6*(99/(-18) - -7). Let m be z(c). Solve -2*r - 5*a - m = 0, -3*r + 4*a = -11 + 4 for r.
1
Let w be -10 + 12 + 7*-2. Let x be 6/((-45)/(-24) - w/(-32)). Solve 14 = 2*r - x*c, 6*r - 2*r - 3*c - 8 = 0 for r.
-1
Let x(s) = -106*s + 1181. Let b be x(11). Solve -4*r + 15 = -a, -3*r - 2*r = -5*a - b for a.
1
Let g(p) = 33*p + 334. Let o be g(-10). Let d = -1 + 1. Let u(a) = 7*a - 10. Let i be u(2). Solve -o*w = v, d = v - i*w + w for v.
0
Let k be (10/(-8) - -2)*(-4)/(-3). Solve -2*x + k = -3*x + o, 3*x + 5 = 4*o for x.
1
Let z(a) = -179*a - 18. Let b be z(-1). Let y be b/147 + 8/(-84). Solve -2*o - 10 = -2*p, -p = 2*o + 2 - y for o.
-2
Suppose 0 = -3*s + 19*z - 16*z + 9, -11 = -4*s + 3*z. Let t be (-3 + s/4)/(1/(-6)). Solve -3*y + 2*r + r + t = 0, 3*r + 14 = 2*y for y.
1
Let b be 3/(-2)*((-39)/(-9) - 3). Let v be 224/(-392) + (50/14 - b). Solve 5*s + n + 4 = 0, v*s + 4*n + 3 + 13 = 0 for s.
0
Suppose 5*j = -3*n + 31, 0 = -5*n - 34*j + 31*j + 25. Solve -n*m = -u, 34*u - m = 33*u for u.
0
Suppose 5227 = 24*p + 5131. Solve 0 = -3*k + 3*f + 6, 32 = k + p*f + 40 for k.
0
Let s be 21*((-1)/(-6))/(23/46). Suppose -s*t = 2 - 23. Solve -t*p - 10 - 3 = -4*n, -n - 4*p = 11 for n.
1
Let a = 57 + -41. Let v be (-54)/(-7) + 4/14. Suppose 3*h - a - v = 0. Solve 5*u + 4*p = -h, -2*p = 3*u - 8*u - 26 for u.
-4
Suppose -5*c - 132*z + 40 = -133*z, -5*c - 3*z = -20. Solve c - 18 = -5*g - 2*d, 22 = 4*g - 5*d for g.
3
Let b(z) = -z**2 - 9*z + 54. Suppose 0 = -2*m - 33 + 41. Let r be b(m). Solve 5 = i + j, r*i + j = 6*j + 3 for i.
4
Let n(r) = 2*r**3 - 56*r**2 + 390*r + 12. Let d be n(13). Solve i + 10 = -3*g, 5*g - d*i + 30 = -7*i for g.
-4
Suppose 0 = 4*u - 2*m - 2, 0 = -3*u - m + 3*m - 1. Solve -o = 0, u*w - 4*o + 12 = -o for w.
-4
Let q = 536 + -544. Let h be (-4)/(-6) - (q/(-12) - 10). Solve -4*b + 11 = -r, -2*b + h = -2*r + 3*b for r.
5
Suppose -3*y - 15 - 10 = o, -2*y = -3*o + 2. Let v(q) = -22*q - 7. Let i be v(y). Suppose 0 = 10*p - 3*p - i. Solve -a + 9 = -5*r - 10, -p = 5*r + a for r.
-4
Suppose -18 = -2*i + 3*y - 15, -2 = -i + y. Solve 0 = -3*l - i*d + 6, 7*d = 3*l + 4*d - 6 for l.
2
Let c(l) be the second derivative of -l**4/12 + 4*l**3/3 - 13*l**2/2 + 2*l. Let j be c(9). Let b = j + 25. Solve -b*z + 14 = 5*f, 8 = 5*f - 0*f + z for f.
1
Suppose 4*s + q - 3*q = -26, -4*q = 12. Let a be (((-1280)/56)/s)/((-1)/(-7)). Solve -3*o = 2*r - a, 3*r - 4*o = -r for r.
4
Suppose -3193 = -200*o - 811 - 1582. Let u(t) = 3*t + 5. Let a be u(5). Suppos