2
Suppose 4*h - 22 = -8*w + 6*w, 5*w - 5*h + 5 = 0. Solve -w*d - 16 = -1 for d.
-5
Let r be 0/2*(-2)/4. Suppose r = -5*i + 5 - 0. Let q be -4*(i + -4)*1. Solve 0 = -s + 5*s + q for s.
-3
Suppose 0*i - 5*h = 3*i - 43, 5*h = -5*i + 55. Suppose -3*j + 9 = -i. Solve 2 = w + j for w.
-3
Suppose 2*c + 5 + 7 = 0. Let s = -3 - c. Let p be (-1)/(-2)*s*4. Solve 4*w = 2*w - p for w.
-3
Suppose -2*a + 16 = 2*a. Suppose 0*u - 2*u = -5*c + 22, 0 = c + 5*u - 26. Suppose -a*l - 2 = -c. Solve 0 = -2*y - l - 1 for y.
-1
Let z(j) = j**2 - 2*j - 1. Let b(h) = -23*h - 1. Let m be b(-1). Suppose -6 = a - 4*a - 3*q, -5*q + m = -a. Let y be z(a). Solve -2 = -5*u - y for u.
-1
Suppose -6 + 12 = -3*k. Let a be k/(1*2/(-8)). Solve -3*z - 2 = -a for z.
2
Let k(h) = -h**2 + 0 + 6*h + 1 + 0. Let r be k(4). Suppose 6*f - r = 3*f. Solve 5*t + 10 = f*t for t.
-5
Let n be 8*1/2 + -2. Suppose 4*g - 4 = -n*x - 2, -4*g = -4*x + 4. Solve 0 = -4*s - 3 - x for s.
-1
Let y(j) = j**2 + 4*j - 8. Let q be y(-6). Suppose -n = -3*t - 13, -q*t + 7 = 3*n - 84. Solve 0 = 3*z + 2*z + n for z.
-5
Let b(m) = 5*m + 2. Let f be b(0). Solve -9 = p + f*p for p.
-3
Let q be (-8)/6*3/(-2). Suppose -q*m + 3 = -3*m. Let x = -1 - m. Solve -x*l = l + 6 for l.
-2
Let v be (8/(-6))/(6/9). Let g be ((-9)/v)/(6/(-8)). Let d(s) = s**3 + 6*s**2 - s - 5. Let y be d(g). Solve -2*z = -y + 9 for z.
-4
Let d(j) = 2*j**2 - 2. Let w(s) = -2*s**3 - s + 1. Let o be w(1). Let t be d(o). Solve 2 = 4*c + t for c.
-1
Let w(y) = y - 2. Let f be w(5). Solve 8*r - f*r + 10 = 0 for r.
-2
Let t be ((-2)/3)/(8/(-36)). Solve -t*n = 2*n - 5 for n.
1
Let z(n) = 2*n**2 + 30*n - 20. Let f be z(-16). Solve 3*x = 6*x + f for x.
-4
Let o = 89 + -74. Solve o = -3*p - 0*p for p.
-5
Let s = -6 + 4. Let m = s - -2. Suppose -5*l + 5*v - 15 = 0, 0*v = -2*l + v - 3. Solve m = d + 4 - l for d.
-4
Let x = 23 - 19. Solve 2*g - 6*g = x for g.
-1
Let u be 4*((-10)/(-28) - (-1)/7). Solve -u*r - 1 = -r for r.
-1
Let d = 0 + 3. Let m = d - -1. Let f be (0/(-2 + m))/(-2). Solve 0 = -t - f*t + 2 for t.
2
Let t = -3 - -6. Let l be 16/t + (-4)/(-6). Let m be (8/l)/((-2)/(-3)). Solve -5*h + 3*h = m for h.
-1
Suppose 3*b = -2*b. Solve b = -4*d + 3 + 1 for d.
1
Let x = -36 + 37. Solve -g + 0 = -x for g.
1
Suppose -2*s - 2*b - 34 = 2*s, 29 = -3*s - 5*b. Let c = s - -12. Let t be 1*-3 + (-20)/(-2). Solve -3*u = t - c for u.
-1
Suppose -4*s + 0*s = -200. Suppose s = z + 2*z - 2*u, 0 = z - 2*u - 18. Solve -r + 5*r - z = 0 for r.
4
Let c = 8 + -4. Suppose -z + c = 2. Solve -g + 1 - z = 0 for g.
-1
Let a(l) be the second derivative of l**5/20 - 7*l**4/12 + l**3/3 - 9*l**2/2 - 3*l. Let r be a(7). Suppose r*m - m = 0. Solve m - 2 = -z for z.
2
Let i(w) = w**2 + 8*w - 9. Let q be i(-7). Let z = q + 41. Solve -5*b + 0*b = z for b.
-5
Suppose 8 = x - 4. Let q be (x/10)/(6/100). Solve -3*t - q = t for t.
-5
Suppose b + 0 = 2. Let r(w) = 2*w**b - 3*w - 2*w + 6 - 3*w**2. Let s be r(-5). Solve 0*l + 2*l = -s for l.
-3
Let h(q) = -q - 1. Let z = 13 - 9. Let j(m) = -6*m - 8. Let b(x) = z*h(x) - j(x). Let s be b(4). Solve 0 = -0*t + 4*t + s for t.
-3
Suppose -p + 10 + 12 = 0. Solve -3*g = -p + 7 for g.
5
Let v = 3 + 0. Let y be (15/(-9))/(v/(-9)). Solve 0 = 4*q + y - 1 for q.
-1
Let i = 33 - 30. Solve 4*v + 13 = -i for v.
-4
Let v = 2 - -8. Suppose -2 = -3*w + v. Let l(x) = -x - 4. Let b be l(-4). Solve -w*o = -b*o for o.
0
Let w be (7/(-2) - -2)*-2. Let q = 3 + -2. Let v be q + 3 - 3/3. Solve -6 + w = -v*t for t.
1
Suppose -3*m - r = -4*r - 18, r = -2*m + 6. Suppose -35 = -m*p - p. Suppose -3*h + 37 = p. Solve -y = 4*y - h for y.
2
Suppose -5*c - 5 = v + v, 0 = 3*c + 3*v + 12. Let p be 84/24 - c/(-2). Solve p = 3*r + 10 for r.
-2
Let v = -28 + -18. Let n be 2/5 - v/10. Solve 0 = n*u - 5 - 10 for u.
3
Suppose 3*u = 4*u - 7. Suppose 2*g = 3*x + 40, u*x = g + 2*x - 20. Suppose 3*p - 29 + 11 = 0. Solve -p*w = -w - g for w.
4
Let l be -5*(17/(-5) - -3). Suppose 3*u = 7 + l. Let j = 5 - u. Solve 0 = -j*k + 4 for k.
2
Suppose -3*o + 2*o = -8. Solve -3*a + 2 = o for a.
-2
Let x be (0 + 1/(-2))*476/(-34). Solve 0 = -2*q + 3 + x for q.
5
Suppose 4*y - 2 = 2*y. Let d be (-1 - y)/2 + 3. Solve 3*i - 5 = -d for i.
1
Suppose w - 2*w = -3*h - 7, 0 = 3*w - 2*h - 14. Solve -w*g - 4 = -24 for g.
5
Suppose -4*v + 17 = 2*u - 21, -4*v = -8. Suppose 3*w - u = -d, -5*d = w - 2*w - 43. Let r be (0 - (-4)/10)*10. Solve r*p - p + d = 0 for p.
-3
Let o(q) = 3*q**2 - 1. Let s be o(1). Suppose 0 = 2*p - 0*p + 8. Let j = p - -6. Solve -j*v = s*v for v.
0
Let p(m) = -m + 9. Let z be p(7). Let t be (-6)/(-4)*4/z. Solve 0 = t*i - 5 - 1 for i.
2
Let y be (6/15 + 0)/(2/20). Solve -5*j = -y*j - 1 for j.
1
Suppose -3*t = 15, 3*k = 2*k + t. Let o(x) = -2*x**3 + 5*x + 3*x**3 + 7 + 6*x**2 - 2. Let f be o(k). Solve 3 + f = -2*m for m.
-4
Let x be 24/10*(-5)/(-1). Suppose p - 4*p - x = -c, 2*p + 8 = c. Solve c = -h - 0 - 3 for h.
-3
Let x(s) = s**2 - 2*s + 1. Let l be x(1). Let o be (l - -2)*(1 - 2). Let m be o - ((-2)/1 - 0). Solve m = 2*z + z for z.
0
Suppose -r = 4*r - 3*f - 7, 0 = 5*r + 5*f - 15. Suppose -3*w = r*w - 25. Solve -w*g + 10*g = -10 for g.
-2
Let o = -8 - -6. Let t = o - -7. Solve -t = 4*c + 15 for c.
-5
Suppose -2*x - 6 = -5*x. Let h = 6 + 4. Suppose 4 + 4 = 4*g - j, 0 = 5*g + 4*j - h. Solve x*u = -g + 4 for u.
1
Let f be (26/(-14) - -1)*-7. Let b = 9 - f. Solve -b = y - 2 for y.
-1
Suppose -2*b + 4*b = 8. Solve y + y = b for y.
2
Let b be 3*4/(-4)*5/(-3). Suppose 0 = 2*f + 8, 0 = 2*o - 0*f + 2*f - 32. Solve k - b*k = -o for k.
5
Suppose 0 = 3*o - 5*d - 35, 5*o - 17 = -2*d - 0*d. Solve 3*v + o = 2 for v.
-1
Suppose -4 - 2 = -3*n. Solve n*j + 0 = -2 for j.
-1
Let v(o) = -o**3 - 3*o**2 - 4*o - 2. Let j be v(-2). Suppose j*y + 3 = -x + y, 4*y = 4*x - 12. Let i be x + 2 - (5 + -3). Solve 0 = -2*p + 4 - i for p.
2
Let j = 43 - 26. Solve 5*n = j - 7 for n.
2
Let r(u) = -u**2 + 5*u + 4. Let k be ((-10)/(-3))/((-6)/(-9)). Let w be r(k). Solve -w = 3*z - 5*z for z.
2
Let t = -63 - -74. Solve 3*b + t = 2 for b.
-3
Let g(f) = -f**2 - 4*f - 3. Let v be g(-4). Let k = -3 - v. Solve -3*a - 2 - 4 = k for a.
-2
Suppose -2*b - 8 = 0, 3*t - 4*b = 9 + 13. Suppose 2*m = -t*m + 16. Solve -u = 1 - m for u.
3
Suppose 55 = 3*u - 4*o, 4*u - 3*o + 50 = 135. Suppose 5*v - 5*n + u = 0, 0*n + 4*n = -4*v - 28. Let k be v/18*(-10 + 1). Solve k*p + 11 = -4 for p.
-5
Suppose -4*i = -j - 2, 5*j - 3*i + 2*i - 9 = 0. Suppose 0 = -j*k - 0*k + 6. Solve -m - k*m - 8 = 0 for m.
-2
Let z be (-1)/(-4) + 19/4. Suppose 6*c - 3 = z*c. Solve -c*l = -0*l for l.
0
Suppose 4*k = -4*z - 12, 2*k + 4 = -4*z + z. Solve z*d - d = 2 for d.
2
Let c(f) = -f**3 + f**2 + f. Let t(b) = -3*b**3 + 2*b**2 - b + 1. Suppose d = -3*d - 4. Let z(i) = d*t(i) + c(i). Let y be z(2). Solve -4*u + y = 3 for u.
3
Let r = -2 + 6. Solve 0 = -r*i + 2 - 6 for i.
-1
Suppose -3*b - b = -8. Solve 6*u = b*u for u.
0
Let y = 3 + 2. Let d = -1 + 28. Suppose -2*x + 5 + d = 0. Solve t - x = y*t for t.
-4
Suppose 4*l + 8*l - 2*l = 0. Solve 0*j + 5*j - 10 = l for j.
2
Let u be (-1 + 1)*(-1)/(-1). Suppose -4*s = -4*h, 5*s - 2*h - 6 = -0*h. Let p be 90/20*s/3. Solve 3*l + p = -u*l for l.
-1
Let o(c) = -c**2 + 12*c - 7. Let p be o(11). Suppose -2*z - 4*d + 2 = 0, -3*z + d - 2*d = -13. Solve -p*f = f + z for f.
-1
Suppose -4*z + 7*z = 3*h + 90, 2*h - 90 = -3*z. Suppose -5*o + z + 15 = 0. Let r(u) = -u**2 + 10*u - 5. Let p be r(o). Solve 0 = p*k - 0*k - 8 for k.
2
Let n = 12 + -6. Suppose 0 = -4*l + n + 14. Let b = -4 + 9. Solve l + 20 = b*q for q.
5
Suppose 8 = 3*w + 2*r, -4*w - 1 = 2*r - 13. Solve 0 = m - 3*m - w for m.
-2
Let i(d) = d**2 + d - 7. Let f be i(3). Let p be 141/15 - 2/f. Let t(v) = -v**3 - 5*v**2 - 3*v + 4. Let x be t(-4). Solve -2*b - b - p = x for b.
-3
Suppose 7*k - 2*k + b = 9, 0 = -2*k - 4*b. Solve -k*x - 5 = 3*x for x.
-1
Let o(q) = 4*q**3 - q**2. Let z be o(1). Solve z*j - 1 = 5 for j.
2
Suppose -2*r + 15 = 3*r - 2*m, -3*r + m = -9. Let j be (-1)/(-2 - (-3)/2). Solve r*k + j = -7 for k.
-3
Suppose 2*g - 3*g - 46 = -3*o, 3*o - 31 = 4*g. Solve -o + 1 = 4*h for h.
-4
Suppose 1 = 2*b - 5. Suppose -b*o - o = -4. Solve 5*t + o = -24 for t.
-5
Suppose 0 = 4*f - 19 - 5. Suppose 5*o - 46 = -f. Solve 3 = i + o for i.
-5
Let h = 14 + 1. Suppose 0 - h = 2*z - 5*b, -5*b = 4*z