2
Let f(i) be the second derivative of -i**4/12 - i**3/2 + 2*i. Let v be f(-3). Let j = 2 + 0. Solve -j*s - 2*t + 13 = 3*t, 2*s - 4*t - 4 = v for s.
4
Let d(v) = -29*v + 1. Let r be d(-1). Solve 3*l + 4*q + 6 - 1 = 0, -2*l + 4*q + r = 0 for l.
5
Let m(n) = n**3 - n**2 - n + 5. Let y be m(0). Suppose -y*j = -j. Solve -3*s - 4 = -2*v, -6 = -3*v - j*v - 5*s for v.
2
Suppose -11 + 17 = 2*h. Solve 0 = -h*g - g - c + 3, 0 = 5*g - 3*c + 9 for g.
0
Let j be (-14)/(-3) + 2/6. Suppose 3*s + 2 = 2*i - 3, -4*i + 21 = j*s. Let t be (2/(-6))/(1/(-9)). Solve -i*f + 3*a = t, 2*f = -f + 3*a - 6 for f.
3
Suppose 19*m + 6 = 21*m. Solve 1 = -3*x - m*q + 19, 2*q + 3 = x for x.
5
Let w = 29 + -5. Let t be (-65)/(-4) + 2/(-8). Solve -5*c + 4*l = w, 0 = -5*c - 3*l - t - 1 for c.
-4
Suppose -3*z + 4*z + 2*u = -4, -u + 5 = 4*z. Let l be 4 - z - 0/4. Solve 0 = l*o - a - 3 - 3, -4*o + 5*a + 24 = 0 for o.
1
Let o = 3 - 1. Let c be (10/(-6))/((-2)/30). Let q = 44 - c. Solve 2*i + 7*b = 3*b + 2, 0 = -o*i + 3*b - q for i.
-5
Suppose 0 = 6*m - m - x + 2, 0 = 5*m - 2*x + 4. Let r be 0 + m/(-2) + -5. Let q be (-1)/(-5) + 1/r. Solve 2*a + 7 = -k, -2*k + q*k = -4*a + 6 for a.
-1
Let x = -8 - -13. Suppose 5 = b - x. Solve 2*h + b = 5*k, -2*h + 0*h = 4*k - 26 for h.
5
Let q = -45 - -89. Let d = q - 29. Solve -3*h + s = -5, 0*s - 3*s = h + d for h.
0
Suppose -10*n - 6 = -13*n. Solve -4*p + 4*k = n*k + 16, -3*k = -12 for p.
-2
Suppose -3*s - 11 = -3*l - s, 7 = -l - 2*s. Solve -3*f - 3 = -4*w + l, 4*w = -f + 4 for f.
0
Let d be (-21)/(-4) + 5/(-20). Let i = -2 - -4. Solve 0 = -5*r + i*k + d, 4*r + k = 5*k + 4 for r.
1
Let i = 105 + -73. Solve -2*k - 4*m = -3*m + 13, -4*k - 4*m - i = 0 for k.
-5
Let j(q) = -2*q + 27. Let h be j(12). Solve -h*z - n = -6*n + 28, -3*z - 13 = -2*n for z.
-1
Suppose 8 = 3*k + d, -2*k + 3*d = 3 - 1. Suppose k*x = 3*x - 2. Solve 8 = 5*f - 4*p - 9, -4*f = x*p + 2 for f.
1
Let l be 3 + 3/((-3)/(-2)). Suppose 0 = w - s - 0 - 1, 9 = l*w - 3*s. Solve 2*k - 2*q - 2 = 0, w*k = -2*q - q + 9 for k.
2
Let z be ((-36)/(-3) - 0) + -3. Suppose 6 + z = 3*f. Suppose -3*m = -5*b + 17, -f*b + 5*m - 6 = -21. Solve b*i + i + 24 = 3*g, 3*i = 2*g - 15 for i.
-3
Suppose -7 + 22 = 5*o. Solve 8 = -2*u + 2, o*h - 3 = 3*u for h.
-2
Let l be (-58)/(-10) - (-3 + (-84)/(-30)). Solve -2*f + l = -k - 3*k, 0 = 3*k + f + 2 for k.
-1
Let r = -7 + 10. Suppose 2*q - 25 = -0*q - r*t, 0 = q + 2*t - 12. Solve -p - 3*n + q = 0, 7 = -3*p + 4*n - 3 for p.
2
Suppose 3*g - 2*c - 9 - 5 = 0, 10 = -5*g - 5*c. Suppose -g*n + 6 = 2. Solve 2*j - 3*k + 1 = n, -2*k = -3*j + 9 for j.
5
Let b = 68 + -65. Solve -b*i = 4*u + 17, -3*i + 0*i + u = -8 for i.
1
Let d be 0 + 1 + 11 + -8. Solve -d = -4*s, -4*s = -0*l - 4*l + 12 for l.
4
Let z be -12*3*4/36*-1. Solve 0 = -a - 1, -z*t + a + 0*a = 15 for t.
-4
Let w(y) = -9*y + 1. Let q(s) = -5*s + 1. Let v(f) = -7*q(f) + 4*w(f). Let t be v(-8). Solve -3*j + 3 = -0*j - 2*r, -t*r - 12 = -3*j for j.
-1
Let k be 5/(-15) + (-13)/(-3). Suppose 4*l = -2*p - 9 - 7, -4*p + 3*l = -23. Let b = 1 + p. Solve -4*t = -5*x - 11, -b = -4*t + k*x + 5 for t.
-1
Let k be (-2 - -8) + 1 - 2. Suppose -u + 8 = 3*u. Suppose 3*l - u*l = -2*a + 17, -57 = -k*l + 4*a. Solve -l = 5*r - 0*p + 3*p, -4*r - 3*p - 8 = 0 for r.
-5
Let a(i) = 3*i**2 - i - 1. Let h be a(2). Let d be 14 + (1 - 0 - 1). Let o = d - h. Solve -u = o*n + 12, 4*u + 6 = -0*n + n for u.
-2
Let r = 252 + -222. Let k(i) = i. Let d be k(2). Solve 0 = -2*a - 5*o + r, -16 = -d*o - 2*o for a.
5
Let d = 100 + -97. Solve -32 = -d*k + 5*s, 7 + 5 = 2*k - s for k.
4
Let r(q) = -q - 3. Let n be r(-4). Let c(a) = 4*a**3 - 2*a**2 + 2*a - 1. Let b be c(n). Let l = 0 + b. Solve -4 = -0*f - f + d, 0 = -5*f + l*d + 10 for f.
-1
Let z(p) = -p**3 + 3*p**2 + 9*p + 10. Let b be z(5). Solve 3*c + b = f - 0, 25 = -c + 5*f for c.
0
Let r(m) be the first derivative of 4*m**3/3 - m**2/2 + m + 2. Let f be r(1). Solve -c - f = -8*b + 5*b, 2*c - 6 = -b for b.
2
Let u be 5/(2*1/2). Let n = 9 - 15. Let o(d) = d**3 + 5*d**2 - 6*d + 4. Let z be o(n). Solve -z*s + l = 10, 4 = -s - u*l - 9 for s.
-3
Let g be 5 + (1 + 0 - 1). Let a(l) = 2*l - 10. Let r be a(5). Solve r = g*p - 25, -2*p = -z + 6*z - 30 for z.
4
Suppose -7 = -5*x + 13. Suppose 0 = -u - 2*l + 4, -4*l = u - 0*u - 6. Solve -2*c - 2*y = 0, u*c - x*y = y + 21 for c.
3
Let r = 31 - 28. Solve 5*j + 20 = -3*q, r*j + 4 + 8 = 0 for q.
0
Suppose 4*a - 6 + 2 = 0. Let j(c) = -c**2 + 4*c + 21. Let i be j(7). Solve -4*w - a + 9 = i, 17 = -5*b - 4*w for b.
-5
Let d be (6/(-10))/((-1)/5). Let z be (1 + 0)*(-1 - -5). Solve -z*w - 5*x = 0, -d - 1 = x for w.
5
Let h(w) = 6*w + 4. Let d be h(0). Solve -2*x = -3*p - 21, x - p = -d*p - 12 for x.
3
Suppose -2*x = -3*x - 3, 23 = -i - 4*x. Let z = 8 + i. Let u be (-3 - 10/(-6))*z. Solve 4*y + 2*o + 8 = 6*o, 0 = 2*o + u for y.
-4
Let q(a) = -2*a - 5. Suppose c + 2 + 3 = 0. Let l be q(c). Solve i = -2*k - i - 4, -l*k - 4*i - 12 = 0 for k.
-4
Let a be -1*(-3 - -3) - -2. Let r be (7 - a)*1/5. Solve 6 = 5*g + 4*d + 2, r = 3*g + d for g.
0
Suppose 2*q + 6 = 50. Suppose -6*p - q = -4*i - p, 5*i - 4*p - 23 = 0. Solve h + 9 = -2*o - 2*h, i*o + 14 = -5*h for o.
-3
Let n be 5 - (1/(-1) + -1 - -2). Solve -n*x = -5*b, 4*b + b - x + 4 = 0 for b.
-1
Let q = 59 + -44. Suppose 4*g - 2*l + 0*l + 2 = 0, -g - 3*l = -3. Solve g = 3*x + 9, -f - f = 5*x + q for f.
0
Suppose -3*a + 0*c - 14 = -5*c, -2*c + 8 = 0. Suppose 4*q - s + 48 = -5*s, -27 = 2*q + 3*s. Let w = q - -11. Solve a*d + 5*n - 11 = -w, 2*d = 2*n + 2 for d.
2
Suppose 4*g + 2*z = 60, 3*g = -2*z + 8 + 38. Suppose -20 = 9*o - g*o. Solve 5*q - 15 = 3*d, -3*q + o*d + 5 = -4 for q.
3
Let j = 10 + -14. Suppose -4*v + 2 + 30 = 0. Let y = v + j. Solve y = 3*z - x - 0, -4 = z + x for z.
0
Let t = -8 + 12. Suppose 9 = -3*o - 3*h, 2*o + t*h = h - 10. Let a be o*6*(-4)/(-8). Solve 4*x + 0*i - 13 = 3*i, 0 = 3*i - a for x.
4
Let j(o) = -2*o + 19. Let l be j(8). Solve 26 = -l*d + 4*z, -z + 4*z - 11 = -2*d for d.
-2
Let g be (1 - -3) + 3 - (2 + 1). Let x be ((-2)/(-3))/((-1)/(-3)). Solve 0 = i + m, -3*m + g = -x for i.
-2
Let r be 238/8 - (-3)/12. Solve 1 + 9 = q + y, 2*y - r = -4*q for q.
5
Let c(z) = -z**2 - 9*z + 4. Let p be c(-9). Solve p*y = 2*x + 18, y + 0*y + 1 = -5*x for y.
4
Let l(a) = a**2 - 4*a - 1. Let u be l(5). Suppose 3*b - 21 - 21 = 0. Suppose u*x - 13 = t, x + 5*t - 5 = b. Solve 0 = m + x*m + 3*r - 19, -4*m + 14 = 2*r for m.
2
Let r(k) = 2*k**3 - 5*k**2 + 4*k. Let d be r(3). Let i = d - 13. Suppose i = -2*x, 3*b + 4 = -x - 0*x. Solve -5*n + o - 1 = 9, 5*n + 4*o + 10 = b for n.
-2
Let r(g) = g**3 + 6*g**2 + 3*g - 6. Let t be r(-5). Let w = t - 0. Solve y = 3*h, 4*h - w*y + 13 = 5*h for h.
1
Suppose -2*l + 4*n = -0 - 8, 5*l = -2*n + 56. Suppose -2*y + l - 4 = 0. Suppose 0*b + 51 = y*b. Solve 3*p = -5*v - 0*p + b, 5*p = v - 9 for v.
4
Suppose t + 0*v + 5*v + 16 = 0, 3*v + 12 = 0. Solve -5*a = -h + 30, -2*a + t*h - 30 = -0*h for a.
-5
Suppose 1 - 3 = -y. Let h = 66 + -41. Suppose 3*j - h = -2*j. Solve 4*u = j*c - 9, -3*u - 1 = -0*c + y*c for u.
-1
Let k = 20 - 20. Solve 2*z + k*z = 2*r, -z = -5*r + 12 for z.
3
Let u be 33/7 + 4/14. Let p = u + -3. Let l = 13 + -9. Solve 2*w - 22 = 5*m - p*w, -4*w + 20 = -l*m for m.
-2
Let b = 25 + -11. Let z(n) = n - 1. Let r be z(-5). Let t be 20/6 - (-2)/r. Solve -2*d = -6*m + m + 24, d = t*m - b for m.
4
Let a(h) = -3*h**2 + 16*h. Let v be a(5). Solve 0 = -i + 3*f + 18, -v*i - f + 8 = -2 for i.
3
Let u = 101 - 233. Let q be 4/(-10) - u/30. Suppose -w - 3*x + x = -1, -q = 4*x. Solve -2*l + 22 = w*h, 0 = 5*h - h - 16 for l.
5
Let t(l) = -l**3 + l. Let n(p) = -5*p**3 - 4*p**2 + 10*p. Let m(f) = n(f) - 6*t(f). Let y be m(3). Solve 3*z + y*x = 0, 3*x = 3*z + 2*z - 32 for z.
4
Let o(c) = 4*c**2 - 2*c - 1. Let z be o(-1). Suppose 1 + 4 = -z*w. Let t be (4/6)/(w/(-3)). Solve 5*a - a - p = -15, 5*a + t*p = -35 for a.
-5
Let n be 6/(-5)*(-20)/6. Suppose -n*k + 10 = -2*k. Solve -2*r - k*p - 11 + 0 = 0, 3*r + 6 = 3*p for r.
-3
Let j = -40 + 29. Let f = j + 16. Let l be 13/f - 12/(-30). Solve -5*p + 2 = -13, -p - 6 = l*i for i.
-3
Let l = -12 - -28. Suppose -4*m = 3*n - n, 2*n = -3*m. Solve o + 5*i - 1 - 1 = m, -l = 5*o - i for o.
-3
Suppose 0*m - m = -4. Suppose -2*a + 31 = -3*n, 2*n - 5*a + 29 = -2*a. Let g be ((-2