1
Suppose -4*y - 5 = -n, 7*n - 8 = 3*n + 4*y. Let l be (3 - n/((-2)/(-8))) + 6. Solve 5*p - 5*b + 10 = 0, p + 3*p + 10 = l*b for p.
0
Suppose -4*r = -5*r. Let q(z) be the second derivative of z**5/20 - z**4/12 + 2*z**2 - 11*z. Let o be q(r). Solve 0 = x - 2*h, -5*h = -3*h - o for x.
4
Suppose 4*r = -7*l + 86, 88*r - 2*l = 87*r - 1. Let k be ((-6)/(-5))/(2/30). Suppose -4*h + k = -10. Solve 4*b - 2*v + 22 = 0, -2*b + h*b = -3*v - r for b.
-4
Let b = -91 - 23. Let i = b - -86. Let n be ((-10)/(-4) + -1)/((-6)/i). Solve 2*h = 3*s + n, 4*h + 0*h = -2*s + 6 for h.
2
Let p be 1 + (1 - 0/1). Suppose 167*q - 153 = 116*q. Suppose -p*j + 9 = m, m = 2*m - q. Solve 4*f - j*b = 24, 0 = 4*f - b - 3*b - 28 for f.
3
Suppose 4*n = 4 + 4. Suppose 5*q - 89 = -84. Let l be (-8)/(24/(-9)) + q. Solve -4*j = -n*m - 18 + l, 0 = 3*j - m - 11 for j.
4
Suppose -5*x - 7*f + 138 = 0, -5*x = -2*f + 39 - 186. Solve 4*c - x = 4*u - 25, -28 = 4*u + 4*c for u.
-4
Let v(z) = -4*z**2 + 6*z - 23. Let p(m) = -m**2 + m - 1. Let t(a) = -5*p(a) + v(a). Let x be t(4). Solve 6 = 2*u - x*y, -6 = u + 4*y + 6 for u.
0
Suppose -5*x = 19*d - 24*d + 80, -3*x - 3 = 0. Solve q = -y + 1, 14*q - d*q - 8 = -2*y for q.
-2
Let j(v) = -17*v - 1. Let u be j(-1). Let s(l) = -l - 16. Let q be s(-18). Suppose -q*n + 3*n - 4*o = 4, o + 1 = -n. Solve n*t = t - 3*c, -c - u = 5*t for t.
-3
Let q be ((-152)/133 - (-250)/35) + -1 + -1. Let g = 12 - 2. Solve -g = -2*r + 2*v, q*r + 1 - 15 = v for r.
3
Let p be (1/(6/45) - 3)*10. Suppose -h + 5*k = p, 4*h + 0*k - k = -218. Let v = 62 + h. Solve 4*u - 3*a + v = 6*u, 2*u - a = 11 for u.
5
Let z(v) = -11*v**2 - 5148 + 5176 - 2*v**3 + 3*v**3 - 14*v. Let c be z(12). Solve c*b + 2*u = 14, -3*b + b - 5*u = -27 for b.
1
Let j(t) = -t**3 + 3*t**2 + 2*t - 4. Let h be j(-2). Suppose 0 = -h*d - 13*d + 25. Solve 0 = -5*y - 4*u + 6, -y + u - 4*u - d = 0 for y.
2
Suppose 0 = 2*h - 10, -h = -2*p + 191. Let l = p - 97. Solve 0 = 4*r - 5*d - l - 2, -r + 5*d + 12 = 0 for r.
-3
Suppose -80 = -y + 8. Suppose -338 = -5*x - y. Let p = 52 - x. Solve -2*i - 10 = 4*o, 3*i = p*o - 3*o + 10 for o.
-5
Let y be 1 + (6/(-27) - 190/(-45)). Suppose r + y*x - 8 = 0, 2*r - 5*x - 8 = r. Suppose r = 5*f - 47. Solve 4*p + 14 = 5*c - f, 0 = -c + p + 6 for c.
1
Let v be 493/116 - (-2)/(16/6). Suppose -3*l = -4*c - 35, -5*l - 3*c - 30 = -8*l. Solve -v*m + 2 = 2*a - 8, l*m - 20 = -4*a for m.
0
Suppose -5*g + 3*i + 142 + 41 = 0, 0 = -2*g + 4*i + 90. Solve 35 = -2*s - 5*t, -36*s - 2*t - 25 = -g*s for s.
-5
Suppose -c = -6*c + 20. Let j(b) = 293*b - 273. Let r be j(1). Solve -4*n = -0*n + c*i + r, n + 14 = -4*i for n.
-2
Let l be ((-2)/5)/(296/7030)*-2. Solve -12*s = r - 8*s - l, 0 = -2*s + 8 for r.
3
Suppose 0 = 14*s - 45*s + 155. Solve -2*q = -0*q - 3*n + 9, -4*q = s*n - 37 for q.
3
Suppose -3*y - 2*j = -16, 2 = -2*y + 2*j + 6. Let p be (6 - 4 - -20) + -2. Suppose c + p = 5*c. Solve -3*w - 4*m = 17, -y*w + 4*m - c = -29 for w.
1
Let q be -4 + (17 - (-11 - -7)). Let x(t) = t**3 - 14*t**2 - 49*t - 23. Let l be x(q). Solve -w + l = 2*w - 5*r, -5*w - 4*r = -6 for w.
2
Let h be (2 - 0) + 15/5. Suppose -7 = 4*v + h*f, 2*v + 1 = -2*f - 3. Let y(u) = -9*u + 4. Let n be y(v). Solve -3*r = -5*p + 34, 2*r - 2*p - 3*p + n = 0 for r.
-3
Let n = -12302 - -12306. Solve 0 = 3*t - 5*y, -n*t + 21 = -3*y + 32 for t.
-5
Suppose -28*z = -33*z - 15. Let g be 15/36*z*-4. Let r(j) = 6*j**2 - 2*j + 1. Let w be r(1). Solve 0*v + g*v - w*f + 15 = 0, 5*v + 4*f - 3 = 0 for v.
-1
Let s(q) = -q**3 - 3*q**2 + 5*q + 16. Let m be s(-2). Let g be (-13 + 12)*(-6)/m. Solve -2*k = -6, 2*y + 8*k - g*k - 15 = 0 for y.
0
Let s(h) = 5*h**2 - 76*h + 35. Let w be s(15). Solve 4*g - g = -5*f + 2, w = -4*g - f for g.
-6
Let d(y) = 112*y**2 - 3*y - 4. Let k be d(-1). Suppose -18*j - 39 = -k. Solve j*q + w = 12, -q = 6*w - w - 22 for q.
2
Let t(p) = -p**3 - 2*p**2 - p + 3. Let a be t(-2). Suppose 5*m - 45 - a = 0. Solve -4*x + 2*x - 2*g = m, 15 = -x - 3*g for x.
0
Suppose 3*c = -5*t - 16, 5*c - 21*t = -24*t. Solve -c*i - 22 = 5*m, 5*i = -5*m + 8*m - 14 for i.
-4
Let o(q) = 2*q + 16. Let p = 98 - 104. Let n be o(p). Let f(x) = -x + 14. Let b be f(10). Solve n*m + 3 = 5*s - 2, 5*m - b = -4*s for m.
0
Suppose i = -f - 553, -2*f + 6 = f. Let u = 558 + i. Solve 4*m + 0*m = -2*h + 10, u*m - 2*h = -3 for m.
1
Let w(v) = -2*v**3 - 86*v**2 + 94*v + 266. Let m be w(-44). Solve -t = 4*a - 12, m*t + 0 - 6 = -2*a for a.
3
Suppose -3*m = -291 + 87. Suppose 4*d - q = m, -3*q - 5 = 7. Solve 4*o = -k + 1, d - 4 = 3*k + 3*o for k.
5
Let v be (98/42)/(2/6). Solve 35 = -3*l - 4*k, k + 3 + v = -l for l.
-5
Let k(f) = 2*f**3 + 60*f**2 - 61*f + 31. Suppose -4*m = -2*w + 114, 4*m + 5*w = 2*w - 139. Let v be k(m). Solve a - c = -5*c + 5, 4*c = v for a.
5
Let r = 5149 + -5144. Solve -1 = a - y, -3*a = r*y - 14 - 15 for a.
3
Let w = -29 + 32. Suppose 5*g = 5*h, 2*h - 5*g - w = -4*g. Suppose -h*t = 4*t. Solve -3*l + 14 = -q, 2*q + t*l + 3 = l for q.
1
Suppose 443*o - 215 = 400*o. Solve g + 13 = o*n + 28, -5*n + 4*g = 0 for n.
-4
Let t be ((-3)/(-2) - -1)/((-27)/(-162)). Suppose -5*w + 2*w + t = 0. Let f = 5 + -3. Solve -3*b - 7 = -4*l + 10, f*l = -w*b + 15 for b.
1
Let r = -94 - -115. Solve -3 = n + u - 4, -n - 5*u = -r for n.
-4
Let p = -69 - -100. Suppose 17 = 2*t + 4*o - 7, 3*t + 5*o - p = 0. Solve t*b = -2*q + 3*b - 11, -2*q - 5*b = 5 for q.
-5
Let n = -343 - -315. Let p(x) = x**3 + 25*x**2 - 85*x - 22. Let k be p(n). Solve -3*u - 5*a = u + k, -u = 2*a for u.
-4
Let r = 8 + -6. Let c = -163 - -183. Let v be 60/r + (c/5 - 4). Solve -5*u + v = -4*t, -4*u - 7 = t + 2*t for u.
2
Let c be 6*(-1)/4*2. Let n = 15 + c. Let o be (-4 + 1)/((-3)/(9/3)). Solve -4*l + 5*a = -13, l - 2*l + o*a + n = 0 for l.
-3
Let r = -381 + 542. Let q = -159 + r. Solve 4*j - 3*o - 28 = q*o, 3*j = 5*o + 26 for j.
2
Let f be (27/(-12))/((-3)/12). Suppose 8*m = f + 79. Solve 3*t + o = -0 + m, -4*t = 4*o - 20 for t.
3
Let v = -3094 + 3110. Solve v = 3*w + 4*z, 3*z - 11 - 1 = 0 for w.
0
Let w = 245 - 247. Let a be 2/(-4)*(1 + 3). Let q be (2/w - a) + 3. Solve u + 0*u - d - q = 0, u - 16 = 5*d for u.
1
Let i = 551 - 546. Solve -i*y - b = 20, 5 = -3*y + 2*b - 7 for y.
-4
Suppose 0 = -5*s + 5*v + 15, 0 = -3*s + 24*v - 27*v + 33. Solve -g = -i + 4*g + 9, -3*i = -5*g - s for i.
-1
Let f be (-1 - 17) + 10 + 11. Let p = 8 - 8. Let k be 0/(-2) + 0/(-1). Solve f*q = d, p = -k*d + d - 2*q - 1 for d.
3
Suppose a + 12 = 3*v, -2*v - 8*a + 8 = -6*a. Solve 0 = -v*i - i + 3*t + 16, 2*i - 5*t = 14 for i.
2
Let s(h) = -2*h**2 + 171*h - 2895. Let i be s(62). Solve 0 = f + 2*y + 10, 42*f + i = 41*f - 5*y for f.
-4
Suppose 4*l + 220 = 240. Solve -25 = -s - l*h, 8 = 4*s - 2*h - 4 for s.
5
Let d = 17 - 15. Let o(x) = -2*x**2 + 8*x - 5. Let m be o(d). Solve 5*s - 5*k + 20 = 0, -5*s + 4*k - 12 = m for s.
1
Let j be 16/((-256)/(-84)) + 1/(-4). Let h(b) = 9*b - 42. Let o be h(j). Solve o*c - c + 3*f - 9 = 0, -5*c + 15 = 5*f for c.
0
Let q = 12271 - 12267. Solve -2*b + 4*k = -q, -19 = 11*b + 2*k + 31 for b.
-4
Let r(n) = 44*n + 410. Let z be r(-9). Solve -9*s - 5*m = -z*s + 15, 4 = -m for s.
-1
Suppose -2*y + 251 = -3. Let r = y + -127. Solve r = -4*m + 3*q - 3 - 0, -1 = 2*m - q for m.
0
Suppose 5*b = 5*o + 40, 18 = 15*b - 12*b - o. Let w = 7 - -3. Suppose 5 + w = b*x. Solve 0 = -i + 3*m - 9, -x*i + 5*m = -4*i + 15 for i.
0
Let o(p) = -p + 25. Let f(w) = w**3 - 3*w**2 + w - 35. Let u be f(5). Let q be o(u). Solve 0*r - 4*a = -q*r, 3*r = 5*a for r.
0
Suppose 0*t + 2 = t. Suppose k + 3*g = 6*k - 12, -3*k = t*g + 8. Let h(r) = 29*r - 114. Let q be h(4). Solve k = 4*a + 4*o + 16, q*a - 3*o + 0 + 3 = 0 for a.
-3
Suppose 0 = 3*w - 9 - 0. Suppose 0 = w*l - 4*b - 75, -2*l - 5*b = l - 102. Solve 0 = 4*c - 3*q + l, -c + 2*q + 4 - 15 = 0 for c.
-5
Let f(g) = 119*g - 1978. Let j be f(17). Solve 4*y - 5*a - 6 = 0, -2*y - j*a = -44*a - 10 for y.
4
Let m(t) = t**2 + 10*t - 10. Let v be m(-12). Suppose -6*s + v = -112. Solve 17 = -3*k + 2*z - 7*z, -4*z - s = -5*k for k.
1
Suppose -46*i + 54 = -38. Solve -4*h = 65*s - 70*s - 18, -i*s - 4*h = -4 for s.
-2
Let g be (-40)/(-3) + 48/(-144) - 8. Solve 0*l + 2*l = -g*u - 12, 5*l = 2*u + 28 for l.
4
Let p(d) = 6*d + 45. Let l be p(-5). Let h be -1*(-9 - (8 - l)). Solve a + m = h, a + m + 13 = 3*m for a.
