olve -2*y - 2*y + 12 = p, 4*x - 7 = -y for x.
1
Let n(z) = z - 12. Let o be n(17). Solve -4*u - 2 = -o*s - 6, 0 = -s + u - 1 for s.
0
Let g(a) = -a**2 - 4*a + 5. Let q be g(-3). Solve 2*n = -3*n - l + q, -2*l = -6 for n.
1
Suppose 7 = r + 6*w - w, -4*r - 3*w - 23 = 0. Let n(a) = a**3 + 7*a**2 - 9*a - 6. Let l be n(r). Solve -h = l*z, 0*h + h = -z for z.
0
Let x be -3 - (-2 + 2 + -88). Suppose -c = 4*c - x. Solve -2*l - c + 5 = -5*q, -l = -q for l.
4
Let q be (3/18)/(16/192). Solve -d = 5*m + 23, -q*m - 4*d - 2 = -0*m for m.
-5
Suppose 9*w - 25 = 4*w. Suppose -1 = b + 2*z + z, -3*b - w*z = -5. Let h = -4 - -9. Solve -b*s = -h*o - 10, 2*o + 0 + 3 = 3*s for s.
-1
Let a = 17 + 5. Suppose a = 4*p - 2. Let f = -9 + 12. Solve -4*v + 5 = -7, f*t + p = -2*v for t.
-4
Let z = 0 - 4. Let n be (-3)/(-6) - 14/z. Suppose i = -2*l + n*i + 7, -5*l = i - 9. Solve 5*y - 29 = d - 4*d, -3*d = -l*y - 1 for y.
4
Suppose 0 = 4*z + 1 + 3. Let y be 6 - z/1*1. Suppose -m = -l - 21, y*l - 2*l = -25. Solve -2*c = 2*d + m, -17 = c + 3*d + d for c.
-5
Suppose 0 = 3*h - 4*f - 28, 0 = h - 2*f + 6*f - 4. Solve 3*j + 1 = -2*t, -t - 3*j + 19 = -h*j for t.
4
Let g be (((-1)/1)/1 - -3)*1. Solve 5*b - 3*d - 4 = 0, b - g*d = 3*b - 8 for b.
2
Suppose 4*u = -2*w - w + 12, -w + 3 = u. Solve 3*d - 6 = -d - 2*q, w = 2*d - 2*q for d.
1
Suppose 0*j - j + 2*x = 0, 4*j + 4*x - 36 = 0. Let h = -6 + j. Solve 2*g = y - 0*y + 4, h = -2*g - y + 12 for g.
4
Suppose -c = -5*c + 4. Solve -o + 2*o = c, -9 = 2*l - 5*o for l.
-2
Let u(v) = -4*v + 1. Let n(i) = i**3 - 9*i**2 - 10*i - 1. Let c be n(10). Let b be u(c). Solve 5*o - b*q + 5 = 0, -5*q - 25 = 3*o + 2*o for o.
-3
Let f be (-3)/(-2) + (-15)/(-10). Solve 8*r - f*r = i - 5, 4*i - 4*r = 4 for i.
0
Suppose -8 - 28 = -9*g. Let z be 0 - 1 - 3 - 2. Let b be -2*1/(2/z). Solve 0 = f + g*a - 9, f = 5*f + a - b for f.
1
Let g = -4 + 2. Let j be 2 - 0/(g + 0). Let o be 20 + (j - (2 + -2)). Solve 5*p + 2*v - o = p, 5*p - 14 = 2*v for p.
4
Let n(u) = -15*u + 1. Let p be (-12)/10 - (-2)/10. Let d be n(p). Let x = -4 + d. Solve 3*c - x = -a, 9 = a + 2*c - 0*c for a.
3
Let n(z) = z. Let l(q) = -2*q**3 - 2*q**2 + 3*q + 3. Let u be l(-2). Let a be n(u). Solve 0 = -a*p + 5*h - 25, p + 4*p + 20 = 4*h for p.
0
Suppose -7*p + 4 = -5*p. Solve p*s = 2*q - 0 - 2, 5*q - 17 = 2*s for s.
4
Let a = 26 + -24. Solve -3*z - 3*y = -9, 0 = a*z - 2*y + 6 for z.
0
Let w(y) = -y**3 + y + 1. Let m be w(-2). Let p be -5*(34/(-10) + 1). Suppose 2*k + p = 4*k. Solve 3*r = k, l + r = -0 + m for l.
5
Suppose -2*x = -y - 18, 2*y - 4 = -0*y. Let c be (-6)/x - (-38)/5. Suppose -4*b - p + c = 0, 4*p = -b - 1 - 1. Solve t - 7*h = -3*h, -b*h = -2*t for t.
0
Let a(b) = b**3 - 2*b**2 - 2*b + 9. Let u be a(2). Solve f + 4*y + 22 = -1, -u*y = 25 for f.
-3
Let n = 17 - 24. Let y = 10 + n. Let v be 10/4 + y/6. Solve v*s = o - 3, 0 = 5*o - 4*s - 4 - 11 for o.
3
Let s = -11 - -26. Solve -2*z + 0*z + 5*q = s, -2*q + 35 = 5*z for z.
5
Let b be -2*(10/(-14) - 12/42). Solve -1 = s - b*j, -4*s = 6*j - 4*j + 4 for s.
-1
Let n = 32 - -2. Let o be 63/12 - 2/8. Solve -o*c - n = -3*l, -2*l = -c - 3*c - 26 for c.
-5
Let y = -1 - -3. Suppose 4*j = -4*k - 12, -2*j = -2*k - k - 9. Let u = j + 5. Solve u*r - 8 = -y*i, -3*i + 8*i + 13 = 4*r for i.
-1
Let a be (-3)/2*24/(-18). Solve -2*k - 5*y = 8, 3*k + a*y + 0 + 1 = 0 for k.
1
Suppose 0 = 2*i - 2*s - 8, -4*i - 5*s - 2 + 0 = 0. Solve -c = -u + 9, c + 13 = i*u - 0*u for c.
-5
Suppose d - 3 = 3. Suppose -d*l + 6 = -4*l. Solve -6 = -l*j, -t + 2*j - 1 = -0*j for t.
3
Suppose -14 = f + 2*x + 2*x, -5*x + 41 = -2*f. Let h be (-76)/(-18) + 4/f. Solve -p - h*v = 9, 2*p - v - 1 = p for p.
-1
Let w = -6 - -6. Solve w = c - 3*j + 16, 4*c - 3*j + 16 = -12 for c.
-4
Let c(i) be the second derivative of -i**3/2 - i**2/2 + 8*i. Let k be c(-2). Solve 2*a - 3*m + 9 = 0, 18 = -4*a + k*a + 3*m for a.
3
Let a(i) = i**3 - 3*i**2 + 2*i - 1. Suppose -c = -0 - 4. Let j = -1 + c. Let n be a(j). Solve 3*o = -n*k - 10 - 13, 0 = 5*k + 20 for o.
-1
Let j be 4/12 + (-16)/(-6). Suppose j + 9 = 4*m. Solve -2*w + 3*i + m + 16 = 0, -3*w + 9 = 2*i for w.
5
Suppose -3*n + 19 - 4 = 0. Let p be n/(-2)*8/(-10). Suppose w - 2*w = -p. Solve 6 = -4*l + b + b, -w*l + 17 = -5*b for l.
-4
Suppose 14 = -4*y + 38. Solve -4*j - y = -2, 4*j = 3*b - 4 for b.
0
Suppose 3 - 2 = -k. Let y be 3 - (-2 - (k + 0)). Solve f + 5*l - y = 0, 12 = 3*f - 2*l + l for f.
4
Suppose 5*b - 52 + 10 = 3*z, 4*b - 3*z = 33. Let q be (-3)/b*(1 - 7). Solve 0 = -2*g - 0*g - 3*f - 25, 4*g - q*f + 10 = 0 for g.
-5
Suppose 0*q - q = -4. Suppose -6*m = -q*m. Solve -t = k + 3, -4*t + 2*k - 4*k - 8 = m for t.
-1
Suppose 3*v + g - 2 = -25, v + 2*g = -16. Let u be v/(-3) + (4 - -2). Let c = 15 - u. Solve -2*k - c - 6 = 3*f, 13 = -3*k + 2*f for k.
-5
Suppose 0 = -32*q + 34*q - 44. Solve -3*i + q = 5*r, -5*r + 30 = 6*i - 11*i for r.
5
Let q = 48 - 13. Solve 0 = 5*a + 5*x + 10, -3*a + 5*x = a + q for a.
-5
Suppose 0 = 2*t + 6 + 10. Let h = -14 - t. Let g be ((-9)/h)/(6/8). Solve 0 = -g*l - 2*q - 2, 3*l - 3 = 3*q - 0*q for l.
0
Suppose 0*y - y + 19 = 3*d, -5*y - d = -123. Solve 5*t + 2*j = 26 + 9, 5*j = y for t.
5
Let f = -4 - -10. Let j be 2 - (0 + -1 + f). Let x be 2/((-6)/j)*0. Solve -b + x*b = 3*d - 7, -5*b + d - 29 = 0 for b.
-5
Let d be (-2)/(1/((-3)/1)). Let p be (-4)/d + (-4)/(-6). Solve -2*z + 3*w + 0*w + 19 = p, -3*z = 3*w - 6 for z.
5
Let p = 12 + -7. Suppose p*d + 1 = 26. Suppose 2*w + w = d*q + 9, -4*q + 15 = 5*w. Solve 24 = 5*t + s - 3, -w*t + 25 = 5*s for t.
5
Let w(x) = -4*x**3 + 2*x + 1. Let s(i) = 0*i**2 - 3*i**2 - 1 + 4*i**2 + i**3 - 2*i. Let a be s(-2). Let d be w(a). Solve 0 = -2*u + 8, h - d = -2*u + 7 for h.
2
Suppose 9*h - 5 = 11*h - 5*k, -11 = -4*h + 3*k. Solve 5*q + 21 = -4*r, 5*q + 20 = -h*r - 0*r for r.
1
Let z = -49 - -54. Solve 2*j = -5*s, -17 = z*j - 0*s + 4*s for j.
-5
Let m be (-26)/(-8) - 7/28. Suppose 3*w + 4 = 4*w. Let j be (w/(-10))/(2/(-20)). Solve j*b + 26 = -0*b + 5*c, -m*c + 2 = b for b.
-4
Suppose -5*j - 62 - 13 = 0. Let l = 29 + j. Let n be ((-8)/10)/((-3)/15). Solve 3*x + 1 = -2*m, -l = 4*x - 2*x + n*m for x.
3
Suppose 4*p - 79 - 17 = 0. Let z = 26 - p. Solve -2*d - 5*o + 19 = 0, -z = o - 5 for d.
2
Suppose -4 = -4*z + 4. Let i(f) = f**3 - 2*f**2 - f - 2. Let w be i(3). Let o = w - z. Solve -2*t + 6 = o*k, -3 = -k - 3*t + 2 for k.
2
Let j = -1 - -3. Let p = 2 + j. Solve x - 10 = p*h + 3*x, 5*x = -3*h - 4 for h.
-3
Suppose 3*w = v + 10, 1 - 2 = v. Solve 7 = -u + x + 3, 0 = -w*u - 3*x - 6 for u.
-3
Let t be -1 - (-4 - 1/(-1)). Let o(s) = -s**3 + 4*s**2 - 2*s - 2. Let j be o(t). Suppose -w = -j*w + 12. Solve 4*m = -z + w, -m + 14 = 5*z - 2*z for z.
4
Suppose 7 = 5*p - 3*j, -1 = -3*p + 5*j - 0*j. Solve -3*y - 4*w - 10 = -5*w, 5*y + p*w = -24 for y.
-4
Let x(l) = -5*l + 32. Let s be x(6). Solve -u - u + 20 = -4*o, 0 = -s*u for o.
-5
Let v(q) = q**3 + 2*q**2 - 5*q - 4. Let z be v(-3). Let g = 15 - 13. Let a be (-12)/g*3/(-2). Solve z*x + 5*l - 1 = 0, -4*x + 3*l = -a*x + 12 for x.
3
Let v(m) be the first derivative of -m**4/4 - 5*m**3/3 - 2*m**2 + 3*m - 3. Let d be v(-4). Let y = -13 + 28. Solve 0*c - 4*r = -d*c + y, -4 = 5*c + 3*r for c.
1
Let z = 47 + -33. Suppose -t + r = 2*t - z, -t - 7 = 2*r. Solve -2*b = 2*u + 2*u - 10, -2*b = t*u - 5 for u.
5
Let x(t) = -t + 11. Let z be x(7). Solve -3*n + 10 = z*b, 2*n + 2 - 5 = b for b.
1
Suppose -2 = 2*f - 18. Let s be (-2)/f + 168/32. Solve -1 = 4*l - s*y, -y = 3*l - l + 11 for l.
-4
Let t(i) = -i**3 - 2*i**2 - 4*i - 2. Let z be t(-2). Suppose -z*s + 2*s = 0. Solve -5*n - 7 = v - s*v, v - 4*n - 11 = 0 for v.
3
Let o = 2 - 2. Suppose -3*t = -0*t + 4*w - 44, 0 = w + 1. Let v be 440/t + 1/(-2). Solve 2*u + o = i + 3, 4*i + 5*u = v for i.
3
Let h(y) = -y + 2. Suppose r = 4*r. Let d be h(r). Solve -5*b = d*n - 5, -4*n - n = -4*b - 29 for n.
5
Suppose -2*g + 2*a + 13 = -g, a - 1 = -g. Suppose -g*m + 0*m + 25 = 0. Solve -m*l + 5 = -5*p, -2*l = 7*p - 2*p + 5 for p.
-1
Let w be (0/3)/(4/2). Suppose -c - 2 = 5*k, 4*k + c + c + 4 = 0. Suppose k = -0*a + 3*a - 6. Solve w = a*g + y - 4 + 9, -y - 5 = 4*g for g.
0
Let t = -5 + 3. Let i be 8/3*(-3)/t. Suppose i*s = -s - b + 59, 0 = -s - 4*b + 8. Solve -r - s = 2*r - k, -2*r = k + 3 for r.
-3
Let w(t) = -2 - 8 + 4*t + 3 - 1. Let a be