+ 2 for q.
-1
Let k = 7 + -3. Let y = k - 2. Solve -3 = -y*z + 5 for z.
4
Let l = -2 + 5. Suppose -4 = -2*s - 0*s. Suppose s*h - 12 = -5*m, 2*h - 3*m + m - 12 = 0. Solve -6 = -h*g + l*g for g.
2
Suppose 0 = 4*y - 3*m - 12, m - 3*m - 8 = 4*y. Solve -5*b + 5 + 5 = y for b.
2
Let q(h) = 2*h. Let t = 14 - 14. Let m be q(t). Suppose 1 + 9 = 2*c. Solve m*b + c*b = 25 for b.
5
Suppose -4*w = -w - 12. Let y be (-12)/w + (14 - -1). Solve -2*c - y = c for c.
-4
Suppose -152 - 53 = -5*v. Let g = -29 + v. Solve -4*o = -4 + g for o.
-2
Let m = -195 - -200. Solve 8*w - m*w = 0 for w.
0
Suppose -4*b = -0*b - 12. Let a(m) = 0*m**b + 1 - m**2 - 10*m**3 + 0*m**2. Let g be a(-1). Solve 4*i + i = g for i.
2
Suppose j - 4*j = -15. Let n = 8 + -5. Solve -n - 2 = j*g for g.
-1
Suppose 4*y - c - 26 = -7, 2*c + 13 = 3*y. Solve -5*z = y + 10 for z.
-3
Suppose -4*p + 10 + 6 = 0. Solve 2 = 2*j + p for j.
-1
Let a(i) = -2*i - 6. Let g be a(-6). Suppose -c = 3*x + 35 - 5, 0 = 2*c + g. Let q(s) = s**3 + 9*s**2 - s - 7. Let n be q(x). Solve -3*w = -n*w for w.
0
Let m(j) = -j**2 - 10*j + 19. Let v be m(-13). Let k be v/6*(-12)/(-8). Let b = k + 20. Solve -b = -2*w - 3*w for w.
3
Let b be 11/(-5) + 1/5. Let p be (b/(-2))/(3/12). Solve 0*l + 20 = -p*l for l.
-5
Suppose -2*u = u - 63. Solve 5*x + 1 = u for x.
4
Let t = -74 + 90. Solve -j - t = 3*j for j.
-4
Let w(f) = 3*f - 33. Let y be w(11). Solve y*u = 3*u - 3 for u.
1
Suppose -4*b - 21 = -2*p - 87, 5*p = 4*b - 69. Let w = -12 + b. Solve -j - w*j + 10 = 0 for j.
2
Let w be ((-24)/20)/(6/(-15)). Solve w*j - 4*j - 5 = 0 for j.
-5
Let j be (-8)/(-6) + (-3)/9. Let a = j + 0. Let y be (0 - a)/((-2)/4). Solve 4*p - 2 - y = 0 for p.
1
Let z(x) = x**3 - 6*x**2 + 4. Let d be z(6). Solve -2*o + d = -4 for o.
4
Let h = -43 + 43. Solve 0*r - 5*r + 10 = h for r.
2
Let n(o) = o - 1. Let p(r) = r**3 - 8*r**2 - 3*r. Let q(v) = -3*n(v) - p(v). Let i be q(8). Suppose -i*k - 6 + 42 = 0. Solve -f = 2*f - k for f.
4
Let h = -193 - -208. Solve -n = 2*n + h for n.
-5
Suppose 2*l - 5*j - 11 = -0*l, -2*l - 3*j = -3. Solve -10 - 5 = -l*q for q.
5
Suppose -25*i + 26*i = 4. Solve 0*f = i*f for f.
0
Suppose 4*t - 15 = 1. Suppose 18 = t*m + 4*k - 54, 0 = -m + k + 22. Suppose -2*b + 4 + 10 = 2*v, 4*v = -2*b + m. Solve 2 = b*w - 5*w for w.
-2
Let h(m) = m**2 - 3. Let s be h(-3). Suppose -s*a + 5*a = -15. Solve -2*k + 5*k = a for k.
5
Let l be 1*30/((-15)/(-3)). Solve -l + 1 = -q for q.
5
Let x(u) = 5*u**2 + 10*u - 22. Let s(a) = -11*a**2 - 19*a + 45. Let m(f) = -6*s(f) - 13*x(f). Let w be m(15). Solve -4*g + 13 = w for g.
3
Suppose 0 = -k + 2 + 3. Solve 0*c + k*c + 25 = 0 for c.
-5
Let o = 2 + -2. Suppose o = -2*v - 0*v + 4. Let c be (-10)/(-3) + 2/3. Solve 10 = -v*i + c*i for i.
5
Let v(g) = -g - 1. Suppose 3*y = -3*w - 3, -22 = 2*y - 5*w + 1. Let h be v(y). Solve h*m + 8 = -m for m.
-2
Let l(f) be the third derivative of -f**5/60 - f**4/4 + f**3/3 - 2*f**2. Let w be l(-3). Suppose -5 - w = -4*d. Solve -5*y = -d*y + 2 for y.
-2
Let z(u) be the second derivative of -u**5/20 + u**4/6 + u**3/6 - u**2/2 - 6*u. Let q be z(2). Solve 3 + q = -f for f.
-4
Let o(v) = -5*v**3 + v**2 + v. Let d be o(-1). Solve d - 2 = y for y.
3
Let k(c) = 10*c + 14. Let n be k(0). Solve 4 = -2*o + n for o.
5
Let d be (3/(-2) + 2)*4. Let s be ((-3)/d)/((-3)/4). Let h be (24/18)/(s/6). Solve -z + h*z - 3 = 0 for z.
1
Suppose 0 = -i + 5*q - 25, i = -2*i - q + 5. Solve i*h - 3 = -3*h for h.
1
Let q be 0 + 2 + 5 + -1. Let p be ((-21)/(-14))/(q/(-32)). Let m = p - -11. Solve i = m*i for i.
0
Suppose -u = a + 4 - 2, 5*a = -3*u - 10. Solve -3*r - r + 4 = u for r.
1
Let r = -43 + 47. Solve 3*n = r*n - 1 for n.
1
Let x(f) = f**3 - 6*f**2 - 8*f - 2. Let r be x(7). Let a = r + 9. Solve a = -0*n + 4*n - 12 for n.
3
Let w be (-4)/1*(-2)/4. Solve 0*f - w*f = 6 for f.
-3
Let o(z) = z**3 + 2*z**2 - z + 1. Let b be o(-2). Suppose 0 = -2*c + 6 + 2. Let w be c*1*(3 - 2). Solve -b*i - w = -i for i.
-2
Suppose 0 = 3*r + 2*r + 4*k - 45, 4*r - 3*k - 36 = 0. Solve -5*d = -r - 11 for d.
4
Suppose 2*j + 20 = 3*j. Let f = j - 10. Suppose 2*n - 11 = -3*r, -3*n + 4*n + 3*r = f. Solve -x + n = 2 for x.
-1
Let k = 12 + -18. Let h(c) = c**3 + 7*c**2 + 6*c + 4. Let o be h(k). Solve 0 = m + 1 + o for m.
-5
Suppose -4*z + 2*z + 20 = -3*t, -3*t = 6. Solve 8 = -z*c + 5*c for c.
-4
Suppose -7 = -2*y + t, 10 = -4*y - 5*t + 31. Suppose -5*l = -5*f + 30, 3*f - 50 = -7*l + 2*l. Solve -y*w - 26 = -f for w.
-4
Suppose -4*j = -0*j - 4. Suppose c = -0*c + j. Suppose -2*x = -r - c, -4*x + 11 - 2 = 5*r. Solve 4*n - r = 11 for n.
3
Let i(c) = -c + 5. Let y be i(-4). Let j be (-56)/(-3) + (-6)/y. Solve -5*z - 7 = j for z.
-5
Suppose 3 = -19*t + 20*t. Solve t*w - 8*w + 10 = 0 for w.
2
Suppose 2*h = 6, 0 = -3*z + 3*h - 8 + 2. Let s be (-8)/24*(z + -13). Solve m = -3*m - s for m.
-1
Let t = -13 + 26. Suppose -2*l + t = -7. Solve -5*x - l = -0*x for x.
-2
Suppose -5*v + 5 = 5*o, 0 = -0*o - 2*o + 4*v - 4. Solve o*k = -5*k + 15 for k.
3
Let f(i) = i - 6. Let t be f(0). Let j(r) = r**3 + 6*r**2 - 3*r + 3. Let a be j(t). Solve 5*w = -1 + a for w.
4
Suppose d + 2*k = 14, 0 = -4*d - 4*k + 49 + 19. Solve 8*f = 13*f + d for f.
-4
Let a be 10/15*(-9)/(-6). Solve -a = 2*c + 1 for c.
-1
Suppose 2*v + v - 8 = -2*d, -3*d + 12 = 5*v. Solve v = -0*k - 3*k + 12 for k.
4
Let m = -12 + 60. Let c = m - 17. Solve 5*l = 6 - c for l.
-5
Let s be (-2)/(1*-2 + 1). Let w be s/(-9) - (-4)/18. Suppose w = 2*m - 0*q + q - 8, -4*q - 12 = -3*m. Solve m = t - 0*t for t.
4
Suppose 3*z + 6 = 0, -3*f + z - 16 = -6*f. Suppose 3*h = f*h - 12. Solve 2*i - 10 = h*i for i.
-5
Let j be (6/5)/((-4)/(-10)). Let m be ((-21)/j - -3)*-1. Solve 0 = 3*o - 4*o + m for o.
4
Let r = -2 + 1. Let g be (-1 - -1)/(r - -2). Let w be g*(-3)/((-3)/1). Solve 0 = 3*b - w*b + 12 for b.
-4
Suppose 0 = -g + 4 - 2. Let p(f) = f**2 + 5*f - 4. Let a be p(-5). Let c = a + 31. Solve -g + c = -5*l for l.
-5
Suppose 0 = 3*x + 7 - 16. Suppose u + 5 = -2*m, -x*m = -5*u - 0*m + 27. Solve -2*d = 7 + u for d.
-5
Let o be (2/(-4))/(3/(-42)). Solve -l - o + 2 = 0 for l.
-5
Suppose -26 = -5*s - j, -s - s = -4*j - 6. Solve -17 = -s*u - 2 for u.
3
Let v = -1 + -1. Let t be -2 + (0 - (3 + v)). Let f(j) = j**3 + 3*j**2 - 2*j - 2. Let k be f(t). Solve -k*z = -3*z for z.
0
Suppose 17*v - 15 + 15 = 0. Solve -c - 3 = -v*c for c.
-3
Suppose -3*w - 5 = 2*w, -2*a - 3*w = -15. Let m = a - 5. Solve -m*p = p + 10 for p.
-2
Suppose 0 = 3*l + c - 20, -2*c + 15 = -l + 2*l. Solve w - 1 = -l for w.
-4
Suppose -h + 10 = 4. Let x = h - -5. Let r = x + -7. Solve -r*c = c for c.
0
Suppose d + 18 = 4*o - d, 2*d + 16 = 3*o. Solve 0 = 3*k - o*k - 5 for k.
5
Let i = -8 - -13. Suppose 0 = d - i*d. Solve 2 + d = 2*a for a.
1
Let c(t) = t**2 - 3*t. Suppose 0 = -4*y + 17 - 1. Let p be c(y). Suppose 0 = p*d - 15 - 5. Solve -d*j + 0*j = -5 for j.
1
Let w be (-39)/6 + (-1)/(-2). Let n(u) = -4*u - 7. Let g(z) = -5*z - 8. Let d(v) = -3*g(v) + 4*n(v). Let m be d(w). Solve -3 - m = 5*o for o.
-1
Let s(t) = 2*t + 1. Suppose -5*c + 16 = 3*o - 31, -4*c - 3*o = -37. Suppose i = -3*b + 2, -2*i - c = 4*b - 5*b. Let a be s(b). Solve 1 = y + a for y.
-4
Let l = -16 + 23. Let x be -3 - -1*(12 - 3). Let p = 10 - x. Solve p*u + 5 = -l for u.
-3
Let j(b) = b**3 + 7*b**2 - 2*b - 7. Suppose 0*t - 23 = 5*d + 4*t, 13 = -4*d - 5*t. Let m be j(d). Let f be 14/(-4)*20/(-7). Solve -2*k = -m*k + f for k.
2
Let y be (-2)/(-4)*6 - -1. Solve 17 = y*i - 3 for i.
5
Suppose -3*p + 2 + 1 = 0. Suppose 2*k = 2*t - 4, 4*k + 0*k + p = -3*t. Let f be (0 - k) + 5 - 2. Solve 2*j - f = 2 for j.
3
Let w = -36 - -36. Solve w = f - 2 - 3 for f.
5
Let h = -22 + 42. Solve 0 = 5*a - a - h for a.
5
Suppose -v + 1 = 2*y, -3*y + 5*v - 3*v + 19 = 0. Let r be (y/(-2))/((-1)/2). Solve r = 2*j + 1 for j.
1
Suppose 2 = x - 1. Suppose 4 = -x*v + 7. Let n = 781 + -770. Solve 3*m + v = -n for m.
-4
Suppose 2*z - i - 8 = -0*i, 5*z - 4*i = 23. Let f(h) = 2*h - 4 + 2 + 4*h**3 - 3*h**2 - 3*h**3. Let q be f(z). Solve q*m - 2*m = 0 for m.
0
Let o(i) = 9*i + i**2 + 3*i - 7*i. Let b be o(-5). Solve b = c - 2 + 7 for c.
-5
Let c = -5 - -3. Let t be 38/14 - c/7. Suppose 4*m + b = 9, -b + 2*b = -t. Solve -1 = s + m for s.
-4
Let x(o) = 0*o**2 + 4*o**2 + 4 - 3*o - 3*o**2 - 2. Let d be x(3). Solve 0 = -d*l + 