or h.
1
Let v(q) = q**2 - 13*q - 10. Let g(s) = 2*s**2 + 2*s - 26. Let a be g(-5). Let w be v(a). Solve 0 = -w*t + 7*k - 3*k + 4, -k - 13 = -4*t for t.
4
Suppose -2*a + 3*a - 80 = 0. Suppose -w + a = 4*w. Solve w = 4*o, 5*q + 0*o = -2*o - 17 for q.
-5
Let v(g) = -g**3 + 2*g**2 - 5*g - 17. Let q be v(-2). Solve 2*h = 5*b - q, 3*h + 3 + 0 = 4*b for b.
3
Suppose -80 - 4 = -3*r. Suppose -7 = 7*s - r. Solve -s*o - 18 = 5*y + 19, 0 = y + 5 for o.
-4
Let c = 1416 + -1406. Solve 2 = -2*l - 5*z + 18, -l - c = -2*z for l.
-2
Let b(p) be the first derivative of -6*p - 1/4*p**4 - 7/3*p**3 + 7/2*p**2 + 6. Let z be b(-8). Solve -3 = -z*r + 3*r + i, -i + 9 = -3*r for r.
-3
Suppose 76*t - 82*t = -30. Solve k - 4*c = -1 - 1, 0 = 5*k + t*c - 15 for k.
2
Let g = 31 - 29. Suppose f - g = -0. Solve 3*y = -3*l - 15, 0 = -4*l - 0*y - f*y - 18 for l.
-4
Let g be 574/11 + 12/(-66). Let a = 71 - g. Solve 5*f - i - 5 = 2*i, 3*i + a = -2*f for f.
-2
Let n be (-1)/(-3*4/24). Let j(g) = 2*g - 9. Suppose 8 = 3*c + w - 10, -4*w = c - 6. Let p be j(c). Solve -n*k + 5*z - 27 = k, 2*k - 1 = -p*z for k.
-4
Let i(j) = 8*j + 16. Let w be i(-9). Let v = w + 59. Solve c = v*n + n, 2*c = 4*n - 4 for n.
-1
Let b(z) = z**2 - 79. Let p be b(9). Solve 0 = 5*j + t + 3, 2*j - 6*j + p*t = 8 for j.
-1
Let d be 20*(1 - 2/5). Solve m - 3*r = -13, 4*m + r - d = -3*r for m.
-1
Let h be 0 + 1/((-10)/(-80)). Solve 5*y = -2*g + h*y + 17, -5*g - 15 = 4*y for g.
1
Let j(n) = n**3 + 2*n**2 + 3. Let v be j(-3). Let x be 12 - 1 - 6/v. Solve -y + 5 = f, -3*y - 5*f + x = -5 for y.
4
Let p = -2 - 3. Let c = -2 - p. Solve 0 = -c*u - u + 2*j + 4, 0 = -2*u + 3*j + 6 for u.
0
Let q(t) = 3*t**2 - 124*t + 171. Let m be q(40). Solve -4*i = v - 4*v - m, 5*v = i - 24 for i.
-1
Let h(k) = -2*k**3 + 42*k**2 - k + 21. Let x be h(21). Solve x = -5*w, 0*g - 2*g = -w - 2 for g.
1
Let v be (-24)/30*(-10)/4. Let m be 0/5*2/v. Suppose 0*h = 2*h - 6. Solve -z + 3 = -i, h*z + 0*z + 4*i - 23 = m for z.
5
Let t be 0*((-6)/(-4) - (11 + -9)). Solve t*n - 2*n - 3*x = 8, -x = -2*n - 8 for n.
-4
Suppose 150*g - 156*g = -6. Solve -2 - g = 5*c - 2*s, 3*s - 13 = -c for c.
1
Suppose -3*r - 3*b + 9 = 0, 5*r + 4*b - 6*b - 8 = 0. Solve 0 = r*s - 5*a + 9, 3*s + 2*a - 12 = a for s.
3
Let z(a) = -5*a + 58 - 117 + 56 + a**2. Let x be z(7). Solve -2*q = -5*y + x, 5 = -y - 2*q + 12 for y.
3
Let t be (159/6)/(2 - 15/6). Let r = t + 53. Solve 4*j + 3*k - 6*k = 23, r = 5*j - 4*k - 29 for j.
5
Suppose -20 = -4*j, -4*l + 2*j - 5 = -11. Let a(g) = 2*g**2 + 52*g + 53. Let u be a(-25). Solve u*d + l*p = 23, -d - 3*d - p + 22 = 0 for d.
5
Suppose -3*x + 3 = n, 19*n - 5*x = 23*n - 5. Solve a + 0*y - 2*y + 8 = n, -20 = 3*a - 5*y for a.
0
Let z = 8 - 1. Let y = 63 + -44. Suppose r - y = 5*i, -r + 4*r - 2*i - 18 = 0. Solve r*j = 3*q + 2 - z, -j - q + 4 = 0 for j.
1
Let p(n) = -29*n + 34. Let q be p(1). Solve -3*r + 2*m - 3*m = 0, -19 = 4*r - q*m for r.
-1
Suppose 6 = 4*i + 2, 5*i = 2*h + 1. Suppose 4*y = y + h*y. Solve 4*s + 3*w - 2 = y, 4*s - w + 6 + 0 = 0 for s.
-1
Suppose 373*n - 362*n = 44. Solve n*z = -2*i - 8, -5*z - 4 + 0 = i for i.
-4
Let p be (2/6)/((-3)/(-45)). Let q = 5 - p. Suppose 0 = 5*k - q*k - d - 6, 0 = 2*k + 3*d - 16. Solve -5*u + 4*h = 7, 3 = -k*u + 3*h - 4 for u.
1
Let m be (0 + -3)*2/(-6). Let i(o) = -3*o**3 - 20*o**2 - 3*o + 69. Let n be i(-6). Solve 0 = z + 3*a + 11 - m, 4*z + a = n for z.
5
Let i(u) = u**2 + 4*u - 1. Let r be i(-8). Suppose r - 121 = -3*b. Let s = -27 + b. Solve 6 = -s*w - v, 8*v - 2 = w + 3*v for w.
-2
Suppose 31*j - 49*j + 90 = 0. Solve 5*q - 10 = d, -4*d + j*q - 25 = -0*q for d.
-5
Let t(j) = -3*j - 31. Suppose -5*n - 66 = -11. Let l be t(n). Suppose -10 = -h + 9. Solve -5*m + 3 - h = -z, z + l = -m for m.
-3
Suppose z - 36 = -5*z. Suppose -z = 5*t - 8*t. Solve -b + 3*b + t = -f, -4 = -f for b.
-3
Suppose -3*q - 207 = 9. Let x = -70 - q. Solve -4*l + 3*b - 15 = 0, 0*l + 5*b = -x*l - 1 for l.
-3
Suppose -a - 5*d + 32 = 0, 0 = -2*d - 0 + 10. Suppose 4*u + 9 = a*u. Solve 0*s - 3*q - 27 = u*s, 5*q = -3*s - 37 for s.
-4
Suppose 41 - 243 = -101*b. Solve -4*q = -2*z + 22, 2*q + 2*z + b*z - 14 = 0 for q.
-3
Suppose -6 = -11*d + 8*d. Solve 2*k - 4*m = -10, d*k + 2*m - 15 = 5*k for k.
-5
Let j be (-3)/(-15) + 42/(-10). Let a = j + 17. Solve -16 = -4*v, 5*p + a + 24 = 3*v for p.
-5
Let c(s) = -s**3 - 9*s**2 + 10. Let a(h) = -h**2 + 2*h - 6. Let o be a(3). Let m be c(o). Suppose 3 = 2*r - 3. Solve z = -z + 4*n + 14, 5*n = -r*z + m for z.
5
Suppose 40 = 3*h + 2*d, -7 = -4*h + d + 39. Let c = 17 - h. Suppose -5*t - p = -c*p - 51, 2*t - 4*p = 18. Solve -i = -2*l - 0*i + t, 3*l = 2*i + 17 for l.
5
Let h = -1 - -4. Suppose h*v = -5*o + 8, -2*v = -2*o + 7 - 23. Solve 0 = -4*c + x + 3, 5 - v = -5*c + 4*x for c.
1
Let v(h) = -h**2 - 9*h + 43. Let l(n) = -2*n**2 - 17*n + 85. Let s(y) = 4*l(y) - 7*v(y). Let x be s(-9). Solve -5 = -2*q - 2*q + x*t, -4*t = 5*q + 17 for q.
-1
Let t = -12 - -12. Suppose -2*w + f = t, 2*w + 3*f - 22 + 6 = 0. Suppose 5*r - 4*o = -10, w*r + 5*o - 14 = 3*o. Solve -5*h = -r*j, -3*j + j = -h for h.
0
Let c be 16/(-6)*(-42)/56. Let g be ((-8)/(-10))/(c/10). Suppose y = g*y. Solve -5*d = 4*u - 45, 5*u = 4*d - y*d + 5 for d.
5
Let z(l) = l**2 + 27*l + 44. Let v be z(-26). Solve 0 = -5*q + 2*c + v, -3*c - 13 = -4*q - 0*c for q.
4
Suppose -46*y = -49*y + j + 1, 0 = y - j + 3. Solve v - 2*f - y*f = -23, -5*v = 2*f + 5 for v.
-3
Suppose -6*s + 12 = -0. Solve -4*l + 31 - 2 = -5*d, 2 = s*l for d.
-5
Let i be ((-2)/4 - (-4 - -4))*0. Let u = -2 + 1. Let w be 4/2 + (2 - u). Solve f + j = 0, -2*f + w*j = -i*f + 28 for f.
-4
Suppose -17*w - 55 = -412. Solve 2*c - w = -21*m + 16*m, 20 = 4*m for c.
-2
Let r(v) = 8*v. Let t be r(3). Suppose -i - f = f - t, 3*f = 3*i - 54. Let m(s) = -2*s - 10. Let y be m(-6). Solve 5*o - 16 = -2*j, -4*o + y*j = -0*j - i for o.
4
Let c be 3/2 + (-9)/(-2). Suppose 0 = -2*v + 5*v - c. Let b = -207 + 211. Solve -m + 7 = 4*o, v*m + 1 = -5*o + b*m for o.
1
Suppose -5*t - 41 = -61. Solve -4*p - 2*h + 14 = 0, 3*p = -t*h + 3 + 10 for p.
3
Let w = 795 - 793. Solve 5*d + 19 = -3*f, w*f - 3 = 1 for d.
-5
Let f be 10/(-6) + 1 - (-4030)/(-93). Let d = f - -50. Solve -5*y = -5*l, -5*y + d = -9 for l.
3
Suppose 4*m - 3*m - 13 = 0. Let k = -9 + m. Suppose 0 = 8*s - k*s - 8. Solve -3*d = z + 20, 2*z - 5*d - s = 13 for z.
-5
Let i be (2 + 1)*(-2)/(-2). Let g = i - 0. Suppose -12*l + 34 = -62. Solve -2*p - 6 - g = q, 0 = p + 4*q + l for p.
-4
Suppose -f + 0*f - 20 = 2*a, -4*f + 2*a = 30. Let s be (-6)/(-4)*f/(-5). Solve y = c - 1, -y = s*c + y + 12 for c.
-2
Suppose 2*v + 7*z - 41 = 2*z, 5*z = -v + 33. Solve 0 = 2*u - 3*f - 7 - v, 2*u - 5*f - 21 = 0 for u.
3
Let p(t) = -t**2 - 26*t + 61. Let i be p(-28). Solve -3*k = -i*d + 4, 4*d + k + 0*k - 10 = 0 for d.
2
Let q(u) = -u**3 + 9*u**2 - u + 19. Let j be q(9). Suppose -j*b = -11*b + 5. Solve -y - b = -o, o = 3*y + 11 - 2 for y.
-2
Let r = 288 - 285. Solve 0*d + r*d = y - 12, 0 = -5*y + 5*d + 20 for y.
0
Let a be ((-55)/(-22))/((-1)/(-2)). Let s(l) = l**3 - 8*l**2 - l + 10. Let k be s(8). Solve a*r = -15, r = 3*w - k*r for w.
-3
Suppose 76 = 6*z - 2*z + 3*q, 3*z = 2*q + 74. Solve -6*x = -x + 2*v + z, 0 = 3*x + 5*v + 17 for x.
-4
Let d(l) = l - 22. Let u be d(22). Solve u = 3*q + 3*w + 3, 5*q - w + 17 = -12 for q.
-5
Let h(a) = 621*a**2 - 621*a**2 - 2*a - 1 - a**3. Suppose 0 = -n + v - 1 - 5, 2*n + 4*v = 18. Let u be h(n). Solve 8*o = -u*t + 3*o - 9, 5 = -2*t - o for t.
-2
Suppose 17 = 4*y + 23*o - 22*o, 10 = 3*y - 2*o. Solve 3*v + y*l = 14, l - 6*l + 21 = 2*v for v.
-2
Let x be (-258)/4*2/3. Let f = 49 + x. Let c(z) = -7*z - 1. Let i be c(-1). Solve u - f = -3*j, -2*u = 6*j - 3*j - i for j.
2
Let l be (-16)/(-12) + 107/3. Let r = -34 + l. Solve -3*k - 5*i = 9, k + r = -2*i + 3*i for k.
-3
Let p(k) = -k. Let z(r) = r**2 + 3*r + 3. Let j(u) = 3*p(u) + z(u). Let v be j(-3). Solve 3*q - v = 3*b - 0*b, -5*q + 20 = 3*b for b.
0
Let a = -1018 - -1022. Solve 6*w - 2*w = 2*m - a, -2*w - 2 = 3*m for m.
0
Suppose 102*w - 104*w = -10. Solve -3*b = o + 9, w*o + 13 - 2 = 2*b for b.
-2
Suppose 3*b - 243 = -24*b. Solve -4*h + 5 = -b*h + 5*z, 4*z = 3*h for h.
-4
Suppose -5*n = n - 30. Suppose -5*x - 7 = -r, 0 = -2*r + r + 3*x + n. Solve -5*b = 2*a + 35, 3*b = a + r*a for b.
-5
Let