2*a + 7*a + z for a.
1
Suppose -4*s - 292 = -5*s. Let k be s/(-10) + 5/25. Let d = k - -33. Solve d = -2*g + g for g.
-4
Let k be 27 + 44/(-10) + (-9)/15. Suppose -k*m + 8 = -h - 18*m, m = 2*h + 2. Solve 6*u + u = h for u.
0
Let o = -7816 - -7829. Solve -o*j + 17*j = -12 for j.
-3
Let y = -559 + 797. Let m = y - 217. Solve 20*a - m*a - 1 = 0 for a.
-1
Suppose 2*x = 2 + 2. Let r(h) = -16*h + 38. Let q be r(5). Let k = q + 46. Solve u - x + k = 0 for u.
-2
Suppose 13 = 3*d + 7. Suppose 0 = -2*y - 5*x + 166, 381 = 5*y + 2*x + d*x. Let s = -69 + y. Solve s - 7 = j for j.
-3
Let i be 3/(-9)*(-2 - 7). Suppose 0*g - 15 = -5*g. Suppose -37 = -g*x - 4*b, 2*b + 7 - 48 = -3*x. Solve -i*z = -8*z - x for z.
-3
Let b be (-9 + (-96)/(-16))*(-6)/9. Suppose 5*p + 81 + 4 = 0. Let h = -9 - p. Solve 2*z = -b*z - h for z.
-2
Let w(k) = -6*k + 3. Let n(u) = -u**2 - 13*u - 40. Let o be n(-8). Let b be w(o). Solve l - 20 = -b*l for l.
5
Let t(q) = 2 + 32*q**2 - 1 - 2*q - 31*q**2. Suppose -3*w + 2 = -w. Let y be t(w). Solve y = u + 2 for u.
-2
Let a be (-4)/26 + (-12)/(-156)*(17 + 388). Solve -a*p = -29*p for p.
0
Let a = 46 - 26. Let t = 202 - 202. Suppose 2*m - a + 2 = t. Solve 4 - m = -5*s for s.
1
Let s be ((-7)/(7/(-10)))/1. Suppose 4*q + 2*u = -22, -18 = 3*q - 0*u + 2*u. Let d(g) = -g**3 - 3*g**2 + 2*g - 4. Let f be d(q). Solve 0 = -f*p + 10 + s for p.
5
Let h(s) = -s**2 - 5*s + 5. Let q be h(-7). Let k be q/10*5*4/(-3). Solve -k*c = -12*c - 18 for c.
-3
Suppose -11 = 7*d - 53. Suppose d*v = 227 - 77. Suppose -v*c = -22*c - 12. Solve -c*g + 8 - 20 = 0 for g.
-3
Let g = 425 - 325. Let t be 3/(18/g) - 3/(-9). Solve -t*z + 22*z + 5 = 0 for z.
-1
Suppose -4*a = -4*n + 8, -5 = -2*a + 5*n - 9. Let j be 4/a*(-17)/17. Solve m - 2 = j for m.
4
Let p be (-6 + (1 - 0))*-1. Let j be (37 - 25)*2/8. Suppose -j*t = -4*t - 3*s - 3, 4 = -5*t - 4*s. Solve -l + 2 - p = t for l.
-3
Suppose 12 = 4*r, -9*r + 4*r - 1390 = -5*d. Solve d*g = 291*g - 40 for g.
4
Suppose 13*u + 11 = 167. Let g be (3 - 42/u)*0. Solve g = -2*f - 1 + 7 for f.
3
Let r be (4/1 - -1) + -2. Suppose 4*q = r*q + 25. Let c = q + -21. Solve 0 = 3*s - c*s - 1 for s.
-1
Suppose -82*s + 64065 - 11493 = -10322. Solve s*o = 768*o + 5 for o.
-5
Let f be ((12/42)/(3/(-14)))/(6/(-18)). Let u(q) = q**2 - 3*q + 7. Let i be u(6). Solve i = f*k + 9 for k.
4
Let m be (-17)/(51/(-78) + 0 - 26/(-169)). Solve 96 = 26*i - m for i.
5
Let n = 247 - 246. Let c(y) = 3*y + 4*y**2 - 7*y + 8 - 4*y. Let t be c(n). Solve 5*u - t + 29 = 0 for u.
-5
Let z(u) = -u**3 - u**2 - 2*u - 6. Let c be z(-4). Let l = c - 45. Suppose -2*q + 5 = 5*m, 3*q = -2*q - l*m + 20. Solve -q*j + 2*j = 9 for j.
-3
Let w(l) = l**2 - 3. Let q be w(3). Let j(k) = -k + 70. Let i be j(13). Suppose -t = 2*p - 22, -18*t + i = 5*p - 15*t. Solve -q = -5*x + p for x.
3
Let h be (53 - 141)*(-75)/24. Solve 53*v - 43 = h for v.
6
Let x be 42/(((-15)/10)/3). Let c be ((-244)/(-183))/(8/558). Let r = c + x. Solve -3*m + r = -3 for m.
4
Let d be 1/(-3)*(-4 + -2). Suppose 93 = 4*b - 5*g, -2*b = -0*g - 5*g - 49. Suppose -38*i + 64 = -b*i. Solve d*c - i = 2 for c.
3
Let i(f) = -3*f**3 - f**2 + f + 1. Let z be i(-1). Suppose n - 5*u - 15 = 0, 4 + 2 = -z*u. Let p be 6*210/(-63) + 20. Solve n = -2*a - p*a + 10 for a.
5
Suppose 0 = 5*b + 4*w + 15, -b = 3*w + 2*w + 24. Let r(u) = 7*u**2 + 5*u - 6. Let h be r(b). Solve h*s + 2 + 10 = 0 for s.
-2
Let y = 111 + -345. Let d = y + 94. Let p = -137 - d. Solve w = -p*w - 8 for w.
-2
Let k be ((-5391)/(-2396))/((-6)/(-128)). Solve 17*x + k*x = -65 for x.
-1
Let i(p) = p**2 + 120*p - 5995. Let t be i(-158). Let u = 11 - 2. Solve u*j - t = 9 for j.
2
Suppose 5*g + 3*p - 437 = 0, 2*g - 3*p - 153 = 26. Let y = 93 - g. Let a be (-2 - 0 - -2)/3. Solve 0 = y*w - a*w for w.
0
Suppose 10*s = 8*s - 6, 5*r - 126 = -3*s. Suppose 0 = -5*n + y + r, -5*n + 2*y + 8 = -21. Suppose 4*c = -16, -2 = -4*d - c + 6. Solve d = 4*z - n for z.
2
Let y(p) = -6*p - 189. Let u be y(-31). Let c be 1*(u - (-5 + 2)). Solve -5*h + 23 - 28 = c for h.
-1
Suppose 0 = -3*q + 3 - 15, 4*y - 184 = q. Solve 57*f = y*f + 36 for f.
3
Suppose 191*b - 14*b + 12*b - 1890 = 0. Solve b = 97*v - 92*v for v.
2
Let q(h) = h**3 + 15*h**2 + 13*h - 9. Let m be q(-14). Suppose 0*k = m*j - k, -k = -5. Solve 5*c - j = -6 for c.
-1
Suppose -2132 = -102*i - 248*i - 382. Let r be (4/6)/((-2)/(-3)). Solve -3*c + i + r = 0 for c.
2
Let g = 8114 - 8114. Solve g = -36*x + 18*x + 18 for x.
1
Let c be (2 - (-5)/(-3))/(84/(-1764)). Let s(h) = -4*h**2 - 36*h - 34. Let y be s(c). Solve -3*p + y = 28 for p.
-2
Suppose -2*c + 1 = 3*v, -5*v = 4*c - 8*c + 57. Suppose -2*t = 5*m - 25, 6*t - 4*m = 2*t + c. Solve -10 + t = z for z.
-5
Let z = -3352 - -3385. Solve 12 + 54 = z*p for p.
2
Suppose 19*t + 499 = 22*t - 32. Solve 149 = -7*v + t for v.
4
Let h = 7348 - 7333. Solve h*a - 8*a - 7 = 0 for a.
1
Let u(v) = -v**3 - 25*v**2 - v - 25. Let k be u(-25). Let g be (k - -4)*(-6)/(-80)*10. Solve 0 = -6*z - 9 - g for z.
-2
Suppose 5*r + 160 + 70 = -5*q, -q = 5*r + 50. Let d = -43 - q. Solve -3*g = d*g for g.
0
Let z = 23919 - 23901. Solve -39*x + z*x = -7*x for x.
0
Let a(u) = -u**2 + 16*u + 36. Let i be a(18). Suppose 0 = -666*p + 664*p. Solve 3*g + i*g = p for g.
0
Suppose 36 = x - 4*x. Let u(r) = r**2 + 12*r - 2. Let y be u(x). Let c be y/9 + (-392)/(-63). Solve c = -4*z - 6 for z.
-3
Suppose -4*c + 149 = -p + 454, 302 = p - 3*c. Solve -p*h = -294*h - 1 for h.
-1
Suppose -q + 5*q + 2*i - 232 = 0, 3*i + 132 = 2*q. Suppose -14*j + 19*j - q = -5*v, v + 3*j = 18. Solve -v = -3*y + 6 for y.
5
Let j(l) = 8*l + 38. Suppose -4*s + 17*s + 52 = 0. Let o be j(s). Let a(r) = -8*r + 1. Let q be a(-3). Solve q = -g + o*g for g.
5
Let l(i) be the second derivative of -i**5/10 + 35*i**4/12 - 5*i**3/2 - 29*i**2/2 + 50*i. Let j be l(17). Solve -j*x + 9*x - 12 = 0 for x.
3
Let p(v) = -v**3 + 22*v**2 - 21*v - 157. Let o be p(18). Solve 754*m = o*m - 7 for m.
1
Suppose w = 4*q + q + 17, -q = 2*w - 23. Let u = 59 + -75. Let s be (u/w + 1)/(1/(-12)). Solve s*o = 2*o + 8 for o.
4
Suppose -3*c - 2*y = c - 1974, -3*c + 1476 = -3*y. Suppose -7*x + c + 4 = 0. Suppose 9 = -68*a + x*a. Solve 2*w - a*w + 4 = 0 for w.
4
Let q be 3 + (-81)/99 + -4*(-2)/(-44). Solve 3 + q = c for c.
5
Suppose -3*y = -10*i - 70 - 16, 2*i + 22 = y. Solve 13*w = y + 40 for w.
4
Let y be (207/27 - 7)*(-1 - -34). Suppose 4*z = 3*o - y, 5*o - 3*z = 2 + 20. Solve -o*n + 1 - 11 = 0 for n.
-5
Let f be (7/21)/(((-4)/9)/(-4)). Suppose -73 = -3*q - 61. Suppose 0 = f*j, 0 = r - q*r + 2*j + 24. Solve 4*n - r = -0 for n.
2
Suppose 5*a = 4*k + 3, 4*a + 4 = -3*k + 25. Suppose 5*o - 5948 + 6073 = 0. Let m be (-10)/o + (-253)/(-55). Solve k*d + 2*d - m = 0 for d.
1
Let m be (-3)/(-1)*(-95)/(-57). Let i be (m/(-15))/(3/(-54)). Suppose 0 = -4*l - i + 14. Solve 0*g - l*g + 6 = 0 for g.
3
Let p = -492 - -494. Suppose -204 = -5*h + u, -38 + 166 = 3*h - p*u. Solve -13*q = -3*q - h for q.
4
Let k(n) = 3*n**2 - 3*n**2 - n**2 + 2*n**2 - 8. Let c be k(-4). Suppose -5*j = 3*u - c, 0 = -7*j + 2*j - 5*u. Solve -24 + 8 = -j*s for s.
4
Suppose 2*t = -14*t + 12864. Solve 811*r - 35 = t*r for r.
5
Let x = 5872 + -5840. Solve x*i - 153 = 7 for i.
5
Suppose -10 = 63*x - 68*x. Let s be ((-8)/(-28))/((x/(-28))/(-1)). Solve -3*j = -13 + s for j.
3
Let z be (3/(-2))/(14 + (-11937)/852). Solve w - z + 137 = 0 for w.
5
Suppose 2*r = 10*r - 56. Suppose r*s - 28 = -14. Solve -25 = -3*q - s*q for q.
5
Suppose 5133 = 58*w + 3973. Solve -819*s = -823*s - w for s.
-5
Suppose -2*j = -4*j + 5*x - 102, 3*j - x = -140. Let z = -45 - j. Suppose -p = 4*m - 26, -9 + z = -p + 2*m. Solve -5*t - p = -34 for t.
4
Let x(d) = 18*d**2 - 14*d - 39. Let u be x(-9). Let s = u - 1545. Let f = -1 - -1. Solve f = m - s*m for m.
0
Suppose -100*o = -93*o. Suppose 3*v = u + 6*v, o = -u + v + 12. Solve -7*q - u - 12 = 0 for q.
-3
Let q = -390 + 397. Let i(c) = 2*c**2 - 17*c + 24. Let h be i(q). Solve h*n = -5*n for n.
0
Let m be 400/96*(-12)/(-10). Let s be (6/10)/((-2)/(-10)). Solve -m*i + s = -6*i for i.
-3
Suppose d + d - s - 2 = 0, -5*s = 3*d - 29. Let p = -467425 + 467425. Let g(y) = y**3 + y**2 + 12. Let f be g(0). Solve p*i - f = d*i for i.
-4
Suppose 135*x = 257 - 482 + 1575. Solve x*q + 31*q = 82 for q.
2
Suppose -3*d + 2 = 4*z - 13,