5*a - 31 = -4*h, 0 = -2*h - v*h + 5*a - 7 for h.
4
Suppose 12*v - 13*v + 16 = 0. Let b(w) = -35*w + 949. Let f be b(27). Solve -3*a - f*i - v = 7, 0 = -5*a + i for a.
-1
Let p(x) = -3*x - 9. Let r be p(-6). Suppose -3*c + 3*q + 27 = r, -34 = -4*c - q. Let f be 6/17 + 198/306. Solve -f = k - t, 0*t - 4*t + c = 0 for k.
1
Let i be ((-53)/(-11) - (-12)/66) + 188. Let l = -168 + i. Solve -3*u + 2*k = -3*k - l, u + 5*k = -5 for u.
5
Let l(c) = 54*c**2 - 331*c + 46. Let t be l(6). Solve -d + 3*i + 121 = 113, -2*d = -t*i - 8 for d.
-4
Suppose 4*x + 2*w = 2*x - 84, -2*w = -4*x - 180. Let u = 52 + x. Suppose -2*a - 2*b = -14, 2 - 7 = -b. Solve 0 = -3*r + a + 10, -4*q - r = u for q.
-3
Let t(v) = 5*v + 3. Let y be t(1). Suppose -12 = -3*w, -3*o + 416 = -y*o - w. Let h = 89 + o. Solve -2*g - 2*u + 11 = -h*g, 12 = 3*u for g.
-1
Let y be 3/(-9) - (-48)/(-18). Let f be (-1 + 5)*(y + (16 - 8)). Solve -5*q + q + n - f = 0, -q + 4*n = 5 for q.
-5
Let n be (88/6 + -4)*(-25 - -4). Let y be (-56)/n - (-11)/4. Let u be (1*-15)/(6/(-8)). Solve y*q = -2*r - u, 2*r + 12 = 2*q - 3*r for q.
-4
Suppose 0 = -50*i + 319 - 119. Solve i*n + 7 = -m - 5, 3*n - 10 = 4*m for m.
-4
Suppose -118*t + 124*t = 30. Suppose z - 201 = -4*n, 221 = t*n + 2*z - 31. Solve -n = 5*i + 5*q, -3*i + i = -2*q for i.
-5
Let f(m) = 4*m**2 + 51*m - 65. Let u be f(-14). Solve 5*d + 25 = u*y + 45, 0 = y + 3*d for y.
-3
Suppose -3*b + 2*b + 2 = 0. Suppose 4*q - 27 = 33. Let l = -51183 + 51185. Solve -4*u - l*r = -6, -5*u + 7*r = b*r - q for u.
2
Let f(d) = 13*d**2 + d - 7. Let x be f(-5). Let b = x + -298. Let v be (-8)/(-4)*(4 + -1). Solve -2*n + v*s = s - b, -3 = -n + s for n.
0
Let m(w) = 2*w**3 + 43*w**2 + 20*w - 21. Let b be m(-21). Solve 40*t - 39*t - 2*n - 7 = b, t + 2*n + 9 = 0 for t.
-1
Let z = 9 + -1. Suppose n = k - 4, n = -k - n - z. Suppose k = 12*t - 72 - 0. Solve 2*y = r + t, 0*y - 3*y = -12 for r.
2
Suppose -p - 22 = -3*g, 0 = 3*g + 4*p - 1 - 16. Suppose 2*k = i + 6, -3*i + 3*k + g - 16 = 0. Solve -4*c + 3*b + 6 = b, i = 3*c + b - 17 for c.
4
Suppose 2*t + 6*t = 11*t - 12. Solve -2*i + 15 - 2 = g, -2*i - t*g = -28 for i.
4
Suppose -302*i - 34 = -319*i. Let u be 8*(-4)/48*-3. Solve 2*p - 6 = -u*y, 4*p - 3 = -i*y + 11 for y.
-1
Let i = -5 + 9. Suppose -4 = -2*u + 5*z, 4*z - 6 + 2 = -2*u. Let q be (i/8)/(u/20). Solve 4*p - 6 = -5*d - 1, -3*d = 2*p - q for p.
-5
Suppose 2*n - s + 8 = 0, 0*n = 3*n + 5*s + 12. Let b be 11 + (2 + n - 0). Suppose 0 = 3*j + b*j. Solve j = -0*z - z + 3*c - 2, 0 = -4*z - 5*c + 9 for z.
1
Suppose 3*y - 7*i = -2*i - 9, 2*y + 8 = 4*i. Let o be (0 - 1)/((-2)/4). Suppose 4*z + 2 = s, 4*s + y*z = o + 6. Solve -s*r - 1 - 5 = 0, w - r - 3 = 0 for w.
0
Suppose 2*r - 16 = 6*r, 2*i + 12 = -3*r. Suppose 10*o - 89 = -19. Solve 3*p = f - 0*p - o, i = 2*f - 5*p - 13 for f.
4
Let z be (-30)/(-18)*60/25. Suppose -12 = -p - 5*a, z*p = 4*a + a - 2. Solve k = 5*x, 5*k - 5*x + p*x = 0 for k.
0
Suppose -48*d - 46*d + 100*d - 90 = 0. Solve 5*o - 5 = 5*q, d*q - 1 = 11*q + 3*o for q.
4
Let f(a) = 59*a + 4. Let z be f(1). Suppose 51 + 186 = 4*t - n, 0 = -t - n + z. Let c = t + -55. Solve 4*p = -2*d - 12, c*d - 35 = -0*p + 3*p for d.
4
Let c(i) = 1 + 2*i**2 - 14 - 1886*i + 1891*i. Let o be c(3). Solve -5*d = 4*j - 20, -6*d + d + 3*j + o = 0 for d.
4
Let i(g) = 13*g**2 + 3*g - 3. Let x = -170 + 171. Let u be i(x). Solve 4*p + u = 3*f, -8 = f + 5*p + 13 for f.
-1
Suppose -16*v + 92 = 2*p, 3*v - 29 = -p - 8. Solve -q - 21 = 4*y - p, 5*q - 5 = 0 for y.
-4
Let f be 26/(-78) + 2*2/12. Suppose f = 2*x - x - 20. Suppose x = -17*r + 21*r. Solve 0 = -3*l + 6, r*t + l = 3*t for t.
-1
Suppose -2*n - 8 = -2*b, -2*n + 58 = -b + 64. Solve 0*k - 5*k = 5, b = -t - 5*k for t.
3
Let h(y) = -y**3 + 15*y**2 + 17*y - 13. Let m be h(16). Let i be (39/52)/((-3)/(-16)). Solve -m*j = -3*f - 2*f, i*f = 3*j for f.
0
Suppose -5 - 8 = u - 4*g, 5*g = u + 18. Let h(f) = -f**2 + 4*f + 24. Let i be h(u). Solve 5*s - v = 5 + 4, -1 = s - i*v for s.
2
Let r be (-5 + -3)/(-1*1). Suppose 105 = 18*a + 166 - 97. Solve 5*h = a*m + 28, -5*m - 3*h - 40 = -r*h for m.
-4
Let z be 0 + 0/((-8)/(-2)). Suppose -5*i + z*k + 96 = -2*k, 0 = 5*i - 4*k - 92. Solve 3*j = a - i, -3*j - 2*a = -a + 10 for j.
-5
Let s be 393/39 + (-23)/299 - 5. Solve 4*a = -l - 20, -16*a + 2*l + s = -17*a for a.
-5
Suppose 104 = -4*a - 524. Let w = a - -179. Solve -5*i + 5*v = 45, -2*i + 2*v = -v + w for i.
-5
Suppose -27*t = -25*t + 16. Let r = t - -14. Let p be (35/70)/((-5)/r + 1). Solve f - 5 = 0, p*a + 4 + 3 = 2*f for a.
1
Let g be 43 - 7/((-21)/3). Suppose -c - g = -68. Solve -5*l + 3*l - 2*p + 4 = 0, 4*p = 4*l + c for l.
-2
Suppose -c = -9*c - 512. Let a be (c/80)/((-4)/(-40)*-2). Solve 0 = 3*s - m + 14, -a*s + 3*m + 11 = 33 for s.
-4
Let w(h) = 30 - 14 + 104 + 13*h - 22*h + 80. Let b be w(22). Let d(k) = -k**2 - 4*k + 7. Let v be d(-5). Solve -2*f + 12 = -3*o, 5 = -f - v*o - b*o for f.
3
Suppose 35*k - 33*k - 4 = 0. Suppose 58 = -k*d + 62. Solve -2*y = -4*u - 12, 2*u + d*y - 1 - 5 = 0 for u.
-1
Let d(h) = -69*h - 3. Let l be d(-1). Let v = l + -62. Suppose -2 = f, -2 = -4*a - a - v*f. Solve -t + 0*t = -4*m - 6, t - a = 0 for m.
-1
Let i be (((-17)/3 - -3)/(12/(-18)))/1. Solve -3*k = -k + i, -3 = h + k for h.
-1
Suppose 3*q = 2*o + 18, 709*q - 16 = 704*q + o. Solve 0 = q*j + 2*h + 4, 4*j + 8*h - 9*h = 12 for j.
2
Suppose -3*a - 3*i + 36 = 0, -2*a + 5*i = 3*i - 36. Suppose 0 = 3*n - 8*n + a. Let k(j) = -27*j + 111. Let u be k(4). Solve u*y = -n - 0, 0 = p - 2*y for p.
-2
Suppose 3*q + 3*r - 10 = -1, 3*q = 4*r + 2. Suppose 5*u - 4*t + 5 = 0, 4*u = 3*u + t - q. Solve 8*y + 25 = u*y - 5*s, 3*s = -12 for y.
-1
Let k(u) = u**3 + 2*u + 18. Let a(o) = o**2 - 2*o - 8. Let j be a(4). Let y be k(j). Solve 4*m + 0 = 5*d + y, -4*d + 5*m - 18 = 0 for d.
-2
Let k = -35037 - -35054. Solve 0 = -18*s + k*s + 2, 0 = 4*v + 3*s - 2 for v.
-1
Suppose 4*y + 15 = -y, -a = -5*y + 3. Let s be (7 - a/(-3))*23. Solve x = -u - 7, -5*u + 3*x = 4*x + s for u.
-4
Let q = 3 + -1. Suppose 9*t - 18*t + 243 = 0. Suppose -319*z = -310*z - t. Solve 2*b = 3*b - q*y - z, 4*y + 9 = 3*b for b.
3
Suppose 1 + 6 = 2*z - 3*h, -z + 6 = -4*h. Suppose -9 = 4*t - 3*f, -4*t = z*f + 27 - 33. Solve -k = g, t = -2*g - 3*g - k + 20 for g.
5
Suppose 0*i - 2*h = -i, 0 = 5*h + 5. Let u(d) = 10*d**2 + 3*d + 3. Let z be u(i). Solve k + 3*c = -0 - 7, 5*k - z = 3*c for k.
5
Suppose 0 = 18*z - 26*z - 20*z + 56. Solve -24 = z*y + 4*u, -4*y - u = -3*y + 7 for y.
-2
Let q(k) = 179*k + 6627. Let m be q(-37). Solve 3*z + 4*n - 26 + 32 = 0, -m*z + 23 = -5*n for z.
2
Let n(x) = x**3 + 13*x**2 + 8*x - 12. Let u be n(-12). Suppose -3*j + 3 = -u. Solve -3*a - 5*d - j = 0, 2*a - d = -a + 17 for a.
4
Let t = -204 - -203. Let q(g) = 3*g**2 - 2*g - 3. Let f be q(t). Let m = 0 + 1. Solve -5*z + 2 = 4*y + 5, 0 = f*y + 3*z + m for y.
-2
Let s = -126 - -120. Let d(h) = -7*h + 8. Let p(i) = i - 1. Let f(k) = s*p(k) - d(k). Let y be f(7). Solve -3*g - 2*u + 20 = 0, 2*u + 6 = y*g - 6 for g.
4
Let y(c) be the first derivative of 3*c**2/2 + 5*c - 1. Suppose 23*b + 4 = 4. Let f be y(b). Solve 0 = -f*l + l - 5*p - 16, 5*l + 20 = -5*p for l.
-4
Let o = 4129 - 4126. Solve o*d + 11 = -33*b + 34*b, -5 = 2*d - 3*b for d.
-4
Let u be 2 - 163*(-5)/15*-3. Let q = u + 163. Solve -q*m + 2*c - 4*c = 0, 5*m - 5*c = 0 for m.
0
Let f = 3282 + -3278. Solve -1 = -2*q - h + 1, 2*q - 12 = f*h for q.
2
Suppose 0 = 4*d - 13 + 5. Let q(f) = 7*f - 4*f - 26 - 26 + 49. Let t be q(6). Solve d*s = o + 2*o - 5, t = 3*s for o.
5
Let d = 501 - 495. Suppose -d*h + 255 = 231. Solve o - 10 = -4*r, h*r - 2 - 4 = o for o.
2
Suppose -22*f = -61*f + 30*f + 180. Solve i - 4 = 3*o + 2*i, 0 = -4*i + f for o.
-3
Let f = -25927 - -25929. Solve 27*v = -f*k + 22*v + 14, -5*k = 5*v - 20 for k.
2
Suppose 7*g = -45 - 4. Let x be (-2)/7 + (-37)/g. Let s(m) = -m**3 + 5*m**2 + 7*m - 1. Let j be s(6). Solve x = -7*l + 2*l - j*h, 0 = l - 4*h - 4 for l.
0
Let z be (3/5)/(104/1560). Solve 2*k = -5*c + 16, 0*k = -3*k + z for c.
2
Suppose 4*v = -3*w + 17 + 18, 56 = 4*w - 4*v. Suppose -4*j + 6 = 3*z, -2*z - 20 = -5*j - 1. Let n be j/4 - 34/(-8). Solve -16 = -4*a, 3*a - w = -n*i - 6 for i.
-1
Let h(g) = 2*g + 1. Let p(i) = i**2 + 10*i + 15. Let v(b) = -2*h(b) - p(b). Let q be v(-9). Solve 4*f - 