p + 4. Does 13 divide s(7)?
False
Suppose -273*g + 274*g = 5103. Does 30 divide g?
False
Suppose 20*w + 1045 = 25*w. Suppose 3*x = w + 361. Is x a multiple of 39?
False
Suppose -2 = -3*r + 7. Let u be r/6 - (-503)/2. Does 14 divide (u/30)/((-2)/(-10))?
True
Let k = 33 - 13. Suppose 6*u - k = 2*u. Suppose 4*q + u - 45 = 0. Does 7 divide q?
False
Suppose d = -4*n - d + 1060, -4*n + 1068 = 4*d. Let q be n/4 + 2/8. Let z = -22 + q. Does 15 divide z?
False
Let z be (-3 + (-6)/(-2))/3 - -25. Let g = z - -48. Is 13 a factor of g?
False
Let r(y) = 26*y - 2. Let f be r(7). Suppose -2*h + f = 3*h. Suppose -3*g = -4*w - 79, w = -3*g + h + 38. Does 13 divide g?
False
Let q(p) = -48*p + 139. Is 60 a factor of q(-16)?
False
Suppose g + 26 = 5*y, 4*g - 13 = -4*y + 3. Is 1 + (-26)/((1/4)/g) a multiple of 15?
True
Suppose 0 = -2*u - 3*l + 224, -4*l + 216 = 5*u - 344. Let f = u - 40. Does 6 divide (-2)/(-9) + 416/f?
True
Let d(h) = -8*h + 11. Let q be d(1). Suppose q*p = -p + 48. Is 4 a factor of p?
True
Suppose 2*i + 1306 = 6*i + 2*m, 3*i + 2*m - 979 = 0. Does 109 divide i?
True
Suppose -3*n + 1697 = -0*n - 2*m, m - 2837 = -5*n. Is n a multiple of 13?
False
Let i = -470 + 834. Is 20 a factor of -1*i/(0 - 4)?
False
Let o(m) = m**2 + 4*m + 4. Let f be o(-4). Suppose 0 = f*l - 0*v - 5*v - 9, 27 = 3*l + 3*v. Is l/(-10) - 1024/(-40) a multiple of 5?
True
Suppose 0 = -3*i - 0 + 3. Let y(b) = 2 + i + 3 - 7 - 17*b. Is y(-1) a multiple of 16?
True
Is 12/(-48) + (-2605)/(-4) a multiple of 5?
False
Let z(b) = b - 1. Let s be z(4). Let u be s/9 + (-511)/3. Does 5 divide u/(-8) - (-2)/(-8)?
False
Let r(j) = -j**3 - j**2 + j + 166. Let x be r(0). Let y be 192/40 + 2/10. Suppose -29 = -y*q + x. Is 13 a factor of q?
True
Let o be 5/(-25)*-5*8. Suppose -o*m + m + 644 = 0. Is 8 a factor of m?
False
Let p = 31 + -23. Suppose -6 = t + 2*r + 8, 2*r + p = 0. Is t/(-1)*(6 + 4) a multiple of 20?
True
Let g be (1/2)/((-1)/98). Suppose -1492 = 16*q - 1140. Let c = q - g. Is 4 a factor of c?
False
Suppose 9432 = 21*x - 41031. Is 9 a factor of x?
True
Let m be 0 - (-93 + (-1)/1). Suppose 6*w - 4*w = m. Does 9 divide w?
False
Let x(f) = -f**3 + 18*f**2 - f - 68. Does 17 divide x(17)?
True
Let p(k) be the second derivative of k**4/12 - 8*k**3/3 + 12*k. Let u be p(20). Let n = -15 + u. Is n a multiple of 13?
True
Let l(j) = 43*j - 15. Does 8 divide l(5)?
True
Let b(k) = -77*k**3 - 1. Let w be b(1). Let i = -48 - w. Does 18 divide i?
False
Let c(x) = 15*x + 16. Let p be c(6). Let h = p - -20. Is h a multiple of 9?
True
Suppose 264 = -11*s + 13*s. Suppose -k + 59 = 4*f, 0*k = -3*k + 3*f + s. Is 6 a factor of k?
False
Suppose 0 = -g + 2*g - 7. Let f be (-10)/(-30)*(g - 1). Suppose -f*u - 4*r = -8, -4*u + 52 = -3*r - r. Is u a multiple of 5?
True
Let i = -367 - -895. Suppose -5*d + 31 = -3*j - i, -d + j = -111. Is 12 a factor of d?
False
Let o be (-4)/14 + (-1210)/77. Let a be 316/o - (-1)/(-4). Let f = 8 - a. Is 15 a factor of f?
False
Suppose -607 - 158 = -5*n. Suppose 4*w + 73 - n = 0. Does 5 divide w?
True
Suppose 21*v = 19*v + 350. Suppose v = 2*h + 35. Is h a multiple of 29?
False
Suppose 873 = 3*y + 3*l, -5*y = -2*y - l - 865. Let q be (-4)/(-6) + y/3. Let n = q + -53. Does 15 divide n?
False
Suppose 0 = -19*q + 4*q + 225. Does 7 divide q?
False
Let z(f) = f**3 + 11*f**2 - 15*f - 5. Let i = -16 + 6. Let a(h) = h - 2. Let w be a(i). Is z(w) a multiple of 15?
False
Let l(w) = 10*w + 2 + 8*w - 4*w + 0*w. Does 29 divide l(4)?
True
Let q(d) = 6*d**2 - 3*d + 1. Let f be q(1). Suppose -v - 274 = -5*z, -8*z - f*v + 224 = -4*z. Is 11 a factor of z?
True
Let s(v) = 2*v**2 - 6*v + 7. Let z(c) = -c + 3. Let u be z(-3). Let a be s(u). Let o = a + -31. Is 12 a factor of o?
True
Suppose x = -3*k + 22 + 27, 5*k + 49 = x. Does 7 divide x?
True
Let u be (-74)/(-3)*(-6)/48*-12. Let p(d) = 6*d**2 - 5. Let k be p(4). Let n = k - u. Is 31 a factor of n?
False
Suppose 5*x - y = -0*x + 165, -116 = -3*x + 4*y. Does 4 divide x?
True
Suppose 3*c - 3 = j + 1, c = -4*j - 29. Let a(x) = x**3 + 0 - 8*x + 0*x**2 + 10 + 7*x**2. Is a(j) a multiple of 22?
True
Let z(b) = -18*b - 90. Let i = 36 + -44. Is 7 a factor of z(i)?
False
Suppose -3*p + 3*x + 1152 + 1020 = 0, 2861 = 4*p + 3*x. Is 16 a factor of p?
False
Suppose j - z = -j, 3*z = 5*j - 1. Let u be ((-21)/6 - -3)*-18. Let k = j + u. Is k a multiple of 2?
True
Suppose 23 = 4*y - 3*c + 62, 32 = -2*y + 4*c. Let l = y + 11. Suppose 2*v = a - 47, -a - 3*a = l*v - 149. Is a a multiple of 17?
False
Let a(r) be the first derivative of -7*r**2/2 - 2*r + 6. Does 12 divide a(-14)?
True
Is 8 a factor of ((-27)/(-108))/(2/2432)?
True
Suppose 3*s + 34 = -83. Let p = s - -57. Is 6 a factor of p?
True
Let m(d) = d**3 + 19*d**2 - d + 40. Let f = 29 - 48. Is 21 a factor of m(f)?
False
Suppose -39 + 9 = -3*y. Suppose 0 = f - 6 + y. Is 17 a factor of (f/5)/(10/(-225))?
False
Let m(g) = g**2 - 2*g - 48. Does 14 divide m(20)?
False
Let p be -3*141*4/18. Let u = 374 + p. Suppose -5*b = -2*d - u, 5*b + 3*d = 4*d + 285. Is 12 a factor of b?
False
Let y(h) be the second derivative of 5*h**4/12 - 2*h**3/3 + h**2/2 + h. Suppose -2*u = -9 + 3. Is 10 a factor of y(u)?
False
Let x(v) = v**2 - v. Let t(g) = g**3 - 14*g**2 + 4*g + 14. Let i(z) = t(z) + 4*x(z). Let h be 94/9 + 0 + 332/(-747). Is i(h) a multiple of 7?
True
Let b be 9*((-130)/(-6) + -4). Let i = -15 + b. Does 18 divide i?
True
Let f(u) = -u**2 + 27*u - 51. Let z be f(26). Let o = 91 + z. Is o a multiple of 7?
False
Suppose -11*w + 509 + 228 = 0. Is 12 a factor of w?
False
Let h be 1/(5 - (-30)/(-5)). Is (-15)/(h/51*3) a multiple of 17?
True
Let t(z) = -z**3 + 5*z**2 + 4. Let l be t(5). Suppose -l*y + 39 = 5*i, 5*y - 5*i - 5 = 10. Does 6 divide y?
True
Suppose -3477 = -13*s + 15438. Is s a multiple of 15?
True
Let c(d) = 12*d + 18. Let r be c(-16). Let v = r - -271. Is 9 a factor of v?
False
Let j = -78 - -62. Is 1/(10/j)*-20 a multiple of 2?
True
Let a be 12/(-18) - (-2)/3. Suppose 4*j - 2*q - 20 = j, a = 2*j + 2*q. Let f(x) = 2*x**3 - 4*x**2 - 5*x + 5. Is f(j) a multiple of 39?
False
Suppose -7*g = -9*g. Let r(f) = f**2 + f + 20. Let z be r(g). Is 1025/z - 1/4 a multiple of 17?
True
Let i(d) = -4*d + 538. Does 66 divide i(19)?
True
Let v(x) = 1 - 3*x**2 + 6*x**2 - 3*x - 5. Let f be v(4). Let u = f - -11. Is u a multiple of 11?
False
Suppose 0 = 4*l + 5*h + 12 - 42, 28 = 4*l + 4*h. Suppose 3*v = 23 - l. Is v a multiple of 6?
True
Let w(q) = q - 12. Suppose -4*k + 4*c = -44, k - 32 = -k + 4*c. Let h be w(k). Is (-2)/(-3) - 164/h a multiple of 14?
True
Let j(o) = -o**3 + 8*o**2 - 7*o + 16. Suppose -2*q + 35 = 3*q. Is 16 a factor of j(q)?
True
Suppose -z = 4 - 7. Suppose -z*d - 5*d + 336 = 0. Is d a multiple of 21?
True
Let w(y) be the first derivative of -y**2 - 10*y - 6. Let p be w(-6). Suppose p = b - 0. Is b even?
True
Let w = 68 + -6. Let u = w - -77. Suppose -n + 2*g + 46 = -0*n, 4*n + g - u = 0. Is 18 a factor of n?
True
Let v = -139 - -229. Is (v/(-8))/(8/(-32)) a multiple of 15?
True
Suppose 0 = 359*n - 394*n + 9415. Is 40 a factor of n?
False
Let a(j) be the second derivative of 19*j**4/12 - 7*j**3/6 + j**2 + 23*j. Is a(3) a multiple of 19?
True
Let c(x) = x**2 + 7*x + 5. Let q be c(-6). Let d be 4/14*q*-7. Suppose -4*u = 4*t - 62 - 2, -d*u - 4*t = -36. Does 10 divide u?
False
Let z(l) be the third derivative of -7*l**6/120 + l**4/4 - 15*l**2. Is z(-3) a multiple of 14?
False
Let a be 24*(-2 - 28/(-8)). Let j = 286 + a. Does 46 divide j?
True
Suppose 5*w + 336 = 4*c - 214, 4*c - 2*w - 556 = 0. Is 28 a factor of c?
True
Let i be (251 - 3)*1/(-2). Let q = i + 148. Is 24 a factor of q?
True
Suppose 53478 = 30*v + 11388. Does 61 divide v?
True
Let p(q) be the third derivative of -q**4/8 + q**2. Let k = -6 - 2. Is p(k) a multiple of 12?
True
Let u(l) = 4*l + 2. Let f be u(0). Suppose -b + 2*d = -20, -f*b + 0*d = -2*d - 38. Is 3 a factor of b?
True
Let r(b) = -b**2 - 28*b - 32. Suppose -19*a + 17 = -20*a. Is r(a) a multiple of 31?
True
Let g(v) be the first derivative of v**4/4 - 8*v**3/3 + 7*v**2/2 - 5*v - 6. Let k be g(7). Is 6 + 0 - (-10)/k a multiple of 4?
True
Let n(w) = -w**2 - 28*w + 61. Let o be n(-22). Let y = o - 72. Is y a multiple of 20?
False
Suppose -4*s - 113 - 40 = -3*a, -4*s - 263 = -5*a. Does 5 divide a?
True
Su