alse
Let u be ((-16)/(-10))/((-11)/(-110)). Suppose 4*a + 4*d = 2*a + u, -2*a + 5*d = -7. Suppose 2*t = z - a, 3*t = -4*z + 2*t + 24. Does 6 divide z?
True
Let w(t) = 2*t**2 - 14. Let a be w(-7). Let v = a - 72. Is 3 a factor of v?
True
Let n(u) = 302*u**3 + 4*u**2 - u + 1. Is n(2) a multiple of 17?
True
Let d(t) = 6*t**2 - 1. Let i be d(2). Suppose 115 = 2*h - i. Is 39 a factor of h?
False
Let s(f) = 4*f - 12. Let m = -19 + 24. Suppose 2*n - m*n + 24 = 0. Is 5 a factor of s(n)?
True
Suppose 0 = 32*k - 7932 - 4548. Is k a multiple of 13?
True
Suppose -649 = 351*l - 362*l. Is l a multiple of 6?
False
Suppose 3*u - d - 10 = 0, -2*d - 17 = -5*u - 0. Suppose 4*a - 4*s - 137 - 91 = 0, -u*s + 189 = 3*a. Suppose 11*y - 16*y = -a. Is y a multiple of 6?
True
Suppose -21*y + 691 = -23. Does 3 divide y?
False
Suppose 10*t - 141 = 9. Suppose 4*b + 5 = -t, -4*b = -5*g + 305. Is 19 a factor of g?
True
Let f = -30 - -30. Suppose f = j - 5, -6*j - 2 = -b - 2*j. Is 3 a factor of b?
False
Suppose 4*l = 1 + 19. Let u(i) = -7 - l + 6*i + 0. Is 14 a factor of u(9)?
True
Let j(x) = 3*x**2 + 7*x + 3. Let m be j(-7). Suppose -504 + m = -b. Suppose 128 - b = -5*z. Is 16 a factor of z?
False
Let l(f) = -f**3 + 59*f**2 - 60*f - 144. Is 40 a factor of l(57)?
False
Suppose -j + 6 = -4. Suppose 8*n - j*n = -10. Let i = n - -55. Is i a multiple of 20?
True
Suppose -5*q = -10*q. Suppose -4*i + 248 = -4*n, q*i + 2*i = 3*n + 124. Suppose 38 = 2*u - i. Does 10 divide u?
True
Let i = 9 - 3. Let s be (-20)/i*(-48)/(-10). Let u = 14 - s. Does 9 divide u?
False
Suppose -18 = -3*p - 0. Suppose -q + 3*q - p = 0. Suppose 0 = -4*w + q*i + 120, -4*w + 156 - 36 = -i. Does 8 divide w?
False
Suppose 7*y - 16 = 5. Let h(j) = j**3 - 4*j + 5. Is 3 a factor of h(y)?
False
Let f(w) = 10*w + 2. Let g be f(3). Suppose -9*t = 5*t - 350. Let l = g - t. Is l a multiple of 2?
False
Suppose 4*o - 3704 = 6*q - 10*q, -4*o - 5*q + 3706 = 0. Is 14 a factor of o?
True
Suppose 1948 + 1863 = f - 2*h, 3*h - 11469 = -3*f. Does 22 divide f?
False
Let w(j) = j**3 + 10*j - 6*j**2 - j - j**2 - j - 7. Let i be w(6). Suppose -3*g - 41 = -2*t, -i*g - 56 = 5*t - 146. Is 4 a factor of t?
False
Let j be 20/(-6)*(-6)/5. Suppose 4*g = -5*u + 4, u = 3*g - j*g. Let h(l) = -l**3 - 2*l**2 - 3*l + 4. Does 25 divide h(g)?
False
Let w be -21*((-4)/(-14))/(-1). Is 13 a factor of 27/(-6)*-9 - w/4?
True
Let q be (-2 + 4 + -3)*2. Does 18 divide 3/(69/(-36) - q)?
True
Let d(w) = w**3 - 20*w**2 - 20*w - 21. Let b be d(21). Suppose b = -0*z + 2*z - 96. Is 8 a factor of z?
True
Is 2 + 1363 + -1 + 4 a multiple of 38?
True
Suppose 0 = 8*r - 17*r - 1557. Let q = -95 - r. Is 13 a factor of q?
True
Suppose -4*j - 9 = -29. Suppose 2*g = -0*g + 10, -j*o - 5*g + 390 = 0. Let v = o - 15. Is 26 a factor of v?
False
Let k = 924 + -645. Is k a multiple of 31?
True
Suppose -4*y + 0 = -w + 4, 3*w - 4*y - 28 = 0. Suppose 0 = -s - 4*g + 40, -2*g - w = -2*s + 38. Does 28 divide s?
True
Let f = 3433 - 1835. Does 17 divide f?
True
Let f(v) = v**3 - 9*v**2 + 5*v - 6. Let i(p) = p**2 - 5*p - 5. Let m be i(-2). Does 13 divide f(m)?
True
Let n(z) = -3*z + 63. Is 22 a factor of n(7)?
False
Let d(g) = 46*g**2 + 2*g - 3. Let k be (4/(-16))/((-1)/8). Is d(k) a multiple of 37?
True
Let f(x) be the first derivative of -x**3/3 - 7*x**2 + 10*x + 2. Does 15 divide f(-7)?
False
Let t(c) = -5*c - 3. Let z be t(-3). Suppose -6*j + 2*j = -z. Suppose s - 6*s + 115 = 5*n, -4*s = j*n - 87. Is s a multiple of 16?
False
Let y = -4 - -6. Suppose y*h = 5*x - 10, 10 + 11 = -x + 5*h. Let o(n) = -n**3 + 7*n**2 - 6*n + 1. Is 15 a factor of o(x)?
False
Let t(m) = 3*m**2 + 16*m - 1. Let n(r) = 13*r**2 + 63*r - 3. Let b(u) = 2*n(u) - 9*t(u). Is b(-14) a multiple of 24?
False
Let n(y) = y**3 - 48*y**2 + 4*y - 146. Is 15 a factor of n(48)?
False
Let y = -171 + 59. Suppose l + 5*r = 2*r - 67, -8 = -2*r. Let c = l - y. Is c a multiple of 11?
True
Suppose 2062 = 5*x - 393. Is x a multiple of 18?
False
Let m = 106 - 39. Is 6 a factor of m?
False
Let j be (-3)/(6/16) - -2. Let g be 6/(j/2) + -85. Does 26 divide -3 - 3/(9/g)?
True
Suppose 26*g - 36*g = -350. Is 35 a factor of g?
True
Let n(i) = 21*i - 12. Let f be n(9). Suppose -4*a + 59 = -f. Does 5 divide a?
False
Suppose n = 1, 3*n = 3*j + 131 - 458. Let c = -38 + j. Let x = 150 - c. Is x a multiple of 24?
False
Is (1 - (-27)/(-24)) + (-7567)/(-56) a multiple of 18?
False
Suppose 0 = 6*i - 18, 4*i + 1844 + 918 = 2*f. Does 73 divide f?
True
Suppose 0 = 3*p - 3*r - 2916, 3*r = 7 - 22. Let y = p + -1381. Is y/(-10) + (-6)/(-10) a multiple of 14?
True
Let h(d) = -d**3 - 20*d**2 + 47*d - 13. Does 17 divide h(-23)?
True
Let b be (972/10)/(((-54)/40)/(-9)). Suppose 6*q = 2*q + b. Does 27 divide q?
True
Does 25 divide 1102/95*(-15)/18*-39?
False
Suppose 4 - 2 = z, 2*z - 49 = 3*d. Let w = d - -15. Suppose -2*u + 16 + 48 = w. Is u a multiple of 8?
True
Suppose 2*r - 5*b - 14 = 12, -3*b = -2*r + 18. Suppose 9 = n - r*x + 3, n + 5*x - 38 = 0. Is n a multiple of 9?
True
Let p be (-1)/6 + 294/36. Let j be ((-4)/p)/((-3)/(-6)). Let a(u) = -21*u - 1. Is 4 a factor of a(j)?
True
Suppose 0*n = -3*n - 18. Is 20 a factor of 398*9/30 + n/(-10)?
True
Suppose 7*c - 1028 - 3823 = 0. Does 63 divide c?
True
Suppose -3*l + 19 = 10. Suppose 56 = -0*j + 3*j + 4*p, -40 = -l*j + 4*p. Is j a multiple of 4?
True
Let a = 1301 + -905. Does 20 divide a?
False
Suppose -c + s + 34 = -3*s, 3*c + 3*s = 132. Let q = c + -4. Let r = 82 - q. Is r a multiple of 19?
False
Let c = -893 + 1345. Suppose -6*o + 2068 = -c. Does 21 divide o?
True
Is ((-6695)/309)/(2/(-6)) a multiple of 4?
False
Let b(d) = d + 1. Let j(f) = 5*f + 9. Let z(v) = -14*b(v) + 2*j(v). Let g be z(4). Is 14 a factor of 4/g - (-85)/3?
True
Suppose -s + m + 1842 = 13, s + 4*m = 1834. Does 11 divide s?
False
Suppose -9*z + 4*z = 60. Does 9 divide 1454/18 - z/54?
True
Let c be 3 + -6*(-1)/(-2) + 6. Is (0 - c/4)*(1 + -53) a multiple of 13?
True
Suppose -2 = -4*r + 2*q, 4*q - q = 9. Suppose g = 3, 5*j - 5*g = -r*g - 39. Is 2 a factor of (-24)/j + (1 - -1)?
True
Let b(t) = -7*t - 3. Let c(x) = -6*x - 1. Let k be c(-1). Let j = k + -10. Is b(j) a multiple of 14?
False
Suppose -2*u - 30 = -7*u. Let g(m) = 8*m + 0 + 1 - 12 - 1. Does 8 divide g(u)?
False
Suppose -9*y + 135 = -5*y + 5*n, 2*y + 4*n = 72. Is y even?
True
Let c(v) = -332*v**2 - v + 1. Let b be c(1). Let l = b - -472. Does 20 divide l?
True
Let c(y) = -63*y**3 + 3*y**2 + 18*y + 28. Is c(-3) a multiple of 49?
False
Suppose -x + 2*j + 232 = 0, 9*j - 5*j = -4. Is x a multiple of 46?
True
Let n(q) = -5*q - 5. Let i be n(-2). Suppose l - 2*m + 13 = 0, l - 46 = 5*l - i*m. Does 13 divide ((-2)/(-1) - l) + 2?
True
Let b be (-242)/(-8) + (-3)/12. Suppose -20 = 5*q + 4*o, b = q - 5*o + 5. Suppose x + q = 5. Does 2 divide x?
False
Suppose -12*l + 465 = 3*j - 10*l, 2*j - 2*l = 320. Does 3 divide j?
False
Let t(w) = w**2 + 3*w - 7. Let p = -32 + 18. Let c = p - -8. Does 11 divide t(c)?
True
Let v = 22 + 56. Is 26 a factor of v?
True
Suppose g - 113 = -3*s + 5*g, s - 36 = 3*g. Is s a multiple of 2?
False
Suppose 5*r + 4*b = 50, 4*r + 4*b = 9 + 35. Suppose 2*a + 2*k - 200 = 0, -3*k - 532 = a - r*a. Suppose 2*s + a = 4*s. Does 15 divide s?
False
Let q be (27/12)/(1/36). Let m = q - 48. Is m a multiple of 11?
True
Does 120 divide -8 + 70265/15 - 1/3?
False
Let v(w) = -11*w + 18. Suppose -h - 45 = 4*h. Does 9 divide v(h)?
True
Let z = 29 + -14. Suppose -5*v + 4*q = -9, -1 - 24 = -v - 5*q. Suppose v*n = 350 - z. Is n a multiple of 24?
False
Suppose 4*s + 19 = -161. Let n = s - -65. Does 5 divide n?
True
Suppose 3*w - 9 = -2*c, 2*w = 7*c - 2*c + 25. Let x = c - -32. Is x a multiple of 8?
False
Let w = -43 + 40. Let s be (-4)/2*14/(-4). Let t = s + w. Is 4 a factor of t?
True
Let v be 0 - (12/3 + -7). Suppose 180 = 7*w + v*w. Does 6 divide w?
True
Let a = 170 - -646. Is 34 a factor of a?
True
Suppose -30 = -5*r + 10. Let g be 2/r + (-126)/(-8). Let v = 37 - g. Does 7 divide v?
True
Let r = 8 + -12. Does 2 divide (-3 - 17)/(r/2)?
True
Let u = -19 + 20. Suppose 2*g + d = -5, -2*d + u = 11. Suppose 2*j = -g*j + 120. Is j a multiple of 12?
True
Let p(l) = -3*l - 6. Let x be p(-5). Suppose 14*v - x*v - 445 = 0. Does 15 divide v?
False
Let t be 4/(-20) - (-48)/(-10). Let n = -2 - t. Sup