= 4*f for p.
-1
Suppose -5*f + f = -4*c + 8, -4 = -4*c + 5*f. Solve q + c = -4*x, 4*x + 7 = 3*q - 7 for q.
2
Let l = 15 + -12. Suppose j - 3*j = -3*u - 7, -j - 4*u - 2 = 0. Suppose 15 = 2*h - 2*s + s, 4*s = 4. Solve l*k = j*g + h, 4 = 3*k + k + 4*g for k.
2
Suppose 3*t + t - 12 = 0. Suppose 8 = v + t*v. Let c(g) = -g**3 + 12*g**2 + 12*g + 17. Let h be c(13). Solve -h*u = -4*l, -v*u + 10 = l - 5*l for u.
-5
Let w = -58 + 63. Let z(b) = -3*b. Let x be 10/(-8) + 3/12. Let f be z(x). Solve -4*m = m + w*k, f*m = 4*k + 35 for m.
5
Let j be 1/((-27)/6 + 4). Let p be (-32)/(-8) + (-48 - j). Let l be (p/70)/((-2)/50). Solve m + 4*x = l, 0 = 6*m - 4*m - 2*x for m.
3
Suppose 0*k - 40 = -2*k - 2*r, 4*k = 4*r + 40. Solve 5*m + 28 = 3*h, -2*m - m - k = 0 for h.
1
Let x(d) = -d**3 + 5*d**2 + 6*d + 3. Let g be x(6). Suppose 3*n + 2*n = -5*v + 125, v = g. Let p = -36 + 38. Solve -5*y - n = -l, 0*l - l = -p for y.
-4
Suppose 3*g = 4*g + 13. Let b(q) = q**3 - 9*q**2 - 19*q - 15. Let k be b(11). Let r = g + k. Solve r*u = z + 10, 5*z - 4*z + 2 = u for z.
0
Let z(k) = -k + 4. Let f be z(0). Suppose -2*s + 3*m + 1 = 2, 4*s + f*m - 28 = 0. Solve 4 = s*x, b = 3*x + x + 1 for b.
5
Suppose -5 = 5*t - 2*l - 3*l, 4*l - 24 = -t. Solve 0 = 3*b - t*u + 13, -5*b + 3*u = -u + 19 for b.
-3
Suppose w + 4*t - 13 + 0 = 0, -5*w = 3*t - 31. Solve -3*z - w*i = -2, -z + 4*i = -4*z + 1 for z.
-1
Let w = 50 + -48. Solve p - b = w*b + 8, -2*p = -2*b for p.
-4
Let a be -4 - 119/(-28) - 14/(-8). Suppose 5*o - 161 = -a*o. Solve -5*q = 2*i, 5*i + o = 4*q + 2*i for q.
2
Let d(v) = 13*v + 150. Let x be d(-11). Solve 30 = 5*q + 3*b, b = -x*q + 3*q + 17 for q.
3
Let q(a) = 3*a**2 - 21*a - 21. Let s be q(-1). Solve 0 = -s*t - c - c - 7, -t = -c - 1 for t.
-1
Let l(h) = 5*h - 106. Let a be l(22). Solve 22 = -2*r - 5*q - 4, 3*r + a*q + 25 = 0 for r.
-3
Suppose o - 5*j + 7*j + 18 = 0, 5*o + 81 = -j. Let y(s) = s**3 + 15*s**2 - 19*s - 43. Let x be y(o). Solve 2*p = -x*w + 16 + 6, 2*w - 10 = -2*p for p.
1
Suppose 39 - 17 = 11*m. Solve -15 = 5*j, -m*h - h + 5*j + 30 = 0 for h.
5
Let n(x) = -14*x - 413. Let h be n(-30). Solve -4*z = -4*r - 8, r = -2*z + 4*z - h for z.
5
Let h = -8 - -4. Let v(t) = t**3 + 4*t**2 - 3*t - 6. Let r be v(h). Solve -8*l + 18 = -4*l + g, -3*g + r = 0 for l.
4
Let h = 197 + -190. Solve 0*m + m - s = h, -s = -2*m + 10 for m.
3
Let i(k) = -k**3 - 6*k**2 + 7*k - 2. Suppose -4 = -4*g - 32. Let y be i(g). Let w = 3 - y. Solve -4*u + 5*c + w + 8 = 0, 3*u - 11 = 5*c for u.
2
Let q be 460/30 - 4/(-6). Suppose z = -2*d + 10, 5*z = 3*z + 5*d - q. Solve 3*h + 4*x = -14, -6 = -z*h - 0*h + 5*x for h.
-2
Let r(x) = x**3 + 5*x**2 - 13*x + 7. Let d be r(-8). Let o = d - -86. Solve 0 = -3*n + 2*z - 18, 0 = -0*n + 3*n - o*z + 27 for n.
-4
Let y(v) = v**3 + 4*v**2 - 4*v + 11. Let o be y(-5). Suppose b + 20 = o*b. Solve -b*u = -4*r + r - 17, -u = 2*r - 7 for r.
1
Let w = 314 + -440. Suppose 0 = 4*g - 2*a - 28, 2*g = -4*a + 17 - 3. Let f be 72/w*g/(-2). Solve 4*l + 8*b - 3*b = 6, -f = b for l.
4
Suppose -5*a - 4 = 6, -5*t - 39 = 2*a. Let l = -2 - t. Suppose 0 = -m - m - 4, 0 = -5*j + m + 32. Solve 0 = -2*i - 4*b - j, -4*i + 26 = -l*b - 1 for i.
3
Suppose r + 5*u = -4*r, 4*u = -3*r. Solve -8 - 16 = 5*t - h, -5*t - h - 26 = r for t.
-5
Suppose 2*h = 4*h - 6. Suppose -7*l + h*l = -28. Solve 2*w = 3*w - 4*z + l, 4*w - z - 2 = 0 for w.
1
Let w(m) = m**2 - 13*m + 2. Let t be w(13). Let r be -2*1/(-2) - 0. Let u be r/(-2)*2*-2. Solve -u*a = -t*k, -4*a - k + 3 = -22 for a.
5
Let w be (8 - 6)*(0 + (-9)/(-2)). Solve y = 3*m - 4, 4*y + 19 = w*y - 2*m for y.
5
Suppose 0 = -28*v + 175 - 91. Solve 12 = 4*m - 2*l, -v*m + 6 = -m + 3*l for m.
3
Suppose 195 = 12*a + 3*a. Solve 0 = 5*z + 5, 5*m + 3*z - a = z for m.
3
Let h(j) = -j - 37. Let c be h(-19). Let y = c - -22. Solve -14 = 2*q + 2*k, -y*q - 5*k - 23 = -2*k for q.
-2
Suppose -5 = -4*c - 21. Let l(m) = -m**3 - 5*m**2 - 4*m + 5. Let h be l(c). Solve 0 = -4*y - 4*u, h*y - 6 = -0*y - 3*u for y.
3
Let j(m) = -m**3 - 13*m**2 - 12*m - 1. Let r be j(-12). Let c be (-1)/r*(-1 - -1). Suppose 4*z - 4 - 32 = c. Solve 3*q + z = q - x, 0 = 2*x + 10 for q.
-2
Suppose -l + 28 = 4*g, l + l - 26 = -2*g. Let v be 2/l - (-38)/8. Suppose -u + 3 = d - 0*d, 15 = 5*u - 4*d. Solve u*b - 2*b = -2*h + v, -5*h + 5 = 4*b for h.
5
Let d = -85 + 106. Solve -3*p = -4*f - 2*p - d, 0 = -5*f - 5*p - 20 for f.
-5
Let i be (-2)/4 + (-11 - 440/(-16)). Solve 3*x = 5*n + i, -4*x = 8*n - 3*n + 2 for n.
-2
Let x be 4/(-6) - (-2)/3. Suppose 0*m + 5*m = 0. Solve x = -3*s - i - m*i + 11, -3*i = -3*s - 9 for s.
2
Let l(i) = -i**2 + 35*i + 210. Let m be l(40). Solve 4*s + m = -2*p, -2*p = 2 - 0 for s.
-2
Let o(b) = b**2 + 7*b + 11. Let w be o(-6). Let l = 72 - 47. Solve -w*u = -5*v - 0*u - l, 4*u = -5*v - 25 for v.
-5
Let r be ((-4)/12 + -1)*-3. Let v(c) = -c**2 + 5*c - 1. Let y be v(r). Solve 8*t - 2*s - 3 = 3*t, 2*t + y*s = 5 for t.
1
Let q = -88 + 92. Solve -4*v - 8 = -4*z, 3*z = q*z - 5*v + 10 for z.
5
Let q be (0*2/(-4))/(-1). Let s(y) = -18*y**2 - y - 2. Let g be s(-1). Let i = g - -19. Solve -h + 2*h + v = q, i = h - 3*v - 20 for h.
5
Suppose 0 = 11*p - 9*p. Let i = -20 + 23. Suppose p = 4*k + h - 31, i*k - h = -k + 41. Solve 0 = 4*b - 3*v - 13, -2*b + k = b - 2*v for b.
1
Suppose -169*f + 188*f - 19 = 0. Let r = 1 + 1. Let b be (-3)/(-6) + 5/r. Solve m + u + 5 = 3*m, m + b*u + f = 0 for m.
2
Let f(k) = -3*k**2 + 9*k - 6. Let z be f(4). Let v(i) = -2*i - 33. Let x be v(z). Suppose -4*l + 28 = -0*l. Solve 0 = x*j + 3*a + 9, 2*j - 15 = l*j + a for j.
-3
Let c(w) = w**3 - w + 60. Let d be c(0). Suppose -2*x - 2*n = -7 - 1, -d = -5*x + 5*n. Solve -3*j - 5*l = -1 + 5, -j - 5*l - x = 0 for j.
2
Let o(n) = -n**3 - 5*n**2 + 4*n - 3. Let s be o(-6). Suppose s*m = 19*m. Solve m = -3*v - 5*x + 40, 4*x = -2*v + 3*x + 15 for v.
5
Let p be (-7 + 1)/((-4)/8). Let j be (48/p)/((-2)/(-2)). Solve 0 = -d - 3*c - 6 - 0, 0 = -j*d - 2*c - 4 for d.
0
Let r be (0/(-3))/2 + 48. Let n be 208/r + (-1)/3. Solve 5*t - 25 = -3*h, -4*t + t = -n*h + 14 for h.
5
Let t be 2/3 + (-15)/9. Let k be (-12)/24*(t - 3). Suppose -k*s - 4 = 0, 4*g = -2*s + 12 - 0. Solve -4*x - g*y + 28 = 0, 4*y - 5 + 2 = x for x.
5
Let y = 3309 - 3305. Suppose 13 = 5*d - 62. Solve -5*c + 16 = -s + y, 0 = -s - 4*c + d for s.
3
Let t = 360 - 359. Solve 0*k + i - 4 = 5*k, -4*k + 3*i = t for k.
-1
Let b be (-32)/(-3)*(-4 - -7). Suppose 12*k - b = 4*k. Solve -2 = -w - 5*g, 2*g - g = -k*w + 8 for w.
2
Let o be -4*(-5 + -2 - -6). Let f be 2/(-11) + (-2)/(-11). Solve f = o*v + v - 2*l + 3, -15 = 5*v - 5*l for v.
1
Let y(p) = 16*p. Let r be y(-1). Let h be r/12 + 76/(-6). Let z = h - -20. Solve 2*n = -o - z, -5*n = -3*o - 0*o + 26 for o.
2
Suppose -2*k - 1 + 87 = 2*z, -4*k + 58 = z. Solve -5*a - z = 4*t + 3, -2*t + 3*a + 7 = 0 for t.
-4
Let w be 207/12 - 2/8. Let h(j) = j - 13. Let g be h(w). Suppose -3*n - 4*m - 1 = 7, 0 = -2*n - g*m - 12. Solve -5*c = -n*k + 40, 0*k - 37 = 3*c - 5*k for c.
-4
Let b(z) = -2*z**3 + 4*z**2 + 3*z + 1. Let a = 44 + -46. Let r be b(a). Solve 3*x - x + 10 = 0, -r = -2*v + 5*x for v.
1
Suppose 3*q + 5*i = 9, -5*i = -5*q + 3*q + 6. Solve -4*m + 2*n - 2 = -0, q*m + 5*n = 5 for m.
0
Let q(d) = -2*d + 10*d + 9*d + 3*d. Let w be q(-2). Let y be 8/(-10)*w/16. Solve 0 = -y*k - 5*j + 8, -2*k = -k + 2*j - 3 for k.
-1
Let b(m) = -4*m + 29. Let j(u) = -19*u + 144. Let d(a) = -11*b(a) + 2*j(a). Let w be d(9). Solve 0 = 2*f - 6 - 2, -3*o = 2*f - w for o.
5
Let d(a) = -9*a - 1. Let h be d(-1). Let f be 1/(-2)*(3 + -1). Let w = 3 + f. Solve 5*k - 20 = c, 0 = -c - w*k - 0*k + h for c.
0
Let x(i) = -i**2 + 4*i + 21. Let y be x(6). Suppose 3*b = y*b - 90. Solve -3*q - g = 2*g - b, 2*q - 14 = -4*g for q.
3
Let d = -205 - -210. Solve -d*k = -2*m + 15, 4*m - 8 + 43 = -3*k for k.
-5
Suppose -4*c - 18 = -5*m, -4*c - 11 = -m - 1. Let l be m/(6/6 + 0). Solve -27 = -5*t + 2*p, -t + l*p + 9 = 2 for t.
5
Suppose -2*t + b = -33, -2*t + 43*b + 13 = 46*b. Solve -2*d + 2 = 0, 2*j = 4*j + 4*d - t for j.
5
Let x = -18 - -21. Suppose -x*f + 25 = -2. Suppose -15 = 4*o - f*o. Solve -a - o*a = s + 7, -3*s = -5*a - 13 for a.
-2
Let t(l) = 3*l - 6. Let z(v) = -v**2 + 18*v - 10. Let i be z(17). Let p be t(i). Solve 5*j + 18 = x, -5*x + p = -0*x for j.
-3
Let s be 876/(-22)