 - 8 + 3. Is y(u) a multiple of 13?
True
Let x(d) = -d + 37. Let n be x(-17). Suppose -u + n = 3. Let r = u - 31. Is 4 a factor of r?
True
Let j be (-1092)/(-90) + (-10)/75. Suppose j*x = 3*x + 2376. Is x a multiple of 21?
False
Suppose 10*b + 32256 = -2*b. Does 16 divide -1 - (b/22 + (-2)/(-11))?
False
Suppose 12*h - 27860 = -4976. Suppose -4*o + 2878 = 2*s, -s = -3*o + h + 244. Is o a multiple of 13?
False
Suppose -4*s = 2*k - 382, -4*s - 3*k - 357 = -8*s. Let f = s - 85. Suppose l = f*l - 742. Does 7 divide l?
False
Suppose -64 = -7*i - 1. Let k be -3 + (-3 + 4)*i. Suppose -d = k*d - 210. Is d a multiple of 10?
True
Let n = -53 + 53. Suppose 3*k = -3*q + 576, -q + n*k = 5*k - 204. Suppose 466 + q = 5*g. Is g a multiple of 8?
False
Suppose -26*p - 2*c = -21*p - 32275, -2*c - 25820 = -4*p. Does 16 divide p?
False
Let d(t) = t**2 - 19*t + 494. Let v be d(0). Suppose -5*b + 2*c = -v, -3*b = -5*c - 459 + 155. Does 37 divide b?
False
Suppose -9*s + 12308 + 9229 = 0. Let r be (1 - s/5) + 12/(-30). Is (3/(-4))/(-5 + r/(-96)) a multiple of 9?
True
Let s = 31687 - -996. Is s a multiple of 70?
False
Is 30 a factor of (1*1500/(-35))/((-62)/20615)?
True
Suppose -3*g + 9322 = 3*y - g, -4*y = -5*g - 12437. Is y a multiple of 6?
True
Suppose -z = 4*a - 1629, -z + a = -a - 1623. Does 5 divide (25/(z/(-78)))/(2/(-105))?
False
Is 244 a factor of 1*-1*-14339 + 1729 + -1727?
False
Let y(m) = 14*m**2 + 84*m + 712. Does 28 divide y(-41)?
False
Let b(f) = -3*f - 4. Suppose -9 = -5*s + 1. Suppose -5*q = s*p + 72, 25 = -4*q - 3*p - 34. Is b(q) a multiple of 15?
False
Let s(m) = 18*m**2 - m**3 - 21 + 0*m**3 - 9*m - 16 + 28. Is 4 a factor of s(17)?
False
Suppose 2*q + 4*t - 142 = 0, -3*q + 101 = 2*t - 104. Suppose -65*m - 602 = -q*m. Is m a multiple of 41?
False
Suppose a - 6*a - 5*j + 17595 = 0, -2*j = a - 3518. Suppose 0 = 11*k + 550 - a. Suppose 3*o = -2*o + k. Is 9 a factor of o?
True
Suppose 5*z - 6728 = -o, -6*z + 2*o = -11*z + 6736. Is 42 a factor of z?
True
Suppose 412*k - 425*k + 11830 = 0. Is k a multiple of 12?
False
Suppose 3*b = 4*f + 9605, 22390 = 7*b + 4*f - 9*f. Is 71 a factor of b?
True
Let r(h) = 393*h**2 + 26*h - 239. Does 17 divide r(10)?
True
Let h = -90 + 92. Suppose h*o = 30 + 56. Suppose 49 + 83 = 3*x + 2*p, -o = -x - p. Does 13 divide x?
False
Suppose o - 1957 - 677 = -2*b, 4*o = b + 10563. Is 16 a factor of o?
True
Suppose 720 + 1542 = 3*m. Let a = m - 496. Let k = a - 170. Is k a multiple of 15?
False
Suppose 2*n = -4*i + 124, -i + 3*i = 4. Let o = n - 58. Suppose -3*v + 0*a + 43 = 2*a, 3*a - 15 = o. Is 11 a factor of v?
True
Suppose 57*x + 7628 = 245489. Does 14 divide x?
False
Let d(a) = -954*a + 4. Let t be d(-1). Suppose 9*r + t - 2983 = 0. Is r a multiple of 25?
True
Let w = 1365 - 585. Suppose 32*x = 19*x + w. Is x even?
True
Suppose -1345*c + 1130*c = -7204865. Is 31 a factor of c?
True
Suppose -4*f + 11 = 2*w - 3, 3*f - 3 = -4*w. Suppose 3*j - f*v = 1142 - 327, 0 = j - 5*v - 275. Is j a multiple of 9?
True
Is 28 a factor of -15 + 14 - 3 - 69*-80?
True
Let g = 7 - 11. Suppose -8*i - 72 = -824. Let u = g + i. Does 14 divide u?
False
Suppose -54 = -3*w + 4*s - 21, 3 = s. Suppose -3*i + 17*j - w*j + 340 = 0, 0 = -2*j + 2. Does 57 divide i?
True
Let a(v) = -9*v**3 - 8*v**2 - 4*v - 4. Let g be 4 + (-4 - (2 - -1)). Let q be a(g). Suppose 4*c - q = 137. Is c a multiple of 19?
False
Let k(t) be the third derivative of t**6/60 - t**5/10 + t**4/4 - t**3/6 + t**2. Let x be k(4). Suppose -10 + x = 3*v. Does 5 divide v?
True
Suppose -70 = 3*z - 55. Let q be (5 + z)*1/(-3 + 5). Suppose 5*h - 25 = 0, 5*o + q*h - 1670 = 4*h. Is 51 a factor of o?
False
Suppose 3710 = 3*n - 2*g, 21*n - 17*n - 2*g - 4946 = 0. Does 3 divide n?
True
Suppose 15*h + 8*h = 6394. Suppose -4*s = -3*f - 220, -13*s + 8*s + 3*f + h = 0. Does 2 divide s?
True
Let r = 253 - 979. Let y = 1296 + r. Does 29 divide y?
False
Let p = -1932 + 9909. Is 73 a factor of p?
False
Let r(a) = -a - 1. Let z be r(5). Let g(d) = 8 - 18*d + 11 - d**3 + 10*d + 13*d - 4*d**2. Is 28 a factor of g(z)?
False
Let y = 1 + 77. Suppose 3*s + 5*j - 52 = 0, 0 = s - 5*s + 2*j + y. Suppose -n = -23 + s. Does 3 divide n?
False
Suppose -31*k + 153254 = 33098. Does 50 divide k?
False
Let d be ((-80)/14)/((-82)/287). Suppose d*k = 10*k + 800. Is k a multiple of 5?
True
Let z(f) = f**2 + 24*f + 135. Let t be z(-12). Is ((-312)/40 - t) + 499/5 a multiple of 10?
False
Let s(n) = n**3 + 13*n**2 + 9*n - 8. Let w = -216 - -208. Is s(w) a multiple of 20?
True
Let n(u) be the first derivative of 2*u**3/3 + 2*u**2 + 5*u + 11. Let s(j) be the first derivative of n(j). Is s(3) a multiple of 8?
True
Let b be -2 - (1 + 0) - (-5 - 1). Suppose 958 = b*h + 2*j, -3*h - j = -3*j - 938. Suppose 0 = 2*d - 3*d + h. Does 30 divide d?
False
Let k be (1075 - 9) + (-3)/(-1). Let j(v) = 655*v + 5. Let x be j(1). Suppose -k = -5*l + 2*c, x = -3*l + 6*l + 5*c. Is l a multiple of 43?
True
Let a = 9 - 3. Suppose -3*n - 5*f + a = 0, -f - 8 = -5*n + 2. Suppose 83 = 5*q - 3*v - 404, n*q + v = 186. Does 19 divide q?
True
Let a = -13652 + 39872. Is 115 a factor of a?
True
Let r(n) be the third derivative of n**6/60 - n**5/6 - 13*n**4/24 + 14*n**3/3 - 112*n**2. Is r(8) a multiple of 26?
False
Is 6 a factor of ((-376805)/68 + 8)/((-7)/56)?
False
Let o(v) = -42*v**3 - v**2 - 4*v - 4. Suppose -4*m + 7 - 15 = 0. Let p be o(m). Is 19 a factor of (-10)/((p/(-76))/4 + 1)?
True
Suppose -q = o + 3, -6 = -2*q - o + 5*o. Is 18 a factor of (-18)/q*(4 - (-2 - -4))?
True
Suppose 3*q - 42 = -11*q. Suppose 4*w - 688 = -3*k, -w - w + q*k = -344. Does 25 divide w?
False
Does 18 divide (-6 - -2 - 31172)*(-3)/6?
True
Suppose -3*k - 2 - 7 = 0. Let u be -1*((-5 - k) + 3) + 25. Suppose q = -5*w + 6*q + 180, -3*q + u = w. Is 31 a factor of w?
False
Let k(r) = -r**3 - 11*r**2 + 6*r + 62. Let n be k(-11). Suppose 0 = -8*x + 3*x + 10. Does 19 divide (2 - x) + n + 61?
True
Suppose -15*q + 36 = -19*q, -5*q + 19743 = 4*j. Is 2 a factor of j?
False
Suppose -2*c - 141*l + 64313 = -136*l, c = 2*l + 32188. Is 218 a factor of c?
False
Let n(v) = 8*v - 350. Let x be n(44). Suppose -2*b - b = -g - 124, 0 = -2*b - 5*g + 60. Suppose -x*r + b = -0*r. Is 20 a factor of r?
True
Suppose -5*x = 160*i - 162*i - 5005, 5*x = i + 5005. Does 12 divide x?
False
Suppose 0 = -13*j + 2*j + 66. Suppose 0*i - 102 = -j*i. Suppose -5*k = -107 + i. Does 6 divide k?
True
Suppose -13 = 5*m - 6*m. Suppose -m*d + 18 = -16*d. Is 9 a factor of (43/3)/((-1)/d)?
False
Suppose i = -5*g + 26, -g + 4*i = -4*g + 2. Suppose -g - 5 = j + z, 3*z = -5*j - 57. Let d(v) = v**2 + 6*v + 15. Does 20 divide d(j)?
False
Let i be ((-15)/20)/((-3)/2)*-278. Let y = i + 339. Is 98 a factor of y?
False
Suppose -252*q + 15766492 = 304*q. Does 272 divide q?
False
Let h = 519 + -507. Let b(i) = 3*i**2 + 4*i + 2. Is 31 a factor of b(h)?
False
Let c be (3/5)/(8/160*2). Suppose -4*s - c*l = -7*l + 40, 0 = 4*s - 3*l + 32. Let k = s - -187. Does 37 divide k?
False
Let v(d) = -78*d - 4. Suppose 2*n + 3 = -3, 4*n = f - 8. Does 11 divide v(f)?
True
Is 61 a factor of 4*161/(-92) - -11353?
True
Let m = -329 - -326. Let v = m + 450. Is v a multiple of 19?
False
Suppose 0 = g - 36 + 34. Suppose -4*s + 14 = -g*s. Does 7 divide 0 - ((-96)/s - 6/21)?
True
Let w(m) = -3*m - 3*m + m + 3*m**2 + 16. Let q be (-4 + 10/3)*(97 - 103). Is w(q) a multiple of 7?
False
Suppose -331*m + 139464 + 167042 = 0. Is 164 a factor of m?
False
Let o be 438/(-2)*(-1)/3*31. Suppose -6*d + o = 493. Is d a multiple of 46?
False
Let j(u) = 147*u + 9. Let c be j(-4). Let t = -379 - c. Suppose t = v + v. Is 10 a factor of v?
True
Let a(h) = 65*h**2 + 39*h - 91. Is 27 a factor of a(7)?
False
Let s(k) = 8*k - 126. Let a be s(30). Suppose 176*m - 178*m = -a. Does 20 divide m?
False
Let h = 4595 - 1668. Is h a multiple of 8?
False
Let b(y) = -24*y**2 + 5*y - 12. Let v(p) = -12*p**2 + 3*p - 6. Let s(m) = -6*b(m) + 11*v(m). Suppose 10*g + 24 = -2*g. Is s(g) a multiple of 8?
True
Let f be ((-72)/(-6))/(-2) - -15. Does 18 divide 371 + f + -3 + 1?
True
Suppose 18*n + 43549 = 29*n. Is 107 a factor of n?
True
Let i(a) = -a**3 + 11*a**2 - 15*a + 14. Let x(z) = -z**3 - 13*z**2 + 12*z - 18. Let l be x(-14). Let m be i(l). Is 3 a factor of (m/(-15))/(6/40)?
False
Let z = -24 - -31. Let u(d)