 12 a factor of m(w)?
False
Suppose 56*f = -4*n + 61*f + 4390, 3*n - 3302 = -f. Is n a multiple of 7?
False
Suppose -119*h + 366755 + 307919 = 35*h. Is h a multiple of 17?
False
Does 26 divide 5224/2 + (-23 + 23)/(-6)?
False
Suppose 595960 = -5945*m + 5965*m. Is 11 a factor of m?
False
Let x(f) = 2*f + 16. Let c be -3 + (-1)/((-5)/(-15)). Let s be x(c). Let j = s + 50. Is 14 a factor of j?
False
Let v(u) = -u**2 + 14*u - 8. Suppose -2*f - 8 = m, 2*m - 2*f = 3*f - 61. Let l = m + 28. Is 16 a factor of v(l)?
True
Suppose 5*r + q = 84027, 4*r - 5*q - 88838 = -21570. Is r a multiple of 19?
False
Let v = 29550 - 14151. Does 14 divide v?
False
Let l(y) = -25 - 3*y + 9 + 4*y**2 - 3*y**2 - 12*y. Is 46 a factor of l(-12)?
False
Let y be (-8)/(-20) - -57*4/(-20). Let a be (-2 + (-12)/(-8))*(1 + y). Is 15 a factor of (4/(-10))/(a/1675*-1)?
False
Is 12 a factor of (0 - -54)*187/(-4)*(-16)/6?
True
Does 161 divide (-2)/(3 - (-118698)/(-471)*9/756)?
False
Let f = 176300 - 102928. Does 25 divide f?
False
Does 5 divide (2*6154/(-68))/(189/95 - 2)?
True
Does 70 divide (-4*50/80)/(2/(-15700))?
False
Suppose -3 = -l, 4*l - 12 = 3*o - 0*l. Suppose o = 9*b - 3054 - 1968. Is b a multiple of 18?
True
Let x = -176 + 178. Suppose -2*d - v + 440 = 2*d, -2*d + x*v = -210. Does 14 divide d?
False
Suppose -2*h + 3 = r - 8, -3*h = r - 15. Suppose 3*z - 765 = h*k, -4*z - 4*k = -6*z + 506. Let n = 448 - z. Is n a multiple of 7?
True
Suppose -39*w = -13*w - 136470 - 346038. Is 57 a factor of w?
False
Let c = 0 - 4. Let a be 6/7*(-14)/c. Suppose -3*w - 3*y = -195, 5*w - a*y - 72 = 213. Does 26 divide w?
False
Let y(z) = z**3 + 12*z**2 + 12*z + 6. Let n be y(-11). Let j be ((-9)/n)/(11/1705). Suppose p = 5*v + 267, 3*v - 4*v = p - j. Does 41 divide p?
False
Suppose -7*y = -14*y. Suppose 0*w - 5*w + 4*x + 1736 = y, 4*w - 1394 = -2*x. Does 29 divide w?
True
Suppose -i + 0*d = 3*d - 23, -5 = 5*d. Let q(f) = -i*f - 46*f + 3 + 1. Is 19 a factor of q(-1)?
True
Let k(s) = 2*s - 5. Let f be k(4). Let m = -2707 + 2729. Let h = m + f. Is h a multiple of 8?
False
Let d = -1260 + 3024. Is 63 a factor of d?
True
Suppose 4*i - 1 = -77. Let v be -2*1*(-6 + i - -6). Suppose v = n - 2*c, -233 = -4*n - 2*c - 91. Is 36 a factor of n?
True
Let k(c) = -c**3 + 7*c**2 + c - 6. Let n be k(6). Let u = -33 + n. Suppose -t + u*t - 5*b = 186, -b = 4*t - 350. Does 26 divide t?
False
Let j(d) = -223*d - 42. Let q(h) = -113*h - 21. Let f(b) = 3*j(b) - 5*q(b). Is 18 a factor of f(-7)?
False
Suppose 6*y - 11*y + 160 = 0. Suppose 5*g = 9*g - y. Suppose -164 = g*a - 884. Does 18 divide a?
True
Let m(s) = -13*s**3 - 9*s**2 - 10*s - 60. Does 106 divide m(-7)?
True
Let v = 8 - 11. Let a(d) = 8*d**2 + d - 9. Let x be a(v). Suppose -54 = -2*u - 4*s, -2*u + x = 3*u - 5*s. Does 17 divide u?
True
Is 8 a factor of 1*(-4 - (8/72 + 243408/(-27)))?
False
Suppose -14*s + 8*s - 30 = 0. Let d be s/5 + 2*-1 - -5. Suppose -d*o - 4*f - 228 = -4*o, 5*f = 20. Is o a multiple of 10?
False
Let b(w) = -12*w + 3 - 5 - 11. Let m be b(-12). Suppose -199 = -6*z + m. Is z a multiple of 11?
True
Let a = 19 + -27. Let c be (-1)/(a/6)*4. Suppose -19 = -c*k + 86. Does 5 divide k?
True
Let j(x) = -48*x + 696. Let k(n) = 3*n - 41. Let g(i) = 5*j(i) + 84*k(i). Is 8 a factor of g(27)?
True
Let j = 20398 + 12900. Is 11 a factor of j?
False
Let k(u) = -2*u**3 - 10*u**2 + 17*u + 5. Let x be k(-7). Suppose 0 = 3*w - 100 + x. Suppose 2*v - w*v + 4 = 0, 4*z - 20 = -4*v. Is z a multiple of 2?
True
Suppose 0 = -3*d + 2*x + 51834, 4*x = -2*d + 50146 - 15574. Does 54 divide d?
True
Suppose 17*j - 43*j + 278390 = -248370. Is 10 a factor of j?
True
Suppose 0 = 7*f - 271 + 278. Let j(g) = -1075*g**3 + g**2 + 4*g + 2. Is 33 a factor of j(f)?
False
Let g = 119 + -63. Let h = g + -94. Is (-16)/(-72) - h*86/36 a multiple of 31?
False
Suppose 1833*h = 1808*h + 270175. Is h a multiple of 48?
False
Let b(l) = -3*l**2 - 61*l + 24. Let m = -501 + 487. Does 5 divide b(m)?
True
Let f(t) = -3*t. Let i be f(-3). Suppose 160*m - 159*m = -11. Let r = i - m. Is r a multiple of 5?
True
Suppose -4*v = 4*r - 10820, 2*r = 5*v - 362 + 5814. Is r a multiple of 19?
False
Suppose -1678 + 131626 = 17*s. Does 49 divide s?
True
Let t(v) = -3*v**2 + 14*v - 2. Let b be t(4). Suppose 4*p = 4*i - 12, b*p - 5*i = 3*p - 15. Suppose -2*s = -p*s - 42. Is 2 a factor of s?
False
Suppose 0 = -2*j - 2*j + z + 572, 0 = j - 5*z - 143. Suppose -3*l - j + 434 = 0. Suppose 0 = -2*b - w + 141, l + 107 = 3*b + 4*w. Does 21 divide b?
False
Let g(r) = 25*r - 14. Suppose 4*o = -5*j + 52, -4*j - 2*o = -23 - 15. Let y be 12/j*8/3. Is 37 a factor of g(y)?
False
Suppose -427 = -7*d - 399. Suppose -2*s - 5*o + 413 = -69, d*s = 4*o + 1020. Is 28 a factor of s?
False
Let v = 265 + -162. Suppose 5*q + 3*w - v = 146, -4*w = 8. Is q even?
False
Let h(j) = 12*j - 229. Let q be h(19). Suppose 25 = -2*f - 2*u - 3, 0 = -5*u - 10. Is (f/8)/(q/16) a multiple of 12?
True
Let f(r) = -r**2 - 3*r. Let b be f(-3). Let m = 30 - b. Suppose -2*z - 4*y + 28 = 0, -m = 3*z + 2*y - 92. Is z a multiple of 4?
True
Let i = 30 + -26. Suppose -531 - 36 = -3*n - 3*u, i*n = 3*u + 770. Let j = -107 + n. Is 14 a factor of j?
True
Suppose -6 = -a - u, -u - 15 = -5*a + 21. Suppose d = 2*g - a*g + 105, -3*d - 4*g + 304 = 0. Does 3 divide d?
False
Let z be (16/(-9))/8 + 133/(-9). Is 15 a factor of (-4025)/z - 20/(-12)?
True
Does 18 divide 5988 - ((-26)/2 + 32 + -25)?
True
Let j = 140 - 138. Let y be -3 + (-2)/j - (-54 - 3). Is -6*(-202)/16 + y/212 a multiple of 38?
True
Let x(v) = 28*v**2 + 2*v + 2. Let i be x(-1). Let a = i - -9. Suppose 2*l + 2 = 5*b, -4*l + a = -2*b + 9. Is 3 a factor of l?
True
Suppose -g = -6, 67388 = 4*s + 7*g - 11*g. Is s a multiple of 134?
False
Suppose -1 = 2*w + 5*t - 27, 2*t - 17 = -3*w. Suppose l = -w*u + 229 + 678, -5*l = 4*u - 1224. Is 43 a factor of u?
True
Suppose -5*o + 43 - 917 = -2*c, 4*o = -2*c + 856. Is 16 a factor of c?
True
Is 16/(-11 + 3) - (-1950)/2 even?
False
Is 7 a factor of 8/(-22) - ((-516724)/209 - 20)?
True
Suppose -6*l + 5*l = -225. Suppose -585 = -5*a - 2*i + 540, a = -4*i + l. Is a a multiple of 19?
False
Let g = 13 + -1. Suppose 0 = 3*r - 33 - g. Suppose 5*v = -4*h + 96, 3*v - 16 - r = -h. Is 14 a factor of h?
False
Let s(f) = 26*f**3 - 15*f**2 + 23*f + 6. Does 13 divide s(4)?
False
Suppose 12*a - 13*a + 2255 = 5*n, 2*a = 6*n + 4430. Does 10 divide a?
True
Suppose n - 2 = 5*s - 7*s, -3*n - 3*s = -6. Suppose -z + 41 = -0*w + 2*w, -n*w = 4*z - 164. Does 7 divide z?
False
Let j(g) = 9*g**3 - 17*g**2 - 84*g + 24. Let v(o) = -2*o**3 - o**2 + 2*o + 1. Let t(d) = -j(d) - 4*v(d). Does 17 divide t(24)?
True
Suppose -3*y = 6*y + 549. Let a = 41 + y. Is (-195)/(-2)*(-32)/a a multiple of 32?
False
Suppose -2*h + 1630 = 3*h + 4*w, -2*w = 5*h - 1640. Suppose -18*g = -12*g + h. Let m = 88 + g. Does 11 divide m?
True
Let s = 95 + 250. Suppose -393*u + s = -390*u. Is u even?
False
Let w = 3 - -13. Suppose -2*d = w - 28. Does 21 divide 693/11*8/d?
True
Let z(t) = -t + 263. Let n be z(0). Let l = n + -38. Suppose -l = -6*c + 957. Is 15 a factor of c?
False
Let s(z) = -664*z + 662. Is 103 a factor of s(-5)?
False
Is 102 a factor of 24 + 108/(-18) - -3348?
True
Suppose -f + 4*p = -624, -3 - 2 = p. Suppose 134*x - 138*x + f = 0. Is 31 a factor of x?
False
Suppose -9*g + 12 = -5*g. Let p(q) = -10 + q - 9*q**2 - 19*q - 4 - g + q**3. Is 29 a factor of p(12)?
False
Let d be (-28)/280 - 138/20. Let c(j) = -2*j**3 - 10*j**2 - 7*j - 11. Does 26 divide c(d)?
True
Suppose -58*n = -10*n - 4*n - 178464. Is 24 a factor of n?
True
Is 42 a factor of (918/(-15)*-2)/(2784/(-560) - -5)?
True
Suppose l + 5*m = 9550, -9*m + 7*m = -5*l + 47588. Is l a multiple of 14?
True
Let i = 3868 + -2810. Does 11 divide i?
False
Suppose 2*g + 130 = -24*g. Is (g - (-6 - 2))*126 a multiple of 14?
True
Suppose 4*g = -3*u + 3 - 38, 0 = 2*u + 2. Let f(i) = i + 14. Let h be f(g). Suppose -h*l + l = -540. Does 27 divide l?
True
Suppose -4*z - 4*m = -211724, 34*m - 33*m - 158779 = -3*z. Does 12 divide z?
False
Suppose 0 = -6*q + 6 + 24. Let d(v) = 6*v**2 + 2*v + 15. Is 5 a factor of d(q)?
True
Suppose 37813 = 189*p - 55351 - 154048. Is p a multiple of 109?
True
Suppose 0 = -169*l - 52*l + 387192. Does 12 divide l?
True
Let p = -2092 + 5142. Suppose 17*t