d - u + 31 = 0, -d + 4*u - 26 = -7. Let w = d + -17. Let a = -14 - w. Is 10 a factor of a?
True
Let m(y) = -214*y**3 - y**2 + 6*y - 13. Let l be m(-4). Suppose -l + 843 = -16*r. Is r a multiple of 32?
True
Let l = 772 - 624. Let q = l + 126. Is q a multiple of 21?
False
Let n = 64675 - 38930. Is 271 a factor of n?
True
Let o = 38702 - 944. Is o a multiple of 29?
True
Suppose -2008 = -7*l - 14*l + 13553. Is l a multiple of 57?
True
Suppose 157*m - 112*m = 125280. Is 48 a factor of m?
True
Let w(u) = 7*u**2 + 11*u + 2. Let v be w(-7). Suppose -3*n + 524 = -v. Suppose 4*j = 3*j + 5*b + 50, -4*b - n = -4*j. Does 14 divide j?
True
Let m = 20 + -10. Let s be -1 + -4*(-69)/6. Suppose -m*f + 9*f + s = 0. Is 25 a factor of f?
False
Suppose 16 = 5*x - 44. Let v = -11 + x. Does 2 divide (45/10)/v*2?
False
Suppose 12*c + 1823 - 78881 = -6*c. Is 119 a factor of c?
False
Let t be (1 + 0 - -3)/(-1). Let o(m) be the second derivative of m**4/2 + m**3 + 4*m**2 - 6*m + 2. Is o(t) a multiple of 16?
True
Suppose 294*q - 191724 = 255*q. Does 16 divide q?
False
Let g(d) = -d**3 - 15*d**2 - 3*d + 17. Let a be (-6)/((-144)/40)*(-18)/2. Let t be g(a). Suppose 4*y = -2*b + 330 + t, -2*b = -5*y + 490. Is y a multiple of 14?
True
Let l be (0 - -130) + 8*6/6. Let b be 2 - (-1 + -120 + -1). Let r = l - b. Is 14 a factor of r?
True
Suppose 2*r = -o + 5, 20 + 0 = 4*o + 5*r. Let k = -498 - -551. Suppose o*n = -k + 233. Is n a multiple of 9?
True
Suppose -329430 = -6*q - 32*q + 2405354. Does 13 divide q?
True
Let b(v) = 33222*v + 337. Is b(1) a multiple of 33?
False
Suppose 0 = -3*g + 3*r + 8271, 4*r - 74 = g - 2810. Is g a multiple of 3?
False
Suppose 7*y + 4*z = 10*y - 15551, 5*y - 2*z = 25937. Does 13 divide y?
False
Suppose 0 = 5*v + 3*c - 61, -7*c = -2*v - 2*c + 43. Let f(b) = -b**3 + 15*b**2 - 13*b - 10. Let y be f(v). Suppose y*x - 3 = 41. Is 4 a factor of x?
False
Suppose -3*r - 87 = -96. Suppose r*d - 322 = 221. Does 14 divide d?
False
Let h(c) = -16*c - 18. Suppose 20 = -8*g + 76. Let w be h(g). Let q = -87 - w. Is 4 a factor of q?
False
Let m(p) = -123*p - 70. Let i be 48/(-9) + 6 + (-11)/3. Is 6 a factor of m(i)?
False
Let z(b) = -b**2 + 23*b + 28. Let c be z(22). Suppose 29*t + c = 34*t. Suppose t*y = 14*y - 216. Is y a multiple of 19?
False
Suppose -3*o - 5*u = -2085, 3*u + 0 - 9 = 0. Suppose 10*n + o = 15*n. Let g = n + -18. Is 30 a factor of g?
True
Suppose 127*z - 12448 = 111*z. Is 64 a factor of z + (-64)/(-416) + 126/26?
False
Is (19/19)/5 + (-263518)/(-10) a multiple of 72?
True
Suppose 0 = 30*h - 5*h - 1125. Suppose -a + h = -15. Does 12 divide a?
True
Suppose -5*j - 10112 = -5*a - j, 0 = -a - 5*j + 2034. Suppose 68*n = 45*n + a. Does 22 divide n?
True
Let d = 44961 + -22521. Is d a multiple of 55?
True
Let c(k) = 816*k**2 - 940*k + 2816. Does 5 divide c(3)?
True
Let n = 2600 - 1278. Suppose -2*m - 4*g + n = 0, -2*g = -5*m - 0*m + 3257. Does 9 divide m?
False
Suppose 2*b + 1696 = 4*w, -b + 1267 = 6*w - 3*w. Suppose 0*j + w = j. Is 47 a factor of j?
True
Suppose -4*j - 4*v + 20 = 0, -3*j + 8*j - 5*v = 5. Suppose -a - 167 = -2*f, j*f - f + 2*a = 170. Is f a multiple of 12?
True
Suppose 0 = 9*v - 6*v. Suppose -2*f + 91 - 23 = v. Let d = 83 - f. Does 13 divide d?
False
Let a(f) = -3 + 854*f**3 + 865*f**3 - 1739*f**3 - 3*f + f**2. Is 7 a factor of a(-1)?
True
Let f be 5676/(-6) - -6 - 4. Let n = f + 1453. Is n a multiple of 11?
False
Suppose -5*d + 3004 = -3746. Does 25 divide d?
True
Let q = 1839 - 51. Suppose -860 = -8*g + q. Is g a multiple of 60?
False
Suppose -467*r + 492*r - 547575 = 0. Is r a multiple of 54?
False
Let c = 473 - 162. Let q = 507 - c. Does 7 divide q?
True
Let z = -22 - -29. Suppose -z*b + 15*b = 1288. Let u = b - 121. Is u a multiple of 10?
True
Let y = -41040 - -74170. Is y a multiple of 11?
False
Let y(r) = 18*r**2 + 6*r - 48. Let x = -804 - -809. Does 12 divide y(x)?
True
Let z(s) = s**3 + 16*s**2 - 5*s - 89. Let x be z(-16). Is 20 - (-7 - x - 4) a multiple of 2?
True
Let a = -50 - -114. Let h = a - -68. Is 22 a factor of h?
True
Let f be (105/10)/((-2)/(-4)). Suppose 7*w + 87 = 2*i + 10*w, 24 = i - 5*w. Let m = i + f. Does 12 divide m?
True
Is ((-64)/416 + (-128)/13)*-52 a multiple of 4?
True
Suppose 5*m - 4*j = 13, j - 42 + 19 = -4*m. Suppose 0 = 4*a - 4*u - 8, u - 4 = m*u. Is 6 a factor of (-1)/4 - a/((-20)/1085)?
True
Suppose 14*k - 3790 = -290. Is k + 4 + -1 + -2 + 1 a multiple of 3?
True
Let c(o) = 17*o**2 - 63*o + 564. Is c(8) a multiple of 2?
True
Let i(t) = 2*t**2 - 2*t + 9. Let a(w) = w**2 - w - 2. Let j be a(3). Suppose -3*n + 4 = -j*n. Does 22 divide i(n)?
False
Let a(p) = p**2 + 11*p - 5. Suppose 1 = -3*n - 2, 5*r - 5*n = -15. Let i be r/(-24)*-3*36. Is 34 a factor of a(i)?
False
Let r(c) = -c**3 - 8*c**2 + 8*c - 7. Let s be r(-9). Suppose s*o + 10 = -2. Does 10 divide (o/(-2))/((-194)/100 + 2)?
True
Suppose -58*c = 70*c - 93*c - 382270. Does 86 divide c?
True
Let o = -11 + 17. Suppose -o + 3 = -t. Suppose 3*y + f = -t*f + 384, -f + 3 = 0. Is 28 a factor of y?
False
Let b(q) = -2912*q**3 + q**2 + 7*q + 5. Does 19 divide b(-1)?
False
Suppose 0 = -4*k - 28, 5*q + 2*k + 5759 = 51975. Does 6 divide q?
True
Let z be (-7765)/(-130)*8 + 2/13. Suppose 0 = 3*s - z - 458. Is 9 a factor of s?
False
Is 26 a factor of 1/(2/24595)*((-117)/(-15) + -7)?
False
Let v = 1140 + -56. Is 2 a factor of v?
True
Is 81 a factor of (118089/(-12))/(63/(-84))?
False
Suppose -196 = 3*b - 2*j - 628, -2*b - 4*j = -272. Let v = b - 134. Does 7 divide (13 + -5)/v*(34 - -1)?
True
Let k(y) = 487*y - 1423. Is 82 a factor of k(27)?
True
Let t = -131 + 135. Suppose 5*n + i = 602, -5*i + 611 - 121 = t*n. Is n a multiple of 24?
True
Suppose -3*d - 9 = 0, 5*b - 3336 = 4*b - 4*d. Is 6 a factor of b?
True
Let w = -760 - -1111. Let x = w + -619. Is x/(-2) - -4*1 a multiple of 23?
True
Suppose 4*a - 20 = -a. Suppose 5*f + i - 1044 = -45, 0 = -a*f - i + 800. Let s = -97 + f. Is 24 a factor of s?
False
Let s(f) = 2*f**2 + 11*f - 8. Let h(y) = y**2 - 17*y + 7. Let x be h(16). Let i be (x/(-6))/((-12)/56). Is s(i) a multiple of 13?
True
Suppose 0*k + 5*k - p + 14 = 0, -3*p - 3 = 0. Let i be (180/(-21))/(k/(-21)). Is 10 a factor of i/(-8)*-1*-4?
True
Let z = 7730 - 6727. Does 59 divide z?
True
Suppose 46*k - 2397 = 3537. Suppose -4*n = -5*g - 370, -2*n - 2*n + 300 = -4*g. Let y = k + g. Is y a multiple of 4?
False
Let i(y) = y**3 + 10*y**2 - 18*y + 15. Let g = 773 - 782. Is 4 a factor of i(g)?
False
Suppose -2*g + 2*f = -40052, -6*g + f = -4*g - 40046. Is g a multiple of 52?
True
Suppose 50*c + 3*p = 55*c - 291544, 28 = 4*p. Is 10 a factor of c?
False
Let z(j) = 10*j**3 + 10*j**2 + 7*j - 26. Does 15 divide z(8)?
True
Let s be (-12)/(-16)*204/9. Suppose -9*h - 72 = -s*h. Is h a multiple of 9?
True
Is (2 + (-38)/3)/(1031888/34398 + -30) a multiple of 18?
True
Suppose 4059 + 111 = 5*r. Does 6 divide r?
True
Suppose -k = 2 - 4. Suppose k*q + 21 = -q. Let y = 26 + q. Is y a multiple of 5?
False
Let i(l) = l**2 - 180*l + 5564. Does 13 divide i(0)?
True
Let j be (-98)/(-4) + 1/(-2). Let n be j/(-16) - 450/(-4). Suppose -n = 2*l - 3*l. Is l a multiple of 33?
False
Is 5 a factor of 1354 - (45/25 - 12/(-10))?
False
Let w(t) be the second derivative of t**4/12 - 5*t**3/6 + 9*t**2 + 52*t. Is w(-18) a multiple of 39?
False
Let a = 10355 - 3098. Is 177 a factor of a?
True
Suppose -19*k + 37*k = 162. Suppose -1011 = -3*m + k. Does 86 divide m?
False
Let s(u) = -139*u**3 + 30*u**2 + 105*u + 9. Is s(-3) a multiple of 59?
True
Let v(k) = k**2 + 3*k - 3. Suppose -c - 5 = 4. Let y be v(c). Let f = y + -36. Is 4 a factor of f?
False
Let l = -41 - -72. Suppose l = c - 335. Is c a multiple of 7?
False
Suppose -3*k = k - 256. Let p be 5 + (6/(-6) - -3 - 2). Suppose 179 = p*q + 2*l, 5*l = 2*q + 2*l - k. Is 20 a factor of q?
False
Let r = 1707 + -1302. Is 25 a factor of r?
False
Suppose 0 = -d + 5*z - 0 - 2, -2*d + 5*z + 1 = 0. Let w(r) = -r**2 + 5*r - 6. Let g be w(d). Suppose g = -11*f + 6*f + 240. Does 16 divide f?
True
Suppose -2*h = -5*s + 183, 3*s + 2*s = -4*h - 291. Let m be (-3 - -4) + h/(-1). Suppose 4*r - m = -4*t, 4*r + 3*t - 62 = 17. Is 15 a factor of r?
False
Suppose -2*f = 3*f + 3*s - 48799, 0 = 3*f + 5*s - 29305. Does 5 divide f?
True
Let p = -48 + 60. Let l = 12 - p. Suppose -4