Let z be q(12). Let r = z - f. Solve r*g + 3 = 3*g for g.
-3
Let t(a) = -12*a**2 - 3*a + 4. Let f(s) = 12*s**2 + 4*s - 5. Let r(b) = -4*f(b) - 5*t(b). Let c be r(-1). Solve -5*v + 3 = c for v.
-2
Suppose 0 = -3*d + 165 + 33. Let g be (-10)/(-15)*d/(-4). Let p = g + 11. Solve f + p = -3 for f.
-3
Let a = -253 - -257. Solve -4 = -a*v - 0 for v.
1
Let i be 11/(-44) - 13/(-4). Suppose 31 = -i*k + 61. Suppose 8*q - 30 = 3*q. Solve q*n = n + k for n.
2
Let j(u) = -u + 4. Let w = -20 - -24. Let q be j(w). Suppose 4*y = -2*k + 18, 2*k - 16 = -3*y + 3*k. Solve q = -6*n + n + y for n.
1
Suppose 0 = 7*t - 4*t - 396. Solve t*i = 130*i + 8 for i.
4
Suppose 4*y - 103 - 111 = -u, -3*u + 586 = -2*y. Solve -197*d - 3 = -u*d for d.
3
Let l = 16 - 16. Solve -3*t - 17 + 8 = l for t.
-3
Suppose 32*b - 55 = -23. Solve p - 2 = b for p.
3
Let a be (-11)/4 - 1/4. Let p = 6 + a. Let s = p - -2. Solve -s = -5*h - 0 for h.
1
Suppose -6*c - 80 = -11*c. Suppose -9*w = c - 52. Solve -w*j + 0 = 12 for j.
-3
Suppose -z - 3*f - 6 = 2*z, -3*f = -2*z + 11. Suppose 3*c = -3, -5*c + 3*c + 8 = 2*a. Let s be ((-6)/15)/((-1)/a). Solve -z - 3 = -s*n for n.
2
Suppose 5 = 13*x - 99. Solve -x*m + 7 = -m for m.
1
Let t(x) = -7*x**3 - 2*x**2 - x + 2. Let u be t(-3). Let c be u/55 + (-2)/10. Solve -2*h = -c*h + 5 for h.
5
Let z(q) = q + 5. Let s be z(4). Suppose -752*c - 192 = -760*c. Solve -5*k + c = s for k.
3
Let y be (-2)/(-3) - (-2)/(-3). Suppose -10 = -y*d - d. Let x(b) = b**3 - 8*b**2 + 5*b + 17. Let l be x(7). Solve -l*u - d = -u for u.
-5
Let d be -1 - 2 - 36/(-4). Suppose f - d*f = -30. Let n be (-2)/5 + f/15. Solve -z = -n*z - 5 for z.
5
Suppose -y + 6*y + 11 = -3*t, -2*y = 4*t - 4. Solve 0 = t*m + 29 - 23 for m.
-2
Let u(o) be the first derivative of o**3/3 - 5*o**2/2 - 6*o + 2. Let h be u(6). Solve h = 2*z + 7 - 1 for z.
-3
Let g = -8 - -8. Let q be 1/(-3 + (-68)/(-22)). Let x be 1 + g + q + -9. Solve 7*p - x*p - 20 = 0 for p.
5
Let r be 2/(-8)*(-7 + 7) + 2. Solve -30 = 4*k + r*k for k.
-5
Let l(s) = -14*s - 1. Let z be l(-1). Suppose 8*t = z*t - 15. Solve t*j + 1 = 4*j for j.
1
Let r = -24 - -45. Solve 22*w - r*w = -2 for w.
-2
Let w be 8 + (-14)/(98/21). Solve 8*g - 13 + w = 0 for g.
1
Let n(m) = m**2 + 2*m + 1. Let u be n(-2). Let j(t) = t**3 + 9*t**2 + 9*t + 15. Let z be (-26)/3 + (-20)/(-30). Let b be j(z). Solve 4*s - b = u for s.
2
Let p be 2/12*-6*0. Solve 9*w + p*w = 9 for w.
1
Let g be ((0 - -1)*-1)/(9/(-36)). Suppose -3*r + 4*t + t - 3 = 0, -17 = -2*r - 3*t. Suppose -r*k + 40 = -2*m, -5*k + 2*m = 4*m - 32. Solve -k = g*f - 0*f for f.
-2
Suppose i - 10 = -2*c, 5*c + 3*i - 28 = -i. Let u be 2 + (-4)/(-6)*-9. Let h be 9/((-18)/u) + 2. Solve -2*n = -h*n + c for n.
2
Suppose -3*c + 68 = 2*i - 3, -3*c + 5*i + 85 = 0. Solve -c + 17 = -4*l for l.
2
Let s = 158 - 158. Solve -k + s*k = 3 for k.
-3
Let c(a) = 2*a**3 - 3*a**2 - 21*a + 6. Let v be c(5). Let i = 79 - v. Solve 20 = i*m + 2*m for m.
4
Let b be (-45)/30 + (-39)/2. Let k = 25 + b. Solve -y = k*y - 25 for y.
5
Let o be 7 + 66/(-10) - 219/(-15). Solve o*c - 76 = 34*c for c.
-4
Let x = 41 - 37. Suppose -l + 10 - 2 = 4*h, -10 = -5*h - x*l. Solve 3*n = -h*n + 10 for n.
2
Suppose 4*o - 24 = 5*q - 155, -4*q + 3*o = -105. Solve -3*n - 33 = -q for n.
-2
Let g = 453 - 452. Solve -u - 1 = g for u.
-2
Let j(m) = m**3 + 30*m**2 + 162*m + 37. Let s be j(-23). Solve 25*i = 32*i - s for i.
2
Suppose -5*i - 2*b + 42 = 0, -3*b + 18 = 2*i - b. Suppose i = -6*x + 2*x. Let g be x*(2/(-2) + -1). Solve 0 = 5*r - 19 + g for r.
3
Let u be (-252)/315 + (-108)/(-10). Solve 5*o = 3*o + u for o.
5
Suppose -38 = 33*f - 104. Solve -f*p - 3*p = 3*p for p.
0
Let u be 2 - (0/1)/(-1 - -3). Suppose 2*d = 2 - u. Solve n + d = -1 for n.
-1
Let j(m) = m**3 - 2*m - 1. Suppose q = -0*q - 4*s - 14, q - 4*s - 18 = 0. Let d be j(q). Let l = 42 - 34. Solve -23 = -d*h - l for h.
5
Let l(y) = y**3 + 10*y**2 + 4. Suppose 8*i + 30 = 5*i. Let d be l(i). Solve 0 = -2*v - 0 - d for v.
-2
Suppose 462*v + 280 = 476*v. Solve 5*b = v - 30 for b.
-2
Suppose 0 = 5*c - 20, 12*y - 9*y - 16 = 2*c. Solve 10*s - 4 = y*s for s.
2
Let s be (48/120)/((-2)/(-60)). Solve 10*v = 6*v + s for v.
3
Let f(h) be the second derivative of -h**3/2 + 5*h**2 + 6*h. Let b be f(-5). Solve -2*n - b = 3*n for n.
-5
Let p be (-190)/3 + 4 + (-2)/3. Let n be 24/(-10)*p/18. Solve -o - n = o for o.
-4
Suppose 0 = -5*p + 43 + 7. Solve 9*w = -w + p for w.
1
Suppose 54*f = 502 - 178. Solve 11*r + f = -16 for r.
-2
Let z(g) = -5*g - 24. Let i be z(-7). Suppose 3*n - 13 = -2*o + 4*n, i = -o - 3*n. Solve -2*p = -o*p - 4 for p.
-2
Let c be 8*(-7)/(-28)*4. Solve -t - c = t for t.
-4
Let m = 378 - 376. Solve m*g - 9 + 7 = 0 for g.
1
Let f(c) = c**3 - 37*c**2 + 3*c - 107. Let v be f(37). Let q be -1 - -4 - -1 - 2. Suppose -4*u + 2*u - q*p = 0, -12 = -v*u - p. Solve 6 = -5*a - u for a.
-2
Let y = -41 - -59. Let r be 8/(-2) + 1 - y. Let c = -19 - r. Solve 0 = f - 3*f + c for f.
1
Let h(p) = p**3 + 3*p**2 - p. Let n be h(-3). Let l be (0/(-17))/(-2*2/4). Solve 0 = -l*x + n*x + 12 for x.
-4
Let u(s) = s**3 + 8*s**2 + 3. Let z be 1/2 + 2/(-4). Suppose 8 = -j - z*j. Let i be u(j). Solve -a = i - 4 for a.
1
Suppose 390 = 30*b - 450. Solve -b*w = -35*w for w.
0
Let r be (2 - 1)*-2 - 4/(-2). Suppose 13*v - 18*v + 10 = r. Solve v*i = 5 - 1 for i.
2
Let u be (4/(-14))/1 + 114/7. Suppose -u*v + 9*v = -42. Solve -i - v = i for i.
-3
Let o be (2 - (-10)/(-4))*2. Let w be o + (0/(-4) - -10). Suppose -4*b + w = -3*b. Solve -4*c - b = 11 for c.
-5
Let z = 2447 + -2442. Solve 0 = z*t + 15 - 25 for t.
2
Let n be 14/((8/3)/(-4)). Let g be ((-24)/n)/((-4)/(-14)). Solve 5*r - g = -19 for r.
-3
Let t be 1216/532 - (-4)/(-14). Solve 2*x = -t*x - 8 for x.
-2
Let x be -3*6*25/15. Let c be 35/3 + (x/(-9) - 3). Let n be 1/(1 - 3/4). Solve -n*i + i + c = 0 for i.
4
Let c(u) be the second derivative of 1/6*u**3 + 9*u - 9/2*u**2 + 0. Let j be c(9). Solve 0 = -4*n - j*n + 8 for n.
2
Let h be (-152)/(-16) - 2/(-4). Suppose -4*w + 70 = 5*t, -2*w + 0*w + h = 0. Let u(b) = 2*b - 14. Let x be u(t). Solve x = -p - p for p.
-3
Let t(i) = i**3 - 30*i**2 + 55*i + 31. Let u be t(28). Solve u*h + 4*h = -21 for h.
-3
Let d(u) = 4*u**3 + 3*u - 3. Let s be d(1). Suppose 3*j - j = 0. Solve j = i + i + s for i.
-2
Let j be 1/4 - 91/(-4). Let m = 33 - j. Let h(w) = -w - 1. Let q be h(-4). Solve -p - m = -q*p for p.
5
Suppose 85 = 5*w - 0*w. Suppose 12*v + 10 = w*v. Suppose v*g + g = 0. Solve g = -3*m - 4 + 16 for m.
4
Let k = 12 + -8. Let v(u) = -u + 2. Let g be v(-5). Suppose k*y + 24 = g*y. Solve 4*r + y + 0 = 0 for r.
-2
Let l(s) = 2*s**2 + 3*s + 1. Let y be l(-1). Suppose -6*i + 4*i + 6 = y. Solve i = -3*t - 6 for t.
-3
Let c(g) = g**2 - 3*g - 3. Let s be c(4). Let j(d) = 4*d. Let l be j(s). Let m be 9/3*8/12. Solve -m*u = l - 2 for u.
-1
Suppose -3*q = 2*l - 17, -q - 4*q + 4*l + 43 = 0. Solve q = -3*n + 1 for n.
-2
Suppose 0 = 6*c - 18 + 6. Let m(v) = 6*v. Let r be m(c). Let t(s) = -s**2 + 11*s + 17. Let l be t(r). Solve 3*q - l = 4 for q.
3
Suppose 0 = 84*w + 125 - 1973. Solve w = 12*i + 10 for i.
1
Suppose -4*g - 5*b + 45 = 0, 3*g + 7 = 4*b + 2. Suppose -g*j = -4*j - 2. Suppose 25 = j*h - 7. Solve d + 3*d = h for d.
4
Let h be 3 - 0/2*(-19)/(-38). Solve 0 = -0*v - h*v for v.
0
Let o be (2/(-3))/((-6)/27). Suppose -w - o*w = 0. Suppose 0 = -4*n - w*n + 12. Solve 0*i + i + n = 0 for i.
-3
Suppose -4*c = -45 + 9. Let o(g) be the third derivative of -g**4/24 + 11*g**3/6 + 11*g**2 + 3*g. Let d be o(c). Solve -d*h + 1 + 3 = 0 for h.
2
Let w(c) = c**2 - 14*c + 26. Let m be w(13). Solve m + 1 = -7*b for b.
-2
Let u(h) = 4*h + 31. Let c be (2/6)/((-2)/((-84)/(-2))). Let y be u(c). Solve 5*q = y*q for q.
0
Let d be 152 + ((-284)/(-213))/(8/30). Solve -d = 4*s - 177 for s.
5
Let m(z) be the first derivative of -z**4/4 - 13*z**3/3 + 15*z**2/2 + 18*z + 4. Let v be m(-14). Solve 3*w - v = -1 for w.
1
Suppose 0 = 2*c + 2*d - 6, -7 = 3*d - 1. Solve c*y = 4*y - 4 for y.
-4
Suppose -3*z + 2 = -22. Let w(x) = 2*x - 8. Let b be w(z). Solve 3*q = -q + b for q.
2
Let k be (-4)/6 - 1380/(-207) - -5. Solve -h = -k*h + 40 for h.
4
Let q(g) = 5*g - 30. Let i(a) = -a**2 - 12*a + 7. Let b be i(-12). Let v be q(b). Solve -2*x + 15 = v for x.
5
Let p(z) = z**2 - 3*z - 2. Let m be