multiple of 20?
False
Suppose -4*k - o + 5 = 0, 3*o + o = -12. Let r be 1 - 1/k*-2. Is r/(2 + (-24)/14) a multiple of 7?
True
Does 7 divide (-2)/(-1) + (-7 - -26)?
True
Let z be (-63)/6*12/(-7). Does 5 divide (-368)/(-36) + (-4)/z?
True
Let g(d) = d**2 + 6*d - 10. Let i be g(-7). Let k = i + 9. Is 5 a factor of k?
False
Let w(y) be the second derivative of y**4/12 - y**3/3 - 2*y**2 - y. Let b be w(-3). Suppose -5*o + b = -39. Is 4 a factor of o?
False
Let h = -11 + 15. Suppose 0*m - h*m + 92 = 0. Suppose -2*k - 5 = -3*i + m, 22 = 2*i - 2*k. Does 6 divide i?
True
Suppose -4*j = -7*j + 39. Is j a multiple of 13?
True
Let o = -4 - -38. Suppose -o = -w + 15. Does 17 divide w?
False
Let d(o) = 3*o - 3. Suppose 0 = x + 1 + 2. Let r be d(x). Does 8 divide (-16)/3*(r - -9)?
True
Suppose 0 = -4*y - 12, 0*i = 2*i - 5*y - 159. Is i a multiple of 18?
True
Let u = -44 + 82. Let l = u - 19. Is 19 a factor of l?
True
Let f(a) = 11*a**2 - 2*a - 2. Let g be f(-3). Let m = g + -70. Is m a multiple of 13?
False
Let s be (0 - 0 - 2) + 85. Suppose 0 = 2*f - 4*v - 50, f + 2*f = -2*v + s. Let o = f + -18. Is o a multiple of 9?
True
Suppose -4*d + 0*o + 2*o + 1060 = 0, d - o - 267 = 0. Does 14 divide d?
False
Suppose 0 = 3*m + 2*m - 120. Does 12 divide m?
True
Does 12 divide (-598)/(-8) - ((-39)/12 + 3)?
False
Let c(s) = 7*s**2 - 2*s. Let r(n) = 2*n**2 - 3*n. Let u be r(2). Does 8 divide c(u)?
True
Let r(f) = 14*f + 88. Is r(8) a multiple of 10?
True
Let r(n) = -n**3 - 5*n**2 - 8*n - 18. Is r(-6) a multiple of 11?
True
Let v(j) = -j**3 - 13*j**2 - 9*j + 6. Is 41 a factor of v(-13)?
True
Suppose 0 = -0*c + 5*c + w - 39, 0 = -4*c - 3*w + 29. Suppose -3*j - 2*q = -q, -j - c = 3*q. Suppose 0 = -z + 6 - j. Does 2 divide z?
False
Let f = -227 - -353. Let n be (4 - 3) + (f - -1). Suppose -3*a = a - n. Is 16 a factor of a?
True
Does 15 divide (-9 - 1)*(-17 + 14)?
True
Let z(w) be the first derivative of 5*w**2/2 - w + 4. Suppose 2 = -t + 5. Is 14 a factor of z(t)?
True
Let t(v) = -3*v**3 + 2*v**2 + 4*v - 12. Let l(j) = -j**3 + j**2 + j - 1. Let w(a) = -4*l(a) + t(a). Is w(4) a multiple of 9?
False
Suppose 33 = 3*x + 5*i, -3*x - 3*i = -2*i - 21. Is 6 a factor of x?
True
Suppose 4*d = -0*d - 4. Let p be d - (0 + 1) - -4. Suppose -j = -p*j + 12. Does 7 divide j?
False
Suppose -12 = 5*w - 2*w, -3*w = -3*v + 18. Suppose v*n - 25 = -3*n. Suppose -g + z = 2*g - 47, -n*g = 5*z - 85. Does 15 divide g?
False
Let a(w) = w**2 - 2*w - 3. Let u be a(-2). Let o be u/2 - (-1)/(-2). Is (-3 - -28) + 0/o a multiple of 10?
False
Suppose v = -3*v + 64. Let c = 24 - v. Is 8 a factor of c?
True
Let b = 10 + -6. Suppose 13 = -4*n - b*l - 3, -2*l = 3*n + 9. Is (4/(-5))/(n/5) a multiple of 3?
False
Let k(s) = -s**3 - 4*s**2 - 4*s - 4. Let w be k(-5). Is (w/2)/((-2)/(-4)) a multiple of 14?
False
Let z be (-10)/6 - 3/9. Let s(r) = -8*r. Is s(z) a multiple of 16?
True
Let i be -1 + 2 + 0 - 1. Does 3 divide i + (23 + -2)/3?
False
Let j = 272 - 88. Does 30 divide j?
False
Let a be 55/33 - 2/(-6). Suppose -2*b = -4*i - 26, a*b - 3*i - 32 = -2*b. Does 5 divide b?
True
Let y = -276 + 448. Suppose -5*r + r + y = 0. Let l = r + -25. Does 9 divide l?
True
Is 12 a factor of (-2)/4 - (6 + (-2514)/12)?
False
Let i(x) = -x**3 + 13*x**2 - 10*x - 12. Does 3 divide i(12)?
True
Suppose 3*w - 4 = -3*a + 2*w, 5*w = -3*a - 16. Suppose -4*l - a - 4 = -5*k, 4*l - 14 = -2*k. Let p = 19 - l. Is p a multiple of 11?
False
Suppose -5*o + 810 = 5*v, 9*v - 150 = -o + 12*v. Is o a multiple of 12?
False
Does 21 divide (-2)/(-10) - 942/(-15)?
True
Suppose 0*a - 3*a + v = -166, -v = a - 54. Is 18 a factor of a?
False
Let q be (-2 - (-4)/(-2))*-4. Let m = 19 + q. Suppose -3*b - 3*s + 45 = 0, -b + 4*s + m = -0*s. Is b a multiple of 19?
True
Is -2 + 6 + 0 - -11 a multiple of 3?
True
Suppose -5*n + 652 = -2*x, -2*n - x = n - 400. Is 33 a factor of n?
True
Suppose -3 - 3 = -2*h. Suppose -5 = -5*n - h*v, -n + 24 = -0*n - 4*v. Is 11 a factor of 50/16*2*n?
False
Does 18 divide ((-4)/3)/(16/(-648))?
True
Does 33 divide (-4)/(-14) - 691/(-7)?
True
Suppose 3*z - 2*z = 5*x + 56, z - 62 = 2*x. Does 33 divide z?
True
Suppose 7*q = 2*q + 4*c + 1150, -4*q + 920 = -4*c. Is q a multiple of 10?
True
Let i be 9*5 - (1 + 0). Let l = i - 28. Let o = l + -9. Is o a multiple of 3?
False
Suppose -3*f + 44 = -49. Suppose -2*t - 3 + f = 0. Does 10 divide t?
False
Suppose l = -3*l + 112. Let u = 27 - 23. Let n = l + u. Is 12 a factor of n?
False
Let m(n) = -12*n**2 + 2*n. Let i be m(2). Let q = 46 - 67. Let y = q - i. Does 10 divide y?
False
Suppose 5*r + 10 = 4*q + 3, -4*q - 3*r = -15. Is 5 a factor of (q/(-6))/((-2)/24)?
False
Suppose 4*r - 73 = -5*p - 17, 0 = -4*p + 3*r + 20. Let l be (-5)/(-2) - 4/p. Suppose l*o + 14 = 3*o. Is o a multiple of 7?
True
Suppose -b = -1 - 2. Is 9 a factor of (-8)/(-3 - (-7)/b)?
False
Suppose -3*d + 5 = 2*n + 2, 3 = 3*d - 5*n. Let a be 18 - -3*(-2 + d). Does 6 divide (-86)/(-10) + 6/a?
False
Suppose 2*f - 95 = g + 89, -3*f = -5*g - 262. Is f a multiple of 47?
True
Let j be 3*(-4)/(-18)*12. Let c(m) = m + 6. Does 14 divide c(j)?
True
Let j = -20 + -20. Let m = 61 + j. Is 6 a factor of m?
False
Let c = 138 + -81. Let w = 113 - c. Does 26 divide w?
False
Let c(b) = -b + 1. Let d be c(1). Let v be (12/10)/((-2)/(-120)). Suppose -3*o + 48 = -3*u, d*u - v = -5*o + 3*u. Does 6 divide o?
True
Let x be -13 - (3 + -4 + 0). Let a = x + 21. Does 9 divide a?
True
Suppose -7*i - 92 = -267. Does 14 divide i?
False
Let g(z) = 8 + 6*z + 5*z - 2*z + z**2. Let t be g(-6). Is 12 a factor of t/(-35) - 472/(-14)?
False
Let t be (-4)/(-8) + 43/2. Let g = 36 - t. Is g a multiple of 8?
False
Let p(a) = -9*a + 18. Let h(t) = -9*t + 17. Let i(v) = -6*h(v) + 5*p(v). Is 11 a factor of i(5)?
True
Let b be (-2)/3 + (-204)/(-9). Let l(v) = v + 8. Let s be l(-6). Suppose d = s*d - b. Does 11 divide d?
True
Suppose 620 = 183*a - 178*a. Is 24 a factor of a?
False
Let y be ((-36)/(-16))/(2/(-8)). Let a = y - -16. Does 6 divide a?
False
Suppose 4*u + 16 = 8*u. Is 12 a factor of -2 + 51 - (u - 2)?
False
Suppose 0 = r + h - 4, -5*r + 6*h = 4*h - 48. Is r a multiple of 4?
True
Suppose 20 = 2*k + 6. Does 3 divide k*(40/14)/2?
False
Let d(p) = -p**2 + 8*p - 4. Let m be d(7). Let f(z) = m*z - 4*z + 15 - 5*z + 5*z. Is 6 a factor of f(7)?
False
Let r(w) = 2*w**2 - 2*w - 2. Is 19 a factor of r(-5)?
False
Let n(d) = 2*d**2. Let z be n(1). Suppose z*v - 4*v = -2*g - 84, 0 = g - 5*v + 58. Let c = 68 + g. Does 15 divide c?
True
Let v = -6 + 3. Let k be (15 - -2) + 6/v. Does 17 divide 1*(k + 3 + -1)?
True
Let g be 8/20 - (-8)/5. Let b(f) = -f**2. Let p be b(g). Let t = 29 + p. Is t a multiple of 12?
False
Let j = 2 - -18. Suppose -6*i + j = -4*i. Is 9 a factor of i?
False
Let x = 31 - 23. Let f = -2 + x. Is f even?
True
Is ((-5)/(-2))/((-1)/(-12)) a multiple of 11?
False
Suppose q - 10 = 1. Let s = 39 - q. Does 14 divide s?
True
Suppose 4*g - 20 = 0, -3*g + 201 + 279 = 5*j. Is 18 a factor of j?
False
Is (84/(-9))/((-4)/6) a multiple of 7?
True
Suppose 270 = 4*r - 206. Let x = r - 73. Is x a multiple of 26?
False
Suppose 0 = -2*w + 4*u + 18, 2*w - 21 = 5*u. Suppose 2*g + 37 = w*g. Suppose 3*k = y - g, 0*y = -3*y + 4*k + 101. Is 9 a factor of y?
False
Suppose 3*h - 2*b - 86 = 0, b = h - 0*h - 27. Is h a multiple of 16?
True
Suppose 0 = 4*z + 3*d + 2, 3*d - 9 = 2*z + 1. Suppose 0 = l - 0 + 1. Is (-48)/z + 2/l a multiple of 11?
True
Let c = 64 - 29. Let q = c + -21. Does 9 divide q?
False
Suppose 3*c - 3*v - 483 = 315, -4*c + 1028 = 5*v. Is 13 a factor of c?
False
Suppose n - 5*n = l + 18, -2*l - 28 = 4*n. Let r = 22 + l. Is 7 a factor of r?
False
Let f = 5 - 1. Suppose f*k - 32 = 28. Let w = -6 + k. Is w a multiple of 4?
False
Suppose 4*l - 2 = 6. Suppose -7*g = -3*g - 16. Suppose -g*h + h + 6 = n, -3*h = l*n - 27. Is 13 a factor of n?
False
Suppose -a - 11 = -3*b + 2*b, 0 = 5*b. Does 11 divide (-2)/a + 3750/66?
False
Let z(g) = -5*g**2 - 14*g + 1. Let k(s) = 11*s**2 + 29*s - 1. Let c(r) = 6*k(r) + 13*z(r). Let h be c(7). Is 16 a factor of 38 - (-2 + h + 0)?
False
Suppose 10*g = 6*g + 40. Let n = 12 + g. Suppose -2*f = 2*p - n, -3*p + 5*f - 35 = -6*p. Is p a multiple of 6?
False
Let w(b) = -b**3 - 8*b**2 + b + 6. Let u be w(-8). Let m = 0 - u. Is 43*(-3)/(-6)*m a multiple of 23