12 for v.
1
Let a(h) = h**3 - 12*h**2 + 9*h + 26. Let c be a(11). Solve 0 = c*p - 2*g - 1 + 11, 4*g = -4 for p.
-3
Let j(f) = -34*f + 749. Let p be j(22). Solve -4*t = -4*y + 8, -t + y = t + p for t.
1
Suppose 0 = 3*g, -3*n - 2*g + 3*g = -12. Solve -4*k = 0, -n*k = 4*h + k - 4 for h.
1
Let z = -9 - 7. Let q be 25/(-2) + 24/16. Let s = q - z. Solve o + 3 = g, o - s = -g + 4*o for g.
2
Let u(v) = v + 1. Let n be u(3). Suppose -n*k + 12 = -8. Solve -k = 3*q + x + 3*x, 0 = x + 5 for q.
5
Let c = 15 - 11. Let y = -12 - -28. Suppose -4*p + 5*p = y. Solve t + 4*o - p = 5*t, -c*t = o + 6 for t.
-2
Suppose -7*o - 18 = -39. Solve b + 3*p = p - o, 5*b + p - 3 = 0 for b.
1
Let l(z) be the first derivative of -z**3/3 + 5*z**2/2 - 2*z - 13. Let u be l(4). Solve -v - 4 + 3 = u*w, -v = -2*w + 5 for v.
-3
Suppose -4*b - 404 + 424 = 0. Solve -5*p = -4*q, -p - b*q + 7*q = 0 for p.
0
Let x = -273 + 278. Solve x*d = 0, 2*l - d - d = 0 for l.
0
Let x = 2 + 0. Suppose 67 + 5 = 24*j. Solve x*g + 4*w = 0, 4*w + 1 = j*w for g.
2
Suppose 0 = 3*y - 20 + 14. Solve y*k + 1 = -2*w + 5, -3*k = -w - 14 for w.
-2
Let i = -151 + 55. Let b = -93 - i. Suppose -2*s = -5*s + 3, 0 = 2*w - 3*s - 5. Solve 3*x - 1 = w*g, 0*g - b*g - 8 = 5*x for g.
-1
Let o(g) = -g**3 - 12*g**2 - 13*g - 1. Let t be o(-10). Let u = t - -49. Let p be (-150)/u - (-2)/11. Solve 3*l = 4*v + p, -2 = -2*l + 3*v + 4 for l.
-3
Let j(h) = 2*h**3 - 2*h**2 + 3*h - 5. Let x be j(2). Suppose 0 = 11*r - x*r - 12. Solve 2*c + 2*c + 2*p = 0, 3*p - r = 0 for c.
-1
Suppose -3*g = -7*g - 12*g. Solve 3*z = -z, 5*x + 2*z - 20 = g for x.
4
Let m be (-270)/36*6/(-9). Solve -m*w = -w + i + 11, 3*w + 5*i = -21 for w.
-2
Let k = 68 + -63. Suppose 5 = -5*v, -l + k*l - 16 = 4*v. Solve 4*y = -l + 7, -1 = 2*w - 3*y for w.
1
Let j(n) = 160*n - 792. Let m be j(5). Solve 4*k + 2*x = 0, 3*k - 3*x = m*k for k.
0
Let h(u) = -15*u - 300. Let t be h(-21). Solve 5*m + t = 5*b - 0*b, 2*m - 9 = -b for b.
5
Let i(n) = 6*n + 58. Let m be i(-9). Solve 3*h = 3*j + 12, m*h - h = 15 for j.
1
Let d be (-6)/(-10)*10/3. Solve -3*q = -g + 5, d*q - 4*q = -3*g + 1 for g.
-1
Suppose -40 = -4*g - 4*g. Suppose -2 + 52 = g*v. Solve -2*d + 2*f = v, 3*f = -5*d - 13 - 4 for d.
-4
Let f(b) = b**2 - 2*b - 3. Let h be f(-4). Let v be (1635/(-1962))/(1/(-6)). Solve -5*n = 3*g - h, v*g = n - 0*g + 7 for n.
3
Suppose 25*f - 50 = 25. Solve 3*x = -4*b + 23, -x = 4*x - f*b + 10 for x.
1
Let t = -59 - -62. Solve k - 3*g + 9 = 0, 2*k + t = -3*g + 4*g for k.
0
Let a(v) = v**3 + 3*v**2 - 2*v. Let k be a(1). Let g be k/((-2)/(-2 + 0)). Suppose g*j - 3 = 7. Solve -j*w + 28 = 5*q - 12, w + 1 = 2*q for w.
5
Let q = -16 + 21. Solve -q*m - t + 5 = 15, -2 = m - t for m.
-2
Suppose -3*k = c - 8, -3*k + 10 = 2*c - 0. Suppose -k = -p + 3. Solve -2 = 2*d + 5*u - 18, -4*d = -p*u - 2 for d.
3
Let n = 627 + -624. Solve 4*j + 1 = -n*s - 0*j, -s + 13 = -2*j for s.
5
Let f = 71 - 71. Suppose -5*c + 16 = g, 0 = -2*c - 2*g + 7 + 1. Let x = c + -1. Solve p - 4*y = f, -x*y + 2 = -4*y for p.
-4
Let s = 61 - 59. Solve n = s*q + 3, q + n = 5*n - 5 for q.
-1
Let o = -47 - -53. Suppose 3*h + 0*h = o. Solve -h*f - 5 = -0*x + x, -x + f - 5 = 0 for x.
-5
Let q be (-2888)/(-36) + (-6)/27. Suppose q = -5*p - 15. Let t = -12 - p. Solve -s = 4*s + 2*c + 19, 0 = 2*s + c + t for s.
-5
Let a(z) = 3*z + 23. Suppose 7*r + 8 = -34. Let l be a(r). Let p = 4 + 0. Solve -l*f - 4 = -u + 6, 4*u - 16 = -p*f for u.
5
Let w be (-3)/(-8) + 3990/240. Solve -3 - w = 4*k, 3*l - 13 = 5*k for l.
-4
Suppose 52*s + 6*s = 116. Solve -s = -2*l + 3*l - 2*p, -5*l - 3*p = -29 for l.
4
Let h = -12 + 17. Suppose -4*m = h - 25, -3*g + 67 = -m. Let l = g + -19. Solve -i = l*j - 29, j - 1 = 4*i - 12 for j.
5
Let k(f) = 19 - 4*f**3 + 3*f**3 - 5. Let j = -1712 + 1712. Let o be k(j). Solve -a + o = 4*q, -q - 4 = a - 9 for a.
2
Let g = 13875 - 13872. Let u be 2/5 + 16/10. Solve l + 5 = -g*r, 5*l + u*r + 12 = -13 for l.
-5
Let a(g) = 11*g - 78. Let z be a(8). Suppose v + z = 3*v. Solve -2*x - l + 5 - 2 = 0, v*x + 4*l = 0 for x.
4
Let a(f) = 2*f**2 - f - 3. Let s be a(-2). Let m be (-4)/26 + 20/65*s. Solve m*u - u = 1, 3*u = -5*x - 2 for x.
-1
Let w(q) = 2*q - 19. Let m be w(11). Suppose -m*k - 2*v + 12 = -0, 4*k + 5*v = 23. Solve k*c + 0*r - 5 = -r, -c - 2*r = -1 for c.
3
Suppose -4*m - 6 = 4*b - 14, -m - 5*b = 10. Suppose 0*s = 5*s, 5*n - 215 = 3*s. Suppose n - 7 = 3*q. Solve -m*o - 3*y = -0*y - q, -3*o + 8 = y for o.
3
Suppose 2*d + 5*j + 18 = d, -4*d + 33 = -j. Solve 5*c - 3*y + 2 = 15, -2*c + 3*y + d = 0 for c.
2
Suppose -x = -4*s + 3*x, 5*s + 3*x = 32. Solve g = s*f + 17, -f = -g + 4 + 1 for f.
-4
Let r(i) = i**2 + 20*i + 7. Let n be r(-20). Suppose 18 = -a - 4*y, 3*a + y = 1 - 0. Let g be -1 - 3*(-1)/3. Solve g = -5*f - 3 - n, 0 = -a*d - f - 6 for d.
-2
Let q = 120 + -117. Suppose q*y + 3*n = n + 66, -4*y = n - 88. Solve -2*h - 7*t + 2*t = y, 0 = -2*h - t - 6 for h.
-1
Let g(z) = -2*z**3 - 95*z**2 + 49*z + 59. Let l be g(-48). Solve -o - 9 = -2*a, -5*o - 28 + l = 4*a for o.
-5
Let c(d) = -2*d + 51. Let x(g) = g - 26. Let r(u) = -4*c(u) - 7*x(u). Let h be r(22). Solve h*k - 2 = -3*n + 5*k, -k + 14 = 3*n for n.
4
Let w = -553 - -560. Solve 4*f - o - o = -2, 0 = -4*f + o - w for f.
-3
Suppose 9*v - 395 = -368. Solve 4*x - q = v*x - 2, 4*x - 7 = -q for x.
1
Suppose k + 2 + 4 = 0. Let h = k - 7. Let f = h + 18. Solve -4*g = -2*a - 18, 21 = -2*a + f*g - 0*g for a.
-3
Let o = -11 - -15. Let s = 162 + -163. Let t = o + s. Solve t*u - 6*u = -3*n - 6, 2*n = 0 for u.
2
Suppose -5*m = -4*q - m + 32, m = 2*q - 17. Suppose 0*h = -3*h + q. Solve -3*w + 2*u - 1 = 0, -h*w + 4*u + 13 = -2*w for w.
-3
Let r(k) = k + 18. Let b be r(-12). Suppose 8*y = 11*y - b. Solve g + 12 = 5*m, 1 + 2 = -y*m + 3*g for m.
3
Let c = 67 + -61. Let b be 9/c + 44/8. Solve 3*s = 2*z + 1, z + 6*s + b = s for z.
-2
Let y be 27/36 - (-38)/(-8). Let i(o) = -3*o. Let b be i(y). Solve 2*c - c = -4*z - b, -2*c + 5*z = -15 for c.
0
Let m be 5*(-5)/(-50) - (-9)/2. Let a(k) = -k**2 + 3*k + 13. Let o be a(m). Solve 4*g - g + 16 = n, -o*g = 15 for n.
1
Let h(g) be the third derivative of -g**4/24 + 5*g**3/3 - 2*g**2. Let s be h(8). Suppose -40*m = -25*m + 29*m. Solve 4*f - 1 = -u - m*f, -2*f = -s*u - 8 for u.
-3
Let n(a) be the third derivative of a**5/60 + 13*a**4/24 + 2*a**3/3 + 4*a**2. Let q be n(-13). Solve -q*g - 20 = 5*y, -4*g + 8*g + 16 = -4*y for g.
0
Let y be 7956/544 - (-1 - (-10)/16). Let c be (13 + 1 - -2) + 2. Let g = c - y. Solve -4*k = -2*i + 14, -2*k = -g*i + 3 - 2 for k.
-5
Suppose l = w - 2*l - 26, 3*l + 118 = 5*w. Suppose w*r - 18*r = 0. Solve 5*p + 0*a + a - 13 = r, 2*a = 6 for p.
2
Let y be (-8)/6*(-42)/28. Suppose -8 = -4*z - y*x, -8 = 3*z - 5*x + 3*x. Let v be 22 - 16 - (z - -1). Solve g - 4*w - 21 = 0, -2*g - v*w - 5 = 5 for g.
5
Suppose -4*z = -16, 7*z = 2*j + 2*z + 12. Suppose -44 + j = -4*r. Solve -4*b = 5*w - 12, 0*w = 4*w + 3*b - r for w.
4
Suppose 19 = g - 3*u, 13*g - 4*u - 32 = 10*g. Solve 0 = 3*c + c, 0 = a + g*c + 2 for a.
-2
Suppose -b = -35 + 23. Suppose 15 + 9 = b*d. Solve 13 + 9 = -5*w + 3*a, -d*w - 5*a = 15 for w.
-5
Suppose y - 9 = -0*y. Suppose y = -2*a + 5*a. Suppose a*b = -4*m - 4, 0 = m + 2*m - 5*b - 26. Solve 2*i - m = -4*v - 0, 2*v - 2*i = -2 for v.
0
Suppose 2 - 6 = -2*b. Let l be (-18)/(-45) - (-22)/(-5). Let p = l - -4. Solve 4*a = -3*g + 35, -5 = g - p*a - b*a for g.
5
Let s be ((-72)/32)/(6/32). Let v = -12 - s. Suppose 0 = -3*q + q + 4. Solve -4*m - j - 1 = v, -q*m - j + 2 = 3 for m.
0
Let r be (20/(-15))/(8/(-90)). Let g(y) = 0 - 14*y - 5 - 6 + y**3 + 9*y**2. Let p be g(-10). Solve 5*h + 2*l - l = -r, 5*l - p = h for h.
-4
Let r be 7/1 - (-8)/(-2). Suppose -5*d = r*c - 0*d - 9, c = -3*d + 3. Suppose m - w - 7 = 0, m + 0*w - c*w = 17. Solve -6*x = -3*x + 12, -u = m*x + 7 for u.
1
Let m be (-7 - -11) + (2 - 3). Suppose 3*y + m*r = 5*y + 6, -11 = -y - 2*r. Suppose 13 = y*z + 1. Solve 0 = -2*o - 10, z*a - 3*o = -0*a + 27 for a.
3
Suppose 3*y + 3 = 6, -3*z + y + 86 = 0. Let d = -27 + z. Solve -3*c + 2 - 4 = d*o, 4*o = -5*c for o.
5
Suppose -s = 2*r - 6, r = -5*s + 26 + 4. Suppose 0 = 3*o - s, 5*v - 4*o = 2*v + 4. Solve i - 2*w = -12, -v*i - 8 = w + w for i.
-4
Let a be 12/(-4)*-1 + -5. Let v be ((-1)/1 - 5)/a. Solve -2*x - 5*q + v = 4, -3*