
1
Let a(g) = 2*g**3 - 9*g**2 + 12*g - 22. Let q be a(4). Solve -2*n = -3*n + q*n for n.
0
Suppose u + 4*u = 30. Suppose -9*g + 12 = -7*g. Let j(l) = l**2 - 5*l + 10. Let k be j(g). Solve 0 = 2*b - u*b + k for b.
4
Suppose 22*x = 26*x + 5*h - 1007, h + 1237 = 5*x. Solve n - x = -251 for n.
-3
Let t be 0 + 0 + (-4)/(-2). Suppose 4*a = 4*z + 88, -a - 4*z + 65 = 4*a. Solve t = 5*m + a for m.
-3
Let f = -15 - -38. Let y(m) = m**3 - 7*m**2 + 7*m + 17. Let v be y(5). Solve 5*a - f - v = 0 for a.
5
Suppose 17*w = 9*w + 208. Let v = 30 + -47. Let g = v + w. Solve 0 = -3*i - 6 - g for i.
-5
Let h = -407 - -437. Solve -h = 25*r + 20 for r.
-2
Let u(l) = 3*l**2 + 2*l + 1. Let w be u(-1). Solve -5 = -w*f - 1 for f.
2
Let g = -20 - -61. Let p = -26 + g. Let n = -15 + p. Solve -k - 3*k + 8 = n for k.
2
Suppose -10 = -2*m - 0*m, 5*m - 45 = -5*u. Let h be 8 + (5 + -12 - -9). Solve u*l + 30 = h for l.
-5
Suppose 4*u - 1 = 4*x + 35, x + 49 = 5*u. Solve -o = 4*o - u for o.
2
Suppose -5*s = 4*l - 37, -56*l + 5*s + 27 = -52*l. Solve -l*v - 44 = -84 for v.
5
Suppose -z = 4*z. Suppose m + 4*x = 13, m - 2*x + x + 7 = 0. Let u be m/((-38)/8 - -4). Solve u*b + z = -4 for b.
-1
Let o(y) = -y**2 - 6*y. Suppose -5 = -5*m - 25. Let w be o(m). Solve 0 = -2*r - 0*r + w for r.
4
Suppose -9*b + 34 - 7 = 0. Solve -2*x + 11 = b for x.
4
Let g(f) = 17*f - 14. Let d be g(2). Solve 40 = 10*i + d for i.
2
Suppose 0 = -32*x + 56*x - 72. Solve -67 = -x*f - 52 for f.
5
Let n be (-33)/(-9) - 4/(-12). Suppose -q + n*o + 4 = 0, 4*q + 4*o + 0 = -4. Suppose 0 = 2*a + a - 9. Solve -a*s - 4 + 1 = q for s.
-1
Let y = -467 - -462. Let l = -13 + 20. Let q = l + y. Solve -q*p + 9 = -5*p for p.
-3
Suppose -o - 3*l = -18, -4*o + o - l = -14. Let x be (o*(-19)/(-3))/1. Let r = 23 - x. Solve 4*y - r = 4 for y.
2
Let g(u) = 3*u - 7. Let c(z) = 6*z - 15. Let i(f) = 3*c(f) - 5*g(f). Let v be i(5). Solve -v = -2*p + 1 for p.
3
Suppose 4*z + 1 = 5*z. Suppose 1 = i + 5*b - z, -4*i = b - 8. Solve 0 = u + i - 4 for u.
2
Suppose -4*c + 5*o = -66, -7*o + 6*o + 12 = c. Solve c*d - 13*d = -2 for d.
-2
Let f = -1087 + 1120. Solve f = -4*z + 25 for z.
-2
Let l = 895 - 891. Suppose 2 = 2*v + 3*v + g, 5*g - 10 = 0. Suppose v = -p, 2*o + l*p = -o. Solve -4*h + o*h = 16 for h.
-4
Suppose 2*i + 4*b = 20, i + 5 = 2*b + b. Suppose -4*t + 3 = -3*x, 0 = 5*t + i*x + 3 + 1. Solve 4 = m - t*m for m.
4
Let l be 3*(1/3)/(-11 + 12). Suppose -4*f = 5*b - 26, -5 - l = -5*b + f. Solve 6 = -b*h - h for h.
-2
Let z be 4 - ((2 - 1) + -1). Suppose 2*f - 5 = -1. Suppose 0 = -34*y + 33*y + 2*m - 8, -4*y = -2*m + 8. Solve y*i - z = -f*i for i.
2
Let r(d) = -5*d - 9. Suppose -4*q = m - 0*m - 8, -m = -q + 7. Let x be r(m). Suppose 0 = -x*l + 9*l + 6. Solve -11 = 4*s - l for s.
-2
Suppose t = -2*o, 2*o - 6 = o + t. Suppose 0 = 5*b - 18 - 22. Suppose -f + b = 3*d, o*f + 1 - 7 = -d. Solve -x = -d*x for x.
0
Let q(m) = 2*m**2 - 10*m + 9. Let x be q(6). Let i = -404 - -409. Suppose -4*v - i = -x. Solve -5*w + v*w = 5 for w.
-5
Suppose -2*j + 13 + 11 = 0. Suppose 2*m = -2*v + j, 2*v + 14 = -m + 6*v. Solve -b = 2 + m for b.
-4
Suppose -76*w + 0 = -0. Solve w = -3*n + 2 - 5 for n.
-1
Let j = -62 + 67. Solve j*a + 2 + 3 = 0 for a.
-1
Let r = -43 + 47. Suppose -r*z - 3*m + m = -38, 5*z = 2*m + 34. Solve 3*c - z*c = 5 for c.
-1
Suppose -4*w + 20 = -2*n, -2*n + 4 = w - 3*n. Solve 6*z - w = 3*z for z.
2
Suppose -2*v = -7*v + 115. Let p = -13 + v. Let w(x) = x**3 - 11*x**2 + 11*x - 8. Let k be w(p). Solve k*t - 3*t = -1 for t.
1
Suppose -14*r = 19*r. Solve -3*v + 0 + 12 = r for v.
4
Let c be (-16 - -4)/4 - (-7)/(-1). Let k = c + 10. Solve 2*o - 8 = -k*o for o.
4
Let q be -11 - -2 - (-11)/1. Solve 0 = y + q*y - 3 for y.
1
Suppose 0 = t - 5*s - 16, 4*t = -5*s - 11 + 25. Let j be t/(-14) + (-17)/(-7). Solve j*l + 7 + 3 = 0 for l.
-5
Let q = -28 + 148. Solve q = 3*x + 117 for x.
1
Let y = -4 - 12. Let i be 98/6 + y/(-24). Let a = i + -17. Solve a = -6*f + 2*f - 8 for f.
-2
Suppose -5*c = -2*n - 10, -4*c = 5*n - 8 - 0. Suppose n = 4*s - 15 - 5. Solve -s*d + 2*d + 15 = 0 for d.
5
Let q(i) = -i + 8. Let s be q(6). Let o(f) = -f + 8. Let x be o(6). Suppose -19 = -7*r + x. Solve 0 = r*u + 1 + s for u.
-1
Let n = -1935 - -1959. Solve 3*o + 3*o = n for o.
4
Let g(l) = 2*l + 40. Let f be g(-18). Let t = 5 - 4. Solve -f*y - t = 3 for y.
-1
Suppose b = 2*b + m - 9, 4*b = 4*m + 4. Suppose z + 0 + 11 = b*y, 0 = 3*z - 5*y + 3. Suppose 3*p + 3*s - 3 = -0*p, 0 = -4*p - 3*s + 3. Solve -g + p = z for g.
-4
Suppose 6 = 2*i - 5*f, 6 = -0*f - 3*f. Let r(x) = -x**3 - 2*x**2 - x + 1. Let n be r(i). Suppose -n*o + 45 = 5*h, -2*h - 12 = 2*h. Solve -o = -5*c - 0 for c.
4
Let g = -30 - -31. Suppose 2*t - 3*r - 8 = -r, g = r. Solve d = -t + 2 for d.
-3
Let y = 20 + -12. Let b be 40/22 - (-2)/11. Solve y = -b*p - 0*p for p.
-4
Suppose 0 = -8*k - 8 - 8. Let u be ((-12)/(-12))/(k/(-4)). Solve -3*v = u*v - 10 for v.
2
Let k(q) = -q**3 + 8*q**2 + 2*q - 12. Let c be k(8). Solve l - 5 = -c*l for l.
1
Suppose -5*w + 50 + 75 = 0. Suppose -w = -4*i - 3*h, -2*i - h + 6*h - 7 = 0. Suppose 5*x + 1 = 16. Solve -x*o + i*o = 0 for o.
0
Let z(c) be the third derivative of 1/60*c**5 - 1/8*c**4 + 1/3*c**3 + 0*c + 0 + 4*c**2. Let r be z(0). Solve r*a - 5 = -1 for a.
2
Let o be (-3)/6*-22 + -4. Suppose 32 - o = -5*x. Let t(i) = -i**3 - 4*i**2 + 3*i - 9. Let p be t(x). Solve g + p = -1 for g.
-2
Suppose 62 = -5*s - r, 5*s = 2*r + 9 - 80. Let v be -16 - s - (-6)/4*2. Solve v + 2 = 2*b for b.
1
Let y(o) = -o**2 - 21*o + 15. Let a be y(-16). Solve -8 = -a*r + 91*r for r.
2
Let t = -15 - -15. Suppose 6*q + 30 = q + 2*n, 3*n + 15 = t. Let i = 10 + q. Solve o = -o + i for o.
1
Suppose 0 = 93*w - 86*w. Solve 0*q - 2*q + 6 = w for q.
3
Suppose -19 = 3*j - 4. Let h be 4/6*(-15)/j. Solve 6*l = h*l for l.
0
Let j be 410/4*9*(-10)/(-225). Solve 0 = -j*v + 44*v for v.
0
Let l(f) = -f**3 + 17*f**2 - 30*f + 5. Let h be l(15). Let v be 5/(-25) + 2/10. Solve h + v = -c for c.
-5
Let q be ((-7)/3)/(1008/(-3456)). Solve q*m = 9*m - 4 for m.
4
Let n(k) = -k - 10. Suppose 15 = -6*v + 3. Let r be 3 + v + (-13 - 1). Let h be n(r). Solve 0*x = -h*x + 6 for x.
2
Let w(f) = -6*f + 36. Let b be w(5). Solve 0 = b*t - 14*t for t.
0
Let f(l) = -l**3 - 8*l**2 - 3*l + 9. Let i be f(-8). Let m be 6/33 - (-621)/i. Suppose m*z = 24*z. Solve -4 = -z*n - n for n.
4
Suppose 0 = -y - 2*n + 7, -y + 5 + 2 = -2*n. Suppose -y = -2*h - 1. Solve h*s + 2 = 17 for s.
5
Let v = 6 - 2. Suppose 0 = -2*l + 2*c + 12 + 8, 6 = l + 3*c. Solve -l = -v*u + u for u.
3
Let r = 357 - 352. Solve w - 4 = r*w for w.
-1
Let g(n) = -13*n**3 + 2*n**2 + 3*n + 1. Let c be g(-2). Let u = c - 107. Solve -j + u = -4 for j.
4
Let x(n) = 3*n**2 - 6*n + 5. Let a be x(3). Suppose -9*b - 3*d = -11*b + 16, -a = -5*b + d. Solve -2*t + t - b = 0 for t.
-2
Suppose 0 = 4*f - s - 6, -3*f + 0*s - 4*s + 14 = 0. Solve -h - f = -0*h for h.
-2
Let l be ((-6)/(-14))/(0 + (-5)/(-35)). Solve -l*i = -6*i + 12 for i.
4
Let c = 363 + -357. Solve 32 = -c*u - 2*u for u.
-4
Let t be 5/20 - 14/(-8). Suppose t*d - 6*d + 38 = -3*b, -4*d + 5*b = -34. Let s = 14 + d. Solve -s = l - 6*l for l.
5
Suppose 18*q + p = 13*q + 40, 5*p = -q + 8. Solve q*l + 7*l = 18*l for l.
0
Let w = 13 + -8. Suppose -10 = -w*z + 20. Let b(x) = -x + 11. Let o be b(7). Solve 0 = o*l - 2*l - z for l.
3
Let v(d) = -11. Let o(x) = -x + 10. Let b(w) = -4*o(w) - 5*v(w). Let f(l) = 3*l + 14. Let i(c) = -4*b(c) + 5*f(c). Let g be i(8). Solve 2 = -4*t - g for t.
-1
Let c be (-3)/(-4)*((-22)/(-6) - -3). Solve 2*j - c*j = 9 for j.
-3
Let g = -249 + 252. Solve -g = -t - 7 for t.
-4
Suppose 5*o = 2*j + 2*o + 36, 48 = -3*j + 3*o. Let a be 8/j*(1 - 10). Suppose 4*w = a + 6. Solve 0 = 3*f - w - 3 for f.
2
Let l = -7 + 11. Suppose z + 15 = -l*q, 2*z = -2*q - 2*q - 14. Let r(b) = -b**3 - 4*b**2 - 3*b. Let h be r(-3). Solve -z = -h*p + p for p.
-1
Suppose -14*s + 5*v - 6 = -12*s, 2*v = -5*s + 14. Solve -8 = -s*u - 18 for u.
-5
Let b be -3 + -2 + 2 - 2. Let p(k) = -k**3 - 5*k**2 + 2. Let w be p(b). Suppose 1 = 3*g + 4, -5*v = 2*g + w. Solve 0 = -5*j - v*j for j.
0
Let l be (-124)/(-30) + 20/(-150). Suppose -6*x + 58 = l. Solve x*a = 4*a - 15 for a.
-3
Suppose -5*v - 20 = -5*q, -2 - 10 = -2*q + 4*v. Suppose 2*m - t - 12 = 0, m - 4*m - q*t = -11