+ 6*y + 12 for y.
-2
Suppose a - 1576 = -5*d - 1589, 4*a - 4*d - 20 = 0. Solve a = 5*c - 18 for c.
4
Suppose u = -4*u - 1480. Let r = u + 299. Suppose -4*h + 2*h = 0. Solve -r*k + h = 12 for k.
-4
Let r(t) = -12*t + 101. Let z be r(9). Let w be (z - (-4 + -42))*1. Solve 0 = w*p - 41*p for p.
0
Let v(t) = -2*t**3 + 23*t**2 + 25*t - 26. Let u be v(12). Solve 2 = -129*b + u*b for b.
2
Suppose -4*o - 4*k + 6*k = 28, -30 = 4*o - 3*k. Let g be 4/o - (-3 - (-12)/9). Let j be (-8 - -4)/(-2) - (g + -2). Solve j = -5*q + 13 for q.
2
Suppose 55*h = -5*h - 92*h + 5320. Solve 0 = -0*g - h*g - 245 for g.
-7
Let s be 159/(-4293) - 46064/(-54). Solve -23*u = -s + 876 for u.
-1
Let i be -6 - 0 - 3*(-30)/9. Suppose n + 3 = 2*n. Suppose -5*k + 9 = i*s - 17, -s = -n*k + 2. Solve k*d - 8 = 6*d for d.
-2
Let x = -86 + 88. Suppose 2*o = -x*o - 8*o. Solve o + 1 = u for u.
1
Let t be -9 + ((-48)/3)/(-8). Let r be 13/2*6/3. Let i = r + t. Solve 14 = 5*m - i for m.
4
Suppose 2*z = -166*w + 167*w + 9, 2*z + 2*w = 12. Solve -z*l = 25*l - 60 for l.
2
Let z(n) = -7*n**3 + 2*n**2 + 3. Let g(p) = p**3 - 4*p**2 + 3*p + 2. Let s be g(3). Let w be z(s). Let d = 46 + w. Solve -d = 5*o + 4 for o.
-1
Let q be (28/(-210)*-6)/((-6)/(-105)). Solve -50 = -q*w + 24*w for w.
-5
Suppose -5*o + q = -14, 0*o - 14 = o + 4*q. Let y(n) = 2*n + 2. Let r be y(o). Let s(j) = 4*j + 38. Let i be s(-9). Solve 0 = -0*x - i*x - r for x.
-3
Let q = 441 + -119. Let h = 333 - q. Solve 3*c + 20 - h = 0 for c.
-3
Suppose -3*z + 12*k + 183 = 11*k, -2*z = 2*k - 114. Suppose -z = -83*b + 68*b. Let h(q) = -q**2 + 6*q + 10. Let l be h(7). Solve l*c = b + 5 for c.
3
Suppose 0 = 1387*v - 1382*v - 315. Suppose -3*o - 66*i = -v*i, -3*i = -o. Solve 3*b + 11 - 20 = o for b.
3
Let d(q) be the first derivative of q**3 + 7*q**2/2 + 4*q + 19. Let t be d(-4). Let x be (33/(-6) - -1)*t/(-18). Solve -4*h - x = -2 for h.
-1
Let u = 284 + -261. Suppose -m - u = 7*n - 2*n, 3*n + 5 = -5*m. Solve -4*q + 5*q = m for q.
2
Let b(w) = -75*w - 106. Let r be b(6). Let h = -552 - r. Solve h*j + 0*j = 2*j for j.
0
Let p(w) = w**2 + 2*w - 6. Let g be p(-3). Let j = -11 + g. Let i be (20 + j)/(1 + 0). Solve 4*q - i = q for q.
2
Let b(v) = 11. Let m(o) = 5. Let d(n) = 6*b(n) - 13*m(n). Let a(j) = -j**2 - 4*j + 1. Let x(h) = -a(h) + d(h). Let r be x(-4). Solve r = -0*z + z for z.
0
Suppose 16 - 6 = m + 4*w, -m + 3*w = 25. Suppose -2*p + 4*c = p - 19, -3*p + c + 7 = 0. Let k be 3/p + 10 + m. Solve k*q = 7*q - 12 for q.
3
Let a = -2655 + 2894. Solve -a = -3*n - 248 for n.
-3
Let m(x) = 2*x**2 - 3*x + 1. Let o be m(5). Let j = 9 - o. Let u be (-45)/j - (-1)/3. Solve -u = -2*t + 6 for t.
4
Suppose 24*m - 31*m + 28 = 0. Let g be 2*(0 + m)/2. Suppose -10 = -h - 4*h. Solve k - h = -g for k.
-2
Let m be 54 - 60 - (9/(-2) + 27/(-18)). Solve -6*k + 16 - 52 = m for k.
-6
Suppose -4*d + 5*d = 18. Suppose 0 = d*g - 22*g + 8. Let x be g + -3*(4/4)/(-3). Solve 0 = -x*p + 8 + 1 for p.
3
Let y = -50 + 53. Suppose 19 = y*u - 11. Suppose 3*a = -2*b + 2, -2*a + u = 5*b - 6. Solve -b = -2*m - 12 for m.
-4
Let m(g) = g**3 - 5*g**2 - 36. Let n be m(6). Solve 29*i = -n - 29 for i.
-1
Let l(j) = -2*j**3 - 154*j**2 - 155*j - 219. Let s be l(-76). Solve 711*i - 708*i + s = 0 for i.
-3
Suppose -3*z + 459 = -4*d, -134*z + 4*d = -136*z + 346. Solve -z*o - 155 = -192*o for o.
5
Suppose -1075 = 21*h - 1096. Solve h = -3*f - 8 for f.
-3
Suppose 0 = -3*k - 3 + 12. Suppose -4*v = -s - 8 + 9, -5*v = -5. Solve s = b + k for b.
2
Suppose -5*d + 158 = g, 0*g - d + 166 = g. Let j = g + -144. Solve 0 = 5*r + 1 + j for r.
-5
Let t be (-90)/(-120) + (-10)/(-8). Suppose t*p - 17 + 11 = 0. Solve -6 = p*u - 6*u for u.
2
Let b = 4693 - 4643. Solve b*h + 306 = -h for h.
-6
Suppose 64*w = -8*w. Solve w = -11*u + 21*u + 30 for u.
-3
Let g be (1 - 0)/(((-353)/1765)/(14/(-5))). Solve -7*b - 14 + g = 0 for b.
0
Let j(r) = -r**2 - 8*r + 86. Suppose 6*f = -3*z + 8*f - 48, 0 = 3*z - 5*f + 57. Let m be j(z). Solve 5*d = -m + 17 for d.
3
Let j be (-8)/2*8/36*9. Let r(l) be the first derivative of -l**2 - 12*l - 2. Let o be r(j). Solve 5*y - o = 1 for y.
1
Suppose 266 = 17*m - 10*m. Suppose 0 = -10*o + 2 + m. Solve 0 = -3*h + 7*h + o for h.
-1
Let a be (7 + 128)/9 - 4. Suppose 5*g - 14 = a, 2*d - 3*g - 23 = 0. Solve 9*b - 17 - d = 0 for b.
4
Let c be (43 - 3)*(-5 - (-10 - -3)). Solve 11*z + c = -5*z for z.
-5
Let a be 3*2/7*21/(-9). Let v be a/3 - 201/9. Let r = 31 + v. Solve -n = -5*n + r for n.
2
Suppose -848 = -21*t - 32*t. Suppose 1 = 2*u - 4*l - 3, -8 = -4*u - l. Solve -t = -u*b - 24 for b.
-4
Let h be 4*2*(6 - (7 - 2)). Suppose -10 = h*f - 13*f. Let x(n) = -n**3 + n**2 + 3*n + 3. Let d be x(-1). Solve 0 = -f*z - d*z for z.
0
Suppose 2178*d = 2189*d - 11. Solve y = -d + 1 for y.
0
Suppose -32*z = -35*z + 3*x + 63, -6*x = z + 21. Suppose 0 = 3*h + 30 - 6. Let l be 17/3 - h/(-12). Solve -z = -l*m + 5 for m.
4
Suppose 5*t = 5*w - 10, -6*t - 10 = -3*w - t. Let n be (-2 - w)/(10 - 11). Solve p - n = 3*p for p.
-1
Let y(m) = -m**2 + 3*m + 16. Let v = 157 + -152. Let z be y(v). Solve -z*h = -5*h + 5 for h.
-5
Suppose 4*c = 15 + 65. Suppose -c*g - 35 = -27*g. Solve -m + g = 6 for m.
-1
Suppose -106*k = i - 101*k - 27, 0 = -5*i + k + 291. Solve 40*o = i*o + 34 for o.
-2
Let l(h) = 2*h**2 - 9*h - 16. Let j be (-8)/(-64) - 363/24. Let b(m) = m**2 + 14*m - 9. Let d be b(j). Let f be l(d). Solve -q = q + f for q.
-1
Suppose -59*n = -102*n - 105 + 1051. Solve 19*u + n = 8*u for u.
-2
Suppose 9*x = 259*j - 258*j - 788, -4*j - 3*x = -2957. Solve -14*p - 827 + j = 0 for p.
-6
Let k = -369 - -398. Suppose 5*w + 96 = k*w. Solve 9*h - w*h + 5 = 0 for h.
-1
Let y be -1 + 3 - 42/3. Let p be (-11)/(-4) - (63/y)/(-7). Suppose 3*c = 2*c + 17. Solve 3*w - c + p = 0 for w.
5
Suppose -5*q = 2*h - 14, 0*q + 4*h - 12 = -2*q. Suppose q*o + y - 256 = -2*o, -3*o + 4*y = -173. Let c = -57 + o. Solve 3*d + c = -3 for d.
-3
Suppose 2*t - 4 = 0, 0*a + t = -2*a + 6. Let c be (a/(-5))/(2/(-10)). Suppose h + i = 15, -5*i = -4*i + 1. Solve -h = -2*q - c*q for q.
4
Let s = -8410 - -8410. Solve s*r - 19 = -19*r for r.
1
Let k be (-5)/40 + (-121)/(-8). Let q be (-4 + -11)*(-5)/k. Solve 6*c = q*c - 2 for c.
-2
Suppose -2 = -4*n - 26. Let i be (-4)/(4/(n - -2)). Suppose -15*w - i = -19*w. Solve 2 - w = -j for j.
-1
Let m be 50*(15/6)/5. Let q(c) = c**2 - 14*c - 75. Let r be q(22). Suppose 109*y = r*y. Solve y = -d - 4*d - m for d.
-5
Suppose -27*r - 5*r = 0. Suppose 4*c + 202 - 226 = r. Solve c*a = 5*a for a.
0
Let k(z) = -z - 20. Let a be -60*(3/(-6) - (1 - 2)). Let q be k(a). Solve -4 = -8*t + q*t for t.
-2
Let l be (-165)/(-330) - (679/(-2) - 0). Let r = l - 334. Solve 7 = h + r for h.
1
Suppose -26*i = -1168 - 704. Solve 12 = i*w - 76*w for w.
-3
Let a = -12859 - -12871. Solve 11*q = 15*q - a for q.
3
Suppose -974*m - 168 = -980*m. Solve -m*b + 12*b = 32 for b.
-2
Let u be ((-12)/9)/((-6)/9). Let x = 302 - 301. Suppose 0*a + 4*a - 12 = 0. Solve -u*w + x = -a for w.
2
Suppose -7*x = -184 + 170. Let q = -64 - -67. Solve 0 = q*h + 1 + x for h.
-1
Let n be (-6 + 0 - -4) + 17/1. Solve 21*t = n*t + 36 for t.
6
Let a = 10411 - 10381. Solve 0 = -14*n - n - a for n.
-2
Let n(x) = x**2 - 24 + 10 - x + 19. Let b be 6/(-8) - 6/(-8). Let c be n(b). Solve -c*q = -q for q.
0
Let t = 6494 - 6461. Solve -t*p + 8 = -25*p for p.
1
Suppose 72*j = 2*z + 68*j - 58, -z + 20 = j. Solve -6*i + z*i = 51 for i.
3
Let r be 0 + -3 + 5/(-1)*1. Let v be (3/12 - -2)*r/(-6). Let n = 7 - 5. Solve n*c - 3 = v*c for c.
-3
Let c = -46 - -48. Suppose -4 - 13 = u + 5*p, 2*u - c*p = 26. Solve -u*y + 3*y = -5 for y.
1
Suppose -h - 6 = 5*a + h, 4*a - 2*h - 6 = 0. Let b(k) = k**3 + k + 28. Let o be b(a). Suppose 2*v - o = -2*u - 4, v - 24 = -2*u. Solve 0 = 3*p + p - u for p.
3
Let x(f) = 30*f - 313. Let g be x(11). Solve g*y + 2 = 16*y for y.
-2
Suppose -5*f + 106 = l + 95, 0 = -3*l + 2*f + 135. Solve -l = 14*j - 97 for j.
4
Suppose -4*g - 2*s - 59 + 155 = 0, 2*g + 3*s - 60 = 0. Solve g = 13*b - 57 for b.
6
Let b(j) be the first derivative of 2*j**3/3 - 53*j**2/2 - 78*j - 7. Let h be b(28). Solve 18 = -4*f + h for f.
-3
Let s = -42 + 45. Suppose -4*h + 2*t = -154, 0 = -s*t + t - 10. Let j = h - 33. Solve j = m - 2*m for m.
-3
Let i = -217 - -456. Suppose 0 = -2*r + 247 - 