v + t = -18 for v.
5
Suppose 2*p = -4*i, -3*p - 6 = -30*i + 34*i. Solve 165*n - 164*n + 1 = 5*v, 0 = i*v + 3*n - 15 for v.
1
Let o(n) = -n**2 - 7*n + 10. Let r be o(-8). Suppose r*j - 5*l - 10 = 27, -17 = -j + l. Solve -j - 1 = 3*b - 5*c, -12 = -4*b - 2*c for b.
1
Let p = 89 - 97. Let u(a) = -2*a**2 + 2*a - 4. Let w be u(p). Let l = -138 - w. Solve c - 50 = 6*c + 5*k, -2*c + 4*k + l = 0 for c.
-5
Let v = 16733 - 16731. Let r be (-3)/(6/(-8) - 0). Let m = r - 0. Solve m*o - 3 - 3 = -v*f, -f + 3 = 0 for o.
0
Let g be 65*(0 + (3 - 2)). Let y = g + -62. Solve y*z + 2 = 2*p + 15, 0 = -3*z + 4*p + 23 for z.
1
Let k = 1377 - 1366. Solve -4*s = -k*d + 6*d, d = 3*s + 11 for d.
-4
Let m(x) = x**3 + 27*x**2 - 159*x + 37. Let b be m(-32). Solve 6 = 2*i - 3*n, -n + 0 - 2 = -b*i for i.
0
Let v(l) = l + 16. Let w be v(-6). Let s = w - 10. Suppose s = 6*u - 7*u + 1. Solve -u = -m + 3*p, 0 = m + m - 5*p - 1 for m.
-2
Let i be 206/42 + (1590/315)/53. Solve 0 = l + 3*h - i, l + 7 = 3*h - 6 for l.
-4
Let v = 1895 - 1882. Solve 0 = -2*y + q - 3, -y - q - v = -19 for y.
1
Suppose 5*d = 2*n + 22, 2*d - d = 8. Solve -5*l + 15 = 2*q, l - 10 = -n for q.
5
Let a be 31/279*(-6)/(-4) - (-174)/36. Solve -3*i - a*x = -10, 25 - 14 = 3*i + 4*x for i.
5
Let l(x) = 6*x**2 - 2*x - 5. Let k be l(2). Let d be -2*2/14 + 3032/28. Let z = -104 + d. Solve -m + 3 = z*q + 2*m, -5*m = k for q.
3
Let a = -72 + 109. Suppose 88 = -a*m + 59*m. Solve -1 = -m*o - x, 4*o - 6 = 2*x + 4 for o.
1
Let b(i) = 4*i - 55. Let z be b(13). Let s be z/((-6)/(-2)) + (-24)/(-12). Solve 2*n - s = -2*v + 3, -2*n = 4*v - 8 for n.
0
Suppose -7*d + 83 = -127. Suppose 0 = -27*f + d*f - 21. Suppose 0*t - 3*g + 30 = 3*t, -5 = t - 2*g. Solve -3*l = -t*b, -2*b + l - f = 2*b for b.
-3
Let s = 286 - 301. Let v be (-3)/s + -6*12/(-90). Solve 0*m - l - 1 = -3*m, l = 5*m - v for m.
0
Let a(k) = k**2 - 13*k + 63. Let i be a(15). Suppose -76 = 5*m + 2*s - i, -2*m = -4*s - 26. Solve 4*r + m = -3*n, -2*r + 4 = 2*r for n.
-3
Suppose 3*g = -844 + 4867. Suppose -1449 = -9*r - g. Solve d + 30 - 8 = -5*b, -d - r = 3*b for d.
3
Let r = 345 + -344. Let y be ((-72)/9)/(r + -3). Solve -4*j - 4 = 2*c, 5*c + 5*j = 9 - y for c.
4
Suppose 283*p = 288*p - 18090. Let u be 4/(-32) - p/(-144). Solve v - u = 6*v, 0 = 5*m - 5*v - 5 for m.
-4
Let b(x) = -11*x - 231. Let r be b(-23). Suppose -d + 6*d = j + 13, 4*d - r = -5*j. Solve -4*w - 4*y = 28, 2*w - 7*y = -j*y for w.
-5
Suppose -2*h = -3*h - q + 30, -2*q = 0. Solve -4*x = 2*k - h, -2*x = -3*x + k for x.
5
Let f(k) = 12 - 8 + 24*k - 5*k. Let v be f(0). Solve 3*c + 13 = -a, 0*a = 4*a + v for c.
-4
Let g be (7 + -8)*40/(-8). Let k(v) = 2*v - 5. Suppose 4 = 4*p - 3*q - 15, 3*q - 5 = -2*p. Let c be k(p). Solve w - 6 = -4*b + c, 3*w = g*b - 7 for b.
2
Let w(c) = c - 4. Let h be w(6). Let f be -1436 + (6/12)/((-8)/96). Let y = -1440 - f. Solve y*a - 19 = 5*i - 0*a, h*a + 6 = 0 for i.
-5
Let s be (-1)/(-3)*(9/12 - 87/116). Solve 0 = -2*r + 3*i - 25, 2*r + s*r = 4*i - 30 for r.
-5
Let x be -5 + 11 + (-17)/((-102)/36). Suppose -6 = -15*o + 69. Solve -10 = -o*b - u, b + 0*b + x = -3*u for b.
3
Suppose 3016 = -22*h + 35*h. Suppose h = 12*d - 68. Solve 5*i - 3*p - 5 = 0, 3*p + 2*p + d = 0 for i.
-2
Let j(m) = -m**3 - 3*m**2 + 4. Suppose 2*w + 5 + 9 = 0. Let q be j(w). Suppose -q = -11*r + r. Solve 2*n - 6*n = r, -4*h = n - 7 for h.
3
Let d be (((-5)/2)/5)/(7/(-56)). Suppose 6 + 23 = 5*f - 3*t, -f + 16 = -d*t. Solve -f*k + 2 = -b, -7*b - 4 = -k - 5*b for k.
0
Let n be (-232)/1*2/(-4). Suppose 0 = 3*u - 5*k + 367, -31*k + 243 = -2*u - 28*k. Let c = n + u. Solve -3*g = -6, -2*y - c*y + 4*g = 20 for y.
-3
Let w(t) = 8*t + 110. Let m be w(-11). Suppose -m*q = -57*q + 105. Solve 2*b = -3*y - q, 1 + 11 = -4*y for b.
3
Suppose -y + j - 4 + 0 = 0, 20 = -2*y + 5*j. Let a(x) = 3*x**3 + 7*x**2 - 7*x + 1. Let z be a(1). Solve y = -5*t + 2*p - 15, 5*t + 12 = t + z*p for t.
-3
Let r be (2/1 - -13) + 1. Suppose 0 = -1238*y + 1247*y - 63. Solve y = 5*m + 3*x + 26, 5*m + 2*x = -r for m.
-2
Let j(g) = 2*g - 74. Let s be j(25). Let z = 26 + s. Solve b - 6*p + 6 = -p, z*p = -5*b - 3 for b.
-1
Suppose -3*i - 11*x + 16*x + 8 = 0, i + 4 = 3*x. Solve z = -3*m - 0 - 3, 5*z = -2*m + i for m.
-2
Let f(a) = 12*a - 69. Let p = -457 + 463. Let h be f(p). Solve w + 4*l = -h, 0*w - 3*w - 4*l - 9 = 0 for w.
-3
Let i(y) = 2*y + 1. Let l be i(0). Let z be (3/2)/(l/14). Let t = 21 - z. Solve -5*a - 31 = 3*p, t*p - 4*a - 14 = -3*p for p.
-2
Let l(q) = q**3 + 6*q**2 + 10*q + 55. Let y be l(-6). Let f be (-2 - (-5)/y - -12)/1. Solve 0 = u - 5*i + f, -3*u - 4*i + 5*i = -1 for u.
1
Suppose 0 = -7*q - 0. Suppose 0 = 40*j - 0*j - 160. Solve -j*h - v = -24, q = h - 5*h + 4*v + 4 for h.
5
Let x(m) = m**3 - 13*m - 5. Let w be x(-7). Let l = w + 262. Solve -2*c - 15 = -l*n, -3 = c + n + n for c.
-5
Suppose -3*y - 3*x + 8*x = 26, x - 10 = -y. Solve -3*c = -3, -2*q - y*c = 4 + 1 for q.
-4
Suppose -3*t + 45 = -c - 49, -4*t = 3*c + 217. Let l = c - -80. Solve -2*d = -4*q + 10, -d + 2*q + l = -2*d for d.
-3
Let r = 213 + -206. Let d be ((-6)/(-33))/(r/77). Solve -23 = -x + 4*l, 2*l = -d*x - 2*l - 14 for x.
3
Let n be 864/60*10/3. Suppose -74*r = -77*r + n. Solve r = -5*y + 4*x, 4*x - 4 = y + 3*x for y.
0
Let w = 11 - 17. Let j be w/(0 + (-8)/12). Let t be (-27)/j + 4 + -1. Solve -5*q - 11 = -3*v, -v = 5*q - t*q + 23 for q.
-4
Suppose -5*o + 3*o = -6. Let l(r) = -38*r + 2*r**2 + 8*r + 11*r + 4*r + 11*r - 3. Let a be l(o). Solve 5*m = -a*f + 17, 8*m + 8 = 3*f + 4*m for f.
4
Let q(d) = 11*d - 23 + 4 + 12. Let p be q(2). Suppose 0*j - 3*j = -9. Solve -25 = 4*v + 5*n, v + j*n + p = 3*v for v.
0
Let z(d) = 19*d + 425. Let q(t) = 10*t + 283. Let r(x) = 8*q(x) - 5*z(x). Let o be r(9). Let n = 7 + -2. Solve k = o*j - 0*j + 4, -n*j - 5 = 2*k for j.
-1
Suppose -d - z + 131 - 16 = 0, 0 = -d + 5*z + 145. Suppose -x - 7*x = -d. Let j(p) = 3*p - 40. Let s be j(x). Solve 4*f + 25 = -5*c, 8 = s*c + 33 for f.
0
Let u(z) = 3*z + 18 - 4 - 2*z. Suppose -130 + 322 = -16*l. Let c be u(l). Solve o - 3 = 0, -3*s + c*o = -o + 18 for s.
-3
Let a(s) = 7*s**2 + 1. Let n be a(-1). Let z be 2/(-3) - 854/(-21). Suppose 2*w + n*w - z = 0. Solve -4*u + 4 = -3*p, -2*p + 0*u = -w*u for p.
-4
Let v = -20 - -22. Let p = 131 + -54. Let f = p + -52. Solve -2*d + v*w - 2 = 0, -f = -5*d - 5*w - 0 for d.
2
Let s = 5485 - 5481. Solve 2*b - 21 = -s*n - 23, -2*b - n + 4 = 0 for b.
3
Suppose -2*w - 8*w = 130. Let m be ((-69)/(-12) - 6) + w/(-4). Solve u + y + 5 + 0 = 0, 0 = m*u - 4*y + 8 for u.
-4
Let v be (372/(-32))/(-31)*48/9. Solve -5*w - 2*c = 31, -2*w = v*c + 27 - 11 for w.
-5
Let a = 1428 - 1425. Solve d + 5*x = 2*d - 16, a*d - 3*x - 12 = 0 for d.
1
Let c(z) = z + 1. Let q be c(2). Let p = q + 0. Suppose -4*k + k - 5*a = 22, -k - 14 = p*a. Solve 2*i - 23 = -4*b + b, i - b + k = 0 for i.
4
Suppose 0*w - 16 = -4*w. Suppose 168 = 2*x - 4*r, -x = -5*x + w*r + 324. Let g = x + -78. Solve 3*q - 4*j - 11 = g, -2*q + 1 + 18 = -5*j for q.
-3
Suppose -102 = -106*y - 102. Solve -4*o - 5*z - 20 = 0, y = -5*o + 2*z - 38 + 13 for o.
-5
Suppose 1126*o - 56 = 1128*o. Let l be ((-3)/2 - o/14)*22. Solve 8 = 4*c + 4*h, 4*c + 7*h - 2*h = l for c.
-1
Suppose 12 = -0*y + 3*y + 2*w, -5*y - 3*w + 18 = 0. Solve 8*i - 3 = 10*i + t, 2*i - 4*t - 2 = y for i.
-1
Let j(v) = -2*v**2 - 15*v + 165. Let m be j(6). Solve 4*o - 28 = m*k, 3*k - 2*o = -k - 24 for k.
-4
Let o(y) = y**3 - 9*y**2 - 9*y - 10. Let h = 8 - 12. Let q(g) = -3*g - 2. Let u be q(h). Let x be o(u). Solve -l + 4*w + 2 = 19, w - 5 = x for l.
3
Let m be (-40)/28*63/(-18). Solve -5*k + 17 = 2*l, -4 = -0*l + m*l - 3*k for l.
1
Suppose 4*p = -p + 190. Suppose w + w = p. Let n be ((-48)/(-42))/4 + w/7. Solve -12 = 2*o + 2*o + r, -5*r - 14 = -n*o for o.
-2
Let x(c) = c + 28. Let n be x(-22). Suppose n = -3*w + 12. Solve 8 = w*b, 2*b = -2*h - 2*b + 22 for h.
3
Let l(q) be the first derivative of 2*q**2 + 19*q + 32. Let r be l(-4). Let g be 14/63 - (-1 + 22/18). Solve r*m = g, -a + 3*a - m = 0 for a.
0
Let q(s) = -s**2 + 250. Let m be q(0). Let n = m - 238. Solve 12 = 3*a, -3*a + 1 + n = b for b.
1
Let q(z) = z**2 + 13*z - 17. Let l be q(13). Let r = 346 - l. Solve 5*v + r = -5*f, 0*v - v = 0 for f.
-5
Let n be (-12)/(-40)*24/(-36) + 62/10. Solve -y + 16*a - 11*a -