0
Let o(p) = -2*p - 42. Let b be o(-22). Solve b*r = -r + 12 for r.
4
Let j(o) = o**3 - 6*o**2 + 5*o - 3. Let l be j(5). Let i be (-4)/l*6/4. Suppose 0 = i*t - 6*t + 20. Solve a + t = 2*a for a.
5
Let c = 36 + -23. Let j = c - 10. Solve -j + 0 = -q for q.
3
Let n = 68 - 41. Let g(l) be the second derivative of l**4/6 - l**3/2 - l**2 + 3*l. Let s be g(3). Solve -5*h - s = -n for h.
4
Suppose -58 = -b - 12. Suppose -b = -2*s + 3*x - 0, 5*x + 54 = 2*s. Solve 2*a - s = -7 for a.
5
Suppose -2*r + 4 = -2*f, 5*r + f - 24 = -f. Let v be (r + -1)*14/(-6). Let z = v - -14. Solve z - 2 = o for o.
5
Let l = -2 - -3. Suppose -a = -3*z + 11 + l, 2*z - 7 = a. Let g = -3 + a. Solve g = -2*y - y - 12 for y.
-4
Suppose 5 = 2*b - g, 0 = -5*b + 5*g - 0*g. Solve 5 + 0 = -b*t for t.
-1
Let s be 1 + 0 - (1 - 0). Let b(y) = y**2 - 5*y - 3. Let k be b(4). Let m = 9 + k. Solve s = -2*g - m*g + 20 for g.
5
Suppose 0 = -w - 0 + 4. Let a = w + -1. Solve -2*f + f + a = 0 for f.
3
Let h(j) = -2*j - 1. Let b(q) = q**2 - q. Let n be b(0). Let t be -1 + (-3)/3*n. Let s be h(t). Solve -6 = -m - s for m.
5
Let q(i) = i - 2. Suppose 3*g - 43 - 5 = 0. Suppose -4 = -4*x + g. Let l be q(x). Solve -l*j + 19 = 4 for j.
5
Let r(v) = -v**3 + 5*v**2 + 7*v + 5. Let y(w) = w**3 + w**2 - 1. Let b(j) = -r(j) - 2*y(j). Let p be b(-6). Solve 0 = p*m + 2*m for m.
0
Suppose 0*a - 2*b = 4*a, 2*b = 2*a - 12. Let k be -2 + a + 0 + 0. Let c = -2 - -3. Solve k*x - x - c = 0 for x.
-1
Suppose 3*r + 3*d - 6*d = 6, -4*d = 5*r - 19. Let n(f) = -f**2 + 10*f - 5 - r*f + 0*f**2. Let j be n(5). Solve 5*z + 0 = j for z.
1
Let v(t) = 3*t - 1. Let p be v(2). Let b(h) = h - 4. Let y be b(p). Suppose -4*w + 3*m - 7 = 0, 2*w - m = w - 3. Solve 3*n - y - w = 0 for n.
1
Let n = -3 - -7. Solve -v = -n*v - 6 for v.
-2
Let r = 0 - 5. Let i be r*((-2)/2 + 0). Suppose -q - 20 = -i*q. Solve -1 - 24 = q*t for t.
-5
Let c = 10 - 6. Suppose -1 = c*z - 81. Suppose -z = -5*p - 0*p. Solve 2 = -p*n - 6 for n.
-2
Let j = 46 - 45. Solve -j = -3*c + 14 for c.
5
Suppose 0*i + 29 = 3*i - 4*q, q + 14 = 3*i. Solve -l = -2*l - i for l.
-3
Let m be (48 + -52)*(1 + 1 + -7). Let o = 7 + -3. Solve o*j = -j - m for j.
-4
Let r = 6 + -7. Let i = r - -7. Solve 0 = -5*h + 2*h + i for h.
2
Let p(n) = n**2 - 7*n + 6. Let g be p(6). Suppose g*o + 4 = o. Let j = o - 4. Solve -2*l + 5*l - 6 = j for l.
2
Let k = -155 + 159. Solve 14 = 5*o + k for o.
2
Let i = 26 + -22. Solve 4*q = -i - 12 for q.
-4
Suppose 0*x = 5*x - 15. Let l(w) = -w**2 - 4*w + 3. Let j be l(-3). Let u = j - x. Solve -u*a = -23 + 8 for a.
5
Let r(s) = -2*s - 2. Suppose -z + 3*w - 2 = 0, 6*w - 4*w + 6 = -3*z. Let d be r(z). Solve 20 = 3*g + d*g for g.
4
Suppose 6*s + s = 14. Solve 0*m + m - s = 0 for m.
2
Suppose 2*v - 3*r = -2, 3*r - 5*r = -8. Suppose -v*d + 2*m + 18 = 0, 2*d - m = -0*m + 7. Solve -3*h + d*h = 5 for h.
5
Let l be 2 + ((-6)/(-2) - -7). Let n be (-1)/5 - 44/5. Let y = l + n. Solve 0*u + y = -u for u.
-3
Let s(c) = -c + 3. Let d be s(8). Let k be ((-6)/d)/(12/30). Solve -k*j + 8*j - 20 = 0 for j.
4
Let w(y) = 2*y + 4. Suppose 3*t - 35 + 11 = 0. Let k be w(t). Solve -6*n - k = -2*n for n.
-5
Let z(j) = -j + 12. Let q be z(9). Solve q = -5*y - 2 for y.
-1
Suppose -3*w + 16 = -0*w - 5*b, -2*w + 6 = -b. Let s be (-1)/(-2) - 1/w. Solve s = 3*h - 3 + 6 for h.
-1
Let f(q) = q**3 + 4*q**2 + 2*q - 3. Let t be f(-3). Suppose t = -5*g + 20 - 0. Solve 0*p = -p - g for p.
-4
Let j(x) = x**2 - 2*x - 1. Let f(b) = -b**2 - 4*b - 1. Let k be f(-2). Let l be j(k). Solve 2*g - 16 = -l*g for g.
4
Let c(r) = 3*r - 2. Let p(u) = -7*u + 5. Let l(n) = -13*c(n) - 6*p(n). Let a be l(3). Solve -4 - 1 = -a*f for f.
1
Let o = -11 + 19. Let i be (14/8)/((-2)/o). Let q = 11 + i. Solve q*n + 9 = -3 for n.
-3
Let n(t) = t**2 + 5*t + 3. Suppose 3*i = 5*x - 4, 5*i + 0*x - 5*x + 10 = 0. Let z be n(i). Let r be (z + 1)/(10/(-25)). Solve 0 = -w + r*w for w.
0
Suppose d - 2 = 3. Solve 10 = d*c - 0*c for c.
2
Suppose -2*d = -s - 2*s - 11, 5*d = -s + 19. Solve 2*b - 2 - d = 0 for b.
3
Let m be 1/2 + (-4)/8. Let p = m - -5. Suppose -p*x = 1 - 16. Solve 4*k = x*k - 3 for k.
-3
Suppose 4*x = 1 + 47. Let g(o) = o**3 - 13*o**2 + 13*o - 10. Let l be g(x). Solve -l*z + 5 + 5 = 0 for z.
5
Let g = 14 - 11. Solve 0*h - 15 = -g*h for h.
5
Let w(i) = i**3 - 5*i**2 + i - 3. Let n be w(5). Solve v + 1 = n*v for v.
1
Let q(x) = -3*x**3 - 2*x**2 - 3*x - 3. Let b be q(-2). Solve 0 = 5*g + b + 1 for g.
-4
Let r = 2 + 3. Let o(t) = t**3 + 7*t**2 + 4*t - 10. Let i be o(-6). Suppose 0 = -5*s + i*s - y + 2, 3*s + 6 = -3*y. Solve 0 = s*w + r - 11 for w.
3
Let m = 13 + -4. Suppose -2*k + 4 = -4, m = -q + 3*k. Suppose 0 = -j - 2*j + a + 12, -3*j = q*a. Solve 5 = -2*c - j*c for c.
-1
Suppose 3*t = 9, 5*r = 5*t + 28 - 3. Let i(b) = 3*b + 4. Let n be i(-3). Let q = n + r. Solve -q*v - 5 = 2*v for v.
-1
Let f(z) = z**3 + z**2 + z + 15. Let b be f(0). Suppose 3*w + 12 = 4*o, 5*w - 4*o = o - b. Solve -3*h + 2*h = w for h.
0
Suppose 3*m - 9 = -o - 0*o, 4*m - 12 = 4*o. Solve -7*k + 2*k + 5 = o for k.
1
Let f = -5 + 11. Suppose -3*w + 2*c + c + 24 = 0, 3*w = -3*c - f. Solve -w*i - 12 = -3 for i.
-3
Let t(y) = -y - 3. Let m be t(-3). Suppose 5*g - 3*g = 22. Let z = 15 - g. Solve m*v = z*v + 20 for v.
-5
Suppose -2 + 1 = -2*y - 5*u, 4*y = -3*u + 9. Let f be 3/(-2*y)*-32. Suppose -2*c + f = -5*j, 5*j - 2 = -2*c - 2*c. Solve -11 = -2*l - c for l.
4
Let l(j) = -5*j + 11 + 0*j + 0*j + 3*j. Let f be l(5). Solve r + 2 = f for r.
-1
Let d be 2/(-4) + 300/(-24). Let z = -8 - d. Solve 0*c + z*c = -10 for c.
-2
Suppose 2*r = 2 + 12. Let m(p) = p + 34. Let z(l) = l + 23. Let q(c) = r*z(c) - 5*m(c). Let s be q(6). Solve -u + s = 2 for u.
1
Let u = 21 + -21. Solve -d = -u*d for d.
0
Let u(d) = d + 2. Let m be u(10). Suppose 0*o - 6 = -2*p - o, -4*p + m = -3*o. Solve 0 = p*n + 9 for n.
-3
Let n = 11 - 9. Suppose 36 - 12 = 2*m. Solve 2*i + n*i = -m for i.
-3
Suppose -t = 5*n - 16, 3*n - t = -1 + 17. Solve -i = -n - 1 for i.
5
Let m = 9 + -20. Let w(z) = -z**2 + 4*z - 3. Let l be w(6). Let c = m - l. Solve 0*n - c = n for n.
-4
Let z(x) = -x**2 + 6*x - 5. Let b be z(5). Suppose 5*s - 1 = 24. Solve -s*k + k - 16 = b for k.
-4
Suppose -3*g - 21 = -2*r, 0 = 2*r - 6*r - 3*g - 3. Solve 0 = -l - r*l - 8 for l.
-2
Let w = -15 + 17. Suppose 0 = -6*x + 3*x + 24. Solve w*k + x = 4*k for k.
4
Let g(k) = k + 4. Let h be g(-4). Solve 3*f + f - 12 = h for f.
3
Suppose 4*l + 24 = 2*j - j, -5*j + 3*l + 35 = 0. Let f be 0 + (3 - 1) - 1. Solve j*d = -f - 3 for d.
-1
Let n = 43 - 41. Solve n*y - 4*y - 4 = 0 for y.
-2
Suppose 16 = -l + 5*v - 12, 5*v = -l + 12. Let s be (6/(-4))/((-4)/l). Let z(j) = -j - 1. Let x be z(s). Solve 4*h - x*h = -2 for h.
-1
Let p(x) = -x - 2. Suppose -f + 6*f = -15. Let g be p(f). Let l be g - (2*-1 - 0). Solve -r = -2*r + l for r.
3
Let t = -6 - -12. Let g(j) = j**3 - 8*j**2 + 7*j - 2. Let m be g(7). Let k be (2 - (-6)/(-3))/m. Solve -n + t*n = k for n.
0
Let u(a) = a**2 - 10*a + 2. Let f be u(9). Let g(o) = o**3 + 7*o**2 + o + 9. Let w be g(f). Solve -5 - 3 = -w*v for v.
4
Let x(v) = 4*v + 1. Let t be x(-2). Let r = t - -9. Solve n = r + 3 for n.
5
Suppose -5*k = 15, 0*v = 3*v - k - 24. Suppose 5*a - 8 - 12 = 0. Solve a = -w + v for w.
3
Suppose 7 - 27 = 2*s. Let a = s - -14. Solve -a*q - 7 - 5 = 0 for q.
-3
Let v(r) = -2*r + r - 1 + 2*r. Let m be v(2). Let i be 0 - -1 - m*-1. Solve q + 0*q = -i for q.
-2
Let x = 3 + 4. Let p(j) = -j + 11. Let y be p(x). Solve 0*z = z - y for z.
4
Suppose 5*x + 3*j = 90, 2*x = 3*x + 5*j - 40. Solve -5*n + 0*n = -x for n.
3
Let s be 0 + (-4)/(-1) - 0. Suppose -a + 25 = s*a. Solve -4 = a*j + 11 for j.
-3
Let p(w) = w**3 - 6*w**2 + w - 8. Let u be p(6). Let r = 4 + u. Suppose 0*d - d = -r. Solve 12 = 5*i - d*i for i.
4
Let j = 23 - 34. Let s be (-44)/77 - j/7. Solve -2*k + s = 3 for k.
-1
Let j(r) = 3*r + 23. Let i be j(-7). Let m be (-3)/(1/(-17)*3). Solve 5*u - m = -i for u.
3
Suppose i = -3*t - 6, -3*i + i = -2*t - 12. Solve -i*v = -10 + 4 for v.
2
Suppose 2*r + p = 5, r - 5*p = 2*r + 11. Let t = -2 + r. Suppose -3*z + 11 = 4*h - 2*z, -13 = -5*h - t*z. Solve h*n + 15 - 3 = 0 for n.
-4
Suppose -2*u = 3*u - 15. Let x be (-2)/(-2 + 0)*u. Suppose -5*o + 14 = 2*f, -4*f + 20 = 5*o + f. Solve -o*r + x*r - 5 = 0 for r.