 Let o be g(5). Suppose -o*j + 68 - 257 = 0. Let x be (-16)/3*j/7. Solve -5*p - 3*y = 30, -2*p + y = 3*y + x for p.
-3
Let t = 3678 - 3652. Solve -t*r - 2*l + 4 = -28*r, 3*r + 2 = -l for r.
-1
Let y be -1 - (2 + 1 - 0). Let j be y/6 + 129/(-9). Let m = 15 + j. Solve -t - 3*x + 1 = m, 3*x + 4 = 4*t - 0*x for t.
1
Let n(p) = p**2 + 20*p + 67. Let g be n(-16). Suppose -6*c + 3*c + 54 = 3*m, g*m = c + 34. Solve x + 5*j + m = 40, -2*x + 24 = 4*j for x.
2
Let a = -1190 - -1228. Solve -4*g = -35*p + a*p - 4, -4*g = -5*p - 4 for p.
0
Let h = -6906 + 6908. Solve h = 3*x + o, 7*o - 6*o = 3*x + 2 for x.
0
Suppose 0 = -3*b - 9, -4*b - 18 = 2*i - 8. Solve 4*d - 3*j + i - 10 = 0, -3*d - 5*j = 15 for d.
0
Suppose 8*n = 167 - 23. Suppose -12*z + 14*z = -n. Let s be 6/(3/1)*z/(-6). Solve 3*y + s*i + 3 = 0, -5*y + 5 = -4*i - 8 for y.
1
Let b be 147/490*(3 - 7/(-1)). Solve p + 11 = -4*w, p - w + 3*w + b = 0 for p.
5
Suppose 0 = 5*m - 2*s - 5, -m - 10 = -s - 8. Suppose 4*a - 2*z - 25 = -5, -m*z = 4*a - 10. Solve a*v + 5 = -3*t, 8*t - 15 = -2*v + 3*t for v.
-5
Suppose 13*p = -66*p - 147*p + 452. Solve 0 = 4*w + p*w + u + 19, -25 = -5*u for w.
-4
Suppose 8*j - 88 + 11 = -4*x - 49, 3*x + 9 = 0. Let c be 24 - (-1 - (3 - 2)). Suppose 5*m - c = -1. Solve j*p + 0 = -v - 7, 0 = -5*v + m*p - 5 for v.
-2
Let a be (1/(-8)*4)/((-1)/8). Suppose -4 - a = -4*w. Solve -f + w*h = -12, 2*f - 19 = 5*h + 10 for f.
2
Let h = 16484 + -16484. Solve h = 5*a - 4*c - 33, -24*c = -a - 29*c - 5 for a.
5
Let q = -488 + 488. Solve q = -2*s + 6, 4*o - 5*s + 4 = -27 for o.
-4
Suppose 5*f - 440 = 44*z - 46*z, 2*f + 4*z - 160 = 0. Suppose -f*y - 45 = -99*y. Solve 2*i - y*i = -5*u + 1, -3*u + i = -3 for u.
2
Let r(g) = 78*g**3 - g + 1. Let s be r(1). Let m = -58 + s. Suppose -k + 6*k - 11 = 4*x, 3*k = 5*x + 4. Solve 5*q + 20 = 0, k*n = n + 3*q + m for n.
4
Let o(l) = -34*l**3 + 2*l**2 - 6*l + 4. Let f be o(1). Let a be 62/(-527) + (-106)/f. Solve -i + 6*z - z = -20, 3*i - a*z = 12 for i.
0
Let v = -140 - -82. Let f = -54 - v. Let m be (1 - 1)/((-8)/f). Solve -19 = 3*u - 2*s - 3, u + 4*s - 18 = m for u.
-2
Suppose 5*v - 5*d - 25 = 0, d - 11 = -5*v + 20. Let w be (-349)/(-9) + 6/27. Suppose -9*t + v = -w. Solve 3*j - t*j = -3*i - 7, j - 3*i - 11 = 0 for j.
-4
Suppose -315 = -89*a + 91*a - 47*a. Solve 20 = -4*w - 3*l - a, -2*w = 2*l + 16 for w.
-3
Let a be 443 + (2*(-1 - 0) - -6). Suppose -65 = -16*k + a. Solve -4*z + 5 = 3*u, 4*z = 5*u - k + 77 for u.
-5
Let d(r) = 6*r + 310. Let i be d(-51). Solve -5 = 5*g, -17*x + 16*x - 2 = i*g for x.
2
Let w be 204/(-21) - 20/70. Let p be 4 + (3 + -3)*(-2)/w. Solve -4*f = -p*c + 20, 0*c + 5 = f + 4*c for f.
-3
Let h = -2285 + 2285. Solve -4*v - 5*y + 16 = -h*y, 0 = 2*y for v.
4
Suppose 0 = 11*u - 14*u + 5*j + 68, -4*u = -5*j - 84. Solve 4*s + u = -v, -5*s + 0*v - 37 = -3*v for s.
-5
Let o(k) = -32*k + 198. Let g = -804 + 810. Let p be o(g). Solve 6 = 2*h, 2*f + 2*f + 2*h + p = 0 for f.
-3
Let j be 2*((-38)/(-152) + (-73)/(-4)). Suppose 0 = -44*w + j*w + 49. Solve 0 = 3*s - w*s - 2*q, 5*s - 26 = 4*q for s.
2
Let h = 6595 + -6592. Solve 4*v = 8*v - 4*a - 4, -2*a - 17 = h*v for v.
-3
Suppose 0 = -85*n + 34*n + 102. Solve n*j + 2 - 4 = -4*k, -3*k - 6 = 3*j for k.
3
Let w = 1673 - 1669. Solve 2*h - 5*b = -w, 3*b - 9 = -79*h + 78*h for h.
3
Let p = 732 + -727. Solve p*c = -2*l + 27, 2*c = 85*l - 88*l + 13 for c.
5
Let b = -5805 + 5807. Solve -13*h + 9*h = -3*d + 8, 3*d - b*h = 4 for d.
0
Let z = -318 - -319. Let n be 2/(-5)*(z - -9)/(-2). Solve -2*m - n*h - 6 = -0*m, -6 = 4*m - 2*h for m.
-2
Let a be 240/132 + (-6)/(-33). Suppose 0 = -a*p + 8 - 4. Suppose 0 = 3*h - 4*q - 15, -17 = -2*h + 2*q - 7. Solve h*g + 15 = d, 0*g + 1 = p*g + d for g.
-2
Let y = 408 + -390. Suppose 0 = -10*l + 22 + y. Solve -l*s = -h, -4*s = -8*s + 4*h for s.
0
Suppose 0 = -76*j + 19*j + 82 + 602. Solve j*p - h = 9*p + 8, -2*h + 8 = 0 for p.
4
Let s = 8035 + -8033. Solve 5*k - 11 = 3*f, 50*f = 2*k + 52*f + s for k.
1
Let o(x) = -x - 2. Let s be o(1). Let z(g) = g**3 + 6*g**2 + 4*g - 3. Let m be z(s). Solve m = n - 3*n - 4*q, 4*n - 2*q = -14 for n.
-4
Suppose 3*z + 4*i = 7*z - 16, 12 = 3*z + 2*i. Suppose s - 2 = z. Let j be (-124 + 123)/((-2)/4 + 0). Solve -3*d - j*f = s + 10, -5*d + 5*f + 15 = 0 for d.
-2
Suppose -17*r + 332 = 66*r. Solve 13*j - 12*j = -3*i + 1, r*i - 5*j = -5 for i.
0
Let p be (-3 - 3)/3*(6 - (-75)/(-10)). Solve -4*h = 4*z + 32, -8*h = -p*h - 5*z + 10 for h.
-5
Suppose 305*z - 307*z + 4 = 0. Suppose 6*v - v = z*o - 10, 5*v = 4*o - 20. Solve 2*j - 1 = -5*r - 8, o*j + 5 = 0 for r.
-1
Let s = 1635 + -1631. Solve -2*x = -2, -s*x = 3*a - 0*x - 7 for a.
1
Let n be 2 - (-2 + 1) - 1. Let m be 4/(-34) - 396/(-187). Let i = -6 + 14. Solve -2*d + n = 2*t + t, m*t = -3*d + i for d.
4
Let a be -12 + (34 - 10) + -7. Solve -2*g = a*f - 10, -39*f - 5*g + 25 = -42*f for f.
0
Suppose 0 = -p + 4*z - 1, 5*p - 4*p = 2*z + 1. Suppose -w - 12 = -p*b, -2*w = 14*b - 11*b - 21. Solve 3*f = -3*i + 2*f - 8, -2*i - f = b for i.
-3
Let z = 236 + -185. Suppose 15*i = z - 6. Solve i*p - o = -14, -2*o + 0*o + 13 = -p for p.
-3
Let n(z) = -z**3 + 8*z**2 + 23*z + 110. Let a be n(11). Solve a = -2*i - 2*t - 16, i + 5*t - 97 = -117 for i.
-5
Suppose 20*r = 6*r + r. Suppose r = -662*c + 655*c + 21. Suppose -b = -4*p - 4*b + 60, -4*p + 3*b + 60 = 0. Solve c*g = p, 0 = 3*y + 4*g - 0*g - 35 for y.
5
Let l be (-1221)/(-444) - (-3)/(-4). Let w be 3/((12/16)/1). Solve l*z - 3 = -z + w*g, -4*g + 7 = -z for z.
5
Suppose 67 = -66*f + 94 + 303. Solve f*a + 12 = -4*r + 19, -2*a = r - 1 for r.
3
Suppose -4 = -2*a, 2*o + 141*a - 20 = 137*a. Solve -u = 8 - o, -5*k = u - 23 for k.
5
Suppose 5*i - 4*p - 18 = 0, p = -2*i - 4*p - 6. Suppose -2*d + 5*d + 5*r = -20, -i*r - 8 = -5*d. Solve d = -j + 3*j - 3*w + 10, -5*j - w - 25 = 0 for j.
-5
Let b(q) = 114*q + 5363. Let t be b(-47). Solve -4*g - 148 + 123 = 5*m, 4*g + 15 = t*m for m.
-1
Let c be 2/(-2) + 5/1. Let z be -8 + (-15 + 12 - (48 + -1)). Let k be z/(-18) + c/(-18). Solve -4*r = -3*y + 8, -k*r - 6 = -y - 0 for y.
0
Suppose 0 = 17*b - 208 - 24 + 11. Suppose 0 = -4*l + 5*r + 63, 5*l + 8*r = 3*r + 45. Let v = -8 + l. Solve 0 = 5*d - 2*i + b, v*d - 2*d - i + 6 = 0 for d.
-1
Suppose -20 = -5*f, -a - 1 = f - 7. Let r be (-1434)/30 + (-8)/(-10). Let h = r + 50. Solve 2*j + a*u = 0, -h*j + 4*u - 11 = 24 for j.
-5
Suppose 8*v - 3*n - 25 = 4*v, -4*n = 3*v. Suppose -13*d + v*d + 180 = 0. Solve 5*h + 5*o = h, -5*o - d = 0 for h.
5
Suppose 9*r = -1391 - 436. Let z = 203 + r. Suppose 3*v + 0*v = 0. Solve 2*j = -k - v*j + 3, -4*j + 12 = z for k.
-3
Suppose -b = 4*b - 55. Let v = 444 - 436. Suppose 0 = z - 4*z + 3*f + 9, 5*f = -z + 3. Solve -z*x + v = 4*m, -x - b = 3*m - 3*x for m.
-1
Let p(w) = -174*w - 17564. Let c be p(-101). Let h(a) = -a**3 + 6*a**2 - 3*a - 6. Let k be h(5). Solve g - c + 0 = 4*b, -b - k*g + 6 = 0 for b.
-2
Let x = -13223 + 13227. Solve -2*z + 6 = -x*i, -7 = 2*z - 5*i - 16 for z.
-3
Let u = 28 + 107. Let m = u + -115. Solve -17 = -o - 4*w, -w = -5*w + m for o.
-3
Suppose -1264 = -242*j - 15 - 281. Let i be (-4)/1*(-4)/8. Solve -5*y - 18 = -3*y - 5*d, -j*y = i*d - 12 for y.
1
Let i be (-560)/(-385) - 6/(-11). Solve -n + i*g - 54 + 50 = 0, 0 = 2*n + 2*g + 8 for n.
-4
Let d = 322 - 312. Let a(z) = z**3 - 8*z**2 - 17*z - 28. Let b be a(d). Solve -c + 8 = 3*h, c + 5*h + b = 16 for c.
-1
Suppose 351*g = 356*g + 1185. Let u = g + 240. Solve 2*v + 8 = 5*f, -u*v = 5*f - v + 8 for f.
0
Let u be 1 + (0 - (-3 - 0)). Suppose 6226*o + 476 = 6464*o. Solve -10 = o*x - u*h, -3*h + 8*h + 25 = -5*x for x.
-5
Let d be ((-1)/((-1)/303))/(0 + -1). Let k = d - -306. Solve 15 = 3*n, k*y - y = -n - 5 for y.
-5
Suppose -6*n - m + 34 = 0, 3*n - 6*m = -3*m + 3. Solve 0 = -2*j + 2*s - 3 - 9, -n*j = -4*s + 29 for j.
-5
Let m(l) = 2*l**2 + 31*l - 47. Let q be m(-17). Let a(r) = -r - 3. Let n be a(-3). Suppose -2*y + n = -q. Solve -y*d + j = 0, 0*j - 16 = 4*d + 2*j for d.
-2
Suppose 2*r = 4*y - 7*y + 45, -5*y = 5. Suppose -r*u - 7 = -25*u. Suppose -22 + 1 = -u*f. Solve -z = -4*j - 19, f*j = 4*z + 6*j for z.
3
Let p = 27 - 9. Suppose -15*m + 18*m = 12. Let u(y) = 8*y - 182. Let q be u(23). Solve m*z - 7 = -v, -5*v - 1 = q*z + p for v.
-5
Suppose -49*z + 38*z = -55. Solve 3*r - f + 1 = 4*r, -3*r + z*