olve -p - j = 4*p for p.
-1
Let v(u) = u + 7. Let t = 11 + -18. Let r be v(t). Solve r = -4*d - 3 - 9 for d.
-3
Suppose t = 3*t - 4. Suppose 2*d + 2*j = 6, -5*d = -0*j + j - 11. Suppose 0 = o + 2*l + d, -o + 8*l = 3*l - 19. Solve -t*w = -o*w - 10 for w.
-5
Suppose -5*m - 3*t = -24, 2*m + t - 12 = -2. Solve 5*v + 3 = m*v for v.
3
Let c(d) = -19 + 4*d - 2*d + d + 0*d. Let f be c(13). Suppose f = -0*l + 4*l. Solve v - 2 = -l for v.
-3
Suppose 90*s + 12 = 92*s. Solve -s = -0*q + 3*q for q.
-2
Let o be (-13)/(-2) + 6/(-4). Suppose -3*p - o*v = 1, 4*p - 2*v = -6 + 22. Solve 0*c + 3*c + p = 0 for c.
-1
Let a be (-2 - -1)/(1/1). Let h be (a/2)/(3/246). Let l = -26 - h. Solve t = 4*t - l for t.
5
Let h(z) = z - 18. Let c be h(25). Solve -3 + c = 4*v for v.
1
Let d be 0 - 0 - (-4 + -1). Suppose -2*y + 3*j + 6 = 0, -4*y + 12 = -6*j + 3*j. Solve -4 = y*p + d for p.
-3
Let p be (27/18)/((-6)/(-20)). Suppose u = -4*c + p*u + 4, 5*c - u - 9 = 0. Solve x = c*x + 5 for x.
-5
Let l(u) = u**2 + 8*u + 7. Let t be l(-7). Solve 0 = g - 1 - t for g.
1
Suppose 11*q + 6 = 13*q. Let v(a) = a - 1. Let g(t) = 24*t - 12. Let d(s) = -g(s) + 12*v(s). Let f be d(-1). Solve -q*h = h + f for h.
-3
Let f be 3/(6 + -4 - -1). Solve -4*u - f = 11 for u.
-3
Let y = -32 + 50. Let n be 16/6 - (-6)/y. Let k be 0*n/(6*-1). Solve k*s = s + 4 for s.
-4
Let y = -1 - -5. Suppose y = n + n. Suppose 5*u + 2*w = 8, n*u + 3 - 9 = 2*w. Solve -u*m - 3*m = 0 for m.
0
Let q be 1/3 - 23/(-3). Let m = 15 - q. Solve -3*d + 16 = -m*d for d.
-4
Let t be ((-28)/42)/((-2)/6). Solve t*j = -j for j.
0
Suppose -x = 5*t - 10, -3*x - 7*t + 2*t + 50 = 0. Solve -4*f + x = f for f.
4
Let g(c) = -c**3 - 6*c**2 + 6*c - 3. Let a be g(-7). Let o be 3/(-3) - 1*-1. Solve -a*r + o*r = 0 for r.
0
Let z be -3*(1 + (2 - 4)). Let x be (1 - -3)*z/6. Suppose -r + 4*n + 4 = 0, -5*n = -x + 7. Solve -4*j = -r + 4 for j.
-1
Let v be ((-4)/1)/(0 + -2). Solve 0 = 3*n - v - 1 for n.
1
Let y = -175 - -175. Solve -2*o - o + 6 = y for o.
2
Suppose 3*p = 5*p + 8. Let y be (-6)/(p/(-4)*-2). Solve -4*l + l = y for l.
-1
Suppose x + 10 = 3*w, -w - x + 4*x + 14 = 0. Solve w*o - 1 = 3 for o.
2
Suppose 3*n + 12 = 5*n. Suppose -5*b + 5*u = 0, 9*b + 3*u = 5*b + 21. Solve n - b = 3*s for s.
1
Let m(a) = 4*a - 6 + 6. Let w be m(-1). Let f be 0*(w/2)/2. Solve h + h + 4 = f for h.
-2
Suppose 0 = 4*j - 7*j - z + 9, 3*j - 4*z = 9. Suppose j*m + 0*m = 21. Solve 2 = 3*a - m for a.
3
Let v = 100 + -93. Solve -2*r + v = -3 for r.
5
Suppose 3*b + 3*f + 5 = b, -2*b = -4*f - 16. Solve -m - 3 = -b for m.
-1
Let g be (-1)/(-3 - 92/(-30)). Let c be (-10)/g + (-14)/(-6). Solve -h + 2 - c = 0 for h.
-1
Let h(q) = -3*q + q + 0*q + 6 - 4. Let g be h(-3). Let w(m) = m**3 - 7*m**2 - 6*m - 7. Let n be w(g). Solve -1 = -2*o - n for o.
-4
Suppose 5*j = p + 10, 0 = 2*j + 4*p + p - 31. Solve -9 = -4*v + j for v.
3
Suppose -2*i = -5*i + 15. Let t = -3 + i. Solve -4*u - t = 2 for u.
-1
Suppose 2*v - 5*v = -30. Let y be v/3 - 10/30. Solve -7*x + y*x - 16 = 0 for x.
-4
Suppose -5*w + 3 = 5*r - 12, 2*w = 4*r. Solve -r = 4*q + 3 for q.
-1
Suppose 0 = 4*j - 0*j. Solve j*d - d = -3 for d.
3
Let z be -1*1*1*0. Suppose -2*u + 27 = 3. Let p = u - 9. Solve -3 = -z*k - p*k for k.
1
Let u = -9 + 13. Let n be 16/9 + u/18. Suppose 4*r + n*l = -2*l + 20, 4*l = 8. Solve r = -q + 1 for q.
-2
Let g be (-7)/(-2) + (-7)/14. Let p(x) = -x**3 + 2*x**2 + 3*x + 2. Let i be p(g). Solve 0 = -u + i - 1 for u.
1
Suppose 4*p = -i + 2*p, -3*p - 11 = -4*i. Let t = i + 2. Solve 2*s = s - t for s.
-4
Suppose 13*l = 22 + 30. Solve l = -2*f + 2 for f.
-1
Let b be (4/10)/((-4)/(-40)). Suppose b = v + v. Let q be (-12)/(-6)*(-3)/(-2). Solve -q*a - v*a = 0 for a.
0
Suppose -14 = -2*y - 4*u, 3*u - 9 = -3*y + 3. Let x be (y/1)/(1/25). Solve -t + x = 4*t for t.
5
Let y(p) = p**2 - p - 2. Let c = 4 + -6. Let t be y(c). Suppose 2*d + t = 3*h, 0*h + 3*d = 3*h. Solve 11 + 1 = h*f for f.
3
Suppose -3 = n - 2*n. Let o = 25 + -10. Suppose 0*v + 2*j = 5*v - 19, 0 = 5*j - o. Solve 4*a = n*a - v for a.
-5
Suppose -3*m + 10 = 2*m. Let q(b) = -6 - b - 4*b**2 - 3*b - 1 + b**3 - b**m. Let t be q(6). Solve -2*j - 3 = -t*j for j.
1
Let x = 29 + -29. Solve x = -0*n + n - 1 for n.
1
Let z = 4 - -8. Solve 0*s + z = -4*s for s.
-3
Let l(i) = i**3 - 9*i**2 + 2*i - 13. Let f be l(9). Solve -3*m - 4 = -f*m for m.
2
Let j(a) = a + 30. Let u be j(-10). Solve 4*n + n = -u for n.
-4
Let t = 5 + -3. Suppose i = 3*w - i - 10, t*w = -3*i - 15. Let c = 10 + -6. Solve w = 2*g + 12 - c for g.
-4
Suppose -5*j + x + 64 = 0, -2*j + 10*x - 5*x = -44. Solve -2*r + j = 2 for r.
5
Let b(p) = p + 2. Let q = -2 - 4. Let d = 8 + q. Let f be b(d). Solve z - f = -1 for z.
3
Let v be 42/336 + 1/(-8). Solve 4*d - 3*d + 4 = v for d.
-4
Let s = -16 - -18. Solve -3*l + s*l = -5 for l.
5
Let a(j) = j**3 - 10*j**2 - 11*j + 5. Let g be a(11). Let f be -2 + (0 + 2)/(-2). Let x be f*(-2 - (-4)/6). Solve g - 1 = -x*n for n.
-1
Let s(f) = f**3 - 7*f**2 - 9*f + 11. Let o(l) = l - 1. Let d(i) = -4*i + 5. Let z(h) = -d(h) - 5*o(h). Let q be z(-8). Let k be s(q). Solve -k*j + 12 = j for j.
3
Let u(l) = -2*l - 18. Let x be u(-10). Solve -x*h + h - 1 = 0 for h.
-1
Suppose 6*m - m - 20 = 0. Solve 0*g + m*g = 8 for g.
2
Let r(x) = 2*x**2 + 2*x + 1. Let b(n) = -n**3 + n - 2. Let t be b(0). Let g be r(t). Suppose f + 60 = g*f. Solve m = 4*m + f for m.
-5
Let s(x) = -2*x**2 + 2*x - 3. Let q be s(2). Let i = -7 - q. Solve i = 5*p - p - 16 for p.
4
Suppose 0 = -4*q + 7*q. Suppose v - 2*m = 7, v = -0*v - 4*m - 5. Solve -6 + q = v*y for y.
-2
Let w = 47 - 42. Solve w*m = 22 - 7 for m.
3
Suppose -4*k - 21 = -2*f - 5, 4*k = f - 12. Suppose -3*m + 4 = 5*i, -6*i = -7*i - m. Solve -w = f - i for w.
-2
Let m = -4 - -4. Suppose m = -l - 3 + 19. Solve -1 + l = 3*f for f.
5
Let b = 2 - -2. Suppose -5*w = b - 19. Suppose 0 + 3 = 3*g. Solve g + 11 = w*y for y.
4
Suppose 2*z = -5*x + 20, z - 30 = -2*z + 2*x. Suppose -5*y + z*y = 0. Let j be y/(2 + 1/(-1)). Solve -d - d - 4 = j for d.
-2
Let s = -17 - -15. Let a be s/9 - (-114)/27. Solve 4*k - 8 = a for k.
3
Let z(a) = -a**3 - 3*a**2 - a - 3. Let j be z(-3). Suppose 2*t = -j*t. Suppose 0 = 4*f - 4*u, -5*u = -3*f - 0*u. Solve t = 2*b + 6 - f for b.
-3
Let s = -12 + 15. Solve t + s = -1 for t.
-4
Let m(a) = -3*a - 3 + 4 + 3 + 7*a. Let p be m(5). Let h be 54/p + (-2)/8. Solve -3*r - h*r = -10 for r.
2
Let c(t) = 2*t**2 + 15*t + 4. Let z be c(-10). Let v be 6/9*z/12. Solve 0 = v*k - 0*k for k.
0
Suppose y + y = 0. Let o = y - -5. Solve 0*p + o = -p for p.
-5
Let c = -6 + 5. Let i = c + -34. Let d be 4/14 + 10/i. Solve 3*m + 15 + 0 = d for m.
-5
Let l be (-1 + 0 - -2) + 2. Suppose 0 = 5*y - l*y - 50. Solve 2*k + 3*k - y = 0 for k.
5
Let u(y) = -2*y**2 + 9*y + 1. Let l be u(4). Solve -3 - l = 2*h for h.
-4
Let v = -11 + 15. Suppose -v*w - 15 = -9*w. Solve 0 = -q - w*q for q.
0
Suppose 0 = -3*h + 2*z + 20, -3*h + h = -3*z - 20. Solve -13 - 3 = -h*v for v.
4
Let w be 0 + 1 - (-2 - 0). Let c be 6/(-9)*w + 4. Let a be (-1)/(-2) + c/(-4). Solve a = s - 2 + 4 for s.
-2
Let y(r) = r**2 - r - 2. Suppose -3*o + 5 = 5*l + 21, -5*l = o + 12. Let s be y(o). Solve 3*n + s = n for n.
-2
Let w be 0/(-2) - 9/1. Let k = w + 11. Solve 0*q = -k*q for q.
0
Let b be 9/(-12)*4/(-1). Solve -3*v + 9 - b = 0 for v.
2
Let p(l) = l**2 - 13*l + 15. Let v be p(12). Suppose n - 22 - 5 = -3*z, 3*z + 3*n - 33 = 0. Solve v*q - 23 + z = 0 for q.
5
Let u(r) = -7*r + 2. Let h(b) = 120*b - 35. Let m(g) = 2*h(g) + 35*u(g). Let p be m(1). Let t(w) = w**2 + 3*w. Let y be t(p). Solve l = -l - y for l.
-5
Let r(l) = -l**3 + 9*l**2 + l - 8. Let u be r(9). Suppose -2*g = -0*g + 2*n + 8, 0 = 3*n + 9. Let y = u + g. Solve y*s + 6 = 2*s for s.
3
Let m(u) = -u**2 + 7*u + 33. Let z be m(10). Solve -z*v + 0 = -3 for v.
1
Let p = -2 + 7. Let y = p + -1. Suppose -y*l = -l - 18. Solve -l*u - 25 = -u for u.
-5
Let b(v) = v. Let w be b(5). Suppose w*k = -3*i + 64, 19 = k + k - i. Suppose -2*a = a - 3. Solve -4*s - a - k = 0 for s.
-3
Suppose -2*c + 7 = -1. Solve -a - c = -2 for a.
-2
Suppose -4*q = 2*c - 14, 4*q - 25 = -5*c - 2. Solve q*f = -f - 9 for f.
-3
Let u be 8/12 + (-8)/(-6). Let d(c) = c**2 - 10*c + 4. Let s be d(10). Suppose -m - 6 = -s*m. Solve m*k + 8 = -u*k for k.
-2
Let u(m) = -4*m - 1.