-2
Suppose -5*p + 7 = -23. Let i be 15/p*(-6)/(-5). Solve 0 = 3*s - 3*y - 0*y + 3, 6 = i*y for s.
1
Let r be (-152)/(-20) + (-4)/(-10). Let v be ((-40)/(-16))/(10/8). Solve -4*a + 3*o = 6, -v*o = 2*o + r for a.
-3
Let n(p) = -2*p + 7 - 3*p + 3*p + p. Let r be n(5). Solve -r*t = 2*h + 4, 2*t - t - 2*h = -5 for t.
-3
Suppose 37 = -4*c + 93. Solve 3*o + c = u, 2*u - 6*o = -o + 23 for u.
-1
Let r(b) = -b + 1. Let m be r(-4). Suppose 19*d - 14*d - 15 = 0. Solve h + h + 5 = m*l, 12 = d*h - l for h.
5
Let r be 0 + -2 + 1*2. Let d(z) = -4*z + 5. Let c(i) = 9*i - 11. Let n(b) = 3*c(b) + 7*d(b). Let s be n(r). Solve t - 5*q = -s*q - 16, -q = -5 for t.
-1
Let o(f) = 3*f**3 - 2*f**2 - 1. Let n be o(-2). Let c be n/(-9) + 4/12. Solve -3*i + s - 13 = 0, 0*s - 3 = -i + c*s for i.
-5
Suppose 0 = 2*k + 210 - 216. Solve -2*l - k*j = l, 4*l - 2 = -2*j for l.
1
Let x(p) = p**3 + 2*p**2 - p. Let g be x(1). Let a be g/(-2 - 8/(-3)). Let v be (a/(-6))/1*0. Solve f - 2*i = v, 0 = 5*f + 5*i - 9 - 6 for f.
2
Suppose 18 = 3*k + 3*j, k + j - 3*j = 0. Solve 2*n - 30 = k*g, -3*n + 5*n = -2*g for g.
-5
Suppose 3*b + j = 20, -2*j + 2 = -8. Suppose -b*x + 28 + 17 = 0. Suppose 0 = 3*r - 6 - x. Solve -4*a = r*t + 7, 4*t - 2*a = -a + 7 for t.
1
Let z be (16/6)/4*3. Suppose -5*j + 7 = 3*b, b - z*j + 7 = j. Let u = 3 + b. Solve -2*k - o - 12 = 0, -k - u*o = -6*k - 12 for k.
-4
Let d = -7 + 16. Suppose 5*l - d*l = -36. Solve -t = -2*i - l, -i - t = 2*i + 6 for i.
-3
Suppose -4*f - 160 = -0*f. Let a = 28 + f. Let c = a - -17. Solve -1 = -4*j + c*g - 3, -5*j + 2*g + 6 = 0 for j.
2
Suppose 20 = 4*n, i - 5*n = 2*i - 27. Solve 0*z = 4*w - i*z + 30, -2*w = 5*z - 15 for w.
-5
Suppose -5*z + 12 = -3. Suppose -z*k + 3*u + 30 = 4*u, 3*u = -2*k + 13. Solve -t - 5*i + k = 0, -6*i + 16 = -t - 2*i for t.
-4
Suppose 4 - 2 = 2*x. Let a be x/(-3) - 14/(-6). Let y(t) = 4*t - 4. Let m be y(2). Solve n - m = -a*l, l - 20 = -5*n + 5*l for n.
4
Let j be (-6)/(-15)*(5 + 15). Suppose -4*t + 22 = 2*m - j*t, 2*t = -m - 5. Solve -o - m*o + 2*f + 20 = 0, 2*o = -3*f - 6 for o.
3
Suppose -4*d + 10 = d. Suppose l - d = 2. Let j = l + -1. Solve 4*x = r - 13, -j*r - 17 = -2*x + 4*x for x.
-4
Let k be (-9 - 0)*1/(-3). Solve -7 = -4*a + y + 2*y, -k*y = 4*a + 23 for a.
-2
Let y(u) = 5*u - 57. Let m be y(13). Solve 0 = -2*n - 4*d - 0*d - m, -d - 13 = -5*n for n.
2
Let b(n) = -n**2 + 11*n + 12. Let u be b(11). Solve 0 = -k - 2, 3*k - 1 + u = -5*f for f.
-1
Let s(x) = 6*x - 5. Let f(p) = 19*p - 16. Let g(m) = 2*f(m) - 7*s(m). Let h be g(-3). Solve -4*l - 6*o = -o + h, -4*o + 4 = 0 for l.
-5
Let m be (-7)/14 - (-318)/(-4). Let v be m/(-10) + 8/(-2). Solve 19 - 3 = v*h, 4*i = 3*h - 12 for i.
0
Let l(r) = r - 5. Let p = -10 + 16. Let i be l(p). Let m be (-1)/(i/(-1)*1). Solve -2*o + k + m = 6, -4*k + 16 = -4*o for o.
-1
Suppose -22 + 99 = 7*q. Solve 0*a + a + q = -2*x, 2 = -a + x for a.
-5
Let o be 9 - (-2 + 6/1). Let h(r) = r**3 - r**2 - r. Let v be ((-1 - -3) + -1)*2. Let l be h(v). Solve s - l*s = y - o, -y = -3*s + 15 for s.
5
Let i be 10*(-2)/(-5*2). Solve -4 = i*p + 4*a, 4*p + a + 12 = -3*a for p.
-4
Let v = 2 - -2. Suppose -f + g - 2 = 0, 2*f - v*g = -3*f - 8. Solve 0 = 5*t - 2*z - 16, 5*t - 4*z - 27 + 5 = f for t.
2
Let v be (1 - -5) + -1 + -3. Solve 0*a - 4*p - v = 2*a, -2*p + 3 = 5*a for a.
1
Let b(i) = i**2 - 11*i**2 + 12*i - i**3 + 0*i**2 + 3 + 11. Let j be b(-11). Solve 9 = j*s - z, -12 = -2*s + 4*z + 4 for s.
2
Let u(z) = -z**2 - 2*z + 1. Let y be u(-2). Let t = 19 + y. Solve t = -2*g - 2*g, -v + 4*g + 15 = 0 for v.
-5
Let a = -6 + -8. Let z be (-28)/a + (0 - -1). Solve 4 + 0 = -2*n, 0 = -3*c - z*n for c.
2
Let c be (-14)/21*(-18)/4. Solve -4*p + 3 = c*q - 8, -p - 2 = -4*q for p.
2
Let b be 0/((8/2)/(-2)). Suppose -q - 6 = -4*z + 15, b = 3*q + z - 2. Let h be (-1 - -1)/q + 4. Solve h*k + 4 = a, 4*k - 3*a - 4 = -0 for k.
-2
Let p(g) = 2*g - 7. Let y be p(5). Let l = -1 + y. Suppose -4*v + 15 = 3. Solve 2*b = -0*b - v*q + 16, -l*q + 16 = 4*b for b.
2
Let w(d) = -d**3 + d**2 + 1. Let r be w(0). Let i be (-69)/(-9) + (-3)/(-9). Solve 2*m - r = -3*b - 2, 4*m + i = -4*b for m.
-5
Let w be 0 - -1 - (-22 + -1). Solve -2*x = 2*f + 12, 0 = -3*x - 2*f - w + 8 for x.
-4
Let i be (39 - 2)*(-1)/(-1). Solve 0 = -5*y - 4*u - i, 4*y + 0*y + 4*u = -32 for y.
-5
Let k = 20 - 9. Suppose -k = -3*u - 4*q, -3*u - u = 5*q - 15. Solve 5*r - 8 = t - u*t, -r = -5*t + 10 for r.
0
Let z(c) = -c**2 - 7*c + 6. Let s be z(-7). Suppose 3*i - 30 = 3*x, -4*x - 55 = 2*i + 9. Let h = x - -16. Solve 4*r - l - 5 = 0, 4*r + 0*r - h*l - s = 0 for r.
1
Let u(z) = -z**2 + 11*z - 21. Let t be u(8). Solve m - 3 = -m + 5*c, 9 = 3*m - t*c for m.
4
Let p = -8 - -11. Solve -5 = -l - 7*u + 4*u, -p = -u for l.
-4
Let j(w) = -w**3 + 5*w**2 + 9*w - 2. Suppose 7*x - 3*x = 0. Suppose 4*v - 14 = -5*a, 3*a + x = -5*v - 2. Let r be j(a). Solve -6 = 5*y - 4*f - 5, 4*f = r for y.
3
Let w = -5 + 7. Solve -3*p + 5 = w*g, -4*g - p = -5*g - 5 for g.
-2
Let o be (-6)/(3*1/(-4)). Let m = o + -4. Solve m*a = -s - 5, 0 = 5*a - 5*s + 22 + 3 for a.
-2
Let w(y) be the second derivative of -y**5/20 - 13*y**4/12 - 11*y**3/6 + 7*y**2 - 3*y. Let i be w(-12). Solve -2*v + 2*d + 2 = 0, 0 = 2*v + v - i*d for v.
-2
Suppose 0 = 4*w - 6*w. Solve w = -l, -5*p = -6*p - 4*l + 2 for p.
2
Let f(k) = 5*k + 1. Let m be f(1). Suppose -d = -2*d - 5*w + 2, -2*d + 5*w + 4 = 0. Solve -v = 5*p + 10, -m*v - 2 = -d*v + p for v.
0
Suppose -10 = -6*j + j. Let v(u) = -5 + u**3 + 7*u - u**2 + j - 6*u**2 - 1. Let i be v(6). Solve -3*t = -2*f + 4, 3 + i = -t - 3*f for t.
-2
Let v(l) = -l**3 + 13*l**2 + 31*l - 10. Let x be v(15). Solve 9 = 4*b + x*a, b = -2*a + 6 - 3 for b.
1
Let f be 1/(4/12) - 0. Solve 9 = -f*v - 4*n, 5*n + 3 = -2*v - 3 for v.
-3
Let t = 1 + -1. Let l be 4*(3 + -2 + t). Suppose 4*i = 5*i - 3. Solve -2*k + i*k = l*a - 10, 3*k - 12 = -2*a for a.
3
Suppose w + 4 - 10 = -4*y, -4*y = 4*w. Solve 23 = 5*k - 3*q + 2*q, -y*k = q - 5 for k.
4
Let q be (3/2)/(15/20). Solve -l = -h + q, -3*h + 2*l - 8 = -5*h for h.
3
Suppose -5*a + 105 = 5*s, -9*s + 4*a = -5*s - 116. Let b = 1 - -4. Solve 5*w - 4*i + 1 + 6 = 0, 5*w + b*i = -s for w.
-3
Let n be 2 + 5 + 0/(4 + -3). Solve -3*m - 4 = j, 5*j - 4*m = -n*m + 4 for j.
2
Let n(o) = 3*o - 7. Let m(q) = 2*q**2 - q. Let v = 3 - 1. Let z be m(v). Let s be n(z). Solve 0 = g - 7*k + 3*k - s, 0 = 3*g - 5*k - 5 for g.
-5
Let i be (-2)/(-3) + 4/(-6). Solve -r - 9 = -2*d, -r - 2*d + i + 3 = 0 for r.
-3
Let n = 22 - 12. Suppose 0 = -2*t + 4*x + x - 2, 2*t - n = -x. Solve 0 = -5*w + 4*v + 6, -6*v + t*v + 4 = w for w.
2
Suppose 4 - 3 = -d - 3*a, -a = 4*d + 4. Let r be (2 + -1)*d*-5. Solve 4*c = j - 5*j, -50 = -5*j + r*c for j.
5
Let n be 3/12 + (-194)/8. Let h = -16 - n. Suppose 3*a - 4*k + h = 0, 4*k = -2*a + 3 + 5. Solve 3*g + 3*f + 12 = 0, a = -2*g - 8*f + 4*f - 16 for g.
0
Let u = 31 + -1. Let z = -5 + 9. Solve 5*s + 5*h = u, z*h = 5*s - 0*h - 3 for s.
3
Suppose 4*x - 60 = -x. Solve -4*r - 2*b - x = 0, -4*b = -5*r - 10 - 5 for r.
-3
Suppose -5*p + 14 + 11 = 5*k, 3*p = 3*k + 9. Suppose 0 = -a - 2 - k. Let c = -2 - a. Solve -3*y - 3 = z - c, 4*z - 7 = 3*y for z.
1
Let o = 14 + -13. Solve 2*u = z + 6, -o = 5*u - z - 10 for u.
1
Let g = -18 - -20. Solve 3*q + 31 = -4*z, 1 + 1 = -g*q + 2*z for q.
-5
Let s(c) = c - 7. Let k be s(7). Let p be k + -5 + 3 - -2. Suppose -v - v = p. Solve -5*i + 2*a = -v*a + 5, -4*i - 11 = -3*a for i.
1
Suppose 3 = y + 5. Let g be 2 + -1 + y + 3. Let d be 1 + 1 - (g - 4). Solve -4*j - 20 = d*k, -3*k - 8 = -5*j + j for k.
-4
Let k = -5 - -4. Let b be 0 + k + (-1 - -3). Solve v + 3 + b = 0, 0 = -4*s - 2*v for s.
2
Let m be 16 + 0*(-4)/8. Solve 0 = -2*d + 3*o + m, -4*o = 2*d - 2*o - 6 for d.
5
Let f(l) = l - 2. Let a be f(5). Suppose -13 = -a*d + 2. Solve -4*y - r = -4, -3*y = -d*r - 0 - 26 for y.
2
Suppose -b + 0 + 2 = 5*d, -5*d = -5*b + 10. Suppose d = -3*u - u + 96. Suppose 3*o - u = -0*o. Solve -c - c + 4 = -4*s, -2*c = 2*s + o for s.
-2
Suppose -2*n = 3*x - 19, -n + x = 2*n - 1. Let t be n - (57/(-3) - 4). Solve -5*q + h + 4*h - t = 0, -h = -2*q - 5 for q.
0
Let n = -38 - -70. Suppose -2*a - 2*a = -n. Solve 3*h - 4*s = -a*s + 31, -3*s = -2*h - 2 for h.
5
Let y be 75/12 - 6 - 19/(-4). Let r(k) = k**2 + 7*k - 13. Let v be r(-9). Let x = -5 - 