Let r = -918 - -1108. Is r a multiple of 14?
False
Let i be 227/2 + 10/(-20). Let t = i - 42. Is 15 a factor of t?
False
Suppose 28 = 5*z + 2*n, 3*z = -2*z - 3*n + 32. Suppose 0 = z*q + 16 - 0. Let m(a) = -9*a - 2. Is m(q) a multiple of 4?
False
Suppose -145*i = -140*i - 4800. Does 32 divide i?
True
Suppose 3*g - c - 4*c - 3441 = 0, g + 4*c = 1147. Is 39 a factor of g?
False
Let c(a) = -18 + 6*a**2 + 29*a - 4*a**2 + 0*a**2. Does 6 divide c(-16)?
True
Let z = -90 - -257. Suppose -3*y = 41 - z. Is 7 a factor of y?
True
Let y(k) = -54*k + 2. Let c be y(-1). Let q = -17 + c. Is q a multiple of 9?
False
Suppose 346 + 436 = 17*s. Let z be (-8 - -2)/(3/(-26)). Suppose -m + 5*a + z = 0, -2*m + 3*a + s = -23. Is m a multiple of 9?
True
Let j(y) be the third derivative of -1/4*y**4 - 9*y**2 - 1/3*y**3 + 0*y + 0. Does 14 divide j(-12)?
True
Suppose -3*r + 0*r - 204 = 0. Let d = 18 + -41. Let u = d - r. Does 26 divide u?
False
Suppose 0 = 4*o + 35 + 65. Let y = 27 - o. Does 13 divide y?
True
Suppose 2*t + 18 - 3 = -5*l, l = -5. Suppose 0*g - t*g = -10, -5*h + 11 = -2*g. Let m(u) = 2*u**2 + 2*u + 4. Is 16 a factor of m(h)?
False
Suppose 0 = -0*v + 5*v - 20. Suppose 4*w - 12 - v = 0. Does 2 divide w?
True
Suppose -22 = -5*l - 2. Suppose -2*b + o = -3*o - 36, 5*b - l*o = 102. Is b a multiple of 18?
False
Suppose -3*b - 7 = -4*b. Suppose 2*w + 24 = 2*u, -3*u - 16 = -b*u. Let s = 17 + w. Is 3 a factor of s?
True
Suppose i - 108 = 19. Suppose 2*u = -4*w + i + 1, -18 = -w + 3*u. Is 15 a factor of w?
True
Let h(i) be the first derivative of -i**4/2 - 2*i**3/3 - i**2/2 + i - 3. Does 20 divide h(-3)?
True
Suppose 0 = -5*b + n + 748, b - 2*n = 2*b - 154. Does 17 divide b?
False
Suppose 8*p - 1 = 31. Suppose 5*y + p*m - 769 = -54, m = -4*y + 572. Does 13 divide y?
True
Let k = -738 - -1014. Is k a multiple of 6?
True
Let a = 160 + -86. Suppose -5*f - a = -194. Suppose 3*k + f = 6*k. Does 5 divide k?
False
Does 17 divide (4 - (47 + -3))*15/(-20)?
False
Suppose -75*a + 82*a - 3451 = 0. Does 11 divide a?
False
Suppose 31 = 3*l - 5*x, -2*l + 0*l - 16 = 4*x. Suppose -4*j + 2 = z, -l*j + 5 - 1 = 2*z. Suppose 2*b + 2*b - 20 = j. Is b a multiple of 5?
True
Suppose -40 + 16 = 4*i. Is (i - -1)/(3/(-63)) a multiple of 35?
True
Suppose -520 - 6440 = -24*w. Is 58 a factor of w?
True
Let k(m) be the first derivative of m**6/120 + m**5/15 + m**3/3 + 5*m**2/2 - 3. Let j(d) be the second derivative of k(d). Does 3 divide j(-2)?
False
Let g(m) = -20*m**3 + m**2 - m - 1. Suppose -4*c - 64 = -5*a - 15, 2*c = a - 29. Let q = -17 - c. Does 7 divide g(q)?
True
Suppose 3 = -3*y - 9. Let j(m) = 3*m + 5. Let i(z) = 4*z + 5. Let d(r) = -4*i(r) + 5*j(r). Is 9 a factor of d(y)?
True
Suppose -g - 776 = -4*h - 3*g, -g = -4. Suppose -h = 9*q - 13*q. Is 12 a factor of q?
True
Suppose 4*d = o + 8, 2*d = -o - 3*d + 37. Is 27 a factor of 32/o*(-93)/(-4)?
False
Let n = 153 - 61. Suppose -4*o + 132 = k, k - 8*o + 4*o = n. Suppose 5*d = 5*g + 280, d - 3*d = g - k. Does 14 divide d?
True
Let u be -5 + 1 + (4 - 12). Let w(l) = -3*l - 27. Is w(u) even?
False
Let t(v) = v**3 - 13*v**2 + 5*v - 17. Is 7 a factor of t(14)?
False
Let m(t) = 12 - 4 + 22 - t**2 - 17*t. Is 12 a factor of m(-15)?
True
Suppose 3*c - 39 = 9. Suppose -17*y = -c*y - 12. Does 3 divide y?
True
Suppose 4 = v - 0. Suppose v = 3*g - 26. Let f = 24 - g. Does 14 divide f?
True
Suppose 295*v - 302*v = -5117. Is 13 a factor of v?
False
Suppose -3*h = -470 - 271. Does 19 divide h?
True
Let s(q) = q**2 + 17*q + 8. Let z be s(-11). Let h = z + 31. Is (h/12)/(2/(-8)) a multiple of 2?
False
Let q(k) = -23*k**3 - 31*k**2 - 6*k - 1. Does 8 divide q(-4)?
False
Suppose 2*c = 2*g - 1636, -5*g - 5*c = -785 - 3285. Does 8 divide g?
True
Suppose -17*j + 14 = -15*j. Is 6 a factor of j?
False
Let n(b) = 5*b - 2. Let v be n(5). Let p = v - -15. Suppose p = 4*a + 3*l, -3*a + 33 - 4 = 2*l. Is 10 a factor of a?
False
Suppose 0 = h - 0 - 20. Suppose -5*u + 37 = -158. Let y = u - h. Does 19 divide y?
True
Is 20 a factor of (-1 + 25)*(-5)/10*-15?
True
Is 10 - 15*4/12 a multiple of 5?
True
Let j be (-3)/(6/314)*(0 - 2). Suppose j - 2074 = -8*r. Is r a multiple of 11?
True
Let j = 385 + -251. Does 4 divide j?
False
Suppose -2*g = 0, -3*a - g = 2*g - 12. Suppose 0 = a*t + 3*u - 40, -5*t + 3*u + 35 = -15. Suppose 415 = 5*v + t. Does 27 divide v?
True
Let x(d) be the second derivative of -d**5/20 - d**4/12 + d**3 + 3*d**2/2 + 21*d. Is x(-4) a multiple of 17?
False
Suppose 51*o - 58*o + 140 = 0. Is o even?
True
Let g = -66 - -46. Suppose -3*y - 3*u - 801 = 0, -4*y + 0*u - 2*u = 1074. Is 18 a factor of (y/g)/(6/32)?
True
Let s(d) = 13*d**2 - d - 1. Let z = 11 - 10. Let f be 2/z*(-2)/4. Is 13 a factor of s(f)?
True
Let n be (1 - 16/1)*(-1)/3. Suppose -3*o + 4*p + 704 = 0, 5*p - n = -0*p. Is o a multiple of 10?
False
Let n be 0 + 4 + -2 - 14. Let l = n + 23. Is l a multiple of 8?
False
Let w(g) = 4*g**2 - g + 4. Let q(m) = 7*m**2 - 3*m + 9. Let r(o) = -4*q(o) + 9*w(o). Let a(l) = l**2 - 4*l - 3. Let t be a(4). Is r(t) a multiple of 21?
True
Let z(d) = 36*d + 38. Let j(t) = -24*t - 25. Let i(o) = 8*j(o) + 5*z(o). Is 49 a factor of i(-9)?
True
Let h(g) be the second derivative of 17*g**3/6 - 2*g**2 - g. Suppose -3*b + 2*t + 4 = -10, -4*t - 8 = 4*b. Does 10 divide h(b)?
True
Let j(c) = -16*c - 1. Let a be j(3). Let k = a - 5. Does 14 divide (k/(-4) + 3)*2?
False
Let q = -87 - -393. Is 23 a factor of q?
False
Let g = -10 + 23. Suppose -29 = -g*p + 12*p. Is p a multiple of 12?
False
Let z = 53 + -32. Let h = z - -107. Is h a multiple of 30?
False
Suppose 2*t = -2*q - 4, -4*q = -0*q + 2*t. Let d = q - -2. Is (-266)/(-12) - d/24 a multiple of 5?
False
Suppose 0 = k + k, -3*u + 1701 = -3*k. Does 83 divide u?
False
Let a(x) = x**2 - 15*x + 3. Let r be a(11). Let p = -20 - r. Does 3 divide p?
True
Suppose -3*p = -2*p - 70. Suppose 5*x = 4*x + 5*n + p, x = -n + 58. Is x a multiple of 15?
True
Suppose 3*a - 3*l + 7*l - 490 = 0, 0 = 5*a + 2*l - 826. Suppose -3*x + x = -a. Let h = -35 + x. Does 12 divide h?
True
Let v be (-7)/6 - 5/(-30). Let k be (v - -2)*(4 - -1). Suppose -k*w = -3*w - 26. Is w a multiple of 6?
False
Suppose 0 = -12*h + 11*h + 183. Is 61 a factor of h?
True
Let x = -26 - -28. Suppose 7*n = x + 5. Suppose 5*a = -2*h + 29, -5*a + 8 = h + n. Is h a multiple of 22?
True
Let o(w) = -w + 1. Let f(u) = -2*u**2 + 6*u - 14. Let a(p) = -2*f(p) - 22*o(p). Let b be a(-5). Suppose 2*m - b = 52. Is m a multiple of 27?
True
Suppose -25 = 9*h - 4*h. Is 27/2*h/(20/(-24)) a multiple of 29?
False
Let q = -71 + 47. Does 9 divide ((-13)/(-2))/((-12)/q)?
False
Suppose -j - n = -316, -4*j - j + 1562 = -n. Suppose 7*p - j = 4*p + d, -212 = -2*p + 4*d. Is 12 a factor of p?
False
Suppose -100*d = a - 99*d - 979, -3*a + 4*d = -2972. Is 8 a factor of a?
True
Suppose -3*m = 5*h - 422 - 699, 4*m - 4*h - 1516 = 0. Does 13 divide m?
True
Let a(j) = -j - 5. Let k be a(-10). Suppose 3*y + 8 = -y, -k*o - 3*y = -9. Is 26 a factor of (13/(-2))/(o/(-18))?
False
Let x = 46 + -44. Does 10 divide ((-11)/55)/(x/25)*-86?
False
Let u = -470 + 1052. Is 15 a factor of u?
False
Let u be (-2)/((-60)/(-18)) + (-28)/(-5). Suppose -c - 271 = -3*c + u*i, 3*c - 2*i = 434. Is 27 a factor of c?
False
Let y(q) = -q**3 - 26*q**2 - 14*q + 8. Does 43 divide y(-26)?
False
Let u(i) = -9*i**3 - i - 2. Let x be u(-1). Let m be 6/4*x/6. Suppose 0*p = m*p - 34. Is p a multiple of 17?
True
Suppose -518 = -2*t + 3*h, -2*t + 3*h = t - 771. Let g = t - 139. Is 8 a factor of g?
False
Let r(y) = 6*y**2 + 3*y - 3. Let o(t) = t**3 - 11*t**2 + 2. Let z be o(11). Does 9 divide r(z)?
True
Suppose -3*n = i - 1144, 0*n - 4543 = -4*i - n. Is i*(-54)/(-315) - 6/(-14) a multiple of 19?
False
Let o = 623 + -396. Does 2 divide o?
False
Is 17 a factor of (-55 + 35)/((-2)/29)?
False
Suppose 11*u = 15*u - 8. Suppose l - 2*l - 1055 = -5*d, 2*d = u*l + 414. Is d a multiple of 28?
False
Let f(a) = -15*a**3 - 5*a**2 - a + 3. Let k(v) = 31*v**3 + 9*v**2 + 2*v - 5. Let h(m) = 5*f(m) + 3*k(m). Is 22 a factor of h(2)?
True
Suppose 3 + 1 = -g, 0 = n - g - 9. Suppose m = w - 6 + 33, -n*m + 2*w = -141. Suppose -2 + 0 = -2*l + y, 3*l + 5*y - m = 0. Does 3 divide l?
True
Suppose 3*b - 7 = 8. Let p = -2 + b. Is 16 a factor of -7*18/p*-2?
False
Let r be 2/(3/2 + -1)