ide w?
False
Is ((-2376)/(-96))/(3*(-3)/(-36)) a multiple of 3?
True
Let p(n) = n - 5. Let o be (-6)/3 + 14 + -4. Let f be p(o). Suppose 0 = f*s - 2 - 10. Is s a multiple of 3?
False
Suppose -4*g = 2*c - 2592, -7*c + 4*g = -11*c + 5184. Is c a multiple of 24?
True
Let v = -12 - -11. Let f be (-1 + 1)/v*-1. Suppose a - 43 - 21 = f. Is a a multiple of 32?
True
Suppose 0 = l - 2*l + 5, 3*l - 13 = h. Suppose -10*d = -11*d + 20. Suppose h*q + d = 7*q. Is 4 a factor of q?
True
Suppose 20 = h - 0*h. Is (-12*1)/((-4)/h) a multiple of 30?
True
Let b be 104/24 + (-8)/6. Suppose 4*m + y - 75 = 0, b*m - 2*y - 48 - 22 = 0. Is m a multiple of 5?
True
Let u = -3 - -44. Let a = -130 - -159. Let l = u - a. Is 6 a factor of l?
True
Let h(s) be the second derivative of -17*s**3/3 - 51*s**2/2 + 18*s. Is 5 a factor of h(-4)?
True
Let o(j) = j**3 - 9*j**2 + 13*j - 17. Let u be o(9). Suppose -28*p + 26*p = -u. Is 25 a factor of p?
True
Suppose 143 - 38 = 7*i. Is 25 a factor of (0 + -52 + 2)*i/(-6)?
True
Let o = -121 - -226. Does 18 divide o?
False
Suppose -5497 = -3*a + 4*u, -u = -a + 1763 + 70. Is a a multiple of 39?
False
Suppose 3*s + 3*l - 4119 = 0, -3*l = 21*s - 17*s - 5495. Does 16 divide s?
True
Let w be 39/(-6) + ((-35)/(-10))/(-7). Does 3 divide ((-21)/w)/((-9)/(-24)) + 0?
False
Suppose 0 = h + 5*z - 427, 365 = h - 2*z - 27. Does 8 divide h?
False
Let o be (-208)/(-12)*(-17 + 2). Is 4 a factor of o/(-15)*1*3?
True
Suppose 4*v + 5*n = 124 + 98, v - 5*n = 43. Suppose 0 = 9*f - 170 + v. Is 13 a factor of f?
True
Suppose 0 = -3*u + 41 - 5. Let h be u/(-16)*(-6 + -2). Suppose 2*o = h*o - 56. Is 14 a factor of o?
True
Let m(n) = n**2 - 10*n + 4. Let v be m(10). Suppose 0*x = -v*x + 504. Suppose -3*u + x = -0. Does 14 divide u?
True
Suppose -k = -2*w + 1003, -w = 7*k - 3*k - 488. Does 5 divide w?
True
Let o = 32 - 78. Let p(b) = 34*b**3 + 1. Let s be p(-1). Let j = s - o. Does 8 divide j?
False
Let p(l) = -l**3 - 10*l**2 - 15*l + 2. Let o be p(-7). Is 20 a factor of (-34 + 19)*o/6?
True
Let l be (3/2)/(3*(-4)/112). Let g = l - -19. Is g a multiple of 3?
False
Let x be (3*7)/((-3)/(-54)). Suppose -x = 6*a - 9*a. Suppose a + 150 = 4*i. Is i a multiple of 23?
True
Let m(k) = -5*k**2 + 81*k - 10. Does 4 divide m(11)?
True
Suppose -5*n + v - 6*v = 0, 0 = 4*v. Let m(w) = w + 12. Let s be m(n). Let c = s - 7. Is 5 a factor of c?
True
Suppose 4*v = -4, -r = -4*r + 5*v + 1943. Suppose -166 = 10*j - r. Does 16 divide j?
True
Suppose -2*o - 322 = -3*d - 2*d, -3*d + o = -193. Let k be 83 - 1/1*0. Suppose -3*f + d = -k. Does 20 divide f?
False
Let w be 6 + 0 - (6 - 2). Suppose -2*o - w = 5*d - 8, 0 = 5*o - 15. Does 8 divide 2/(-2) + d + 33?
True
Let b(z) = 2*z**2 + z - 6. Suppose 2*p + 0 = 12. Is 9 a factor of b(p)?
True
Is (17*8/272)/(1/1586) a multiple of 21?
False
Let x(n) = 6*n**3 - n**2 + 2. Let w(m) = -m**3 + 4*m**2 - 2*m - 1. Let a be w(2). Let g be x(a). Let k = g + -82. Is 26 a factor of k?
False
Let n(t) = -t**3 + 16*t**2 + 18*t - 9. Let l be n(17). Is 60/l + (-4)/8 even?
False
Let d(w) = -3*w + 5. Let p be d(0). Let t = 71 + p. Does 7 divide t?
False
Let q(n) = -2*n - 5. Let a be q(-3). Suppose -5 = 3*p + a. Is 19 a factor of p - 6*76/(-8)?
False
Let i be 8/14 - (-1 - (-40)/(-28)). Does 22 divide (-550)/20*(-1 - i)?
True
Suppose c = -2*c - 162. Let h be (-7)/(-14) + c/(-4). Suppose 4*a = -3*i + 11 + h, 0 = -2*i + 2*a - 2. Is 2 a factor of i?
False
Let b(u) = 16*u**2 + u + 1762. Is 54 a factor of b(0)?
False
Suppose -297*p = -293*p - 7564. Is p a multiple of 15?
False
Let k = 6727 - 3967. Is 115 a factor of k?
True
Is (1 + -1297)/(180/24 - 9) a multiple of 32?
True
Let g(d) = d - 4. Let s = -13 + 8. Let q(j) = j**3 + 6*j**2 + 3*j + 5. Let n be q(s). Is g(n) a multiple of 11?
True
Let d(o) = o**3 - o**2 + o + 19. Suppose -n - 80 = -5*n. Suppose -4*z - 5*i = 25, -5*z + 2*i + 2*i + n = 0. Is d(z) a multiple of 14?
False
Let w be 12*(-1)/(3 - 1). Suppose -6 = -3*z, -9*n + 3*z - 8 = -11*n. Does 10 divide 3/(n*w/(-40))?
True
Suppose -n + 4*i + 20 = 0, -3*i - 36 = 5*n - 251. Is n a multiple of 10?
True
Let u(b) = -b**3 + 12*b**2 - 12*b + 10. Let s be u(11). Is (12/(-30))/(s/30) a multiple of 5?
False
Let u(l) = 2*l**2 + 8*l - 4. Let c be u(-5). Suppose n = -z + c*z - 45, -4*z = n - 45. Is z a multiple of 5?
True
Let k(v) = v**3 - v**2 - v - 1. Is 21 a factor of k(4)?
False
Suppose u + 4*i - 19 = -4*u, -2*i - 13 = -5*u. Let s be (4 - u/1) + 28. Suppose 4*k + 5 - s = 0. Is k a multiple of 3?
True
Let p(h) = -h**2 + 12*h - 9. Let v be ((-18)/5)/((-8)/20). Let f be p(v). Suppose 17*l = f*l - 54. Is l a multiple of 17?
False
Let b be (-2)/(-3)*(-714)/17. Let y = b + 26. Is 4 a factor of (-48)/12*4/y?
True
Suppose 0 = 5*n - 8*n + 15. Suppose 68 - 18 = -n*s. Let m = 21 - s. Does 31 divide m?
True
Let t(w) = -2*w**2 - 7*w. Let r(y) = -y**3 - 5*y**2 + 6*y + 5. Let f be r(-6). Let x be t(f). Let v = -39 - x. Is 23 a factor of v?
True
Suppose 2*z - 3*z - 35 = 0. Let k be (-6)/(-21) - 95/z. Suppose 135 = -k*x + 8*x. Is 15 a factor of x?
False
Suppose 4*d + 67 = -3*j, -140 = 2*j + 3*j + d. Let l = 77 + j. Does 7 divide l?
False
Suppose -3973 - 2432 = -21*b. Does 5 divide b?
True
Does 5 divide (-3)/(-4) + (-1581)/(-68)?
False
Let n(p) = p - 5. Let b be n(9). Let o be b/(-14) + 3685/35. Suppose 5*j + 25 - o = 0. Is 10 a factor of j?
False
Does 9 divide 6/42 - 276620/(-140)?
False
Suppose 122 = 3*v - 2*l - 2*l, -5*l + 145 = 5*v. Let m be 0/(1 - (0 + 3)) + 20. Suppose -m*h = -18*h - v. Is 10 a factor of h?
False
Let k = -172 - -827. Does 42 divide k?
False
Let p = 1105 + -372. Suppose -247 + p = 3*g. Is 11 a factor of g?
False
Let s(y) = 9*y + 1. Let k(f) = f - 9. Let l be k(7). Let d be (0 - -7) + l + 0. Is 23 a factor of s(d)?
True
Let z = 12 - -3. Let d = z + 14. Is d a multiple of 9?
False
Suppose 0 = -4*r + 4*l + 104, -1 + 3 = 2*l. Suppose 2*k - r = -17. Suppose 5*o - 60 = k*w, -5*o + w + 22 = -34. Is o a multiple of 3?
False
Let a(d) = -d**3 - 12 - 24*d**2 - 6 - 4*d - 5*d + 0*d. Is a(-24) a multiple of 22?
True
Suppose 11*h - 5591 - 426 = 0. Is 11 a factor of h?
False
Suppose -5 = 5*v, -2*d - 4*v = -2 - 4. Let m = d - 4. Suppose -m = -4*l + 71. Is 6 a factor of l?
True
Let g be (-2 - 0) + (-7 - -12). Suppose 92 = 4*f + g*r, -4*f = -2*f + 2*r - 48. Let z = f - -5. Is 6 a factor of z?
False
Suppose 2552 = 4*s + 4*m, -5*s = -s + 5*m - 2552. Is s a multiple of 21?
False
Let s be (-220)/(-6) + 5*(-1)/(-15). Suppose 0 = 4*t - 5 - 3. Suppose -s = -b - 3*l, b - 2*b + t*l = -22. Is b a multiple of 14?
True
Suppose 5*j = 2*j - 4*q + 718, 2*j - 2*q = 488. Let b = j + -116. Does 21 divide b?
True
Let k(d) = -15*d**3 - d - 7. Is k(-3) a multiple of 19?
False
Suppose -3*w + 3690 = -9666. Is 42 a factor of w?
True
Let r = 23 - 20. Suppose 2*f - 6 - r = -l, -2*l = -f - 18. Let w = l + 24. Is 9 a factor of w?
False
Let g(p) = -9*p**3 + 9*p**2 - 2*p - 4. Does 19 divide g(-4)?
False
Suppose 0*q - 3*p + 367 = 4*q, 3*p + 161 = 2*q. Does 11 divide q?
True
Let q(r) = 271*r**2 + 1. Is 14 a factor of q(-1)?
False
Suppose 2*i - 24 = -2*i - 4*b, 9 = 4*i - b. Is 4 a factor of (-9)/27 + 49/i?
True
Suppose -6*i - 15 = -255. Does 8 divide i?
True
Let u be 4 + (1 - -7) - -3. Suppose 3*j - u = 201. Is j a multiple of 41?
False
Suppose y = 4*v - 96, -7*v = -2*v + 3*y - 103. Is v a multiple of 3?
False
Let i = -29 - -31. Suppose -420 - 48 = -i*p. Is 39 a factor of p?
True
Let p = 14 + -11. Suppose p*l - 1 = 4*l. Is 4 a factor of l + (-2)/(8/(-84))?
True
Let d be -1*9*6/(-9). Let o be 239 - (0 - -2) - 1. Suppose 2*m + o = d*m. Is m a multiple of 17?
False
Let k = 125 - 5. Is k a multiple of 40?
True
Suppose -5*m - 2*a = 207, a = m + 3*m + 163. Is 19 a factor of (5 - 2)/(-1) - m?
True
Suppose t + 7 = 5*o - 8, 0 = 2*o + 5*t + 21. Suppose 2*p + 5*k = -3*p + 40, 5*p - o*k - 5 = 0. Suppose -p*v - 12 + 225 = 0. Does 15 divide v?
False
Let i be (-2 + 0 + (-24)/8)/1. Is 6 a factor of (-240)/i*((-27)/(-6))/3?
True
Let m(q) = 3*q + 1. Let f(d) be the third derivative of d**6/120 + d**5/6 + 2*d**3/3 + 3*d**2. Let b be f(-10). Is m(b) a multiple of 7?
False
Suppose 12610 = 7*l + 1039. Does 87 divide l?
True
Let l = 2 - -2. Suppose 3*v + 0*v + 58 = 5*p, 4 = -l*v. Is 7 a factor of p?
False
Let q = -2 + 7. Suppose -q*o + 0 + 10 =