Is t a multiple of 6?
True
Suppose -4*o + 2*k - 7*k = -10, o + 2*k - 1 = 0. Suppose 5*q + 803 = 4*y, 5*y + o*q = 8*y - 606. Does 24 divide y?
False
Let r be ((-18)/(-12))/(3/8). Suppose 3*c = -r*n + 152, 0 = -4*c + n + 114 + 57. Is 11 a factor of c?
True
Suppose z + 10 = j + 3, -4 = z. Suppose j*k + 160 = 5*k. Is k a multiple of 20?
True
Let f(s) = 285*s + 5. Let h be f(1). Suppose 26 = -12*v + h. Is v a multiple of 2?
True
Let w = -28 + 31. Suppose -8 = -w*g - 2. Is (-51)/g*(-8)/12 a multiple of 14?
False
Let t = -6 + 22. Suppose -5*c = -14 - t. Is 4 a factor of 2/c*57 + 2?
False
Let z(k) = k + 16. Suppose 0 = 6*x + 42 - 12. Does 3 divide z(x)?
False
Let m(v) = -v**3 + 4*v**2 + 3*v + 9. Does 36 divide m(-5)?
False
Let f(q) = q**2 - 6*q - 25. Let n be f(9). Suppose 4*t + 338 = 6*t + n*z, 5*t - 810 = 2*z. Is 41 a factor of t?
True
Let d = -31 + 33. Suppose -171 = -0*a + 5*a + 3*s, -d*s = 3*a + 102. Is 35 a factor of 2/3 + (-3036)/a?
False
Suppose 6*j + 1426 - 418 = 0. Let p = -42 - j. Is 36 a factor of p?
False
Suppose -25*s + 1109 + 56341 = 0. Is 41 a factor of s?
False
Let q(x) = 85*x - 611. Does 4 divide q(11)?
True
Let m = 43 + -18. Suppose 5*v - 4*s + 63 = 18, 3*s = 2*v + m. Let d = 27 + v. Does 11 divide d?
True
Suppose -2*r + 152 = -4*r. Let k = r - -144. Is k a multiple of 17?
True
Let q = 74 - 32. Let x = 77 - q. Let w = x + -23. Is w a multiple of 2?
True
Let u(z) = 566*z**2 + 9*z - 8. Does 81 divide u(1)?
True
Suppose 0 = -6*i - 24 + 120. Let j = i - 27. Is (-8)/(-1) - (j - -13) a multiple of 3?
True
Let q = -60 + 63. Let x be 63/(-1)*8/(-6). Suppose -x = -q*c - c. Is c a multiple of 8?
False
Suppose -15*h = -7*h - 1600. Is h a multiple of 20?
True
Suppose 0 = m - 3*m. Suppose 0 = -m*l - l. Suppose 7*k - 8*k + 51 = l. Is 13 a factor of k?
False
Suppose 0 = 5*f - 31 - 1489. Is f a multiple of 10?
False
Is (-2 - -4)*((-495)/(-2) - 4) a multiple of 21?
False
Suppose -6*x - 10 = -8*x. Is ((-4)/(-10))/(1/x) - -3 a multiple of 4?
False
Let b(i) = -3*i + 2 + 6*i - 8. Let j be 19/190 - 1/((-10)/59). Is b(j) a multiple of 12?
True
Let j = -1556 + 2090. Is 89 a factor of j?
True
Let n(r) = -r**2 - 8*r + 11. Let z(d) = -3*d - 16. Let w(h) = 13*h + 64. Let y(l) = 2*w(l) + 9*z(l). Let m be y(-8). Does 4 divide n(m)?
False
Let v be (77/14)/((-1)/2). Let d = v + 14. Suppose d*p = 5*j + 35, 0 = 4*p + j + j - 64. Is 12 a factor of p?
False
Suppose 2*u + 2*w = -2*w - 8, -5*w - 8 = 3*u. Suppose 2*r + 0*r = u. Suppose -c + 2*h + 26 = 3*c, r*c - 3*h - 7 = 0. Does 6 divide c?
False
Suppose 0 = m + 5, 0*w - 2*w = -2*m + 4. Let f be w - (4 - (2 + 1)). Let g(q) = -3*q - 5. Is g(f) a multiple of 19?
True
Suppose 9*w = 4*w - 120. Let z be (-1 - -2)*46/1. Let f = w + z. Does 11 divide f?
True
Let v(o) = 8*o**2 - 6*o + 36. Is v(6) a multiple of 36?
True
Suppose -l + 499 = -3*j, 0 = 2*l - 4*j - 1147 + 139. Does 30 divide l?
False
Let c be 40/15 - (-2)/(-3) - 2. Suppose -5*r + 10 = c, 0 = l + 3*r - 15 - 7. Is l even?
True
Let y be (-8 - 1)/((-3)/2). Suppose y*f - 51 = 3*f. Let w = f - -1. Is w a multiple of 7?
False
Let g be ((-1)/3)/(18/1998). Is (g - -3)*9/(-6) a multiple of 20?
False
Let d(t) = -t**3 + 6*t**2. Let z be d(4). Suppose 2*a = a - 4*c - 8, 4*a - 3*c - 6 = 0. Suppose 5*p - 52 = -a*l - l, -p + z = l. Is 9 a factor of l?
True
Let f be (1 - (-8)/(-2)) + 319. Let j be (-2 - -2 - 0)/2. Suppose j*i = -4*i + f. Is 12 a factor of i?
False
Let x(a) = -a**2 - 7*a + 11. Let j be x(-8). Suppose 4*s + 36 = 4*y - 0*s, 21 = j*y + 3*s. Suppose -y - 31 = -3*z. Does 3 divide z?
False
Suppose -14*p = 403 - 2783. Is 39 a factor of p?
False
Suppose -3*v = -12 + 3. Suppose -73 - 35 = -v*y. Does 12 divide y?
True
Let g be (-12)/(12/(-3)) - -5. Let u(m) = -4*m**2 + g - 42*m + 2*m**2 + 4*m**2 + 58*m. Does 13 divide u(-9)?
True
Suppose -5*q = -5*k - 2*q + 16, k = 4*q + 10. Let u be ((-5)/k)/(6/(-12)). Suppose -u*d = v - 247, 218 = 4*d - 2*v + 12. Is d a multiple of 19?
False
Let m = 1257 - -17. Does 49 divide m?
True
Does 9 divide (-57752)/(-32) + 2/8?
False
Let f(d) = -d**3 + 3*d**2 + 31*d + 6. Is f(-10) a multiple of 24?
False
Let w(u) = u**3 - 13*u**2 - 15*u + 4. Let h be w(14). Let y = 11 + h. Let j = y + 5. Is 3 a factor of j?
True
Let h = 249 + -79. Is h a multiple of 16?
False
Let h = 3013 + -2816. Does 5 divide h?
False
Let n = 438 - 396. Is 22 a factor of n?
False
Let l be (8/(-6))/(4/(-30)). Suppose 0*r + 4*r + 3*k = 3, 3 = 2*r + 3*k. Suppose r = -3*y - 2*g + 48, -g - l - 6 = -y. Does 8 divide y?
True
Let b(m) = -62*m + 402. Does 11 divide b(-7)?
True
Suppose 16*w + 87 = -41. Let b(y) = -8*y - 4. Let j be b(-5). Let t = w + j. Is t a multiple of 9?
False
Let l = -288 + 531. Is 18 a factor of l?
False
Let x be 3/3 + -1 + -4. Let q be 7/(-14) + (-18)/x. Suppose 0 = q*g + g - 170. Is g a multiple of 6?
False
Suppose 2*a = -5*x + 22435, 5*a + 7743 + 5687 = 3*x. Is 34 a factor of x?
False
Suppose s = -5*w + 7 + 7, -s = w - 6. Suppose -i - 4*i = 2*d + 210, w*i = 5*d + 525. Does 7 divide (d/25 - 0)*-5?
True
Let u(y) = 1875*y**2 + 86*y + 86. Is 75 a factor of u(-1)?
True
Let w(m) be the third derivative of -m**9/60480 + m**8/6720 + m**6/120 - 7*m**5/60 - 5*m**2. Let z(q) be the third derivative of w(q). Does 5 divide z(3)?
False
Suppose 0 = 3*i + 3 + 3, 0 = -2*h + i - 52. Let w be 47 - -1 - (-4)/(-4). Let d = w + h. Is 10 a factor of d?
True
Let o be -2*2*3/(-3). Suppose 0*p - o*p + 542 = 3*z, -5*p = 3*z - 547. Suppose -5*i - 3*s = -292, -5*s + 2*s = 3*i - z. Is i a multiple of 17?
False
Does 9 divide 1506/15 + (-6)/(-10)?
False
Let k = 2 - -3. Let w(v) = -v**2 + 2*v**2 - 4 + 3*v + k*v**2 - 3*v**2. Is 24 a factor of w(-6)?
False
Let v(j) = -7*j + 2. Let r be v(-3). Let d = 3 + r. Suppose -2*b + d = -2. Is b a multiple of 3?
False
Suppose -7*v + 152 = -9*v. Let c be (-6)/8 - v/16. Suppose -65 = -0*b - b + 5*j, c*b - 323 = -j. Is 16 a factor of b?
True
Let o be 3*((-5)/3)/(-1). Let p(u) = -8*u - 7*u**2 + 0*u + o - 5*u + 10*u + u**3. Is p(8) a multiple of 15?
True
Suppose 5602 = 6*x + 538. Does 13 divide (-3)/9 + x/12?
False
Suppose -7343 = -41*g + 4629. Is 16 a factor of g?
False
Let x(q) = -84*q - 45. Is 15 a factor of x(-10)?
True
Let w(p) = -p - 7. Let n be w(-9). Suppose -h + 10 = -u + 4*u, -44 = -n*h + 2*u. Suppose 2*r = -t + 13, 0*t + h = 2*r - t. Does 4 divide r?
True
Let t(p) = p**3 + 5*p**2 - 8*p - 13. Let j be t(-6). Does 25 divide (-58 + 18)/(j/5)?
True
Suppose -7*k + 10 = -991. Is k a multiple of 23?
False
Let g(l) = -l**2 + 10*l - 4. Let s = -5 - -10. Suppose -1 = -s*x + 19, -4*h - 5*x + 36 = 0. Is 10 a factor of g(h)?
True
Let s(f) = f**3 + 21*f**2 + 11*f + 11. Let h be s(-17). Suppose 455 + h = 5*t. Is 41 a factor of t?
True
Suppose f + 4*n = 99, f + 3*n - 102 = 2*n. Is f a multiple of 4?
False
Let a = 956 + 1. Is a a multiple of 87?
True
Suppose -20*f = 4*p - 18*f - 3542, -2*f - 4405 = -5*p. Is 6 a factor of p?
False
Suppose 0 = -2*d + 17 + 3. Is 2 a factor of 10/4*48/d?
True
Suppose 6*f - 2451 = f - 2*u, f - 4*u - 499 = 0. Is 5 a factor of f?
False
Suppose 0 = -7*h - 3345 - 4215. Is 11 a factor of (4*(-3)/18)/(4/h)?
False
Let b be (-3)/4 + (-1)/4. Suppose g = -2*i - 2 - 0, 3*g = -i - 11. Is ((-352)/(-4) + b)*i a multiple of 29?
True
Let v(a) = 3*a**2 - 8*a + 25. Is v(15) a multiple of 59?
False
Suppose -o = o - 52. Suppose o*h - 272 = 22*h. Is 15 a factor of h?
False
Suppose -4*d + 4 = q + 3*q, 4*d - 11 = 3*q. Let m(c) = -c**3 + 7*c**2 - 4*c - 7. Let n be m(6). Is 10 a factor of (65/n)/(q/(-4))?
False
Let w = 804 + -391. Is 4 a factor of w?
False
Suppose -34*k + 30*k = 12, 2*k = -y + 197. Does 7 divide y?
True
Suppose 4*t = -5*g + 2268, 21*g - 22*g = -3*t - 446. Is g a multiple of 17?
False
Let h = 7 - 4. Suppose 3*x - 21 = -3*t, -h*x + t = x - 3. Suppose 0*b + x*b = 32. Is 6 a factor of b?
False
Let x(p) = -p**3 + 20*p**2 - 38*p - 8. Is x(10) a multiple of 34?
True
Suppose -2*r + 4 + 2 = 0. Suppose r*k - 30 - 6 = 0. Does 15 divide 752/k - (-4)/12?
False
Let b be ((-4)/18)/1 - (-1820)/90. Is (34/8)/(-2 + 41/b) a multiple of 17?
True
Suppose u - 1 - 7 = 0. Let y(a) be the second derivative of a**4/12 - 5*a**3/6 + a**2/2 + 139*a - 1. Is y(u) a multiple of 4?
False
Let u = 84 + -62. Let b = u - 0. Is b a multiple of 11?
True
Let o(t) = -t**2 - t + 7. Let r 