 2 for b.
-1
Let a(x) = x**2 - 2*x + 3. Let t(h) = -h**3 - 5*h**2 - h + 2. Let r be t(-5). Let g be a(r). Suppose 3*l = -11 + g. Solve l = 7*z - 4*z for z.
3
Let z be (1/(-3))/(1/(-3)). Let t(r) = -r + 1. Let h(u) = -14*u + 6. Let g(k) = z*h(k) - 10*t(k). Let j be g(-6). Solve -j = -6*n + n for n.
4
Suppose 0*c - 5*c + 28 = -4*z, 3*c - 16 = 2*z. Suppose c*a - 36 = -0. Solve -4*b = -b - a for b.
3
Suppose -2*d + 23 = -i + 4*i, d = -i + 9. Solve -i = 5*f + 5 for f.
-2
Let y(b) = b. Let h be ((-2)/(-4))/((-4)/(-152)). Suppose o - 8 = c, 5*c + h = -1. Let s be y(o). Solve 0 = s*w - w for w.
0
Suppose 8 - 2 = 2*g. Suppose 2*r + g*y = 15, -3*r - 3*y + 4*y + 6 = 0. Suppose -2*q + 2 = 5*s - 19, -q = 3*s - 10. Solve q = 4*n - r for n.
4
Let b be (-3)/((-2)/(16/6)). Let g = 9 - 1. Solve -2*p + g = b for p.
2
Suppose -2*c = 4*t, 2*c + t - 2*t - 5 = 0. Solve 0 = 3*k + c + 1 for k.
-1
Suppose 2*x + 10 + 2 = 2*l, -5*x - 15 = -2*l. Let z be 2 - ((-3 - x) + 0). Solve z*f = -11 - 1 for f.
-3
Let g = 11 - 11. Solve g = -f - 2 - 3 for f.
-5
Let h(j) = -j**3 + j - 4. Let u be h(0). Let i = u + 8. Solve 0 = -3*g - 5 - i for g.
-3
Suppose 5*k = 20, 0 = -2*n - n + 5*k - 26. Let b = n + 6. Suppose -b*u + 18 = -u. Solve 4*d - u - 2 = 0 for d.
2
Suppose -4 = -5*w + 16. Suppose -2*s - w*f - 11 = f, -3*f - 12 = 3*s. Let h be (7 - -1) + s + 1. Solve -5*p - 1 + h = 0 for p.
1
Let f(l) = l. Let v(r) = 12*r + 2. Let o(d) = 28*f(d) - 2*v(d). Suppose 1 - 13 = -4*c. Let i be o(c). Solve -3*s - 1 = i for s.
-3
Suppose n = 3 + 2. Solve -n*c = 8 - 33 for c.
5
Let x = -6 - -7. Solve x + 1 = 2*h for h.
1
Suppose -1 = 3*r - 10. Solve r*m + 12 = -m for m.
-3
Let s(t) = -t**3 - 18*t**2 - 18*t - 12. Let h be s(-17). Solve -h*l - 6 = -1 for l.
-1
Let v = 114 - 109. Solve -6*z + v*z + 1 = 0 for z.
1
Suppose k - 2*w + 3 = 0, -2*w + w = 4*k - 24. Solve k*d = d - 16 for d.
-4
Suppose k = -18 - 6. Let o be (1/2)/((-2)/k). Solve 3*t = 6*t + o for t.
-2
Suppose 6 = 4*w - 6. Solve w = -b + 4 for b.
1
Let f(z) = -z + 1. Let i be f(0). Suppose 5*v + 16 = 3*q - 5*q, -3*q - 14 = 5*v. Let k be v/(-12) - 32/(-3). Solve -4*j + i = -k for j.
3
Let h(n) = -n**2 - 3*n. Let s be h(-3). Solve s = -2*y + 4*y + 6 for y.
-3
Suppose 4*a = 17 - 1. Suppose -z = a*z. Suppose -3*d - v + 11 = z, 0*d = -d - 2*v + 7. Solve 0 = d*q + q + 8 for q.
-2
Suppose 0 = 4*l - 5*n - 7 - 6, -4*n = -4*l + 8. Let m(a) = a**3 + 3*a**2 + 4*a. Let i be m(l). Let d = i + 25. Solve 5*t - d = 7 for t.
4
Let o be 3/(-2)*(4/(-6) - 0). Solve -i + 2 - o = 0 for i.
1
Suppose -4*y + 9*y - 5 = 0. Solve 0 = -5*v + y - 11 for v.
-2
Suppose 5*r - 60 = 3*i, -2*r - 2*r + 2*i + 46 = 0. Solve -3*l + r = -3 for l.
4
Suppose 4*r - 6 - 2 = 0. Let o be (110/15)/(r/9). Solve o - 13 = -5*n for n.
-4
Suppose -2*d + d = -4*w + 12, -4*w + 12 = d. Let s(z) = -z**3 + 9*z**2 - 7*z - 5. Let y be s(8). Suppose y*g = -2*g. Solve -w*c = -g*c - 6 for c.
2
Let a(l) = l**3 + l**2 - l + 4. Let h(v) = -v**3 + 10*v**2. Let r be h(10). Let o be a(r). Suppose o*c = 35 - 11. Solve -m + c = -3*m for m.
-3
Let t(g) = 6*g - 1. Let q be t(2). Suppose -30*u + 25 = -25*u. Solve -u*z = -4 - q for z.
3
Let g(d) = -d**3 - 3*d**2 + d - 4. Let a be g(-4). Suppose 4*m = 2*m + a. Solve -t + 0*t = -m for t.
4
Suppose o = -3*z + 2 - 5, -2*z = o + 1. Solve 12*l = 15*l - o for l.
1
Suppose 0*p + 3*p = 0. Let n be (2 + -1 - p) + 0. Solve -6 = -5*h - n for h.
1
Let j = -5 - -5. Let t = 3 + j. Solve t - 1 = 2*w for w.
1
Suppose -5*b - 15 = -4*k, -k + 3*b + b + 12 = 0. Let d be (-12)/(-8) - 1/(-2). Solve k*p = -p - d for p.
-2
Suppose 5*m + 3 = 28. Suppose -z - 1 = -m. Solve 4*u + z = 2*u for u.
-2
Let d be 2*((-2)/(-16) - 44/(-32)). Solve 2*y - 25 = -d*y for y.
5
Let y(s) = 4*s + 4. Let r be y(-1). Solve -g + r*g = 0 for g.
0
Let y(g) be the first derivative of g**2/2 + 30*g - 3. Let h be y(0). Suppose 0*m = 3*m - h. Solve r = 3*r - m for r.
5
Let m(d) = -d**3 - d**2. Let p be m(-1). Let k be 0 - p - (0 - 4). Solve k*q + 0*q + 4 = 0 for q.
-1
Suppose -3*q + 8 + 4 = 0. Let s = q - 3. Suppose 0*p - s = -4*p - 3*j, 3*j + 15 = 0. Solve p = -f - 0 for f.
-4
Suppose -10*s = -4*s. Solve -r + s = 1 for r.
-1
Suppose 7*i - 17 = 4. Solve i*k = -5 - 1 for k.
-2
Suppose -6*g + 3*g = 0. Solve 0*p - 2*p - 2 = g for p.
-1
Suppose 4*w + 0*c = 3*c, 2*w - 2*c = -2. Solve 11 = 4*h + w for h.
2
Suppose 5*n + k = 2*n - 5, -3*n - 2*k - 10 = 0. Solve n = -3*a + 8 + 4 for a.
4
Let x be (-3)/2 - 4/(-8). Let y = -1 + x. Let f = y - -2. Solve 2*w - 4 + 2 = f for w.
1
Let y be 8 + -4 + (-4 - -8). Solve 0 = -2*g - 2*g - y for g.
-2
Suppose 3 + 0 = 3*b - 2*r, -3*r = b - 12. Solve -2*a = -3*a - b for a.
-3
Let r = 9 - 7. Suppose -1 = m - r*m. Solve 0 = t - 4 + m for t.
3
Suppose -u - 2 = -4*c + 2, 4*c - 3*u = 4. Solve -4*n - c = 15 for n.
-4
Suppose -31 = -4*i - l - 9, 4*i + 3*l = 26. Suppose -i*q + 27 = -2*f + 5*f, 3*q - 13 = -f. Suppose f = 5*r - 1. Solve -r - 5 = 3*z for z.
-2
Let r(j) = -3*j**2 + 0*j**2 + 4*j**2. Let v be r(-3). Solve -5*n = v + 6 for n.
-3
Suppose 2*d - 34 = -5*m, -2*m + 5*d = -m + 4. Solve m*p - p = 5 for p.
1
Let j(u) = -u**3 + u + 2. Let f be j(0). Let x be (8/f - 3) + 24. Solve 3*o + 2*o = -x for o.
-5
Let q be (2 + 1)/(1/3). Let a be (12/(-5))/2*5. Let y be (a - -1)/((-5)/5). Solve -y*d - 11 = q for d.
-4
Let w(v) = -v + 1. Suppose 0 = -0*o - 5*o - 3*d - 10, -o + 26 = -5*d. Let p be w(o). Solve -6 = 3*h - p for h.
-2
Let q = 1 - 4. Let t be 0/(6/q - -3). Solve 12 = -3*a - t*a for a.
-4
Let l(s) = -2*s**2 - 12*s - 5. Let r be l(-5). Solve -h - 12 = -r*h for h.
3
Let s(q) = q**2 - 3*q + 5. Let u be s(2). Solve 4 = f + u*f for f.
1
Suppose -2*a - 3*x = 6, -1 = -5*x + 19. Let t be 9/2*(-6)/a. Suppose 0 = 4*l - 3*o - 39, t*l - 2*o - 26 - 3 = 0. Solve l*z = 4*z - 15 for z.
-3
Let h(k) = k**3 - 10*k**2 - 12*k + 16. Let b be (9/(-3))/((-3)/11). Let x be h(b). Suppose -f - 20 = -5*f. Solve f = x*n - 10 for n.
3
Let d(t) = -t**3 + 3*t. Let g(z) = -z**2 + 2*z + 5. Let w be g(4). Let l be d(w). Suppose l = 3*b - 9. Solve -4*o + b = -o for o.
3
Suppose 3*f + 14 = 4*q + 5*f, 0 = 4*f - 4. Solve -4*r + q*r = -2 for r.
2
Suppose 2*u - 76 = 2*m, 4*m - 3*u + 144 + 4 = 0. Let w = m - -49. Suppose 7*k - 2*k = w. Solve -k*i = -i + 8 for i.
-4
Suppose -2*j - 10 = -4*b + 6, 0 = -3*b - 2*j + 5. Let f be b*2*4/12. Solve -f*p = -6*p for p.
0
Let w be -1 + 2 - -1 - (19 - 18). Solve 0 = -2*h + w - 5 for h.
-2
Let i(f) = -85*f + 1. Let z be i(1). Let n be (-4)/22 + z/22. Let c be (4 - 2) + n + 3. Solve c + 4 = -t for t.
-5
Let j(s) = -s + 7. Let z be j(4). Suppose 2*l - 3*c = -18 + 8, 13 = -z*l + 4*c. Solve 3 = 2*d - l for d.
2
Let z = 26 - 12. Let d = -7 + z. Solve 3*u - d = 2 for u.
3
Let g = -43 + 43. Solve g*n = -2*n for n.
0
Let m(k) = k**2 - 5*k - 10. Let n be m(7). Solve -n*r = -0*r + 12 for r.
-3
Suppose -2*y = -1 - 3. Let l be 1/(1*(-1)/3). Let c be (l/2)/((-3)/10). Solve c*s - 3*s + y = 0 for s.
-1
Let h(y) = y**3 - 8*y**2 - 2*y + 4. Let u be h(-7). Let q be 1/6 + u/(-18). Suppose 7*i - 28 = 4*i + 4*m, -5*i + 5*m = -q. Solve w = i + 1 for w.
5
Suppose 5*f - 22 = -2*n + 27, 4*f - 38 = -n. Solve -i - 2*i - f = 0 for i.
-3
Suppose -5*n - 21 = -66. Let j = n - 6. Solve j*i + 2 = 4*i for i.
2
Let z(n) = -4*n - 9. Let u be z(-3). Solve -2*h + 1 = u for h.
-1
Let q = -19 - -8. Let x = q + 20. Solve -4*g + x - 29 = 0 for g.
-5
Suppose -3*d - k + 16 = 0, 4*k + 6 = 2*d - 0*k. Solve 3*p - 2*p = d for p.
5
Suppose -5*x + 0*x = 20. Let s(w) = w**3 + 3*w**2 - 4*w. Let l be s(x). Solve -2*t = -l*t + 4 for t.
-2
Suppose 5 = 2*n - 3. Suppose -4*l = -2*k - l + 5, 2*l - 2 = -n*k. Solve c - 2*c - k = 0 for c.
-1
Let b(a) = -a**2 - 5*a. Let g be b(-5). Solve 4*t - t = g for t.
0
Let m(c) = c**2 + 6*c + 5. Let d be m(-6). Suppose -5*l - d*g = -35, -2*g + 11 + 6 = 3*l. Let x be (l - 2)/((-1)/(-3)). Solve -2*f - x*f = 15 for f.
-3
Let s be 1*3/6*0. Suppose s = 5*a - 10*a + 10. Suppose 0 = 4*w + 4*d + 4, d + 2*d = 5*w - 27. Solve i + a + w = 0 for i.
-5
Suppose 4*y - 4 - 16 = -3*g, -2*g + 2 = -3*y. Let m = g - 2. Solve i - m = -1 for i.
1
Let o(q) = -q - 4. Let t be o(-2). Let h be 1 - (-1 - t - 2). Suppose -h*k - 2*k = -8. Solve -6 - k = -2*j for j.
4
Let t = 15 + -5. Suppose 2*y = -3*y + 70. Suppose -3*j + y = 2. Solve -j*o = -t - 6 for