for p.
3
Suppose 19 + 26 = 3*h. Suppose 7*l = -l + 16. Solve 3*r = l*r + 3, -3*v - h = -2*r for v.
-3
Suppose -l - 4*r + 0*r = 18, -5*r - 31 = -3*l. Let a be 2 - (-4 - -3 - l). Solve 0 = -10*q + a*q + b - 21, -5*b - 15 = -q for q.
-5
Let m(y) = 2*y**2 + 4 - y + 6*y - y**2. Let s = 4 - 8. Let w be m(s). Solve -3*x + 2*u + 8 = 3, w = -3*x - 2*u - 11 for x.
-1
Let z(v) = -3*v + 62. Let l be z(20). Solve 2*m = 0, 4*f - l*m + 8 = 6*f for f.
4
Suppose 20 - 6 = w + 2*a, 40 = 5*w + 4*a. Suppose 2*t = 3*m - 18, -w*t - 15 = t. Let y be (0 - 6)/(-4 + 2). Solve d + 3*z = z - m, 13 = -5*d - y*z for d.
-2
Suppose 5*m + 0*m = 10. Solve -2*y + 13 = -i + m, y - 28 = 5*i for i.
-5
Let a(c) = -2*c**3 + 3*c**2 - 5*c + 4. Let z(r) = -r**2 + r - 1. Let u(n) = -a(n) - 3*z(n). Let q be u(1). Solve 0*o - o + q*m - 20 = 0, o = -m for o.
-5
Let o be 9*(6/9)/2. Solve 19 = 3*g + k, -3*g = g - o*k - 8 for g.
5
Let f = -11 - -11. Solve 1 = -p - 3*n, -n = -p - f*n + 3 for p.
2
Suppose -5*p + g = -11, -2*g + 5 + 6 = p. Let q(w) = w. Let l be q(5). Let x be l + (-1 - 0)*1. Solve -x*i - 2*a + 2 = i, p*i = 5*a - 5 for i.
0
Let v be 6/(-1)*(8 - 7). Let d be (4/v)/(6/(-72)). Suppose d = 3*r + r. Solve -2*i = -r*z + 8, 5*i + 2*z + 29 = 2 for i.
-5
Suppose 5*p = 4*n - 25, -n + 6 + 2 = -3*p. Suppose -12 = 5*l - 3*r + 6*r, -n*r = -l + 20. Solve 4*f + 17 = -z - l, -3*z + 24 = -3*f for f.
-5
Suppose -2*h = -6*h + 80. Solve 4*f = -4*v + h, 5*f + v = 4*v - 15 for f.
0
Suppose 13 - 1 = 4*j. Suppose -2*x + 5 = -2*k - 1, -3*x = k - 9. Suppose -24 + k = -j*r. Solve -r = -5*i - v, 2*i + 0*v - 8 = -2*v for i.
1
Let g(v) be the third derivative of -v**4/24 + 7*v**3/6 + v**2. Let w be g(3). Solve w*l = -4*c, 3*l - 2*c + 5 = -0*c for l.
-1
Suppose s - 180 = -11*s. Solve 0 = 4*v - 3*f + 2*f + 12, -5*v - s = 4*f for v.
-3
Let t be 4/30*36 - (-3)/15. Solve -3*y = -5*s - 22, -t*s + 2*y - 26 = -2*y for s.
-2
Let k = -14 - -16. Solve 0 = -2*i + 3*v - v - 4, 0 = k*v for i.
-2
Let q be (0 - (-6)/15)*5. Suppose q*n - 1 - 3 = 0. Suppose 2*y + 3*w - 13 = 0, n*y - 4*w + 2 = -3*y. Solve 4*v = 4*m, y*v + 4*m - 12 = -0*v for v.
2
Suppose 4*j - 3 = -23. Let h be 8*(j/(-4) - 1). Solve 3*v + h*a - 4 = 0, 3*a + 9 = 4*v - v for v.
2
Let p(q) = -q**2 - 7*q + 6. Let c be p(-7). Let m = -7 + 17. Let l = m - c. Solve -4*g - 16 = 2*a, -l*a = 4*g - g + 7 for a.
2
Let a = -23 + 9. Let g be (4/a)/(1/(-7)). Solve 5*o + v = -15, -5*o + 5 = g*v + 3*v for o.
-4
Let x be 3/3 + -3 + 5. Solve 18 = 2*v + 4*i, -x*v + 7 = -4*i - 0*i for v.
5
Let w = 11 + -5. Let z(r) = -2*r + 13. Let a be z(w). Solve -2*h = -2*f - h + a, -3 = -4*f + h for f.
1
Let n(o) = o + 9. Let y be n(-9). Solve -p + 2*b - 1 = y, b - 5 = -p - 0*p for p.
3
Suppose -13*u + 8*u + 50 = 0. Solve 2*z = 3*k - u, -2*z = -0*z - k + 10 for z.
-5
Suppose 0 = -4*o, 0*x - 3*o = -2*x + 4. Solve -x*u + 14 = 2*v, -5*u + 1 = v - 22 for u.
4
Suppose 22 + 8 = 5*t. Suppose 0 = -2*j + f + t, 4*j - j - f - 11 = 0. Solve -j*k = 5*i, -i = -2*k + i - 16 for k.
-4
Suppose -6 = t - 7. Let i = 9 - 4. Let g be 12 + -4*2/(-4). Solve -3*n + t = 3*d - g, -d + i*n = 1 for d.
4
Let c = -6 - -6. Suppose a = -3*a, -m - a = c. Let w be 0 - (-4 - m - -2). Solve -18 = d - x - 3*x, 0 = -4*d + 2*x - w for d.
2
Let l be 5 + -2 + -4 + 15/3. Solve t + 1 = -4*z, l*z + 9 = 2*t + z for t.
3
Let m = 41 + -38. Solve 0 = -3*t - 3*c + 15, -m*t = -3*c - 0 - 15 for t.
5
Suppose -2*j + 14 = 3*q - 25, 65 = 5*j + q. Solve 0 = -2*y - 4*t + j, 3*t - 9 = y + 2*y for y.
0
Let w be -1 - (-3 - -3 - -1). Let h be ((-2 - -3)*-8)/w. Solve -r - 5*p + 2 = 0, 0 = 2*r - 4*r + 3*p + h for r.
2
Let j = 70 - 70. Solve 3*b - 8 + 29 = -5*o, j = 5*b + 4*o + 22 for b.
-2
Let t(j) = j**3 - 9*j**2 - j + 11. Let i be t(9). Solve -4*l = -3*l + 4*c + 20, -10 = -2*l + i*c for l.
0
Let o = -45 - -47. Solve -2*r - 3*j = o*r - 5, -3*j = 15 for r.
5
Suppose 10 = 4*t - 2*t. Solve t*l - i - 3 = 2, -4*i = 0 for l.
1
Let w(r) = 3*r - 27. Let c be w(10). Solve c*b = -2*b + 5*o + 20, -b = 4*o + 11 for b.
1
Let g = -6 + 16. Solve 0 = 2*j + 2*x, -g = -3*j + 3*x - 8*x for j.
-5
Suppose -5*v = -2*v. Suppose 3*a - 8*a = v. Solve -2*j + 2*k - 4*k + 20 = a, -10 = 3*j - 5*k for j.
5
Suppose 2*x - 2 = 2. Let h(w) = -w**2 - 10*w - 12. Let r = 15 + -23. Let d be h(r). Solve -x*j + 18 - 2 = d*v, 5*v - 31 = 3*j for v.
5
Let c = 21 + -11. Suppose 5*q = -4*p + 13, 4*p + 7 = -5. Suppose c = q*j - 5. Solve -j*w + 4 = -4*f - 1, -5*f - 25 = 0 for w.
-5
Let r(i) = i**3 - 9*i**2 + 10*i - 11. Let a be (-90)/(-12) + (-1)/(-2). Let y be r(a). Solve -2*s + y*d = -9, -d - 1 = 2 for s.
-3
Let h = -23 - -11. Let f be ((-33)/h)/(2/8). Solve 4*m - 4*n = -4, 2*n - 3 - f = 5*m for m.
-4
Let f = 69 + -64. Solve -4*c + l = 0, -5*c + f*l = -3 - 12 for c.
-1
Suppose 5*y - 3*j + 5*j - 2 = 0, 4*y = -3*j - 4. Solve -l + 5 = 0, 7*l = -5*i + y*l + 10 for i.
-3
Let d(r) = r**3 + r**2 + 5. Let j be d(0). Suppose 17 - 3 = n - 3*f, 2*n = 5*f + 26. Suppose u = n - j. Solve 0 = c - 4*o - 6, 0 = u*c - 3*o + 2*o + 4 for c.
-2
Suppose -3*t = -4*t - 3. Let d be (-1 - t/6)*-4. Let u = -2 + 5. Solve -4*y + 7 = -u*c, y - 27 = -5*c - d*y for c.
3
Let s = 62 - 58. Solve 0 = s*x - 3*t - 13, 1 = 4*x - 5*t - 10 for x.
4
Suppose i - 2*s - 4 = -1, 0 = 2*s. Let r be 2/(-9) - 145/(-45). Solve i*j - j = -3*a - 3, -3*a = -2*j + r for a.
-1
Suppose 0*n - 5*n - 3*d - 2 = 0, -4*n + 4*d + 24 = 0. Suppose -4 = -n*x, x = -2*s + 8 - 0. Solve 12 = -s*y, 4*y + 13 = 5*p - 2*p for p.
-1
Let k be (-192)/(-15) - 8/10. Solve -3*m + 3*g = -12, -g + k = m - 4*g for m.
0
Let t(a) = a**3 + a**2 + a + 4. Suppose 5*z - 4*z = 0. Let x be t(z). Solve -4*l = -2*r - 0*r, x*l + 20 = -3*r for r.
-4
Suppose 0 = -3*p + 12 - 3. Solve 15 = s - p*w, 0*w + 20 = -5*w for s.
3
Let x be (-3)/2 - (-33)/6. Suppose 5*t = 5*r - 5, -x*r - r - 2*t = -19. Solve 3*n + r*a = 18, -2*n + 0*n - a + 8 = 0 for n.
2
Let p be 4/((-2 - -1) + 2). Suppose 5*f - p*z = 23, 0 = f + 4*z - 1 + 6. Solve 5*c - 5 = -f*a - 2*a, a - 7 = c for a.
4
Let z(h) = h + 19. Let i be z(-15). Suppose i = m + m. Solve -17 = -4*j - 5*a, m*j + 2*j - 7 = -3*a for j.
-2
Let w(r) = r**3 + 7*r**2 + 4*r. Suppose 0 = h + 5 - 0. Let v be w(h). Solve 2*l = 5*b + v, 3*b - 5*l = -b - 41 for b.
-4
Let k = 55 - 36. Let p(d) = 13*d + 1. Let b be p(2). Let f = b - k. Solve -3*n + 3*u - 6 = 0, 0 = 5*n - n - 2*u + f for n.
-2
Let v(u) = u**2 - 10*u + 4. Let w be v(10). Let p be (-6)/(w/(64/(-3))). Solve 0 = 3*x - d + 18, 4*x + p = 4*d - 0*d for x.
-5
Let k = 3 - 4. Let g be -2*3*k/2. Solve -g*i - 3*o + 9 = -0*i, -5*i = 3*o - 9 for i.
0
Let j be (0 + -9)/(-1*1). Suppose 0 = 5*h - j - 21. Suppose 4*f - 5*f = 0. Solve -2*n + f*n - 15 = -5*b, h = -4*n + 2*b for n.
0
Let o be ((-2)/(-5))/(1/10). Suppose o*d + 1 = 21. Let u be 1 - 0 - 2 - -5. Solve -3*m + d*h - 2*h - 6 = 0, u*h - 9 = 3*m for m.
1
Suppose 4*u = -20, -3*f - 4*u + 2*u + 5 = 0. Let g(z) = z + 1. Let b be g(2). Solve 4*n + 4 = 0, 0*v - 8 = -b*v + f*n for v.
1
Suppose -4*l = 3*a + 2*a - 41, -a = -1. Suppose -11 = -b - 0*b. Suppose -3*q = -b + 2. Solve -h = -3*i - 1 - 2, 2*i + l = q*h for h.
3
Suppose 2*u = -0*u + 14. Solve k + 3*v = -3, u = 2*k - 4*v - 7 for k.
3
Let h(v) = -1 - 4*v - v**3 + v**2 + 2*v**2 - 7*v**2. Let a be h(-3). Let b = -5 - -10. Solve b*w + 29 = -m, -1 = -3*m + 3*w + a for m.
-4
Let s be (-2)/(-3) - (-17)/(-3). Let o(f) = -f**3 - 5*f**2 + 5. Let q be o(s). Let u be 0 + -1 + 1 + q. Solve l - 4*p = 2*l - 5, 4*p = u*l + 23 for l.
-3
Suppose 14 - 6 = 2*d. Solve d*i + 0*i - o + 18 = 0, 4*o - 2 = 2*i for i.
-5
Suppose 6*l - l - 40 = 0. Let x be (-1)/(-3) + l/3. Solve -6 = -3*r + x*o, 2*r - 7 + 24 = -5*o for r.
-1
Let r(h) = -h**3 + 5*h**2 + 8*h - 7. Let q be r(6). Suppose q*t - 38 = -3*y + 2*y, -y = -2*t + 18. Solve 3*b = 2*x + t, -4*b + 3 = 6*x - x for x.
-1
Let x be (-29 - -13)*(-3)/4. Let s = 15 - x. Solve 7*t - 4*k - 28 = 3*t, s*t = 2*k + 17 for t.
3
Suppose v - g - 18 = -2*v, 0 = 4*v - g - 23. Let k(h) = 3*h**2 + 1 - v*h + 2 - 2*h**2. Let b be k(5). Solve 5*z - 4 = 3*t + 6, -b*t = 2*z - 4 for t.
0
Suppose 0 = -7*b + 67 - 11. Solve -v + 4*v = -4*i + b, -3*i + 11 = v for i.
5
Let o(i) = -i**3 + 7*i**2 + 9*i - 2. Let k be o(8). Suppose k*z - z = 0. Let l be -2 + (-1 - z - -24). Solve -3*j + 2*t + 2*t = -l, -27 = -5*j + 4*t for j.
3
S