= t for a.
-2
Suppose 56 - 4 = o - 5*q, -5*o - 2*q + 98 = 0. Solve -o*c = -15*c - 35 for c.
5
Suppose v - 13 = -0. Let c = -34 - -35. Suppose -3*h + 5*t = -40, c = -2*h + 3*t + 26. Solve h*j + v = 3 for j.
-2
Suppose -8*w + 495 = 3*w. Let u be w/12*(-56)/(-42). Solve -u*l = 27 - 2 for l.
-5
Suppose -33 = 3*t, -147*c + 145*c + 62 - 21 = t. Suppose -6 = 2*v + 3*h, -v - 3*h + 1 - 10 = 0. Solve c = -v*w + 41 for w.
5
Let d = 2825 + -2822. Solve 4*n - 5 = d*n for n.
5
Suppose 31*x + 40 = 36*x. Suppose -1 = -p + x. Suppose 11 = -p*y + 38. Solve j + 16 = -y*j for j.
-4
Let u(r) = -3*r - 4. Let l be (3/(-6))/((-1)/(-16)). Let t be u(l). Suppose -12 = -3*c - 5*g + 20, t = 3*c + 2*g. Solve -20 = -0*z + c*z for z.
-5
Let b(r) = 31*r + 51. Let n be b(-5). Let d = -101 - n. Solve -4*a = -d*a - 3 for a.
3
Let f = -12605 - -12609. Solve -2417 = f*r - 2393 for r.
-6
Suppose -9*a = -75*a + 136 + 62. Solve -a*w = 29*w - 128 for w.
4
Suppose -10 = j - 16. Let n(z) = 2*z**2 - z - 36. Let w be n(j). Solve -w + 35 = -x for x.
-5
Let p = -2 - -195. Let o = p + -193. Solve o = 7*q + 24 - 3 for q.
-3
Let t be 257/15 + 6/(-45). Suppose 0 = -2*l + 85 - t. Let w be 51/l + 1/(-2). Solve v + 4 + w = 0 for v.
-5
Let a be (-5)/((-20)/14)*2. Solve a*r - 15 = 10*r for r.
-5
Let w be 32/112 - (220/(-14) + -2). Let n be -1*132/(-20) - 62/(-155). Solve u = n*u - w for u.
3
Suppose -2*w + 8 = 4*v, 2*v - 12 = 4*w + 12. Let q = -2304 - -2309. Solve -q*s - v - 1 = 0 for s.
-1
Suppose 0 = -3*x - 11*x + 70. Suppose x = i - 2*z, 4 = 5*i - 2*z - 13. Solve -v = -i - 1 for v.
4
Let c(j) = -2*j**2 - 31*j + 27. Let f be c(-15). Let m be (-4)/(-3) - (-154)/f. Solve -m*q - 2 = -7 for q.
1
Let q = 1791 - 1788. Solve 85 = 22*l - q for l.
4
Let a = -25773 + 25791. Solve 6 = a*q - 17*q for q.
6
Suppose b + 4*f = 8 + 14, 2*b + 2*f - 26 = 0. Solve -3*x + 21 = -b*x for x.
-3
Suppose -x + 5*u - 18 = 0, 3*x + 0*x - u - 2 = 0. Let z be ((540/(-24))/9)/((-2)/4). Solve x*d - 15 = -z for d.
5
Suppose 2*f - 16 = -2*f, 3*m + f - 10 = 0. Suppose 11*x = 8*x - h + 52, -24 = -x - m*h. Solve -s - x = -5*s for s.
4
Let h be -1 + 123*(-1 + 3). Let f = h + -245. Solve -2*s + 4*s = f for s.
0
Let t(u) = u**3 - 3*u**2 - 6*u. Let l be t(5). Suppose -i - l = 3*i, 360 = -5*v - 5*i. Let j = v + 70. Solve j*f + 15 = -2*f for f.
-3
Let c(i) = i**2 + 11*i + 12. Let t be c(-10). Suppose 0 = 2*x - 0*x + t. Let w be (0/x)/(-3 + 2). Solve w = -3*v + 6*v for v.
0
Suppose -2*q + 5 = 4*c - 3, -3*c = 5*q - 6. Let d(b) = -b**2 - 5*b + 30. Let h be d(q). Solve -5*r - 25 = -h for r.
1
Let d be (4/(-2))/((-3)/42*1). Let j = -42 + d. Let m be (4/j)/((-14)/98). Solve -7*p + 10 = -m*p for p.
2
Let k(t) = t**3 - 16*t**2 - 102*t + 1700. Let o be k(16). Let r = -114 + 52. Let y = o + r. Solve 4*i = 6*i + y for i.
-3
Let s be 308*258/60 - (-6 - (-64)/10). Solve 1331*p = s*p - 7 for p.
-1
Let r(o) = 118*o - 1057. Let p be r(14). Solve -571*z + p*z + 96 = 0 for z.
-4
Let w = 21503 + -21264. Solve 2*j = w - 225 for j.
7
Suppose 2*g - 3*n + 8*n - 115 = 0, -g - n = -53. Solve 80 = 10*c + g for c.
3
Suppose 0 = -4*d + 2*u - 2118, -3*d + 0*d = -5*u + 1571. Let g = -524 - d. Solve -g = -7*o - 1 for o.
1
Suppose 88*t + 4*u = 89*t - 37, 2*u + 293 = 5*t. Solve -t = y - 59 for y.
-2
Suppose 270*g - 28242 - 47645 = 11*g. Solve 0 = -13*v + g - 280 for v.
1
Suppose 0 = 2*o - 9 - 1. Suppose 0 = 6*p - 3*p - 45. Let c(z) = -z**3 - 3*z**2 + 2*z - 3. Let f be c(-4). Solve p - o = f*m for m.
2
Let o be (195/(-10))/((-2)/160). Solve o*j = 1553*j + 35 for j.
5
Let t be (-9 - (-1090)/120) + (-454)/(-24). Solve -3 = -t*h - 22 for h.
-1
Suppose -37 = -9*g + 8. Suppose -2*s - 6 = 0, -2*l + g*s = -3*l - 13. Solve -j + l = 6 for j.
-4
Suppose -4*x + 2*o = -366, -4*x + 5*o + 268 = -113. Solve x = 24*t - 55 for t.
6
Let x be (-2504)/(-2) - (-54 - (-1625)/25). Solve 11*q + x = 1274 for q.
3
Let n(h) = -94*h + 240. Let i be n(2). Solve 31*l - i = 44*l for l.
-4
Let k(t) = -38*t + 2. Let d be k(-2). Suppose -21*z + d = -24*z. Let l = -23 - z. Solve p = -2*p - l for p.
-1
Suppose -16*s + 128 = -6224. Solve -s*c + 16 = -401*c for c.
-4
Let m be 1/(-5)*23*1105/(-221). Solve -8*i = -m*i + 135 for i.
9
Let r be ((-6105)/(-814))/(1/8*6). Solve r*b - 6 = 11*b for b.
-6
Let p(q) = q**2 - 13*q + 23. Let n be p(11). Suppose f - 9 = -4*c, 5*c + 5*f = 14 + n. Solve -2*b = -3*b + c for b.
2
Let o = -9950 - -9963. Solve 27 + o = -40*j for j.
-1
Let k be 3 + 0 - (14 + (-34)/2). Suppose -2*w - w + 3 = 0. Let v be (1 - 4/k)/(w/48). Solve -5*d + 6 = v for d.
-2
Suppose -4*q - q + 20 = 0. Let o be 0/1 - (-54 - -48). Solve -o*w - q = -4*w for w.
-2
Let i be ((9 + -10)/(1/(-15)))/(55/66). Suppose -4*m - 2*l + 0 = -16, m = 3*l + 11. Solve -o - i = m*o for o.
-3
Suppose 3*w - 14 + 2 = 2*h, 4 = 3*h + w. Suppose h = 16*c - 135 - 441. Solve 9*r - 9 = -c for r.
-3
Let q(b) = -4*b**2 + b - 9. Let l(k) = -4*k**2 + 2*k - 9. Let v(m) = 4*l(m) - 3*q(m). Let i be v(4). Let y = -50 - i. Solve -y*z = -4 + 16 for z.
-4
Suppose 0 = -2*n - 8, 5*q - 8*q - 3*n = 12. Suppose 35 = 2*d - 5*s, -2 = -2*d - s + 3. Solve q = -t + d*t for t.
0
Let d = -228 + 3. Let n = -224 - d. Suppose 0*t + 3 = t. Solve n = -p - t for p.
-4
Let u be (-4 - (-3 - 3)) + 1*-257. Let x = u + 274. Solve 8*h + 5 = -x for h.
-3
Let q(z) = 15*z. Let h be (-1)/(-9) + (-45)/405. Let r be q(h). Solve s - 2 - 2 = r for s.
4
Suppose 57*o + 94*o - 906 = 0. Solve 0 = -2*c + o for c.
3
Suppose -7*m = -9*m + 236. Suppose 826 = 6*k + m. Let u = k + -113. Solve -u*g + 6*g + 4 = 0 for g.
-4
Let w(p) = -4*p**2 + 247*p + 66. Let k be w(62). Solve 12*c - 10*c = k for c.
2
Let w(m) = -14*m + 313. Let u be w(19). Let n(h) = -h**2 + 46*h + 49. Let r be n(u). Solve -13 + 21 = -r*k for k.
-4
Suppose -3*i = -o + 2, 21*o + 22 = 25*o + 2*i. Solve -76*z = -81*z - o for z.
-1
Let u(y) = 2*y - 2. Let c be u(4). Suppose c*h - 140 = -4*h. Let q be 4/h - (-108)/14. Solve 2*g + 0*g = -q for g.
-4
Let u(a) = 26*a + 552. Let q be u(-21). Solve 82 = -q*p + 118 for p.
6
Let b be (16/5)/(13/(-65)). Let g(m) = m**3 + 16*m**2 - m - 1. Let y be g(b). Suppose -5*h + h + 18 = -2*u, -5*h + y = -4*u. Solve -5*t + 8 = -h*t for t.
-4
Let f = 184 - 177. Let r(s) = -s**3 + 10*s**2 - 18*s - 15. Let m be r(f). Solve m*u + 4 = 4*u for u.
-2
Let m(v) = v**3 + 3*v**2 - v - 2. Let f be m(-2). Suppose 19 - 7 = 4*z. Suppose -z*u + 3 = 2*p, -19 + 34 = 4*p - 3*u. Solve -p*y + 2 = -f*y for y.
-2
Let c be (-2 - -1)/((-3)/9). Suppose 2*j + 2*j + 176 = c*r, 4*j - 2*r + 176 = 0. Let g = -44 - j. Solve 0 = -g*d + 2*d + 2 for d.
-1
Let z(o) = -o**2 + 2*o - 4. Let g be z(4). Let l be (-70)/g - 4/(-24). Let v be (3 + 20/8)*2 - 7. Solve -4*a = -l*a - v for a.
-2
Let h be 166/3 + 44/12 + -3. Suppose 5*y + h = 1. Let b = 13 + y. Solve -4*f = -b + 10 for f.
-2
Suppose -1476 + 549 = -5*t + 4*v, 3 = -v. Solve -t*r + 5 = -184*r for r.
-5
Suppose 13*z + 34 - 34 = 468. Solve -15*a - z = -9*a for a.
-6
Let i be (620/(-440))/(12/(-264)). Solve -31 = 4*w - i for w.
0
Let q(t) = -t**3 - 59*t**2 - 454*t - 195. Let k be q(-50). Solve 0 = k*r + 109 - 94 for r.
-3
Suppose -c - 3*c = 0. Let f(a) = a**2 - 22*a + 128. Let y be f(11). Solve c = -z - y + 6 for z.
-1
Let h(a) = -a**3 - 45*a**2 - 100*a - 587. Let t be h(-43). Solve 3*i - t*i = -60 for i.
5
Let j(k) = -21*k - 147. Let d(m) = m**3 - 5*m**2 - 18*m + 21. Let n be d(7). Let q be j(n). Solve 13*c - 11*c = q for c.
0
Suppose -2*n - 2*m + 88 = -386, 258 = n + 4*m. Solve n = -27*r + 95 for r.
-5
Let p(b) = 13*b**3 - b**2 + 33*b - 53. Let n be p(2). Solve 28*k - n = -1 for k.
4
Let o = -487 - -504. Suppose -20*z = -o*z - 18. Solve -3*i + 3 = -z*i for i.
-1
Suppose 5*q + 5*u - 35 = 2*u, q - 3*u = 25. Solve 31 - 71 = -q*d for d.
4
Suppose -5*g - 6 = 23*u - 21*u, 4*u - 3*g - 14 = 0. Suppose 4*k - 26 = -5*y + 21, 2 = k - u*y. Solve 6*h - 8*h + k = 0 for h.
4
Suppose 3*s = 3 + 12. Suppose 7*c = 9*c + 3*c. Suppose c = 5*i - 25, -b - b = s*i - 33. Solve -b*v - 24 = -8 for v.
-4
Let k be (-4)/84 - 175508/(-2436). Solve 0 = -63*z + 51*z - k for z.
-6
Let p(g) = -g**3 - 8*g**2 - 30*g - 351. Let k be p(-9). Solve k = -2*a + 12*a + 10 for a.
-1
Suppose 3*g - 5*k - 9 = -k, 2*k = 4*g - 12. Suppose 90*x - 80*x - 26 = 4. Solve x*h + g + 0 = 0 for h.
-1
Let r be (3 - 1)*8/4. Suppose -3*m +