 -t*i for i.
3
Suppose 379 + 95 = -6*o. Let z = o - -83. Solve 0 = -5*y + 7*y - z for y.
2
Let y(a) = 78*a + 316. Let l be y(-4). Solve l*t + 14 = 2 for t.
-3
Suppose 2*s - z - 51 = 0, 2*s + 0*s - 4*z = 54. Suppose -3*a - 5*y = s, -5*a + 10 = -5*y - 15. Solve q - 2*q + 2 = a for q.
2
Let m be 7 + (-16 + 4)/3. Solve -m*i + 9 = -0*i for i.
3
Suppose 65*c = 54*c + 143. Solve -8*q = -c*q + 10 for q.
2
Let j be 3/(2/(8/6)). Let d be 1/(1/(-4)) + 76 + -69. Suppose -5*i = d - 8. Solve j*z + i = z for z.
-1
Suppose 4 = -17*m + 38. Solve m*j + 15 = 5*j for j.
5
Suppose 14*p - 346 + 248 = 0. Solve -p = w - 11 for w.
4
Let l(s) = -s**2 - 12*s - 19. Let u be l(-8). Suppose -2*p = m - u, p + 5*m + 0 = 11. Solve 0 = -3*j + 6*j + p for j.
-2
Let g be ((-26)/(-6))/((-1)/(-3)). Let z = g - 21. Let h be z/3*6/(-2). Solve -28 = -4*a - h for a.
5
Let o(y) = -y + 2. Let w be o(-9). Suppose -w = 5*u - 36. Suppose -4*q - 2*g = 2*g - 20, -q - 7 = u*g. Solve 0 = 5*r + q + 17 for r.
-5
Let k(y) be the first derivative of y**2/2 + 11*y + 1. Suppose 15*r - 20*r = 35. Let o be k(r). Solve 0 = -0*p + o*p + 8 for p.
-2
Let n be ((-5)/(-2))/1*2. Suppose 0 = 3*k - 5*k. Suppose -v = -2*y + 7 + 1, v + 2 = k. Solve -y*q - 2 = -n for q.
1
Let c be (-689)/(-104) + (-60)/96. Let b = 24 - 9. Solve b = -3*p + c*p for p.
5
Suppose 3*c + 4*j = 4*c - 3, -10 = 5*j. Let l be 0/((-2)/((-5)/c)). Solve 0 = -s - l + 3 for s.
3
Suppose 4*w = 4*x - 18 - 22, 5*w + 24 = 3*x. Suppose 5*s + x = -2, -3*h - 48 = s. Let q = h + 15. Solve q = -5*r + r for r.
0
Let v be ((-275)/20)/11*(-1 - 7). Solve -y + v = 4*y for y.
2
Suppose n = -3*m - 1, m - 3*m = -4*n + 10. Suppose 8 = -n*v - v + 5*q, -q = -5*v + 16. Solve 2*j + 4 = v*j for j.
2
Suppose 0 = -2*u + 2*i + 4, u - 1 = -4*i + 1. Let y(w) = 2*w**2 - w - 4. Let j be y(u). Let p(m) = 3*m - 2. Let d be p(j). Solve d*k + 6 = 2*k for k.
-3
Suppose 0 = -k + 4*v - 14, 2*k - 12 = -2*v - 0*v. Suppose -k*d + d = 0. Let b(h) = -h**3 + 4*h**2 + 13*h - 2. Let f be b(6). Solve d = -f*a + 2 + 14 for a.
4
Suppose -3*h - 3 = 0, 2*p - 18 = -2*p - 2*h. Solve -6*d = p - 23 for d.
3
Suppose 12 + 12 = -4*x. Let c be (-2)/(x/17) + 4/12. Solve -c = t - 2 for t.
-4
Let f be (2/(-6))/((-8)/72). Solve -3*y + f = 12 for y.
-3
Let l be (144/64)/((-1)/12). Let x = 41 + l. Solve 0 = -3*k + x - 5 for k.
3
Suppose -5*k - 33 = l + 7, -3*k - 24 = -l. Let p = -24 - -12. Let v = k - p. Solve 11 + v = -3*t for t.
-5
Suppose -59 + 4 = -5*w. Suppose 3*l - j - 50 = 0, -5*j - w = -5*l + 79. Let z be 8/3 - (-2)/6. Solve z*u + u = -l for u.
-4
Suppose -3*d - 48 + 69 = 0. Solve -d*j = -5*j - 4 for j.
2
Let j(g) be the first derivative of 3*g**2 - 6*g + 2. Let u be j(6). Suppose 5 = -5*l + u. Solve -40 = -l*r - 15 for r.
5
Suppose 488 - 1592 = -92*c. Solve -9*o - c = -12*o for o.
4
Let l be (-24)/(-7 + 3) - 0. Let m(g) = g**2 - 2*g - 1. Let z be m(-1). Solve y + l = z for y.
-4
Let n(y) = y**2 - 4. Let r be n(-3). Let u(z) = 38*z - 444. Let l be u(12). Solve r*x + l = -13 for x.
-5
Let v = -30 + -3. Let i be ((-11)/v)/(2/(-6)). Let z(x) = x**3 + x**2 + 2*x + 2. Let t be z(i). Solve t = -3*a + a + 8 for a.
4
Let u(y) = -y**2 - 18*y + 15. Let d be u(-19). Suppose 8*b - 4*b + 20 = 0. Let t = d - b. Solve -t = -5*c + 9 for c.
2
Suppose 0 = -5*h + 15, 0*l + 3*h = -5*l + 29. Suppose -7 - 11 = -3*v. Let q(x) = x**3 - 7*x**2 + 7*x - 6. Let y be q(v). Solve 0*k + k + l = y for k.
-4
Let o(t) = 2*t**2 - 3. Let r be o(2). Let q be -3*((-60)/9)/r. Suppose 3*c + 0 = -5*y + 13, -q*y - 4*c = -4. Solve 0 = -y*d - 10 - 5 for d.
-3
Let z = -1163 - -1166. Solve -z*i = -8 - 7 for i.
5
Let z(s) = 2*s + 21. Let c be (0 + -9)/(2 + -1). Let g be z(c). Solve g*d - 8 = 5*d for d.
-4
Let j be (-26)/22 - (-4)/22. Let f be (0 - 2) + (1 - -2). Let w = f + j. Solve -z + w = -2 for z.
2
Let b be (-62)/(-6) + 3/(-9). Suppose 24 = -4*l + b*l. Let n be (1 - 2)*l - -6. Solve -n*r = -r - 3 for r.
3
Suppose 5*m = -5*x - 0*x + 35, 5*x - 33 = -3*m. Solve -4*c = -7*c + x for c.
2
Suppose -11*m + 56 = -21. Suppose -m*p = 4*p - 44. Solve -p*i = i for i.
0
Let f(j) = 3*j - 19. Let w be f(7). Suppose -w*v = -0*v - 8. Solve v*d + 4 = 2*d for d.
-2
Let x(k) = -2*k**3 + 3*k - 1. Let b be x(1). Solve o - 2*o + 2 = b for o.
2
Let m(i) = 150*i**2. Let s be m(1). Let z be (2/10)/(10/s). Suppose z*f + 2*v = 54, 5*f = v + 4*v + 115. Solve f = -p - 3*p for p.
-5
Suppose f + 3 = 0, 6*z - 2*f - 16 = 4*z. Suppose 0 = -4*q + 5*p + 26, q + 0*q - z*p - 14 = 0. Solve -5*i + q*i = -3 for i.
3
Let j be ((-2)/(-4))/((-5)/(-190)). Let d = -16 + j. Let x be (-1)/((-12)/16)*d. Solve x = 3*r - 2 for r.
2
Let n(p) = 11*p - 118. Let f be n(11). Solve -f*g = -8*g - 25 for g.
-5
Let i(s) = s**3 + 7*s**2 - 9*s. Let y be i(-8). Let j be ((-24)/(-16))/((-3)/(-26)). Let u = j - y. Solve 0*a + u = 5*a for a.
1
Suppose 0 = -2*r + 5*i - 8, 2*r - 20 = -2*i - 0. Suppose -x - 4*x - 5*a = -15, 4*a - r = -2*x. Solve -x*p - 11 = 1 for p.
-4
Let w(b) = -b**3 + 5*b**2 + 49*b + 2. Let c be w(-5). Solve -23*z = -16*z + c for z.
-1
Let q(x) = x**3 + 4*x**2 + x + 5. Let o be -1*(0 - -1) + -3. Let t be q(o). Let f be 3 - (t + -1 + -3). Solve 0 = -w + f*w - 25 for w.
5
Let b be (6/(-14))/((-6)/(-140)*-5). Let l = -5 + 5. Solve -c - b = -l for c.
-2
Let b = 1 + 0. Suppose 4*s = 5*o - b, -s - s + 5*o = 3. Solve s - 7 = 2*c for c.
-3
Let v(p) = p**2 - 2*p + 2. Let z be v(3). Suppose -z*h + 94 - 19 = 0. Solve -y = 4*y + h for y.
-3
Let d = -12 + 19. Let l be (1 + 0/(-2))*d. Let f(b) = 7*b - 24. Let h be f(l). Solve 4*g + h = 5 for g.
-5
Suppose -6*u = -u + 5*g - 35, 3*u - 5*g = -11. Suppose u*d = -w + 8, 0 = 3*w - 3*d - 2*d - 10. Solve 3 = -4*z - w for z.
-2
Suppose -3*b - 4*a - 2 = -b, 4*b + 4 = 4*a. Let k be (90/63)/(b/(-7)). Solve -6 - k = 4*i for i.
-4
Suppose s = -2*v - 13, 22 = -5*s - 3. Let h be 2*(-3 + (-10)/v). Let z be 0/(h/((-4)/4)). Solve 2*w = -z + 6 for w.
3
Let i = -390 - -396. Solve -2 + 2 = -i*p for p.
0
Let k(u) = u + 11. Let i be k(-9). Let w be 8/12*(-9)/(-2). Solve 11 - w = -i*z for z.
-4
Suppose -5*t = -11 - 4, -3*t - 163 = -4*w. Let z(a) = a**3 + 5*a**2 + 6*a + 2. Let h be z(-5). Let d = w + h. Solve 7*r + d = 4*r for r.
-5
Suppose j + 5*a - 80 = 0, 0*a - a + 339 = 4*j. Let k = j + -51. Let u = k - 22. Solve f + u = -3*f for f.
-3
Let f(c) = -20*c - 3. Let g be f(-1). Suppose 0 = 11*b - 10*b - g. Suppose 4*w + 1 - b = -5*s, w = -2*s + 7. Solve s*t + 8 = -8 for t.
-4
Let u = -848 + 863. Solve w = u*w for w.
0
Let z(x) = -x**2 + 15*x - 16. Let v be z(14). Suppose 20 = -4*b - 4*c, b - 5*c - 32 = -13. Let o be 0 + 14/(b - v). Solve -5*j + 39 = o for j.
5
Suppose -6*o - 2*b = -5*o - 6, -4*b - 60 = -4*o. Suppose -o*z - 120 = -17*z. Let g be (2/(-8))/((-3)/z). Solve -a + 3*a + g = 0 for a.
-1
Let d = 57 + -32. Suppose -15 = d*c - 30*c. Suppose 0 = -n - n + 12. Solve 6 = c*t - n for t.
4
Let r = -16 - -28. Suppose 5*z - r = -2*g, z + z + 3*g = 7. Let o = -136 - -136. Solve o = -z*d - 11 + 3 for d.
-4
Let u(y) = -y**3 + 7*y**2 + 5. Let p be u(7). Suppose 0 = k - p*l - 26, -2*k - 2*l - 3*l = 8. Let r = k - -9. Solve -q - r = -6*q for q.
3
Suppose u = -4*u + 20. Solve -u + 7 = 3*d for d.
1
Let s = -1 - -3. Let u(x) = -x. Let t be u(4). Let c be (-49)/(-35) - t/(-10). Solve -y + s*y = -c for y.
-1
Let m(j) = 6*j**2 + 2*j + 2. Let g be m(-1). Let t(r) = r**2 + 6*r + 4. Let i be t(-6). Suppose -5*o + i*b = -20, o + 0*o = -3*b + 4. Solve o = -f + g for f.
2
Let a be (1 - 0)*-1 - -5. Let f = -19 + 29. Let v be 5 + 5/(f/(-6)). Solve v*u = 4*u - a for u.
2
Let w be (-8)/(0 + 2 - (11 - 7)). Solve 14*z = 18*z + w for z.
-1
Let w = -393 + 397. Solve -25 + w = -7*t for t.
3
Suppose -31 - 25 = -2*f. Let x be f/7 + -1 + 2. Solve x*i = i - 20 for i.
-5
Suppose -3*b = -i - 9 - 7, 0 = 2*b - 5*i - 28. Suppose b*n - 18 = 2. Suppose -12 = -3*c, -2*m + 22 = -c + n*c. Solve m*g + 0*g = 9 for g.
3
Suppose 0 = -13*h + h + 72. Suppose 4*m - 8*x - 2 = -9*x, -2*m - 3*x = -h. Solve m = 5*v - 9 - 1 for v.
2
Let h = 1575 - 1524. Solve h*s - 3 = 50*s for s.
3
Let u(p) = 2*p**3 - 2*p**2 + p. Let t be u(2). Suppose -3*m - 22 = -4. Let k = m + t. Solve 0 = k*l - 3 - 13 for l.
4
Suppose 4*j - 2*s + 4 = -3*s, 2*s - 5 = 5*j. Let v = j + 4. Let y(r) = 2*r**2 - 6*r - 3. Let k be y(4). Solve k*n + 2 = -v for n.
-1
