. Is 8 a factor of s?
True
Let n(r) = r**2 + 1. Suppose -5*u - i = 0, i - 4 = 2*u - 3*u. Let d(l) = -l**3 + 9*l**2 - 8*l + 17. Let y(f) = u*d(f) + 6*n(f). Is y(6) a multiple of 29?
True
Suppose -20*l = -18*l - 2856. Suppose -1632 = -12*s + l. Does 21 divide s?
False
Suppose -4*r - 836 = 7*r. Let j = r + 78. Is 39 a factor of j + 926/6 + 2/(-6)?
True
Suppose 2*a + 9 = -4*h - 37, -3*a + 9 = 0. Let d(b) = b**3 + 13*b**2 - 18*b - 24. Let z be d(h). Let k = -115 + z. Does 7 divide k?
False
Suppose -86*p + 88*p + 65168 = 2*f, 5*f - 162980 = -5*p. Is f a multiple of 78?
False
Let o(j) = -j**3 - 8*j - 38. Let v be o(-6). Let t = v + -72. Does 11 divide t?
True
Let j(t) = 88*t**2 - 104*t + 700. Is 17 a factor of j(7)?
True
Let t be 7 + ((-12)/(-3))/2. Let o be -5 + t + 0/2. Suppose -5*w + 33 = 2*f - 0*w, 4*w = o. Is f a multiple of 14?
True
Is 249 a factor of (104/(-4))/((3/2316)/((-2)/2))?
False
Suppose -3 = z, f - 3*z - 545 = 437. Is f a multiple of 15?
False
Let q(v) = v**2 + v. Let d(w) = -2*w**2 + 4*w - 11. Let j(t) = -d(t) + q(t). Suppose 141 = -8*u + 93. Is j(u) a multiple of 32?
False
Let j be (16/10)/((-121)/(-55) - 2). Suppose j*u + 1535 = 5*x + 7*u, -3*u - 15 = 0. Is 14 a factor of x?
False
Let k(y) = y**2 - 28*y + 32. Let r be k(26). Does 3 divide (-10)/r - (-2)/((-12)/(-33))?
True
Let o = 1882 - -2118. Is o a multiple of 50?
True
Suppose 3 = 3*i - 33. Let a be 6485/30 + 2*(-1)/i. Suppose -2*h - h = -a. Is h a multiple of 12?
True
Suppose -3*w + 8*w + 3*a - 155 = 0, 124 = 4*w + 4*a. Let r(m) = 4*m + 38. Is 22 a factor of r(w)?
False
Let d = -33 + 57. Let o = d + -19. Let u = o - -123. Does 26 divide u?
False
Suppose 0 = 2*j - 31 + 15. Suppose -8*w + 10 = -3*w + 5*g, -w = -g - j. Suppose -w*h - 72 = -4*c - h, -5*h = 3*c - 22. Is c even?
True
Let k(g) = g**2 + 7*g - 14. Let f be k(-9). Suppose 2*r - 7*u - 594 = -f*u, -3*r - 3*u + 906 = 0. Does 30 divide r?
True
Suppose n + 0*a + 4*a = -10, 0 = -2*n + 5*a + 32. Let y be n*((-2)/(-5) + (-124)/(-40)). Suppose -20*f - 8 = -y*f. Is 2 a factor of f?
True
Let r be (-92)/(-598) + (-11)/(-13). Is 21 a factor of 7245/46 + -1*r/2?
False
Suppose 220*i + 0*i - 419 = 21. Suppose -3*v + 3*t + 8835 = 0, -8810 = -3*v - 0*t - 2*t. Suppose -i*k = 13*k - v. Does 28 divide k?
True
Suppose -2*q = 4*w - 26364, 215*q = 214*q + 3*w + 13182. Is 78 a factor of q?
True
Suppose -3*w = -3*u + 27, -w = 4*u - 0*w - 16. Suppose 4*o + 2*c - 116 = u*c, o + 4*c = 10. Is 4 a factor of o?
False
Is (-2135067)/(-897) + (-6)/26 a multiple of 70?
True
Let o = 1644 - 1061. Is o a multiple of 5?
False
Let o = -162 + 217. Suppose -o*t + 48*t = -735. Is t a multiple of 39?
False
Is 79 a factor of 18/3 - -171*(-40)/(-6)?
False
Suppose -2*s + 27 = 3*v, 3*v = -5*s + 7*v + 10. Suppose s*r + 1800 = 11*r. Is 18 a factor of r?
True
Let p(s) = 10268*s - 317. Is p(2) a multiple of 214?
False
Is (-1296724)/(-65) - 18/(-45) a multiple of 175?
True
Let k = 101 - 355. Let f = -44 - k. Is 30 a factor of f?
True
Let b = -433 - -478. Suppose b*d - 641 = 44*d. Is d a multiple of 50?
False
Suppose 0 = -19*j + 25*j. Suppose -u - 135 + 536 = j. Does 19 divide u?
False
Let i = -3067 + 3223. Is i a multiple of 13?
True
Suppose -5*c + 48 - 203 = 0. Let s be c*(0 + (-3)/1). Suppose -3*x = -s - 63. Does 26 divide x?
True
Let j(o) = 194*o + 58. Let i be j(1). Does 69 divide i/84 - (-480 + 0/2)?
True
Suppose -23 = 5*l - 2*y - 93, -4*y + 100 = 5*l. Let b be (l/5)/((-26)/(-325)). Suppose 10 = w - b. Does 10 divide w?
True
Suppose -k + 50 = 2*c, -205 = -3*k + 25*c - 20*c. Is 60 a factor of 100794/k - (-8)/80?
True
Let n = -6 - -86. Suppose -3*c = -34 - n. Is c a multiple of 3?
False
Let t be -4 - 17/((-68)/(-2320)). Let p = 1218 + t. Does 33 divide p?
False
Let j = 86 - 86. Suppose j = -14*t + 9*t + 615. Is 13 a factor of t?
False
Let x be 2/(-6) + 220/3. Suppose 58*j - 17*j = 0. Suppose 6*c - x - 167 = j. Is c a multiple of 10?
True
Let n = 225 - 308. Let d = 151 + n. Does 34 divide d?
True
Let w = -83 + 81. Let k be (w + (-14)/(-6))/((-10)/120). Let f(d) = -d**3 - 3*d**2 - 3*d - 2. Is 2 a factor of f(k)?
True
Suppose -12*q - 16*q + 31874 = -53386. Is 87 a factor of q?
True
Suppose -3*f + 27324 = -5*f + 68*f. Does 13 divide f?
False
Let z be (-20)/(-2) + 3 + (-10)/2. Let j(p) = -2 - 2*p**3 + 52 + p**3 - z*p + 7*p. Does 14 divide j(0)?
False
Does 7 divide (748 + 238/17)*(-21)/(-6)?
True
Let h(v) = -10*v + 222. Let w be ((-24)/(-6) - 4)/(-1). Does 17 divide h(w)?
False
Suppose 0 = 105*i - 109*i + 2*r + 10140, 12 = -3*r. Is 17 a factor of i?
True
Let j = 232 - 9. Suppose 0 = 5*m - j - 617. Suppose -4*r + m = -2*n + n, -126 = -3*r + n. Is 7 a factor of r?
True
Let x(v) = 2*v**2 - v - 12. Let n be x(-3). Suppose 6680 - 1271 = n*w. Is 10 a factor of w?
False
Let j(t) = 45*t + 19. Let z be j(4). Suppose -z = -v + 17. Let q = v - 104. Is 28 a factor of q?
True
Let o(q) = -q**2 + 16*q + 6. Let a be 10 + 4 + -1 + 1. Let r be o(a). Let x = r + -14. Is 10 a factor of x?
True
Let f = 198 + -330. Let o = f + 213. Does 16 divide o?
False
Suppose -6*a + a = r - 6245, -18639 = -3*r + a. Does 55 divide r?
True
Let y = -45710 - -79181. Does 10 divide y?
False
Let c = 6362 - 2882. Is c a multiple of 87?
True
Is 5 a factor of (-51924)/(-18) + 4 + (-4)/(-3)?
True
Does 15 divide (-9)/12 - (-970083)/228?
False
Let j be (2 + 1 + -2305)/(74/111). Let f = 5137 + j. Does 22 divide f?
False
Suppose -6*f + 34098 = f + 5496. Is f a multiple of 5?
False
Suppose -2*n = -m - 7*n + 12420, -2*m + 24912 = n. Does 10 divide m?
True
Let m = 10402 + 34992. Is 265 a factor of m?
False
Suppose 6*i + 18*i + 24 = 0. Does 36 divide 1/(-4) - i - (-27368)/32?
False
Let j(h) = -h - 7. Let c be j(-12). Suppose -c*m = -3*w - 4*m + 1630, 0 = 3*w + 4*m - 1655. Does 39 divide w?
False
Let z = 613 + -93. Let y = 150 + z. Is y a multiple of 13?
False
Is (20 + -13 - 553)*275/(-10) a multiple of 150?
False
Let x = -2577 - -15538. Does 110 divide x?
False
Suppose 0 = -5*u + 6327 - 1322. Let o = -351 + u. Is o a multiple of 50?
True
Let g be 9/((7 - 2)/125). Is ((-1288)/(-15) - 2) + 30/g a multiple of 21?
True
Let h(f) = 35*f**3 + 17*f**2 - 23*f - 24. Is h(4) a multiple of 14?
False
Let o(h) = -45 - 4*h + 100 - 43 + 12*h**2. Is o(3) even?
True
Let k(y) = y**2 - y - 16. Let w be (-1)/(-7)*-4*(9 - 16). Let h = -4 - w. Is 14 a factor of k(h)?
True
Suppose 0 = -2*h + 2, -4*y + 5*h + 2608 = -3491. Is y a multiple of 64?
False
Suppose 3*h = -5*p + 33416, 3*p = 4*h + 18609 + 1429. Is 26 a factor of p?
True
Let q(s) = 4*s + 15. Let k be q(0). Suppose 900 = -k*t + 9*t. Let a = 251 + t. Is 19 a factor of a?
False
Let n = 110 - -18. Let k = n - 88. Is k a multiple of 4?
True
Let t = -271 - 246. Let k = -101 - t. Does 13 divide k?
True
Let y(g) = 5*g + 6*g - 5 + 2 + 1. Let n be y(1). Let z(x) = 17*x + 3. Is z(n) a multiple of 39?
True
Suppose 3*u + 5*z - 4740 = 0, u - 4*z - 1790 = -193. Is 18 a factor of u?
False
Let h be (5 + -7 + 2)/(-3 + 5). Suppose -2*w + 2*t + t + 122 = h, 5*w + 3*t - 284 = 0. Does 2 divide w?
True
Let p = -327 - -113. Let g = p + 363. Suppose -d + 2*i + g = -0*i, -4*d = 2*i - 586. Is d a multiple of 18?
False
Let t be (16/20 + -2)*-5. Let b be t/9*6/(4 - 2). Suppose -u + b*z = -36 - 28, 5*u + 4*z - 348 = 0. Is u a multiple of 6?
False
Suppose 0 = -21*b + 62*b + 32595. Is 112 a factor of (-56)/(-5 - b/160)?
True
Let f = 94 - 81. Let l = f - 17. Let p = l + 32. Is 10 a factor of p?
False
Let t be ((-27)/18)/(19/(-8) - -2). Suppose -2*l - y + 536 = -0*l, 0 = -t*l + 5*y + 1086. Suppose 3*d - l = 19. Does 12 divide d?
True
Suppose 171710 = 20*m - 162850. Is m a multiple of 17?
True
Let o(k) = k**3 - 4*k**2 - 2*k - 1. Let s be o(5). Let f = -9 + s. Suppose -b = f*p - 598, -b - 4*b = -p + 104. Is p a multiple of 18?
False
Suppose 151296 = 72*m + 165*m - 218661. Is m a multiple of 51?
False
Let g = 312 + -256. Is 583 - (-13)/(91/g) a multiple of 55?
False
Let c(h) = -h**2 + 16*h - 3. Let x be (1 - 3)*(0 - (-4 - -8)). Does 29 divide c(x)?
False
Let x = 904 - 607. Let w = 321 - x. Is 6 a factor of w?
True
Suppose 0 = -b - 0*b - 3*c + 7, 3*b - 2*c = -12. Let s = 0 - b. Suppose -z - u - s*u = -23, 0 = -u. Does 7 divide z?
False
Is (-8974)/(-33) - (-30)/495 a multiple of 4?
True
Let g(t) = t. Let a(x) = 6. Let d(w) = a(w