-9*r(n) - 2*w(n). Is s(-13) a multiple of 17?
False
Suppose -3*o + 222 = 5*q, 2*q - 4*q + 80 = -o. Is q a multiple of 17?
False
Suppose -2 = 4*g - 3*g. Let h be -1 - g - (2 + 0). Let x(k) = 6*k**2 - k. Is 6 a factor of x(h)?
False
Let g be 0 - (-2 - -16)*-1. Let s be (-1052)/(-16) + (-2)/(-8). Does 5 divide s/g - 4/(-14)?
True
Let f = 62 - 13. Is 7 a factor of f?
True
Let s(h) = 6*h**2 - 2*h - 4*h + 4 + 2*h. Let m be s(3). Suppose 4*d - m - 6 = -2*w, 5*d - w = 79. Does 14 divide d?
False
Let a = -8 - -32. Is a a multiple of 16?
False
Let d(i) = i**2 - i - 4. Let n be d(3). Does 15 divide n + (-16)/6*-12?
False
Let u(j) = j**2 - 7*j - 3. Let d be ((-12)/10)/(2/(-5)). Let k be d*(3 + -1) + 2. Is 4 a factor of u(k)?
False
Suppose 2 = 3*o - 1. Suppose -5*u + 3 = 2*c, o = -5*u - 3*c + 3. Is u/(2 + -1) - -13 a multiple of 14?
True
Suppose -4*u = 9 - 21. Is 3 a factor of u/2*(-44)/(-6)?
False
Suppose -4*h - z = -6*z - 168, 5*h - 4*z = 201. Suppose v - h = -7. Is v a multiple of 10?
True
Is 12 a factor of (5/(-4))/((-5)/220)?
False
Let x = -11 + 6. Let p = 27 + x. Does 13 divide p?
False
Suppose 4*a - 4*j = 244, -2*a - 3*j + 142 = -0*j. Does 33 divide a?
False
Let f = 3 + 4. Let v = f - -6. Does 5 divide v?
False
Let h = -2 + 12. Suppose g - h = 2*g. Does 3 divide 2/(-10) - 62/g?
True
Let z(t) = -t**3 - 3*t**2 - t - 1. Let y be z(-3). Suppose -182 = -y*l - 62. Is l a multiple of 20?
True
Suppose q + 3*q = 4. Is 3/1 - q/(-1) even?
True
Suppose -5*u = 3*n - 14, 3*n - 11 = -u - u. Let b be (-2*u)/(2/(-4)). Suppose -b*p = -a - 2*p + 20, -5*a + p + 82 = 0. Is 8 a factor of a?
True
Let k(h) = 85*h**2 - h + 1. Does 32 divide k(1)?
False
Suppose -2*q + 3*d = -8, q - 4 = -0*q + d. Let k = 6 - q. Suppose -2*c + 3 + k = 5*w, c - 20 = w. Is c a multiple of 14?
False
Suppose 33 = a + 9. Let c = a + -7. Let o = c + -7. Is o a multiple of 4?
False
Let r(v) = -v**3 + 5*v**2 - 5*v + 3. Let y be r(3). Does 10 divide y/(-4)*(-56)/6?
False
Let k(w) = w**3 + 6*w**2 - 13*w - 8. Does 31 divide k(-6)?
False
Is 9 a factor of (-4 + 2)/6*-54?
True
Suppose 8*t - 1119 = -31. Is 17 a factor of t?
True
Let r(h) = h**2 + 9*h + 10. Let i be r(-8). Suppose -3*k - i*k + 240 = 0. Is k a multiple of 12?
True
Suppose 4*h = -h - z + 399, 0 = h + 5*z - 99. Is h a multiple of 18?
False
Let m = -89 - -161. Suppose 4*v = v + m. Let c = -10 + v. Is 10 a factor of c?
False
Suppose -15*j = -12*j - 375. Let d = j + -83. Is d a multiple of 14?
True
Let y(j) = j - 1. Let v(x) = 1. Let k(c) = -2*v(c) - y(c). Let n be k(-4). Is 12 a factor of (-2)/(n - 67/22)?
False
Let a = 0 + 3. Suppose 0*q - 66 = a*q. Does 11 divide 2/(-3 + (-68)/q)?
True
Suppose 2*w - 87 + 217 = 0. Let f = w - -133. Is 17 a factor of f?
True
Suppose 5*k + 5*o = 5, -o = k + 3*k + 8. Let a(q) = q + 6. Let h be a(k). Suppose -h*j + 87 = -0*j. Does 18 divide j?
False
Let g(t) = -4*t**3 - 2*t**2 + 2*t + 3. Does 9 divide g(-2)?
False
Suppose h = -2*k - 3*h + 60, -4*k + 104 = 4*h. Is k a multiple of 11?
True
Suppose -8*g + 1197 = -5*g. Is 57 a factor of g?
True
Suppose -3*k + 236 = -4*z, -3*z = -5*k + 2*z + 385. Does 12 divide k?
True
Let n be (-30)/(-2) - (-4)/4. Suppose 4*h - 9 = 5*v, n = -8*h + 4*h. Let l(c) = c**3 + 5*c**2 - 8*c - 4. Is l(v) a multiple of 18?
True
Suppose 0 = 5*l - k - 13 - 28, 5*k - 19 = -3*l. Suppose -l = 2*t - 4*b, 3*t + 4*b - 28 + 10 = 0. Suppose 2*c - 7*c = 3*g - 47, t*c = 2. Is 8 a factor of g?
False
Suppose p = 4*p + 9. Let g(d) = -2*d**3 - 3*d**2 + 4*d. Let h be g(p). Suppose 3*k = 2*y + 28 + h, 3*k + 5*y = 71. Does 15 divide k?
False
Let a be ((-1)/1)/(6/(-18)). Let i(o) = 0 + a - o + 7. Is i(-8) a multiple of 16?
False
Suppose -36 = -5*m + 9. Does 9 divide m?
True
Let s(z) = 9*z**3 + z**2 - z. Let f be s(1). Is 9 a factor of 335/f + (-8)/36?
False
Suppose -j = j - 34. Is j a multiple of 12?
False
Let i(z) = z**2 - z. Let o be i(2). Suppose 3*n - 2*r - 20 = o*n, 0 = 5*n - r - 127. Is n a multiple of 12?
False
Suppose a + 41 = 3*s, -4*a = -2*s - 0*a + 34. Is -2 + 9/(-3) + s a multiple of 5?
False
Let k be 1/4 - (-1)/(-4). Suppose k = -2*q + 5*q - 84. Suppose 2*m + 8 = q. Does 8 divide m?
False
Let z = -1 + -1. Let u be (5/15)/(z/(-18)). Suppose -2*q + u*q + 2*i = 12, 5*q + 2*i - 68 = 0. Is 5 a factor of q?
False
Let s = 63 + 7. Does 35 divide s?
True
Let i be 24/((8/(-3))/(-4)). Does 8 divide (50/(-15))/((-3)/i)?
True
Let z(n) = n**2 + 11*n + 6. Let g = -27 + 16. Is z(g) a multiple of 6?
True
Suppose 2*w + 18 = 3*b, 3*b + w = 7*b - 19. Suppose 2*a - 5 - 1 = 0. Suppose 3*z - 50 = b*v, -a*z - 3*v - 54 = -6*z. Is 16 a factor of z?
False
Let z be 3*(3 + (-14)/6). Let h be z/(-5) - 104/(-10). Suppose -3*x - n + 6*n = -61, -2*n = h. Does 12 divide x?
True
Suppose -5*l + 10 = -2*l + 2*z, -3*l - 3*z = -15. Suppose k - 2*k + 16 = l. Is k a multiple of 13?
False
Let g = 38 + 22. Is 13 a factor of g?
False
Suppose 15 = 5*a - 5*m, -m - 23 = -a - 4*a. Suppose -4*r + 4*f = f - 150, -a*f + 10 = 0. Is 12 a factor of r?
False
Let k(q) = 4*q**2 - 15*q + 12. Is 24 a factor of k(6)?
False
Does 18 divide (-3*(-22 - -4))/1?
True
Suppose -42 + 17 = -5*l. Suppose l*v = -3*z + 144, v - z + 3*z = 26. Does 15 divide v?
True
Suppose r + 2*r = 2*q + 5, 2*q + 4*r = 30. Suppose 0 = 3*s + q*c, -5*s + 21 = -2*s - 2*c. Is 8/20 + 113/s a multiple of 8?
False
Suppose 5*y + 28 = -4*l + 173, y = 5*l - 174. Is 35 a factor of l?
True
Is 7 a factor of -27 - -27 - 75/(-1)?
False
Let w be 39/12 - (-2)/(-8). Suppose w*i + 6 - 3 = 0. Does 4 divide i/2*-8 + 0?
True
Let q(n) = -n**3 + 2*n**2 + 3*n + 2. Suppose 0 = u + 2 - 5. Let z be q(u). Let y(r) = 3*r**3 - 4*r**2 + 4*r - 2. Does 14 divide y(z)?
True
Suppose 0*a = -a + 36. Does 4 divide (4/3)/(6/a)?
True
Let w(r) = r**3 - 8*r**2 + 5*r - 4. Suppose 4*c = 4*n - 24, -n - n = -5*c - 6. Is 12 a factor of w(n)?
True
Let z be 3*(-6)/(-9) + 1. Let w = 3 - z. Is 0 + w + 1 + 18 a multiple of 13?
False
Is (470/(-8))/(-5) - (-9)/(-12) a multiple of 11?
True
Suppose t = -t + 50. Is 11 a factor of 2/2*t - -2?
False
Let c = 9 - 2. Let k(r) = r**3 - 6*r**2 - 7*r + 10. Is 2 a factor of k(c)?
True
Let a = 130 - 64. Is a a multiple of 22?
True
Suppose 0 = 2*f + 69 - 299. Let x = -67 + f. Is x a multiple of 12?
True
Let g be 1 - (0/3 + -1). Suppose -5 = -4*r - 21, -g*b + 3*r + 70 = 0. Suppose 4 = -u + b. Is 9 a factor of u?
False
Let c(b) = b + 26 + 0*b - 1. Does 12 divide c(0)?
False
Is 19 a factor of (-1 - -1 - 2)/(-2)*95?
True
Let u = -6 - -9. Let z(d) = -5*d**2 + 8*d - 6*d + 2 + 7*d - d**u. Is 18 a factor of z(-7)?
False
Suppose -2*z = 20 + 24. Let q be (-147)/4 + (-1)/4. Let m = z - q. Is 6 a factor of m?
False
Suppose -4*r = -365 - 115. Is 20 a factor of r?
True
Let v be ((-2)/3)/(2/3). Let y be (v - -4)/(2/10). Let x = y - 7. Is x a multiple of 6?
False
Suppose 5*u + 35 = -0*x + 5*x, -4*x - u + 43 = 0. Let g = x - 20. Let h = 2 - g. Does 6 divide h?
True
Let y(a) = -a**2 + 6*a + 11. Let i be y(6). Let x = 25 - i. Does 12 divide x?
False
Let b = 4 - 1. Suppose b*d = -4*z - 7, -d - 3*z = 1 + 3. Is (-1)/2*d*18 a multiple of 9?
True
Let g = -21 - -21. Suppose 4*p + 5*r = 145, g = -p - 4*r + 58 - 8. Is p a multiple of 10?
True
Suppose 5*b + 0*b - 880 = 0. Does 8 divide b?
True
Suppose 4*d + 5*r - 30 = 0, 0 = -d + 3*d - 4*r - 2. Suppose d*b - 4 = 96. Does 11 divide b?
False
Suppose -c = -0 - 2. Suppose 1 = c*i - 7. Suppose i*r = 3*r + 5. Does 3 divide r?
False
Let z be 2/(-11) + 84/(-22). Let h be (134/z)/(7/(-14)). Suppose i + 21 = h. Does 19 divide i?
False
Suppose -2*i - 12 = 6. Is 5/(15/(-6)) - i even?
False
Let n(z) = -z**3 - z**2 + z - 6. Let u be n(0). Let w(g) = 5*g**2 - 7*g - 5. Let m(c) = 11*c**2 - 14*c - 11. Let j(x) = -6*m(x) + 13*w(x). Does 7 divide j(u)?
True
Let o(c) = 5*c**2 - c + 1. Let z be o(1). Suppose z*d + 8430 = -5*s, 2*s + s - 4*d = -5065. Is 9 a factor of (-4)/(-18) - s/63?
True
Let i(v) = -42*v + 11. Is 20 a factor of i(-4)?
False
Let j(l) = -l**2 - 9*l - 10. Is 3 a factor of j(-7)?
False
Let s = -9 - -14. Suppose -y = -3*o - 3*y + 96, -s*y - 128 = -4*o. Is 1/(-2)*(-4 - o) a multiple of 18?
True
Let u(l) = 2*l**2 - 12. Is 12 a factor of u(-6)?
True
Let h(p) = -p**2 - 5*p - 1. Let z be h(-4). Suppose 3*j + 87 = 5*w, -j = z*w + j - 56. Does 13 divide w?
False
Let n = 27 + 8. Does 12 divide n?
