u*p for p.
2
Suppose -13*q = -3*q - 280. Let i = 33 - q. Suppose 3*y = -c - 4, 0 = -y + 2*c - c + 4. Solve y = 7*u - i*u + 6 for u.
-3
Let i = -1 - -10. Suppose z = -2*z + i. Suppose -2 = -z*g + 10. Solve -3 = -g*k + 5 for k.
2
Suppose -8*u - 56 = -16*u. Suppose 3*f = -y + u, -f + 0 = 1. Solve -y + 30 = 4*x for x.
5
Let p = -910 - -916. Solve -p*s = -4*s - 4 for s.
2
Let l(t) = -t**2 - t + 2. Let s = 68 - 68. Let f be l(s). Suppose -c - 4*q = -21, -2*c - 6 = q - 20. Solve f*j - c*j = -12 for j.
4
Let m = -7 + 7. Let c(y) = 6*y**3 - 4*y**2 - 3*y - 6. Let w(t) = t**3 - t. Let s(z) = c(z) - 5*w(z). Let f be s(4). Solve 5*j - 13 - f = m for j.
3
Suppose 27 = 3*g + 3*j, -2*j - 3 = -5*g + 35. Solve g = 5*i + 23 for i.
-3
Suppose -2*q = 3*q + 30. Let x be q + 3*(4 + -3). Let w be (-35)/(-20) - x/12. Solve -w*o - 1 = -3 for o.
1
Let y(d) = 2*d**3 + 60*d**2 - 59*d + 96. Let m be y(-31). Suppose -3*a + 4*a = 0. Solve a*j + m = -3*j for j.
-1
Suppose 0 = -t - 2*i - 2 - 1, 0 = 3*t + 5*i + 6. Let u be (-6 + t)/3 - -3. Solve 0 = -u*q - q - 3 for q.
-1
Let g(a) = -8*a - 1. Let s be g(-2). Suppose 5*t - s + 5 = 5*r, 5*r + 10 = 4*t. Solve t = 3*f - 8*f - 20 for f.
-4
Let l(g) = -2*g + 14. Let i(w) = 2*w**3 - 2*w**2 - w + 1. Let x be i(2). Let z be l(x). Let u be 5 + (1 - (1 - z)). Solve -u - 3 = 2*p for p.
-4
Let j = 592 + -587. Solve 2*f + j = f for f.
-5
Let q be (17 - -33)/(25/10). Solve 0*y - 5*y = q for y.
-4
Let f(z) = -152*z - 4549. Let a be f(-30). Suppose 39 = -4*c - 2*q + 109, c + 4*q = 35. Solve a*u + 12 = c*u for u.
3
Let f be (-2)/(-10) - 990/(-50). Suppose -3 = -2*k - 37. Let r = f + k. Solve r*s + s = -16 for s.
-4
Let m = 369 - 358. Solve -3*a = -1 - m for a.
4
Let l = 112 + -107. Solve -l*b - 5 = -0 for b.
-1
Suppose 6 = 2*n - n. Suppose -11*u + 30 = -n*u. Solve 12 = -3*p + u*p for p.
4
Suppose 175 = 3*v + 2*v - 3*y, 4*v - 3*y = 140. Solve -6*f - 5 + v = 0 for f.
5
Let u be (-56)/6*(0 + -3). Suppose 0 = -3*h - h - u. Let r(t) = t**2 + 7*t. Let z be r(h). Solve 0 = -2*x - z - 4 for x.
-2
Let s(v) = v**2 + 30*v + 26. Let p(r) = -2*r**2 - 62*r - 53. Let t(w) = -6*p(w) - 13*s(w). Let b be t(-15). Solve b = 5*q + 10 for q.
3
Let j = -4 + 0. Let y(v) = -v**2 - 5*v - 3. Let h be y(j). Suppose 17 = 36*k - 3*k - 49. Solve k*x - h = -3 for x.
-1
Let f be ((-16)/(-20))/(((-30)/25)/(-3)). Solve f*o + 5 = 1 for o.
-2
Let v(u) = -u**3 + 4*u**2 - u + 5. Let c be v(4). Let d(b) = 2*b**2 - 3*b + 3. Let r be d(c). Solve r*l + 7 = -1 for l.
-4
Let n be (-970)/(-90) - (-2)/9 - (-1 + 4). Suppose -24 = -3*g - 2*p - 3*p, 3*g + 3*p - 18 = 0. Solve -k + n = -g*k for k.
-4
Let x = 18 + -27. Let r(k) = 10 + 3*k - k + 8*k**2 - 7*k + k**3 - 4*k. Let m be r(x). Solve 0 = -4*g - 6 - m for g.
-4
Suppose 0 = -3*y - p + 244, -2*y - 55 + 216 = -p. Solve -57 + y = 6*k for k.
4
Let y = -13 - -17. Suppose y*d = 5*d + 2. Let u be -5*(d + 3 - 2). Solve u + 1 = -3*c for c.
-2
Let g be -17 - (0/1 + -1). Let a = g - -21. Solve -4 + 9 = -a*t for t.
-1
Let u(w) = -4*w - 2. Let r be u(-2). Suppose -3*q + 2*t = -0*q - r, -3*t = 0. Suppose -l - 12 = -3*c, c - q*l + 11 = 2*c. Solve j + 16 = c*j for j.
4
Let v be -14*(-3 - 1)/4. Let p be -4 + (v - 1) + -2. Let m = 11 - p. Solve -1 = m*k + 7 for k.
-2
Suppose 20 = 5*b - 10. Let u be -10 + b - (-4)/1. Solve -z + 1 = -u for z.
1
Suppose -6*n - 30 - 60 = 0. Let j be 224/12 + 10/n. Suppose c = 4*m - 3 - 14, 5*m - j = -2*c. Solve -4*h = 12 + m for h.
-4
Let n = -54 - -30. Let q = -22 - n. Solve -5*u + q*u = 6 for u.
-2
Let k(a) = -13*a + 2. Let o be k(-1). Suppose 30 = 3*p - 2*p. Suppose m = 6*m - p. Solve -m*z + o = -z for z.
3
Let y(m) = m**3 - 17*m**2 - m + 18. Let o be y(17). Suppose -5 = -l - o. Solve l*g + 0*g = 4 for g.
1
Suppose -66 = 3*j - 0*j. Let u = -20 - j. Let c be u/7 + (-182)/(-49). Solve 0 = -c*w - 15 + 3 for w.
-3
Let a(d) = -2*d**2 - 12*d + 23. Let f be a(-7). Solve -q - 2*q = f for q.
-3
Suppose -5*u - 245 = -5*x, 272 - 19 = 5*x - u. Suppose -5*t = -o + 38 + 37, 4*t + o = -x. Let z = t + 16. Solve h - z = 1 for h.
3
Let h be 24/(-54) + 68/153. Solve h = 22*v - 15*v for v.
0
Let s(y) = -y**2 + 5*y - 2. Let q be s(3). Suppose 2 = -5*m - 13, -5 = u + q*m. Let o = 19 + -15. Solve 0 = -o*w + u - 3 for w.
1
Suppose 34*q = 41*q - 21. Suppose -q*z - 4*z + 56 = 0. Solve -4*f - 20 = -z for f.
-3
Let f(c) = -4*c - 10. Let v(r) = -r - 1. Let q(u) = f(u) - 5*v(u). Let l be q(8). Solve 4 = z + l for z.
1
Let l(z) = 10*z - 27. Suppose -42 = -8*b - 10. Let j be l(b). Let w(n) = n + 2. Let f be w(5). Solve 4*c = -f - j for c.
-5
Suppose 0 = -14*b - 63 + 441. Solve -30*g = -b*g for g.
0
Let d(z) = 1 - z - 7 - 6. Let f be d(-14). Suppose j - 3*w = -7, -2*j - f*w = -6*j + 12. Solve -j*x = -0*x for x.
0
Let f be (-6)/((-6)/11) + 1. Solve 13*j = f*j for j.
0
Let h be (17/102 - (-2)/6)*0. Solve -20*q + 24*q - 4 = h for q.
1
Let w(a) = a + 6. Let d be w(0). Suppose d*z - 101 + 29 = 0. Solve -c + z = -4*c for c.
-4
Suppose 15 = -5*t - 155. Let m = 38 + t. Solve -m = -2*f + f for f.
4
Suppose 5*p - 155 + 765 = 0. Let z be p/(-4) - (-2)/(-4). Let a = -24 + z. Solve -y - a = -3 for y.
-3
Suppose -u + 2*s + 14 = -0*s, 3*s - 7 = -2*u. Suppose -3*o + 3*c + c = 14, u = -o + 2*c. Solve -o*r = -0*r for r.
0
Suppose 0 = -10*d - 135 - 315. Let n be (-7 - d/10)*6/(-5). Solve -n*v + 12 = v for v.
3
Let f = 30 + -28. Let a be (-33)/(-5) - (-8)/20. Let p = 0 + a. Solve 0 = f*s - 1 - p for s.
4
Let z be (0*3/9)/1. Let v = -108 - -108. Suppose o + o - 16 = v. Solve 4*y - o = -z*y for y.
2
Suppose 3*c + 10 = -2*v + 4, -3*c = 4*v. Solve 0 = 34*p - 35*p + v for p.
3
Suppose 4*r + 3*t = 37 + 2, -2*r = -3*t + 3. Solve -7*v = -r*v for v.
0
Let c = 6 + -4. Suppose -2*f + 64 = c*f. Let a be f/6 - 88/(-66). Solve a*z = 5 + 7 for z.
3
Suppose 5*v - 820 = 5*o, -3*v + 4*o + 704 - 208 = 0. Solve -157 = -t - v for t.
-3
Let u(s) = -s**3 - 7*s**2 - 8*s - 4. Let b be u(-6). Suppose 2*z - 21 + 2 = -5*l, z = -l + b. Solve -4*x + z*x - 12 = 0 for x.
4
Let v be (26/(-8))/(7/(-28)). Solve -20*s + 28 = -v*s for s.
4
Let t = -3 + 3. Suppose 2*u + 3*u = t. Suppose -3*d + 0*d = u. Solve 3 = -d*n + 3*n for n.
1
Let f(d) = -2 - 7*d + 8*d - 3*d + 6*d**2. Let w be f(2). Let h = w - 15. Solve h = -2*o - o for o.
-1
Suppose -2*g - 57 = -5*f, -3*f = -g + 2*g - 32. Let k = f + -16. Let a(i) = -i**2 - 6*i. Let j be a(k). Solve z = 2*z + j for z.
-5
Let d be (-4*3)/(-2) - 2. Let x = -554 - -570. Solve -d*t + 0*t - x = 0 for t.
-4
Suppose -45*x + 46*x = 5. Solve x*a + 0 = 10 for a.
2
Let b(t) = -t**3 - t**2 + 31. Let h be b(0). Solve 8 = 35*n - h*n for n.
2
Suppose 0 + 16 = -2*x + 4*g, -x + 3*g - 13 = 0. Suppose -1 + 4 = 3*t. Solve -x*w + t = -3 for w.
2
Suppose 4*f = -5*s - 178, 0 = 4*s + f + 197 - 48. Let i = -30 - s. Solve -i = -5*w + 7*w for w.
-4
Let x be (0 - (-7 + -3)) + 0/1. Suppose -11*p = -x*p. Solve -r + p*r = 1 for r.
-1
Let h = -81 - -85. Solve -4*n + 6*n = -h for n.
-2
Suppose 2*p + 3 = -9. Let t be 2/(-33)*-3 + (-256)/(-44). Let f be t/(-3 + (-27)/p). Solve -f*o = o for o.
0
Suppose -5*t + 29 = 2*m, 0 = 4*t - 3*t - 3*m + 1. Let u(y) = -y**3 + 4*y**2 + 5*y + 5. Let p be u(t). Solve 4*q - p = 7 for q.
3
Let p be -2*27/6 - -3. Let q be 96/(-15) + p/10. Let r(m) = -m**2 - 6*m + 10. Let t be r(q). Solve 0 = t*x - 4*x - 4 for x.
-4
Let j = -9 + 26. Suppose 0 = -25*n + 26*n - j. Solve -n = 3*m - 5 for m.
-4
Let t = 1013 + -983. Solve -4*w + 10*w - t = 0 for w.
5
Let i be ((-1)/(2/(-20)))/2. Suppose 3*v = y + 20, 13*y = -5*v + 9*y + 5. Let m = v + i. Solve -6*h - m = -h for h.
-2
Suppose 2*m + 3 = 13. Suppose -16 = -m*x - 11. Suppose s + 1 = -2, 0 = -p - 5*s - 13. Solve -p*g + x = 3 for g.
-1
Let f(j) = j**2 - 5*j - 9. Let t be f(8). Suppose 0 = -2*v - 4*m - 12, 7*m = 2*m - t. Let s be 3*-1 - (-3 + v). Solve 0 = -s*c + 5*c for c.
0
Let v(l) = -2*l**2 + 5*l + 5. Let k be v(-4). Let j = -19 - k. Suppose -2*u + j = 5*r, -2*r - r + 17 = u. Solve r = -f + 2 for f.
-4
Suppose -2*a - 3*t = -26, a - 2*t - 2*t = 24. Solve 0 = -11*r + a + 28 for r.
4
Let i(f) = -5*f + 7. Let t be i(-5). Suppose -t = -k - 3*k - 2*o, -k = o - 9. Solve -5*v = -k - 18 for v.
5
Suppose -v - 3 = -4*f + 5, v = -5*f + 10. Let t(c) = c**2 + 13*c + 16. Let b be t(-12). Suppose 0 = -2*g - 2*d - 0*d, d - 6 = -b*g. Solve i + v*i + g