s 24 a factor of b?
False
Suppose -5*g + 2*a + 3 = 0, 2*g + 3*a + 22 = -2*a. Let p(q) = -196*q - 1. Let j be p(g). Suppose -6*t + j = -t. Is t a multiple of 13?
True
Let p(q) = 117*q + 31. Is 17 a factor of p(2)?
False
Suppose -42*k - 432 = -44*k. Is 16 a factor of k?
False
Is (-3)/84*-8 + 1746/14 a multiple of 13?
False
Let n be (-1 - 1)/(6/(-375)). Suppose -n = -4*i + 51. Suppose 3*k - i = k. Is k a multiple of 11?
True
Is 27 a factor of 14/12 - 54670/(-84)?
False
Suppose -270 = -26*n + 11*n. Suppose -13*z + n*z - 835 = 0. Is z a multiple of 23?
False
Let p = -199 - -348. Let z = p + -73. Suppose 0 = 2*j - 4*u - z, 74 = 3*j + 7*u - 3*u. Does 18 divide j?
False
Suppose 3*b + 4 = 4*q - 4, -2*b = 4*q - 28. Suppose -5*x + 524 = b*n, -248 = -2*n - 3*x + 4*x. Does 18 divide n?
True
Let y(t) = t. Let l be y(5). Suppose -5*u + 109 = p, l*p + 2*u = u + 425. Is 14 a factor of p?
True
Suppose -2*q + 8 = 0, 2*d = -2*q - 16 - 28. Let j = d + 25. Is (12*(j + 0))/(-2) a multiple of 4?
False
Let k(x) = x**2 - 22*x + 28. Is 7 a factor of k(22)?
True
Suppose 4*p - 19 = 3*p. Suppose -p = -2*i + 69. Does 21 divide i?
False
Let d(x) = x**2 - 5*x + 4. Let p be d(7). Suppose -23*f + p*f = -420. Does 21 divide f?
True
Let g = 431 + -497. Let t(q) = -2*q**2 + 3*q - 3. Let v be t(3). Let m = v - g. Is 27 a factor of m?
True
Let p(i) = i**3 + 10*i**2 + 11*i. Let k = -4 - 4. Let m be p(k). Let b = m + -27. Is 8 a factor of b?
False
Let k(b) = 3*b + 6. Suppose 2*y = -8, 4*c + y + 1 - 9 = 0. Suppose 0 = c*h - 8 - 19. Is 21 a factor of k(h)?
False
Is 64 a factor of 4 - (51*-35 + -5 + 2)?
True
Let f(s) = 2*s**3 + 14*s**2 + 3. Let u be f(-7). Suppose u = -a + 133. Does 10 divide a?
True
Let i = -294 + 745. Is i a multiple of 41?
True
Let i be 3/2 + (-12)/24. Let r be 14*(-1)/(i/(-2)). Let y = r + 2. Is 8 a factor of y?
False
Let y(x) = 5*x**3 - 22*x**2 - 27*x + 15. Is y(9) a multiple of 10?
False
Suppose 2*t + 28 = 4*r - 206, 3*r = t + 174. Does 19 divide r?
True
Suppose 0 = t + 3 - 21. Suppose -3*b - 2*f = -98, 3*f = -0*b + b - t. Does 15 divide b?
True
Suppose 10 - 4 = 2*q. Let m(r) = 36*r - 24. Is 5 a factor of m(q)?
False
Let r(t) = -11*t**3 - 11*t**2 - 6*t + 36. Is r(-6) a multiple of 108?
True
Let s = -263 - -335. Is s a multiple of 2?
True
Let v be 1/(22/(-8) + 3). Let w be v + 2 + (-2 - 1). Does 9 divide (-1)/w - 340/(-12)?
False
Let b(t) = -34*t - 97. Does 7 divide b(-15)?
True
Does 15 divide 14*(-4)/8 + 520?
False
Suppose 0*c + 4*c + 8 = 0. Is 3 a factor of c/7 + 2025/105?
False
Let q = 11 - 11. Suppose 3*o = 4*b + 330, o + q*o + 5*b = 110. Is 16 a factor of o?
False
Suppose -4*m - 6 = -2*t - 2*m, 0 = 5*t + 3*m - 23. Let v be (-6)/t*16/(-12). Suppose -4*u + 366 = v*u. Does 21 divide u?
False
Suppose -2*t - 3*t + t = 0. Suppose 4*d + d - 20 = t, -o + 26 = -5*d. Does 8 divide o?
False
Let h(j) = 9*j**2 + 1. Let f be h(1). Suppose 6*p - f - 8 = 0. Does 9 divide (0 + (-29)/(-3))*p?
False
Let c = -64 - 112. Let r = 373 + c. Is r a multiple of 33?
False
Let m = 6 + -5. Let s(i) = -m + 24*i - 5 - 6. Is s(5) a multiple of 36?
True
Let k(y) = 2*y**3 - 2*y**2 - 2*y + 799. Is k(0) a multiple of 47?
True
Suppose 0 = -y + 3*y + 3*m - 348, 0 = 5*y - 5*m - 920. Is 8 a factor of y?
False
Let z(k) = 2*k - 14. Let t(r) = r - 7. Let i(b) = -5*t(b) + 3*z(b). Let u be i(7). Let o = u - -28. Is o a multiple of 8?
False
Suppose 4*j - 98 = -2*q + 4*q, 4*j - 77 = -5*q. Let y = 74 - j. Is 11 a factor of y?
False
Let a(k) = 22*k + 74. Is 42 a factor of a(10)?
True
Suppose -5*s + 11 = -o - 4*s, -3*o + 2*s - 28 = 0. Let y = o - -2. Let w = 42 + y. Does 13 divide w?
False
Let d(r) = 3*r + 15. Suppose b = -7 + 119. Let v be ((-2)/(-4))/(8/b). Does 12 divide d(v)?
True
Suppose 84*b = 82*b + 586. Is 13 a factor of b?
False
Let y be (-2 + 1)/(3 - (-583)/(-194)). Suppose 0*s = 2*s - y. Is 16 a factor of s?
False
Let v(n) = 170*n + 1027. Is v(8) a multiple of 11?
True
Suppose 28 = 4*w - 12. Let i be 266/w + (-6)/10. Suppose 0*x + x - i = 0. Is 13 a factor of x?
True
Suppose 66*m = 51*m + 6660. Is 18 a factor of m?
False
Suppose 54*r = 57*r - 2793. Is 18 a factor of r?
False
Suppose i - 19 = 3*q - 58, 0 = -2*i. Does 13 divide q?
True
Suppose 6*t - 493 + 151 = 0. Is t a multiple of 25?
False
Let t = -1660 + 2350. Is t a multiple of 9?
False
Suppose 4*s - 3*c + 12 + 31 = 0, 0 = 3*s + 4*c + 26. Let z = 12 + s. Suppose -5*l + 68 = z*q, 45 = -l + 4*l - 3*q. Does 6 divide l?
False
Let d be ((-80)/(-12) + -4)*6/8. Suppose 3*a - 336 = -d*i, 3*i - 3*a = -284 + 758. Is i a multiple of 12?
False
Suppose -1 = -2*l + 7. Suppose l*h = 70 - 22. Suppose 8 + h = 2*q. Is 5 a factor of q?
True
Let g(z) = 7*z - 14. Let r be g(7). Let q = 77 - r. Does 21 divide q?
True
Let m be (-2 + 0)*377/(-26). Let c = m + 19. Let o = c - 20. Is 14 a factor of o?
True
Let v(j) = -j**2 - 14*j + 2. Let s be v(-12). Suppose -952 = s*y - 30*y. Is 14 a factor of y?
True
Suppose -1 = o - 4. Suppose u - 2*z - 15 = -3, -9 = -3*u - o*z. Let y = u + 8. Does 3 divide y?
False
Suppose 5*b - 83 = 42. Is 29 a factor of (-437)/(-5) - 10/b?
True
Suppose 2*u - 2*n = 4*u - 102, -3*u + 153 = 4*n. Suppose 3*f - g - u = 0, -2*f = f - 3*g - 57. Is f a multiple of 8?
True
Let c(z) = 13*z + 2. Let g be c(2). Let f(m) = -m**3 + 13*m**2 - 12*m + 6. Let l be f(12). Is 18 a factor of l/21 + 1196/g?
False
Let n(l) = -2*l**3 + 11*l**2 - 5*l + 2. Let k be n(5). Suppose -4*r - k*j + 538 = 0, -7*j + 3*j = r - 145. Is 42 a factor of r?
False
Let c(m) = m**3 - m. Let v be c(0). Let o = v - -2. Suppose o*q - 2 = 34. Is 18 a factor of q?
True
Suppose 10*n - 10 = 15*n. Is (-81)/n + -8 + 90/12 a multiple of 8?
True
Let x = 97 + 18. Is 18 a factor of x?
False
Let z(a) be the second derivative of 17*a**3/6 + a**2 + 5*a. Let c be z(3). Suppose -13 + c = 4*o. Does 3 divide o?
False
Suppose 0 = -4*v - 60 + 100. Suppose 3*p + v*k = 6*k + 512, -2*k = 3*p - 520. Is p a multiple of 26?
False
Let o = 3479 + -2763. Is 4 a factor of o?
True
Let l(h) = 6*h**2 - 15*h + 48. Let v(n) = -3*n**2 + 7*n - 24. Let r(z) = -6*l(z) - 13*v(z). Is 24 a factor of r(0)?
True
Let t(j) = -j**2 - 7*j. Let w be t(-7). Suppose w = -3*a + 8*a. Is ((-164)/8 - a)*-2 a multiple of 12?
False
Suppose 13 = f + 5*l + 2, f - 29 = l. Let c = 6 + f. Does 8 divide c?
True
Let s be (27 - (-2)/((-4)/6)) + 2. Is 7 a factor of (1738/26 - (-4)/s) + -3?
False
Let j(i) be the first derivative of 2*i**3/3 - 7*i**2/2 + 3*i - 1. Suppose -2*n = 2*k + 3*n + 11, 5*k - 15 = -4*n. Is 13 a factor of j(k)?
True
Let k(n) = -7*n - 8. Let x(z) = -29*z - 31. Let m(p) = 22*k(p) - 6*x(p). Is 22 a factor of m(5)?
True
Suppose -20*m + 17391 = 11*m. Does 33 divide m?
True
Let n(a) = 2*a**2 + 13*a - 3. Let l be n(-7). Suppose l = -8*y + 4*y. Is (-4 + 3 + y)*-18 a multiple of 18?
True
Let g be 18/(-4) + (-5)/10. Let l be 5 - 0 - (g - -6). Suppose l*b - 252 = b. Is b a multiple of 12?
True
Let z = 9 + -7. Suppose 5*i = x + 4*i - 73, -z*i + 286 = 4*x. Does 3 divide (x/(-42))/((-2)/7)?
True
Is 9 a factor of (-48263)/(-170) - 2/(-20)?
False
Let a be ((-6)/(-4))/((-2)/(-4)). Let x(l) = 3*l**2 - l - 5*l - 4 + a*l. Is 16 a factor of x(4)?
True
Let t(r) = -r**2 - 4*r. Let w(n) = -4*n**2 + n - 6. Let y(k) = 11*k**2 - 3*k + 17. Let v(i) = -8*w(i) - 3*y(i). Let l be v(0). Is t(l) a multiple of 2?
False
Let g(y) = -y**3 + 2*y**2 - y + 62. Let u(f) = -f**3 + 4*f**2 + f - 4. Let k be u(4). Suppose 0 = 5*o - k*o. Does 14 divide g(o)?
False
Let q(c) be the first derivative of c**5/120 + 4*c**3/3 - 1. Let g(r) be the third derivative of q(r). Is g(3) even?
False
Suppose -3*w - 2*m + 7 + 18 = 0, -5*m = 5*w - 35. Suppose w*v + 2080 = 21*v. Is v a multiple of 26?
True
Let k(p) = 3*p**2 + p - 2. Suppose -5*s - 4 = -4*n - 5, -n = s + 7. Does 21 divide k(n)?
True
Suppose 2*z + 865 = 1823. Is 10 a factor of z?
False
Is 10 a factor of -4 + (-21)/((-147)/(-78) + -2)?
False
Suppose 0 = a - 3, 0 = -5*d + 4*a + 563. Let t = 174 - d. Does 8 divide t?
False
Is 10 a factor of 177/4*(-60)/(-90)*60?
True
Let j = 5352 - 1663. Is 116 a factor of j?
False
Suppose 3 = 6*o - 5*o. Suppose -3*n - 2*t - 37 = -4*n, 3*n = -o*t + 93. Is 9 a factor of n?
False
Let t(n) = 25*n + 183. Does 7 divide t(2)?
False
Suppose 0 = -k - d + 80 + 158, 2*d - 1196 = -5*k. Does 15 divide k?
True
Supp