c for z.
0
Let a = -493 - -423. Let b be 3 - a/80 - (-1)/8. Solve -b*p + 8 = -4*f, -p - 4*p = 3*f + 14 for f.
-3
Let i be 261/(-12)*(36*10)/(-9). Let j = i + -870. Solve -2*c + 6 = j, c = 3*u + 6*c for u.
-5
Let u be (2/(-4))/(1/(-20)). Let r(z) = -2*z**2 - 26*z + 39. Let n be r(6). Let c be 318/81 - 14/n. Solve -k = c*k - 2*t + u, -3*k = 4*t - 20 for k.
0
Let b(p) = -21 + 10 + p**2 + 13 + 5*p + 6. Let z be b(-5). Solve -19 = -5*o - 2*v, v + 0 + z = o for o.
5
Let n be (-1)/(10 - 9) + -11*4/(-11). Let t(d) = d**2 - 4*d - 2. Let a be t(5). Solve 18 = n*m - 5*j, 0 = 3*j + 12 - a for m.
1
Suppose -5*t - 1575 = 5*q, 4*t - 628 = 2*q + 5*t. Let d = q - -315. Solve -3*y + d*y - f = -6, 0 = 2*y + 3*f - 15 for y.
3
Let r = -7031 + 7083. Solve -p = -r*s + 50*s + 11, -2*p + 2*s - 14 = 0 for p.
-3
Suppose 22 = -2*j + 28. Suppose 4*q - 8 = x - 3*x, -j = x - 5*q. Solve -3*a = -15, -x*r + 5*a - 10 = 5 for r.
5
Let s = 811 + -756. Solve -x - 27 = 5*j, -4*x = 3*j - 32 + s for x.
-2
Let b be 0 + (-76)/(-2) - (7 - 7). Let p = -38 + b. Suppose p = -7*z + z + 90. Solve -4*q - z = w - 39, -3*w + 12 = 0 for q.
5
Let l be 50 - -3*3/9. Let s be (-1)/(4 + l/(-12)). Suppose t = 5*g - 4*t - 75, 0 = -2*t + 4. Solve 4*f + g = z, -z - 3*f - 15 = -s*z for z.
1
Let v be (-17)/(-3) - (-2)/(-3)*(-4 + 5). Solve -2*k = 5*d - 4, 5*k - 9*d - 10 = -v*d for k.
2
Let g(j) = j**2 + 16*j - 26*j + 4 + 14*j. Let i be g(0). Suppose -11 = -3*t + 1. Solve l + 0*x - 10 = t*x, -5 = i*l - x for l.
-2
Let h be -2 - (36/10 - (-8)/20). Let k be 3 + 16/4 + h + -1. Let b(f) = -f**2 - 8*f + 1. Let r be b(-6). Solve -4*s = o + r, k = o - 6 + 3 for s.
-4
Suppose -5*v + 531 = 3*u, -2*v - 2*v = -u - 435. Suppose -6*l + v = 6*l. Solve -p - 3*g = 2*p - l, -4*g + 13 = 3*p for p.
-1
Suppose 3*l + x = 3 + 11, -5*l - 2*x = -25. Solve -l*m = 2*i - 9, -14*i + 6 = -12*i for m.
1
Suppose -6*t - 2*t - 18*t = -520. Solve 0 = -5*l + 5*x + 40, -4*l + x + t = -0*l for l.
4
Let h = -3173 - -3176. Solve -4*j - h*u = -6*j, -5*j - 5*u + 25 = 0 for j.
3
Let n(d) = -d**2 + 92*d + 605. Let c be n(-6). Solve 3*a - c = j, 2*a - 4 = -24*j + 21*j for a.
5
Let a(f) = 3*f - 23. Let i be a(18). Suppose i - 3 = 7*o. Solve m + 1 = 0, -5*m + 3 + o = 4*z for z.
3
Let t(p) = 30*p + 65. Let x be t(-2). Suppose x*g = 2*v - 8, -3*v + 4*g - 5*g + 12 = 0. Solve -3*c - 12 = 5*b, -v = c + 3*b + 4 for c.
1
Let n be (-1 + 0)/(176/(-96)) - 240/(-44). Solve 6*w + n = 4*w, 0 = -2*r - 4*w - 10 for r.
1
Let m(g) = -11*g - 149. Suppose -4*y - 6*w + 4*w - 46 = 0, -2*y + 3*w - 43 = 0. Let j be m(y). Solve 4*n + n - 45 = j*o, n - 5 = 0 for o.
-4
Suppose z = -4*c + 12, -2*c + 6 = -443*z + 442*z. Solve 8*o + 2*n + 2 = 12*o, -27 = -4*o - c*n for o.
3
Let j(r) = -r**3 - 3*r**2 - 10*r. Let n be j(-6). Let o = n - 125. Let a = -39 + o. Solve -11 = -5*h + 2*x + 6, 0 = -a*h + x + 13 for h.
3
Let a be (-3)/(-5)*(-10)/(-2). Let j = -15402 + 15437. Solve -5*q = -a*k + j, q - 13 + 2 = -3*k for q.
-4
Let g(t) = 7*t**2 - 8*t + 62. Let q be g(7). Let w = q - 338. Solve -2*b + 4*b = 4*a - 10, -4*a + b = -w for a.
3
Let h(c) = -c**2 + 11*c + 29. Let g be h(13). Suppose 14 = 3*u + v, 0 = -3*u + g*v - v - 1. Solve -z - 16 = -u*f, 0*f = -5*f - 5*z for f.
4
Let j = 247 - 229. Suppose 4*i = -6 + j. Solve -3*f = i*a - 12, -5*a + 0*a - f + 16 = 0 for a.
3
Let r(v) = -7*v - 10 + 2*v - 2*v - 6. Suppose 0 = 2*d + y + 10, 5*d + 2*y = -7 - 19. Let o be r(d). Solve 3*m - 4 = 4*q - 33, -4*q + o = -2*m for m.
-3
Suppose 8*r = -3*r + 33 - 11. Solve 4*h + 2*o - 8 = 0, 9*h - 8*h - r*o = -3 for h.
1
Let y be (42/(-28))/(-1*(-6)/(-16)). Suppose 0*u - 2*u = -m - 1, 0 = 3*m - y*u - 1. Suppose 3 = -m*c + 4*c. Solve 0 = -5*q - 2*i, -c*q + i + 9 = -2 for q.
2
Let y be (-9)/(-4) + (6/(-2))/12. Suppose 14*h = -2*h + 144. Solve 4*q = y*j - 20, 4*j = 4*q - h + 29 for q.
-5
Suppose -f - 4*r + 79 = 0, 3*r = -3*f + 170 + 76. Let k = f - 38. Let d be (-2)/(1*-2)*(k + -30). Solve 3*o + o - v = 23, -d = 5*v for o.
5
Let p = 465 + -381. Suppose -p - 141 = -15*i. Solve o = -4*r - 0*o - i, -45 = 5*r - 4*o for r.
-5
Let a(v) = -4*v - 10. Let o be a(-5). Suppose o*u = 117 + 83. Suppose -5*j = -5*n - u, 3*j + 2*j = -2*n + 13. Solve -5*x = 4*t - 45, -2*x = j*x - 5*t for x.
5
Suppose 5*b = 0, 4*b + 7 = -5*c + 22. Let g = -2221 + 2223. Solve -c*r = 5*h - 4*h - 4, g*r - 11 = h for r.
3
Let g = 2111 - 2107. Solve g*b = 12, -4*u + 45 = b + 30 for u.
3
Let a be (2 - (4 + -2))*(-127)/(-254). Let z = -2 - -6. Let s = -26 + 51. Solve -5*b = 5*j - s, z*j + 5*b = -a*j + 20 for j.
5
Let l be (-10 - -3)*(-3 + 0). Let a be 2*(3 - l/14). Solve -q - i - 3 = 0, 8*i = -a*q + 4*i - 13 for q.
1
Let w be (-1)/((-1)/3*1). Suppose 2*x - 35 = -2*v - w*x, -v + 40 = -5*x. Let i = v - 21. Solve -i = 2*q - 4*q, -9 = 5*c - 2*q for c.
-1
Let o(n) = -n + 45. Let r be o(0). Let q = -189 - -193. Suppose -3*w = -y - 1 - 10, -4*w + 36 = q*y. Solve k - y*k + s = 20, -4*s = -5*k - r for k.
-5
Let j be (30/12)/((-13)/(-26)). Solve 3*w - 10 = -v, -56 = -j*w + 3*v - 30 for w.
4
Let d be 9 - (-26 + 12 + 14). Solve 0 = d*u - 4*u + 3*c - 35, 0 = u + 2*c - 14 for u.
4
Let u = -6399 - -6402. Solve -a + 3 = u*n - 1, 0 = -a - n for a.
-2
Suppose n + 12 = -2*m + 33, 0 = 3*m + 4*n - 49. Solve 5*w - 2*g + m = -4, 0 = w + g - 2 for w.
-1
Suppose -5*u + 125 = -10. Suppose -310 = -26*b + 184. Solve 0 = v - 4*c - b, -4*v - 5*c = -2*v + u for v.
-1
Suppose 5*q = f - 0*q - 92, -2*q = -5*f + 529. Let j = -92 + f. Solve 3*k = -3*m + j, 0 = -2*k + 4*m - m - 5 for k.
2
Suppose 37*s - 31 = 6*s. Suppose 2*v - 15 = -h - 11, -2*h = v + s. Solve 0 = 4*z - 3*z - y - 6, 10 = -5*z - v*y for z.
1
Suppose 5*w = w + 3*d + 89, 2*w + d = 57. Suppose w = -21*k + 131. Solve 6*v = 5*v + 4*y - 14, -k*v - 6 = -4*y for v.
2
Let p(c) = 85 - 764*c**2 + 763*c**2 - 15 + 33*c. Let k be p(35). Solve 3*j + 2 = -5*u - 4, k = 4*j - 12 for u.
-3
Suppose 0 = -9*l + 2*l + 249 - 214. Solve 0 = -5*h + l*f - 20, 2*f = -h + 9 - 13 for h.
-4
Let s = 52 - 52. Suppose h + 2*r - 14 = s, r = 5*h - 3*r. Let k(n) = -n**2 - 11*n. Let z be k(-11). Solve -3*l = -0*l + h*v - 8, 3*l + 3*v - 9 = z for l.
4
Let h be 20/15*3/2. Let k be (h/6 + (-5)/6)*-6. Suppose 2*w = -k*w + 2*a + 58, 0 = -5*w + 5*a + 70. Solve -5*r + w = -p, -3*p + 2*p + 2*r - 4 = 0 for p.
0
Suppose 0 = 7*j - 231 - 49. Suppose -5*a - 50 = -5*w - j, 5*a = -3*w - 10. Solve 3*z + v + 1 = w, 5*z + 0*v - 1 = -v for z.
1
Suppose -7*i = -3*i. Let p be -2*(-625)/(-30)*-3. Suppose 4*l = -l - 5*y + 125, i = -5*l + y + p. Solve 5*k + 2*x - 25 = 0, 3*k - 4*x - l = -2*k for k.
5
Let v(i) = -68*i - 68. Let n be v(-1). Suppose -19 = -4*u + 1. Solve 2 = -2*t - 4*w, n*t = -2*t + u*w + 16 for t.
3
Let l(d) = -20*d - 180. Let x be l(-10). Solve 4*w - 3*i = i + 20, 4*w - i = x for w.
5
Suppose 5*b - 5*m - 145 = 0, -b - 3*m = b - 53. Suppose b*z - 34*z + 12 = 0. Solve z*o - 14 = 2*c - 0, -2*c - 5*o = -7 for c.
-4
Let b be 21/(693/(-22)) - 2/(-3). Suppose b = -12*m + 10*m + 6. Solve -4*p + 11 = d - 4*d, 0 = -4*d + m*p - 17 for d.
-5
Suppose 95*v - 181 - 136 = -127. Solve -3*t = -v*m - 23 + 36, 0 = -t - 4*m - 9 for t.
-5
Let m be 1632/(-272) + (7 - (0 + -1)). Solve -l + 10 = -q, -18*q + 30 = -22*q + m*l for q.
-5
Let a be 26 + (1 + -1)/11. Solve -8*s + 7*s + 2 = p, -5*s = -4*p + a for s.
-2
Let l(d) be the second derivative of d**5/20 - 3*d**4/4 + 3*d**3 - 39*d**2 - 10*d + 2. Let x be l(8). Solve 0 = -w + x*b - 1, -w - 2*b - 9 = 0 for w.
-5
Suppose -24*v - 71*v + 555 = 16*v. Solve -v*a - 2*f - 21 = 0, -2*a = -5*f - 22 + 13 for a.
-3
Let p = -8 + 11. Let y(n) = -72*n + 390. Let m be y(5). Let o be (-17 + 25)*(m/(-8))/(-5). Solve 3*t - 14 - 10 = -3*u, p*t - o = 3*u for u.
3
Suppose -20*j = -33*j - 21*j - 10*j. Solve 3*b + 2*b + 4*o - 2 = 0, j = b + 2*o - 4 for b.
-2
Let b = 122 + -120. Let z be b/2 + -5 - 28/(-1). Solve -4*q + z = -4*k, k = 5*q - k - 15 for q.
1
Suppose 22*u = 28*u + 18. Let y be (-4 - -5 - -2) + (2 - u). Solve 2*w - 10 = -2*s, -2*w + y = -w + 4*s for w.
4
Let a(m) = m**2 + 19*m + 5. Let z be a(-19). Let b = -33 - -39. Let v = b + 9. Solve -4*j - 3*l + 4*l = -5, v = z*l for j.
2
Let h be ((-15)/(-40))/((-8)/32) + (-18)/(-4). Solve h*v - 2*b + 19 = 0, -13*v + 2*b = -15*v + 4 for v.
-3
Let m = 2846 - 2842. Solve -19 = 4*j - 11, r - m*j - 11 = 0 for r.
3
Let