t s = -110 - t. Is 16 a factor of s?
False
Let h = -38 - -43. Suppose -206 = -h*c + 124. Is c a multiple of 11?
True
Suppose -6*f - 51 = -3*f. Let q = f + 92. Is q a multiple of 29?
False
Suppose -3*b + 73 = y - 5*y, -84 = -4*b + 2*y. Let i = 11 + b. Does 10 divide i?
True
Let m(k) = k**3 - 11*k**2 + 13*k + 9. Is m(13) a multiple of 43?
True
Let i = 623 + -443. Is 48 a factor of i?
False
Suppose -5*m + 13809 = -3*o, -10*o + 9*o - 13803 = -5*m. Is m a multiple of 20?
True
Suppose c - 17 + 14 = 0. Suppose 45 = -2*f + c*f. Does 9 divide f?
True
Suppose 2*i - 4*i = -4*b + 34, -3*i + 21 = 2*b. Suppose 0 = -b*n + 3*n + 342. Does 19 divide n?
True
Let s = -2 - 2. Let g be (-4910)/(-40) + (-1)/s. Let m = g - 45. Is 26 a factor of m?
True
Let k = -16 + 49. Suppose 0 = f - k - 15. Is 48 a factor of f?
True
Let m(y) = -y + 19. Let x be m(-9). Suppose -2*q + x - 7 = 5*t, 0 = q - 3*t - 5. Is 8 a factor of q?
True
Let y = -155 - -634. Suppose -5*r = -r + v - y, 595 = 5*r + 5*v. Does 20 divide r?
True
Let m = 704 - 696. Is m a multiple of 2?
True
Suppose -7*h = -3*h. Let o(g) = -g**2 + 4. Let b be o(h). Suppose -v + 357 = b*v - 2*k, 3*v = -4*k + 235. Is 24 a factor of v?
False
Let q = -1030 - -1174. Is 48 a factor of q?
True
Let a(w) = 87*w**2 - 24*w + 43. Does 14 divide a(2)?
False
Let a = -34 - -36. Suppose 0 = -a*y, 2*b - 2*y - 36 = -6*y. Does 9 divide b?
True
Let j = -90 + 117. Is 3 a factor of j?
True
Suppose -2*o = -3*o. Suppose o = -5*y + 2*y + 87. Is y a multiple of 6?
False
Suppose 0*m + 72 = 6*m. Let j be ((-1134)/(-12))/((-9)/m). Let z = 213 + j. Is 23 a factor of z?
False
Let p(m) = m**3 + 13*m**2 + 12*m - 13. Does 54 divide p(-10)?
False
Suppose -3*a = 3*l - 12, -3*a + 6*l = 2*l + 9. Let f(m) = 313*m + 7. Does 16 divide f(a)?
True
Let z(h) = 40*h + 501. Does 16 divide z(8)?
False
Let r(u) = -u + 6. Suppose 0 = 7*z - 6*z + 9. Is r(z) a multiple of 2?
False
Suppose 0 = -3*t + 2*q + 43, 2*q - 3 + 1 = 0. Does 15 divide (510/(-25))/((-6)/t)?
False
Let n(c) = -c**2 + 7*c - 2. Let l(f) = 4*f - 3. Let d be l(2). Does 6 divide n(d)?
False
Let y(q) = 14*q - 16. Let g(a) = a. Let i(l) = -g(l) + y(l). Let w = 387 - 383. Is 18 a factor of i(w)?
True
Suppose 0 = 9*w - 4*w - 15. Suppose p - 5*a - 5 = -4*p, -5*a = -3*p - w. Suppose -3*i - 385 = -5*g, p*g + 2*i - 343 = -13. Is g a multiple of 42?
False
Let t = -40 + 42. Let b be 18/8 + (-2)/8. Suppose 2*o + 133 = 3*p, 2*p - 180 = -t*p + b*o. Is p a multiple of 11?
False
Let t be -1 + 96 + -2 + -1. Let m be (-7 + 186/24)*-44. Let i = t + m. Is i a multiple of 24?
False
Let r(c) = c - 9. Let v be r(-6). Let q(t) = t**3 + 16*t**2 + 10*t - 4. Does 20 divide q(v)?
False
Let x(g) = -15*g - 4. Let n be (-1)/((6/3)/(-8)). Let a be x(n). Let y = 112 + a. Is 16 a factor of y?
True
Suppose 13 = 2*a - 11. Let k be a*(14/(-4) + 4). Is 2 a factor of 10/k - (-2)/6?
True
Let q(g) = -g**3 - g**2 + 43. Suppose 5*d + 1 = 5*o + 26, -20 = -4*d - 4*o. Let s = d + -5. Does 12 divide q(s)?
False
Suppose 3*o - g - 133 = 0, -59 = -2*o - 3*g + 26. Suppose -i - 150 = -3*q, -2*q + 133 = 3*i + o. Is 14 a factor of q?
False
Let h(l) = -l**3 + 7*l**2 - 4*l - 3. Let n be h(8). Is (n/12 - -1)/((-1)/4) a multiple of 6?
False
Let x(d) = -d**2 - 28*d + 146. Does 8 divide x(-13)?
False
Let l(q) = q**2 - 2*q - 1. Let k be l(4). Suppose k*b + 47 = 425. Does 9 divide b?
True
Let l = 300 - 436. Let z = -58 - l. Is 23 a factor of z?
False
Suppose 5*t = -15, -v = -0*v - 5*t - 61. Suppose 0 = -53*m + v*m + 84. Is 3 a factor of m?
True
Suppose 0 = 41*i - 24*i - 39270. Is 70 a factor of i?
True
Let u(w) = w**3 + 13*w**2 + 13*w + 9. Let s be u(-11). Suppose -j = -5*i - s, 0 = -j - 0*i + 2*i + 120. Does 15 divide j?
False
Let x = -23 + 22. Is (82/4)/(x/(-2)) a multiple of 13?
False
Suppose -1414 = -6*f + 350. Does 21 divide f?
True
Let n(k) = -3*k**2 - 2*k - 4. Let d be n(-2). Let z = 26 - d. Does 9 divide z?
False
Suppose 4*i - 3*d = 795, 2*i - 338 = 5*d + 63. Is i a multiple of 33?
True
Suppose 2 = -4*u - 22. Let z be (4/u)/((-2)/(-93)). Let f = 79 + z. Is f a multiple of 16?
True
Let l(h) = 17*h**2 - 4*h - 12. Is 48 a factor of l(6)?
True
Suppose 5*v - 2*d = -342, 0 = v - 5*d + 65 - 15. Let a = 137 + v. Is 10 a factor of a?
False
Suppose -11 = -5*a + 4. Suppose 15 = -k + 27. Is 4/k - (-128)/a a multiple of 27?
False
Suppose 3*b + 3*t = 7 - 1, -2*b + 7 = t. Suppose 3 = -3*x, 3*j - b*x - 437 = j. Suppose -j = -8*m + 5*m. Is 11 a factor of m?
False
Suppose 2*k - 3986 = -4*x, -5*x + 2*k + 909 = -4078. Is 23 a factor of x?
False
Let r(b) = -b**2 - b + 3. Let o(y) = -4*y**2 - 4*y + 10. Let l(u) = -6*o(u) + 17*r(u). Is l(3) a multiple of 15?
True
Let w(f) = 73*f - 8. Let g be w(4). Suppose 2*j = 2*x + 188, -4*j + g = -j - 2*x. Does 32 divide j?
True
Let b be 4*5/(20/3). Suppose d = -b*v + 25, 0 = -3*d - 11 - 4. Is 5 a factor of v?
True
Let h(i) = -3*i**3 + 4*i**2 + 8*i + 25. Is h(-6) a multiple of 40?
False
Let r = -99 + 513. Does 73 divide r?
False
Let u(d) = -3*d**3 - 6*d**3 - 3*d + 6*d**3 + d**2 - 4. Is 13 a factor of u(-2)?
False
Is -2*(-4 + 2) - (17 - 23) a multiple of 2?
True
Let j = 6 + -5. Let u(r) = -r**3 - 18*r**2 + r - 6. Let z be u(-18). Let p = j - z. Is 7 a factor of p?
False
Let w(u) = 2*u**2 + 8*u + 9. Let m = 44 + -51. Does 10 divide w(m)?
False
Let a(q) = 5*q - 15. Let x be a(3). Does 4 divide (-19 + 12)/(x + 1/(-3))?
False
Suppose x - 10 = 6. Suppose 0 = 4*d - 60 - x. Let y(k) = -k**2 + 21*k - 12. Does 5 divide y(d)?
False
Is (-3 + -1 + 1)*240/(-8) a multiple of 10?
True
Suppose -7*i + 10*i - 12 = g, 4*g = 3*i - 12. Suppose -w + 221 = 5*l, 3*l - 45 = 2*l - w. Suppose -l = -t - g*t. Is 11 a factor of t?
True
Let p(i) = 20*i**2 + 7*i + 16. Does 95 divide p(7)?
True
Suppose 3639 = 4*y + 14*o - 17*o, -897 = -y + 5*o. Is y a multiple of 48?
True
Suppose -4*k = -44 - 140. Let p = k + -30. Is p a multiple of 2?
True
Is 6 a factor of 22/(3/(-168)*-7)?
False
Suppose 2*q = -g + 11, -3*g + q + 21 = 3*q. Suppose -c - 53 = -g*x - 148, 3*x + 85 = c. Does 11 divide (2 - 4) + c/2?
True
Suppose 160 = -4*m + 2*m. Let n be (m/(-28) - 2)*7. Suppose -21 - 15 = -n*t. Is 2 a factor of t?
True
Let k(c) = -c**3 - 2*c**2 - 2*c. Let g(y) = -y**3 + 5*y**2 - 3*y + 12. Let d be g(5). Is 3 a factor of k(d)?
True
Let m = -43 + 52. Is 5 a factor of m?
False
Suppose 9*d - 40 = 5*d. Suppose 0 = d*n - 217 + 37. Is 4 a factor of n?
False
Suppose -3*w - 2*n - 12 = 3*n, 3*w + 2*n + 3 = 0. Let k be -104*w*(-1)/2. Let v = k + -30. Is 13 a factor of v?
False
Let y(t) = 3*t**2 + t - 4. Let x(d) = d - 11. Let p be x(5). Let n(h) = -h**3 - 6*h**2 + 3. Let j be n(p). Does 26 divide y(j)?
True
Suppose 5*y + 0*y + u - 37 = 0, -4*y = 3*u - 23. Suppose z + y = -3*z. Does 23 divide z + -2 - (3 + -61)?
False
Suppose 3*l + 2035 = 4*q, -8*q - 4*l + 1495 = -5*q. Is 58 a factor of q?
False
Let q = 211 + -147. Is 15*(q/10)/2 a multiple of 16?
True
Suppose -y - 40 = -45. Is (-97)/(-5) + (-2)/y a multiple of 3?
False
Let z = -12 - -11. Let c be -7*(z - (1 + 0)). Suppose 0*i + c = 2*i. Is i even?
False
Let r = -23 + -4. Let u be 36/r*(-12)/(-1). Is 9 a factor of u/(1 + -5) - -53?
False
Let r(j) be the first derivative of j**4/4 - j**3/3 + 5*j**2/2 - 5*j + 6. Let n(i) be the first derivative of r(i). Is n(4) a multiple of 15?
True
Suppose 73*c - 35552 = -28*c. Is 89 a factor of c?
False
Let x(n) be the second derivative of -4*n**3/3 - 21*n**2/2 - 17*n. Does 10 divide x(-7)?
False
Is (-4 + -4 + 6)*(-1035)/6 a multiple of 16?
False
Suppose 23*t = 13*t + 2560. Let o = -112 + t. Is 18 a factor of o?
True
Let s(o) be the third derivative of 1/6*o**4 - 9*o**2 + 5/6*o**3 + 0*o + 11/30*o**5 + 0. Is s(-2) a multiple of 17?
True
Let m(o) = -9*o**3 - 3*o**2 + 6*o + 10. Let b be m(-3). Suppose -968 = -5*r - b. Is r a multiple of 21?
False
Suppose 4*m - 5*z - 16 = 0, -4*z + 61 = 3*m + 2*m. Let r(h) = -m*h + 35*h**2 + 26*h - 14*h - 2. Is r(1) a multiple of 12?
True
Let k be 1 - (0 - -1) - -12. Let q be (k/9)/(6/(-9)). Let d = 7 - q. Is d a multiple of 5?
False
Is 417/(-9)*(-10 - 5)/1 a multiple of 51?
False
Suppose -898 = -4*v + 3318. Is 14 a factor of v?
False
Is 76 a factor of 659 + -6 + -3 + 5 + -4?
False
Let f be (-1)/(-2)*2*4. Let x = 9 - f. Is x a multiple of 3?
False
Let k(n) = 22*n - 19. Let w be k(7). Let