ultiple of 13?
False
Let m = -44 - -83. Does 9 divide m?
False
Suppose -3*k - 98 = z + 142, -5*k - 398 = z. Let d = -41 - k. Is d a multiple of 19?
True
Let q = 87 - 58. Is q a multiple of 6?
False
Suppose -3*w = -4*w + 68. Let s = w + -32. Is s a multiple of 10?
False
Suppose 5*j + 80 = -2*x - 3*x, 2*x = -3*j - 33. Let u be (8/10)/((-6)/x). Does 10 divide (u + -5 - -1) + 32?
True
Let z(q) = q**2 + 16*q + 31. Is z(-15) a multiple of 2?
True
Let a(t) = t**3 + 8*t**2 + 4*t + 3. Suppose -3*c = -2*c - 3, -c + 31 = -4*s. Is 8 a factor of a(s)?
True
Let g(y) = 4*y**2 + 3*y + 8. Is g(-8) a multiple of 15?
True
Suppose 0 = 4*w + 5*m - 3 + 15, 5*w + 2*m = 2. Suppose x - 2 = 0, 0 = w*n - 2*x - 19 - 9. Is n a multiple of 8?
True
Let y = -9 + 18. Suppose -a + y = -0*a. Suppose -d = -6 - a. Is d a multiple of 4?
False
Suppose -5*b + 2*b + 87 = 0. Suppose 9 = 2*n - b. Is 7 a factor of n?
False
Let l = 174 - 95. Does 7 divide l?
False
Let y(g) = -g**2 + 2*g + 1. Let k(f) = 4*f**2 - 5*f - 2. Let a(q) = 2*k(q) + 7*y(q). Is 16 a factor of a(-9)?
True
Let b be (-1)/2*4 - -3. Is ((-4)/10)/(b/(-15)) a multiple of 2?
True
Suppose 3*l = l - 10. Does 7 divide 504/45 - (-1)/l?
False
Let p(o) = -o**2 + 11*o + 15. Let d be p(12). Suppose -t = d*t - 44. Is 3 + t/(-3)*-3 a multiple of 7?
True
Suppose -c + 74 = f + 25, -92 = -2*c + 4*f. Does 26 divide c?
False
Suppose 11*q - 601 = 444. Is 19 a factor of q?
True
Let n(k) = 2*k - 4*k + 4*k - 2. Let f be 121/22 + (-6)/(-4). Is 6 a factor of n(f)?
True
Let x(h) be the second derivative of -7/3*h**3 - 1/2*h**2 + 0 + 4*h. Does 20 divide x(-4)?
False
Suppose 3 = 4*z + 19. Let x be (-18)/z*4/(-3). Let j(b) = b**2 + 4*b - 7. Is j(x) a multiple of 3?
False
Let r(d) = 7*d**2 + 4*d + 1. Suppose 0 = z + q + 8, 2*z - 3*q - 12 = z. Is 18 a factor of r(z)?
False
Let w be (24/(-20))/(3/20). Let z(l) = l**3 + 9*l**2 - l + 3. Is 25 a factor of z(w)?
True
Does 29 divide ((-191)/(-2))/(24/48)?
False
Let v = -57 + 93. Does 12 divide v?
True
Suppose -3*k - 8 = -5*k. Suppose 0 = -k*v + 5*v - 32. Let u = -11 + v. Is u a multiple of 12?
False
Suppose -7*d + 2*d = 85. Let a = 5 - d. Is 11 a factor of a?
True
Let b(o) = -o**3 + 10*o**2 - 7*o + 9. Let p(g) = -2*g - 3. Let s be p(-6). Does 9 divide b(s)?
True
Let g = -97 + 119. Is 3 a factor of g?
False
Suppose -38*j + 245 = -33*j. Is 8 a factor of j?
False
Suppose b = 3*k + 7, -b - 2*k - 5 = -2*b. Let a(y) = y + 1. Let m be a(b). Suppose -2*u = i - 9, m*i - 7*u = -2*u. Does 2 divide i?
False
Let o(l) = -2*l**3 + 2*l**2 - 1. Let n be o(-4). Suppose -12 = -4*a, -3*a - n = -5*k - a. Suppose 2*z - k - 23 = 0. Does 17 divide z?
False
Suppose 6 = 4*f - f. Let m(x) = 5*x**3 - x**2 + 4*x - 3. Is 20 a factor of m(f)?
False
Let v(d) be the first derivative of 5*d**2/2 - d + 2. Does 5 divide v(4)?
False
Is 3 a factor of 16/(-20) - 670/(-25)?
False
Suppose -4*f = -42 - 150. Suppose -3 = m - f. Does 13 divide m?
False
Suppose 0 = o + 3*u + 4, 7*u - 8 = -3*o + 3*u. Suppose 0 = -3*t + 41 - o. Is 11 a factor of t?
True
Let i(p) = p**3 + 3*p**2 - 2*p + 1. Let c be i(-4). Let t = 10 + c. Is 3 a factor of t?
True
Suppose 3*y + 8 = 7*y. Suppose -p = y*m - m - 44, 3*m = 5*p + 164. Does 22 divide m?
False
Suppose 9 = 5*k - 21. Suppose -5*d + k = l + 26, 4*l + 2*d = 10. Suppose -25 = -5*w, f - 4*w = l*f - 52. Does 5 divide f?
False
Suppose -2*a = -5*a + 57. Let w = 82 - a. Is w a multiple of 26?
False
Let a = 38 + 27. Is a a multiple of 9?
False
Let n = -15 + 17. Suppose 2*i + n = 4*g, -3*i - g + 37 = g. Is 7 a factor of i?
False
Let k be (1 + 1)*(-3)/(-2). Let g be (k - (-1 + 7))*2. Is (g/4)/((-9)/204) a multiple of 17?
True
Let g = -35 + 58. Is 10 a factor of g?
False
Let o = 192 + -114. Does 26 divide o?
True
Let x(w) be the third derivative of -w**7/840 - w**6/180 + w**5/60 - w**3/3 - w**2. Let a(z) be the first derivative of x(z). Is a(-3) a multiple of 2?
False
Suppose 4*q = 13 + 167. Is 5 a factor of (-6)/(-10) + 198/q?
True
Does 17 divide (16/10)/((8/75)/4)?
False
Let g = -8 - -13. Let p(w) = g - w - 1 - w. Does 6 divide p(-5)?
False
Is 150/(-3)*2/(-4) a multiple of 5?
True
Let l be (-2)/8 - (-1)/4. Let w = 11 - l. Is 4 a factor of w?
False
Let m = 1 + -7. Let y = m - -11. Does 5 divide y?
True
Suppose -2 + 11 = 3*z. Does 2 divide z?
False
Suppose 0 = -3*p - l + 671, 3*p + 3*l - 723 + 42 = 0. Does 40 divide p?
False
Suppose 5*p - 3*z = 35, -p - 4*z - 16 = -0. Does 2 divide p?
True
Let r(o) = o**2 + 13*o - 20. Does 17 divide r(-18)?
False
Suppose -4*y = 3*v + 52 - 154, -2*v + 2*y + 82 = 0. Is v a multiple of 9?
False
Let w(f) = -f - 2. Let g be w(0). Does 9 divide (g*40)/(-4) + 1?
False
Let c = 187 + -52. Is 8 a factor of c?
False
Let a be 3*2/(-2)*-2. Let j(m) = m**2 + 16*m + 2. Let x(k) = -k**2 - 15*k - 2. Let f(q) = a*x(q) + 5*j(q). Is 7 a factor of f(-8)?
True
Let b be 22 - 15 - 2/1. Let q = 9 - b. Is q a multiple of 2?
True
Let b(i) = 10*i**3 - 2*i**2 - 2*i. Is 7 a factor of b(2)?
False
Suppose -77 = 2*m + 3*m - 2*l, l = -4. Let o(t) = -6*t**3 + t. Let i be o(1). Let d = i - m. Does 6 divide d?
True
Let v(r) = -r**2 + r - 1. Let l(c) = 6*c**2 + 7*c + 1. Let i(k) = -l(k) - 5*v(k). Does 13 divide i(-6)?
False
Let s = 25 - 51. Let n be (-24)/15*135/(-6). Let x = n + s. Does 10 divide x?
True
Suppose -2*t - s + 37 = 0, -2*t = -3*t - s + 19. Does 3 divide t?
True
Suppose 5*f + y = 706, -4*y + 709 = -0*f + 5*f. Suppose 4*o - 9*o - 239 = -3*n, -2*o = -10. Let b = f - n. Is b a multiple of 20?
False
Suppose 3*h - 30 = -3*h. Suppose h*z - 286 = -116. Does 17 divide z?
True
Let t be ((-2)/(-3))/(2/(-3)). Let a be 0/5 + 1 + t. Suppose -y + 23 = 3*z, -4*z + 38 = 2*y - a*z. Does 4 divide y?
False
Let i(m) = m**3 + 8*m**2 + 4*m - 10. Is i(-7) a multiple of 2?
False
Let n = 351 - 241. Is 55 a factor of n?
True
Let t = -235 + 486. Does 8 divide t?
False
Suppose 3*u - m = 47, -2*m - 2 = -4*m. Let t = u - 3. Is 13 a factor of t?
True
Suppose -19 = -p + 79. Is p a multiple of 18?
False
Let j = 281 - 138. Does 13 divide j?
True
Let u = 7 + -4. Suppose u*b + q = 45, -2*q - 60 = -b - 3*b. Is 14 a factor of (-5)/(b/6) - -30?
True
Suppose 18*w + 21 - 219 = 0. Does 4 divide w?
False
Let o(g) = -g**3 + g + 21. Is 7 a factor of o(0)?
True
Let t(l) = -l + 24. Let v be t(7). Let h = -1 + v. Is h a multiple of 8?
True
Suppose 4*w - 555 = -w. Is w a multiple of 13?
False
Suppose 0 = -3*l + 5 + 1. Suppose 0 = l*w - 7*w + 65. Is 5 a factor of w?
False
Suppose c = 3*s - 4*s + 5, 3*s + 5*c - 21 = 0. Let d be ((3 - 6) + s)*0. Suppose d*u = -3*u + 30. Is 3 a factor of u?
False
Suppose 0 = r + 3*m - 21, -4*r + m = -0*r - 71. Suppose 2*u = r + 12. Is (-5 + 2)*(-110)/u a multiple of 22?
True
Is 39 a factor of 3*182*5/10?
True
Suppose z = 2*z + 39. Let r = z + 69. Is r a multiple of 10?
True
Suppose -i + 2 = -2*u, -7*i + 3*i + 2 = -5*u. Does 14 divide 16/4*(-7)/u?
True
Suppose 0*l + k = 5*l - 436, 3*l - 5*k - 266 = 0. Suppose 3*x - 65 = m, x = -3*x + m + l. Is 14 a factor of x?
False
Let o(v) = -v + 5. Let f be o(0). Is 5 a factor of f - 0 - (0 - 0)?
True
Is 5 a factor of (2 - -7)*(-7)/(-3)?
False
Let b be (0 + 6/(-4))*6. Is 18 a factor of b*1*(-1 + -1)?
True
Suppose 0 = -w + p + 17, 18 - 3 = -5*p. Let g = 18 - w. Is 4 a factor of g?
True
Suppose -p = -6*p - 150. Let s be -43*((-2)/(-2))/1. Let g = p - s. Is 5 a factor of g?
False
Let n(w) = w**3 - 3*w**2 + 7*w - 20. Does 26 divide n(6)?
True
Suppose -7*d = -2*d + n + 5, 0 = -3*n. Suppose 4*u + k = 8, 4*u + 5*k = 3*u + 2. Is 10 a factor of (d/(u/54))/(-1)?
False
Is 15 a factor of (6/(-24) + (-718)/8)*-1?
True
Suppose 76 = 4*w - 4. Is 8 a factor of w?
False
Suppose 2*c + i = 155, 3*i + 5 = 4*i. Does 25 divide c?
True
Suppose 17*q - 25*q = -1568. Does 46 divide q?
False
Is 20 a factor of (-8)/(-4) + 2 + 198 + -2?
True
Let d be ((-21)/(-2))/((-2)/(-48)). Is 13 a factor of (d/(-15))/((-3)/10)?
False
Suppose -1 = -3*b - 13. Let o be ((-5)/(-2))/(b/(-40)). Suppose 5*j - 80 = o. Is 16 a factor of j?
False
Let m(n) = n**3 - 6*n**2 - n. Is m(7) a multiple of 19?
False
Let r be (2 + -3)/(3/(-204)). Suppose -2*q + 0*q = -r. Does 13 divide q?
False
Let d be 0 + ((-3)/(-3) - 0). Is 31 a factor of (-2 + d)/((-8)/248)?
True
Let w(f) = f**2 - 3*f - 36. Is 8 a factor of w(-9)?
True
Let u be 13/3 - 2/(-3). Suppose 