i = b + 1 for i.
2
Let z = 4292 - 4278. Solve 0 = -3*u - z*u for u.
0
Let i(d) = 5*d - 30. Let u be i(8). Solve f - u = -7 for f.
3
Let m be (0 - (0 + 0 + 0))/(-1). Solve -10*l + 45 - 55 = m for l.
-1
Suppose 49*p - 166 = -40 + 70. Solve 12*u = 14*u + p for u.
-2
Suppose 2*g = 4*v + 20, 5*g - 30 = 4*v + v. Suppose -p + 5*a - 12 = 0, -26 = 2*p + 2*p + g*a. Let n = 3 - p. Solve -7*f - n = -2*f for f.
-2
Suppose -26*w + 7834 = 4*w - 2126. Solve -w*b + 328*b + 16 = 0 for b.
4
Let l(q) = -q**2 - 9*q - 6. Let z = -76 - -76. Suppose -2*r + 123 - 139 = z. Let v be l(r). Solve 0*w = -v*w + 6 for w.
3
Let y be (-1938)/(-12) - -1 - -2*4/(-16). Solve -166*r - 12 = -y*r for r.
-3
Let r be (3 + 1)*1*(-15)/10. Let b be -1 - r/(9/3). Let c be (-3)/(0 - b) - -1. Solve 0 = c*i - 1 + 5 for i.
-1
Suppose -14*u - 55 = -35*u + 10*u. Solve 0 = -u*f + 35 - 55 for f.
-4
Let b(f) = f**3 - 8*f**2 + 9*f - 13. Let h be b(7). Suppose 16*r = 12*r - 64. Let u = r - -18. Solve -u*n + h = -1 for n.
1
Suppose -61 = 4*g + 63. Let f = -29 - g. Solve 0*z = -f*z for z.
0
Let d = 2 + -80. Suppose 2*q - 17 = -7, -173 = 2*c + 3*q. Let v = d - c. Solve 0*n - v = -4*n for n.
4
Suppose -2*s + 27 = -5*v, 0 = 2*s + v - 30 - 3. Solve -s*k - 14*k + 90 = 0 for k.
3
Let c = -2017 - -2025. Let t be ((-4)/6)/1*3. Let d be t*2/c*-2. Solve -d = 2*h + 1 for h.
-1
Suppose 0 = 3*f - z - 715, -177*z = -3*f - 173*z + 691. Solve 233*m = f*m + 16 for m.
-2
Let v be ((-12)/(-10))/((-279)/(-90) - 3). Suppose 0 = -v*o + 37 + 23. Solve -3*w - 7 = o for w.
-4
Let s = -41068 - -41098. Solve s*t + 550 = 790 for t.
8
Let g be ((-4)/(-10) - 11/15)*(-88 - -88). Solve 24*z - 66*z - 294 = g for z.
-7
Let y be 19 - (0 - -7) - (-1 - -1). Let t = 12 - y. Solve 4*s + 2 + 2 = t for s.
-1
Let o = -177 + 201. Suppose -15*b = -19*b + o. Solve 0 = -m + b*m - 10 for m.
2
Let h(q) = -q + 40. Let k be h(35). Suppose 87 = k*y - 4*j, 6*y - j = 9*y - 42. Solve -3*v - y = 2*v for v.
-3
Let q be (-6 - -3)/(18/174). Let w(s) = s**3 + 31*s**2 + 58*s + 3. Let k be w(q). Solve 1 = -k*u + 4*u for u.
1
Let h = 61481 + -61480. Let f be 4/(-18) + 58/18. Solve -2*n = -h + f for n.
-1
Let m be (-3)/(-1)*4*5/30. Suppose 2*y - s + 31 = -m*s, y = 4*s - 38. Let w be (y + 0)*(35/(-10) - -3). Solve w*f = 6*f for f.
0
Let t(z) = -19*z - 380. Let i(r) = 37*r + 761. Let v(d) = -6*i(d) - 11*t(d). Let p be v(-32). Solve 6*l + 0*l - p = 0 for l.
5
Let f(z) = -14*z - 79. Suppose 105 = -14*p + 21. Let l be f(p). Solve -2*d + 9 = -l*d for d.
-3
Let a(y) = -y**3 - 22*y**2 - 37*y + 261. Let n be a(-27). Solve 7*h - n = -4933 for h.
-4
Let k be (-227)/(-4) + 507/(-52) + 10. Solve 5*d + k = 24*d for d.
3
Let b(c) = -10*c - 27. Let g be b(-3). Let m be 1 - (g/4)/(102/136). Solve -7*h + 12*h = m for h.
0
Let k be (-60)/8*1376/(-24). Let m = k - 421. Solve -d = m - 11 for d.
2
Let x(u) = -32*u + 2368. Let b be x(74). Solve -11*y - 1421 + 1388 = b for y.
-3
Suppose -15*c = -4494 + 4419. Suppose 1 = -4*f + z - 1, -10 = -f - 5*z. Suppose f = a + k, 0*k = 4*a - 3*k. Solve -20 = c*h - a for h.
-4
Suppose 855 = -89*k + 268*k + 139. Let q be 8/7*(-42)/(-12). Let i = 8 - q. Solve k*h - i = 2*h for h.
2
Let j be (3/6)/(-4*2/(-48)). Suppose 3 - 5 = -4*q + c, c = j*q - 2. Solve q = k + 3 for k.
-3
Let a(f) = f - 27. Let m be a(14). Let s be (-18)/(-12)*(m + 3). Let r be (18/s)/(16/(-40)). Solve -h - 2 = r for h.
-5
Let f = -58 + 61. Suppose -b + 5 = 2*g, f*g - b - 5 = 15. Solve 0 = -g*n - 0 - 20 for n.
-4
Let l be (-5)/(10/(-12)) + (-12 - (-12 - 6)). Solve -l = -22*v + 25*v for v.
-4
Let c = -14537 + 14561. Solve -30*o + c*o = -24 for o.
4
Suppose 28 = -2*g + 5*o - 27, 2*g + 4*o = -10. Let m = 0 - g. Suppose 60 = 20*u - m*u. Solve s - 4*s = -u for s.
4
Suppose 2857 = 4*g + 957. Let f = -469 + g. Solve 8 = -f*u + 2*u for u.
-2
Let a = 8 + -6. Suppose -3*u - 2*p + 4 + 4 = 0, -4*u + 2*p - 8 = 0. Suppose -g - 4 = 2*i - 3, -4*g + 2*i + 6 = u. Solve a = -s - g for s.
-3
Let a(n) = n**3 - 12*n**2 - 33*n + 20. Let s be a(8). Let h = s + 502. Solve 0 = h*t - 7 - 3 for t.
5
Let c = 41 - 37. Suppose 9 = 5*i - k, 6 = 5*i - 0*k - c*k. Suppose -5*f = -2*b - 32, 0*b = f + i*b - 4. Solve -4*r = -r + f for r.
-2
Let r be (2586/10 - ((-288)/(-60))/(-12))/1. Solve -267*b - 8 = -r*b for b.
-1
Suppose -7*a + 5*a = -2*d + 11*a, 0 = 2*d - 3*a. Solve d = -19*x + 75 - 37 for x.
2
Let r = 374 + -354. Let v be 4 - -2*r/4. Solve 0 = -v*f - 112 + 42 for f.
-5
Suppose 4*w = 4*w - 4*w. Suppose w = -28*f + 118 + 442. Solve 18*j = f*j + 6 for j.
-3
Let i(o) = -o**3 + 9*o**2 - 2*o - 5. Let b be i(9). Let r be 42/(-56) - b/4. Suppose g = -r, -4*n - 3*g = -0*g - 1. Solve c = 2*c + n for c.
-4
Suppose -240*p + 158620 = 68*p. Solve p = 63*t + 74 for t.
7
Let d(u) = u**3 + 40*u**2 + 82*u + 1713. Let v be d(-39). Solve -v = 253*z - 271*z for z.
2
Let n(q) = -4*q**2 + 10*q - 17. Let r be n(4). Let j = r - -39. Let h be 18 - 3*j/(-2). Solve -3*i = 2*i + h for i.
-3
Let j(d) = -17*d - 5*d + d**3 - 29 - d - 11*d**2. Let m be j(13). Solve 2 + 18 = m*a for a.
2
Suppose -21*t - 42*t + 22644 + 14463 = 0. Solve -583*m = -t*m - 12 for m.
-2
Suppose -3*f + 2*g = -87, 0 = -2*f + 135*g - 132*g + 53. Solve 11*s - 35 - f = 0 for s.
6
Let a = 890 + -878. Solve -a*t = 4*t + 3*t for t.
0
Let a be 4/24 - 219/18. Let u = a - -32. Solve -10*v = -6*v + u for v.
-5
Suppose -123*m - 1497 + 4080 = 0. Solve s + m = 19 for s.
-2
Let x(k) be the third derivative of -k**6/120 + k**5/15 + 7*k**4/12 - 2*k**3 - 16*k**2 - 1. Let c be x(6). Solve c = -3*y + 8*y - 5 for y.
1
Let d(f) = f**3 - 8*f**2 + 32 - 9*f - 2*f**3 + 21*f. Let w be d(-9). Solve -3 = u - w for u.
2
Let f(m) = -m**3 + 4*m**2 + 2*m - 6. Let x be f(4). Suppose -n - 6*h - 265 = -h, -4*h = -3*n - 700. Let c = -240 - n. Solve c = 2*o + x for o.
-1
Let h be (-4)/(2*-1) + (-6)/(-3). Suppose -2 = h*t + 5*b - 29, 4*t = 3*b + 3. Solve 5*a - t*a = -8 for a.
-4
Suppose -286 + 358 = 9*k - 3*k. Solve 11*d = 14*d - k for d.
4
Let r(q) = 72*q**2 + 130*q + 1. Let w be r(-5). Solve 5*t = 1121 - w for t.
-6
Suppose 0 = -36*k - 938 + 4934. Solve 27 = 14*s + k for s.
-6
Suppose -2*g + 30 = 3*o, 0 = -0*g - 5*g + 5*o + 75. Suppose 15 = 6*p - g. Solve 5*c = -5 - p for c.
-2
Let a = 3358 - 3317. Solve 333 = -a*q + 87 for q.
-6
Suppose 3*p - 5*q - 42 = -9*q, -q = -3. Solve -9*w + 19*w = p for w.
1
Let h = 6520 - 6494. Solve -d - 135 = h*d for d.
-5
Let x be (2 + (-16)/6)/(10/(-165)). Suppose 30 = -5*b + x*b. Solve 4*z = -3 - b for z.
-2
Suppose 8*l + 34146 = 36234. Solve 35*r = 51 - l for r.
-6
Let b = -39 + 38. Let a be -6 + (b + 16 - 4). Solve 30 - 5 = -a*r for r.
-5
Suppose 12*u - 31 = -39*u + 275. Solve -182 = -22*n - u for n.
8
Let o(h) = 18*h**2 - 127*h + 18. Let z be o(8). Solve -153*y = -z*y - 1 for y.
-1
Let y = -569 - -572. Let o be 1950/(-52)*(0 + (-2)/y). Solve 0*u = -5*u - o for u.
-5
Let l(w) = 4*w**2 + 76*w - 6. Let k be l(-19). Let d be k + 10 - (-2 - 0/(-2)). Solve -6*b - 12 - d = 0 for b.
-3
Suppose 7*d + 30 = 37*d. Let u be 26/6 - (-13)/(-39). Solve -d = -f - u for f.
-3
Suppose 0 = 5*j - 938 + 883. Let t be j/2*(32 + -30). Solve -6*d + 10 = -t*d for d.
-2
Let c = -17716 - -17915. Solve -5*g - 244 = -c for g.
-9
Suppose -d + 57 = 2*s - 0*s, 107 = 4*s - 5*d. Suppose -109 = -s*m - 25. Solve -1 - m = 4*z for z.
-1
Suppose 33*i - 533 + 38 = 0. Solve -17*a + i*a = 8 for a.
-4
Let p(n) = -n**3 + 19*n**2 - 34*n + 2. Let j be p(17). Let u be (-2 + 0 + 18)/j. Solve 5 = k + u for k.
-3
Let g = -96 + 101. Let p(s) = -2*s**2 + 9*s + 9. Let t be p(g). Suppose 5*r = t*j - 65, -3*j + 6*j + 3*r = 69. Solve 4*d + j = 9*d for d.
4
Let x(w) = w**2 + 18*w - 10. Let s be x(-22). Let q be ((-133)/(-21) + -7)/((-4)/s). Solve 0 = 2*r + 3 - q for r.
5
Let l(y) be the second derivative of -4*y**3/3 + 32*y**2 - 13*y + 1. Let f be l(7). Solve 0*u - f = -4*u for u.
2
Let v(l) = -l**3 - 5*l**2 + 50*l + 1. Let c be v(-10). Solve c + 53 = 18*p for p.
3
Suppose 2*w - 3*w - 1 = -o, 0 = -2*w - 4*o + 10. Let h be 22 + (-9 + 6)*1. Suppose -5*v = 2*y - 0*v - h, -4*y + v + 5 = 0. Solve w + y = -r for r.
-3
Let f(m) = -m**2 + 14*m + 11. Let g be f(18). Let j = -14 - 45. Let o = j - g. Solve -o*n = -n - 3 for n.
3
Suppose -3*m - 4*a = 912, -5*m = -16*a + 18*a + 1520. Let l = m - -323. Solve 13*x = l*x - 6 for x.
1
Let w(v