14 = 2*t. Let d be -3*(-1)/3 - -1. Solve 3*y + 4*j - 12 = j, d*y = t*j - 7 for y.
1
Let h be 30/4*(-1)/(12/56). Let l = h - -30. Let a = 14 + l. Solve 0*i + 3*i - a = 3*u, -4*i = u - 22 for u.
2
Suppose 0 = j - 3*h - 12, -2 + 20 = 3*j - 3*h. Suppose 11 = 2*b + 3*z - 12, 5*b = -j*z + 35. Solve 0 = -b*p + 2*k + 2, 0 = -3*p + 2*k + 2*k + 14 for p.
-2
Suppose x = 51*m - 49*m - 8, 2*m = -2*x - 4. Suppose -2*k - 10 = -2*s, m = 2*s - k - 3. Solve 5*w - 6 = 2*v, v + 0*w + w + 3 = s for v.
-3
Let b(c) = -43*c - 50. Let o be b(-2). Solve o*m - 32*m = -x - 1, 5*m = -x for m.
1
Let r = -1246 + 1254. Let g = -22 + 36. Suppose g*u + r = 18*u. Solve -u*y - 4 = -m, y + 6 = -2*y - 2*m for y.
-2
Suppose 0 = 117*i - 96*i - 90 - 15. Solve -i*z - 8*u = -7*u - 6, 4 = 4*u for z.
1
Suppose -27 = -11*c + 6. Let w be (c - 1002/(-12)) + 1/(-2). Let u = 89 - w. Solve 3*m - g = 16, -m + 0*m = u*g - 2 for m.
5
Let i(n) = -188*n + 1340. Let s be i(7). Solve 2*u + 3*r + 23 = s, 4*u + 3*r = 11 for u.
5
Let v be 11 + ((-7)/(-14))/((-4)/72). Solve 17 = 2*t + 9*d, -20 = -t + v*d - 31 for t.
-5
Let l(g) = g**3 + 32*g**2 - 46*g - 424. Let q be l(-33). Let a(h) = -h**3 + 9*h**2 - 6*h - 6. Let i be a(8). Solve -3*o + 10 = q*j, -o - 4*o - i = -5*j for j.
2
Let k = -114 - -115. Let z be 9 - (k + -7)*(-10)/15. Solve 5*c = 4*g - 2*g + 2, 5*g - 3*c = -z for g.
-1
Suppose -189*n = -193*n + 140. Solve 4*r = 4*o - 32, n*r + 4 = 4*o + 38*r for o.
4
Let k be (-27480)/(-210) - 1/(-7). Let p = 134 - k. Solve 0 = 4*v - 5*w - 25 + 9, -w = -p*v + 1 for v.
-1
Suppose -4*j + 2*r = 465 - 467, 2*r = 10*j - 26. Solve -y - 4 = -3*k, -14 = -0*k - 3*k - j*y for k.
2
Let j be -6*((-40)/300 - 46/30). Suppose -2*q - 3*q = -5*g - 155, -5*q - 2*g + 134 = 0. Let h = q - j. Solve -4*d + h = -2*t, -4*t - 16 = -d - 2*d for d.
4
Let t be (4/3)/(14/(-21)) + -3. Let j be -5*((-27)/t)/(-9). Solve j*m + 10 = 4*x, -m - 5*x - 1 + 4 = 0 for m.
-2
Let m(t) = -t**2 + 2*t + 101. Let v be m(11). Let q(k) = k**3 - k**2 + 1. Let r be q(v). Solve -8 = -2*p, x + 23 = -2*x + r*p for x.
-1
Let h(d) = 539*d - 3755. Let n be h(7). Solve p + 27 = 5*s, -19*p + 23 = 5*s - n*p for s.
5
Suppose -4*f = -12*f + 2728. Suppose f = -7*p - 79. Let b be (6/15)/((-8)/p). Solve -2*l + l - n = 0, b*n = l + 16 for l.
-4
Suppose -9*x + 19 = -21 - 5. Suppose 4*f - 15 = a, 5*a + 3*f - 52 = -12. Solve 36 = 5*w - 4*i, -x = a*i + 15 for w.
4
Let k(l) = -l**3 - 3*l**2 + 4*l + 16. Let x be ((-16)/12)/((-32)/(-48)). Let u be k(x). Solve -4*r - 3*d - 3 = 2, -u*r - 2*d - 10 = 0 for r.
-5
Suppose -3*t = 5*a - 354, 10*t - 6*t = 5*a - 333. Solve -2*b = -5*m - 17, 0 = a*b - 66*b + m for b.
1
Let s(i) = i**3 + 6*i**2 + 13*i + 25. Let a be s(-4). Suppose -3*z - 5*y + 16 = -3*y, a*z = -5*y + 30. Solve -3*l + z*t - 3*t = -10, -2*l = 3*t - 25 for l.
5
Suppose 0 = 102*c - 149*c + 235. Solve c*g = 3*m + 14, m + 5*g + 0 = 22 for m.
2
Let q be 4 - ((8 + -80)/(-9) - 3) - -1. Solve -3*s - 9 = h, 27*h - 23*h + 2*s + 6 = q for h.
0
Suppose -6*k + 170 = 11*k. Suppose 5 - k = -5*m. Solve x - m = -h, -3*x + 3*h = 14 + 13 for x.
-4
Let n(t) = -t**2 + 12*t - 23. Let u be n(8). Suppose 13*r - u*r - 16 = 0. Solve r*s - 26 = 3*o, 4*o - 4 = -12 for s.
5
Let z(u) = -6*u - 4. Let a be z(-2). Suppose -38 + a = -10*r. Let w = 0 - 0. Solve -3 = -r*g + 3*b, -g - 4*b + w = -21 for g.
5
Let m = -6554 + 6557. Solve -15 = 3*l - p, 2*l = -0*p - m*p + 1 for l.
-4
Let f be (2/3)/((-2)/(-111)). Suppose -x + 22 = k, 5*x + 37 = -14*k + 16*k. Let n = f - k. Solve -2*r + 26 = -5*o, -2*o - 2*o = n for r.
3
Suppose a + 3*u = 8*u + 19, -5*u - 3 = 3*a. Suppose -a*r - 7*j + 2*j + 121 = 0, 4*j - 140 = -5*r. Solve -2*p + 2*x = 1 + 1, -p = 4*x - r for p.
4
Let q(o) = -o**2 + 18*o + 15. Let b be q(18). Let k = -6 + 11. Suppose k*i = 10*i - b. Solve i*u = 2*u + 3*z - 12, -4*u + 4 = z for u.
0
Suppose -4 = -2*k - 2*a, 17 = 9*k - 5*k - 5*a. Let f be ((-16)/((-512)/24))/(k/8). Solve -5*u - t + 11 = t, 2*u - f = -2*t for u.
3
Let p = 15 - 12. Let g = -4064 - -4083. Solve 3*c = 4*w - g, 2*c = -w - p*c - 24 for w.
1
Let h = 6095 - 6086. Solve 5*o - h*o = u - 13, 3*u + 3*o = 21 for u.
5
Suppose -121*c + 169*c = -217*c + 530. Solve 5*f - c*v + 10 = 0, 18*v + 2 = -f + 22*v for f.
-2
Let b = 30 + -23. Suppose -23 = -3*z + b. Suppose z = -2*i + 14. Solve 2*x - 4*q = -7*q + 4, -2*x + i*q = -4 for x.
2
Let j = 19 - 9. Let a = -416 + 441. Suppose -6*y = -7*y - 3, 5*y = 5*h - a. Solve -3*s + 4*r = -r + 2, j = -h*s - r for s.
-4
Suppose -25 = -x + 4*v, -5*x = 474*v - 469*v. Solve 4 = -2*l + t, 14*l - x*t = 10*l - 8 for l.
-2
Let d(x) = x**2 - 3*x + 3. Suppose 3*z = 4*a, 7 = -5*a + 5*z + 2. Let i be d(a). Solve 2*f - g - 4 = -10, 3*g = -i*f - 18 for f.
-4
Let i be (9/648*-12)/(2/(-24)). Solve -4*r = -4*m + 33 + 3, 4*m - i*r - 28 = 0 for m.
5
Suppose -4*u + 2208 = 165*u + 107*u. Solve -24 + 22 = -v - 3*w, -4*v = -2*w - u for v.
2
Suppose -1188 + 228 = 12*z. Let g = z - -87. Solve 3*v - 3 = -5*l, 2*l + 3*v + g - 1 = 0 for l.
3
Suppose 7*r - 2*r + 405 = 0. Let l be (-2)/5 + r/(-15). Let u = -24 + 26. Solve 0 = -u*g - 5*q + 11, -8 = -g - 0*g - l*q for g.
3
Let l(n) = 475*n. Let m be l(-1). Let j = -445 - m. Solve q + 3*a = 6*q - 2, 0 = -5*q - 5*a - j for q.
-2
Let v be (1 + 0)/((-14)/28) + -3. Let m be 108/20 - (-2)/v. Suppose m*k + 14 = 114. Solve 0 = 3*a + 5*c + 17, 4*a + 3*c + k = -c for a.
-4
Let a(g) = -g**3 + 6*g**2 + 8*g - 3. Let t be a(7). Let d = 11 + -8. Suppose d*i = i + 8. Solve -5*x - n = 7, t = -i*n - 4 for x.
-1
Let l(n) = 7*n**3 - n - 2. Let a be l(-1). Let x(p) = -2*p - 14. Let i be x(a). Solve -i*z + 6 = 3*u - u, 4*u + 2*z - 14 = 0 for u.
4
Suppose -70*a - 5 + 11 = 6. Solve 12 - 10 = 4*v + 5*z, a = -3*v - 5*z + 4 for v.
-2
Let i be (17 + -37)/(5/(-12)). Suppose -4*x - 13*q = -12*q - i, -5*q = 2*x - 6. Solve -u = 3*k + 9, 3*u + x + 4 = -4*k for u.
-3
Let o be (0 + 27/(-6))/((-31)/62). Solve 3*n + 2 = -2*g, -3*n + 26 = -o*g + 4*g for g.
-4
Let z = 933 + -376. Suppose 7 = 10*m + z. Let y = m + 57. Solve -h - y = 3*x - 5*x, x - 5*h - 10 = 0 for x.
0
Let i = -442 + 725. Let d = i + -278. Solve d = 2*j + 5*p, 0 = -j - 2*p + 1 - 0 for j.
-5
Suppose -5*v - 19 + 10 = -4*c, 3*c + v = 21. Solve -10 = -2*h, 0 = c*f - 11*f + h for f.
1
Suppose -4*j - 4*s = 4, -5*j - 2*s + 7*s = -5. Let k = 53 + 31. Suppose 3*a = -a + k. Solve -4*c + 5*z = 21, c + 0*c + 4*z - a = j for c.
1
Let j = 482 - 12. Let n = -465 + j. Solve -n*z = 4*d + 6, z + 2*z - 2*d - 14 = 0 for z.
2
Let p(l) = -2*l - 5. Let j be p(-6). Let k be (-166)/16*-1 + -2 + (-21426)/57136. Solve -2*d = 5*t - k - 9, -3*d - t - j = 0 for d.
-4
Suppose 2*b - 2452 = -3*q - 2*b, 4*b = 4. Let i = q + -806. Solve -4*j = -5*u - 41, -u = -3*u - 5*j + i for u.
-5
Suppose -4*b - 19*s - 132 = 0, -2*b - 10*s + 7*s = 14. Solve -z = -0*z + b*y, 5*y = 5*z for z.
0
Let m(j) = -2*j**2 + 279*j + 1150. Let z be m(-4). Suppose 0 = -6*r + 2*r + 16, -r - 84 = -4*w. Solve 2*p = -b - 6, 2*p - b = z*b - w for p.
-5
Let m(b) = b**3 + 6*b**2 + b + 58. Let f be m(-7). Solve 4*k + 2 = f*a, 4*a = 29*k - 27*k - 14 for a.
-5
Let r be ((-35)/21)/((-30)/36). Solve -4*p = -f + 15, -13 = 4*f - p + r for f.
-5
Let b(x) = -x**3 + 11*x**2 + 11*x + 28. Let p be 70/(-10)*24/(-14). Let s be b(p). Solve k - a = -0*a, k + s = -3*a for k.
-4
Let s(j) = -14*j - 78. Let z be s(-6). Suppose 29 = z*n + 5. Solve 0 = -3*p - 4*l + 15 + 5, n*p = l - 5 for p.
0
Let o(c) = 129*c + 2713. Let t be o(-21). Solve t*y = 3*n - 22 - 10, -y + 3 = 2*n for y.
-5
Let u = -595 + 601. Let s be (24/u)/(-4) + (-1 - -5). Solve 0 = -5*l - s*k, -l - k + 2 = -0*l for l.
-3
Let t(u) = -11 + 3*u + u**2 + 6 + 0*u**2 + 10*u. Let i be t(-14). Solve -v = -2*g - 7, -5*g - i - 9 = -3*v for g.
-3
Suppose -47*n - 37*n + 100*n = 48. Solve -n*p + 4*w - 7 = 5, -p = -5*w + 4 for p.
-4
Let v = -3952 + 3955. Solve -2 = c - f, 4*f = -4*c - 27 + v for c.
-4
Let t = 7449 + -7445. Solve -s - 15 + 11 = -4*v, 0 = 4*v + t*s + 16 for v.
0
Suppose 0 = -v + i - 0*i + 79, -5*v + 401 = -2*i. Suppose -2*o + 49 = 3*d, 4*d - 2*d - v = -3*o. Let g = 31 - o. Solve 4*r = -b - 16, -r - g*b = -0 - 3 for r.
-5
Suppose -37*u + 60 = -22*u. Suppose 0 = -11*d + 13*d - u. Solve 0*n - 11 = 2*l + 5*n, 5 = -d*l + n for l.
-3
Let k(m) = 2*m**2 - 64*m - 365. Let a be k(37). Solve 0 = f + a*c