3*v + 3 - 12 for v.
-3
Let l(k) = -k**2 - k - 2. Let g be l(-3). Let o be (g/10)/(1/(-5)). Suppose -4*j + o = -2*j. Solve z - j = -1 for z.
1
Suppose 6 = -i - 2*w, -2 = 4*i - 3*w - 22. Solve -i*b = b for b.
0
Let s = -1 + 3. Suppose -4 = -v - s. Solve -v*z = -4 + 2 for z.
1
Suppose -4*f - 12 = 0, 25 = k + k - 3*f. Suppose 0 = 5*g - 2*b - 20, 3*g - 2*b - 3*b - 31 = 0. Let i = -2 + g. Solve 2*q + 2*q - k = i for q.
2
Suppose 6*s = 7*s. Solve c + s*c = 2 for c.
2
Suppose -s = 2*f - 14, 5*s = 4*f - 7 - 35. Suppose -28 + f = -4*u. Suppose k + u*z + 7 = 0, z + 2*z + 9 = 0. Solve 3*j = -4 - k for j.
-4
Let b(w) = -3*w**2 + 13*w - 12. Let i(y) = y**2 - 6*y + 6. Let v(d) = 2*b(d) + 5*i(d). Let s be v(-5). Let z be 28/8*(-4)/(-7). Solve j - s = z for j.
3
Suppose -10*g + 20 = -5*g. Solve -g*k + 2 = -2 for k.
1
Suppose -2*y + 23 = 4*v - 5, -3*v = y - 19. Solve -x = -0*x - v for x.
5
Let i be -5*(0 + 6/(-15)). Suppose 3*f + i = 4*f. Suppose o + f*d - 12 = 0, 4*o - d + 0*d = 3. Solve -6 = o*w - 0 for w.
-3
Let y(a) = -a**3 + 5*a**2 - 3*a. Let k be y(4). Let t be 10*3/(-6) + -2. Let w be -4 + 1 - (k + t). Solve w = x + x + 6 for x.
-3
Suppose -4*z - 3*o - 31 = 0, 2*z - 4 = 2*o - 2. Let y = 1 - z. Suppose 0 = -y*q + 5*u + 30, 4*q + 1 = -5*u - 2. Solve -q = -l + 2 for l.
5
Suppose 0 = 2*q - 3*r, q = -0*q + 2*r. Suppose 0 = 5*d - 7 - 28. Let z = d + -5. Solve -z*u - 2*u = q for u.
0
Suppose 3*y - 10 - 2 = 0. Suppose i + 4 = 4*a + 30, -14 = i + 4*a. Let x(t) = -t**3 + 6*t**2 + t - 3. Let m be x(i). Solve m*q = -11 - y for q.
-5
Suppose -3 = -2*w + 5, -3*k = -3*w - 3. Solve -1 = -3*y + k for y.
2
Let v = -6 + 10. Suppose -5*j + 96 + 14 = 0. Solve v*c - j + 2 = 0 for c.
5
Suppose -3*c + 7*c - 424 = 0. Let p be (c/4)/(2/4). Suppose 4*f - p + 21 = -x, -5*f + 15 = -5*x. Solve -4*l - 3 = -f for l.
1
Suppose q - 5 = -2*q + 4*i, q - 3*i - 5 = 0. Suppose -10 = 2*l - 0*l. Let u = q - l. Solve 0 = -u*p - 2 + 18 for p.
4
Suppose z - 6 - 2 = 2*q, -2*q - 8 = -4*z. Solve z = 6*o - 2*o + 4 for o.
-1
Suppose g = 4 - 1. Let f be 24/16 + g/2. Solve f = -2*w - 5 for w.
-4
Let j = -16 + 31. Solve c + 2*c = j for c.
5
Let q(o) = -o + 6. Let d be q(3). Let h be 2 - d - 4/(-1). Let z = 0 + h. Solve -5*v = -z*v - 8 for v.
4
Let j = -18 + 25. Suppose j*q - 13 = 1. Solve -4*d - 6 - q = 0 for d.
-2
Suppose 6*r - 2*r = 56. Let j be (12/r)/((-1)/(-7)). Suppose 0 = l - j*l + 10. Solve -2*t - l = -t for t.
-2
Suppose -9*v - 18 = -12*v. Solve v*l - 12 = 10*l for l.
-3
Let q = -13 - -20. Solve q - 2 = -v for v.
-5
Let y = 7 - 2. Let f be y + -2*(-2)/4. Let u be (18/(-15))/(f/(-20)). Solve 0 = a - 3 + u for a.
-1
Suppose -3 = -3*d - 2*b + 1, d - 5 = 3*b. Suppose -d*u + 4 = -2*i + 4*i, 4 = -i. Suppose -r - u = -3*r. Solve 17 = -5*z - r for z.
-4
Let a be (-3)/2*(-8)/6. Suppose -a*o = o. Solve o - 2 = -2*r for r.
1
Let c be (3/(-6)*-6 - 1) + -2. Solve c = -z - z for z.
0
Let w(x) = x**2 - 3*x - 2. Let l be w(4). Suppose l*n = n. Solve n = -7*f + 2*f for f.
0
Let m = 28 - 40. Let w be (-279)/m + 2/(-8). Suppose -5*p - 4*j + w - 3 = 0, 5*p = -j + 20. Solve 0 = p*b - 2*b for b.
0
Let b be 2*(1 - 2 - -2). Solve -b*r + 2 = -0 for r.
1
Let l be (-12)/(-1) + 0/1. Solve -6*o - l = -2*o for o.
-3
Let b(y) = -y**2 - 4*y. Let a be b(-4). Let u = 2 + a. Suppose 5*p = 2*h - 7*h - 5, -1 = -u*p + h. Solve p = -2*s - 0*s for s.
0
Let g = -4 - 4. Let o(f) = 5*f**3 + 4*f**2 + 4. Let s(w) = -4*w**3 - 5*w**2 - 3. Let y(u) = 3*o(u) + 4*s(u). Let b be y(g). Solve -m + 5 = -b*m for m.
5
Let a(f) = f**3 + 5*f**2 + 3*f - 5. Let m be a(-4). Let i be ((1 + m)/(-1))/(-2). Suppose 3*d - 3 - 5 = -g, -5*g = 3*d - 28. Solve i = -g*c + c for c.
0
Let z be (34/10 + -3)*150. Suppose 2*n + 4 + 0 = 0, -2*a + 5*n + z = 0. Solve -a = 5*w - 0*w for w.
-5
Let h be 2/4*-13*-2. Let z = 22 - h. Solve 6 = 3*d - z for d.
5
Let q be -75*(-3)/9*2. Suppose -5*w = 2*y - 110, 4*w + 2*y - q = 38. Suppose w + 13 = 5*s. Solve s + 3 = 2*d for d.
5
Let o(p) = 2*p**2 - 4*p + 3. Let w be o(2). Let s(m) = m + 5. Let k be s(-4). Solve -k - w = -u for u.
4
Let p be 96/(-120)*(54/(-4) - -1). Solve -8*y = -3*y + p for y.
-2
Let r be (-4)/14*(-105)/30. Solve 4 - r = q for q.
3
Let j(q) = -5*q**3. Let n be j(1). Let w(s) = -4*s**3 + s**2 + s + 1. Let b be w(-1). Let f = n + b. Solve f*v = -5*v for v.
0
Suppose -1 = -3*q + 4*n, -1 = 3*n + 2. Let s = q - -2. Let k be (s/(-3))/((-7)/42). Solve -2 + 6 = -k*y for y.
-2
Suppose 0*j + j = 0. Suppose 2*o + t - 5 = j, 6*o - 3*o - 4*t = 2. Solve 0*r + 4 = -o*r for r.
-2
Let t be -6*8/(-9)*3. Suppose s + 7 = h + 3, -3*h + 4*s = -t. Let a be (-14)/(-6) + 4/6. Solve a*w - w = h for w.
0
Let j(g) = -g**3 + 3*g**2 + 4*g + 1. Suppose -6 = 2*n - 4*x + 6, 5*n - 45 = -5*x. Let l be j(n). Solve 7 = 2*d - l for d.
4
Let o be (0 - -11) + 1 + -2. Let w = o + -6. Suppose w*z + 3*c = 4 + 6, -5*z + 10 = 5*c. Solve 0*s = z*s - 20 for s.
5
Suppose 75 = 3*w - 3*u, -2*w = -u - 50 - 5. Suppose 5*a = -5*z + w, 2*z + a - 7 + 0 = 0. Solve -z - 15 = 4*b for b.
-4
Suppose -16 = -5*i + p, 2*p - 3*p - 10 = -3*i. Solve -4*h - i - 5 = 0 for h.
-2
Suppose -5*t = -5*l + 25, 6*t = -l + 3*t - 15. Solve l*y - 3*y - 12 = 0 for y.
-4
Let s be (-2 + 1)*(2 - 2). Let d be (5 - 6)*(0 + s). Solve d = u + 4*u - 25 for u.
5
Suppose 2*r = 3*r - 15. Solve -3*t + 3 = r for t.
-4
Suppose -3*w - 30 = -6*w. Let t = -8 - -14. Let k be (3/t - 0)*w. Solve -h + k = 8 for h.
-3
Let o = -27 - -29. Solve 4 = o*f - 0*f for f.
2
Let h be ((-8)/6)/(1/3). Let a = 7 + h. Solve -a*w + 11 = -4 for w.
5
Suppose -13*k - 4 + 95 = 0. Solve 5*g = -18 - k for g.
-5
Suppose -4 = -2*i - 2*i. Suppose -2 + 13 = -x - 5*h, 5*h = -5*x - 15. Let b = i - x. Solve -b*w = w for w.
0
Let y(n) = -n**3 - 6*n**2 + 6*n - 3. Let i = -14 - -7. Let f be y(i). Solve -5*x + 6 + f = 0 for x.
2
Suppose -4*b - 4 - 12 = 0. Let l be (2 + b)/(2/(-15)). Solve c + l = -4*c for c.
-3
Let v be (-12)/(-14)*98/21. Solve v = -2*a - 2 for a.
-3
Let i(a) = -a**2 - 5*a - 2. Let o be i(-4). Let l be (-420)/(-9) - (-1)/3. Let g = l + -31. Solve o*x = 6*x - g for x.
4
Suppose -25 = -3*n + 29. Solve -3*v = -n + 3 for v.
5
Let k(j) = 0*j**2 + j**3 + 2*j + 5*j**2 - 5*j + 5*j. Let p be k(-4). Solve -z - p = -3*z for z.
4
Suppose 0 = -i + 2*h + 16, 2*i - h = -2*i + 43. Suppose m + 0 = 3. Solve -c + i = -m*c for c.
-5
Let y be (-36)/54 - (-8)/3. Solve 0 = y*r - 4*r + 10 for r.
5
Let i(h) = h**3 - 7*h**2 + 8*h - 8. Let u be i(6). Suppose u*w - 13 = -5. Suppose y = w*y. Solve -b + y*b - 4 = 0 for b.
-4
Let r = -2 - -5. Let x(l) = l**3 - l - 1. Let g be x(r). Let i = 11 - 7. Solve -7 = i*y - g for y.
4
Let m(i) = -3*i - 2*i + 1 - 3*i**2 - i**2 + 5*i**2. Let j be m(6). Solve 23 - j = -4*z for z.
-4
Let y be 2/(2/7) - 2. Suppose 0 = -y*g + 4*g + 3. Solve 7*b = g*b - 16 for b.
-4
Let h = 2 - 5. Let s(v) = -6*v + 4*v + v + 0 + 1. Let z be s(h). Solve k = -2 + z for k.
2
Let d(u) = u**2 + 6*u + 1. Let v be (-1)/(3*(-1)/(-18)). Let k be d(v). Let q(j) = j**2 + 2*j - 3. Let z be q(-4). Solve -4*m + z*m = k for m.
1
Let s be 0 + 2 + (1 - 0). Suppose 2*w - 2*d = 10, 4*w + w + s*d = 1. Solve -6*x = -w*x for x.
0
Let g(l) = l**2 - 4*l + 3. Let p be g(2). Let v = p + 4. Solve -v*x + 1 = 4 for x.
-1
Let v(o) be the second derivative of o**4/12 + 15*o**2/2 + 5*o. Let s be v(0). Solve -6*c + 3*c = s for c.
-5
Let w(y) = -y**2 - 4*y + 5. Let k(r) = -r + 8. Let g be k(7). Let h be (2/(-4))/(g/8). Let f be w(h). Solve 0 = 3*i + 2*i - f for i.
1
Let b(n) be the second derivative of -n**3/6 - n**2/2 + 3*n. Let u be b(-3). Solve 0*s = u*s for s.
0
Suppose 5*d + 0*i - 5*i = 15, 0 = -2*i + 2. Solve -d = -o + 1 for o.
5
Let d = 31 - 14. Suppose -3*u - b + 0*b = -11, 3*u - 5*b = d. Solve y - 12 = u*y for y.
-4
Let q = -15 - -10. Let l = q + 8. Suppose -l*r - r = -80. Solve -m = 3*m + r for m.
-5
Suppose -3*o + 22 = -4*j, -5*j = -2*o + 6*o + 12. Solve o*v = 15 - 5 for v.
5
Suppose -2*g = -g + 2. Let r = g + 4. Solve 3*o - 5 + r = 0 for o.
1
Suppose 0 = -2*w + 14 + 10. Solve 4*v = -0*v + w for v.
3
Suppose 0 = 4*a - 2*a. Let r = a + 2. Let b = -3 + 3. Solve -r*g = -b*g for g.
0
Let z = -38 - -40. Solve -6 + z = -4*d for d.
1
Let z = 30 + -26. Solve -z*t = -5*t + 5 for t.
5
Suppose -4*m = 2*o - 12 - 2, -2*m + 1 = 3*o. Solve -5 = -m*t - 30 for t.
-5
Let l be (-