 Suppose -4*p + 4*w - 4 = 0, 35 = -3*p - f*w - 3*w. Let j = 20 - p. Does 12 divide j?
False
Let p(o) = -163*o - 52. Does 4 divide p(-1)?
False
Let p(b) = -2*b**3 + 8*b**2 + 3*b + 9. Does 7 divide p(-7)?
False
Suppose -4*a + 228 = -0*a. Is a - 5*(-6)/(-10) a multiple of 18?
True
Let q be (2/5)/((-3)/(-3015)). Let v = q - 277. Is v a multiple of 17?
False
Suppose 5*h - h = -4*k + 44, -2*k - 5 = -h. Does 41 divide 2/h - (-5 - 2858/18)?
True
Suppose 3*b + 16 = 22, 8844 = 5*n + 2*b. Does 78 divide n?
False
Let p(l) = -2260*l + 112. Is 98 a factor of p(-1)?
False
Is (245/(-25))/((-4)/60) a multiple of 3?
True
Let v = 1117 + 1303. Is v a multiple of 44?
True
Let r = -871 + 1257. Is 35 a factor of r?
False
Let t be 488/(-40) + 2/10. Is 12 a factor of (5/(-20) + 34/(-4))*t?
False
Suppose -4*y - 1194 + 5702 = 0. Does 57 divide y?
False
Let b(i) = -135*i + 18. Is 62 a factor of b(-4)?
True
Suppose -p + 8 = 102. Is (0 + p/(-3))*(-3)/(-2) even?
False
Let m = -192 - -297. Does 36 divide m?
False
Let c(j) be the first derivative of 45*j**2/2 - j - 2. Does 12 divide c(3)?
False
Suppose -3*v = -5*g + 135, -3*g + 3*v - 105 = -6*g. Suppose -819 = -g*i + 27*i. Does 14 divide i?
False
Let m(n) = -6*n + 0*n**2 + 4 + 14*n**2 + 1 + 3*n**2. Is 10 a factor of m(1)?
False
Let p = 11 - 1. Let g = -10 + p. Suppose 5*r + 39 = 2*q - g*r, -4*q - 2*r = -114. Does 7 divide q?
False
Suppose 3*m - 46 - 548 = 0. Is 22 a factor of m?
True
Let f(i) = i**3 + 10*i**2 - 8*i - 18. Let r be f(-9). Suppose r = 3*b + 2*b. Does 25 divide b?
False
Let p(n) be the second derivative of 5*n**4/6 - n**3/2 + 18*n. Does 26 divide p(2)?
False
Suppose -3*u = -3*z + u + 76, -5*u - 130 = -5*z. Suppose -5*h + 14 + 32 = -3*t, -z = -2*h - 2*t. Does 8 divide h?
False
Let m = 1468 - 863. Is 32 a factor of m?
False
Let h be (8/(-6))/((-10)/15). Suppose f - 156 = -h*f. Is f a multiple of 12?
False
Does 5 divide -1*2031/(-12) + 21/28?
True
Let x(p) = 6*p**2 + 29*p - 31. Let k(g) = g**2 + 6*g - 6. Let j(a) = -11*k(a) + 2*x(a). Let d be j(5). Let b = 14 + d. Does 3 divide b?
True
Let c = -102 - -105. Suppose 6*p - c*p = 3*z + 153, -3*p + 149 = -4*z. Is 12 a factor of p?
False
Let p(d) = -3 - 11*d + 9*d**3 + 0 + 11*d + 4*d. Is 11 a factor of p(2)?
True
Suppose 0*u - 18 = 6*u. Is u + (0 + 3)/(1/5) a multiple of 11?
False
Let w = -6 - -6. Suppose 6*p = 2*p + 168. Suppose w = -5*g - g + p. Does 7 divide g?
True
Suppose -2*o = 2*x - 1288, 4*o = -11*x + 13*x + 2552. Is 20 a factor of o?
True
Let j(h) = 2*h**2 - 6*h - 9. Let o(k) = -4*k**2 - 3*k. Let z be o(-2). Let v be (28/z)/((-4)/10). Is 13 a factor of j(v)?
False
Suppose 38*s = 35*s + 5391. Is s a multiple of 18?
False
Let n be 1338/4*4/6. Let i = n - 71. Is 10 a factor of i?
False
Suppose -7*s = -569 - 15286. Does 42 divide 4/(36/s) + (-4)/(-12)?
True
Suppose 0 = -5*p + l + 97, 0*p + 30 = 2*p + 4*l. Suppose -p = 4*g - 3. Does 2 divide 14/4 - 2/g?
True
Suppose -y = -3*z + 9, 0*z - 4*y = -3*z. Suppose 0 = -z*c, -5*p + c - 15 + 5 = 0. Let w = p - -7. Does 5 divide w?
True
Let d(r) = 7*r - 18. Let g be d(12). Let h be 3 - g/4*-4. Let o = -43 + h. Is o a multiple of 8?
False
Let a = 605 - 281. Suppose 3*b - 6*b = -a. Does 27 divide b?
True
Let m = -15 + 24. Suppose -3*w + 17 = -h, 3*h + 40 = 4*w + m. Suppose 6*y - 27 = w*y + k, 0 = y - k - 12. Is 8 a factor of y?
False
Let j = 741 + 248. Does 65 divide j?
False
Let s(k) = -k + 34. Suppose i = 3*i - 2. Let j = -1 + i. Does 17 divide s(j)?
True
Let w be 1/8 - (-30495)/(-120). Let k = -128 - w. Does 21 divide k?
True
Let v(g) = -10*g + 1. Let h be 8/(-28) - (-16)/7. Suppose -s + 3 = -h*s. Is 17 a factor of v(s)?
False
Suppose -4 = -6*k + 8*k. Let w be 5/k*4/(-5). Suppose -65 - 15 = -w*u. Is u a multiple of 16?
False
Let q(l) = -l**3 - 11*l**2 + 5*l. Let g(f) = -f**2 + 4*f + 9. Let t be g(7). Is q(t) a multiple of 28?
True
Let d(v) = v**3 + 15*v**2 - 16*v + 8. Suppose -4*y - k + 84 = -6*k, y - 28 = 3*k. Suppose -2*t = -t + y. Does 8 divide d(t)?
True
Let x be 2/(-9) + (-8608)/144. Let h = 116 + x. Suppose -h = v - 3*v. Is v a multiple of 7?
True
Let a(r) = -r**3 - r**2 - r + 4. Suppose -2*g - 4 = -0, -g + 2 = -k. Does 14 divide a(k)?
True
Let r be ((-3)/12)/(1/(-1604)). Suppose 4*w = 2*h + 3*h - r, 0 = 3*h + w - 244. Is h a multiple of 22?
False
Let p = -94 + 193. Is 6 a factor of p?
False
Suppose 5*j = 5*s + 1170, -5*s + 2*s = -2*j + 468. Is j a multiple of 13?
True
Let q = 2110 + -1655. Is q a multiple of 4?
False
Let j be (-1)/(4/136*-2). Suppose -5*c + 7 = j. Let u(n) = 10*n**2 + 4*n + 2. Does 10 divide u(c)?
False
Suppose -4*p = -3*t + 1320, -6*t + 5*t + 440 = -3*p. Is t a multiple of 40?
True
Let k(n) be the first derivative of 5*n**2 - 29*n + 20. Is k(8) a multiple of 9?
False
Let b(s) = s**3 + 16*s**2 + 20*s - 71. Is 3 a factor of b(-14)?
False
Suppose 8 = 3*c - 265. Does 33 divide (-33)/(-26)*122 - (-14)/c?
False
Suppose 13362 = 54*n - 48630. Does 28 divide n?
True
Let r = -178 + 249. Suppose j + r = 2*j. Does 13 divide j?
False
Let s(a) be the second derivative of 0 - 2/3*a**3 - 5*a + 0*a**2. Does 11 divide s(-6)?
False
Let p be 4*(-50)/4*-4. Let y be p/30*12/10. Let d(s) = 18*s - 28. Is d(y) a multiple of 29?
True
Suppose 0 = 4*q - 9 - 59. Let i = 23 - q. Suppose f + 2*u = 84, 3*f - u = -i*u + 256. Is f a multiple of 16?
False
Let v be (4/8)/(1/6)*-23. Let b = v - -147. Is 39 a factor of b?
True
Suppose 2*w + 600 = 3*p - 147, -2*p - 5*w + 498 = 0. Does 30 divide p?
False
Suppose 4563 = 5*d + m, 4*d = -2*m + 6*m + 3636. Does 48 divide d?
True
Is 32 a factor of 1 - (-8 + (-303 - 8))?
True
Let p(o) = o**2 - o + 2. Let w be p(0). Suppose -g - 201 = -2*i, -416 = -4*i - w*g - 26. Is 11 a factor of i?
True
Let g be 1152/10 + (-7)/35. Suppose 5*o - 35 = -3*x + g, 5*x = -5*o + 140. Does 11 divide o?
True
Does 70 divide (52/3)/((-4)/2100*-10)?
True
Suppose -21237 = -19*d + 5. Is d a multiple of 43?
True
Let b be 3 + -1 + -8 + 9. Suppose -x + b*g = -37, -2*g + 218 = 2*x + 2*x. Is x a multiple of 13?
True
Let n be (-16)/12*(-9)/(-2). Let r(w) = 5*w**2 + 5*w - 8. Let d be r(n). Suppose 3*x = 56 + d. Is 19 a factor of x?
False
Let z be 0/(-4) - 4 - 3. Let x(y) = y**3 + 7*y**2 - 2*y - 6. Is x(z) a multiple of 2?
True
Let x = 16 + -39. Let r = x - -47. Is 12 a factor of r?
True
Let w = -6 - -16. Let c = 12 - w. Let i = c - -18. Does 16 divide i?
False
Does 5 divide (1155/(-42))/(10/(-168))?
False
Suppose x - 37305 + 11002 = -5*w, -5*w = 6*x - 26318. Is 10 a factor of w?
True
Suppose 2 = -5*u + 6*u. Suppose 0 = u*n + 2*n. Suppose -25 = 5*v, -r = -n*r - 3*v - 74. Is 12 a factor of r?
False
Let r(b) be the second derivative of b**5/10 - b**4/2 + b**3 + b**2/2 - 4*b. Does 2 divide r(3)?
False
Let x(m) = -m**3 + 17*m**2 - m + 27. Let l be x(12). Let q = l - 412. Is q a multiple of 19?
True
Let k = 0 - 9. Is k*(-4)/(-6)*-28 a multiple of 35?
False
Let n = 427 + -223. Suppose d - 8*w + 6*w - 78 = 0, -3*d - 4*w = -n. Does 12 divide d?
True
Let d be (-15)/(-3) - (-2)/2. Suppose 24 + d = a. Does 2 divide a?
True
Let v(m) = m - 12. Let d be v(16). Let z = d - 0. Suppose 0 = -a - z*a + 4*r + 251, -55 = -a + 2*r. Is 8 a factor of a?
False
Suppose 2*y = -4*s + 548, -4*y + 19*s - 17*s = -1086. Is 8 a factor of y?
True
Does 16 divide 8/(-2 - -6) + 64 + -2?
True
Let k(n) = 11*n**2 - 13*n - 32. Is 22 a factor of k(-5)?
True
Let s = -463 + 281. Let u = 335 + s. Is 18 a factor of u?
False
Let q be (111/3)/(4/(-8)). Let n = q - -114. Suppose -h = -2*m - 48, -h + m + n = -5. Is 14 a factor of h?
True
Let a be 18/10 - (-3)/15. Suppose -u + a*u = -n + 6, -4*u = n - 33. Suppose u = -p + 4*p. Does 2 divide p?
False
Suppose -2*g + 7*g = -2*z + 343, 3*g - 867 = -5*z. Let v be (-2)/(-7) - z/21. Let w = 4 - v. Is w a multiple of 4?
True
Let j be (36/(-14))/6*-7. Is 4 a factor of (-2)/((-11)/(-4) - j)?
True
Suppose 14688 = 4*z - p, -217*z + 215*z + 7350 = -2*p. Is z a multiple of 10?
False
Let n(p) = -p - 1. Let y be n(1). Let m be 6 - y/(-4 + 6). Suppose m*b = 3*b + 152. Is 7 a factor of b?
False
Let t be 6/(-9)*(-36)/8. Suppose -z - t = -21. Does 18 divide z?
True
Suppose 11*z = 14*z - 30. Let a(h) = h**3 - 10*h**2 + 11*h - 11. Let l be a(z). Suppose -x + l = -y, -4*y = 3*x - x - 186. Is x a multiple of 16?
False
Suppose 5*o = -0*o + 2*c + 171, 0 =