?
False
Suppose 0 = 42*a - 18433 - 128063. Does 9 divide a?
False
Let n(v) = -2*v**2 - 15*v - 21. Let t(p) = -p**2 - 7*p - 9. Let k(o) = 2*n(o) - 5*t(o). Let i(m) = -m**2 + m + 4. Let d be i(4). Does 11 divide k(d)?
False
Let m(v) = 15*v**2 + 312*v + 84. Does 98 divide m(10)?
True
Let l be 3/((-48)/116) + 3/12. Let o(y) = -2*y - 9. Let m be o(l). Is 11 a factor of ((-22)/m)/(-4 - 95/(-25))?
True
Let z(a) = a**3 + 10*a**2 + 5. Let u be z(-10). Suppose 2*q - 4*f = 1910, u*q = 2*f + 6117 - 1350. Is q a multiple of 27?
False
Suppose -104 = -0*m - 4*m. Suppose -22*p + 20 = -m*p. Let b = 45 + p. Is b a multiple of 10?
True
Suppose 5*f = 3*a + 16234, 0 = 5*a - 59 + 24. Is f a multiple of 17?
False
Suppose -4*m + 52 = -2*m. Suppose 108*i = 107*i. Suppose -29*n + m*n + 99 = i. Does 14 divide n?
False
Is 38 a factor of (-18)/90*15 - (-72741)/3?
True
Let r be (26488/(-21))/(-2)*(-12)/8. Let o = -427 - r. Does 9 divide o?
False
Suppose -4*a = i - 4*i - 247, -389 = 5*i - a. Is 14/i - (-178)/11 a multiple of 6?
False
Suppose 2*z = 10, -2*k = -6*k - 4*z + 36. Suppose 0*s + 10 = 3*l - 2*s, 2*l + 5 = -s. Suppose -k*p - 7 = i - 27, l = -5*i + 5*p + 125. Is 8 a factor of i?
True
Suppose 56*u - 35 = 51*u. Suppose 874 = u*c - 932. Suppose 206 = 2*a - c. Is a a multiple of 14?
False
Let o(g) = 0*g + 2*g + 0*g - g + g + 132. Does 8 divide o(5)?
False
Let f be (8/(-12))/((-4)/18). Suppose 2*i = f*y - 126, -y = 7*i - 2*i + 349. Let u = i - -129. Is 15 a factor of u?
True
Let j = -673 - -471. Let u = j - -310. Is u a multiple of 7?
False
Suppose -7*g - 36 = -16*g. Suppose 0 = g*l - 5*c - 17, 2*c - 4 = -2*l - 0*c. Suppose -q - 178 = -3*q - 4*a, -l*a - 94 = -q. Is q a multiple of 22?
False
Let x(c) = 63*c**2 - 845*c + 13. Is x(15) a multiple of 5?
False
Suppose -5 = -2*v + 1. Suppose 33*l = -63*l - 6*l + 306. Suppose -7*q + 20 = -v*q, -207 = -4*x - l*q. Is x a multiple of 8?
True
Let s(m) be the first derivative of 16*m**2 - 28*m + 27. Is 14 a factor of s(10)?
False
Suppose -4*w = -j - 38, -20*j + 146 = -25*j - 2*w. Let p = 240 + j. Does 16 divide p?
False
Let b = 1267 + -688. Suppose -7*i + 667 = -b. Does 37 divide i?
False
Suppose 4329 = -k - 3*c + 16067, -28 = -4*c. Is k a multiple of 7?
False
Suppose 609*o - 568*o - 34522 = 0. Does 5 divide o?
False
Suppose 5*u - 962 = 618. Suppose -56*q = -115*q + 61*q. Suppose 4*a - 3*r - 628 = q, a - u = -a + r. Does 40 divide a?
True
Let i(v) = -v**3 + 13*v**2 - 27*v - 7. Let w be i(12). Let m = w + 902. Is m a multiple of 55?
True
Let d(v) = v**3 + 17*v**2 + 8*v - 18. Does 31 divide d(-15)?
False
Let n(o) = 22*o + 3. Let s be n(-2). Let l = s - -41. Suppose l = 4*u + 8 - 16. Is u a multiple of 2?
True
Let c(d) = 3*d**2 + 18*d - 9*d - 4 - 3*d - 11*d. Let t be c(6). Let i = t + -44. Does 6 divide i?
True
Let o = -206 + 346. Let q = o + -71. Is 184/q*246/8 a multiple of 41?
True
Suppose -5*p = -9*i + 4*i - 50, -5*i - p - 38 = 0. Let q = 232 - i. Is q a multiple of 40?
True
Suppose 0 = 2*n - 22 + 16. Suppose -i = -y + 5*y - 1715, -n*y + 1295 = -i. Suppose -y = -5*p + 10. Is p a multiple of 44?
True
Suppose 0 = 5*f + 3*g - 81312, 5*f - 177*g - 81292 = -175*g. Is 60 a factor of f?
True
Let c = -119 + 145. Is 7 a factor of ((-12)/16 + c/24)*474?
False
Suppose -2*m = -2*s - 1830, -m = -5*s - 144 - 791. Suppose 5*j = 5*b - m, 3*j = 3*b + 7*j - 511. Is 11 a factor of b?
False
Suppose -y = 3*r - 64, r + 2*y + 5 = 28. Suppose -6*l = -3099 + r. Does 57 divide l?
True
Let m be 7/9 - 1 - (-128)/9. Suppose -p = d - m, 2*p + 32 = -d + 5*d. Suppose d*x + 130 = 2790. Is x a multiple of 38?
True
Suppose 10*a - 9*a - 4*a = -39552. Does 32 divide a?
True
Let q be 0 - 0 - (10 + -14). Suppose -q*r = -h - 10, -2*r + r + 10 = h. Suppose h*a - 10*a = -24. Is a a multiple of 6?
True
Let s(b) = 11*b**2 + 12*b + 37. Let p = -215 + 212. Does 25 divide s(p)?
True
Let x(f) be the second derivative of 1/3*f**3 + 0 + 8*f + 3*f**2 + 2/3*f**4 - 1/20*f**5. Does 11 divide x(8)?
True
Let z = 26 - 31. Let w be ((-10)/(-1))/(6 + z). Suppose -w*s - 165 + 2565 = 0. Is 24 a factor of s?
True
Let f(j) = -6*j - 20 + 2*j + 11*j + 6*j. Is f(6) a multiple of 7?
False
Let r be -7*(-4)/21*3. Suppose 8775 = 9*p - r*p. Suppose -v + 10*v - p = 0. Is 13 a factor of v?
True
Let h be 662/10 + 6 - 2/10. Suppose -71*z - 174 = -h*z. Is 30 a factor of z?
False
Let k(w) = w**2 - 5*w - 5. Let l be k(-2). Let q(r) = r**3 - 10*r**2 + 10*r - 3. Let p be q(l). Suppose 4*j + p*b - b - 591 = 0, 159 = j - b. Does 22 divide j?
True
Let d(t) = -t**3 + 3*t**2 + 8*t - 10. Let g be d(4). Let f be (-1)/3 + ((-4)/g - -2). Is (-504)/(-8) - (-6 + f) a multiple of 17?
True
Let c(t) be the third derivative of -t**5/60 + 17*t**4/8 - 41*t**3/3 + 285*t**2. Is 21 a factor of c(33)?
False
Suppose 5*f = 10*f - 50. Suppose c = -f*c + 704. Let p = 216 - c. Does 19 divide p?
True
Let g be (0/3)/(-4 + 8 - 3). Suppose 4 = -2*y + 3*y. Suppose g*o + y*o = 5*d - 254, d - o - 50 = 0. Does 17 divide d?
False
Let j be 3/5 + 162/30. Let u be j/(-2) + (-5 + -1 - -675). Is 28 a factor of 1/(2*3/u)?
False
Let g(t) be the third derivative of 0*t + t**2 + 11/12*t**4 - 6 - 10*t**3. Does 20 divide g(12)?
False
Suppose -9*x = -10802 + 2621. Suppose 0 = -6*q + 3183 + x. Is q a multiple of 41?
False
Suppose 27*x = 24*x + 6. Suppose -2*s = -j + x*j, -12 = -4*j + 4*s. Suppose -l - 381 = -j*b, b = -l - 3*l + 204. Is 29 a factor of b?
False
Let v = -4004 + 12361. Is v a multiple of 7?
False
Suppose -59*p - 76 = -63*p. Suppose p*x = 24*x - 845. Is x even?
False
Let u = 7045 - 5576. Is u a multiple of 41?
False
Is 37 a factor of (176/(-3) + 1/(-3))*5307/(-29)?
False
Suppose -3*a + 2 = -3*j - 133, -4*a = 2*j - 156. Let r = -15214 - -15276. Suppose 3*u + a = r. Is u a multiple of 7?
True
Suppose 3*u + 2013 = 7*q - 6*q, 4*q - 8052 = -2*u. Is 61 a factor of q?
True
Let v be ((-128)/3)/((-9)/(-27)). Let o be (1036/14)/(-1 - 0). Let h = o - v. Is 27 a factor of h?
True
Let d = -32 - -34. Let m(g) = -18*g**3 - 4 + 20*g**3 + g - g**2 + g**d + 3*g**2. Is m(2) a multiple of 11?
False
Let h(o) = -10*o + 16. Let f be h(-5). Let g = 69 - f. Suppose -g*x = -q + 2*x + 3, 0 = 2*q - 5*x - 31. Is q even?
True
Let v(t) = 0 + 2 + 4 + 20*t - 44*t. Is v(-3) a multiple of 2?
True
Does 9 divide -6 - 312/(-54) - (4 + (-3926)/9)?
True
Is (-5 + 1133070)/19 + (10 - 1) a multiple of 13?
True
Suppose -6 = -6*g - 0. Let w be (-1046)/(5 - (g - -6)). Suppose w = 3*h - 197. Is h a multiple of 48?
True
Let d(f) = 341*f - 1527. Does 39 divide d(8)?
False
Suppose 15*f - 52 = 2*f. Suppose -2*c - 3*t = 37, 0*t - 3*t + 29 = -f*c. Does 13 divide c*(4 + 1 + -7)?
False
Suppose -5*c + 8*z - 4*z - 71 = 0, 4*c + 55 = 5*z. Does 11 divide (-1325)/c + 3/(-9)?
True
Let j(g) = g**3 + 14*g**2 - 18*g - 17. Let y be j(-15). Suppose 0 = 2*x + 12*x - y. Suppose 2*i - 42 = 3*l, i = -3*l + x*l + 16. Is i a multiple of 15?
False
Suppose -4*t = -9*t + 4*a + 717, -4*t + 4*a = -576. Suppose 0 = -6*r + 1077 - t. Is 26 a factor of r?
True
Suppose -64737 - 467487 = 10*v - 64*v. Is v a multiple of 112?
True
Let l = -37729 + 54177. Does 103 divide l?
False
Suppose -3*j + 9 = 4*l, -3*l - 3*j + 9 = 2*l. Let f(h) = 2*h**3 + 0*h + 138 - 198*h**2 + 197*h**2 - h. Is f(l) a multiple of 37?
False
Let j(l) be the third derivative of 7*l**5/10 + l**4/12 - l**3/3 - 20*l**2 - 4*l. Is 3 a factor of j(1)?
True
Suppose -185*d + 187*d + 1440 = 0. Let r = -440 - d. Does 70 divide r?
True
Is 17 - ((-3126)/6 + -12) a multiple of 11?
True
Let a(o) = 4*o**2 - 14*o + 24. Let x be a(-11). Let y be x/1 + 3 + -7 + 2. Suppose 18*w - 23*w = -y. Does 12 divide w?
True
Let w = 37398 + -32555. Is w a multiple of 25?
False
Let z = -37643 + 77813. Does 15 divide z?
True
Suppose -9*v - 4*v = 39. Let x be (72/15 - (-5 - v))*90. Does 28 divide -1 + 3 + x/4?
False
Is 3769200/288*(-4)/(-3) a multiple of 36?
False
Suppose -45 = -5*s + 15. Let g = -17 - s. Let w = 10 - g. Is w a multiple of 16?
False
Is 2 a factor of 1245904/576 - 5/180?
False
Suppose a - 11515 = -2*l, 3*l - 5*a - 12742 = 4563. Is l a multiple of 45?
True
Does 17 divide 64/160 - ((-849730)/(-25))/(-2)?
False
Let d = -589 - -245. Let n = 866 + d. Does 25 divide n?
False
Let f = 8268 + -4398. Does 387 divide f?
True
Let t(y) = 20*y + 30. Let z(u) = 20*u + 29. Suppose -p + d - 