e -2*k = -2*h - 508, -870 - 156 = -4*k + 2*h. Is k a multiple of 13?
False
Let h = -682 + 1306. Is 2 a factor of h?
True
Does 11 divide (-30)/4*6/18*-1070?
False
Suppose 0 = 44*q - 46*q + 10. Suppose -3*c + 393 = l, -4*l - 262 = -7*c + q*c. Is c a multiple of 22?
False
Suppose l - 2*l + 6 = 0. Suppose 4*k + 3*p = l + 5, -4*p - 4 = -4*k. Suppose k*u + 63 = 5*u. Does 21 divide u?
True
Suppose -160 = -5*d - 0*w + 5*w, 3*w = -2*d + 44. Suppose -24 = d*k - 30*k. Is k a multiple of 12?
True
Let a be (-13 + 10)/(3/892). Does 8 divide a/(-14) + (-156)/42 + 4?
True
Let d(r) = 87*r - 11. Let m = -56 + 59. Does 10 divide d(m)?
True
Suppose -a = a. Let o be 15 - (a/4 - 1). Is 5 a factor of -10*-6*4/o?
True
Let k = 16 + -14. Suppose -k*m + 7*m + 99 = o, -3*o = -m - 255. Is o a multiple of 12?
True
Suppose 7*z = -28052 - 5037. Does 11 divide (z/58)/(2/(-4))?
False
Let z(l) = 2*l - 12. Suppose -5*o = 4*t - 26 - 16, -3*t = 3*o - 24. Does 4 divide z(o)?
True
Let k(z) = z**2 - z + 1. Let i(b) = -b**2 - 9*b - 12. Let o be i(-7). Let x be ((-24)/(-40))/(o/(-10)). Does 11 divide k(x)?
False
Let v be (-2 - -2)*(-3)/(-6). Suppose 0 = -4*c + 3*d + 17, 0 = -c + 3*d + 17 - 6. Suppose -r - 2*q + 3 = v, -3*r - c*r + 5*q + 60 = 0. Is r a multiple of 4?
False
Suppose 7*f + 12 = f. Let j be 7 + (-5)/((-5)/f). Suppose j*k = -3*v + 104 - 34, 0 = 2*v. Does 3 divide k?
False
Let q be (-2)/(-8) + 6/(-24). Suppose q = -4*a - a + 1295. Is a a multiple of 37?
True
Let o be (12/14)/((-1)/(-7)). Let w(x) = 4 - 5 - o + 4 + 6*x + x**2. Does 26 divide w(-11)?
True
Let f be 0/(-3 + 16/4). Suppose -2*u - 4 = -4*s - f, s = -2*u + 1. Let w = 11 - s. Is 10 a factor of w?
True
Let g(c) = -c - 11. Let x be g(6). Let h = 18 + x. Is 10 a factor of (-604)/(-20) + h/(-5)?
True
Let l = -15 + 107. Suppose 2*v = -4*a + l, v - 3*a - 30 = 36. Does 9 divide v?
True
Let f(z) be the third derivative of -z**6/120 - 3*z**5/20 - 11*z**4/24 + 27*z**2. Is 12 a factor of f(-8)?
True
Suppose 0 = 2*p - 5*r - 25, -2*p + 125 = 2*p + 5*r. Let a = p + -92. Let k = -37 - a. Does 6 divide k?
True
Suppose 0 = 18*i - 3036 - 3462. Is i a multiple of 26?
False
Suppose 0 = 19*n - 26*n - 14. Is 4 a factor of 272/16 + (1*4)/n?
False
Let k(l) be the third derivative of -l**4/6 - 13*l**3/3 - 4*l**2. Is 34 a factor of k(-15)?
True
Let j(r) = -309*r**2 + r. Let a be j(-1). Let m = -148 - a. Does 54 divide m?
True
Let v = 272 - 287. Suppose -3*p + 114 = 33. Let a = p + v. Does 8 divide a?
False
Is (-3)/6*-986 - 2/2 a multiple of 41?
True
Let d = 728 + -219. Suppose 77 = -4*q + d. Is 27 a factor of q?
True
Let u(g) = 7*g + 136. Is u(26) a multiple of 5?
False
Suppose -30*j + a = -31*j + 2160, -a - 4329 = -2*j. Is 103 a factor of j?
True
Let f(o) = 3*o**2 - 9*o + 4. Let u be f(6). Let v = u - 22. Is v a multiple of 18?
True
Let g(i) = -12*i - 5. Does 26 divide g(-10)?
False
Suppose -5*x + 165 = 5*o, -3*x = -4*o - 73 - 5. Let s = x + -20. Is 5 a factor of (s/(-3))/(10/(-75))?
True
Let n(o) be the first derivative of -o**3/3 - 13*o**2/2 + 9*o - 1. Is n(-13) a multiple of 6?
False
Suppose -4*q + 54 = o - 0*q, 3*o - 2*q = 204. Is o a multiple of 8?
False
Suppose 0 = -u + 3*l + 15, 4*u + 7*l - 9 = 2*l. Suppose u*z + 98 = 7*z. Does 14 divide z?
True
Let p(b) = 165*b - 903. Is p(15) a multiple of 36?
False
Let o(z) = z**3 - 3*z**2 - 3*z + 6. Let m be o(4). Let q = 12 - m. Suppose 6*n = q*n + 420. Is n a multiple of 35?
True
Let v = -754 - -1337. Is v a multiple of 53?
True
Let x(g) = -g**2 - 36*g - 85. Is 8 a factor of x(-29)?
False
Suppose l - 4 + 2 = 0. Suppose -5*b + b + 241 = -3*y, -4*y + 126 = l*b. Is 26 a factor of b?
False
Let b(r) = 31*r - 6. Let v(l) = -l**2 + 7*l - 10. Let c be v(4). Is 12 a factor of b(c)?
False
Let m be 1 + 8/4 - 3 - -3. Suppose 0 = m*p - 15 - 66. Is 21 a factor of p?
False
Suppose 5*u - 4*d = 13, 4*d - 10 = -4*u + 22. Suppose 0 = b - u - 4. Is 4 a factor of b?
False
Suppose 7 = 4*l - 5*m, -2*l + 2*m + 7 = 3*m. Suppose 2*j - 32 + 24 = -n, -3*n = 2*j - 8. Suppose 0 = -l*r - n*r + 90. Does 10 divide r?
True
Let j = 114 - 57. Suppose j - 1 = -c. Let w = 103 + c. Does 21 divide w?
False
Let l(g) = -g**3 + 20 - 27*g - 2*g - 3*g - 18*g**2. Is l(-16) a multiple of 9?
False
Suppose 3*d + 6 = 2*d. Let u = d - -8. Suppose 45 = u*n + 2*k + 3*k, 3*k = 9. Is n a multiple of 15?
True
Let p be 0 - 1/1 - -7. Is 14 a factor of 49*(p/(-7))/(-3)?
True
Let m = 3142 + -2021. Is 59 a factor of m?
True
Let m = -14 + 17. Let y = 7 - m. Let p = y + 9. Does 13 divide p?
True
Does 53 divide 585 - ((-30)/(-10) - 1)?
True
Let x = 294 + 18. Is 52 a factor of x?
True
Suppose 0 = 5*n + 5 + 5. Let b = n + 7. Let f(g) = -g**2 + 10*g - 8. Does 12 divide f(b)?
False
Is -60 + 56 - (-2387 + (-3 - -2)) a multiple of 10?
False
Suppose -2*z + 3*h + 458 = 0, 589 = 4*z + 5*h - 283. Let s = z + -153. Is s a multiple of 35?
True
Let t(l) = 17*l + 126. Does 6 divide t(0)?
True
Let c(b) = b + 8. Suppose -4*m - 19 = 3*d, d + 5*m = 2*d. Let z be c(d). Suppose -5*g = -5*f - 0*f - 75, -z*g + 40 = -2*f. Does 4 divide g?
False
Let b be ((-8)/(-6))/(30/(-45)). Does 18 divide b - 7/((-14)/44)?
False
Is 77 a factor of (-2)/4 - -25*(-148)/(-8)?
True
Is (-8)/16 - 3123/(-6) a multiple of 14?
False
Suppose 25*l + 7968 = 33*l. Is l a multiple of 58?
False
Let v be 5/(-20) - 1/(-4). Suppose -2*d + 6 = -v*d. Let a(l) = 26*l + 2. Is 20 a factor of a(d)?
True
Let w(x) = x**3 - x**2 + 2*x + 6. Let s be w(0). Let n(u) = 9*u**2 - 26*u. Is 26 a factor of n(s)?
False
Suppose -d - 30 = -5*h - 2*d, -25 = -5*h - 2*d. Let z(u) = 0*u**3 - h*u + u + 7*u**2 + 0*u**3 - u**3. Is z(4) a multiple of 8?
True
Suppose 0 = -27*a - 427 + 3100. Does 34 divide a?
False
Suppose 5*r = -3*g + 2556, 3*g + 3408 = 7*g - 4*r. Is g a multiple of 12?
True
Suppose -2*i = -3*r - 2115, 0 = -4*i + 7*r - 4*r + 4221. Is 12 a factor of i?
False
Let f(v) = -v**3 + 12*v**2 - v + 12. Let c be f(12). Suppose c*h - 4*h = -248. Suppose 3*q - 4 - h = 0. Does 11 divide q?
True
Let b(a) = a. Let h(r) = 5*r. Let j(d) = -11*b(d) + 2*h(d). Let v be j(-4). Suppose -2*s + v*g = -88, 3*s - 3*g - 62 = 70. Is s a multiple of 11?
True
Let k be (-3320)/11 - 28/154. Let m = -110 - k. Is 9 a factor of m?
False
Let w = -428 + 3144. Is 40 a factor of w?
False
Does 12 divide (4 + (-804)/(-8))/((-2)/(-24))?
False
Is ((4875/(-12))/(-13))/(3/108) a multiple of 13?
False
Let l(k) = 4*k**2 + 57*k. Does 33 divide l(-21)?
False
Suppose -327 = -5*g + 2*i - 4*i, 4*i + 191 = 3*g. Let v be 19/5 + 13/g. Suppose 105 = 2*m - 3*d, 2*d = -v*m + 6*d + 200. Does 21 divide m?
False
Suppose -28*y - p - 95 = -29*y, 2*p = 4*y - 382. Does 9 divide y?
False
Suppose -5*p + 5*x = -10, 2*x = -4*p + 2 - 24. Let g(z) = 2*z**3 + 2*z**2 - 4*z - 1. Let n be g(p). Is (n/2)/((-3)/6) a multiple of 8?
False
Suppose 3*w - 3*l + l + 29 = 0, 0 = -2*w + 5*l - 12. Let o = w - -16. Suppose o*j = -j + 168. Is j a multiple of 28?
True
Let s(v) = 0 - 65*v - 5 + 59*v. Is 15 a factor of s(-6)?
False
Suppose 5 - 17 = -3*t. Suppose -7 = t*z - 11*z. Does 22 divide (3/z*-54)/(-2)?
False
Does 30 divide (-2727)/(-7) + (-6)/(-56)*4?
True
Suppose 2*t = 3*n - 3*t - 212, 5*t - 158 = -2*n. Does 14 divide n?
False
Suppose 0 = -2*d - 6, 4*n - 4*d = 270 + 70. Let x = n + 26. Suppose -5*q = -72 - x. Does 18 divide q?
True
Let l(o) = -o**3 - 10*o**2 - 3*o - 13. Let f be 4/(-10)*935/(-11). Suppose 5*w + 16 = -f. Does 5 divide l(w)?
False
Let r be -1*1 - (-377 + -1). Suppose -4*k = b - 67, -3*b = k - 117 - 51. Suppose -4*z + r = w + 122, -z + b = 2*w. Does 23 divide z?
False
Let s(o) = o**2 - o. Let g(c) = -3*c**2 - 9*c - 6. Let u(v) = g(v) + 6*s(v). Let b(w) = w**3 - 9*w**2 + 10*w - 9. Let q be b(8). Is u(q) a multiple of 18?
True
Let q(n) = 17*n**2 + 30*n + 35. Is q(-8) a multiple of 12?
False
Suppose 2*o + 2*j = 3*o - 5, 0 = -3*o - j + 8. Suppose 3*q - 24 = -o*w + 18, 5*w = -4*q + 58. Is 3 a factor of q?
True
Suppose 3*b - 1003 = 2*n, 2*b = 6*n - n + 665. Does 38 divide b?
False
Let p(b) = b**2 - b - 10. Let d(y) be the second derivative of y**4/6 - y**3/6 - 19*y**2/2 + y. Let j(m) = 3*d(m) - 5*p(m). Is 17 a factor of j(-6)?
True
Let x(o) = -599*o**3 - 3*o**2 - 2*o. Let y be x(-1). Suppose 5*r + 448 = 5*p - 297, 4*p - 2*r - y = 0. Is 30 a factor of p?
True
Let i be 1/4 - (-11)/4. Suppose 9*k 