 -2*v + 2 - 4 = -2*f, -4*v + 3*f = -1. Suppose -v = -2*m + 24. Suppose -22 = -m*t + 3*t. Solve t = -4*w - 2 for w.
-1
Let n = 43 + -44. Let t(p) = 95*p**2 + 5*p + 5. Let u be t(n). Let i = 100 - u. Solve 0 = i*r - 6 - 19 for r.
5
Suppose 27*y - 24*y = -3*z + 150, -2*z = -16*y - 208. Solve -50 = -81*f + z*f for f.
2
Suppose 5*p + z = 42, -z + 10 = p - 0*z. Suppose -4*h - 927*a + 928*a = -58, 2*a + 20 = 0. Solve -h = -p*q + 12*q for q.
-3
Let p(u) = u**3 + 57*u**2 + 111*u + 55. Let r be p(-55). Solve 5*m + 802 - 777 = r for m.
-5
Let d = 17746 + -17743. Solve -d*q - 3 = -2*q for q.
-3
Let p(u) = -2*u**2 - 6*u + 5. Let v be p(-5). Let x be 7 + (2/(-3))/((-10)/v). Suppose 18 = 5*o + 2*h, -5*o - 9 - 1 = -5*h. Solve x = 4*n + o for n.
1
Let i(q) = -6*q + 66. Let s be i(4). Solve 24*t - s = 3*t for t.
2
Let t = -31 + 37. Suppose 102*b - 33*b - 759 = 0. Solve b*j - t*j = 20 for j.
4
Suppose 12 + 14 = 13*t. Suppose s = -3*g, 6*g + t*g = 3*g. Solve 0*r - r - 3 = s for r.
-3
Let u be 1 + 2*1 + 14940/332. Solve u*h + 112 = 16 for h.
-2
Let r be -2 + 636 + (10/10 - 3). Suppose -102 = r*n - 649*n. Let i be 4/6*(-9)/(-2). Solve -i*k - n = -3 for k.
-1
Let k(a) = 7*a + 17. Let u be k(15). Let f = 130 - u. Solve -2*j = f - 18 for j.
5
Let v be 2/(-24) - 14/(-42) - (-474)/24. Solve 149*r = 144*r - v for r.
-4
Let r(f) be the first derivative of -5*f**2/2 + 5*f + 18. Let p be r(1). Suppose -5*d + p*h + h - 4 = 0, 4*d - 5*h = -20. Solve d*o = -2*o - 10 for o.
-5
Let d be (-4)/14 + (-4)/(-14). Suppose 0 = -81*i + 82*i - 5. Suppose -s = -d*s - i. Solve -s*k + k + 8 = 0 for k.
2
Let q(f) = f + 8. Let d = -395 - -135. Let w be 3/5 - d/(-100). Let b be q(w). Solve -7*c = -b*c + 1 for c.
-1
Suppose 3*k + 25*k = 1148. Suppose 3*o = 2*h + 21 + 5, 5*o = h + k. Solve -o*w = -6*w + 2 for w.
-1
Suppose -4*m - 192 + 1705 = 13*m. Solve -81*a = -m*a - 32 for a.
-4
Let u(d) = -8*d**2 + 6. Let s(k) = 9*k**2 - k - 7. Let t(f) = 6*s(f) + 7*u(f). Let c(a) = a - 2. Let h be c(0). Let r be t(h). Solve -2*j + j - r = 0 for j.
-4
Let i = 270 - 265. Let b(a) = -a**3 - 20*a**2 - 23*a - 63. Let v be b(-19). Solve -i + v = 2*x for x.
4
Suppose -36*c + 2654 + 874 = 0. Solve -12*t - c = -98 for t.
0
Let d(g) = 2*g**2 + 15*g + 42. Let c be d(-5). Solve 0 = s - c*s - 16 for s.
-1
Let t be (-4)/(-14) + (-220)/(-14). Let p be ((-14)/(-3))/1 - 16/24. Suppose 8*c = p*c + t. Solve a = 5 - c for a.
1
Let h = -33526 - -33528. Suppose -4*y - 6 + 2 = 0. Let x = y + 5. Solve r - x = -h for r.
2
Suppose 6 = u + c, -3*u = 5*c - 29 + 3. Let t be (-4)/14 - 23/(-7) - u. Let n be t - ((-12)/(-18))/(4/(-6)). Solve 6 - n = -4*l for l.
-1
Let p be (-3 + 32)/(3 + 1 + -3) + -6. Solve 14*k = p*k for k.
0
Suppose 370*j - 372*j + 117 = -k, j - 3*k - 81 = 0. Solve 70*q + 16 = j*q for q.
-1
Let n(z) = -3*z**2 + 7*z + 14. Let a be n(11). Let s = a - -287. Solve 0 = 10*m - 7*m + s for m.
-5
Suppose 2*w - 3 = 5*q, -2*w + 3*q - 4 = 3. Suppose -4*x + 50 = -18. Let v = w + x. Solve -v + 3 = 3*m for m.
-1
Suppose -31*u + 321 = -51. Solve 2 - 14 = u*q for q.
-1
Suppose 18 = 3*o, 2*o - 13 - 28 = -h. Let n be (-2)/7 - (-177)/7. Solve 0 = -w + n - h for w.
-4
Let l be -16 + 14 + -1 - -158. Solve 24*s = -7*s + l for s.
5
Suppose 2*v + 12 = 6*v, 2*x - 2*v - 158 = 0. Let l = 90 - x. Let s be l/56*-1 - (-1)/7. Solve 4*n + s = 20 for n.
5
Suppose 187 = 9*a + 29*a - 1029. Solve -a*m = m - 198 for m.
6
Let l be 1/(-2)*(-28)/(-91) + 2552/26. Solve -l = -20*q - 18 for q.
4
Let f(g) be the third derivative of -5*g**4/24 - 7*g**3/6 - 93*g**2. Let q be f(-2). Let o(y) = 3*y - 12. Let d be o(8). Solve q*p = -p + d for p.
3
Suppose -99*b = 14*b - 9153. Solve -4*o - b = -101 for o.
5
Let z be 1*(-7)/14 + 1138/(-4). Let m be (342/z)/(6/(-70)). Solve -13*n = -m*n - 3 for n.
-3
Let a(m) = -m**2 - 6*m - 2. Let z be a(-4). Let s(g) = 98*g + 11466. Let b be s(-117). Solve z*i - 18 + b = 0 for i.
3
Let j be (1 - 7/2)*(-824)/515. Suppose 0 = -4*o + 3 + 9. Suppose -p = o*p. Solve 4*q = -p*q - j for q.
-1
Suppose 0 = -5*q + 2*q + 219. Let b = -72 + q. Let v be b/(2/(-12)*-3). Solve h + v = 4 for h.
2
Let v(m) = 7*m**2 - 15*m + 8. Let d(a) = a**2 - 11*a + 3. Let l be d(11). Let h be v(l). Solve -27*w = -h*w for w.
0
Let s be ((-4)/1)/((-2)/2). Let y be (-1)/(-9)*-3*-9. Suppose 4*p + t = 28, -y*p = 4*t - 2 - 6. Solve 4*o = -p - s for o.
-3
Let d = -70 - -74. Let s(h) = -h**3 + 4*h**2 + 3*h - 5. Let m be s(d). Solve -m*t = -2*t + 20 for t.
-4
Suppose 5*x - 5 = -5*p, -4*x - 1 = 4*p - p. Suppose 254 = p*t + 24. Solve -41*j + t*j - 25 = 0 for j.
5
Let f be 4312/24 - 4/12*5. Suppose -3*g = 4*v - f, -5*g - 54 + 182 = 3*v. Solve -v*i = -44*i for i.
0
Suppose -24*w + 48 = -45 - 123. Solve w = 12*d + 21 for d.
-1
Let v = -271 - -271. Suppose 1175*u - 1169*u - 126 = v. Solve -a = -u + 19 for a.
2
Let s = -778 + 603. Let q be s/(-63) + -3 + 58/18. Solve -7*a + q = -6*a for a.
3
Let a = 54 - 29. Let k(x) = -x**2 - 31*x + 92. Let f be k(-33). Solve -21*o = -f*o + a for o.
5
Suppose 77 = 13*b - 9*b + 7*g, b = -5*g + 16. Solve 37*u + 132 = b for u.
-3
Let i be (-6)/(-8) + (-60)/80. Let x(n) = n**2 + 2*n. Let q be x(i). Solve q = -s + 5*s + 8 for s.
-2
Suppose -15 = -a - 2*d + 7, 0 = -a + 5*d - 6. Suppose -13*o + 14 - a = 0. Solve 0*x + 2*x = o for x.
0
Let d be 1965/40 - 2/16. Suppose -g = 47 - d. Solve 5*s = -g*s - 7 for s.
-1
Let h(w) = -w**2 + w - 5. Let y be h(0). Let k(j) be the third derivative of -j**5/60 - j**4/4 + 7*j**3/6 - 3*j**2 + 4. Let f be k(y). Solve -i - f = 3*i for i.
-3
Suppose p - 13 = -5*b + 2*b, 5*b = -p + 21. Let j be 4*(b + -5) - -5. Solve z = -j + 4 for z.
3
Let u(a) = -229*a - 4328. Let t be u(-19). Solve 37*w = -t + 171 for w.
4
Suppose -5*f - 2*d = -50, -f - d = -0 - 7. Suppose -4*q = 2*q + f. Let w be (5 - (-17)/(-3))/(q/18). Solve w*i - 5 = i for i.
1
Let u = 819 - 812. Suppose 0 = 9*n - u*n. Solve -4*h + n + 0 = 0 for h.
0
Suppose z = 3*b - 4*b - 3, -2*z = 5*b. Suppose b - 17 = -3*o. Let u = -350 - -373. Solve 3 = -o*j + u for j.
4
Let s = 660 + -666. Let q be 3/((-39)/65)*s/10. Solve 0 = 3*a - 0*a - q for a.
1
Suppose 388*f - 403*f = -750. Solve -5*l = 20*l - f for l.
2
Let b = -1238 + 1242. Solve -19*f = -20*f - b for f.
-4
Let c(s) = s**2 + 6*s + 10. Suppose -o - 19 = -12. Let j(q) = q**3 + 6*q**2 - 5*q + 9. Let r be j(o). Let z be c(r). Solve 7*b - 8*b - z = 0 for b.
-5
Suppose l - 40 = -2*d, 5*d + 4*l - 105 = -l. Solve 14*i = d*i - 10 for i.
2
Suppose 5*s = -25, -49*j - 5*s = -52*j + 130. Solve j*p + 106 = 36 for p.
-2
Let u(g) = -2*g**2 - 5*g + 12. Let f(v) = -2*v**2 - 4*v + 10. Let q(j) = 6*f(j) - 5*u(j). Let s be q(0). Solve s = w + 5 for w.
-5
Suppose 2*s + 5*k = -2*s - 75, 4*k = 4*s + 84. Let u be 12/((45/s)/(6/(-4))). Solve -u = h - 3 for h.
-5
Let f(y) = y**2 - 3*y - 8. Let i be f(8). Let j(q) = 805*q + 1639. Let g be j(-2). Solve 3*n + i = g for n.
-1
Let c = 10 + -6. Let f = 7 - c. Suppose 0*x + 75 = 5*k - f*x, -x = 5. Solve s = 4*s + k for s.
-4
Let x = 4 - 4. Let g(z) = -4*z**3 + 21*z**3 - 10 - 7*z + 3*z**2 - 16*z**3. Let d be g(-4). Solve 2*u - d + 0 = x for u.
1
Let o(k) = k**3 + 20*k**2 - k - 17. Let d be o(-20). Suppose -10 = -5*a + 2*v, 0*a - 3*v = -d*a + 15. Solve -5*j - 17 - 8 = a for j.
-5
Suppose -864*m = -883*m + 228. Solve m*b - 24 = 6*b for b.
4
Let q(s) = -7*s - 1345 - 2*s + 1514. Let j be q(17). Solve -4*o + j + 4 = 0 for o.
5
Suppose -38*x = -40*x + 10. Suppose 0 = -x*f + 7 + 8. Solve f + 17 = -4*i for i.
-5
Let p be (1 - -6)*(15 + -14)*2. Let z(g) = -g**3 + 13*g**2 + 16*g - 17. Let y be z(p). Solve y*n - 4 = 12*n for n.
-4
Suppose -4*v - 5*q + 7 = 0, 2*v = q + 6 + 15. Suppose f + 4*x + 2 = 0, -4*x + 16 = -v*x. Solve -f*a + 7*a = 0 for a.
0
Let g = -7337 - -7396. Solve 21*q - g = -38 for q.
1
Suppose 247*a - 270*a = -529. Solve -m = a - 18 for m.
-5
Let k(w) = -59*w - 67. Let u be k(-6). Suppose 37*h = u - 65. Solve 2*i - h = -8 for i.
-1
Suppose 6*o - m - 1 = 5*o, 0 = 3*m - 9. Let u be o*(4 + (-5 - -2)). Solve u*n = n for n.
0
Suppose -2*g = -5*x + 7, -2*x + 3 = -x - 2*g. Let f be (9/(-5))/(x + 260/(-250)). Solve -5*c = 4*c - f for c.
5
Let j(z) = 2*z**3 - 79*z**2 + 42*z - 37. Let k be j(39). Solve k*u = 38*u - 210 for u.
-5
Let h(s) = s**3 - 9*s**2 + 10*s - 39. Let f be h(9). Solve -23*z + f = -6*z for z