x for q.
-4
Suppose 3*d - 3*w = -0*w + 6, -3*w = -4*d + 8. Let a be 1 + (5 - (2 - -2)). Solve a*m - 12 = -d*m for m.
3
Let t(d) = d + 8. Let f be t(-8). Let p be (f + 0)*(-1 - 0). Solve 2*i - 8 = -p*i for i.
4
Suppose 0 = -6*n + 4*n - 2. Let c be 2/4*0/n. Solve c = 5*r - 3*r - 8 for r.
4
Let s = 24 - 22. Solve -s*l + 4 + 2 = 0 for l.
3
Suppose 0 = -c + 2*v + 2, -v = -c - 2 + 7. Solve -5*g + c = -17 for g.
5
Let q(p) = 2*p + 9. Let f be q(7). Let g = 23 - f. Solve g = 2*z + 3*z for z.
0
Let g(o) = -3*o**2 - 2*o - 2. Let n be g(-2). Let y be 5/n*-8*1. Solve 10 = -y*w - 10 for w.
-5
Suppose o = 4*o. Solve -10 = -o*m + 2*m for m.
-5
Let d(u) = -2*u**2 - 31*u + 20. Let y be d(-16). Let a be (-2)/(-4)*-1*0. Let t be (a + -13)*(-3)/3. Solve 7 = -y*v - t for v.
-5
Let w(o) = 2*o**3 - 13*o**2 - 6*o - 1. Let g be w(7). Solve g*v = v for v.
0
Let k = 82 - 67. Solve 6*v + k = v for v.
-3
Let k be ((-30)/(-20))/(2/4). Solve 2*d = 13 - k for d.
5
Let m be 21 + -3 + (-2)/(-1). Solve -3*d = d - m for d.
5
Let s = -6 - -10. Suppose -s*d + 12 = -0. Let i = 7 + -4. Solve -6 = d*u - i for u.
-1
Let k be 0*(-1 - 0)/2. Let g = k + 0. Let w = 2 + g. Solve -5*x = -w*x + 9 for x.
-3
Suppose b = 2*b. Solve 5*k + 8 + 2 = b for k.
-2
Let a = -9 + 11. Solve -4*l = -6 - a for l.
2
Let h = 3 + -3. Suppose 3*a + 15 = k, 0 = -h*k + 5*k - 2*a - 88. Suppose 0 = -2*j - 0 + 4. Solve -k = 4*u - j for u.
-4
Let x = 26 - 16. Suppose -5*i + 23 = -2. Suppose -x = -i*g + 5. Solve -13 + g = -5*q for q.
2
Let m be (-3)/(-6)*-2 - -6. Suppose m*b - 7*k + 2*k = 20, -5*k - 14 = -3*b. Let w(n) = 2*n**2 + n - 1. Let r be w(b). Solve -5*v = -v - r for v.
5
Let j(m) = m**3 + 7*m**2 - 10*m - 9. Suppose -6*f + 10*f = -32. Let a be j(f). Solve 0 = -3*p + a - 1 for p.
2
Let o be 2 + -1 - 12/(-4). Solve v - o*v = 3 for v.
-1
Suppose 3*r = -5 + 23. Solve -2*t + r = -2 for t.
4
Let h = 15 - 13. Solve -4*y + h + 6 = 0 for y.
2
Suppose 0 = 3*r - 5*u - 16 - 4, 2 = u. Suppose 6*j - r = j. Solve 0 = l + j - 0 for l.
-2
Suppose 0 = 2*w - 3*w + 3. Let q be (w/(-2))/((-3)/4). Let g = q - 0. Solve g*x = -x for x.
0
Suppose -9*t = -10*t + 3. Solve -4*z = -t*z + 4 for z.
-4
Let m(o) = o**3 + 4*o**2 + 3. Let k be m(-4). Solve 0*j + 6 = -k*j for j.
-2
Suppose 0 = -4*y - 14 + 14. Solve y = 3*o - 4*o - 1 for o.
-1
Suppose -2*w = -6*w - 5*d - 105, 0 = w + 2*d + 24. Let q be w/(-26) - 4/26. Let u = -7 - -10. Solve -2*j + q = -u*j for j.
-1
Let b(v) = -v + 6. Let z be b(4). Solve 8 = -0*j + z*j for j.
4
Let j = 1 - -3. Suppose 73 = j*s + 9. Solve u = 5*u + s for u.
-4
Let k be (-3)/(-2)*(5 - -1). Let z(s) = -2*s - 9. Let b be z(-6). Suppose -u - b = -2*u. Solve 0 = u*w + k - 24 for w.
5
Let r be (-182)/(-35) + 2/(-10). Suppose 2*a = 3*i + 2 - 11, -r*i + 34 = 3*a. Solve 0 = a*k + 10 - 1 for k.
-3
Let d(h) = h**3 + 8*h**2 - 8*h + 15. Let f be d(-9). Solve 2 = 4*j - f for j.
2
Let k = -12 - -7. Let z = k - -7. Solve z*s = 6*s for s.
0
Suppose 5*m - 20 = 0, z - 8 = 4*m - 6*m. Solve -2*v - 2*v + 16 = z for v.
4
Suppose -3*p + 4*p = k - 9, 3*k + p = 31. Suppose -k = -5*g + 3*g. Suppose -b + 16 = 6. Solve -3*r + b = -g for r.
5
Suppose -8*i = -2*i - 72. Solve r = 5*r - i for r.
3
Let b = 8 - -4. Let r = 27 - b. Solve 2*k = -k - r for k.
-5
Suppose -3*q + 9 = 2*n, -q - 15 = -6*q + 3*n. Solve u = 1 - q for u.
-2
Suppose -d + 3*d = 0. Suppose 0 = -a + 2*a + 1, f + a - 11 = 0. Let h be 3 + (-1)/(-2)*0. Solve d = r + h*r + f for r.
-3
Suppose 4*y - 3*y + 8 = -4*m, y + 10 = -5*m. Let u = 8 + -5. Suppose -3*g + 3 = -u. Solve -6*n + g*n = y for n.
0
Let f(g) = -g - 3. Let m be f(-3). Solve m = 5*j + 7 + 3 for j.
-2
Suppose 10 = 2*l - 0*l. Solve 4 - l = j for j.
-1
Let w(y) be the second derivative of y**5/120 - y**4/12 - y**3/6 + y. Let s(m) be the second derivative of w(m). Let l be s(5). Solve -5*n + l*n = -4 for n.
2
Let f = 8 + -5. Let k(h) be the first derivative of h**4/4 + 5*h**3/3 - 3*h**2 + 3*h - 2. Let c be k(-6). Solve -4*l + f = -c*l for l.
3
Let i = -24 + 48. Let r = -15 + i. Solve -2*g - r = g for g.
-3
Let x be (-38)/(-5) - (-4)/10. Let q(p) = -p**3 + 8*p**2 + 3. Let r be q(x). Let a be r*(10/6 + -1). Solve -12 = -j - a*j for j.
4
Let h be (-7)/(-4) - (-1)/4. Suppose -35 = -5*i - 5*n, 0 = 4*i - i - 3*n + 9. Suppose -4*t - 3 = 3*z, -2*z = 4*t - i - 0. Solve -h = -t*d + 5*d for d.
-1
Let q(j) = j - 7. Let z be q(10). Suppose 7*n - z*n - u = 9, 0 = 2*n + 4*u - 18. Solve -n = -2*f - f for f.
1
Let k = -7 + 9. Solve -k*z = -0*z for z.
0
Let x(k) = 3*k**2 - 8*k - 1. Let z be x(6). Let q = -38 + z. Let l be (-1)/4 - q/(-4). Solve -l*m - 2 = -27 for m.
5
Let b(t) = t**3 + 4*t**2 + 4*t + 2. Let j be b(-2). Let m(q) = -3*q + j*q + 6 + 1. Let r be m(7). Solve -3*g + 9 = -r*g for g.
3
Let k(p) = p**2 - 11*p + 5. Let n be k(5). Let q = -22 - n. Solve 7 + q = 5*v for v.
2
Suppose 0 = -2*m - 2*m + 8. Solve -3*d = -m*d - 1 for d.
1
Let s = 2 + 6. Suppose 2*z - 5 = -d, 16 = 5*z - d - 7. Suppose z*p - s = 2*p. Solve p*r - 26 = -6 for r.
5
Let c = -1 + -2. Let x be ((-6)/(-4))/(c/(-6)). Solve -16 = -x*v - 7 for v.
3
Let j be (3/(-5))/(10/50). Let r be (0 + (-16)/12)*j. Solve -r*h = h for h.
0
Suppose 16*n - 14*n = 0. Solve n = i + 1 + 2 for i.
-3
Let v(u) = -u**3 + 5*u**2 + 2*u - 7. Let z be v(5). Let t be z/(-2)*24/(-18). Solve -t*m - 14 = -4 for m.
-5
Let v = 5 - 2. Suppose 0 = -v*l + 1 + 5. Solve 2*q - l = -0*q for q.
1
Let t(l) = -l**3 + 7*l**2 - 6*l + 5. Let q be t(5). Let z(h) be the first derivative of -h**4/4 - h**3/3 + 4*h - 2. Let a be z(0). Solve -m = a*m - q for m.
5
Suppose 0 = -y - 1, 6*y - y + 17 = 2*k. Let z = -5 - -1. Let s = z - -6. Solve -s = 4*w + k for w.
-2
Let d(h) = h + 13. Let c be d(-6). Suppose 3*q - 4 = 4*o, 10*o - c*o + q = 10. Suppose 0 = 3*p - o*p. Solve p = -0*j - 2*j - 4 for j.
-2
Let m(p) = p**3 - 10*p**2 - 8*p - 13. Let y be m(11). Suppose 7*u = 2*u + y. Solve -u + 0 = 4*l for l.
-1
Suppose -w - w = 0. Solve 4*r - 4 = -w*r for r.
1
Let d(x) = -x**2 - 13*x - 12. Let l be d(-12). Suppose 10 = -l*a + 5*a. Solve 0 = -3*v - a*v + 10 for v.
2
Let k = -9 + 14. Suppose m + 0 = k. Solve 2*v + 13 - m = 0 for v.
-4
Let w(q) = q**3 + 4*q**2 + 3*q. Let i be w(-2). Solve i*v - 20 = -3*v for v.
4
Let i = 147 - 143. Solve i*d + 0 + 16 = 0 for d.
-4
Let q be ((-4)/3)/(4/(-18)). Let t(g) = g**2. Let u be t(0). Suppose -3*b - 3*v = -u - 3, -3*v = -2*b + 22. Solve -b*y = q + 9 for y.
-3
Suppose 29 = -2*b + y, 4*b = -3*y - 27 - 26. Let g = b - -24. Let q(t) = -t**2 - 6*t. Let p be q(-6). Solve g = 2*c - p*c for c.
5
Suppose -y - z = -4*y + 26, -2*z + 25 = 5*y. Suppose -12 = -r - 2*r, 4*p + 4*r - 28 = 0. Solve y*c + 4 = p*c for c.
-1
Suppose 5*u = 15, -5*y + 5*u - 49 = 2*u. Let n be y/12 - (-4)/6. Suppose n = -k - 4*k + 15. Solve 0*f - k*f = 6 for f.
-2
Let w(c) = c + 3. Let y be w(-6). Let f be 3/(-1) + 12 - y. Solve -3*j + f = -0*j for j.
4
Let n = 4 + -1. Suppose 5*j + 1 = -z, j + n = 2*j + z. Let p be (-30)/(-18)*(2 - j). Solve p*h + 7 - 22 = 0 for h.
3
Let i(a) = -2*a**3 - 4*a**2 - 3*a - 2. Let z be i(-2). Let m(t) = 5*t**3 + t**2 - t. Let f be m(1). Let j = -4 + f. Solve -z*b = -j - 7 for b.
2
Suppose -2*y - 2*y - s = -7, -40 = -5*y + 5*s. Suppose -2*b = -5*b + y. Solve 0 = 4*i + 3 + b for i.
-1
Let b be -3*(4 - 3) + 3. Solve b*j = -4*j for j.
0
Suppose 2*v - 17 = -0*v - 5*d, 5*d - 5 = 0. Solve 3*c = c + v for c.
3
Suppose -4*n + 91 + 9 = 0. Solve 5*d + 0*d = n for d.
5
Suppose v - 1 = -0*v. Let f(n) = -n**3 - 5*n**2 + n + 6. Let w be f(-5). Let y be (-1)/(-5) + w/(-5). Solve -p + v = -y for p.
1
Suppose 0 = -s - 2*s - 4*q + 19, -4*s = 5*q - 26. Solve 0 = 13*a - s*a - 20 for a.
5
Let p(g) = -g**3 - 4*g**2 + 5*g + 5. Let r be p(-5). Solve y = r*y - 8 for y.
2
Let f = 80 + -76. Solve f = -4*r - 0*r for r.
-1
Let a be (-4)/(-6) - 416/(-24). Let g be (-2)/10 + a/15. Solve -2*q - g = 3 for q.
-2
Let z(h) = h**2 - 3*h - 5. Let a be z(5). Let x = 9 - 16. Let p(o) = o**2 + 8*o + 9. Let j be p(x). Solve -12 = -j*m + a*m for m.
-4
Let j = 47 - 47. Solve j*s = -s - 1 for s.
-1
Let h be (12/(6/(-2)))/(-2). Let u be -1 + 0 + h + 0. Let a = 5 + u. Solve 0 = 5*f - a - 4 for f.
2
Let v(s) = 3*s + 3*s - 7*s + 5. Let d be v(0). Suppose -1 = -5*p + t + 2, p + 9 = d*t. Solve 3*h = -p + 4 for h.
1
Let f = 105 + -100. Solve f*v + 15 = -