 for p.
0
Suppose 5*w - w = 376. Let d = w + -92. Solve 2*i - 5*g = -21, -d = 4*g - 22 for i.
2
Let n = -16 - -21. Let j = -3 + n. Suppose 13 = -r + 3*d, 0 = -4*r - 0*r + 2*d - j. Solve -c + 4*m = -7 - 9, 2*m = r*c - 14 for c.
4
Let u = -242 - -247. Solve -5*y - 36 + 6 = -3*r, -40 = u*y - 5*r for y.
-3
Suppose 0 = -4*a + 34 - 2. Suppose -6*k = -5*b - 3*k + 20, -2*b - 5*k = -a. Solve -c = -f - 2, 0*c + 2*c - b*f = 0 for c.
4
Let i = -360 + 367. Solve 5*j = 0, -2*m + i*j - 3*j = 0 for m.
0
Suppose 0 = 2*m + 14 - 10, z = -4*m - 6. Solve c + 2*b - 1 = 0, z*c + 2*b + 0 = -2 for c.
-3
Suppose 0 = 7*s - 10*s + 48. Suppose 0 = -z + 5*z - s. Solve 0 = -m + 3*m - 4*a, -z*m = a + 9 for m.
-2
Let m be 46/10 + (-8)/(-20). Solve 3*b - b + m*g + 14 = 0, -2*g = -b + 11 for b.
3
Let x = 805 - 800. Solve 5*y - 31 = -3*h, -4*y + 2*h = -21 + x for y.
5
Suppose 0 = -2*l + 7*l - 25. Suppose 0 = -89*h + 23*h + 1386. Solve l = 3*j - 5*i - 1, 2*j + 5*i + h = 0 for j.
-3
Let t be (-13)/(-39)*6/(-2) + -2. Let h be (-1 + 1)/(1 - 2). Let b be (h/2)/(3/t). Solve -x - 3*d - 8 = -0*d, -5*d - 10 = b for x.
-2
Suppose 0 = -3*n + 36 - 0. Let d be ((-2)/(-6))/(3/36). Suppose o + a - d - 3 = 0, 5*a - 7 = 2*o. Solve -3*b + 12 = 3*u + b, o*b - n = 0 for u.
0
Let n = 492 - 490. Solve 0 = 5*i + 2*g + 14, 4*g + 9 = -n*i - 3 for i.
-2
Let d(b) = -2*b**2 - 42*b + 59. Let j be d(-22). Let o be (-6 + 1 - 0)*-1. Solve 4*p + 2 - j = -o*s, 2*s = -2*p + 4 for p.
-3
Suppose -2*n - 3*p + 93 = -0*p, 5*p = -15. Suppose -5*t + 3*v = v + 281, 0 = -t + 3*v - n. Let d = -36 - t. Solve -h - 4*q = 14, 3*q = -5*h + 2 - d for h.
-2
Let j be ((-105)/(-60))/(2/8). Suppose j*q = 14 + 7. Solve g = x + 1 + 1, -4*g + 15 = q*x for g.
3
Let n be (5 - (18 - 4))*2/(-6). Solve n*s + 5 = -u, 5*u - 2 = 8*u - 4*s for u.
-2
Let q(x) = x + 3. Suppose 5*i + 15 = -0. Let b be q(i). Solve b = -4*z - 8, l - 2*z = 6*l + 29 for l.
-5
Let j = 1189 + -1175. Solve 3*g - 7 = o, 8*o + j = 5*g + 4*o for g.
2
Let w be ((-21)/28 - -3) + (-6)/(-8). Solve 2*u = 4*y, 4*y - 6*u = -w*u - 2 for y.
1
Let x = 3 + -3. Suppose 0*k + k - 4*s = -11, -4*s + 6 = -2*k. Let z = x + k. Solve -15 = 2*i + 4*n - z, 4*n + 25 = 3*i for i.
3
Let v = 382 - 378. Solve -2*y + 2*i = 9 - 13, -12 = v*y + i for y.
-2
Let m(u) = 9*u**2 + u - 3. Let n = 5 - 7. Let z be m(n). Solve -4*a = -t - 2*t + z, 4*a = t - 21 for t.
5
Let n(d) = 2*d**3 - 14*d**2 - 2*d + 15. Let r be n(7). Solve -4*u - 4 = -4*p, -4*p = -u - 5*p - r for u.
-1
Suppose -4*n + a = -56, -2*n + 0*a - 5*a = -50. Let z = 20 - n. Let f be 5 + (0/2)/3. Solve -z*u + 2*u = -f*y - 34, -3*u + 19 = -2*y for u.
3
Let j be (-2)/6 + 168/72. Let r be ((-24)/3)/(-1)*5/20. Solve r*w + 4*k = -10, -j*k + 4*k - 1 = w for w.
-3
Let n be (-14 + 19 - 2/2) + -1. Solve -5*v = -n*t - 18 + 6, -9 = -2*v - 3*t for v.
3
Suppose 3*k + 16 = 2*z, 5*z - 3 = 3*k + 19. Let b be 612/30 - k/(-10). Solve -5*v - b = 0, -11 = i + 4*v + 8 for i.
-3
Let m = -798 - -802. Solve 4*x - u + m*u - 16 = 0, -x + 4*u = 15 for x.
1
Suppose 71*o - 69*o = 32. Solve -2*l - 2*t + o = -4*t, -2*t - 22 = -4*l for l.
3
Let i(n) = 7*n - 56. Let t be i(8). Solve 2*f - f = -4*k + 6, -2*k + 3*f + 10 = t for k.
2
Let m = -23 - -28. Solve 0 = x + 3*b + 4 - m, 4*b = 2*x - 2 for x.
1
Suppose -19*u + 24*u + v - 19 = 0, 2*u + 2*v = 14. Suppose 4*i = 5*i - 1. Suppose 8 = g - i. Solve u*f + g = 5*s, 9*s = 4*s + 4*f + 7 for s.
3
Let p(i) = i + 15. Let o be 1 - (8/(-10))/(2/(-35)). Let n be p(o). Solve l = 2*b - 5, -n*b + 2*l + 6 = b for b.
4
Let n be 5 + -9 - (-2 + -16). Let s(k) = -4*k - 1 - 2*k + 5*k + 3. Let m be s(-3). Solve 4*g - n = -z - z, -m*z = -g - 2 for z.
1
Suppose -2*m = 3 + 3, 3*q + 3*m = 0. Solve -q*z + 2 = -z, -p - 4*z = -8 for p.
4
Suppose -2*g - 5*u - 8 = 0, -2*g + 2*u + 32 = -3*u. Solve c - 4*s = 12, 4*s + g = 2*s for c.
0
Let y = 3 + 0. Suppose -2*u = 4*x - 0*x - 28, 4*u - 26 = -2*x. Suppose 2*d + 5*k - 4 = y*k, x*d - 10 = -4*k. Solve -h + 3 = -4*s + 3*s, 0 = -s - d for h.
1
Let b(a) = a**2 + 19*a + 50. Let l be b(-3). Suppose 11 = 4*z + t, -z = -2*z + 3*t + 19. Solve 0*p = -4*w + l*p - 10, 5*p - 19 = z*w for w.
-1
Let m(q) = 27 + 3*q + q**2 - q + 16*q + 7*q. Let y be m(-24). Solve 0 = 4*h - h - 5*k + 8, 4*k - 7 = y*h for h.
-1
Let z = -390 - -392. Suppose 0 = 2*m - 2*i + 1 + 3, 5*m + 5*i = 30. Solve -m*w + 7*j = 2*j - 9, 3*w + 15 = -z*j for w.
-3
Let v(u) = -u**2 - 34*u + 199. Let r be v(-39). Solve 6 - 1 = -5*k - r*p, -p = -5 for k.
-5
Let h(f) = f**3 - 15*f**2 - 15*f - 12. Let j(c) = c**3 - 6*c**2 - 4*c - 5. Let g be j(7). Let y be h(g). Solve o + 10 = y*z - 15, 0 = -o - 2*z + 5 for o.
-5
Let p be (2 + 1)*(-8)/(-12). Suppose p*c = -2*t - 2*t + 12, -t = 2*c. Solve 2*z + 6 = t*f, -f + 6*f = 3*z + 5 for z.
5
Let w be 2 + ((-114)/9)/((-4)/6). Suppose -2*f = 5*f - w. Solve -5*v + 4 = 4*a, 4 - 24 = -2*v + f*a for v.
4
Suppose -4*p + 40 - 4 = 0. Suppose 4*y - 3 = m + p, m = 3*y - 8. Let l = -4 + m. Solve -4*b - n - 13 + 1 = l, -b = 5*n + 22 for b.
-2
Let b be 1/(-4 + 95/24). Let r be 19/((-114)/b)*6/8. Solve 2*a = 5*i - 2, r*a - 4*a - i - 1 = 0 for a.
-1
Let o = -557 - -562. Solve 0*q - 17 = o*w - 3*q, 0 = w - 4*q for w.
-4
Suppose -2*m - 8 + 44 = 0. Suppose -5*u + 4 = -6. Solve r - 4*z + m = 0, 2*r - z = 5*r + u for r.
-2
Suppose 0 = -2*p - 4*x - 14, 4*x + 5 = -2*p - 3*p. Suppose 3*o + p = 3*n + 9, 0 = 5*o - 25. Solve n*z + 0 - 3 = -3*q, -5*q + 1 = 4*z for z.
4
Suppose -21 = -4*q - 5*l, -3*q + l = -6*q + 13. Solve 10 = 2*a - q*x - 0, 0 = 4*a + 4*x + 40 for a.
-5
Suppose -3*y = -4*p - 0*p - 3, 5*p = 3*y. Solve -j = 2*x + 3*x - 22, 16 = 3*j + y*x for j.
-3
Let x(g) = -6*g**3 - g**2 - 6*g + 15. Let u be x(3). Let r = -173 - u. Solve 4*c + r = 4*y + 13, -3*y = 5*c + 1 for c.
1
Let r = 106 + -102. Solve r*c + c - f = 5, 3*f = 0 for c.
1
Let d = -25 + 65. Let q = 1 - 7. Let c(r) = -r**3 - 6*r**2 - r - 1. Let v be c(q). Solve -5*l = -3*n + d, 16 = v*n + l - 4 for n.
5
Let k(u) = u**3 + 13*u**2 - 13*u + 17. Let r be k(-14). Solve 2*g + 14 = -5*p, -2*p - r = g + 3 for p.
-2
Suppose 0 = 744*a - 754*a + 40. Solve -b + 0 - 2 = 0, -t = -a*b - 9 for t.
1
Let k(l) = -l**2 + 4*l - 22. Let r(j) = -2*j**2 + 9*j - 45. Let q(i) = 11*k(i) - 6*r(i). Let d be q(7). Solve 3*x + d = -2*a + 1, 3*x - 9 = 3*a for a.
-3
Let d = 44 + -40. Suppose 4*t - 4*r - 6 = -2*r, 0 = d*t + 2*r + 6. Solve 4*c = 5*j - 10, -2*j + 4 = c - t*j for c.
0
Let t be ((-156)/65)/(6/(-20)). Solve 2*g + 3*d + 5 = -t, -g + 3*d - 2 = 0 for g.
-5
Suppose -h + 2 = 5*i, -i - 7 = -3*h - 1. Suppose h*l = -l. Suppose l = -3*b - 8 + 104. Solve -z = 2*z + 3*g, 5*z - 3*g = -b for z.
-4
Suppose -2*l - 20 = -2*j, -1 = -2*j - l + 7. Let x = j - 11. Let n = 7 - x. Solve -4*k = n, -p = p + 3*k + 9 for p.
0
Let u(d) = d**2 - 2*d - 5. Let i be u(4). Suppose -g = -2*v + 24, 3*v + 5*g - 86 = -102. Solve -4*n + 8*n + v = -5*f, 2*n + i*f + 4 = 0 for n.
-2
Let r = 158 - 153. Solve 5*n - n = 16, r*q = 3*n + 13 for q.
5
Suppose 4*r + 5 = 3*d, -4*d - 8 = -4*r + 6*r. Let v = 1 + -1. Let h be v/((d - 0)*1). Solve 0*o + 2*o - 3*s - 1 = h, -2*o = 2*s - 16 for o.
5
Let b(u) = -2*u + 17. Let w be b(6). Solve i + 0*i + 30 = -5*c, 25 = -w*i for c.
-5
Suppose 0 = -q - 0 + 3. Suppose -q*x = 15, -w = -2*x - 19 + 6. Solve -12 = -5*p + 3*u, p + 2*u - 4 = w*u for p.
0
Suppose -3*z = -4*j - 22, 2*j + 18 - 4 = 3*z. Let u be 4/((-1)/((-1)/3) - z). Solve u = m - 2*m, 2*d + 3*m + 4 = 0 for d.
4
Let g = 41 - 36. Solve 0 = -g*a + 2*u + 23, 0 = a - 3*u - 2*u for a.
5
Suppose 0 = 3*n - 34 + 13. Let j(p) = 3*p - 5*p - 2*p + 9 + 3*p. Let g be j(n). Solve 2*k + 14 = -g*d - 2*k, 4*k - 4 = 4*d for d.
-3
Suppose p + 1 = c - 3*p, -p = -1. Suppose c*h = 5*i + 15, 0 = 2*i - 3*h + 3 + 6. Solve -1 = -j, 0 = 2*f - 3*j + 7 - i for f.
-2
Let g be (10/8)/(9/(-684)). Let p = g - -95. Solve p = -0*q + 2*q - 2, -a - 2*q = 2 for a.
-4
Let u(o) be the second derivative of 1/2*o**4 + 5*o**2 + o**3 + 0 - 1/20*o**5 - 10*o. Let b be u(7). Solve 35 = -3*k - b*n - 2*n, -3*k - 27 = 3*n for k.
-5
Let d = 9 - 4. Suppose 40*l - 36*l = 40. Suppose -2*n - d*v + 0*v = 25, -2*v - l = 4*n. Solve 5*g - 3*a - 21 = n, g - 25 = -4*g + 5*a for g.
3
Let w(c) = 1 - c - 13 + 5*c. Let p be w(6). Solve -2*g - p = g, 0 = -m + 5*g + 24 for m.
4
Suppose -76*v = -115 - 113. Solve 3*y - 17 = -y + l, 