 l.
1
Let u = -5 + 7. Let g(k) = k. Let t be g(5). Let q(c) = -2*c + 20. Let o be q(t). Solve 0*d - o = -u*d for d.
5
Let p(g) = -g**2 + 14*g + 4. Suppose 11*z - 6*z - 20 = 0. Suppose 0 = z*q - 20, -3*l + 4*q + 9 = -13. Let t be p(l). Solve 0 = -0*u - t*u for u.
0
Let r be (-8)/(-12) - (-393)/(-9). Let c = 82 + r. Suppose 0 = 3*g - c - 36. Solve 9*k - g = 4*k for k.
5
Let j(y) = -y**2 + 7*y - 3. Let h be j(6). Let v(q) = -q**2 + 3*q + 4. Let s be v(h). Solve -s = -5*m + m for m.
1
Let x(g) = g**2 - 4*g - 3. Let s be x(-2). Let i(r) = r - 9. Let z be i(s). Solve -3*a - 2*a + 25 = z for a.
5
Let b = -9 - -18. Let h(r) = -2*r**2 + 9*r**2 - 6*r**2 + 17 - b*r. Let t be h(7). Solve -p + t + 0 = 0 for p.
3
Suppose f - 2*f = 0. Let j be (26 - 22)/((-2)/(-20)). Let i = -32 + j. Solve -2*a - 2*a + i = f for a.
2
Suppose -3*j = 4*x + 5, 3*j + 0*x - 3*x + 33 = 0. Suppose 3*r + 0*r = 4*c - 13, -3*c = -3. Let i = r - j. Solve q = i*q - 3 for q.
1
Let o(k) = -k + 12. Let w be o(11). Let y = 15 + -14. Let u be (-12)/(-4) - 1/y. Solve w = -u*m - 7 for m.
-4
Suppose -2*z + 6 = -0*z. Suppose 3*t - 18 = -z. Let o(n) = -n**2 + 5*n - 3. Let k be o(3). Solve -t*d - 8 = -k*d for d.
-4
Suppose -132*n + 135*n - 12 = 0. Solve 6 = -7*r + n*r for r.
-2
Suppose 0 = -x - 4*x + 30. Let u be (x/(-9))/(4/(-6)). Let k(z) = -z + 3. Let s be k(u). Solve p = -s*p for p.
0
Let n = 76 - 72. Solve 7*p - 6*p = n for p.
4
Let y(u) = 7*u**2 + 3*u + 2. Let d be y(-1). Suppose -3*i + d*i - 15 = 0. Solve -2 + i = -m for m.
-3
Let l be 0*(2/16)/(2/16). Solve 4*w - 1 - 3 = l for w.
1
Let m be -4*21/12 - -17. Solve 0 = -m*p - 24 + 4 for p.
-2
Let n(d) be the first derivative of -6 - 1/3*d**3 + 1/2*d**2 + 2*d. Let g be n(0). Solve 1 + g = -3*x for x.
-1
Let y(i) = 25*i + 125. Let j be y(-5). Solve 2*n = -j*n + n for n.
0
Let u = 44 - -21. Let g = u - 64. Solve -4*s - g = 3 for s.
-1
Let o(m) = 2*m**2 + 16*m + 2. Let r be o(-8). Solve 18 = -r*c - 4*c for c.
-3
Let w = -2 - -3. Suppose 2*v + 2 = -2*h + 8, 4*h - 12 = -v. Suppose -d + 3 + w = v. Solve -2*x = -d - 2 for x.
3
Let a be (5/(-15))/(3/117). Let n = a + 16. Solve w = n - 4 for w.
-1
Suppose -2*u - 5*w + 2*w + 219 = 0, 321 = 3*u - 3*w. Let t = 108 - u. Solve 4*b + 16 = -t for b.
-4
Let s be 31/(-4)*(-43 + 39). Solve 33 - s = -a for a.
-2
Let x = -182 - -187. Solve 0 = -7*h + 12*h - x for h.
1
Let v(i) = -3*i + 88. Let l be v(28). Solve 4*x - 2*x = -l for x.
-2
Let d = -670 + 694. Solve 6*n + 0 = d for n.
4
Let y(n) = n**3 + 4*n**2 + 4. Let w be y(-4). Suppose 3*q - 8 - w = 0. Solve -9 = -q*b + 7 for b.
4
Suppose -2*l - 3*v - 30 = 0, 75 + 17 = -5*l + v. Let u = l - -24. Solve -5*r - u = -1 for r.
-1
Suppose -5*l + 3 = 13. Let z(g) = -5*g**2 + 6*g**2 - 9 + g + 9. Let n be z(l). Solve 0 = n*y + y - 6 for y.
2
Suppose -24*x - 672 = -20*x. Let w be (x/(-18) + -4)*(-3)/(-2). Solve -3*i = -w*i - 15 for i.
-3
Suppose 0 = -4*j + 6*j - 10. Suppose -j*w + 12 = -33. Solve -3*v = -3 + w for v.
-2
Let q be (-2556)/(-71)*(-2)/(-8). Solve q*t - 22 = -2*t for t.
2
Let h = -203 - -206. Solve 4*k - h = 5 for k.
2
Let r be (-1 + 2)/(1/((-172)/(-4))). Let l = r + -39. Solve 0*z - z = l for z.
-4
Suppose 6*q = 4*q, 0 = 4*p - 3*q - 28. Solve -6*v + 1 = p for v.
-1
Suppose -5*s = -s - 16. Let o(u) = u**2 + 5. Let b be o(s). Suppose 0 = -4*c + 3*i + b, 3*i + 12 = -i. Solve -3 = -c*z + 3 for z.
2
Let r be 19 + (-48)/6 + -8. Solve -r*j + j = 0 for j.
0
Let t(g) = -g + 14. Let a be t(14). Solve 3*k + 2 - 14 = a for k.
4
Let q = -1 + 2. Suppose -3*b - 2*k + k = -8, -q = k. Suppose 0 = 13*l - 11*l - 18. Solve -l - 6 = b*d for d.
-5
Let y = 3 + -2. Let w(r) = -r**3 + 7*r**2 - 5*r - 8. Let l be w(6). Let o be ((-4)/6)/(l/12). Solve -i + o + y = 0 for i.
5
Let m(s) = s + 3. Suppose 0*z + 4*z = 36. Let r be m(z). Solve -8 = -5*o + r for o.
4
Let i = -490 - -492. Solve 2 - 4 = i*r for r.
-1
Let c be 2/(-4) + 49/(-14). Let j(g) = -g**3 - 4*g**2 + 3. Let v be j(c). Solve q + 8 = v*q for q.
4
Let p be ((-40)/(-50))/(2/5). Suppose -6*y + y = -c - 28, 4*c - 5*y + 37 = 0. Let d be (0/9)/(-1 - c). Solve d*b = p*b - 2 for b.
1
Let z(m) = -2*m + 9*m - 1 - 4*m. Let g be z(3). Suppose -b + g = -2*n - 4, -n - 15 = -5*b. Solve w = -2 - b for w.
-4
Suppose 36*v = -7*v + 516. Solve 8 = -8*x + v*x for x.
2
Let h be 289/(-153)*(0 + -9). Solve -5*o = h - 42 for o.
5
Let w be (-4 - -4) + -5 - (-2 - 5). Solve u + w*u + 15 = 0 for u.
-5
Suppose 12*w - 125 = 7*w. Suppose 0 = -l + 30 - w. Solve 2 = l*o - 3*o for o.
1
Let i = -1 - -4. Suppose -i*b = b - 20. Solve -b*f - 16 + 6 = 0 for f.
-2
Suppose 5 = -4*p + 5*i, -2*p - 5 = i - 4*i. Let g(m) = -m**2 + 3*m + 5. Let w be g(4). Solve 0 = o + w - p for o.
4
Let m(g) = 3*g - 25. Let p be m(9). Solve -p*v + 10 = 3*v for v.
2
Suppose 34 - 8 = b + 4*f, 4*f = 2*b - 4. Suppose b*y + 3 - 23 = 0. Solve 0 = -j - 0*j - y for j.
-2
Let g(d) = -d**3 - 37*d**2 + 2*d + 82. Let h be g(-37). Solve 47 + h = 11*a for a.
5
Suppose -4*g = -3*g - 6. Let t be 6/4 + 3/g. Suppose 0 = -t*z + 6. Solve -z = 4*h + 5 for h.
-2
Let g(y) = y**3 + 3*y**2 - 2*y + 9. Suppose 16 = -p - 3*p. Let x be g(p). Solve -3*r = 7 - x for r.
-2
Suppose 5*v = 4*o - 32, 0 = -0*o - 2*o + v + 16. Let c be -1*(-12)/o*2. Solve 0 = -k + 2 - c for k.
-1
Suppose -60 = -2*b - 3*z, -5*b + 29*z = 25*z - 104. Solve b*x - 20*x = -20 for x.
-5
Let d = 54 + -105. Let b = d - -54. Solve -u = b*u - 4 for u.
1
Let b(l) = l**2 - 2*l. Let i be b(5). Let h be 24/(-9)*i/(-20). Solve 0 = -3*o + h*o - 1 for o.
-1
Let x(l) = -l**2 + 5*l + 74. Let n be x(11). Solve -3*f = n - 14 for f.
2
Suppose 0 = -4*r + 5*n - 6 + 1, -4*r + 3 = 3*n. Let p = -349 + 351. Solve -f - p = -r*f for f.
-2
Let u(y) = -3*y - 18. Let q be u(-7). Suppose -2*c = -q*c - 8*c. Solve -3*l + 0 - 3 = c for l.
-1
Suppose -76*s = -181*s. Suppose 0 = -2*d - 3*r + 68, 4*d - 2*d - 84 = r. Suppose -2*a = 8, 2*k - 20 = 5*a + d. Solve 4*n - k + 0 = s for n.
5
Suppose b - 6*b - 22 = -a, 0 = 5*a - 3*b - 22. Let i = 4 - 1. Solve i*m = 4*m + a for m.
-2
Let y be -38 - -43 - (1 - -1). Solve 13*p = y*p for p.
0
Let h be 44/11 + (2 - 0). Suppose 3*x + 0 - h = 0. Solve -3*m - x = 4 for m.
-2
Suppose 2*i + 0*i + 4*q - 14 = 0, -2*i - 2*q = -10. Let x = 47 + 9. Suppose 3*n + n - x = 0. Solve 2 - n = i*r for r.
-4
Let h(u) = 8*u**2 + 48*u + 4. Let i be h(-6). Solve -11 - 9 = -i*b for b.
5
Suppose 17 = 5*c - 3. Suppose -c*u - 34 = 2. Let s = u + 21. Solve -4*i = -i + s for i.
-4
Suppose -3*w = -4*o + 214, -8*o + 3*o - 2*w = -279. Solve 0 = -10*u - u + o for u.
5
Suppose 2*r + 547 = 563. Solve -r*k = -10*k - 8 for k.
-4
Suppose i = 24*i. Solve i = s - 4*s - 15 for s.
-5
Let x(r) = r**3 + 3*r**2 - 3*r. Let o be x(-4). Let l = 4 + o. Suppose -3*q - 3*j + 6*j = l, -3*j + 15 = 0. Solve 3*d = q*d for d.
0
Let i(p) = -p**3 - 14*p**2 - 14*p - 9. Let o be i(-13). Suppose -2*t - 6*w = -w + 5, 4*t + o = -4*w. Suppose -5*b + 11 - 1 = t. Solve -b = 2*d - 0 for d.
-1
Suppose 5*u + 2 - 17 = 0. Suppose 0 = u*c - 25 - 26. Let n = 17 - c. Solve 3*y = -n*y for y.
0
Let f(x) = 5*x**3 + 8*x**2 + 4*x + 2. Let m(y) = 14*y**3 + 24*y**2 + 11*y + 5. Let b(v) = 11*f(v) - 4*m(v). Let a be b(-8). Solve -a*n = -n for n.
0
Let q(l) = 4 - 6 - 6*l + 6 - 14. Let j be q(-5). Solve 2*z - j = -3*z for z.
4
Let s be (36/(-105)*-5)/((-14)/(-49)). Solve -s*k - 78 = -54 for k.
-4
Let u = -6 - -9. Suppose -2*n = -3*n + u. Suppose -4*x = -5*x + 3, -n = 3*t - 3*x. Solve t = -4*r - 2 for r.
-1
Let h(t) = t**3 - 5*t**2 - 2*t - 7. Let y be h(6). Let x be 2/(-4)*-5*152/1235*13. Solve x*i + 1 = y for i.
4
Let a be (-11926)/(-603) - 4/(-18). Let v = 7 - 4. Suppose -v*i - 4 + 13 = 0. Solve i*g + 2*g + a = 0 for g.
-4
Suppose 0 = 4*f - 7 - 13, f = 5*z - 155. Suppose -31 = 2*g - 6*g - 5*t, 5*g = -4*t + z. Suppose -u + 1 = k + 4, 5*k = 2*u + 6. Solve g = -i - k for i.
-4
Suppose -34*v - 39 = -141. Let j(w) = -w**2 - w + 3. Let s be j(-6). Let n = -7 - s. Solve v*k + k - n = 0 for k.
5
Let o(b) = 5*b**2 - 5*b - 8. Let x(p) = 2*p**2 - 2*p - 4. Let r(q) = 3*o(q) - 7*x(q). Let m be r(-3). Suppose -10 = -9*t + 4*t. Solve -6 + m = t*w for w.
5
Let m be (-172)/7 + 6/(-14). Let p be (-24)/(-10) + 10/m. Solve -4 = -0*v + p*v for v.
-2
Let y(m) = 20*m. Suppose 0*p = 3*p - 30. Let x be 15/p*2/3. Let f be y(x). Solve 0 = 2*i + 3*i - 