for p.
0
Let p(a) = 7*a - 46. Let i be p(7). Solve i*r - 12 = 5*v, r - 2*v - v = 4 for r.
4
Let h = 10 - 7. Let o = 914 + -914. Solve h*u = -4*z - z + 37, -4*u - z + 21 = o for u.
4
Suppose -4*k = -20, 7*k - 7 = 4*c + 4*k. Let x = -15 - -19. Suppose -s + 30 = x*s. Solve -6 = c*r - 2*b + s*b, r = 3*b + 17 for r.
5
Let z = -19 + 23. Suppose z*n - 4*x - 76 = 0, -x = 3*n - 6*x - 61. Let p be (3 - 2*-1)/1. Solve 3*u + n = p*t, 3*t + 2*t = -2*u + 22 for t.
4
Let i be 16*-3*(-1)/2. Suppose -3*q + 32 = q - o, 3*o - i = -3*q. Let m = q - 6. Solve s - 4*v - 9 = 0, 2*s - 6 = 6*s - m*v for s.
-3
Suppose -4*m + 5 - 25 = -2*p, 0 = -2*p + 5*m + 24. Solve -p*s + 1 = -0*s + 3*k, 0 = -5*k + 5 for s.
-1
Let k = 54 + -51. Let g(c) = -c**2 - 6*c + 3. Suppose 3*z = -0*z - 18. Let s be g(z). Solve -2*d + 8 = 0, 5*d = k*u + s*d + 14 for u.
-2
Let u be 5/(-20) - 170/(-8). Let y = -40 + u. Let c = y - -23. Solve d + c*i - 3*i - 6 = 0, -5*i + 2 = -2*d for d.
4
Let w be ((-21)/(-9))/(126/108). Solve w*k = 2, 5*a + 0 - 27 = -2*k for a.
5
Let u = -133 + 136. Solve 2*a + 2*d = 12, -3*a + u*d = -a + 13 for a.
1
Let x(a) = a**3 + 34*a**2 - 73*a - 33. Let p be x(-36). Solve -2*v + p*q + 1 = -v, -4*q - 5 = -5*v for v.
1
Let t = -28 + 29. Let n = -8 - -11. Let c = n + 14. Solve -5*b - 2*s + 3*s = c, s + t = -b for b.
-3
Suppose -13 - 62 = -3*t. Suppose 0 = -3*c - 2*c + t. Solve -4*i = 5*p + 24, 5*i + p - 11 = c*p for i.
-1
Let r(d) = -d**3 - d**2 + d + 4. Let q be r(0). Suppose -4*c + q - 32 = 0. Let o = c - -10. Solve o*n + 5 = -w, 2*w + 8 = -3*n - n for n.
-1
Suppose 5*l + 35*l = 0. Solve -5*p = l, -f - 5*p + 8 = f for f.
4
Suppose -2*y = 5*p - 108, -3*p + 29 = -2*y - 23. Let b = p - 7. Suppose -4*z + 287 = 263. Solve -3*g + b = -j, j - z - 5 = -5*g for j.
-4
Let f(g) = g - 13. Suppose -6 = -3*i + 4*i. Let h be f(i). Let o = h - -43. Solve 0 = -5*m - 3*b + o - 8, m - 8 = b for m.
5
Suppose -3*x + 29 = 5*o, -3*o + 44 = 2*x + 26. Solve -14 = y - 3*r, -4*y - o = -5*r + 24 for y.
-2
Let a = 17 - 39. Let z = 27 + a. Solve -3*x = -3*i - 15, -2*i - 5*x - z = 3*i for i.
-3
Let s be (-91)/1638 - (-74)/36. Solve 2*t - 3 + 5 = -3*l, -6 = -5*t - s*l for t.
2
Let x = 812 - 804. Solve 3*p - a = x, -2*p - 3*a = -0*p + 2 for p.
2
Let x(h) = h**2 - 23*h + 116. Let q be x(17). Solve -4*i - v = -6*v + q, -4*i + 2*v - 8 = 0 for i.
-1
Let q be (-1)/((-12)/(-8))*9. Let v be ((-25)/2)/((-3)/q). Let l = v + 25. Solve 2*s = 5*o - 0*s - 5, l = -4*s + 20 for o.
3
Suppose -14*n + 45 = -67. Solve -2*m - 5*f + n*f = -3, 5*m + f = -18 for m.
-3
Suppose 12*o - 14*o = 58. Let i = o + 28. Let k be 0/(i*(-2)/1). Solve k = 4*r - 4*s + 4, 0*s = -r - 4*s + 14 for r.
2
Let m = 36 - 25. Suppose -28 = 9*f - m*f. Suppose 4*o + 2*q - 16 = 0, -4*o + 18 = -2*q - f. Solve 3 = v + x, -o*x + x = -4*v + 3 for v.
2
Let k(s) = -4 - 2 + 1 + 13*s**2 - s**3 - 9*s - 2*s**2. Let d be k(10). Suppose -v = -d*v. Solve -2*y - 5*n + v = 2, 0 = y + 2*n for y.
4
Suppose -3*k + 18 = 2*c, c = -c + 6. Let l(h) = 8*h - 3. Let t be l(-3). Let o = t + 46. Solve -2*g + 5*b + 10 = -7, k*g - 5*b - o = 0 for g.
1
Let p(o) = 2*o**2 - o. Let s be p(-1). Suppose -4*q + 23 = 3. Suppose q*x - 1 = 4*j + 36, 2*x - 4 = -2*j. Solve 3*g + f = g - x, s = 3*g - 2*f for g.
-1
Let y(p) = p**2 - 2*p - 3. Suppose -3*u + 0*u = -21. Let i be y(u). Suppose -5*a + 3*a = -i. Solve -3*q - 4*v - a = -2*v, -5*q = -5*v - 15 for q.
-2
Let a(u) = 2*u**2 + 7*u + 7. Let b be a(-3). Let d be 4/14 + (-8)/28. Suppose d = 2*l - 7*l + 70. Solve 2*r + r = 2*x - l, b*x - 8 = -4*r for r.
-2
Let g(z) = -z**2 + 4*z - 4. Let w be (6*1/2)/((-30)/(-20)). Let l be g(w). Solve -i - j + 2 = l, -5*i + 13 = -j + 5*j for i.
5
Suppose 0 = -2*s + 2, 0 = 3*l - 6*s + 4*s - 31. Suppose 4*a - 3 = 3*a. Solve -3*b - j - 8 = l, -b + a*j = -7 for b.
-5
Let p(t) = t**3 + 8*t**2 - 8. Let g be p(-7). Let b = g + -38. Solve -4 = -7*h + b*h - 5*u, 0 = -2*h - u - 4 for h.
-4
Let q = -13 + 17. Suppose 2 = 4*s + 2*m, 5*s + q*m = -0*s - 5. Let j be s/(-1)*(-5)/15. Solve 0*y = -4*v + 3*y - 8, -y + j = -3*v for v.
1
Let a = 37 + -21. Suppose 4*g + 25 = 5*h - g, -a = -2*h - 4*g. Let r be 26/(-169) + 41/13. Solve -r*p + 12 = 3*f, -f - 2*f = p - h for f.
1
Let y be 1*4 + (-17 - -17). Suppose 4*a = -4*r - y, 2*a = 4*r + 7*a + 8. Solve 3*k + 25 = 2*k - 4*t, k - 10 = r*t for k.
-5
Let k = 9 + -4. Let h(p) = 2*p**3 - 22*p**2 + 15*p - 16. Let a be h(10). Let g = -63 - a. Solve 3 = k*q - 4*s + 6, g = 2*q - 3*s for q.
-3
Let g = -7280 + 7284. Suppose -5*y = 4*k - 40, 0*y + 24 = 4*k + y. Solve 0 = -3*b - 3*z - 6, b + g*z = k*b - 32 for b.
3
Let o(t) = 44*t - 1. Let j be o(1). Let u = 46 - j. Solve p - 3*q - 27 = -3*p, u*p + 3*q = -6 for p.
3
Suppose -2*t + 10 = 0, y + 5 = -2*y - 2*t. Let c = 0 - y. Suppose 2 = 2*h + 2*n, 5*h = 7*n - 11*n + 5. Solve c*w + 40 = -3*f, 0 = 3*f - 2*w + 4 + h for f.
-5
Let v(t) = -t**2 - 7*t - 7. Let x be v(-6). Let i be (6/4)/(3/8). Let w = x + i. Solve -r + 5*l + 5 = 0, -w*l - 4 = -r + l for r.
0
Let c(r) = r**2 - r - 3. Let u be c(-2). Suppose 5*a = 2*f + 122, 2*a - f = -u*a + 121. Let v be 4/2*a/16. Solve -v*z - 3 = -3*y, -z - 3 = 2*z - y for z.
-1
Let v = 11 + -5. Let k = 10 + -6. Suppose 2*a + 13 = k*q - 3, 0 = -3*a + 3*q - 12. Solve a = -2*g - 3*b + v + 10, -5*g - 4*b = -33 for g.
5
Let g(x) = -10*x + 6. Let u(c) = -11*c + 7. Let q(f) = -6*g(f) + 5*u(f). Let o be q(1). Solve -5*v + 40 = -o*m, -11 = -2*m - 5*v - 1 for m.
-5
Suppose -2*j = -3*l - l, l - 27 = -4*j. Suppose -2 + 10 = 2*i. Solve -5 = 5*g - p + j*p, i*p + 4 = -g for g.
0
Let p = 498 - 483. Solve -5*j - 25 = v + 2*v, -3*j = p for v.
0
Let f be (8/(-6))/(-5 + (-2199)/(-441)). Let h be 4/(-2)*114/(-4). Let n = f - h. Solve w = -4*m - 2*w + 1, 4*m - 5*w = n for m.
4
Let y(x) = x**3 + 31*x**2 - 67*x - 33. Let l be y(-33). Suppose 0 = 3*p + p - 8. Solve l = k + z - 3, p*k - 4 = -0*k - 3*z for k.
5
Let w be 0/(-4 + 0 + 2). Suppose 21*v + 24*v = 14*v + 62. Solve 14 = -5*j + m - 0*m, v*j + 3*m - 8 = w for j.
-2
Suppose -4*v - v + 5*f + 5 = 0, 0 = 5*v - f - 25. Let n(s) = 2*s**3 - 3*s**2 + s - 1. Let l be n(2). Solve 4*h = 4*g - l*g - v, -5*g - h + 8 = 0 for g.
2
Suppose 9 = -2*z + 35. Let o be -2*3*z/(-26). Solve -8 = j - 4*v, o*j = -3*v - 0 - 9 for j.
-4
Let r(t) = -t**3 - 7*t**2 - 14*t - 11. Let v be r(-5). Solve 3*i + 2*f + 2*f - v = 0, 0 = -5*i - 4*f + 7 for i.
-1
Let u(t) = -52*t - 2. Let m be u(-1). Let a = -48 + m. Solve -4*b - 4*j = -24, -3*b = 2*b + a*j - 18 for b.
2
Let f = 3 - 1. Let y be (-197)/(-5) - f/5. Let c = -34 + y. Solve 3*q + 22 = -5*k, -c*k - 3*q - 18 = -q for k.
-2
Let q(y) = 15*y + 11. Let b be q(-1). Let v be b/(-22) + (-3)/(-33)*-2. Solve h + d - 2 = v, 4*h + 0 - 14 = -2*d for h.
5
Let x(d) = -13*d - 5. Let b be x(-4). Let m = b + -34. Suppose 0 = 4*g + v - 62, 5 = -4*v + m. Solve w = 5*o + g, -o - 3*o = -4*w - 4 for o.
-4
Let d(l) = -3*l + 5. Let s be d(0). Suppose a + a + s*x - 25 = 0, 5*a + 5 = x. Solve 0 = 5*z + 3*w + 2*w, -4*w = a for z.
0
Suppose 7*h - 13 = 1. Suppose -4*d - 2*a = a - 12, 0 = h*a - 8. Solve d = -4*f + 16, 2*k + 17 = -3*k + 3*f for k.
-1
Let z be ((-8)/(-3))/((-4)/(-12)). Let w(v) = v + 1. Let g be w(z). Suppose 0*f + 3*f = -5*c + 25, -2*c = f - g. Solve 9*j + f = 4*j, 5*s - j - 16 = 0 for s.
3
Suppose -8*z + 21 + 3 = 0. Solve 0*v - 4*a - 14 = -z*v, -2*v + a = -6 for v.
2
Let v(d) = -4*d + 42. Let x be v(12). Let l be ((-39)/x)/((-4)/(-8)). Solve -z + 5*y + 33 = l, 4*y + 15 = z for z.
-5
Let r = 915 + -912. Solve -r = -4*d + 3*d, y - 4*d + 16 = 0 for y.
-4
Let v = -232 + 239. Suppose 0*n = -n. Solve 0 = -z - 2*d + 5, n = -z - z - 3*d + v for z.
-1
Let g(r) = -r**2 + 10*r - 19. Let o(y) = y**2 - 10*y + 20. Let a(k) = -4*g(k) - 3*o(k). Let n be a(8). Solve 0 = -2*d + 8, 5*s + 29 = -n*s + d for s.
-5
Let x be 3/1 + (-1 - -2). Suppose -x*l - 5 + 13 = 0. Solve -f = -4, 2*g - 3*f = -f - l for g.
3
Let q = 22 + 0. Let t = q - 17. Solve 5*u = -t*w - 35, -2*w - u + 11 = -7*w for w.
-3
Let a(o) = -2*o**3 - 14*o**2 - 15*o - 10. Let l be a(-6). Solve 4*p + 0*p = -3*w - l, -4*w - 19 = -3*p for w.
-4
Let t(f) = -3*f - 3. Let c be 16/(-64) + 14/(-8). Let j be t(c). Solve 37 = -5*h + j*o, -3 = -2*o + 5 for h.
-5
Suppose 19 = 4*v - 41. Let g = -13 + v. Suppose 6*c = g*c + 16. Solve -2*k = -b + 9, -c*b + b