- z - 0*z, 4*b - 4 = u*z for b.
-1
Suppose 0 = 10*d - 36 + 6. Suppose -60*z = d*o - 63*z, 24 = 3*o + 3*z. Solve -g + 12 = -o*g - 3*b, b + 5 = 0 for g.
1
Suppose -k + 3*p - 15 = 0, -111*p = -107*p - 20. Solve 3*i - 2*t = -18 + 4, 4*i - 3*t + 19 = k for i.
-4
Suppose 13 = 4*z - 55. Let u = -506 - -513. Suppose -4*h + 115 = u. Solve 3*g + h = 3*o - 0*g, 2*g - z = -5*o for o.
5
Suppose 2*d = -4*t + 12, 3*d + 2268*t = 2271*t - 9. Solve 2*f = 2*b + 4, 2*b + 2 = 4*f - d for b.
-3
Let c be (-6)/4 + (99/6)/11. Suppose -104*v + 113*v - 18 = c. Solve o - 6*o - 7 = v*b, -2*b + 5 = o for o.
-3
Let z be 238/21*(-27)/(-9). Suppose -z = -2*w + 4. Solve -6 = 2*r - 3*d - w, -3*r + 4*d + 18 = 0 for r.
2
Let p = -499 - -505. Let j(w) = -w**3 + 2*w. Let i be j(-2). Suppose i*o - 6*o = -10. Solve -u - g = p, -8 = -o*u + 5*g - 28 for u.
-5
Let a be 21 + (-14)/7*63/18. Suppose -13 = 2*q - 3*q - 2*h, -4*h + 41 = 5*q. Solve a = -q*g + n, -2*g + 2*n - 3*n = 7 for g.
-3
Let g be (1 + -1)/(60/15). Suppose 4*m + 2*d - 22 = g, -30 = -4*m - 4*d + 2. Solve k = a + m, -4*k - a + 9 = -4*a for k.
0
Let t(m) = -m**3 + 10*m**2 - 11*m + 21. Let q be t(9). Suppose -q*h + 22 + 4 = -5*j, h + 4*j = 3. Solve -2 = 2*u - 3*p, 5*p = u + 2*p + h for u.
5
Suppose -3*m + t = -1450, -161 + 1605 = 3*m - 4*t. Let j = -470 + m. Solve 3*w + j = -r, 2*w + 17 - 2 = 5*r for r.
1
Let i = -161 + 251. Suppose -5*g + 2*f + i = 7*f, 0 = -3*g - f + 50. Solve g = 2*z - 4*m, -z + 4 + 8 = -4*m for z.
4
Let n be (-5 + (-119)/(-21))*(-36)/(-8). Solve 4*p - 8 = 0, n*f - 5*p + 3*p + 10 = 0 for f.
-2
Let i be 2/8 + (-75)/(-4). Suppose -11229 + 3639 = -5*v. Let y be 1/(-9) - v/(-297). Solve -h = -y*z - i, -h + 7 + 0 = -z for z.
-3
Let m = -11236 - -11248. Solve 16*n = m*n + 4, -o = n for o.
-1
Suppose -40*k + 9*k + 1125 = -6*k. Solve 3*v - 5*l = -15, -48*l = -k*l - 9 for v.
0
Suppose -3*d = -6*n - 69, -16 - 6 = -2*d - 2*n. Solve 2*v = 4*t + 22, -d = 2*v + 5*t - 10 for v.
5
Let j(d) = d**2 - 36*d - 1976. Let v be j(-30). Solve 0 = -2*x + 4*f - 0*f, -v*x = -f + 14 for x.
-4
Let b(p) = -p**3 + 10*p**2 + 3*p + 12. Let v be b(9). Suppose -15*r = -10*r + v. Let q be ((-2)/(r/(-4)))/(2/(-6)). Solve 4*h - 3 = d, 3*d - h - h = q for d.
1
Let n(x) = 5*x**2 - 2*x + 22. Let c(d) = -4*d**2 + 2*d - 20. Let i(l) = 6*c(l) + 5*n(l). Let v be i(3). Solve -2*h + z + 5 = 0, -z + 3 + 6 = v*h for h.
2
Suppose 6 - 134 = -8*z. Suppose -z*s = -4*s - 48. Solve -b + 0*b = 1, s*b = 3*k + 5 for k.
-3
Let t be (-87 + 91)*(-4)/(-8). Solve 3*q - t*q = -5*a - 23, 2*q = -a - 10 for a.
-4
Let x = -25243 - -25250. Solve n = -2, -x*i + 1 = -6*i + n for i.
3
Let q be (3*1 - ((-1239)/63 - -22))*6. Solve 5*i + 3*r - 22 = 0, 3*r + 24 = 5*i + q*r for i.
5
Let b(s) = s**3 + 60*s**2 - 123*s + 74. Let i be b(-62). Solve 4*f = -5*x + 21, 3*x = -13*f + 10*f + i for x.
5
Let v be -1*(3 + -1)*(-12)/6. Solve -3*j + 6 - 18 = -3*o, o + j - v = 0 for o.
4
Suppose 25 + 90 = 23*d. Suppose 0 = d*j - 3*m - 43, 4*m = -3*j - m + 53. Solve 5*c - f = j, 3*c + 6*f - 25 = 2*f for c.
3
Suppose 24*i - 22275 = 7053. Let h be 5/(-2) + i/188. Let x(n) = -2*n + 3. Let t be x(-4). Solve -h*f + 2*f = -8, -3*u + t = 5*f for u.
-3
Let u(c) = -c - 13. Let v be u(8). Let o be (-9 - 0)/(v + 20). Suppose 13 = t - o. Solve 3*d = 4*m - 12 - 7, -5*m + 2*d = -t for m.
4
Let k be (82/(-123))/(2*2/30). Let z be 3 - 12/(-30)*k. Suppose -5*r + 5 = 0, -7*h - r = -2*h - 11. Solve -1 = h*q + t, -5*q + 10*q + t = -z for q.
0
Let o = -521 + 517. Let h be ((-92)/(-69))/(o/(-9)). Solve 0 = -h*r + 2*r - d + 1, -4 = 2*r + 5*d for r.
3
Suppose 16*o - 6*o - 20 = 0. Let h be (-13)/26 + (2 - o/(-4)). Solve 0 = -m - 2*t, -2*t = h*m + t + 2 for m.
-4
Let t = -3 + 0. Let h be ((-7 - t) + 3)*-2. Let x = 182 + -180. Solve -2*k - h*v = x, -2 = k + 2*v - 3 for k.
-3
Suppose -6*h - 916 = -4*i - 10*h, 0 = -2*i + h + 455. Suppose 19*s - i = 7*s. Solve 3*t + m + 11 = -3*m, 3*t + s = 4*m for t.
-5
Let q(a) = -a + 5. Let u be q(3). Suppose -5*d - 82 + 17 = l, -u*l + 5*d - 205 = 0. Let s = l - -92. Solve -10 = k - r, -20 = -s*k + k - 5*r for k.
-5
Let q = -69 + 240. Let p = -168 + q. Solve -3 = -w + p*l, -4*l = 4*w - 8*w + 12 for w.
3
Let f be 1 + (-1)/(-3)*39*12. Let k = 160 - f. Solve k*m - 5*z = 5*m + 13, 14 = -m - 5*z for m.
1
Let q(j) = -2*j**3 - 11*j**2 + 7*j + 9. Let c = -109 - -123. Suppose -6*k = -c*k - 48. Let n be q(k). Solve -3*s - 13 = -5*b + n, -23 = -4*b - s for b.
5
Suppose -309*j - 80 = -313*j. Let q be j/11 + (-3 - (-35)/11). Suppose 3*x - 3*u = 24, -5*u = -x - u + 20. Solve 13 = -x*r - d, d + 0 = -q*r - 5 for r.
-4
Suppose 6 = 5*q + 128*b - 130*b, q = b. Solve -4*n - 29 = -3*z, 3*n - 19 = q*z - 40 for n.
-5
Let k be (-336)/(-36)*(-3)/(-4). Suppose 5*m = k*m - 8. Solve 2*g - 1 - m = -5*q, -3*g = 5*q for g.
-5
Let b = -3014 + 3019. Solve -4*r - b*w - 26 = 0, -2*w + 9 = -5*r - 7 for r.
-4
Suppose 2*i + 58 = 68. Suppose 0 = -a + 3*b - i + 2, -b = -3*a + 15. Suppose 2*z = v + a*z - 23, -v - 22 = -5*z. Solve -3*o + 7*c = v*c, -10 = o + 2*c for o.
-4
Let m = -1265 - -1265. Solve -4*g - 2*y = -m*g + 6, y = 3 for g.
-3
Suppose 3*p = -s + 6*p, s = 4*p - 1. Suppose s*k - 3 = 9. Solve 3*r - 12 = k*g - 2, -5*r = 10 for g.
-4
Let u(m) = -2*m**3 - 26*m**2 - 70*m - 547. Let d be u(-12). Solve 0 = -d*o + 3*c - 14, 21*c = 2*o + 24*c + 14 for o.
-4
Let g = -343 - -337. Let v(n) = -15*n**2 - 91*n + 2. Let q be v(g). Solve -r - k - q = r, -5*k = r - 5 for r.
-5
Suppose -2 = -3*v + 2*x, -2*x = -3*v + 2*x - 8. Let c = -4150 - -4155. Solve 0*z = v*z - c*m - 31, -3*z + 9 = m for z.
4
Suppose 8*c - 3*c - f = 25, -5*f = -5*c + 25. Suppose -16 = -c*b - 3*b. Suppose g = -3, -x - 2*g - b = 1. Solve -4*t - 3*j + 4 + 13 = 0, 3*t = -x*j + 15 for t.
2
Suppose -u - 351 = -349, -3*g + 8 = 2*u. Solve -12 = -3*r, 5*d + g*r = 37 - 6 for d.
3
Suppose -260 = -9*x + 46. Let a(t) = -4*t + 136. Let z be a(x). Solve d - 10 = -3*r, -4*d = -3*r - z*d - 10 for r.
2
Suppose 4*j - 5*p = 70, -5*p = -p + 8. Suppose j = -2*r - 5*n, -12*r - 4*n - 30 = -14*r. Solve r*o - 17 = 4*t, -3*o + 2*t + 3*t + 18 = 0 for o.
1
Suppose 4*j - 329 = -293. Let t(i) = -19*i + 175. Let h be t(j). Solve h*s + w + 9 = 4*w, 4*s + 15 = 5*w for s.
0
Let t = 123 - 110. Suppose l = -4*w, -4*l - 3*w = -0*l - t. Suppose -4*h - 4*i + 0 - l = 0, -3*h = -i - 17. Solve -3*n + 12 = -0*n, -h*y = 3*n - 12 for y.
0
Suppose -3*x + 5 = -2*x. Let h be -1 - (3 + (-1 - 5)). Suppose 21*s = 8*s + 465 - 101. Solve h*j + s = -x*b, -j - 3*b + 8 - 24 = 0 for j.
-4
Suppose 19*k - 594 = -k - 7*k. Solve k*g - 20*g - 8 = 0, w + 2*g - 9 = 0 for w.
1
Suppose -45663*c + 108 = -45651*c. Solve -c = 5*f - 4*d + 7, -2*f = 4*d + 12 for f.
-4
Let r(o) = -16*o**2 + 57*o + 15. Let n be r(0). Solve 5*b - 12 = -s, 3*s - n = -b - 7 for s.
2
Suppose 12 = 5*u - 8*d + 10*d, 0 = 4*d + 16. Solve -u = 5*j + n, -2*n = -0*j + 2*j for j.
-1
Let v = 111 - 95. Suppose -v = -12*o + 8*o. Suppose -o*s - 30 = -10*s. Solve -5*j - 4*z = s + 7, -2 = j + z for j.
-4
Let m(j) = -5*j**2 - 55*j - 1. Let c(r) = 2*r**2 + 28*r. Let t(o) = -5*c(o) - 3*m(o). Let w be t(-5). Solve 3*x + w = 2*k + 4*x, 3*x - 2 = k for k.
1
Let j(a) = 3*a**3 + 30*a**2 + 8*a - 165. Let k be j(-9). Solve -2*s - 30 = 4*c, -7*c + s - k = 24 for c.
-5
Let t = 0 - 0. Let h be (6 - 13) + 3 + -438. Let m = 447 + h. Solve -4*a + 20 = t, 0 = -2*c - 0*a - m*a + 19 for c.
-3
Let s = 29 + -28. Let r be (-4 + 3)*(-6)/s - -3. Suppose -231 = -n - 229. Solve w = 3*j + 9, n*j + 4*w - r = 5*j for j.
-3
Suppose 14*d + 797 = 881. Solve 4*c = 2*n - d, 3*n - 5*n = 4*c + 18 for c.
-3
Suppose 0 = -i - 4, 2*y + 95 - 99 = -i. Solve 2*n - 2*a + 4 = 0, -2*n - y*a + 7 = -5*n for n.
-1
Let r = 6663 + -6658. Solve -r*m - 18 = -5*q - 8, 2*q - 16 = -4*m for m.
2
Suppose 24 - 19 = 3*m + 4*s, -2*s = 2. Suppose 18*c + 6 = 19*c. Solve 3*o + m = i, -c*o - 20 = 4*i - 2*o for i.
-3
Let n(u) be the first derivative of -2*u**3/3 + 13*u**2/2 + u - 81. Let m be n(6). Solve -2*j = -3*w + 6, -4*w = -3*j - m - 1 for w.
2
Suppose 4*y + 3*q = 131, -49*q + 98 = y - 41*q. Suppose -b = 2*i + 4*b + 4, 4*i = 5*b + 22. Solve -i*z - 2*z - 4*o = 21, o = 5*z + y for z.
-5
Let q = 1654 + -1722. Let i(f) = -6*f**2 - 3*f - 3. Let k be i(3). Let j = k - q. Solve 0 = j*x + m - 2 + 3, 3*m = 15 for x.
-3
Suppose -24*j + 87 = 5*j