
-5
Let h be (3 + -2)/(4/20). Solve -h*v + v = 4 for v.
-1
Let g(b) = b + 12. Let n(q) = -7*q**2 + 2*q - 1. Let c be n(1). Let x be g(c). Let f = -6 + x. Solve f*o = o for o.
0
Suppose -2*n = -7*n + 5. Let f = n - -2. Solve 22 = f*p + 7 for p.
5
Let o(b) = b**2 - 9*b. Let v be o(9). Let m(x) = x**3 + 8*x**2 - 8*x + 12. Let i be m(-9). Solve i*z + 0*z - 15 = v for z.
5
Let c(k) be the second derivative of -1/6*k**3 + 0 + k + k**2 + 1/12*k**4. Let a be c(0). Solve -a = -m - 0*m for m.
2
Suppose -b = -5*w + 16, -2*b + 28 = 4*w + w. Solve b*c = -c - 5 for c.
-1
Suppose 6*t = 2*t. Let z be 4 + t*(-1)/3. Solve z*i = 4 - 12 for i.
-2
Let h(f) = f - 3. Let z be h(7). Solve -z*v = -6*v - 4 for v.
-2
Let w(a) be the second derivative of -a**5/20 + a**4/2 + 4*a**3/3 - 7*a**2/2 - 4*a. Let i be w(7). Solve i = -4*f + 3 - 11 for f.
-2
Let a be 13/1 - (2 + -5 - -7). Solve -4*s - a = -7*s for s.
3
Suppose -4*n + 2*n = -6. Let i(u) = u**3 + 12*u**2 + u + 13. Let g be i(-12). Solve z - g = -n for z.
-2
Let i(a) = -a**3 - 5*a**2 + 5*a - 2. Let l be i(-6). Suppose l*j = -0*j. Solve 2 = 2*k - j for k.
1
Let a(z) = 3*z + 3. Let o be a(4). Let b = o + -11. Solve -b*c - 10 = c for c.
-2
Suppose -3 = 3*j - 24. Solve -j*u + 3*u - 16 = 0 for u.
-4
Suppose g + 3*g = 0. Solve g = 2*f + 3*f + 5 for f.
-1
Let t(q) = -q**3 + 11*q**2 - 9*q - 8. Let c be t(10). Suppose c*w - 3 = 5. Suppose -2*x = -4*x + 2. Solve -3*r = -w + x for r.
1
Suppose 2*l + l = 90. Suppose m + l = 6*m. Suppose w - m + 1 = 0. Solve 2*i - 5 = w for i.
5
Suppose 0 = -2*o - 0*o. Suppose -12 = -5*x - 0*x - 3*p, -2*p - 2 = o. Let a = -6 + 8. Solve 0 = a*f - x*f - 3 for f.
-3
Let a = -3 + 0. Let c = 0 - a. Suppose w + 4*q - 1 = c*q, 5*w + 4*q - 6 = 0. Solve 0 = 3*m - 8 + w for m.
2
Let a = -2 + -1. Let d be (15/(-10))/(a/40). Solve -3*j - j + d = 0 for j.
5
Suppose 0 = -3*y - 2 + 23. Solve -12*c = -y*c for c.
0
Let g(i) = i - 5. Let v be g(10). Suppose z = -k + 21, -v*k - z + 0 = -85. Solve -2*s - 2*s = k for s.
-4
Let l(p) = -p - 5 - 2*p + 4*p. Let h be l(4). Let n = h + 1. Solve 2*x = -n*x - 4 for x.
-2
Suppose 4*i + 60 = 5*t, 4*t - i - 13 = 35. Solve n + 2*n = t for n.
4
Suppose -3*c = -5*c + 26. Suppose 4*t + 3*w = 14, -3*t - c = -4*t + 4*w. Solve 0*d - t*d = -25 for d.
5
Let n be -6*((-15)/(-6) + -3). Suppose n*r + 2*b + 2*b = 17, 5*r - 2*b - 11 = 0. Solve 0 - r = h for h.
-3
Let t be 9*1*10/90. Solve 2*w - 3 - t = 0 for w.
2
Suppose -n - p - 4*p = -5, 0 = -3*n + 4*p - 4. Let t be 4 - 5 - (-7 + 5). Let j be (-5 + 11)/(t/1). Solve n = -4*v + 6*v + j for v.
-3
Suppose -4*a + 3*p + 16 = 0, -4*a + 4*p - 3 = -23. Let m(k) = 5*k**2 - k. Let i be m(a). Solve i*c = -0 + 4 for c.
1
Let o = -11 + 6. Let k be (-17)/o + 2/(-5). Suppose -3*s = s + 3*m - 19, k*s = 3*m + 9. Solve -s*d + 8 + 4 = 0 for d.
3
Let s(k) = -k**2 + 10*k - 6. Let z be s(9). Solve z*b + 6 = b for b.
-3
Let p(f) = f**2 + f. Suppose 5*c - 8 - 2 = 0. Let o be p(c). Solve -2*d + o = d for d.
2
Let h = 1 + 0. Suppose 0 = 19*l + 13*l - 96. Solve y - l = -h for y.
2
Suppose -12*j = -14*j + 6. Solve -j*t = -4*t - 1 for t.
-1
Let p be (-2)/(-5) - (-159)/15. Suppose -p - 8 = -r. Suppose 4*x - r = -3. Solve 0 = x*m - 2*m + 10 for m.
-5
Let d(z) = 4*z - 3. Suppose 8*i - 15 = 3*i. Let q be d(i). Let o be (-6)/33 + ((-52)/(-22))/2. Solve -o = -2*w - q for w.
-4
Let o = 0 + 1. Let a = o + 1. Solve 2 = -a*i + 4*i for i.
1
Let q be (-4)/6 + 24/9. Let w be ((0 + -1)*-10)/q. Suppose -m - 14 = -w*m + 2*p, 9 = 2*m - 3*p. Solve 0 = -h - m*h for h.
0
Suppose -10 = 2*n - 30. Solve n*g + 16 = 6*g for g.
-4
Let m(s) = s**2 - 14*s - 47. Let g be m(17). Solve -g*h + 2 = -2*h for h.
1
Suppose -h + 5*j + 20 = 0, -4*h - 30 = 5*j - 10. Suppose 0 = -h*t + 5*t - 60. Suppose -2 = 2*w - t. Solve -2 + w = u for u.
3
Let z = -3 + 3. Let k = 8 + z. Suppose k = 4*q - 2*q. Solve 11 = q*c + 3 for c.
2
Let o = -3 + 6. Let j = -8 - -8. Solve o*l - 7*l - 12 = j for l.
-3
Suppose -3*i - 2*d + 22 = 0, -3 = -i - d + 6. Solve -5 = -i*q - 1 for q.
1
Let x = 2 + -18. Let h be x/(-3) + (-4)/12. Suppose -h*j - 4*y = -8, -5*y + 7 + 3 = 0. Solve 0 = 4*i - 12 - j for i.
3
Let a(q) = -q**3 - 7*q**2 + 9*q + 7. Let v be a(-8). Let w be ((-1)/v)/1*-6. Let d = w + 22. Solve 2*f = 6*f - d for f.
4
Let m = 3 - 1. Suppose -2*i = 2*i - 8. Solve i*n = 3*n + m for n.
-2
Suppose 2*g = 207 - 199. Suppose -2*c = -3*c + 18. Solve 0 = -g*n + c - 2 for n.
4
Let a(p) = p**2 + 4*p + 21. Let w be a(-11). Let t be ((-6)/(-7))/(28/w). Solve -7 = -5*z + t for z.
2
Let y = 0 + 0. Let g(k) = -k**2 - 9*k - 11. Let z be g(-7). Solve -z*f + f = y for f.
0
Suppose 11 = 2*s - 3*o - 5, -3*s - 3*o + 24 = 0. Suppose 0 = -s*y + 11*y. Solve c + 2*c = y for c.
0
Suppose 3*x + d = 4*d + 48, 0 = 2*d + 8. Suppose 4*y + x = 0, 5*y = 4*t + 3*y - 6. Let h be ((-2)/(-5))/(1/5). Solve h*q + 2 - 4 = t for q.
1
Suppose l = 5*a + 5, 0 = -4*a + 5*l - 2 - 23. Suppose -j + 1 = 4*i - 0*i, 0 = 4*j - 5*i - 25. Solve h + j = -a*h for h.
-5
Let l(r) = -r**2 + 3*r + 56. Let u be l(9). Suppose -c + 5*p = 31, 21 = -3*c - p - 2*p. Let m = -3 - c. Solve m + u = 5*v for v.
2
Let u be 10/6 + (-7)/(-21). Solve -p = u + 2 for p.
-4
Suppose -5*j + 5*y = -36 - 44, -10 = 5*y. Solve 3*a = j - 2 for a.
4
Suppose 20 = -5*t + 9*t. Solve 0 = -t*c + 15 + 5 for c.
4
Suppose -4*o - m + 121 = 0, 0*o - 3*o = -m - 89. Suppose 4*z + z - o = 0. Solve 3*j = j + z for j.
3
Suppose -1 - 14 = -3*s. Let w(i) = i - 2. Let x(t) = -t + 2. Let m(r) = s*w(r) + 4*x(r). Let a be m(5). Solve -a*b = 2*b + 15 for b.
-3
Suppose -4*o + 8 = 2*m, 0 = -3*o - 2*m + 5 + 1. Suppose 3*k - 7*k + 5*q + 110 = 0, 2*q = 4*k - 104. Solve -o*z - k = 3*z for z.
-5
Suppose -30 = -3*a - 5*g, -1 = a - 3*g + g. Solve 2*c - 15 = -a for c.
5
Let w(u) = -4*u - 6. Let m be w(-6). Let y = -9 + m. Solve -25 = -4*r + y*r for r.
-5
Suppose 2*k + 33 = 5*k. Let d = 10 + -4. Let n = 10 - d. Solve n*j + 9 = -k for j.
-5
Let v(y) = y**2 - 19*y + 2. Let a be v(19). Let x = 11 - 8. Suppose 0 = -a*n + 5*n - x. Solve -5*d - n = 4 for d.
-1
Let r = 2 - -6. Solve -4*i - r = 4 for i.
-3
Let z(v) = v**3 + 7*v**2 + 4. Let m be z(-7). Suppose -m*y + 2 = -2. Solve 0 = -u - 5 + y for u.
-4
Let m = 0 - -11. Let j = 15 - m. Solve -j*v = v - 15 for v.
3
Let q = 10 - 7. Solve 10 = g - q*g for g.
-5
Suppose -6*y + 3*y = 4*i - 16, 9 = 5*i + y. Solve 0 = -4*w + 5 - i for w.
1
Suppose 2*f = -0*f + 2*d, 3*d = f. Suppose 0*n = -5*n + 20. Suppose f = n*z - 8*z. Solve h - 2 + 4 = z for h.
-2
Let t(o) = -o**2 + 2*o + 14. Let b be t(6). Let l be 1/(-5) - 22/b. Solve -4 + l = -y for y.
2
Suppose -3*p = 2*p - 25. Let c = -1 + p. Suppose c*q + q = 0. Solve q = -2*r - 3*r + 10 for r.
2
Suppose -4*w + 7 = -1. Suppose 0*c = w*c + 6, -5*c - 22 = -o. Solve 2 = j + o for j.
-5
Suppose 5*p - 70 = -d, -2*p = -3*d + 329 - 102. Suppose -3*j = -8*j + d. Let h be (-84)/(-15) + 6/j. Solve -4 = -2*t + h for t.
5
Let y(k) = k + 8. Let l be y(-5). Suppose -3*t + l = -4*w - 3, 5*t - 5*w - 10 = 0. Solve z + 1 = t for z.
1
Let p(b) = b + 5. Let o be p(0). Suppose 0*m - 15 = -o*m. Suppose -2*h - 2*g = -6, -m*g = -h + 2*g - 3. Solve h*n = -6 - 0 for n.
-3
Let x be ((-19)/(-2))/((-2)/(-4)). Let v = 28 - x. Solve 4*j - 7 - v = 0 for j.
4
Let z be 6 + (-8)/(-3 + 5). Solve z*b = -2 + 6 for b.
2
Let u be 4/(-14) - (-30)/7. Suppose 3*w - o - o = -36, -o = u*w + 37. Let r be w/(-3)*6/4. Solve -r*f + 6 = -14 for f.
4
Suppose -3*n = -3*v + v - 11, 3*n = v + 1. Let q = v + 13. Solve -q = 2*s - 3*s for s.
3
Suppose 4*t + 3*v + 34 = v, 3*t - 2*v + 15 = 0. Suppose 0 = -4*u + 3*u - 12. Let y = t - u. Solve y - 3 = w for w.
2
Suppose -3*a = 4*c - 1, 4*a - 5*c = 26 - 4. Let v = a - 0. Solve 0 = v*x - 5 - 4 for x.
3
Let w(p) = -9*p - 6. Let z(v) = 3*v + 2. Let q(g) = 3*w(g) + 8*z(g). Let r be q(-2). Solve -m - m = r for m.
-2
Suppose 3*v = 3 + 3. Let d be -1 + (-3)/(1 + v). Let n = -2 - d. Solve n*h = -h for h.
0
Let s(k) = k + 18. Let i be s(-14). Let z be (-2)/(-3)*3 + 28. Suppose -p + z = p. Solve -i*q = p + 1 for q.
-4
Suppose 0 = 3*r - 5*r. Solve r = -f - f for f.
0
Suppose 0 = -5*z + 4*j - 16, 4*z = -0*j + 2*j - 8. Let a = 9 - 4. Suppose z = a*s - s. Solve 3*k - 6 = -s*k for k.
2
Suppose 6 = -j - 0*j. Let i = j + 6. Suppose -2*w - 5*u - 16 = 0, i = -5*w + 2*u + 1 + 17. Solve 5*t - 