
2
Let s(h) = -9 - 10 - 4 + 26 + h**2. Let r be s(0). Solve 14 = -r*l + 8 for l.
-2
Suppose -3*t - 2892 = -2949. Solve 0 = -13*y + 20 + t for y.
3
Let i be (-3)/9 + -3*1/(-9). Solve 3*q + 0*q + 6 = i for q.
-2
Let y = 0 - 0. Let v be (-2)/((-2 + (-33)/(-12))/(-3)). Suppose -m + v = -4*i, -3*m + 1 = -2*i - 3. Solve m = -y*g - g - 5 for g.
-5
Let k = 36 + -55. Let z = k - -22. Suppose 6*c = 5*c + z. Solve -c = -4*n - 11 for n.
-2
Let c be -1 + 6 + -5 + 3. Let g(k) = -3*k. Let x be g(c). Let t = x + 9. Solve -5*a = -t*a + 10 for a.
-2
Suppose 0 = 574*h - 582*h + 24. Suppose 0 = -5*b + 3*n + 70, -2*b = -2*n + 13 - 45. Let j = 0 + 1. Solve h*q - b = j for q.
4
Suppose 2*y - 4*p + 12 = 6*y, 0 = -p + 3. Let b be (-4 - y - -2) + 3. Let u be 4/(-6) + 44/12. Solve u - b = 2*x for x.
1
Let f = 9 + -17. Let y be (-2)/6 + f/(-24). Suppose 2*r = g + 9, y = r + 4*g - 38 + 11. Solve 4*p = r*p for p.
0
Suppose 6*g - 3*a - 25 = 4*g, -g = a. Solve -11*x + g*x + 12 = 0 for x.
2
Suppose 0*c + 4*c = -4*s + 52, -43 = -5*s + 6*c. Solve s + 7 = 9*r for r.
2
Let o(u) be the second derivative of u**4/12 + 7*u**3/6 - 8*u**2 - 14*u. Let b be o(-9). Solve 0*y = b*y + 10 for y.
-5
Suppose 0 = 9*g - 19*g - 40. Let d(q) = 4*q + 1. Let x be d(-1). Let u be x/(g/(20/3)). Solve 2*p - u*p - 6 = 0 for p.
-2
Let p(f) be the second derivative of -f**3/3 - 3*f**2 - 11*f. Let o be p(-9). Solve 3*z = 6*z + o for z.
-4
Let s(g) = -6 - g + 2 - 5. Let q be (5 + (-207)/(-18))*(-6)/9. Let t be s(q). Solve -2*m - t*m = 8 for m.
-2
Let k(q) = -7*q - q - q + 12 + 7*q. Let v be k(5). Solve v*b - 7 = -1 for b.
3
Suppose -17 + 1 = -4*z. Suppose -n = -4*t + 73, -z*t - 27 + 115 = -4*n. Suppose -3*o - 2*v + t = 0, -4*o + 5*v = 3*v - 4. Solve -4*c + o = -3*c for c.
3
Suppose 3 = 4*t - 1. Suppose 0 = -2*o - z - t + 12, -2*z + 26 = 5*o. Suppose 0*p + 16 = o*p. Solve v + p*v = -5 for v.
-1
Let s be (0*6/(-42))/(0 + -2). Solve 2*a - 3 + 9 = s for a.
-3
Suppose -2*c = 2*t + 4, -3*t + 5*c + 26 = -0*t. Solve 2 = -i - t for i.
-4
Suppose 3*b + 1 = m, m - 5*b + b = 1. Solve i = -0*i - m for i.
-1
Let c = -484 + 491. Solve 3*q = 4 - c for q.
-1
Suppose -11*t = -9 - 68. Solve -8*x - 2 = -t*x for x.
-2
Let i be (0/1)/((-2)/2). Suppose k = 4*r, i = -r - 5*k - 0*k. Solve r = -2*v + 3*v - 5 for v.
5
Suppose -2 = a - 2*a. Let q be (3 - 5)*(0 - 3/3). Solve a*n = -q*n - 8 for n.
-2
Let i be 53 + -45 - (-4)/(-1). Solve 136*n - i = 134*n for n.
2
Suppose -4*p = -3*p - k - 5, -5*p + 11 = 2*k. Suppose 2*t - 7 = 2*x + 3, 3 = -p*x. Let n be (-5 - 0)*-1 - 1. Solve -4 = -n*u + t for u.
2
Suppose k = j - 14, k - 45 = -3*j - 23. Let l = -10 - -14. Solve 1 - j = l*b for b.
-2
Let m = 1 - 0. Suppose -6*b - 24 = n - b, -5*n - b = 0. Let c be n*(-1 + 2) + 1. Solve -m = -g - c for g.
-1
Suppose 13 - 25 = -3*u. Suppose 0 = -3*a + 17 + u. Suppose 2*q = 2*w + 4, 20 = -3*q + a*q. Solve 0 = w*z + 1 - 4 for z.
1
Let m be 3*(-1)/2*-2. Let u(a) = -3*a + 41. Let z(k) = 3*k - 53. Let c be z(22). Let r be u(c). Solve -r*t + 1 = -m*t for t.
-1
Let m be (16/(312/(-39)))/(4/(-10)). Suppose 5*h + 10 = 3*n, -4*n - 3*h + 11 = -12. Solve m*b + 20 = -n for b.
-5
Suppose -144 = -723*u + 707*u. Solve u*s + 10*s + 76 = 0 for s.
-4
Let i = 72 + -54. Solve 22*j + i = 4*j for j.
-1
Let v be 1*(0 - 2)*-1. Let h(p) = -6 + 7*p + 3*p + p**v + p - 8*p. Let i be h(-5). Solve i*g = -g + 5 for g.
1
Let y(l) = -1 + 8*l + 2*l**3 + l - 3*l**2 - 4*l - 2*l. Let c be -1 + 4 + 0 + -1. Let d be y(c). Solve 4*h = d*h - 5 for h.
1
Let q be (0 + -3)*(-2 - -1). Suppose 4*t - q = 13. Let z = t - 2. Solve 2*m - z = 4*m for m.
-1
Let y be (-1 - 2/10)*1120/(-168). Solve -6*t - y - 16 = 0 for t.
-4
Let z(t) = t + 3. Let k be z(6). Let i = 7 - k. Let a be -6*1/i + -1. Solve 0 = -3*o - a*o + 20 for o.
4
Let c(a) = -2*a**2 + 18*a - 13. Let j be c(8). Solve j*p + 2 = 8 for p.
2
Suppose -9*g + 2*g + 42 = 0. Suppose g*i + 0*i = 0. Solve -6 + i = -2*w for w.
3
Let q = 281 + -279. Solve 3 = q*v + 5 for v.
-1
Suppose 0 = -5*m + 45 - 25. Suppose -m*a + r = -12, -3*a + 3*r - 6 = -5*a. Solve -g + 16 = a*g for g.
4
Let x be (3*(-4)/(-4))/(6/(-150)). Let r = -75 - x. Solve 0 = -i - r*i + 3 for i.
3
Let i(a) be the third derivative of a**5/6 + a**4/24 - 7*a**2. Let b be i(-1). Solve -b*c = -6*c - 3 for c.
1
Let m(c) be the first derivative of c**3/3 - 2*c**2 + 6*c + 1. Let r be -2*-2*(-1 - -2). Let j be m(r). Solve -j = -4*p - 18 for p.
-3
Let x(i) = i**3 - 5*i**2 - 6*i + 2. Let d be x(6). Suppose -5*j = -3 - d. Let p be (-5 - -5)/(j + -3). Solve -3*c - 1 - 2 = p for c.
-1
Let u be (-4)/6*36/(-8). Let r(t) = 6 - t**u - t + 5 - 9. Let j be r(0). Solve 0*a + a + j = 0 for a.
-2
Suppose -1210 = -55*h + 33*h. Solve 58*c = h*c + 15 for c.
5
Let q = -352 + 355. Solve q*h = 22*h - 57 for h.
3
Suppose -4*o - 2*w + 56 + 46 = 0, -5*o + 4*w = -95. Solve -o = -4*f - 3 for f.
5
Let n(p) = p**3 - 4*p**2 + 2*p - 8. Let j be n(4). Suppose 3*w + 5*k = 5, j*w - 2*w - 4*k = -4. Solve w*t = -2*t + 4 for t.
2
Suppose -6*c + 4*p + 5 = -5*c, 15 = 3*c + 4*p. Let k be (-12)/(-8)*8*1. Suppose -2*q + 0 = -k. Solve c*h = 2*h - q for h.
-2
Let v(c) = -11*c + 431. Let h be v(39). Solve h*l + 20 = -3*l for l.
-4
Suppose 0 = 3*o - 2*t - 4, 2*o - 7 = 3*t - 6. Solve 13 - 5 = -o*y for y.
-4
Let q(t) = -10*t - 5. Let c be q(-1). Suppose -3*k - g = -c, -4*k + 7*k = -4*g - 7. Solve -3 = 3*w + k for w.
-2
Let a(w) = -w**3 + 4*w**2 - 2*w + 5. Let j be a(4). Let k(s) = s**2 + 3*s + 2. Let q be k(j). Solve q = m + 4 for m.
-2
Let w(g) be the second derivative of -1/3*g**4 - 7/6*g**3 + 0 + 1/20*g**5 + 2*g + 6*g**2. Let q be w(5). Solve -q*r + 3 = -r for r.
3
Let x = -28 - -138. Let c = -103 + x. Solve 20 = -c*a + 2*a for a.
-4
Suppose -8*f - 43 + 123 = 0. Let t = 7 + -3. Solve 2 + f = -t*h for h.
-3
Let f = -687 - -702. Solve f - 39 = 8*n for n.
-3
Let i(k) be the third derivative of -k**5/60 - k**4/4 + 5*k**3/3 + 7*k**2. Let b be i(-7). Suppose -4*v + 32 = v - o, b*o = -6. Solve -v*x = -x for x.
0
Suppose 26 = -2*a + 28*a. Solve 3 = -4*t - a for t.
-1
Let k be 2/(-7) - (4 + (-372)/28). Suppose -3*n = -4*v - 3, 14 = 4*n - 2*v - 0*v. Let x(y) = -y**2 + 6*y - 1. Let b be x(n). Solve 0 = -k*s + b*s + 25 for s.
5
Suppose 0*g + 2*a = 3*g - 25, -4*a = 20. Suppose 0*c - 19 = c. Let u = 23 + c. Solve -g*z = -u - 6 for z.
2
Let c be ((-1)/(-1) - 0) + 1. Let p(g) = g - 18. Let x(l) = l - 20. Let u(n) = -7*p(n) + 6*x(n). Let k be u(c). Solve 0 = k*q + q + 10 for q.
-2
Let z(x) = 4*x - 81. Let l be z(21). Solve -l = -0*n + n for n.
-3
Suppose 38*k - 260 + 146 = 0. Solve -k*n + 15 = -0 for n.
5
Let c(t) = -2*t**3 - 29*t**2 + 13*t - 27. Let u be c(-15). Solve u*z = -6 + 3 for z.
-1
Let a = -12 + 24. Let v be a/(-66) - 24/(-11). Solve m = -1 + v for m.
1
Let m = -635 + 654. Solve m = 4*w - 1 for w.
5
Let r be (-3 - -4)/(12 - 11). Solve -4*z - r + 5 = 0 for z.
1
Let z = -3 + 0. Let m be (-2 + (-6)/z)/1. Suppose -4*n - 3*q + 18 = m, -3*n - 4*q + 0 = -17. Solve -l = n*l for l.
0
Let p = 24 + -21. Suppose -p*t + 6 = -0*t. Suppose i + 1 = t*m - 1, -5*i + 10 = 0. Solve 0 = 5*q + m - 27 for q.
5
Let a = 47 + -64. Let b(u) = -u**2 - 15*u + 35. Let l be b(a). Solve t = l + 2 for t.
3
Suppose 342 - 1302 = -60*i. Solve -4*n - 4 = -i for n.
3
Suppose 4*s + 17 - 1 = 0, -2*j = -4*s - 32. Suppose -j*m = -4*m. Let f = m - -5. Solve -2*q - 15 = -f for q.
-5
Let c be 2/8 - (-81)/(-4). Let k(m) = 3*m**2 - 5*m - 20. Let t be k(-3). Let h = t + c. Solve -h*x + 12 - 4 = 0 for x.
4
Let r = -941 - -948. Solve -r*s = 17 + 18 for s.
-5
Suppose -4*r + 37 - 5 = 0. Suppose 4*m = 2*m + r. Solve 0*k = m*k for k.
0
Let m = -229 + 147. Let a = 89 + m. Solve 8*k + 3 = a*k for k.
-3
Suppose -3*o + 9 + 3 = 0. Let c be ((-9)/(-7))/((-3)/(-7)). Solve -c*m + o = m for m.
1
Let a be 69/(-9) + 4/6. Let l be a*(3 - (-92)/(-28)). Solve 6 = 2*i + l for i.
2
Suppose 206 = 34*i - 32. Solve 3*t - 2 - i = 0 for t.
3
Suppose -673*f + 651*f = -110. Solve 5 - f = -9*z for z.
0
Let j(a) = 6*a + 1. Let n be j(1). Let r(c) = -4*c + 38. Let w be r(n). Solve -4*m = -w + 26 for m.
-4
Let c = 40 - 36. Suppose c*v - 4*s = 12, -4*s + 20 = -0. Solve 0 = 2*d - v*d + 24 for d.
4
Suppose 0 = -2*j + 15 - 11. Suppose -v - 13 = -2*x + 8, 6 = j*x + 2*v. Let q be (-2)/3 - x/(-3). Solve q*g + g + 12 = 0 for g.
-4
Let