for q.
1
Let d = 36 + -32. Solve 0 = -a - d*a - 15 for a.
-3
Let g(c) = 2*c + 2. Let a be g(2). Let z = 14 - 1. Suppose -2*i + z = 3. Solve -1 = i*m - a for m.
1
Let r = -12 + 16. Solve -x - r + 9 = 0 for x.
5
Let l = 8 - 5. Suppose 0 = -3*h + l*k + 12, 5*h - k = -6*k + 10. Suppose -g + h*g = 12. Solve -g*s = -s for s.
0
Suppose -3*q = 2*u - 22, u + 5 = q + 4*u. Solve 3*m - m = -q for m.
-4
Let q(f) = -f**3 - 9*f**2 - 3*f - 25. Let t be q(-9). Solve 0 = -a - t - 0 for a.
-2
Suppose -n = -3 - 0. Suppose 5 = -2*c + n*c. Suppose -i - 5*q + 26 = 3, c*i + q = 19. Solve -i*t = -3 + 9 for t.
-2
Let r = 3 + -10. Let z be 8/(-28) - 9/r. Let q be z*-3*(-1 - 0). Solve -4*j - 13 = q for j.
-4
Let t = -156 - -160. Suppose -11 - 1 = -3*n. Suppose 0 = -n*u + 3*u + 4. Solve -t*w + 0 = u for w.
-1
Suppose 0 = 4*r + r. Solve -4*f - 7 - 5 = r for f.
-3
Let m be 0/(-5 - (-5 - -3)). Solve 3*g = -m*g + 6 for g.
2
Let u(y) be the first derivative of -y**4/4 - 10*y**3/3 + 5*y + 2. Let q be u(-10). Suppose 0 = -b - 4*r, -84 + 8 = -4*b + 3*r. Solve -q*j + j = b for j.
-4
Let x be (-12)/(-3) + (-30)/(-5). Solve -c + x = 4*c for c.
2
Let v(x) be the first derivative of -x**4/4 + 13*x**3/3 - x**2/2 + 14*x - 6. Let c be v(13). Solve 3*y + 2 + c = 0 for y.
-1
Let u = -16 + 21. Solve 0 = u*a - 0*a + 10 for a.
-2
Suppose -2 = -r + 8. Let h be (-2)/(-4)*(2 + r). Let z = -33 + 48. Solve u - h*u = -z for u.
3
Suppose -4*p = -4*x + 12, 2*x - 3*x + 3 = 2*p. Solve 2*b + x*b = -25 for b.
-5
Let r(t) = -t**3 + 4*t**2 + 6*t - 5. Let s be r(5). Solve 0 = -s*k - k - 5 for k.
-5
Let t be -1 - -2*(-1 + 4). Suppose 2*p - p = t. Solve p = 3*r - 2*r for r.
5
Let z = 2 - 1. Let v(f) = -3*f - 5. Let c(r) = r. Let m(a) = z*v(a) + c(a). Let y be m(-5). Solve -y*t - 20 = -0*t for t.
-4
Suppose 0 = 2*d - 7*d + l - 1, 3*d - 4*l = 13. Let s be 0/(d - 0 - -3). Solve -z - z - 10 = s for z.
-5
Suppose 0 = 3*c - 7 - 5. Solve 0 = -c*o - 3 + 15 for o.
3
Let g = -2 + 7. Suppose -4*t = 5*k - 2*k + 27, g*t - 3*k = 0. Let p(f) = -f**3 - 3*f**2 + 4. Let m be p(t). Solve 0 = 4*c - 3*c - m for c.
4
Let l be 48/(-5) - 2/5. Let c be (-56)/l - (-2)/5. Let v(o) = -o**2 + 7*o - 4. Let g be v(c). Solve d = -g*d + 15 for d.
5
Let z = -19 - -23. Solve d = z*d for d.
0
Let f = 4 - -1. Solve -8 + 3 = f*r for r.
-1
Suppose 0 = s - 5*s + 20. Suppose 2*h - 3*h + 4*u = 12, s*h + 5*u = 15. Suppose h*a + a - 4 = 0. Solve i = -a*i for i.
0
Let c(n) = -3*n - 4. Let z be c(-5). Solve -1 - z = -4*y for y.
3
Let b = -3 + 7. Suppose 5*o = 3*o + 3*v + 18, 3*o + b*v + 7 = 0. Suppose 10 = 2*a - 2*r, 3*a + r = o*r + 20. Solve 0*c + a = 2*c for c.
5
Suppose -2*z + 4*w = 10, w - 32 = -4*z - 4*w. Suppose z*i - 26 = 5*k, 3*i = -k - k - 2. Suppose i*u = u + 1. Solve -a = -u - 0 for a.
1
Let l be (-9)/(-27) - 28/(-6). Solve -l*n + 2 = -3*n for n.
1
Let k = 0 + 2. Suppose i = -0*i + k. Suppose 3 = z - 3*y - 0, -i*y = -3*z + 16. Solve 0*h = -2*h - z for h.
-3
Suppose 4*b - 11 = -19. Let n be (-18)/(-4) - 1/b. Solve -4*v - v = -n for v.
1
Let g = 0 + 8. Let x be 1/2*(g - -4). Let p(c) = c**3 + 5*c**2 - 7*c - 2. Let y be p(-6). Solve x = -y*t + 2*t for t.
-3
Let l(g) be the first derivative of g**2/2 - 7*g + 2. Let h be l(0). Let t(y) = -y**3 - 8*y**2 - 6*y + 7. Let o be t(h). Solve o*j = -2*j + 2 for j.
1
Let k = 9 + 7. Suppose k = -3*p + 7*p. Suppose -q - 4*v + 0*v = -23, 0 = -p*v + 16. Solve 3 = z + q for z.
-4
Let x be (-24)/((-16)/4) + -3. Solve -6*y = -x*y for y.
0
Let b(k) = -k**3 - 2*k + k + k - 7*k**2 - k - 4. Let c be b(-7). Solve -3*z = -0*z + c for z.
-1
Let a be 2*(-2)/4*5. Let u(o) = -o**2 - 5*o + 3. Let y be u(a). Suppose y*h = 1 + 2. Solve -4*v = h + 7 for v.
-2
Let c(n) = 2*n + 1. Let j be c(1). Suppose 52 = j*r + 7. Suppose -3*v - 5*f = -29, 3*v - 5*f - 34 = r. Solve v + 7 = -5*t for t.
-4
Let o(j) = j - 5. Let r be o(7). Suppose 10 = 2*c - 0*s - r*s, -2*c + 4*s = -12. Solve 3*z = c*z + 4 for z.
-4
Suppose 5*h - h + 2*k - 1314 = 0, -k - 3 = 0. Let l = h + -135. Suppose -l = -5*n - 70. Solve 0 = -5*g - 0*g - n for g.
-5
Suppose 7 = 4*c - 5. Solve c*b - 4 = b for b.
2
Suppose 2*d + 2*g - 1 = 13, 2*d - 4*g = -16. Let l be (-50)/(-18) + d/9. Solve -l*i = 2*i + 25 for i.
-5
Suppose -9 = -2*j - 1. Solve 12 = a - j*a for a.
-4
Let d(g) = -g + 6. Let u be d(6). Let z(r) = r + 8. Let j be z(-6). Suppose 8*i = 3*i + 15. Solve u = -i*h + j*h - 3 for h.
-3
Let h = -11 + 16. Let t be 0 + (-2 + 3)*2. Suppose -12 = -w - 2*c, t*w - c + 12 = 4*c. Solve -h - 7 = w*n for n.
-3
Let i(c) = c**2 - 4*c + 12. Let b be 1/(-1*(-2)/10). Let l be i(b). Solve 5*a + l = 2 for a.
-3
Let j = 19 - 28. Let i = j + 10. Solve -i = -a - 3 for a.
-2
Let a(q) be the second derivative of q**3/3 + q**2/2 + 3*q. Let f be a(12). Suppose 5*j - f = -3*r - 0*r, 5*j - 2*r - 25 = 0. Solve 10 = -j*g - 0*g for g.
-2
Let k(y) = -y**3 - 5*y**2 + 7*y + 6. Let d be k(-6). Suppose 4*s - 5*x - 27 = d, -2*s = 6*x - x + 9. Let q be (-6)/(s/((-9)/3)). Solve v = q*v for v.
0
Suppose -5*x + 13 = -3*q, 2*x + 5*q - 45 = -3*x. Suppose 4*y + 5*d - 97 = -24, y + 13 = x*d. Solve 4*t = y + 8 for t.
5
Suppose j + 4*n + 8 = 28, 5*j + 3*n - 15 = 0. Suppose j = 2*z + 1 - 5. Solve z - 6 = 2*h for h.
-2
Suppose -17*w + 69 - 18 = 0. Solve -6*z + 9 = -w*z for z.
3
Let s be 0*(0 + (-1)/3). Suppose -3 = -3*d - s. Solve -d = -5*o + 4 for o.
1
Let z be (11 - 13)/((-1)/2). Solve 13 = -z*d - 7 for d.
-5
Suppose -2*i = 3*i. Let g(w) = w**2 - w + 10. Let z be g(i). Solve z = -0*r + 5*r for r.
2
Let c = 8 - 4. Let x = c + 1. Suppose -5*s - x*d + 10 = 0, 3*d - 6 = 4*s - 21. Solve 12 = -0*b + s*b for b.
4
Suppose i + 4*i - 13 = 4*q, 3*i + q = 18. Solve -i*a = 4 + 1 for a.
-1
Suppose -2*p + 8 = -0*p. Let u = 7 - p. Solve -12 = -0*m - u*m for m.
4
Let z be 4/(-6) + 34/6. Suppose 0*v + 5*b - z = 2*v, -4*b + 12 = 0. Solve -v*c = 1 - 16 for c.
3
Let l be (-6)/(-4) - (-2)/(-4). Let a(h) = -2*h - 2. Let p be a(-3). Suppose j - p = -j. Solve -j*g - l - 1 = 0 for g.
-1
Let b(d) = -d**3 - 9*d**2 + 5*d - 4. Let g be b(-9). Let f be (42/g)/((-6)/28). Solve 0*a - 2*a - f = 0 for a.
-2
Suppose 5*u - 8 = -4*d, 2*u + 3 - 2 = -3*d. Solve b + u*b - 5 = 0 for b.
1
Suppose 0 = 5*b - 5*m, -2*b + 2*m = b - 3. Suppose -4*x - 7 = k, -2*k + b*x = k - 54. Solve -2*u + k = 3 for u.
5
Let a = 42 + -75. Let y be a/(-7) - (-2)/7. Solve -4*c + 5*c = -y for c.
-5
Let d = 0 + 4. Let h(v) = v**2 - v + 2. Let y be h(0). Solve -d*w = -y*w for w.
0
Let s = 17 - 17. Solve 0 = -5*a - s + 5 for a.
1
Let l be 1/3 - (-1)/(-3). Solve -2*p = -2 - l for p.
1
Let p = -3 - -7. Solve 5*b = -p - 6 for b.
-2
Let t = -16 + 17. Solve -a + 2*a - t = 0 for a.
1
Suppose 33 = -5*b + 108. Solve -2*c + b = c for c.
5
Let a = -5 + 3. Let b = 3 + a. Solve b = -5*w - 9 for w.
-2
Let g be 1*-2 + 8 - (-5 - -7). Solve 0 = g*b - 2*b - 4 for b.
2
Let h = 8 - -4. Let w be h/9 - 2/(-3). Suppose 0 = -2*i + w*u + 2*u - 16, -9 = 3*i - 3*u. Solve j + 3 = -i*j for j.
-1
Let y(p) be the third derivative of p**4/24 + 7*p**3/6 + 4*p**2. Let r be y(-7). Solve r = -0*z + 5*z for z.
0
Suppose 0 = -2*c + 3 + 3. Solve -s + 4 = -c*s for s.
-2
Let c be (-4)/16 + 303/12. Solve 0*f + c = -5*f for f.
-5
Let u be (-93)/(-3) - (-3 + 7). Solve 4*g - u = -11 for g.
4
Suppose 2*g - 4 = -20. Let n(z) = -11 - 3*z - z + 2*z. Let h be n(g). Solve l = h*l + 12 for l.
-3
Let q(i) = i. Let u be q(-6). Let d be ((-2)/u)/(10/150). Solve 4*c = d*c - 3 for c.
3
Let n(k) be the second derivative of k**4/12 - 5*k**3/6 + 5*k**2/2 + 7*k. Let j be n(5). Solve -20 + 0 = -j*g for g.
4
Suppose -a + 16 = 4*c, -3*a + 3 = -0*c + 3*c. Solve 4*q + c = -3 for q.
-2
Suppose x = 2*x + 5. Let v = x - -7. Suppose 4*m + v*u = 14, -18 = -5*m - 0*u - 2*u. Solve -3*o + 1 = -m*o for o.
-1
Let p = 10 + -6. Suppose 0 = 5*m - 8*m + y + 68, 0 = -5*m + p*y + 118. Solve -m + 2 = -5*n for n.
4
Let b = 1 + 2. Solve 2*m + b*m = 0 for m.
0
Let v(o) = -2*o + 5. Let q be v(1). Solve 0*z - q*z - 12 = 0 for z.
-4
Suppose -4*k + 5*p = k - 10, 0 = 4*k - p - 17. Let m = 0 + k. Solve 2*a + 3 - m = 0 for a.
1
Let a = 4 + 8. Suppose 0 = 3*n - a - 0. Solve -n*g - 13 = 3 for g.
-4
Let q be (4/(-16)*0)/1. Solve q = -2*z + 3 - 1 for z.
1
Suppose -5*t = -18 - 12. Let o be (t/21)/((-1)/(-7)). Let i(p) = -p**3 - 5*p**2 - 6*p - 5. Let n be i(-4). Solve -n*x = 