*f + 0*f = a + 17 for a.
3
Let d(l) = 352*l - 1353. Let r(b) = 13*b - 50. Let a(u) = -2*d(u) + 55*r(u). Let g be a(4). Solve -3*s + t - 7 = g, 0*s - 5*t = 4*s + 41 for s.
-4
Let d(v) = -6*v + 72. Let u be d(12). Solve 5*i + 3 = z - 11, u = 2*i + z + 7 for i.
-3
Suppose -2*m + 104 = 5*r, -10*m + 6*m = 2*r - 32. Solve 3*u - 5*g + r = -u, 0 = u + 2*g - 1 for u.
-3
Let g(r) = 3*r - 6. Let b = 47 - 44. Let n be g(b). Suppose a - n*w = -3, -a - a + 2*w = -2. Solve -3*z - a*d = 9, 6*z - d + 7 = 2*z for z.
-2
Let w(n) = -3*n**3 - 133*n**2 + 94*n + 181. Let f be w(-45). Solve 2*t - 16 = 2*y - 2, 0 = y + 3*t - f for y.
-5
Suppose -56 + 36 = -5*b + j, 5*j = -4*b - 13. Solve -14 = -b*h + 35*c - 30*c, -4*c = 4*h + 24 for h.
-2
Let h(u) = 31*u**2 + 17*u + 16. Let x be h(-1). Suppose y - m = 32 - x, 4*m = -5*y + 10. Solve 2*p + 5 = 5*n + 1, 3*n + 4 = -y*p for n.
0
Let f(p) = 15*p**2 + 168*p + 180. Let z be f(-10). Suppose 4*t - 2 = -5*r + 19, 3*r + 2*t = 13. Solve r*m = c + 3, 5*c - c - 3*m - 5 = z for c.
2
Suppose 0 = 252*y - 308*y + 280. Solve -7*b - y*w - 5 = -2*b, 0 = -3*b - 4*w - 4 for b.
0
Suppose 3*s = 5*g + 9, -3*g - 12*s + 9*s = -9. Solve -5*q + 25 = g, 270*q = -c + 271*q - 6 for c.
-1
Let i = -3976 + 3988. Solve -3 = -j, i*n - 8*n - 5*j + 31 = 0 for n.
-4
Suppose -4*b + 2*b = -10, 3*b - 35 = -5*d. Let f = 1 + 1. Suppose f*n - 1 = n. Solve -3*y + n = -o + 8, -4*y - 20 = d*o for o.
-2
Let g be ((-7)/(-21)*0)/(-2*1). Suppose g = 2*v - 0*v - 6. Let x be ((-15)/v - -1) + (11 - -3). Solve i = -0*i - 2*p + 1, 0 = 2*i - 2*p + x for i.
-3
Let t(f) = -4*f + 15. Let u(z) = z - 2. Let l(i) = -3*t(i) - 6*u(i). Let c be l(8). Suppose -2*d = 3*d - 165. Solve 2*m = 5*n - c, -8 = 3*m + 2*n - d for m.
5
Let d be (-8)/14 + ((-120)/14)/(-1). Suppose d*t - 55 = -3*t. Solve -5*g + 1 = -2*b, 0*g - 5*g + t*b - 5 = 0 for g.
1
Suppose -41 = -2*v - 45. Let y be ((-2)/(-2))/(-1 - 3/v). Suppose 3*b + y*r = 5, 0*b = 3*b - 5*r - 19. Solve -3*f = 2*d + 1, b*f - 9 = d + 5 for f.
3
Let m = -10 - -19. Suppose 0*k + 3*k = -2*r + 6, r - m = -3*k. Suppose 7 = -k*f + 5*x + 43, 0 = 3*f - x - 27. Solve 3*z - 2*z + f = 3*j, 7 = -2*j + 5*z for j.
4
Let c(q) = -q**3 - 3*q**2 + 8*q - 7. Let w be c(-5). Suppose 4*l + 8 = 4*t, w*l + 0 - 2 = -t. Solve o + 3 = t*y - 3, -5*o = y + 8 for o.
-2
Let p be (2 - 2)/((-2)/2). Let z be 22 + (0 - 6/3). Suppose 770572 - 770572 = 41*v. Solve z = 4*b, p = -5*u - v*b - 3*b + 10 for u.
-1
Suppose -11*l + 4 = -10*l. Let a = 57 - l. Let n = a - 48. Solve -x - n*w + 0 + 5 = 0, -3*x + 5*w - 5 = 0 for x.
0
Suppose -25 - 45 = -10*z. Suppose -8*l = -z*l - 5. Suppose -p + 10 = 4*u, -4*p = p - 5*u. Solve -l*s = 5*c - 25, c + 9 = 3*s + p*c for s.
2
Suppose 14627 = 160*o - 50173. Solve -o*m - 15 = -408*m, s + 2*m = 9 for s.
-1
Let f(w) = -3*w**3 + 215*w**2 + 80*w - 571. Let o be f(72). Solve -o*r + 8*y - 5*y = -27, 5*r = -5*y - 5 for r.
3
Suppose 4*f - 227 = -5*d, 97 = -4*d + 5*f + 295. Suppose 55*u = d*u + 32. Solve 3*a + 7*q - 19 = 5*q, u*a - 22 = -q for a.
5
Let h(s) = 5*s**2 - 28*s - 40. Let a be h(8). Solve -7 = 5*z + 2*r, a = -2*r + 54 for z.
-1
Let h = 1900 + -1865. Solve 0 = -36*m + h*m + 2, 3*o - 1 = m for o.
1
Suppose -2*z - m = -1495 + 401, -1685 = -3*z + 4*m. Solve z = 2*r + 543, 0 = 4*i + r + 16 for i.
-5
Let r = 42 - 239. Let g = r - -201. Suppose 0*s + 4*s - 16 = 0, -4*n + 36 = 4*s. Solve -w + g*d + 24 = 0, -8 - 17 = n*d for w.
4
Suppose 1974*j = 1962*j + 24. Solve 0 = o - 4*y + 8, -j*o + 14 = -2*y + 4*y for o.
4
Suppose -10*c + 212 = -8*c - 3*u, 5*c - 552 = 2*u. Let b = -108 + c. Suppose 4*k + 4*r + 1 = 13, -r + 1 = 0. Solve o = a + k, -b*o + 5 = -a - 3 for a.
0
Suppose -75*g + 35*g = -24*g - 64. Let a be (-90)/(-4)*(-16)/(-24). Let y be 57/a + 3/15. Solve g*x = -8, -4*w + y*x = x - 18 for w.
3
Let o(t) = 2*t**3 + 259*t**2 - 132*t - 211. Let x be o(-130). Solve -x*r - 18 = 2*p - 47*r, -p = -2*r - 3 for p.
-5
Let h be 1416/16*(-2)/3. Let j = 51 + h. Let i be (3/2)/((-4)/j) - -4. Solve -2*x = -3*u - i*x - 4, -3*u + 3*x = 12 for u.
-3
Let h(t) = -2*t**2 - 8*t + 5. Let y be h(0). Suppose -3*c + 15 = -y*u, -25 = 5*u - 6*u - 5*c. Solve -3*k - 9 = u, 0*g - 2*g - k - 3 = 0 for g.
0
Let k = 4233 + -4231. Solve -12 = -t - 2*x, -k*t = 2*t - 3*x - 4 for t.
4
Suppose 3*c = -6, 0 = 2*s - c - 19 + 7. Suppose 32*k = -14*k + 230. Solve 5*m = 4*p + 13, 10*p + k*m - 40 = s*p for p.
3
Let i(n) = -n + 2. Let s(q) = 4*q + 26. Let u(o) = i(o) + s(o). Let a be u(-3). Solve 3*p + a = -m + 6, -p = 3*m - 1 for p.
-5
Suppose 0 = 2*z - x - 27, -2*z + 1056 = -4*x + 1008. Solve -y = -5*t - 26, 4*t + 0*t + y = -z for t.
-4
Let w be (15/12)/(-5) + (-3)/(-12). Suppose -4*g = -o - 19, -3*o - 13 = -g - w*o. Suppose -11*a = -g*a. Solve 4*h - 6*p + p + 25 = a, -2*p = -4*h - 10 for h.
0
Let a(s) = -19*s + 0 + 37*s + 24 - 23*s - s**2. Let d be a(3). Solve 0 = v + 2, -v + d - 17 = -3*h for h.
5
Suppose -8*h - 9 = -9*h. Let b(p) = 9*p**2 - 150*p + 97. Let q be b(16). Solve -3*u + 6 = -k, 4*k + h - q = -4*u for k.
-3
Let j = -47 - -83. Let z(l) = l**2 - j*l + 24*l + l**2 - 12. Let u be z(7). Solve 0 = -u*m - c + 5, -4*c = 5*m - m for m.
5
Suppose -5*a - 18 = -2*d - a, -15 = -3*a. Solve -3*c = 5*v + d, -4*v + 8 - 28 = 4*c for v.
-2
Let v = 3412 - 3407. Solve 3*j = -4*f - 0 - 12, -5*f - 15 = -v*j for f.
-3
Suppose -71*x + 89 = -266. Suppose 0 = 3*f + f - 92. Solve x*d + i - 3*i - f = 0, -3*i = -3*d + 21 for d.
3
Let p = -43 - -48. Let k be 1/1*(1 - (1 - p)). Solve -k*u - 3*r + 15 = 0, -3*u - r + 15 = 2*r for u.
0
Suppose -49 + 33 = -8*q. Let t be 1*q - (45 - 54). Solve -a = 8 - 4, t = -3*w + a for w.
-5
Let d be ((-231)/66)/(6/((-144)/28)). Solve g + 10 = -2*v, 2*v = 7*v - d*g + 14 for v.
-4
Let j = -23 - -65. Let x = 47 - j. Let b = 71 + -57. Solve -d - b = x*r - 2*d, d + 1 = 0 for r.
-3
Let h(l) = 401*l + 2. Let u be h(0). Solve -c = -u*f - 2, -f + 5*f = -c - 16 for f.
-3
Suppose 2*r + 2*m + 16 = 4*r, -m = 4*r - 12. Let f(j) = -5*j**2 + 471*j - 555. Let g be f(93). Solve 5*s + r*v = 9, -g*v - 5 = -3*s - 5*v for s.
1
Let b = 122 - 122. Solve b = 3*l - 3, -5*n + 8*l - 30 = 3*l for n.
-5
Let z(l) = -9*l + 5. Let k be z(0). Suppose 3*a - k*a = -4*o + 4, 6 = 3*o - 3*a. Let c(g) = g + 11. Let p be c(-7). Solve 2*s + 4 = o, p*s + 6 = -v - 7 for v.
-5
Suppose 117*p = 418 + 2390. Solve -4*y - p = 3*q, 4*y + 9*q - 20 = 17*q for y.
-3
Let c be (-785)/(-25) + ((-22)/5 - -4). Let w be (-248)/c*2/(-4). Solve 0 = w*l - 5*u + 7, 4*l - 2*l + 1 = 5*u for l.
-3
Suppose -2*p - p = 2*j - 32, 4*j + 2*p = 48. Let q be ((-6)/2 - (-12 + j))*0. Solve g - 1 = q, 7 = -2*x - 4*g + g for x.
-5
Let h = -4897 + 4905. Solve 6*r + 5 = 11*r, -2*u = 4*r - h for u.
2
Suppose -5*f = 3*s + 28, 8*s = 12*s - f + 45. Let l be (9 - 3)*(s/(-6))/1. Solve 2*n - l = -n + 4*u, -2*n - 5*u = -15 for n.
5
Let k(h) = -h**2 - 34*h - 145. Let u be k(-29). Suppose u = 6*i - 29 - 7. Solve 2*d + 5*s = -i, -2*d + 10 = -2*s + 2 for d.
2
Suppose -57*z = 39*z - 32*z - 128. Solve 12 = 5*d - 10*d + 2*k, 7 = -z*d + 3*k for d.
-2
Let c = -1909 - -1914. Solve -c = 8*h - 3*h + 3*z, 5*z = -2*h - 21 for h.
2
Let n = -1478 + 1506. Let r be (-4 + 4)/(n/14). Let w = 8 + -5. Solve 5*f + 9 = -4*u, w*u + 8 = -5*f - r*u for f.
-1
Suppose -c + 18 - 16 = 0, q - 17 = 2*c. Solve p + 2*j + 14 = -0*p, 4*p + j = -q for p.
-4
Suppose -5*g + 4*m + 20 = 0, 2*m + m = 2*g - 8. Suppose -g*s - 21 = -t, -3*t + 28 = 2*s - 7*s. Solve -5*z - 10 = 4*q, 1 = -z - 4*q - t for z.
-2
Let l(u) = 4*u**3 - 87*u**2 - 21*u - 10. Let t be l(22). Solve 4*c = 4*i + t, c + 0 = -i + 3 for c.
3
Let v = -423 + 416. Let u be (0 - 0)/(2*(-6 - v)). Solve -2*q + w = -u + 3, 3*q = -2*w - 8 for q.
-2
Suppose 5*l + 11*l + 80 = 0, q - 4*l - 26 = 0. Solve 2*d + b = 2 - 0, 0 = -3*b + q for d.
0
Let z be 63/4 - 4/48*-3. Let m = 19 - z. Suppose m*i = h - 7 + 26, -5*h + 5 = 5*i. Solve -q + 10 = -6*q + 3*v, i*q - v = -10 for q.
-2
Let c(h) = 16*h**3 + h**2 - 2*h + 1. Let m be c(1). Suppose -58 = -m*d + 182. Solve -3*b - 3*l = d, 0 = -10*b + 5*b - l - 5 for b.
0
Suppose -213 - 23 = -2*c. Suppose c*u = 113*u + 20. Solve -5*y = 4*j - 3, -2*y = -u - 2 for j.
-3
Let m(d) = -d**3 - 54*d**2 - 31*d + 1168. Let i be m(-53). Solve 15 = -c + 4*r, -4*c + i*r = 6*r for c.
-3
Let g = -376 + 380. Suppose 43 = g*j + 5*y, -4*j - 3*y 