 multiple of 10?
True
Suppose -3 + 11 = -2*f. Does 8 divide -34*-2*(-1)/f?
False
Let g = 1 - 4. Let r(n) = -n**2 - 3*n + 2. Let o be r(g). Suppose -o*m = -2*b + 12, m - 3 = -4. Does 3 divide b?
False
Suppose 3*h - 5*h + 5*u = 10, -2*u = 4*h - 28. Suppose g + 60 = h*g. Does 15 divide g?
True
Let j(l) = -l**2 - 14*l - 6. Let k be j(-6). Suppose 3*p - k = -0*p. Does 7 divide p?
True
Let f = -9 + 10. Is 6 a factor of 58/4 - f/2?
False
Let c(g) be the first derivative of -g**4/2 + 2*g**3/3 - g**2/2 - 2*g + 5. Is c(-2) a multiple of 12?
True
Suppose -z - 12 = 4*s, z - 4*s - 8 = 12. Suppose -z*b + 22 = -3*r - 73, 0 = 4*b - 4*r - 96. Is b a multiple of 9?
False
Suppose 4*k + 3*b + 17 = 0, -k + 2*b - 2 = -2*k. Let x = k - -67. Does 15 divide x?
False
Suppose x - 36 = -2*g - g, 0 = 2*x. Does 12 divide g?
True
Suppose 0 = 2*q - 2 - 8. Suppose 5*c + 16 - 4 = o, 5*o = c + 12. Suppose q*v - o*v = 66. Does 14 divide v?
False
Suppose -y - 15 = -6*y. Let x(k) = k**2 + k. Let g be x(y). Let q = g + -7. Does 5 divide q?
True
Let c(v) = -20*v - 48. Does 13 divide c(-5)?
True
Let a(r) = -r**2 - 10*r + 7. Let d(p) = p**3 - 4*p**2 - 3*p + 2. Let l be d(4). Is a(l) a multiple of 4?
False
Suppose -3*k - 41 = -4*f + 25, -5*k - 25 = -f. Suppose 6*a - a - f = 0. Is a a multiple of 3?
True
Let f(p) = 21*p. Let a(m) = 21*m + 1. Let x(y) = -3*a(y) + 4*f(y). Is 13 a factor of x(2)?
True
Let n(i) = 2*i - 7. Let q(o) = -o - 6. Let t be q(-10). Suppose -4*d - 8*x = -3*x - 45, 20 = t*x. Is n(d) a multiple of 2?
False
Let b be (-2 + -1)/(5 + -6). Let t(r) = 2*r. Let g be t(b). Suppose -c + g*c = 90. Is 6 a factor of c?
True
Let j be 56/(-12)*(-3)/2. Is 3 a factor of (-14)/4*(-9 + j)?
False
Let n(h) = -7*h - 2. Let y be (-32)/18 + (-2)/9. Let o be -4 + 3 + (y - 1). Is 9 a factor of n(o)?
False
Let h be (-4)/12*-3*0. Suppose -2*x - u + 43 = h, -3*x + 20 = 5*u - 48. Does 7 divide x?
True
Let u be (-1)/3*(2 - 8). Suppose 8 = x - u*v - 0, -10 = -5*x - 5*v. Suppose x*r + 0*r - 43 = -b, 4*r = 12. Is b a multiple of 16?
False
Suppose -2*p - p + 612 = 0. Suppose 0 = -2*n - 0*b + b + 90, 4*b = -4*n + p. Is n a multiple of 8?
False
Let h = -20 - -13. Does 14 divide (-278)/h + (-4)/(-14)?
False
Let k(w) = w**2 + 5*w - 6. Let x be 2/3*-9 + -1. Does 4 divide k(x)?
True
Suppose 3*g = -5*k + 278, 2*k + 0*g = -g + 112. Does 29 divide k?
True
Suppose 5*a + 3*r + 6082 = 5*r, 6083 = -5*a + 3*r. Let i be a/(-36) - 4/(-18). Let g = i - 24. Does 5 divide g?
True
Suppose 3*v + 18 = -0*v. Does 8 divide (-44)/v*3/2?
False
Suppose 0*s + 3*s - 12 = 0. Suppose 4*g - v = 189, -s*g - v + 190 = -3*v. Is 19 a factor of g?
False
Suppose 5*a - 493 = 992. Is 27 a factor of a?
True
Let f(s) = s - 5. Let o be f(5). Suppose 106 = 5*k + 4*b, -5*k + o*b = -3*b - 113. Suppose 4*v + 5*y = k, 58 - 20 = 4*v - 3*y. Is v a multiple of 4?
True
Let r be 39/12 - (-3)/4. Suppose 3*c - 12 = -3*n, -n = n + r*c - 12. Suppose 0 = 3*s + 6, -n*q - s = -4*q + 62. Is 15 a factor of q?
True
Let o(t) = 7*t**2 - 5*t - 7. Let v be o(5). Suppose -508 + v = -5*m. Suppose -h = 2*k - 28, -31 + m = h - 5*k. Does 16 divide h?
True
Let d = -9 - -5. Let l = 0 - d. Suppose 0 = -o - 4*u + 16, -l*u + 28 = 2*o + 2*o. Is 3 a factor of o?
False
Suppose -m = -6*m + 350. Is m a multiple of 35?
True
Suppose -60 = -5*k + d + 4*d, 0 = -3*k + 2*d + 35. Suppose 0 = 3*w + 5*n - 50 - 37, 0 = 3*n. Suppose 0 = -2*y + k + w. Is y a multiple of 7?
False
Let p(m) = 2*m**2 - 2*m. Let g be p(2). Suppose -7*h = -g*h - 117. Is h a multiple of 13?
True
Let i(m) = -m + 12. Let z be i(7). Let o = 32 - z. Is 13 a factor of o?
False
Suppose 2*o = p + 4, -o + 5 - 3 = 0. Suppose 4*a + 4*y - 44 = p, a - 4*y - 17 = 19. Let x = a - -6. Is x a multiple of 14?
False
Suppose 6 + 30 = 3*p. Does 4 divide p?
True
Suppose 3 = -m - 0. Is 7 a factor of (-2)/6 - 43/m?
True
Let w = -35 - -74. Is w a multiple of 13?
True
Let i(o) = o**3 + 12*o**2 - 68*o + 4. Is i(-16) a multiple of 17?
True
Suppose 4*z - 92 = -2*u - 0*u, 0 = 4*u + 5*z - 190. Is 10 a factor of u?
True
Let d(p) = 3*p + 2 + 6 - 9. Suppose 0 = -4*j - j + 25, n = -4*j + 22. Is 5 a factor of d(n)?
True
Suppose 2*h = 3*h. Let l(g) = -g**2 + g. Let y be l(h). Suppose y = 3*m + m - 32. Does 3 divide m?
False
Let c(k) = k**2 - 4*k + 3. Let b(m) = -2*m**2 + 9*m - 6. Let d(o) = 2*b(o) + 5*c(o). Let q(y) be the first derivative of d(y). Does 9 divide q(6)?
False
Suppose 2*y - 6*l + 2*l = 128, 2*y + 2*l = 116. Is 19 a factor of y?
False
Let k be 11/(-9) - (-2)/9. Let p be -1*k/(0 + 1). Suppose -5*b = 2*z - 34, 2*b - p = -2*z + 3*z. Is 7 a factor of z?
True
Let l = -60 - -100. Does 8 divide l?
True
Suppose -3*p + 61 + 143 = 0. Is 34 a factor of p?
True
Suppose 0*m - 5*b - 673 = -4*m, -2*b = -2*m + 334. Is 10 a factor of (2/(-4))/((-3)/m)?
False
Suppose -6*x + 3*x = -126. Does 14 divide x?
True
Suppose -2*k - 52 = -5*y + 85, 0 = 4*y - 3*k - 104. Suppose 3*s = -4*i + y, 4*i - i = -2*s + 21. Suppose i*n = -5*q + 35, 9 = q + n + n. Is q a multiple of 4?
False
Suppose -3*b - 2*b + 55 = 0. Is b a multiple of 3?
False
Suppose -15 = 6*s - 243. Is 18 a factor of s?
False
Suppose 3*h - 156 = 21. Let x be 4*6 - (3 - 2). Let v = h - x. Does 18 divide v?
True
Suppose 3*w - 2 = 10. Suppose -w*h + 128 + 0 = 0. Is h a multiple of 16?
True
Let x be (-2)/(1 + 0 + 0). Let h be 6*(-1)/(0 + x). Suppose 0 = 2*y + h*y - 50. Does 6 divide y?
False
Suppose 4 = 3*t - 2. Suppose d - t*r - 8 = 0, 4*d = -d + 5*r + 15. Is d/(-3) + (-16)/(-3) a multiple of 6?
True
Let r = 26 - 18. Let h = r - 8. Suppose 2*z = -h + 12. Is z a multiple of 5?
False
Let p(g) = g**2 - g. Is p(3) a multiple of 6?
True
Let o = -4 + -7. Let w = o + 15. Suppose -w*g - 76 = -4*j, 3*j + j + 5*g - 40 = 0. Is j a multiple of 5?
True
Let v = 59 + -40. Does 4 divide v?
False
Is (26/6 - 3)*618/4 a multiple of 34?
False
Suppose c - 81 = 5*v, 39 = -3*v + 4*c - c. Suppose 5*i - 3*i = -4. Does 8 divide v/i + (-1)/2?
True
Let m = 426 - 296. Let b = -75 + m. Does 16 divide b?
False
Let h(n) = 1 + 3*n**2 + 5*n**3 + 3*n - 2*n - 4*n**3. Let t be h(-2). Suppose -20 = g - t*g. Is g a multiple of 10?
True
Suppose d = 3*d + 4. Is 7 a factor of (-27)/d + (-2)/(-4)?
True
Suppose 10*g - 160 = 8*g. Does 10 divide g?
True
Suppose -2*k - 490 = -5*p, 3*p + k - 275 = 6*k. Is p a multiple of 8?
False
Let z be 3 + ((-3)/1 - -37). Suppose -z = 4*f - 8*f + k, 5*f + 4*k - 20 = 0. Does 8 divide f?
True
Let h be (-46)/(-1)*1/2. Let t = 2 + h. Is t a multiple of 12?
False
Let g = 4 - 0. Suppose -g*b + 5*b = 43. Is b a multiple of 23?
False
Suppose -7*j + 1 + 27 = 0. Suppose -l - j*l = -50. Is 5 a factor of l?
True
Let g = 3 - -2. Is 3 a factor of (6/(-10))/((-1)/g)?
True
Let p(o) = o - 5. Let l be p(4). Let r(v) be the first derivative of 4*v**3/3 - v + 4. Does 3 divide r(l)?
True
Suppose 2*a + 12 = -a, 762 = 5*h + 2*a. Is h a multiple of 20?
False
Let d be (6/2)/(2/12). Let u = 11 + -21. Let s = u + d. Does 4 divide s?
True
Let z = -2 + 8. Suppose -s = -0 - z. Is 3 a factor of s?
True
Is 16 a factor of (-3)/5 + (-3544)/(-40)?
False
Suppose f - 30 = -0*f. Does 15 divide f?
True
Let u be 0 + (-3)/1 + 147. Suppose -5*y + g - 174 = 0, -2*g = -4*y - 0*g - u. Is (-7)/28 - y/8 a multiple of 4?
True
Let h(s) = 3*s**2 + 3*s. Let a be h(-4). Suppose -a = 3*c - 120. Is 14 a factor of c?
True
Suppose 0 = -2*q - 2*b + 54, 30 = q - b + 9. Is 14 a factor of q?
False
Let w = 40 - 26. Suppose -27 = 3*k - 6. Is (-6)/w*4*k a multiple of 12?
True
Does 8 divide (-464)/(-6)*5/(10/6)?
True
Let i be 3/(-1*(-3)/4). Suppose -5*k + i + 7 = 4*q, k + 4*q + 1 = 0. Suppose 2 + 1 = -k*u, 0 = -2*x - 5*u + 27. Does 8 divide x?
True
Let k(l) = l - 10. Let d be k(11). Let h be -4 + 4 - 1/d. Does 3 divide (h + 2)*(7 + -1)?
True
Let h(k) = -k + 7. Let f be h(5). Suppose -7*m + 75 = -f*m. Does 5 divide m?
True
Let w(j) = -j**2 + 3*j. Let f be w(3). Does 3 divide (-2)/((1 - f)/(-2))?
False
Suppose -11*f - 463 = -2223. Is f a multiple of 10?
True
Is 13 a factor of 214/6*3 - 3?
True
Let d = -226 - -376. Is d a multiple of 25?
True
Suppose -2*h - 3*h + 15 = 0. Let y(a) = 0 + 7 - h + a. Is y(10) a multiple of 7?
True
Suppose -g + 2 + 2 = 0. Suppose g*m - 10 = 2. Suppose 2*j - 8 = -0*j, m*y + 5*j = 29. Does 3 divide y?
True
Suppose 2*h + 1 = 3*h. Let t be 18/10 - h/(-5). 