215. Is 2 a factor of u?
False
Let n = -93 + 234. Suppose -5*d + 10 = 0, -d + n - 712 = -3*l. Is l a multiple of 6?
False
Let i = 65 - 47. Is 19 a factor of (-1708)/(-9) - (-4)/i?
True
Let x(i) = 6*i + 64. Let r be x(5). Suppose -77*m + r*m - 9180 = 0. Does 45 divide m?
True
Let m be (12/15)/((4/2055)/2). Let c = m - 333. Is c a multiple of 9?
False
Let a = 20 - -4. Let v = -21 + a. Suppose 3 + 32 = j + v*w, 0 = 4*j - 3*w - 200. Does 11 divide j?
False
Suppose -47144 = -764*i + 761*i + 5*y, 2*y + 15716 = i. Does 119 divide i?
True
Let k(a) = 16*a**3 + a**2 + 23*a - 16. Does 6 divide k(4)?
True
Let t(o) = -o**3 - 24*o**2 - 3*o + 11. Let j be t(-24). Let u = -30 + j. Let y = u - 34. Does 5 divide y?
False
Let j be 1*(-2 + 8 + -3 + -1). Suppose -3*w + 4*x + 1608 = 0, j*w + x = 1587 - 526. Is 14 a factor of w?
True
Does 3 divide 156735/172*(-96)/(-10)?
True
Suppose 2*l - 64594 = -2*f - 21338, 0 = 8*l + 48. Does 35 divide f?
False
Suppose 91*k - 15960 = -42*k. Is 6 a factor of k?
True
Suppose 12136 = 2*y - 5*m, 1038*y - 1042*y = 5*m - 24242. Is 32 a factor of y?
False
Let c(u) = 21*u - 14. Let t be c(1). Let l(f) = 49*f - 171. Is 43 a factor of l(t)?
True
Suppose 2*u = 3*u, 3*u - 3 = 3*v. Is 10 a factor of (-2020)/(-10) + 1/v*2?
True
Let u = 28 + -28. Suppose -2*d + 9*d + 98 = u. Does 4 divide d/(-49)*7*(-12)/(-2)?
True
Suppose 4*j - 4*g - 100102 - 19050 = 0, 3*g = -2*j + 59596. Is j a multiple of 83?
False
Let c(l) = 0 - 481*l + 389*l - 2. Does 9 divide c(-1)?
True
Let o(i) = 581*i - 494. Is o(25) a multiple of 232?
False
Let p(y) = 8*y + 2*y**2 - y**2 + 2*y**2 + 1 + 2. Let b be p(10). Suppose 3*c - 4*k = k + b, 3*k = 5*c - 633. Does 18 divide c?
True
Suppose -29*m + 4*p - 12994 = -32*m, 0 = 5*m + 4*p - 21662. Does 22 divide m?
True
Suppose 0 = 6*m - 76 - 86. Suppose m*c - 20*c - 630 = 0. Is 11 a factor of c?
False
Suppose 20*h = 121073 - 18433. Does 29 divide h?
False
Let i(p) = 25*p**3 + 2*p**2 - p - 1. Let k be i(-1). Let f = 18 + k. Does 39 divide 3/(5 - -1)*(-580)/f?
False
Let d = -13962 + 21278. Is d a multiple of 57?
False
Suppose 250*j + 75762 = 256*j. Is j a multiple of 20?
False
Let b = 18 + 3. Let k be ((-12)/b)/(3/(-42)). Suppose 22 = k*q - 74. Is 6 a factor of q?
True
Let d(q) = -18*q**3 - 24*q**2 - 11*q - 30. Is d(-6) a multiple of 18?
True
Let o = 65 - 63. Suppose y - 27 = h - 177, -3*h = -o*y - 446. Does 7 divide h?
False
Suppose 7*m + 585 - 11533 = 0. Is 52 a factor of m?
False
Is 59 a factor of 5*66902/10 + 10?
False
Let h(n) = n**2 - n - 1. Let d be h(3). Suppose -2*l - 3*j = 8, 18 = -9*l + 8*l - 5*j. Suppose -d*m - l*p + 416 = 0, -4*p + 18 - 6 = 0. Is m a multiple of 13?
False
Let d = 3375 - 2325. Does 3 divide d?
True
Let z = -28 + 4. Let u = z + 27. Suppose u*b = -2*g + 118, -236 = -4*g - 0*b - 2*b. Does 15 divide g?
False
Suppose 456 = -3*l - 3*l. Let h = l + 202. Suppose d - 8*d + h = 0. Is d a multiple of 6?
True
Suppose -8*j = -90162 + 7426. Is j a multiple of 11?
False
Suppose 26477 = -17*d + 46*d. Let m = -354 + d. Does 43 divide m?
True
Is 246*1/1*80/(-50)*-20 a multiple of 96?
True
Let c = 311 - 276. Suppose 3*b + 3777 = 3*y, -2*b + 0*y = 3*y + 2503. Is 18 a factor of 1 + c/(-45) + b/(-18)?
False
Suppose -67 - 38 = -3*l. Suppose -l - 1 = -9*d. Is d even?
True
Let g be 2*3/18*(-3 - -285). Let x = 181 - g. Is 30 a factor of x?
False
Let m = -4355 + 13942. Does 129 divide m?
False
Let a(b) = -9*b - 45. Let z(j) = -4*j - 23. Let n(x) = 6*a(x) - 13*z(x). Let y be n(12). Is (-3)/((-6)/(-23)*y/(-40)) a multiple of 23?
True
Let c = -855 + 543. Let g = 216 - c. Does 60 divide g?
False
Let j = -576 + 690. Suppose 8*u - 5*u = -2*h + j, 4*h + 60 = 2*u. Is 36 a factor of u?
True
Let w = -71 - -74. Suppose w*g = 4*s + 209, -s + 4*s - 12 = 0. Let m = 126 - g. Is 16 a factor of m?
False
Let w be (-62)/(-14) + 24/42. Suppose -2*k + 387 = -4*b + 1173, 4*b + w*k - 779 = 0. Is b a multiple of 6?
False
Let i(w) = w**3 + 37*w**2 - 58*w - 196. Is 137 a factor of i(-21)?
False
Suppose -5*p - 10*p = 4*p - 316008. Is p a multiple of 77?
True
Let w(f) = -f**2 + 19*f - 42. Let a be w(17). Let j be (-1 + 0)*(7 + a). Is 18 a factor of ((j - 4) + -129)*3/(-6)?
False
Let z(r) = 7*r**2 - 9*r - 61. Let w be z(-14). Let y = w + -659. Does 27 divide y?
False
Suppose 2*u - 3*u = -4*s - 92, -3*u + 2*s = -266. Suppose -21*f + 20*f + u = 0. Is 11 a factor of f?
True
Suppose -4*h - 135956 = -49*h + 657034. Is 18 a factor of h?
True
Let z be -2*1 - (88 - 15/(-5)). Let r = 112 + z. Does 5 divide 26 + r + (2 - 0)?
False
Let k(i) = -2*i**3 - 33*i**2 - 17*i - 10. Let d be k(-16). Suppose 4*f = -5*s + 925, -d*f + 11*f - 1150 = -5*s. Does 9 divide f?
True
Let b = 28 - 17. Let n be -6 + (73/(-4))/((-1)/4). Suppose n + 142 = b*v. Is 2 a factor of v?
False
Let q = 5514 + 12644. Is q a multiple of 11?
False
Suppose -h - 2*x = -914, 3*x = -2*h + 6*h - 3678. Suppose -7*s = 2*s - h. Does 9 divide s?
False
Let x(v) = 464*v**2 - 81*v + 24. Is x(-5) a multiple of 148?
False
Let q = -5173 + 9098. Is 157 a factor of q?
True
Suppose -21*a = 3*a + 1008. Suppose m - 3*j = 2*m + 28, -3*m - 84 = -4*j. Is 4 a factor of m/a + (-440)/(-6)?
False
Let b(g) = 3*g**2 + 21*g - 34. Let l be 3/(-6) - (-363)/(-22). Is b(l) a multiple of 5?
False
Let i(m) = m**3 - m**2 - 20. Let h be i(5). Let x = h + -80. Suppose 4*p - 91 - 5 = x. Is 2 a factor of p?
True
Suppose -2*i - 3 = -7, -3*p + 3*i = 15. Is 141/(15/5) + (-3 - p) a multiple of 3?
False
Let g(n) = 14*n + 28. Suppose 8*x - 29 - 19 = 0. Is 16 a factor of g(x)?
True
Let z = -562 - -590. Suppose -952 = z*q - 32*q. Does 67 divide q?
False
Suppose -127*y + 5*m - 9195 = -132*y, -m = -2*y + 3684. Is y a multiple of 12?
False
Is 29 a factor of 247710/8 - ((-3379)/(-436) + (-1 - 7))?
False
Suppose -8 = 2*h, -4*b + 24 = 3*h - h. Suppose -4*v - 992 = -b*v. Does 13 divide v?
False
Let q(n) = -n**2 - 8*n + 8. Let c be q(-7). Let y be ((-4)/(-6))/(2/c). Suppose -5 = w, -8*i + y*i + 129 = 3*w. Does 16 divide i?
True
Let g be (0 + -3 - -18)*(-3)/(-9). Suppose g*s - 276 = -3*c, -7*s + c = -2*s - 268. Is s a multiple of 18?
True
Let r = -454 - -456. Does 15 divide ((-18)/(-27))/(r/4005)?
True
Let z(k) = 30*k - 271. Suppose -5*o + 12*u = 14*u - 191, u = 2*o - 80. Is 31 a factor of z(o)?
True
Suppose -95*j - 1056 = -97*j + 2*o, o - 1584 = -3*j. Is 11 a factor of j?
True
Suppose 0 = 3*m - 0*y - 3*y - 3, -3*m = -y + 7. Let g(z) = 187*z - 8. Let n be g(m). Does 21 divide (-2 + 3)/((-6)/n)?
True
Suppose -8*n + 23*n = 2*n + 104078. Does 10 divide n?
False
Suppose 5*y = -3*w + 8, -28 = -5*w - y - 0*y. Suppose -w*c + 393 = -477. Is c a multiple of 29?
True
Suppose 0 = 5*y - 4*a - 35, -2*y = 2*y + 2*a - 2. Suppose -15 = -k + y. Suppose 2*d - 2*z - 48 = 2*z, -z + k = d. Does 3 divide d?
False
Let m = -20738 + 36492. Is m a multiple of 43?
False
Let t(n) be the first derivative of -n**4/2 - 5*n**3 + 6*n - 47. Is t(-8) a multiple of 5?
True
Let z = -6420 + 10032. Is z a multiple of 42?
True
Suppose 5*l - 18 = 2*l. Let b be (l + -3)/(-3) - 11*-1. Does 21 divide 46/(2*2/b - 0)?
False
Suppose 0 = 2*r - 4*f - 16, 20 = -5*r - 0*f - 5*f. Let q(c) = -8 - 8 - 2*c + 62. Is q(r) a multiple of 10?
False
Let t be (-12)/(-15)*(-3680)/32. Let k = 204 + t. Does 14 divide k?
True
Is 2 a factor of (-508)/(-5) + ((-22)/20 - (-51)/34)?
True
Let h be (65/(-15))/((-1)/(-3)) + 0. Let c be h*(-2 + 0) + -3. Let x = c - -10. Is 11 a factor of x?
True
Let p be ((-69)/2 - 6)*-2. Let g = 560 - p. Is 23 a factor of g?
False
Let b(s) = 100*s**2 - 51*s - 351. Is 18 a factor of b(15)?
True
Suppose -6*h = -56 - 16. Is 51 - (-6)/h*-12 a multiple of 9?
True
Let s(j) = 9*j + 11187. Is s(0) a multiple of 16?
False
Let z be 7/(-14)*-67*2. Let l = -168 + z. Let t = l + 213. Is 8 a factor of t?
True
Suppose -r + u - 204 = -877, -4*u + 1322 = 2*r. Suppose 0 = c + 5*i + 38 - 280, 3*c = 4*i + r. Does 52 divide c?
False
Let s(d) = 19 + 3 - 4 - 4 + 9 + 102*d. Is s(7) a multiple of 27?
False
Let h = -1128 - -2350. Is 4/(-26) + 260474/h a multiple of 14?
False
Let v = 699 - 1322. Let a = 5 - v. Does 8 divide a?
False
Let n(a) = -150*a + 22*a**2 + 57*a + a**3 + 29 + 53*a + 57*a. Is n(-21) a multiple of 7?
False
Suppose -2*h = -4*n - 20048, 4*n = 2*n + 10. Does 58 divide h?
True
Suppose 0 = b - 3*s - 872 + 337, 