 4?
True
Let i(b) = -29*b - 14. Let m = -7 - 3. Let o be i(m). Is 18 a factor of (-3 - o/(-4)) + 2?
False
Suppose 20 + 16 = -3*i. Let v = 17 + i. Suppose -v*z + 111 = 36. Is z a multiple of 7?
False
Suppose 5*g - 5*c = 2950, 0 = 24*g - 20*g - 3*c - 2356. Is g a multiple of 4?
False
Is 11/55 - 428/(-10) a multiple of 43?
True
Suppose 0 = -5*w - 5*a + 255, 180 = 4*w + 2*a - 4*a. Suppose 0 = -4*i + 9*i - 3*r - 229, i - r - w = 0. Is 11 a factor of i?
True
Let z = 52 - 47. Suppose z*d - 4*i - i = 340, 0 = -5*d - 2*i + 368. Is 24 a factor of d?
True
Let r(h) = -h**3 - 7*h**2 - 7*h + 4. Let g(c) = -c - 3. Let l be g(-8). Let w = l - 11. Is 5 a factor of r(w)?
True
Suppose -4*y = -2*q + 84, 2*y + 69 = 2*q - 7. Suppose -r + 5*u + q = 0, 0*r - u = 2*r - 90. Does 44 divide r?
True
Does 4 divide 499/7 + 26/7 + -4?
False
Suppose -394*j + 210 = -389*j. Is 7 a factor of j?
True
Let h(j) = 22*j**3. Is 9 a factor of h(1)?
False
Suppose -288 + 6 = 2*w + 4*a, -5*w + 4*a - 663 = 0. Let c = w - -157. Is 11 a factor of c?
True
Suppose -3*j + 328 = 5*j. Does 3 divide j?
False
Suppose -4 = 5*w - 4*w, 2081 = 3*d - 5*w. Does 41 divide d?
False
Suppose 5*y - 11725 = -4*u, 2*u - 3193 = 3*y + 2686. Does 10 divide u?
False
Suppose 4*f - 2*t + 352 = 0, -4*f = -7*f - 4*t - 253. Let j = f - -170. Is j a multiple of 26?
False
Let a(q) be the first derivative of q**7/840 - q**6/40 + q**5/12 - q**4/3 - 4*q**3/3 + 11. Let c(i) be the third derivative of a(i). Is c(8) a multiple of 8?
True
Let d(h) = 23*h**2 - 14*h + 75. Is d(7) a multiple of 23?
True
Let n(w) be the first derivative of w**3/3 + 243*w + 3. Let c be n(0). Suppose -4*r = k - 41, -r + c = 4*k + 19. Does 19 divide k?
True
Suppose -324 = -6*u + 240. Suppose 270 = 99*c - u*c. Is c a multiple of 18?
True
Let f = -51 + 40. Let r = f + 14. Let z = 47 - r. Is 10 a factor of z?
False
Let v = -23 - -26. Suppose v*a = -p + 334, -a + 4*p = -3*a + 216. Suppose 16*d = 12*d + a. Does 11 divide d?
False
Is (-7 - -1853) + -7 + 0 a multiple of 66?
False
Suppose 0 = 10*u + 3849 - 20239. Is 11 a factor of u?
True
Let o(n) = -n**3 + 3*n**2 - 4*n + 5. Suppose 0*b = -3*b + 3. Let t(v) = v**2 - v + 1. Let c(p) = b*o(p) - 5*t(p). Does 6 divide c(-3)?
True
Let v(j) = 4*j**2 + 4*j - 28. Is v(6) a multiple of 5?
True
Let o(v) = 243*v**2 + v + 2. Let r be o(2). Suppose 5*q + 4*a - r = 0, -6*q - 2*a = -3*q - 586. Is 37 a factor of q?
False
Let u(b) = -110*b. Let z be u(-1). Let n(i) = i**2 + 2*i + 10. Let r be n(0). Is 6 a factor of 66/z*1*r?
True
Let g be (2/(-5))/(13/(-23530)). Suppose 0 = -7*c - 164 + g. Is c a multiple of 21?
False
Suppose 5*m = 3*p - p + 2098, 4*p = 5*m - 2096. Does 35 divide m?
True
Let p be -7 - (-2 + 2 + 2). Let q be 20/p + (-4)/(-18). Let y(o) = -8*o + 1. Is y(q) a multiple of 17?
True
Let k be 0 - (-2 - -1)*2 - 1. Suppose k = -c + 65. Is c a multiple of 16?
True
Let u = 467 - -258. Is 25 a factor of u?
True
Let a(l) = l - 1. Let q be a(3). Suppose 2*g + r = 283, -q*g + 4*r = 2*r - 298. Is 24 a factor of g?
True
Let h = -36 - -57. Suppose -h = -j + 3. Is j a multiple of 3?
True
Suppose -3*w + 54 = -w. Let q = w + -28. Let s = 29 - q. Is s a multiple of 15?
True
Suppose 135*t + 108 = 136*t. Is 9 a factor of t?
True
Let m = 1242 - 465. Is 20 a factor of m?
False
Suppose 4*k + 2*r - 4*r - 14 = 0, -r = 1. Suppose 0 = -0*q + 5*q - 5, -k*d = 2*q - 167. Is d a multiple of 3?
False
Suppose 0 = -2*q - 18. Let l(m) = m**3 + 10*m**2 + 9*m + 5. Let k be l(q). Suppose 0 = -4*v + k*v - 22. Is 22 a factor of v?
True
Let a(y) be the first derivative of -y**4/4 - 2*y**3 + 9*y**2/2 - 11*y + 6. Let x be a(-8). Is 6 a factor of ((-240)/x)/(1/(-3))?
False
Let l = 147 + 88. Let b be l/(-20) - 1/4. Let q = -4 - b. Is 8 a factor of q?
True
Let h = 24 - 14. Suppose 5*n + 345 = h*n. Does 15 divide n?
False
Suppose -4*x - 10 - 2 = 0. Does 4 divide (-12)/(x*2/18)?
True
Let s(t) = 5*t + 46. Let g be s(-11). Let f(b) = -18*b - 52. Does 12 divide f(g)?
False
Let x(l) = -3*l**2 - 7*l + 442. Does 43 divide x(0)?
False
Let j be 10/(-7) + (-12)/(-28) + 25. Is (-3 + j - 4)/1 a multiple of 5?
False
Let m be (-2)/(-6)*(62 - -4). Suppose 0 = 2*k + 12 - m. Suppose 0 = -k*z + 6*z - 22. Is 11 a factor of z?
True
Suppose 3*r - 2*i = 1101 + 1269, -3*i - 1575 = -2*r. Is 24 a factor of r?
True
Let g(r) = 2*r - 4. Let x be g(-4). Let v(s) = 5*s - 3*s - 5*s + 2*s - 1. Is 3 a factor of v(x)?
False
Suppose 0 = -4*m - m + 25. Suppose 0 = -4*o - m*u - 131, 5*u - 3*u = 2. Let k = -3 - o. Is 11 a factor of k?
False
Let t be 5 + 2 + 0 + 1. Let i = t - 12. Let w(p) = 4*p**2 - 3. Does 21 divide w(i)?
False
Suppose -12*n - 25 = -7*n. Does 13 divide (-5)/(n/3) + 62?
True
Let s = 198 + -120. Is 6 a factor of s?
True
Does 12 divide (2 - 74)/((-9)/54)?
True
Is ((-54)/8)/((-963)/936 + 1) a multiple of 18?
True
Suppose 0 = 3*l + 515 - 1307. Is 5 a factor of l?
False
Let z(w) = 52*w**2 - 12*w + 26. Is z(2) a multiple of 14?
True
Suppose 45 = -2*k + k. Let y = 69 + k. Is y a multiple of 4?
True
Is 8 a factor of ((-252)/15)/((-4)/(-1040)*-6)?
True
Let z(b) be the third derivative of b**6/120 + 11*b**5/60 - 7*b**4/12 - 8*b**3/3 + 2*b**2 + 14*b. Does 6 divide z(-12)?
False
Suppose -2*f - 4*p - 24 + 136 = 0, 0 = f + 5*p - 68. Is f a multiple of 5?
False
Suppose 0 = 2*z - z. Suppose z = -3*v + 12, -2*t - 12 = v - 46. Does 3 divide t?
True
Suppose 3*c + 4*l - 30 = l, 0 = -c - 2*l + 13. Let w(j) = 2*j**2 - c*j - 2*j + 5 - 2 + j. Is w(6) a multiple of 27?
True
Let n(k) = 24*k**2 - 2*k + 4. Let z be n(2). Is 10 a factor of (20/(-5) - z)/(-2)?
True
Suppose 5*a = 2*l - 2805 - 85, 5*a - 1460 = -l. Is l a multiple of 28?
False
Let z(q) = -q + 7. Suppose -4*l + 16 = -4. Let r be z(l). Does 27 divide (-45)/r*(-54)/15?
True
Suppose 2*o - 34 = -2*h + 190, -3*h = 5*o - 340. Is 18 a factor of h?
False
Let l(h) = -2*h + 21. Suppose 11 + 11 = 2*d. Let b be l(d). Is 40/2 + b + 0 a multiple of 3?
False
Suppose 188 = 5*l - 3*u - 1009, 3*u - 1203 = -5*l. Suppose 28*v - l = 23*v. Is v even?
True
Does 45 divide 482*(49/14 - 3)?
False
Suppose 0 = -4*m - m + 1415. Suppose m = -8*p - 45. Let d = -2 - p. Does 15 divide d?
False
Let j(w) = -w**3 - 32*w**2 - 38*w + 7. Is 65 a factor of j(-33)?
False
Let v = 63 + -48. Suppose -v*b + 563 = 128. Is 13 a factor of b?
False
Suppose 2*b - 8*r + 3*r = -22, -2*b - 4*r - 40 = 0. Let s = b + 56. Is 20 a factor of s?
True
Let f be ((-50)/15)/((-2)/3). Suppose f*l + 8 = 7*l. Suppose 3*p + 32 = l*p. Is 12 a factor of p?
False
Suppose 0 = 19*a - 1913 + 165. Does 3 divide a?
False
Suppose -21 = 4*r - 7*r. Suppose 2*f - r*f - 5 = -5*d, 0 = -5*d - 20. Does 9 divide 14/35 + (-178)/f?
True
Suppose 0 = -0*p - p. Let d = 7 - p. Suppose 2*y + d = 63. Is 9 a factor of y?
False
Suppose 9*j - 6*j - 258 = 0. Let h = j - -167. Is 24 a factor of h?
False
Let d = -5 - -12. Let p = 12 - d. Suppose 32 = p*g - g. Is 8 a factor of g?
True
Is (531/4)/(15/60) a multiple of 9?
True
Suppose -2*s + 3 = -3*p - 3*s, 4*s = 0. Does 9 divide (p*(-86)/(-5))/((-4)/10)?
False
Let x(g) = -g**2 + 1. Let s(d) = 2*d**2 + d - 8. Let m(k) = k**3 + 2*k**2 - 3*k - 3. Let l be m(-3). Let c(b) = l*x(b) - s(b). Is c(5) a multiple of 13?
False
Let u = -113 - -288. Is 1/(u/85 + -2) a multiple of 3?
False
Let o = 1205 + 831. Does 23 divide o?
False
Suppose -245 = 9*d + 250. Is 354/11 - (-10)/d a multiple of 8?
True
Let w be (3/1)/(-3)*1. Let x(o) = 17*o**3 + 2*o + 1. Let f be x(w). Is 2 a factor of (2/3)/((-6)/f)?
True
Let r(g) be the second derivative of -g**5/20 - g**4/6 + g**3/2 + 3*g**2/2 - 3*g. Let a be r(-3). Suppose k + 8 = s, a*s + 0*s = -2*k + 39. Does 7 divide s?
False
Is (279/18 + 9)*(-4)/(-7) a multiple of 2?
True
Let c be (-14)/(-4)*12/21. Is 2 a factor of ((-8)/3 + c)*(-14 - 13)?
True
Let z = 643 - 221. Is 9 a factor of z?
False
Does 8 divide (-5)/5 + 295 - 6?
True
Suppose -2*r - 3*u + 4564 = 0, 0*u = 2*r + 5*u - 4556. Is r a multiple of 52?
True
Suppose -383 = -3*x + 160. Suppose 0 = -6*k + 293 + x. Does 14 divide k?
False
Suppose 0 = -14*q + 20*q - 4080. Does 43 divide q?
False
Suppose f - 2*y = 1451, -4*f - 3*y + 5804 = y. Does 28 divide f?
False
Suppose 10*j - 165 = -45. Let g(l) = -l + 11*l**2 + 8*l - 14 + 10*l - l**3 - l. Is 18 a factor of g(j)?
False
Let f = 5 - -4. Suppose -f*h + 15 = -4*h. Is 4 a 