
Suppose 4 = k - 5*v, k + v + 10 = 26. Is 11 a factor of k?
False
Suppose -5*g + 15 = -15. Let y = 15 + g. Is y a multiple of 10?
False
Suppose 3 + 13 = f. Is 7 a factor of f?
False
Let v(g) = g**2 + 8. Let c(m) = -m**2 - 8*m + 13. Let q be c(-10). Does 13 divide v(q)?
False
Let a(f) = 2*f**2 - 5*f - 3. Suppose -6*d = -4*d - 8. Is a(d) a multiple of 3?
True
Let y = 4 - -14. Does 9 divide y?
True
Let k = 20 + -8. Does 4 divide k?
True
Is 11 a factor of 33/2 - 3/(-6)?
False
Let r(q) = q**3 + 6*q**2 + 6*q. Let h be r(-5). Does 6 divide 4/(-20) + (-81)/h?
False
Suppose 2*r + 0*h - 5 = 3*h, -3*r + h = -11. Suppose 0 = -x + 5*k + 16, 3*x - 5*x + 20 = -r*k. Is (x/(-4))/(6/(-32)) a multiple of 8?
True
Let m(z) = z**3 - z**2 - z + 25. Does 12 divide m(5)?
True
Suppose -8*k = -5*k - 156. Does 25 divide k?
False
Let b(m) = m + 0*m - 2*m. Let l be b(0). Suppose 0 = 3*y - l*y - 21. Is 7 a factor of y?
True
Let y = 32 + 21. Suppose 0 = 5*z - 7 - y. Is 7 a factor of z?
False
Let n be (-33)/4 - (-1)/4. Let x(h) = -h**3 - 7*h**2 + 2*h + 7. Let s be x(n). Suppose -2*b = 3*b - s. Is b a multiple of 5?
False
Suppose z + c - 18 = -1, 36 = 2*z + 4*c. Does 2 divide z?
True
Suppose 2*b + 3 + 3 = 4*t, t = -5*b - 4. Is (1 - 12)*1/b a multiple of 3?
False
Suppose -3*l + 28 = -53. Let m = 53 - l. Is m a multiple of 13?
True
Does 29 divide (3 - -258) + -7 + 7?
True
Let t = -4 - -2. Let q(w) = 3*w**2 - w + 1. Is 15 a factor of q(t)?
True
Suppose 2*l + 52 = -2*l - 4*d, -5*l = -2*d + 79. Does 7 divide (-144)/l - 2/(-5)?
False
Suppose 0*b - 2*k - 36 = -4*b, 3*b - 3*k - 27 = 0. Does 6 divide b?
False
Suppose -6 = o - 4*o. Suppose 0 = -4*y + 4*d + 88, 2*y + 0*d = -o*d + 56. Is y a multiple of 10?
False
Let v = 565 + -325. Is 27 a factor of v?
False
Suppose 0*u + u = 2. Suppose -u*b + 72 = 2*b. Is b a multiple of 18?
True
Suppose 0*b - 4*b = -660. Suppose 9 = 2*r - b. Is r a multiple of 29?
True
Suppose 2*p + 2*d - 104 = 0, -2*d = -2*p + 45 + 71. Suppose h + 2*j - 2 = 0, 5*h + 4*j = 3*j + p. Is 4 a factor of h?
True
Suppose 2*l - l = 88. Is l a multiple of 21?
False
Let f = 80 + -59. Does 7 divide f?
True
Let o be (-1)/1*5*11. Is (-2540)/o + (-4)/22 a multiple of 23?
True
Let v(q) = q**2 + 4*q - 2. Let f be v(-5). Suppose 2*b - 34 = -z + f*b, -4 = b. Is z a multiple of 15?
True
Suppose -4*j - 16 = 0, 0 = 4*l - 2*l + 5*j - 190. Is l a multiple of 21?
True
Let v = 134 + -108. Does 26 divide v?
True
Let t(b) = -b**3 + 13*b**2 - 8*b - 15. Is 17 a factor of t(12)?
False
Let a = -62 - -88. Suppose a + 3 = l. Is l a multiple of 12?
False
Suppose 116 - 24 = 4*l. Does 8 divide l?
False
Is (-2 - -6)*((-22)/8)/(-1) a multiple of 2?
False
Suppose 4*g + 5*a = 14, 0 = g - 0*a - 2*a - 10. Let r be (-3 - -4)/(2/g). Is 4 - 1 - (r + -2) a multiple of 2?
True
Suppose -21 = 2*r - 5*r. Suppose 3*p + 24 = r*p. Is p a multiple of 6?
True
Is (84/(-35))/(9/(-30)) a multiple of 2?
True
Suppose 0 = -3*y + 15. Suppose 24 = g - 0*g - y*d, 3*g = -4*d + 129. Is 13 a factor of g?
True
Suppose -4*m + 6 = -3*l, 3*l - 7*l + 3*m - 1 = 0. Let i be l/(-3)*-6 - -1. Suppose 5*z = -c + 2*z + 15, i*c = -5*z + 35. Does 3 divide c?
True
Suppose -3*y + 5 = -2*y. Suppose 4 = 3*j - y. Is j a multiple of 3?
True
Let w be (-3 + 145)*(-4)/(-8). Suppose 2*f - w = -z, -4*f = 3*z + 52 - 269. Is 25 a factor of z?
True
Let s(m) = m**3 + 6*m**2 + 2*m + 4. Is s(-4) a multiple of 8?
False
Let h(x) = 5*x - 35. Is 3 a factor of h(11)?
False
Let c = -36 + 25. Let y = 13 - c. Suppose -y = -2*z - z. Is z a multiple of 8?
True
Is 11 a factor of (-2)/10 + (-112)/(-10)?
True
Suppose -4 = -3*y + 2. Suppose 44 + 44 = 3*i - y*r, 2*r + 32 = i. Does 11 divide i?
False
Is ((-2)/4)/(4/(-40)) a multiple of 3?
False
Let d = -23 - -263. Suppose 5*y = 2*y - d. Does 10 divide (3/(-2))/(6/y)?
True
Suppose -3*z + 82 = 4*q - 65, 0 = -5*q. Is 7 a factor of (-14)/z - 100/(-7)?
True
Let k(j) = -j**3 + 4*j**2 + 6*j - 2. Let a be k(5). Suppose 5*w - 14 - 9 = -a*d, -5*d + 9 = w. Suppose -2 = -s + d. Does 3 divide s?
True
Suppose -3 = -0*u - u. Suppose 5*g = u*g - 40. Let s = -7 - g. Is s a multiple of 4?
False
Let l(u) = -u**2 + 15*u + 13. Does 2 divide l(15)?
False
Let b(d) = -3*d + 4. Let u be b(3). Suppose -6*j + 5*j - 34 = 0. Let t = u - j. Is t a multiple of 18?
False
Let x(m) = -2 + 5*m**2 + 7*m - 7*m. Is 9 a factor of x(2)?
True
Is 22 a factor of 4*(5 - 222/(-4))?
True
Let r = 17 - -70. Is r a multiple of 19?
False
Suppose -2*i - 7*b = -3*b + 94, -3*b + 243 = -4*i. Let s = i + 26. Let a = s + 64. Is 17 a factor of a?
False
Let p(i) = -i**3 + i**2 - 3*i + 2. Let h be p(2). Let g be -1 + -18 + (-1)/(3/(-6)). Let w = h - g. Is w a multiple of 7?
False
Let y = -187 - -363. Is y a multiple of 16?
True
Let t = -67 + 112. Does 15 divide t?
True
Let b(h) = -2*h - 5. Let d be b(-4). Suppose -d*l - i + 80 = -2*i, 3*i = -2*l + 68. Is 16 a factor of l?
False
Suppose -2*t = -4*p + 10, p + 4*p - 2*t - 15 = 0. Suppose 5*k = p*m - 120, -98 = -4*m + 4*k - 2*k. Is m a multiple of 17?
False
Let c(j) be the second derivative of 4*j**2 - 1/6*j**3 + 2*j + 0. Does 14 divide c(-6)?
True
Let u(y) = -21*y**2 + 20*y**2 - 6*y**3 + y + 0*y - 3*y. Is 16 a factor of u(-2)?
True
Let i(x) = x**3 - 16*x**2 + x + 9. Is i(16) a multiple of 16?
False
Suppose -1 - 1 = k, x = -3*k - 14. Let m be 309/(-12) - (-2)/x. Let p = 43 + m. Does 7 divide p?
False
Does 5 divide 4/6 + 399/9?
True
Let x be ((-8 - -2) + -2)*-1. Suppose -2*f + x = -0*f. Suppose i - 13 = -n, -i - f*i - 35 = -5*n. Is 10 a factor of n?
True
Let z(y) = y**2 + 36. Suppose 0 = -0*f - 2*f + 4. Suppose -f*t = 3*t. Is z(t) a multiple of 14?
False
Let c be 3*(-3)/3*-1. Suppose w = -c*z + 15, -2*w - 2*w + 4*z = -60. Is 12 a factor of w?
False
Suppose 3*o + 8 = 5*o. Let w be 3/(2/o + 1). Suppose -27 = -w*b - r, 0 = 3*b + 5*r + 13 - 50. Is 7 a factor of b?
True
Let w = -21 - -36. Suppose 2*r + 30 = 3*g + 3*r, 5*r = -w. Is 7 a factor of g?
False
Let y = 85 + -82. Let n(q) = 5*q + 4 + 5*q - 4*q. Is n(y) a multiple of 22?
True
Let r = 113 - 56. Is r a multiple of 19?
True
Is 8 a factor of (-8)/14 - 729/(-63)?
False
Let a(n) = -2*n**2 - 8*n + 2. Let r(c) = 3*c**2 + 9*c - 1. Let q(d) = 4*a(d) + 3*r(d). Let j(g) = g + 2. Let x be j(5). Is q(x) a multiple of 11?
False
Let u(m) be the first derivative of 2*m + 0*m**3 + 1/2*m**4 + 0*m**2 + 2. Is 16 a factor of u(2)?
False
Let y be 2/10 - (-4)/5. Let s = y - -2. Is 3 a factor of s?
True
Suppose -3*q = -3*o - q + 16, -4*o + 18 = -q. Suppose -5*i = -2*i + o*m - 94, 3*i = 3*m + 87. Does 5 divide i?
True
Let i(q) = 28*q**3 - q**2 + q. Let t be ((-1)/(-1))/(0 + 1). Does 28 divide i(t)?
True
Let g = 410 - 276. Suppose t = 3*t - 2*s - 192, -5*t - 3*s + 464 = 0. Let q = g - t. Is 20 a factor of q?
True
Let j = -24 + 12. Let k(f) = f**2 + 12*f + 6. Does 2 divide k(j)?
True
Let l(j) = -15*j. Is 8 a factor of l(-2)?
False
Let r(k) be the second derivative of k**4/12 - k**3/2 - 5*k**2/2 - k. Does 11 divide r(7)?
False
Suppose -3*t + n = 5, -2*t + 4*n + 2 = 22. Let b(v) = -v**2 + v + 5. Let x be b(t). Suppose 5*i - 128 = -4*s, -2*i + 125 = 3*i + x*s. Does 18 divide i?
False
Suppose 3*m + 13 = -5*g + 377, 4*g = 3*m - 373. Is 10 a factor of ((-6)/(-9))/(2/m)?
False
Let p = -62 + 115. Let u = 42 - 73. Let g = p + u. Does 11 divide g?
True
Let h(i) = 2*i**2 + 2*i - 4. Suppose -3*m = -2*o - 7, 0*m = -m - 3*o + 17. Let d = -8 + m. Does 4 divide h(d)?
True
Suppose -65 = 2*u - 185. Is 16 a factor of u?
False
Suppose -i - 4*j = 3*i - 108, 4*j = -2*i + 60. Is i a multiple of 5?
False
Let z be (-4)/6 - 16/(-6). Suppose 8 = 3*p - 5*g - 32, -5*g + 5 = 0. Is 5 a factor of p*z*(-2)/(-12)?
True
Let x(b) = 5*b**2 - 6*b - 7. Is x(4) a multiple of 22?
False
Suppose 0 = 5*i + 9 + 1. Is i/(-9) + (-710)/(-45) a multiple of 16?
True
Let z = 12 - 8. Suppose 0 = -z*c + 5*c - 37. Is c a multiple of 13?
False
Let m be 2/(-9) + 28/(-36). Let u be 3 + (1 + m)/(-3). Suppose 38 = 3*i - p + 14, 0 = -u*i - p + 18. Does 7 divide i?
True
Suppose -10 + 3 = b. Let c = -5 - b. Suppose -26 = -z - 2*t, c*z + t - 63 = -z. Does 7 divide z?
False
Let j(d) = 3*d**3 + 4*d**2 - 6*d - 2. Let n(g) = 4*g**3 + 3*g**2 - 7*g - 1. Let h(a) = -5*j(a) + 4*n(a). Is h(8) a multiple of 7?
False
Suppose 3*q = -q - a + 17, 21 = 4*q + 5*a. Suppose 6 = q*j - 6. Suppos