 Let v be w(14). Solve -v*d + 7*d = -3 for d.
-1
Suppose 30*d - 23*d = 28. Solve d*k = 2 - 22 for k.
-5
Let j = 1 - -2. Suppose t - 5*i = 4*t + j, -2*i - 6 = 0. Solve -3*u - 3 = -t*u for u.
3
Let k(o) = -o + 15. Let g be k(11). Suppose -n = g*n. Suppose -3*l - 2*h + 28 = 2*l, 2*l + 4*h - 8 = n. Solve -3*v + 6 = -l*v for v.
-2
Let t = 12 + -7. Let s be ((-5)/(-25)*t)/(1/5). Solve -25 = s*f - 0*f for f.
-5
Suppose -2*h + 5 = p, -h + 14 = 2*p + h. Suppose -d + 3*a + p = 0, -12 = 4*d + 2*a + 2*a. Solve -g = 3 - d for g.
-3
Let o be -6*(0 - 2/4). Solve -4 + 1 = o*m for m.
-1
Let l = 18 + -10. Suppose -4*v = -l - 4. Let o be (-11)/(-22)*v*2. Solve -o*y - 6 - 3 = 0 for y.
-3
Let d(j) = 25*j - 236. Let y be d(10). Solve 12*v = 5*v - y for v.
-2
Let r be (-104)/(-78) - (-16)/(-3). Let y be (4 - -17) + (3 - 0) + r. Solve -6*d - y = -d for d.
-4
Suppose -12 = 2*x - c - 3, -3*x = -c + 14. Let m be (-9)/(-12) - x/4. Let i = 2 + m. Solve -2*f - i = -0 for f.
-2
Suppose 0 = -72*w + 9*w. Solve 50*v - 53*v + 15 = w for v.
5
Let u be -2 + 2/(4/(-86) - 0). Let q = -30 - u. Let h be -5 - -6 - (0 + -1). Solve -i - h*i + q = 0 for i.
5
Suppose 4*i - 23 = -m, 14 = 5*i - 4*i + 3*m. Suppose 6 + 2 = 2*p. Suppose q = 5*x + 23, 4*x + 2 + 2 = -p*q. Solve q*c = i*c + 6 for c.
-3
Let d be 4*(21/(-6) - -3*1). Let j be -8*d*6/8. Solve 0 = 5*t + 8 + j for t.
-4
Let o(t) = t**2 - 3*t - 6. Let p be o(7). Let c = 26 - p. Solve r + r = c for r.
2
Suppose 0 = -2*i + 14 - 2. Let f = 152 - 149. Solve i = f*v - 0*v for v.
2
Suppose -2*l = -2*h - 2, 2*l = -2*h - l + 13. Suppose -4*j + j = -h*i - 6, 0 = 2*j - 8. Solve 0*k = 3*k - i for k.
1
Let b be (-106)/(-6) + (2 - (-10)/(-6)). Let z be 378/22 - (-18)/(-99). Let v = b - z. Solve f + v = -3 for f.
-4
Let y be (308/(-98))/(4/(-14)). Solve 4*h - y + 19 = 0 for h.
-2
Let t(l) = -4 - 9*l - 10*l + 20*l + 3. Let f be t(3). Suppose f*q = q + 6. Solve -26 = 5*x - q for x.
-4
Suppose -16 = -3*r - 5*t, 0 = -4*t + 3*t + 2. Let f be (126/(-12))/(1/2). Let n = f + 26. Solve g - n = -r for g.
3
Let u(d) be the second derivative of d**3 + 10*d**2 - 20*d. Let i be u(-3). Solve -i*t = -t + 2 for t.
-2
Suppose -2*t = -15*t + 52. Solve -2*w = -t*w for w.
0
Suppose 2*u - k = 6, -4 + 0 = -3*u - k. Let z = u - -2. Solve z = f + 1 for f.
3
Suppose -4*q = -4*x, 4*q + q = 0. Suppose -o - 1 = -2*p, x = -5*o + 25. Solve p*j = 2 + 4 for j.
2
Let y = 130 - 130. Solve y = 8*t - t + 7 for t.
-1
Let p be 0*((-6)/72)/((-2)/6). Suppose 4*m + p = 4. Solve -m = -0*j - j for j.
1
Let q be 6/((-21)/12 - -2). Suppose d = -d + q. Suppose 4*m + d = 2*m + 4*h, -3*m - 13 = -5*h. Solve m*u + 2 + 6 = 0 for u.
-2
Suppose -301 = -8*l - 117. Solve -l*g = -7*g for g.
0
Let o = 192 - 189. Solve 0 = -13*l + 12*l + o for l.
3
Let a be (1550/120 - 11) + (-2)/(-24). Solve 11*s - a = 12*s for s.
-2
Let u = -498 - -507. Solve -2*y + u*y = -7 for y.
-1
Suppose -4*z = a - 5, -z + 5*z - 5*a - 23 = 0. Suppose -b = 4*p + 5, 2*b + 8 + z = -2*p. Suppose 4*n - 16 = -p*n. Solve s - n = -1 for s.
3
Suppose -3*x + 120 = 5*q, 2*x - 21 - 52 = -3*q. Suppose -2*o = o - q. Let m = -5 + o. Solve 0*t + t + m = 0 for t.
-2
Let w(f) = -2*f + 8. Let q be w(-6). Let z be (-4)/(-18) + (-642)/81*-3. Suppose -y - 3*y + z = 0. Solve y*j - 2*j = q for j.
5
Let w be 1/1 - 2 - -4. Suppose 0 = -3*s + 4*s + 5*t + 42, 3*s = -2*t - 87. Let i be ((-20)/(-12))/((-15)/s). Solve w = -3*x - i for x.
-2
Suppose 12*z - 66 - 90 = 0. Solve 2 + z = -5*o for o.
-3
Suppose -108 = -0*r - 3*r - 3*s, -4*s + 78 = 2*r. Let i = r - 30. Let v be 1/((-1 + 3)/4). Solve 0 = v*p - i*p for p.
0
Suppose -3*r - r + 4*i = -24, 3 = -i. Suppose -3*c = -6, h + c = -r*c + 17. Let p = 11 - h. Solve 0 = x - 1 - p for x.
3
Let f = 282 + -279. Solve f*l = -0*l - 6 for l.
-2
Let i = -528 + 551. Solve 19 = 4*f + i for f.
-1
Suppose 5*f + 0*f = 0. Suppose 3*h + 10*u - 5*u - 15 = f, -5*h + 2*u = 6. Solve 5*j - 25 + 5 = h for j.
4
Suppose -2*r = -3*h - h - 44, -4*h + 138 = 5*r. Suppose -2*i + 24 = -r. Let q be (-15)/(-2)*(-4)/(-6). Solve 0*k + q*k = i for k.
5
Suppose -9*o + b = -7*o - 8, 0 = -5*b - 10. Solve 0*g + 9 = o*g for g.
3
Let k(x) = -33*x - 6. Let c be k(-2). Let u = c + -50. Solve -1 = -3*s - u for s.
-3
Suppose 44 = 25*w - 21*w. Solve 40 = -p + w*p for p.
4
Let x be ((-2)/(-2))/(7/(2394/19)). Solve 7*z - x = 17 for z.
5
Suppose -5*y + 35 = 5*k, 3*y - 4*k + 0*k = -14. Let s be (-63)/(-6) - 1/y. Let h be 0*(-1)/1 + 5. Solve 0 - s = h*o for o.
-2
Let y(z) = 5*z**2 - 6*z**2 - 13*z + 7*z - 8 - z. Let h be y(-5). Let b(l) = l**3 + 6*l**2 - l - 3. Let i be b(-6). Solve -h*m - i = 1 for m.
-2
Let z = 10 - 15. Let x be (-16)/40 - 82/z. Suppose 3 - 16 = -s + 5*u, 0 = -2*u - 4. Solve x = s*i + 1 for i.
5
Suppose -6*s - 7*s + 39 = 0. Solve -s*c = -6 + 9 for c.
-1
Let o be (-7)/2 + (-10)/(-20). Let c be (o/2)/((-45)/60). Solve -c = -3*g + 13 for g.
5
Let k be (-2 + 1)*0/(-1). Let z be 4 + -3 - (0 - 4). Suppose -60 = -5*g + 2*g. Solve g = z*x - k*x for x.
4
Suppose 9*w = 11*w - 10. Suppose -5 = 5*l, -5 = -3*i + l - 4. Solve i = h - 2 + w for h.
-3
Let o = -7 + 6. Let b be (-3 + 5 - 9)/o. Let q = b - 4. Solve 3*j + 0 - q = 0 for j.
1
Let j(u) = u**3 - 8*u**2 - 5*u - 31. Let p be j(9). Solve -18 = -p*o + 2 for o.
4
Let p(b) = -5*b + 2. Let z be p(4). Let n be (12/z)/((-4)/(-6)). Let f be 7 + 2 + n + 1. Solve -4*d + f - 1 = 0 for d.
2
Let y = -14 - -37. Suppose p = -3 + y. Let f be (p/(-24))/(3/(-18)). Solve h = f - 2 for h.
3
Let d = 706 - 704. Solve d*c = -52 + 50 for c.
-1
Let g = -46 + 51. Suppose 2*m = -2*m - 12, -g*h = -3*m - 14. Solve -h = -r + 4 for r.
5
Let u be ((-55)/30)/11*-18. Let a be (1/2)/((-2)/(-20)). Solve -a*t = -u*t for t.
0
Let l be (-6)/(-9) - (-122)/(-3). Let p be (-18)/(-63) - l/7. Suppose 5*g + 2 + p = 4*u, -3*u - 5*g + 6 = 0. Solve 0*q = -u*q + 6 for q.
3
Let w(f) = 2*f + 5. Let i be 0/(0 + (-3 - -4)). Let d be w(i). Suppose -5 = -5*k, b - 4*b = -d*k - 55. Solve 0 = -6*u + 2*u - b for u.
-5
Suppose 2*a + 3*x + 1 = 8*x, -4*a + 4*x = -4. Solve a*v = -10*v - 12 for v.
-1
Let m be (63/12 + -5)/(1/12). Suppose m*i + 2*i + 4*g = 30, 35 = 5*i + 5*g. Solve -i*c = c for c.
0
Let p(z) = -z**3 - 17*z**2 + z + 21. Let m be p(-17). Suppose -o - 14 = m*b, -8*o + 2*b + 16 = -7*o. Solve o*f = 2*f for f.
0
Let g be (-1)/3*(-14 - -17)*-1. Suppose -g = 5*q - 1. Solve q*m = 5*m + 5 for m.
-1
Let h be ((-60)/10)/((-3)/2). Solve 0 = -0*s + 2*s - h for s.
2
Suppose -3*l - 2 = -w, -l - 2*w - w = 4. Let k be 1/(((-4)/8)/l). Solve -k*b + 0*b = 0 for b.
0
Let a(y) = -y**3 + 13*y**2 - 37*y - 14. Let k be a(8). Solve 21*m - 26*m = -k for m.
2
Suppose -38 = 4*w + 54. Let n = w - -28. Solve -n*o + 10 = -0*o for o.
2
Let f(a) = -a**3 - a**2 + 22*a + 10. Let s be f(-5). Suppose 5*j + 11 = 41. Solve s = -3*c - 0 - j for c.
-2
Let o be 300/(-48) - (-2)/8. Let x = 10 - o. Let v = x + -13. Solve -v = -3*f + 2*f for f.
3
Let j(a) = a**2 - 18*a - 40. Let g be j(20). Solve g = 8*q + 33 + 7 for q.
-5
Let h = -197 + 197. Solve 0 = -h*y - 9*y + 45 for y.
5
Let o = -39 + 105. Let d = 70 - o. Solve 0 = -2*z + d*z for z.
0
Suppose -53 + 9 = -11*x. Solve 2*j = -x*j for j.
0
Let j(c) be the second derivative of c**3/6 - 4*c**2 + 6*c. Let i be j(8). Let q = i + 12. Solve -q = -0*g - 4*g for g.
3
Let s be -2 + (-2)/(-2) - -5. Let t be (-3 - 3)/(-3 - (-4 + 2)). Suppose 2*o - s*o = -t. Solve 2 = o*g - 4 for g.
2
Suppose o = 4*k - 4 - 8, 5*o - k = 35. Suppose -5*t - 15 = -o*t. Solve t + 3 = -4*w for w.
-2
Suppose -o - 23 = 6*f - f, 4*f = -5*o - 10. Suppose o*h - 6 = -2*h + y, 4*h - 2*y = 4. Solve h - 4 = -2*n for n.
1
Let g(r) = -r**3 - 7*r**2 - 4*r + 16. Let f be g(-6). Solve 4 = -f*c + 8 for c.
1
Let o(f) = 4*f - 1. Let c be o(-2). Let b = c + 10. Suppose 0 = -m + 13 - b. Solve -t + 4*t - m = 0 for t.
4
Let m(q) = q**3 + 8*q**2 - 8*q + 10. Let y be m(-9). Let j be y*6 + 1 + (-9)/3. Solve 19 - j = 5*n for n.
3
Let x(h) = -17*h + 71. Let v be x(4). Solve c = 1 + v for c.
4
Suppose 4*y + 79 = 3*i, -i - 85 = -4*i + y. Let m = 34 - i. Solve -u = -m*u for u.
0
Let a = -27 + 33. Let k = 4 - a. Let y be 17*k*4/(-8). Solve -5*z + 8 + y = 0 for z.
5
Suppose 6 + 3 = 3*k. Suppose -5*f + 28 = 2*s, 3*f + 4*s - 8 = f. Suppose n - 12 = 6. Solve k*o = -n + f for o.
-4
Suppose 0 = 5*g + 5*k + 10, -2*k -