7 - 1 - (-12 + 1). Solve -15 = 2*j - u*x, -14 - 6 = -4*x for j.
0
Let a(c) = 2*c + 3. Suppose 15*b - 20 = 5*b. Let t be a(b). Solve -2*s + 5*g = 0, -4*g + t*g = -5*s for s.
0
Let u(b) be the first derivative of -b**4/4 + b**3/3 - b**2/2 + b + 1. Let j = -14 + 15. Let z be u(j). Solve 0 = -5*n + 15, -p - 2*p - n = z for p.
-1
Let l be 4/(-18) - 1786/(-342). Let b be l/(30/(-4))*180/(-24). Suppose -10 = -u - u - 3*y, 0 = -4*y. Solve x = -3*w - u, w + b*x + 12 = -w for w.
-1
Let s be 105/525 - 19/(-5). Let x = -12 + 53. Suppose 5*f + o - x = 0, -2*o + 5*o + 12 = 0. Solve s*q - 11 = 3*q - 5*m, -q = -5*m + f for q.
1
Let h be 3 - (-7 + 4 + -38). Let o = h - 32. Solve -3*s - o = 5*r + 4, -4*s - 16 = 4*r for r.
-2
Suppose -3*k = -2*k - 2. Let n = 38 + -34. Let l be (0 + 3/6)*n. Solve -m = l*c - 8, 8 = 4*m - 3*c - k for m.
4
Let b be -1 + 10/(-8)*-4. Solve b*h = -4*c + 24, -5*h - 4*c = -9 - 20 for h.
5
Let t = -51 + 32. Let u = t - -22. Solve u*p = -x + 14, -x + 3*p = -4*x + 12 for x.
-1
Let c be (0/4)/(-11) + 0 + 4. Solve a + 9 = c*q, q = -4*a - q + 18 for a.
3
Let b(m) = -m**3 - 6*m**2 + 5*m - 11. Let i be b(-7). Suppose 5*j = -4*v + 19, -i*j - 9 = -5*j - 3*v. Solve 0 = -p - 0 - 1, 4*z - 3*p = j for z.
0
Let t(z) = -4*z**2 + 87*z + 32. Let j be t(22). Let n(l) = -l**2 + 11*l - 7. Let f be n(j). Solve w = 4*y - 2, -f*w - 3 = 4*y - 13 for w.
2
Suppose 0*s = -s + 2. Suppose 2 = -2*f - l, -s*l = 5*f - 5*l - 6. Suppose 4 = q - f*q. Solve 6*p + 8 = 5*i + 3*p, 2*p = 3*i - q for i.
4
Let v = -70 + 71. Let u be ((-2)/v)/(16/(-648)*3). Solve 10 = -3*w - 5*n, 2*n + u = -5*w + 4*n for w.
-5
Let z(y) = -y**2 + 8*y + 25. Let h be z(10). Solve -4*u - 23 = -3*r, 20 = -5*u + h*r - 10 for u.
-5
Let q = -348 + 350. Solve -3*p = q*j - 2, 4*j - 4 = -2*p - 0 for p.
0
Let v be (-3)/(6 - (-4 - (-815)/80)). Solve -k = -4*w - v, -3*w + 6 = -w + 3*k for w.
-3
Let q(o) = 2*o + 34. Suppose -25 = -s + h, 3*s - 1 = 5*h + 84. Let y be 21*(s/(-12) - -1). Let x be q(y). Solve -4*t + x = -4*n + 26, -4*n + 5 = -t for t.
-5
Suppose -q + q = -2*q. Suppose -4*f + 3 + 17 = q, 4*g + 2*f = 30. Solve -g*i - z - 8 = 0, 0*i - 2*z = 3*i + 9 for i.
-1
Let t = 1972 + -1969. Solve -2*q = 3*q - 3*f - 19, -3*q - f = -t for q.
2
Suppose -5*a - 4*r = 16, -3*r - 10 = 2*a + 2. Let y be (4 - (6 - 4)) + a. Solve -2*g - 16 = 3*t - y, 5*t + 2 = 2*g for g.
-4
Suppose h - 18 = -5*l, 5*l + 20*h = 15*h + 30. Let v = 0 - 1. Let m(j) = 6*j**2 - 2*j - 1. Let w be m(v). Solve 0 = l*r + 2*t - w - 8, 0 = t for r.
5
Let x be 1/(-1) - -3 - (0 + 1). Let s be 5 + -1 - (1 - (-4 + x)). Solve 2 = y - j, s*j - 2*j = -y + 7 for y.
-3
Suppose 4*h + 18 = -6. Let p = -28 - -46. Let n = p + h. Solve -k = -2, -3*d - 4*k + 7*k = n for d.
-2
Let p be ((-15)/3)/(1*(-1)/1). Let h(z) = z**3 - 6*z**2 + z + 23. Let u be h(p). Solve l = 4 - 0, 2*y - u*l = -18 for y.
-3
Let g(k) = k**3 + 10*k**2 + 5*k - 27. Let b be g(-9). Solve 5*u = 3*q + 19, 4*u - 19 = -4*q + b for u.
5
Suppose 22 + 3 = -5*o. Let n = 5 + o. Solve -4*p + n*z = -z + 12, -4 = -z for p.
-2
Suppose -a = 2*a - 111. Suppose -8*j = 4*p - 7*j - 12, 4*p - 2*j = 24. Solve -5*g + 3*d = 19, -p*g - 3*d + 11 = a for g.
-5
Let b(o) = 2*o**2 + 4*o + 2. Let n(r) = -r**2 - 4*r - 5. Let u be n(-5). Let a = 8 + u. Let c be b(a). Solve 17 = c*f - 5*h, f + h + h = -5 for f.
1
Let i = 310 - 303. Solve i*x = -4*n + 3*x - 8, n + 14 = 5*x for n.
-4
Let s = -20 + 20. Suppose s*c = 4*c - 100. Suppose t + 3*v = -2, t + v - 33 = 5*v. Solve 0 = d + d + 5*p - c, 5*d = 4*p + t for d.
5
Let t = -11 + -31. Let p = t + 45. Solve 0*c - 1 = 2*b + p*c, -2*c = b - 1 for b.
-5
Let d = -224 - -226. Solve c - t - 4 = 0, -5*c + 14 = d*t - t for c.
3
Let a = -565 - -567. Solve 5*w - 2*w - a*g - 15 = 0, -w + 5 = -3*g for w.
5
Let g be ((-4)/6)/((-3)/153). Let x = -29 + g. Suppose -x*y + 15 = q - 9, -5*q + 3*y = -8. Solve 2*v - v = -2*s + 9, q*v - 24 = -4*s for s.
3
Suppose -66*r + 61*r + 15 = 0. Suppose r*n = -80 + 200. Solve 5*k - 35 = -0*b - 2*b, 5*b + 3*k - n = 0 for b.
5
Let a be 1/(-5) + (-123)/(-15). Suppose -4*k = -3*k + a. Let m be 4 - k - (0 - -1). Solve -g + 0*g = -3*u + m, 5*g + 15 = 5*u for g.
1
Let h(t) = t**3 + 7*t**2 + 6*t - 16. Let a be h(-5). Let v(r) = -r + 3. Let s be v(3). Solve 5*p = -i + 17, -p = -s*p - a for i.
-3
Let t be (-2 - (-5 + 3)) + 5. Suppose 3*b - b = 4. Solve 12 = o - b*w, 0 = -o + t*o - 2*w - 18 for o.
2
Let q(u) be the first derivative of -u**2/2 - 8. Let g be q(-3). Suppose -17 + 2 = -3*s. Solve -5*i + g*i = 4*b - 30, b + s = 2*i for i.
5
Let q = -128 - -87. Let j = 46 + q. Solve 4*o + 4*z = -20, -j*o - 4*z = -3*z + 13 for o.
-2
Let m(x) = x**3 + 5*x**2 - 8*x - 24. Let s be m(-5). Solve -2*l + 3*t + t = -s, 4*l + 5*t - 6 = 0 for l.
4
Let p = 3510 + -3508. Suppose -5 = 5*i - 20. Solve -4*l + 12 = o, -18 = -i*o - 4*l + p for o.
4
Let s(n) = 2*n**2. Let d be s(-1). Let a = d - -16. Let y = a + -12. Solve 2*p + 2 = -0*p - 4*f, -f - y = -5*p for p.
1
Let m(u) = 5*u - 11. Let g be m(9). Let k be (-8 + 7)/((-2)/g). Suppose s = 5*s - 20. Solve v - 4*d - 17 = 0, -k = s*v + 5*d - 2 for v.
1
Let b be ((-1)/3 - 20/(-24))*12. Let n(j) = -j + 1. Let l be n(1). Let z = l + 1. Solve -3*g - t - 2*t = -b, 0 = 4*g - 3*t - z for g.
1
Let i = -103 + 119. Suppose -6*w - i = -46. Let y(m) = -m**3 - 4*m**2 + 4*m - 3. Let o be y(-5). Solve o*z - 4 = -2*z - v, -z + w*v = -1 for z.
1
Let o be 70/6 + 12/(-18). Let j = 10 - o. Let t be (-28)/(-2) + j + -1. Solve 4*y + t = -2*q, -2*y + 4*y = q - 10 for q.
2
Suppose 0 = -5*i + 2*i + 12. Let x be (i + 0)*26/104. Solve 4*t + 7 = h, 3*h + 2*t + x = -20 for h.
-5
Let g be (1 + -1)/((-6)/(8 + -14)). Solve -3*z + 3*o = -2*o - 29, z - 4*o - 19 = g for z.
3
Let u = -628 - -632. Solve 2*d - 6 - 1 = w, -u*w = 3*d - 5 for d.
3
Let h be -12 - ((-2)/8)/(22/(-264)). Let m = 40 + h. Solve a - n = -5*n - m, 4*n + 20 = 0 for a.
-5
Suppose -4 + 8 = 2*l. Let u(t) = t**2 - t + 4. Let w be u(l). Suppose -7*z + w*z + 9 = 0. Solve 5*d - z = -3*a, 3*a + 3*d = d for a.
-2
Let l(k) = -60*k + 362. Let x be l(6). Solve -3*n + 4 = 4*a, -6 = -x*a - 3*a - 4*n for a.
-2
Let p be (-2)/(-10) - 112/(-40). Suppose -5*v + 3*u + 9 = -80, -p*v - 5*u = -33. Solve 3*h - 4*y + v = -4, -4*y + 20 = h for h.
0
Suppose -s + 5*c = -0 + 10, -c - 12 = -3*s. Let b = 2 + s. Suppose 5*d + b = 17. Solve -2*h - 4 = -d*v, -2*h + 3*v - 2 = 2*v for h.
0
Let i be 4/14 - (384/28)/(-8). Solve 3*b - 2 = i*j - 4, -5*b + 2 = 2*j for j.
1
Suppose 0*o + 4*o + 5*c + 10 = 0, 4*c = -2*o - 8. Suppose r + 2*r - 6 = o. Solve -2*w - r = -l - 3, 5*l = -5*w + 10 for l.
1
Suppose -9*g + 4*g + 28 = -n, 0 = -3*g - 2*n + 22. Let k be 3/g*32/4. Solve b - 5 = x, -x - k*x - 1 = b for b.
4
Let g(w) = 4*w - 10. Let r be g(12). Suppose -p - r = -41. Solve p*a + 15 = -3*b, b - 4*a - 4 = 1 for b.
-3
Let p(r) = -6*r - 33. Let k(h) = -1. Let y(u) = -2*k(u) - p(u). Let o be y(-5). Solve -3*q + 3*t - 12 = 0, -5*t - o - 5 = q for q.
-5
Let k = -314 - -329. Solve -5*l - k = -3*u + 5, 3*u + 3*l = 12 for u.
5
Let g = 5 + -3. Let n be 1*(-3 - (-3 + g)). Let l be 3 + (n + 2)/(-1). Solve -5*w + l*x + 22 = 4*x, 6 = -2*x for w.
5
Suppose -4*g + 20 + 0 = 0. Let p be (-1)/(-2) + (-15)/(-6). Suppose -g*u + 10 = 0, -a + p*u - 8 = -5. Solve 3*w + 2 = -5*j - 8, 3*j = a*w - 30 for j.
-5
Let q be 1*-7 + 0/3. Let t = 40 + -31. Let x = q + t. Solve 2*c + 0*k - k - 5 = 0, x*c + 5*k + 13 = 0 for c.
1
Let z = -1729 + 1734. Let t(w) = -w - 6. Let x be t(-9). Solve -m = -2*s + 1 + x, z*s + 16 = -4*m for m.
-4
Suppose 6*a = -1 + 193. Suppose -5*h + a = -13. Solve 2*k + 4*n - h*n = 3, 0 = -3*k + n - 2 for k.
-1
Let o(y) be the first derivative of -y**2 + 22*y - 21. Let p be o(10). Solve -l + i = 2*i + 2, 0 = -3*l - p*i - 6 for l.
-2
Suppose -4*k - 3*h = 56, -5*h + 0*h = 0. Let j = -12 - k. Let m = -2 - -10. Solve 0*o - m = -j*o, 4*y = 4*o + 4 for y.
5
Suppose 4*g + 2*j = -42, 3*g + 2*j = -0*g - 34. Let i(m) = m - 1. Let y be i(2). Let p be (y/(-1))/(g/16). Solve 0 = 3*b + p*h - 6, 11 + 1 = 2*b + 4*h for b.
0
Suppose -z + 7 = -3*k - 2*k, k - 14 = -2*z. Let j(o) = -2*o + 36. Let s be j(z). Solve 5 = -h + 5*v - s, 2 = 4*h + 2*v for h.
-2
Suppose 11 = 6*t - 7. Solve -t*w - 22 = -5*v, -w = 2*v - 2*w - 8 for v.
2
Let x be 7/((-294)/(-90)) - (-1)/(-7). Solve 12 = 2*k - o, x -