= 2 + v for i.
-2
Let i be ((-3)/2)/((-6)/12). Solve 6 = i*k + 3 for k.
1
Let n be 28 + (-185)/(-35) + 14/(-49). Solve 11*k + 0*k = n for k.
3
Suppose 4*n - 16 = -4*a, -5*a + 3 = -2. Suppose -2*r + n*r - 1 = 0. Let l(b) = -b**3 + 6*b**2 - 3*b + 5. Let c be l(5). Solve 4*y = c + r for y.
4
Let l = 5 + 2. Suppose -3*n - 5*f = -61, 3*n - 2*f + f - 31 = 0. Let s = -4 + n. Solve l = -5*a - s for a.
-3
Suppose -26 = 5*s - 1. Let a = s + 21. Let x be 1/(-4) - (-84)/a. Solve 0 = x*z + 28 - 13 for z.
-3
Let j = 8 + -6. Suppose -3*b + 0*n + 8 = -2*n, b - 1 = -n. Solve -2 = b*s + j for s.
-2
Suppose 0 = -11*q + 16*q - 120. Let z = 28 - q. Solve z*f - f = 0 for f.
0
Let h be ((-476)/112)/((-2)/8). Solve 7*j - 3 + h = 0 for j.
-2
Suppose 4*l = -3*z + 15 - 8, 4*l - 28 = 4*z. Solve 18*s + l = -86 for s.
-5
Suppose u = -4*d - 66 + 15, 2*d = 3*u + 167. Let o = -53 - u. Solve -o*b + 3 = 7 for b.
-2
Suppose -33*d + 84 - 18 = 0. Solve -d*x = 3*x + 25 for x.
-5
Suppose 5*f + 301 = -3*d, 2*f + 128 = -7*d + 2*d. Let l = f + 64. Solve -4 = l*u - 9*u for u.
1
Suppose 6*b - 9 = 3*b - 2*y, -b = 3*y - 10. Let g be (b/(-4))/((-8)/32). Solve u = -0 + g for u.
1
Suppose -w + 6*l - 11*l = -57, 0 = 5*w + l - 285. Solve k + 62 - w = 0 for k.
-5
Suppose 0 = -322*j + 325*j - 36. Solve -55 = d - j*d for d.
5
Let j(w) = -96*w - 4 + w**2 + 47*w + 44*w. Let b be j(-1). Suppose 0 = -2*v - 8, v + v - 2 = -5*y. Solve b*r + 8 = y for r.
-3
Let o(k) = -k**2 - 4*k. Let v be 4 - (2 - 3)*1. Suppose 2*p - 3*q + 30 = -3*p, -v*p - 5 = 2*q. Let n be o(p). Solve 3*s + n = 6*s for s.
1
Suppose -37 - 13 = -2*n. Let t = 33 - n. Solve j = -j - t for j.
-4
Let i be (4/16)/(((-5)/(-4))/5). Let c be ((i - 6) + 35)/(2*1). Solve -h = -4*h + c for h.
5
Suppose -o - o + 8 = 0. Let m(p) = p**3 + 1. Let n be m(-1). Solve o*t + n*t = 0 for t.
0
Let k(f) be the second derivative of -f**4/12 - 5*f**3/3 - 5*f**2/2 - 6*f. Let q be k(-9). Suppose -3*u - q*u = 0. Solve u = -0*g - 5*g - 10 for g.
-2
Let p = -14 - 5. Let i = -32 + 51. Let a = i + p. Solve 0*j - j + 4 = a for j.
4
Let v(n) = -20*n + 45. Let s be v(2). Solve -s*f - 8 = -3*f for f.
-4
Let h = -9 + 6. Let z = -2 - h. Let r be ((-8)/12*-6)/z. Solve 0 = 6*i - 4*i - r for i.
2
Let a = 1167 + -1163. Solve 0 = -a*p - 16 + 12 for p.
-1
Let z be 1/(-2*2/(-12)). Suppose 10*j = 28 + 22. Solve -j = z*h + 1 for h.
-2
Let s(a) be the first derivative of a**3/3 + a**2/2 - 8*a + 7. Let u be s(-4). Solve -u*o = 18 - 6 for o.
-3
Let r(z) = 3*z**2 - 4*z - 12. Let d be r(-2). Solve -d*a + 2 = -10*a for a.
-1
Suppose -5*h = -6*h - 77. Let i = -75 - h. Solve 2*f = -i*f - 20 for f.
-5
Let t(a) = -a**2 - 6*a - 6. Let d be t(-4). Suppose 6*z - 5 = z. Let j be (1/(-2))/(6 + 37/(-6)). Solve j*p = d*p - z for p.
-1
Let f = 162 - 274. Let a = 124 + f. Solve -4*l - a = -l for l.
-4
Let i be 4/(3/15 - 2/(-40)). Solve 2*n - 6*n = i for n.
-4
Suppose 0 = -3*r - 5 - 7. Let w be 14/35*30/(-8)*r. Solve w*j - 2*j - 4 = 0 for j.
1
Let t(q) = 2*q**3 - 39*q**2 + 18*q + 36. Let h be t(19). Solve 5*n + 3 = -h for n.
-4
Let m = -1772 + 1774. Suppose 4*g - 22 = 5*d, 0*d = -2*g - d + 4. Solve -m*c + 2 = -g*c for c.
-2
Let b be -3 + (-6)/24 + (-29)/(-4). Solve -f = -b*f for f.
0
Let w be 6*2/(-3)*-1. Suppose 0*u = -4*u + 16. Let n(g) = 14*g + 30. Let m be n(-2). Solve m*k - w = u for k.
4
Suppose 2 + 2 = 2*a. Suppose o - a - 1 = 0. Solve 2*k - o*k - 3 = 0 for k.
-3
Let u be 10/(-8) - (-324)/144. Solve -u = a - 2 for a.
1
Let r(l) = 68*l + 88. Let i be r(-1). Solve -20 = -7*o - i for o.
0
Suppose -17 = -5*q - h, -3 = 3*q + 5*h - 0*h. Let c = -24 + 24. Suppose 0 = 2*y - 10, c*u - 2*y - 6 = -q*u. Solve -w + 2*w = u for w.
4
Suppose 2*f + 2 = 0, -n + 12 = -3*f - 16. Let d = n - 18. Solve -5*g = d + 8 for g.
-3
Let r be (-114)/(-10) - 5/(100/8). Solve r + 3 = 7*n for n.
2
Let o(r) = -r**3 - 9*r**2 + 26*r - 118. Let h be o(-12). Solve 0 = -5*f - h*f - 14 for f.
-2
Let l be -1 - (-5 + 2 + 4). Let u be l/(-3)*60/8. Suppose 5*c - 35 = -u*i, 0*c + c + 2*i - 11 = 0. Solve -c*d = d for d.
0
Suppose s = 7*s - 264. Let v = 49 - s. Solve 3 = -v*r - 17 for r.
-4
Let l = 239 - 233. Solve 0 = -5*p + l - 1 for p.
1
Suppose 8*i = 3*i. Let b = 1537 + -1535. Solve i = b*g - 4*g - 4 for g.
-2
Suppose 10 + 0 = -2*n, 8*q - 69 = n. Solve 17*t - q = 9*t for t.
1
Suppose -23*w = -336 - 124. Solve -w = 3*m - 8*m for m.
4
Let t = 28 - 38. Let o = -12 - -8. Let p be o/t - (-64)/40. Solve 0*n + p = -n for n.
-2
Suppose 10 = -i - 4. Let x be ((-4)/6)/(i/357). Let q = x + -10. Solve 4*v = 19 - q for v.
3
Let f be ((-4)/6)/((-2)/3). Suppose f = -h + 5. Suppose 6*x - 45 = -2*n + x, h*n = 3*x + 25. Solve -n = -3*y + 2 for y.
4
Let r(w) = 13 + 6*w - 2*w - 4 - 3*w. Let t be r(-6). Solve j = -t*j for j.
0
Suppose 30 = 2*i + 4*i. Solve 9*y = i*y for y.
0
Let s(k) = -3*k**3 - 3*k**2 - 13*k + 1. Let w(q) = 2*q**3 + 3*q**2 + 13*q - 2. Let o(p) = 3*s(p) + 4*w(p). Let v be o(5). Solve 4*f - 2*f + v = 0 for f.
-5
Let t = 48 - 27. Suppose -2*r + t = 5*h, -4*r + 2*r + 6 = 0. Solve -h*x = 2*x - 25 for x.
5
Let b = -4 + 8. Suppose b*s = -s - 35. Let g(j) = -j**2 - 8*j - 5. Let m be g(s). Solve 6*w = m*w - 4 for w.
-1
Let d(z) = -z**3 + 5*z**2 - 2*z - 4. Let m be d(4). Let l be (-115)/(-20) - (-1)/m. Let n be (-7)/(-3) - (-4)/l. Solve 3 = n*y - 4*y for y.
-3
Let m be (20480/(-90))/(-16) + (-4)/18. Solve 0 = -7*z - 0 - m for z.
-2
Let x = 0 - 72. Let g = -69 - x. Solve -1 = g*y + 8 for y.
-3
Let t(j) = -21*j - 531. Let u be t(-26). Solve -28*h - u = -25*h for h.
-5
Let p = -33 + 76. Let w = p + -37. Solve -4 = z - w for z.
2
Suppose -17 = -3*i + 4. Suppose 0 = -2*v + i*v - 20. Solve v*z - 3*z = 5 for z.
5
Suppose 5*r + 4*g - 348 = 0, -10*r + 3*g = -13*r + 210. Solve 65*d - 3 = r*d for d.
-1
Suppose -17*m = -79 - 74. Solve -20*k + m*k = 55 for k.
-5
Let i(y) = -6*y - 5. Let d be i(1). Let f = 4 - d. Solve 0 = -2*a + 5*a - f for a.
5
Let d = -2 + 5. Suppose 0 = 2*k - 3*k - 11. Let p = k + 12. Solve -4*b + d*b = -p for b.
1
Let u be (30/45)/(4/126). Let w be -3 + u + 2 + (1 - 1). Solve 4*o = -o + w for o.
4
Let f(o) = -o**3 - 16*o**2 - 17*o - 20. Let p(k) = -3*k + 15. Let b be p(10). Let j be f(b). Let a = -5 + j. Solve 0 = -0*v + a*v + 10 for v.
-2
Let v(i) = 5*i**2 - 5*i - 6. Let b be v(5). Let u be 14/(-105) - b/(-30). Suppose y - 8 = -2*k, 0 = -5*y - u*k - k + 52. Solve y = 5*j - j for j.
3
Let u be 10 - -3*(-25)/(-15). Let z be (u/5)/3 + 1. Solve 6 = z*q - 4 for q.
5
Let z(w) = -w**3 + 6*w**2 - 6*w + 7. Let o be z(5). Let u = 126 - -38. Let i = u + -164. Solve n + o*n + 3 = i for n.
-1
Let i = 1001 + -999. Solve -89 = -i*b - 85 for b.
2
Let y(g) = -g**3 - 10*g**2 - 10*g - 8. Let j be y(-9). Let z = j + 5. Let u be 2/8 + (2 - (-12)/16). Solve z = 3*b - u for b.
3
Suppose -f = 2, 2*l - 12 = 3*f - f. Suppose a = 3*a. Suppose a = 3*i - l*i. Solve v + v + 8 = i for v.
-4
Suppose 4*k + 164 - 28 = 5*b, -68 = -2*b + 5*k. Suppose 0 = 3*g + 3*q - b, 2*g - 3*g + 16 = 5*q. Suppose -8*t = -29 + 5. Solve 0 - g = -t*d for d.
2
Let m = 121 - 114. Solve -m = -o - 2 for o.
5
Suppose -10*k + 17 = -3. Let y = -5 - -7. Solve 3*o = k*o - y for o.
-2
Let b(x) = -x**3 - 2*x**2 - 5. Let i be b(-3). Let d be -2*(-4)/((-12)/9). Let s(r) = -2*r + 3. Let n be s(d). Solve -n - 1 = -i*j for j.
4
Let j(i) = -i**2 + 12*i + 4. Let h be j(12). Solve 2*d = -0 + h for d.
2
Let q(m) = 2*m - 5. Let y be q(25). Solve 56*v = y*v for v.
0
Suppose -94*x + 95*x = -3*h + 70, 6 = 2*h. Solve 20*a = -39 - x for a.
-5
Let x(o) = o**2 + 10*o + 29. Let f be x(-6). Solve -f*y = -3 - 2 for y.
1
Suppose p = -4*i - 201 + 558, 2*i = 4*p + 192. Let o = 92 - i. Solve -o*v + 0*v + 6 = 0 for v.
3
Suppose 6 = 5*o + 3*t - 7, o - 1 = -t. Solve -a + o = 4*a for a.
1
Let l(b) = b**2 - 4*b. Let k be l(0). Solve 2*q - q + 1 = k for q.
-1
Let d = 2086 - 2078. Solve d - 1 = 7*v for v.
1
Suppose 85 = 2*z + 3*g, -2*z + z + 75 = -5*g. Suppose -2*d - 3*d = -z. Suppose 0 = 4*q - x - d, -4*q - x = -3 - 3. Solve 7 = -q*u - 3 for u.
-5
Suppose 32*t - 20 = 27*t. Let n(z) = 7*z - 8. Let a be n(t). Let m be ((-10)/(-8))/((-2)/(-8)). Solve 0*q - m*q - a = 0 for q.
-4
Suppose -20 = 2*k - 74. Solve 0 = 11*s - 2*s - k for s.
3
Let n be 2 - (-4 - 3/(-3)). Suppose -y + 3*y = 5*m - 14, 0 = 5*y - 5*m + n. Suppose -a = 5*o + 12, 