
0
Let x = 7 - 3. Suppose x*k = -12, n + 3*k + 1 = -4. Let v be 1*(n + 0/(-3)). Solve v*u + 9 = u for u.
-3
Let t(q) = -2*q**3 + 12*q**2 - 7*q + 1. Let b be t(5). Let h be 1 + (-3)/(3/(-2)). Solve h*a - b = -a for a.
4
Let w be (1/3)/(15/1035). Let o = w - 18. Solve 0 = -o*p + 6 + 14 for p.
4
Let f(h) = 3*h - 6. Let k be f(4). Solve -4*g + k*g = -8 for g.
-4
Suppose z = 4*t - 5*t - 1, 2*z + 2 = 3*t. Suppose 0 = -2*d - 4*w + 2, 4*d - 4*w - 1 - 3 = 0. Let a be d/3 + 2/(-6). Solve t = 3*v - a*v for v.
0
Let t = -36 + 52. Let v = t + -7. Let p = -9 + v. Solve 2 = -w - p for w.
-2
Let k(o) = o**3 - 4*o**2 + o + 10. Let w be k(3). Solve -w*h = -5*h for h.
0
Let p = -19 + 19. Let r = 16 - 11. Solve 2*t - r*t - 6 = p for t.
-2
Let i be (-11 + 0 + 2)*-1. Let r = -4 + i. Solve -r*l = -3*l - 10 for l.
5
Suppose -4*z - 6 = -6*z. Suppose 5*s - 23 = -3. Let j be s/10 - (-4)/(-10). Solve j = -i + z + 2 for i.
5
Suppose 0 = 8*m - 11*m + 6. Let l(h) = h**2 - h - 2. Let g be l(m). Solve g = -0*k - 4*k - 20 for k.
-5
Let k = -26 + 28. Let o = -17 - -56. Let l be 1/2 + o/2. Solve 6*d - k*d + l = 0 for d.
-5
Suppose -2*k + 5*k = 18. Let w be (k/(-4))/((-4)/40). Solve -3*u - w = -6*u for u.
5
Let b(v) = -v. Let c be b(-2). Suppose c*t = 7*t. Let m be 0/(-3)*(1 - t). Solve m = -q - q + 4 for q.
2
Suppose -3 = d + 4. Let u = 5 - d. Let l = -11 + u. Solve -2*z + l - 3 = 0 for z.
-1
Let n = -3 - -2. Let v(g) = 2*g - g + 0*g + 0*g + 1. Let c be v(n). Solve -3 = 3*k - c*k for k.
-1
Let n be (-10)/2 + 3 + 2. Suppose 2*p + 4*u - 42 = n, -34 = 2*p - 6*p + 2*u. Solve p + 4 = 3*i for i.
5
Let i = 18 - 17. Solve -i + 6 = o for o.
5
Suppose 5*g - 2 = -22. Let r be 1/g + 51/12. Suppose -2*l - 4*z + 10 = 0, 6*l - 11 = l + r*z. Solve c + 5 - l = 0 for c.
-2
Suppose b + 2*b - 16 = -i, 3*i - 18 = -3*b. Let t(z) = -z**3 + 3*z**2 - z. Let s be t(2). Solve -s*q = -b*q + 12 for q.
4
Let b be ((-8)/10)/(2/(-15)). Suppose v + v = -g + b, -5*v = 3*g - 15. Solve g = 8*l - 4*l - 16 for l.
4
Let v(k) = k**2 - 6*k - 6. Let i be v(7). Suppose p - 4 = -i. Solve -p*f - 2*f = 25 for f.
-5
Let h = -24 - -51. Suppose -2*d = 4*v + v + 21, 5*v + h = -4*d. Let s be (-2)/6*1*d. Solve s = -3*c - 8 for c.
-3
Let z be -4*((-1)/(-2) + -2). Let f = -4 + z. Let r = f - 2. Solve -o - o = r for o.
0
Let g be (0 - 1) + (-3)/9*-3. Solve -f = -1 - g for f.
1
Suppose 2*c - 3*p - 14 = 0, 5 = 4*c + 5*p - 1. Let m be (-2)/c + 42/12. Solve -m*y = 1 + 2 for y.
-1
Let b be 0*((-6 - -2) + 3). Solve 0 = 3*k - b + 3 for k.
-1
Let o(y) = -2*y + 1 + 3*y - 2. Let j be o(5). Let c be 4/18 + j/(-18). Solve 2*l + c + 10 = 0 for l.
-5
Let z be ((16/12)/2)/(2/9). Solve -3 = -z*t - 9 for t.
-2
Let p be 0/(-1)*6/18. Solve p = -0*u - u for u.
0
Let w = 37 - 31. Solve g = -g + w for g.
3
Suppose -5*p - 3 = w - 0, -p = 2*w + 6. Solve -f + 5 - 3 = p for f.
2
Suppose -3*w + 10 = -w. Suppose n + 20 = 6*n. Suppose r - 5*r - 4*a + 16 = 0, n*r - 4*a = 16. Solve w*c - r = 4*c for c.
4
Let a be 2/10 - (-27)/15. Let j = 6 - 3. Suppose 5*f - 2*n = j*n + 55, -4*f - 5*n - 1 = 0. Solve -a*s = -0*s - f for s.
3
Suppose 5 = -h - 5*l - 6, 13 = -3*h + 5*l. Let g be (-36)/(-21) - h/21. Solve r = -g*r - 3 for r.
-1
Let m(b) = 3*b - 2. Let c be m(2). Solve -c*w + 16 = -0*w for w.
4
Let s = 0 - 0. Suppose -2*y = -2*w, -4*y - 2*w - 3*w - 18 = s. Let r be ((-2 - -4) + y)*-1. Solve r = a + 4*a + 15 for a.
-3
Let j be 2/(-7) + 60/14. Let d be 6/(1 - j) + 2. Solve d = x - 3*x - 8 for x.
-4
Let q = -5 + 5. Suppose -3*c = -q*c - 15. Solve 5*l - 30 = -c for l.
5
Let d = 3 - -5. Solve d = 2*o - 0 for o.
4
Suppose 64 = 8*m - 0*m. Solve -3*t + m = -7 for t.
5
Suppose 15 - 115 = -4*j. Solve 0*a = -5*a - j for a.
-5
Let w = 2 + 0. Suppose w*c - 4 = 0, 5*j + 5*c - 25 = -0*j. Solve 2*p + j*p - 25 = 0 for p.
5
Let i be ((-2)/(-1))/(-1*2). Let q(x) = 4*x**2 + x + 1. Let l be q(i). Let c be (-10)/20 + 18/4. Solve -c*w = -0 - l for w.
1
Let f = 34 + -32. Solve 0 = -f*o - 2 - 6 for o.
-4
Let f(q) = q**2 - q + 1. Suppose -3 = -5*k + 2. Let o be f(k). Let p be 1 - (0 - (2 - o)). Solve 0*d - p*d = -10 for d.
5
Let m = -12 - -20. Suppose m = h + v, -3*h - v + 4 = -10. Solve 0*z - 15 = -h*z for z.
5
Let x(k) = -7*k - 2. Let v(g) = -6*g - 3. Let i(j) = 6*v(j) - 5*x(j). Suppose 0*c = -5*c - 2*s - 66, c + s = -15. Let m be i(c). Solve m*q - 25 = -q for q.
5
Suppose 2*u - 26 = -0*u + s, 3*s + 6 = 0. Solve y = 4*y - u for y.
4
Suppose 4*w - 3 - 17 = 0. Suppose w*k = 2*k + 6. Solve k*u = 3*u for u.
0
Suppose l = -3*l + 28. Solve -l*m = -2*m + 10 for m.
-2
Let d be (-3 - 9/(-4))*-12. Let i = d + -4. Let v(k) = k**3 - k**2 - k + 8. Let j be v(0). Solve j + 2 = -i*h for h.
-2
Suppose -2*v + 2 = 3*o - 4*o, -5*v + 5 = 4*o. Let q(c) = 5*c**2 + c - 1. Let m be q(v). Solve 0 = m*b - 17 - 3 for b.
4
Let g(d) = 3*d**2 + d - 1. Let y be g(1). Let q be 0*(y/6)/1. Suppose -4*a = -q*a + 8, -2*w = -3*a - 10. Solve 0 = -h - 5 + w for h.
-3
Let j be 129/9 - 1/3. Suppose -5*l - j = 2*f + 2*f, -f = 3*l. Let z = f + 11. Solve z*d = 4*d for d.
0
Let b = -2 + -3. Let m = b - -8. Solve 3*g = -0*g + m for g.
1
Let v(f) = -f**2 + 12*f + 2. Let p be v(12). Solve -p*j = 3*j - 5 for j.
1
Let j(c) = c + 5. Let m be j(-3). Solve -b - 7 + m = 0 for b.
-5
Let k = -131 - -136. Solve k = 2*c + 3 for c.
1
Suppose -r + 2*y = -3*y - 31, 5*y + 19 = -r. Suppose -n + r*n = 0. Solve n = -2*v - 6 - 4 for v.
-5
Let s be 1*1*(-4)/(-2). Suppose 22 = m - 4*n - s, 2*m + 5*n = -17. Solve -16 = -0*y - m*y for y.
4
Suppose 4*d - 15 = -d. Suppose 4*k - d*v - 15 = 0, -5 = -k + 3*v - 2*v. Let z be k - (-2 + 0) - -2. Solve -z*f + 9 = -7 for f.
4
Let t(z) = -z**2 - 5*z + 1. Let f be t(-5). Let m be 2 + -1 + f + 2. Solve -3*j = -11 - m for j.
5
Suppose y + 15 = 3*j + 2, 0 = 4*j + 5*y - 30. Let h(c) be the third derivative of c**5/60 - c**4/12 - 2*c**2. Let v be h(j). Solve -4*f = f + v for f.
-3
Let x be -1*3 - 35/(-5). Suppose -x*t - 6 = -3*z, -2*t + z - 4*z + 6 = 0. Solve t - 3 = -3*y for y.
1
Suppose -4*p + 5*p + 14 = 5*h, -4*p = 3*h - 36. Suppose -p*y = -2*y - 12. Let v be ((-4)/y)/((-2)/6). Solve -3*x + 2 = -v for x.
2
Let x(p) = 3*p - 4. Let b be x(4). Solve -q + b = q for q.
4
Let h = -39 - -64. Let i = -3 - -8. Suppose -5*k + 4*k + 4 = 0. Solve -h = k*b - i for b.
-5
Suppose -i - 4*t = -4*i + 15, 10 = 2*i - 5*t. Let v be (14/8)/(2/32). Suppose -5*u = -12 - v. Solve -i*x + u = -x for x.
2
Let m be (10/(-25))/(2/10). Let t be m/(-8) - (-111)/(-12). Let h be t/(-27)*(6 + 0). Solve -h*d = d for d.
0
Suppose -4*c = -7*c + 6. Suppose -6 = -c*z - 0. Let s(h) = h - 1. Let p be s(z). Solve 0 = -p*v - 1 - 5 for v.
-3
Suppose -s = -2*c + 10, -4*s = -3*c - 0*c + 25. Solve a = -0*a + c for a.
3
Suppose 6*l - 24 = 6. Solve -6 = l*y - 2*y for y.
-2
Let c be (4/10)/((-2)/(-40)). Suppose 6*w + 9 = 27. Solve -d + w*d = c for d.
4
Suppose -2 = 2*u - 0*u. Let v(y) = 5*y**2 + 2*y + 1. Let a be v(u). Solve 4*j + 4 = -a for j.
-2
Suppose 0*v = 3*v - 6. Let m = -2 + v. Suppose m = -5*w + 3*w + 4. Solve 0 = -5*p + 3 + w for p.
1
Let l be (-2)/(-5) + 2/(-5). Suppose -2*n + 8*a = 3*a - 3, -3*n + 39 = 4*a. Let t be -3 + 5/(15/n). Solve l = -t*s - 2*s for s.
0
Let q be 15/2*16/12. Let r be 174/q + (-8)/20. Suppose 13 = -f + 5*n, -4*f = 3*n - r - 0. Solve f*l + 3 = -7 for l.
-5
Let v(m) = 3*m. Let f be v(1). Solve -6 = -6*l + f*l for l.
2
Let k be (-42)/(-28)*1*2. Solve -k - 1 = 4*s for s.
-1
Let o(y) = -y**2 + y + 1. Let u(r) = r**2 - r. Let m(x) = -2*o(x) - u(x). Let d be m(3). Solve d*a = 2*a - 10 for a.
-5
Let l = 95 + -93. Solve 0 = -l*r - 10 for r.
-5
Let w be 4*((-1)/(-2) - -2). Solve 2*h - 7*h - w = 0 for h.
-2
Let j = -1 + 3. Suppose 7*b - 84 = 3*b. Let w be ((-4)/(-6))/(7/b). Solve -j*c = w*c for c.
0
Suppose -7*k + 13 + 1 = 0. Let y be ((-18)/(-4))/((-1)/2). Let w = y + 13. Solve k = -w*q - 6 for q.
-2
Suppose -3*j = 4*z - 0*z - 6, 2*j + 4 = 0. Suppose 4*x = 2*l + 50, 3*x - 2*x = 5*l + 17. Let h be x/(-18) - 16/(-6). Solve 5 = -z*v - h*v for v.
-1
Let t be (-59)/(-6) - 1/(-6). Let f = -7 + t. Suppose -3*w - 2*w = -10. Solve -f*q = w*q for q.
0
Let h be 1*(-8)/((-8)/3). Solve 7*f = 4*f + h for f.
1
Suppose 34 = 5*i + 3*q, -4*q + 0 = 8. Solve 2*d + 0 = -i for d.
-4
Let q(c) be the third derivative of c**5/60 - c**4/8 - c**3/6 + 3*c**2. Let z be q(4).