v - 3 = p*v for v.
3
Let l(s) = -s**2 - 19*s + 15. Let m be l(-19). Suppose 3*h = h - 3*v - m, -3*h + 10 = -2*v. Solve -5*k = 5 - h for k.
-1
Let d be ((-20)/8)/(2/(-4)). Suppose -a + 3*a = 5*b - 7, 3*a = d*b - 3. Suppose -v - 1 = a, t - 2*v - 12 = 0. Solve 0 = -t*j + 2 - 4 for j.
-1
Suppose 0 = -5*j - 0*j. Suppose j = -3*c + 8 + 7. Let y = -1 + c. Solve -6 = -f - y for f.
2
Suppose 23 = -z - 5*u, u = -3*z - 3*u - 14. Let p be (z + 4)*8/12. Solve 3*b - b + p = 0 for b.
-2
Suppose 2*p - 4 - 5 = -n, 2*p + 2*n - 8 = 0. Suppose p*q - 2*q = 36. Solve 2*a - q = -2*a for a.
3
Let f = 10 - 10. Suppose f = -103*z + 107*z. Solve 2*p - 5*p + 6 = z for p.
2
Let z be -5 + 26 + -2 - 4. Solve -183*t + 188*t = -z for t.
-3
Let p be 21/28*32/6. Suppose 3*u - p*u = 0. Solve u = q + 3*q for q.
0
Suppose d = -a + 5 - 2, -d - 9 = -5*a. Solve 15 = -14*o + d for o.
-1
Let z(x) = -52*x - 346. Let v be z(-7). Solve 9*l = -0*l - v for l.
-2
Let p(c) = -c**2 + 14*c + 22. Let v be p(16). Let j be ((-4)/v)/((-2)/(-10)). Solve 3*k - j = 2*k for k.
2
Let y = -14 - -14. Solve -4*a + 9 + 7 = y for a.
4
Suppose 30 = 5*y - 3*y. Suppose 5*z = 10*z - y. Let w = -2 - -2. Solve l - z - 2 = w for l.
5
Let c(b) = b**3 - 4*b**2 - 3*b - 2. Let s be c(5). Let i(q) = -5*q + 4*q + 1 + 3*q. Let f be i(1). Solve f*o - o = s for o.
4
Let k be (-2 + (4 - 2))/2. Suppose 20 - 36 = -16*g. Solve k = 5*r + 6 - g for r.
-1
Suppose 44 = 65*m - 54*m. Solve 0*a + 2*a - m = 0 for a.
2
Suppose 16*k - 4*i = 11*k - 20, 4*i = -3*k + 20. Solve k = -15*v + 6*v + 27 for v.
3
Suppose 2*f = -g - 2*f - 8, -4*g + 3*f + 63 = 0. Let l = g - 0. Solve -4 + l = 2*d for d.
4
Let f = 865 - 850. Let s = 0 + 4. Solve u + f = s*u for u.
5
Suppose 0*v + 65 = -5*v - 2*n, 5*v + 50 = n. Let l(i) = -i**2 + 509 - 11*i - 509. Let u be l(v). Solve -6*o + 3*o + 12 = u for o.
4
Suppose -3*d = -0*d. Suppose d*y + 2*y = 0. Let p be y*(-1)/2 - -4. Solve -p*j = -2*j - 4 for j.
2
Let w be -3 - (-5 - 2)*-3. Let x be w/(-30) - (-52)/10. Let q be 1*15 + 2 + -2. Solve q = t - x*t for t.
-3
Suppose -y = -33 - 33. Suppose 6*h = 24 + y. Solve -6*r + r = -h for r.
3
Let j be 100/8*(8/10 - 0). Suppose -4*r + 3*b = -52, 5*r + 3*b - 34 = -b. Let t = r - j. Solve 0*v + 5*v = t for v.
0
Suppose 5*u = 4*u. Let w(f) = -f**3 + 13*f**2 - 13*f + 41. Let v be w(13). Let s be v/(-24) - 1/3. Solve u = s*m - 4*m for m.
0
Let d = 500 + -489. Solve 0 = -d*l - 22 for l.
-2
Suppose -454 + 391 = -9*m. Solve m = 7*k + 14 for k.
-1
Let i = 56 - 10. Let o = -46 + i. Solve -r - 4*r = o for r.
0
Suppose 0 = 4*g - y - 61 - 131, 5*y - 216 = -4*g. Solve -12 = g*q - 46*q for q.
-4
Let c(v) = 2*v + 18. Let k be c(-8). Solve 0 = -2*l + k + 8 for l.
5
Let w = -23 - 2. Let q = w + 31. Solve -2*b - b = q for b.
-2
Let n be (-19 + 1)*(-3)/9. Let c(a) = -a**3 + 5*a**2 + 8*a - 10. Let t be c(n). Solve -p = t*p for p.
0
Suppose -2*f - 2*f = -a + 5, 5*a = -2*f + 25. Suppose -2*s + f = -4. Let k be 3/6 + s/4. Solve 2*v = -k + 3 for v.
1
Let z be (5/(-4))/1 + 483/92. Solve z*b + 33 = 45 for b.
3
Let v be (((-150)/(-20))/15)/((-2)/(-12)). Let i = -4 - -6. Let a = i + -2. Solve 4*w + v - 11 = a for w.
2
Suppose 6*b + 3*h = 2*b + 13, 2*h + 2 = 0. Suppose -29 = 5*d - b*d. Let k = d - -29. Solve k*i = 4*i - 20 for i.
5
Let a be ((-4)/(-10))/((-12)/(-150)). Let t = a - 9. Let q(r) = 2*r**2 + 5*r + 8. Let p be q(t). Solve 3*b = -b - p for b.
-5
Let v be (-2 - 0) + (0 - -2). Let r = 96 - 93. Let i(z) = z + 5. Let l be i(4). Solve v = -r*k - 6 - l for k.
-5
Let z be (-15)/6 + 7 + (-385)/(-22). Solve 52 - z = -6*m for m.
-5
Let b be (6 + -6)/(2/2) + 0. Solve -3*x = -b*x for x.
0
Suppose 917 = 4*g + 901. Suppose -2*f - 5*t + 36 = 0, -4*f + 5*t - 2*t = -72. Suppose g*j = d + f, 0*d + d - 17 = -3*j. Solve 1 = -d*n + 7 for n.
3
Let n = 20 - -10. Let o = n - 40. Let a = o - -13. Solve j = a*j - 10 for j.
5
Let i = 31 + -28. Suppose -i*h = -0*h - 60. Solve -w - 3*w = h for w.
-5
Suppose a = -2*a. Let j = -9 + a. Let h be 2/9 - 25/j. Solve -5*r = -h*r + 2 for r.
-1
Let j = 2795 - 2793. Solve 3*m - 3*m = -j*m for m.
0
Let r = 604 + -604. Solve r = 22*v - 24*v - 8 for v.
-4
Let p(h) = 6*h**2. Let z be p(-1). Let x be 680/30 - 4/z. Let s = x - 15. Solve 0 = 2*d - s*d + 10 for d.
2
Suppose 3*u - 22 = n - 2*u, 4*u = -5*n + 35. Let k = -159 + 104. Let m = -32 - k. Solve 0 = -5*q - n + m for q.
4
Suppose 3*c - 7 = -4*n, 0 = -c - 3*c - n + 5. Suppose 0 = 5*k + 8*k - 195. Suppose -6*b + b = -k. Solve d + c = -b for d.
-4
Suppose 3*f + 0*f + 140 = 5*c, c + 2*f - 41 = 0. Solve 1 = -6*i + c for i.
5
Let s = -42 - -55. Let r = s + -10. Solve -5*d - 28 + r = 0 for d.
-5
Let d(j) = -j. Let c be d(-1). Let a(g) = g**3 + 5*g**2 + 4. Let q be a(-5). Suppose 0 = -n + 2*t + q, -3*t = n - c + 2. Solve 4*r = n*r - 8 for r.
-4
Suppose 2*u + 3*u - 20 = 0. Suppose u*v = -22 + 82. Suppose 2*p - v = -3*p. Solve 2*o + 3 = p*o for o.
3
Let a be ((-104)/(-468))/(2/18). Suppose -d - 2*d - 321 = 0. Let f be 4/(-14) - d/7. Solve -b = a*b + f for b.
-5
Let t = -1078 - -1080. Solve 5*u = t*u for u.
0
Suppose 4*m = 5*w - 14, -2*m = 3*w - 3*m - 7. Suppose -4*v + 12 + 12 = 4*r, -16 = -4*v - w*r. Solve 5*d + v = 7*d for d.
1
Let v(g) = -4*g**2 + 57*g - 31. Let r be v(13). Solve 31 = -n + r for n.
3
Let h be (-14)/63 + 0 + 411/27. Solve 0 = 5*q - h for q.
3
Suppose 3*l - 5*d - 15 = -2*l, 5*d + 13 = 3*l. Let i be (-3 - l) + 2 + 2. Solve -2*r - r + 12 = i for r.
4
Let g(o) = -o**2 - 3*o + 13. Let u be g(-5). Suppose 3*t - 2 = -2*h - 11, -t = 4*h + u. Solve m + 2 - 1 = h for m.
-1
Suppose f + 2 = 10. Suppose -5*r + 30 = -5*q, 5*r + f - 33 = 4*q. Suppose -4*a - r = -21. Solve -a*s = -2*s - 6 for s.
2
Suppose 3 + 7 = -v + t, -2*v + 3*t = 25. Suppose 4*n - 4*c = 0, 3*n + 5*c - 45 = -n. Let a = n + v. Solve -4*k + a*k = 12 for k.
-3
Let u be (-11)/(-3 + (-25)/(-10)). Solve -37 = -5*b - u for b.
3
Suppose 17 = 2*r + 3*q - 2, 8 = r + q. Suppose 6 = -2*v + 3*g, -10 = v - r*g - 0. Suppose -5*x = -x - 20. Solve v = -x*o + 11 + 9 for o.
4
Suppose 3*d + 2*j - 19 = -1, 0 = -5*d - j + 30. Suppose -4*l + 30 = d*t - t, 0 = -4*l - 3*t + 26. Solve -6*p = -p + l for p.
-1
Let k(x) = x + 11. Let v be k(7). Solve -8*p = v + 14 for p.
-4
Let v be 65/(-2)*(-31)/((-1550)/(-60)). Solve v*p - 36*p = -6 for p.
-2
Let y(w) = w**3 - 28*w**2 - 30*w + 33. Let x = 128 + -99. Let j be y(x). Solve 3*u - 19 = -j for u.
5
Let l(q) = -2*q**3 + 49*q**2 + 24*q + 29. Suppose -132*v = -136*v + 100. Let g be l(v). Solve 0 = -g*f - 6 - 14 for f.
-5
Suppose -7*l = -5*k - 11*l + 41, -4*k - 2*l + 28 = 0. Solve 12 + 13 = k*g for g.
5
Let s(i) = -4*i**3 - 7*i**2 - 6*i + 1. Let w be s(-2). Solve w*j + 5 = 22*j for j.
1
Suppose -2*r = -2*w - 2, w = 2*r + 5*w + 10. Let p = 0 - r. Let s = -4 + 8. Solve -s*n - p = -17 for n.
4
Let u = -966 + 977. Solve -17*k + 6*k = u for k.
-1
Suppose 5 = 5*z, -4*u - z = -0*u - 13. Suppose 4*l - u = 17. Suppose 0 = 2*b - l*b + 12. Solve -b*m = -2*m for m.
0
Let r = 7 - -7. Suppose r = 3*f - f. Suppose 3*x - f = -4. Solve h + x = 2 for h.
1
Let s = -19 - -21. Suppose -s*b - t + 1 = 0, 0*t = 2*t + 10. Suppose 0 = c + 2*l - 16, -b*c + 3*l + 4 - 1 = 0. Solve -2*h + c*h + 12 = 0 for h.
-3
Let u(o) = 2*o**2 - 1 - 2*o**2 - o**3. Suppose 4*w = -5*s - 6, 0 = -s - 12*w + 10*w. Let v be u(s). Solve 0 = 2*x + v + 3 for x.
-5
Let j = -29 - -35. Solve j - 1 = -c for c.
-5
Suppose 0 = -c + 2*c - 3. Suppose -2*a - 4 = 2*s, -6 = s - 0*s + c*a. Solve 2*n + 2 = -s*n for n.
-1
Suppose 4 = 2*f + 3*c, 3*c - 24 = -5*f - c. Solve -f*z = 10*z - 54 for z.
3
Suppose -2*p + 3*t - 58 = 0, 0 = -3*p + 6*p + 4*t + 121. Let g = -20 - p. Let l be 6/g + 24/15. Solve -3*u + u - l = 0 for u.
-1
Let b be (-10)/(-15) + 14/6. Suppose -b*s = -1 - 14. Solve -d + s + 0 = 0 for d.
5
Suppose 0 = 3*s + 5*w - 131, -167 = s - 5*s + w. Let f = s + -42. Let u(l) = -l**3 - 6*l**2 + 5*l - 10. Let p be u(-7). Solve h + p*h + 20 = f for h.
-4
Let t be ((-12)/(-20) + 16/(-10))*-22. Solve t*i - 25*i - 6 = 0 for i.
-2
Suppose 26*c = 29*c. Let u = c + 5. Solve -m = -0*m + u for m.
-5
Suppose -6*t - t + 2*t = 0. Suppose t = -16*a + 12*a + 8. Solve a*x = -2*x + 4 for x.
1
Let f(k) be the second derivative of -k**4/12 + k**2/2 + 11*k. Let j be f(-1). Solve -2*q + j*q = -10 for q.
5
Let v be (3 + -3)*((-25)/(-10) + 