 Let a be (12*2)/(c/13). Solve z = -r*z - a for z.
-4
Let k be (((-12)/(-10))/3)/((-30)/(-825)). Solve 0 = -15*d + k*d + 28 for d.
7
Let o(p) = 16*p - 86. Let k be o(6). Solve 11*v = -k*v + 42 for v.
2
Let d be 187166/3654 - 2/9. Solve d = 16*r - 61 for r.
7
Let g(c) = 10*c - 56. Let s be g(6). Suppose -46 = -v + 2*o, 5*v + 2 - 204 = -s*o. Let m = v - 38. Solve m*i + 5 = -i for i.
-1
Suppose -2*z - 5 = 3*b - 357, 8 = -2*z. Suppose 744*a - 754*a = -b. Solve a*u - 5*u - 21 = 0 for u.
3
Let m be (-4)/12 - 2*1/(-6). Suppose 0 = 5*r - 0*r - 25. Suppose r*c - 8 - 12 = m. Solve 10 = -c*a - 10 for a.
-5
Let a = -1840 - -1842. Solve -200 = -a*q - 194 for q.
3
Suppose 66 = 68*x - 35*x. Suppose 43 = 7*j - 20. Solve 3 - j = x*k for k.
-3
Let p be (-24)/108 + (-47)/(-9). Let g be (3 - 322/112) + (-92)/(-32). Solve -p = 2*j + g for j.
-4
Let u(w) = 25*w + 22. Let v be u(10). Let h be (-1)/2 + v/32. Solve -h*t + 16 = -4*t for t.
4
Let v(o) = -67*o**2 - 11*o + 1. Let g be v(-3). Let w = g + 606. Solve -5*k - 17 = -w for k.
4
Let c = 5117 + -4979. Solve -7*o + 152 = c for o.
2
Let u(b) = -3*b**2 - 17*b + 87. Let d be u(9). Let v = -293 - d. Solve 20*i - v*i = 0 for i.
0
Suppose 0 = -2*h - 248 + 248. Solve h = 26*l - 31*l - 25 for l.
-5
Let x(p) = 7*p**3 + 6*p**2 + 67*p - 146. Let y be x(2). Solve y*j - 64*j = 0 for j.
0
Suppose 25353 - 12339 = 18*i. Solve 621 = 17*o + i for o.
-6
Let j be 162 + (17 - 29) + 25. Solve -37*v - j = -12*v for v.
-7
Suppose 2*z - 183 = -173. Suppose z*y - 40 = l, 3*y + l - 23 = -y. Solve 12*f - y*f + 20 = 0 for f.
-4
Let c(p) = p**3 + 6*p**2 - p - 15. Let k be c(-4). Suppose -o = -5*r - 3, -2*o = -k*r + 17*r - 24. Solve -7*z = -z + o for z.
-3
Suppose 5*y - 11 + 1 = 0. Suppose 0 = 15*a + 7*a - 8*a. Solve a = -3*n - y - 10 for n.
-4
Let h = -368 + 377. Suppose 0 = -h*i + 6*i - 6, 2 = 4*l + 3*i. Solve l*d + 3 + 7 = 0 for d.
-5
Suppose -3*t = 36 - 138. Suppose -t*d + 32*d = -18. Solve -d = 2*f + f for f.
-3
Suppose 0 = -5*h - 4*j + 563 - 343, 3*j = -2*h + 81. Solve 1510*p + h = 1486*p for p.
-2
Suppose 4*y + 20 = -3*l + 2*y, 4*y - 4 = 5*l. Let o be 4/(-6)*(l - (5 - 18)). Let m be 1/o + 26/12. Solve -2*j - m*j = -16 for j.
4
Suppose -2*z - 17 = -3*g - 6*z, -3*g + z + 7 = 0. Suppose 2*b - 3*b = -2*o + 3, -g*b - 1 = -2*o. Solve -o*y - 6 + 4 = 0 for y.
-1
Suppose -6*d - 6 = -4*d - 5*t, -46 = -18*d - 5*t. Let z be (0*(1 + -2))/(-2). Suppose z*m - 3*m = -6. Solve 0*f + m*f = -d for f.
-1
Let m = 10904 - 10845. Solve -3*n - 68 + m = 0 for n.
-3
Let i = -278 - -350. Suppose -2*v = -3*v - 5*y + 97, 4*y = v - 52. Let a = v - i. Solve -2*o + 0 - 10 = a for o.
-5
Let b be (-20)/(-6) + 2/(-6). Suppose 2*v = -3*y + 28, 4*y = -11*v + 9*v + 24. Solve b*w + 8 - v = 0 for w.
4
Suppose -1069 - 1751 = 28*a - 88*a. Solve -59*v + a*v = -60 for v.
5
Let w = -2070 + 2092. Solve -28 - w = -25*s for s.
2
Suppose -3*m + 5*o + 28 = -m, 4*m - 8 = -2*o. Suppose 5*l - 5 = -2*f, m*f + l - 5 = -4. Solve t + 2 + 0 = f for t.
-2
Suppose -s = 3*s - 320. Suppose 5*q - 3*h = 2*h + s, 5*h = 15. Suppose -d = -r + q, 5*r + 4*d + 17 = 112. Solve 5*b + 6 = -r for b.
-5
Let q = -288 + 333. Suppose 320*s - 325*s = -q. Solve -s*k = -12*k for k.
0
Let l = 871 - 397. Let d be l/66 + (72/(-33) - -2). Solve 12 = -d*a - 2 for a.
-2
Let z(w) = -w**2 - 3*w + 30. Let d = 4 - 3. Suppose 0 = 4*j + 27 + d. Let l be z(j). Solve -u = l*u for u.
0
Suppose 135*k - 2108 - 836 = 1106. Solve -36*y = -k*y - 24 for y.
4
Let h(u) = -u**2 + 130*u - 3733. Let k be h(43). Solve -67*g + k = -75*g for g.
-1
Let x(n) = -n**3 + 4*n**2 + n - 8. Suppose -1 = i - 17. Let a = i - 13. Let q be x(a). Solve 2*h = h - q for h.
-4
Let n be ((-7)/(-2))/(-7)*0. Suppose n*z = -3*z - 12. Let x(v) = v**2 + 6*v + 10. Let k be x(z). Solve k + 2 = -f for f.
-4
Let r = -1136 - -1159. Solve 0 = -k + r*k - 66 for k.
3
Suppose 0 = -c + 5, -9*v + 4*c = -6*v - 88. Suppose 4*r + 3*o = -o + v, o = 3*r - 11. Solve -14 = r*w - 34 for w.
4
Let w = -1712 - -1744. Solve 27 = -u + w for u.
5
Let z(n) = n + 14. Let c be z(-10). Let v(f) = f**3 + 33*f**2 + 61*f - 2. Let u be v(-2). Let a = 17 - 10. Solve a*m - c*m + 3 = u for m.
-1
Suppose -37*b + 89834 = 86*b + 782. Solve -b*o = -726*o + 10 for o.
5
Suppose 10*p = -41 - 79. Let c be (p - -7) + 10/2. Solve -2*y + c*y = 0 for y.
0
Let j(l) = -48*l - 2061. Let k be j(-43). Solve 3*o = k*o + 2*o for o.
0
Let o = -565 - -610. Let n be o - (-1 - -1 - 0)/(-1). Solve 12*z - 3*z + n = 0 for z.
-5
Let k be -1 - 64/12*(-315)/12. Let l = 144 - k. Solve -l*f = -f for f.
0
Let x(b) = b**3 - 29*b**2 - 21*b - 858. Let w be x(31). Solve w*r - 3 = 410*r for r.
1
Let v = -19547 - -19770. Solve 343 = 15*f + v for f.
8
Let i be 11 + (-14508)/(520/(-20)). Solve -579*x + 80 = -i*x for x.
8
Suppose 264*n = -69*n + 8325. Solve 16*q - 54 = n*q for q.
-6
Let n(p) = 5 - 3 + 10*p + 35 + 46. Let u be n(-8). Solve -5*l - u = -13 for l.
2
Let b = 30 - 30. Let x(a) = -4*a + 15. Let z be x(b). Suppose 9*y + 24 = z*y. Solve -w = -y + 1 for w.
3
Suppose -2*o - 1 = 3*p - 4*o, 0 = p + 3*o - 18. Suppose 3*r - 21 = 2*w - 19, -2*r = -w - p. Solve -7 - w = 4*y for y.
-3
Let l(w) = -w**3 + 6*w**2 - 94*w + 465. Let n be l(5). Solve -11*v - n = -97 for v.
7
Suppose 2 = a + 4*h, -6*a + 66 = -3*a - 3*h. Let c be ((-6)/a*1)/(2/(-12)). Let m be -1*2*-2 - -2. Solve -m + c = p for p.
-4
Suppose -b - 2 = -5. Let h be 6/15 + 66/10 + b. Let a be 0/(h/(-6) - (-2)/3). Solve 5*d - 20 - 5 = a for d.
5
Suppose 0 = -4*x - 4*d + 12, 0*x = -2*x + 3*d + 31. Let i(t) = 2*t - 4*t + 2*t + 3*t + x. Let w be i(-2). Solve -w = -4*o + 3*o for o.
2
Let r be 226/(-6)*(-1 + (-5 - -3)). Suppose -2*h + r = -13. Suppose -67 + h = -g. Solve 3*n + g = 2*n for n.
-4
Suppose -3*h + z + z - 4 = 0, 5*h + 4 = 4*z. Let k be (-12)/30*40 - -15. Let s be (k - -2) + h/4. Solve s = 5*f - 3*f + 10 for f.
-5
Let o(v) = -v**3 + 2*v**2 + v - 1. Let z be o(1). Suppose 5*x = -2*j + 17, 0 = -x + 4*j - 0*j - z. Suppose -2*b = x*b - 20. Solve -9 = b*u + 11 for u.
-5
Let n(t) = 3*t**3 + 27*t**2 - 10*t + 14. Let z(f) = -f**3 - 9*f**2 + 3*f - 5. Let q(m) = -6*n(m) - 17*z(m). Let g be q(-10). Solve g*d - 14*d = 6 for d.
-2
Let r(q) be the second derivative of -q**3/2 + 7*q**2 + q. Let h be 56/(-12)*48/(-56). Let s be r(h). Solve -j - 3 = -s for j.
-1
Suppose -4*a + 0*a + 204 = 0. Let d be 64*18/(-105)*-5*616/704. Solve -3*j + a - d = 0 for j.
1
Let h be (-3)/(-6)*(18 + -18). Let k(g) = g**2 + 2*g + 4. Let s be k(h). Solve 10*o + s = 6*o for o.
-1
Let a(w) = -25*w**3 - 23*w**2 - 38*w + 10. Let j be a(-2). Solve 49 = 187*b - j*b for b.
-7
Suppose 5*m - 4*l = -1409, -3*m - 848 = -0*m - 5*l. Let j = m + 283. Solve -j*s = -3*s for s.
0
Suppose -914*u + 910*u = 2*c + 10, -c + 19 = -4*u. Let m(h) = 3 + h**3 + 2 - 4*h**2 - 1. Let g be m(4). Solve g - 1 = c*p for p.
1
Let q = -8 - -19. Suppose -12 - 3 = 3*y. Let c be 10 - (4 + -4 - y). Solve c*i - 36 = -q for i.
5
Let n(l) = -l**2 - 5*l - 2. Let x be n(-3). Suppose 0 = -3*g - 3*m, 0*g - x*g = -3*m. Solve g = f + 1 - 0 for f.
-1
Let s be (2/5)/(27/(1080/16))*10. Solve 43 - 63 = -s*t for t.
2
Let s(c) = -1472 - c**3 + 5*c - 3*c**2 + 1472. Let p be s(-5). Solve 34*h - 29*h + p = 0 for h.
-5
Let p = -26535 - -26558. Solve -p*v + 24 = -31*v for v.
-3
Let j = 6372 - 6367. Solve 0 = j*h + 9*h + 56 for h.
-4
Let z = 178 + -188. Let c(u) = -u**2 - 10*u + 1. Let t be c(z). Solve -3*k + 5 = -t for k.
2
Let c(k) = -k - 5. Let o be c(-5). Suppose -2*p + 60 = -s + 62, -s - 1 = -3*p. Solve 3*b + p = -o*b for b.
-1
Let a be -1 - ((-2)/6 - -1)*-15. Suppose -a + 4 = -n. Suppose -n*v = -15 - 10. Solve 0 = -4*s + v*s for s.
0
Suppose -2*i - a + 15 = 0, 4*i - 33 = 2*i - 3*a. Let g be (1/(-3))/(2/(-12)). Solve i = g*y + 9 for y.
-3
Suppose -2*h - 86 = 82. Let v = -81 - h. Suppose -2*y = -10*y + 16. Solve c + y = v for c.
1
Suppose 12 = -65*y + 71*y. Suppose -2*a - 2*j = -4, -a = 4*a + y*j - 7. Solve -a = h - 3 for h.
2
Suppose 0 = 4*l + 2911*s - 2912*s - 151, 0 = -3*l - 4*s + 80. Solve 0 = 15*w + l + 99 for w.
-9
Let b be -9 + -1 + 1 + -10 + (-1216)/(-64). Solve -414*q + 429*q + 90 = b for q.
-6
Let b be (-4)/14 - (158/(-14) - 1). Let m = b - 9. Let c be (26/39)/((-4)/(-18)). Solve -c*l + 6 = -m for l.
3
Let q = -2688 - -2881. Solve 3*j + q = 202 for j.
3
Let v(s) 