t - v - 5 for t.
2
Let k be 4 + 2*(-3 + 4). Suppose -4*p + 3*o = -2*p + 1, -3 = -o. Suppose 2*d - p = k. Solve -y + 0*y = d for y.
-5
Suppose 0 = 30*n - 355 + 115. Solve 7*t = -20 - n for t.
-4
Let s(o) = -2*o + 15. Let f(y) = y + 24. Let a be f(-21). Let z be a - (8/20 - (-2)/(-5)). Let q be s(z). Solve q*u = 4*u for u.
0
Let n(l) = 274*l - 4636. Let h be n(17). Solve h*w - 32*w = 10 for w.
-1
Let z be ((-4)/3)/(-2)*(20 - 14). Suppose -z*b - 5*b = -216. Solve 6*t + 0 = -b for t.
-4
Suppose 0 = 13*o - 37 - 15. Suppose 0*g - 5*g + 95 = 5*l, 0 = -3*g + 5*l + 17. Let p = -6 + g. Solve p*q = o*q + 8 for q.
2
Suppose 0 = -2*z - v + 104, -z - 11 = 5*v - 99. Solve -150 = -z*n - 54 for n.
2
Let t = -335 + 370. Suppose -6*w + t = -85. Solve w = -m + 6*m for m.
4
Let u(w) be the first derivative of w**3/3 - 5*w**2 - 26*w - 144. Let o(k) = k**3 - 2*k**2 - 4*k - 3. Let g be o(4). Let c be u(g). Solve 4*q + c + 3 = 0 for q.
-4
Suppose 2*q + 312 = 5*a, 159 = -q + 14*a - 10*a. Let l = 152 + q. Solve l + 3 = -h for h.
-4
Let u be 9/((-684)/8) + (-1258)/(-38). Let d = -12 - -10. Let q be d + u/((-12)/(-4)). Solve -2*s - q = -3 for s.
-3
Let x be (-3)/4 - (-61830)/360. Suppose 20*u - x = u. Solve 0 = 6*c - u*c - 9 for c.
-3
Suppose 0 = 2*o + 7*o. Suppose -2*u + 33 = t, -t - t + 6 = o. Solve 4*k - 1 - u = 0 for k.
4
Let r(k) = k**2 - 19*k - 2. Let g be r(20). Suppose -11*u + g = -5*u. Suppose 6 - 21 = -u*a. Solve -a*y - 8 = 2 for y.
-2
Suppose 16*r = -22*r + 26*r. Solve 20 = -20*z - r*z for z.
-1
Let x be (-6)/14 + (-144)/7. Let h = x - -25. Let f be (-6)/((-36)/26) + h/6. Solve -4*d = 3 + f for d.
-2
Let l = 11178 + -11122. Solve -135*s + l = -127*s for s.
7
Let m = -981 - -995. Solve -m*g - 83 = 1 for g.
-6
Let i = -32 + 34. Suppose -u - 3 = 0, 14 = -0*x + x + 3*u. Let q = -18 + x. Solve -t = -i*t - q for t.
-5
Suppose 0 = -3*l + 2*o - 10 - 7, -32 = 4*l + 2*o. Let j be (3 + -17)/(-1) + l. Solve 0 = j*c - 6*c + 3 for c.
-3
Suppose -3*v = -5*w + 17 - 63, 8 = v + 2*w. Let i(n) be the first derivative of n**3/3 - 13*n**2/2 + 12*n - 29. Let h be i(v). Solve h = -0*s - s + 1 for s.
1
Let u be 7/2 + (-8)/(-16). Suppose -10 = 33*q - 34*q. Suppose -4*b = q*b. Solve 0 = -b*h - u*h + 16 for h.
4
Suppose -5 = -w - 1. Let a be 6*(-3)/18*(-6 + 4). Let u be (0/a)/(10 + -7 + 2). Solve u = x - 8 + w for x.
4
Suppose -28*c + 22 = -27*c. Suppose 17 - 105 = -c*p. Solve 7*k - 6*k = p for k.
4
Suppose 48 = -21*r + 4542. Solve r = 3*z + 202 for z.
4
Let l(q) = q**2 - 13*q + 38. Let g(v) = v**3 + 5*v**2 - 2. Let s be g(-2). Let r be l(s). Let p be 77/44 + (6/r)/3. Solve p*n - 4 = -2*n for n.
1
Let l(b) = -8*b - 3. Let s(g) = -g**3 - 2*g**2 - 4*g - 5. Let r be s(-2). Suppose -r*o + 9 = -3*m, 2 = -3*o - 2*m - 14. Let v be l(o). Solve -2*i = v - 3 for i.
-5
Let a(z) be the second derivative of -z**4/12 - 7*z**3/6 + 6*z**2 - 2*z + 3. Let u be a(-8). Solve u = -k - 1 for k.
-5
Let s be 1/((50/(-5))/(-4610)) + 9. Solve -484*l = -s*l for l.
0
Let d(v) = -8*v + 55. Let t be d(3). Suppose -z - 81 = -3*h, h + 3*h + 5*z - 89 = 0. Suppose t*y - 10 = h*y. Solve s - 5 = -y for s.
3
Let z(h) = 7*h - 45. Let n be z(6). Let y(m) = -16*m**2 - 3*m - 2. Let u be y(-2). Let v be n/2*u/9. Solve -5*r = -3*r + v for r.
-5
Let r(j) = 3*j**2 - 7*j - 4. Let x be r(-5). Suppose a - 2*a + x = 3*t, 5*t = 4*a + 188. Suppose t = 8*v + v. Solve 0 = b - v - 0 for b.
4
Suppose 3*c - 59 = 4*a, 4*c + 5*a = 2*c + 1. Suppose -6*g + 38 = c*g. Solve 3 = -g*h + 5 for h.
1
Suppose 0 = x + 3*o + 36, -24 = -3*x + 4*x - 3*o. Let y = x + 50. Solve 0 = -11*c + 7*c - y for c.
-5
Let l(y) = 822*y + 3288. Let j be l(-4). Solve -3*o + 2*o - 6 = j for o.
-6
Let s be (1 - (2 - 0)) + 2. Let r = -423 + 441. Suppose r = 4*x - 5*h, 6 = 50*x - 51*x - 4*h. Solve -y - s = -x*y for y.
1
Suppose 49 + 61 = 3*k - c, 2*k - 2*c = 68. Let h = -20 + k. Suppose -4*z = -4*s + 16, -3*s + 5*z = -0*s - h. Solve -d - s - 4 = 0 for d.
-5
Let h = 164 + -137. Suppose 13*v = 22*v - h. Solve 4*x - v - 9 = 0 for x.
3
Let q(y) = -23*y**3 - 163*y**2 - 14*y + 2. Let c be q(-7). Solve 93 = -29*u - c*u for u.
-3
Let n = 31 + -67. Let i = 5 - n. Let h = -41 + i. Solve -4*d - 20 = -h*d for d.
-5
Suppose -22*q + 16 + 6 = 0. Let w = 21 + -15. Let b be (w/7)/((-12)/(-56)). Solve 5 - q = b*k for k.
1
Let h = -62 + 73. Suppose -2*k = 3*d - 13, h*k + 1 = d + 10*k. Solve -2 + d = c for c.
1
Let i = 125 - 113. Suppose 4*r + i = 8*r. Let z = 2 + 3. Solve -2*h + r*h - z = 0 for h.
5
Let x = -10239 - -10239. Solve x = 14*j - 51*j + 222 for j.
6
Suppose 0 = -k + 6*k - 5*p, p = -2*k + 15. Let a = -117 - -107. Let s be a/15*-21 + -4. Solve -k*z + s*z + 10 = 0 for z.
-2
Suppose -2*p + 12 = 2*o, 2*o + 2*o - 2*p = 0. Let c = 229 - 227. Let t be ((4 - 13) + 7)/((-1)/c). Solve -o*v = -t + 2 for v.
1
Suppose 0 = -4*d - 3*t - 31, 3*d - 5 = 8*d - 3*t. Let z be d/12 + 25/3. Suppose -7*n = 7*n - 56. Solve -n*l = z + 4 for l.
-3
Let s(y) = 4*y**3 - 28*y**2 + 21*y - 15. Let z(i) = i**3 - 9*i**2 + 7*i - 5. Let x(n) = -2*s(n) + 7*z(n). Let r be x(-8). Solve 6 = -k + r*k for k.
3
Suppose -573 + 205 = -8*b. Solve -3*j = -b*j + 129 for j.
3
Let l = -6951 + 6951. Solve -30 = 5*x - l*x for x.
-6
Let p = -26376 - -26274. Let z = -343 + 245. Let u = z - p. Solve q = u*q for q.
0
Suppose -494*z - 2*p = -496*z + 20, -4*p + 10 = z. Solve -107*i + 105*i = z for i.
-5
Let s(r) = -14*r - 78. Let c be s(-23). Solve -31*p - 27 + c = 0 for p.
7
Suppose 0*z = -5*z - 1715. Let q be (-3528)/z + 4/(-14). Solve -q*s + 20 = -0 for s.
2
Let l = 3689 + -3671. Solve 20*y = -l + 58 for y.
2
Let l = 221 - 248. Let w = l - -31. Suppose 0 = -3*g - 0*g. Solve g = i + w*i for i.
0
Suppose -z - 5*k + 27 = 0, 23 = 4*z - 4*k + 35. Suppose -2*x - z*j + 12 = 2*x, 2*j - 2 = x. Solve x*s = 2*s + 3*s for s.
0
Let g(r) = -2*r - 72. Let w be (-3108)/112*8/6. Let s be g(w). Let m(b) = -b**3 - 3*b**2 + 2*b - 2. Let a be m(-4). Solve -a*j = -s*j for j.
0
Let v(b) = -2*b + 17. Let n be v(2). Let t = n - 13. Solve -4*f + 0*f = t for f.
0
Let t be (-14)/(-63) - 12/54. Solve -i - 9*i + 10 = t for i.
1
Let p(l) = 35*l + 2183. Let g be p(-61). Solve 78*t = 70*t - g for t.
-6
Let c(w) = w**3 + 7*w**2 + 5*w + 9. Let o be c(-6). Suppose -10*i + 786 = 3*a + a, -5*i = -a - 366. Solve o*t - i = -0*t for t.
5
Let i be (-4 - (1 + -72)) + (-117)/(-13). Solve -3*d - 61 + i = 0 for d.
5
Let d be ((-2)/(-4))/(6/36) + -3. Suppose w = -4*r - w - 264, 4*r + 5*w + 252 = d. Let v = 73 + r. Solve -6*h + v = -h for h.
1
Let m = -126 - -126. Let t = 76 + -72. Solve -i - t*i = m for i.
0
Let g = 345 + -334. Solve -7*a + 4 = -g*a for a.
-1
Suppose k + 3*y + 30 = 91, -k + y = -41. Suppose 0 = -27*m + 24*m + 144. Let n = m - k. Solve 0 = -3*u + n - 8 for u.
-2
Suppose 3*y + 4 = -a + 6, 5*y + 10 = 0. Solve -36*r = -34*r + a for r.
-4
Suppose -5*d - 7*d + 36 = 0. Let t(w) = -4*w**2 + 6*w + 5. Let o be t(-1). Let s = d - o. Solve -v - s = -5*v for v.
2
Let m(q) = 19*q + 247. Let s be m(-13). Solve -20*f - 200 + 40 = s for f.
-8
Let r = -22849 - -22849. Solve 3*m - 5*m + 6 = r for m.
3
Let m = -14897 - -14923. Solve 43*z - 56*z - m = 0 for z.
-2
Let l be 7/(21/172)*3. Suppose -2*h - l = 4*u, -458 = 5*h + 2*u + u. Let z = 99 + h. Solve -z = -3*o + 2*o for o.
5
Let v be ((-6)/(-10))/(58/10 + -6). Let m be 4 + v*(-2 + 3) - -1. Let j be ((-3)/(-1))/(-3)*(m - 4). Solve 4 = -j*d - 4 for d.
-4
Suppose -509 = 21*o - 85*o + 1283. Solve o = 20*a - 52 for a.
4
Let t = -7654 + 7967. Solve 311*d - t*d = -8 for d.
4
Suppose 0 = 2*j + 4*y - 212, -4*j + 4*y + 316 = -48. Suppose -111*v = -8772 - 1884. Let k = j - v. Solve 0 = -5*z - k*z + 5 for z.
1
Suppose 0 = -18*i + 15*i - 3, 0 = 5*q - i - 91. Suppose -q*v + 40 = -32. Solve -v*p = 3*p for p.
0
Suppose -2*m + 9 + 11 = 5*a, -2*m = -4*a - 2. Suppose 3*u = -5*b - 11 - 11, -20 = m*u + 5*b. Let r be 17/5 - (u - (-6)/(-10)). Solve g = -2*g + r for g.
1
Suppose 210*q + 13 = 211*q. Solve q*y + 64 = 45*y for y.
2
Let j = -39 - -34. Let h be (3/(-2))/(j/(-20)). Let w = h - -8. Solve -4 = w*p - 14 for p.
5
Suppose 13 = 4*v - o, 4*v + 1 - 11 = -2*o. Let j be v - 3/(-9)*-9. Solve 7*i + j*i = 28 for i.
4
Let w be (8/48)/((-2)/(-24)). Let r be 3 - (0 - w/2*1). Solve 0 = 5*d - r*d + 1 for d.
-1
Suppose 8*y = 3*y + 3*b - 11, 5*b - 10 = 0. Let u(k) = 