j be 0/(-2*1) - -9. Let p be (j/2)/((-3)/(-4)). Does 11 divide p/(-15) + (-396)/(-15)?
False
Suppose 3*j + 34 = 5*c, 0 = -j - j + 4. Suppose -3*v + v = -c. Does 15 divide (2/v)/((-1)/(-60))?
True
Let k = 27 - 24. Let b = 17 + k. Does 10 divide b?
True
Let h(n) = -2*n - 2. Let r be h(-6). Let q(f) = f**2 - 9*f - 5. Let t be q(r). Suppose 3*l - 4*i - 41 = -0*l, t*i = 5*l - 65. Does 11 divide l?
True
Let h(g) = -g**3 + 14*g**2 + 19*g + 31. Is h(15) a multiple of 13?
True
Is 6/4 - 15/(-2) a multiple of 5?
False
Suppose -5*u + 16 = 4*d - 12, -4*u = 4*d - 24. Does 4 divide u?
True
Does 2 divide 8 - (9/3 - 6)?
False
Suppose 0 = -5*l + 12*l - 840. Does 13 divide l?
False
Is (-20)/(-2) - (-1 + 3) a multiple of 2?
True
Let f = 346 - 241. Is 22 a factor of f?
False
Suppose 0*k + 10 = 2*k. Let v = k + -5. Suppose -5*b + 26 + 19 = v. Does 4 divide b?
False
Let w(r) = -2*r - 11. Let q be w(-8). Let d be 12/(-15)*q/2. Does 2 divide (-4 - (-3)/1)*d?
True
Suppose 5*q - 162 = -2. Is 32 a factor of q?
True
Is 30 a factor of 2/(6/(-9))*-20?
True
Let u(s) = 3*s - 3*s + 2*s - 4*s + 4. Does 12 divide u(-8)?
False
Let z = -9 + 2. Let v = 9 + z. Suppose -x + v*x - 41 = 0. Does 14 divide x?
False
Suppose 2*j = 2*l + 32, -4*l + 8*l = 3*j - 52. Suppose 6*n - 2*n - j = 0. Does 8 divide 46/n - 2/(-3)?
True
Let i = -256 - -419. Suppose 30 = a + 2*v, -33 = 4*a + 3*v - i. Does 17 divide a?
True
Let p = -46 + 32. Let x = -8 - p. Suppose j + 1 - x = 0. Is 5 a factor of j?
True
Is (-41*(-2)/6)/((-3)/(-9)) a multiple of 16?
False
Let x(c) = c**3 - 3*c**2 - 6*c + 7. Is x(6) a multiple of 14?
False
Suppose 0*q + 7 = 2*t - 5*q, -4*t - 1 = -5*q. Let l = -1077 - -756. Is 10 a factor of (-1)/t - l/12?
False
Suppose 0 = n - 0*n - 3. Suppose -n*d - 32 = 3*g - 110, -d = -g + 24. Is g a multiple of 14?
False
Let y(c) = c**3 - 10*c**2 + 14*c - 7. Let f be y(9). Suppose 4*z = 4*i - 3*i - 19, 0 = 5*i - z - f. Is i a multiple of 7?
True
Let z be (-15)/2*(-108)/(-45). Does 10 divide z/6 + 19/1?
False
Suppose 5*f - 3*u - 159 = 0, 0*f - 3*f = -3*u - 93. Let b = 92 - 46. Let w = b - f. Is 13 a factor of w?
True
Does 11 divide (267/(-6) + 1)/(2/(-4))?
False
Suppose 0 = 4*h + 5*x + 21 + 19, 0 = -4*h + 5*x. Let g(t) = -2*t - 5*t - 2 + 4*t. Is 13 a factor of g(h)?
True
Is 40 a factor of (-2*21/24)/((-3)/132)?
False
Let t be 134/(-3)*(-9)/6. Let r = t + -46. Does 7 divide r?
True
Suppose b + 26 = 5*j, -14 = 4*j - 6*j + 4*b. Suppose 0 = -4*a + j*a. Suppose -4*c - 8 = -f - 5*c, a = -5*f + 5*c. Is 3 a factor of f?
False
Suppose -3*h + 20 = -2*q, 32 = -6*q + 3*q + 5*h. Let c = q - -7. Is 3 a factor of c?
True
Suppose -4 = 4*f - 3*u, f - 6 = -0*f - u. Suppose 4*j - 103 = 3*s + 1, f*j - 52 = 2*s. Does 13 divide j?
True
Is ((-1150)/(-25))/(1/4) a multiple of 23?
True
Suppose 4*o = -3*c + 324, -3*o + 178 = -4*c - 40. Is 20 a factor of o?
False
Suppose 0*a = -3*q + 4*a + 4, 3*q + 4*a = 20. Suppose i + 44 = q*u, 4*u + 3*i - 2*i - 52 = 0. Does 12 divide u?
True
Let f = -27 + 27. Suppose 5*l - 26 + 6 = 0. Suppose -5*o + 3*y = -17 - 3, -o - l*y + 27 = f. Is o a multiple of 7?
True
Let n be 16/(-28)*(-14)/4. Let u(c) = 2*c**3 - 2. Does 7 divide u(n)?
True
Let j(q) = q**3 + 9*q**2 - 7*q - 19. Is 22 a factor of j(-9)?
True
Let q = -9 + 11. Suppose 0 = 4*c + y + 11, -q*c + 2 = -3*c - y. Let n = 8 - c. Is n a multiple of 10?
False
Suppose -2*c = 3*n - 69, 7*n - 4*n = -9. Is 6 a factor of c?
False
Let i = -67 - -121. Does 7 divide i?
False
Let l(a) = -2*a**3 - 5*a**2 - 4*a + 2. Does 11 divide l(-4)?
True
Let l be 44/10 + (-4)/10. Suppose -5*d = l*h - 126, -h = -3*d - 12 - 11. Is 15 a factor of h?
False
Let o(a) = -2 + 7*a - 6*a**2 + 0*a**3 - a + a**3. Let x be o(5). Suppose -5*m + 66 = 4*u - 2, -x*u - m + 51 = 0. Is 14 a factor of u?
False
Suppose 177 = 6*o - 3*o. Let f = o + -84. Is (-290)/f + (-2)/(-5) a multiple of 9?
False
Suppose 5 = g, 5*d - 64 + 24 = -4*g. Suppose 0 = d*t + 4*l - 308, -5*t + l + 34 + 357 = 0. Does 12 divide t?
False
Let u = 13 - 8. Suppose -5*p - 43 = -2*c, -u*p - 41 + 7 = -c. Does 8 divide c?
False
Suppose -7*g = -45 + 297. Let s = -20 - g. Is s a multiple of 13?
False
Is 4 a factor of (2/(-4))/((-2)/176)?
True
Let q = 1 - -1. Suppose -9 = -q*j + 1. Does 4 divide j?
False
Suppose 4*k + s - 18 = -3, -35 = -4*k + 3*s. Let u = k - -68. Suppose -5*l + u = 2*n, n = 5*n - 5*l - 191. Does 22 divide n?
True
Let h = -43 + 88. Is 7 a factor of h?
False
Let t = 6 + -4. Is (28/(-3))/(t/(-3)) a multiple of 7?
True
Let b be (-3 - (2 + 99)) + -1. Let n = -54 - b. Does 18 divide n?
False
Let x(z) = 7*z**2 + 2. Suppose -t = -1 - 1. Is x(t) a multiple of 10?
True
Let v = -1 - -1. Suppose -j + 3*j = v. Suppose j = -2*w + w + 11. Is w a multiple of 7?
False
Let f = -8 + 5. Let j(q) = 3*q**2 - 4*q + 1. Is j(f) a multiple of 10?
True
Let h = -43 + 123. Is 19 a factor of h?
False
Let x = 22 - 58. Let v = -24 - x. Is v a multiple of 6?
True
Let r(v) = -3*v - 2*v**2 + 2 + 6*v**2 + 0 - 3*v**2. Is 15 a factor of r(-4)?
True
Let r be (-1 + 0)*(1 + -1). Let p(h) = h**2 + 19. Is 17 a factor of p(r)?
False
Let o(x) = -10*x + 41. Let z(b) = -2*b + 8. Let h(m) = -2*o(m) + 11*z(m). Let j be h(7). Let d(p) = p**2 + 5*p + 8. Is d(j) a multiple of 16?
True
Suppose 2*o - 5*m = 71, 3*m - 2*m = 5*o - 212. Does 43 divide o?
True
Suppose -5*c = 4*i - 100, 4*c + 0*i + 4*i = 76. Suppose -u + 3*u + c = 0. Let k = 2 - u. Does 5 divide k?
False
Suppose 0 = -4*z + 4*g + 32, 5*g = 4*z - 41 + 13. Let p = -5 + z. Let i = 18 - p. Is i a multiple of 11?
True
Let l(r) = -r**2 - r - 1. Let u be l(3). Suppose 4*k - 3*t - 76 = 0, -3*k - 5*t = -75 + 18. Let m = u + k. Is 3 a factor of m?
True
Suppose -12*x - 112 = -8*x. Let l = x - -42. Does 11 divide l?
False
Let z(j) = -j**3 + 14*j**2 + j - 6. Is z(14) a multiple of 8?
True
Let w = -43 + 10. Does 7 divide 8/20 - w/5?
True
Let s = -66 + 83. Does 4 divide s?
False
Let p be 4/2*1/2. Let w(b) = -11*b**2. Let h(u) = 17*u**2. Let c(x) = -5*h(x) - 8*w(x). Is c(p) a multiple of 3?
True
Let l = -97 - -47. Let d = -6 - l. Let s = d + -6. Does 19 divide s?
True
Let k(z) = -2*z**3 + 3*z**2 + 3*z - 2. Is 7 a factor of k(-3)?
True
Suppose 24 = 3*i + 3*u, -3*u = -2*i - 0*i - 4. Let g = i + 3. Does 6 divide g?
False
Let y be 1036/8*2 - -1. Is (y/(-25))/(4/(-30)) a multiple of 26?
True
Let y(q) = q**3 - 8*q**2 + 7*q - 2. Let o be y(7). Let f be (2/6)/(o/(-30)). Suppose 0 = -f*r - 0*b - 3*b + 36, -4*b = r + 3. Does 7 divide r?
False
Let a = -15 - -39. Does 14 divide a?
False
Let u(c) = 3*c**2 - 3*c. Is 2 a factor of u(2)?
True
Suppose -76 = 5*n + a - 672, 4*a = -5*n + 599. Is n a multiple of 32?
False
Let g be (6/(-4))/((-12)/(-32)). Does 20 divide 25*((-4)/5 - g)?
True
Suppose 4*g + 2 = r, 4*r + 3 = -3*g + 11. Suppose 3*u - r*q - 9 = q, -12 = -2*u + 5*q. Suppose 0 = -3*y + 3*o + 12, -y + 2*o + 1 + u = 0. Is y a multiple of 6?
True
Let o(y) = y**2 + 4. Let q be o(5). Suppose -3*l = 5*t - 68, 0 = 4*l - t - q - 77. Is l a multiple of 13?
True
Suppose 4*h - 5*h = -t - 8, h + 4 = -3*t. Let d be (-12)/(0 - 2 - -1). Let b = t + d. Is b a multiple of 9?
True
Let f be 2/(-4) - (-2)/4. Suppose f = 3*q - q - 20. Is q a multiple of 5?
True
Let k = -6 + 7. Suppose 5*s - 3 + k = -4*j, -2*s - 1 = j. Suppose -2*m - 2*d = m - 43, -d = -j*m + 46. Is 5 a factor of m?
True
Let g(z) be the second derivative of 5/2*z**2 + 0 - 2*z - 1/2*z**3. Is g(-9) a multiple of 12?
False
Let m(f) = f**3 - 4*f**2 + 14*f - 22. Is 6 a factor of m(7)?
False
Let q(y) = y**3 - 4*y**2 - y - 1. Is q(6) a multiple of 30?
False
Let w = -290 - -444. Is w a multiple of 21?
False
Let d = -11 + 38. Is 6 a factor of d?
False
Suppose 75 = 5*l - 0*l. Is l a multiple of 3?
True
Suppose -2*s = 5*u + 30, 5*s = -4*u - u - 30. Is 9 a factor of 3/(u/(-34)) - -1?
True
Suppose -11*w - 2*w = -1079. Does 25 divide w?
False
Let z be (-175)/(-63) - 2/(-9). Does 13 divide 1*z + 98/2?
True
Let s(t) = 3*t**2 + 7*t - 9. Does 29 divide s(-7)?
False
Suppose -5*z + 14 + 11 = 0. Let c = 9 - z. Is c a multiple of 3?
False
Does 3 divide 0/(-4) - 4*-4?
False
Suppose -2*b - 12 = -5*b. Is (-2)/8 + 165/b a multiple of 22?
False
Suppose 10*x = 4*x + 156. Is 13 a factor of x?
True
Suppose -4*i = i + 4*t - 12, 4*i - 3*t - 22 = 0. Is 3 a factor of i?
False
Is 14 a factor of 658/8 - 1/4?
False
L