*i + 3*i for i.
0
Suppose 4*m = -3*a + 2*m + 215, 0 = -4*a + 3*m + 281. Suppose 7*c = a - 29. Solve -2*s + 8 = -c*s for s.
-2
Let y(g) = 13*g + 125. Let b be y(-7). Solve 0 = 29*u - b*u for u.
0
Suppose -2445*h + 2436*h = -18. Solve -f = -h*f for f.
0
Let i = 16 + 11. Suppose -4*j + 7*j = i. Suppose 2 = j*k - 7. Solve k = 2*t - t for t.
1
Suppose -7*d + 172 + 129 = 0. Suppose -3*x = -s - 13, 4*x + 3*s + 4 = d. Solve 5 = -u + x*u for u.
1
Let k(s) = 7*s + 12. Let d(z) = 9*z + 13. Let h(o) = -4*d(o) + 5*k(o). Let m be h(-8). Solve 4*i - m = -0*i for i.
4
Let j(p) = -p**3 - 7*p**2 + 9*p + 10. Let l be j(-8). Suppose 16 = -4*h - 0*f + 4*f, -2*h + 20 = 5*f. Suppose 2*b = -1 + 5. Solve h = -b*m + l for m.
1
Let h(r) be the second derivative of r**3/2 + 5*r**2/2 + r. Suppose 0 = -4*x + 3*x + 5. Let n be h(x). Solve 3*a + n = -a for a.
-5
Suppose -3*z + 232 = -4*q, -6*q = 3*z - 8*q - 224. Solve -67*t + z*t - 25 = 0 for t.
5
Suppose 13*l - 51 = -25. Solve -l*k = -10*k + 24 for k.
3
Let y = -296 + 299. Solve y = -6*n + 3*n for n.
-1
Suppose 7*c + 2 = 16. Let m(t) = -4*t**3 + 2*t**2 - t. Let b be m(1). Let u be -3 - (b + 3 + -18). Solve -h = c*h + u for h.
-5
Let n = -50 + 56. Solve -4*b = -n*b - 2 for b.
-1
Let z(p) = -11*p**2 + 25*p - 2. Let f be z(2). Solve 18*s = -f + 58 for s.
3
Let g be 5*(-9)/(-105)*7. Solve 2*o = -g*o - 20 for o.
-4
Let m be 1 + 0 - 0/(1*-1). Solve -11 - m = 3*h for h.
-4
Let x(k) = k**3 + 6*k**2 - k - 29. Let q be x(-5). Solve 5*z = -14 - q for z.
-3
Suppose 6*r - 3*r = 12. Let v(a) = a**2 + 2*a + 5. Let j be v(-5). Solve j = -r*q - 0 for q.
-5
Let t(j) = 92*j + 470. Let d be t(-5). Solve -7*g + 18 = -d for g.
4
Let m be -3*(-1 - (-1)/3). Let t = 31 + -15. Let y = -14 + t. Solve s + m + y = 0 for s.
-4
Let y(w) = w**3 + w**2 + 21. Let g be y(0). Suppose -8*a = -a - g. Solve a + 2 = -m for m.
-5
Let w be (-5)/(-1) + 36/12. Suppose 0 = -w*v + v + 84. Solve 3*o = -o + v for o.
3
Suppose 4*y = 5*q - 16, y = -3*q - y - 8. Suppose q = -5*i + 2*i + 9. Suppose -x + 3*o - 8 = 0, i*x - 1 - 15 = -o. Solve x*h + 3 = -5 for h.
-2
Let j be 3/2*20/3. Suppose -4*z - 3*x - 4 + 32 = 0, -16 = z - 5*x. Let t be 2*-3*((-14)/3 + z). Solve -y - t*y + j = 0 for y.
2
Suppose 6*u = -h + 5*u + 5, h - 8 = 2*u. Solve -h*i + 17*i = 0 for i.
0
Suppose b - 59*g + 15 = -55*g, -5*b = -5*g. Suppose 10 = 4*c - 14. Solve -r = c - b for r.
-1
Let j be 3 + (2 - 0) - 1. Suppose -j - 6 = g. Let r be 2/5 - 46/g. Solve 2*x - 1 = -r for x.
-2
Suppose -14*i + 72 = -18*i. Let o = -17 - i. Suppose a + 1 = 2*r, o = -r + 4*a + 5. Solve r + 3 = -3*k for k.
-1
Let c be (50/4)/(6/12). Suppose -3*y + 4*a = 2*a - 2, a - c = -5*y. Solve 0 = -y*p + 5 + 7 for p.
3
Let g(r) = r**2 - 7*r + 39. Let o be g(6). Solve o*c = 28*c + 10 for c.
2
Suppose -1 = -21*t + 20*t. Let a be (-2 + (-9)/(-3))/t. Solve -k = -a + 4 for k.
-3
Suppose -4*u - 1 = -9. Let c = 21 - 19. Suppose 5*r - 5*z - 9 = 2*r, -5*r + 5*z + 15 = 0. Solve c = u*o - r*o for o.
-2
Let z be (-52)/20*(-145 - 0). Let y be z/117 - (-2)/(-9). Solve 0 = y*x - 4*x - 1 for x.
-1
Let o(j) = 11*j**2 - 2*j. Let m be o(-3). Let h = m - 95. Solve 4*l - h = 6*l for l.
-5
Suppose -5*w = 3*k - k - 8, 4*w = 2*k - 26. Solve 2*t + 3 - k = 0 for t.
3
Suppose 0 = -33*r + 29*r + 40. Let v(o) = -o**2 + 13*o - 12. Let k be v(r). Suppose 16*x = k*x - 4. Solve -x*g = 3*g + 25 for g.
-5
Let v = -8 - -8. Suppose 6*d - 3*d - 9 = v, -5*d = 4*p - 75. Solve -2*l - p = l for l.
-5
Suppose 4*j - 16 = 0, -3*t + 9*j - 11 = 4*j. Solve -4*w - 3 = -t*w for w.
-3
Suppose -8*u - 6 = 2*g + u, 2 = g + 2*u. Solve -87 + 111 = -g*f for f.
-4
Let z be (-1)/2 - 858/(-4). Let c be z/14 - (-2)/(-7). Let k(o) = o**3 - 14*o**2 - 15*o. Let m be k(c). Solve j + m*j = -4 for j.
-4
Suppose 9 = 4*b + 3*q, -3 = 2*b - 3*q + 6. Solve r - 4*r + 3 = b for r.
1
Suppose 59 = -3*n + 80. Solve -n = 4*c + 1 for c.
-2
Let y(x) = -x**3 - 8*x**2 + 6*x - 8. Let q be y(-8). Let u = 58 + q. Solve 2*z + u*z = 0 for z.
0
Suppose 1 = -3*v + 22. Let z(i) = 11*i - 56. Let w be z(8). Solve -5*b - w = -v for b.
-5
Let i(k) = -k**2 - 17*k - 13. Let r be i(-16). Suppose -5*d = -r*d - 4. Let h be 1 + 3/(d + -1). Solve -3 = -h*x + 1 for x.
1
Let r(a) be the third derivative of -a**6/120 - a**5/12 - a**4/12 - 2*a**3/3 + 15*a**2. Let y be r(-5). Solve f - 15 = y*f for f.
-3
Let g = 69 - 85. Let c(b) = -b**2 - 10*b - 3. Let y be c(-7). Let z = g + y. Solve -z*k + 4*k = -6 for k.
-3
Let h = -1805 - -1815. Solve -14*r + 4*r + h = 0 for r.
1
Suppose 0 = -g - 36 + 100. Suppose 13*o - 5*o = g. Solve 4*t = 2*t + o for t.
4
Let z be (-44)/(-33) - 112/3. Let x = z - -36. Let a be (-1 - 2)*2/(-2). Solve x = -a*y - 7 - 5 for y.
-4
Let j = 6 - 3. Suppose -2*x - j = -n - 16, -7 = x - 5*n. Suppose -4*g + 32 = 4*g. Solve -x = 3*v + g for v.
-4
Let o(c) = -c + 22. Let w be o(14). Let d be (w/10)/((-34)/(-85)). Solve s = -2 - d for s.
-4
Let d(z) be the first derivative of 7*z**2 - 7*z - 3. Let u be d(2). Suppose 0 = 3*r - 3*h - u, r + 0*h = -3*h - 9. Solve -y = r*y for y.
0
Suppose -4*i + 3*y = -113, 2*i - 4*y - y - 67 = 0. Let u(j) = 3*j + 3. Let t be u(-3). Let x = 12 + t. Solve -4*d = -x + i for d.
-5
Let o(g) = 5*g + 75. Let p be o(-14). Solve z - 16 = p*z for z.
-4
Let n = 9 + -6. Suppose 5*o = h + 17, -n*h + 8*o = 3*o + 11. Solve 6 = -h*z + 3 for z.
-1
Let w(f) = 4*f + 4. Let y be w(1). Solve 5*m = -y + 28 for m.
4
Let c be -6*1*8/(-24). Suppose c*z - 13 = -k, -5 = 2*k - k - 4*z. Solve 0 = -2*v + k - 1 for v.
3
Suppose -5 = 44*o - 45*o. Solve 0 = 3*l + o - 2 for l.
-1
Suppose 9263 + 4669 = 129*u. Solve -8*c - u = -116 for c.
1
Let q(u) = 23*u**2 + 3*u + 3. Let t be q(-1). Suppose 0 = m - 2*s + 7*s - t, 2*s + 7 = 5*m. Solve 0 = -m*g - 0 - 3 for g.
-1
Let t be (70/4 - 2)/(25/50). Suppose -3*l - 16 = -t. Solve 0 = a - l for a.
5
Let q = 429 - 420. Let o = 21 + -1. Solve -4*b + o = -q*b for b.
-4
Let r(c) = -c**2 - 6*c - 4. Let v be r(-4). Suppose u + 30 = 5*p, -v*p + 5*u + 39 = -6. Solve 16 = -p*h - 9 for h.
-5
Suppose 2*l - 4*n = 28, -4*n = -3*n + 5. Suppose p + 4*q + l = 0, -3*p + 4 = 3*q - 2. Solve -p = i - 5 for i.
1
Suppose f + 6*w - 4*w - 15 = 0, 48 = 5*f + w. Let b(l) = 4*l**2 + f*l**2 + 7*l - 14*l**2. Let v be b(7). Solve -4 = -v*k - k for k.
4
Let c(t) = -t**3 + 6*t**2 + 4. Let h(r) = r - 5. Let d be h(5). Suppose d*p - 3*p = 4*u - 10, -2*p + 14 = -u. Let b be c(p). Solve 2*g - b = 3*g for g.
-4
Let n(p) = -p + 6. Let v = -7 + 11. Suppose 0 - v = -2*j. Let b be n(j). Solve 4*r = -b - 16 for r.
-5
Let f = -27 - -29. Let s be f - ((-120)/9 - 1/(-3)). Solve s = -4*g - 5 for g.
-5
Suppose 0 = -5*d - 6*o + 5*o + 30, -4*o = 5*d - 15. Suppose -y - 3 = -d. Let i = -5 - -9. Solve -i*r = -y - 0 for r.
1
Let w(d) = -d**2 - 4*d - 4. Let x be w(-3). Let m be 0 + (-2 - x)*-1. Solve 3 = -g - m for g.
-4
Let s be 4/10 - 128/(-80). Let t = 9 + -9. Suppose 4*u - 3*u - 2 = t. Solve -s = u*k + 4 for k.
-3
Let w = 385 - 383. Solve -14*u = 30 - w for u.
-2
Suppose 43 + 227 = 6*i. Solve i = -7*s + 10 for s.
-5
Suppose -2*r + 3*r = 5*r. Solve 13*y - 9*y = r for y.
0
Suppose 2*n - 5*n = -9. Suppose 0 = -u + n*u + 6. Let c be u/6 + (-2)/(-4). Solve -4*j + 13 - 5 = c for j.
2
Suppose -3*f + 1170 = -255. Let g be f/57 - (-2)/3. Solve -g = 3*b - 6*b for b.
3
Suppose -3*q - n = -7, q - 8 = n - 3. Suppose -4*y = -5*a + 24, -13*a + y + 9 = -11*a. Solve -c = q*c + a for c.
-1
Suppose -15 = 11*p - 14*p, -y = 4*p - 20. Suppose -5*o + t + 16 = 2*t, o = 3*t. Solve 0*a + o*a - 15 = y for a.
5
Let y = -3 + 17. Suppose -4*t + 5*h = -49 + y, 0 = 3*t - h - 18. Solve 0 = -t*g + g for g.
0
Suppose -17 = 4*z + 211. Let q = z + 57. Solve q = b - 2 + 1 for b.
1
Suppose -2*i + 8 = 4. Let y be -3 + 3 - (i - 3). Suppose 3 - 23 = -5*q. Solve q*r = -y - 3 for r.
-1
Let r(y) = y - 1. Let t be r(3). Let h be 1/t - (-105)/14. Suppose 3*p + q = h, p + 5*q + 4 = 16. Solve p*m - 7*m - 20 = 0 for m.
-4
Suppose 0 = -2*f - 4*s, 0 = -12*f + 14*f + 5*s. Solve f = -32*k + 33*k + 1 for k.
-1
Let i be (-5)/(-3) + (-8)/(-6). Solve 0 = -i*l - l for l.
0
Suppose -2*t + 4*q + 30 = -t, 0 = -4*t + 4*q + 120. Suppose 3*l + 58 = -4*r, -2*r - 4*l - t = -6. Let j = 19 + r. Solve -j*k - 2*k = -10 for k.
2
Let m = -84 - -84. Solve 5*x + m*x + 10 = 0 for x.
-2
Let n(p) = p**3 + 15*p**2 + 2