.
1
Suppose 0*p - 4*s - 30 = -2*p, -3*s + 30 = 2*p. Solve -2*w + 5*w = -p, -c + 18 = -4*w for c.
-2
Suppose 2*n = -4*i + 5 + 1, -2*n = -3*i + 22. Let k(o) = -2*o**2 + 13*o - 2. Let y be k(6). Solve i = -a + y*s, -2*a + 3*s = -s for a.
4
Suppose 0 = -g - 3*t + 5, -20 = -5*g + g - 2*t. Solve 5*r - g*a = 45, -2*r = -7*r - 4*a for r.
4
Let n(b) = -2*b + 14. Let a be n(6). Solve a*c - 3*c - 22 = 5*k, -2*c = 4*k + 20 for c.
-2
Suppose -50*c = -49*c. Solve 3*k + 20 = -5*d - 0*d, c = 2*d + 2 for k.
-5
Let g = -2 - -6. Let j be 4/1*g/8. Solve 0 = 4*m - 3*f - 12, -3*m + 6 = -m + j*f for m.
3
Suppose x = -4*x - 50. Let m = x - -28. Suppose 5*u - m - 7 = 0. Solve 2*g + 2*o = -o + 11, -2*g + u = o for g.
1
Suppose 2*p = -4, 3*p + 10 = j - p. Let u be 8/3 - 2/(-6). Solve -5*m = -4*c - 2, -5*c = -j*m + 14 - u for m.
-2
Suppose -b = 5*c - c - 3, -b + 3 = -5*c. Solve 2*q + 0*q - 22 = 5*a, -a = -b*q + 7 for q.
1
Let n(f) = 3*f**2 - 2*f + 1. Let w be n(1). Let i = 2 + -2. Solve -2*j = -h + w, 5*j - 4 - 1 = i for h.
4
Let n(c) = -3*c - 4. Suppose -4 = 2*u + 2. Let d be n(u). Solve -h - 3*p + 11 = 0, 41 = -4*h - 0*p + d*p for h.
-4
Let q(v) = v**2 + v + 1. Let k(r) = r**3 + 8*r**2 - 13*r - 7. Let z(h) = k(h) + q(h). Let d be z(-10). Solve m + a - 1 = 0, m = 4*a - 3 + d for m.
3
Suppose -4*q = m - 8, 0*q = -3*q + 5*m + 6. Solve -b + q*y = 2, -18 = -5*b - y - 3*y for b.
2
Let t(y) = -y**2 - 3*y + 1. Let d be t(-2). Solve l - 13 = 2*w, -d*w - 36 = -4*l + w for l.
5
Let t be (2/(-3))/((-1)/6). Solve 4*c - 8 = -n, -t*n - 3 = -c - 1 for c.
2
Let u be (-1)/(-2) + (-4)/8. Suppose h - 2 = -u*h. Let f be 1/h*-2 + 6. Solve -6*q + 3*q - 35 = 5*i, f*i = -4*q - 40 for q.
-5
Suppose 2*y = -3*l + 35, 3*l = -y + 4*y - 45. Solve -5*c = -2*t + t + y, 0 = -5*t - c + 2 for t.
1
Suppose 15*k + 24 = 19*k. Solve k = 3*z - q, 3*z + 2*z - 8 = q for z.
1
Let a(r) be the third derivative of -r**4/24 + r**3/3 + 2*r**2. Let j be a(0). Solve 4*y + 2*k = 0, j*y - k = -4*k - 4 for y.
1
Suppose 5*c - 18 = r, 0 = -3*c + 6*r - 3*r + 18. Let b be c/((-9)/15)*-1. Solve 3*q - z = -15, b = -2*q + 4*z - 15 for q.
-4
Let b(o) = -o**3 - 9*o**2 - 10*o - 10. Let z be b(-8). Let j be -1 + 1 - 2 - -1. Let d = j + 5. Solve 2*s - 12 = -0*a - d*a, -2*a + 2*s = -z for a.
3
Suppose -3*g - 3*h = -27, 5*g + 2*h = -h + 37. Solve -5*y + 8 = -2*n, -y + 5 = g*n - 2*n for n.
1
Suppose 0 = -13*k + 40 + 12. Solve -3*m + k = d, 0*m - 12 = -3*d + m for d.
4
Suppose 0 = -5*s + 35 + 35. Let x = -12 + s. Solve 2*j = -q, x*q - 7*q = -j - 11 for q.
2
Let r = -6 - -9. Solve 4*j = 16, 2*d + r*j = -1 + 3 for d.
-5
Let n = 3 - 4. Let b = 9 - n. Solve z + r - 2 = 0, -3*z + r + b = 2*z for z.
2
Let c(s) = s**2 + 9*s - 66. Let t be c(-14). Let v(a) = -8*a - 4. Let y be v(-3). Solve -5*i - h = -3*h - y, 0 = t*h for i.
4
Suppose -4*p + 6*b - 3*b + 9 = 0, -1 = -b. Suppose -2*i = p*i. Solve 4*z = -m - 4, m + i + 4 = -2*z for z.
0
Suppose -2*a = -5*z - 0 - 16, 4*a = -3*z + 32. Solve 5*i + a - 1 = -3*h, 18 = 2*i - 4*h for i.
1
Suppose -w - 5 = 3*y, 2*w - 5*y + 7 = -14. Let s be w/(-1)*(-3)/(-6). Solve 2*i + 5 = -2*p + 1, 3*p + s = -5*i for p.
-3
Suppose 46 + 44 = 5*y. Let f(x) = -x**2 - 8*x - 8. Let j be f(-6). Suppose -j*u = -p - 9, -9 = p - 4*p. Solve 3*o + 0*t + 14 = t, u*o = -3*t - y for o.
-5
Let v be 9/(-4)*(-2 - 2). Suppose 0 = 14*m + 32 - 88. Solve -2*p = n + v, -m*n - 19 = -5*n + 5*p for n.
-1
Let w = 5 - 1. Suppose 8*j - 5 = s + w*j, -2*s + 3*j = 0. Solve 2*f + 10 = -3*q, -q - s*f + 3 - 11 = 0 for q.
-2
Suppose n + 4*y = -26, 5*n + 44 = -4*y - 70. Let d = n - -26. Solve 0 = -x + 3*c - 6, x - 3*c + c = -d for x.
0
Let y be ((-3 - 0) + -1)*-4. Suppose 0*h - 4*h = -y. Solve 5*u - 4*j - 50 = -5, -h*j = 3*u + 5 for u.
5
Suppose 3*l = -27 + 72. Suppose 2 = -2*z + 10. Solve -z*p = -4*v + 24, -2*v - p + l = -6*p for v.
5
Let v(w) be the first derivative of 2*w**2 - 3*w + 2. Let g be v(3). Solve p + 5 = 2*f, -5*f + g = -p + 1 for p.
-3
Let k be 1/4 + (-51)/12. Let j(a) = a**3 + 3*a**2 - 6*a - 2. Let g be j(k). Solve 3*o - 8 = 2*f - 3*f, -4*f + o = -g for f.
2
Let p = 116 - 112. Solve 2 + 2 = -4*v - p*h, 3*v + 4*h = 1 for v.
-5
Suppose 0*r - 8 = -2*r. Solve 4 = 2*b - 4*n - 6, -45 = r*b + 5*n for b.
-5
Let i be -7*9/21*10/(-3). Solve t - 2 = 4*j - 0, 4*j - 5*t = -i for j.
0
Let c = -1 + 2. Let k be c - (1 + -3 + 1). Solve -k*q - 2*q - 3*t + 6 = 0, -5 = q + 4*t for q.
3
Let x(l) = 3*l + 10. Let f be x(-4). Let r be f/6 + 42/18. Solve -r - 10 = -5*h - 4*o, o = -3*h + 10 for h.
4
Let q(d) = -6*d - 13. Let i(l) = 7*l + 13. Let c(h) = -5*i(h) - 6*q(h). Let z be c(-10). Solve 3*s = 3*u - s + 6, z*u - 5*s = -6 for u.
-2
Let j be 2*2/(-4)*-43. Suppose 4*x + l = j, -4*l - l = 3*x - 45. Solve x = -2*w + 4*o, o + 1 = 4*w - 0*o for w.
1
Let g(l) = l**3 + 7*l**2 + 30*l + 149. Let q be g(-6). Let u = 45 - 29. Suppose w = 0, 0 = 2*n - 3*w - w - u. Solve 1 = 2*f - q*t - n, -4*t = f + 15 for f.
-3
Suppose 0*q = -3*q + 15. Solve -4*h + q*h + 5*y = 14, h + y - 2 = 0 for h.
-1
Let t be -9 + 6 + (-5)/(-1). Solve 5*x + 20 = w, t*x - w = -0*w - 5 for x.
-5
Let a be ((-10)/(-4))/(6/12). Solve 4*z = 5*y - 41, -a + 13 = -2*z for y.
5
Suppose -15*k = -10*k - 25. Suppose 0 = -l + k*n + 15, 3*l + 0*n - n - 3 = 0. Solve l = 3*q - 2*x + 14, -q + 16 = 4*x + 2 for q.
-2
Suppose 0 = 5*v - 48 - 37. Suppose 2*y = -0*f - 3*f + v, 3*y = 5*f - 22. Solve 0 = -4*k - d - 19, 17 - y = -k - 4*d for k.
-4
Let o(q) = -4*q - 90. Let k be o(-23). Solve -5*t = k*b - 0*b + 15, 3 = -b + 2*t for b.
-5
Let n = -9 - -4. Let g be (-13)/(-5) - 2/n. Solve 5*y = z + 14, 0*z = -g*y + 3*z + 6 for y.
3
Let d be 2 - (-2 + (0 - -1)). Solve 0*p - 13 = -t + d*p, 0 = -3*t - p - 11 for t.
-2
Let y be (15/(-6))/5*-10. Suppose 9*k = y*k. Solve 2*q - 4*c = 0, k = 2*c + 8 - 4 for q.
-4
Let r be (2/6)/(3/72). Solve -3*l + 3*a - 6 = 0, -4*l - r = -l - 4*a for l.
0
Suppose 0 = -0*z + z - 7. Solve -5*p + 3*k = 24, -2*k = z*p - 3*p + 6 for p.
-3
Let g = -15 + 40. Let l be 105/(-18) - 1/6. Let j be l*1/((-2)/1). Solve z - 5 = 3*h + j*z, -g = -5*h + 5*z for h.
1
Let r = 16 - 12. Solve r*f = d + f + 11, -2*f = -d - 6 for d.
4
Suppose 0 = -5*o + 2*g + 15, 3*g = -2*g + 25. Solve -8 = -3*n + o*v, 3*v = n + 1 - 9 for n.
-4
Suppose -n + 0*n - 9 = -t, 0 = -n - t - 5. Let g = -2 - n. Suppose g*c + 9 = 29. Solve 5*q = 2*w + 7 + 1, -5*w - 20 = -c*q for w.
-4
Let q = 16 + -28. Let j be -5*1/(-2)*8. Let s = q + j. Solve 3*a + 0*a - s = -i, -5*a = -10 for i.
2
Let s = 4 - 0. Solve 0*t + o = -4*t, -s = -o for t.
-1
Let i(a) = a**2 - 6*a. Let q(j) = 5*j**3 + j - 1. Let r be q(1). Suppose f = 11 - r. Let m be i(f). Solve 5*u - 15 = 0, -3*b + 2*u + m*u = -9 for b.
5
Suppose 11 = 5*t - 14. Let l = 112 + -60. Suppose 2*u - l = -0*u. Solve -5*g - 15 = -5*j - 45, -j + t*g = u for j.
-1
Suppose -l = 2*l - 42. Solve 5*g - 21 = -5*r + l, -5*r = -15 for g.
4
Let c(f) = -26*f**3 - f + 2. Let v be c(1). Let x = 27 + v. Solve -4*y - y = 0, -3*k + 6 = x*y for k.
2
Let j(s) = -2*s + 1. Let a be 1 + 2 - (-5)/(-1). Let x be j(a). Solve -5*q = x, w - 13 + 6 = 2*q for w.
5
Suppose -12 = -2*o + 2*c + 4, -o + 28 = -5*c. Let d be 5/((-4)/(o + -7)). Solve r = -4*z - 1, -2*z - 3 = -d*z for r.
-5
Let q be (9/6)/(3/(-8)). Let j be 0*(-1 - q/6). Let n = 2 + j. Solve -3*b = -n*b - 4*h + 2, 5*h + 5 = 5*b for b.
2
Let h = 28 - 23. Solve u - 3 = w, -h = 5*u - 15 for w.
-1
Let z(t) = -3*t + 0*t - 2*t + 3*t - 9. Let p be z(-7). Let g be 0 + 0/(1 - -1). Solve -a = x, g = -p*x + 2*a - 10 - 11 for x.
-3
Suppose -2*z - 10 = -0*z - j, 0 = z + 2*j - 5. Let n be (1 + 2)*z/(-9). Solve l - n = -2*q - 11, -l - 6 = q for l.
-2
Suppose -2*d = 0, -3*f + 6*f = -2*d. Solve 3*q + 1 = 2*p + 5, -5*q + 10 = f for p.
1
Let f = 7 - 2. Solve 6*v - 4*q = 4*v + 10, f*q = 2*v - 10 for v.
5
Let p be 3 + (1 - -1 - 0). Let l(i) = i - 1. Let n be l(3). Solve -4*w - n*r = 30, p*w - 4*r + 2 + 3 = 0 for w.
-5
Let p be 3/(-2)*16/(-12). Solve p*t - z + 6 = 4*t, 0 = -3*z + 12 for t.
1
Let n(m) = m**2 + 2*m - 3. Let a be n(2). Let i(z) = -z + 4. Let c be i(0). Solve -t + c*x - 21 = 4*t, -a*x + 20 = -5*t for t.
-5
Let j be (6/(-4))/(6/(-20)). Solve -3*g - 9 = -f, 4*g - 3 = 5*f + j*g for f.
0
Let v(x) = -x**3 + 7*x**2 + 8*x + 2. Let w be v(8). Let r = -4 - -8. Solve 2*k + 4*q = -26, -w*q = -r*k - 0*q