 for m.
-5
Let z(r) = -15*r - 400. Let v be z(-27). Solve 3*y + v*y + 16 = 0 for y.
-2
Let f(i) = -i**3 + 8*i**2 + i + 1. Let d be f(8). Suppose d*y = 2*y + 21. Solve y*k + 3 = 12 for k.
3
Let g be -2 + 2 - (-16)/(-4). Let b(k) = -k - 3. Let i be b(g). Solve p = 4 - i for p.
3
Let q(l) = l**2 + 7*l + 5. Let o be (4 - 40)*(-2)/(-3). Let p = o - -17. Let a be q(p). Solve 0 - a = 5*h for h.
-1
Let y = -11 + 7. Let f be y*2/(-8) - -3. Suppose -i = f*g - 44, -4*i + 52 = 5*g - 2*i. Solve c = -2*c - g for c.
-4
Let y(l) = l**3 + 41*l**2 - 87*l - 42. Let v be y(-43). Solve -110*m + 109*m + v = 0 for m.
1
Let y be (3/(-12)*0)/2. Solve -2*u + 3*u = y for u.
0
Suppose -41 = -2*f + 5*q, -4*f - 4*q + 82 - 14 = 0. Let b be 2/(-12) + 39/f. Suppose 4 + 21 = 5*z. Solve z = -b*i + 1 for i.
-2
Suppose 1827*u - 1809*u - 3510 = 0. Solve 177 = -6*z + u for z.
3
Let x(y) = y**2 - 4. Let m = -1 + -11. Let o = -10 - m. Let v be x(o). Solve 2 = t - v for t.
2
Suppose -5*y + g + 70 = 0, -3*g - 2*g = -y - 10. Let h be ((-6)/y)/((-1)/10). Solve 3*s + h = s for s.
-2
Let m(s) be the second derivative of s**4/12 + s**3/3 - s**2/2 - 43*s - 1. Suppose 0 = 2*v - 4*v + 2. Let j be m(v). Solve 3*k - j*k = -3 for k.
-3
Let j = -4 + 7. Let m(o) = -o**3 - 5*o**2 + 4*o + 1. Let h be m(-4). Let a = -28 - h. Solve 2*i - a = j for i.
3
Let o(u) = -u**2 + 22*u - 38. Let z(d) = 23*d**2 - 6*d + 3. Let g be z(1). Let y be o(g). Solve 3*c + 25 = -y*c for c.
-5
Suppose 0 = -3*y + y. Let w be (2 + 15/(-6))*y. Let v be (-2)/(-7) + 6/(-21). Solve v = -w*b - b + 5 for b.
5
Let t(p) = 3*p + 10. Let d be (3 - -6)*(-3)/(-3). Let q be t(d). Let z = 37 - q. Solve z*a = -3*a for a.
0
Let q be 2/3*(-75)/(-10). Suppose -11 - 9 = -q*p. Suppose p*r = 3*s - 20, 0*s + s = -5*r - 6. Solve -1 = -s*t - 13 for t.
-3
Let i = 49 + -47. Let j be (6 - i)*1 + -3. Solve 4*u - 21 = -j for u.
5
Let c be 1072/368 - 10/(-115). Solve -5 = 2*x - c for x.
-1
Let h = 250 - 246. Solve h*t = -13 - 7 for t.
-5
Suppose 9*l + 0*l - 90 = 0. Solve l*r + 12 = 6*r for r.
-3
Let h be (-4)/((-8)/(-10))*-1. Suppose 36 = h*k + 11. Suppose -g = -5*w - 4, -k*g - 1 = 3*w - 21. Solve o + g*o = 0 for o.
0
Suppose -o = 1, 6*x - 5 = 4*x - o. Suppose -x*d + 10 = 2*d. Suppose p + d = m + m, -16 = -3*m - 5*p. Solve -m*l - l = 9 for l.
-3
Let k(l) = l**2 + l + 12. Let t be ((-11)/22)/(2/12). Let q be t + 1 + 5 + -3. Let x be k(q). Solve 0*r = 4*r - x for r.
3
Let j(p) = 3*p - 39. Let f be j(17). Solve -3*u + 3 = f for u.
-3
Suppose 0*f - 114 = -3*f. Let x = f + -37. Solve 2*j + 11 - x = 0 for j.
-5
Suppose -101 = 6*x + 25. Let c = 29 + x. Solve -c = -4*w - 0*w for w.
2
Let z(x) = -3*x - 5. Let p be z(-9). Let h = p + -18. Let v(t) = t**2 - 3*t - 2. Let d be v(h). Solve -c - 6 = d*c for c.
-2
Let l(d) = -d**3 - 3*d**2 - 4*d - 2. Let j be l(-2). Let o be 0/((-288)/(-18))*-1. Solve q - j*q + 4 = o for q.
4
Let k = -235 - -255. Solve 29 = -3*i + k for i.
-3
Let f be 30/9*(2 + -3 - 11). Let i = f - -43. Solve -i = -4*g + g for g.
1
Let k be 8100/81*1/4. Solve 86*r - 91*r + k = 0 for r.
5
Let q = 146 + -146. Solve q = 3*t + 6 + 3 for t.
-3
Suppose 4*t - 3 - 13 = 0. Let y(g) = 2*g - 3. Let c be y(t). Suppose z - 5*p = 1 + 10, z - 1 = -c*p. Solve -2 = o - z for o.
4
Let l be 256/6 - -3*(-4)/18. Suppose 6*p + l = 13*p. Solve 16 = 2*u - p*u for u.
-4
Let l(w) = w**3 + 21*w**2 + 79*w - 16. Let r be l(-16). Solve 7*y - 3*y + 8 = r for y.
-2
Let w be (-12)/6 - (1 + 10). Let n = -9 - w. Solve n = -3*y + y for y.
-2
Suppose f - 10 = -4*f. Solve 6*l = -8 + f for l.
-1
Let v = 214 + -213. Solve -1 = -2*r + v for r.
1
Let n = 24 + 56. Let w be (-3)/((-15)/n) - -4. Solve 0 = -3*a - 2*a - w for a.
-4
Suppose -10*g + 207 = 47. Suppose -2*c + 5*f = 11, 5*c - 2*f + 4*f - g = 0. Solve c = -2*n - 6 for n.
-4
Suppose -4*n = -3*k - 11, -4*k = 3*n + 1 - 3. Solve -n*d = 3*d - 5 for d.
1
Let i(u) = 2*u**2 - u + 1. Let f be i(1). Suppose 0 = -0*q + 7*q - 35. Suppose 2 = -q*o + 22. Solve f*z - o*z = -10 for z.
5
Suppose 0 = 202*v - 176*v - 468. Solve -7 = 5*k + v for k.
-5
Suppose -5*m + 2*m = 4*n - 13, -4*m = -5*n - 69. Let o(x) = -x + 13. Let q be o(m). Solve -4*g + q*g + 2 = 0 for g.
1
Let s = 645 + -591. Solve -5*f + 23*f + s = 0 for f.
-3
Let d be 0*((-11)/(-6) - 104/78). Solve 7*z - 1 - 6 = d for z.
1
Let j = 679 - 676. Solve -k + 0 = j for k.
-3
Suppose -n - 11 = -5*y, -11 = 3*y - 2*n - 3*n. Suppose -m = y*k - 30, 3*m + 4 - 24 = -2*k. Solve -k + 1 = 3*w for w.
-3
Let i be (-595)/(-21) + 4/6. Suppose 0 = 2*y - i + 13. Solve -5*h - y = 2 for h.
-2
Let j be (15/7 - 3)/(6/(-28)). Suppose 40*v - 39*v - j = 0. Solve -v*c - 23 = -7 for c.
-4
Let f(q) = q**3 - q**2 - q + 1. Let z be f(1). Suppose 2*i + 3*i + 5 = 5*p, -i - 5*p + 17 = z. Solve -2*x - i*x + 16 = 0 for x.
4
Suppose -4*c = -4*g + 32, c + 28 = 3*g - 0*c. Let u = g - 2. Solve -u = -5*v - 33 for v.
-5
Suppose -12*h = -15*h - 12. Let l be h/(-22) + (-2)/11. Solve l - 3 = -3*n for n.
1
Let l = 45 + -36. Let p be (l/6)/((-1)/16*-6). Solve -8*b + p*b - 4 = 0 for b.
-1
Let r(x) = x + 7. Let p(j) = -5*j - 18. Let w be p(-3). Let v be r(w). Solve -7 - 5 = -v*y for y.
3
Suppose 4*j - 4*s + 13 = 7*j, -4*s = 20. Solve 5*q - 4 = j for q.
3
Let w(h) = -h**3 - 9*h**2 - 10*h - 11. Let q(k) = k - 8. Let s be q(0). Let g be w(s). Solve y + g = -4*y for y.
-1
Suppose -3*d + 6 = -9. Let c = 13 + -11. Suppose x - c - 3 = 0. Solve -d*t = -0 - x for t.
1
Let w = -471 + 476. Solve 9*u = w*u + 16 for u.
4
Let h(g) = g**2 - 11*g - 2. Let v be h(13). Suppose 0 = 9*a - 12 - v. Solve a*z + 1 - 17 = 0 for z.
4
Let t be (-3 + (-115)/(-15))*18/21. Solve -6*g = t*g - 20 for g.
2
Let x = 49 + -46. Let z(a) = -a**3 + 15*a**2 - 13*a + 2. Let p be z(14). Suppose -f + 11 = -2*v, 4*f + 7*v - 3*v = 20. Solve f*r + p = x*r for r.
-4
Suppose 2*d - 20 = 2*f, -5*d + 56 = -2*f + 9. Solve d*c = -2*c + 11 for c.
1
Suppose -5*d - 15 = -5*i, 5*d - 1 = i + 2*d. Suppose -i + 0 = -5*m. Solve t - 2*t = m for t.
-1
Let j = 253 - 253. Solve -s - 3 + 0 = j for s.
-3
Let b(s) = s**3 - 2*s**2 - 2*s + 1. Let z be b(3). Let l be z/(-10) - (-26)/(-10). Let o be 1*(l + 1)*-2. Solve 0 = w - o*w + 12 for w.
4
Let b = -1817 - -1842. Solve 4*r = b - 17 for r.
2
Suppose b + 5*f - 1 = 4*f, 0 = 2*b - 4*f - 2. Let v be (12/9)/(b/6). Suppose 0*o = -o + v. Solve k - o = -k for k.
4
Let p(a) = a**3 - 16*a**2 - 15*a - 25. Let d be p(17). Suppose -3*w - 4*v = -d, 2*w - v - 6 = -0*w. Let k be (-4*6/w)/(-2). Solve -x + 0 = k for x.
-4
Let j = -236 + 248. Suppose -6 - 2 = 4*o. Let h be (-1)/(o - 9/(-6)). Solve h*t = 2 - j for t.
-5
Let q be 5/2*(-248)/(-155). Solve -q*w = -8 + 16 for w.
-2
Let q = -525 - -572. Solve -10*m - 3 - q = 0 for m.
-5
Let t(w) = -w**3 + 9*w**2 - 19*w + 9. Let k be t(6). Suppose -q - 105 = -6*q. Suppose n - 2 = -5*v + 75, k*n = -v + q. Solve -v = -3*u - 0*u for u.
5
Let g = -306 + 306. Solve g = -15*a + a + 42 for a.
3
Let y = -1 + 6. Suppose -y*o = w - 11 - 6, 2*w + 5*o - 29 = 0. Suppose 0 = 3*m - w - 3. Solve 0*h = -m*h + 5 for h.
1
Let h(g) = 4*g**2 - g. Let o be h(1). Suppose -5*j + 2*l + 170 = -3*l, -5*l = 20. Suppose 4*b - 2*b = j. Solve o*c = -0*c + b for c.
5
Let l = -34 + 36. Suppose 125 = 5*q + 2*x + 35, 0 = 3*q - 2*x - 38. Solve -6*t = -l*t - q for t.
4
Suppose 9*b + 9*b = 0. Solve b = 11*k - 4*k for k.
0
Let v(x) = -24*x + 1995. Let r be v(83). Suppose -8 = 3*u - 8*u + 4*z, -4*u + 13 = -z. Solve -r*b - 5 = -u*b for b.
5
Let u(l) = l**3 - 7*l**2 - 33*l + 35. Let o be u(10). Solve 3*s = -7 - o for s.
-4
Suppose -t + 4 = 0, y + 2*t - 11 = 3. Solve -4*u + y*u = 4 for u.
2
Suppose 0 = -0*r + 2*r - 18. Suppose 161*v = 324*v - 160*v. Solve v*h - 3*h - r = 0 for h.
-3
Let y = -1 - -1. Let j(k) = 7*k + 47. Let q be j(-5). Solve y*r = 3*r + q for r.
-4
Let h be 4/10 + 12/(-30). Suppose -4*l = -4*x - l + 38, h = -x - 4*l. Solve x = -q - q for q.
-4
Let d(z) = -2*z - 8. Let s be 75 + (-4 - -2 - -5). Let n be 16/(-20) + s/(-15). Let m be d(n). Solve w + 0 = -m for w.
-4
Let j be 0*4*2/16. Suppose -7*a + 2*a = -45. Suppose 2*v = 1 + a. Solve v*d = -j*d + 15 for d.
3
Suppose 5*a - 16 = -2*q, -12*q + 15*q + 2*a - 13 = 0. Solve 0 = s + q*s for s.
0
Suppose -5*y + 2 = -2*h - 10, -4*h = -5*y + 4. Suppose 10 + 16 = -13*o. Let q be (1 - o/(-4))*y. Solve 0 = q*m + 2 for m.
-1
