3*t = -h*t for t.
0
Let x = 48 + -35. Let i = -1 + x. Suppose -a + i*a = 165. Solve -v + 4*v = a for v.
5
Suppose l - 2*l + 47 = 2*h, 3*h - 15 = 0. Suppose -l = 8*d - 53. Solve -12 = d*k + k for k.
-4
Suppose -z + 0*p + 6 = 4*p, 5*z - 96 = 13*p. Solve 1 = 13*r + z for r.
-1
Suppose 5*x - 20 = 0, 2*q = 5*x + 63 + 101. Solve 0 = 12*g + 11*g - q for g.
4
Let s = -2771 - -2778. Solve 64 - 22 = -s*t for t.
-6
Let n(w) = -11*w + 2. Let d be (1 + -1)*(-2 - (-54)/24). Let b be n(d). Solve 4 + b = -2*y for y.
-3
Let c = -1147 + 1147. Solve c = -7*l - 20*l - 108 for l.
-4
Let k be ((-3)/3)/((-1)/(-2)). Let n = 8087 + -8091. Let y be (-4 + k)*3*n/36. Solve 3*d - y*d = 0 for d.
0
Suppose 0 = -p + 8 + 3. Suppose 3*c - 20 = 2*f, -2*c - 5*f - 1 - p = 0. Suppose -2*v - c*m = 3*v - 30, -5*v + 30 = -2*m. Solve -10 = -a + v*a for a.
-2
Let x(h) = h**3 + 14*h**2 + 16*h + 55. Let f be x(-13). Let r be 48/4*36/f. Solve -29*n - 2 = -r*n for n.
-1
Let j = 341 + -307. Suppose 144 = j*f - 264. Solve -f*n - 17 - 7 = 0 for n.
-2
Suppose 0 = -v + 5*k - 26, 31*k = -5*v + 28*k + 38. Solve -v = -18*l + 122 for l.
7
Let n(g) = -g**3 + 7*g**2 + 3*g + 5. Let a be n(7). Let r = -47 + a. Let b be 1/(-2)*0 - (r - -16). Solve k - 2 = -b for k.
-3
Suppose -d + 4*y = 16, -d + 5*d + 9 = 5*y. Suppose -69 = 3*p - 34*a + 37*a, -2*p + 5*a - 81 = 0. Let c be 77/22*p/(-49). Solve -4*h = -c*h + d for h.
-2
Let s = -137 + 241. Suppose -30*f + 3*i - 87 = -29*f, -5*f - i = 499. Let t = f + s. Solve -6 = t*d - 21 for d.
3
Let n be 12/21 - (-190)/(-14). Let m be 3 - 1 - (n + 10). Let v be -3 + (-1)/(m/(-15)). Solve v*s - s - 2 = 0 for s.
-2
Let k(g) = 2*g**2 + 15*g - 25. Suppose -15*c = -5*c + 90. Let u be k(c). Solve -u*q - 15 = 3*q for q.
-3
Suppose 18*l - 22*l = 0. Let j be (-1)/5 - (l + 18/(-15)). Suppose 0 = 4*t + 5*i - 3, -5*t + 4*i - j = -56. Solve t*r + 8 = 5*r for r.
-4
Let d be 0 + (-1 - -1) + 3. Suppose 3*p + 0*p + 2*f + 2 = 0, 2*p = 3*f + 3. Suppose 5*t - 27 = -g, -3*g + 2*t + 35 - 5 = p. Solve z + d*z = -g for z.
-3
Let q be (-2)/4*(-18)/3. Let u = -113 + 118. Suppose -o + 25 = -3*d + u, 3*o = d + 60. Solve g = -q*g + o for g.
5
Let b = -9462 + 9462. Let c be 32/(-6)*(-9)/6. Suppose 0 = 5*v - 3*v - c. Solve b = -v*h - 3 - 1 for h.
-1
Let h = 1859 + -1831. Solve 2*j + 38 = h for j.
-5
Let j(h) = -4*h**2 - 9*h - 3. Let f be j(-2). Let m(i) = 3*i**2 + 4*i + 4. Let z be m(f). Solve 3*u = 6*u - z for u.
1
Suppose p + 3*m + 21 = 4*p, -2*p - 3*m + 29 = 0. Suppose -2*y = -5*n + 3*y + p, 0 = -4*n - y + 8. Let i = 25 - 13. Solve n*v - i = -2*v for v.
3
Let v be (-1 - (-4)/28)/((-10)/70). Solve 0 = 6*h + v + 12 for h.
-3
Suppose -3*g - 3*r = 15, 0 = 2*g - r + 3 - 8. Let i be (-4 - (0 - 17)) + g. Solve 8 = b + i for b.
-5
Let t = 0 - 0. Suppose -3*j - 493 = -352. Let w = 52 + j. Solve t = -w*y + 15 + 5 for y.
4
Suppose -272 = -4*j + 4*q, 5*j - 71*q - 328 = -72*q. Solve 23*m - m = j for m.
3
Suppose 3*t = -h, -1 = -h - 4*t - 3. Solve 11 = h*f + 35 for f.
-4
Let h = -108 + 112. Suppose 4*r + 33 - 71 = -3*v, -5*v = 4*r - 58. Solve -h*w + v = 2 for w.
2
Let o(b) = 2*b**3 - 33*b**2 + 121*b - 1. Let p be o(5). Solve -p*s + 28*s = 0 for s.
0
Suppose 5*j = -4*w - w + 25, -2*j + 3*w = -15. Suppose -4*t = n - 1, -4*t - 3 = -n + j. Let z be 51/(-45) - t - (-152)/15. Solve 0 = 5*y + 10 + z for y.
-4
Suppose -3*z = -3, s + 3*s = -2*z + 10. Let h(r) = 2*r**3 - 2*r**2 - r. Let t be h(s). Let p be (2/t)/(1/15). Solve -3 - 12 = -p*j for j.
3
Let q(b) = -b**2 + 15*b + 189. Let a be q(-8). Let x(v) = -v**3 + 7*v**2 - 4*v. Let k be x(6). Let o = k + 0. Solve -a*r + o = 2 for r.
2
Let z be (18/(-30) + (-8)/(-5))*16. Solve -7 + 103 = z*o for o.
6
Let q be -10*(25/(-10) + 2). Let u be (q - 5)/(2/(-1)). Solve u = -3*g - 2 - 13 for g.
-5
Suppose 3*s - 17 = -17*w + 12*w, 2*w = -5*s + 22. Suppose -s*n = 16*n - 160. Solve -5*z + n = -17 for z.
5
Let l = -10 - -13. Suppose -l = -18*d + 249. Solve -25 = -d*j - 67 for j.
-3
Suppose 0*l = 8*l + l - 63. Solve -23*p = l*p - 120 for p.
4
Let a be (-64)/(-480) + (-6)/45. Solve a = -24*s + 17 + 7 for s.
1
Let u(c) = c**2 + 2*c - 1. Let i be u(-3). Suppose 30*p - 232*p = 11*p + 213*p - 852. Solve p*w - i = 2 for w.
2
Let d(h) = 2*h**2 + 24*h - 22. Let q be d(-20). Solve 0 = -x + q - 296 for x.
2
Suppose -27*c - 98 = -20*c. Let y be 14/91 - (-4)/(-26) - c. Solve 7*i + y = -0*i for i.
-2
Let d = -9686 + 9686. Solve -11*z - 60 - 6 = d for z.
-6
Suppose 2*h + 12 = 2*n, -3 = -3*n - 13*h + 11*h. Suppose t = n, 3*g - 4*t - 33 = -5*t. Solve -12*s = g + 14 for s.
-2
Suppose -17*z - 104 = -20*z - 5*v, z - 5*v = 8. Solve 0 = -58*g + 54*g + z for g.
7
Suppose -4*h + 8 = -5*u, -3*h - 6*u + 11*u = -11. Let c be 2 + (1/(-6))/(h/18). Solve -n + 16 = c*n for n.
4
Let j(p) = 2*p**2 + 33*p - 3. Let o be j(-17). Suppose 5*v + o = l + 5, 0 = 2*l - 5*v - 33. Solve -4*s = -4 + l for s.
-5
Let v(h) = h**3 + 13*h**2 - 3*h - 35. Let m be v(-13). Suppose x + m*f - 16 = 0, -4*f + 23 = 2*x + 3. Solve c - x*c = 3 for c.
-1
Suppose 0 = -20*b + 8710 - 2110. Solve 0 = 6*x + b - 348 for x.
3
Let x be 47 + (-13 - -17) + 9. Solve 15*j = x - 15 for j.
3
Let w(k) = k**3 + 7*k**2 - 7*k + 9. Let h be w(-8). Let q be h*10/((-4)/(-2)). Let z = 2500 - 2499. Solve -q = -3*y + z for y.
2
Suppose 7859 = 47*r + 6590. Solve 0 = 51*x + r + 330 for x.
-7
Let k be -4 - ((-2)/10 - 917/(-35)). Let p(d) = d**3 + 29*d**2 - 28*d + 52. Let j be p(k). Let m be 18/j*(-96)/72. Solve m*i - i = 10 for i.
5
Let y = 3544 - 3525. Solve -y*l + 16 = -3*l for l.
1
Suppose 105 = -184*h + 199*h. Let z = -175 + 196. Solve -7*a - z = h for a.
-4
Let h(i) be the second derivative of -i**4/6 + 7*i**3/3 - 12*i**2 + 205*i. Let t be h(4). Solve t = 2*j - 3*j for j.
0
Suppose -3*m + 119 = 4*q, -2*m = -q + 2*m + 6. Let v(k) = k**2 - 17*k + 18. Let o be v(16). Solve o = -6*c + q for c.
4
Suppose 71*y - 67*y = -140. Let d be (-31)/(-7) + 15/y. Solve -d*s + 5 = 17 for s.
-3
Suppose 4*f - 116 + 92 = 0. Suppose -5*s + 53 = f*a - 7*a, -a + 7 = s. Let k(q) = q**2 - 5*q - 4. Let m be k(6). Solve 4*i + m = -s for i.
-3
Let d = -1 + 3. Suppose 3*g = 4*p - 2956 - 674, -3*g - 1818 = -2*p. Let y = -905 + p. Solve -y + d = a for a.
1
Let a = -9517 - -9517. Solve a = -110*i + 106*i - 28 for i.
-7
Let j be -2 + 1/(-1*2/26). Suppose 41 = -6*b + 203. Let p = b + j. Solve -p = 5*s + 3 for s.
-3
Let g(v) = -15*v + 22. Let s be g(-5). Suppose s - 88 = 3*k. Solve n - k*n + 4 = 0 for n.
2
Suppose 677 = -31*w + 30*w - 4*r, 4*r - 3289 = 5*w. Let k = w + 663. Solve 12*o = k*o + 2*o for o.
0
Let h be 120/15 - (-1 - -3). Solve h*u + 55 = 17*u for u.
5
Let d be ((-36)/4)/(9/(-12)). Let s(f) = -18*f + 225. Let h be s(d). Solve 11 = 4*q - h for q.
5
Suppose -5*h - 3*q + 2*q = -19, -9 = -2*h + q. Suppose -4*m - 24 = -32. Suppose 3*y = h*y + m*y. Solve -6 = -3*b - y*b for b.
2
Let g(d) = d**2 - 3*d - 5. Let h be g(5). Let f(r) = 84*r - 162. Let j be f(4). Let t = j + -174. Solve t = h*n - 0*n - 15 for n.
3
Suppose -2*z + 4*o = 3*z - 961, -4*z = -2*o - 770. Let m = z + -183. Solve -3*g - m = -g for g.
-5
Let y(x) = -108*x + 594. Let r be y(5). Solve -10*d - 14 = -r for d.
4
Let w(o) = -4*o + 38. Let t = -69 + 60. Let p be w(t). Suppose p*j = 76*j - 6. Solve -2*r - r - j = 0 for r.
-1
Let q be 3/(-6) - (-134)/4. Suppose 798 = -26*h + 45*h. Let s = h - q. Solve 5*f = -s - 6 for f.
-3
Suppose 23*u = -7*u + 1140. Suppose -42 = -8*d + u. Let z = 6 + -3. Solve -d = -z*c + c for c.
5
Let s be (2 - (-11 - -6))*1. Suppose -5*i + 48 = -2. Suppose -3*n - i = 4*l, 0 = -n + 5*l - 0*l + 22. Solve n*r + 25 = s*r for r.
5
Let a = 328 + -326. Suppose -4*b = 0, a*o + o = -3*b + 6. Solve o*j + 10 = -3*j for j.
-2
Let u(s) = -60*s + 663. Let a be u(11). Let w(n) = n**2 + 10*n - 5. Let q be w(-11). Solve y - a = -q for y.
-3
Let f = -1999 - -2014. Solve -23*v - f + 84 = 0 for v.
3
Let s = -4835 - -4847. Solve -329*w + 341*w = -s for w.
-1
Let f be (-2 - 38/(-18)) + 14361/27. Suppose 16*y + f - 1364 = 0. Let p = y - 52. Solve 0 = -p*v - v + 3 for v.
3
Suppose -x - 31 = 5*c, 32*c - 16 = x + 34*c. Let a be 1 + x - (-30)/3. Solve a*v = v for v.
0
Let v be 422/7 - (12/(-9))/(112/(-24)). Solve 54*w - 64*w + v = 0 for w.
6
Let i be 12/16*(-152)/171 - 104/(-3). Solve -69 = 5*l - i for l.
-7
Let y(g) = -g**2 - 13*g + 