+ a for j.
5
Suppose -4*j = -3*x + 20, -5 = x - 0*x + j. Solve -4*c + 2*o + 16 = x, o - 4 = -0*c - 2*c for c.
3
Let p be ((-3)/(-9))/(1/12). Solve p*q - b - 11 = 0, -4 = 4*b + 8 for q.
2
Let n be 5/(3/3 + 0). Let d = -14 + 25. Suppose -4 = -n*h + d. Solve z = -h*m - 7, 2*m + 11 = 3*z - 12 for m.
-4
Let y be (-7 - 4/(-1)) + -1. Let d be 6/y*1*-10. Solve 5*p + 5*k = 30, -4*p + 0*k + d = -5*k for p.
5
Let n(x) = -2*x**3 + 45*x**2 + 24*x - 18. Let t be n(23). Solve -t*m + 10 = -3*z, 5*m + z - 10 = -0 for m.
2
Suppose 6*q - 11*q + 20 = 0. Solve -6 = 4*r - 2, -z = -q*r - 7 for z.
3
Let d(q) = -q**3 - 6*q**2 - 5*q + 2. Let f be d(-5). Solve 0 = -f*x + c - 5*c - 4, -4*c = -4*x - 8 for x.
-2
Let a(m) = m + 1. Let s be a(-4). Let p be (-12)/(-3) + s + 4. Solve z + 9 = -3*q - z, p*z = 15 for q.
-5
Let u(l) = l**2 + 6*l. Let o be u(-3). Let y = o - -13. Solve 5*p - 3*k = 7*p + 2, -y*k = -3*p - 20 for p.
-4
Let b(a) = -2*a - 10. Let q be b(-7). Let k be 129/27 + q/18. Solve -k*p = -25, -w - 2*p = 2*w - 19 for w.
3
Suppose -3*t - c + 5 = 0, 10 = -4*t - 3*c + 5*c. Suppose t*f + 24 = 3*f. Solve f*r = 3*r + 3*y + 37, -y = -4*r + 24 for r.
5
Let v be 3 - (3 + 2) - -5. Solve -3*p + 4*z = -7, 0 = 2*p - v*z + 2*z + 2 for p.
-3
Suppose -16 = 4*a, -12 = 2*j + 2*j + 3*a. Let f(i) = 5*i**2 - 4*i**3 + j*i + 3*i**3 - 3*i. Let x be f(4). Solve -4*t + 5*q - 2 = -0, -x*q + 16 = 4*t for t.
2
Suppose 0 = -16*s + 18*s - 4. Suppose s*l + 36 = 5*l - 5*j, 3*l - 27 = 2*j. Solve 2*t - 4*t + 1 = -p, 0 = p - 4*t + l for p.
5
Let g be 24/(-2) + (4 - 2). Let t(z) = -z**3 - 4*z**2 + 7*z + 3. Let b be t(-5). Let y = b - g. Solve -3*o = -y*q - 2*o - 14, -4*q + 4*o - 32 = 0 for q.
-3
Let o be (-4)/(-6)*9/(-6). Let v be o + (-1 - -1 - -19). Solve -3*x + 5*c + v = 0, 2*x - 2*c - 3*c - 17 = 0 for x.
1
Suppose -4*r - 9 = -2*k - 5*r, r + 11 = 2*k. Solve -3*y + 6 = 3*m, 2*m - 3*m = k*y - 14 for m.
-1
Suppose -4*o + 5 = 5*j, 4*o + 0 - 2 = -2*j. Solve -5*g = -3*i - 6, -3*i + o*i - g = -12 for i.
3
Let z(s) = -s - 2. Let u be z(-3). Let j be 1 - u*2*-1. Let f = -2 + j. Solve -4*p + 2*b + f = 5, 2*b - 6 = 2*p for p.
1
Suppose -4 - 17 = -3*g. Suppose -w = 2*u + u - g, w = 4*u. Solve -4*m = -w*o - 24, 3*m = 10 + 5 for o.
-1
Let z be -1*2/(-4)*12. Let x = -2 - -6. Solve -5*b = 4*i - z, 0 = -i - x*i + 20 for b.
-2
Let z = 4 + -1. Suppose 4*l + z = -w, 5*l = 2*w - 9 - 11. Let c(r) = 2*r - 5. Let a be c(5). Solve -h - h - a*i = -15, 4*i + 21 = w*h for h.
5
Let b(j) = j**3 + 7*j**2 + 6*j. Let k = 2 + -6. Let n = -10 - k. Let a be b(n). Solve 5*s + p - 12 = 0, a = -s - 5*p + 4*p for s.
3
Let r = -74 + 77. Solve -a - 9 = 5*t + 10, r*a = 3*t - 3 for t.
-3
Let h be (-5)/(180/(-8)) + (-4)/18. Suppose 0 = 2*n - 3*b - 9, -b - b - 6 = 4*n. Let f = 0 - n. Solve f*x = 4*x + 4*d - 24, -d + 2 = h for x.
4
Suppose -5*y + 3*b + 9 = 0, -5*b = y + y + 15. Solve 0 = 4*g - 5*r + 11, 4*g + r + 0*r - 7 = y for g.
1
Suppose -4*w - 15 = -7*w. Suppose -6 = 14*f - 16*f. Suppose 2*r = f*r - 3. Solve -w*x - 17 = -0*x + k, 5*x + 29 = r*k for x.
-4
Suppose 6 = 5*s - 2*s. Suppose -p + s*p = 0. Suppose p*o - 15 = -5*o. Solve -4 - 6 = o*v - 2*q, -q + 2 = 0 for v.
-2
Let t(g) = -g**3 - 7*g**2 - 7*g - 3. Let s be t(-6). Suppose -3*d + f + 4 = -d, -s*d + 28 = 4*f. Solve -4*o = 2*n + 12, -d*n - 3 = -5*n + o for n.
0
Let m be 2/4*(-7 - -11). Suppose m*i - 7*i = 0. Solve -4*z = -z - 5*p - 19, 3*z - 3*p - 15 = i for z.
3
Let z be -2*(1 - -1)/(-2). Solve -18 = 2*d + 3*v, -25 = d + z*d + 4*v for d.
-3
Let d = 1 - -2. Solve r = -d*c + 3*r + 6, -5*c - 2*r = 6 for c.
0
Suppose -5*h - 5 = -15. Suppose h*k + 3 = 5*k. Suppose -10 = -2*o + 4*z, o + 2*z = -2*z - k. Solve o - 1 = 4*g - 2*b, -g = 3*b + 3 for g.
0
Let n(r) = r + 7. Let d be n(-6). Suppose -a + 3 = d. Let h = a - -1. Solve f + 4*t = 3*t + 7, -h*f - 2*t = -18 for f.
4
Suppose 0 + 12 = 3*d. Let h be (-6)/4*(-14)/21. Solve -o + 2*o = u - 1, d*o + h = u for o.
0
Let a(m) = m**2 + 6*m + 5. Suppose 2*f + 3*g = -3*f - 39, -5*g = -2*f + 3. Let k be a(f). Solve -y = -k*y + 2*t - 18, -3*y = t + 6 for y.
-3
Let u(y) = y**2 + 7*y + 11. Let h be u(-8). Let r = 32 - h. Let d = r + -8. Solve j - 4*j + d*w + 22 = 0, -3*w - 15 = 0 for j.
-1
Let b = 127 - 115. Solve w - 5*i + 34 = 4*w, b = -w + 3*i for w.
3
Let q be (-7)/(-2) - (-3)/(-6). Solve 0*f + 10 = -2*y + f, 0 = q*y + 3*f + 6 for y.
-4
Let g(n) = 2*n**3 + 2*n**2 + 4*n + 3. Let t be g(-3). Let j be (18/t)/(2/(-20)). Solve 2*q - 2*u + 8 = 0, 4*q - 6*u = -j*u - 12 for q.
-2
Let p(h) be the third derivative of h**4/4 - h**3/6 + 8*h**2. Let n be p(4). Solve -5*u + 1 = 4*k, -2*k + 0*k + n = -5*u for u.
-3
Suppose 3*c = -5*j + 120, -2*j + c + 26 = -22. Solve j = -5*u - 4*v, -v - 5 = 4*v for u.
-4
Let a(m) = m**3 + 4*m**2 - 5*m + 6. Let n be a(-5). Suppose -2*q + 5 = -q. Suppose q*j = 2*j + n. Solve -5*o + j*x - 7*x + 20 = 0, -2*o + 14 = 4*x for o.
1
Let c(v) = 2*v**3 + 2*v**2 - v. Let s be c(1). Suppose z - 2*k = 3 + 11, 27 = 3*z - s*k. Let j be (-12)/(-2) + 0/z. Solve j = -2*d, 5*m + d + 4*d = -10 for m.
1
Let v = -15 - -17. Solve v*l = h - 0*h + 3, -2*l + 7 = 3*h for h.
1
Let i be (-6)/4*8/(-6). Suppose 0 = -3*z - 4*h + 38, 108 = 4*z - 2*h + 28. Let b = z - 13. Solve -t = 2*c - 5*c + i, b*c = -t + 6 for t.
1
Let w(m) = -m**2 - 9*m + 14. Let a be w(-11). Let l = 11 + a. Suppose -l*j + 2*j = -4. Solve -q = j*d + 20, d + q + q + 12 = 0 for d.
-4
Let z be 20*(-1)/(5/2). Let y be (-88)/z - (1 - 2). Solve s = -5*o + 2 - y, -o = 2*s + 2 for o.
-2
Let g(s) = 19*s - 11. Let a be g(1). Solve -5*z + 4*u = -32, 0 = 3*z - a*z + 5*u + 35 for z.
4
Let u(c) = -3*c - 4. Let t be u(-3). Let v(q) = q**3 + 10*q**2 - 13*q - 15. Let z be v(-11). Solve 0 = -m + z*k - 3*k - 1, -5*m + t*k = -10 for m.
3
Let a be 7 - 8 - 1*-1. Let c = 3 - a. Solve -5*i - o = -0*i - 21, c*i + o = 11 for i.
5
Suppose 4*u + i = 5*i, 0 = -5*u + 2*i - 9. Let g be ((-1)/u)/(1/6). Solve g = -c - o, -4 = 5*c - 5*o - 34 for c.
2
Let n(t) = -t**3 + 8*t**2 - 8*t + 7. Let r be n(7). Suppose 0 = -r*d + 5*d. Let h be 0 - -1 - (2 + -2). Solve 4*o + 8 = d, 2*a - 4*o = h + 3 for a.
-2
Suppose 35 = 39*n - 32*n. Suppose 3*d = 2*d + 4. Solve -4*b - 26 = 5*t, 8*t - n*b - 12 = d*t for t.
-2
Let d(s) = 2*s**2 + 9*s - 8. Let u be d(-6). Solve p + 0*p + 2*m = u, -3*p = 3*m - 18 for p.
2
Suppose -6*z = -15 - 15. Solve -d = -5*t + z, 5*d + 2*t = 4*d + 2 for d.
0
Suppose 4*k + 36 = d - 1, 2*d + 5*k - 100 = 0. Solve -3 = -3*w - 3*z, 0 = -5*w + 7*z - 2*z - d for w.
-4
Let f(p) = -5*p + 2. Let g be f(-3). Let t = -17 - -28. Let d be 0 - -1 - (0 + -4). Solve d*h - g = 4*a, -4 - t = -h - 5*a for h.
5
Let a = -80 - -80. Solve -5*x - y - 11 = a, 0 = -x + 5*x - y + 16 for x.
-3
Let v be (-75)/(-20) + 1/4. Suppose 0 = -n + 2 + v. Suppose -j = 2 - n. Solve 9*g + 2*t - 29 = j*g, -8 = -2*g + t for g.
5
Let o be 32 + 2/(5/(-5)). Solve -2*p = 4*s + 3*p - o, 0 = -p + 2 for s.
5
Let f be (5/5)/((-1)/(-3)). Let u be (3 - 0) + f - -1. Solve -5*k - 35 = -5*o, 3*o - 31 = 4*k - u for o.
4
Let y be (-4)/10 - 32/(-5). Suppose y*t - 15 = t. Let d(g) = -g**2 - 10*g - 6. Let z be d(-4). Solve -z = -3*o + t*p, 2*o + 0*p + p - 9 = 0 for o.
5
Let x be 68/(-11) - 2/(-11). Suppose 0 = -6*q + 3*q + 3*j - 33, -2*j = -3*q - 28. Let s = q - x. Solve -2*l + 8 = 4*c, l + 2*l - 12 = s for c.
0
Let f = 1 + 4. Suppose -27 = h + 2*h. Let t = h + 9. Solve f*y - 33 = -4*a, t*y - 2*y = -a - 8 for a.
2
Suppose 0 = 5*f - 14 - 1. Solve -j - 2*m = -f*j + 16, 28 = 5*j - 2*m for j.
4
Suppose 0 = 2*v - 5*v - 12, 5*t - v - 19 = 0. Solve -t*a + 10 - 23 = w, w - 3 = a for w.
-1
Let o(f) = 2*f**2 + 6*f + 5. Let s be o(-3). Solve 5*v = -z - 6 - s, 2*z - v = 0 for z.
-1
Let j = -19 - -22. Let c be j - ((-2)/2 + 1). Solve -i + 2*w - 2 = 0, -c*i + 5*w - w = 2 for i.
2
Let k be 2 + 4/(-10) + 2/5. Solve -g = y + 1 + k, 3*y - 4*g - 5 = 0 for y.
-1
Let x be 2 - 0*3/9. Suppose 7 = -h + x*h. Suppose 2*z - 4*z - 4*b + 4 = 0, 6 = 3*z + b. Solve -3*j = -3*o + 3, 0 = z*j - h*j + 10 for o.
3
Suppose 0*x - n + 12 = 4*x, 0 = -5*x - 4*n + 15. Solve -16 = 3*l + 5*h, x*l - l - h = -2 for l.
-2
Suppose b - 1 = 3, 0 = 4*o - 5*b + 20. Solve 0 = 4*g - o*g - z + 2, -5*g + 2*z = 1 for g.
-1
Let z be (-3 - -4) + 1*3. Suppose 5 + 3 = z*t. Let i be -5*4/(-30)*12. Solve -2*q = 4*n + 4, i = -n - t*n + q 