t y = -1 + 3. Suppose -y*v - v = -12. Solve -v = 2*k + 2*k for k.
-1
Let f = -2 - -1. Suppose b = 4*a - 39, b + 7 = a - 2*b. Let l be (a/(-4))/(f/2). Solve -1 = k - l for k.
4
Let a(h) = 24*h**2 - 1. Let u be a(-1). Let s = -6 + u. Suppose s = 3*t + 2. Solve -t*d = -2*d - 3 for d.
1
Let o(i) = -i**2 + 0*i - 1 - 6*i - 2. Let h be 30/(-3) + 3 + 3. Let b be o(h). Solve t + 20 = b*t for t.
5
Let u = 0 - -15. Let n be (-4)/10 + 246/u. Suppose -5*y + 0*y + 20 = 0. Solve -4*s = n - y for s.
-3
Suppose -4*y - 20 = 5*f - 9*y, 2*f + 2*y - 8 = 0. Suppose 3*v = 5*i - i + 14, v + 5*i + 8 = 0. Solve f*r - v*r = -2 for r.
1
Suppose -4*w + 4 + 0 = 0. Let i = 3 - w. Let y(x) = -x**2 - 14*x - 4. Let g be y(-13). Solve -h = i*h - g for h.
3
Suppose 0 = -0*i - 4*i + 48. Solve -f + i = -5*f for f.
-3
Let v be 0*2/2*1*-1. Solve v = 3*h + 2*h for h.
0
Let h = -8 - -11. Suppose -2*v = 4*x + 12, 2*v - 4*x - 4 = -0*x. Let m be (v - -3) + -1 + 2. Solve n = h - m for n.
1
Let v be 16/(-72) + -2*(-2)/18. Solve v = -0*h - 5*h for h.
0
Let l = 3 + -15. Let h be (-40)/l + 1/(-3). Suppose -4*y + 15 = h*k - 7*y, 0 = -5*k + y + 21. Solve k*o = -o for o.
0
Let n = -8 - -23. Suppose n = 2*z + z. Solve -z = -4*p + 3 for p.
2
Let b(t) = -4 + 5 - t - 1 - 1. Let v = 7 - 11. Let p be b(v). Solve p*r = 8 + 4 for r.
4
Suppose 2*n = -2*n - 5*s + 13, 5*n = -2*s + 29. Solve -y + 4 = n for y.
-3
Suppose 3*a + 2*a - 20 = 0. Let j be (-16)/(-6)*6/a. Suppose 0 = j*s - 16, 5*k - 2*s = 3*s. Solve -b = k*b for b.
0
Suppose -o = -0*h + h, -3 = -2*o - 5*h. Let g = o - -5. Solve 0*t + g*t = 20 for t.
5
Let h(r) = r + 0*r**2 + 0*r**2 + 3 - r**3 - 18. Let p be h(0). Let w = -7 - p. Solve z + z = -w for z.
-4
Let a(q) = -2*q - 8. Let b be a(-7). Let j = 11 - b. Suppose 3*l = t + 3 + 2, 27 = t + 5*l. Solve j*k = -2 + t for k.
1
Suppose 17 - 7 = 2*s. Suppose -2*o + 5*w = -26 - 12, -w - 31 = -3*o. Solve -11 - o = -s*r for r.
4
Suppose 2*d + 3*v = 14, 3*v - 3 = d + 2*v. Solve 2*s - 3*s = d for s.
-1
Suppose -5*i - b = -49, 2*i - 4*i - 4*b = -34. Solve -3*d = -6 - i for d.
5
Let b = -27 - -30. Solve 0 = -g - b*g - 16 for g.
-4
Let s(f) = f**2 + 3*f + 2. Let x be s(-3). Let p(k) = k**2. Let z be p(-2). Suppose -x*h + 4*h = z. Solve -4*y = -h*y + 6 for y.
-3
Suppose 4*g = 6 + 6. Suppose -18 = -y + g*r, -3*y - 1 = -0*r + 2*r. Solve -y*m = -0*m - 9 for m.
3
Let w be (2 - (-10)/(-6))*9. Suppose 2 = -m + w*m. Suppose v + c = m - 0, -4*c = -2*v + 8. Solve -v*l + 5 = 3*l for l.
1
Let m(t) = 3*t - 1. Let l be m(3). Let v = 12 + l. Suppose -36 = -4*y - i - 3*i, -6 = y - 2*i. Solve -z = y*z - v for z.
4
Let p(h) = -h**3 - 9*h**2 + 2. Let z be p(-9). Solve 0 = -o - z*o + 15 for o.
5
Suppose 3*n + 96 = -57. Let s be -2 - n/(-3)*-1. Let z be ((-12)/s)/((-4)/10). Solve z + 1 = -f for f.
-3
Let w be (-12 + 10)*(-3)/2. Suppose 14 = r - w*i, -6*i = -4*r - 4*i + 76. Let b(y) = -y**2 - 6*y. Let o be b(-6). Solve o = 2*l - 7*l + r for l.
4
Suppose -3*c + 9 = -0. Suppose -2*a + c*a = 5. Suppose 2*j = -d - 2*d + 6, a*j = -2*d - 7. Solve d*f = 6 + 2 for f.
2
Suppose 5*p - 7 = 23. Suppose -5*y = 3*c - 45, 0 = -2*y + c - 2*c + 17. Let i(s) = 4*s**3 - 2*s + 1. Let u be i(1). Solve -y*j = -u*j + p for j.
-2
Suppose 12 = 4*o - o. Suppose o*b + 3*i - 24 = -0*b, 5*i = 4*b + 8. Solve 0*v = v + b for v.
-3
Suppose -m = -1, 0*h + 65 = 4*h + 5*m. Solve u + h = -2*u for u.
-5
Suppose -2*a - 102 = -5*h, -4*h + 3*a = -12 - 71. Solve t = -3*t + h for t.
5
Let o(z) = -z**2 - 14*z + 20. Let l be o(-15). Solve l*k - 24 = 1 for k.
5
Let x = 20 - 18. Solve 0*c + x*c + 6 = 0 for c.
-3
Let b = -28 + 28. Let g = 12 + -7. Solve g*r + 7 - 2 = b for r.
-1
Suppose 5*m + 13 = 113. Suppose -u - 4*u = -m. Solve 2 = -3*p - u for p.
-2
Suppose -22*v + 17*v + 80 = 0. Solve v = 2*d + 2*d for d.
4
Let p(y) = -4*y - 12. Let f be p(-6). Let c be f/(-54) + 4/18. Solve c = -z - z for z.
0
Suppose 47*c = 53*c - 84. Let w = 16 + -9. Let z = -3 + w. Solve -z*a + 6 + c = 0 for a.
5
Let t = -1 - -6. Let q = -5 + 5. Let c(g) = -g**2 + g + 3. Let a be c(q). Solve a*y + 2*y = t for y.
1
Suppose 5*s + 5*h + 30 = 0, -2 = 2*s - h + 19. Let a = -6 - s. Suppose 4*m = -5*p - 25, 4*m + 3*p = -12 - a. Solve d + 2 = -m for d.
-2
Let n(f) = f**3 - 4*f**2 + f - 2. Let t be n(4). Let c = 41 + -37. Suppose 5*m = -c*k + 21, t*k - 8 = -0*k. Solve m = 4*d + 5 for d.
-1
Let i(v) = -v + 2. Let g be i(0). Let j(t) = -6 - 5 - g*t + 0*t. Let z be j(-8). Solve -z*m - 17 - 8 = 0 for m.
-5
Suppose -18 = -2*q + 6. Let v be (-3)/((-3)/q*3). Suppose -d - 3*d = -v. Solve -l - d = -5 for l.
4
Suppose 0 = 4*g - 3*g. Let k be 2/((4/2)/8). Solve g = 3*z + z - k for z.
2
Let j(o) = -o**2 - 19*o - 33. Let h be j(-17). Solve -2*i + h = -7 for i.
4
Let m = -8 - -10. Solve -1 = -x - m for x.
-1
Let m(j) = -j**3 + 6*j**2 + j + 2. Let y be m(6). Solve -5*q - 7 - y = 0 for q.
-3
Suppose -4*s = -4*d - 32, 5*d - d + 28 = 3*s. Solve 2 = -s*y + 10 for y.
2
Let j be (-5)/((-20)/8) - 0. Solve -y = j*y - 6 for y.
2
Suppose -45 = d - 6*d. Solve 2*h + h = d for h.
3
Let s = -25 + 45. Let f be (9 - -1)*1/2. Suppose 2*w = 2*i - 2*w + s, 0 = -5*i - f*w + 25. Solve i = -z + 3*z - 8 for z.
4
Let o(y) = y**3 + y**2 + 2. Let f be o(0). Let d be (-42)/(-4) + 9/(-6). Suppose -3*x + 2*l = 1 - d, -1 = l. Solve f + x = 2*g for g.
2
Let x(k) = k**3 + k**2. Let j be x(-1). Let u be 25/9 + 2/9. Suppose -16*b + 24 = -12*b. Solve j*h - b = u*h for h.
-2
Let n = 0 - -2. Suppose -n*b + 21 = b. Solve 2*y = b*y + 15 for y.
-3
Let i(r) = 10*r**2 - r + 1. Let b be i(1). Suppose 6 = 5*p + g, -p + 5*g + 5 = -17. Let d be -1 + -2 + 2 - -1. Solve p*m = -d*m - b for m.
-5
Let l(c) = -c**2 - 16*c + 3. Let h be l(-16). Let s be 15/h - (-2 + 1). Solve -x = -s*x - 10 for x.
-2
Let p = -15 + 9. Let o = p - -10. Suppose b = -o*b. Solve b = 2*a - 5*a - 3 for a.
-1
Let k be 6/15 - 92/(-20). Suppose 4*s + k*c - 2*c - 6 = 0, 2*s = 5*c - 10. Solve s = x - 5*x + 16 for x.
4
Let g(d) = -2*d - 1. Let k be g(-2). Solve c - 16 = -k*c for c.
4
Suppose 0 = -2*z - 2 + 8. Let v(w) = w**3 - w + 1. Let t be v(1). Solve z + t = -4*l for l.
-1
Suppose 5*y = l + 100 + 29, y - 222 = 2*l. Let u = -70 - l. Let g = 59 - u. Solve -r + 5*r + g = 0 for r.
-5
Let o be ((2 - 1)*-3)/(-1). Solve 10 = o*r + 1 for r.
3
Let i be 38*(1 - (-6)/(-4)). Let m = i + 39. Solve m = 4*j + j for j.
4
Let h(l) = 2*l - 1. Let r be h(-3). Let u(m) = m + 9. Let a be u(r). Solve -a*d - 2 = -0*d for d.
-1
Let z = 2 - 1. Let l(x) = x**3 + 6*x**2 - 8*x - 4. Let m be l(-7). Suppose -m*u + 3 + 9 = 0. Solve -u*b + z = 17 for b.
-4
Let j(y) be the third derivative of 3*y**2 + 0*y**3 + 0 - 1/12*y**4 + 0*y. Let l be j(-9). Solve 4*u + l = -2 for u.
-5
Let u = 23 - 19. Solve -u*o + 16 = -0*o for o.
4
Let b = -5 + 8. Let l be (6/(-5))/(1/(-5)). Suppose -b*r = -0*w + 2*w - l, 5*w = 2*r - 4. Solve w = -5*q - 9 - 6 for q.
-3
Suppose 2*t + t = h + 10, -6 = -t + h. Let v(z) = -z**2 - 7*z + 11. Suppose 0*j = 2*j + 16. Let r be v(j). Solve t*k - r = 1 for k.
2
Suppose 2*y - l + 9 = 2*l, 5*y + 4*l - 12 = 0. Let q be 10/5 + y + 0. Solve 0 = -q*w - 2*w + 8 for w.
2
Let c be -1 + (0 - (2 + 1)). Let f be (c/(-6))/(-1)*-3. Solve -3*u + f = -2*u for u.
2
Let t = 7 + -3. Suppose -f - t*f = -4*b - 25, -3*f + 22 = -b. Solve 3*r + f + 3 = 0 for r.
-4
Let y = 36 + -34. Solve y*q + q = -9 for q.
-3
Let m be -3 + 7 + 3 + -5. Solve m*i + 11 = 3 for i.
-4
Suppose -2*f + 18 = -2. Let c be 10/(-4)*(-16)/f. Suppose 4*b - 2*m - 22 = 0, -2*b + 12 + 14 = -c*m. Solve r = b*r + 8 for r.
-4
Suppose 0 = 3*a - 5*a + 8. Let f(s) = s - 2. Let k be f(a). Solve -k*n - 2*n = -12 for n.
3
Let t = -85 - -97. Solve 7*d = 3*d - t for d.
-3
Suppose -5*x + 26*x = 17*x. Solve x = h + h + 4 for h.
-2
Suppose -4*w + 28 = -2*x, 2*x - 4*x - 34 = -5*w. Let z be -1*2/w*0. Solve 0*t + t + 2 = z for t.
-2
Let a(i) = -i + 11. Let w be a(8). Suppose c - 9 = 5*u + 1, 0 = -2*c. Let j = -1 - u. Solve -w*n - 10 + j = 0 for n.
-3
Suppose 0*o + 15 = 5*o. Solve 16 = o*a + a for a.
4
Let v be 537/12 + (-1)/(-4). Suppose 2*c = w - 3*w + 30, 4*c - w - v = 0. Let h be (-1)/(0 - (-2)/(-4)). Solve -h*j + c = j for j.
4
Let q(v) = -15*v + 111. Let t be q(7). Solve t = -a + 5 for a.
-1
Let j be 40/6 + (-4)/(-12). Let l = j + -1. Solve l*x - x = -20 for x.
-4
Let x be (72/(-84))/(2