 a.
0
Suppose -6*p + 5 = -p. Suppose -2*d + 0*d + 26 = 0. Let v = d - 8. Solve -2*w - p = v for w.
-3
Suppose 16*l - 6 = 15*l. Solve 0 = 2*t - l - 2 for t.
4
Suppose 3 = 4*g + 11. Let j be ((-10)/15)/(g/9). Solve q + j = -0*q for q.
-3
Let k = 1 - -1. Suppose -3*u - 28 = -2*p + u, 2*p = -k*u + 10. Solve -3*n - p = -n for n.
-4
Let v = 13 - -2. Solve -2*t + v = -5*t for t.
-5
Let t = 5 + -2. Suppose 0 = h - 0*h - t. Let m be (-14)/4*(3 - 5). Solve 2*a + m = -h for a.
-5
Suppose -4*t + c = -20, -3*t = -4*t + 4*c + 5. Suppose 0 = -3*v + 3*y + 21, v - 4*v = 3*y - 3. Let d be ((-14)/(-4))/((-1)/(-2)). Solve -v*b + t = -d for b.
3
Let t be (15/(-10))/(-1)*2. Let c be (-1)/(1 - -1)*-22. Suppose 5*a + c = -q, a - 6*a = -q + 19. Solve -t*r + q = -r for r.
2
Let o(r) = 2*r**2 + 6*r + 4. Let y be o(-4). Suppose 5*h - h = -y. Let q be 20/6*h/(-2). Solve -4*t = t - q for t.
1
Suppose -5*p - 5*r = -35, 5*p = 9*p - r - 43. Suppose 0 = -3*z - 83 - 58. Let h be p/(-45) + z/(-9). Solve -h*j = -22 + 2 for j.
4
Let x(c) = -10*c - 4. Let k be 22/55 - 34/10. Let g be x(k). Solve 4*m - g = -10 for m.
4
Let c(h) = -h**3 + 7*h**2 + 1. Let u be c(5). Let v be u/(-9) + (-2)/6. Let k be ((-9)/v)/(2/4). Solve 0*s + k*s = -3 for s.
-1
Let r be (-1)/(2/(-20)*-2). Let l = 4 + r. Let f be l/((6/4)/(-3)). Solve -w - w + f = 0 for w.
1
Let h(i) = -4*i. Let r be h(-4). Suppose 0 = -4*v - 0*v + r. Solve v = -2*q + q for q.
-4
Let o(u) = u + 11. Let q be o(-8). Let k be (-5 - -2)/q*0. Let p = 4 + k. Solve -z = 3*z - p for z.
1
Let w(u) = u - 10. Let o be w(7). Let l be -2 - (3 + o) - -8. Solve 3*x + l = x for x.
-3
Suppose 3 = -3*p + 9. Let b(g) = g**3 + 5*g**2 - 7*g - 3. Suppose 2*k - m + 15 = 0, 3*m + 9 = -3*k - 0*m. Let h be b(k). Solve -5 = p*a + h for a.
-4
Suppose -5*o + d + 6 = 0, 3*o - 2*d = -6*d + 22. Suppose o + 1 = r. Solve -3*l - 12 = -r for l.
-3
Let x(s) = -7*s - 37. Let i be x(-6). Solve i + 20 = -5*v for v.
-5
Let d be (1 - 39/(-3)) + -4. Solve -3*h + d = -h for h.
5
Suppose 4*r - 2*f + 81 = f, -5*r = -3*f + 99. Let z be (-7)/(-9) - 4/r. Let m = 13 + -11. Solve -z + 7 = -m*p for p.
-3
Let n(t) = t**2 - 2*t**2 + 2 - 2 + 6*t - 2. Let y be n(4). Solve y = o - 3*o for o.
-3
Let m be 3*1/(-3) + 2. Solve -4*h + 5*h + m = 0 for h.
-1
Let q be -4*4/(-32)*0. Solve 5*c + 0 + 5 = q for c.
-1
Let t(p) = -p + 3. Let i be t(-12). Let k be (-10)/i - (-4)/6. Solve 3*x + 8 - 2 = k for x.
-2
Let u(z) = z**3 - 2*z**2 - 2*z + 1. Let y be u(3). Suppose -y*m = m - 25. Solve -4*i - i = m for i.
-1
Let t = -14 + 32. Let j be ((-3)/(-9))/(2/t). Solve -4 = j*q - 16 for q.
4
Let q = 10 - -4. Let h be q - (2 - 5)/3. Let t be 2/12 + (-2)/12. Solve t = -2*r - 3*r - h for r.
-3
Let j = 14 + -12. Solve 3*a = j*a + 4 for a.
4
Suppose 2*o + 2*o = -5*r - 6, -r - 6 = 2*o. Solve r*j = j + 2 for j.
2
Suppose 14*x = 8*x. Solve -3*b + 8*b = x for b.
0
Let f be (-8)/(-5) + (-3)/(15/(-2)). Solve -5 = -a + f*a for a.
-5
Let y(i) = i - 15. Let v be y(10). Suppose -3*a + 4*a + 3 = 0. Let s = a - v. Solve 9 = -t - s*t for t.
-3
Let i(u) = -5*u + 1. Let f be i(-1). Let r = 3 - f. Let k = r + 7. Solve -12 = k*q - q for q.
-4
Let o(f) = -2*f - 6. Suppose 2*v + 6 + 2 = 0. Let r be o(v). Solve 1 + 7 = -r*c for c.
-4
Suppose 2*d = -1 + 9. Let j = 7 - d. Suppose 2*y = j*m - 11, -2*m = -m - 5*y + 5. Solve m*s = -12 - 13 for s.
-5
Suppose 11 - 1 = 5*d. Let n be (-12)/(-8) - d/4. Solve -1 - n = l for l.
-2
Let p be 2 + 1 - (-3 + -4 + 10). Solve -a - a + 2 = p for a.
1
Suppose j - 2 = -1. Let n(a) = 6*a**3 - 2*a**2 + a. Let h be n(j). Suppose 0*u + 4*u = 4*s, -h*u = 3*s - 16. Solve b - 1 = s*b for b.
-1
Suppose 5*b - 8 = b. Suppose -4*i + 2 = -3*i. Suppose -b*o - i*r - 11 = -5*o, 1 = o + 2*r. Solve w = -o*w for w.
0
Suppose -3*b = -9, 6 = 4*y - 3*b + b. Suppose -5*i = -2*i + y. Let t be i - (-3 + (2 - 2)). Solve -u - 1 = -t for u.
1
Let f be 1*3/(-6)*6. Let x be (f + 18/4)*2. Solve -x*w + w = -10 for w.
5
Suppose -4*q - 7 = -43. Solve 0 - q = -3*x for x.
3
Suppose -13 = -2*m - 3*h, -6*m = -m + h - 26. Let n = 3 + 0. Suppose -2*x + 4 = -n*x, 5*x + 35 = 3*s. Solve 0 = -m*f + 4*f + s for f.
5
Suppose -c - 4*c + i = -17, 4*c - 4*i - 20 = 0. Suppose -5*n - 7*a + 3*a + 88 = 0, 46 = 3*n - a. Let b = n + -16. Solve b*x = c*x for x.
0
Let p(m) = m**2 + 12*m + 24. Let t be p(-10). Solve -2*z = 2 - t for z.
1
Let y = 129 + -126. Solve 0 = 2*o - o - y for o.
3
Let w = 16 + -13. Suppose -3 - 9 = -w*c, 2*p = 5*c - 14. Solve -2*l + p = -l for l.
3
Suppose 7 = -m - 2*f + 32, 0 = f. Let h be (m + -1)*5/15. Solve -h*j + 3*j = -25 for j.
5
Let j be (2/(-4))/((-2)/12). Let x = -1 + j. Solve -x*s - 2*s + 4 = 0 for s.
1
Suppose 0 = -4*n - 0 + 32. Suppose -4*y + 16 = n. Solve y*v - v = 3 for v.
3
Let i(y) = y + 6. Let a be i(8). Suppose 11*n = a*n - 36. Solve 3*z + n - 3 = 0 for z.
-3
Let q(r) = 8*r - 6*r + r - 8 + 4. Let a be q(4). Solve -5*b + a = 3 for b.
1
Let v be ((-4)/(-8) - (-1 - -2))*-2. Solve -4*j + 7 = -v for j.
2
Let n(o) = -4*o + 7. Let f(u) = u - 1. Let q(w) = -2*f(w) - n(w). Let b be q(5). Suppose -b = -y, -2 = 2*m - 0*m - 2*y. Solve -m*s = -7*s for s.
0
Suppose 5*r + 0*z - 2*z = 19, 2*r + 2*z = 2. Suppose -2*k + k - 38 = 4*n, -5*k + n = 85. Let w be (-2)/(-9) - 68/k. Solve w*l + 11 = r for l.
-2
Suppose 5*c - 18 - 17 = 0. Suppose 2*a = c*a. Solve a = 2*i + 3*i - 10 for i.
2
Suppose 0 = 4*g - 5*x - 104, -4*x - 41 = -g + x. Suppose 3*k - 6 = -5*j - 1, -5*k = 2*j - g. Solve k*f - 4 - 1 = 0 for f.
1
Suppose -4*j + 4 = 0, -5*v + 0*v - 45 = -5*j. Suppose -16 - 8 = -4*d. Let h be 2/d + v/(-12). Solve -1 - h = y for y.
-2
Suppose y = -0*y - n + 4, -16 = y - 4*n. Solve -2*l - 1 + 9 = y for l.
4
Suppose 0*v = -v + 2. Let t(j) = -j**3 + j**2 + 3*j - 1. Let k be t(v). Solve -d - 4 = -k for d.
-3
Let i = -2 + 3. Suppose 0 = -4*d + 5*f + 81, f = -2*d + 2*f + 39. Suppose -5*t + d = -i. Solve -t*g - 11 = -3 for g.
-2
Let w be (2/(-3))/(12/(-36)). Suppose 3*g - 3 = w*g. Solve 20 = 7*d - g*d for d.
5
Let f = -14 + 20. Suppose -15*h = -27*h + 24. Solve -h*y = -f*y for y.
0
Suppose -h = -2 - 4. Suppose -3*q - q = -12. Solve h = -c + q*c for c.
3
Let a = -7 - -11. Solve -4*d + 0 = -a for d.
1
Suppose 0 = w - 11 + 5. Suppose 5*a = 2*a + w. Solve 5*p - 18 - a = 0 for p.
4
Suppose 2*r = 3*r - 2*y - 3, 51 = 5*r - y. Solve 0 = 4*d - 9 - r for d.
5
Let v(i) = -i - 1. Suppose 2*z + 36 - 13 = -5*o, 12 = -4*o. Let x be v(z). Solve 8 = -x*q - 7 for q.
-5
Let j(x) = -x + 8. Let c(p) = 2*p**2 + 4*p - 1. Let k = -6 - -3. Let b be c(k). Let l be j(b). Solve 8 = l*o - o for o.
4
Suppose 3*g = -0*g + 6. Suppose 2*p - 2 = g*i, -3*i = p - 2 - 7. Let w be ((-2)/(-1))/i + 0. Solve 5*j - w + 6 = 0 for j.
-1
Let p = -16 + 35. Let o = p + -15. Solve -o*w = w + 5 for w.
-1
Suppose -5*x + 44 = -j, 4*x + 5*j - 46 = -5. Suppose -2*b + x = -5*b. Let d be b*-1*(-1 - -2). Solve d*m = 7*m + 20 for m.
-5
Let j(s) = -s**2 + 10*s - 4. Let o be j(6). Let v be (-24)/(-3)*(-1)/(-2). Solve v*c + 0*c = o for c.
5
Let n be (33/(-12) + 3)*8. Solve n*y - 6 = -y for y.
2
Let x = 11 + -8. Suppose -u + x*u = 6. Solve -v = -u*v - 10 for v.
-5
Let h be (-41)/5 - 1/(-5). Let u be ((-3)/3)/(2/h). Solve -4*z - 16 = u for z.
-5
Let z(f) = -f**2 + 7*f + 20. Let j be z(9). Solve 0 = 5*a - j + 7 for a.
-1
Suppose -4*p - 2*n + 12 = 0, p + 0*p - 4*n = 21. Solve -y = -p*y for y.
0
Let c = -1 + 3. Let d = -9 + 13. Solve -d*x + c = -2 for x.
1
Let t = -7 + 4. Let s = -1 - t. Suppose 0 = -8*w - 6*w + 224. Solve -s*j = 2*j + w for j.
-4
Suppose -4*j + 43 = -t, 2*j + 2*t - 14 = 4*t. Solve 5*k - j = -37 for k.
-5
Let v(n) = n**2 - n - 4. Let f be v(-2). Suppose w + 11 = 4*i - f, -i + w + 4 = 0. Solve -6*u = -i*u for u.
0
Let d(l) = -l**3 - 4*l**2 - l - 4. Let w(r) = -r**2 + 10*r + 11. Let i be w(11). Suppose h - 5*h - 16 = i. Let z be d(h). Solve z = -4*k - 2 - 6 for k.
-2
Suppose c = -4*c. Suppose c*i - 3 = -i. Suppose -4*p = -i*p - 6. Solve 2*b - p = 5*b for b.
-2
Let g(u) = -u**3 + 7*u**2 - 5*u - 4. Let c be g(6). Suppose 3*k - 6 = c*a, -5*k - 3*a = 3 - 32. Suppose -k = 4*o - 16. Solve -o*q + 0*q = -3 for q.
1
Let n(s) = -3*s - 5 + 4*s + 0*s. Let q(z) = 5*z**2 + 2*z - 2. Let j be q(1). Let h be n(j). Solve v + v - 8 = h for v.
4
Let i(o) be the third derivative of o**4/24 + 7*o**3/6 + o**2. Let g be i(