12 = 0 for o.
1
Let r be 1/(-1) - (-66)/11. Solve -4*n = n - r for n.
1
Suppose 48*i + 3 = 49*i. Solve -6 = i*h + 3 for h.
-3
Let i = 0 - 5. Let o = -1 - i. Suppose 0*r - 2*r = -o. Solve -r*c = c for c.
0
Suppose -4*a + 7*a = 12. Suppose 0 = -t + o + 2, a*t - o + 4 = -0. Let g be t/(-4) + 72/16. Solve -z = -g*z for z.
0
Let q = 28 + -5. Let v = q - 16. Suppose -2*h + 5 = 1. Solve y + h = v for y.
5
Let f(b) be the second derivative of -b**5/60 - b**4/6 + 3*b**2/2 + b. Let h(d) be the first derivative of f(d). Let k be h(-2). Solve w + k = 1 for w.
-3
Let x(c) = -3*c - 54. Let j be x(-18). Solve j*u + 3*u - 9 = 0 for u.
3
Let x be (-12)/16*(-8)/1. Suppose -x*f - 75 = -5*z - 11*f, -z - 5 = -3*f. Suppose -z = -o - 5. Solve -3 = -o*q + 12 for q.
3
Let g(m) = -2*m + 2. Let f be g(1). Solve f = i + 5 for i.
-5
Let u = -101 - -103. Solve -u*i = 5 + 3 for i.
-4
Let z(l) = -25*l**3 + l**2 - l. Let j be z(1). Let t be (-2)/2 - j/1. Solve 4*f + 8 = t for f.
4
Suppose -5 = v - 2*v. Solve v*s = -15 - 5 for s.
-4
Let o = -55 - -61. Solve -v + o = 2 for v.
4
Let t = -24 + 24. Solve t*h - 12 = -3*h for h.
4
Suppose -206 = -4*r + 82. Let s be ((-4)/6)/(4/r). Let i be 13/4 - s/16. Solve -i*h - 3 + 19 = 0 for h.
4
Let s be 3/(-6) - 10/(-4). Suppose 3*m - 11 = 4*p, 2 = -m - 2*p - 1. Let c = s - m. Solve -c + 10 = 3*g for g.
3
Suppose 5*r - m - 17 = 10, m = -4*r + 18. Solve -r*n = -2*n - 3 for n.
1
Suppose 2*v - 4*v = 5*w - 15, -5*w = -5*v - 15. Suppose z - 8 = 3. Suppose 0 = -q + 2*d + 9, -3*q - d + z = d. Solve v*b - q = b for b.
-5
Let m = 22 + -10. Let a be ((-6)/m)/(2/(-20)). Solve 3*b - a*b = -10 for b.
5
Let v(h) = h**2 + 4*h - 3. Let m be v(-5). Let f = -8 + 5. Let z be 6 + 6/(f*1). Solve 22 - m = z*n for n.
5
Suppose 3*a - 2*a = 0. Let t be 1*10/2 - a. Suppose -2*n = -2*p + 4, -3*n = 3*p + n + 8. Solve 3*s + t + 7 = p for s.
-4
Suppose -9*u + 2*u + 42 = 0. Solve -3 = 3*l + u for l.
-3
Suppose 0 = -4*k - 5*z + 17, -6 = -z + 3*z. Solve b = -b + k for b.
4
Let k = 3 - 1. Solve -3*s + 10 = k*s for s.
2
Let r be 12/(-9)*(-2 + 5). Let n be 0*-1*(-2)/r. Solve 4*p + 0*p + 20 = n for p.
-5
Let x be (-10)/(-5)*(-12)/(-8). Solve 0 = -5*t + 4*t - x for t.
-3
Let b = -2 - -2. Let g be (-15)/(-10)*1*2. Suppose 0 = -4*x - w - 4, g*x - w - w - 8 = 0. Solve b = -3*i - x*i + 12 for i.
4
Suppose 0*l + 2*l - 4 = -g, g + 2 = l. Let a = -8 + 3. Let z be -2 + (-11 + 1)/a. Solve -3*k + 15 + z = g for k.
5
Suppose 0 = c + 4 - 7. Solve a + 5 = c for a.
-2
Let g be (-21)/(-14)*(-8)/(-6). Solve g*t + t = 6 for t.
2
Let d = -14 - -16. Suppose b + 2*i - 16 = 0, d*b + i = 3 + 35. Solve -2*x = 2*x + b for x.
-5
Let m = -12 + 6. Let g(y) = -2*y - 9. Let k be g(m). Solve 5*f = k*f - 8 for f.
-4
Suppose -4*p + 18 = -2. Suppose 5*v + p*l = 3*l - 22, 0 = 3*v + l + 14. Let x = v + 8. Solve -3*u + x*u = 2 for u.
-2
Let t(s) = -4*s - 7. Let k be t(-5). Let o(a) = -a + 18. Let q be o(k). Solve -q*i + 4 = -i for i.
1
Let o(f) = f**3 - 4*f**2 + f + 3. Let d be o(4). Suppose 0 = 5*x - 32 + d. Solve 0*u - x = -u for u.
5
Suppose 0 = -5*d - 5*r, -4*d + 2*r - 7*r = 2. Suppose 13*x - 10*x - 54 = 0. Suppose -d*y = y - x. Solve -3*z + z = y for z.
-3
Suppose 0 = -4*y - 0*y. Suppose y = -3*o + 3 + 3. Solve 1 = 3*l - o*l for l.
1
Suppose -x = -2 - 0. Suppose 0 = r - 4*r, 4*h - 8 = r. Suppose h*y = 20 - x. Solve -7 = 4*u + y for u.
-4
Suppose 0 = -z - 4*z + 35. Solve 2*o - 10 = z*o for o.
-2
Let o = 30 + -30. Solve 2*t - t - 5 = o for t.
5
Let h(n) = -n**2 - 6*n + 27. Let g be h(-9). Solve g = -4*c + 11 + 5 for c.
4
Let x be 4/(-2) - (1 + -3). Suppose -t = -x*t - 3. Suppose 0 = -v + 3*b - 4, 2*v - 16 = -3*v + t*b. Solve -v + 2 = o for o.
-3
Let d(t) = -5*t + 4*t + 2 + 3. Let z(o) = o**2 - 9*o. Let m be z(9). Let f be d(m). Solve f*x - 8 = -3 for x.
1
Let a be 0/(-2)*(-7)/(-14). Solve 0*y + y = a for y.
0
Let l(j) = -2*j - 3. Let d(h) = -h**2 - 3*h + 6. Let r(z) = z**3 - 4*z**2 + 2*z - 2. Let o be r(3). Let y be d(o). Let x be l(y). Solve -a = -x*a + 12 for a.
3
Let w(r) = -r + 3. Let t be w(-5). Let o(m) = 13*m - 1. Let g be o(1). Let a = g - t. Solve 0*y = -a*y for y.
0
Suppose -2*y + 0*m - 3*m = -12, -10 = -4*y + m. Solve -1 = -y*a - 4 for a.
-1
Suppose 2*w - 6*w - 1 = 3*h, 0 = h + 3. Solve -3*n = w*n for n.
0
Let o(k) = -k**3 + 23*k**2 - 44*k + 46. Let f be o(21). Solve 2 + f = -6*z for z.
-1
Let r = -2 - -2. Solve -1 + r = -u for u.
1
Suppose -5*b - 15 = 2*n, n - 4*b - 25 = -0*b. Suppose -3*g + 1 - 4 = 4*w, 0 = -4*w - n*g - 5. Solve -3*z = -w*z + 3 for z.
-1
Suppose 2*k = -3*b - 2, -20 = -0*b - 2*b + 4*k. Solve 3*z = -5 + b for z.
-1
Let y = -3 + 8. Solve 25 + 0 = y*s for s.
5
Let j = 0 + 4. Let s be (-3)/(-1) + (j - 7). Solve 2*x + s = 4 for x.
2
Let w(v) = 3*v - 6. Let g be w(-4). Let k be 3/12*-2*g. Solve k*a - 4*a + 15 = 0 for a.
-3
Suppose 5*j + 8*i - 30 = 3*i, 10 = 3*j - i. Suppose 3*x + 3 = 18. Solve -j*f - x = -5*f for f.
5
Suppose -r - 3*r = 8. Let b(y) = -y**3 - 2*y**2 - y. Let t be b(r). Solve -t*l - 20 = 2*l for l.
-5
Let h = 7 - 2. Let y(p) = -p**3 + 6*p**2 - 2*p. Let n be y(h). Solve -4*k - k = -n for k.
3
Let n(v) = -v**2 - 12 + 7 - 5 + 13*v. Let g be n(11). Solve 0 = -3*w - w + g for w.
3
Let s be (-36)/(-48)*12/1. Suppose 4*b + 11 = 3*y, 2*y - s = -2*b + 3*b. Solve 1 - y = -4*d for d.
1
Let s(m) = -m**2 - m + 1. Let w(u) = -2*u**2 + 5*u - 2. Let y(l) = 3*s(l) - w(l). Let t be y(-8). Suppose -t*i + 20 = -0*i. Solve 9*k = i*k for k.
0
Let x be (-2)/(-3) + (-43)/(-3). Suppose 4*c - 11 = -4*n + 1, -4*c = 0. Suppose -5*y = 5*d - n - 7, 2 = d - 4*y. Solve d*v + 3*v = -x for v.
-3
Suppose -4*h + 7 = -9. Solve -11 - 9 = -h*s for s.
5
Suppose -3*v + 6*v + 9 = 0. Let n be v - (1 + -3) - -16. Solve -x - 2*x + n = 0 for x.
5
Let a be ((-3)/(-9))/(((-85)/(-150))/17). Solve 0 = 4*g - 6 - a for g.
4
Let d(j) = j**3 + 4*j**2 + 3*j + 3. Let s be d(-3). Suppose l = -5*o - 20, 3*l + 0*l + 12 = -3*o. Let f = o - -6. Solve -f*t = -s*t for t.
0
Let k = 7 - 7. Solve -3*d + k*d = 0 for d.
0
Suppose 0 = 2*t - 6*t + 8. Solve -k = t*k - 12 for k.
4
Suppose 3*y - 4*y = 4. Let n = y + 6. Solve 4*j - n = -22 for j.
-5
Let r = 9 + -9. Solve -a + r*a = -2 for a.
2
Let g be (4 - (0 - -6)) + 5. Solve -t + g = 2*t for t.
1
Let a(j) = j - 1. Let t be a(3). Suppose -4*m = -2*n + 5*n - 79, t*n - 74 = -4*m. Let y(p) = -p**3 + 6*p**2 + p - 4. Let u be y(6). Solve 6*g + m = u*g for g.
-4
Let s = 6 + -1. Suppose 8*t = 3*t + 4*x + 33, 3*t - 25 = 5*x. Suppose -4*f + 3*c = 15, f + 2*f - t*c + 25 = 0. Solve f = -2*a - s + 1 for a.
-2
Suppose 0 = -0*k - k + 6*k. Solve k = -7*l + 5*l - 4 for l.
-2
Let l(t) be the second derivative of t**5/20 - 2*t**4/3 + t**3 + 7*t**2/2 + 2*t. Let y be l(7). Let q be (y + -1 - -4) + 0. Solve 6*n - q*n = 0 for n.
0
Let p(u) = u + 18. Let t be p(-16). Solve 0*l = -t*l + 2 for l.
1
Suppose 6 + 8 = q. Let i be 180/42 - 4/q. Solve i*l + 10 = 2*l for l.
-5
Suppose 4*z - 35 + 11 = 0. Solve -b = -z*b + 10 for b.
2
Let k(h) = -3*h**2 + 2*h + 1. Let q be k(-1). Let c = q - -6. Solve c*a - 5*a = 15 for a.
-5
Let j = -12 - -15. Solve p - j*p = 4 for p.
-2
Let o(r) = r**2 + r + 3. Let i be o(3). Suppose 4*v + 22 = 5*z, -4*v - i = v. Solve p = -p - z for p.
-1
Suppose -y + 0*y = -2. Let j = -4 + 8. Suppose 5*s + 6 = r + 1, 4 = -j*s. Solve r = -y*q + 6*q for q.
0
Let y(t) = -t**2 - 6*t - 6. Let x be y(-5). Let o = 1 + x. Solve 2*j - j + 1 = o for j.
-1
Let p be 15/6 - 3/2. Suppose 3 = t - p. Suppose w + 11 = 4*w - 2*v, -5*v - 10 = -t*w. Solve 1 = w*f - 14 for f.
3
Suppose 37 = -2*c + 5*l, 4*c - l = -0*l - 29. Let g be (-4 + 3)*c + -3. Solve g*a = 5*a + 4 for a.
-2
Let h(v) = -v**3 + 9*v**2 + 11*v - 8. Let b be h(10). Solve b*n = 3*n - 3 for n.
3
Let p = 5 + -2. Suppose -m = -4*q + 16, -q + p*q = -4*m - 10. Solve 0 = q*s - 8*s - 10 for s.
-2
Let s(t) = t**3 + 6*t**2 - 2*t - 12. Let j be s(-6). Let g be (-4 + 9 - j)/1. Solve g = 4*k - 3 for k.
2
Suppose 2*x + 16 = -0*x. Let u = x - -17. Let l = -113 - -115. Solve l*v - 5*v = -u for v.
3
Suppose 2*v - 4 = -o - 3*o, 4*o = 4*v - 8. Suppose 0 = -0*k + v*k. Solve k*r + 9 = 3*r for r.
3
Let o(z) = 8*z + 1. Let v be o(1). Let s(k) = k**3 - 10*k**2 + 10*k - 6. Let f be s(v). Solve 2*m + f = 1 for m.
-1
Let i be 0 + 0 - (0 + -1). Let y(w) = 4*w**2 + i - 8*w + 0*w**2 - 3*