49680 = -30*r. Is r a multiple of 30?
False
Suppose 1009*k - 5744 = 1005*k. Is 9 a factor of k?
False
Let f be (-2)/(10/25 - 0). Let i(m) = 2*m**2 + 5*m + 17. Let j be i(f). Suppose j - 7 = r. Is 7 a factor of r?
True
Suppose -3*l = -3*b + 843, -1448 = -4*b - 2*l - 330. Is 10 a factor of b?
True
Suppose 4*k + k - 1534 = -2*j, -5*k - 4*j + 1538 = 0. Is k a multiple of 32?
False
Suppose -f - 4*j = 12, 4*f - j = 6*f + 38. Is 4 a factor of (90/(-25))/(1 + 22/f)?
True
Let f(o) = -4*o**3 - 16*o**2 - o - 9. Let y(s) = s**3 + s**2 + s - 1. Let g(c) = -f(c) - 3*y(c). Does 10 divide g(-13)?
False
Let d(l) = -l**2 - l + 5. Let p be d(0). Suppose -u + 3*y = -3*u - 1, 5*u - 35 = p*y. Suppose o = -4*n + 28, 4*o + 5 + 3 = u*n. Is 2 a factor of n?
True
Let n = -3821 + 5837. Is 28 a factor of n?
True
Suppose -11*x + 2354 = -0*x. Is 107 a factor of x?
True
Suppose -17*k + 1368 = 2*k. Is k a multiple of 36?
True
Let a = -26 + 132. Is a a multiple of 6?
False
Suppose -22*v = -19*v + 5*z - 97, 4*z = -v + 44. Does 8 divide v?
True
Suppose 35*b - 40*b = -1140. Is b a multiple of 21?
False
Is 13 a factor of (-4089)/(-45) + (22/15)/11?
True
Let u(f) = -f**3 + 6*f**2 - 3*f - 5. Let o be u(5). Suppose -r + o*r = 36. Let a(c) = c**3 - 9*c**2 - c + 11. Does 2 divide a(r)?
True
Let m(a) = -2*a**2 - 3*a + 10 - 8*a + 4*a + 6*a**2. Let u be m(-7). Suppose 8*q - u = 3*q. Is q a multiple of 18?
False
Suppose 51*b + 5*k = 46*b + 650, 2*k - 526 = -4*b. Does 19 divide b?
True
Let d(z) = z**3 + 16*z**2 - z - 8. Let h be d(-16). Let s(i) = i + 6. Is 14 a factor of s(h)?
True
Suppose -5*j = 3*k - 26 - 99, -j + 12 = -2*k. Suppose -j = 10*c - 12*c. Suppose 12*g = c*g + 32. Does 6 divide g?
False
Let y(w) = -w + 131. Does 8 divide y(24)?
False
Suppose -18*n + 20510 + 16264 = 0. Is n a multiple of 33?
False
Suppose -25*c - 1560 = -26*c. Is c a multiple of 104?
True
Is 68 a factor of 5 - 0 - (-131)/1?
True
Let b = 45 - 21. Let c = b + 88. Is c a multiple of 28?
True
Let m(c) = -c**3 + 6*c**2 - 2*c. Let s be m(3). Let h be (-28)/7 + -4*s. Let x = -31 - h. Does 19 divide x?
True
Let r(u) = -u + 1. Let b = 19 - 3. Suppose -2*v = h + 15, 0 = -3*h + 2*v + 3 - b. Does 8 divide r(h)?
True
Is 36/6*(-105)/(-10) even?
False
Suppose 2*w = 4*b + 2, -b + 3 = 1. Suppose 700 = 3*i - x, 3*i + w*x + 915 = 7*i. Is i a multiple of 13?
False
Suppose -2*n = 3*n - 765. Is 17 a factor of n?
True
Suppose 2*x - 132 = 108. Is 40 a factor of x?
True
Let b be (10 + -5 + -16)/(-1). Let w(r) = 3*r**2 + 16*r - 17. Let z(d) = -2*d**2 - 8*d + 9. Let f(u) = -3*w(u) - 5*z(u). Is f(b) a multiple of 13?
True
Suppose 19*n - 35 - 22 = 0. Suppose 2*u = -2*u - 4. Is 16 a factor of (n - (u + 1)) + 37?
False
Let v(h) = h**2 + h + 2. Let o(n) = -13*n**3 + 2*n + 1. Let l be o(-1). Let c be (-46)/8 - 3/l. Is 16 a factor of v(c)?
True
Let y(c) = 2*c**2 - 5*c + 4. Suppose 3*t - 5*i = -4*i + 7, 2*i = 3*t - 8. Let b be y(t). Is (37/2)/(1/b) a multiple of 11?
False
Let x(y) = -y**3 + 4*y**2 + 3*y + 4. Let h be x(5). Let g = h + 16. Is g a multiple of 3?
False
Let o(c) = c**2 - 21*c - 424. Is 2 a factor of o(39)?
True
Let f(c) = -c**3 + 2*c**3 + 4*c**3 - c - 6*c**3 + 3 + 6*c**2. Is 8 a factor of f(5)?
False
Let a be 4*(5 + -1)*-7. Let o = 157 + a. Suppose -k + 5 = -2*b + 10, -4*k = 5*b - o. Does 3 divide b?
False
Let v(z) = -z**3 + 6*z**2 - 3*z - 3. Let b be v(5). Suppose -b*d = -6*d - 28. Does 4 divide d?
True
Let m be -2 - 4/(-6) - 28/(-3). Suppose -m*j = -5*j - 60. Does 5 divide j?
True
Is 28 a factor of -144*-3*((-156)/(-54) + -2)?
False
Does 24 divide 6897/165 + 2/10?
False
Let v(z) = z. Let a(b) = 2*b**2 + 20*b + 27. Let c(t) = a(t) - 4*v(t). Is 16 a factor of c(-12)?
False
Let s(g) be the second derivative of 11*g**3/3 + g**2 + 2*g. Let f be s(-2). Does 3 divide f/8*(-24)/9?
False
Suppose -3*z + 10 - 4 = 0. Suppose 0 = -4*p + 5*i - 1 - 1, 10 = z*p + 3*i. Is (5 + 1)*(5 - p) a multiple of 5?
False
Suppose -r - 8*t + 4143 = -9*t, -2 = -2*t. Does 37 divide r?
True
Suppose 4*f = 3*f + 1. Let d be -1*(f - -8)*-3. Let o = 41 - d. Does 5 divide o?
False
Suppose 0 = -3*o + 2*o + 24. Suppose -2*w = 2*b - 7*b + o, -3*w = -3*b + 18. Is 6 + b + (-6)/2 a multiple of 2?
False
Let q = 74 + 97. Suppose -2*z + q = 3*o, -3*z - o = -364 + 97. Is z a multiple of 23?
False
Let y = -7 - -11. Suppose -y*l = -8*l + 40. Does 10 divide l?
True
Let d(m) = -240*m + 5. Is 15 a factor of d(-3)?
False
Suppose 3*m + c - 2 = 0, -m = -6*m - 5*c + 10. Suppose 5*w - 5*x + 3 + 2 = 0, -5*x + 25 = m. Suppose -5 + 3 = 2*h, -5*r + w*h = -39. Is r a multiple of 3?
False
Let z(m) = m**3 - 10*m**2 + 4*m - 1. Suppose 4*p - 3*p = 9. Suppose p = s - 1. Is z(s) a multiple of 13?
True
Let r(t) = -t**3 - 6*t**2 - 4*t + 10. Let u be r(-5). Suppose -4*l - u*a = -256, 4*a + 248 = 5*l - 72. Is l a multiple of 32?
True
Suppose 5*u + 2*j = 5*j + 5635, 0 = -4*u - 5*j + 4508. Does 19 divide u?
False
Let u = 67 - -32. Let z be (21/3)/(1/(-9)). Let s = u + z. Is s a multiple of 9?
True
Let g(z) = -10*z - 199. Let w(t) = t. Let v(k) = -g(k) - 4*w(k). Is 11 a factor of v(0)?
False
Suppose -67 = -4*l + 133. Suppose -l - 100 = 5*u. Let i = -7 - u. Is 5 a factor of i?
False
Is 29 a factor of 6/(-2) + (474 - -2)/4?
True
Let a = -36 + 38. Suppose -v - f = -74, 4*f - 115 = -a*v + 33. Does 16 divide v?
False
Suppose -2*n = -n. Suppose -2*i - i + 96 = n. Is i a multiple of 7?
False
Suppose x - 764 = -z, z - 5*x - 704 = 30. Does 23 divide z?
True
Let k = -20 + 16. Let p(u) = -2*u**3 + 5*u**2 + 11*u + 3. Is 43 a factor of p(k)?
False
Let x be -36*(0 - 2/4). Let y(h) = h - h - h + x. Is y(12) even?
True
Suppose -4*q + 3654 = 1306. Is 57 a factor of q?
False
Let q = -87 + 159. Is 35 a factor of q + -1 - (-1)/(1 + -2)?
True
Let x(o) = 10*o - 18. Let f(u) = -1. Let b(d) = -6*f(d) + x(d). Let z be b(16). Suppose -7*a + z = -5*a. Is a a multiple of 17?
False
Suppose -3*m - 33 = 3*r, r + 3*r = -16. Let w be 5 + m + 0 + 0. Let f(y) = 5*y**2 - 2*y - 2. Is 11 a factor of f(w)?
True
Suppose -2*t - l = -1324, 7*l - 11*l + 2656 = 4*t. Does 44 divide t?
True
Let h(v) = -120*v + 407. Is 11 a factor of h(-28)?
False
Does 49 divide 99 + (-1)/(5 + (-16)/4)?
True
Let i(b) = 73*b - 146. Is 18 a factor of i(12)?
False
Suppose 0 = 2*i - 4, 3*l - 6*l - 2*i = -64. Suppose l = -4*p, 2*v + 15 = 3*p - 8*p. Is v even?
False
Let m(d) = d**3 - 2*d**2 + d - 1. Let u be m(-2). Let p = -12 - u. Suppose 0*k = p*k - 112. Is 16 a factor of k?
True
Let c be 56/(-28) - 4/(-2). Does 9 divide (c + 8 + -2)*3?
True
Let c(t) = -58*t - 228. Does 6 divide c(-6)?
True
Suppose 4*z = 11*i - 16*i + 164, -91 = -3*i + 5*z. Is i a multiple of 3?
False
Suppose 0 = 2*q + 2*q + 5*g + 127, -44 = 2*q - 4*g. Let z be 2/(-3) + q/21. Let w(x) = 8*x**2 + x - 2. Does 10 divide w(z)?
False
Let r = -51 + 270. Suppose 3*a = -27 + r. Is a a multiple of 34?
False
Let p(k) = 4*k**2 + 2*k + 10. Suppose -14 - 4 = 6*y. Is p(y) a multiple of 8?
True
Let o be (-4128)/(-44) - 2/(-11). Suppose 2*f - 3*s - o = 0, 9*f - 188 = 5*f + 4*s. Does 6 divide f?
False
Suppose 8*x - 24 = 4*x. Let f(y) = y**2 - 6*y - 15. Let c be f(x). Let h = 56 + c. Is 23 a factor of h?
False
Let q(w) = -21*w + 10. Let o(k) = -43*k + 19. Let z(t) = -4*o(t) + 7*q(t). Let y be z(2). Suppose -2*u = 2*r - 6*u - y, -2*r + 29 = -u. Is r a multiple of 3?
True
Suppose -4*g - 870 = 2*g. Is 12 a factor of 1*g/(-10)*2?
False
Let a = 2031 - -3006. Does 27 divide a?
False
Suppose -2*f = -6 + 2. Suppose -24 = -f*w + 5*y, 0*w - 3*w + 3*y = -18. Suppose 2*p - 22 = -w*a, 4*a - 28 = 3*p - 6*p. Does 8 divide p?
True
Let f = 7 - 5. Let k(v) = 2*v - 1 + 5*v + 7*v**f - 5*v. Is k(-2) a multiple of 7?
False
Suppose -3 = k - 50. Let l = k + -11. Is 4 a factor of l?
True
Let d = 4350 + -2742. Does 24 divide d?
True
Suppose 1 + 17 = -6*y. Let a be -2 + 3 - (0 - 116). Is 32 a factor of a - -8*y/(-6)?
False
Let s(j) be the second derivative of j**4/12 + 2*j**3/3 - 9*j**2/2 - 6*j. Let y be s(-7). Let d = 8 + y. Is 10 a factor of d?
True
Let o = 18 - -53. Let g = o - 56. Is 7 a factor of g?
False
Let i = 320 + 196. Suppose 6*u - 2*u - i = 0. Does 43 divide u?
True
Suppose -10*u + 13*u - 294 = 0. Is 14 a factor of u?
True
Let j = 9 - 5. Suppose n - 3*d = 0, -9 = -2*n + d + 6. Does 39 divide (3/n)/(j/744)?
False
Let z(q) = -20 - 6*q