3*b + 4 = -17. Suppose 4*z = 29 + b. Is 7 a factor of z?
False
Let w be -16*(-3 - -2) + -1. Let x = 19 - w. Suppose 2*g + 38 = 3*g + 4*v, g - 70 = x*v. Is 18 a factor of g?
True
Suppose 3*j - 5*m = -11, 9 = -j + 3*m - 0*m. Suppose 2*z - k - 181 = -z, -j = 3*k. Is 10 a factor of z?
True
Let f = 41 - 16. Suppose a + 23 = n - 2*a, -2*n - a = -f. Is n a multiple of 9?
False
Suppose 5*y = -2*o + 18246, y - 4*o - 2701 = 935. Does 32 divide y?
True
Suppose 41*n - 363 = 30*n. Is n a multiple of 6?
False
Let k = 842 + -499. Does 9 divide k?
False
Does 7 divide (-6 - (-2 - 3))/(-1) + 532?
False
Suppose -5*r = -0*r + o - 20, -5*o = 0. Let c be 10/r*4/5. Suppose -v = 5, 2*v = c*a + 31 - 149. Does 18 divide a?
True
Let a(k) = k**3 - 9*k**2 + 13*k + 10. Let s be a(7). Suppose -8 - 67 = -s*r. Does 12 divide r?
False
Is 8 a factor of -1*((-12)/1)/(2/25)?
False
Let i = 56 - 51. Suppose -i*p = -8*p + 87. Is p a multiple of 6?
False
Suppose 0 = -2*m + v - 3*v + 568, -v - 292 = -m. Does 6 divide m?
True
Suppose -4*b = 3*d + 9, -2*b = 2*d + 3 + 3. Is 33 a factor of (-54)/45*(b - 110)?
True
Suppose -2*f = 4, -5*w + f = -930 - 47. Does 15 divide w?
True
Let n be -3 - 2*1/(-2). Suppose -r - 2*b - 26 = -3*r, -4*r = -3*b - 48. Let t = r + n. Does 2 divide t?
False
Let p(x) be the third derivative of 19*x**4/24 + x**3/6 - x**2. Let f = 24 + -21. Is p(f) a multiple of 30?
False
Suppose -6*f - f - 28 = 0. Let r = f - -23. Is r a multiple of 2?
False
Let y = 734 - 461. Let l = -159 + y. Is 25 a factor of l?
False
Suppose 495 = b + 405. Is b a multiple of 30?
True
Suppose 0 = -s + 314 + 70. Suppose 0 = -103*k + 99*k + s. Does 8 divide k?
True
Suppose m + 1 = -q, 4*m = -5*q - 5 - 1. Is 15 a factor of 1/q + (-241)/(-2) + -1?
False
Let d(j) = 45*j**2 - 6*j + 24. Let f be d(4). Suppose 12*q - f = 2*q. Does 36 divide q?
True
Suppose -11187 = -22*z + 275. Is z a multiple of 12?
False
Let y be ((5 - 3) + 1)*(4 - 3). Is (0 + -41)/(y/(-15)) a multiple of 41?
True
Suppose -8*v = -10*v + 364. Is 24 a factor of 1 - (18/(-4))/(7/v)?
False
Let r be (-27)/18*(-4)/(-3). Let d be ((-30)/(-12))/(r/(-20)). Suppose -3*i + 52 = -4*f - 37, 5*f = -d. Does 9 divide i?
False
Let d(c) = -c**3 - 6*c**2 + 6*c - 1. Let m be d(-7). Let r be 12/36 + 76/m. Suppose 0 = -g + u + r, -49 = -4*g + 2*u + 3*u. Does 5 divide g?
False
Suppose -2*z + 21 = -5*z. Let g = z + 25. Suppose -c - 2*l = -39, -2*l - g = 2*c - 94. Does 6 divide c?
False
Does 20 divide (-100441)/(-276) + (-4)/(-48)?
False
Is 5 a factor of 306/4*(-36)/(-54)?
False
Suppose 11 = 6*k - 1. Is 4 a factor of (-938)/(-35) + k/10?
False
Suppose 0 = 2*s + 2*i - 92, i - 7 - 135 = -3*s. Suppose 0*o + 2*o - 2 = 0. Is s + -10 - o*2 a multiple of 18?
True
Let v = -213 + 315. Let g be (-12)/(-10)*(-15)/(-6). Suppose 0*f - 3*f - g*z + 162 = 0, -v = -2*f - 4*z. Does 19 divide f?
True
Suppose 4*b - 36 = 12. Is b a multiple of 4?
True
Let q(h) = h**3 - 10*h**2 - 7*h + 12. Let k be q(11). Let n = -79 + k. Is 13 a factor of -2 - n - (0 + 3)?
False
Let j(y) = -2*y**2 + 35*y + 23. Let m be j(18). Let f(s) = 15*s - 9. Does 3 divide f(m)?
True
Suppose m = 29*m - 756. Does 20 divide m?
False
Let b = 6 + 259. Suppose 35 + b = 5*y. Is 10 a factor of y?
True
Suppose 6660 - 1503 = 9*t. Is 49 a factor of t?
False
Let p = 847 - 351. Does 62 divide p?
True
Let x(z) = 2*z + 9. Let q(y) = 3*y + 16. Let l be q(-7). Let j be x(l). Is ((-10)/(-1))/(j/(-2)) a multiple of 9?
False
Let w(o) be the third derivative of 29/6*o**3 - 3*o**2 - 1/24*o**4 + 0*o + 0. Is 10 a factor of w(16)?
False
Suppose -2*j + 2 + 2 = 0. Let r be j/(-8)*-2*0. Suppose r = -v + 3 + 4. Is 6 a factor of v?
False
Let h(w) = 14*w**3 + 9*w**2 - 2*w + 2. Does 12 divide h(3)?
False
Let p be ((5 + -5)/(4 - 0))/1. Is 22 a factor of 3/((-1 - p)/(-26 - -1))?
False
Let l = -99 + 4. Is (-7638)/l + 4/(-10) a multiple of 10?
True
Let w(u) = -2*u**3 - 11*u**2 + 9*u + 19. Is w(-9) a multiple of 8?
False
Suppose 0 = -4*p + 429 + 51. Let n(c) = -c - 5. Let a be n(-7). Suppose p = a*j + j. Is j a multiple of 6?
False
Let i = 11 - 15. Let w = 8 + i. Suppose -124 + 351 = w*g - 3*f, 0 = -4*g - f + 239. Is 12 a factor of g?
False
Suppose -3*s + 352 = g, 0 = -3*g - 2*s - 0*s + 1063. Suppose 0*z = 5*z - g. Does 41 divide z?
False
Let x(g) = -4*g**2 + 5. Let l be x(0). Suppose 580 = l*r + 5*f, -2*f = -3*f - 4. Is r a multiple of 21?
False
Let l(k) = -5*k - 8*k - 1 - 6 - 1. Let c be l(-8). Suppose 0 = 5*q - 3*f - c, -5*q + 76 = -5*f - 14. Is q a multiple of 5?
False
Suppose -n = 2*h - 933, 7*n = 8*n + 3. Does 19 divide h?
False
Let a be -3*(80/(-3))/4. Let d be -3 + a/2 + -2. Suppose 0*y - 2*y + 13 = -d*k, -2*y - 5*k + 23 = 0. Is 9 a factor of y?
True
Let a(r) = 64*r - 2. Suppose -5*l = -2*c + 5, 3*l + 2*c = l + 12. Is 14 a factor of a(l)?
False
Let g(q) = q**2 - 2*q + 6. Let l be g(-4). Is (l/4)/((-21)/(-448)) a multiple of 40?
True
Does 16 divide 3 + -13 + (8 - -311)?
False
Let d = 48 - 46. Let j be 4/12 - (-5)/3. Suppose j*y = -d*y + 212. Is 16 a factor of y?
False
Suppose -p - 5*w = -1320, -4*p + 8493 - 3213 = -2*w. Does 55 divide p?
True
Let n = 43 - 38. Let a(k) = k**3 - 3*k**2 + k + 5. Is a(n) a multiple of 15?
True
Let l(c) = -c**2 - 10*c - 4. Let i be l(-7). Let u(g) = -12*g - 20 + g**2 - 5 + 3. Is 17 a factor of u(i)?
False
Let h(k) = -k - 1. Let c(w) = -7. Let a(q) = c(q) - 3*h(q). Does 11 divide a(15)?
False
Suppose -l + 213 = 2*m - 531, 0 = l - 2. Does 18 divide m?
False
Let i = -876 + 1030. Does 11 divide i?
True
Let z = 245 - 37. Suppose c + 351 = 5*b, -2*b - 2*c + z = b. Is b a multiple of 17?
False
Suppose a - 4*c + 0*c + 32 = 0, 0 = 5*a - 5*c + 100. Let j = 192 + -188. Is 5 a factor of (-296)/a - (-6)/j?
True
Let y(l) = l**2 + l - 18. Let m be y(-6). Is m*32/(-12)*-1 a multiple of 9?
False
Let a(v) be the third derivative of 0*v + 0 + 1/8*v**4 + 3*v**2 - 1/3*v**3. Is a(4) a multiple of 5?
True
Let i(y) = -y**2 - 12*y - 7. Let z be i(-11). Suppose 0 = w - 5*w + 4*m - 80, -50 = 2*w - z*m. Is 18/w*(-460)/6 a multiple of 29?
False
Suppose -6 = 4*u - 134. Suppose u = q + s, -s = -2*s - 1. Does 5 divide q?
False
Let l = -168 - -680. Is l a multiple of 54?
False
Let k(j) = -16*j - 2. Let f be ((-182)/39)/(1/6). Let h be (-3)/9 - f/(-6). Is k(h) a multiple of 12?
False
Let f = 317 + 474. Is 19 a factor of f?
False
Suppose -20988 = -17*i - 5586. Does 27 divide i?
False
Suppose 212 = 2*m - h, 5*h + 436 = 3*m + m. Let b = m - 34. Is b a multiple of 35?
True
Suppose 0 = 89*l - 80*l - 2214. Is 22 a factor of l?
False
Let i = 1049 + 441. Suppose -8*a = -3*a - i. Suppose 0 = 5*w - a - 12. Is 13 a factor of w?
False
Let k(v) = 11*v + 112. Is 2 a factor of k(-10)?
True
Suppose 4*h + 42 + 14 = 0. Is 11 a factor of (-4)/h + 5380/35?
True
Suppose -3*v = 5*x - 4*x + 146, -3*x = 3*v + 144. Let u = v + -6. Is 11 a factor of ((-22)/u)/((-2)/(-55))?
True
Suppose -3 = -3*a, 5 - 10 = -5*u + 5*a. Suppose -33 = -u*d + 227. Is 26 a factor of d?
True
Suppose 173*j - 175*j + 154 = 0. Does 77 divide j?
True
Does 13 divide 15/(-6)*29682/(-85)?
False
Let f = 103 - 28. Suppose 2*m + 3*m - f = 0. Does 15 divide m?
True
Let r(w) = w**3 - 2*w**2 - 2*w + 9. Is r(7) a multiple of 20?
True
Suppose -3*w + 428 = -283. Let q = -158 + w. Is 20 a factor of q?
False
Let l be 51/(-6)*(4 + (4 - 32)). Suppose 2*i = x + 3*i - 68, -l = -3*x - 4*i. Is 8 a factor of x?
False
Let y(u) = 6*u**2 + 5*u - 11. Let b(f) = -7*f**2 - 6*f + 12. Let r(j) = 5*b(j) + 6*y(j). Let q(c) = -c**2 - 6*c + 35. Let z be q(-9). Is 17 a factor of r(z)?
False
Let m(h) = h**2 - 2*h - 11. Let p be m(11). Suppose -5*u = -9*u + p. Let i = -12 + u. Is i a multiple of 10?
True
Suppose 19 = v - 6. Suppose 3*m = 4*f + v - 165, -f = 2*m - 24. Is f a multiple of 15?
False
Let l(y) = 3*y + 0 - 6 + 6*y**2 + 14. Is 10 a factor of l(4)?
False
Let w be ((-125)/15)/1*-3. Suppose -5*c + 86 = 2*l + w, 4*c - 60 = 4*l. Does 4 divide c?
False
Suppose -4*g - 3*t + 1830 = 0, -11*t = -14*t + 6. Is 57 a factor of g?
True
Suppose -16*m - 20988 = -34*m. Is m a multiple of 16?
False
Suppose 25*o = 3*o + 113454. Is o a multiple of 27?
True
Let v be (-3)/5 + 13458/30. Suppose -2*r = 2*r - v. Does 14 divide r?
True
Let y(b) be the third derivative of -b**4/3 - 17*b**3/3 - 15*b**2. Is y(-9) a multiple of 19?
True
Let p = -