*m = x for m.
1
Let g = 411 + -403. Suppose 14*i - 36 = g*i. Solve 0 = -2*l + 4 + i for l.
5
Suppose 67*m = 1831 + 393 + 3270. Solve -k + 80 = m for k.
-2
Let l(p) = 36*p**3 + 2*p**2 - 12*p + 16. Let n be l(2). Solve -24*d + n = 408 for d.
-5
Suppose 0 = o - 2*h - 13, -3*h - 17 = -34*o + 33*o. Solve 0 = -504*l + 505*l - o for l.
5
Let y be 48*8/12*2. Let m(b) = b**3 - 11*b**2 + 60*b - 1118. Let u be m(13). Solve q - 68 + y = u for q.
4
Let x be 68/(-7) + (-2)/7. Let o be (-2)/(-5) - (-14)/x*-4. Suppose i - 3*i = -o. Solve -c = -i*c + 10 for c.
5
Let o = 1472 - 1444. Solve 0 = -35*q - o - 77 for q.
-3
Let z(x) = 4*x**2 + 50*x + 100. Let o be z(-2). Solve -16 - 16 = o*r for r.
-2
Let c(w) = w**2 + 305*w - 7483. Let g be c(23). Solve g*u = 15*u - 368 for u.
-8
Suppose 0 = q - 6*s + 2*s + 25, -4*q = -5*s + 56. Let x be -3*((-264)/q)/2. Let y = -41 - x. Solve -y*i = -1 - 11 for i.
4
Let w be 28*(4018/56)/41. Solve -11*q + 240 = w*q for q.
4
Suppose -32*j + 39*j = -1771. Let w be 40/6 + 7 + j/33. Solve -w*y = -11*y for y.
0
Let i(v) = v**3 - 9*v**2 + 9*v + 1. Let w be i(8). Suppose 16*b - 20*b - 84 = 0. Let p = b + 24. Solve -p*k - w = 3 for k.
-4
Let t be 6/9*1/(-2)*-24. Let n be ((4 - 7) + 4)*-1. Let h be (n + (-6)/(-2))*2. Solve 4 + t = -h*j for j.
-3
Let d = -17 - -27. Let f be ((-254)/d)/(-1) + 2/(-5). Suppose -f*j + 12 = -22*j. Solve 0*n = j*n + 12 for n.
-3
Suppose 1 = -c - 2. Let q be 9 - 15/(8 + c). Let y be q/(-4)*8/(-3). Solve k = 2*k - y for k.
4
Let r(p) = -2*p - 21. Let q be r(-11). Let i be q*(-18)/4*(-6)/9. Solve -2*l - l + i = 0 for l.
1
Let d be 4/((-4)/(-7)) - (-273)/(-39). Solve d = 32*n - 13 + 13 for n.
0
Suppose -5*l = 0, l = 5*g - 0*l - 20. Suppose -g*d = -11 + 3. Suppose -c = d*t + 2 - 11, -22 = -t - 4*c. Solve 8 = t*j - 4*j for j.
-4
Let i = -229 - -393. Solve 0 = i*u - 166*u for u.
0
Let b(k) = 6*k - 2. Let g be b(0). Let v be (3/(-2))/(g/8*3). Suppose 5*n - 2*l = 2, l + 4 = v*l. Solve -n*x = -3 - 5 for x.
4
Suppose 873*p - 875*p + 4*y - 4 = 0, 5*p = -2*y + 2. Solve 9*u + 4*u = p for u.
0
Let t = -12707 + 12714. Solve t*x - 6 = x for x.
1
Suppose w - 28 = -5*i, w = i - 3 - 5. Let k(t) = -4*t + 6. Let l(c) = -5*c + 6. Let o(x) = -3*k(x) + 2*l(x). Let v be o(i). Solve -s = -4*s + v for s.
2
Suppose -s = -11 + 13, -4*s - 20 = -3*n. Suppose 5*w + 2 = 4*w. Let u be w - (-2 + 2 - 3). Solve u + 3 = -n*j for j.
-1
Let t = 8 - 2. Suppose 9*i = t*i + 156. Suppose i*g = 55*g. Solve 2*h + 10 = -g*h for h.
-5
Let r(i) = -9*i**3 - 11*i**2 - 50*i - 180. Let f be r(-4). Solve -428 + f = -8*q for q.
1
Let j be ((-190)/(-20) + -9)/((-1)/(-14)). Let n(i) = 3*i**2 - 22*i + 10. Let x be n(j). Solve 4 = -b + x*b for b.
2
Let d(h) = -h**2 + 3*h + 4. Let v be d(3). Let r = v - -3. Let o(q) = q**2 - 4*q - 13. Let c be o(r). Solve 2*u + c = -0 for u.
-4
Let g(c) = -2*c**3 - 68*c**2 + 23*c + 822. Let f be g(-34). Solve f = -86*v + 76*v for v.
-4
Let i(p) = 571*p + 6. Let x be i(-1). Let k = 573 + x. Solve -k*u = -1 + 33 for u.
-4
Let j = 7789 + -7782. Solve -2*l = -j*l + 10 for l.
2
Let k = -4518 - -4535. Solve -k*o + 20 = -31 for o.
3
Suppose 322 = z + 4*d, 0 = 5*z - 4*d + 9*d - 1580. Solve 14 = -75*n + z for n.
4
Suppose -32 = -3*v - 137. Let z be 5/2*(-28)/v. Suppose 0 = z*l + 3*h - 35, 5*l - 32 - 88 = -h. Solve n + l = -4*n for n.
-5
Suppose -4*b - 53*u + 9 = -56*u, u = -3. Solve -16*d + 0*d = b for d.
0
Suppose a - 6 + 1 = -3*h, 5*a = h - 7. Suppose 4*r - 9 = g - 8, 13 = 5*g - h*r. Solve -g = -6*x + 21 for x.
4
Suppose t - 5*h - 483 = 58, -4*t - h + 2059 = 0. Solve 514*k - t*k = -12 for k.
6
Let p be -2*2*(-6)/(-36)*-87. Let f = p + -49. Suppose 2*m + f*m = 198. Solve 0 = -4*s - 2 - m for s.
-5
Let t(h) = -h**3 - 36*h**2 - 37*h - 49. Suppose 4*z - 192 + 332 = 0. Let m be t(z). Solve -3 - m = 6*d for d.
-4
Suppose 12 = b + 3*x, b - 3*x + 21 = 5*b. Suppose 2*a = -b*q - 0*a + 6, 5*q + 2*a - 10 = 0. Solve -q*t = -t + t for t.
0
Suppose -20*d - 2*g = -21*d + 15, 0 = -4*d + 3*g + 45. Let j be d/((-5)/(70/(-21))). Solve -2*u = j*u + 32 for u.
-4
Let s(m) = 5*m**2 - m + 1. Let g be s(1). Suppose -4*u - h = 415, -h + 120 = -u + 2*h. Let y = u - -108. Solve 0 = -t - y + g for t.
2
Let i = 444 + -259. Let v = 189 - i. Solve 3*f + v = 1 for f.
-1
Let q = 3753 + -3705. Solve 0 = 97*o - 105*o + q for o.
6
Suppose 5*o - 7 = u, 0*o - 4 = -5*o + 2*u. Suppose o*c - 44 = -2*l, 0 = -2*c + 2*l + l + 34. Solve -c*b + 25 = -15*b for b.
5
Let n(o) = 35*o + 350. Let r be n(-10). Solve r = -17*y + 29 + 56 for y.
5
Suppose 0 = -u + 5*i + 10, 2*u - 4*i = -5 + 19. Suppose 5*r + 5 + 0 = 0, u*w = -5*r + 15. Let t be w/(-10) + 492/30. Solve -4*a = -4 - t for a.
5
Suppose o = -16 - 18. Suppose -303*x - 190 = -298*x. Let c = o - x. Solve z - 20 = -c*z for z.
4
Let r be -53*((4 - -9) + -14). Solve 0 = 23*y + 76 - r for y.
-1
Let d be (30/(-1)*13/(-26))/1. Let n(x) = -x**2 + 5*x + 30. Let m(g) = 1. Let l(t) = 6*m(t) - n(t). Let z be l(8). Solve 3*a + d = -z*a for a.
-5
Let d(c) = -131*c**2 - 655*c + 7. Let a be d(-5). Let n = -8 + 13. Solve -2*f - n = -a for f.
1
Suppose 10*b = -3*b + 468. Let w = b - 33. Suppose -5*s - 5 = 5, w*q = 5*s + 22. Solve -3*v + q = 7 for v.
-1
Let q(p) = 9 - 6*p**2 - p**2 + 35 + 20*p + 6*p**2. Let s be q(22). Solve 0*b - 11*b - 33 = s for b.
-3
Let y(b) = -23*b + 173. Let n(j) = 74*j - 520. Let k(x) = 3*n(x) + 10*y(x). Let q be k(19). Solve -15*r - 3 = -q*r for r.
1
Suppose -2*x - x = 4*l - 150, -4*x = 5*l - 186. Solve -l*g + 22*g - 160 = 0 for g.
-8
Let d(r) be the first derivative of 2*r**3 - r**2/2 - r - 1. Let s(c) = 12*c + 142. Let h be s(-12). Let w be d(h). Solve -4*m - w = m for m.
-5
Let m = 5 + 2. Let g(c) = c**2 + 4*c - 30. Let p be g(-8). Suppose -4 - 4 = -p*f. Solve m = r + f for r.
3
Suppose -221*j - 220 = -223*j. Let y = 117 - j. Solve i - 10 = -y for i.
3
Let j = -216 - -239. Solve j*o - 7*o = 32 for o.
2
Let o(c) = 2*c**2 + 6*c - 5. Let k be o(-4). Suppose -3*x + 60 = k*z, -4*z + 2*x + 62 = -0*x. Suppose z - 1 = 8*f. Solve j - 4 = f*j for j.
-4
Suppose 47*d - 29*d - 270 = 0. Suppose 0 = 7*k - 4*k - 45. Suppose -k*m + d = -12*m. Solve -m = -3*s + 7 for s.
4
Suppose 0 = -6*m + 12. Suppose -m + 4 = -p + 3*d, -5*d + 10 = -p. Suppose 5*w = -p, -2*t = 2*t - w - 14. Solve 5 = 2*o - t*o for o.
-5
Let v(r) = r**2. Let q be v(4). Let z = -2567 + 2581. Suppose -l - q = -6*t + t, 3*t = 5*l + z. Solve t*h - 3 = -0*h for h.
1
Let d be (-13 + 4 - -13)*8. Solve d*r + 228 = -6*r for r.
-6
Let c be (-1164)/24*(9 - 1). Let o = c + 391. Solve 8*i + 5 = o*i for i.
-1
Let r be (4 + -4)/9*-1. Suppose r = -i + 22*m - 18*m + 49, 3*i - 62 = -5*m. Solve 0 = 12*k + i - 5 for k.
-2
Let j be 8 - ((-2)/(-2) + 5). Suppose 2*n - 2*g = 4, j*n - 13 = 79*g - 80*g. Solve 36 = 7*i + n*i for i.
3
Suppose -253 = -47*u + 36*u. Suppose -7 - u = -6*k. Solve -5 = -k*o + 5 for o.
2
Suppose h - 32 = 3*x, -45*x + 353 = 6*h - 40*x. Solve -h*k + 47*k + 48 = 0 for k.
8
Let q(o) = 2*o - 15. Let k(v) = -3*v + 14. Let a(l) = 4*k(l) + 5*q(l). Let x be a(-9). Let j be ((-3)/x)/(-11 - -8)*-3. Solve i = -j*i + 16 for i.
4
Suppose 4*s + 0*g - 16 = -g, 2*s - 5*g - 30 = 0. Suppose -5*t = 7*z - 8*z - 38, 8 = -t - s*z. Solve 0 = -5*l + t*l for l.
0
Suppose 53*r - 4617 = -182*r - 278*r. Solve -2*z + 5 = -r for z.
7
Suppose 32 = 3*v + 2*v + 4*n, -2*n = 3*v - 18. Let u(a) = -45*a + 284. Let o be u(6). Solve v*w + o = -2 for w.
-4
Let i(l) = l**3 + 3*l**2 - 6*l - 6. Let x be (4/6)/((-2)/12). Let n be i(x). Let h(m) = -m**3 - 15*m**2 - 4*m - 56. Let a be h(-15). Solve -n*z + 6*z = a for z.
1
Let a(h) = h - 40 + 4*h + 2*h + h. Let q be a(6). Solve -3*y = 11 - q for y.
-1
Let f(t) = -627*t - 1448. Let w be f(-4). Solve 1052*y = w*y for y.
0
Suppose -3*x = -0*x - 6. Let a = 448 + -440. Suppose -n = -2*n - x, 3*d = n + a. Solve 4*k - d*k = 0 for k.
0
Suppose 810 = 4*g + 54. Let c = g + -181. Solve 6 + 2 = c*a for a.
1
Let m be 6/(0 - -3) - 32. Let k = 31 + m. Let i be 0/(k + (-2 - -4)). Solve -h - 1 = -i for h.
-1
Suppose 6*p = 4*p + 8, 4*v - 3*p - 1940 = 0. Solve -481 = f - v for f.
7
Let m(s) = -35*s**2 - 5*s - 13. Let j be m(-4). Let l = j + 568. Solve -20 = -7*h + l for h.
5
Let i(s) = 6*s - 4. Let g be i(1). Let a(r) = 24*r**2 - 49*r**2 + 26*r**g + 5 + 2*r. Let c be a(0). Solve c*k = k for k.
0
L