y = -q - 420, 4*y + q = 412. Is 13 a factor of y?
True
Let f(c) = -c**3 + 3*c - 2. Let z be f(2). Let o be (-2 - z) + -2 - -3. Suppose -4*u + 2*x + 66 = -0*u, o*u - 48 = 3*x. Is u a multiple of 11?
False
Let y(w) = -w - 2*w**2 - 7 + 3*w**2 + 5*w. Let j be y(-7). Suppose 0 = q - i - 19, -2*q + j = -3*i - 25. Is q a multiple of 13?
False
Suppose 2*c - 3 = 3*c. Let a(i) = -i**3 - 2*i**2 + 2*i + 2. Let y be a(c). Suppose -y*t + 38 = -3*t. Is 12 a factor of t?
False
Suppose 4*d - 16 = 0, -2*y + d = -5*y + 16. Suppose -4*a + 5*b = -4 - 5, 0 = 5*a - y*b - 18. Is a a multiple of 6?
True
Suppose 496 = 3*u - u. Is u a multiple of 12?
False
Is -21*(20/12 + -2) a multiple of 7?
True
Let j = -4 + 7. Suppose 21 = 2*u + u + j*v, -v + 19 = 4*u. Suppose 3*s = -3*i + 33, -3*s + u*i = 2*s - 46. Does 5 divide s?
True
Let o(z) = -2*z**2 + 11*z - 5. Let q be o(9). Let i = -22 - q. Is i a multiple of 21?
False
Let s be ((-6)/4)/(18/(-24)). Suppose -4*f + 5*n = -33, n = s*n + 1. Does 7 divide f?
True
Suppose 0 = 2*y + 14 + 30. Let z = 17 - y. Let b = -14 + z. Is 13 a factor of b?
False
Let p(q) = 8*q. Suppose 2*u - 3 = -u. Is 4 a factor of p(u)?
True
Suppose -2*t + 358 = -b - 259, 4*b = -2*t + 612. Does 28 divide t?
True
Let j be (8/6)/(2/6). Suppose 128 = j*y + 4*i - 48, -2*y - i = -83. Does 13 divide y?
True
Let b(o) = -8*o - 1. Let g be b(-2). Let m be ((-24)/15)/(2/(-60)). Is (m/g)/((-2)/(-10)) a multiple of 11?
False
Let s(p) be the first derivative of -3*p**4/4 - 2*p**3/3 + p**2/2 + 8. Does 7 divide s(-2)?
True
Let r(u) = -u**3 + 2*u**2 + 2*u - 2. Let c be r(-3). Suppose 23 = -4*q - c. Does 5 divide (-6)/(-9)*-1*q?
True
Let m = -2 - -6. Let j(l) = 3*l**2 - 6*l + 5. Does 12 divide j(m)?
False
Let m(q) = q**3 + 6*q**2 + 3*q - 1. Let v be m(-6). Let x = 6 + v. Let b = x - -27. Does 7 divide b?
True
Let t be 7 - (2 - 1/(-1)). Suppose -5*q + 187 = t*l, -l + 3*l - 74 = -2*q. Is q a multiple of 10?
False
Let r(a) = 2*a + 2. Let o be r(-2). Let j = o + 28. Is 16 a factor of j?
False
Let m = -3 + 6. Suppose -m*g + 32 = -19. Is 17 a factor of g?
True
Suppose -3*p - 3*a + 0 = 6, -3*p + 10 = -a. Let o = 5 + p. Suppose -z + o*q = 3*q - 33, -5*z + 5*q + 90 = 0. Does 13 divide z?
True
Let j be (30/9)/(1/(-3)). Let g = 16 + j. Does 5 divide g?
False
Let q be 2/(-6) - 16/(-3). Let i be 6/(-4)*-4 + -3. Suppose 5*t = s + 23, -q*s = 2*t + i*t - 5. Is t a multiple of 3?
False
Suppose -2 - 17 = -2*h - 5*t, 3 = -3*h + 3*t. Suppose h*u + 6*y - 11 = 3*y, -y - 5 = 5*u. Let o = u - -7. Is o a multiple of 4?
False
Let c(z) be the third derivative of z**5/15 + z**4/12 - z**3/2 + 5*z**2. Is 12 a factor of c(-3)?
False
Let x(f) = 5*f**3 + 2*f**2 + 1. Is 11 a factor of x(2)?
False
Let y(v) = -5*v - 2*v + 4*v. Let q be y(1). Is -5*q/(-12)*-4 a multiple of 3?
False
Let i = -69 - -33. Let r = i + 17. Let u = r + 28. Is 5 a factor of u?
False
Let w be (44/(-6))/(2/(-6)). Suppose -2 = 4*u - w. Suppose -u*s + 49 = -76. Is 14 a factor of s?
False
Suppose -5*t = -7 - 33. Does 8 divide t?
True
Suppose 5*u - 1 = -16, -3*i + 3*u = -144. Is i a multiple of 35?
False
Suppose 3*j - 73 = 8. Let s = j - -4. Does 10 divide s?
False
Let z = -26 + 33. Is 5 a factor of z?
False
Suppose 42 = 3*l - 81. Suppose -2*d + 1 = -25. Let a = l - d. Does 14 divide a?
True
Let t = 415 - 245. Does 11 divide t?
False
Let k = 47 + -28. Let c = 24 - k. Is c a multiple of 3?
False
Let x(d) = -3*d - 1. Suppose -36 = 4*a + t, 3*t + 30 = -5*a - 22. Let u be a/5 - (-2)/(-5). Does 5 divide x(u)?
True
Let b(x) = -x - 4*x - 19 + 0*x. Is b(-8) a multiple of 21?
True
Suppose -z + 174 = n, 5*n - z = -0*n + 840. Does 13 divide n?
True
Is 10 a factor of 610/50 - (-2)/(-10)?
False
Suppose -2*m - 2*m - 8 = 0, 4*o = -2*m + 108. Does 16 divide o?
False
Is 24 a factor of 68*(-2 - -3) - -4?
True
Let t = -11 + -76. Let h = -51 - t. Is h a multiple of 18?
True
Suppose 0*n + 90 = 5*n. Does 9 divide n?
True
Suppose -2*y + 4*y - 2*f = 42, 2*y - 5*f = 57. Is y a multiple of 16?
True
Let b(m) = -15*m**3 + m**2 - m. Let y be b(1). Let n = -2 - y. Let u = 40 - n. Does 9 divide u?
True
Suppose 2*m = 2*d + 14, 0*d - 11 = -m + 3*d. Suppose -5*z + 0*z + 15 = 0. Suppose -m*r - 29 = -h - z*r, 86 = 3*h - 5*r. Does 27 divide h?
True
Let r(c) = -253*c**3 + c + 1. Does 13 divide r(-1)?
False
Let q(w) = -w**2 + 28. Let j(m) = m + 7. Let k be j(-5). Let b = 2 - k. Does 14 divide q(b)?
True
Let a(c) = 2*c**2 - c - 1. Let k be a(-1). Suppose 0 = 2*y - k, 3 = z - y + 9. Let u = 13 + z. Is 8 a factor of u?
True
Let i be 6*(-5)/4*-2. Suppose 5*j - i = 0, 0 = -5*c - 2*j - 8 + 4. Is (0 - -1)/(c/(-12)) a multiple of 5?
False
Let k(p) = p**2 - p. Is 4 a factor of k(-2)?
False
Suppose z = 8 + 13. Let y = -18 + z. Is y a multiple of 3?
True
Let x = 61 - 12. Is x a multiple of 7?
True
Suppose 2*j + 64 = 3*j. Is j a multiple of 36?
False
Let p be (-1376)/(-14) - (-2)/(-7). Let i = p - 26. Suppose -2*t + 10 = 0, -4*t = -2*g + 4*g - i. Is 13 a factor of g?
True
Suppose -5*s + 8*s = 78. Is 18 a factor of s?
False
Let r(p) = p**2 + 5*p + 2. Let i be r(-3). Is (0 - 1) + (-44)/i a multiple of 5?
True
Let m(l) = l - 3. Let z be m(6). Suppose -5 = z*u - 17. Suppose 127 = 5*r - 3*v + 2*v, 5*r - 118 = u*v. Is 13 a factor of r?
True
Suppose -5*v = 2*x + 2*x - 59, -4*v - 52 = -3*x. Is 4 a factor of x?
True
Suppose 0 = 5*z - 0*z - 545. Does 46 divide z?
False
Suppose 5 = -0*h + h. Suppose -h*v = -302 + 22. Is 14 a factor of v?
True
Let z = 83 + -41. Does 9 divide z?
False
Let m(v) = 2*v - 5. Let f = -4 + 19. Let z be (-4)/((-24)/f)*2. Is 3 a factor of m(z)?
False
Let k(t) = -3*t + 6. Is 9 a factor of k(-10)?
True
Let p = 6 - 1. Suppose 5*k + 195 = p*j, 0 = -2*j - 2*j + 3*k + 153. Does 13 divide j?
False
Suppose 0 = h - 6 + 25. Let u = h + 11. Does 12 divide (-4)/(-16) - 94/u?
True
Let u = 90 - 54. Suppose -5*j + 4*a - u = -210, -2*a = 2. Is j a multiple of 14?
False
Is 156/(-1)*(-13)/26 a multiple of 12?
False
Let f = 33 + -49. Let z = 26 + f. Suppose -g + z = g. Is g a multiple of 2?
False
Suppose -3*h + n + 398 = 0, 378 = -h + 4*h + 3*n. Is h a multiple of 21?
False
Let v be 0 - -185 - (-1 + 0). Suppose -v = r - 2*r. Suppose -2*f = 2*s - 6*s + 160, 5*s + f - r = 0. Is s a multiple of 17?
False
Suppose 0 = 4*u - 2*o + 28, -2*o = -4*o + 8. Is 372/30 - (-2)/u a multiple of 5?
False
Suppose 0 = -0*w - w + 89. Let h = w + -348. Is (-4)/(-6) + h/(-21) a multiple of 4?
False
Suppose -6*s + 3*s + 133 = 4*a, s = 2*a - 69. Does 6 divide a?
False
Let m(d) = d**2 - 4*d - 10. Let r be m(-4). Suppose -h - 2*p = -r, p = -h + 17 + 3. Is 9 a factor of h?
True
Let s be 2/8 + (-5)/4. Let f be (-2 + 1)*31/s. Suppose -h - 3*q = -2*h + 12, q = -2*h + f. Is h a multiple of 7?
False
Let x be (-2)/5 - 8/(-20). Suppose 12 = -x*s + 4*s. Suppose -2 = -s*m + 25. Is 9 a factor of m?
True
Let j be 24/11 + 10/(-55). Is 3/j*(-306)/(-27) a multiple of 17?
True
Let c = 12 - 6. Suppose 0 = d - 1 - 3. Suppose -c = -2*m + d. Is m a multiple of 3?
False
Let z(j) = 8*j**2 - j. Let h be z(-1). Let s = h - 5. Suppose -3*d - s*o = -152, -d + 48 = -0*o + 4*o. Is 18 a factor of d?
False
Let u be (1 + -1)/1 + 0. Suppose 2*j + 6 - 18 = u. Is 6 a factor of j?
True
Suppose y = 4*y - 54. Does 6 divide y?
True
Suppose 2*d - 3*f - 23 - 1 = 0, -d = f - 7. Let a = -4 + d. Is 51/a - (-2)/(-10) a multiple of 5?
True
Suppose 3*m = -m. Suppose -17 = -m*l - l. Is 5 a factor of l?
False
Suppose 199 - 49 = 5*h. Is 10 a factor of h?
True
Is 17/((-3)/6 - -1) a multiple of 17?
True
Let h = -67 + 127. Does 11 divide h?
False
Let d(b) be the second derivative of -b**5/20 + 7*b**4/12 - b**3/6 + 4*b**2 - b. Let i be d(7). Is i/(-2) + 38/4 a multiple of 9?
True
Let w be ((-78)/3)/(-1 + 2). Let x = w + 54. Is 7 a factor of x?
True
Suppose -4 = -g - 0. Let l(h) = 2*h**3 - 4*h**2 - g*h**3 + h**3 + 4. Is l(-4) a multiple of 2?
True
Let h be (-16)/5*(-180)/8. Suppose -5*f + h = -28. Is 10 a factor of f?
True
Suppose 0 = -2*g - 2*g - h + 11, 1 = 2*g - h. Suppose -5*n - 22 = 6*j - 5*j, -5*n = -j + 28. Does 11 divide (j - -1)/g - -20?
True
Suppose 3*y + 4*d = 178, -3*y + 293 = 2*y + 3*d. Does 33 divide y?
False
Let o = -13 + 31. Does 9 divide o?
True
Let r = -73 - -80. Is r a multiple of 7?
True
Let w(c) = -c**3 + 7*c**2 - c. Let l = 9 - 3. Let n be w(l). Let s