 for t.
-1
Suppose 4*u + 0 + 12 = 0. Let l be -1 - u - 12/(-6). Let i be 1 - (-4 - (4 - l)). Solve -3*a + 6 = -i*a for a.
-3
Suppose o + 0*o + d = -37, 4*d + 114 = -3*o. Let m = 39 + o. Solve 4*h + 2 = m*h for h.
2
Suppose 4*a = 5*u + 78, -3*u + 25 = a - 7*u. Suppose 20*f - a*f = 0. Solve f*d = 5*d - 20 for d.
4
Let d be 217/8 + -5 + 5/(-40). Solve -24*x + d*x - 8 = 0 for x.
-4
Let w be (15/(-7))/((45/(-35))/9). Solve 2*u = -u - w for u.
-5
Suppose q - 8 = -14. Let d be q*1*1/(-2). Suppose 4 = -d*o + 7*o. Solve -o - 1 = -t for t.
2
Let w = -6 + 9. Suppose -w*m - 2*m + 5 = 0. Let p be (0 - m)/((-3)/30). Solve -4*u - p = u for u.
-2
Let a be (-2 - -4) + 0/(-1). Suppose a*h = h. Suppose h = d - 3*d - 4*f + 4, 0 = 5*f + 5. Solve -d*c - 22 = -2 for c.
-5
Suppose -4*u = 4 + 4. Let v = 5 + u. Solve -2 = -v*q + 4 for q.
2
Let f be (17 - 12) + (-8 - -15). Solve 88 - 40 = f*d for d.
4
Suppose 348*c = 341*c + 7. Solve 2*o + 11 = c for o.
-5
Let x = 152 + -149. Solve -2*q - 3 = x for q.
-3
Let k = -542 + 544. Let t be (-35)/(-4) + (-1)/(-4). Suppose -3*g = 5*m + 15, g - 4*g + 3*m = -t. Solve g*i = -k*i - 4 for i.
-2
Suppose 0 = -0*z + 8*z - 32. Let i = 16 + -14. Solve 2*d - z = -i*d for d.
1
Suppose 4*k = 4*v + 68, 6*k - 2*v - 62 = 2*k. Solve 0 = 4*z + k - 6 for z.
-2
Let m = -6 + 97. Suppose 2*t - m = -91. Suppose -3 = 2*n + 4*d - 11, -n + 5*d = 3. Solve t*r - 4 = -n*r for r.
2
Let v = -44 + 64. Suppose -4*s - 5 - 3 = 0, 0 = -2*j + 3*s + v. Suppose 3*p + 6 = -t, 3*t - 35 - j = 3*p. Solve -4*a + t = -a for a.
3
Suppose -5*f - 4*s = -7*f + 6, -4*f + 62 = 2*s. Suppose 0*k = f*k. Solve k = 2*d + d for d.
0
Let c(j) = -j**2 + 39*j - 158. Let q be c(33). Solve 4*r - q = -6*r for r.
4
Let m be -9 - 16/(96/(-66)). Let w = 5 + -3. Solve -w*p + 4 = -m for p.
3
Let o = 11 - 7. Let c be (o/(-6))/(5/(-30)). Let i(z) = -39*z - 857. Let u be i(-22). Solve -n + u = c for n.
-3
Suppose -5*a + 6*w - 10*w = -140, -49 = -a - 5*w. Solve -9*v = 3*v + a for v.
-2
Let f be 470/9 - 110/495. Solve f*z = 47*z - 5 for z.
-1
Suppose 2*c - 39 = 5*v, 12*v + 84 = 5*c + 13*v. Solve 10*s + c - 7 = 0 for s.
-1
Let o be (1/(-4))/(5/(-140)). Suppose c = -2*z, -20 = -2*c + o*c. Let y be (3/((-6)/4))/(-2). Solve -3*f = -z - y for f.
1
Let c(h) = h**3 - 3*h**2 - h - 8. Let p = -64 + 68. Let q be c(p). Solve -4 = -q*f + 16 for f.
5
Suppose -3*o - 78 = 3*l - 5*o, 5*l + 134 = 2*o. Let m = -23 - l. Solve j + 1 - m = 0 for j.
4
Let i = 637 - 626. Solve 0 = 13*c + i + 2 for c.
-1
Suppose -y = -g + 3*g - 10, 5*y = 4*g - 20. Suppose 2*u + 6 = g*u. Let w = -7 - -7. Solve -u*i - 4 - 4 = w for i.
-4
Suppose 4*q = -2*k + 128, 9*k - 4*k - 2*q = 356. Suppose -4*r + 39 = 3*s - 26, 5*r - k = -3*s. Solve -n - s = -6*n for n.
3
Let b(q) = -q**3 + 5*q**2 + 3*q - 20. Let y be b(3). Solve 2*h + y = 1 for h.
-3
Let t(r) = 3*r + 34. Let x be t(-9). Suppose 0 = x*b - 19 - 2. Solve -5 = -b*q - 20 for q.
-5
Suppose -4*d + 5 = -v - 11, -2*d + v = -8. Solve -d*h - 2*h = -24 for h.
4
Let l be 2/4 - 6/(-4). Let m be (-2)/l - 4*(-4)/8. Let s = -5 + 9. Solve -m = -s*a - 9 for a.
-2
Let u(a) = a - 4. Let n be u(10). Suppose -j = 2*j - n. Solve -c + j*c = 0 for c.
0
Suppose -21*l + 26*l = 15. Suppose -q = 2, x = -2*q - l*q - 5. Solve -x*v - 1 = 9 for v.
-2
Let j(w) = -w**3 - 5*w**2 + 4*w - 8. Let n be j(-6). Let b be (-6)/(-9) + (-56)/12. Let t = n + b. Solve 3*m + m + 16 = t for m.
-4
Let f(j) = -j + 11. Let r be f(8). Suppose 5*l + 4*t = -63, -r*l - 23 = 2*t - 7*t. Let b = l + 11. Solve h + b*h + 5 = 0 for h.
-5
Let v(t) = -2*t - 21. Let b be v(-14). Suppose -7*y + 4*y + 63 = 0. Suppose 0 = 4*d + 5*j - 4*j - y, 0 = 4*d + 3*j - 31. Solve 9 = -b*u + d*u for u.
-3
Suppose -59 = -339*u + 337*u + 3*i, 2*u + 4*i - 24 = 0. Solve u*y - 21*y - 4 = 0 for y.
4
Let d = 270 - 270. Solve d = -5*t + 1 - 6 for t.
-1
Suppose 109*j - 999 = 72*j. Solve 14*u = j*u for u.
0
Suppose 15*z + 12*z = 26*z. Solve 5*m = -z*m + 15 for m.
3
Let x = 769 + -767. Solve -8*c = x - 2 for c.
0
Let k(x) = -x**2 - 3*x + 8. Let a be k(-4). Suppose -2*r = 5*i - 0*i + a, 5*i - 4 = 2*r. Solve j + i*j = 4 for j.
4
Suppose 12*g - 35 = 73. Solve 0 = b - g + 8 for b.
1
Suppose 70 = 31*i - 24*i. Solve 5*y + i = 7*y for y.
5
Let i(q) = 5*q**3 - 4*q + 4. Let s(t) = 4*t**3 - 3*t + 5. Let b(d) = -3*i(d) + 4*s(d). Let n be b(0). Let j be 22/6 + n/(-12). Solve -2*f - 1 = -j for f.
1
Let q(a) = -a**2 + 6*a - 2. Let y be q(4). Let l(g) = -g**2 + 4*g - 1. Let r be l(2). Suppose 0 = -u - h - 4, r*h + y = 4*u - 6. Solve u*k + 2*k = -2 for k.
-1
Suppose -4*n - 4*i + 36 = 0, 2*n + 3*i = 4*n + 2. Solve 0 = -n*y - 1 + 11 for y.
2
Let m(h) = -4*h**3 - 13*h**2 + 13*h + 8. Let n be m(-4). Solve 12 + 8 = -n*t for t.
-5
Let j(i) = -i**2 - 23*i - 112. Let n be j(-11). Solve 12*z + n = 7*z for z.
-4
Let c be (-238)/35*15/(-6) + -5. Suppose 3*x - 29 = -5*t, 2*x + 1 + 1 = 2*t. Solve -x*j + 6*j = -c for j.
-4
Suppose 512 - 194 = 3*y. Solve 0 = -110*m + y*m for m.
0
Let q(m) = 2*m**3 - 5*m**2 - 2*m + 7. Let l be q(3). Suppose l = -5*y - 4*c, -7*y + 23 = -3*y - 3*c. Let j be (-1 - 5)*(-1)/2. Solve -y*v + j = v for v.
1
Let f(p) = -p**3 - 12*p**2 + 7*p - 2. Let t be f(-13). Let l = -72 + t. Solve -l*o - 5 = o for o.
-1
Suppose 5*b = -0*b - 115. Let s = -20 - b. Solve 4 = -2*z + s*z for z.
4
Let s(p) = -8*p + 4. Let t(o) = -o. Let i(k) = -2*s(k) + 20*t(k). Let a be i(-3). Solve 0 = -a*r + 2*r for r.
0
Suppose -n + 4*h = -4*n + 4, 4*h = -2*n. Let m be 1 + 6/(-1 - -4). Solve 9 = n*k - m for k.
3
Suppose -23*v + 240 = -7*v. Solve v*u = 14*u - 4 for u.
-4
Suppose 0 = -9*k + 4*k + 15. Solve -8*q = k*q + 11 for q.
-1
Suppose -24*b - 29*b = -53. Solve 2*o = 3*o - b for o.
1
Let v(x) = -x**3 - 8*x**2 - 6*x + 10. Let b be v(-7). Suppose 5*i + 0*i = 20. Let j be i/(-4) + (4 + -1 - -2). Solve b*y = j + 2 for y.
2
Let h(c) = c**3 + 2*c**2 + 2. Let q be h(-2). Suppose -5*w = -0*p - p + 31, p + q*w = 10. Let n = -367 - -370. Solve -i - p = n*i for i.
-4
Let c(z) = z - 1. Let v be c(4). Let t(u) = u**2 - 6*u + 11. Suppose 5 = 11*y - 50. Let q be t(y). Solve -3*n - v - q = 0 for n.
-3
Let k(b) = -b**2 + 1. Let d be k(-1). Let z(f) = -5*f**3 + 4*f**2 - 2*f + 4*f**3 + 8*f + d + 5. Let j be z(5). Solve -5 = 5*p + j for p.
-3
Suppose 3*j + 10 = -2*c + 23, -5*c + 23 = -2*j. Solve 0 = -o - j - 2 for o.
-3
Suppose 3*t = -2*t + 15. Suppose t*y = 7*y - 20. Solve -5*g = -y - 0 for g.
1
Let i be -11*(-8)/6*18/(-12). Let x = -7 - i. Solve -4*v + v = -x for v.
5
Let q be (-1021)/6 - (-4)/24. Let a be 2/(-8) - q/8. Suppose -4*p + 17 = 5*m, 2*m - 7*m - 2*p = -a. Solve m*d - 15 = 2*d for d.
5
Suppose -4*h + 10 = -10. Suppose 15 = 3*y, 3*r + h*y = 32 - 7. Solve 0 = 2*c - 2 - r for c.
1
Suppose 0 = 5*d - 5*s - 165, 0*s + 161 = 5*d - s. Let t = 73 - 52. Let v = d - t. Solve 3*p + v = 26 for p.
5
Suppose -23*w = -8*w - 90. Suppose 3*n = 9 + 9. Suppose -r + 4*x = n, -5*r + 28 = -r - 3*x. Solve -w*p + r = -p for p.
2
Let t(u) = -4*u - 10. Let m(s) = 5*s + 10. Let p(d) = -3*m(d) - 4*t(d). Let l be p(-7). Let g be 0/(3/(3/2)). Solve -l*h - h + 20 = g for h.
5
Suppose 6*t = 126 + 6. Let w = 22 - t. Solve -v = -w*v - 1 for v.
1
Suppose 1 = -2*l + 3. Let o(j) = j - 10. Let y be o(-5). Let f be (-3)/l - (y - -7). Solve -6*s + s + f = 0 for s.
1
Suppose 5*f + 48 = 3*n, -2*n = 4*f - 3*f - 19. Suppose 0 = -7*j + 39 - n. Solve -3*v = v + j for v.
-1
Suppose 3*f = -u - 4*u + 1, -2*f = u - 3. Suppose -24*p = -25*p + 2*a - 3, -a = 4*p - 15. Solve p = y - f for y.
5
Suppose 0 = 5*a - 0*a + 195. Let d = -35 - a. Solve o - 3 = d*o for o.
-1
Suppose -6*d + 12 = 2*b - 2*d, -4*b + 12 = 4*d. Suppose 0 = -4*h - b + 8. Solve -h*s - s - 3 = 0 for s.
-1
Let z be (1/((-14)/(-12)))/((-40)/(-140)). Solve 6 = -3*n + z for n.
-1
Let v(d) = -d + 6. Let k be v(0). Let u be 24/(-18)*k/(-4) - -2. Solve -i + 0*i = -u for i.
4
Let r be (-22)/(-121) + 2/(-11). Suppose r = h - 2*w - 2 - 8, 5*h - 5*w = 50. Suppose -q = 4*u + 10, -2*q + 14 = 2*q - 2*u. Solve -q = -4*k - h for k.
-2
Let r = -161 - -116. Let a = -45 - r. Solve 0 = 2*t - a - 2 for t.
1
Suppose -5*f - 96 = -111. Solve 5*y - 10 = f*y for y.
5
Let t be (-2)/12 + 49/42. Let k(p) = 4*p - 7. Let z be k(3). Suppose -z*y + 10 = -b, 2*y - t - 3 = -3*b. Solve -15 = -y*x - x for x.
5
Let z = -2337 + 2434. Solve -3*w 