k for k.
2
Let i = -23288 - -23311. Solve -i*g + 18*g = 15 for g.
-3
Let z be (-4)/((6/(-5))/((-242)/20 - -13)). Suppose 5*k = -k. Solve k = -5*t + z*t - 6 for t.
-3
Let a(c) = -c**2 - 8*c - 11. Let l(j) = j**3 + 6*j**2 - 27*j - 6. Let o be l(-9). Let u be a(o). Solve -r - 3 = u for r.
-4
Let y be (0/(-25)*(-1)/(-4)*2)/2. Solve y = -57*q + 54*q + 3 for q.
1
Suppose 2*m - 5*w = 18, -6*m - 6 = -8*m - w. Suppose -29*z = -m*z - 375. Solve 48 + 12 = z*l for l.
4
Let a be (-3*2/9)/(296/444). Let q(b) = b + 4. Let o be q(-3). Let w be a/o*(-4 + -1). Solve -p + w*p = -16 for p.
-4
Suppose 121 = -5*r + 426. Let b = r - 57. Suppose 2*l - l = 3*v - 13, -l = -b*v + 16. Solve 9 = -4*z - v for z.
-3
Let m(i) = -6*i + 245. Let y be m(35). Let l = -23 + y. Solve -l = 14*q - 18*q for q.
3
Let v = 5353 + -5318. Solve 69*o = 76*o - v for o.
5
Suppose -4*n - 5*q - 447 = 0, -3*n + q - 318 = -q. Suppose 12*r - 17*r + 10 = 0. Let g be (n/9)/(-1*r). Solve 0*s - g = 3*s for s.
-2
Suppose 48*p - 77*p = -232. Solve 183 = -p*q + 143 for q.
-5
Suppose 0 = -3*h - 18, 0 = -5*i - 5*h - 110 + 485. Solve 223*j = 196*j + i for j.
3
Let i(k) = -5*k - 3. Let x(l) = 12*l + 5. Let m(r) = 5*i(r) + 2*x(r). Let b be m(-11). Solve -6*w = 3*w - b*w for w.
0
Suppose -x = -3*x - 8. Let u(g) = 4*g + 18. Let k be u(x). Let v(a) = -a + 5. Let i be v(-11). Solve -k*q - 2*q = i for q.
-4
Let v(c) = c**3 - c**2 + 1. Let l be v(2). Let r(p) = 6*p + 55 - 21 - 19 - 21. Let n be r(1). Solve -10 = -l*w - n*w for w.
2
Suppose m = 3*w - 3*m - 178, 3*w = m + 184. Let q = -55 + w. Solve -g - 9 = -q for g.
-2
Let z = -14 + 14. Let w be (-1)/(z/2 - (-4)/(-8)). Suppose -h + 12 = w*h. Solve -h = -2*j + 3*j for j.
-4
Suppose -225 = 9*a + 162. Let j = a - -45. Suppose 5*k = -l + 20 - j, 4*l - 3 = 3*k. Solve -17 = 4*y + k for y.
-5
Let b(h) = 2*h**2 - 21*h - 33. Let n be b(13). Suppose 15*s - n = 88. Solve -s = -8*v + 8 for v.
2
Suppose -22*z + 10*z - 14*z + 5486 = 0. Solve -208 + z = 3*v for v.
1
Suppose -20 = -11*g + g. Suppose 4*w = 2*o - 4*o + 32, -w = -g*o - 8. Solve -4*a - w = -0*a for a.
-2
Suppose 3*j = -3*j + 18. Let c be j - 0 - 4/4. Suppose 0*q + 2*y - 7 = q, -4*q + 2*y = -c. Solve -7 - q = -5*x for x.
2
Suppose 2*v = -3*a + 3, 4*a + a - 2*v - 21 = 0. Suppose 2*r - 10*r = -48. Let b be (-3)/(r - a)*0. Solve b = 5*n + 9 - 34 for n.
5
Suppose -124*b - 137*b - 126 = -282*b. Solve -b*f = -60*f for f.
0
Suppose 3*h + 3*p + 6 = 0, -3*p = -5*h - p + 4. Let t be 8/2 + (-28 - h)/(-7). Solve -7*z - t = -5*z for z.
-4
Suppose -2*d = 2*j - 56, 86 = 5*j - 187*d + 183*d. Solve -j*g + 36*g = 112 for g.
8
Let h = 21332 + -21293. Solve 0 = -41*o + h + 2 for o.
1
Let o(c) = -c**2 + 6*c + 2. Let j be o(6). Suppose 3*k = -2*u + 7, 3*u - 3*k = -0*u + 3. Let i be -1 + u + -5 + 16. Solve -2*f = j*f - i for f.
3
Let r be 5/((1 + (-4 - -1))/2). Let p be r/(-1) - (12 - 7). Solve 0 = o - p - 1 for o.
1
Let l(z) = 7*z**2 - 204*z + 32. Let r be l(29). Suppose -2*b + g = 4*g - 12, 3*g = -4*b + 18. Suppose w = b*w - 6. Solve r = -4*h + w*h for h.
-3
Let v be (6 + 0)*((-725)/10)/5. Let p = v - -90. Solve p*d + 6 = 12 for d.
2
Suppose -12 = -c, -33*g + 18*g = -18*g + 4*c - 42. Suppose -s + 0*f + 1 = 4*f, 5*f + 55 = -5*s. Let i be (-6)/s - (-8)/5. Solve g*m = 8 + i for m.
5
Let z(w) = -w**2 - 12*w + 294. Let u be z(-24). Solve -u = 2*b - 10 for b.
2
Suppose 0 = -8*k + 12*k + 4. Let q be (0 - 1/(-2))/(k/(-14)). Let p be 35/q*(1 + 2). Solve 0 = -5*g - p - 0 for g.
-3
Let q be (-54)/(-8) - 2/(-8). Let u(o) = -3*o**3 - 182*o**2 + 81*o + 1220. Let w be u(-61). Solve w = 10*j - q*j - 6 for j.
2
Suppose 4*k + 30*k - 9418 = 0. Solve -262 + k = -3*c for c.
-5
Let b = -218 - -223. Suppose 0 = -0*a + b*a + 2*c - 35, 0 = -5*a + 5*c. Solve -a*i + i - 8 = 0 for i.
-2
Suppose 51*x - 2115 - 741 = 0. Solve -55 + x = -h for h.
-1
Let j be ((-10)/7)/((-6)/21). Suppose p - 35 = -j*u, 7*u = 4*u + 4*p + 21. Let i be 13/52 + u/4. Solve -i*s - 1 = 9 for s.
-5
Suppose 0 = -13*v + 5*v - 216. Let f be 18 + -1*v/(-9). Solve 38*j = 33*j + f for j.
3
Suppose k - p - 10 - 37 = 0, -233 = -5*k + 4*p. Let q = 45 - k. Let l be -2 + q - (-3 + (-18)/6). Solve 15 = l*v - v for v.
5
Let a be 11 - ((-72)/(-14) - 1/7). Suppose 3*z - a = u - 0, -z - 2 = -u. Solve g = u*g for g.
0
Suppose u = -1599 + 1595, -2*u + 7 = 3*i. Solve i*r = 27 - 22 for r.
1
Suppose 0 = 92*n - 626 - 478. Solve -n + 474 = 66*w for w.
7
Suppose -174 = 5*k - 7*k - k. Solve 0 = -3*i - 64 + k for i.
-2
Let o be 54/7 + 4/14. Let r be (o/20)/((-1)/(-5)). Suppose 3*c = r*l + 12, -3*l = -0*l. Solve c = 2*f - f for f.
4
Suppose 0 = 5*d + 25, 5*d + 19 = -3*g. Suppose 0 = 3*p + 10*w - 6, 5*p - 22*w + 26*w = 10. Solve -p - g = -2*f for f.
2
Suppose 5*v = 3*v - 2. Let h be 90/(-4)*((-5)/3 - v). Let y be (12/h)/(10/75). Solve 5*c - y*c = 4 for c.
-4
Suppose -d + 20 = 2*l, 88 = 5*d + 2*l - 20. Suppose 0 = -3*b + 21. Solve -b*r + d = -6 for r.
4
Suppose -5*i - 155 = -5*m + 20, -2*m = -4*i - 64. Solve -4*n + 54 = m for n.
4
Let f be (-12804)/(-485) - -2*(-1)/5. Solve -f*a + 40 = 14 for a.
1
Let v(l) = 3*l**2 + 4 - 5*l**2 + 931*l - 929*l. Let r(t) = t + 6. Let n be r(-6). Let b be v(n). Solve b*d - 2*d = 0 for d.
0
Let k = -177 + 177. Suppose 3*o - 4 = -4*r - k, 0 = -2*o - 4*r. Solve 0 = 5*v + 24 - o for v.
-4
Suppose 0*s = 3*s. Let r(c) = 58*c + 526. Let u be r(-9). Suppose -u*t = -s*t. Solve t*d + 10 = -2*d for d.
-5
Let c = -4880 - -4880. Solve 120*m - 113*m + 28 = c for m.
-4
Suppose 0 = 4*t - 4*p - 16, t + p + 3 = 3*p. Solve -54 = -t*s + 1 for s.
5
Suppose -22*z + 31*z = 36. Suppose 4*j + 36 = z*h, 4*h = -3*j + 17 - 9. Solve -4 - h = 3*g for g.
-3
Let w be -5*(-1 - (0 - 2)). Let z(p) = p**2 + p - 15. Let y be z(w). Solve -4*m - y = -9 for m.
1
Let n(h) = -1621*h - 30794. Let w be n(-19). Let g(v) = 5*v**2 - 2*v + 1. Let t be g(1). Let b(d) = d**2 - d + 3. Let u be b(0). Solve t*s = u + w for s.
2
Let c(v) = v**2 + 15*v - 1. Let m be c(-19). Suppose -6*y + 9*y = m. Suppose 0 = g - 5, -5*h = -0*g + g - y. Solve -h + 9 = -5*d for d.
-1
Let n(k) = k**3 - 31*k**2 + 29*k + 34. Let o be n(30). Suppose u - o*u = b - 11, 5*u - 22 = 2*b. Solve 0 = -u*g - 3*g + 21 for g.
3
Let w(u) = -u**2 + 6*u + 12. Let a be w(10). Let g be (-60)/8*(-5)/((-30)/a). Let n = -31 + g. Solve n*k - 12 = -0 for k.
3
Let v = -187 - -192. Suppose -5*p = 5*u + 20, 0*p + 20 = -4*p. Suppose z = -u + v. Solve -z*c = -1 - 3 for c.
1
Let b(m) = -m**2 + m + 34. Let l be b(-6). Let q(i) = i**3 + 8*i**2 - i + 2. Let p be q(l). Solve 0 = -7*d + p*d for d.
0
Let m(q) = 3*q**2 + 5*q + 3. Let u be m(-2). Suppose g + 7 = u*o - o, 4*g = -3*o + 29. Suppose 1 = -g*r + 6. Solve 7 + r = 2*j for j.
4
Let y(w) = w**3 - 6*w**2 + 96*w - 697. Let c be y(7). Solve 20*b - 32*b - c = 0 for b.
-2
Let b = 51 + -31. Suppose 0*z + 5*z - b = 0. Suppose -988*d = 1037*d - 2133*d. Solve d = y + 3 - z for y.
1
Let u be 3/(-6 + 314/52). Solve -8*w + 54 - u = 0 for w.
-3
Let a be 45/30 + (-3)/2. Solve a = -d + 2*d for d.
0
Let p be (16/(-24))/(2/(-15)). Let k = 28 - p. Let l = k + -18. Solve -l*v = -v for v.
0
Let t(z) = -4*z + 25. Let c be t(5). Let p(f) = -f - 7. Let m be p(-8). Solve m = -x + c for x.
4
Let d = -934 + 1334. Let w = 502 - d. Solve 4*p - 114 = -w for p.
3
Let t(r) = r**3 + 5*r - 6*r**3 + 5 + 4*r**3 + 4*r**2. Let f be t(5). Let q be -3*(-2 - (-4 + 3)) - (-44 - -45). Solve -q*s = 3 - f for s.
1
Suppose 2*j - 2*p - 32 = 0, 5*j - 115 = 2*p - 38. Suppose 0 = -m + 6*m + j. Let u be m/(-2)*2 - (0 - -2). Solve 4*z + u = 5 for z.
1
Let z = 107 - 102. Suppose -5*o = 0, 2*o = -2*n + z*o. Solve -6*v + 5*v - 4 = n for v.
-4
Let v = 432 + -425. Suppose 61 = v*i + 47. Solve 0 = -i*s - 4*s - 6 for s.
-1
Let u = -484 + 488. Suppose 0 = -5*r - 3*q + 70, u*r - 2*q - 12 = 2*r. Solve -2*g = -r*g - 36 for g.
-4
Suppose -719*k - 5*z = -715*k - 64, -z = -3*k + 48. Solve -k*r + 521 = 473 for r.
3
Suppose 26*a + 3 = 4*q + 25*a, -2*a - 6 = 0. Solve -7*n + 9*n = -q*n for n.
0
Let c(d) = d**2 + 6*d + 1. Let f be c(-6). Suppose -x - f = -4. Let o(m) = m**2 - 4*m + 5. Let b be o(5). Solve -2*y + b = x*y for y.
2
Suppose -3*l + 19 = 4*g - 2*g, -4*g - 7 = -3*l. Suppose -17 = -l*d + 8. Let m be (18/8)/((-2)/(-8)). Solve d*u + m = -6 for u.
-3
Suppose 2725 = 15*w - 410. Solve -8*b + w - 225 = 0 f