a + b for a.
-1
Suppose -3*l - 14 = 16. Let i be ((-24)/15)/(l/25). Suppose 1 + i = m. Solve 2*p = -3 - m for p.
-4
Let r(k) be the first derivative of k**5/120 - k**4/24 + 2*k**3/3 + 6. Let h(a) be the third derivative of r(a). Let t be h(5). Solve 11 = 5*p - t for p.
3
Let h(u) be the first derivative of -u**2/2 - 9*u - 19. Let a = -16 - -7. Let q be h(a). Solve q = -l - l for l.
0
Suppose 5*n + 11 = 2*b + 2*n, -2*b + 4*n + 12 = 0. Solve -b*l + 8 = -8 for l.
4
Let x(f) = 4*f + 18. Let j be 1/(-5) + (-174)/30. Let v be x(j). Let q(m) = m**3 + 7*m**2 + 4*m - 8. Let d be q(v). Solve 0 = w + d for w.
-4
Suppose 0 = 142*f - 140*f + 20. Let o(u) = -2*u - 18. Let h be o(f). Solve -6*g + 12 = -h*g for g.
3
Let o be 3/(2*12/64). Let j(h) = h**3 - 8*h**2 + 3*h. Let z be j(o). Let i be (8/z)/(2/12). Solve -b + 1 = i for b.
-1
Suppose -35*n + 51 = 16*n. Solve 5*k = -n - 24 for k.
-5
Suppose 3*m + 5*i = -5, -3*m + 7*i - 8*i = 1. Solve m = 3*u - 1 + 4 for u.
-1
Suppose -2*l = -5*y + 3*y - 36, 12 = -y + 4*l. Let h = 27 + y. Solve -3*b = h - 1 for b.
-2
Suppose 4*a - 2*a = 36. Suppose -a = 3*w - 9*w. Solve 5*j + w = -12 for j.
-3
Let q(w) = -w - 6. Let t be q(-9). Suppose -2*j - 6 = 4*p + p, -5*j = p + 15. Let d = 207 - 203. Solve d*u - t - 1 = p for u.
1
Let b = 37 - 33. Suppose 9 = 4*c + 3*m, c - b = 3*m + 2. Suppose -4*a - c*i + i = -14, -a + 2*i + 1 = 0. Solve -a*x = -3 - 0 for x.
1
Let u(t) be the second derivative of -5*t**3/6 + 14*t**2 + 13*t. Let o be u(5). Solve 0*c + 12 = -o*c for c.
-4
Let p = 856 + -853. Solve 7*k = 3 - p for k.
0
Suppose -n + 2*n + 17 = 0. Let g = -14 - n. Solve g = 2*t + 9 for t.
-3
Suppose -3*h = -3*k - 3, k - 11 = -0*k - 3*h. Let v be (1 - (-2 + 1))*k. Solve v*c + 0*c + 4 = 0 for c.
-1
Let u = -166 - -168. Solve -u*j = 8 - 6 for j.
-1
Let m = 210 - 204. Solve m*l - 20 = l for l.
4
Let r(k) = -k**3 + 5*k**2 + 8*k - 7. Let c be r(6). Let i = 41 - 39. Suppose c*u + 5*q = -0*q, -i*u - q + 1 = 0. Solve -1 - u = 2*w for w.
-1
Let m be (2*1)/(10*7/245). Solve 3*k - m*k - 16 = 0 for k.
-4
Let c = 12 - -11. Let h = c + -21. Suppose 5*d = 2*j + 15, -4*d + 9*d - 35 = -h*j. Solve d = -u + 2 for u.
-3
Suppose -81*r + 67*r + 42 = 0. Suppose 4*p + 10 = -2*m, 0*p + 5*m + 25 = p. Suppose p = -r*c - c + 64. Solve c = 3*l + l for l.
4
Let h be (5*4)/(-3*35/(-42)). Solve 21*v = h*v - 3*v for v.
0
Let k be (1 - 15)/2*(-8 - -6). Solve 22*u = k*u + 16 for u.
2
Let s be ((-6)/9)/(2/(-39)). Suppose -4*h - 5 = -s. Solve h*k = 6*k for k.
0
Let o be 3 + -1 + -3 + 3. Let u(y) = -y - 13. Let s be u(-13). Suppose s = d - 1 + 2, -3*i + 4*d = -10. Solve v = o + i for v.
4
Suppose -17*k + 53 = -32. Solve k*s - 9 = 16 for s.
5
Let x = -85 + 32. Let p be ((-90)/60)/((-6)/296). Let m = p + x. Solve m = -5*b - 4 for b.
-5
Suppose -5*o - 9*b + 8*b = -132, 5*b = -2*o + 39. Solve 7*d - 16*d + o = 0 for d.
3
Let t(d) = -d**3 - 14*d**2 - 25*d + 1. Let b be t(-12). Let m be ((-10)/(-3))/(2/6). Let r = b - m. Solve -r = -2*n + n for n.
3
Suppose 3*m - m - 4*h - 242 = 0, -m + 118 = -3*h. Let d = m - 126. Solve -d = -0*k + k for k.
-1
Let l = -356 + 376. Suppose 4*z - 11 = c, 3*z - 3 - 11 = -5*c. Solve k = -z*k - l for k.
-5
Suppose 3*x - 3*w - 12 = 0, -3*x - 4*w - 10 = -x. Let l be (-2 + x)*(-2)/(-2). Let d be -4 + 7 + (-3 - l). Solve -o - d = 4 for o.
-5
Suppose -4*g - 12 = -44. Suppose g*z - 10 = 3*z. Solve -z*t = t + 12 for t.
-4
Let a be 3 + (-36)/14 - (-154)/98. Let z(s) = -s**3 + 5*s + 4. Let y be z(-3). Let l = 12 - 6. Solve -a*j = -l*j - y for j.
-4
Let v(b) = 5*b**3 + 5*b**2 + 6. Let m(k) = -4*k**3 - 5*k**2 - 5. Let j(r) = -6*m(r) - 5*v(r). Let d be j(5). Solve d = 2*u - 3*u + 1 for u.
1
Suppose -3*x = -47*z + 43*z + 9, 0 = 3*z + 3*x - 12. Solve -z*b + 8*b - 15 = 0 for b.
3
Suppose 0*n - 5*m = -3*n, -m = 3*n. Suppose -4*i + 43 + 57 = n. Solve -5 + i = 5*s for s.
4
Let t(x) = 7*x - 10. Let v be t(5). Suppose -v + 13 = -3*c. Solve -i + c = 3*i for i.
1
Let c = -49 + 50. Let k(i) = -i**2 + 1. Let l be k(c). Solve -u + l + 4 = 0 for u.
4
Suppose -304 = -11*t - 227. Solve -10 + 3 = t*b for b.
-1
Let x(b) = 4*b - 3. Let y be x(2). Let v = -588 - -588. Solve -2*w + 3 + y = v for w.
4
Let a = 300 + -294. Solve 0 = 5*c - 3*c + a for c.
-3
Suppose 32*x = 36*x - 20. Suppose -v = g - x, -5*g + 10 = -3*v + 25. Let r be 0 - ((2 - 1) + -5). Solve g = y + r - 3 for y.
-1
Let c be -14*(-7)/686 - (-2)/(-14). Solve c*z + 15 = -3*z for z.
-5
Suppose 0 = -4*n + 5*y + 42, 5*n - 52 - 5 = 4*y. Let v = n + -8. Let u = -12 + 32. Solve -u = -v*w - 5 for w.
3
Let v(y) be the first derivative of y**3/3 - 9*y**2 + 12*y + 19. Let n be v(18). Solve -5*o = n - 32 for o.
4
Suppose -25 = -3*t - 2*t. Let r = -944 - -948. Solve r = t*m - 3*m for m.
2
Let g(x) = -x**3 + 5*x**2 - 4*x + 6. Let f be g(4). Let y be 0 + 4/(-4) + 1. Suppose -15*b + 12 + 48 = y. Solve f = b*r - 10 for r.
4
Let s = 31 - 27. Suppose 5*c - s*i = 2*c, -3*c + 2*i + 6 = 0. Solve -7*j = -3*j + c for j.
-1
Let g(p) = -p**3 - 5*p**2 + 4*p - 4. Let y be g(-5). Let j be 2/7 - y/14. Suppose 5*b = -k + 4*b + 7, 6 = -j*k + 2*b. Solve 0 = -k*t - 4 + 10 for t.
3
Let w(o) = -4 - o**2 + 3*o - 11*o + 2*o**2 + 0. Let q be w(9). Suppose -3*u - 19 = -4*u. Solve -q*r - u - 6 = 0 for r.
-5
Let i(f) = 4*f - 3. Let s be (-3)/(-3)*-2 + 7. Let y be i(s). Solve -4*t - y = -5 for t.
-3
Let h(o) = 2*o**3 - 9*o**2 - 4*o + 1. Let l(b) = b**3 - 5*b**2 - 2*b + 1. Let u(c) = -3*h(c) + 5*l(c). Let s be u(0). Solve -1 = s*d + 7 for d.
-4
Let a be -4 - (-20 + 0/1). Suppose 0 = 2*v + 2*i - a, -3*v + 4*i - 11 = -4*v. Solve v*z = 3*z for z.
0
Suppose 2*v + 11 = 2*w + v, 5*w = -v + 45. Suppose w*t - 11*t = -12. Solve -6 = -6*p + t*p for p.
3
Let d(o) = -2*o**2 + 42*o + 263. Let c be d(-5). Solve 0 = 13*r - 10*r - c for r.
1
Let d(x) be the third derivative of -x**4/24 + x**3 - 70*x**2. Let j be 0/(2*1*-1). Let u be d(j). Solve -2*l - u = l for l.
-2
Let l be 10*-1 + 4 - 1. Let w = l + 22. Solve h + 4*h = -w for h.
-3
Let h(s) = 10*s + 1. Let c be h(3). Suppose 11*k = 2 + c. Solve 4 = x + k*x for x.
1
Suppose m - 5*f = 37, -m - 22 = 5*f - 19. Solve -7*o - m - 4 = 0 for o.
-3
Let l(h) = 3*h - 6. Let i be (-2)/1 - -3 - -4. Let s be l(i). Suppose 5*p - s = 3*f, 0*p - f = 2*p + 3. Solve p = 5*n - 2*n + 15 for n.
-5
Let o(n) = n**2 + n + 3. Let s(i) = -1. Let v(c) = o(c) + 5*s(c). Let u be v(-3). Let d be 12*(-1)/(-12)*u. Solve 0 = -3*y + d*y + 1 for y.
-1
Suppose 4*r + 2*i = -26, 2*r - 5*i = 5*r + 2. Let v be ((-8)/6)/(6/r). Solve 15 = -p - v*p for p.
-5
Suppose -3*a + 13 = 1. Suppose -s - a*s = 0. Solve 5*l = -s*l + 20 for l.
4
Let f = -5 + 9. Let g(q) = q - 16. Let o be g(10). Let j be (24/(-9))/(2/o). Solve j*b = 4*b - f for b.
-1
Suppose -2*h + 4*u = -0*u + 4, -4*u = h - 10. Solve 11 = -h*x + 21 for x.
5
Let v(p) = -p**3 + 2*p**2 + 3*p - 3. Suppose 6*a - a = 15. Suppose -2*o - 6 = -5*i + 10, -a*i - 2*o = 0. Let d be v(i). Solve -d*w = -w - 8 for w.
4
Let c(v) = -6*v**2 + v + 6. Let o be c(-2). Let r be 2/(-6) - o/6. Solve -4 = r*g - 1 for g.
-1
Let m(r) = r**3 - 15*r**2 + 12*r + 30. Let d be m(14). Suppose -3*z + 3*f + 9 = -2*z, -z = -4*f - 12. Solve z = i + d for i.
-2
Suppose 3*h - 5*o = -8 + 44, -48 = -4*h + o. Solve -7*f + 4*f - h = 0 for f.
-4
Let p(y) = -y**2 - 14*y - 4. Let o be p(-13). Suppose o*n - n = 16. Solve -12 = -2*c - n for c.
5
Let a(z) = -2*z**3 + 15*z**2 - 3*z + 1. Let l be a(7). Solve 27*w - l*w = 4 for w.
-2
Let q = -1263 - -1285. Solve 61*c + q = 72*c for c.
2
Suppose 0 = -d + 1 + 3, 5*d = 2*z - 16. Suppose -7*p - z = -60. Solve -p*r = -2*r + 20 for r.
-5
Let u(a) = a**2 + 5*a + 1. Let l be u(-5). Suppose 0 = -15*p - 430 + 505. Solve p*v + l = -4 for v.
-1
Let t be 30/4*(-32)/(-12). Let l(u) = -u + 24. Let r be l(t). Suppose -2*n + 10 = 4*s, 5*s + 2*n = 4*n + 8. Solve 2 = -r*k + s*k for k.
-1
Let l = 524 + -524. Solve 42*w - 37*w + 5 = l for w.
-1
Let l = -201 + 217. Solve 0 = -l*q + 6*q + 20 for q.
2
Let r(b) = 6*b + 2. Let v(j) = 4*j + 1. Let n(a) = 5*r(a) - 7*v(a). Let x be n(-9). Let m = -13 - x. Solve m*z - 5 = 7*z for z.
-1
Let v = -20 - -22. Let z = v - 5. Let j = 0 - z. Solve 0 = -0*f - 3*f + j for f.
1
Suppose -5*p - 2*u = -54, u + 9 = 2*p + 6*u. Solve -8*y = -p*y + 12 for y.
3
Suppose -47*t + 5*y - 4 = -46*t, 4*t - 34 = -5*y. Le