1
Suppose 0*i + 17 = -5*i + 3*j, -3*j = -4*i - 16. Let w(f) = 3*f**2 + f + 1. Let r be w(i). Solve -z + 7 - r = 3*m, -2*m - 2*z + 4 = 0 for m.
1
Suppose 5*q + 3*q = 0. Solve -2*b = 3*g, q = b - 3*g + 14 - 5 for b.
-3
Let j(w) be the second derivative of 5*w**3/6 - 3*w**2/2 - 24*w. Let p be j(3). Let o = 4 + 0. Solve r + 4*h = -p, -o*r + 9*r = 3*h + 32 for r.
4
Suppose 0 = -3*w + 2*l + 5, l + 4 = -3*w + 5*w. Solve p - 2 = -3*t - w, -1 = p - 2*t for p.
-1
Let u be ((-84)/30 + 3)/((-2)/(-20)). Let c = 14 + -9. Suppose -3 = u*p - c*t + 3, p + 6 = 4*t. Solve 0 = k - r - 3 + p, 0 = 3*k + 2*r - 18 for k.
4
Suppose -5*b - 55 = -d, 9 = -2*d - 2*b + 83. Let n = 48 - d. Solve 3*f = 5*j + 10, 3*f + 2*f - n = 4*j for f.
0
Let x be 2/6*0 + 3. Solve -16 + 5 = x*n - i, n = 4*i for n.
-4
Suppose 5*n - 4*l = 338, l = -3 + 1. Let y = n - 44. Suppose 18*h + 76 = y*h. Solve -4*t + h = -2*p - 3, 3*t = 5*p + 20 for p.
-1
Let z(y) = 11*y + 235. Let g be z(-21). Solve -8 = -g*d - 2*s, -2*s + 3 + 4 = 3*d for d.
1
Suppose 3*i - 9 = -21. Let c be (-24)/(-15) + i/(-10). Solve 10 = -2*l + 2*u - c, l + 4 = -u for l.
-5
Let s be (5/3)/(30/36). Solve -s*p + 3 = -4*p - 3*z, -4*p + 27 = -5*z for p.
3
Let w = 1434 + -1432. Solve 0 = -4*b + s + 1, 4*b - 5*s = -w + 7 for b.
0
Let b(u) = u**3 + 8*u**2 - 12*u - 23. Let w be b(-9). Solve 3*y = w*z + y + 16, 2*z - 4*y = -20 for z.
-2
Suppose 5*u - 9*u = -8. Solve 5*k + 4*c = u*c + 31, 27 = 3*k + 4*c for k.
5
Suppose -10*x + 112 = 18*x. Solve s + 3 = t, x*s - t = -3*t - 6 for s.
-2
Let s be (1 + 8)*(-4 - -3). Suppose 2*o + 6 = -0*o, -3*o = 5*j + 324. Let r be 12/s*j/28. Solve 3*p - r*z = -18, -2*z + 7*z = -5*p + 20 for p.
-1
Suppose -2*n - 388 = -4*a + n, 2*a + 4*n - 216 = 0. Suppose 0 = -2*d + a - 20. Suppose d = 4*y - 0*y. Solve -3*o + 10 = -2*s, -3*o - y + 0 = 2*s for o.
0
Let i(o) = -36*o - 180. Let c be i(-5). Solve -5*a - 4*m - 27 = c, 5*m = -4*a - 8 - 19 for a.
-3
Suppose 0 = 5*d - 2*d + 24. Let o(m) = -7*m + m**2 + 0*m**2 - 2*m**2 + 1 + 9. Let h be o(d). Solve -5*w + 3*p + 18 = 0, 2*p = h*w - 6*w + 10 for w.
3
Let i = 40 + -37. Solve 3*x = -5*v + x + 7, 0 = 5*v + 3*x - i for v.
3
Let d be 303/27 - 16/72. Let y(o) = -2*o + 32. Let r(i) = i - 16. Let z(k) = -13*r(k) - 6*y(k). Let a be z(12). Solve -d = a*g + 5*b, g - 5*b + 2*b = -7 for g.
-4
Let h(j) = -5*j - 4. Let t be h(-4). Suppose 14 = 4*v - y, 0 = 5*v - 95*y + 96*y - 22. Solve v*n + 24 = 4*c, -c + 2*n = -n - t for c.
1
Suppose 5*o + l - 36 = 0, -25 = 2*o - 5*o - 4*l. Solve 2*i + y - o = 0, 2*i + 2 = -2*y + 14 for i.
1
Suppose u - 175 = -4*u. Let s = -33 + u. Suppose -6 = -0*h - 2*h. Solve v + 2*z + 9 = 0, s*z + 35 = -5*v - h*z for v.
-5
Let a be (1 + -1 + 0)/(2 - 5). Solve 5*f - u + 0*u + 15 = a, -4*f - 12 = -2*u for f.
-3
Suppose 44 = 4*l - 4*b, -l + 3*b + 28 = 9. Suppose 2*y + o - 24 = 0, 0 = 5*y - 4*o + l*o - 62. Solve 3*d = -5*t - y, -2*d + t = d - 2 for d.
0
Let a(h) be the third derivative of h**4/4 - h**3/2 - 10*h**2. Let r be a(1). Solve -5*k = b + 10, 4*b + 19 = -r*k + 4*k for k.
-1
Suppose -3*c + 5 = -1. Suppose 3*v = -0*v - 4*k + 15, 4*v - 20 = -4*k. Suppose -80 = -v*j - 10. Solve -7*h + 3*h - 2*q = 10, 4*h - c*q + j = 0 for h.
-3
Let c = 1741 - 1738. Solve w = 3*u + 3 - 5, -3*w + 6 = c*u for u.
1
Let n = 17 - 12. Suppose 0 = -5*z - 25, n*z + 23 - 2 = -2*v. Solve u + 3*p = -2*u + 9, u + v*p = 8 for u.
-2
Let j(p) = -3*p**3 - 2*p**2 - 2*p - 1. Let c(k) = -k**2 + 6*k - 10. Let l be c(3). Let u be j(l). Solve 0*b - 3 = u*i - 3*b, -2*i - 11 = 5*b for i.
-3
Let d(h) = -2*h**3 + 23*h**2 - 12*h + 14. Let a be d(11). Solve -5 = -r - v + a*v, 3*r - v = 0 for r.
-1
Let r be (-72)/28 + 2 + 96/21. Solve 4*n + x = 1 + 6, 12 = r*x for n.
1
Let b be -4 + 19/(76/24). Let d = -31 - -14. Let u = -12 - d. Solve j - b*j = -u*w + 10, 0 = -2*j for w.
2
Let h(d) = -d**3 + 9*d**2 - 11*d - 16. Let s be h(7). Solve 0 = -3*k - 3, 3*v - s*k - 5 = -3*k for v.
1
Let u(n) = 7*n + 7. Let i be u(-4). Let w = -3 - i. Let t = 22 - w. Solve -4*y = -t*k - 28, -5*k - 27 = -7 for y.
3
Let l = 0 + -32. Let b = -19 - l. Solve -4*o + b = -0*o - 3*x, 2*o - 4*x = 4 for o.
4
Let v(i) = i**2 + 4*i. Let b be v(-5). Suppose 116*y = 115*y + 15. Suppose g + y = 4*g. Solve 3*p = s - g*s + 20, -b*p = -4*s - 12 for s.
2
Let v(s) be the first derivative of s**2 + 26*s + 9. Let b be v(-5). Solve 5*q - b = 3*c, 0 = 2*q - 4*q + 3*c + 10 for q.
2
Let f be 2499/231 + 9/(-11) + 1. Solve 3*a = 4*d - 1, 4*a = a + d + f for a.
5
Suppose 0 = 24*f - 27*f + 15. Solve 0 = 5*a + z + 12, -f*z + 3 = 3*a - 3 for a.
-3
Let c(j) = 7*j + 121. Let y be c(-17). Solve -4*n - 2 = -2*x + 3*x, -5*n - 1 = y*x for n.
-1
Suppose 24 + 36 = 2*v. Suppose 0 = 3*y + 5*a - 1 - 14, 0 = -y - a + 5. Solve -4*g + 5*g - 8 = 2*h, y*g - 5*h - v = 0 for g.
4
Suppose 3*b + 6 = -4*u, 2*u + 0 + 12 = 3*b. Let i be ((-15)/(-10))/(b/(-12)). Let v be -1 - (-1 + -2) - i. Solve -3*a - 6 = -5*d + 8, d + v = -4*a for d.
1
Let c(d) = d**3 - 15*d**2 + 14*d + 3. Let z be c(14). Suppose 6*f = z*f. Solve -5*x - 3*b - 23 = f, b = -5*x + 6*b - 15 for x.
-4
Suppose -2*z - 11 = -3*p + 8, -2*p + 6 = -3*z. Suppose 4*x - 19 = -k, p = 3*x - k - 14. Solve -2*r + 0 - x = -5*o, 0 = r - o for r.
2
Suppose 3*s - 4*o = 170, 0 = -4*s - 4*o - 79 + 287. Let k be s/81 - ((-26)/6 + 1). Solve 0 = -4*j - k*y, 4*y - 8 - 2 = j for j.
-2
Let b(u) = -2*u + 2. Let p be b(2). Let h be (30/3)/p - -4. Let j = h - -4. Solve 0 = d + 3, j*g = 5*d - 3 + 12 for g.
-2
Let o(d) = d**3 - 4*d**2 + 8*d - 7. Let g be o(4). Solve 0 = 3*y + b + 10, 2*y + g = -y + 2*b for y.
-5
Let a(y) be the first derivative of y**3/3 + 3*y**2 + 9*y - 2. Let g be a(-8). Suppose 5*k = 11 + 4. Solve -4*l - l + k*h = g, 0 = -3*l + h - 11 for l.
-2
Let q(u) = -3*u**3 - u**2 + 5*u + 4. Let k be q(-3). Let o = k - 9. Solve 4*g - 3 = 3*b, -3*g - 5*b - o = -18 for g.
-3
Let v(a) = a**2 - 238*a - 1425. Let y be v(-6). Solve 5*j = 4*b - y + 8, -3 = j for b.
4
Let w(t) = -6*t**2 + 59*t + 12. Let v be w(10). Solve 2*r = -v, 2*f - 5 = -r - 12 for f.
-3
Let a(w) = -2*w + 10 - 5 - 7. Let x be a(-2). Solve -p = -x*h + 9, 4*p = -0*h - 2*h + 14 for p.
1
Suppose 0 = -3*g - l + 3, 18*g - 2*l = 17*g - 6. Solve g = -2*c + 3*k + 12, -13 = -5*c - 8*k + 7*k for c.
3
Let p = -1067 - -1080. Solve 4*k - 4 = -4*m - 0, -p = 2*m - k for m.
-4
Let t(n) = 11*n + 1. Suppose -l = -5*l. Suppose -x - i = -0*i - 3, l = -4*x + 2*i. Let j be t(x). Solve 2*u = -5*g + 5 + j, 0 = -3*u - 3*g + 12 for u.
1
Let y = -16 + 20. Suppose -14 = -5*o - y. Suppose 0 = -3*r, 4 = -o*z + r + 8. Solve b = -3*b + 3*u - z, -10 = -5*u for b.
1
Suppose 0 = -0*h + 4*h + r - 2, -5 = 5*h + 5*r. Suppose 5*g - 10 = -3*x, -h = -g - 2. Solve -3*z - 3*v + 2*v + x = 0, -4*v - 10 = 2*z for z.
3
Let c be ((-8)/(-24))/((-2)/(-30)). Suppose -c = 2*l - 21. Solve 3*x + 3*n = 5*x + l, -n = -2 for x.
-1
Suppose 9 = 4*m - 15. Suppose 163 = -3*f + 154. Let s be 7/3 - ((-4)/f + -1). Solve 3*n - s = 4, h + 4*n = m for h.
-2
Let m(y) = 4*y + 76. Let j be m(-18). Solve 0 = -v + 4*i + 23, 3*i - j = v - 22 for v.
3
Suppose 0 = 5*v - 581 - 49. Suppose -4 = -y - 0, 5*h - y - v = 0. Solve 5*f - h = 4*b, -2*f + 6 + 14 = -4*b for f.
2
Let b = -1233 - -1233. Solve -f - 2*x - 3 = b, 4 = -x + 5*x for f.
-5
Suppose 8 = 2*r - r. Suppose -z = z + r. Let p be 4/(-3 + 1 - z). Solve 7*a - p*a = -4*o + 27, -5*a + 5*o = 0 for a.
3
Suppose 0 = 4*v - 2*s - 10 + 2, 2*v + 4 = 3*s. Let b be -4 - (1*104)/4. Let p be 21/(-28) + b/(-8). Solve 2*z + v = 12, p*q - 3*z = -6 for q.
2
Suppose -44 - 26 = -14*r. Solve h - 3*v = 4 - 1, 0 = r*h - 5*v - 5 for h.
0
Let a be (1/(-1))/(((-4)/6)/2). Suppose -a*s + 6 = -0. Solve -v = 5, -s*v = -5*z - 6*v - 30 for z.
-2
Suppose 4*m + 3 = 3*c, 0*m = 2*m + 3*c - 21. Solve -p - 5*w + 17 = 2, m*w = -5*p + 31 for p.
5
Let o = -42 + 47. Suppose 0*y + y - 20 = 0. Solve -y = 4*p - 2*s + s, o*p + 4 = -4*s for p.
-4
Suppose i - 14 + 12 = 0. Suppose -q + 15 - 4 = -i*d, -4*q + 29 = -3*d. Solve q*o + 4*s = -9, -5*o + 3*s - 2 = -0*s for o.
-1
Let x = 381 - 377. Solve -3*l - 31 = -4*h, 5*l = -x*h - 12 + 3 for h.
4
Suppose -64 = -17*t + 21. Solve 3*b + 2 = 2*b, t*a + 4*b + 18 = 0 for a.
-2
Let c(u) = -2*u - 11. Let g be c(-9). Suppose h - 5*s = -0*s - g, -3*s - 9 = -5*h. Solve -h*i + 3*b - 2*b = 0, 3*b = 2*i for i.
