u = f*u for u.
0
Let i(v) = -v**2 + 25*v - 61. Let o be i(22). Solve 4*y - o*y + 5 = 0 for y.
5
Let c = -2 - 4. Let v = 13 + c. Solve 9 = -v*k + 4*k for k.
-3
Let f be 2*(-3 + 42/4). Solve -3*o + f = 2*o for o.
3
Let u(q) = 4*q**2 + q. Suppose 0 = -8*w + 3*w + 5. Let m be u(w). Suppose -3*i + 2*i + 2 = 0. Solve -m = -i*r + 3*r for r.
-5
Suppose 3*c - 4*c = 6*c. Solve c = -3*u - 2*u + 20 for u.
4
Let y = 144 - 140. Solve y*c + 3 = -17 for c.
-5
Suppose 4 + 8 = 2*u. Let h = u - 2. Suppose 0*q + 3 = 3*q - 3*n, q + 2*n = -2. Solve q*p = -h*p for p.
0
Let y(j) = -j**3 - 5*j**2 - 2*j - 7. Let i be ((-10)/8)/(2/8). Let f be y(i). Let p be 3 + (-1 - -3)/(-2). Solve f*q = -p*q + 25 for q.
5
Let i = -64 - -65. Solve -4*f = 7 + i for f.
-2
Suppose -2*g + 3*h = -21, -5*g + 5*h + 58 = 3*h. Let t = 5 - 5. Suppose t*a + 3*a = g. Solve -a*z - 3 - 5 = 0 for z.
-2
Let x(w) = w**2 - 5*w - 5. Let y be x(6). Let r be 2 + 8/1 + y. Solve -5*n + r - 1 = 0 for n.
2
Let g(k) be the third derivative of 7*k**4/24 - k**3/6 - k**2. Let m be g(1). Let z(n) = -4*n - 20. Let x be z(-8). Solve -m*o = -2*o - x for o.
3
Suppose 10 = q + 4*x, -3*q - 3*x - x = -54. Suppose -19 = 3*n - q. Solve 4*d + n = -7 for d.
-2
Let w be -1 - ((-3)/1 + -2). Suppose -w*d = -3*i - 39, -2*i = -d - 8 + 24. Solve -3*g + d = -0*g for g.
2
Suppose 5*u + 8 + 12 = -i, 2*u = 4*i - 8. Solve i = l - 3 for l.
3
Let s(v) = 6*v**2 - 3*v + 0 - v**2 - v**3 - 2. Let d be s(4). Let i = 0 + 6. Solve 0 = -i*t + d*t - 20 for t.
-5
Let g(t) = t**3 - 6*t**2 + t - 3. Let h be g(6). Solve -6 = -h*q - 0*q for q.
2
Suppose 0 = 5*m - 2*h - h - 17, 0 = -3*h + 3. Solve 2*o = o + m for o.
4
Suppose -2*f = 9 - 1. Let i be f/10 - 94/(-10). Suppose 3*r - 4*s = 40, -5*s = 2*r - s - 60. Solve -4*c + r = -i*c for c.
-4
Suppose 0 = 5*a + 5*k - 10, 0 = -4*a + 2*k + 2 + 6. Solve -a*c = -c for c.
0
Let l be 5 + 0*3/9. Suppose -u + 2*g = -0*g - 4, -3*g - 48 = -l*u. Solve 7*j = 3*j - u for j.
-3
Let r(k) be the second derivative of k**3/6 - 3*k**2/2 + k. Let y be r(6). Suppose -2*q = y*q. Solve q*s - 1 = s for s.
-1
Suppose -3*d - 2*d = -4*x - 2, -4*x + 8 = 0. Suppose 2*i + 13 - 3 = 4*w, 4*w - 1 = 5*i. Let f = -3 + w. Solve d*p + 3 = -f for p.
-2
Let x be ((-12)/3 - -2)*5. Let m = -10 - x. Let u(d) = -d - 1. Let o be u(-3). Solve o*i + m*i = 0 for i.
0
Let i = 1 + 2. Suppose i*x - 6 = 12. Solve 2*r = x*r + 12 for r.
-3
Let u(r) = -r - 2. Let l be u(-5). Suppose l*c - 40 = c. Solve 4*x + c = -x for x.
-4
Suppose -2*g + 9 = -9. Suppose -5*b = -20, u + 3 = 5*b - 14. Solve 0*l = -u*l + g for l.
3
Let g(m) = -5*m + 44. Let k be g(8). Solve 0*a - 20 = k*a for a.
-5
Let i be -3 - (-3 - 1 - -3). Let x be (1 + 0)*(4 + i). Solve 0*v = -2*v + x for v.
1
Suppose 8 = -r + 3*r. Suppose 15 = r*j - 49. Suppose -j = -4*y - 4. Solve y = -s - 2 for s.
-5
Suppose -4*s = -2*s - 30. Suppose -3*a = f + 13, 4*a - a + s = 0. Suppose -66 = -4*x - f. Solve -5*z + x = -z for z.
4
Suppose 1 = -4*f - 0*f + 5*y, -4 = -f - 3*y. Let w be f - (-1 + 2) - -3. Solve -6*i + w*i + 15 = 0 for i.
5
Suppose -41 = d - 0*d - 2*j, -49 = d - 4*j. Let f = 59 + d. Solve -1 = 5*m - f for m.
5
Let k(l) = l**2 + l**2 - l**2. Let c be k(0). Solve 0*v + v = c for v.
0
Let c(d) = -d - 6. Let l(g) = -g**3 + 2. Let t be l(2). Let q be c(t). Solve -3*v - 3 - 6 = q for v.
-3
Let g = 8 + -6. Solve g*o - 4*o = 10 for o.
-5
Let o be ((-9)/(-6))/(6/(-32)). Let v be o/(-28) - (-12)/7. Solve -v*z + 0*z + 2 = 0 for z.
1
Let h(z) = z**3 + 4*z**2 + 3*z + 4. Let b be h(-3). Solve 0 = -b*u + 3*u + 5 for u.
5
Let l(u) = 2*u**2 - 4*u - 1. Let s be l(3). Suppose -45 = -s*a - 3*z, 4*a - 3 = 4*z + 1. Let v = 9 - a. Solve v*w = w + 10 for w.
5
Let q = 7 - 3. Suppose 6*c - 10*c + q = 0. Solve 5*y + c = 16 for y.
3
Let p = 6 - 4. Let d(y) = 2*y**2 - 6*y + 4. Let j be d(5). Suppose -4*z - l - 3*l = -j, -4*z + 3*l = 4. Solve 8 = -p*v + z for v.
-3
Let z = -60 + 68. Solve 0 = -3*q - q + z for q.
2
Let i(v) = 17*v - 3. Let w(u) = 8*u - 1. Let m(y) = 6*i(y) - 13*w(y). Let g be m(-5). Let a = 10 - g. Solve 3 + 7 = -a*p for p.
-2
Let t = 127 + -127. Solve g + 3 = -t*g for g.
-3
Let l(j) = j - 1. Let r be l(4). Suppose r*p - 10 = p. Let z be 3*1 - (2 + 0). Solve -p*d = 4 + z for d.
-1
Let z be (0/5)/(1 + 1). Let x be 19/4 + 21/(-28). Solve x*o - 3*o = z for o.
0
Let n(r) = -r + 12. Suppose -5*z - 4*g + 58 = 0, -24 = -2*z + g - 6. Let x be n(z). Solve x*d + 6 = -0*d for d.
-3
Suppose -5*u - u = -12. Solve -a = -u*a for a.
0
Let t be (-1)/((3/4)/(-3)). Solve -b - b = -t for b.
2
Let i(y) = 62*y - 2. Let a be i(-2). Let l = a - -90. Let s be (-172)/l - (-2)/9. Solve -3 = -2*b + s*b for b.
-1
Let i(j) be the first derivative of -j**2/2 + 7*j - 3. Let k be i(5). Solve -n + 6 = k for n.
4
Let i be 2/(-6)*(-5 - -5)/(-1). Solve i = -0*d - 4*d + 8 for d.
2
Let g(x) = x - 6. Let d be g(8). Let t be 1 - (1 + d)/(-3). Let b = 10 + t. Solve -3 = 3*n + b for n.
-5
Let v = 24 + -20. Suppose -v = 5*n - 19. Solve 5 - 2 = n*f for f.
1
Suppose 0 = -2*u + 3 + 25. Let l be 4/14 - (-38)/u. Let h be 30/(-105) - (-46)/14. Solve -h*s + 3 = -l for s.
2
Let k = 6 + -6. Let a be k*1/3 - 0. Solve 5*x + a*x - 5 = 0 for x.
1
Suppose 8 = 2*d - 16. Suppose 0 = -k + 2 - 0. Solve -d = k*v - 5*v for v.
4
Suppose -w + 3*w = 16. Let p = w - 4. Solve 2*t = -0 + p for t.
2
Let h = 11 + 1. Suppose 4*c - h = -0*c. Solve 3 = -2*g - c for g.
-3
Let d(o) = -o - 4. Let v be d(-6). Suppose -2 + 8 = 2*t. Suppose i = t*m - 3, 2*i - 12 = -3*m + 9. Solve 0 = -v*b - b - i for b.
-2
Let b = 22 - 20. Solve -b*z - 10 = -0*z for z.
-5
Suppose -4*r + 2*w = -w - 14, -r + w + 4 = 0. Let q be -1 + r + (-4 - -3). Solve q*j - j = 3 for j.
-3
Suppose -j = -2*j. Let d be (-2)/(-8) - (-3)/4. Let b be d*(2 - (2 + j)). Solve b = 2*w - 4*w + 8 for w.
4
Let s = 13 - 8. Let i(h) = -h**2 + 7*h - 6. Let r be i(s). Suppose 4*v - 14 + 6 = 0. Solve r*l + 6 - v = 0 for l.
-1
Let i = 26 - 23. Solve i*f - 6 + 0 = 0 for f.
2
Suppose -5*q - 25 = 0, 5*j + 5*q + 1 = -4. Let i(c) = -4 - j + 2 - c. Let y be i(-7). Solve 3*h + 7 = y for h.
-2
Suppose 3*p + 28 = -2*k - 3, 4*p + k = -43. Let g = -7 - p. Solve 0 = -g*y - 3 - 13 for y.
-4
Let i(c) = c - 7. Let y be i(9). Solve y*r - 6*r = -12 for r.
3
Let n(z) = -z**2 - 8*z. Let u be n(-6). Suppose 4*k = 36 - u. Suppose -o + 0 = -k. Solve 3*p + o = p for p.
-3
Suppose 5*f = 3*c - 4 - 7, 2*c - 4*f - 8 = 0. Solve -l = -c + 4 for l.
-2
Let i be 3 - (-4)/(4/(-3)). Solve -w + 0 + 1 = i for w.
1
Suppose 2*a - 2*x - 15 = a, x = -2*a + 5. Solve -15 = 5*r + a for r.
-4
Let j be (-124)/(-12) + (-20)/(-12). Suppose 0 = -l + 1 + 3. Solve -l*a - j = -0*a for a.
-3
Let q(g) = -g**2 - 11*g + 3. Let y be q(-11). Suppose 3*d - y = 3. Solve d*s + 4 = -4 for s.
-4
Suppose 9 = 4*c - 3*c + 3*d, -5*c - d = -73. Let i be 6 + (2 - c/3). Solve -3*o + i = -6 for o.
3
Suppose 5*x = -0*x. Suppose 8 = -2*o - 4*l, -2 = 4*o + l - x. Solve -8 = -o*g + 2*g for g.
-4
Suppose 4*y = 2*m - 4, y = -2*m - 0*m + 4. Suppose 0 = -3*g + l - 14, 2*g - 5*l + 37 = -2*g. Let k = 6 + g. Solve -k*o = m + 13 for o.
-5
Suppose h - 10 = -h. Suppose h*b = 10 + 5. Solve -b*k = -2*k - 5 for k.
5
Let z be ((-70)/(-4))/(4/40). Suppose -c + z = 4*c. Suppose -5*v + c = -40. Solve -40 = 5*q - v for q.
-5
Let b = -35 - -72. Suppose 0 = -3*v - 26 - b. Let y be 6/v + (-46)/(-14). Solve 0*r = -r + y for r.
3
Suppose 2*b + 0*b - 8 = 0. Suppose -44 = -b*h + 16. Solve 2*n + n = h for n.
5
Let r(u) be the third derivative of u**4/6 + u**3/6 - 2*u**2. Let m be r(1). Solve z + 4 = m*z for z.
1
Suppose 2*f - v + 0*v - 35 = 0, 3*v - 23 = -2*f. Let o = f - 11. Suppose h - o*h + 44 = 0. Solve -h = -5*l + 9 for l.
4
Let t be 0 + 0 + 2 + -2. Suppose -3*h + 21 = -t*h. Let y = -5 - -9. Solve -g + y = h for g.
-3
Suppose 0 = 4*z + z. Let v be 2 + (z - 2) - 0. Let u(b) = -b**2 + 1. Let f be u(v). Solve a + 2 + f = 0 for a.
-3
Let j(i) = i - 2. Let m be j(5). Let k be 3/(2 - (-38)/(-16)). Let l = k - -11. Solve -m*d + l = -3 for d.
2
Let n = -29 - -19. Let h be (6/5)/(2/n). Let j be (h/(-4))/(5/10). Solve f = j*f for f.
0
Suppose 4*h - 5 - 3 = 0. Solve s = 3*s - h for s.
1
Let r be 0/(-4) - 30/(-2). Suppose 2*y + 3*y = r. Solve -y*o - 2 = -5 for o.
1
Let i be -2 - (-4 + 2 - 0). Let w be (2 + -1)*(i + 1). Solve 0 = -h - 0 + w for h.