 u*m = -m + 76. Does 16 divide c?
True
Does 38 divide 2736/(-54)*(-3)/2?
True
Suppose -6*o + 606 + 300 = 0. Let g = o + -125. Does 14 divide g?
False
Let a(f) = -2*f**2 + 30*f - 10. Let s be a(-15). Is 5 a factor of 1/3 + s/(-15) - -4?
True
Does 21 divide (-486)/(-12) - 3/(-2)?
True
Let v be ((-3)/4*6)/((-6)/8). Suppose 7*a + v*a - 3887 = 0. Does 23 divide a?
True
Let b be 16/5 + 3/(-15). Suppose 2*u + 25 = b*m, -6 = -2*u - 16. Suppose x + r - 9 = 0, -m*x + 52 = 3*r + 5. Is x a multiple of 4?
False
Let v be (-3)/(-1)*1 - -1. Suppose v*g - 596 = -2*q, 3*q + 584 = 4*g - q. Does 30 divide g?
False
Suppose 4*z + 392 = -33*d + 34*d, 3*d - z - 1154 = 0. Is 96 a factor of d?
True
Let l(t) = t**2 + 7*t - 15. Let m be l(-15). Let a = m - 20. Let x = -56 + a. Is 13 a factor of x?
False
Let i(l) = -53*l - 88. Does 2 divide i(-3)?
False
Let y(s) = 89*s**2 - 11*s - 4. Is 8 a factor of y(2)?
False
Let u = 12 + 816. Does 32 divide u?
False
Let b be -1 + 2/1 + 34. Let g(z) = 2*z**3 - z**2 - 2*z - 9. Let i be g(3). Let f = b + i. Is 18 a factor of f?
False
Suppose 0 = -b + 4*j + 122, 2*j = -31*b + 35*b - 432. Is 53 a factor of b?
True
Let j(u) = 5*u - 37. Let i(b) = -b + 9. Let f(l) = 18*i(l) + 4*j(l). Is f(0) a multiple of 3?
False
Let l(u) = -57*u**3 + 4*u**2 - 3*u - 3. Does 19 divide l(-2)?
True
Suppose f - 2 + 7 = 3*d, -4*d - 2*f = 0. Is 40 a factor of (-3354)/(-12) - d/(-2)?
True
Suppose -4*h + 161 = -u - 0*u, 0 = 3*h + 5*u - 138. Suppose 0 = -3*y + 10 + h. Is 17 a factor of y?
True
Let t(u) = -3*u**3 - 3*u**2 - 2. Let h be t(-3). Suppose z = 3*s - 0*z - h, 4*z = 4*s - 56. Is s a multiple of 19?
True
Suppose 5*n - 2*n = v + 18, v + 4*n = 17. Does 11 divide (v + (-10)/(-3))/(3/99)?
True
Suppose 4*c = 3*c, -l + 2*c + 252 = 0. Does 39 divide l?
False
Suppose -4*v + 2*m + 820 + 346 = 0, -3*v = 5*m - 868. Is 22 a factor of v?
False
Suppose -51 = -2*w + 21. Does 18 divide w?
True
Let k = 23 + -65. Let w = k - -112. Is w a multiple of 10?
True
Let h = -7 - -10. Suppose -h*w + 2*a - 20 = 0, w - 6*w = -a + 31. Does 9 divide (138/(-15))/(w/15)?
False
Suppose 5*y + 1147 - 3592 = 0. Is y a multiple of 15?
False
Suppose 0 = 3*c - 6 - 0. Suppose 3*x - 17 = c*x. Let u = x + -10. Does 3 divide u?
False
Suppose j = -j + 5*b + 18, -3*b = 3*j - 48. Let z = 7 + j. Suppose -13*v + z = -12*v. Is 6 a factor of v?
False
Is ((-2271)/15)/((-19)/95) a multiple of 27?
False
Suppose 3*o - 2*z - 4369 = 2522, 2*z = o - 2293. Is o a multiple of 11?
True
Suppose 0*m - m - 3*k + 40 = 0, -3*m + k + 80 = 0. Does 3 divide m?
False
Suppose -690*k + 444 = -684*k. Does 8 divide k?
False
Suppose -5*m - 18 + 92 = -f, 0 = -5*f + 4*m - 349. Let b = f - -127. Is b a multiple of 10?
False
Let y(w) = w**2 - 2*w + 1. Let s(m) = m - 16. Let b be s(5). Does 24 divide y(b)?
True
Let g(s) = -s**3 - 6*s**2 + 4. Let z be g(-6). Suppose -z*u + 292 = -2*u. Is 19 a factor of 3/2 - u/(-4)?
True
Suppose -2*p - 107 = -257. Suppose -3*h = h + 4*c - 276, h - c - p = 0. Does 17 divide (-3 - (1 + 0)) + h?
True
Let s(n) = -n**2 + 10*n + 1. Let q be -9 - (-3)/(-3) - -1. Let u be 8 - q*1/(-3). Is 8 a factor of s(u)?
False
Suppose -4*g = 5*s - 165, 0*s - 112 = -3*s - 5*g. Let a = s + 22. Is a a multiple of 17?
True
Let k(l) = l**3 - 2*l**2 - 2*l + 504. Is 21 a factor of k(0)?
True
Let b(v) = 14*v**3 - 5*v**2 + 7*v + 2. Is b(2) a multiple of 18?
True
Suppose -23 = 4*x + 3*v, -4 - 7 = 3*x + v. Is 5 a factor of 9 - (x/4)/(2/4)?
True
Let a be (-7)/(-56) - 735/(-8). Suppose a = -2*z + v - 179, 0 = -3*z + 2*v - 407. Is (6/9)/((-5)/z) a multiple of 9?
True
Let k(l) = -l + 2. Let o be (0/(-3))/(-1 - 0). Suppose 4*y = 5*g + 4, 3*y = -o*g + 2*g + 3. Is k(g) even?
True
Let t(p) = -201*p - 1. Let a be t(-1). Suppose -2*j + 70 = -4*y, 4*j = -0*j - 4*y + a. Is 15 a factor of j?
True
Is 23 a factor of 667 + -3 + -5 - 1?
False
Let z(a) = a**3 + 16*a**2 - 21*a - 44. Is 3 a factor of z(-17)?
True
Let x = -21 + 23. Does 18 divide x*-1 + 28 + -8?
True
Let n(m) = m**3 - m**2 + m + 1. Let d(j) = -j**3 + 14*j**2 + j - 12. Let r(h) = -d(h) - 2*n(h). Is 12 a factor of r(-12)?
False
Let v be (-2)/7 - 705/105. Is 18 a factor of (-2 + (-20)/v)*(-2 + 23)?
True
Let x = -238 - -802. Does 10 divide x?
False
Let l = -3 - -8. Let s(w) = 2*w + 8. Let n be s(-4). Suppose n = -a + l*a - 228. Is 12 a factor of a?
False
Suppose -3*h = -1 - 8. Suppose 116 = h*z + 38. Is 10 a factor of z/(7/((-28)/(-8)))?
False
Let v(q) = q**3 + 8*q**2 - 11*q + 57. Is v(8) a multiple of 14?
False
Suppose 6*i = 3*i + 6. Does 7 divide 87/3 + (4 - i)?
False
Suppose -p = f - 13, -f + 3*f + 4*p = 34. Suppose a = f - 3. Is 29 a factor of a/4*(-564)/(-9)?
False
Let f(z) = z**3 - 8*z**2 + 7*z + 7. Let a be f(7). Suppose -3*l - 3*u - a = -1, 2*l = -u + 1. Does 3 divide l?
True
Suppose -2*g - 2*g = -260. Suppose 0 = -5*u + 6*u - g. Does 13 divide u?
True
Does 14 divide -210*(-5 - -5 - 1)?
True
Is 18 a factor of -1 + 1 + 7254/(-10 - -23)?
True
Suppose c - 8 = -6. Suppose c*f - 4*g - 122 = -2*g, -5*g - 45 = -f. Is 24 a factor of f?
False
Let d be (16/10)/((-6)/(-165)). Suppose -2*n = 2*n - d. Does 2 divide n?
False
Suppose 9 = a + 2*a. Suppose 17 = 3*q - 4*b, -3*q + a*b + 23 = 2. Does 11 divide q?
True
Suppose 5*w = -5*m - 20, -m - 2 = -2*w - 1. Is m - (-2 + (-2 - 1)) - -160 a multiple of 27?
True
Suppose -9*s + 11*s = 252. Let f = 192 - s. Is f a multiple of 24?
False
Let u(s) = s + 31. Suppose i + 7*i = 0. Does 4 divide u(i)?
False
Suppose -4*s + 12 + 44 = 0. Suppose -3*n + 10 = -s. Suppose 0 = -4*j + n - 0. Is j a multiple of 2?
True
Suppose 0 = -l + 15 - 19. Does 2 divide 0/(l + 6) - -9?
False
Suppose -2*v - 48 = -b - 3*b, 0 = b - 3*v - 22. Suppose 0 = -25*y + b*y + 2325. Does 31 divide y?
True
Let j(u) = 2*u**3 - 4 - u - u**3 - 5*u**2 + 6*u**2. Let h be j(0). Let d = 26 + h. Is 11 a factor of d?
True
Suppose -h + 3*h + r = 12, h - 2*r - 1 = 0. Suppose -y + 2 = 0, h*j + 4*y + y = -5. Is (j/1)/((-1)/23) a multiple of 19?
False
Let z(k) = 4*k + 3. Let t(h) = 9*h + 5. Let f(p) = -3*t(p) + 7*z(p). Let o be f(-6). Is 8 a factor of (64/(-2))/(-2) - o?
True
Let j be -3 + -1 + 2 + 2. Let u = -8 + 56. Suppose 0 = -j*p - 3*p + u. Does 13 divide p?
False
Let p(h) = -h. Let r be p(-6). Suppose 5*f - 31 + r = 0, -4*f = 3*s - 38. Is 3 a factor of s?
True
Suppose -3*f + 0*f = -9. Let y(h) = -2*h**2 + h**3 - 3 + 5*h + 6 + 0 - 2*h**f. Is 15 a factor of y(-4)?
True
Let h be 5/(5/(-2))*-1. Let l(s) = 11*s + s - 2*s + 10 - s - s**h. Is l(8) a multiple of 18?
True
Let f be (8/3)/(19/912). Suppose 0 = r + r - f. Is r a multiple of 32?
True
Does 22 divide 627*(360/27)/10?
True
Let j(v) = 10*v + 39. Is j(3) a multiple of 26?
False
Suppose -4*k - 2*p = -0*p - 10742, 4*p = 4*k - 10712. Is k a multiple of 11?
False
Let j be ((-6)/15 + 216/(-10))/2. Let a(t) = -11*t + 34. Is a(j) a multiple of 31?
True
Suppose -2*r - 5*q + 2820 = r, 0 = 5*r + q - 4700. Does 10 divide r?
True
Let j be (23 - 1)*(-1)/(-2). Let z = -1 + j. Let p(w) = -w**2 + 11*w - 5. Is p(z) a multiple of 2?
False
Let i = -2 + -13. Let d = -12 - i. Is 7 a factor of ((-5)/(-1) - d) + 28?
False
Does 4 divide (-16)/(-104) - 5326/(-26)?
False
Let l(u) = 6 + 0*u**2 - 3*u + 2*u - 4 + 4*u**2. Let c = 28 - 26. Is l(c) a multiple of 7?
False
Suppose c = 2*c - 466. Is c a multiple of 47?
False
Suppose -92872 = -168*v + 149*v. Is v a multiple of 94?
True
Suppose 8*n - 292 - 8652 = 0. Is n a multiple of 13?
True
Suppose 4*m + 21 = 41. Suppose 0 = 2*s - m*s + 171. Suppose -f + 16 = -4*t - s, 2*t - 365 = -5*f. Is f a multiple of 23?
False
Suppose -3*a + 0*q = 4*q - 39, -36 = -3*a - 3*q. Let w = 3 - a. Does 24 divide 324/30*(-40)/w?
True
Let h(s) = -s**2 + s - 128. Let w(i) = i**3 - 3*i**2 + 2*i. Let r be w(2). Let l be h(r). Is 3/(-21) - l/14 a multiple of 7?
False
Suppose y - 3 + 0 = 0. Let n(v) = -y - 4 + 3*v - 3*v**2 - 4*v**3 + 10. Does 25 divide n(-3)?
True
Let c be (3/(-9))/((-8)/144). Suppose -10 = -g + 4*k + k, -5*g + 3*k = -28. Does 18 divide -6*c/(-9)*g?
False
Suppose 13*h - 20*h + 280 = 0. Suppose 7*x + 40 = 4*g + 3*x, 4*g = -5*x + h. Is 3 a factor of g?
False
Let i = 10 - 18. Let t be i/2*4/8. Let a = 16 + t. Is 5 a factor of a?
False
Let k be ((-9144)/180)/(2/(-5)). Let o = k - 77. Is o a multiple of 10?
True
Let f(k) = 20 + 13 - 14 - 9*k**2 + 23*