 v*k for k.
1
Let i = -86 + 126. Let l be 16/i*(-1 - (-7 + 1)). Suppose 14 = 4*d - l. Solve b + d = 3*b for b.
2
Let l be 57/38*(-4046)/(-21). Solve 30 = 299*p - l*p for p.
3
Let d(x) = -2*x - 20. Let v be d(-9). Let p(l) = -l**2 - 4*l - 2. Let u be p(v). Let b be (0 - -13) + u + -3. Solve -3*j - b = j for j.
-3
Suppose 82 = 20*l - 18. Suppose l*r = -4*w + 35, 2*w - 6*r = -r - 5. Solve 1 + 4 = w*z for z.
1
Let y = 8248 - 8018. Solve 228*c + 2 = y*c for c.
1
Let y = -382 + 403. Let z(l) = -7*l + 153. Let c be z(y). Solve 2*j + c = 12 for j.
3
Let y = 12245 - 12196. Solve 95*v - y*v = 184 for v.
4
Let q(d) = -d**3 - 26*d**2 + 9*d - 2. Let f be q(-27). Solve 7*k + f = 449 for k.
-5
Let h = -4532 + 4542. Suppose -14 - 2 = -4*g. Solve -g + h = -2*z for z.
-3
Suppose 53*i + 3*i = 6048. Solve 90 = 9*z + i for z.
-2
Let x(g) = -g. Let w(k) = -k**2 + 9*k + 10. Let h(i) = -w(i) - 6*x(i). Let m be h(5). Let j = -59 - -61. Solve m*f + 4 = -j*f for f.
-2
Suppose 11*y - 362 = -54. Let j = 42 + y. Solve -62 + j = 4*s for s.
2
Let r = 117 - 108. Let v be 228/54 - 2/r. Solve v*y = y for y.
0
Let w = 489 + -223. Suppose 10*r - w = 214. Suppose 27 = -7*s + r. Solve -s*x - 24 = -9 for x.
-5
Suppose 8 = -4*u + 5*u. Suppose -5*f + 8 + 2 = 0. Suppose 0*w - 5*w = 4*q - 46, -u = -f*q. Solve d = -d + w for d.
3
Suppose -f - r + 77 = -22, -f - 5*r + 115 = 0. Solve -251 = 52*v - f for v.
-3
Suppose 21*d = 60563 + 16675. Solve -3660 = 6*i - d for i.
3
Let y be 17/((-34)/12) - -334. Let p = -322 + y. Solve 5 = -l + p for l.
1
Let m(s) = -s**2 + 17*s - 7*s - 13*s - 9 - 2*s**2 - s**3. Let y be m(-3). Solve -g = -y*g + 4 for g.
-4
Suppose -4*b + 401 = 5*a, -182*b + 810 = -173*b + a. Solve 75*h - b*h = 98 for h.
-7
Suppose 0 = 4*b - 2*d + 1 + 11, 3*d - 18 = -b. Let f be 2*2 - (-2 - -3). Solve b = -f*c + c for c.
0
Suppose 3*a - 20 = -a. Suppose 3971*g = 3998*g. Solve -o = -g*o + a for o.
-5
Let w(x) = x**2 - 16*x + 41. Let k be w(13). Suppose 0 = 2*o + f - 10, 0 = -o - 2*f - k*f + 19. Solve o*v - 9 = 6*v for v.
-3
Let o(x) = x**2 + 11*x + 35. Let y be o(-8). Suppose -11*u + 10*u - y = 0. Let g be ((-154)/21)/u*(-1 + 7). Solve -6 = g*p + 2 for p.
-2
Let d = -796 - -836. Solve d = -59*s + 69*s for s.
4
Let z(r) = -4*r + 139. Let y be z(0). Let o = y - 135. Solve 8*t = o*t for t.
0
Let y be (-4)/2 + (61 - (-1 + 4)). Let s = 64 - y. Solve 0 = -4*f + s*f - 4 for f.
1
Let r = 173 + -99. Suppose -74 + r = -3*u. Suppose u = l - 1 - 3. Solve -2*f = -l*f - 10 for f.
-5
Suppose 228 + 30 + 6 = 11*b. Solve 41*a - 45*a = b for a.
-6
Let z(s) = -3*s**2 - 64*s + 474. Let m be z(-26). Solve 0 = -118*u + m*u - 24 for u.
-3
Let i be -3*4*4/(-24). Suppose 8 = r - 2*c, -2 = -i*r + 3*c - 6*c. Let v(z) = -2*z - 42. Let t be v(-21). Solve u + t = r for u.
4
Let i(b) = -b**3 - 16*b**2 - 25*b + 189. Let o be i(-13). Solve o*t = 37 - 72 for t.
-5
Suppose -13*h + 14*h = 5. Suppose 3*j + 4 = -2*g, 0*j - 5*j - 3*g - h = 0. Let f be 6/(-10)*(j + -7). Solve -c = -2*c + f for c.
3
Suppose 0*i = -4*o + 5*i + 25, 5*o + 5*i = -25. Suppose -9*h + 1 + 8 = o. Solve g = 2*g + h for g.
-1
Suppose 15 + 6 = k. Let y(j) = 67*j + 290. Let q be y(-4). Suppose -k*n - 3 = -q*n. Solve i - n = 2 for i.
5
Let l = 16557 + -16557. Solve -41*m - 291 + 86 = l for m.
-5
Let f(s) = s**3 - 9*s**2 + 30*s - 42. Let h be f(6). Solve -h = -q - 29 for q.
1
Suppose 32*l - 206 - 402 = 0. Solve -l + 7 = -12*m for m.
1
Suppose 3962 = 337*j - 1886 + 119. Solve -j*n - 7 = -24 for n.
1
Let i = 44 + -38. Suppose -i*f - f = -35. Suppose -f = c - 7. Solve -c*r + 6*r = 0 for r.
0
Suppose 0 = 3*p - 15, 4*s - 4 = -0*s + 4*p. Suppose -4*n + 103 = 3*j, -5*j = -2*n + n - 187. Let b = -33 + j. Solve -b*c + s = 18 for c.
-3
Suppose -9*j + 476 = 5*j. Suppose j = 4*m - 2*y, y = 5*m - 2*m - 28. Solve 13 - m = 2*r for r.
1
Let w be (-7 + (-1290)/40)*-4. Solve w*c = 154*c - 18 for c.
-6
Let z be (-1)/2 + (1269/6 - 1). Suppose -3*m = 3*o - z, 5*m - 5*o + 27 - 337 = 0. Solve 54 = 3*u + m for u.
-4
Let k(x) be the second derivative of x**4/12 - 3*x**3/2 + 5*x**2/2 + 2*x. Let j be k(9). Let b be 0/(-1) + j/((-20)/(-8)). Solve -5 - 5 = -b*i for i.
5
Let f(n) = n**3 + 8*n**2 + 4*n - 18. Let h be f(-7). Let v be 8*h/12 + -2. Solve p = -1 - v for p.
-1
Let j(s) = 3*s + 80. Let y be j(26). Suppose y - 3 = 31*x. Solve 0 = x*o + 9 - 14 for o.
1
Let f(c) = 44*c**2 - 267*c + 23. Let s be f(6). Solve 82*a - 77*a - s = 0 for a.
1
Let m(h) = 23*h**2 - 27*h + 5. Let k be m(-3). Let z = -287 + k. Solve 3*c = -3 - z for c.
-3
Suppose -1337 = -41*d + 33349. Let f = 862 - d. Solve -7*w = -f + 37 for w.
-3
Let b = -73 + 78. Suppose o + 37 = -8*a + 4*a, -o - 47 = b*a. Let w(u) = -u**2 - 10*u. Let f be w(a). Solve f = 2*j + 12 - 2 for j.
-5
Suppose -134*f - 1349 = -153*f. Solve 0 = 12*y + f - 35 for y.
-3
Let c be (4/10)/(114/(-57))*0. Solve 30*z - 36*z - 18 = c for z.
-3
Suppose 2*r + 71 = 3*j - 146, -79 = -j + 2*r. Solve -22*u + j + 19 = 0 for u.
4
Let l = 152 + -147. Suppose 3*h + v - 8 = 0, l*h + 5*v - 9 = 11. Solve -h*j - 10 = -4 for j.
-3
Let o be 304/30 - ((-64)/(-30) - 2). Suppose 3*c - p + 0*p = o, p - 2 = 0. Solve -c*u + 2*u = 0 for u.
0
Let s(l) = l**3 - l**2 + l - 1. Let c(j) = -5*j**3 + 23*j**2 - 4*j + 6. Let p(d) = c(d) + 4*s(d). Let g be p(19). Solve -7 + g = 5*h for h.
-1
Let k = 1548 + -1547. Solve -9 = -4*z - k for z.
2
Suppose 0 = 4*y - 146 + 6. Suppose 0 = -3*k + 50 - y. Suppose u = k*u. Solve u*b + 8 = -2*b for b.
-4
Let t(l) = -l + 1. Let d(s) = -4*s + 4. Let u(n) = -d(n) + 5*t(n). Let y be u(-2). Solve 0 = 2*r - y*r + 5 for r.
5
Let k(x) = 2*x**3 + 38*x**2 + 17*x - 3. Let i be k(-18). Suppose 333*m + 30 = i*m. Solve 0 = 3*j + 10 + m for j.
-5
Let q(o) = -3*o + 10. Let h be q(3). Suppose 7*p - 6 = 4*p. Let i = -2 - -5. Solve 0 = -i*k - p - h for k.
-1
Let n be 2428/(-5463)*1062/(-4). Solve -85*s + 26*s = -n for s.
2
Let j(s) = s**3 - 7*s**2 - 8*s + 38. Let t be j(8). Solve 32*i - 30 = t*i for i.
-5
Suppose 0 = -f - 5*c + 264, -331 = 4*f + 4*c - 1467. Solve -3*m - f + 304 = 0 for m.
5
Let u(t) = -12*t**2 - 185*t - 67. Let f be u(-15). Solve -13*z = -f*z - 12*z for z.
0
Suppose -4*u + 7*c + 10 = 9*c, 4*c = -u + 20. Let h be (u - 1/2)/((-136)/3536). Solve 2*l - 7 = -h for l.
-3
Let l = 1 - 1. Suppose 139*w - 119*w = 500. Suppose 5*k + l = w. Solve -2*g - 9 = -k*g for g.
3
Let g(a) = 2*a**2 - 7. Let w be g(4). Suppose w = 2*c - 5*x, 3*c + 9 = -2*x - 1. Let b be (2 + c)/((-27)/(-216)). Solve -l = 3*l - b for l.
4
Let b(a) = a**2 - 144*a + 586. Let r be b(4). Solve r*t - 24*t = -2 for t.
-1
Let k(j) = -34*j + 108. Let n be k(3). Let y(q) = q**3 - 3*q**2 - 16*q - 5. Let x be y(n). Solve 0 = -7*a + x - 14 for a.
-1
Let k(g) = 4*g - 22. Let p be k(7). Let m be p/(-3*(-8)/36). Solve -4*r - m = 7 for r.
-4
Let m be ((-37)/((-5698)/(-440)))/((-1)/7). Solve 0 = -16*o + m*o for o.
0
Suppose 0 = -a + 4, -5*a - 78 = -2*d + 22. Let p be 24/d - 54/(-15). Solve p*h = 8*h for h.
0
Let k(u) = u**2 + 14*u + 18. Let b be k(-14). Let d = 17 - b. Let m be d/(-6) + ((-145)/(-6))/5. Solve -2*t + m*t - 15 = 0 for t.
5
Let t = 577 - 502. Let g be -1 + 4*1 + t + -75. Solve -8*y + 10 = -g*y for y.
2
Let s(h) = -h + 51. Let n be s(32). Suppose -n*r = -37*r + 54. Solve 5*j - 4 = r*j for j.
2
Suppose 3*d = -j + 6, 9*j - 6*j - 4 = -2*d. Let m be (-2)/6 + 4/3. Let o(z) = -z**3 + 16*z**2 - 49*z + 8. Let k be o(4). Solve -l + m + k = j for l.
5
Let c be 3 + -1 - (-7)/((-7)/(-104)). Let a = 55 - c. Let h = a + 55. Solve 6*p - h*p = -2 for p.
-1
Suppose 0 = 3*n, p - 54*n = -49*n + 584. Solve 0 = 6*h + p - 602 for h.
3
Suppose 605*f - 647*f = -504. Let i(k) = 14 + 16 - 3*k + k. Let y be i(f). Solve 15 = -d + y*d for d.
3
Let u be 1140/90 - 2/(-7 - -1). Solve -12*t - u = -49 for t.
3
Let n(h) = 4*h**2 + h + 2. Let j be n(-1). Suppose -3*s + 88 = -j*l + 3, -4*l - 120 = -5*s. Solve s = 11*y - 6*y for y.
4
Let f(g) = -98*g - 993. Let z be f(-11). Solve z = -74*l - 11*l for l.
-1
Let k = -794 - -801. Solve -51 = -10*p - k*p for p.
3
Let c = 55 + -78. Let m = -1430 + 1466. Let w = m + c. Solve 2*p + 5 = w for p.
4
Let o be 6 + (0/3 - 4). Let p = 99 - 96. Suppose 4*m - p*m - 2 = 0. Solve -v + o*v + m = 0 for v.
-2
Suppose 2*f = q + 2*q + 73, -122 = -4*f - 2*q. Let g be f/(-8) + (-4)/(-1). Solve 5*b - 4 - 