-12 = -q*z - b*z for z.
3
Let g be (8/((-64)/6))/((-3)/12). Solve 2*c - g = 5*c for c.
-1
Let n(q) = q**3 - 4*q**2 - 4*q - 5. Let y(d) = d**3 + 7*d**2 - d - 2. Let v be y(-7). Let h be n(v). Suppose 0 + 2 = f. Solve -f*j + h*j - 8 = 0 for j.
-4
Let f be 318/(36/(-6)) + 1*4. Let n = f + 64. Solve -2*i = i - n for i.
5
Let q be (2 + 18)/4 - 2. Suppose 2*w - 5*o - q - 15 = 0, w - 2*o = 8. Solve -w*c - 12 = -7*c for c.
4
Suppose 5*q = -h - 4*h, 5*q + 4*h - 4 = 0. Suppose q*u - 67 = -j, j - 7 = -4. Suppose -3*s + 3*o = -30, -4*o + 3*o = -2*s + u. Solve 2*r + 2 = s for r.
2
Let h(y) = -y**2 - 6*y + 672. Let m be h(-29). Solve 4*q = m*q + 1 for q.
-1
Let u(f) = 3*f**3 + f**2 - f. Let o be u(1). Suppose -o*s - 5 = -35. Suppose p - 4*p - 3*v = -6, 2*p - v - s = 0. Solve -p*z + 0*z = -12 for z.
3
Let m(c) = 2*c**2 - 20*c + 29. Let s be m(9). Solve 3*z + 2 = s for z.
3
Suppose 53 = 3*s + 146. Let c = s + 44. Solve -5*h + 33 = c for h.
4
Let a be (28/35)/(2/10). Suppose 0 = -13*z + 44 + 8. Solve 0*l + z = a*l for l.
1
Let q(r) = r**3 + 6*r**2 - 2. Let s be q(-3). Solve -5*f + s = -0*f for f.
5
Suppose -9*i + 21*i = 15*i. Solve -10*n + 5*n - 5 = i for n.
-1
Suppose 5*n + 2 - 12 = 0. Let h be (2 - 1)*(1 + -1). Let g = h + 5. Solve n*q - g = -11 for q.
-3
Let v = 40 + -24. Solve 5*c = 1 - v for c.
-3
Suppose -15 = 2*l + 3*l. Let r be (-3 + (-5)/l)*-3. Suppose -7 = r*i - 15. Solve -3 - 1 = i*z for z.
-2
Let v be (-1)/(2/113)*(-2 - -4). Let y = 116 + v. Solve s = y*s - 4 for s.
2
Let a = 5 - 7. Let q be (-2 - -6) + -6 - a. Solve -5*o = -q*o for o.
0
Let j(u) = -15*u + 524. Let i be j(34). Solve 13*z - i*z = -5 for z.
5
Let j = 41 + -34. Suppose 5*g = j*g - 6. Solve 0 = 4*v - g*v - 4 for v.
4
Let f be 26/2 - (-1)/1. Let n = 18 - f. Suppose 5*z + 4*r - 69 = 3, -n*z = -3*r - 39. Solve -p + 4*p + z = 0 for p.
-4
Let q(o) = -o + 7. Let a be q(5). Suppose 11*h + 6*u = 6*h - 14, -5*u = 20. Solve -h*v = a - 0 for v.
-1
Suppose 0 = -3*d - 5*g + 25, -3*d = -g - 3 - 28. Solve -4*a + 6*a - d = 0 for a.
5
Let k = 0 + 3. Let p = 26 + -20. Let l = p - k. Solve l*f = 4*f + 3 for f.
-3
Suppose -6 = 3*h, -2*h - 10 = 2*p - 4*p. Suppose a = -p*a. Solve 2*j + 0*j + 6 = a for j.
-3
Let k be (-4)/10*30/(-3). Suppose 2*z = 3*z + k. Let v be 3*1/(-12)*z. Solve 2 + v = -i for i.
-3
Let s be (-3 - (0 + 1)) + 7. Suppose m - s*m - 5 = 3*a, -4*m + 4*a = -20. Solve -2*i + 8 = -m for i.
5
Let d = -4 - -12. Let i be (-2)/d - 2/(-8). Let w = i - -4. Solve -f = w - 5 for f.
1
Let z be 2/((9/18)/1). Solve 0 = -d + 8 - z for d.
4
Suppose -4*t + 3*z + 27 = 0, 3*z - 8 = -t + 4*z. Suppose -3*f = -4*x + 10, -6*f = -t*f - 3*x + 6. Solve -f*y + 6 = -4*y for y.
-3
Let m = 111 + -62. Let c be (-14)/m + 23/7. Suppose -2*s + 25 = c*s. Solve 4*t + s = -t for t.
-1
Suppose 5*y + 7 = 2*r, 36*y = 5*r + 33*y - 46. Solve 0 = 7*m + 10 + r for m.
-3
Let z be ((-108)/(-24) + -2)/(1/2). Solve -z*h - 143 = -168 for h.
5
Let q(b) = 2*b - b**2 - 4*b + 9*b - 2*b + 9. Let i be q(8). Let k = i + 23. Solve -o - k = o for o.
-4
Let u(a) = -a**3 - 6*a**2 - 5*a - 5. Let v be u(-6). Suppose -3*t = 5*k + 2*t + v, -4*t = 3*k + 11. Let p = 9 + k. Solve 0 = -p*x - 2*x - 6 for x.
-3
Let p(b) = b**2 + 5*b + 6. Let x be p(-4). Let l(f) = 2*f**2 - 6*f + 2. Let q be l(4). Suppose -2*a = -3*i - q, 4*i = -4*a + 7*a - 14. Solve 12 = x*u + a for u.
5
Let d be (-6)/(-5) - (-243)/135. Solve -5*o + d*o = 10 for o.
-5
Suppose 0 = 4*f - 7 - 13. Let o = 8 - 3. Solve o*r - 20 = -f for r.
3
Let h be (-10)/(-15) - 34/(-3). Let x be 0 - (-9 + 3 - -3). Let z(q) = 2*q - 4. Let s be z(x). Solve 0 = -s*p - p + h for p.
4
Let l(h) = h**2 + h + 3. Let p be l(3). Suppose 0 = 2*u - 0*u. Solve u*q - p = -3*q for q.
5
Let c = 177 - 177. Solve -2*a - 178 + 180 = c for a.
1
Suppose -y = -3*m + 4*y + 103, m - 3*y = 29. Let p = m + -26. Suppose h - 3 = 3*d - 7*d, 0 = -5*h - d + p. Solve 1 = -h*x - 5 for x.
-2
Suppose 25*s - 1344 = 9*s. Let q = 88 - s. Solve 0 = q*z - 0*z - 20 for z.
5
Suppose -5*f + 94 = -171. Let h = f - 51. Suppose -2*d = i, -3*d - 2*i - 2 = -d. Solve h = -l - d for l.
-3
Let w(k) = k**3 - k**2 - k. Let d be w(0). Suppose 0 = 3*n - 2*n - 8. Suppose n = -3*z + 5*z. Solve d = -0*h + 2*h - z for h.
2
Suppose 2*j + 3*w - 15 = -0*w, -j + w - 5 = 0. Solve -8 = 2*k - j*k for k.
-4
Let a = 37 + -29. Let m = a - 5. Solve m*h = h - 6 for h.
-3
Suppose 4 = -l + 2*l. Let c be (11 - 9) + 0*(1 + 0). Suppose 0 = -c*x + l, 5*s + x = 16 + 11. Solve 3*k - s = 2*k for k.
5
Suppose 5*h = -7*l + 4*l + 256, 5*l = -2*h + 452. Let i = 93 - l. Solve 15 = -4*v - i for v.
-4
Suppose 9*r = 3*j + 4*r + 11, 3*r = j + 9. Solve 0 = -j*l + 54 - 45 for l.
3
Let p = 41 + -38. Suppose 21 = 2*l + 5. Solve -u - p = -l for u.
5
Let b be (14 - 9)*2 + -4. Solve 12*p - 9*p = -b for p.
-2
Let k be (3 + 0)*2/3. Let u(f) = -f. Let g be u(1). Let s be (-1)/(k/4 + g). Solve b = -s*b for b.
0
Let b(i) = i**2 + 7*i - 18. Let j be b(2). Let l = 6 + -4. Solve j = l*w - 5 + 1 for w.
2
Suppose -4*h + 3*q + 12 = -16, 0 = 2*h + 3*q - 32. Solve -h*z - 3*z + 39 = 0 for z.
3
Suppose 16*m = 6*m + 590. Suppose -63*d + m*d + 56 = 0. Solve 4*z + d = 22 for z.
2
Let w = -660 + 672. Solve w*m + 8 = 44 for m.
3
Suppose -3*s + 0*s = -12. Suppose -10 + 2 = 2*k + 4*x, 14 = -k - s*x. Let n be -1*0/4 - (2 + -6). Solve -10 = -n*z + k*z for z.
-5
Let r = -10 - -26. Let z(a) = -a**2 - 44*a + 196. Let t be z(-48). Solve t*y = 8*y + r for y.
-4
Let j(h) be the first derivative of -h**2/2 + 15*h - 15. Let m be (-1)/(-2 - (-57)/30). Let p be j(m). Solve 0 = -s + p for s.
5
Suppose 71 = 4*m - n, -25 + 83 = 3*m + 4*n. Solve 6*h - 12 = m for h.
5
Suppose -4*k - 7 = -3*q, -3*k + 0*q = 4*q + 24. Suppose -6*l - 6*l - 12 = 0. Let d = l - k. Solve -8 = -m + d*m for m.
-4
Let s = 14 + -17. Let o(v) = -2*v**2 + 11*v + 9. Let g(u) = 5*u**2 - 23*u - 18. Let a(p) = s*g(p) - 7*o(p). Let d be a(-4). Solve 4*j = 19 - d for j.
3
Suppose 48 = 2*n + 2*n. Let a be 16/n - 2/(-3). Suppose 0*h = 4*h - 28. Solve -z = -h + a for z.
5
Let n be 6/4 - (-3)/(-2)*3. Let l be ((-4)/n)/(4/6). Solve 0 = -2*w + 6 - l for w.
2
Let x(n) = -13*n - 48 + 11*n**3 - 8*n**3 + 15*n**2 + 38 - 4*n**3. Suppose 0*h - 2*h + 28 = 0. Let l be x(h). Solve 0*z - l*z - 4 = 0 for z.
-1
Let x(j) = j**3 + j**2 - 3*j - 19. Let h be x(3). Solve 3*z - h = 1 for z.
3
Let l(q) = -q**3 - 87*q**2 + 1301*q + 110. Let h be l(-100). Suppose -6 = -2*o - o. Suppose -5*u + 10 = 5*c, 5*c = -4*u + u + 12. Solve o*b - h = -c*b for b.
2
Suppose 0 = 2*b + b + 4*p - 21, p + 3 = 2*b. Suppose s + 2*s + b*f - 9 = 0, 0 = -3*s + 5*f + 9. Solve -3 = -s*o - 0 for o.
1
Let z be (3 - 0)/3 - (-9 + 5). Solve z*g = -5 + 10 for g.
1
Suppose 59 = 5*u - 26. Solve -21*q - 20 = -u*q for q.
-5
Suppose -25*j = -29*j + 12. Let g = j + 2. Suppose -3 = -c + 5*f + g, 4*c - 3*f = 15. Solve -k + 4 = c*k for k.
1
Suppose 0 = -7*j - 0*j - 0*j. Suppose 6*r - 2*r - 8 = j. Solve r*c - 2 + 0 = 0 for c.
1
Let l(f) = -5*f**2 + 11*f - 1. Let a(r) = 6*r**2 - 12*r + 2. Let z(j) = 6*a(j) + 7*l(j). Suppose -17 = 4*o + 3. Let b be z(o). Solve -x - b = -0 for x.
-5
Let b be 378/56 + 6/(-8). Let s be b/4 - (-12)/24. Solve 0 = -0*z + z + s for z.
-2
Suppose 0 = 36*u - 34*u - 40. Solve 3*g = -g + u for g.
5
Let m = -43 + 41. Let a be 3*5/(-15)*m. Solve 4*h - a*h = -6 for h.
-3
Suppose -7*q = -3*q - 48. Let p be 2/((q/20)/3). Let k be (2 + (-12)/p)*10. Solve 3*w = -w - k for w.
-2
Suppose 0 = 5*l - 0 - 15. Let b = 7 + -15. Let t be 5/(-2)*b/10. Solve -l*q - 3 = -t*q for q.
-3
Suppose 60 = 426*h - 422*h. Solve -62*z + 65*z = -h for z.
-5
Let s = -33 + 48. Let i = s - 15. Let u = i + 1. Solve z = 2*z + u for z.
-1
Suppose 1 - 22 = 5*z + 3*t, t = -3*z - 15. Let g(c) = -c. Let x be g(-8). Let n = z + x. Solve 0 = k + n*k + 3 for k.
-1
Suppose -3*b = -s - 4, -3*b + b = -2*s - 16. Let t = s + 14. Suppose -f - 5*a - 6 = -3, 0 = -2*f - t*a + 6. Solve 0 = 2*u - f - 3 for u.
5
Let b = 49 - 49. Suppose -4*f - 4*q + b*q = 0, -32 = -4*f + 4*q. Solve 20 = -f*w - 0 for w.
-5
Let k(h) = -2*h - 3. Let v be k(3). Let p be v/(-11) - 1 - 350/(-110). Solve p*x - 25 = -2*x for x.
5
Suppose -8*t + 4*t = -5*q - 72, 4*t = -5*q + 32. Solve t*v = 17*v + 16 for v.
-4
Suppose 3*n + 0*n - 10 = -5*u, 5*u - 10 = 0. Solve -2 = -2*r - n for r.
1
Let d(y) be the fir