50. Does 99 divide m?
False
Suppose 32*x + 45 + 115 = 0. Let m(f) = 14*f**2 - 2*f - 31. Does 10 divide m(x)?
False
Suppose -3*b + 5*y + 25 = 0, b - 6 = -y - 3. Suppose 5*q - 2355 = b*t, -5*q - t + 2359 = -4*t. Is 43 a factor of q?
True
Let b be (-8)/((-128)/(-3608))*2. Let i = b - -559. Is 9 a factor of i?
True
Suppose 40 = -9*j + 4*j. Let d = -3 - j. Suppose d*s - 34 = -u, 0 = s + 2*s - 6. Is 6 a factor of u?
True
Let w = -760 + 752. Is (w/(-12))/((-7)/(-21)) + 78 even?
True
Let l be (-20)/150 - 437/(-15). Suppose 7 - l = 3*c - 2*k, -4*c - 2*k = 48. Does 2 divide c/(0 - 5) - -2?
True
Let f(x) = 263*x**2 - 66*x + 13. Does 79 divide f(6)?
True
Suppose 0*s + 32 = 16*s. Suppose -8*f + 13*f + 5*w = 80, -w - 41 = -s*f. Is f a multiple of 19?
True
Suppose 473*n + 76 = 477*n. Let f(z) = z**3 - 14*z**2 + 2*z - 151. Is f(n) a multiple of 15?
False
Let b be (4*1/12)/((-2)/3522). Let l = -280 - b. Is 52 a factor of l - (0/3 - 5)?
True
Suppose -505*k - 40 = -513*k. Suppose -2*h - 3*s - 96 = -619, 5*s - 1315 = -k*h. Does 26 divide h?
False
Let h(t) = -6*t - 6. Let q be h(-6). Let a(w) = -q + 2*w + 5 + 5*w + w. Does 13 divide a(8)?
True
Let n(d) = -d**2 - 25*d + 166. Let u be (2/(-4))/((-10)/(-340)). Is n(u) a multiple of 8?
False
Does 53 divide 742*(13 + -30 + 18)?
True
Let x = -2463 - -3144. Is x a multiple of 4?
False
Is 59 a factor of 87/203 + 150326/14?
True
Suppose -6460 = -5*k - 3*l, -3*k = -9*l + 5*l - 3876. Let a = -491 + k. Does 23 divide a?
False
Is (-1 + -1)*7951931/(-502) a multiple of 264?
False
Suppose -17*f + 22*f = 0. Suppose 0 = -2*k + 5*u + 17 + 1, -3*u - 6 = f. Is (-2)/k + 382/12*3 a multiple of 21?
False
Let g be 57*(25/(-15) - -2). Let s = 94 - g. Suppose 2*z = 6*z - 4*p - 168, 2*z - s = -p. Is z a multiple of 13?
True
Is 23 a factor of 10/525*-7 - (-6 - 1354808/60)?
True
Suppose -435 = 54*i - 57*i. Suppose 0 = -3*k - 2*d + i, -44 = -k + 3*d - 8*d. Let s = k - 40. Does 9 divide s?
True
Suppose 60*r - 11*r - 10889 = 30271. Does 7 divide r?
True
Suppose -5*c = -26 - 9. Let w(y) = 1 - 2 + 3*y + 7 + y**2 + 5*y. Is w(c) a multiple of 16?
False
Suppose -4*t + 18 = -x, 4*t - 4*x - 13 = 11. Suppose 0*k + 2*k = t*y + 1568, -1608 = -2*k - 4*y. Is 5 a factor of k?
False
Suppose 14*n + 244 = 10*n. Let c = n - -118. Suppose 5*f - 14 = -2*u + 43, 0 = 3*u - 2*f - c. Is 7 a factor of u?
True
Suppose -3*w + 46410 = -151*t + 154*t, 4*w = -3*t + 46413. Is 7 a factor of t?
False
Suppose 26*r - 16*r - 6380 = 0. Suppose 2*l - r = 4*j, 7*l - 5*j - 304 = 6*l. Does 7 divide l?
True
Let m(v) = 15*v**3 - 7*v**2 + v - 6. Let t(n) = -44*n**3 + 20*n**2 - 2*n + 18. Let o(c) = 17*m(c) + 6*t(c). Suppose 59 = -3*u + 53. Is o(u) a multiple of 36?
True
Let k(u) = 55*u + 79. Let y = 30 + -26. Is 11 a factor of k(y)?
False
Suppose -s = 2*a - 12, 2*a + 5*s - 4 = 2*s. Suppose q - a - 21 = 0. Let y = 21 + q. Is y a multiple of 10?
True
Suppose 0 = 21*k - 13764 + 387. Is k a multiple of 3?
False
Suppose -5*l + 1872 = -2*h, -16*l + 377 = -15*l - 3*h. Let z = l + -329. Is 25 a factor of z?
False
Suppose -692*q - 409752 = -710*q. Is 21 a factor of q?
True
Does 3 divide (3688/6)/(((-1)/2)/(54/(-36)))?
False
Let z = 22 + 151. Suppose 435 = f + 5*x + z, 726 = 3*f - 5*x. Suppose 2*j - 7*j + 479 = 4*v, 2*v + j - f = 0. Does 14 divide v?
True
Suppose 7*k + 27 = 10*k. Suppose n + 4 = k. Suppose -509 + 179 = -n*y. Is 22 a factor of y?
True
Suppose 0 = r - 2*r - 1. Let p(x) = 171*x**2 - x - 2. Let c be p(r). Suppose c = -10*f + 15*f. Is 17 a factor of f?
True
Suppose 4*z + 3*n = -716, 5*n + 0*n = 3*z + 508. Let i = -144 - z. Is i a multiple of 6?
False
Let l(m) = 10*m**3 - 6*m**2 + 1 - 11*m**3 - 5 - 6. Let a be l(-6). Let i(s) = -16*s - 25. Is 27 a factor of i(a)?
True
Let w(t) = 193*t - 670. Is w(21) a multiple of 22?
False
Suppose 2*q = 3*q - 4*w - 24, -5*q + 4*w + 56 = 0. Suppose 354 = -q*d + 3018. Is d a multiple of 34?
False
Let d(p) = -61*p - 138. Let q(j) = -20*j - 45. Let s(g) = 2*d(g) - 7*q(g). Does 15 divide s(7)?
True
Let z be 2*((-35)/(-21) + 6/(-9)). Suppose 0 = 2*o + 3*o - z*i - 2295, -5*o - 2*i + 2295 = 0. Is 17 a factor of o?
True
Suppose 7*o - 4*o - 123 = 3*d, -4*d - 169 = -5*o. Let a(v) = -24*v + 46. Is a(d) a multiple of 26?
True
Let l(g) = -12*g - 17. Let w(s) = -13*s - 18. Let i(d) = -2*l(d) + 3*w(d). Let p be ((-12)/(-2))/(((-3)/(-3))/(-1)). Is i(p) a multiple of 19?
False
Suppose -13*i + 11 = -15. Suppose -3*p + 3*f = -i*f - 736, -4*f - 243 = -p. Is 7 a factor of p?
False
Is (-32)/(6*12/(-109512)) a multiple of 338?
True
Suppose 5*f - 10 = 5*j, 0 = -4*f + 11*j - 9*j + 14. Is 2/(-14) - (93270/(-42))/f a multiple of 21?
False
Suppose 16*x = 12*x + 9624. Suppose 5*a - 3*r + 603 = x, 5*a - 4*r - 1804 = 0. Does 21 divide a?
False
Let s(o) = 21553*o**2 - 406*o + 405. Does 24 divide s(1)?
True
Let g(x) = -690*x + 195. Is 87 a factor of g(-3)?
False
Let o(i) = i**3 - i. Let f(v) = v**2 + v + 187. Let l(n) = -f(n) + o(n). Let t be l(0). Let p = -79 - t. Does 12 divide p?
True
Let f = -68 + 71. Let c = f + 202. Is c a multiple of 15?
False
Let i(x) = -x**2 - 18*x - 76. Let u be i(-8). Suppose 0 = u*n - 3*b - 739, 0 = 3*n - n - 3*b - 365. Does 17 divide n?
True
Let r = -23746 + 42226. Is r a multiple of 13?
False
Let a(q) = -16*q**3 - 16*q**2 + 26*q + 198. Is 48 a factor of a(-9)?
False
Let o = 449 + 705. Suppose 0 = -1151*b + o*b - 999. Does 23 divide b?
False
Let r(c) be the first derivative of c**4/3 - 17*c**3/6 - 9*c**2/2 - 17*c + 7. Let s(a) be the first derivative of r(a). Is s(8) a multiple of 37?
True
Let r = -13419 - -44961. Is 14 a factor of r?
True
Suppose -5*c - b + 20 = -c, 0 = 5*c - b - 16. Suppose -2*o = -o - c. Suppose 37 = -o*s + 253. Is 9 a factor of s?
True
Let b(p) be the second derivative of 11*p + 1/2*p**2 + 0*p**3 + 0 - 1/6*p**4 + 21/5*p**5. Is b(1) a multiple of 21?
False
Let t be -14 + ((-3)/2 + 0)*-2. Does 33 divide 62 - ((-2)/t + (-92)/22)?
True
Let a(s) = s**3 - 2*s**2 - 36*s - 21. Let f be a(-7). Let q = f - -249. Does 13 divide q?
True
Let h(u) = 4*u**3 - 3*u**2 - 2*u. Let w be h(4). Suppose 0 = 6*n + 2*r, -2*r + r = 2*n - 2*r. Suppose n = -5*f + 55 + w. Is f a multiple of 17?
True
Does 21 divide (-543984)/(-212) - 34/(-901)?
False
Let j = 2505 + -2177. Is j a multiple of 2?
True
Let k(p) = p + 8. Let d be k(-5). Suppose -f - l = 0, -5*l = -d*f - 16 + 48. Let x(b) = 16*b - 24. Is x(f) a multiple of 40?
True
Let y(i) = 18 - 5*i - 2 - 81. Does 11 divide y(-24)?
True
Let x(v) = 10*v**2 + 2*v + 5. Let r(i) be the second derivative of i**3/6 - i**2/2 + 10*i. Let c(d) = 2*r(d) + x(d). Does 5 divide c(-3)?
False
Let n = 422 - 417. Suppose n*r - 3*u - 43 - 137 = 0, 108 = 3*r + 2*u. Is r a multiple of 19?
False
Let t = 15050 + -7039. Does 25 divide t?
False
Suppose 19 = -19*f - 38. Let i(k) = 4*k**2 - 29*k - 79. Does 22 divide i(f)?
True
Let x(g) be the second derivative of g**5/20 - 2*g**4/3 + 2*g**3 - 8*g**2 - g - 69. Is x(7) a multiple of 11?
False
Let r be 2/(-9) - ((-3850)/(-45))/(-7). Suppose -r*v = 3 + 33. Is (4 + 528/(-18))/(2/v) a multiple of 5?
False
Let d(j) = 15*j**2 - 108*j - 1789. Does 37 divide d(-25)?
True
Let u(w) = 953*w**3 - 2*w**2 - 12*w + 5. Does 71 divide u(2)?
True
Does 48 divide (-11021)/206*(-4)/6*144?
True
Suppose 5*u + 273 = 58. Let l = u + 47. Does 12 divide (l - 1)/(1/4)?
True
Suppose -1 + 0 = -v. Is (v*(-198)/(-15))/((-3)/(-90)) a multiple of 9?
True
Suppose -21*k = -97 + 13. Is 17 a factor of (37 - 131)*k/(-2)?
False
Suppose 211 = -4*f + 223. Suppose -4*j + 2*d + 162 = -0*d, -4*j + 177 = f*d. Is 6 a factor of j?
True
Is ((960/84)/(-1))/(-1 + 15/21) a multiple of 39?
False
Suppose 2*y - 4*s = 7446, 18*y - 19*y = s - 3735. Does 20 divide y?
False
Suppose -4*g = 8*g + 4212. Is 5 a factor of (-1)/((-9)/(-2)) - 31668/g?
True
Suppose 5*j - 47 - 118 = 0. Let g(d) = 10*d - 42. Is 32 a factor of g(j)?
True
Is 10 a factor of (-2)/((-10)/(-1)) - (-66121286)/830?
False
Suppose 5*i + 124*h - 3304 = 128*h, 3301 = 5*i - h. Does 20 divide i?
True
Suppose 4*g - 12 = 0, 2*y - 25 + 40 = g. Let k = -6 + 9. Is 324/k - (y + 8) a multiple of 22?
False
Let k be ((-12)/(-48))/(4/(-4112)). Let r = 3 - k. Does 13 divide r?
True
Suppose -19*m + 125*m = 757264. Does 8 divide m?
True
Suppose -w = -208*y + 207*y + 10081, 0 = 2*y - 3*w - 20163. Is 72 a