m.
5
Let q be 0*(35/10 + -4). Solve 12 = 4*p - q for p.
3
Let b = 63 - 47. Solve -3*y - b = y for y.
-4
Suppose 5*c = 4 + 1. Let k be -3*c/(-9)*3. Solve -2*b + k = -5 for b.
3
Let k(o) = o**3 - o. Let n(s) = -s - 2. Let y be n(-2). Let i be y/(-3) + (-2)/(-2). Let m be k(i). Solve -2*u - 2*u = m for u.
0
Let a be (-11 - -2)/((-6)/16). Let g be (0 + 1)*a/6. Solve g*u = 3*u for u.
0
Suppose b = 6*b - 60. Suppose -l - b = -4*l. Solve -l*k = k for k.
0
Let o = -6 + 11. Solve 0 = 3*m - 8*m + o for m.
1
Let c = 12 - 10. Solve 4*s = c*s for s.
0
Suppose -5*l = -l, -2*l - 4 = -2*p. Let z be 3/2 + p/(-4). Let m(y) = y**2 - y + 1. Let c be m(2). Solve z = c*f - 2*f for f.
1
Suppose 3*j - 7 = -h + 1, 3*j = 4*h - 2. Solve 1 = -t + j*t for t.
1
Let u = 2 - 7. Let f = u + 10. Solve f*x = -0 + 15 for x.
3
Let d(w) = 2*w**2 - 19*w - 1. Let y(l) = l**2 - 10*l. Let t(s) = 6*d(s) - 11*y(s). Let f be t(5). Let z be 2/(-8) - f/4. Solve z*h = 2*h for h.
0
Suppose -o - 4*i - 5 = 0, 3*i + 4 = 2*o + 14. Let k be 2/o - (-12)/5. Let b = 69 + -66. Solve -b*n = k*n for n.
0
Let f(g) = g**3 - 6*g**2 + 5*g + 2. Let t be f(5). Let p(l) = -2*l - 4. Let n be p(-4). Let m = n - t. Solve -4 = -2*j - m*j for j.
1
Let d be (1 - 1) + 4/4. Suppose -j = 2*f + 9, -4*f - d = -j - f. Let k = 8 + j. Solve 0 = -y + k*y for y.
0
Suppose -2*o - o = -12. Solve v - 1 = o for v.
5
Suppose 5*c - 3*c + 36 = 3*p, -3*p = 5*c - 57. Solve -4*v + p = -6 for v.
5
Let v(q) be the first derivative of q**2/2 - 8*q + 8. Let y be v(12). Suppose k + 4 = 3*x, -2 + 0 = 2*k - 3*x. Solve y*p - 10 = -k for p.
2
Let m = 5 + -10. Let c = m - -9. Suppose c*h = 2*n + 20, -4*h + 5 = 3*n - 5. Solve 5*j - h = j for j.
1
Let f be 10/4 - (-7)/(-14). Solve -h + 0 + f = 0 for h.
2
Suppose -4*i - u + 12 = 0, i = -2*i - 2*u + 14. Suppose 0*a + a + 2 = 0. Let x = 4 + a. Solve -x = -i*s - 8 for s.
-3
Suppose 5*f - 9 = 6*f. Let j = -4 - f. Suppose -16 - 4 = -j*a. Solve -a*v + 2*v = 6 for v.
-3
Let s be (3 + (-8)/2)*-5. Suppose -s*o = -3*o - 10. Solve -o*q + 5 = -20 for q.
5
Suppose o + 16 = 5*o. Let m(r) = -r**2 + 4*r + 3. Let g be m(4). Let a(b) = b**2 - b - 4. Let y be a(g). Solve y*z = o*z + 6 for z.
-3
Let y(i) = 2*i - 2. Let z be y(2). Suppose z*k + 3 = 7. Let r be k/(-5) - 36/(-15). Solve -3*o + 4 + r = 0 for o.
2
Suppose -z - o = 2*z + 5, -3*o = -4*z + 15. Suppose z = 4*m + 4*x - 12, 15 = m + x + 4*x. Suppose m*d = d - 2. Solve 0 = -2*p - d - 6 for p.
-4
Let q be 3/12*-1 - (-2)/8. Solve q = 3*c - 7 + 1 for c.
2
Let z(b) = 5*b - 6. Let w be z(2). Solve -w*g = -3 + 11 for g.
-2
Let f be 2/(-3) - (-51)/9. Solve f*j = -21 - 4 for j.
-5
Suppose 2*c - 3*p + 4 = c, 2*c = -2*p + 16. Let w(i) = -i - 3 - i**2 + 3. Let b be w(0). Solve b = -y + c*y for y.
0
Let b be ((-6)/(-5))/(3/(-15)). Let v be ((-6)/b)/(2/8). Solve -8*r + v*r - 20 = 0 for r.
-5
Let b(o) be the third derivative of o**4/12 - 2*o**3 - 2*o**2. Let f be b(8). Solve -y + f*y = 0 for y.
0
Let h be (1 + 4 - 4)*1. Suppose 2*z = -5*n - z - 2, 4 = 4*n + z. Solve h + n = c for c.
3
Suppose u + 14 = 5*l, 16 = 4*l - 0*u + 4*u. Solve -l*n + n + 10 = 0 for n.
5
Suppose g + 16 = 5*g. Suppose m - 57 = 3*p, m = 4*p + 71 + g. Let j be (-58)/p + 6/(-27). Solve 0*k = -j*k + 3 for k.
1
Let k = 0 + 2. Suppose -5*g - 3*x + 12 - 34 = 0, 0 = -4*g - k*x - 16. Let i(l) = -l - 2. Let q be i(g). Solve 5*r = -q*r - 10 for r.
-2
Suppose 2*w - 5*a = 13, 7*a + 33 = -3*w + 4*a. Let m = w + 9. Solve 2 = -m*h - 10 for h.
-4
Suppose -5*g - 2*l - 7 = l, -2*g - 2 = l. Let k(x) be the second derivative of -x**3/6 + x**2/2 + 4*x. Let f be k(g). Solve 4*t - 4 = -f*t for t.
1
Suppose o - 7 = -1. Solve -o = -2*a - a for a.
2
Let x be -1*(-90)/27*30/4. Solve s + 4*s = x for s.
5
Let h be 1*3*8/(-2 + 10). Solve -j + 8 = h*j for j.
2
Let s = 29 - 20. Suppose s = 4*x - 7. Solve x = -2*n - 2*n for n.
-1
Let v(y) = 3*y - 5. Let r(k) = -k + 2. Let q(g) = -17*r(g) - 6*v(g). Let t be q(-6). Suppose -o = o. Solve o*z - t*z = 10 for z.
-5
Let j(f) = 3 - 3 - 3 + f. Let o be j(3). Let n be 26/117 - (-70)/9. Solve o*v = -2*v + n for v.
4
Suppose d - 4*k - 2 = 0, -1 = -3*d + 5*k - 23. Let z = d + 20. Let j(s) = s**3 - s**2 - s. Let h be j(0). Solve h = 3*u - u - z for u.
3
Let r(c) = -38*c - 6. Let s be r(-6). Suppose 2*n = s + 28. Suppose 0 = -5*q + n. Solve 0*j + q = 5*j for j.
5
Let y be 3*(-5)/(30/(-4)). Solve 0*u = y*u - 2 for u.
1
Let z be (32/(-10))/((-5)/25). Solve 0 + z = 4*q for q.
4
Let f(m) = 5*m - 1. Let g be f(1). Suppose 16 = 5*d - k, -2*k - 9 = 5*d - 37. Suppose -l + d = -11. Solve -x - l = -g*x for x.
5
Suppose -2 + 17 = 5*g. Suppose 2*x = -3*u + 76, 5*x - 88 - 3 = -3*u. Let k = u + -14. Solve -7*b + g*b + k = 0 for b.
2
Suppose 2*z = -2*z + 12. Let f(s) = s**3 - 12*s**2 - 13*s + 4. Let b be f(13). Suppose 40 = 5*i - 0*i - b*q, 2*i - 3 = -q. Solve -2*g = -z*g - i for g.
-4
Suppose r - 25 = -4*j - 2*r, 0 = 4*r - 12. Solve 0 = g + 1 - j for g.
3
Let t(v) = -v**2 - 6*v - 4. Let i be t(-4). Let d = 1 - -1. Suppose -4 = -d*j, -4*a = -6*a + 3*j + 2. Solve -i = -a*c + 6*c for c.
-2
Suppose -36 = -4*g + 4*y, 6*y - 2*y = -12. Suppose 3*t + g = 6*t. Let i = 8 - 3. Solve 0 = i*x - t*x for x.
0
Suppose -3*n = -0*n - 2*q - 128, 2*q = 2*n - 82. Suppose 3*m = -5*f + 3*f + n, -2*f + 44 = 2*m. Solve -4*r + 0 = f for r.
-5
Suppose 4 = 4*y, 4*l + 6*y = 2*y + 20. Suppose 5*m = 4*g - 49, 4*g + m - 45 = 22. Suppose 0*b = -l*b + g. Solve 0*t + 2*t = b for t.
2
Let g = 30 - 28. Solve 0 = 4*c - 5*c - g for c.
-2
Let c = 197 - 193. Solve 5*t + c = 3*t for t.
-2
Let f be 4/(8/(-6)) - (-29)/1. Solve -f + 1 = 5*x for x.
-5
Suppose 11 = 3*z + 2. Solve -1 + z = -2*p for p.
-1
Let t(k) = 2*k - 9. Let n be t(7). Suppose 4*x + 14 = -2*f - 2, 20 = -4*f - 5*x. Solve f = -0*u + n*u + 20 for u.
-4
Let z(k) = -k - 4. Let g be z(-8). Let m = g - 1. Let y(a) = -a**3 + 4*a**2 - 3*a. Let q be y(m). Solve 2*w = -q*w for w.
0
Let z = -3 - -3. Suppose z*u + 4 = -2*u. Let x = u - -2. Solve 0*j - j = x for j.
0
Let i = 1 - -1. Suppose -i*h = -3*h. Solve h = z + 4*z for z.
0
Suppose 2*p + 0*p = 0. Let z be ((p/(-1))/4)/2. Solve -10 = -2*g - z*g for g.
5
Let i(a) = 2*a**2 + 13*a + 6. Let s be i(-6). Solve -5*y = -s*y + 20 for y.
-4
Let g = 50 + 55. Let p = g + -72. Let w be (2 + p/(-12))*-4. Solve 0 = w*l - 0 - 3 for l.
1
Suppose -x = 2*x - 4*h - 5, 5*x + 4*h = 19. Solve 12 = -5*t - x for t.
-3
Let r be -1 + 0 - (-2 - 2). Let s = r + 4. Let m(c) = -c**3 + 4*c**2 - 4*c + 3. Let x be m(2). Solve -x*y = -s - 2 for y.
3
Let w be 12/(-18)*(-3)/1. Solve w - 10 = -4*x for x.
2
Suppose -5*q + 8 = -17. Let x(i) = i**2 - 15*i - 34. Let t be x(17). Solve q*h + t = -15 for h.
-3
Suppose -5*q - 4*o - 8 = 2, 29 = 2*q - 5*o. Suppose z + 0 = -2*r + 7, r - z = q. Solve 0*s + 9 = r*s for s.
3
Suppose 4*b + 4 = 0, -t + 0*t = 2*b - 3. Solve -3*u = -t*u for u.
0
Let r be (10 - 1)*1/3. Suppose r*b = b. Solve -3*u + 3 = -b for u.
1
Suppose 3*c = 4*z + 25, 5*c = 5*z + 27 + 8. Solve -7*i + 10*i = -c for i.
-1
Let i = -18 - -18. Solve o - 4*o - 6 = i for o.
-2
Suppose d = 16 - 0. Let c(u) = -u**2 - 6*u + 5. Let a be c(-6). Solve -a*j + 36 = d for j.
4
Let o = -6 + 9. Solve -6 = -o*i + 3 for i.
3
Let t be (-8)/(-6)*9/6. Suppose 0 = t*a - 4*p - 0*p - 6, 1 = 5*a + 4*p. Solve -4 - a = f for f.
-5
Suppose -4*z + 50 = z. Suppose u - z = -4*u. Suppose 0 = 3*p - 4*x - 32, 3*x - 5*x + 26 = u*p. Solve -s - p = -4*s for s.
4
Let n = -16 - -55. Let m be 4/10 + n/15. Suppose -k + 3*k - 2*f = 12, -5*f - 18 = -m*k. Solve -4*h = -2*h - k for h.
3
Suppose -3*r + 5*t = -305, -r = 4*r + 3*t - 463. Suppose -r = -4*k + 5. Suppose q = -4*q + k. Solve -q*b = -b - 20 for b.
5
Let x(p) be the third derivative of -p**5/60 - p**4/3 + 2*p**3/3 + p**2. Let l = -8 - 0. Let j be x(l). Solve j*z = -3 - 17 for z.
-5
Let r = 14 - 6. Suppose r*d = 3*d + 20. Suppose -2*j + 8 = 4*a, 0 = -2*a + 3 - 1. Solve -d = j*i - 0 for i.
-2
Suppose 9 = 3*g - 0. Let c be 0*(g + 15/(-6)). Solve 4*x + c*x = -20 for x.
-5
Suppose a + k - 7 = -k, 0 = -5*k. Suppose 20 = a*v - 2*v. Solve -l = -v*l - 3 for l.
-1
Let o = 39 + -33. Solve 0 = 2*f - o + 4 for f.
1
Let k = -1 + 3. Suppose -3*a = -k*a - 4. Suppose 0 = -w - a*w - 3*f + 59, -5*f + 35 = 2*w. Solve m = -m - w for m.
-5
Suppose -c - 5*w - 8 = 0, 5*c - 13 = 4*c + 2*w. Solve 