 v(s) = 12*s**2 - s. Let f be v(-1). Suppose -13 = 4*n - 3*a, a = -3*n - 0*a. Let b = n - -5. Solve i = -5*j + 19, i - b = 2*j - f for j.
4
Let n(t) = -2*t + 5. Let u be n(-5). Suppose 0 = 3*s + 9, -s = -d - 3*s + u. Solve -4*j = g + 1, j = -5*g - 3 - d for g.
-5
Let b be 84/22 - (-6)/33. Suppose -5*y + 2*t + 20 = 0, -b*y - 3*t = 2*t - 16. Solve y = -2*a, 2*d - 3*d - 5*a - 13 = 0 for d.
-3
Let i be -2 + 2 + 10/2. Solve -9 + 3 = -3*u - 3*r, i*u = 3*r + 10 for u.
2
Suppose -3*u - 4 = u. Let x be (-2*(-6)/(-4))/u. Solve -x*q - 7 = 2*m, 3*m + 2*q = q for m.
1
Let m = -5 - -9. Suppose -m*c = -5*c. Suppose w - 2 = -c*w. Solve 6*o = 3*x + w*o, -4*o = -2*x - 4 for x.
4
Let i = -14 + 26. Solve q = -2*t - 8, -4*t + 0*q = -5*q - i for t.
-2
Let y(l) = l - 2. Let r be y(6). Let d = r - 0. Solve -5*u + 0*u + 3*x = -14, 4*x = 3*u - d for u.
4
Let r(a) be the first derivative of 2*a**3/3 - 3*a**2/2 + 3*a - 3. Let t be r(2). Solve -4*v = 3*o, -t*v + 3*o - o = 0 for v.
0
Suppose 0*k + 2*u + 36 = -4*k, -2*k + 3*u - 2 = 0. Let v = -6 + 17. Let q = k + v. Solve -3*d + 2 = 3*m - 1, -4*m + 3*d = -q for m.
1
Let h = 4 + -2. Suppose -22 = -8*c + 10. Solve 2*k = c*k - y + h, -8 = -4*y for k.
0
Let w be (-1 - (-1140)/27) + 4/(-18). Solve -3*z = 2*m - 3 - 4, -4*m = -5*z + w for z.
5
Let x be 12/(-8)*(0 + -2). Solve i + 2*k + x*k - 17 = 0, i = 5*k - 23 for i.
-3
Suppose 4*a - 32 = -3*v, -2*v + 5*v = 12. Solve 0*h = 2*h - a*k + 3, 0 = -4*k + 4 for h.
1
Suppose n + 0*n = 3*z + 4, -z = -3*n + 12. Suppose 0*p = 4*p - 20. Suppose 0 = -p*t + 18 - 3. Solve -n*k + 3*i = 1, k - i = t - 2 for k.
-4
Let r be (-31 + 32)/(-2*1/(-14)). Solve 4*d - 2*s - 1 = 3*d, -2*s = 5*d + r for d.
-1
Suppose 2*j = -4*v + 28, -5*j + v + 44 = -2*v. Solve 3*t - 2 = 2*i, i - j = -2*t - 2*i for t.
2
Suppose 0 = 13*i - 23*i + 80. Solve -h - 4*d - 6 = 0, 2 = -5*d - i for h.
2
Let g be (2/4)/((-1)/(-4)). Let d = -2 + g. Let n(i) = i**2 - 3*i - 6. Let u be n(5). Solve d = -y - 3*a + 4*a - u, y + 2*a = 2 for y.
-2
Let t be (-10)/(0 - (-4 - -6)). Solve -4*z + 6 = -5*b - 23, -b - 10 = -t*z for b.
-5
Let p be 2*4 - 2 - -1. Let h(y) = -15*y + 2. Let n be h(-2). Suppose -49 = -5*u + i + 3*i, -4*u + n = 4*i. Solve -4*l = -j + 6*j - u, -3*j - 2*l + p = 0 for j.
5
Let i(m) = 2*m**2 + 2*m - 2. Let a be i(-2). Suppose 0 = y + y. Suppose 5*f + 15 = 3*k, -2*k = -5*f - y*k - 10. Solve -x + a = p - f, -3*x = -2*p - 1 for x.
1
Let r be 2/12*-6 - (-6 + 1). Solve -9 = -r*a - t, -t - 12 = -3*a - 0*t for a.
3
Let z(j) = -4 - j + 3 + 2. Let i be z(-4). Suppose -4*f - i*d = -2*d - 23, 0 = -4*f + d + 19. Solve -2*a + 0*v - 8 = -4*v, -5*a - 5*v - f = 0 for a.
-2
Suppose -4*z = 3*b - 2*z - 22, -5*b - 5*z = -45. Suppose -b*m + 16 = -0*m. Solve 5*d - 2*v + m - 14 = 0, d = -3*v + 19 for d.
4
Suppose 5*y + 0*o - 32 = -3*o, -y = -3*o - 10. Suppose 4*x = -g + 9, -2*g - g - 4*x = -19. Solve -2*d + 4*s = -2, 0 = -0*d + d - g*s - y for d.
-3
Let h be 8 + ((-120)/(-6))/(-4). Let b be 3 - 3 - 4*-1. Solve -h*t + 3 = 3*m, -b*t = 4*m - t - 1 for m.
-2
Let s be 42/9 - (-4)/(-6). Solve 6 = -s*k - 5*v, -3*v = -4*k + 9 - 31 for k.
-4
Suppose -3*q - 20 = -7*q. Suppose -1 = -q*p - 6. Let n be (p/3)/((-4)/108). Solve 7 = -3*k + 2*s + 3*s, k + 4*s - n = 0 for k.
1
Suppose 8*r + 30 = 6*r. Let a = -13 - r. Solve 1 = a*c - 3, -l + 5 = 5*c for l.
-5
Let u(b) = 2*b**3 + b**2 + b - 2. Let m be u(1). Solve 5*q - 4*i + 7 = -8*i, 0 = q - m*i - 7 for q.
1
Let l be (-4)/(-18) - (-8)/(-36). Suppose 10 = 2*n + 2*b, 5*n - 3 = 4*n - 3*b. Solve 2*i - 5*z + n = l, z - 15 = 5*i - 0*z for i.
-3
Suppose 0 = -5*u + 130 + 5. Let b = -14 + 14. Suppose -6*r + 4 = 2*t - 3*r, -5*t + r + u = b. Solve -3*l = 4*d + 17, -3*d = -l + d + t for l.
-3
Suppose 0 = 29*y - 33*y + 28. Solve -v - 2*v = -t - y, 2 = t for v.
3
Let d(q) = -5*q + 70. Let h be d(13). Solve 2*g + h = -g - 2*b, 3*b = -3 for g.
-1
Suppose -4*h - 4 = -4*q, 3 = 4*h - 5*q + 12. Suppose -9 = -h*g + g. Solve -2*a + 4 = -2*i, -g*i + a - 6*a - 30 = 0 for i.
-5
Suppose 0 = -4*d + 2*o + 10, 4*d - 7 - 6 = 5*o. Let h(u) = 6*u - u**d + 4 + 3*u + 0*u**2. Let l be h(9). Solve -3*i - 24 = l*c, -2*c = c + 2*i + 17 for c.
-3
Let p = 10 + -7. Suppose p*t - 10 = -4. Let b = 4 - t. Solve 4*k = b*g + 3*k - 7, -4*k + 7 = -g for g.
5
Let o = 13 - 9. Let s(i) = 4*i**2 + 2 - 5*i**3 + o*i**3 - 8*i**2 + 3*i. Let a be s(-5). Solve a = -4*q + 3*b, 20 = 2*q + 2*q + 5*b for q.
0
Suppose 5*k - 8*k = 4*x - 99, -4*k + 125 = 5*x. Suppose -4*l - 18 = -2*p, l - 6*l = -2*p + x. Solve -g + j - 1 = -3, 0 = 2*g + 5*j + p for g.
1
Suppose v = -2*v - 5*n - 7, 0 = -4*v - 2*n + 14. Let a = -1 - -3. Let u = v - a. Solve 3*g = -p + 7, -u*g = 4*p - 19 - 1 for g.
1
Let d be (-26)/(-8) + (-20)/80. Solve 3*n - 5*n + x - 7 = 0, d*n + 13 = 4*x for n.
-3
Let t be (2 - 1)*(-2 - -3). Solve -t = -2*m - 7, 2*c + 4 = -2*m for c.
1
Suppose 5*m - 2*d = 21, 3*d + d = 8. Suppose m*h = 6 + 19. Solve -t + 14 = -4*w, -12 = h*w - t - 3*t for w.
-4
Suppose -2*s + 6*s - 64 = 0. Let f(a) = a - 5. Let q be f(4). Let z be q/(-2) + (-7)/(-2). Solve -3*g + t + z = -4*g, -t - s = 5*g for g.
-3
Suppose -5*l = -0*l - 5*j + 105, j = -5*l - 93. Let x = 22 + l. Solve 2*s + 3*o = -2*s + 3, x*s - 21 = 4*o for s.
3
Let z(g) = -g**2 + 5*g - 2. Let v be z(4). Suppose q = -v*q + 6. Suppose -2*r - 2*c + 8 = -q, 5*r - 16 = 4*c. Solve -3*p + 7 = 4*l, -3*p - r = -2*p - 5*l for p.
1
Let d = 7 + -8. Let p be (-2 + 3 - 1)/d. Solve -4*a - 5*c - 3 = 0, 4*c = -a - p*c - 9 for a.
3
Let i = 3 - 1. Solve 4 = -0*v + 2*v - i*x, -5*v - 2 = -2*x for v.
-2
Suppose 6 = -4*q + 14. Suppose 0 = -q*k + 3*k. Suppose 4*f + j - 2*j = 7, k = 5*f + j - 11. Solve -2*r = -f - 4, 4*x - 29 = -3*r for x.
5
Let v = -47 + 47. Solve u = -2*b + 11, 5*b + v*b = -4*u + 35 for b.
3
Suppose 0*f = -4*f + 12. Solve 0*l - 2*k - 4 = f*l, 0 = 3*l - 3*k - 6 for l.
0
Let i be 6/(-12)*(0 + 0). Suppose i = y - 3*y + 28. Solve g - 4 = n, 0 = -2*n - 5*g + y + 6 for n.
0
Let r be ((-1)/2)/(1/(-16)). Solve -4*a + 19 = -0*g + 3*g, r = -4*g + 3*a for g.
1
Suppose 1 + 19 = 4*s. Suppose a + 4*r - 7 = 0, -8 = -s*r - 3. Solve a*t + 19 - 4 = 0, 5*t + 28 = b for b.
3
Let k be (9/12)/(3/8). Suppose -k*v - 35 = -7*v. Solve u + 4*o + 14 = -2*u, 4*u + 3*o = -v for u.
2
Let b(f) = f**3 - 4*f**2 + 3*f + 3. Let q be b(3). Solve 4*x + 2 = -q*o, o - 1 = 3*o + 3*x for o.
-2
Let b(r) = r**3 + 15*r**2 - 17*r - 18. Let s be b(-16). Let o = s + 4. Solve -n - u = 5, o*n + 0*n = u + 2 for n.
-1
Suppose -11 + 3 = -2*k. Let q = 19 + -10. Suppose -a - 2*a = -q. Solve 2*g - k = -a*z, -4*g + 0 - 2 = z for g.
-1
Suppose -25 = -3*a - 2*a. Suppose 0 = -8*y + 3*y - 4*p - 140, -4*p - 56 = 2*y. Let d = 43 + y. Solve a*q - 2 = 3*s, d + 3 = q - 5*s for q.
-2
Let x = -11 + 19. Let o be 2/x + (-44)/(-16). Solve o*g = -3*j - 3, 5 = -2*j + 4*g + 3 for j.
-1
Let t be 1 + (-1 - 0) + 0/(-4). Solve l - 20 = -4*l + c, -2*c + 10 = t for l.
5
Suppose v = -c + 3, 3*c - 9 = -2*v + 2*c. Let x(q) = -3*q - 1 - 2*q + v*q. Let o be x(1). Solve 2*k - 4*f + 0 = 4, o = -k - 2*f + 6 for k.
4
Suppose 3*b - s + 3 = 4, -4*b + 13 = s. Solve b*w + 19 = 3*r, 3*r = -0*r - 2*w - 1 for r.
3
Suppose -2 = -2*m - 6. Let n be (-4)/10 + m/(-5). Solve -g - 4*v = 20, n = 2*g - 0*g - 4*v - 8 for g.
-4
Suppose -2*b - 15 + 21 = 0. Solve 5*u - 2 = b*u, -12 = 2*q - 4*u for q.
-4
Suppose 14*z + 6 = 16*z. Solve 5*j - z = h, 3*h - 5 = h - j for h.
2
Let b be 398/6 - (-2)/3. Let a be (-4)/14 - 111/(-21). Suppose -a*j = -2*n - b, 22 = 5*n + 2. Solve 15 = -5*p + 5*x, -j = -2*p - p - 5*x for p.
0
Suppose -3*n + 5*b + 96 = 0, -n - 4*b + 22 = 7. Let x = -19 + n. Solve q - 20 = -4*q, -q = -2*o - x for o.
-2
Let k be 1*3*(-8)/3. Let c be (24/4)/((-3)/k). Solve -5*u + 20 = o, -3*u + 3*o + c = 4 for u.
4
Let c = -5 - -6. Let d be 26/c - 4/2. Solve d = -3*n - 3*v + 9, -2*v + 25 = -5*n for n.
-5
Let q = 19 - 15. Solve 3*j = -q - 2, -s = j + 3 for s.
-1
Let g = 14 + -23. Let y = 3 - g. Suppose 0 = 3*k - 3*o - 22 - 32, -k + y = o. Solve 0 = 5*i + a - 5, a + 2*a - k = 2*i for i.
0
Let v be (22/33)/(1/(-3)). Let l be 0 + (v + 3 - 1). Solve 3*o - t = l, 1 = o - 5*t + 15 for o.
1
Let v be ((-2)/(-4))/(2/4). Solve -3 = -2*g - 2*m + v, -4*g - m + 17 = 0 for g.
5
Suppose 0 = l + l + 26. Let c = l - -15. Solve -2*u = -c*q + q + 3, -3*u - 4 = -2*q for 