260 = 5*b. Is 14 a factor of b?
False
Suppose o - 12 = 3*m, -3*o + 23 = -m - 5. Suppose -95 = -o*k + 4*k. Suppose -3 + k = 2*u. Is 6 a factor of u?
False
Does 17 divide -4 + 4 + 3 + -1 + 32?
True
Let x be 2/3 + (-13)/(-3). Suppose -r - 26 = -51. Let u = x + r. Is 10 a factor of u?
True
Let v(q) = -q**2 + 5*q + 3. Let i be v(5). Suppose 115 = 3*m - i*p - p, 5*p = -4*m + 112. Is 11 a factor of m?
True
Let c be -4*(-1)/2 - -1. Suppose -2 - 16 = -c*j. Is j a multiple of 6?
True
Let y(m) = -12*m**2 - 4. Let d be y(-2). Let z = 91 + d. Is 13 a factor of z?
True
Let y = 10 - -116. Suppose 5*o - 24 = y. Is 10 a factor of o?
True
Suppose -5*p = -156 + 41. Is 23 a factor of p?
True
Let w = 45 - 27. Is w a multiple of 18?
True
Suppose 3*m - 270 = -2*m. Is 9 a factor of m?
True
Suppose p = 2*x, 3*x + 3 = -0*x. Is (0 - p) + (-103)/(-1) a multiple of 32?
False
Is 221 + (3/(0 - 1) - -4) a multiple of 13?
False
Let r(z) = 2*z**2 + z + 1. Let j be r(4). Does 13 divide -1 + 4 + -1 + j?
True
Let z(m) = m**3 - 4*m**2 + 6*m - 2. Suppose -2*v - 4*k = 2*v, 2*v = 5*k + 28. Is z(v) a multiple of 8?
False
Let k(c) = -9*c + 3. Does 7 divide k(-4)?
False
Let t(p) = 3*p**3 - p**2 + 2*p - 1. Let g be t(1). Suppose -g*n = -4*n + 56. Is n a multiple of 28?
True
Let h(s) = s**3 + 6*s**2 - 3*s + 5. Does 5 divide h(-5)?
True
Suppose 0 = 5*r + 3*r - 592. Does 13 divide r?
False
Let w(o) be the first derivative of -o**4/24 + o**2 + 1. Let c(a) be the second derivative of w(a). Does 7 divide c(-9)?
False
Let g = -275 - -658. Does 43 divide g?
False
Suppose 5 = 5*u + 5*w, 0*w = -5*u + 2*w + 33. Suppose 2*h - u*h + 18 = 0. Does 3 divide h?
True
Suppose 3*n - n = 0. Does 15 divide (47 - 3) + (1 - n)?
True
Let z(d) = -d**2 - 7*d - 1. Let o(h) = -h**2 - 6*h + 1. Let n be o(-7). Let i be z(n). Suppose -2*r = -i*r + 48. Is r a multiple of 6?
False
Let g = -60 - -19. Let i = g + 17. Let n = 41 + i. Is 17 a factor of n?
True
Let f be (((-539)/21)/(-7))/((-1)/(-3)). Let h = 16 + 1. Let x = h - f. Is x a multiple of 3?
True
Suppose 3*p - 8 = -p. Suppose -5*h - 2*l + 118 = 0, -3*h + 102 = 2*h - p*l. Suppose 4*t + h = 174. Does 19 divide t?
True
Let n be 4/(-16) + 2/8. Suppose n = -3*q + 2 + 13. Suppose -2*j = -4*j - q*c + 7, 23 = 3*j + 5*c. Does 6 divide j?
False
Let g = -22 + 73. Is 21 a factor of g?
False
Let c(b) = -b**2 - 6*b + 4. Is 2 a factor of c(-6)?
True
Suppose -5*q = -89 - 336. Does 25 divide q?
False
Suppose 4*s - 32 = 4*v, -5*s - 27 = 5*v + 33. Is 12 a factor of (-234)/(-10) - 6/v?
True
Let y = 103 - 74. Does 28 divide y?
False
Suppose -z = -3*z + 66. Is z a multiple of 11?
True
Let z(c) = 4*c + 9. Does 10 divide z(6)?
False
Suppose -o + 2*o - 1701 = 0. Does 27 divide (4/(-6))/((-14)/o)?
True
Suppose 9 = -o + 4*o. Suppose 5*z - 3*z = -5*m + 77, o*m - 41 = 4*z. Is m - (1/(-1))/(-1) a multiple of 7?
True
Let t(b) = -6*b - 1. Let s be t(-1). Suppose -s*n = 21 - 61. Is 4 a factor of n?
True
Let z = -6 + 8. Suppose 5*x - z = 3. Is 3*x/6*60 a multiple of 12?
False
Let p(k) = 3*k**2 - 11*k - 38. Does 16 divide p(-9)?
True
Suppose -t = 2 - 5. Suppose 4*d - 51 = 2*f + f, 0 = -2*d - t*f + 21. Is (1*d)/((-9)/(-6)) a multiple of 8?
True
Let w be ((-12)/(-14))/(15/70). Suppose 0 = v + 5*z - w - 8, 0 = 2*v + 2*z - 16. Is v a multiple of 7?
True
Suppose -5 = -m + 17. Is m even?
True
Let p = -12 - -15. Suppose p = 2*v - 21. Is 6 a factor of v?
True
Let o = -27 + 67. Does 40 divide o?
True
Let y(u) = 5*u**3 + u**2 - 7*u - 3. Let w(r) = 9*r**3 + 3*r**2 - 14*r - 6. Let p(x) = -6*w(x) + 11*y(x). Is 3 a factor of p(6)?
True
Let h(f) = 4 + 2*f - 5*f - 2 + 4*f. Let r be h(0). Let l(j) = j**2 + 2. Does 6 divide l(r)?
True
Suppose 0 = -2*s - 5*m + 71, -4*m - 100 = 3*s - 7*s. Suppose -4*d + 24 = -s. Suppose d = 2*a - 29. Is 11 a factor of a?
False
Does 2 divide ((-9)/15)/((-4)/60)?
False
Let i = 11 - 6. Suppose 0 = -10*a + i*a + 4*x + 60, 0 = -3*a + 4*x + 36. Is a a multiple of 7?
False
Let j(h) = 5*h**2 - 2. Let f be (-1 + 0 + -1)*-1. Does 8 divide j(f)?
False
Suppose -4*q + 980 = 3*q. Is q a multiple of 28?
True
Suppose -3*a + 13 - 4 = 0. Suppose -a*i = -6 - 18. Is i a multiple of 8?
True
Suppose 0 = -5*n + q - 4*q + 141, 0 = 4*n + 2*q - 114. Is n a multiple of 6?
True
Let q(y) = -244*y - 2. Is 29 a factor of q(-1)?
False
Suppose 3*m = 2*m + 57. Does 13 divide m?
False
Is ((-2)/(-4) + -1)/(1/(-14)) a multiple of 4?
False
Suppose 3*u - u = 0. Let n be u*3/(-9) - -58. Let j = n + -41. Does 17 divide j?
True
Let x be 15/6*(-4)/(-5). Is 4 a factor of 6*(-2 - -3) + x?
True
Let a(l) = l**2 + 4*l + 2. Let j be a(-4). Suppose -j*v + 14 + 14 = 0. Is v a multiple of 7?
True
Let x be 66/18 + 2/(-3). Suppose -x*b + 44 = j, 0 = 5*b - 0*j + 5*j - 70. Is 6 a factor of -1*2 + (b - 4)?
False
Suppose 0 = 3*l - 6 - 9. Suppose 0*v = -l*v + 2*r + 32, 5*v + 5*r = 25. Does 6 divide v?
True
Suppose 0 = -0*o + 3*o - 21. Let b = o - 2. Is 4 a factor of b?
False
Let t(j) = -j**2 + 14*j + 2. Is t(9) a multiple of 6?
False
Let l = 50 + 2. Is 13 a factor of l?
True
Suppose 3*i - 7 = 5. Suppose -i*a = 2*c - 16, -a + 6*c = 3*c + 3. Suppose 7*x = a*x + 52. Is x a multiple of 11?
False
Let s(f) = -f**2 - 4*f. Let n be s(-4). Suppose -k = -3*v - 11, -4*k - 3*v + 44 = -n*v. Is 11 a factor of k?
True
Let v = -2 + 2. Is 26 - -1*v/1 a multiple of 13?
True
Let r = -3 - -2. Let u be -22 - (r - -10)/(-3). Is 0 - u - (-6 + 4) a multiple of 12?
False
Let q(r) = 16*r - 1. Let f be q(1). Let k = f - -90. Is 5 a factor of k/(-14)*-1*2?
True
Suppose -b + 6 = -3*b. Let s = 5 + b. Suppose -t = s*a - 17, -4*t - a + 9 = -31. Is t a multiple of 8?
False
Suppose -3*u = 71 + 4. Let j = 58 + u. Is j a multiple of 8?
False
Is 3 a factor of 3/((1/(-9))/(-1))?
True
Suppose -24 = 3*c - 7*c. Let j(m) = m**2 - 2 - 5 + 8*m - 10*m. Does 17 divide j(c)?
True
Let g = -469 - -665. Does 49 divide g?
True
Let q(o) = -o**3 - 7*o**2 + o + 10. Let u be q(-7). Suppose -j = -3*h + 111 + 2, -u*h - 3*j + 117 = 0. Is h a multiple of 12?
False
Let i(x) = 3*x**3 + x**2 - 4 + 0*x**3 - 5*x - 2*x**3. Let l be i(-3). Let g(f) = -f + 5. Is g(l) a multiple of 8?
False
Let o = -5 - -4. Let k = o + 10. Is k a multiple of 9?
True
Let o = -12 + 18. Suppose o - 2 = l. Suppose -4*d + p + 152 = -3*p, 195 = 5*d - l*p. Is 15 a factor of d?
False
Let c be ((-9)/6)/(2/(-4)). Suppose -c*g + 10 = y, -7 = g + 5*y - 1. Suppose -4*i - 3*o + g*o + 82 = 0, -14 = -i - 3*o. Does 10 divide i?
True
Suppose -3*a + 2*t = -359, -2*t + 0*t = a - 117. Is 24 a factor of a?
False
Let f(s) = -56*s - 1. Let h be f(10). Does 9 divide h/(-21) - (-4)/14?
True
Suppose -5 = -3*w + 3*j + 4, -2*w + j = -3. Suppose -75 = -5*u - 4*r - w*r, 0 = -4*u + r + 60. Is u + -3 + 1 + 1 a multiple of 14?
True
Let o(y) = -5*y**3 + y**2 + y. Let p be o(-1). Suppose 0 = p*r - 3 - 7. Let x(n) = 2*n**3 + 4*n**2 - 2*n - 2. Is x(r) a multiple of 13?
True
Let a(v) = -v**3 + 6*v**2 - 5*v + 2. Let p be a(5). Suppose p*r - 4 = 6. Suppose 69 = 6*u - 3*u + r*b, u + 3*b = 19. Is 14 a factor of u?
True
Let p be (-2*109/1)/(-1). Suppose 4*t - 47 = -v + p, 0 = -4*t - 4*v + 256. Suppose 5*z - t = 88. Does 12 divide z?
False
Suppose 0 = -3*r + r + 180. Suppose -j - r = -3*j. Is j a multiple of 11?
False
Let y(x) = x**2 + 5*x. Let w = -7 - 1. Is 12 a factor of y(w)?
True
Is 13 a factor of (-2)/5 - 510/(-25)?
False
Let n(j) = -4*j + 4. Let l be n(4). Does 3 divide ((-12)/(-14))/(l/(-56))?
False
Does 6 divide -28*5/(-2) + 14 + -10?
False
Suppose -l - 16 = 5*a + 9, 0 = -2*l - 4*a - 38. Let v = l + 26. Let i = v + 15. Is i a multiple of 13?
True
Let s = 59 + -40. Does 2 divide s?
False
Let d(l) = -l**3 - 8*l**2 - 10*l - 10. Suppose -3*x - 9 = 15. Let o be d(x). Let m = o + -32. Does 19 divide m?
True
Let g = 9 + -7. Let n(y) = 3*y + 3*y**2 - 2*y**g - 10 - 7*y. Does 13 divide n(10)?
False
Let z(x) = -x**3 - 7*x**2 - 5*x + 6. Let y be z(-6). Suppose n + y*n = 0. Suppose n = -3*r - 7 + 19. Does 3 divide r?
False
Does 37 divide ((-4329)/(-52))/(9/24)?
True
Let a(m) = 3*m - 1. Suppose -d - 2 = -2*d. Let c be a(d). Let h = c - -5. Is 8 a factor of h?
False
Let w be 1 + -4 - 1566/(-18). Suppose 4*a = -5*r + 111, 5*a - a - 4*r - w = 0. Is a a multiple of 6?
True
Suppose 2*b + 10 = 22. Suppose 2*r = -0*r + b. Is 3 a factor of r?
True
Suppose 3*l - 6 = 5*l. Suppose