k for k.
4
Let t = 32 + -15. Suppose 7 = -2*u + t. Suppose -17 = -4*j + f, -2*f = -j - f + u. Solve 9*d = j*d for d.
0
Let p be (-3)/(-2) - 3/(-6). Let x be 4 + -8*1/p. Solve x*n - n = 4 for n.
-4
Let l be 15/(-20) + (-35)/(-4). Suppose 2*w - l = -5*n, 3*w - n = w + 8. Solve 2 - w = z for z.
-2
Let r be ((-8)/(-6))/(16/36). Solve -13 = -r*o - 1 for o.
4
Let r(t) = t**2 + t. Let y be r(1). Suppose 8 = y*h - 0*h. Solve 4*v = h - 24 for v.
-5
Let s = 5 - 3. Let z(o) = -2 - 5 - o**2 + 1 + 5*o + 0. Let k be z(3). Solve i = -k*i - s for i.
-2
Let a = 13 + -12. Let b = 1 + a. Solve 7*q - 20 = b*q for q.
4
Let p be -3 + 6 + 12/4. Solve -p = 4*b - b for b.
-2
Let k be (-7)/((-42)/4) + 58/3. Suppose -s + 0*s = -9. Solve 0 = 4*g - s*g + k for g.
4
Suppose -5*z - 20 = 0, -x + z + 24 = 4*x. Solve -x*q + 5 = -3 for q.
2
Let d be (-14)/(-3) - 4/6. Solve -d*z = -7*z - 15 for z.
-5
Let a(n) = 2*n + 2*n - 8 + 4*n + n**2. Let c be a(-10). Suppose 3*i + 0 = c. Solve -2*h - i + 2 = 0 for h.
-1
Suppose 3*k = 3 + 3. Solve 0 = -q - 1 + k for q.
1
Let p be 5 + -4 + 2 + -5. Let k be (22/4 + -2)*p. Let h = 9 + k. Solve h*q + 2 = q for q.
-2
Let k be (-6)/(-4)*(-14)/(-21). Solve 2*m - 11 = -k for m.
5
Let x(c) = c**2 - 2*c - 3. Let q be x(3). Suppose 5*r - 7 - 8 = q. Let k be 2/(4/42*r). Solve 3*u + k = -8 for u.
-5
Let c(p) = -8*p. Let f(w) = -7*w. Let t(v) = 6*c(v) - 7*f(v). Let b be t(5). Solve -m = -b*m for m.
0
Let o be 2/3*3 + 2. Solve o*p - 8*p = -12 for p.
3
Let h be (-25)/4 + 1/4. Let q(b) be the second derivative of -b**5/20 - 5*b**4/12 + 2*b**3/3 + 15*b. Let w be q(h). Solve 6*c = 3*c + w for c.
4
Suppose 0 = 3*r - r - 5*o + 21, 5*r - 5*o + 15 = 0. Solve 7*s + 5 = r*s for s.
-1
Suppose 6*b + 7*b - 195 = 0. Solve -b = -g - 2*g for g.
5
Suppose 2*t - c = 10, 4*t - 28 = 5*c - 2. Suppose -t*o = -3*o - i, 4*o = -i + 5. Let w be ((-5)/(-3))/((-1)/(-3)). Solve o = l + w for l.
-4
Suppose -3*m = 13*m - 0*m. Solve m*h - h = 4 for h.
-4
Suppose 5*u = l + 60, l - 7 = -2*u - 2*l. Let q = -3 - u. Let a be q/(-7) + 1*4. Solve 0 = 2*n - a*n for n.
0
Suppose -2*r + 2*m - 26 = 0, 3*m = -m + 4. Let l = 15 + r. Solve l*k = -1 + 10 for k.
3
Let v(d) = -d**2 + 6*d + 9. Let f be v(7). Solve -f*s + 7*s - 5 = 0 for s.
1
Let m be 3 + (1 - 3/3). Suppose -4*j - 3*n = 4, 3*j + 8 = -j - 4*n. Solve -j = -g + m for g.
5
Let g(p) = -p**2 - 9*p + 2. Let w be g(-8). Suppose -3*q + w = -2. Solve -5*s = -q + 14 for s.
-2
Let i = -10 + 13. Solve d = -i + 8 for d.
5
Let o(z) = -z - 6. Let w be o(-10). Let k = 4 - w. Solve 3*a = -k + 12 for a.
4
Let v be (-5)/10*0/1. Suppose 3*a = -v*a. Solve a = -0*f - 2*f + 10 for f.
5
Let p be (-3)/3 + (-72)/(-18). Let l = 2 + -2. Solve 0*h - p*h = l for h.
0
Suppose 5*y + 8 = -2*h, 0 = y - 5*h - 9 - 11. Solve p - 4*p - 3 = y for p.
-1
Let s be (-9 - -9)/(-2 - 0). Solve s = -b + 3 for b.
3
Suppose 8*u = 2*l + 3*u - 2, -4*l + 2*u + 4 = 0. Solve -2*j + 3*j + l = 0 for j.
-1
Suppose 3*q = 7*q. Solve q = -2*y + 11 - 1 for y.
5
Let s = -39 + 43. Solve -s*y + 0 + 12 = 0 for y.
3
Suppose -x = x. Solve 2*a - 8 + 0 = x for a.
4
Let y = -4 - -7. Suppose y*i - 4*c = 1, 4*i + 3*c + 44 = 12. Let r be (-7)/((i - -3)/2). Solve 0 = 4*w - 5 - r for w.
3
Let x = -11 - -18. Suppose 0*t + t = x. Solve t + 8 = 3*j for j.
5
Let t(k) = -k**2 + 2*k - 1. Let u be t(1). Let l = 188 - 185. Solve 6 = l*w - u for w.
2
Let v be 3/4 - (-3)/(-4). Suppose v = -3*p - 1 + 7. Suppose -p = 2*j - 16. Solve 0 = 5*q - j - 3 for q.
2
Suppose -4*l + h = -10, l = -3*l - 3*h + 18. Solve 0*r - r = l for r.
-3
Let k = -2 - 0. Let z = k + 5. Suppose d = -z*d. Solve 5*s = -d*s + 20 for s.
4
Let d(t) = t**2 + 4*t + 1. Suppose -p + 3*s - 19 = 0, -s - 9 = p - 2*s. Let c be d(p). Suppose g = 3 + c. Solve 0 = i - g*i + 9 for i.
3
Suppose 1 = 4*u - 7. Solve 0 = -5*g + u*g - 6 for g.
-2
Let i = 11 + -8. Suppose -3*t - 3 = -6*t. Solve i*n + t + 14 = 0 for n.
-5
Suppose 0 = 2*p - 12 - 28. Suppose 6*f - p = 2*f. Solve -f*b + b = 0 for b.
0
Let v be (6/2)/((-3)/(-3)). Solve -9 - 3 = v*y for y.
-4
Suppose -3 = -4*n + 1. Suppose 4*h + w + 7 = -7, 2*h = w - 10. Let v be (-4 + n)/(h/4). Solve 9 - v = 2*a for a.
3
Suppose 0 = -c - 4*u + 9, 4*c - 2*u - 18 = -0*u. Solve -c*t + 0 + 10 = 0 for t.
2
Suppose -4*c - c + 5 = 0. Solve -c + 9 = 4*q for q.
2
Let s(x) = x**3 - 8*x**2 - 10*x + 7. Let u be s(9). Let v = u - 0. Let z = v - -2. Solve -3*b - 2*b - 10 = z for b.
-2
Suppose -3*b + 11 = -2*j + 36, 5*b = -4*j - 27. Let k(n) = n**3 + 8*n**2 + 6*n + 5. Let i be k(b). Suppose -3*a = -5*a + i. Solve a*x = 2*x for x.
0
Suppose 15 = 8*r - 3*r. Let t(a) = a**2 + a. Suppose 0*k = 4*k - 4. Let v be t(k). Solve -v*y - 3 = r for y.
-3
Let v be (-4 + (-3)/(-1))*6. Let z = v + 9. Solve 12 = -d - z*d for d.
-3
Let b be (-4)/(-8)*(-1 - -1). Suppose -5*d - 5*c + 65 = 0, -5*d + 69 = -c + 2*c. Suppose -z = 4*a - d, a + 3*z + 7 - 5 = b. Solve -a*r + 13 - 5 = 0 for r.
2
Let b be (-4)/(-5)*25/10. Solve 2*m - 16 = -b*m for m.
4
Suppose -5*r + 11 = 6. Solve 0 = -m - r for m.
-1
Let u be 1/(-1) - (-1 - 2). Suppose -3 = u*j + 17. Let y be 304/20 + 2/j. Solve -4*a = -a + y for a.
-5
Suppose -2*b + 12 + 2 = 0. Let h(y) = 2*y**2 - 7*y - y**2 + b + 4*y. Let v be h(6). Solve 6*g = g + v for g.
5
Suppose -4*u + 8 = -2*k, u - 5*k = -0*u + 20. Solve u*r + 5*r - 5 = 0 for r.
1
Let m be -10*2*(-2)/(-8). Let v(f) = -f**3 - 6*f**2 - 5*f - 1. Let p be v(m). Let n(a) = -2*a. Let s be n(p). Solve -2*q - s = -0 for q.
-1
Let i = 11 - -2. Suppose -4*z + 18 = 2*p - 14, -2*z + 4*p + 26 = 0. Let s = i - z. Solve 2*o + 2 = -s for o.
-3
Let t(b) = b**3 + 25*b**2 - 27*b - 23. Let y be t(-26). Solve -3*m + y = 12 for m.
-3
Let h(i) = -2*i**2 - 20*i + 5. Let u be h(-10). Suppose 0 = -2*y + u*r - 11, 6*y = 3*y - 2*r + 12. Solve -y*z = -4*z - 6 for z.
-3
Let q(r) = -r**2 - 10*r + 3. Let l be q(-6). Let v be (-40)/(-18) + (-6)/l. Suppose -3*z + 9 = 0, -v - 2 = 4*a - 4*z. Solve a*s + 3*s + 5 = 0 for s.
-1
Suppose -2*d + 15 = -15. Let a be 9/d - (-8)/20. Let s = 13 - 5. Solve -a = -3*h + s for h.
3
Let t = 15 + -4. Let n = t + -16. Let v = 8 + n. Solve -v*d = -8 - 4 for d.
4
Let f be (-26)/(-6) + 5/(-15). Suppose -k = -2*l + 7, 3*k - 7*k = f. Suppose 3*y - l*u - 8 = 4*y, 4*y + u - 12 = 0. Solve -25 = -y*r + 9*r for r.
-5
Let m(s) = s**2 + 3*s - 16. Let c be m(-6). Solve 3*n - 3 = c*n for n.
3
Let u = -38 - -40. Let v = -6 + 8. Suppose -5*j + 2*f + 11 = 1, 0 = -j + 2*f + v. Solve 0 = -u*g + 4*g - j for g.
1
Let j(v) = 3*v + 2*v - 4*v + 5*v**2. Let o be 6*3/6 + -2. Let x be j(o). Solve -20 = -x*f + 2*f for f.
5
Let f = 7 - 4. Solve -3*v - f = -6*v for v.
1
Let x = -73 - -83. Solve 5*t - x = 3*t for t.
5
Let n(w) = w + 5. Let v be n(4). Solve -v = q - 4 for q.
-5
Suppose 7*q + 8 = 9*q. Solve -q*j + 4 = -8 for j.
3
Let n be (10 + -1)*(-26)/(-117). Solve 2*a + n*a = 16 for a.
4
Suppose -4*f = -5*s + 11, -4*s = -6*s + 6. Let h be 3 + (-1 - 2) + f. Solve -x + 2*x = -h for x.
-1
Suppose -2*a + 15 = a. Suppose -3*v - 3*f - 29 = -71, 0 = 4*v + a*f - 55. Suppose -6 = 2*t, 2*t = 4*g - 3*t - v. Solve 0 = -g*s - s + 2 for s.
2
Let l = -6 - -2. Let p be (-1)/l + 33/12. Solve p*j + 9 = -0*j for j.
-3
Let z be 6/((3/2)/1). Let m(a) = -2*a**2 - 4 - a + 3*a**2 + 12 - 6*a. Let t be m(6). Solve -z*o = 2 + t for o.
-1
Let h = 2 - 2. Let j(y) = y**3 - 10*y**2 + 7*y - 3. Let w be j(10). Let u = w - 47. Solve -4*k + h*k - u = 0 for k.
-5
Let p be 0 + 3 + (1 - 2). Suppose 2*l = -2*i - 4, 2*i + p*i + 5*l + 10 = 0. Solve i*w - 10 = -2*w for w.
5
Suppose 0*c - 20 = -2*c + 2*n, -n + 65 = 4*c. Solve -c = -5*i - 0*i for i.
3
Let k = 44 + -44. Solve -2*n - n = k for n.
0
Suppose 0 = -2*q + 16 - 8. Solve q*i + 2 - 6 = 0 for i.
1
Suppose 5*t + 2*o + 1 = -3, 6 = -2*t - 3*o. Suppose -6*f + f - 4*u = -44, -3*f + 5*u + 56 = t. Solve -5*d + 2*d - f = 0 for d.
-4
Suppose -63 + 13 = -2*r. Suppose 3*a = -0*a - 3*j, 4*j = a - r. Suppose -2*s - 2*s + 2*k + 14 = 0, -5*s + a*k + 25 = 0. Solve 0 = u - 1 - s for u.
3
Suppose -3 = -5*g - 13. Let r be g/(-6) - 11/(-3). Suppose 0 = s + r*s - 25. Solve s*h + 6 = -14 for h.
-4
Let n(r) = r**3 + 36*r**2 + 34*r - 30. Let c be n(-35). Solve 3*z + 8 = c*z for z.
4
Let r be 12/(-1)*4/(-3). Suppose r = -0*y + y. Suppose -2*f - y = -6*f. Solve 5*m + f = m for m.
-1
Let f(x) = -x + 3. Let