2*p = -x*p + 5 for p.
1
Let i(x) = -x**3 - 4*x**2 + 3*x - 1. Let s be i(-5). Let v = -4 + s. Let b be ((-4)/6)/(6/(-27)). Solve -w - b = -v for w.
2
Let i = 49 + -31. Suppose 12*a - i = 6*a. Solve 2*z - 5 = a*z for z.
-5
Suppose r + c + 4 = 0, 5*r - 3*c - 4 = -0*c. Let s be (-3)/(-9)*(-1)/(r/6). Solve -2*f - 8 = s*f for f.
-2
Let k be (-69)/(-15) - (-2)/5. Suppose 0*v - 5*v = 25, k*v + 45 = -5*p. Let w be p/(-18) + (-696)/(-27). Solve 6 - w = -5*r for r.
4
Suppose 0*z = -4*z - 8. Let o be (28/8 - 1)*2. Let h = o + z. Solve h*y + y = 0 for y.
0
Let q(r) = -r**3 + 6*r**2 - 2*r - 6. Let k be (-51)/(-9) - 4/6. Let o be q(k). Suppose 0 = 2*s + 4*c + 14, 3*c + o + 2 = -s. Solve -t = -6 + s for t.
5
Suppose 5*a = -u + 2*u + 22, -2*a = -u - 7. Suppose 2*j - 8 = 4. Let q = 10 - j. Solve a = -q*n + 5*n for n.
5
Let u(n) = 2*n**2 + 10*n + 20. Let j be u(-4). Suppose 2*y - 5*l - 24 = 0, 2*y + 0*l + 4*l = -j. Solve -1 = -3*q + y for q.
1
Suppose 2*m + 3*r - 33 = 0, -25 = -2*m + 26*r - 21*r. Solve -m = 10*x - 5*x for x.
-3
Let g be 16/6 + 20/15. Suppose 0 = g*o - 18 + 46. Let n = 10 + o. Solve i - n = 2*i for i.
-3
Suppose 0 = 5*b - 5*f - 105, -6*b - 68 = -9*b + 4*f. Let h(d) = d**3 + 8*d**2 - 2*d + 2. Let x be h(-8). Let p = x - b. Solve 7 + p = 3*v for v.
3
Suppose -4*a - a = -4*x - 32, -2*a - x + 18 = 0. Suppose 0 = 3*d - 2*m - a, -4*d + 32 = -m + 13. Let l be d/(-21) - 32/(-14). Solve -b = l*b + 15 for b.
-5
Let z(y) = -4*y - 26. Let w be z(-6). Let a be 306/63 + w/(-14). Solve 0 = -a*c + c for c.
0
Let b be 3 - (4 - 4) - 0. Suppose 0 = b*n - 2*d + 4*d, -5*n - 3*d = 0. Solve n = c + c for c.
0
Let t be ((-3)/(-12))/((-6)/(-120)). Solve -t*d = -14 - 6 for d.
4
Let j(v) = v**2 - 5*v - 4. Let l be j(6). Suppose -l*x = x. Suppose 0 = 3*t - 3*g + 2 + 1, t + 2*g - 14 = x. Solve 2*s + t = s for s.
-4
Suppose 7*c = 2*c. Let p be (-190)/(-25) + ((-14)/(-10) - 1). Solve c = -4*a + 4 + p for a.
3
Let n = 14 + -10. Let g be ((-3)/9 + 3)/((-6)/(-9)). Solve -n*p + 0*p = g for p.
-1
Suppose 2*g + 46 = 4*f, 2*f + g - 13 = 12. Let n be ((-9)/(-18))/(1/f). Solve -9 = -3*a + n*a for a.
-3
Let j = 133 + -137. Let g be 4/(-10) - j/((-120)/(-42)). Solve 0 = -2*r - g + 9 for r.
4
Let n = -218 - -222. Solve n*g - 55 = 15*g for g.
-5
Suppose 5*g - 2*b = 37 + 232, 226 = 4*g + 2*b. Let c = g + -46. Solve c*m - 5*m = 4 for m.
1
Let x(z) = -z**2 + 10*z - 14. Let v be x(6). Solve 12*n - v*n - 2 = 0 for n.
1
Let h(l) = l**2 + 57*l + 6. Let r be h(0). Solve -r*w + 104 = 74 for w.
5
Let l = -7 + 15. Let x(a) = -3 + 0 + 2 + a - 3. Let d be x(l). Solve 2*w - 10 = -d for w.
3
Let x(s) = s + 8. Let l be x(-8). Let a be l + -1 + 1 + 3 - -2. Solve -7*n = -a*n - 8 for n.
4
Let j be -14*1*(-90)/180. Solve -2*m = 1 + j for m.
-4
Let g = -616 - -683. Solve -g*d + 66*d = 4 for d.
-4
Let y(p) = p**3 + 3*p**2 - 5*p - 1. Suppose h - 3*r + 5*r + 12 = 0, 4 = -5*h + 4*r. Let b be y(h). Solve -b*c - 5 = -2*c for c.
-5
Suppose 120 = -30*b + 390. Solve -3*m + b*m = 0 for m.
0
Suppose w - 1 = 4. Let v = 11 - -3. Let z = 7 - -27. Solve -v + z = w*c for c.
4
Suppose 5*z - 80 = -5*y, -3*y = 3*z - 8*y - 32. Solve -20 = -2*w - z for w.
3
Let l(m) be the second derivative of m**3/3 + 6*m**2 - 3*m. Let v be l(-5). Solve v*f = -2*f for f.
0
Suppose -3*k + 32 = -13. Suppose 2*r + 3*t = -r, -5*t = k. Solve 8 + 1 = r*x for x.
3
Let p = -2537 + 2640. Solve 2*b = p - 93 for b.
5
Suppose -g + 5*w - 24 = -8, -g + w = 0. Solve 40 = -g*c + 60 for c.
5
Let n be 5 - 28/8 - 99/(-18). Solve 5 - n = -y for y.
2
Let x be 7/3 - 2/6. Suppose 5*w = -3*a - 6, -4 = 4*w + 3*a + 2. Suppose 0*m - m + x = w. Solve 5 = g + m for g.
3
Suppose d - 3*b - 2*b = -12, -4*d + b = -9. Solve z = 2*z + d for z.
-3
Let z(p) = p + 10. Let x be z(-7). Let y(a) = -a + 12. Let l be y(10). Let j = l + x. Solve 3*t - 2*t = -j for t.
-5
Let z be -2 - (4/4)/((-3)/18). Suppose -6*q = -z*p - 2*q + 28, 4*q = -16. Solve -p*d = 1 + 8 for d.
-3
Let z(n) = n**3 - 12*n**2 - 18*n + 243. Let l be z(12). Solve -q - 28 = -l for q.
-1
Let n = -89 - -104. Suppose -2*r + 3 = 15. Let j = r - -10. Solve -x - j*x = -n for x.
3
Suppose -3*x = x + 3*l - 10, 4*x - 5*l = 26. Solve x = 12*q - 14*q for q.
-2
Suppose 0*z = -z + 4. Let a be -24*((-12)/(-8) - (-55)/(-30)). Solve -z*m - 12 - a = 0 for m.
-5
Let n be (-4)/(-10)*75/5. Let v be 15/90 - 1/n. Solve v*b - 12 = 3*b for b.
-4
Suppose 4*i + 3*y + 0*y = 14, 2*i - 3*y + 2 = 0. Suppose v - 10 = -4*v, -i*v = -q. Solve -m + 0 - q = 0 for m.
-4
Let s(r) = -1 - 3*r**2 - 5*r**2 - r**3 + 12*r + 2 - 3*r**2. Let c be s(-12). Let f = 32 + -32. Solve -4*l - c - 7 = f for l.
-2
Let j be 10/12 - 390/(-180). Solve -j*k - 2*k = -10*k for k.
0
Let s be 9/18 - ((-81)/2 - -2). Solve -6*g - 9 = -s for g.
5
Suppose 16 = 5*v + 6. Suppose -v*n - 3*n = -10. Solve -n*x = -x for x.
0
Suppose -2*h - 4*g = -28, h + 3*g - 1 - 17 = 0. Let r be (h/(-4))/((-18)/24). Suppose k - l = l + 4, 7 = r*k - 5*l. Solve -4*d + 2 = -k for d.
2
Suppose -2*l + q + 8 = 0, q = 3*l + 2*q - 7. Suppose g - 25 = -2*g + 2*b, l*g - 4*b - 35 = 0. Solve 25 = 4*k + g for k.
5
Let z = -345 + 349. Solve 2*p = z*p for p.
0
Let m be 18/((-10)/(-4)*6/10). Suppose -23*z = -19*z - m. Solve z*f - 2 = -5 for f.
-1
Let d(h) = 4*h**2 + 20*h - 76. Let i(s) = 3*s**2 + 13*s - 51. Let t(n) = -5*d(n) + 7*i(n). Let z be t(6). Solve z - 14 = -3*v for v.
3
Suppose -r = 3*o - 0*r + 58, 0 = -r - 1. Let j = 22 + o. Suppose -j*d = -6*d. Solve d = -6*m + m - 10 for m.
-2
Suppose 17 = -3*a + 5, -2*o = 4*a + 12. Suppose 47 = -6*j + 59. Solve o*v + j*v = -16 for v.
-4
Let l be 77/(-28)*-2 - 1/2. Suppose -5*o - v = -25, 5*o + l*v - 23 = 22. Solve -o = -3*x + x for x.
2
Suppose -8*b + 5*b - 24 = 0. Let q(n) = -n**3 - 8*n**2 - n + 7. Let i be q(b). Solve 5*v - 2*v + i = 0 for v.
-5
Let v = 10 - 11. Let t(a) = 11*a**2 - 2*a - 1. Let p be t(v). Suppose 7*w = p*w - 15. Solve -w*s + 6 = -3 for s.
3
Suppose 3*o - 2*o = -n + 20, -2*n = -4*o + 68. Solve 15*p = o*p - 15 for p.
5
Let b = 352 + -344. Solve 6*o + 4 + b = 0 for o.
-2
Suppose 0 = 5*w + 4*i - 53, -146 + 181 = 2*w - 3*i. Solve -24 = -z + w*z for z.
-2
Let c(l) = 4*l + 2. Let z be c(5). Suppose -3*w = -5*t + 9, w + 4*t - z = -4*w. Suppose 0 = 2*f + 5*g - 31, 2*g = -w*f - f + 19. Solve 0*x + 3*x = -f for x.
-1
Let i(l) = l - 4. Let q be i(10). Suppose 2*s = -2 + q. Solve s*f - 8 + 2 = 0 for f.
3
Let a = 139 - 91. Solve a = 10*x - 22*x for x.
-4
Suppose -i = -2*p + 5, 3*i = 5*p + i - 15. Solve -p*g + 18 + 7 = 0 for g.
5
Suppose -s = 4*z - 32, 0 = -5*s + 13*z - 8*z + 285. Solve -2*p - s = -60 for p.
4
Let d(o) = -2*o - 5. Let t be d(-4). Suppose -2*w - 5*c - 22 = -9, -t*c - 8 = w. Let j be 1*2/2 + w. Solve f = -j*f for f.
0
Suppose 4*d - d = 2*h - 3, -4*d - 4 = -4*h. Suppose h*j - j = -3. Solve 5*c - j = -23 for c.
-4
Suppose 4 = 5*j - 4*q, -3*j = 2*q - 15 - 5. Suppose 0 = -j*u - 8, 4*n - 30 = -3*u + 8*u. Solve -n = -m - 0*m for m.
5
Suppose 7*r - 24*r = -153. Solve -6 = 5*g + r for g.
-3
Let u(g) = -8*g + 2*g**3 + 15 - 13*g**2 + 6*g - 19*g - 3*g**3. Let w be u(-11). Solve v - 15 = w*v for v.
-5
Let d = -9 - -19. Suppose -3*m + d = 1. Suppose m*u = -0*u. Solve -3*p + 10 - 25 = u for p.
-5
Suppose 5*t - 4*h = 20, 0 = 3*h + 2*h + 25. Suppose 2*u - 19 + 113 = t. Let w = -27 - u. Solve 7*y - 3*y - w = 0 for y.
5
Suppose -4*n + 0*o + o - 83 = 0, 0 = n - 5*o + 35. Let u = n - -20. Solve y = -u*y + 4 for y.
4
Suppose -3*f - 15 = -3, 2*u + 2*f = 8. Suppose -5*v + u = -12. Suppose 125 = s + v*s. Solve -l + s = 4*l for l.
5
Let d be 1*(4/(-1) + 5). Let v = 1 + d. Solve 5*q = -v + 22 for q.
4
Suppose -x - 2*x = 204. Let n = 71 + x. Solve -n*o = -o + 6 for o.
-3
Suppose 0 = -2*r - 2*r + 92. Let i(l) = l**3 + l**2 - l - 6. Let z be i(0). Let k be 4/(-24) + ((-1)/z - 0). Solve k = -3*q - r + 8 for q.
-5
Let d be ((-40)/(-16))/((-5)/(-10)). Solve -d*a + 2*a = 0 for a.
0
Let l = -113 + 113. Solve -s - 3 + 7 = l for s.
4
Let x = 5 - -2. Suppose -4*v = -2*w + 6, w - x + 4 = 4*v. Solve 0*s + 6 = w*s for s.
2
Let m be 0 - -1*58/2. Suppose -5*h + m = -s, 12 = 4*h + 2*s - 0*s. Solve 2*b + h = 3*b for b.
5
Let a be (-4 + -1)*(-1 + 0). Let j = -7 + 7. Solve j = -5*s + a + 10 for s.
3
Let b(u) = u**2 - u - 20. Let p be b(-4). Solve -5*n + p - 20 = 0 for n.
-4
Suppose 3*i - 18 = 3*m - 