 Let q be (42/(-28))/(r/(-16)). Solve q = 5*b - 2 for b.
2
Let z(u) = -u - 3. Let r be z(-9). Let k = 9 - r. Solve -3 = k*q + 3 for q.
-2
Suppose 0*g = 3*g. Let i be -1 + g*2/(-6). Let m be i/(-5) + (-1)/5. Solve 2*w - 8 = -m*w for w.
4
Suppose -2*j + 5*j = 0. Let c(v) = v**2 - 5*v - 5. Let g be c(5). Let l = 7 + g. Solve 0 = -o - l - j for o.
-2
Suppose -3*c = 5*b + 10, -c + 6*c = -5*b - 10. Let u be (-2)/4 + (-7)/b. Solve 5 = -u*o - 2*o for o.
-1
Suppose 0*d = 3*l + 5*d + 10, 4*l + 3*d + 17 = 0. Suppose -9*m = 43 + 2. Let k = l - m. Solve 4*z - z = k for z.
0
Suppose -3*t - 7 = -13. Solve -4*n + t = 14 for n.
-3
Let i(q) = -q**3 - 5*q**2 - 4*q - 2. Let d = -2 + -2. Let n be i(d). Let s be 33/6 + n/4. Solve -l = -s*l + 4 for l.
1
Let b = -5 + 8. Let t(u) = -12*u - 1. Let n be t(-1). Let r be (-4)/(-1) + (-1 - 1). Solve -b*x - n = -r for x.
-3
Suppose 0 = 3*h - 4*s + 9, -4*s + s = -5*h - 15. Let l be (-14)/(-3) + (-1)/h. Solve -l*a = -5 - 5 for a.
2
Let o be (-1 - -1)*3/(-12). Solve -2*j + 3*j + 5 = o for j.
-5
Suppose 10*d = -5*n + 5*d + 35, 0 = 3*d - 15. Let c be (-20)/2*(-1)/2. Suppose -c*k + 3 = -4*p - 4, -5*k + 19 = n*p. Solve -5*l + k = -2 for l.
1
Let q(u) = 2*u**2 + 4*u - 9. Let y be q(-5). Let n = -21 + y. Solve -6*l + 2*l = n for l.
0
Let p = -15 + 38. Suppose 0*t - 4*t + 32 = 4*x, -4*x = -t + p. Solve 5*u = t + 9 for u.
4
Suppose -l - 6 + 0 = 0. Let s be (5/(-2))/(3/l). Solve 4*o = -s - 7 for o.
-3
Let r be 4 + 0 - (-8)/(-2). Solve r = -6*k + k + 20 for k.
4
Let c(l) = -l**3 + 8*l**2 - 5*l - 11. Suppose -4*g = -5*g - 5*f + 32, 4*f - 13 = g. Let r be c(g). Solve b + 5 = r for b.
-2
Suppose -6 = -2*c + 2. Solve 0*q - c = -2*q for q.
2
Suppose -172 = -0*c + 4*c. Let h be c/(-5) - (-2)/5. Solve -21 = 4*q - h for q.
-3
Suppose -2*s + s + 19 = 0. Let g(w) = -w**3 + 3*w**2 + 6*w - 4. Let z be g(4). Let a be ((-1)/(-3))/((-1)/(-3)). Solve -s = -z*m + a for m.
5
Let m = -4 - -7. Let u be m/4 - (-18)/(-24). Suppose -36 = -u*c - 4*c. Solve -6 = -5*q + c for q.
3
Let w be (-8)/((2 + 0)*-1). Let a be ((-6)/w)/((-3)/4). Solve -a*n = -n + 5 for n.
-5
Suppose 4*l = -0*l + 96. Suppose 3*b = -4*g + 13, g - 14 = -3*b - 4*g. Suppose -b*y + l = y. Solve 3*m + 6 = -y for m.
-4
Let w(t) = 4*t + 33. Let k be w(-8). Solve n = 3 + k for n.
4
Suppose 0 = b - 5*b + 12. Suppose 4*x - 17 = b. Suppose 5*p + 5 = 5. Solve -a = -p*a + x for a.
-5
Let b(t) = -t**2 + 10*t + 3. Let u be b(10). Let x be 2/u - 422/(-6). Suppose 3*s + c = 44, 5*s + 2*c - x = -2*c. Solve 4*d = -d + s for d.
3
Let m(h) = -h**2 - 8*h - 6. Let k be m(-4). Suppose -w - 4*w = -3*b - k, -b + 30 = 5*w. Suppose a = w*a - 44. Solve -2*u - a = -3 for u.
-4
Suppose 4*f + 4*v + 8 = 0, 2*v - 4 = 3*f + 4*v. Solve -2 = 2*m - f for m.
-1
Suppose 3*k - 11 = 1. Suppose 0 = k*u + 1 + 39. Let o be (12/u)/(2/(-5)). Solve 10 = 2*l + o*l for l.
2
Let m = 22 - 10. Let t = 12 - m. Solve 0 = -k - t*k for k.
0
Let k = 4 - 9. Let h(n) = n + 2. Let s be h(k). Let g be 8/3 - 1/s. Solve -g*c + 1 = 13 for c.
-4
Let k = -2 + 4. Let u(g) = -4*g - 2 + 3*g**2 + 6*g + 3*g**k - g**3. Let v be u(6). Solve v = -2*q - 0*q for q.
-5
Let t = 9 - 15. Let n(j) = -j**2 - 6*j + 4. Let p be n(t). Suppose 5*q - 10 = -p*w, w - 2*q - 9 = -0*w. Solve -2*u - 1 = -w for u.
2
Suppose -40 = -5*p + 5*w, -p - 3*w = 3 - 19. Let c = p - -10. Solve m = 5*m - c for m.
5
Suppose -3*c = 5*i - 11, -6 = 2*i - c - 3*c. Let p be i - (-4 - 1*-2). Let v = p + 1. Solve -y = -v*y for y.
0
Let z(t) = t**2. Let v be z(1). Let f be v/(-2) - 14/(-4). Solve -i = -f*i for i.
0
Let t = -2 + -9. Let l = -10 - t. Solve 0 = f + l for f.
-1
Suppose -r = -0*r. Solve r*v + 5*v = 15 for v.
3
Let i be -9 + (0/2)/(-2). Let t be (-12)/i + 4/6. Suppose 2 - 4 = -2*q + t*p, -3*p - 3 = -2*q. Solve 5*n + 5 = -q for n.
-1
Let z be 5 - -10*(-1)/(-2). Solve -z = -2*n - 0*n for n.
5
Let h be (4/6)/(6/9). Let k(i) = -9*i + 11*i + h + 1. Let l be k(9). Solve -l = 6*n - n for n.
-4
Suppose -2*p = -15 + 15. Solve p = 8*m - 7*m for m.
0
Let i be (-2)/(-2)*(-2 + 1). Let a be i*4*3/(-4). Suppose -20 = 13*l - 17*l. Solve -2*d - l = a*d for d.
-1
Suppose 2*j - 3*j = -4. Solve -j*u = u for u.
0
Suppose 6*f - 3*f = 15. Suppose 0*l - 4*l - 4 = -4*z, 4*z - 4 = 2*l. Solve l*q = -f*q for q.
0
Let b(n) = n**2 + n + 1. Let d(w) = -3*w**2 + 4*w - 7. Let h(q) = -2*b(q) - d(q). Let a be h(5). Solve a = 2*m - 4*m - 6 for m.
-3
Let u be 6/(-24)*(-1 + -11). Let d = u + 0. Solve -2*y = d*y for y.
0
Let k = -229 - -234. Solve -k*t = -0*t - 5 for t.
1
Let p(y) = y + 2. Let t be p(7). Solve -4*c = -t*c - 15 for c.
-3
Let p(a) = 5*a**2 - a - 1. Let h be p(-1). Let c = 9 - h. Solve 0 = -c*y - 16 - 4 for y.
-5
Let j(p) = -5*p**2 + 15*p + 4. Let c(y) = -6*y**2 + 15*y + 5. Let t(q) = 6*c(q) - 7*j(q). Let z be t(-15). Solve z*v - 5 = -3*v for v.
1
Let n(j) = -j**3 - 5*j**2 - 7*j - 1. Let t be n(-3). Solve 5 = -t*m - 1 for m.
-3
Suppose 0 = 2*k - 6, k = -n - 0 + 5. Let j = n - 1. Let d = 2 - j. Solve -3*a + d + 2 = 0 for a.
1
Suppose 4*u - 16 + 3 = -o, -5*o = 2*u - 11. Solve -1 = 2*z + o for z.
-1
Let w(r) = -r**3 + 8*r**2 - 9*r + 6. Let s be w(7). Let d(m) = -m**3 - 8*m**2 + 1. Let x be d(s). Let k = 6 + -3. Solve -x = k*y + 5 for y.
-2
Suppose -2*l + 15 = -l + k, l - k - 25 = 0. Suppose 4*d - l + 0 = 0. Solve d*r - 3 = 7 for r.
2
Let p be (-3 - 0) + 25 - -1. Let b = 23 - p. Solve -3*m - 7 + 1 = b for m.
-2
Suppose 6*x = 78 - 66. Solve -7*n + x*n = -10 for n.
2
Let g(j) = -j - 3. Let s be g(-5). Let o = 12 - 7. Let x = o - 1. Solve 3*f - s = x*f for f.
-2
Suppose -7*i = -2*i - 20. Suppose 4*n - 58 = 2*x, 3*x = 2*n + 1 - 28. Solve -g = i*g + n for g.
-3
Suppose 3*c + 21 - 3 = 0. Let s be 23/c + 3/(-18). Let t be s/10 + 12/5. Solve -2*m + t - 4 = 0 for m.
-1
Let f = -5 - -14. Suppose 3*x - 4*m = f, -6 = -x - x + 2*m. Solve -x*l = -6*l - 15 for l.
-5
Let l(z) be the second derivative of 7*z**3/6 + z**2/2 + z. Let y be l(1). Suppose -d = -3*d + y. Solve k = -1 + d for k.
3
Suppose -2*i = 3*i + 85. Let b = i - -20. Solve b*c - c = -6 for c.
-3
Suppose -2*p = 3*p. Let g(l) = 3*l**2 - 3*l - 3*l**2 + l**2 + 3. Let q be g(3). Solve 4*k - q*k + 3 = p for k.
-3
Let k = 308 + -128. Suppose 0*j + 5*v + k = 4*j, -5*j - 2*v + 192 = 0. Let l be (-2)/4 - j/(-16). Solve l*i - 5 = 5 for i.
5
Let h(q) = -q**3 - 11*q**2 + 13*q + 17. Let z be h(-12). Solve z*y - 12 - 3 = 0 for y.
3
Let j(w) = -w**2 + 2. Let l be j(-2). Let f be 10*-4*(-1)/10. Let q be l + f - (1 - 0). Solve -p + 0 = -q for p.
1
Let g = -121 - -129. Solve g*p - 5*p = 6 for p.
2
Suppose 2*k + 0*k - 8 = -2*x, -3*x + 14 = 4*k. Solve 0 = 3*p + x*p - 5 for p.
1
Suppose 4*t - t = 3*h + 18, 4*h = -3*t + 46. Suppose 5 = -5*j + t. Solve -o - j = -2*o for o.
1
Let v = -8 + 5. Let w be (-2)/(((-9)/(-3))/v). Solve w*x + 8 = -0 for x.
-4
Suppose 12 = 10*v - 7*v. Solve -5*j + v = 9 for j.
-1
Let g(k) = 2*k - 4. Let m be g(3). Solve -m*x - 4 = -0 for x.
-2
Let z be 1488/112 + 2/(-7). Solve -3*p - z - 2 = 0 for p.
-5
Let k be 2*(-7)/(42/(-9)). Solve -3*w + 0*w = -k for w.
1
Let d(t) = -t + 1. Let f be d(3). Let s be 2 - f/(-2) - 1. Suppose 8 + s = 4*x. Solve -4*q + x = -2*q for q.
1
Suppose -2*z + 3*p + 4 + 0 = 0, 4*p = -8. Let i(j) be the first derivative of j**3 + j**2/2 + 1. Let h be i(z). Solve 3*d + 3 = h*d for d.
-3
Let s be ((-5)/((-30)/12))/(1 + 1). Solve 0*f + f - s = 0 for f.
1
Let v(n) = 3*n**2 + 3 - 2*n**2 + 39*n - 36*n. Let z be v(-2). Solve -z + 9 = 4*c for c.
2
Let c be 3/(((-30)/(-28))/5). Suppose -3*t + 16 = -c. Let k = t - 8. Solve -3*f = -2*f - k for f.
2
Suppose 0*c = -2*c + 5*x - 9, 2*c - 12 = -2*x. Solve 0*a - a = c for a.
-3
Suppose 7 - 7 = -z. Solve -2*o + z = -6 for o.
3
Suppose -5*h = 5*r - 95, -5*r + h = -h - 88. Suppose 0 = -0*d + 3*d - r. Solve -1 + d = -w for w.
-5
Let z be 21/12 - 4/(-16). Solve -5*i + z = -13 for i.
3
Let m be -7*1/((-2)/(-6)). Let k = m - -33. Let g(d) = d. Let x be g(2). Solve -2*c = x*c + k for c.
-3
Let n = -12 - -6. Let j be ((-9)/n)/(3/4). Solve 0 = j*d - 6*d - 4 for d.
-1
Let z(v) = -v**2 - 6*v - 1. Let c be (-42)/7 - (1 - 3). Let h be z(c). Solve -h*m = -2*m - 15 for m.
3
Let g = -141 + 141. Solve g = -5*d + 7 - 2 for d.
1
Suppose -3*x = -15 + 6. Let y be (-19 - -1)/x + 3. Let g = 1 - y. Solve -6 = -g*v + 10 for v.
4
Let q(r) = 