 g = a + 2*a for a.
0
Suppose -5*q + 2*i + 36 = 0, 10 - 52 = -5*q - i. Let r be (-4 - (-1 - q)*1) + -1. Solve t + r = 2 for t.
-2
Let k = -7 - -11. Let g(j) = 3*j + 35. Let n be g(-10). Suppose 0*o - n*o + 45 = 0. Solve -k*f + o = -7 for f.
4
Let m = 1025 + -1013. Solve -m*t = 13 + 11 for t.
-2
Let y(m) = m**2 - 33*m - 80. Let w be y(35). Let p be (-20)/(-25) + (-32)/w + -2. Solve -2*r - p = 2 for r.
-2
Let f(a) = -a**2 + 7*a - 1. Let i = -12 + 20. Let n be f(i). Let m be 8/12 - 12/n. Solve -m*r = -0 - 6 for r.
3
Let v = 5264 - 5211. Solve 19*r + 15 = v for r.
2
Suppose 0 = -716*a + 796*a. Let k(j) = j + 4. Let d be k(-4). Solve 5*q + d*q + 15 = a for q.
-3
Let v = -31 + 29. Let t be 14/(-4)*-2 + (-6 - v). Solve 7 = -t*n - 8 for n.
-5
Suppose 60*z - 160*z - 66*z = -9960. Solve 32*k - 2*k - z = 0 for k.
2
Let u(s) = -4*s + 15. Let v be u(8). Let x = 24 + v. Solve 2*w - x*w = -10 for w.
2
Let y = 3980 + -3955. Solve -5*w + 40 = -y*w for w.
-2
Suppose -2*k = -1 - 3. Suppose u = -k*u + 18. Let r = -60 - -64. Solve r*y - 2 = u*y for y.
-1
Suppose -245*b + 1329 + 1317 - 196 = 0. Solve 13*w + b = 36 for w.
2
Let t be ((-7564)/(-155))/((-4)/(-10)). Suppose -6*q = -t + 98. Solve -f = -q*f + 15 for f.
5
Suppose -25*w + 12*w = 12*w - 475. Solve -w*a - 92 = 27*a for a.
-2
Let l(h) = -2*h**3 + 36*h**2 + 38*h - 64. Let p(t) = t**3 - 18*t**2 - 19*t + 32. Let n(w) = 2*l(w) + 5*p(w). Let s be n(19). Solve -2*x = -10*x + s for x.
4
Suppose 0 = 3*l + 2 + 1. Let k be -1 + 1*l + -12 + 16. Let y(o) = 3*o**2 - 4*o + 1. Let a be y(k). Solve -2*z - 5 = a for z.
-5
Suppose 135 - 55 = 2*h - 4*i, -4 = 4*i. Solve -h = -5*l - 53 for l.
-3
Let u(z) = -3*z**3 - 4*z**2 - 15*z - 7. Let h be u(-3). Let p = h + -82. Solve -2*r = 3 + p for r.
-2
Let k be (-19)/(209/(-77)) + 6/(-12)*14. Solve k = 28*a + 31 - 3 for a.
-1
Let b(k) = -k**3 + 15*k**2 - 18*k - 6. Let h be b(13). Let d = 98 - h. Solve d = 10*o - 6*o - 20 for o.
5
Suppose -64*d + 52*d + 14616 = 0. Solve 1213*a - 15 = d*a for a.
-3
Let t(u) = 1 + 29*u**2 - 33*u**2 + 9*u**2 - 3*u. Let w be -1 + 4 + 2*-1. Let g be t(w). Solve g*n = n - 6 for n.
-3
Let p be (-1 + 4)*(-1)/(-3). Suppose 13*x = 9*x - u + 4, 0 = -2*x + 4*u - 16. Suppose r - 3*i - 8 = x, 5*i + 20 = -0*r + 3*r. Solve p = 2*w - r for w.
3
Let s(d) = -d**2 - 68*d - 867. Let v be s(-51). Solve -10*y + v = 30 for y.
-3
Let c be ((-85)/45 + 3)*9. Suppose -4*u + 5*y = -10 - 27, -c = 2*y. Solve -6*s + u = -9 for s.
2
Suppose 2 = -r - 5*j - 0, -5 = -2*r - j. Suppose 0 = r*i - 4*i + 4*y + 62, -5*i + 230 = -4*y. Solve -4*z + i = 38 for z.
1
Let a be (-3)/4 - (-76)/(-48)*-3. Suppose p - 2*c = -a, 3*c - 12 = 2*p + c. Let n be (-6 - p)*(1 - -3). Solve 3*m - m = n for m.
4
Let f be -1 + 6/21 + (-4)/14. Let c be (10/(-4) - f)/(9/(-198)). Suppose 27*b = c*b - 36. Solve b = -n - n for n.
-3
Suppose 0 = -2*n - 5*t + 289, -2*t = -5*n + 3*n + 254. Let z = -218 + n. Let b = 90 + z. Solve -s = -b*s for s.
0
Suppose -12 = x + 5*u - 0*u, x - 28 = 5*u. Suppose 1651 = 9*p - 887. Let q = p - 279. Solve q*n - x = -n for n.
2
Let m = 241 - 239. Let y be (1*2/12)/(m/24). Let d(o) = o + 12. Let i be d(-7). Solve 3 = -y*q + i for q.
1
Suppose -426 = -3*d - r - 396, -6 = -2*d + 4*r. Let n = -30 + 57. Solve 9*q - d = -n for q.
-2
Let o(u) = u - 4. Let x(j) = -j + 5. Let r(f) = 6*o(f) + 5*x(f). Let d(n) = -3*n - 10. Let z(q) = d(q) + 4*r(q). Let k be z(7). Solve h - k = 3 for h.
4
Let j = -9671 - -9927. Solve j = 42*z - 74*z for z.
-8
Let s(o) = -o**2 + 3*o + 9. Let y be s(4). Let n be 0 - 5 - y*(-9)/3. Solve -5 - n = 3*v for v.
-5
Suppose 406 = 11*s + 9*s + 26. Solve s*u + 47 = 9 for u.
-2
Let t(g) = -g**3 - 16*g**2 - 49*g - 9. Let b be t(-12). Let c = -11 - -20. Solve -3*z - b = c for z.
-4
Let q = 665 - 646. Solve q*c - 91 = 6*c for c.
7
Let i be (2/(-6))/(((-95)/60)/19). Suppose 8*w + 20 = i*w + 4*o, -20 = -4*w - 4*o. Let n be (2 + -3)/(-1 - w/(-4)). Solve 5 = 3*t - n for t.
2
Let w be (5 - (-1100)/(-30))/((-1)/3). Let h = w - 80. Suppose -3*m - h + 45 = 0. Solve 0 = -2*y + 4*y + m for y.
-5
Suppose -5*d - 20 = 5*y, 2*y - d = -4*d - 9. Let o(r) = 19*r - 20. Let u be o(y). Let j be (-396)/u + (-1)/7. Solve 2 = j*w - 3 for w.
1
Suppose 48*i + 119*i = 4843. Solve i - 24 = -5*d for d.
-1
Let f(j) = 2*j + 15. Let m be f(-6). Let o be 1*((4 - m) + 1). Suppose -o*h - 2*h = -36. Solve -3 = -2*y - h for y.
-3
Let w = 6101 + -6078. Solve -111 = -w*d - 42 for d.
3
Let b(p) = 691*p + 831. Let m be b(-1). Solve -2*a + 37*a = m for a.
4
Suppose -5*m + 4*m = 15*m. Suppose -13 - 17 = -2*n - 5*f, -4*f = m. Suppose 0 = -v - 0*v. Solve v = -0*s - 5*s - n for s.
-3
Suppose 71*m - 13*m = 8236. Solve 0 = 4*g + m - 154 for g.
3
Suppose 47*n - 51*n + c + 18 = 0, -3*c + 31 = 5*n. Solve 7*t = n*t - 2*t for t.
0
Suppose -5*o - 2*s + 48 = 0, 10*o = 9*o - 4*s + 6. Let w = o + 35. Solve 0 = -w*l + 44*l + 1 for l.
1
Suppose 4*a + 350 = 5*g, -5*a + 82 = 3*g - 165. Suppose 28*l + 9*l = g. Let b(j) = -j**3 + 5*j**2 - 2*j - 4. Let r be b(4). Solve -4*q + r = -l*q for q.
2
Let l(u) = 45*u - 978. Let a be l(25). Solve -6*j - a = 15*j for j.
-7
Let l be 8*-2*(-3 + 1). Let j(k) = -24*k - l*k + 1 - 28*k + 86*k. Let v be j(1). Solve 2 = v*q + 8 for q.
-2
Let u be 7/(-2)*(-44)/77. Let x be 1/u*(-4 + 10). Solve 6*v + x = 3*v for v.
-1
Let q be (2 - 3)*9/36*-20. Solve -5*k - q = 10 for k.
-3
Let m be (-42)/(((-63)/98)/(-3)). Let b = -194 - m. Solve -2*u - b - 8 = 0 for u.
-5
Let z = -35 - -124. Let t = 13 - z. Let i be 6/4*t/(-57). Solve -i*s - 20 = -7*s for s.
4
Let o = -5794 + 5826. Solve 44*r = o*r for r.
0
Let z = -15061 + 15187. Solve -77 = z*r - 115*r for r.
-7
Suppose -8 = -4*m + 2*r, -2*m - 4*r = 2 - 26. Suppose 10*x = 14*x - v - 8, 5*x - m*v = 10. Solve x*u - 11*u = 18 for u.
-2
Let k be (22 + -20)/(36/378). Solve -11*m - 80 = -k*m for m.
8
Suppose -5*h + 2*j + 3650 = j, h + 2*j - 719 = 0. Suppose 8*c = h - 713. Solve c*a = -17 + 7 for a.
-5
Let q be ((18/(-20))/((-6)/165))/((-18)/(-72)). Solve 0 = 98*v - q*v + 1 for v.
1
Suppose 0 = 15*n - 11*n - 232. Let s = n - 47. Suppose 13*o = s*o + 8. Solve 0*a = o*a - 20 for a.
5
Let w be 1361/(-7) + 4/(-56)*-6. Let g = w + 198. Solve 0 = -f + g*f - 9 for f.
3
Let g be 9*(-2)/(-15)*10. Let p be 0 - 3 - 96/16. Let l = p + g. Solve 0 = 2*u + l*u - 20 for u.
4
Suppose 3 - 83 = -4*t. Suppose 0 = -279*y + 276*y + 12. Solve 4 = y*a + t for a.
-4
Let o be 20/7 - 28337/(-4613). Suppose 4 = -g - 2*s + 2, 3*s = -15. Solve -5*k = -g*k + o for k.
3
Suppose i - 4 = -i. Suppose 2*s = -5*m + 6 - 0, 0 = -5*s - 3*m + 15. Let c = 339880 + -339875. Solve -c*f - i = -s*f for f.
-1
Suppose l + 0 - 1 = o, -o = l - 7. Suppose 3*n + 28 = 4*k + n, -28 = -l*k + 3*n. Solve 0 = k*s - 9*s + 4 for s.
2
Let c(x) = x**3 + 6*x**2 + 2*x - 14. Let n be c(-6). Let r = -21 - n. Let l be (1 - r) + 0 + 8. Solve 0*b = -l*b - 4 for b.
-1
Suppose 0 = -42*k + 1106 - 1106. Solve k = -6*t + 69 - 33 for t.
6
Let j(y) = -6*y + 61. Let a = 120 + -111. Let r be j(a). Solve -2*b - 25 = -r*b for b.
5
Let g = -1354 + 1558. Solve -s = -205 + g for s.
1
Suppose -112*l + 2448 = -94*l. Solve 0 = -153*d + l*d + 102 for d.
6
Let x(o) = -o**3 - 52*o**2 - 286*o + 148. Let d be x(-46). Solve -102*r = -26*r - d for r.
8
Suppose j = -2*j + 219. Suppose 27 = 5*i - j. Let w = 65569 + -65563. Solve -o - i = -w*o for o.
4
Let q(h) = -151*h**2 + 2416*h + 4. Let u be q(16). Solve -u*k = 103*k for k.
0
Let k be (-5)/15 - 882/(-54). Solve 56 = 12*h - k for h.
6
Let d = 14 - 9. Suppose 11 + 4 = d*t. Solve 16 = t*h - 7*h for h.
-4
Let t(v) = v**2 + 45*v - 239. Let s be t(-50). Suppose 3*k - 26 = 1. Solve 5*j + k = -s for j.
-4
Suppose -39*o = -44*o + 410. Let w = o - 73. Suppose 6 + w = 5*q. Solve 0*c + 6 = -q*c for c.
-2
Let k = 148 - 132. Let r be -3 + k/(-10)*15/(-6). Suppose -3*t = 4 - 13. Solve 2*y + r = -t for y.
-2
Suppose -32 = -3*k + 11*k. Let o be -16*(-1 - k - 7). Solve o*g = 62*g for g.
0
Suppose -5*f + 2258 + 1662 = 2*d, 1971 = d - 3*f. Let x = -1965 + d. Let z = -1 - -13. Solve -5*b + b + z = x for b.
3
Let o(b) be the first derivative of 2*b**3/3 + 4*b**2 - 26*b + 171. Let n be o(3). Solve -3*r = n - 1 for r.
-5
Let x be (-29)/116 + (5/4 - 1). Solve x = -124*q + 111*q for q.
0
Let o(n) = -27*n + 158. Let j be o(6). Let c be (7 + -10)/(2/j 