p - w for c.
1
Suppose -9*j - 42 = -8*j. Let y = j - -59. Let a = 20 - y. Solve -5*o + h + h - 18 = 0, 0 = -a*o + 5*h - 7 for o.
-4
Let f(c) = 8*c - 1. Let h be f(5). Let n be h/(-12)*(-8)/(-2). Let y = 17 + n. Solve -y*u + 8 = 0, -u - 2*u = -4*a + 10 for a.
4
Let a(i) = -i**2 - 5*i + 3. Let w be a(-6). Let m = -54 - -60. Let b be 1 + -1 + m + w. Solve -3*t - b*k + 15 = 0, 5*t + 1 + 6 = 3*k for t.
1
Let r(n) = -2*n**3 + 32*n**2 - 58*n + 32. Let x be r(14). Solve 8 = -3*f + 2*t + 3, x*t = 2*f + 6 for f.
-1
Suppose -3*c + 67 - 13 = 0. Let m = 142 + -142. Suppose m = -4*p + l + 12, 3*p + 3*l = c + 6. Solve -g + 0*g + 6 = 5*f, 0 = -2*f - 2*g + p for f.
1
Suppose -l - 4 = -r, -5*r = -r + 2*l + 8. Suppose -m + 5*m + 8 = r, -4*k = 5*m - 6. Suppose -k*z + 10 = 2. Solve 3*a = -3*w - 12, 4*a = -w + z*a - 3 for w.
-5
Suppose -o + 15 = 4*o - 3*m, -25 = 4*o + 5*m. Suppose o = -3*n + 11*n - 80. Solve 3*c - n + 3 = -i, 0 = -5*i + 3*c + 17 for i.
4
Let u be (-2 + -6)/(1/(-2)). Let b = 0 - -3. Let j be (0/(9/b))/(-2). Solve 0 = 3*w + 5*r - 5, -4*w = r - j + u for w.
-5
Let h(t) = -t**2 - 21*t - 28. Let p be h(-18). Suppose -9*u = -p - 1. Solve -3*i - 2*y = 6, -4*y = i - u*i - 20 for i.
-4
Let y(d) = 453*d + 4988. Let p be y(-11). Suppose 0*k + 27 = 5*k + 2*b, 8 = k + 3*b. Solve -p*g = -k*r + 20, -2*r + 1 = -0*g + 5*g for g.
-1
Let w = 27 - 25. Suppose 7*b = 5*b + w. Solve 0 = 3*f + k + 2, -5*f - 4*k - b = -0*f for f.
-1
Let x(z) = 2*z**2 + 14*z + 12. Let f be x(-6). Suppose f = 2*q + 2*y - 4, 0 = -q + 2*y + 1 + 1. Solve 4*o = -q*a + 6, -3*o = o + 4*a for o.
3
Let o be (-9)/12 - (-7)/(308/33). Solve 4*m - 22 = -0*m - y, -3*m - y + 17 = o for m.
5
Suppose 0 = 4*q - 5*u + 15, -19*u + 20*u - 3 = 0. Let y = -4 - -7. Solve 5*c - 10 + q = -y*f, -5*f = 0 for c.
2
Suppose -1 + 25 = 12*u. Solve 2*p = 4*f - p - 19, 5*p = -u*f - 23 for f.
1
Suppose -4*x - 124 = 32. Let h = -37 - x. Solve 2*a - 5*m + 2*m - 1 = 0, -h*a + 5*m + 7 = 0 for a.
-4
Suppose 3 = m + 4*k - 21, 2*k + 6 = 4*m. Let q = m - 1. Solve -3 = q*u, 4*h - 2*h = 4*u + 10 for h.
3
Suppose -3 = -5*g + t, 5*t = -2*g + 4 - 19. Solve 4*q + k + 15 = g, 5*k - 7 = 5*q + 18 for q.
-4
Let l be (-1*1)/(18/666). Let m = l - -39. Solve -m*w - 7 = -3*a, -5*a + 0*a - 5*w + 45 = 0 for a.
5
Suppose 5*z = 20, -3*t - 5 = -4*z + 5. Solve 2*c = c + 5*j + 11, 0 = c + t*j + 3 for c.
1
Suppose 3*g = 2*o - 12, 5*g + 20 = o - 2*o. Let p = 20 - 20. Suppose -3*s + p*s + 3 = o. Solve c = w - 1, -5*c - s = w + 4 for c.
-1
Suppose -14*y + 4*y = -30. Solve -3*g + 12 = -y*i, 4*i = g - 9 - 1 for g.
2
Suppose -4*q - 59 = -d, -2*q - 6 = 2. Suppose 3*f = d - 7. Solve -f = -5*c - 0*t + 4*t, 4*c + 3*t = -9 for c.
0
Let n(s) = -2*s**2 + 24*s - 51. Let d be n(9). Let k(r) = r**3 - 3*r**2 - 4*r + 5. Let i be k(4). Solve -3*o = 3*f - d, -4*o + 0*o - i*f + 8 = 0 for o.
-3
Let p = -1 - 4. Let h = 7 + p. Suppose -3*c = -h*q + q - 4, 2*q = -4*c + 22. Solve -3*d = -x - c*x + 1, -3*d + 19 = x for x.
4
Let r be 10/(0 - 2) + 4 - -8. Suppose -r*s + 12*s = v + 12, 0 = -3*v + 4*s - 3. Solve -4*d + 4 = 8, -5*j + v*d = -3 for j.
0
Let h(r) = 18*r + 128. Let k be h(-7). Solve -2*v = -2*y - 12, -3 = -2*y + 3*y + k*v for y.
-5
Suppose 0*v = 4*v - 252. Let c be 301/v - 2/(-9). Let f be (-4)/10 + 102/30. Solve -2*h - 25 = c*m, 3*m + 27 = -f*h + 3 for m.
-3
Let p be (12/(-5))/(-7*42/490). Solve z - 7 = -6*n + p*n, 2*z - 11 = -n for z.
5
Let h be (-2)/(-11) + (-252)/(-308). Solve 5*s + 3*k = 17, s - k = -4*s + h for s.
1
Let k(p) = -3*p**2 - 41*p - 22. Let s be k(-13). Solve -s*n = -n - 2*w + 11, -3*w = -5*n - 17 for n.
-1
Let g(h) = 7*h - 21. Let w be g(14). Let f = -74 + w. Solve 3*q = u + 1, -f*q + 0*u + 5*u = -5 for q.
0
Suppose 15 = -4*x - 13. Let j = x + 12. Suppose 5*h - 4 = -14, -2*h = 4*z - 76. Solve -z = -j*f, -2*m - f - f = -16 for m.
4
Let x(v) = -17*v**3 - 8*v - 7. Let a be x(-1). Solve a = 5*f - f - 2*n, -3*f + 2*n = -15 for f.
3
Suppose 0 = -5*o - 129 - 11. Let r(n) = -27*n - 2. Let d be r(3). Let h be 21/o + d/(-4). Solve s = 5, -6*s + 3*s = -y - h for y.
-5
Let h be -1 - ((-3)/9 + (-200)/30). Solve 5*r - h*r - 4*b = 16, -2*r + b = -4 for r.
0
Let p be (-6 - (-176)/30) + (-231)/(-45). Solve -x - 21 = p*z, -4 = 4*x + 3*z + 12 for x.
-1
Let x(h) = h**3 - h**2 - 7*h + 10. Let s be x(2). Solve -p = -5*l - 3 - 2, s = -2*l - 3*p - 2 for l.
-1
Let m be 0 + 4 - 1*4. Suppose -6 = -3*l + l. Solve 2*w = l*i - 5*i, m = -i - 5*w + 12 for i.
-3
Let j be (-1 + 14)*(30 + -28). Solve 2*w = 4*y - j, 4*w + 4*y - 13 + 5 = 0 for w.
-3
Let d(i) = -2*i**2 - 3*i - 1. Let a be d(-2). Let q be (-6)/(-4)*(-6)/a. Solve -5*t + 6 = -q*t + k, 0 = -t - 4*k - 11 for t.
5
Let o = 3 + 12. Suppose 2*g = -3*c + 12, g - 5 = -c - 0*g. Suppose 0 = -2*x + 10. Solve -y + c = -x*k - 3, -3*y + o = -4*k for k.
0
Let b = -140 - -143. Suppose 0 = b*w - 6, 4*p - 2*w + 2 = 22. Solve -2*c = 3*l - 8*l + p, 16 = 3*c + 5*l for c.
2
Suppose 20 = 15*a - 11*a. Solve -4 = -5*y + 2*d, -y - y + a*d - 11 = 0 for y.
2
Suppose 2 + 34 = 4*u - 2*g, -2*u = 5*g - 18. Suppose 7*x + u = 10*x. Solve 2*h = l, 4*l + 5*h + 14 = x*l for l.
-4
Let q(o) = 10*o - 3*o**2 + 4*o - 4 + 5*o**2 + 0*o. Let v be q(-8). Solve 2*i + 2*k = v - 4, -3*k + 14 = 5*i for i.
1
Let t = 7 - 1. Suppose -14*i + 17*i = 168. Let q be i/t*(-12)/(-8). Solve -4*a = -0*f - f + 7, 2*a = 4*f - q for a.
-1
Suppose 3*z - 5*f = -2*z + 10, -f - 6 = -5*z. Suppose -2*i = -g - z - 7, 4*i - 10 = 5*g. Solve -3*c = -g*m - 13, -2*m - m = -5*c + 21 for c.
3
Let t be (9 - -3*(-4)/(-12)) + -5. Solve -2*n + 0*n + 5*p = -9, 5*p - t = -5*n for n.
2
Let g(n) = 3*n + 8. Let f be g(-7). Let u be 12/78 - 11/f. Solve -p - 4 + u = -l, -6 = -4*l + p for l.
1
Suppose 5*r + 0*r + 84 = l, -5*l - 90 = 5*r. Let d = r - -37. Solve -4 = 2*p, -4*h - 2*p - d = 2*p for h.
-3
Suppose 2*a - 2*c = a + 10, -5*c - 20 = 0. Solve -2*t + 2 = -4*w, 0 = 5*w + 2*t - 4*t + a for w.
0
Let f be (-15)/2*(-22)/(-1). Let c be f/6*(-4)/5. Suppose c*s - 19*s = 9. Solve -s*m + 2 - 13 = g, g - 1 = m for m.
-3
Let m be 16/(-3)*-3*(-6)/(-24). Solve 3*l - 5*a = -4 - 15, m*a = -4*l + 28 for l.
2
Let m be 4/18 + 83/(-9). Let f = -10 - m. Let w = f + 1. Solve 0 = -u + 4*j + 13, w = 4*u - 0*j + j - 1 for u.
1
Let i be 12/4*(5/3 - 1). Solve -i*r - 6 + 11 = 5*j, -j + 5*r = -1 for j.
1
Suppose 5*y = f + 13, 0 = 79*f - 77*f - 3*y + 5. Solve 3 = -4*r - 2*m + 3*m, f*r + m = 3 for r.
0
Let v = -24 + 44. Suppose -3*l - 13 + 34 = -y, -y + 11 = l. Let q be (v/l - 1)*8. Solve 0*r - r = -2*g - 2, -4*r - q = 2*g for r.
-2
Let r = 254 - 249. Solve r*y + 4*b = -9, -2*y - 22 = 3*b - 6*b for y.
-5
Suppose p = 2*l - 15, -25*p + 21 = 3*l - 27*p. Solve -3*k + 12 = 0, -6*j + 4*k - 28 = -l*j for j.
4
Let b be (12/30)/((-3)/120*-2). Solve -3*o + o + b = 2*n, -n = -2*o + 11 for o.
5
Let m(t) = t**3 - 5*t**2 - 7*t - 15. Let a be m(7). Let u = a - 32. Solve u*b - 4*b - j = 10, -3*b = 3*j + 21 for b.
-3
Let m(g) = -2*g**3 - 3*g**2 - 2*g - 3. Let d be m(-2). Let p = -18 + 13. Let i be -1 - 1 - (p - 0). Solve -r + i*v = 7, -d*r + v = -2*v - 1 for r.
2
Suppose 0 = -q - 1 + 5. Suppose 4*k - 20 = -q. Suppose 3*z = 2*g - 7*g, -3*z - 2*g = 0. Solve -13 = -w - 0*w - 5*b, -k*w + 2*b - 14 = z for w.
-2
Suppose -v = -5*q - 12, -1 = q + 1. Solve -l + 4 = v*t - t, 17 = -2*l + 3*t for l.
-1
Suppose -u + 2*u - 16 = 0. Suppose 24 + u = 8*c. Solve -4*s + 0*b - 2*b = 10, -5*s - 50 = -c*b for s.
-5
Suppose -3*f = f. Suppose -5*z - 5*m - 70 = 0, 4*z + f*z + 2*m = -52. Let n be (z/10)/((-16)/40). Solve -8*a + 4*a = 3*h + 12, n*a + 9 = -5*h for a.
-3
Let g be -2*((-6)/4 + 0). Suppose b = -4*c - 5, -2*b = c + 2*c. Suppose -2*n = -4*w - n + 30, -34 = -5*w + b*n. Solve w = -0*t + 2*t, d - g*t = -12 for d.
0
Suppose -6 = -27*h + 25*h. Solve -5*y = 3*u - h + 9, -10 = 2*y + 5*u for y.
0
Let y be 2 + 93/(-7) + (-2)/(-7). Let t = y + 11. Solve 2*p - 6*p - 5*g + 12 = t, -2*g = 0 for p.
3
Let h(y) = -8*y + 485. Let u be h(60). Solve 0 = -z + 2*s - 1, -5*s + u = -5*z - s for z.
-1
Let x(u) = 6*u**3 + 2*u**2 + 2*u - 2. Let f be x(-2). Let a = f + 50. Solve 4*h + g = 21, a*h - 3*g - 19 = -2*g for h.
5
Let v = -11 + 11. Suppose -4*s + 5*d = -91, -5*d + 0 + 5 = v. Suppose 19 = 5*o - j - s, 2*j - 4 = 0. Solve m = -2*a - 6, -3*a = -0*a - 4*m + o for a.
-3
Suppose o = -2*k - 13, 3*