l + 89. Is b(3) a multiple of 19?
True
Let k(r) = -6 - 139*r + r**2 - 2 + 152*r. Is 5 a factor of k(-15)?
False
Let h(r) = 6*r**2 + 2*r + 230. Is h(0) a multiple of 42?
False
Let y(a) = -16*a - 100. Is 12 a factor of y(-19)?
True
Let t(z) = 134*z**3 + 2*z**2 + z - 2. Let n be -1 + -1 + (9 - 6). Does 11 divide t(n)?
False
Let r(z) = z**2 - 7*z + 10. Let o be r(6). Let m be (-2)/((-40)/(-12) - o). Suppose -5*u - 3*q = -99, -2*u + m*u + 4*q = 30. Is 9 a factor of u?
True
Suppose -k + 5*k - 32 = 0. Suppose -126 = -k*y + 250. Does 13 divide y?
False
Let j = -780 + 928. Is 8 a factor of j?
False
Is (4/(-10))/(3*18/(-450900)) a multiple of 10?
True
Does 16 divide 0 + 3/(-1) - -227?
True
Does 32 divide 6 - (-5 - 27)*20?
False
Let y = -27 - 26. Let k = 30 + y. Let a = 50 + k. Does 13 divide a?
False
Let b(k) be the second derivative of k**4/12 - k**3/6 + 2*k**2 - 6*k. Let x be b(-6). Suppose -17 = -3*g + x. Is g a multiple of 7?
True
Let o = 722 + -433. Is 13 a factor of o?
False
Let y(m) = m**2 + 10*m + 5. Is y(-12) a multiple of 7?
False
Let n = 15 - 13. Let l be (-1 - n)/((-7)/21). Suppose -3*b = l - 51. Is 14 a factor of b?
True
Let j(h) = -3*h - 53. Let r be j(11). Let x = r + 108. Is x a multiple of 22?
True
Suppose -3*a - 370 = 1598. Is 22 a factor of a/(-10) - (-16)/40?
True
Suppose 5*v - 3*x = 3, -v = -x + 4*x + 3. Suppose b - 11 - 12 = v. Is b a multiple of 7?
False
Let t = 28 + -10. Let h = 35 - t. Does 17 divide h?
True
Let p(h) = 0*h**3 + 909*h**2 + 5*h - 14 + h**3 - 907*h**2. Is 16 a factor of p(6)?
True
Suppose -448 = -17*o + 15*o. Suppose 0 = -9*h + o - 53. Is 13 a factor of h?
False
Let u(p) = -2*p + 21. Let n be u(10). Suppose n = -6*z + 103. Does 17 divide z?
True
Let l(v) = 2*v**3 - 2*v + 2052. Is 66 a factor of l(0)?
False
Let b = 89 + -49. Is (-3)/((-6)/b + 0) a multiple of 16?
False
Suppose -5*p + 2*a + 153 = 8, 2*p - 2*a = 64. Let l(y) = -15*y**2 - 11*y**2 + 7 + p*y**2 - 5*y. Is l(5) even?
False
Let a = -1815 + 2632. Is a a multiple of 43?
True
Let f = 296 - 149. Let l = -232 + f. Is (24/10)/((-34)/l) a multiple of 3?
True
Suppose -t = 5*s - 1, 7 = 4*s + 4*t + 3. Suppose 2*g = 2*o + 209 - 45, 4*g + 5*o - 346 = s. Is g a multiple of 21?
True
Suppose -m = -5*l + 1347, -277 = -l - 2*m + 6*m. Is l a multiple of 60?
False
Let q = 164 - 38. Suppose k + 2*y - q = 0, -6*k + 2*k = -5*y - 543. Suppose -4*o + 0*o = -k. Does 12 divide o?
False
Suppose -7857 = -35*y + 8*y. Is 53 a factor of y?
False
Let q(m) = -m**2 + 6*m - 13. Suppose 3*v = 4*v - 7. Let h be q(v). Is (4 - (-88)/h)*-130 a multiple of 13?
True
Suppose -4*y + 1580 = w, -7*y + 8*y = 2*w + 404. Is 22 a factor of y?
True
Suppose -2*w = -3*w - 3*v - 7, 8 = -w - 2*v. Let o = w + 34. Is o a multiple of 12?
True
Let a(j) = -9*j + 59. Let p be a(7). Let z = 9 - 10. Is z/((-36)/8 - p) even?
True
Suppose -5*y + 300 = -10. Let h = y + -40. Does 22 divide h?
True
Let n be 31/6 + 7/(-42). Suppose 3*v - 17 = -n. Is 330/21 + v/14 a multiple of 16?
True
Let r = -1110 - -1719. Is r a multiple of 25?
False
Suppose 0 = 4*m + q - 608, -4*m + 4*q - 253 + 861 = 0. Does 38 divide m?
True
Let a(l) = l**2 - 7*l - 8. Let s be a(8). Suppose 0 = -2*i + 2 - s. Does 17 divide i*(-28)/8*-12?
False
Suppose -2*k - 2*w + 3 = -5, 3*k = 3*w - 12. Suppose -5*r - 5*c + 925 = 0, k = -3*c - 3. Is 17 a factor of r?
False
Let u be (7/2)/(10/(-60)). Let x = u + 23. Suppose -21 + 53 = x*l. Is l a multiple of 16?
True
Suppose 0 = -3*o + 15, -8*b + 31 = -5*b - o. Let r(n) = -n**3 + 13*n**2 - 10*n + 9. Is 4 a factor of r(b)?
False
Suppose -o - 5 + 16 = 0. Suppose -o - 33 = -m + 2*s, 0 = -3*m + 5*s + 131. Is m a multiple of 7?
True
Suppose 3*k - 29 = 2*k. Suppose -2*r = -r + 5*c - 25, 0 = 2*r + 3*c - k. Does 10 divide r?
True
Suppose 4*i + 3*s = 176 + 465, 2*s - 318 = -2*i. Suppose -184 = -5*g + 3*u - 2*u, i = 4*g - 5*u. Is g a multiple of 12?
True
Let t = 5739 + -3097. Does 29 divide t?
False
Does 35 divide (-370)/(-50) - 7 - (-2288)/5?
False
Suppose -2*x = 2*u - 1260, -18*x + 22*x + 2496 = 4*u. Is u a multiple of 54?
False
Let n(i) = 6*i**2 + 120*i + 57. Is n(-25) a multiple of 18?
False
Let m(q) be the first derivative of -q**4/4 - 7*q**3/3 + 2*q**2 - 11*q + 6. Let d be m(-8). Suppose v - 3*a - d = 0, -3*v + 4*a + 53 = -0*a. Is 5 a factor of v?
True
Let c = -247 - -362. Suppose -3*p + 119 = -c. Is p a multiple of 13?
True
Suppose -5*n = -4*x - 5, 4*x = 5*x + 3*n - 20. Suppose u - 41 = -4*h, -206 = -x*u - 3*h - 52. Is 6 a factor of u?
False
Let l(m) = m**2 - 13*m + 54. Is 4 a factor of l(14)?
True
Let c(u) = 3*u**3 + 7*u**2 - u - 5. Let g be c(-3). Suppose 6*s + 144 = 3*s. Let k = g - s. Is k a multiple of 28?
True
Suppose 14*q = 3*y + 9*q - 4154, -2*y + 5*q + 2776 = 0. Is 26 a factor of y?
True
Suppose 37*t + 2744 = 5*w + 41*t, t = 3*w - 1660. Does 19 divide w?
False
Suppose 2*x - 10 = -5*z + 3*z, -3*z = -4*x - 8. Let f be 230/(-4)*24/(-5). Suppose 4*o - 5 = 11, -2*q - z*o + f = 0. Does 26 divide q?
True
Let a = -3 + 7. Suppose 212 = 4*n - a*s, n + 4*n + 2*s = 286. Let p = 93 - n. Is p a multiple of 12?
False
Suppose 25*h - 19472 - 10028 = 0. Does 10 divide h?
True
Let j(h) be the second derivative of h**5/20 - 5*h**4/12 - 2*h**3/3 + 5*h**2/2 - h. Let m be (-40)/(-30) - 28/(-6). Does 15 divide j(m)?
False
Suppose 0 = 5*c - 4*q - 656 - 32, 0 = -4*c + 4*q + 548. Is 4 a factor of c?
True
Let n(y) = -y**2 + 6*y - 2. Let u be n(-6). Let p = u + 39. Does 3 divide 37/5 + 14/p?
False
Let z = 25 + -21. Suppose -3*m + 13 = 5*j, 10*j = 5*j + z*m + 41. Is j*15 + -4 + 4 a multiple of 15?
True
Let o be ((-15)/(-5))/(-3)*(1 + 12). Let s = 153 + o. Does 15 divide s?
False
Suppose 4*d = 7*n - 3*n + 1264, 1572 = 5*d - 3*n. Does 8 divide d?
True
Let i = 28 + -19. Let t = -21 + i. Let l = t - -17. Is 3 a factor of l?
False
Suppose -u - 2*u - 66 = 0. Suppose 5*b - 130 = 5*x - 10*x, 4*x = -8. Let l = b + u. Is 3 a factor of l?
True
Let a(p) = 15*p**2 + 372*p + 16. Is 40 a factor of a(-28)?
True
Let s be -20*((-14)/(-8) - 2). Suppose -s*p = 2*p - 329. Does 25 divide p?
False
Let f(v) be the second derivative of v**4/12 - v**3 - 15*v. Is 50 a factor of f(-8)?
False
Let m(r) = -9*r + 2. Let l(v) = -4*v + 1. Let z(d) = -5*l(d) + 3*m(d). Is 12 a factor of z(-5)?
True
Suppose 3*j + 3*j = 0. Is (-4)/12 + (j - (-13)/3) a multiple of 2?
True
Let v be (-2)/8 + 35/(-4). Let b(r) = 7 - 35*r**2 + 34*r**2 - 3 - 16*r. Does 15 divide b(v)?
False
Let d = -20 + 216. Is d a multiple of 24?
False
Suppose -4*h = -16 - 20. Suppose 0 = s - h + 6. Suppose o - s*f = 2*f + 42, 0 = o - 4*f - 38. Does 11 divide o?
True
Let n be (2/(-8))/((-1)/8). Suppose -4*i = 6 + n. Is 22 a factor of (1*-106)/i*1?
False
Let k(v) = 8*v**2 - 8*v - 23. Let l(o) = -7*o**2 + 8*o + 23. Let w(s) = -6*k(s) - 7*l(s). Does 13 divide w(17)?
True
Suppose 2*h = 31 - 21. Let w be -2 + 2 + -2 + 2. Suppose w*a - h*a = -45. Is a a multiple of 9?
True
Let f(w) = -5*w**2 - 80*w. Is 4 a factor of f(-12)?
True
Suppose -4*r + 27 + 117 = 0. Suppose -2*f = -5*f + r. Let o = 3 + f. Does 7 divide o?
False
Suppose -2*l - g - 692 = -4*l, 0 = -4*l + 3*g + 1386. Is l a multiple of 15?
True
Suppose 0 = 143*p - 151*p + 5992. Is p a multiple of 16?
False
Let b(z) = 14*z + 4. Let a be b(4). Suppose c - 42 = a. Suppose -2*r = 2, 3*i - 2*r - c = r. Is i a multiple of 11?
True
Let j(t) = 3*t**2 + 18*t + 8. Is j(8) a multiple of 13?
False
Suppose -26 = -5*d + 4*j + 50, -4*j - 28 = -2*d. Is 3 a factor of d/(-32) + (-206)/(-4)?
True
Let q = -7793 - -11213. Is q a multiple of 60?
True
Let g(i) = i**3 + 28*i - 138. Is g(6) a multiple of 41?
True
Suppose 4*y - 5*z - 2151 = 0, -31*y + 1062 = -29*y + 2*z. Does 6 divide y?
True
Let u(s) be the second derivative of -s**4/12 + 3*s**3 - 3*s**2/2 - 15*s. Is 14 a factor of u(9)?
False
Is (-7)/(4 - (4172/148)/7) a multiple of 4?
False
Suppose -3*t + 1446 = m - 116, 15 = 3*t. Is 32 a factor of m?
False
Let i(j) = j**2 + 1. Let p be i(1). Suppose p*o + 2*o = 236. Does 59 divide o?
True
Suppose 5*h = 50 - 15. Let g(p) = 4*p**2 + 13*p + 23. Is 31 a factor of g(h)?
True
Let s = -54 - -38. Let i = s + 27. Does 10 divide i - (-4 + 2/2)?
False
Let n = -61 - -89. Does 16 divide ((-5)/((-20)/(-42)))/((-3)/n)?
False
Is 34 a factor of -1 + (-4 - 4) + 927?
True
Does 7 divide 0/(-2) - (-145 - -