 Is y a multiple of 29?
False
Suppose -4*r - 20 = u + u, -2*u = 3*r + 14. Is (-2)/(r/(-228)*-1) a multiple of 23?
False
Does 8 divide -1 + 33/((-231)/(-11774))?
False
Let a(o) = o**3 + 7*o**2 - 4*o + 9. Let d be a(-7). Let s = 303 + d. Suppose 3*v - s = -3*l + v, 360 = 3*l - 3*v. Is 39 a factor of l?
False
Suppose 0 = 5*m - 5*r + 27 - 2, 0 = 4*m - 2*r + 16. Let g(z) = z + 1. Let x(h) = 16*h - 16. Let t(c) = m*g(c) - x(c). Does 25 divide t(-5)?
False
Suppose x + 19 = 99. Let k be x/14 - 12/(-42). Is 25 a factor of 2/k - 1761/(-9)?
False
Suppose h - 2*h = 4*i - 289, 2*h - 359 = -5*i. Let s = -76 + i. Is 5 a factor of 4 + (-1)/(1/s)?
False
Let c(l) = -l + 11. Let h be c(11). Suppose h = -4*q + 5*w - 215, 5*q + 177 = 2*w - 79. Let m = -3 - q. Is 4 a factor of m?
False
Let s = -8021 + 12818. Does 9 divide s?
True
Let m be (-6 - (-4 - -2))*21/(-28). Suppose 0 = -3*h + m*j + 2*j + 658, j - 1078 = -5*h. Is h a multiple of 9?
True
Is 27 a factor of (-24936)/18*18/(-12)?
False
Let z(f) be the second derivative of 39/2*f**2 + 0 + 1/20*f**5 - 14*f + 7/4*f**4 + 8/3*f**3. Does 32 divide z(-20)?
False
Let q(g) = -g**3 - 3*g**2 + 26*g. Suppose -2*p - 30 = 4*n, -33 = 5*p + 48*n - 52*n. Is 42 a factor of q(p)?
True
Suppose -2*i = -6*i + 4*w + 158900, -4*w + 39725 = i. Is 27 a factor of (-2)/14 + (i/49)/5?
True
Suppose r - 3*m = 8134, -51*r + 32564 = -47*r + 2*m. Is 22 a factor of r?
True
Let q(z) = -z**2 - 7*z - 9. Let w be q(-3). Suppose -2*j - 2*h + 9 = -7*h, -3*j + 18 = -w*h. Does 15 divide (-844)/(-14) + (-2)/j?
True
Suppose -23*f + 21 = -20*f. Let k(w) = 5*w**3 - 19*w**2 - 2*w - 2. Is 32 a factor of k(f)?
True
Let n(d) = -d**3 - 1. Let x(z) = -4*z**3 + 15*z**2 - 18*z - 23. Let g(k) = 3*n(k) - x(k). Let m be (-28 - 0)*(-8)/16. Is 7 a factor of g(m)?
False
Let c(p) = p**3 + 7*p**2 + 8*p + 11. Let q be c(-6). Let r be (-3 - -5)*7*q/(-2). Suppose 480 + 220 = r*l. Is l a multiple of 20?
True
Let u = -5808 - -8057. Does 21 divide u?
False
Let h(g) = 18*g**2 - 43*g + 347. Does 27 divide h(8)?
False
Let m be (-12)/(-20) - 464/(-10). Let v = 57 - m. Let t = v + 30. Does 10 divide t?
True
Let v = -28299 - -50121. Does 49 divide v?
False
Does 6 divide (-12)/27 + (3 - 66390/(-54))?
False
Let a(m) = 51*m**3 - 12*m**2 - 8*m + 50. Is a(7) a multiple of 170?
False
Is 183 a factor of (7 - ((-4084)/28 - 4))*35?
True
Let x = 50 - 4. Suppose -x = -4*o + 134. Let d = o - 3. Is 7 a factor of d?
True
Suppose -19*w + 25*w - 12 = 0. Suppose -778 = -2*r + 5*n, -n = r - w*n - 389. Does 46 divide r?
False
Let a be (2168/(-6))/(-4) - (-4)/(-12). Let q = a - 86. Is q a multiple of 4?
True
Let q(x) = -16*x + 1390. Is 41 a factor of q(0)?
False
Let n be -5 - (-3 - -1) - (-1 + -9). Let l(q) = 5*q - 19. Let u be l(n). Suppose -1275 = 11*j - u*j. Does 42 divide j?
False
Let t = -206 - -177. Does 66 divide ((-12)/10)/(t/((-339880)/(-16)))?
False
Let s(g) = 10*g + 26. Let o be (-668)/10 - (4 - 133/35). Let t = 82 + o. Is 11 a factor of s(t)?
True
Suppose 2*n = 2*y - 7982, -5*y + n + 2998 = -16933. Is 6 a factor of y?
False
Suppose 0 = 7*l - 3*l + 5364. Let c be ((-6)/(-9))/(6/l). Let k = -91 - c. Does 29 divide k?
True
Let w(z) = 2*z + 51. Let k be w(-32). Let d(t) = -60*t + 138. Is d(k) a multiple of 15?
False
Suppose -3*c = -2*r + 1109, -2*c - 373 = -2*r + 733. Let h = 314 - 609. Let n = r + h. Does 15 divide n?
True
Suppose 48*u - 45*u - 48 = -4*t, 0 = 5*u + t - 46. Let p(o) = o**2 + 6*o + 1. Let d be p(-3). Is d/(-8) - -20*u a multiple of 23?
True
Suppose -6*l = -m - l + 73, 4*m + 4*l - 172 = 0. Let v = m - 42. Does 6 divide v*8/30*100/5?
False
Suppose 0 = p + u - 5, -52 = -5*p + 4*u. Suppose -4*i = p, 3*b = -2*i + 6 + 2. Suppose -2*w + b*w - 122 = -y, 562 = 5*y - 2*w. Is 57 a factor of y?
True
Let r(c) = 895*c**3 - c**2 + 72*c - 150. Does 11 divide r(2)?
True
Suppose 0 = -2896*r + 2900*r - 4588. Does 5 divide r?
False
Is 8 a factor of (408/20)/((-72)/(-10980))?
False
Let g(h) = h**2 - 16*h + 30. Let b be g(14). Suppose -p + 0*k = -b*k - 188, 728 = 4*p - 2*k. Does 4 divide p?
True
Suppose 5*o + 25 = 0, -5*z + z + o = -57. Let c(m) = m**2 + 2*m. Let l be c(-3). Suppose -2*s + 202 = 5*v, 0 = v - l*s - z - 24. Is 4 a factor of v?
True
Let r(m) = 4*m**2 - 2*m**2 - 2*m**2 - 22*m + 64 + m**2. Let k(c) = c**2 - 21*c + 64. Let y(l) = -2*k(l) + 3*r(l). Is y(28) a multiple of 44?
True
Suppose -2*y - 2*y - 244 = 0. Let g = y + 84. Suppose 21*a + 320 = g*a. Does 40 divide a?
True
Suppose 2300*h - 2309*h + 31365 = 0. Is h a multiple of 15?
False
Let o(y) = -y**2 - 45*y + 295. Suppose 1210 + 216 = -31*x. Does 5 divide o(x)?
False
Let d(h) = -91*h - 87. Let q be d(8). Let p = 1424 + q. Is p a multiple of 31?
False
Let v(z) = 14*z**2 - 112*z - 2114. Is v(-38) a multiple of 13?
False
Let r be (-24 - -19)*4/5. Let n(k) be the third derivative of k**5/60 - k**3/2 + 3*k**2. Is 3 a factor of n(r)?
False
Suppose -7*o + 3*o - 5*a - 14060 = 0, -o = -5*a + 3540. Let h = -1315 - o. Suppose -7*y = 8*y - h. Does 21 divide y?
True
Let q(d) = -d**3 + 5*d**2 + 6*d + 8. Let f be q(6). Suppose 4*a - 1654 = -2*g + f*g, 829 = 2*a - g. Is a a multiple of 13?
False
Let k(l) = -2*l - 14. Suppose -3*q + 7*q = -28. Let p be k(q). Suppose -2*d = 5*i - 2*i - 108, p = -i + 2*d + 44. Is i a multiple of 8?
False
Is 6 a factor of 174910/32 - 60/(-960)?
True
Let n(d) = -d**3 + 16*d**2 - 29. Let p be n(16). Let y be (6/(-24)*-12)/((-1)/p). Suppose -2*x = -m - 178, 5*x + y = -5*m + 547. Is x a multiple of 45?
True
Suppose -v - 4*a + 9226 = 0, 3*v - 4*a - 14376 = 13286. Is 87 a factor of v?
True
Let z(w) = -w**3 + 12*w**2 - 7*w - 9. Let r be z(10). Suppose 55 = -8*p - r. Let t(i) = 2*i**2 + 42*i - 21. Is t(p) a multiple of 6?
False
Suppose 0 = -2*g - 2, -r - 7*g + 4*g = 4. Let m(j) = -560*j + 1. Does 11 divide m(r)?
True
Let q = 23 - 12. Suppose -q*w + 2584 = 296. Is w a multiple of 10?
False
Let q = 225 + 35. Let o = q + -218. Does 14 divide o?
True
Let t = -2407 - -2551. Is t a multiple of 24?
True
Let a = 7111 + -4741. Is 137 a factor of a?
False
Let y = 4639 - -12677. Is y a multiple of 39?
True
Suppose -r = -39 - 47. Suppose 2627*u - 2602*u = 0. Suppose -w + r + 34 = u. Is w a multiple of 40?
True
Let i(n) = 15*n + 3. Let g be i(1). Suppose h = -3*l + 2 + 8, -g = -2*l + 5*h. Suppose -l*x + 201 = 5*s + 21, 3*x - 130 = -5*s. Does 10 divide x?
True
Let n(k) = -k**3 + 26*k**2 - 18*k + 40. Let i(p) = -2*p**3 + 50*p**2 - 36*p + 81. Let t(y) = -3*i(y) + 7*n(y). Does 14 divide t(31)?
False
Suppose -7912 = -12*k + 9944. Is k a multiple of 16?
True
Let y(f) = -164*f + 3. Suppose 152 = -2*b - 56. Let j = b + 103. Does 58 divide y(j)?
False
Let u = -223 - -6. Let q = u + 525. Suppose -19*b + q = -15*b. Is 18 a factor of b?
False
Suppose 0 = -4*r - 2*k + 16140, 4*k = 9*r - 4*r - 20214. Is r a multiple of 6?
True
Suppose -8*v - 174528 = -20*v - 0*v. Does 16 divide v?
True
Does 82 divide ((-1553)/(-2))/((-68)/(-136))?
False
Suppose 3*c = 6*p - p - 20898, 5*c + 4206 = p. Is 16 a factor of p?
True
Let p(s) = 547*s**2 - 10*s + 36. Is p(5) a multiple of 6?
False
Let x = 485 - -390. Does 54 divide x?
False
Suppose -20 - 52 = -24*p. Suppose g = -p*d + 209, -323 = -3*g + 5*d + 360. Is g a multiple of 17?
True
Suppose 3128 = 4*j + 4*f, 3*j + 9*f - 4*f = 2346. Let s = -686 + j. Does 12 divide s?
True
Let n(p) = -p**2 + 12*p - 6. Let m be n(11). Suppose 5*c - k - 2532 = 0, -m*c - 10*k + 5*k + 2550 = 0. Is 21 a factor of c?
False
Let s = -125 + 98. Let x = 68 + s. Does 16 divide x?
False
Suppose 6*z - 3*z - 11 = -4*x, 4*x - 3*z = -19. Is ((-402)/(-8))/(x/(-4)*3) a multiple of 4?
False
Suppose -5*w - 5*s = -30, 4*s + 33 = 45. Is 14 a factor of (-1083)/12*((0 - w) + -1)?
False
Suppose -2*k = -m - 3539, -6*k + 8848 = -k - 2*m. Let f = k - 655. Is 24 a factor of f?
False
Let y be 5 - (15/(-6))/(10/(-8)). Suppose -207 = -y*j + 4*t, -2*j + t + 198 = j. Is 8 a factor of j/3 + 28/(-42)?
False
Let n = 185 - -1. Is (n/14 - -7)/((-2)/(-14)) a multiple of 23?
False
Let t = 163 + -91. Let x = t - 64. Suppose 3*k + 182 = 2*r, -91 = -r + 3*k - x*k. Is 7 a factor of r?
True
Suppose -29*u + 3437 = 102. Suppose -4*h + 3*z = -u, 143 = 3*h + 5*z + 35. Is h a multiple of 2?
False
Suppose 2*j + 114 = 4*w, -86 = -w - 2*w + 2*j. Suppose 3*t - w*t + 14725 = 0. Does 31 divide t?