z - 64. Let a = -4 + v. Is 9 a factor of a?
True
Suppose 1 = r - 4, 0 = 5*n - 5*r + 40. Let l = n + 15. Does 12 divide l?
True
Is 38/5*(1 - -9) a multiple of 19?
True
Suppose 0 = -4*h - 20, -4*a + h - 2*h = -39. Suppose 1 = -l + 5*k + a, 5*l - 27 = 2*k. Is 3 a factor of l?
False
Let g(x) = -x - 6. Let z be g(0). Is (3 - (-16)/z)*39 a multiple of 7?
False
Suppose -h + 3*s + 2 = 1, 3*h - s - 27 = 0. Is 21 a factor of 5*h + 2 + 1?
False
Is 10 a factor of 0 - 1 - (-30 - 1)?
True
Is 1288/12 + (-6)/(-9) a multiple of 40?
False
Suppose 4*a = 3*o - 20, 3*o = -5*a + 6*o - 22. Let p be a/9 + (-5995)/(-45). Suppose 0 = 5*n - p - 62. Is 21 a factor of n?
False
Suppose -5*c + 138 + 62 = 0. Is c a multiple of 20?
True
Let z = 112 + -47. Suppose 0 = -4*n - n - z. Let b = n - -35. Does 8 divide b?
False
Suppose -5*g + 14 - 44 = 0. Is (4/g)/((-4)/42) a multiple of 6?
False
Suppose 3*c - 51 = -0*c. Does 12 divide c?
False
Suppose 9*x = 5*z + 4*x - 15, 5*z + 5*x + 5 = 0. Does 22 divide 226/4 + z/(-2)?
False
Suppose u - 5*u + z + 14 = 0, 5*z = -10. Suppose -3*i = -4*k - 14, u*i + k - 30 = 4. Does 5 divide i?
True
Let m(t) = -5*t**3 + 13*t**2 - t**3 + 16 - t + 0*t + 5*t**3. Is 3 a factor of m(13)?
True
Suppose h + 11 = 4*m - 26, -h = -3*m + 27. Let a = m - 7. Suppose -2*g = 8, a*s - 100 = -2*s + 5*g. Is 5 a factor of s?
False
Let j(o) = -4*o - 9. Let f = 11 + -13. Let c be 240/(-42) - f/(-7). Is 4 a factor of j(c)?
False
Suppose 2*d = 7*d + 400. Let t = d - -140. Does 20 divide t?
True
Let m(i) = -41*i + 9. Let a be m(-5). Suppose 4*p + a = 5*l + 48, -4*l + 104 = 4*p. Does 10 divide l?
True
Let d = 143 - 26. Is d a multiple of 9?
True
Is 28 a factor of 4 + 105 + 3/1?
True
Let o = 279 - 74. Suppose -179 + 4 = -3*y + 5*d, -2*y + 2*d + 114 = 0. Suppose 5*n = o + y. Is n a multiple of 19?
False
Suppose -5*d + 4*y = -54, 3*d + 2*y + y - 27 = 0. Is d a multiple of 10?
True
Let w = -5 - -7. Suppose 5*s - w*s - 132 = 0. Is s a multiple of 22?
True
Let a(x) = -x**2 - 2*x. Let p be a(-3). Let v = p - -109. Suppose 0 = 3*u - k - 59, -3*u = 5*k + 23 - v. Is u a multiple of 16?
False
Let j(r) = -2*r**3 + 2*r**2 + 2*r. Let s be j(2). Let u = 7 + s. Suppose -4*g - 50 = -5*l, u*l - l = -3*g + 43. Does 7 divide l?
True
Suppose -u = -2*j - 18 - 48, -62 = 2*j + u. Suppose -3*w - 205 = -70. Let c = j - w. Is c a multiple of 13?
True
Does 15 divide 2/((7/(-518))/(2/(-8)))?
False
Suppose -13 = -5*x + 27. Is x a multiple of 5?
False
Suppose -14 = -5*y + 11. Let d(b) = b. Let n(t) = -11*t - 7. Let s(h) = y*d(h) + n(h). Is s(-6) a multiple of 15?
False
Let y be -8*(1 + 6/(-4)). Let h = -9 + y. Let k(u) = -u**3 - 4*u**2 + u - 4. Is 16 a factor of k(h)?
True
Let k(v) = -v - 2. Let n be k(-5). Suppose -12*m + 15 = -7*m. Does 14 divide (-1)/n + 103/m?
False
Let k = -456 + 684. Is 38 a factor of k?
True
Is 26 a factor of (1218/210)/((-1)/(-5))?
False
Let g(u) = 3*u**3 + 11 + 3 + 2*u**3 - 4*u**3 + u**2. Does 14 divide g(0)?
True
Does 5 divide (-1)/(3/21*-1)?
False
Suppose 0 = -2*j + 3*j + 149. Let c = -99 - j. Is c a multiple of 14?
False
Suppose 2*h = -a + 23, 2*a + 5*h - 24 = 25. Does 3 divide a?
False
Suppose 4*r + r + 4*t = 326, 4*r - 228 = 5*t. Does 15 divide r?
False
Suppose 0*x = 2*x. Suppose -93 = -a - 3*u, x*a + 254 = 3*a + 4*u. Suppose 4*b + 130 = 5*s, 2*b + b - a = -3*s. Is s a multiple of 15?
False
Let y(p) = -p**3 + 7*p**2 + 11*p. Is y(8) a multiple of 12?
True
Let m be 78/21 + (-8)/(-28). Is (-116)/(m/((-4)/2)) a multiple of 19?
False
Is 6 a factor of (-2)/(-8) - (-382)/8?
True
Let x(j) = -1 + 4*j + 2 - 2 - 2. Let o(n) = -13*n + 8. Let m(v) = -4*o(v) - 11*x(v). Does 18 divide m(4)?
False
Let n = -6 + 26. Is 20 a factor of n?
True
Is 21 a factor of 16/(-56) - 429/(-7)?
False
Suppose 7*c = 4*c + 96. Is 16 a factor of c?
True
Let d = -4 + 5. Let l = 11 + d. Is l a multiple of 4?
True
Let p = 13 + 12. Is 19 a factor of p?
False
Let m be 8/4 - (1 - 2). Suppose 4*z - 6 = m*z. Is 3 a factor of z?
True
Let z = 6 + 43. Does 7 divide z?
True
Let m(f) = f**3 + 2*f**2 - 4*f + 1. Let a be 6/(-8)*(-8)/(-2). Let p be m(a). Suppose -o = p*o - 65. Is 10 a factor of o?
False
Is 17 a factor of ((-68)/(-3))/(8/12)?
True
Suppose 0 = -5*j + a + 2*a + 74, j + a - 18 = 0. Does 16 divide j?
True
Suppose 2*w - j + 8 = 4*w, -12 = -3*w + 2*j. Suppose -v + 9 = w*k - 71, -2*v - 5*k = -145. Suppose -3*p = p - v. Is p a multiple of 15?
True
Let f be (-6)/(-10) + 4/10. Let x be (3 + -3)/1 + 24/6. Does 9 divide (22 - x) + (1 - f)?
True
Let l(o) = -o**3 - 6*o**2 - 5*o + 8. Let n be 10/(-10) + 1 + 4. Suppose 2 = -2*s + n, s = 4*q + 25. Does 10 divide l(q)?
False
Let j = 7 - -47. Does 16 divide j?
False
Let m be (-3)/((-3)/(-2)) + 8. Suppose l + 0*l - i - m = 0, -17 = -2*l + i. Is 11 a factor of l?
True
Does 11 divide (3 + (-75)/(-12))*4?
False
Let u(j) = 29*j**2 - 1. Suppose -4*q - 6 = -10. Is 28 a factor of u(q)?
True
Let m = 14 + -6. Does 4 divide m?
True
Let g(l) = l**2 + 13*l - 12. Does 26 divide g(8)?
True
Let l = 4 - -35. Let a = l + -6. Is 11 a factor of a?
True
Suppose -1 = -z - r, 5*z + 5*r = 3*z - 13. Does 6 divide z?
True
Suppose 4*w + 4 = 4*x, x + 8 = w - 3*x. Let h = 7 + w. Suppose 0 = h*m - 30 - 9. Is m a multiple of 13?
True
Suppose -16 = 5*x - 7*x. Is x a multiple of 8?
True
Let o be 11/2*(-1 + 11). Does 12 divide (68/(-10))/((-22)/o)?
False
Suppose 5*j = -3*z + 80, -5*z - 6*j = -j - 120. Is z a multiple of 4?
True
Let w be (-34)/9 + (-2)/9. Let b be 2/(w/(-10))*1. Suppose 5*a = -3*k + 46, a + 3*k - 4 = b*k. Does 8 divide a?
True
Let u(q) = 2*q**2 + q - 1. Let r be u(-2). Let p(j) = 5*j + 6. Does 14 divide p(r)?
False
Let u be (1 - -2)/(3/4). Let f be 0*((-10)/4)/(-5). Suppose -u*x + f*x = -48. Does 12 divide x?
True
Suppose 5*x = -f - 4*f + 385, 0 = x - 2*f - 89. Is 27 a factor of x?
True
Suppose 0*z = 5*z. Suppose z = 4*m - 43 - 17. Is m a multiple of 7?
False
Let i = 12 - 8. Let z(s) = 5*s + 3. Is z(i) a multiple of 7?
False
Let o = 20 - 17. Suppose -t = -2*w + 9 + 4, 18 = o*w - 3*t. Is 7 a factor of w?
True
Let r = 5 - 2. Suppose 5*k + r*a = -a + 61, 13 = k + a. Does 9 divide k?
True
Suppose 4 = 3*l - 2. Suppose 0*t + 2*t + 16 = l*f, -4*f - 2*t = -32. Suppose f - 48 = -p. Does 20 divide p?
True
Let k(m) = m**2 + 3*m + 170. Does 17 divide k(0)?
True
Suppose 0 = -3*o + 4 + 5. Is 11 a factor of 1/3*o - -10?
True
Let i(h) = 8*h + 10. Is i(3) a multiple of 14?
False
Suppose 3*a = 70 + 53. Does 7 divide a?
False
Suppose -f + 36 = 2*y, y + 4*f = 4*y - 32. Let v = 30 - y. Is v a multiple of 7?
True
Suppose x = 5*l - 6365, 4*l - 8*l + 5*x + 5113 = 0. Does 6 divide l/42 + (-6)/21?
True
Let i(j) = 5*j**2 - 15*j + 5. Does 4 divide i(4)?
False
Suppose 4*a + 25 = -59. Is 48/7*a/(-3) a multiple of 24?
True
Let l = 156 + -151. Is 5 a factor of l?
True
Suppose 2*j + n = 182 - 27, -4*n = j - 60. Let l = -46 + j. Let k = l - 23. Does 5 divide k?
False
Is 15 a factor of (-10)/(-20) - 298/(-4)?
True
Let u = -24 - -12. Let x = 19 + u. Suppose -2*c + x + 21 = 0. Does 7 divide c?
True
Let z(m) = 3*m - 7. Let d be z(7). Let b be 102/d + (-10)/35. Suppose h = b - 3. Is h a multiple of 3?
False
Let u = -5 + 10. Let s = 20 - u. Is 9 a factor of s?
False
Let h(p) = -2*p**3 - 2*p**2 - 6. Let r be h(-5). Suppose -265 = -5*j + 5*u - 3*u, r = 4*j + 2*u. Is 17 a factor of j?
True
Suppose 3*r - 132 = 4*q, 0 = r - 3*r - 3*q + 71. Is 20 a factor of r?
True
Let p be 0 + 1 + 12/6. Let w be 0 - (0/p - 3). Suppose 2*l - 11 = 5*r + 48, -w*r - 9 = 0. Does 9 divide l?
False
Suppose -j + 0 = 2. Let a(o) = 5*o**2 - 1. Let r be a(2). Let b = r + j. Is 7 a factor of b?
False
Suppose -d + 0*d = 2*m - 15, 0 = -2*d + 2. Let f = -16 + m. Is 121/3 - 6/f a multiple of 20?
False
Suppose -251 + 755 = 3*k. Is 21 a factor of k?
True
Is (-9)/15 + -1*816/(-10) a multiple of 27?
True
Suppose -7 - 23 = -3*r. Let k(t) = 4*t - 8. Is k(r) a multiple of 8?
True
Let q(u) = u**2 - 7*u - 19. Suppose 0 = -0*h + 5*h - 65. Is 10 a factor of q(h)?
False
Suppose 2*z - 494 = -3*k, 7*k - 2*k + 4*z = 820. Does 6 divide k?
True
Let d be -1 - (0 - 0) - -10. Let k = d - 21. Does 17 divide (-315)/k - (-2)/(-8)?
False
Let c be 2/(-1) + 2*3. Suppose c*m - 73 = 119. Is m a multiple of 12?
True
Let r be (-369)/(-5) + 1/5. Let b = r + -48. Is 13 a factor of 3*(-3)/(-9)*b?
Tru