1
Let p = 280 + -276. Solve -2 - 5 = 3*c + p*z, c + 13 = 4*z for c.
-5
Let l(c) = c**3 - 3*c**2 + 5*c - 3. Let q = -151 + 153. Let z be l(q). Solve 5*x + u = z*u, 0 = -2*x - 4*u for x.
0
Let s = -742 + 766. Solve -3*b + s = -5*j + 3, j + 4*b - 5 = 0 for j.
-3
Suppose -3*z = 5*o + 20, -7 = z + o - 3. Suppose 3*f - v + 1 = z, 3*v = -7 + 19. Solve -1 = c + 4*x + f, 0 = c + 2*x for c.
2
Let o be 42/12 + (39/(-6) - -6). Solve -i = -5*v - 21, -9 = 2*i + i + o*v for i.
1
Suppose 3*j - 3 = 9. Let x(g) = 30*g**3 - 2*g**2 - 5*g + 7. Let t be x(1). Suppose 46*n - 56*n = -t. Solve -2*a + 3*d + 16 = -3*a, 4*a - n*d + j = 0 for a.
-4
Let n(m) = -2*m**2 - m + 2. Let d(i) = -2*i**2 - 47*i + 133. Let k(x) = -d(x) + 2*n(x). Let g be k(19). Solve 3*a = g*b - 11, 0 = 3*a - 2*b - b + 9 for a.
-1
Let i(y) = y**3 - 4*y**2 + 12*y - 46. Let b(j) = 30*j + 94. Let z be b(-3). Let l be i(z). Solve 3*c = 5*o - 11, -l*c - 2*c + 32 = 5*o for c.
3
Let j be 2/5 + 230/50. Let f be ((-8)/(-6))/((-12)/(-54)). Solve j*g = 2*o - f*o - 31, 2*o + 11 = -g for g.
-3
Let c(z) = z**2 - 56*z + 667. Let m be c(39). Solve -o + 5*l = 2*l - 4, m*o = -2*l - 26 for o.
-5
Suppose 57*v + 80 = 97*v. Solve k = 4*d + 17, 13 = -5*k - v*d + 10 for k.
1
Let s(b) = 8*b**3 + 57*b**2 + 8*b + 10. Let j be s(-7). Solve -2*r = -0*m - 5*m + 4, -2*m + 13 = j*r for r.
3
Let j = -345 + 390. Let l be (-1)/((-3)/(-49))*-3. Let w = l - j. Solve 3*q - 17 = v + 6*q, 0 = -w*v + 2*q + 2 for v.
-2
Let q be 26 + (-3 - (-441)/(-21)). Suppose -5*p = 8*n - 4*n, -5*n = -p. Solve -k = -4*s + 3*s - 1, p = 2*s + q*k - 2 for s.
0
Let w = -216 + 216. Suppose w = -12*g - 2*g + 42. Solve 5*z = z + g*s - 8, -3*z + 5 = -5*s for z.
-5
Suppose -3*g + 2 - 8 = 0. Let t = -24 + 28. Let j = t + g. Solve 2*r + j = -5*q, -4*r = 3*q - 1 - 9 for q.
-2
Let s be (-2 + -4 + 5)/((-2)/6). Let f(x) = x**3 - 3*x**2 + x - 1. Let q be f(4). Suppose -23*y + 16 = -q*y. Solve 0 = -2*m + m - s, y*w - m = 7 for w.
1
Let l be (3/1)/(8/20*(-145)/(-522)). Solve 4*t = -3*u - l, -3*u - 15 = 5*t + 15 for t.
-3
Let t be ((-6)/(-4))/(168/560). Solve -l = 4*f - 3, 4*f + 4*l = t*f - 5 for f.
1
Let j = -220 - -280. Let g be (2/2)/(7 - j/9). Solve 4*k = 5*l + 27, 0 = -3*k + l - g*l + 3 for k.
3
Let j be 6/4*(42 + -6). Let m be -3 - (-21)/6 - (-945)/j. Let g be 22/6 - (-2)/6. Solve g*r + 2*w - m = 0, 3*w - 1 = -4 for r.
5
Suppose 0 = -5*w + 3*k + 12 + 9, -4*k + 36 = 4*w. Let b be w/(-12)*(-33 + (-9)/3). Solve 3*i + b = 3*a, 4*a - 7 = 5 for i.
-3
Let g = -19227 + 19232. Solve -97*a - 5*u = -100*a + 8, g*a - 4 = -u for a.
1
Let b be (-19 - -13)*(1 + 3/(-2)). Let l be 31 - (b - 1)/2. Suppose 0 = 7*i - l + 9. Solve -6 = -u + i*r, 0*u = 5*u + 4*r + 27 for u.
-3
Suppose 201*o + 221 - 1243 = -310*o. Solve 3*x - 3*j + 1 = 10, -o*x + 2 = -4*j for x.
5
Let u = 29 - -2. Let s be 156/312*0/2. Solve 11 = 3*a - j - s*j, 3*a + 4*j = u for a.
5
Let l = -43 - -69. Let y = 94 + -96. Let p be (y/(-4))/((-4)/(-56)). Solve -b - l = 4*h + b, 0 = -2*h + b - p for h.
-5
Suppose -901 = -5*f - 3036. Let y = f - -429. Solve -5*w - 10 = -y*b, -20 = w - 0*w - 4*b for w.
0
Suppose -2*w + 11 = g, 3*g = -0*g - 4*w + 27. Let s(i) = 205 - 117 + i**2 - 9*i - 106. Let b be s(11). Solve 0*n - 3*a = 3*n, b*n = -g*a for n.
0
Let f = 6319 - 6283. Solve h = 3*g + 17, -f*g + 34*g = -h + 13 for h.
5
Let f = 7646 - 7594. Solve -5*l = -5*t - 35, f*t = 51*t - 2 for l.
5
Let d = -2153 - -2160. Solve 9 = 2*v - i, -13*i - d = -v - 10*i for v.
4
Let r be (6 - -1 - 7) + (3 - 3). Solve -3*k + 13 = -5*n, r = 4*n - 8*n + k - 16 for n.
-5
Let b(r) = r**3 - 2*r**2 - r + 38. Let w be b(4). Solve 5*v = -3*f - 2, -2*v + 70*f - w*f = 6 for v.
-1
Let y(j) = 854*j - 5961. Let k be y(7). Solve a - 1 = 0, -k = 5*x - 0*x + 3*a for x.
-4
Let p be (-6)/(-8) + 9/(-24)*-6. Suppose u = 3*m - 6, -9 = -5*m + p*u - u. Let r = 6 + -3. Solve v + 2*k = -m - 6, r = -k for v.
-3
Let f be 6/(-9)*45/(-6). Let q be (-6)/(-2)*(-8)/(-6). Let u be (2*-1)/(6/(-9)). Solve -f*p - q*l = -l - 12, 8 = u*p + l for p.
3
Let k(s) = s**2 - 17*s - 11. Let v be k(18). Let p(w) = w - 1. Let n be p(v). Suppose 3*c - 24 - n = 0. Solve -c = -4*f + 10, f - 17 = 4*q for q.
-3
Let r(z) = 5*z**2 - 406*z + 489. Let q be r(80). Solve -4 = -2*o, 4*o = -3*v + q*o - 19 for v.
-3
Suppose 119 = 335*r + 27 - 578. Solve z = 2*u - r*z - 1, -5*z + 5 = 0 for u.
2
Suppose 0 = -3*m + 2*m - y + 3, -7 = m - 4*y. Solve -5*s = -3*l - 16 + m, -l + 5*s - 5 = 0 for l.
-5
Let q = -7 + 7. Suppose 3*x + l - 23 = q, -2*l - 6 + 22 = x. Suppose 4*s + 19 + 5 = 4*y, 2*y = -s + x. Solve 3*a + 11 = -y*z, -a + 3 + 15 = -3*z for a.
3
Suppose -35*i + 774 = 8*i. Solve 3*v - p + 1 = -13, 9*p - i = 0 for v.
-4
Suppose 8*n = 7336 - 1768. Let d = n + -693. Solve 0 = -f - 2*f + d*o - 3, -2*o + 4 = 0 for f.
1
Suppose -76*u - 880 + 1032 = 0. Solve u*x - 3*p - 18 + 9 = 0, x + 3*p + 18 = 0 for x.
-3
Let c(p) = p**2 + 18*p + 71. Let k be c(-19). Suppose -k = -19*x + 4*x. Solve -4*n - x*g + 5*g = -12, -3*g = 0 for n.
3
Let f be 1/(-2) + 2532/(-24). Let x = f + 108. Suppose -5*l + x = -2*w, 2*l + 10 = 5*l + w. Solve -s - 5*n - 27 + l = 0, 0 = 3*s - 4*n - 20 for s.
0
Let p(n) = -n**2 - 9*n - 17. Let b be p(-5). Solve 4 = -2*s + 4*m, -b*s + m = 2*m + 13 for s.
-4
Let a(l) = -l**2 - 13*l - 34. Suppose 0 = -2*n + 4*n + d + 15, -4*n + 4*d = 48. Let i be a(n). Solve 2 = j - i, -3*p = 4*j - 16 for p.
0
Let w = -2878 - -2883. Solve -3*b + 32 = -4*n, 6 + 7 = -w*n - 3*b for n.
-5
Suppose -4*v = 3*b + 10, -9*b = v - 4*v - 30. Solve 5*c - 8 = 4*f - 0, b = -c - f for c.
0
Let a = 61 + -108. Let x = -39 - a. Let h = x + -5. Solve 5*n + 5 = -5*l, -5*l + h = -2 for n.
-2
Let x(t) = t + 45. Let u(b) = 2*b + 134. Let c(n) = -2*u(n) + 7*x(n). Let w be c(-15). Solve -4*g - 4*v + 24 = 0, -w*v - 4 = -3*g + 2*v for g.
4
Let a(n) = 174*n**3 + 3*n**2 - 173*n**3 + 3*n**2 + 7*n. Let d = -28 - -24. Let t be a(d). Solve -5*c + 12 = -2*x - 13, -3*c + 29 = -t*x for x.
-5
Let g be (-95352)/(-3828) + 24/22. Solve -120*d + 121*d - 5*w - g = 0, 0 = 3*d + 3*w + 12 for d.
1
Suppose 1716 = 17*a + 22*a. Suppose -21*v = 2 - a. Solve 3*n - 3*f - 18 + 0 = 0, -4*n - v*f = -12 for n.
4
Let b be (-42)/28 - 155/(-10) - -9. Solve 5*m = 5*c + 30, -5*c = b*m - 26*m + 24 for c.
-3
Suppose 64*z + 36*z + 176 - 776 = 0. Solve p + 2*i - 11 + z = 0, 3*p = -4*i + 9 for p.
-1
Let k = -439 - -437. Let h be (29 - 1) + -5 - (k + 7). Solve 0 = -4*j + s + h, j = 3*s + 3 + 7 for j.
4
Suppose -138*u = -37*u. Solve -4*p - 3*h = 21, p + 5*h + 18 = -u*h for p.
-3
Let b(i) = 149*i + 1341. Let f be b(-9). Solve 4*o - 2*v - 12 = f, -55*o + 51*o + 3*v = -10 for o.
4
Let a(l) = -l**2 + 36*l - 273. Let y be a(25). Solve 2*d - 27 = -5*j, 2*d + 18 = 2*j + y*j for d.
1
Let f(d) = -2*d**2 + 2*d + 2. Let z be f(2). Let m be z/1 - -7*(-50)/(-35). Solve -m = -2*c, -2*w + 3*c - 12 = -0*c for w.
0
Let o(a) = -a**2 + 58*a + 460. Let t be o(-7). Suppose -2*h + 3*q = q + 2, 3*h + q - 17 = 0. Solve 5*i + l = 3, -t*i + 5*l = h*l - 7 for i.
1
Let o(c) = 368*c + 759. Let t be o(-2). Solve z = 3*r + 12, 5*z + 5 - t = r for z.
3
Let w be (-24)/(-32) - 1/((-8)/(-6)). Suppose 8*d + 27 - 75 = w. Solve -g + 5*c + 24 = g, g - c = d for g.
2
Suppose 88 = 18*a + 16*a - 14. Let o = -21 - -21. Solve 0*m = -2*m + a*w + 19, o = 2*w + 10 for m.
2
Let x = 25674 + -25330. Solve -3*u = 4*g - 17, -14 = -3*g - 345*u + x*u for g.
5
Let w be ((-270)/(-105))/((-6)/(-63)). Suppose 4*b = 8, -b + w = 5*d - 0*b. Let z(a) = -a - 4. Let g be z(-8). Solve -17 = 3*o - 3*k - 2, g*o - d*k = -22 for o.
-3
Let c(v) = -v**2 - 2*v + 9. Let j be c(-4). Suppose -x = 3*b + j - 6, 3*b = 4*x + 25. Let h = -9 + 14. Solve 3*y - 14 = -h*d, -5*d = 2*y + b*y - 20 for d.
1
Let q(u) = -u**3 - 4*u**2 - 6*u - 2. Let c be q(-4). Solve -2*v - 4*b = c, -2*v - 15*b + 3 = -16*b for v.
-1
Suppose -3*i + 769 + 27 = -2*a, -4*a - 1592 = -3*i. Let y = -394 - a. Solve 2*l - 4*l = -2, -l = y*j + 15 for j.
-4
Let o = -266 - -269. Suppose 16 = 2*v + 4*q, -17*q = o*v - 20*q - 24. Solve 3*p - v = j + 3, -4*j - 10 = 5*p for j.
-5
Let h = 364 - 361. Solve 4*c = h*b - 7, -5*c + 26 = -4*b + 36 for b.
5
Suppose 0 = -26*v + 9*v + 65 - 14. Solve 4*f - v*s - 12 = 6*f, 2*s + 7 = -f for f.
-3
Let r be (0 - 7)/(-42) + (-34)/(-12). Let v be 1 + r + (-2)/2. Suppose h - 5 = -l,