ve d + 12 = n*d for d.
4
Let i(t) = -t + 15. Let u be i(13). Let p = 10 - 10. Suppose p = -u*l + 17 - 5. Solve -5*z = -l*z for z.
0
Let z = 199 - -38. Suppose -15*v + 3 + z = 0. Solve 0 = -4*k - v for k.
-4
Let m = -73 + 90. Suppose m = -2*w + 25. Solve -w*t + t + 15 = 0 for t.
5
Let l = -19 - -19. Suppose l = -2*i - 10, -3*p + 0*i + i = 940. Let j be p/(-65) + (-2)/(-13). Solve -29 = -j*a - 4 for a.
5
Let i(f) = -f**3 - 2*f**2 + 5*f - 9. Let n be i(-4). Suppose -46 = -n*d - 3*g - g, -g = -4. Solve d - 15 = 5*k for k.
-1
Let j be (-610)/6 - (-1)/(-3). Let g be ((-8)/1)/(1/(-7) - (-1843)/8148). Let m = g - j. Solve -15 = -3*o + m*o for o.
-5
Suppose -9*c = -41*c + 352. Let t(x) = 2*x**3 - 21*x**2 - 9*x - 19. Let m be t(c). Solve -z + m = 6 for z.
-3
Let k(f) = -4*f + 46. Let v(b) = -2*b + 1. Let j(q) = k(q) - 4*v(q). Let p be j(-9). Solve g - 10 + p = 0 for g.
4
Let r = -2 - 2. Suppose 10 = 2*x - m, -x + 6*x - 4*m - 19 = 0. Let p = r + x. Solve p*b = -b + 20 for b.
5
Suppose 0 = -17*l + 3*l + 4746 - 4536. Solve l*y = -36 + 126 for y.
6
Suppose -15*r + 3552 = 9*r. Let z = 167 - r. Solve z*o = 11*o + 24 for o.
3
Let w(p) = 30*p - 20. Let c be w(4). Suppose -c = -11*q + 32. Let k be 155/55 + q/66. Solve -z = -0*z + k for z.
-3
Suppose 0 = 2*n - 0*n + k - 32, 0 = -2*k. Let y be 14 + -8 + (-6 - -2). Let q(r) = 7*r**2 - 13*r + 9. Let i be q(y). Solve -7*d - n = -i*d for d.
4
Suppose 0 = 24*y - 543 - 417. Solve -11*l = -3*l + y for l.
-5
Suppose 2*z = 4*k + 72, -5*z + 212 = -180*k + 178*k. Solve -z*s = -137*s - 837 for s.
-9
Suppose -20 = -5*t, -71*t + 67*t + 688 = 4*v. Solve 0 = v*y - 161*y for y.
0
Let b = 13810 - 13804. Solve -91*z - b = -94*z for z.
2
Let l be 8 - -12*-4*(-6)/(-48). Suppose -2 = -2*g, -l*r - 5*g + 41 = 2*r. Solve 3 = -r*n - 6 for n.
-1
Suppose -131*f = -141*f. Let c(s) = s**3 - s**2 + s + 3. Let x be c(0). Suppose 0 = -i + x*r + 14, 4*i = -3*r - 2 - 2. Solve -i*d - d = f for d.
0
Let p(z) = 12*z**3 - z - 1. Let a be p(-1). Let v be (9/12)/3 + (-45)/a. Suppose 0*w = 4*w. Solve -2*y = v - w for y.
-2
Let u(c) = -2*c**2 + 2*c**2 - 2 - c - 2*c**2 + 0*c. Let n be u(-1). Let y be (n + 5 + -4)*-8. Solve p = -3*p - y for p.
-4
Suppose 10*t + 4458 = 4578. Solve t*u = 38*u - 182 for u.
7
Let y(i) = -15*i + 428. Let c be y(26). Let s = 59 - 21. Let r = c - s. Solve -n + r = -5 for n.
5
Suppose 5*z + 2*z = 0. Suppose 3*j - 9*j + 90 = z. Let v be (j/(-3))/(-5) + -1. Solve -3*g + 15 = -v*g for g.
5
Let x be 5 + (7 - 3) + -1 + 3. Suppose -f - 31 = -5*b - 2, 16 = 2*b + 4*f. Let k = b - 3. Solve k*d = 2 - x for d.
-3
Let b be 4*(5/2 - -4). Let k(n) = 36 + 8*n - 18 - 3*n + 0*n - n**2. Let s be k(7). Solve 0 = s*l + b - 6 for l.
-5
Suppose -c = -11 - 8 - 6. Solve 6*q - c = -13 for q.
2
Let n = -10573 + 10712. Solve 14*h = -111 + n for h.
2
Let d(n) = 2*n - 2. Let m be d(2). Let q be 8/(-2)*(-1)/m. Suppose -85*p + 8 = -2*u - 88*p, -3*p - 10 = u. Solve -u = -4*s + q for s.
1
Let t be (-18)/(-8) + 2/(-8). Suppose -231*w + 27 = -318 - 439 + 91. Solve -t*f + 3 + w = 0 for f.
3
Let t be 21/(-63) - 1*(-122)/6. Solve t*m - 24 = 14*m for m.
4
Suppose 4*h - 5*c = 2224, -53 + 57 = c. Let g = 571 - h. Solve -9*l - g - 17 = 0 for l.
-3
Let b be (4 + -1)*2 - 16/4. Let p(d) = d**2 - 6*d + 2. Let x be p(6). Let m be 11/44 - 21/(-12). Solve -m*y - b = x for y.
-2
Suppose 37*a = 31*a + 12. Let y(g) = 2*g**2 - 4*g + 4. Let h be y(a). Solve 15 = h*b + b for b.
3
Let m = 30187 + -30178. Suppose 3 = -2*a + 15. Solve 9 = a*s - m*s for s.
-3
Let u be (-28)/(-8)*(-12)/(-7). Suppose 0 = 3*r + 23*r - 78. Solve -r*h - 15 = -u*h for h.
5
Suppose -4*d + 814 = 5*c - 4*c, -2*c = -5*d - 1628. Suppose 4*k - c = -782. Solve -4 = 3*q + k for q.
-4
Suppose 3*m = -25731 + 25731. Solve -10*p + 468 - 428 = m for p.
4
Suppose b + c = 3*c + 37, -111 = -3*b + 5*c. Suppose 26 + b = 7*d. Solve 25 = -d*y + 14*y for y.
5
Suppose 18*z = 14*z. Suppose z = -15*w - 2 + 32. Solve 0 = -w*a + 11 - 5 for a.
3
Let d(i) = -8*i - 12. Let r be d(-2). Suppose -6*f - 160 = r*f. Let w be f/6*(2 - (-116)/(-16)). Solve 4*x - 6 - w = 0 for x.
5
Suppose o - 2*s = 829, -s = -8 + 4. Let z = o - 835. Solve -6 = -z*i - 0*i for i.
3
Let u be ((-14)/6)/((-11)/33). Suppose u*k = 45 + 11. Solve -k*q = -5*q - 15 for q.
5
Let d = 2 - 15. Let s(w) = 6*w + 31. Let q be s(d). Let z = -42 - q. Solve 0 = 9*o - 4*o - z for o.
1
Suppose -1216*m = -605*m - 593*m - 36. Let y = -32 + 18. Let u = y + 28. Solve -m*c - u = -4 for c.
-5
Suppose 4*a + 4*w = 288, -68 = -a + 50*w - 47*w. Solve -18 = -74*x + a*x for x.
6
Suppose 0 = -9*h + 7*h. Suppose 7*j - 225 + 36 = h. Suppose j = w + 2*w. Solve 2*z + w = -1 for z.
-5
Suppose 0 = -5*j + j + j. Suppose 7*i + 519 + 181 = j. Let y be 12/8*i/(-6). Solve 4*u = -u + y for u.
5
Suppose h + 258 = 4*n, -6*n + n + 5*h + 330 = 0. Let v = n - 59. Suppose 3*m + 7 = 4*i - 0*i, -v*i - 2*m + 26 = 0. Solve -3*t + i = t for t.
1
Let t be 3562/(-117)*18/(-4). Solve -t + 122 = -5*c for c.
3
Suppose 168*l - 173*l = -10. Solve -83 = l*z - 91 for z.
4
Let d be 9/(-72)*-456*(-1)/(-3). Solve 71 + 24 = -d*m for m.
-5
Let z = -3098 - -3128. Solve 0 = -4*j - z + 46 for j.
4
Let j = -92 - -97. Suppose -4*m = -j*w - 16, 2*m = 2*w + 9 - 3. Let t be w/22 - (6 + 707/(-77)). Solve 2*s - t = -7 for s.
-2
Suppose 21548 = 17*u + 21072. Suppose r - 3 - 3 = 0. Solve r*v - u = -v for v.
4
Let h(t) = -7*t + 473. Let o be h(62). Solve 42*x + o = 55*x for x.
3
Let z(y) = 14*y + 54. Let i be z(-3). Let p be (-3)/3*5*1. Let g(o) = o**3 + 6*o**2 + 5*o + 2. Let t be g(p). Solve t*x - i = 6*x for x.
-3
Suppose 0 = -114*t + 417 + 495. Solve -3*f + t*f - 5 = 0 for f.
1
Let i be (-7 + 5)*10/(-4). Let w(k) = -k**2 + 16*k. Let p be w(17). Let g(s) = 2*s**2 + 34*s + 16. Let l be g(p). Solve 1 = i*y + l for y.
-3
Let i = 5 - 2. Suppose 0 = -z + 2*m - 2, -5*z - 4*m + 6 = -12. Suppose 2 = z*j - 8. Solve 4 = i*c - j for c.
3
Let o = -6431 - -6454. Solve 0 = -o*y + 8*y + 9*y for y.
0
Let s(x) = 5*x**3 - 30*x**2 + x - 4. Let v be s(6). Solve o - 1 = -v for o.
-1
Suppose 3*h - 65*h = 172 - 1226. Solve h*g = 9*g + 40 for g.
5
Suppose -7*m + 642 = 82. Solve s + 19*s = m for s.
4
Let t(f) = -15*f + 3. Let d be t(-7). Let s = d - 120. Let o(y) = 3*y + 41. Let i be o(s). Solve 2*w - 12 = i*w for w.
-4
Let v be -4*1 - 12/((-48)/4). Let s(j) = -17*j - 39. Let t be s(v). Solve f - t = 4*f for f.
-4
Suppose -2*b = -2, -4*f - 1578 = -b + 911. Let n = 655 + f. Solve n*m + 15 = 36*m for m.
5
Suppose -17088 = -122*m + 1578. Solve 6*f + m - 207 = 0 for f.
9
Let l(b) = 1013*b**2 + 23*b. Let a be l(-2). Solve -a*i + 4004*i + 8 = 0 for i.
4
Suppose 4*o + 2*f + f - 11 = 0, -2*o + 19 = -3*f. Let h(k) be the second derivative of -k**3/3 + 6*k**2 - 344*k. Let s be h(o). Solve s*u = u - 4 for u.
-4
Let o be ((-2)/4)/((-1)/(-6)). Let t be o/(-12) - 246/(-8). Solve -5*k = -t + 11 for k.
4
Suppose 0 = 3*g + 5*x + 12 - 2, g - 4*x - 25 = 0. Suppose -l = 2*t - g, 2*l - 24 = 11*t - 8*t. Solve -2*o + 33 = l*o for o.
3
Let o be 360 - 1*(6 - 5). Solve -24 = 363*u - o*u for u.
-6
Let n(d) be the third derivative of -d**6/120 + d**5/12 + 2*d**4/3 - d**3 + 11*d**2 - 1. Let r be n(7). Solve 0 = -5*p - 17 - r for p.
-5
Let h be 5 - 4 - (-6 + 0)*1. Let w = 6 + -13. Let z = w + 12. Solve h = z*y - 18 for y.
5
Let z(t) = 252 + 4*t - 8*t + 13*t + 12*t + 18*t. Let a be z(-6). Solve 20*j + 8 = a*j for j.
-4
Let l = -3 + 3. Let d = -31 + -53. Let t = -84 - d. Solve t*a - a = l for a.
0
Let y be 3/(-4)*26/(-39)*24. Let j(s) = -s**3 + 17*s**2 - 31*s + 19. Let r be j(15). Solve 0*g = r*g + y for g.
-3
Let b = -40 - -327. Let x = b + -284. Solve -d + 6 = x for d.
3
Suppose 0 = 5*m, -2*j = -4*m + 2 - 16. Let v(w) = w**3 - 10*w**2 + 2*w + 7. Let d be v(10). Solve -6 + d = -j*b for b.
-3
Let x(q) = -14*q + 48. Let f be x(4). Let g be -7 - (2 + 78)/f. Solve g*i + 25 = -2*i for i.
-5
Let u = 154 + -153. Let w(q) = -q**3 + 6*q**2 + q - 1. Let n = 25 - 19. Let i be w(n). Solve -c - u = -i for c.
4
Let d = -60 + 17. Let u = 51 + d. Solve -9*k + u*k = -1 for k.
1
Let u be (13/(-65))/((-1)/2)*15. Solve -1 = -u*k + 29 for k.
5
Let x = 60 + 235. Let n = x + -293. Solve t + 3 = n*t for t.
3
Let b(o) = -7*o + 288. Let w be b(42). Let p be w - (9 + -4 + -17). Solve 4 = -p*g + 4*g for g.
-2
Suppose -54*z =