2 - 12*v**2. Let g be i(-12). Solve -j = -g*j + 8 for j.
2
Let t(q) be the first derivative of q**3/3 + q**2 - 12*q - 16. Let s be t(-5). Let l(i) = i + 7. Let g be l(-4). Solve -g = s*f - 0*f for f.
-1
Let a = 1 + -15. Let f = a + 14. Let o(b) = -b**2 - 7*b - 6. Let k be o(-4). Solve f = -i + 4*i - k for i.
2
Let g = 10306 + -10284. Solve -g = -4*s - 14 for s.
2
Suppose -10*x = -149 - 51. Let a be (-2 + (-3)/6)*x/25. Let r be (8/8)/(a/(-6)). Solve 4*z - 9 - r = 0 for z.
3
Suppose -329*l = -328*l + 20. Let n be (69/(-6))/(1/(-2)). Let d = l + n. Solve -f + d*f = -10 for f.
-5
Suppose -381*v + 355*v = 0. Solve s + 30*s + 124 = v for s.
-4
Let t = 42 + -40. Let o(y) = 6*y + 8*y**t - y + 35 + y - 40 + y**3. Let c be o(-7). Solve -1 = -c*s + 3 for s.
2
Let z be 161345/2300 + 6/(-40). Solve -2*w + z = 80 for w.
-5
Let o = 433 + -433. Suppose f - 2 = -0. Suppose 27 = -0*a + f*a + 3*h, -3*a + 38 = 4*h. Solve o = -4*t + 6*t - a for t.
3
Suppose -3*v + 24 = 5*c, -v = 2*c + 2*c - 1. Suppose -3*l = -17 - 7. Suppose 4*i = 4*s - l, 2 = -i + 2*i. Solve v - 5 = -s*o for o.
-2
Let r be (-28 + 33)*15/(-175) - (-9)/21. Solve -63*b + 20*b - 344 = r for b.
-8
Let d be (27/(-12))/(2/(-8)). Let t = d - -2. Suppose 2 - t = -3*j. Solve j*v - 8 = 4 for v.
4
Suppose 4*h + 0*h + 3 = -q, 17 = 5*q + 4*h. Let w be (0 + (-2)/(-4))*(q - 5). Let z = -12 + 18. Solve w*p = 3*p - z for p.
2
Let y(k) = 73*k + 11. Let n be y(-3). Let q = -205 - n. Solve m = q - 0 for m.
3
Suppose -6*n + 5*p - 40 = -n, 16 = -2*n + p. Let l be 441/18 + (-1)/2. Let w be (4/n)/((-2)/l). Solve 2*r - 8 = w*r for r.
-2
Suppose -2*c = -3*c + 3. Suppose 20 = 9*r - 2*u, -r = 3*r - 3*u + 8. Solve c*i = i + r for i.
2
Let f(h) = h**3 - 5*h**2 + 5*h - 18. Suppose 2*c - 22 = -3*q, 4*c - 2*q = 3*c - 3. Let k be f(c). Solve -k*b - 7 = 14 for b.
-3
Suppose 2*i + 14*l - 11*l - 28 = 0, -20*i - 3*l = -172. Solve i*a = -61 + 21 for a.
-5
Let t be (-6)/4*(-220)/6. Suppose -2*z - t = -57. Let j be (9/3 - -4)*z. Solve 3 = -5*g - j for g.
-2
Suppose -3*b + 9*z = 4*z - 173, 107 = 2*b + 5*z. Suppose 9*v = 16*v - b. Solve 0 = 3*q - v*q - 20 for q.
-4
Suppose -6*h + 1621 - 151 = 0. Let l = -240 + h. Solve 7*v = l*v + 6 for v.
3
Let b(h) = -92*h - 100. Let m be b(-2). Solve m*i + 35 = 91*i for i.
5
Suppose -2*a = 5*z + 28, 5*a + 0*a = -2*z - 91. Let k = a - -16. Let h be (-132)/(-16) + -4 - k/(-12). Solve 5*i - h + 19 = 0 for i.
-3
Suppose 0 = -4*z + 4*t + 752, -4*t - 521 - 49 = -3*z. Solve 10 = -z*s + 184*s for s.
5
Let r(i) = 32*i**2 + 24*i - 2. Let x be r(-4). Let k be (x/483)/((-6)/(-70)). Solve -12*z + 10*z = -k for z.
5
Let m be ((1 - -4) + -6)/(-1). Let w be m*(3 + 0)*(-15)/(-15). Suppose 2 + 1 = r, 4*r = -d + 16. Solve d*y - w = y for y.
1
Let d be 10/6*(296/40 + -5). Suppose 4*j - 17 = 7. Suppose 3 = -m + j. Solve m*f = d*f + 4 for f.
-4
Let s = 30417 - 29268. Solve -8*a - 1085 = -s for a.
8
Suppose c - 4*k - 26 = 0, -2 = c + 4*k + 4. Suppose -4 = -4*w + 4*f, -4*w + 0*f - 2*f + c = 0. Solve w*n - 3*n = 4 for n.
-4
Let l be 70/6 + (7 - (-207)/(-27)). Suppose -l*a + 6*a + 40 = 0. Suppose -s - 14 = -a*s. Solve s*x + 12 = -2*x for x.
-3
Let f = 41 + -25. Suppose -2*t + t = 3*n - 24, 2*t + n - 23 = 0. Suppose -t*i = -12*i + 9. Solve -i*m + f = m for m.
4
Let t(w) = w**3 - 30*w**2 - 33*w + 65. Let y be t(31). Solve -y*m - 8 - 4 = 0 for m.
-4
Suppose 16*n - 28 = 2*n. Suppose -n*j + 0 = v + 3, 4*j = -4*v + 4. Solve v*c = 21 + 4 for c.
5
Let d(c) = c**2 + c. Let a(o) = 7*o**2 + o - 7. Let j(h) = -a(h) + 6*d(h). Suppose 0 = 2*k + 5*s - 27, -3*s - 3 = -4*s. Let i be j(k). Solve -i = g - 2*g for g.
1
Let h(l) = -4*l**3 - 4*l**2 + l - 25. Let s be h(-5). Let z = -363 + s. Solve -z*o - 40 = o for o.
-5
Suppose -64*m - 2128 = -57*m. Let f = 307 + m. Solve 4*o = 5*o + f for o.
-3
Suppose -67*b = -31*b + 11*b - 1269. Solve -175 = b*w - 67 for w.
-4
Let b = 5242 + -5224. Solve b*i = 3*i for i.
0
Let j(v) = 8*v + 9. Suppose y - 32*r - 1 = -33*r, -3*y + 3*r - 9 = 0. Let w be j(y). Solve -w = 2*s + 1 for s.
-1
Let o be (6 - (-90)/(-15))/2. Solve 25*b + 18*b + 129 = o for b.
-3
Let z = 184 + -199. Let v be (-42)/z + (-8)/(-40). Solve -6*l - 9 + v = 0 for l.
-1
Let f = -11222 + 11267. Solve f = 26*l - 35*l for l.
-5
Let x be (-125)/10*(-708)/(-15). Let t = x - -596. Solve f - 25 = t*f for f.
-5
Let d = -1691 + 1693. Solve d*m - 3*m + 6 = 0 for m.
6
Suppose 6*g + 4*b + 4 = 4*g, -4 = -3*g + 4*b. Solve g = -5*d - 9 + 14 for d.
1
Let x be 4 - ((-16)/(-20) + 4/20). Solve -x = 220*f - 223*f for f.
1
Let r be ((-27)/(-144)*-28 - -11)/((-2)/(-8)). Solve -25*m + 2 = -r*m for m.
1
Suppose 6*q - d = 11*q - 2, 11 = -4*q - 5*d. Suppose -18 = -5*i - 4*f, 3*i - 5*f - 32 = q. Solve 0 = s - i + 3 for s.
3
Let g(x) = x**3 - 4*x**2 - 3*x - 6. Suppose -131*w - 20 = -135*w. Let y be g(w). Solve 0 = -2*p + y + 6 for p.
5
Let g be (-1)/4 + 0 + 7 + (-98000)/(-320). Solve -307 = 2*d - g for d.
3
Suppose -37 = -h - 2*l, h - 5*l = 3*h - 72. Let p = h - 39. Suppose -4*z = a - 20, -p*a + 6*a = z - 5. Solve -2*k - 1 = z for k.
-3
Let v(n) = 2*n**2 - 18*n + 12. Let q = 19 - 10. Let y be v(q). Let r = -8 + y. Solve 0 = 3*w - 2 - r for w.
2
Suppose -45*i = -63*i + 3798. Suppose -207*g = -i*g + 28. Solve -35 = g*v - 14*v for v.
5
Let c be (1 + (-28)/16)*2*2. Let r(j) = 4*j - 37. Let z be r(9). Let d be c - z - (-4 - 0). Solve 4 = d*f + 6 for f.
-1
Let t = -4283 - -4446. Solve t = 41*q + 40 for q.
3
Let o(t) = -t**3 - 29*t**2 - 93*t - 1800. Let c be o(-28). Solve 88 = c*g - 32 for g.
6
Let m(z) = -z**2 - 4*z + 9. Let t be m(-5). Suppose 0 = 5*p - 19 + t. Let u = 16 - 15. Solve 8 = p*a - u for a.
3
Let r = 0 - 0. Suppose -31 = -a - 5*y, -122 = 4*a - 5*y - 121. Solve -w + a*w = r for w.
0
Suppose -364 = 9*v - 16*v. Suppose -143*a + 139*a = -v. Solve a*t - 44 = 21 for t.
5
Let r = -470 - -531. Solve 0 = 7*c + r - 26 for c.
-5
Suppose -70*b + 81*b = 308. Solve 5*m = 13 - b for m.
-3
Let a be -33 + 39 + (-3 - 4) + (-2)/(-2). Solve -5*f - 653 + 688 = a for f.
7
Let y(v) be the second derivative of -11*v**3/3 + 45*v**2 + 99*v. Let d be y(4). Solve 8*b = 3*b + d*b for b.
0
Suppose -30*g = 25*g + 42*g - 1067. Solve 0 = -8*k - g*k + 152 for k.
8
Suppose -8*c = 2*r - 7*c - 19, 0 = -3*r + 4*c + 56. Solve -77*u + 81*u + r = 0 for u.
-3
Suppose -v - 49 = -3*w, 0 = 8*w - 4*w - 4*v - 60. Solve 0 = w*x + 12 + 22 for x.
-2
Let k = 236 + -233. Let j(y) = y**3 - 3*y**2 + 2*y - 4. Let f be j(k). Solve 3*i - f + 5 = 0 for i.
-1
Let u(t) = -t - 27. Let i be u(-38). Solve 2173*f + i = 2162*f for f.
-1
Let h be (2/(-8) + (-24)/96)*-12. Let n be h/8 - 15/20. Solve n = -0*z + 4*z for z.
0
Let k(d) = 2*d**3 - 84*d**2 - 9*d + 406. Let u be k(42). Solve 44 = -17*t + u*t for t.
4
Let u be (-120)/100*(-200)/12. Solve 7*m = u*m - 39 for m.
3
Suppose 136*g - 328 = 352. Solve 3 = -6*h + g*h for h.
-3
Let c(z) = -8*z**2 - 7*z - 2. Let s(r) = -r**2 - r. Let p(y) = -c(y) + 4*s(y). Let u be p(-1). Suppose -3*f + 2 = 4*v, 7 - 3 = -2*f. Solve u*l + v = -1 for l.
-1
Suppose 0 = 2*l + 3*l + 25, -g - 4*l - 20 = 0. Solve g = -47*j + 117*j - 280 for j.
4
Let h(v) = 29*v**3 + 4*v**2 + 7*v - 8. Let d be h(1). Solve -23*u - d = -7*u for u.
-2
Suppose -q - 14 + 52 = 0. Suppose 9*z + i + q = 12*z, -4*z - i + 46 = 0. Solve o - 5*o - z = 0 for o.
-3
Let d = 34490 + -34484. Suppose -t = 4*t - 35. Solve d*o + 3 = t*o for o.
3
Let k(s) = 3*s**2 + s - 4. Let y be 0 + 3*2/(-3). Let r be k(y). Suppose 0 = 6*l + 409 - 409. Solve l = 5*z - 26 + r for z.
4
Let c(s) = s**3 + 32*s**2 + 119*s + 57. Let i be c(-27). Solve 42 = 503*p - i*p for p.
3
Let l(z) = z**2 - z - 9. Let j be l(-3). Suppose -3*b + 63 = j*c + 12, -4*b = -2*c - 38. Solve 0 = t - 7*t - b for t.
-2
Suppose 3*x - 2*r = 10, -x - r = 1 + 4. Suppose -2*y = 3*h - 2, -4*y - 4*h = -x*h - 8. Suppose 0*s - y*s = -40. Solve 2*g - 4*g = s for g.
-5
Suppose 4*j = -w + 11, 74*w - 77*w + 20 = -j. Let q be w*(4 - (-96)/(-28)). Solve -g + 6 = -q*g for g.
-2
Suppose 5*b - 39 = 36. Let t be ((-10)/6)/(-1*(-8)/(-24)). Solve t*h + b = 2*h for h.
-5
Suppose 107 = -5*o + 72. Let z be (6/o)/(60/(-280)). Suppose 4*t = 2*g - z, 2*g - 5 = g - t. Solve g = -a + 1 for a.
-3
Let z(o) = o**2 + 34*o + 174. Let q be z(-33). Solve q*b - 57 = 122*b for b.
3
Suppose 57*m = -102*m + 22215 + 31527. Solv