 q for j.
-1
Suppose -q + 6 = 3. Solve -q*c = -c + 4 for c.
-2
Suppose -5*u + 42 = k + 2*k, -44 = -5*u - k. Let n = u + -3. Solve n = i + 1 for i.
5
Let h = 25 + -17. Solve h = -4*s - 0*s for s.
-2
Suppose -9 - 18 = 3*u. Let t be (3/(-2))/(u/(-12)). Let i be 7/2 + (-1)/t. Solve -i*s - 4 = -0 for s.
-1
Let u(m) = m**3 + 11*m**2 - m - 10. Let j be u(-11). Let i = 1 - 1. Let t = 0 - i. Solve t = d - 6 + j for d.
5
Suppose -20 = -2*g + 5*m, -m - 16 = 3*g + 3*m. Solve -s + 2*s + 1 = g for s.
-1
Let j(b) = 2*b + 33. Let f be j(-15). Solve 0 = r + f*r for r.
0
Let u = 27 - 23. Solve 0 = i - u - 0 for i.
4
Let q be (15/(-10))/(2/(-4)). Suppose -q*t = -0*t - 75. Suppose -2*o + t = 4*m + 7, 4*o - 14 = 3*m. Solve -m*u - 3 = 5 for u.
-4
Let r be (-30)/(-3 + (-3)/(-2)). Let n = -8 - -17. Let i = n - 5. Solve r = -a - i*a for a.
-4
Suppose -5*w + 20 = 0, 10 = -5*i + 2*w + 3*w. Suppose -p = -i*p - 1. Let s = p - -9. Solve 3*g = -g - s for g.
-2
Let w(s) = -s**2 - 5*s. Let r be w(-5). Solve -4 = -d - r for d.
4
Let u(p) = -4 - 1 + 0 - 2*p + 1. Let h be u(-3). Let r be 2/6 - (-16)/6. Solve r*f + 5 = -h*f for f.
-1
Let a = 7 - 3. Suppose -3 = 3*k + f + 4, 3*f = 2*k + 23. Let c = k + 6. Solve a*s - c = 14 for s.
4
Let r be 0 + -2 - 0 - -2. Solve -2*c + r = 6 for c.
-3
Suppose 3*d = -4*q + 5*d + 8, q = -d - 4. Let k be 1 + (-1 - 0) - -3. Suppose 3*s + 24 = 3*y, q = -y + k*s - 8*s + 32. Solve y = o - 5*o for o.
-3
Let j(f) = -f**2 + 6*f - 3. Let p be j(5). Solve 1 = p*w + 3 for w.
-1
Let p be 2 + -2*3/6. Let b(r) be the second derivative of 5*r**4/12 - r**3/3 + r**2/2 + r. Let i be b(p). Solve o - 20 = -i*o for o.
4
Let c be 9/(0 + 3) - 3. Suppose -b + 3*b - 6 = c. Solve -b*r = r + 12 for r.
-3
Suppose 3*z - 3*d - 12 = 0, 3*d + 4 = 2*z - 2. Solve 2*s + 0*s = -z for s.
-3
Let k be 2 + -5 - (-18 + 3). Suppose -k = -5*r + r. Solve -5*y = -r*y - 8 for y.
4
Suppose -4*a = -3*a. Suppose p + a + 5 = -5*n, n + 1 = 0. Let s = 11 + -8. Solve p = 8*g - s*g for g.
0
Suppose -4*o = -o. Suppose o = -3*u - 0*u + 6. Suppose -3*z - u*z = -35. Solve h - 4 = -z for h.
-3
Let l(o) = o**2 + 5*o + 4. Let n be l(-3). Let d(m) be the first derivative of -m**3/3 - 3*m**2/2 - m + 3. Let s be d(n). Solve -2 = -w - s for w.
1
Let d be 7/(-14)*(-10 - 2)/1. Solve d = -4*v + 18 for v.
3
Let t be 6/2*16/(-6). Let q be 48/26 + t/(-52). Solve 0 = -q*f + 6 - 2 for f.
2
Suppose 5*u - 31 = -3*a, -3*a - 5*u = -7*a + 18. Suppose a*r = 2*r + 10. Suppose 3*g - 7 = r*h, 4*h + g = 2*g + 11. Solve -3*l = -h + 1 for l.
1
Suppose 0 = x + 1 - 9. Let a = x + -3. Solve 5*s - 5 = a for s.
2
Let a be 188/(-6) - 4/6. Let j be a/(-17) + 12/102. Solve 2*x + 0*x - j = 0 for x.
1
Let b(q) = q**3 - 5*q**2 + 6*q - 5. Let k = -5 - -9. Let v be b(k). Let o(c) = -c + 1. Let u be o(-6). Solve -v*g - 16 = -u*g for g.
4
Suppose 5*p - 24 = 2*p. Solve -p = -a + 3*a for a.
-4
Suppose 24 = -3*i + 3. Let p = i - -10. Solve 0 = o - 5 + p for o.
2
Let z(y) = -y**3 - 10*y**2 - 9*y + 3. Let c be z(-9). Suppose -w - 4 = -o + c, 0 = -2*w - o - 23. Let g be (-2)/(-5) - 36/w. Solve -2*q + q = -g for q.
4
Let d(r) = -r**3 + 9*r**2 + 4. Let j be d(9). Solve -9*w + j*w = 0 for w.
0
Let j(f) = f**2 + 5*f + 2. Let b be j(0). Solve 0 = b*s + 2*s for s.
0
Let g(a) = 4*a + 2. Let m(o) = -o - 1. Let s(j) = -g(j) - 3*m(j). Let v be s(-1). Solve 2*l + 8 = -v for l.
-5
Let n(i) = 4*i - 6 + i + 4*i + 2*i - i**3 + 9*i**2. Let b be n(10). Solve c = b*c for c.
0
Suppose 4*l - 4*h - 20 = 0, 2*h = l - 0*h - 7. Solve 0 = -6*n + l*n - 3 for n.
-1
Let b be (-29)/(-5) - 5/(-25). Suppose 4*n - b = n. Solve 0 + n = f for f.
2
Let d = 59 + -57. Solve -d*n = -5*n - 3 for n.
-1
Suppose y + 22 + 22 = -3*i, 46 = -3*i - 2*y. Let w be (4/8)/(1/i). Let h(p) = -p**2 - 8*p - 3. Let q be h(w). Solve -4*k = -2*k - q for k.
2
Let v(m) = m**3 - 8*m**2 - 9*m + 5. Let y be v(9). Suppose y*h - 6 = 2*h. Solve h*s - s + 1 = 0 for s.
-1
Suppose -4*a + 7*a - 30 = 0. Solve -10 = -4*l + a for l.
5
Let a be (-12)/(-54) - (-14)/18. Solve -3*k - 13 = -a for k.
-4
Let z be 5/(-45) - 74/(-18). Solve -z + 3 = j for j.
-1
Let t = 6 + -5. Suppose 2*b = b + t. Solve -11 = 4*z + b for z.
-3
Let d(m) = m - 5. Let r be d(5). Let l be (2 - (r - -2))/(-1). Suppose 5*h - 2 = 4*g, -5*g - 2*h - h + 16 = l. Solve -3 = g*s + 1 for s.
-2
Let r(p) = -p**2 + 15*p + 21. Let v be r(16). Solve -22 = -v*m - 7 for m.
3
Let i(a) = -15*a**2 - 2*a + 12*a**2 + a + a**3 + 3. Let l be i(4). Solve 6*r = r + l for r.
3
Let j(w) = 13*w**2 + 9*w - 24. Let m(d) = -3*d**2 - 2*d + 6. Let s(y) = 2*j(y) + 9*m(y). Suppose 6*b + 0*b = 0. Let t be s(b). Solve t = 3*c - 5*c for c.
-3
Suppose -5*s - 13 = -4*f, 5*f + s - 12 = 3*s. Solve -f = 4*j + 6 for j.
-2
Let w be (0/1 - -2)*2. Suppose -5*z = w*c - 67, -5*c + 10*c + 55 = 3*z. Solve q = 4*q + z for q.
-5
Suppose -4*m = 2*z - 4 - 10, 2*z = m - 16. Let w = -6 + m. Suppose -20 = -2*d + 2*o, 3*d + 2*d - o - 58 = w. Solve 2*p + 2*p + d = 0 for p.
-3
Let j(r) = r + 9. Let n = -18 + 9. Let s be j(n). Solve -w + s = -3 for w.
3
Suppose -7*t + 20 = -3*t. Suppose -64 = -4*s - 4*q, -3*s + 53 = 7*q - 3*q. Suppose -2*p + s = -n, t*p + 0*p = 4*n + 20. Solve -f = -5*f + p for f.
2
Let y be (3 + -2)*(4 + 0). Solve 5*m + y + 6 = 0 for m.
-2
Suppose -6 = -o - o. Solve n + o*n - 8 = 0 for n.
2
Let b be 0*-2*(-3)/24. Solve -2*h + 4*h - 10 = b for h.
5
Suppose 5*c - 23 = -m, -5*c = 2*m + 2*m - 32. Solve -r = -m*r for r.
0
Let p(a) = -2*a - 26. Let k be p(-13). Solve k = -2*l - 4 for l.
-2
Let f = -7 + 5. Let o = 1 - f. Solve o*k - 20 = -k for k.
5
Let j = 5 + -3. Suppose j*a - a + 4 = 0. Let u = a + 4. Solve -5*d + 10 = -u for d.
2
Let b be ((-15)/(-5))/3*0. Solve b*s - 2*s = 0 for s.
0
Suppose 27*p + 4 = 28*p. Solve -5*t - p = 1 for t.
-1
Let x(y) = -y**2 + 5*y + 3. Let a be x(5). Suppose 6*i = -142 + 184. Let l = -2 - -3. Solve -l + i = -a*p for p.
-2
Suppose -3*m - 6 = -t + 13, -3*t + 35 = 2*m. Let g = t + -8. Solve g*h - 2 = 3*h for h.
1
Let o = -2 + -7. Let v = 7 - o. Let l = v + 9. Solve -l + 5 = 4*q for q.
-5
Let p be -2 + -29*(-1 - -2). Let w = -22 - p. Suppose -6*t = -3*t. Solve t*d - 3*d - w = 0 for d.
-3
Let t(g) = -2*g**3 - g**2 - 2*g + 12. Let w be t(0). Solve w = 2*d + d for d.
4
Let p be ((-1)/(-1) - -3) + -2. Let y = 1 + p. Solve 2*z = y*z - 4 for z.
4
Suppose -3*x - 4*c = -17, -4*c - 15 = -2*x - 37. Let t(b) be the first derivative of 4*b**3 + b**2/2 + b + 3. Let s be t(x). Solve -5*k + s = 2 for k.
2
Let l(w) be the third derivative of w**5/15 + w**4/12 + w**3/6 - w**2. Let z be l(-1). Suppose 0 = k - z. Solve 2*g = -k + 1 for g.
-1
Suppose -3*k - 9 = -4*k. Let n = 10 - k. Solve 0 = -3*b - n - 5 for b.
-2
Let v(j) = -j - 1. Let s be v(-4). Solve -4*a = -s - 5 for a.
2
Let c = 4 + 0. Let j be (-3)/(-4) + 5/c. Solve j*l + l + 6 = 0 for l.
-2
Let f = 3 - -1. Suppose 4*o = f*w - 8, 0 = -5*w - 5*o + 1 + 39. Solve -p + w = -0*p for p.
5
Let s(b) = -3*b - 4. Let n be s(-4). Let z(m) = m + 25. Let o be z(-22). Solve 0 = -o*i + n*i for i.
0
Suppose 3 = 2*l + 7, -3*m + 17 = -4*l. Suppose 3*c = 7*c + 4. Let v = m + c. Solve 0 = 3*k - v + 17 for k.
-5
Suppose -11 = -7*x + 24. Solve x*s = s + 20 for s.
5
Let y(c) = c**2 + 3*c. Let k be y(-4). Let i(b) = -b**3 - 16*b**2 - 16*b - 13. Let n be i(-15). Solve k = -2*r - n*r for r.
-1
Suppose -5*u - 6*u + 33 = 0. Solve i + 8 = u*i for i.
4
Let w = 6 + -6. Suppose w = -0*q + 2*q. Solve -8*m + 3*m = q for m.
0
Suppose 0 = -5*n + 9*f - 8*f + 22, 3 = f. Solve 5*v = -10 - n for v.
-3
Suppose -v = -0 - 4. Solve 4*b = -v + 12 for b.
2
Suppose d + 2 = 7. Suppose d*s = s. Solve -n + s = 2 for n.
-2
Suppose 2 = -d + 7. Suppose -11 = -2*f + 15. Solve -d*u + f = -7 for u.
4
Suppose -r + 12 = 3*r. Solve -2 = 4*s - r*s for s.
-2
Let t(y) = 11*y + 1. Let w be t(1). Let n = w - 7. Solve -n*m = -2*m for m.
0
Let h(u) be the first derivative of u**2 + 5*u - 1. Let l be h(-4). Let g(o) = o**2 + o - 4. Let j be g(l). Solve -5*x + j*x - 6 = 0 for x.
-2
Let n(z) = -z + 2. Suppose -y - 5*i = -0*y, 2*y - i - 11 = 0. Suppose 0 = -5*o + j, 0*o - y*j = -4*o. Let x be n(o). Solve x*a = -1 - 9 for a.
-5
Let t(h) = 5*h**3 - 2*h + 1. Let r be t(1). Suppose -5*g + 8 = -5*a - 32, 5*g + a - 58 = 0. Let z = g + -6. Solve 0 = r*p + p - z for p.
1
Let i be ((-5)/2)/((-2)/(-8)). Let 