*p for p.
-3
Suppose -3*q - 102 = -2*a, -3*a = 5*q - 49 - 123. Suppose a*t - 55*t = -23. Solve 2*z = -3*r + 4*z - t, 4*r = -5*z for r.
-5
Let s be (-54)/(-45)*40/6. Let o be ((-10)/s)/((-7)/56). Let b(d) = d**3 - 7*d**2 + 8*d - 10. Let f be b(6). Solve -5*k + o*k - f*t = 18, 0 = 2*k - t - 7 for k.
4
Suppose -4*m - 4 = 0, -2*v - 6 = m - 9. Solve 4*p + 20 = 0, v*p + p = -2*q - 5 for q.
5
Let l = -590 + 593. Solve x = 2*x + 3, -3 = 3*a - l*x for a.
-4
Let b be 16/((1 - -4) + -3). Let t = b + -4. Solve -4*x = -c + 7, -x - t*x = 3*c - 4 for x.
-1
Let b(m) = -126*m + 506. Let c be b(4). Solve 2*v + 12 = 2*d, -1 = 3*d + 4*v + c for d.
3
Let y = -103 - -106. Solve y = 3*u + i, 3*u + 6 = i + i for u.
0
Let s be ((-234)/(-8) + 2/(-8))/1. Suppose u = 2*j - 1, -7 + s = 4*u + 5*j. Solve v + u*l = 4, 3*l = -4*v + 6*l + 1 for v.
1
Let n(h) = -h**2 + 9*h - 5. Let c = 13 - 5. Let u be n(c). Suppose -9*i = -20*i + 55. Solve -5*p = i*j + 3 + 2, 2*j - 3 = u*p for j.
0
Let k be (-27)/6*2/(-3). Let c(b) = 2*b - 22. Let z be c(10). Let l be ((-400)/(-70))/(z/(-7)). Solve 3*y = 6*o - k*o, y + l = -3*o for o.
-5
Let t = -249 - -251. Solve -t*m + 6 = -5*j - 6, -3*j + m - 8 = 0 for j.
-4
Let n be (-8 - -7)/(1/(-3)). Solve -5*p + n*p = 4*z + 2, -5*p + 5*z + 25 = 0 for p.
3
Suppose 5*n = -k + 97 - 0, -3*n = 4*k - 65. Suppose 0 = -6*x - 6 + 42. Let s = -1 + 6. Solve -s*v + 25 = 4*r, -x*v + 2*v + n = 3*r for v.
1
Suppose 5*l + 3*u = 16, 4 + 8 = -4*u. Solve 5*s = -l*j, -5*s = -2*s + 5*j + 10 for s.
5
Suppose -3*g + 659 = 653. Solve -9 = -g*j - j + 5*z, -2*j - 4*z - 16 = 0 for j.
-2
Let i(k) = k**2 + 4*k + 7. Suppose 0 = -5*b + 7*b - 2, 5*x + 15 = 5*b. Let n be i(x). Solve -15 = -2*p - 5*s - 0*s, 3*p = -n*s + 18 for p.
5
Suppose 2*c - 12 = 2*t, -3*c - 8*t + 4*t - 3 = 0. Solve -h - 4*z - z + 25 = 0, -h + 2*z = c for h.
5
Let f = -540 + 545. Solve 0 = -3*i + 3*o - 3, -f*o + 12 = 4*i - 11 for i.
2
Let v = 123 + -253. Let c = v + 132. Suppose -3*g - 15 = 2*g, 3*w = -g + 30. Solve 4*o - w = -3*a, -c*a - 5*o + 3 = -2 for a.
5
Let a = -75 - -77. Let v be (2 - 0 - -2) + (10 - a). Solve z - 5 = 4*h - 5*h, 4*z = 4*h - v for z.
1
Let d(w) = 2*w - 18. Suppose -5*a = 25, 0 = -0*f + f - a - 15. Let r be d(f). Suppose -r*z - 2 = -12. Solve -4*v - z*i = -v - 25, -2*v + i + 8 = 0 for v.
5
Let l = 949 + -945. Suppose 3*h = -v - 9, v + 4*h + 6 = -7. Suppose 5*m = -v*t + 6*t - 15, -3*m = -5*t + 9. Solve 2*a + t*a = -3*g - 13, -l*g = -4*a - 16 for a.
-5
Let f be (35/14 + -5)*-2. Solve -4*c = f*a - 33, -a + 0 = -3*c + 1 for c.
2
Suppose 3*s = 7*s + 5*o - 21, -o - 3 = -s. Solve -3*q - 11 = -4*x, -2*q + s = 2*x - 12 for x.
5
Let v be 1 + 0/(-5) + 14. Suppose -3*y - 7 + 0 = -q, -5*y + v = 0. Solve -a = 2*a + 5*z - 32, -a - 3*z = -q for a.
4
Let b be (-117)/312 + (-35)/(-8). Solve k - b*u + 4 = 2*k, 5 = k + 5*u for k.
0
Let a(r) = -r**2 - 6*r + 2. Let y be a(-3). Let n = y - 8. Suppose -3 - 3 = n*i, 3*i + 8 = 2*m. Solve 2*c - 2*u + 8 = 0, -4*c + 2*u = m + 9 for c.
-1
Let u = -1133 + 1134. Solve 4*k + 5*s - 4*s = -3, u = k + 2*s for k.
-1
Let u(a) = -4*a**3 - 4*a**2 - 6*a - 1. Let f be u(-1). Solve -20 = -f*c + k - 2*k, 3*c + k = 12 for c.
4
Let p(y) = 2*y**3 + 9*y**2 + 3*y - 2. Let f be p(-4). Solve 2*g + 2 = -2*m + 3*g, 0 = 2*m - f*g + 2 for m.
-1
Suppose -12 = -4*x + 4*q, 2*q = -5*x + 3 - 2. Solve -3*u - 4*s + 7 = 0, 3*u + 18 = 2*s + x for u.
-3
Let b(t) = -t**3 - 6*t**2 - 18*t - 34. Let u be b(-4). Solve 2*j = h - 11, 5*j + 4*h - 16 = u*j for j.
-4
Suppose 25*r = 29*r - 8. Suppose 0*x - 10 = -3*s + r*x, -3*s = -4*x - 20. Solve s = 5*k - 5, 2*g - k = g - 1 for g.
0
Suppose -7*w - 7*w + 28 = 0. Solve w*s + 3*q + 10 = s, 0 = 3*s - 2*q - 25 for s.
5
Let o = -62 + 76. Suppose -5*u - 15 = -5*z, 0 = -2*u - 3*z + o + 5. Solve -d = -u*p + 8, d = -p - d - 6 for p.
2
Let g(y) = y**3 + 3*y**2 - 4*y + 1. Let h be g(-4). Let u = h - -26. Let l(b) = -b + 7. Let i be l(7). Solve i*q = 3*c - 5*q + 35, -3*c + 3*q - u = 0 for c.
-5
Let y be 18 - (-4)/(-6)*6. Suppose 5 = y*z - 9*z. Solve -4*i - z = -3*g - 0*i, -13 = 5*g - 3*i for g.
-5
Let a be (-1131)/(-348) + 1/(-4). Solve -t - 5 = -2*v, a*v + 4*t = 3*t - 5 for v.
0
Suppose 117 = 5*y + 22. Solve 5*n = n - 5*a + y, 0 = -4*n - a + 7 for n.
1
Suppose -2*r = -p + 3*r - 16, 0 = 2*p + 2*r - 16. Solve 8 = -2*c + 4*m - 0*m, p*m = 12 for c.
2
Suppose 3*c - 2*o + 12 = 4, 3*c - o = -4. Solve 5*k + 8 = 3*w + 3, c = 5*k + 20 for w.
-5
Suppose 5 = z - 4. Suppose 3*q - 6 = 0, 4*y - 64 = -0*y + 4*q. Suppose 0 = 4*b - b - y. Solve 2*d = -j - z - b, -2*j - 5 = -d for d.
-5
Let v(z) = -27*z. Let c be v(0). Solve -2*l - l + 13 = -4*j, c = -2*l - j - 6 for l.
-1
Let k be 6/2*153/27. Let p(u) = -5*u - u**2 + k - 3*u + 3 + u. Let h be p(-9). Solve -j - 2*c = 0, 3*c - 1 = -3*j + h for j.
2
Let l = 6 - 3. Suppose 9 + 6 = 3*k. Suppose -h + k*f - 2 = 7*f, -4*h + 10 = -f. Solve h*q + l*m - 19 = -0*m, -q - 4*m + 22 = 0 for q.
2
Let v be (-3 - (-3 - 0))/(-1). Suppose -3*g - 4*d + 15 = -2*g, v = -4*g - d - 15. Let n = 14 + g. Solve -k + n = -4*p, -3*k = -2*p + p + 6 for p.
-3
Let x(c) = c - 1. Let a be x(4). Suppose 5 = 9*y - 49. Solve a*b + y = 0, 4*q = -0*b - b + 6 for q.
2
Suppose 7*h + 4*q - 105 = 0, q = 3*h - 2*q - 45. Solve -u - l = u + 3, 5*l = 2*u - h for u.
0
Let z(h) = 3*h**2 + 4*h - 3. Let q be z(-5). Let v be (q/(-65))/(2/(-5)). Solve -3*b - v*m + 11 = 0, -5*m + 3 = -17 for b.
1
Let r(c) = -3 - 2*c**2 + 2*c + 1 + 0 - 2*c**3 + 3. Let w be r(-2). Solve -3*t = b - 2, -2*b + 6 - 1 = w*t for t.
-1
Let p be (2 - 2)/(2 + 0). Suppose p = 20*j - 4*j - 32. Solve 0 = -5*t + 5*h + 25, 3*h + 7 = -3*t - j for t.
1
Let d be (-24)/6 - -6 - -1. Let f be 0*3/6*-1. Suppose -5*u = -20, -s + 2 + 6 = u. Solve 3*c + d*x = f, -5 = -2*c + x + s for c.
3
Let v be -1 - (4 + -4 + -32). Let i = 37 - v. Solve -4*p + 20 = 3*g, -g + 0*p = p - i for g.
4
Let u be (-165)/297*(-9)/1. Solve -j + u = -3*j + f, 0 = -3*j - 5*f - 40 for j.
-5
Let x be (1 - 0)*(-4 - -5). Let b(o) = -7 - 7 + 6*o + 11*o - o**2. Let r be b(16). Solve -3*f = c + 13, 7 - x = -2*f + r*c for f.
-4
Suppose -49*c = -54*c + 15. Solve -4*a - 10 = -2*r, r - c*r - 2*a = -10 for r.
5
Let d = 92 + -92. Suppose -8*m + 4*m = d. Solve 4*x = -2*b + 4, -b + 4*b - 4*x + 4 = m for b.
0
Let w(h) = 5 - h + 5 - 2*h. Let c be w(7). Let r = c + 11. Solve r*k - 18 = 5*k - 4*u, 4*u = -k + 6 for k.
-2
Let q(h) = 10*h**2. Let t be q(1). Let c be (-4)/t + (-18)/5. Let l be ((-3)/2)/(2/c). Solve l*a = j + 11, -6*j + 36 = -2*j + 4*a for j.
4
Suppose 6 = 2*l, y + 5*l = 21 - 3. Solve y*h + 0 = 2*i - 1, i = -5*h + 7 for i.
2
Let m = 2601 + -2586. Solve 2*p - 26*r = -25*r + m, 4*r + 5 = -3*p for p.
5
Let j(w) = 70*w - 558. Let q be j(8). Solve 0 = 3*b + q*t + 19 - 4, 3*t = -5*b - 24 for b.
-3
Suppose 92 = b + 90. Solve -b*t = -5*k - 9, -2*t = -5*k + 3*t for k.
-3
Suppose -14 = 2*i + 4. Let u(w) = 2*w + 9. Let h be u(-8). Let x = h - i. Solve 5*m = m + y + 18, x*m - y - 8 = 0 for m.
5
Suppose 3*t - 8 = 2*s, 53*s + 11 = 5*t + 52*s. Solve -t*k - 2*v = 12, 8*v - 7*v + 18 = -4*k for k.
-4
Let r be (16/(32/3))/(3/8). Solve -2*h + d + 3 = -h, -4*d = r*h + 4 for h.
1
Suppose 20 = -5*n - 5*z, 2*z = 3*n + 5 - 13. Suppose -3*x = -0 - 3. Let a be (-3)/((-6)/52)*x. Solve -4*q - 2*d - 24 = n, -3*q - 3*d - a = -5 for q.
-5
Let l(j) = j + 1. Let n be l(-5). Let i be 3 + n/3*9/(-6). Solve -z - 4 = -2*u, -3 - 5 = -i*u + 2*z for u.
0
Let s(u) = -u**3 - u + 3*u + 0*u - 6 + 6*u**2. Suppose 2*i = 8*i - 36. Let l be s(i). Solve 4*p - 5*q = -11, 3*p - 12 = l*p - 5*q for p.
1
Let p = -203 - -205. Solve p*x + 10 = 4, -3*m = -2*x - 6 for m.
0
Let j(m) = -m + 8. Let h be j(0). Solve 0 = -x - 0*x + z - h, 0 = x - 3*z + 16 for x.
-4
Let x be (32/20)/(2/5). Let s be 24/36 - 10/6. Let n be ((-5)/4)/(s/12). Solve 0 = u - 4*a + 4 - n, -x*u - 1 = -a for u.
-1
Let b(y) = -2*y**3 + 2*y**2 - 1. Let o be b(-1). Suppose o*l - 11 - 4 = 0. Solve -3*v = 3*w - 2 + 5, -4*v - 2 = l*w for w.
2
Let s(r) = -r**3 - 2*r**2 + 2*r - 1. Let o be s(-3). Let k be 4 - (o - (-3 + 4)). Let v be 15*(12/k)/12. Solve 3 = -4*m - v*h, 0*m - h = m for m.
3
Let b(s) = -s + 19. Let z be b(17). Suppose u = -5*d - 0*u + 20, z*d - u = 8. Solve 22 = -d*t + 2*t + 4*l, 4*l = -3*t - 3 for t.
-5
Suppose -11 + 6 = h, 3*h = -3*q - 6. Solve -4*j + 29