for t.
1
Let i be 18/144 - 146/16. Let q be i/(-2) + (-9 - 3)/24. Solve 3*z = f + z - 2, -4*f + 4*z - q = 0 for f.
-4
Let p be -1 + -2 - (-28 + ((-165)/(-11) - 2)). Solve -2*a = 4*c, 0*c - 2*c - 4*a + p = 0 for c.
-2
Let o = 3 + -1. Suppose 15 = 2*m - 2*z - 7, 2*m - 3*z - 25 = 0. Suppose 5*q = m*x - 3*x - 30, 5*x = -3*q - 2. Solve o*d = 2*a + 2, 4 - x = 2*a - d for a.
3
Suppose -4739*r = -4724*r - 30. Solve 0 = 5*p - 3*n - 8, -16*p - r*n = -11*p - 28 for p.
4
Let b(t) = -t**2 - 7*t - 6. Let s be b(-5). Let d be 9/(6/(16/(-6) - -4)). Suppose l = s*l - d*l. Solve 18 = -3*o - 4*p, l*p - p = 4*o + 11 for o.
-2
Let r be (8/(-3))/(48/(-80) - (-2)/(-30)). Solve -25*z + r*w - 7 = -26*z, 3*z - 3 = -3*w for z.
-1
Suppose m - 7*m = -42. Let z(p) = p**2 - 12*p + 37. Let n be z(m). Solve 5*j - 2*h = -15, 0 = -4*j - 3*h - n*h + 21 for j.
-1
Let d be -2 + (-174)/9*6. Let f be (-649)/d*16/22. Solve -t - 2*l = -8, 0 = l - 0 - f for t.
0
Let a(o) = o - 16 + 7 + 7. Let z be a(2). Solve z = 4*d - 4*l - 4, -d - 2*l - 2 = -0 for d.
0
Let u = 0 + 26. Let d = 26 - u. Let a be -10*5/10 - -8. Solve 5*g - 3*r = 24, d = -4*g - 5*r - a for g.
3
Suppose 2 = -0*a + a. Suppose 0 = -3*m + a*m + 2. Let u(g) = -9*g**2 + g + 8. Let k be u(0). Solve -2*v - 5*q = -v + m, 4*v + k = q for v.
-2
Suppose 0 = 7*a - 9*a + 4. Let c be -3 + 26 + 3 - a. Let i be c/(-10) + (-20)/(-50) + 5. Solve 2*o + 3 = 3*j - 2, -1 = i*j + 4*o for j.
1
Let j(r) = -r**3 + 44*r**2 - 460*r + 31. Let v be j(27). Solve v*b + 13 = n, -n - 23 = -23*b + 28*b for n.
-3
Let c = 619 - 614. Solve -3*q - 19 = i, -41 + 16 = c*q for i.
-4
Suppose -4*i = -2*i. Let m be (i + -1)/((-1)/5). Let u(s) = -45*s + 47. Let r be u(1). Solve -2*h + 0 = o + 1, -r*o + m*h = -25 for o.
5
Let l = -479 - -479. Suppose 3*h - 20*h = l. Solve 3*t + 3*q - 6 = h, -3*t + 10 = 3*q + 2*q for t.
0
Suppose l = -5*x + 2280, 3*l - 1830 = -4*x + l. Suppose 463 = 4*t + x. Solve 4*b + t = -z, -5*z + 11 = -z - 3*b for z.
2
Suppose 202*c + 9*c + 44*c - 510 = 0. Solve 3*r + 14 = 2*i, 12*i - 7*i + 3 = -c*r for i.
1
Suppose 14*j = 5*j + 36. Let a be (-3*(-6)/(-45))/(j/(-40)). Suppose 5*o + 0*o - 40 = 0. Solve -x + m = a*x - o, 5*m = -3*x - 12 for x.
1
Let l = -1471 + 1473. Solve -6 = -3*q, 4*d + 58*q = 61*q - l for d.
1
Let z be (-8 + 4)/(-2 - 4)*225/30. Solve -b = -z*i + 2 + 5, -4*i + 17 = 3*b for i.
2
Let u(x) = -x**3 + 15*x**2 - 14*x - 25. Let c be u(12). Let k = c + -234. Let f = -8 + 12. Solve -k*t = 3*j - 2*j - 23, f*j = 3*t for j.
3
Let r be ((-144)/14)/6*182/(-52). Solve 5*f = 2*i + 1, -3 = 5*f + 2*i - r*i for f.
1
Let p = -47 + 37. Let c(g) = g**2 + 7*g - 28. Let f be c(p). Solve 5*z = -2*h - 6, -f*h - 4 = 2*z + 2 for z.
0
Let q(l) = -23 - 5*l + 4*l - 4*l - 54. Let c be q(-16). Solve -c*r - 4*b = -3*b + 3, 2*b + 2 = -4*r for r.
-2
Let g(m) = -16*m - 11*m + 30*m - 17. Let a be g(8). Solve -a = 2*t + p - 1, -2*t + 4*p = 6 for t.
-3
Let y = 101 + -101. Suppose y*o = 4*o + p - 11, -6 = -2*p. Solve -3*t - 5*h + 35 = 2*t, 0 = o*t - 3*h - 4 for t.
5
Suppose y = -3*j - 20, 37*y + 3*j + 44 = 42*y. Let d = 2 - -1. Let k(a) = -a**2 + 12*a. Let o be k(12). Solve 4*v - d*v - y*x - 16 = o, -4*v + x + 4 = 0 for v.
0
Let s(z) = z**3 - 4*z**2 - 32*z + 136. Let r be s(4). Solve 5*o = g - r, 0*g - 10 = -5*g - 5*o for g.
3
Let z = -4138 - -4142. Solve -3*k + 20 = -z*x, -x = -k - 1 + 6 for k.
0
Suppose 0*i + 137 = t - i, -3*t + 391 = i. Suppose 1398*a - 1397*a - 12 = 0. Suppose -t = -6*n - a. Solve 5*f + 4*k - n = 16, 0 = 4*f + k - 20 for f.
4
Let u(l) = l**3 + 12*l**2 - 2*l - 2. Suppose -2*f - 4*a - 39 = a, a + 3 = 0. Let s be u(f). Solve 3*b = 5*w - 0 + 5, -2*b - 3*w - s = 0 for b.
-5
Suppose 20*o - 3*v = 17*o + 15, -13 = -2*o + 3*v. Solve -o*y - 6 = 2*c, -21 = 3*y - c - 32 for y.
2
Suppose 7*t - 51 = 5. Suppose 4*h - t = 8. Solve -4*f + a + 3*a = 4, h*f + 2*a = -4 for f.
-1
Let j(p) = -187*p - 16. Let v be j(1). Let g = v - -208. Solve 5*n - 3*o = 2*o - g, o + 7 = -3*n for n.
-2
Suppose -21*x - 14 = -19*x + 4*w, -4*w - 32 = -4*x. Solve -5*n = 4*m - 1, -m + 3*m = x*n - 27 for m.
-6
Let x(r) = -4*r**2 + r + 2. Let a be x(-2). Let f be a/(-10) + (-4)/(-10). Let l = 7305 - 7303. Solve -f*v = -5*v - u - 6, v + 7 = -l*u for v.
-1
Let q(n) = -282*n - 562. Let x be q(-2). Solve -5*r - x*t + 0 = -11, 16 = 2*r - 5*t for r.
3
Let r be (6 - 6)*(-3)/12. Suppose -5*f - 10 = -5*i, -f + r*i + 4*i - 8 = 0. Solve -g - 3*w + 3 = f, 2 - 5 = -5*g - 3*w for g.
0
Let l be (-65)/3*(-2943)/1635. Solve -l = 4*f - 5*o, 5*f - 12 = 6*f - 2*o for f.
-6
Let m = 36333 - 36330. Solve y + m*s = -10, -3*y + 3*s = -5*y - 5 for y.
5
Let v(r) = -19*r - 20. Let k be v(-3). Let f be -4 - (k/(-2) - (-6)/(-12)). Solve 5*n + 4*s - 28 = 0, 0 = 2*n + 3*s - f + 1 for n.
4
Suppose 5*p + 2*p - 6 = 5*p. Solve p*m - 3 = -2*n + 1, -n + 2*m - 12 = 0 for n.
-4
Let y(o) = 17*o + 18*o - 32*o + 6 + 55. Let n be y(-15). Suppose -p = 2*m + p - 4, -4*m + 11 = p. Solve -j = x + 2, -4*j = x - m*x - n for x.
-4
Suppose -9*n + 68 = 95. Let u = n - -8. Solve 4*j = 5*v - 12, -4*j = u*v + j - 30 for v.
4
Suppose -a - 15 = -23. Suppose 58 = 5*s + a. Let j = s + -6. Solve -2*y - j*m = -3*m + 7, 5*m = -15 for y.
-2
Let w(j) = -j**3 - j**2 + 6*j - 12. Let v be w(4). Let g = v - -68. Solve 4*a = g, c - 3 = -4*a + 2 for c.
5
Let q(c) = 3*c**2 - 2. Let j(b) = 17*b**2 - 12*b - 28. Let l(y) = j(y) - 6*q(y). Let o be l(-10). Solve 2*x - 16 = o*i + 4*x, 0 = i + x + 4 for i.
-4
Let g = 43 + -51. Let u(k) = 2*k**3 + 17*k**2 + 9*k + 8. Let w be u(g). Suppose w = 2*o - 5*o + 9. Solve -6*n + n = -o*z - 14, 0 = 2*z + 6 for n.
1
Let q(l) = 11 - 44 - 2 - 16 - 16*l + 14*l. Let w be q(-34). Solve -3*d = -4*k + d - 16, -3*d = 2*k - w for k.
1
Let m = 63 - 76. Let p = -72 - m. Let s = p + 67. Solve 4 = -k - 3*k, -2*u = 2*k + s for u.
-3
Let g be -1 + 1 + 12 + -2. Let h(n) = -n**3 - 19*n - 84*n + 54*n**2 - 66 + 19. Let z be h(52). Solve l = z, -4*t - 13 - g = -3*l for t.
-2
Suppose 0 = 3*v - o + 13 - 5, 36 = -5*v - 4*o. Let d be (-60)/(-6)*10/v. Let i = -23 - d. Solve -3 = -i*b - 2*b + 5*y, 4*y = b - 9 for b.
-3
Suppose 5*u - 77 = 3*w - 21, 0 = -2*u - 5*w + 41. Let i be u/6 + 7/(-9 + -33). Solve 5*n + 6*g = 4*g - 23, 3 = -n - i*g for n.
-5
Let t be 192/(-288) - (42/(-9) + 0). Solve -10*z = -8*z - 4*l + t, -5*z - 24 = 4*l for z.
-4
Suppose 3*x - g = 8, 4*x + 0*g = -4*g - 16. Let r be (-2)/x*(18 + -19). Solve -r*b = 2*s + 10, 0 = 2*b + b + s + 13 for b.
-4
Let t be (-3)/(2 + (-77)/28). Let w(k) = 15*k - 56. Let p be w(t). Solve -s + 4 + 4 = p*l, 0 = s + 4 for l.
3
Suppose 0 = -2*q + 4*q. Suppose q*u = -3*u. Let j(o) = o**3 - 24*o**2 + 7*o - 166. Let s be j(24). Solve -s*l = -m - 2 + 3, -m + 3 = u for l.
1
Suppose 19*d - 2*u = 20*d + 3, 30 = 6*d + 4*u. Solve -5*k + 12*l = 14*l + d, 3*k + 5*l - 6 = 0 for k.
-3
Let q(o) be the first derivative of o**4/4 + 3*o**3 + 3*o**2/2 - 40*o + 11. Let u be q(-8). Solve u = -3*b - n + 7 - 1, -b = 5*n - 16 for b.
1
Let s be (-3 - -2 - 105) + 3. Let j = -103 - s. Solve -f - 2*m = f + 6, j = 5*f + 2*m + 18 for f.
-4
Suppose -2*z + 109 = 10*m - 5*m, -2*z + 88 = 4*m. Solve m = -g + 5*v, 10*g - 5*v + 25 = 5*g for g.
-1
Suppose 149 = 2*l + y + 37, 0 = 4*l - 5*y - 224. Let j be 0/(l/8 + -10). Solve j = 4*b - 3*c - 0 - 6, -c - 1 = -b for b.
3
Let d be 2/(-21) - (-370967)/2667. Let p = 142 - d. Solve 3*g + p*r + 15 = 0, 2*g + r + 3 = -6 for g.
-4
Let r be ((110/11)/(-10))/((-2)/(-10)). Let a be (-2 - 12/(-8))/(r/50). Solve a*d - m + 19 = 4, -13 = 4*d - m for d.
-2
Let o = -2 - -5. Suppose 0*m - 3*m = 0, 5*m = -o*l + 9. Suppose 4*r + l - 23 = 0. Solve -2*k - 3*w = 3*k + 14, -r*w + 10 = 0 for k.
-4
Suppose -4*r - 5*j + 9*j + 60 = 0, -30 = -r + 4*j. Suppose 34*d = 32*d + r. Solve -2*b = -7*b + 3*a - 27, 4*b - 8 = -d*a for b.
-3
Suppose 4*k = 5*h - 88, -54*h + 3*k - 27 = -58*h. Suppose 5 - 44 = -3*x. Solve 4*b + 4*z + 1 = x, 3*b - 4*z + h = 0 for b.
0
Let q(n) = 21*n - 157. Let z be q(8). Suppose 0 = -y + z*y - 30. Suppose h - 12 = -3*h. Solve -3*k = 3*t - y, -6*k + 3*k + h = -2*t for k.
1
Let s(v) = 11*v - 18. Let c(r) = -31*r + 55. Let p(i) = -3*c(i) - 8*s(i). Let n be p(6). Solve -4*z = -y - 2*z - 11, 2*z + n = -3*y for y.
-5
Let q be ((-16)/(-14))/(338/1183). Solve 5*r + 4*s = -21, 0 = q*r + s + 5 + 3 for r.
-1
Suppose 109 = 