l. Is m a multiple of 10?
False
Let r(w) = -w**3 - 8*w**2 - 2*w + 4. Let s be r(-8). Suppose 8*u + s = 12*u. Let a = 26 - u. Is 9 a factor of a?
False
Let t = 1 + 13. Let n = -12 + t. Suppose 8*j - y - 352 = 3*j, n*j - 136 = 2*y. Is j a multiple of 12?
False
Suppose 5*i + 35 = d - 6*d, -d - 3*i = 13. Let g be d/18*(-12 + -6). Suppose g*c + 94 = 2*n, 5*c - 200 + 25 = -5*n. Is n a multiple of 13?
True
Suppose 13*t - 5623 - 669 = 0. Suppose -6*o + t + 536 = 0. Is 17 a factor of o?
True
Suppose 0 = z - n + 159 - 20, -290 = 2*z - 5*n. Suppose -4*m + 784 = 5*v, 2*m + 4*v - 3*v = 398. Let r = m + z. Is 22 a factor of r?
True
Let g(l) = 12*l**2 - 27*l**3 + 10*l**3 - 7 + 10*l**3 + 2*l - 8*l**3 + 14*l**3. Suppose 5*i - 12 = 4*i. Does 17 divide g(i)?
True
Let s = 2904 - 902. Does 22 divide s?
True
Let k be (3 + (-1 - 1))/(-1 + 2). Suppose 2*u = m - 9, 13 = -4*u + k. Does 5 divide (-2)/6 + 124/m?
False
Let l(p) = 71*p - 102. Let x(f) = 141*f - 201. Let g(j) = 5*l(j) - 2*x(j). Does 10 divide g(6)?
True
Suppose -4*m - 34*u = -38*u - 19240, 0 = 7*m - u - 33688. Does 27 divide m?
False
Let f(o) = 12*o + 7. Let q be f(13). Is (-4)/(-4) + q - 4 a multiple of 10?
True
Suppose -1782622 - 1147609 = -306*a + 21139. Is 32 a factor of a?
False
Let k be (86/(-15))/(-2) - (-4)/30. Suppose k*x + 6*i - 294 = 9*i, -3*x + 302 = -i. Does 9 divide x?
False
Suppose -143*m = -146*m + 15. Suppose -m*f + 1725 + 535 = -2*t, 1356 = 3*f - 2*t. Is f a multiple of 13?
False
Suppose 10*h - 5*h + 1190 = 0. Let o = 308 + h. Is 7 a factor of o?
True
Let d(v) = v**2 - 14*v - 40. Let c be d(30). Let u = 673 - c. Let b = 343 - u. Does 11 divide b?
True
Suppose -35 = -4*l - 3*o - 0*o, -4*o + 20 = 0. Suppose 5*q - 91 = 3*f, -3*q = -6*q + 5*f + 45. Let y = q - l. Is y a multiple of 3?
True
Suppose 4*k - 66123 = -x, 359*k - 355*k + 5*x - 66119 = 0. Is k a multiple of 61?
True
Suppose 3*s = -5*l + 3 + 2, -l = -3*s + 17. Does 5 divide (-5 - -275)*(-3)/l?
True
Suppose 0 = -7*g + g + 18. Suppose 357 = 5*b - r, b + 153 = g*b + 3*r. Let q = -11 + b. Is 13 a factor of q?
False
Let o = 20332 - 12535. Is 113 a factor of o?
True
Let m be (-9290)/15*9/(-6). Does 47 divide 5/30*0 + m + 2?
False
Let k = -1766 - -4783. Suppose -347 - k = -29*y. Is 10 a factor of y?
False
Let w = 4431 - 2594. Is 48 a factor of w?
False
Let r be ((-16 + 12)*-2)/(2/32). Let g be (-782)/(-7) - 2/(-7). Suppose n = 2*q - r, -2*q = -4*q + 5*n + g. Is 11 a factor of q?
True
Let q(a) = -a + 22. Let c(z) = z - 43. Let y(f) = -6*c(f) - 13*q(f). Let o be y(-10). Is 9 a factor of 3 + (2 + 2 - o)?
False
Suppose -77*n + 23*n = 44577 - 639819. Does 76 divide n?
False
Let j be (-2)/(-14) - (-1175)/7. Suppose -j = -4*u - 7*f + 3*f, -2*u - 3*f = -89. Is u a multiple of 8?
False
Suppose -4*f - 25 = -17, r + 3*f - 4 = 0. Let u(t) = t**3 - 9*t**2 + 4*t + 66. Is u(r) a multiple of 9?
False
Let i = -629 + 644. Suppose -i*n + 225 = 5*a - 19*n, -a - 4*n = -69. Is 5 a factor of a?
False
Is 3 a factor of 3747 + (10 - 9) + (-5 - (0 - -2))?
True
Is (585 + 12)*(15/(-45) + (-73)/(-3)) a multiple of 24?
True
Let n(p) be the third derivative of -11*p**4/8 + 4*p**3 - 24*p**2. Let f be n(-7). Suppose 2*a - 310 = -5*r, -5*a + 520 = r - f. Does 31 divide a?
True
Suppose -20 = -16*c + 11*c. Suppose 25 = 5*v + c*t, v - 10*t - 5 = -8*t. Suppose -v*x + 746 = -x - 5*a, -2*a = -4*x + 752. Does 27 divide x?
True
Let j = 23 + 11. Let y(w) = -w**3 - 7*w**2 + 6*w - 13. Let a be y(-8). Is 53 a factor of (-2 + 8/a)*8109/j?
True
Suppose 17*d = 4*o + 19*d - 39788, -2*o + 19912 = -2*d. Does 50 divide o?
True
Suppose -36*y + 14714 + 13562 = 6280. Is y a multiple of 19?
False
Let g(m) = -m**2 - 15*m - 13. Let h be g(-14). Is 17 a factor of 3*h/3*(782 - -5)?
False
Suppose 0 = -4*d + 4*h + 31412, -d = 5*h - 11725 + 3890. Does 7 divide d?
False
Let f be (-270)/35 + 2/(-7). Let l be 368/f - (3 + -1). Let w = 154 + l. Is 29 a factor of w?
False
Let i be 62*(-4 + 5 + -3 + 3). Let l = i - 53. Let j(k) = 15*k + 45. Is 18 a factor of j(l)?
True
Let a(f) = -65*f - 352. Is a(-14) a multiple of 8?
False
Let a be (-46)/42 + 56/588 - 7. Let d(w) = 541*w. Let b be d(-2). Is b/a - -1*(-6)/(-8) a multiple of 20?
False
Suppose 21*o + 10 = 16*o, 0 = p - 3*o - 192. Is p a multiple of 13?
False
Let r(j) = -j**3 + j**2 + 2*j + 46. Suppose 5*t - 101 = 39. Let a be (0/(-1))/1*(-7)/t. Is r(a) a multiple of 23?
True
Suppose 2338*q - 2293*q - 388800 = 0. Is 40 a factor of q?
True
Suppose -3*y - 9*p = -12*p - 35898, 4*y + 2*p = 47828. Is 20 a factor of y?
True
Suppose 167*d = 86445 + 100595. Does 12 divide d?
False
Let z(k) = -k**3 + 13*k**2 + 5*k + 4. Let i be z(5). Let s = 37 + i. Suppose -4*f - a = -214, 4*a - 2*a = -5*f + s. Does 11 divide f?
False
Let f(g) = 2*g**2 - 5*g - 4. Let h be f(4). Suppose -4*w - 2*c + 630 = 0, 2*c - 158 = -w - h. Does 5 divide w?
True
Let t = 1402 + -1246. Is t a multiple of 78?
True
Is (1 + -12)*(10/(-4) - 0)*62 a multiple of 10?
False
Let b be ((-12)/9)/(5/30*-2). Suppose -390 = -4*q - 2*n, -2*q + b*q - 193 = -3*n. Is q a multiple of 10?
False
Suppose -5*a + 761 = -279. Let v = -148 + a. Does 15 divide v?
True
Let x = 27 - 25. Suppose 4 = u, 12 = 2*k - 0*k + x*u. Suppose 0 = k*z, -n + 2*z = -6*n + 170. Does 19 divide n?
False
Let c be 3 + 1 + (-4 - -3) + 6164. Suppose -22*x + c + 3733 = 0. Is x a multiple of 50?
True
Let u(g) = g**2 - 9*g - 12. Let z be u(10). Let d be 0 - (4 + -5) - z. Suppose -d*q - 60 = -9*q. Is q a multiple of 5?
True
Let y(r) = -41*r + 4295. Does 43 divide y(67)?
True
Let k = 5440 + -4453. Is k a multiple of 7?
True
Let u(v) = -v**2 - 19*v + 4. Let q(t) = 2*t**2 + 38*t - 8. Let g(n) = -6*q(n) - 11*u(n). Is g(-13) a multiple of 32?
False
Let f be (-8 - -4) + 8 - -3. Is 11 a factor of 66/f*(15 - 8)?
True
Let u(s) = s. Let m(j) = 6*j + 57. Let l(c) = -m(c) - 2*u(c). Let w(i) = -5*i - 28. Let x(n) = -4*l(n) + 9*w(n). Does 14 divide x(-12)?
False
Suppose 0 = -32*k + 27*k - 4*j + 49798, 0 = -k - 3*j + 9953. Is k a multiple of 17?
True
Suppose 0 = -87*y + 20*y + 83*y - 271296. Is 27 a factor of y?
True
Suppose 5*y + 1363 = -3*f + 5052, -3*f = -9. Is y a multiple of 8?
True
Let g(x) = x - 16. Suppose 3*r = 2*v + 310, 2*r + 5*v = 2*v + 185. Suppose -2*o + 7*o = r. Is 3 a factor of g(o)?
False
Suppose -45*h + 251760 = -27*h - 500082. Is 221 a factor of h?
True
Let a be 49 + (-1 - 4) - 4. Suppose -2*d - 28 = -4*s, 4*d + a = 2*s + 2*s. Let m(w) = 5*w**2 - 4*w + 3. Is m(d) a multiple of 9?
True
Let b be 1698 - (-1 + -2 + 7). Suppose -4*a + b = o + 586, -2*o = 2*a - 2222. Does 79 divide o?
False
Let t(c) = -35*c + 13. Let o be t(-1). Does 4 divide (4 - (-52)/(-12))/((-2)/o)?
True
Suppose 99*i = 184*i - 1518440. Is i a multiple of 154?
True
Let l(m) = -253*m**3 + 2*m**2 - 16 + 20 - 3 + m. Let b be l(-1). Suppose b + 93 = 3*x. Is x a multiple of 17?
False
Let q(b) be the first derivative of -b**3/3 + 11*b**2/2 + 12*b - 16. Let v be q(12). Suppose v*h + 5*r = -2*h + 346, -5*r = -3*h + 494. Does 21 divide h?
True
Suppose 0 = 18*k - 59 + 23. Suppose 0 = k*a + 5*v - 105, 83 = -3*a + 4*v + 229. Does 5 divide a?
True
Is ((-9)/(-1))/(171/345705) a multiple of 15?
True
Let j = -1348 + 2886. Is 18 a factor of j?
False
Let q(l) be the second derivative of 26*l + 49/2*l**2 + 0 - 11/6*l**3. Is q(-11) a multiple of 34?
True
Suppose 5*r - 18756 = -g, -4*r + 7*g = 8*g - 15004. Does 28 divide r?
True
Suppose -2*w + 13024 = 2*i - 6*w, -2*w = i - 6480. Does 14 divide i?
True
Let d(k) = 45*k**3 - 4*k**2 + 22*k - 45. Let m be d(3). Suppose -1205 = -5*n + m. Does 13 divide n?
True
Suppose -2*g = -5*g + 2*j + 1204, 2*g - 790 = -5*j. Suppose -g - 440 = -12*c. Does 14 divide c?
True
Let w(k) = 12*k - 32. Let a be w(20). Suppose -209*m + a*m + 429 = 0. Is 13 a factor of m?
True
Let z(a) = 568*a + 61. Let i be z(18). Suppose 23*h = -i + 30295. Is h a multiple of 15?
True
Let l(t) = 1510*t + 41. Is l(3) a multiple of 24?
False
Does 14 divide 0 + 7 - (-7 - (2908 + 6))?
False
Let q be (-10 + -2 + 4)/1. Let n be q - -10 - 127*-1. Suppose -3*s - s = -3*v - 183, 0 = -3*s + 5*v + n. Is s a multiple of 6?
True
Let z be 16/(-24)*21/2. Let o(u) be the first derivative of u**3/3 - 10*u**2 - 7*u + 70. Is 14 a factor of o(z)?
True
Let m be (0 - (-5 - -4))/((-1)/(-4)). Suppose q - m*j = j + 295, 4*q +