15 + p. Solve 0 = -s*v - 1 - 2 for v.
-1
Let d be (9 + -7)/(12/120). Solve d*i = 14*i - 12 for i.
-2
Suppose -d + m + 6 = -0*m, -4*m - 8 = 4*d. Solve 15 = -5*w + d*w for w.
-5
Let x = -234 + 259. Solve -6*s = -s + x for s.
-5
Let r be 10*(18/(-4))/(-3). Solve 5*m - 10 = r for m.
5
Let d(x) = 3*x**2 + 1. Let r be d(2). Let o = r - 14. Let n = o - -3. Solve -n*i = -3*i for i.
0
Let i be 1/((-36)/208) + (-8)/36. Let o(u) = -3*u - 15. Let k be o(i). Solve 8 = -k*b - b for b.
-2
Let q = 33 + -24. Suppose -15 + q = -2*f. Solve -f = -i + 4*i for i.
-1
Let w = -2768 - -2784. Suppose -3*n + 9 = 4*u, 0 = -5*n - 7 + 2. Solve -q + w = u*q for q.
4
Let d be (3/15)/((-15)/(-25))*15. Suppose -f + 3*i = 2, -6*i + i + 50 = d*f. Suppose -j = 4*l - 21, -7 - 4 = -2*l - j. Solve 3*o - f = l for o.
4
Let y be 3 - 0/(20/5). Solve -2*b = y*b for b.
0
Suppose 0 = 5*s - 30 + 5. Suppose -3*p = -5*r + 2 + 1, -5*p - s*r + 35 = 0. Suppose 0 = 2*q + 2*g - 14, -3*q + 12 + 14 = p*g. Solve -q*t = 3*t for t.
0
Suppose 5*t = 38*t - 165. Solve -28 = -t*x - 3 for x.
5
Let s = 51 + -23. Suppose -4*w + 44 = -s. Suppose f + 5*f - w = 0. Solve -f*y = -4*y + 5 for y.
5
Let c be 396/20 + (12/15)/4. Suppose 0*t = 5*t - 15. Solve t*l - 8*l = c for l.
-4
Suppose -17*g + 12*g + q = -25, -5*g - q + 15 = 0. Solve 5 = -g*d + 13 for d.
2
Suppose 2*v = 5*v - 6. Suppose 4*i = -16, -v*w = w + 3*i. Solve 0*m - w*m = -20 for m.
5
Let h(j) = 4*j. Let l be 3*2/6*-1. Let u be h(l). Let z be (u/(-6))/((-3)/(-9)). Solve -6*o = -z*o for o.
0
Suppose 0 = -0*y + 5*y + 5*p - 30, p = 5*y - 18. Let d(u) = u**3 - 2*u**2 - 4*u - 5. Let t be d(y). Let n = 16 - t. Solve -5*o = -n - 0 for o.
1
Let s be (7 - (8 + -1)) + 4. Solve -6 = -6*y + s*y for y.
3
Let w = 911 + -895. Solve -17*p = -w*p - 3 for p.
3
Suppose -i - 12*n = -14*n, 2*i - 3*n = 3. Solve -9*f - i = -15*f for f.
1
Suppose 2*o - 20 = -14. Suppose -3*m + b + 21 = 2, m - o*b = 17. Solve m*z = z for z.
0
Let t be (-15)/(-10) - (-3)/(-2). Let j(p) = -p**2 - p + 2. Suppose -o + 3*o = 0. Let q be j(o). Solve t = x - 0 + q for x.
-2
Let y(a) = a - 11. Let m be y(17). Solve -21 = z + m*z for z.
-3
Suppose 5*l + 1 = 2*z - 3, -3*z - 5*l + 6 = 0. Suppose 0 = -0*j - z*j + 16. Let h = j + -8. Solve h = -o - 0*o - 1 for o.
-1
Suppose 5*g = -62 + 237. Suppose 34*q + 6 = g*q. Solve -2*z + q = z for z.
2
Suppose -5*c = 5*j - 20 - 10, 0 = -3*j + 5*c - 22. Solve 1 = 11*z + j for z.
0
Suppose -13*b = -9*b - 44. Suppose 4*g - 13*a + b*a = 0, 0 = -5*g + 4*a. Solve 4*r + 0*r - 20 = g for r.
5
Let w(s) = 5*s - 284. Let a be w(58). Solve -51*l = -53*l + a for l.
3
Let o(n) = 20*n**2 - 58*n - 58. Let g be o(-1). Solve -6*h = -2*h - g for h.
5
Suppose -q + 0*x + 17 = x, 76 = 4*q - 4*x. Suppose 2*l + 4*l - q = 0. Solve 0 = -2*d + l + 3 for d.
3
Suppose 7*g = 9*g - 4. Suppose g*j + 2 = 2*c - 0*j, 5*c - 3*j = 3. Solve z + c = -2 for z.
-2
Suppose 172 = 15*v + 127. Solve 5 = 4*z - v for z.
2
Suppose 0 = -f - f + 50. Suppose -5*h - 5 = -f. Suppose -y + h*y = 6. Solve y*k = 6*k for k.
0
Let y = -20 - -11. Let k be y/(-3) + (3 - -3). Let a be (5 - 6)/(1/(-3)). Solve k - 21 = -a*u for u.
4
Let u = 6 - 3. Let q be 5 - u/6*2. Suppose 5*i - 173 = -153. Solve 12 = q*r - i for r.
4
Let r be (27/1)/((-5)/25). Let g = r - -215. Let m be g/50 - (-4)/10. Solve -m*s = -6 - 4 for s.
5
Let l(u) = 7*u**2 - 1. Let g be l(-1). Suppose g*i + 8 = 8*i. Suppose -k = i*k. Solve k = -j + 1 for j.
1
Suppose 0 = -2*v + 3*z - 10 - 1, -2*v - 17 = -z. Let j be v*(-6)/45*(-2 - -5). Solve -1 = -j*n + 19 for n.
5
Let g(q) = -3*q - 24. Let w be g(-19). Suppose w*c + 18 = 39*c. Solve 5*j + 28 = c for j.
-5
Suppose 0 = -s - 4*s. Suppose -4*g + 0*g + 16 = s. Let d(u) = 4*u**2 + 2*u + 3. Let p be d(-1). Solve g + 6 = p*h for h.
2
Let y be 5*8/5*17/34. Solve -y*m = 9 + 7 for m.
-4
Let m be 1 + (0/(-2) - -1). Let y(a) = a**3 - 6*a**2 - 8*a + 9. Let n be (-79)/(-11) + (-16)/88. Let j be y(n). Solve j*w - w = -m for w.
-2
Let g(p) = p**3 - 5*p**2 - 3*p + 8. Let w be (-10)/(-4)*16/10. Let m be g(w). Let o be (-30)/1*8/m. Solve -2*r - 2*r = -o for r.
3
Suppose -5 = -w - 2*r, 7*w - 11*w = r - 20. Solve -s + 2 - w = 0 for s.
-3
Suppose 3*s + 3*v - 23 = 19, 5*v - 15 = 0. Suppose j - 4 = -0. Let a = -1 + j. Solve -s = -2*w - a for w.
4
Let d = -2 - -2. Let u = -217 - -220. Solve -u*o + d*o = -6 for o.
2
Let f be 6 + (-5)/(-10)*-2. Suppose -3*t + f = -1. Solve -5 = -t*w + 3*w for w.
-5
Let t = 64 + -54. Solve -t*b - 2 = -8*b for b.
-1
Suppose -79287*k = -79294*k + 21. Suppose 0 = -d - 4 + 10. Suppose 0 = -4*g + 5*g - d. Solve -k - g = 3*x for x.
-3
Suppose 0*a = 5*a + 10. Let m(x) = 2*x**2 + 2*x. Let d be m(a). Let s be 2/(-4*d/(-32)). Solve 3*b - s = 2*b for b.
4
Suppose -6*b + b = 0. Suppose b = 4*s + j - 12, -s - j + 7 = 1. Suppose -24*h = -20*h. Solve -2 + h = -s*c for c.
1
Suppose 7*k + 63 = 10*k. Solve v = -6*v + k for v.
3
Let j = -21 - -23. Suppose j*r + 2*f = 4, -4*r - r - 3*f = -20. Solve 2*t + r = 1 for t.
-3
Let o(u) = 2*u**2 + 31*u + 18. Let n be o(-15). Solve 9*h - 48 = -n*h for h.
4
Let j = -136 - -143. Solve 0 = 5*s - j*s for s.
0
Suppose 0 = -3*a + 2*f + 4, a = 3*f - 8. Suppose -15*c = -16*c + a. Solve 2 + 2 = c*l for l.
1
Let h(q) = -4 + 29*q**3 + 9 - 28*q**3 + 16*q**2. Let d be h(-16). Solve d*o = -0*o for o.
0
Let d be (-2)/6 - (-22)/3. Let q(m) be the second derivative of -m**4/12 + m**3/6 + 3*m**2 - 16*m. Let r be q(3). Solve -3*c - d - 8 = r for c.
-5
Suppose -2 = -0*x - x. Suppose 0 = 3*o - 4*c - 61, -o + 56 = 3*o + c. Suppose -o = -7*p + 2*p. Solve p = -f + x*f for f.
3
Let k = 344 + -340. Solve 14 - k = 5*h for h.
2
Suppose 2*i - d - 17 = 0, 3*i + 2*d - 18 = d. Solve 15 = i*v - 20 for v.
5
Suppose -4*o + 5 - 113 = 0. Let z = o + 27. Solve z = 5*s + 9 + 16 for s.
-5
Suppose 2*f + 11 = 5*j, 7*j = 4*f + 3*j + 4. Solve -f + 1 = -c for c.
1
Let q be (-14 - -2)*(-6)/12. Suppose -2*k = -q*k. Suppose -4*h + 8 + 0 = k. Solve h*v + 0 = 2 for v.
1
Let t(s) = -s**3 - 24*s**2 - 44*s + 8. Let x be t(-22). Suppose -5*w + 15 = -0*w. Solve -x = -w*n + 1 for n.
3
Let d be (2 + (-1)/(18/84))*-3. Solve -18 - 14 = -d*g for g.
4
Let r be -1*2 - 26/(-2). Suppose 63 - 23 = 10*g. Solve 0 = -g*k - r + 3 for k.
-2
Let z be (1 - 2/4)*-2. Let w(g) = -1 - 8*g + 2 + 0. Let k be w(z). Solve -k = v + 2*v for v.
-3
Let a be 10/(-55) + (-1062)/(-33). Suppose 0 = -4*c - 4*x + 36, c - 4*c = 4*x - a. Suppose z - 3*r = c, 7*z = 2*z - 2*r + 3. Solve -y + 5 = z for y.
4
Let t = -2102 + 2102. Solve t = -2*n - 6*n - 16 for n.
-2
Let n(i) = 11*i**2 + 10*i + 10. Let d be n(-1). Solve 3*z = d + 4 for z.
5
Let c = 154 + -151. Solve c = -5*s - 17 for s.
-4
Let x = 257 - 251. Solve -b - 1 = -x for b.
5
Suppose -8*a = 40 + 8. Let k(o) = -2*o - 8. Let z be k(a). Solve 2*g + 2 = z for g.
1
Let b(i) = 4*i**2 - 4144 + 4144 - 3*i**2 + 2*i. Let x be b(-3). Solve -x*a = -5*a - 4 for a.
-2
Suppose -6*z + 3*s = -z + 35, 0 = -5*z + 5*s - 45. Let p be (17 - z - -2) + (-1 - 2). Solve 0 = 2*r - 7*r - p for r.
-4
Let s(q) = q + 27. Let c be s(-25). Let d(f) = f. Suppose 5*w = -2*x + 3*w + 4, -w = -x + 2. Let m be d(x). Solve -c = 4*z + m for z.
-1
Let d(u) = u**2 + 8*u + 20. Let y be d(-8). Let h be -8*2*(-5)/y. Suppose -2*a = -6 - h. Solve -4 - a = -3*r for r.
3
Let x = 8 - 4. Suppose -4*w - x = d, 3*d + 3*w - 14 = 4*w. Solve -5*z + d = -1 for z.
1
Let v be ((-3)/(-12))/((-8)/(-768)). Solve -17*g + 23*g = -v for g.
-4
Suppose 5*v + 11 = 1, -65 = -3*h + 4*v. Solve -3*u + h - 7 = 0 for u.
4
Suppose 6*l - 3*k + 15 = 3*l, -4*l + 2*k - 12 = 0. Let x be 22/4 - l/(-2). Suppose 6*v - 20 = 4*v + x*o, 2*v + 5*o = 0. Solve -4*r - v + 1 = 0 for r.
-1
Let x be 27 - -4*(-3)/6. Let c(r) be the second derivative of -r**3 + 3*r**2/2 - 18*r. Let f be c(0). Solve -2*y = f*y + x for y.
-5
Let q = 2 - -2. Let y be 10/q - 19/38. Solve -3*u = -5*u - y for u.
-1
Suppose 3*m = -0 + 6. Suppose -j - 5 = -2*g, 0 = -4*g - m*j - 0*j + 14. Suppose -2*o = -5*f + 9, 3*f + 5 = 4*o + 2. Solve o*c - 3 = g for c.
2
Let g(f) = f**3 - 7*f**2 - 18*f + 6. Let a be g(9). Solve 3*u = -9 - a for u.
-5
Let j = -14 - -10. Let m be 1 - (3/(6/j) - 1). Let p(t) = t**2 + 5*t + 4. Let x be p(-5). Solve -m*v = -0*v - x for v.
1
Let v(m) = 2*m**2 - 11*m + 10. Let c be v(5). Suppose 2 + c = 7*a. Solve -5 = 2*p + a fo