- h = 0 for d.
2
Suppose 7*j - 8*j = -17. Solve -t + j = -5*s, 3*s - 2*s + 4 = 0 for t.
-3
Let w be -5*(-4*1 + (-13 - -16)). Solve u = -u - 5*c + 14, 5 = 5*u + w*c for u.
-3
Let c(x) = 3*x**2 + 7*x + 3. Let h be c(-3). Let k be 29/h + (-16)/72. Solve k*q + 2*a = -0*a - 7, 5*q + 5*a = -20 for q.
1
Suppose 3*u + 2*v + 2 = 5*u, -v + 11 = 5*u. Let w(q) = -9*q + q**u + 10 + 2 + 0*q**2. Let k be w(8). Solve -5*j - 31 = -k*n, 2*j + 4*n - 2*n = 2 for j.
-3
Let u(l) = 14*l - 19 - 8*l - 4*l. Let x be u(11). Solve 25 = -p - p + x*d, -3*p - 20 = -d for p.
-5
Let f = 1313 + -1308. Solve f*c - 5*l - 35 = 0, -l - 11 - 5 = -4*c for c.
3
Suppose c - 5*h + 12 = 0, -5*c - 3 = 2*h - 24. Suppose 3*y - 18 = c*g, -2*y - g + 18 = 3*y. Solve -3*a = -y*r + 7, -2*r + 3*r + 2 = 0 for a.
-5
Suppose -25 = 5*j + 5. Let g be (-2)/j*(-3 + 9). Solve g*h - 7 = -h - 4*z, 0 = 3*h + 5*z - 5 for h.
5
Let k = 143 + -141. Solve -2*s - 2*m + k = 0, -m + 1 = -s - 0*m for s.
0
Suppose -79 + 9 = -14*p. Solve p*q + 40 = -3*r, 3*q + 10 = 2*r - q for r.
-5
Suppose -5*c = -v - 11, 5 = 3*c - 2*v - 3. Let j be c/12 - (38/12 + -3). Solve -o + 4*y = -3, 5*y + 7 = -2*o - j*y for o.
-1
Suppose -4*u = -3*d + 6, 8*u = 5*u + 5*d - 10. Solve -4*y = -p + 7, 3*p + u*p = y - 1 for y.
-2
Let l be (-160)/(-72) + (-4)/18. Suppose -l = -5*i + 8. Solve 2*a - 10 = 0, -i*x + 16 = 3*a + 1 for x.
0
Let q be (10/3)/((-4)/(-12)). Let y(x) = 2*x**3 + 15*x**2 + 4*x - 82. Let j be y(-6). Solve -4*h + q = -3*w, 0 = h - w - j - 0 for h.
4
Let a = -1 + 3. Let c be 1 + (-3)/2 - (-6259)/1138. Solve 0 = 4*s - a*o - 6, 0*o = -c*s - 5*o - 30 for s.
-1
Suppose 24*y = 32*y - 16. Solve -3*f = 6, -7*c = -2*c - y*f + 16 for c.
-4
Suppose -19*n + 15*n = -20. Solve 5*a + n = 4*l - l, 4*a - l + 11 = 0 for a.
-4
Let r be (-2)/(-12) + (-15)/90. Solve 0 = -o + y + 10, r = -3*o + 2*y + 20 + 5 for o.
5
Suppose -58 - 297 = -5*p. Let l = -68 + p. Solve w = -3*c - 15, l*w + 28 = -w - 4*c for w.
-3
Suppose 44 + 36 = 5*m. Suppose m = -5*g + g. Let o be g/(-1)*3/12. Solve 0 = 5*k - 2*n + n - 8, -2*k = n + o for k.
1
Let h be 5*((-128)/40)/(-8). Solve 0*v = h*v, -g = v + 5 for g.
-5
Let g(l) = -l**2 + 5. Let y be 0/2*(-21)/42. Let n be g(y). Solve 4*k + 12 = -3*m, n = -2*k + 5*m - 1 for k.
-3
Let b = 360 + -355. Suppose 3*q + 0 = 42. Solve 4*o + x = -b - q, -5*x + 30 = -5*o for o.
-5
Let o be (-9)/(-5) - -6*6/30. Solve -2*h - 2*d = -7*h - 3, 5*h = -o*d - 8 for h.
-1
Let w be (-15)/(-10)*(-16)/(-6). Suppose w*h + 36 - 52 = 0. Solve y - h*f = -21, 0*f + 3*f - 13 = -2*y for y.
-1
Let r(v) = 5*v + 133. Let g be r(-26). Solve -g*d - 8 = y - 2*d, 5*y = -3*d - 32 for y.
-4
Let f be (-9)/21*1*-7. Suppose -5*h + 10 = -5*x, -x - f = 5*h + 5. Let b be -1 - 4/(-4 - x). Solve -3*z = -2*c - c - b, -8 = 4*c - 5*z for c.
3
Let y = -16 - -18. Suppose y*v - 2*o - 18 = 0, 0 = -4*v - o + 15 - 4. Solve -h = 0, v*n = -5*h + 7 - 19 for n.
-3
Let w = 326 + -200. Let m = 128 - w. Solve 0 = -2*g + 3*c + 11, -1 - 9 = m*c for g.
-2
Suppose 4*j + 23 = 5*j + n, 4*n = -j + 17. Let f = -22 + j. Solve -2*a + 2*y - 9 = f*y, -21 = 4*a + 3*y for a.
-3
Let x(i) = -i**2 - 18*i - 13. Let l be x(-17). Solve 3*p + 14 = y, 1 = l*y - p - 11 for y.
2
Let o = -46 - -37. Let i be (0/o)/(-1 + 4). Solve f + w - 7 = i, -2*f + 12 = 2*f - 4*w for f.
5
Let s be (-3)/4 + (693/44 - 14). Solve 2*c + k - 1 = 0, -5 = -4*k - s for c.
0
Suppose 0 = 3*d - 4414 + 4402. Solve 4*b = -d*z - 39 + 15, -5*z = -2*b + 9 for b.
-3
Let f be (5/(-4))/((-28)/112). Solve -f*h - 9 - 6 = 2*a, 0 = a - 3*h - 9 for a.
0
Let t(g) = -g**3 - 2*g**2 + g - 4. Let m be t(-3). Let a = 205 - 195. Solve -o - 2*u = -3*o + 18, -m*u = 5*o - a for o.
4
Suppose 25 = 3*j + 4*y, 4*y - 10 = 2*j - 0*y. Let p = -5 + -24. Let f = 32 + p. Solve -3*x = j*a + 9, 2*x + 13 = -f*x - 3*a for x.
-2
Let i = 33 + -30. Suppose -20 = -4*c + 3*w, -3*w + 7*w + 10 = -3*c. Suppose -c*l - 2 = -3*l. Solve -28 = -i*z + 4*p, 5*z - l*p = -1 + 29 for z.
4
Suppose -5*d - 2 = -12. Let b be 4 + -1 - -6 - 0/12. Suppose a = -3*a. Solve b = -4*w + d*r - 3, a = w + r for w.
-2
Let p(b) = -b**3 - 20*b**2 - 20*b - 14. Let m be p(-19). Suppose -m*q + 44 + 26 = 0. Solve 5*r = -j, 2*j + 0*j - q = 4*r for r.
-1
Suppose -g = -2*j - 4, -4*j = 2*g + 2*g - 16. Suppose 5*b - 4*b + 19 = -3*o, -b - 1 = j. Let i be o*3/((-9)/2). Solve -4*y = -3*q + y, -q = i*y + 17 for q.
-5
Let d be (-15)/90*2*(2 - 11). Solve 2*c + 5*g = 27, -3*g = -d*c - 7*g + 23 for c.
1
Let a be 4/(-6)*3*-2. Suppose -o - 144 = -17*o. Suppose a*t - 29 = -o. Solve -20 = t*c, s = -0*s - 4*c - 19 for s.
-3
Suppose -i + 3*m = -10, -5*m = -0*i + 2*i + 2. Suppose -5 = -r + 3*h + i, 5*h + 19 = 3*r. Let c = -25 - -40. Solve 2*v = -3*v + a + c, -r = -v + 5*a for v.
3
Let k(d) = -2*d**2 - 19*d - 7. Suppose 3*w + 3*r = -0*r - 24, 3*w - 4*r = -31. Let j be k(w). Solve -3*v + 2*v = -5*t - 22, -t + j = 3*v for v.
2
Let n(y) = 5*y**2 + 14*y + 4. Let k(d) = d**2 + d + 1. Let m(o) = 6*k(o) - n(o). Let p be m(8). Solve -a = 3*j + 10 + 2, p*j = 3*a + 3 for j.
-3
Let d be -3 - -2 - -1 - (3 + -7). Solve -2*m + 6 = d*z, -2*z - 3*m = 2 + 1 for z.
3
Let u(z) be the first derivative of z**2/2 - 5*z + 2. Let o be u(8). Suppose -2*t = -o*t + 2. Solve t*w - 1 = -4*b - 7, -4*b + 3 = -w for b.
0
Let d(o) = -2*o - 110. Let f be d(0). Let z = -107 - f. Solve 8*l - 3*l - 5*g + 10 = 0, -l + z*g = -4 for l.
-5
Let b = -3 - -7. Suppose u - 2*z - b = 0, -z = 2*u - 0*u - 3. Let j be (1 + -7)*u/(-4). Solve -j*k + 2*i = 25, -5*i = 3*k - 7 - 3 for k.
-5
Let f = 28 + 6. Suppose f + 44 = -2*x. Let m = -14 - x. Solve -5*w - m = 5*g, -5*g - 18 + 5 = w for w.
-3
Let i(k) = k**2 - 24*k + 47. Let v be i(22). Solve -4*m - 13 = -p, 0 = -5*m - v*p + p - 13 for m.
-3
Suppose -12*k + 176 - 152 = 0. Solve -k*m + 14 = 5*t, 9*t + 5*m = 6*t + 16 for t.
2
Let t(c) = c**3 - 2*c**2 - 3*c + 3. Let b be t(0). Solve x + 16 = 3*n, 12 = -b*x + 6*x + 3*n for x.
-1
Suppose -2*k + k + 5 = 0. Solve 3*g = q - k, q - 2*g + 1 - 4 = 0 for q.
-1
Let s(r) = r**3 - r**2 - 12*r + 20. Let x be s(2). Solve 0 = 3*d - 5*d - 2*c - 8, -3*d + c - 8 = x for d.
-3
Suppose 8*r + 4 - 20 = 0. Solve -r*y = s + 4*s - 5, s = 5*y - 26 for y.
5
Let o = 2302 + -2298. Solve -h + 2*a = -a + 5, o*h + 4*a = 12 for h.
1
Let y = -81 - -28. Let l = y + 61. Solve g = 3*w - l, -5*g - 18 - 2 = -5*w for g.
-2
Let d(q) = -13*q**3 + 4*q**2 - 3*q - 1. Let c be d(2). Let t = 97 + c. Solve -5*l = -2*m - 5, -3*m + 26 = 3*l + t for m.
5
Let p(b) = 10*b**3 + 3*b - 2. Let j be p(1). Suppose j*f = 6*f + 20. Solve 4*m - 2 = -5*s + f, 5*s = -2*m + 8 for s.
2
Suppose 13*x = 103 - 77. Solve -3*l = -5*f + x*l + 20, 0 = 3*l - 3 for f.
5
Let p(m) = -4*m**3 + 3*m**2 - 2. Let i be p(-1). Solve 0 = -i*k + 5*f - 5 - 0, 3*k + 2*f + 18 = 0 for k.
-4
Let c be -1*0/(-5 - 2). Solve -4*p = 3*a + 1, -a + 21 = -c*a - 4*p for a.
5
Let c(u) = -u. Let x(a) = 5*a**2 - a + 2. Let r(y) = c(y) + x(y). Let m be r(2). Solve -5*j - m = 3*b, -b = j + 3*b + 7 for j.
-3
Let x be 0 + -12 + (5 - 6). Let m = 29 + x. Suppose -m = -2*o + 5*t + 14, -4*t - 41 = -5*o. Solve 3*d + o = v, 3*v + 2 = v for d.
-2
Let j = -1 + 6. Let b = 30 + -20. Suppose -u - u = -b. Solve -p = u*y - y + j, 4*p - 2*y = 16 for p.
3
Let j be (28/(-35))/((-6)/15). Let o be (-6)/(-9) - j*(-3)/(-9). Solve m - 3*m + 2 = -c, o = m + c - 4 for m.
2
Suppose -5*q + 35 - 10 = 0, -r = -2*q + 10. Suppose r = 8*k - 7*k - 2. Suppose -2*l + 0 = -6, a + k*l - 9 = 0. Solve 3*n + a*g = -21, 5*n - n + 33 = -5*g for n.
-2
Suppose -27 = 28*d - 195. Solve 8 = -c + 5*s, 10 = c - d*c - 5*s for c.
-3
Let k be (-1)/(-3)*6 + 2. Solve 0*u = -2*q + 5*u + 17, -q + u = -k for q.
1
Suppose 2*q = -3*b + 78, b - q - 9 = 4*q. Suppose -b = -3*j - 3*z, z + 6 = -6*j + 7*j. Solve 4*u - 2*k - 9 = -k, 4*u + k - j = 0 for u.
2
Let c(l) = l + 15. Let p = -22 - -9. Let x be c(p). Let m be 3/(-2)*(-40)/30. Solve 2*b - 4 = 3*b + m*n, 0 = -2*b + x*n + 4 for b.
0
Suppose 387 - 369 = 9*d. Solve -d*n = -3*l - 11, n + 7 = -3*l + 2*n for l.
-1
Let u = 2 + 0. Let a = -16 + 16. Let x be ((-4)/(-3))/(12/27). Solve -x*s = u*h + 2*h - 13, a = -2*h - 5*s + 3 for h.
4
Let s be -2 - (-8*7)/4. Let j be (-3 + 1)*(-18)/12. Suppose 0 = -j*o + s + 3. Solve 3*b + 3*z = 6, 5*b - 3 + o = -z for b.
-1
Let v be 85/40 + (-2 - 90/(-48)). Solve 5*a + 6 = v*