= o*k + 15 for k.
-1
Suppose -6*d + 5*d + 12 = -4*p, 3*d - 9 = 3*p. Solve -22 = 11*v - d for v.
-2
Suppose -18*z + 26*z - 192 = 0. Suppose -17*n = -25*n + z. Solve -7*r + n*r = -20 for r.
5
Let b(y) = -4*y + 48. Let h be b(11). Suppose -x + 19 = 5*i, -h*i + 8*x + 20 = 10*x. Solve -m - 2 = -i for m.
1
Let t be (9 + (4 - (-402)/(-18)))*3*-1. Solve -t*l + 30*l = 6 for l.
3
Let p(k) = 107*k + 1747. Let r be p(11). Solve -3001 = -11*d - r for d.
7
Let y(l) = -l**2 + 44*l + 149. Let h be y(26). Let p = h - 613. Solve -2*g + 2 + p = 0 for g.
3
Let f(x) = 4*x + 435. Let l be f(-86). Solve -4*n = -71 + l for n.
-5
Let s be ((-180)/27)/(16/(-12) + 0). Solve 81*g = 80*g - s for g.
-5
Let k be (-12768)/1197*(-2 - 1)/1. Solve 39*x + 163 = -k for x.
-5
Suppose -7*r - 8 = 692. Let m = -78 - r. Let a = m + -20. Solve 0*b = -b + a for b.
2
Let l(a) = -a + 2. Let u be l(0). Let q = 2679 - 2677. Solve u*r = -q - 2 for r.
-2
Suppose -19*w + 12*w = -210. Suppose -7*v + 5*j + 8 = -5*v, -4*v + w = -3*j. Solve -2*r + 5*r = -v for r.
-3
Let k = 1 + 1. Suppose 0 = 4*m - 2*u + 22, -3*u + 4*u = -k*m - 13. Let j be -1*3/m*(0 - -4). Solve 0*b = -2*b - j for b.
-1
Suppose -9*a = 10*a + 4*a - 8280. Solve -96 = 44*w - a for w.
6
Suppose 5*d - 5*m = 6 - 1, -d - 3*m = -9. Suppose d*i + 16 = 61. Solve -5 = 5*l - i for l.
2
Suppose 11*r = 17*r - 18. Suppose -l = 3*o - 19, r*o + 5 = -3*l + 38. Suppose 0 = -4*i + l*i - 15. Solve 1 = 2*k - i for k.
3
Suppose -8*m + m = -2*m - 7*m. Solve -64*r + 124 - 508 = m for r.
-6
Suppose -4 = 2*q, -4*s - 86*q + 87*q = -190. Solve 8*a + 31 - s = 0 for a.
2
Suppose 8 = 4*w + 2*t, -20 = 5*w + 140*t - 145*t. Solve w = -57*v + 72*v - 75 for v.
5
Suppose 3*d - 12 = 2*v, -5*v - 1 = 3*d + 8. Suppose -2*b + 2 = -2*n - d, 0 = 4*b - n - 2. Let h be (6 + 0)*(-12)/(-18). Solve b*k + 20 = h*k for k.
5
Let g be 50 + -1*(-8 + -3). Solve 24*p = -g - 59 for p.
-5
Suppose 462*m = 435*m + 432. Solve 20*h = m*h - 8 for h.
-2
Suppose 0 = 3*l + 12*a + 42, l + 7*a = 8*a + 11. Solve -l*h = -0*h + 12 for h.
-2
Let n be -12 + 7 + 657 - 2*(-1)/2. Solve 683 = -5*q + n for q.
-6
Suppose 226 = 17*k + 2963. Let z be k/(-14) - (-3)/(-2). Solve -2*p + z = 18 for p.
-4
Suppose -274*n + 271*n = -12. Suppose 3*h - 16 = -4*r, 5*h + 22 = n*r + 6. Solve 6 = -5*v - r for v.
-2
Let p = 406 - 394. Suppose -p = 4*k - 2*h - 40, -5*k + 35 = 2*h. Solve 4*j + 23 - k = 0 for j.
-4
Let r be (-1)/(-3)*38*(-9)/(-2). Let n = r + -54. Suppose 0 = 4*b + n*f - 71, -3*b - 2*f = -7*b + 46. Solve -8 = 12*u - b*u for u.
4
Let p be (-2)/3*(-1 + 10/4). Let w be 8/(p - -3) + 3 + -3. Solve 4*v - 12 = w for v.
4
Let k = -377 - -382. Suppose -8*f + 4*f = -3*n + 7, 0 = k*n + f - 27. Solve -n*d - 15 + 0 = 0 for d.
-3
Let z(c) = 4*c**2 - 3. Let i be z(-3). Let h be -4 + i/9 + (-78)/(-18). Solve h*b - 36 = -20 for b.
4
Let t(o) = -2*o**3 + 78*o**2 + 3*o - 97. Let d be t(39). Solve 0*f - d = -5*f for f.
4
Suppose k + 3*k = -12, -3*k = 2*g - 7. Suppose -3*i + g*i + 3*v = 25, v = -2*i + 9. Solve 9 = i*l + 5 for l.
2
Let p be (-34)/153 + (-4)/(-18). Suppose 4*c - 16 = 2*c. Solve p = 3*o - c*o + 20 for o.
4
Suppose 18*d = -8*d - 12298. Let q = -465 - d. Solve -14*k - q = -12*k for k.
-4
Suppose -138 = -24*n + 1542. Suppose -826*m + 819*m + n = 0. Solve 48*t = 53*t - m for t.
2
Let g(r) = -r**2 + 11*r - 12. Let l be g(8). Let o = -22 - -26. Let n = o + 0. Solve -n - l = -4*a for a.
4
Suppose -4*g + 8 = -8*g. Let r be (g - (-42)/(-9))*-3. Let n be (2/(-9) - (-30)/(-108))*-14. Solve -r = -2*v + n*v for v.
-4
Let s = 179 + -176. Suppose 0 = 4*t + 5*g - 68, s*g = 4*t - 0*g - 36. Solve -8 = -t*d + 10*d for d.
4
Let m be 4*(-246)/(-312) - (-2)/(-13). Let t be (-14)/21 + -17*(-1)/3. Suppose t*l - 29 = 3*b + 10, 18 = 4*l + 2*b. Solve -m*y = -l*y + 9 for y.
3
Let p(c) be the second derivative of -c**3 - 64*c**2 - 17*c - 3. Let a be p(-23). Solve -15*m + a*m = -25 for m.
5
Suppose -173 - 35 = 2*j. Let w = 108 + j. Solve -13*y = -w*y - 18 for y.
2
Let i be ((-10602)/19)/(-9)*6/3. Solve i*g - 63 = 131*g for g.
-9
Let v(d) = 4*d**2 + 62*d + 165. Let b be v(-3). Solve -23*k + 38 - b = 0 for k.
1
Let w = -162 - -163. Let t be ((0 - w) + 1)/(-28 + 27). Solve -3 + t = -3*v for v.
1
Suppose 0 = -223*m - 218 + 1333. Solve -l - 4 = -m*l for l.
1
Let m(a) be the second derivative of -14*a + 0 + 1/3*a**3 - 3*a**2. Let g be m(3). Solve g + 8 = -2*r for r.
-4
Suppose 0*i = 5*i + 5*x - 35, x = 5*i - 53. Suppose i*j = 15*j - 30. Solve 0 = -j*m + 10 - 4 for m.
1
Suppose 6*c - 144 = -3*h, -3*h + 118 = 4*c + 28. Solve -c*x - 20 = -23*x for x.
-5
Suppose 32 = 2*m - m. Let b be (-6)/(-14) - m/(-21)*3. Solve 0 = -d - 0*d + b for d.
5
Suppose 17*k - 10*k = 6*k + 99. Solve 43 = 14*v + k for v.
-4
Let u(r) = 811*r - 7294. Let k be u(9). Solve k*n - 342 = 62*n for n.
-6
Let h be 0*(-6 + (-3 - -6) + 2). Suppose -2*q + 10 = 4*v - h*q, 3*v + 10 = 2*q. Suppose -9*a + 4*a = v. Solve a*w + 4*w = 0 for w.
0
Suppose -13 = -3*w - 4*k, -4*w - k + 18 = 4*k. Suppose 15*t + 294 = 22*t. Solve -14 = -w*i - t for i.
-4
Let t(f) be the third derivative of -f**5/20 + 17*f**4/12 + 9*f**3/2 - 159*f**2. Let p be t(12). Solve -40 = -p*v - 7*v for v.
4
Let a = -4966 + 4966. Solve m - 340 + 342 = a for m.
-2
Let u = 15473 - 15473. Solve u = -4*a + 11 - 35 for a.
-6
Let a(x) = x**3 - 4*x**2. Let z be (4/5)/(28/10)*14. Let q be a(z). Let v(k) = 2*k**2 + k + 5. Let h be v(q). Solve h*l + 0*l = 10 for l.
2
Suppose 0 = -10*n + 49 + 11. Suppose -4*b + n + 2 = 0. Solve f = -f + b for f.
1
Suppose -47*d + 2318 + 538 = 4*d. Solve 12*n + 2*n = -d for n.
-4
Suppose -85*m + 383*m - 42018 = 0. Solve 17*l = -73 + m for l.
4
Let x = -3983 - -3993. Solve -23*u + 21*u = -x for u.
5
Let m be (0 - 1)/(((-304)/(-192))/(-19)). Solve 0 = -1080*k + 1074*k - m for k.
-2
Suppose 79*k = 86*k - 189. Solve -8 = -7*a + k for a.
5
Let u = -37 - -41. Suppose p = 5*t - 116, 0 = -u*t + p - 60 + 152. Solve -t*f + 25 = -29*f for f.
-5
Let i be (-76)/(-11)*(-1430)/(-260). Solve 0 = 12*d - i*d - 52 for d.
-2
Let k = -3396 + 3424. Solve -46 + k = -6*g for g.
3
Let l = 1045 - 1043. Let g(h) = h**2 - 2. Let t be g(-2). Solve l - 12 = -t*n for n.
5
Let s = -294 - -306. Let z be -13 - -4 - (-1 - s). Solve 0 = -0*f - z*f + 8 for f.
2
Let z = -31 + 33. Suppose z*n + 5 = 2*q + 3, -5*q + 20 = 0. Solve 6*d = n*d + 9 for d.
3
Let d be 9/12 - 10/(-8). Suppose 39 = 2*w + z + 4*z, -5*w = d*z - 45. Solve -w*h + 25 = -2*h for h.
5
Suppose z + 5*h - 2 - 62 = 0, -4*z = -h - 151. Solve -69 = -z*b - 342 for b.
-7
Let y(g) = -82*g - 5166. Let o be y(-63). Solve o = t + 163 - 170 for t.
7
Let c = -83 - -91. Let g be (1 - 14/c)/((-15)/40). Solve -4 = 2*p - g for p.
-1
Suppose 2*z - 32 = -r + 62, z + 5*r - 29 = 0. Solve -17*m = -z*m + 32 for m.
1
Suppose -4*g - 15 = v + g, 2*v - 4*g - 26 = 0. Suppose 184 = -4*m + 4*s, 4*s - 204 - 22 = v*m. Let b = m - -48. Solve 2*t = -0*t - b for t.
-3
Suppose 3*i - 57*p - 37 = -62*p, -8*i + 157 = 5*p. Solve -75 = i*y + 45 for y.
-5
Suppose -4*j - 3 = -4*y + 21, 3*y - 4*j = 19. Suppose 16*z - 28 = 12*z - v, -z - y*v - 12 = 0. Solve -6 = -h - z for h.
-2
Let t(q) = -4*q**2 + 25*q + 33. Let j be t(7). Let l be (j/15)/(6/75) + -1. Solve -15 = 6*i + l for i.
-4
Suppose 3*k - 4*q = 7*k - 28, -5*k + 4*q + 8 = 0. Let n be 110/(-165) - ((-26)/(-6))/((-1)/2). Solve n*w - 20 = k*w for w.
5
Let y be (222/(-60))/(-37) + (-818)/(-20). Suppose -5*r + 10 = -5*u, -2*u = -y*r + 43*r - 8. Solve 0 = -r*a + 13 - 4 for a.
3
Let x(b) = 3*b**3 - 7*b**2 + 2*b + 17. Let s be x(3). Suppose -26*g + 63 = -s. Solve 0 = 14*i - g*i - 30 for i.
3
Let s(d) be the second derivative of d**4/12 - 5*d**3/3 - 48*d**2 - 5*d - 21. Let z be s(-6). Solve 2*u + 0*u + 4 = z for u.
-2
Let h = 1194 - 1185. Solve h*o = -15*o for o.
0
Let z = -17 - -21. Suppose 4*q - 148 = -z*y, -77 = -3*q + q + y. Let s = 41 - q. Solve 3*d = -0 - s for d.
-1
Let z(u) = 9*u - 23. Let y(d) = -4*d + 13. Let m(q) = 15*y(q) + 6*z(q). Let s be m(7). Solve -s*c - 15 = -18*c for c.
5
Let b = 104 - 101. Suppose 3*k - 4 = 5*d - 15, -3 = 3*k - 3*d. Let w be -3 - -3 - k - -3. Solve w = m + b for m.
-3
Let b be (4 - -28) + (1 - 10). Solve -b*z = 9*z - 160 for z.
5
Let v be ((-120)/(-70)*2 + -2)/(2/42). Solve -54 = -4*f - v for f.
6
Let u = -30182 + 30211. Solve 10*x + u + 1