.
-1
Let y be 12/(-9)*(-15)/2. Let v = y - 4. Solve -w + 3*w = v for w.
3
Let d be 38/10 + 3/15. Suppose -y + 9 - 28 = -3*c, c - 21 = d*y. Let k = 6 + y. Solve -2*w - k*w = 4 for w.
-1
Let t be 1/(-3)*(-7 + 1). Let v(n) = n + 7. Let f be v(-5). Let u = f - t. Solve u = h - 3*h for h.
0
Let s = 5 - 4. Let a be 2/s*(-3)/(-2). Solve 11 = a*c + 26 for c.
-5
Suppose -2*f + 9 = -1. Suppose -17 = -f*t + 8. Solve 0 = t*a - 0*a + 10 for a.
-2
Suppose 9*d + 10 = 28. Solve -d*m + 5*m + 9 = 0 for m.
-3
Suppose -1 + 16 = 5*s. Solve 2*y + s*y + 25 = 0 for y.
-5
Let p be -3 + 4 - (-4)/2. Suppose -s = -p*s. Let j = 5 - s. Solve j*y = 17 + 8 for y.
5
Let u be 119/21 - 2/(-6). Let x(j) = j**3 + 5*j**2 + 3*j - 1. Let w be x(-4). Solve y = w*y - u for y.
3
Suppose 4*k - 2*k = -5*r + 15, k - r - 4 = 0. Let n(z) = 4*z + 5. Let y be n(k). Solve -2*d + y = -7*d for d.
-5
Suppose i = 6*t - t - 65, 2*i - 14 = -2*t. Let c = t + -12. Solve -5*j = -c*j for j.
0
Suppose -2*i = -0*i. Suppose 3*p + p - 12 = i. Solve 6*m - p*m + 9 = 0 for m.
-3
Suppose 0 = -4*i - 6*n + 8*n + 70, 60 = 3*i - 4*n. Suppose -r - r = -10. Solve -r*g = -g - i for g.
4
Suppose 3*x - 4*z = x + 10, z = 4*x - 34. Suppose -q = 5*o + 11, 0 = 3*q - 0*q - 3*o - 21. Solve -7*p = -q*p - x for p.
3
Let s be (20/30)/((-2)/(-9)). Suppose s*b + 2*b = 40. Solve -4*i = -0*i - b for i.
2
Let z be (24/20)/((-2)/240). Let i = z + 244. Suppose 4*l = -0*l + i. Solve -l = 5*s - 0 for s.
-5
Suppose 2 + 4 = -2*u. Let c(a) = -2*a - 3. Let j be c(u). Solve 1 = -j*l + 7 for l.
2
Let j(n) be the first derivative of -3*n**2 - 11*n - 6. Let y be j(-6). Solve -4*w = w - y for w.
5
Suppose -6*g + 76 = -2*g. Solve -4*h = -g - 1 for h.
5
Let j = -9 + 11. Solve -q = j*q - 12 for q.
4
Let z be (-1)/2*-2*0. Suppose k = 4 - z. Solve -3*l = -16 + k for l.
4
Suppose -8 = -5*a + 3*a. Suppose 0*h + 8 = a*h. Let k be 0 + (0/(-1))/h. Solve k = -5*f - 25 for f.
-5
Let q = 7 - 5. Let s(k) = k**3 - 7*k**2 + 4. Let o be s(7). Suppose -3*t + d = -45, 2*t - t - 8 = -2*d. Solve -t = o*x - q for x.
-3
Suppose 42 = 4*t - 4*n + 2*n, -2*t + 11 = n. Solve -t = -3*w + 7 for w.
5
Let y be (2*-1)/((-32)/48). Suppose -4 = 4*x - 48. Let t = x - 8. Solve 0 = t*v - 2*v - y for v.
3
Suppose -2*y - 3 - 13 = 4*c, 4*y + 12 = 2*c. Let h be (-9)/c + 4/(-8). Let d = -28 - -33. Solve 0 = h*a + a - d for a.
1
Let i(p) be the third derivative of -p**5/120 + p**4/24 - p**3/6 - p**2. Let o(c) be the first derivative of i(c). Let n be o(-4). Solve n*x + 12 = x for x.
-3
Suppose -x + s = -1, -s - 7 = -2*x - 0*s. Suppose -5*v + 2*j + 14 = -2*v, v - 4*j = 8. Suppose 6 = 3*n - 2*n. Solve n*i + x = v*i for i.
-3
Let l be (-10)/3*(-2 - 1). Suppose -5 = -5*g + l. Solve -2*s + g = s for s.
1
Let c = 0 - 0. Suppose 3*g - 15 = -0*g. Suppose c*h + g*h = 0. Solve h = 2*m + 2*m for m.
0
Suppose 4 + 4 = -4*v. Let f = 2 + v. Let q = -14 + 22. Solve f = 5*y + q - 3 for y.
-1
Suppose 12*i = 8*i. Suppose -n + i = -3. Solve -p = -4 + n for p.
1
Let m(u) = -10 + 11 - 2*u + 9. Let v be m(5). Solve 0 = -v*f + f + 5 for f.
-5
Suppose 4*h - 10 = -h - 5*t, 0 = h - t. Solve 4*g - 7 = h for g.
2
Let d(n) = -2*n**2 + 2*n + 1. Let k be d(-1). Let p(x) = x**2 - 3*x + 2. Let i be p(2). Let y be (4 + i)*k/(-2). Solve 6*f - y = 3*f for f.
2
Suppose -5*p = -p - 16. Suppose q - 1 = p. Solve -7 - q = 3*c for c.
-4
Let m(q) = q**3 - 2*q**2 - 3*q + 2. Let i = 6 + -3. Let r be m(i). Solve -5 = 3*t - r for t.
-1
Let x be 6/9*24/(-16). Let f be x - (-1 + 2/(-1)). Solve w + 5 = f*w for w.
5
Suppose -9 = -4*i + 23. Suppose -2*b - i = -3*b. Solve 0 = 4*p - b for p.
2
Let n(j) = j**3 - 5*j**2 + 2*j - 5. Let w be n(5). Suppose 5*a - w = 0, -3*a - 2 = -2*z + 1. Solve -z*t + 4 = -4*t for t.
-4
Suppose n - 10 = -4*t + 5, 5*t = -4*n + 27. Solve 1 - 4 = t*v for v.
-1
Suppose 5*w = 9 + 1. Suppose 2*k + 13 = -3*d, 0*k + 2*d + 12 = w*k. Suppose 0 = -t + 1 + k. Solve -3 = -t*f + 3*f for f.
-3
Suppose -l - 3*j + 9 = 0, 2*j = -4*l + 5 + 1. Suppose l = -p + 6*p - 35. Solve 2*v = p*v - 25 for v.
5
Let y(k) = -9*k**3 - 4*k - 3. Let p be y(-1). Solve -p = 6*n - n for n.
-2
Suppose 3*i + 2*z = 21, 2 + 9 = 4*i - 3*z. Let m(v) = v**3 + 3*v**2 + 4. Let a be m(-3). Solve 6 = i*j - a for j.
2
Suppose 3*j + 3 = -i - 1, 10 = -5*j. Suppose 2*d - 20 = -3*d. Solve i*h - h - d = 0 for h.
4
Suppose 17*i - 12*i - f = 6, 0 = 2*i + 4*f + 2. Solve 0*q = q - i for q.
1
Let p = -1 + 4. Suppose -p*q = 2*q. Suppose c = -q*c + 5. Solve 4*x = -c + 1 for x.
-1
Let n(x) = 3*x + 4. Let l be n(0). Solve -5*d + 14 - l = 0 for d.
2
Suppose 0*k + 2*k - 8 = 0. Suppose d - 9 = k*y + 2*d, -y - 5*d = 26. Let w = -1 - y. Solve w*t = -4*t for t.
0
Let h be 102/2*(-4)/(-12). Solve -3*o - h = -5 for o.
-4
Let k = -30 - -33. Solve k*l = -2*l + 15 for l.
3
Let j = -15 + 9. Let x = 9 + j. Let p(u) = u**2 + 4*u + 4. Let g be p(-4). Solve 0 = -x*o + 4*o + g for o.
-4
Let b(g) = g**3 + 4*g**2 - 1. Let x be b(-3). Let o = x - 6. Solve o = -i - 0*i for i.
-2
Suppose 4*n = -2*o + o + 3, -6 = -5*n + o. Let x be (6/10)/(-1)*-5. Suppose 5*q = 3*q + x*w + 6, 0 = w. Solve 0 = q*z - 7 + n for z.
2
Suppose 3*v - 7 = j, 0*j - j - 4 = -2*v. Solve w = -v*w - 4 for w.
-1
Let h(t) = -27 - t + 14 + 30. Let y be h(15). Solve -y*k - 1 = 7 for k.
-4
Let d(n) = n**2 - n - 2. Let h = 4 - 1. Let b be d(h). Solve b*a = -a + 10 for a.
2
Suppose 2*y + y = f + 2, -5*f + 22 = y. Solve -5 = -h - f for h.
1
Let d be (-4 + 6)*(-9)/6. Let x = d - -3. Solve x = b + 2*b + 9 for b.
-3
Let l(f) = f**3 - 10*f**2 + 3*f + 1. Let p be l(8). Let m = 148 + p. Suppose 6*u - u = m. Solve u*r = 4*r for r.
0
Let g be (-2)/4*(1 + 1). Let f = 4 + g. Solve -f = -2*b - b for b.
1
Suppose 4*t - 4 - 4 = 0. Suppose -t*z - 2*z = 0. Solve z = 5*f + 20 - 0 for f.
-4
Suppose 0*d - 2*d = -n, -d + 4*n - 14 = 0. Solve -2*j = -0 - d for j.
1
Let y(g) = 2*g**3 - 2*g + 1. Let w be y(1). Let a be w/2*0/2. Suppose 0 = 2*c - a*x - x - 12, x + 16 = 3*c. Solve 5*t = -c + 19 for t.
3
Suppose 0 = -2*t - 2*a - 2, t - 3*a - 27 = -4*t. Suppose -t*n - s + 5*s + 37 = 0, 0 = -4*n + 3*s + 47. Suppose 3*h - n + 2 = 0. Solve -c - 16 = h*c for c.
-4
Let d(i) = i**2 + 2*i + 1. Let z be d(-3). Solve 0*w - z*w = -8 for w.
2
Let z be ((-32)/(-2))/(7 + -5). Solve 3*q - z = -q for q.
2
Let s be 2 - 5/((-5)/(-2)). Solve -4*c - 16 + 0 = s for c.
-4
Suppose r - 1 = 0, -2*j - 20 = -7*j - 5*r. Solve -2*h = -h + j for h.
-3
Suppose 2*o = 4*g - 10, 7*g + o - 30 = 2*g. Solve 0 = -3*a + g*a + 10 for a.
-5
Let c(b) = 3*b - 14. Let i be c(7). Let z = -12 - -14. Solve -3*g - z = i for g.
-3
Let g(b) = -b + 1. Let i be g(-1). Let d be (i/3)/(6/45). Solve 25 - 10 = -d*a for a.
-3
Let d(x) = x**2 + 1. Let u be d(-2). Let r = u - -1. Solve 4 = 8*p - r*p for p.
2
Let a(o) = -o. Let s be a(-2). Suppose -4*w = 4*f - s*w - 98, -5 = 5*w. Solve -f = -0*c + 5*c for c.
-5
Suppose -2 = 3*s - 47. Let p be 18/s - 2/10. Solve -2*g + 3*g - p = 0 for g.
1
Suppose -h - 3*u - 1 = 6, -5 = 5*h + 5*u. Solve -h*s = s for s.
0
Let v = 7 + -4. Suppose 52 = 5*o - v*o. Let c be (-2)/6 - o/(-6). Solve -5*x - c = -x for x.
-1
Let f be (75/(-4))/(2/(-8)). Let p be (-1)/3 + f/9. Solve 0 = -v + p - 4 for v.
4
Suppose 5 = -3*q + 11. Solve -5*t + q + 8 = 0 for t.
2
Let z = -2 - 3. Let d = z - -9. Suppose 0 = -d*v + 2*v. Solve v = -5*b + 1 + 14 for b.
3
Let p(q) = -q**3 + 6*q**2 + 3. Let g be p(6). Solve -1 + 13 = -g*h for h.
-4
Let q = 42 + -30. Solve 3*t - q - 3 = 0 for t.
5
Suppose -u = -6*v + v + 6, 2 = u + 3*v. Let w = u + 3. Solve 0*z + z + w = 0 for z.
-2
Let m be -1*(0/(-5) - 1). Solve -2*c - m = -3*c for c.
1
Let d(c) = -c**2 - 6*c - 3. Let s be (-4)/6 + (-52)/12. Let y be d(s). Solve u - y + 7 = 0 for u.
-5
Let r(m) = m**3 - 8*m**2 + 8*m - 3. Let l(k) = -2*k**3 + 16*k**2 - 16*k + 5. Let d(t) = 2*l(t) + 5*r(t). Let v be d(7). Solve -v*s + 0*s - 10 = 0 for s.
-5
Let y be (3/(18/10))/((-1)/(-3)). Solve 10 = y*j - 0 for j.
2
Let d(k) = -2*k - 2. Let v be d(-5). Let f = v - 5. Suppose 0 = -f*h - 3 + 18. Solve l - h*l + 16 = 0 for l.
4
Suppose -9*n + 25 + 2 = 0. Solve -8 = b - n*b for b.
4
Suppose -3*z = -60 + 24. Let y be (1 - 1 - -1) + -1. Solve y*h - z = 3*h for h.
-4
Suppose 5*i - 7 = 13. Let n = -1 + i. Solve -n*f = -6 - 0 for f.
2
Suppose -p + 6*p = 15. Solve 5 = p*i - 7 for i.
4
Let m = 27 +