-2
Suppose -39*j + 26162 = 7403. Solve 480*v = j*v - 7 for v.
7
Suppose -3*b = 25 - 128 - 17. Solve 33*p = 25*p + b for p.
5
Suppose 5*k + k - 192 = 0. Suppose -12*t = -k*t + 160. Solve -t*n - 26 + 2 = 0 for n.
-3
Let v(t) = -t**2 + 32*t - 231. Let f be v(21). Solve f = -a - a - 6 for a.
-3
Let c = -1517 - -1536. Solve 2*w - c = 21*w for w.
-1
Let h(x) = x**3 - 30*x**2 + 31*x - 56. Let m be h(29). Let i(s) = -4*s + 8. Let c be i(m). Solve 2*d = -c*d - 6 for d.
-3
Suppose -4*l = -2*r + 1572, -3*l = 4*r - 163 + 1353. Let i = 394 + l. Solve -g + i*g = 3 for g.
-3
Let a be ((-16)/128*6)/((-2)/168). Solve c - a + 66 = 0 for c.
-3
Let v be 2/11 + (-2666)/(-341). Suppose -4*w = -p - 3*w - 2, p + 4*w - v = 0. Solve -4*c + 7*c + 15 = p for c.
-5
Suppose -3*n = -0*n. Suppose -4*m + 7*m = 33. Suppose 2*l - m = -0*q - q, q + 13 = 4*l. Solve -q = -n*p + 3*p for p.
-1
Let o = -11020 - -11053. Solve 14*f = -103 + o for f.
-5
Let w be (-12 - -372) + (-8)/(-3 + 1). Suppose 0 = -4*d - b + 352, d + 3*d = 2*b + w. Let s = 94 - d. Solve -5 - s = -2*x for x.
5
Let u = 27 + -165. Let w = 134 - u. Let k be w/51*(-6)/(-4). Solve 5*z = 3*z - k for z.
-4
Let a = -12 + 18. Suppose 0*d + 2*c = -2*d - 4, 5*d + 3*c + a = 0. Suppose r = 2*v - d - 10, -2*r = -4. Solve k + 25 = v*k for k.
5
Let p = 29 - 22. Let h(b) = 5*b**2. Let k be h(2). Suppose -4*d = -k + 4. Solve d*m - p = 13 for m.
5
Suppose 0 = 24*p - 20*p - 120. Solve -31*w + 32 + p = 0 for w.
2
Suppose -5562 = 3*g - 6015. Solve -17*w - g = -15 for w.
-8
Let x be 1457/62 - 9/6. Let z = x + -19. Solve 3 = z*c - 0*c for c.
1
Let k(x) = -3*x + 31. Let a be k(-7). Let g = -46 + a. Suppose -g*r = -2*r - 16. Solve r*m + 7 = -1 for m.
-2
Let g be (6 + -3)/(6/32). Let t be g/(-128) - (-690)/16. Let u = 48 - t. Solve u*x = 7 - 2 for x.
1
Let u = 766 + -568. Let s = u + -188. Solve 0 = r - s + 5 for r.
5
Suppose -5*w = 3*x - 40, -26*x + 25*x - 5*w = 0. Suppose -51*i = -41*i - x. Solve i*m + 15 = -m for m.
-5
Let z be (91 + -1)*((-6)/2)/6. Let n = 51 + z. Solve 3*w - n = w for w.
3
Let r = -7836 + 7855. Solve -57 + r = 19*x for x.
-2
Let b be -6*((-1)/3 + (-3)/9). Suppose 10*u - 12*u + 48 = 0. Let q be 18/b*32/u. Solve -6 = 3*w + q for w.
-4
Suppose -220*u - 446 = -7706. Solve 2*m = u*m - 124 for m.
4
Let b = -98 - -100. Suppose 0 = -5*g - 3*a + 185, 36 = b*g + 2*a - 38. Solve 34*x = g*x for x.
0
Let j(g) = -g + 10. Let o be j(6). Let k(q) = -q**2 + 7*q + 5. Suppose -3*i = 3*z - 30, 3 + 6 = 3*z - 4*i. Let t be k(z). Solve t*h - 6 = o for h.
2
Let h(i) = 4*i**2 - 3*i**2 + 0*i**2 + i. Let j be h(9). Suppose 2*z - 92 = -j. Solve 2*g - 9 = z for g.
5
Suppose -5*n = 3*t - 301, 3*n - 17 = -2. Let o = 92 - t. Suppose 0 = 2*b - 2*a - 3*a + 6, 5*b - 4*a - 2 = o. Solve q + b*q = -9 for q.
-3
Let q be ((-12)/(-8))/(6/(-12)). Let t be q*4/3 + -24. Let s = 39 + t. Solve -4*o + 9 = -s for o.
5
Suppose -3*x - 43 = 2*s - 25, -4*s - 2*x - 12 = 0. Solve -4*b - 8*b + 24 = s for b.
2
Suppose -13*h - 198 = -16*h. Suppose -13*f + 285 = -h. Suppose 3*b = 3*m - f, 8 = 3*m - 2*b - 16. Solve -m*g = -11*g for g.
0
Let f be 94/2 + (12 - 147/7). Solve 0 = -f*u + 42*u + 16 for u.
-4
Let y = 6 - 0. Let c(s) = s**2 - 9*s + 22. Let x be c(y). Suppose -4*m + 12 = -x. Solve -m*f + f = 0 for f.
0
Suppose -31456*l + 31428*l = -130032. Solve l = 6*h + 4680 for h.
-6
Suppose 2048 = 86*g - 26*g - 472. Solve 115*s = 129*s + g for s.
-3
Let y(d) = -d**2 + 12*d + 6. Let v be y(6). Let a = 1289 + -1246. Let i = a - v. Solve -4*g = i + 11 for g.
-3
Let g be ((-168)/35)/(2/(-10)). Suppose -12 - g = -9*s. Suppose 4*q = s*m - 8, 0 = q - 5 + 4. Solve -4*a = -m*a + 4 for a.
-4
Suppose 4*h + 4 = -0*h, 3*u + 2*h - 163 = 0. Let y = u - 46. Suppose 5 = -n + y. Solve -z - n*z = 20 for z.
-4
Suppose -113*w + 94*w - 152 = 0. Let r be 1*4/w*2 - -27. Solve 3*n + 14 - r = 0 for n.
4
Let m(w) = 3*w - 6. Let v(g) = g - 7. Let z(n) = -4*m(n) + 5*v(n). Let c be z(-2). Solve 18 - c = 5*q for q.
3
Let c(b) = 38*b + 577. Let f be c(-15). Let q(w) = -w**3 + w**2 + w + 2. Let p be q(0). Let x be p/(-4) + (-5)/(-2). Solve -x*y - 10 = -f*y for y.
2
Let z be 9 - (-3)/(-2)*2/(-1). Suppose m = -z*m + 195. Suppose 0 = 5*b - m - 0. Solve -12 = b*f - 3 for f.
-3
Suppose -2*h = w - 5, 0 = w - 2*h + 1 - 6. Suppose 5*u = w*a - 140, -1 = -5*a + 4. Let d = 30 + u. Solve j + d + 1 = 0 for j.
-4
Suppose -13*o - 76 = -2*q, 0 = -5*q - 5*o + 36 + 4. Solve 0 = -9*g - 6 - q for g.
-2
Suppose -5*b + 4*b + 32 = 4*v, 5*b - 35 = 5*v. Suppose 23 = b*h + 167. Let p be 8*((-2)/h)/((-3)/(-9)). Solve -t = -p*t for t.
0
Let i(o) = -6*o - 9. Let n be i(-3). Let d be 4 + n/3 - 4. Solve d*u - 7*u = -16 for u.
4
Let z be (-5)/(55/33*1*-1). Suppose 4*l = -3*a + 34, z*a = -10*l + 12*l + 46. Solve -m = 6*m + a for m.
-2
Let p = 28067 + -28018. Solve -p*h + 163*h = -570 for h.
-5
Suppose 102*h = 100*h - 72. Let p = -31 - h. Solve 20 = 3*d + p for d.
5
Let m = -12652 - -12814. Solve -45*j - 9*j = -m for j.
3
Suppose -3*a + 3*n + 18 = 0, 0 = a - 27*n + 24*n - 18. Solve a = -2*d + 104 - 90 for d.
7
Suppose 114 - 219 = -5*n. Suppose 5*p - n = r, 33*p - 32*p + 11 = 4*r. Solve 2*x = -p*x - 7 for x.
-1
Let g = -7092 - -7092. Let r be 8/2*27/36. Suppose -5*a + 3*c + 16 = 0, 4 = 4*a + r*c + 2. Solve -2 = a*f - g*f for f.
-1
Let m(q) = q**2 - 8*q - 183. Let n be m(-12). Solve 0 = -n*t + 28*t - 145 for t.
-5
Suppose 221*v = 217*v + 16. Suppose -9*r = -8*r - 3*h - 1, -v*r + 4*h + 28 = 0. Solve -2*x = -14 + r for x.
2
Let v be 15/60 - 1053/4. Let s = 265 + v. Solve 5*o = -s*o + 35 for o.
5
Let z = -956 + 986. Solve -c = 4*c + z for c.
-6
Let p = 88 + -77. Suppose -2*v - 5*x + p = 0, -v = -5*x + 4 - 2. Solve -v = y - 2*y for y.
3
Let f(z) = -z**3 + 5*z**2 + 7*z + 6. Let x(a) = 6*a - 12. Let y be x(3). Let h be f(y). Suppose 8 - 2 = 2*p. Solve -p*t = t + h for t.
-3
Suppose 1703*t = 1702*t + 5, -4*i - 2*t + 542 = 0. Solve 135*o - i*o = 6 for o.
3
Let v(t) = t**3 - 9*t**2 + 39*t - 248. Let y be v(8). Solve -42 + y = 14*z for z.
-3
Let h = 117 - 109. Suppose 2*o = -4*a - 9 + 1, 2*o = 2*a - h. Solve 0*c - 4*c + 12 = a for c.
3
Let u(n) = 23*n - 90. Let a be u(4). Suppose -p = 3*f - 9, -a*f + 3*p + 4 = 9. Solve s + f = -3 for s.
-5
Suppose -48*k + 48 + 30 = -9*k. Let d(u) = u**2 + u + 3. Let x be d(0). Suppose c = -x*c. Solve -k*s + 6 + c = 0 for s.
3
Let v = -10 + 16. Let w = -92 - -113. Suppose -10*l - 33 = -w*l. Solve 5*f - l*f = v for f.
3
Suppose -u = 5*v + 5, 4*v - 27 - 17 = -4*u. Suppose 39 = 3*y - q, 3*y + 26 = 5*y + 2*q. Let f = u - y. Solve f*g - 10 = -4 for g.
3
Let p be 0 - (0 - -1)/((-52)/208). Solve 1768 - 1748 = -p*a for a.
-5
Suppose -3*u = -9*u + 48. Suppose -36 = -10*k - u*k. Solve -k - 6 = -2*g for g.
4
Suppose 44*b = 35*b + 72. Suppose -u = -y + 1, b*u - y = 6*u + 1. Solve -u*c + 5*c - 3 = 0 for c.
1
Let r(h) = h**2 - 37*h + 89. Let y be -3 - -8 - 20*(-9)/6. Let x be r(y). Solve 15 - x = -m for m.
4
Suppose 110*r - 538 - 107 = 565. Solve 10*u - r = 49 for u.
6
Suppose 0 = 8*x - 3*x + 25. Let u be (x - -1)*9/(-6). Suppose 151*a - 121*a = 90. Solve -u = -a*f + f for f.
3
Suppose -3*x + 27 = -2*x - 2*a, 3*x - 79 = 4*a. Let j = x - 4. Let s be 0*(2 - j/9). Solve 4*n + 4 + 4 = s for n.
-2
Let d be ((-3)/(-6))/((-86)/8 - -11). Solve d*c = 4*c - 14 for c.
7
Let q(h) = h - 7. Let w be 5 + (-2)/(-1) + 5 + -5. Let b be q(w). Suppose b = -6*r - 7*r + 52. Solve -6*t + r = -4*t for t.
2
Suppose 3 = 3*f - 3. Let o(t) = 6 + 106*t**2 + 10*t - 215*t**2 + 108*t**2. Let y be o(10). Solve f*m + 0*m + y = 0 for m.
-3
Let o(r) = r**2 + 25*r + 87. Let u be o(-22). Let l be 272/14 - (-8 + 156/u). Solve 6*y - l = 2*y for y.
5
Let q be 100/16 - 30/24. Suppose -261 = -5*j - y, 4*y - q*y = -2*j + 103. Solve 0 = -2*d - 60 + j for d.
-4
Suppose -5*n = -3*j + 185, 301 = 10*j - 5*j - n. Let q(a) = -61*a + 37 + 116*a - j*a. Let y be q(7). Solve -3*s - y*s = -20 for s.
4
Let r be 25/(((-220)/(-99))/(-5) - 44/(-72)). Solve 10*f + 100 = r for f.
5
Let b be 4/(-3)*((-27)/6 + 3). Suppose 2*v = a - 4, -14 + 6 = -5*a - b*v. Solve 4 = -a*c + 12 for c.
4
Suppose 709 = t + 707. Solve u = t*u - 4*u for u.
0
Let y = 8399 + -8346. Solve 198 = -y*r - 13*r for r.
-3
Suppose 7*a - 2 = 68. Suppose a = t + 3. Let r be 3/(9/t) + (-2)/6. Solve 0 = 5*m + 13 + r for m.
-3
Let t(m) 