*a - 2*z - 4 = -3*z, -z + 4 = 3*a for a.
0
Let l(k) = -k - 4. Let p be l(4). Let q = p - -12. Solve 0 = -2*t - 4*j + 26, -t + q*j = 3*t - 4 for t.
5
Suppose 1 = -x + 37. Let n be (-3)/(-6) - x/(-8). Solve -2*i + 15 = -n*k, 0*i + 3 = 2*i - k for i.
0
Suppose 0*b - b = 0. Suppose -x + 2 = -b*x. Solve -z = 4*h + z + 10, x*h + 7 = -3*z for h.
-2
Let v = 2 + 1. Suppose v*c - 1 = -4*u + 15, 3*c + 3*u = 15. Solve 0 = c*z + 3*m - 1 - 4, -2*m + 15 = 5*z for z.
5
Suppose 0 = -15*n + 12*n. Solve -8 = 4*f - g + 6, -2*f + 5*g + 2 = n for f.
-4
Let n be (-2)/(-7) + (-80)/(-14). Let d be 9/(-6) - (-51)/n. Solve 4*s = i + 5, -17 = 5*i - 5*s - d for i.
-1
Let y be 11/4 - 9/12. Suppose -c + 6 = y*c. Suppose c*x = -3*x + 25. Solve 2*m - 4*i - i = -16, -4*i = m - x for m.
-3
Let r be 79/(-6) + 2/12. Let z be 8/(-52) + 11/r. Let i be 5*(z + -1 - -3). Solve i*b = -u - 9, 0 = 4*u - u - 3 for b.
-2
Let a(p) = 3*p - 1. Suppose 6 + 0 = 3*s. Let k be a(s). Solve -k*o + 3*r = -o - 4, 3*o - 4*r = 3 for o.
1
Suppose 4 = -4*a, -t + a + 2 + 4 = 0. Let f(y) = -y**3 - 3*y + 2. Let d be f(2). Let v = d + 14. Solve 14 = v*x - 2*h, -5*x + 0*x + t = h for x.
2
Suppose 2*c - 6 = -c. Suppose -x + 3*v = c, -5*x + 4*v + 10 = -v. Solve 0 = -2*b + 3*w - 2 - 9, x*w - 4 = 0 for b.
-4
Let a(f) = -f**3 + 13*f**2 - f + 17. Let j = 0 + 13. Let n be a(j). Solve 0 = -5*d - 5*p, 5*d - n*p + 14 + 13 = 0 for d.
-3
Suppose w = -4*w + 25. Let c = 4 + -4. Solve q + 4*k + 1 = c, -2*q - w*k = 1 + 4 for q.
-5
Let r(q) = 0*q - 7 - 1 + 2*q. Let n = -3 + 11. Let x be r(n). Solve -4*j + 10 = 5*o + 30, -2*o - x = 0 for j.
0
Suppose 0 = -2*t - 1 - 17. Let g(y) = -y**3 - 8*y**2 + 10*y + 9. Let f be g(t). Solve f = 3*z - 5*r + 4*r - 5, 10 = 4*z - 3*r for z.
1
Let v be ((-16)/(-10))/(2/5). Suppose -a + v*a = 12. Solve 3*p - 4*f + 17 = 0, a*p - 5*f + 20 = -p for p.
1
Let a be (60/72)/(2/24*2). Solve 3*o - 5*t + 23 = 0, 2*o - a*t + t = -18 for o.
-1
Let l(t) = -t**2 - 3*t + 3. Let u be l(2). Let c = 11 + u. Solve -c*a - 16 = 0, -5*z - 3*a = 2*a for z.
4
Let l(p) = 2*p - 1. Let j be l(2). Suppose -j*n + 24 = n. Solve -3*h - n = 0, -5*t + 2*h + 28 = 4 for t.
4
Let o be (-44)/(-10) + 6/(-15). Suppose 0 = -0*p - p - 1. Let z = p + o. Solve z*t + 3 = 5*u - 4, -4*u + 13 = 5*t for u.
2
Suppose 0 = 4*n - 2*n. Solve 4*p - 21 = y, -p - 4*y + n = 16 for p.
4
Suppose 8 = 2*z - 4*m, -6 = 5*z + 3*m - 0*m. Let v be (-2 + -2 + 4)/1. Solve -4*a + v = -t - 9, z = -5*a + 5*t for a.
3
Let f = 63 - 61. Solve 5*g = -f*j + 16, 2*j = -2*g + 6 + 4 for j.
3
Let b be (21/(-14))/(1/(-2)). Solve -b*m - 10 = -2*p + 2*m, -2*p - 3*m = 6 for p.
0
Suppose -2*d = 5*v - 35, 5*d = 4*d - 2*v + 15. Suppose -12 - 3 = -d*l. Solve 2*t - 16 = -l*m, -2*t + 26 = 3*m + 2*t for m.
2
Let p(r) = -r**2 + 3*r + 12. Let s be p(5). Suppose s = d - 2. Solve -2*c - d*w = -c + 12, 2*c + w = -10 for c.
-4
Let s(r) be the second derivative of r**3/6 + 5*r**2 - 4*r. Let q be s(-8). Solve -2*j - 5*m + 1 = q*j, -5 = 4*j - m for j.
-1
Let t be 54/4 + 5/(-10). Let r = -9 + t. Solve -2*g = 10, -2*n - r*g - 22 = -0*g for n.
-1
Let m be (54/(-8))/((-6)/(-24)). Let n be m/(-5) + 2/(-5). Solve -4*t = -n*q - 2*t + 14, 2*q = -t + 2 for q.
2
Let o(h) = h**3 + 6*h**2 + 5*h + 3. Let v be o(-5). Suppose -27 = -3*i + 3*r, -18 = -v*i + 2*r + 5. Solve -i*a + 5*u = -40, 5 = -6*u + 5*u for a.
3
Let k(w) = w**2 - 5*w - 1. Let h be k(5). Let i be -1 - (h + 2 - -1). Let n be 1*0/(-3) - i. Solve -n*x - 2 = u, -5*x - 2 + 6 = -2*u for u.
-2
Let g be 0/7 - (2 - 4). Solve -g*t = -p - t + 3, -4*p = -t for p.
-1
Let p be ((-8)/(-16))/(2/(-12)). Let q be 4 + -3*p/9. Solve -x + y = -1, -q*y - 2 = 23 for x.
-4
Let x(u) = u**2 + 6*u. Let d be x(-6). Suppose -2*c - 5*l + 2 = d, 0*l + 5*l = -c - 4. Solve -4*k - 10 = 3*q, -c*q + 2*q - 5 = -3*k for k.
-1
Suppose -20 - 50 = -14*r. Solve -r*l + s = -2*l + 14, 3*s + 10 = -4*l for l.
-4
Let l(y) = 3*y - 7. Suppose 0 = 4*p - 0*p - 12. Let f be l(p). Solve 5*a + 7 = 4*v, a - 6 + f = -v for a.
1
Let t = 3 - 5. Let b be t + 4 + (1 - 4). Let u be (0 - b) + (-4 - -7). Solve 0 = n + u*n - 15, 5*n - 3 = 4*w for w.
3
Suppose -3*q = -0*q - 9. Suppose c = i + 5 + 2, 0 = -c - i + q. Solve 3*j - 5*y + 4 = 20, 12 = c*j - y for j.
2
Let d be (8/(-12))/(2/30). Let t be (-10)/3*12/d. Let n be t + -4 + 2 - -36. Solve -14 + n = -4*a - 2*s, -2*s - 29 = 5*a for a.
-5
Let z(a) = 2*a - 10. Let j be z(9). Let o be j*((-26)/(-8) + -3). Solve o*n + 0 = 4, 3*i - 5*n + 1 = 0 for i.
3
Suppose 0 = -5*n - j + 20, -22 = -3*n - 2*j - 10. Solve 3*i = -2*w - 20, -n*i + 7 = 23 for w.
-4
Let y = -9 - -3. Suppose -2*k = -5*k + 3. Let o be k - 0 - y/3. Solve -8 = -3*h + n, h + h - o*n = -4 for h.
4
Let p = 73 + -70. Solve -2*n + 11 = -3*t, -6*n + p*n = 2*t + 3 for t.
-3
Let u(v) = v**2 + v + 3. Let d(f) = f - 1. Let x(r) = -5*d(r) - u(r). Let w be x(-6). Solve o = w*i + 1 + 4, -3*o = -2*i - 11 for o.
3
Let i(f) = f**3 + 8*f**2 + 8*f + 9. Let c be i(-7). Solve -c*o + b - 2 = 1, -o + 5*b + 12 = 0 for o.
-3
Suppose 2*y + 3*b = -0*b + 14, 3*y + 4*b = 22. Solve -2*r - y - 4 = -4*g, 2*r = -3*g - 7 for g.
1
Let w be (2 - 3)/(-3 - 52/(-18)). Solve 0*a - 3*a = -3*p - w, 0 = a for p.
-3
Suppose 5*g = 7*g. Solve g = 3*h + 4*p - 9, 2*h - 3*p = 5*h - 9 for h.
3
Suppose 5*c - 4*c = 2. Suppose -o + 0 = -4, c*j - 12 = -2*o. Solve -3*t = j*t + h + 15, -2*h - 18 = 4*t for t.
-2
Let v(f) = 4*f - 10. Let t = 13 + -6. Let u be v(t). Solve -4*q + 5*w - 3*w = u, 3*w = 2*q + 15 for q.
-3
Suppose -6*l + l = -35. Suppose 3*m - 1 = -4*n, m + l = 2*m - 2*n. Solve 2*s + 2*s = 2*c + 24, 0 = m*s + 4*c - 7 for s.
5
Let l be (-1)/(6/(-38))*(0 + 3). Solve -17 = h + 2*h - 2*x, -5*h - l = -x for h.
-3
Let u = 34 + -29. Solve 0 = -3*h - 3*d + 12 + 6, u*h - 4*d - 21 = 0 for h.
5
Suppose -4 = 2*x - x. Let t(p) = -2*p - 3. Let c be t(x). Solve -1 = -w - 4*q, -2*w - 2*q + c*q = -2 for w.
1
Suppose s = 5*f + 28, 5 + 27 = 4*s - 4*f. Solve 0 = 4*v - 2*y - 22, s*v - 3*y - 19 = 2 for v.
4
Let b be (-5)/(-2) - 3/6. Suppose 5*r - 3*r = 4. Solve j - r*j + 5 = b*d, -4*d = -2*j - 30 for d.
5
Let u(v) = 17*v + 3. Let k be u(1). Solve 2*z + 2*x = 6, 5*z + k = 5*x - 3*x for z.
-2
Let n be 8 - (-7 + 13) - (0 + 0). Solve 0 = -2*j + 3*u - n, -2*j - 3*u + 6 = -16 for j.
5
Let d(v) = -v - 8. Let t be d(5). Let a = t - -16. Solve -3*i - a*n + 12 = 0, i = 2*i - 5*n + 20 for i.
0
Suppose 5*a + 3*f + 1 = 0, 5*f - 6 - 1 = -4*a. Let b be (0 - 0)*(-1)/a. Suppose -3*n - n = -40. Solve -5*k = 3*d - k + n, b = -3*d - k + 2 for d.
2
Let w = 4 + 1. Solve 4*a + 7*l + 22 = w*l, -4*a - 25 = 3*l for a.
-4
Let q = 9 + 1. Suppose -3*s = 2*s. Solve 5*h - 20 = 4*w, -3*h + 2*w + s*w = -q for h.
0
Let k = 3 + -3. Suppose -3*w + 3*r = r - 14, 4*w + 3*r - 47 = k. Suppose w = 4*m - 12. Solve -3*s - m*v = -14, v - 1 = -4*s - 5 for s.
-2
Let v(q) = -q**2 + 38*q - 72. Let i be v(36). Solve i = 3*w + f, 2*w - 4*w = f for w.
0
Let f(q) = -3*q**3 + 4*q**2 + 2*q + 1. Let v be f(-3). Let y be v/18 - 4/18. Suppose -y*g + 3*g + 9 = 0. Solve -2*l = g*c + 11, -2*c = 2*c - 3*l + 26 for c.
-5
Suppose -4*o - 5 = -13. Suppose -o*k = 3*k - 25. Solve 3*r - 29 = 5*u + 2, 0 = -r - k*u - 23 for r.
2
Suppose -r = -3*r - 6, 4*r + 8 = -2*u. Let g be (u*3/(-2))/(-3). Let a = g + 1. Solve 3*j = c - 2, c - 3 = a for j.
1
Suppose -15 + 51 = -5*l - 2*y, -3*l = y + 22. Let k be (-2 + -1)*l/(-6). Let m = k + 7. Solve m*s - u = u + 5, 0 = 5*s + 5*u - 25 for s.
3
Let g = 1 - -4. Suppose f = g*t - 12, 10*t = 5*t - 5*f. Suppose l + 14 = 2*z, 0*z - 3*z = t*l - 14. Solve -4*u - 22 = 3*w - z*w, 5*w - u - 14 = 0 for w.
2
Suppose -7*o + 51 = -5. Solve -4*g - 3*y - 10 = 0, -2*g - y - o = 2*y for g.
-1
Let m = 5 + 15. Let n be (-3)/6 + m/8. Solve -4*d = -n*i - 2, 2*d + 2*i + 3 + 11 = 0 for d.
-2
Let x = -15 - -30. Let f(h) = -h**3 + 16*h**2 - 14*h - 10. Let y be f(x). Solve -4*c + g + 11 = 0, -4*g - y = 7 for c.
2
Let k = 37 - -10. Suppose -11 = 4*c - k. Solve -z + 2 = 3*a + c, 0 = a + 2 for z.
-1
Let k be (-2)/(22/(-12) + 2). Let t = -8 - k. Solve -a = t*u + 1, u + 1 = -0 for a.
3
Let k be 4/3 - 231/(-9). Solve -4*p - p - 2*v = -k, -p = 3*v - 8 for p.
5
Let b = -8 + 3. Let g(o) = o**2 + 5*o + 5. Let y be g(b). Let t be 1/2 + 11/2. Solve -t = y*h - 2*u, 3*h - 2 = -0*h + 4*u for h.
-2
Suppose 2*y = 2 + 14. Let v be (-1 -