-28)/(-6))/((-12)/18). Let d(j) = 2*j**2 + 8*j - 10. Let y be d(r). Let l = 70 - y. Is l a multiple of 17?
False
Suppose -3*f - 2*d = -25, 3*f - d = -0*f + 10. Suppose 0*i - i + f = 0. Suppose 5*k + i = 0, 2 = -g + k + 50. Does 12 divide g?
False
Let a(b) = -7*b - 12. Let i be a(-5). Suppose -18*f + i*f - 300 = 0. Is 10 a factor of f?
True
Suppose 2*a - 91 = -3*u + 9, 4*a = 3*u - 124. Suppose -2*m = -k + u, -k + 5*m - 64 = -4*k. Suppose k = -3*y + 331. Is 30 a factor of y?
False
Let b = -362 + 73. Let o = 651 + b. Is 50 a factor of o?
False
Let d(v) = -792*v**3 - 3*v**2 - 6*v - 3. Does 8 divide d(-1)?
True
Suppose 528*r + 2088 = 537*r. Is 24 a factor of r?
False
Suppose b = 8 - 7. Let z be (-4)/(-8)*b*-12. Does 3 divide 81/18*(-16)/z?
True
Suppose p = 4*p + 27. Let k = p - -20. Is k a multiple of 4?
False
Let r(z) = -15*z**3 + 3*z + 2. Let b = -17 - -21. Suppose 3*t - 5 = b*g, 5*t + 1 = 3*g + 2. Is r(t) a multiple of 7?
True
Suppose -68*l + 2788 + 5168 = 0. Does 7 divide l?
False
Suppose -4*s = -3*s - 15. Let r(d) = 7*d**2 + 24*d + 36. Let u(z) = -3*z**2 - 12*z - 18. Let n(p) = 4*r(p) + 9*u(p). Is n(s) a multiple of 11?
False
Suppose -10 = 10*g - 8*g. Let s(m) = -10*m - 36. Is 7 a factor of s(g)?
True
Does 13 divide (-2)/(-9) + 230/18?
True
Suppose -3*g - 18 = -0. Let y(u) = -5*u + 1. Let q(i) = -i. Let f(s) = 11*q(s) - 2*y(s). Is f(g) a multiple of 4?
True
Let q be (-2)/(-50)*5*25. Suppose -v + 60 = q*d, 0*v - 5*v + 204 = d. Is v a multiple of 20?
True
Let j(q) be the second derivative of -q**5/20 + q**4/4 - 5*q**3/6 - 3*q**2/2 - 23*q. Is j(-3) a multiple of 10?
False
Let f = 106 - 148. Let l(a) = a**2 - a - 10. Let k be l(0). Let t = k - f. Is 20 a factor of t?
False
Suppose -26*z + 6767 = -2515. Does 21 divide z?
True
Let m(q) = -q + 6. Let r be m(6). Suppose r*y + 5*y = -70. Is (-264)/y + (-2)/(-14) a multiple of 10?
False
Suppose 3*h - 89 = 88. Suppose -20 = 2*k - 7*k, -l + 2*k + h = 0. Suppose l = 2*r - 27. Is 5 a factor of r?
False
Suppose 2*p = -3*d + 4*p - 46, d + p = -17. Let j = d + 51. Is (j - 2)/1 - 3 a multiple of 15?
True
Suppose -2*c - i = 2825, -c = 3*i - 2*i + 1411. Is (-6)/(-10) + -1*c/35 a multiple of 41?
True
Is 12 a factor of (-4)/(-30) + (-44352)/(-1485)?
False
Let g be ((-6)/12)/(2/(-56)). Let s(t) = -t + 19. Let f be s(g). Is (f - 2)/(5/120) a multiple of 24?
True
Let o(l) = -l**2 + 19*l - 48. Let c(t) = -8*t - 52. Let s be c(-8). Is o(s) a multiple of 7?
False
Let y(m) = -14*m + 109. Does 58 divide y(-20)?
False
Let x(a) = 2*a**2 - 61*a + 28. Let f be x(29). Let b(r) = -r**3 + 6*r**2 - 5*r + 7. Let o be b(6). Let l = o - f. Does 13 divide l?
False
Let b = 12 + -8. Let q(j) = 4*j + b*j**2 - 3*j - 1 + j. Is 3 a factor of q(1)?
False
Let s = 323 + -202. Is s a multiple of 23?
False
Let y(g) = -2*g + 59. Let q be y(0). Let a = -14 + 37. Let o = q - a. Does 11 divide o?
False
Suppose -7*d + 1602 = 412. Is 10 a factor of d?
True
Let b = -148 + 39. Let w = -3 - -1. Does 30 divide -2 + 3 + w - b?
False
Let c(x) = 11 - x + 8*x + 2 - 4. Is 15 a factor of c(3)?
True
Suppose 996 = 2*f + 4*d, 12*f - 2*d - 2466 = 7*f. Is 26 a factor of f?
True
Let h = -174 - -306. Is h a multiple of 22?
True
Suppose -5*b - 2*c + c + 12491 = 0, 4*c - 5000 = -2*b. Is 17 a factor of b?
False
Let r(y) = y**2 + 5*y - 62. Is r(17) a multiple of 20?
False
Does 20 divide 348/9*15/2?
False
Let f(h) = -h - 1. Let s be f(-4). Suppose s*a = 5*w + 164, -2*w - 3*w - 280 = -5*a. Suppose 6*g - a + 4 = 0. Is 4 a factor of g?
False
Let k = 724 + -265. Is 17 a factor of k?
True
Let h(q) be the third derivative of q**5/30 - q**4/12 + q**2. Is 21 a factor of h(-4)?
False
Let n = 30 - 14. Suppose -4*i - n = 0, -7*i - 7 = 3*p - 3*i. Suppose -3*x + 36 = p*b, -6 = -x + 2*b + 3*b. Is 4 a factor of x?
False
Let v = 1 + 2. Suppose 2*m + 78 = 4*a, -3*m - 5*a - 93 = -v*a. Let n = 47 + m. Is n a multiple of 7?
True
Suppose p = -5*i + 640, -3*i = -2*p - 7*i + 1262. Is 25 a factor of p?
True
Suppose 9*z - 644 - 688 = 0. Is 13 a factor of z?
False
Suppose 4*u - 391 = m + 81, -3*u + 337 = -5*m. Suppose -u - 73 = -8*p. Is p a multiple of 8?
True
Suppose 405 = 3*m - 189. Is m a multiple of 58?
False
Let d(q) = q**3 + 9*q**2 + 5*q + 1. Let o be d(-8). Let f be 32/(-6)*54/(-4). Suppose o = j - 3*a, -3*j + f = j - 5*a. Is j a multiple of 3?
False
Does 11 divide (0 - 113/(-2))*16?
False
Suppose -94*c + 145324 = -183958. Is 31 a factor of c?
True
Is 26 a factor of (2190/6)/(-1 - (-8)/7)?
False
Does 50 divide (-52004)/(-26) + (-76)/494?
True
Let k(p) = p**2 - 28*p - 78. Is k(-3) a multiple of 5?
True
Let c(r) be the third derivative of -r**6/24 - r**5/20 - r**4/8 - r**3/3 - 10*r**2. Does 23 divide c(-3)?
True
Suppose 13*j - 5*j - 24 = 0. Let x(z) = 6*z**2 - 5*z + 2. Is x(j) a multiple of 9?
False
Let p(d) = -d**2 + 14*d + 4. Let w be p(12). Suppose w*z = 30*z - 96. Is 13 a factor of z?
False
Is (6140/80)/((-1)/(-4)) a multiple of 9?
False
Suppose 3*i = -u - 710, 5*i = -2*u + 4*u - 1176. Is 4*(-3 + i/(-16)) a multiple of 10?
False
Let o(k) be the third derivative of -k**5/60 + k**4/4 - k**3/2 - 5*k**2. Let h be o(4). Suppose 0 = -5*p - 25, 0*p = 4*v + h*p - 59. Does 17 divide v?
False
Suppose -5*h - 3 = 7. Let k(l) = -l + 14. Let c be k(10). Is (h - -1)/(c/(-180)) a multiple of 26?
False
Suppose 3*t - m - 11 = t, m = -5. Is t/(-9) - (1816/(-12) + 2) a multiple of 30?
False
Suppose 3*u + 2*m + 7 = 2*u, -5*m - 14 = -u. Let g(x) = 104*x**2 + 2*x + 1. Let n be g(u). Suppose 3*k - v = n, -3*v + 167 = -k + 6*k. Does 17 divide k?
True
Suppose 115 + 71 = 6*t. Let c = -7 + t. Suppose 4 = r - c. Does 22 divide r?
False
Let m = 400 + -380. Is m a multiple of 3?
False
Suppose 0 = 11*z - 2539 - 849. Does 4 divide z?
True
Let p be 48/9*(-6)/(-4). Let x(h) = 8*h - 30*h**2 + 29*h**2 + p + 11*h. Does 14 divide x(16)?
True
Let p = 31 - 24. Suppose 32 = p*f + 11. Suppose f*t + j = 212, 2 = -2*t - 3*j + 134. Does 16 divide t?
False
Is 5 a factor of 40*(-3)/(-16)*652/6?
True
Let z(b) = -32*b + 1 + 2*b**2 - b**3 + 35*b + 0. Does 7 divide z(-4)?
False
Suppose 16 = -5*l - f, 2 = 2*l - 3*f + 5. Let k be (16/l)/(-1)*3. Let d = 26 - k. Does 5 divide d?
True
Let f(z) = z**3 + 16*z**2 - 3*z + 44. Is f(-13) a multiple of 59?
True
Suppose 0 = -3*y + 966 + 2634. Does 20 divide y?
True
Let a(l) = -91*l - 306. Does 60 divide a(-6)?
True
Let h = 9 - 5. Suppose -o - m + 7 = -0, 0 = -h*o + 3*m - 7. Suppose o*q = 4*y + 63 + 5, 24 = q - 4*y. Is q a multiple of 11?
True
Suppose -21*r = -20*r - 180. Let m = r + -96. Does 32 divide m?
False
Let z = -37 - -15. Let c(r) = -3*r**2 + 16*r - 2. Let h be c(5). Let d = h - z. Is d a multiple of 10?
False
Let p = 2597 + -1096. Does 29 divide p?
False
Suppose -2*r - 24 = -3*r. Suppose q - 36 = -4*l - 0*q, 4*q = -4*l + r. Is l a multiple of 4?
False
Is (-6)/(-18)*(53 + -2) a multiple of 6?
False
Suppose -2*s + 121 = -4*l - 3*s, -2*s - 122 = 4*l. Is 6 a factor of 3/((-6)/(-8)) - l?
False
Suppose 4 = -m - 0. Let c(u) = u**2 + 5*u + 6. Let r be c(m). Suppose r*s - 92 = -0*s. Is 13 a factor of s?
False
Suppose -2*g + 7 = -n - g, -2*n - 4*g = 32. Is 14 a factor of 17/(-5 - n - 4)?
False
Let u = 555 - -61. Let j = -433 + u. Is j a multiple of 27?
False
Suppose -3*j + 5*u + 171 = -7*j, 3*j + 132 = -5*u. Let l = 111 + j. Does 9 divide l?
True
Suppose -275 + 43 = -4*a. Suppose -8 = -m + o, -3*o = -2*m + 6 + 14. Suppose m*h - 266 = a. Does 20 divide h?
False
Let u = 12 - 16. Let r be u/(-18) - (-143)/(-117). Is r/(-1 - 260/(-264)) a multiple of 11?
True
Let u = -23 - -79. Suppose -v + u = j - 2*v, 206 = 4*j + 5*v. Is j a multiple of 9?
True
Let z(k) = 2*k**2 - 9*k - 1. Let o(a) = a**3 + 14*a**2 + 5. Let p be o(-14). Let t be z(p). Suppose -4 = -t*b + 8. Does 2 divide b?
False
Suppose -27930 = 44*r - 74*r. Is 19 a factor of r?
True
Suppose 5*p = 4 + 6. Let o(u) = -u**2 - 3*u - 22. Let z be o(-6). Is (-1744)/z + p/5 a multiple of 9?
False
Suppose 3*a + 5*g = 15, -5*a + 3*g = -10*a + 25. Suppose 19 = m + 3*n - 49, -a*m - 2*n + 379 = 0. Is m a multiple of 18?
False
Let f(y) = 840*y**3 - 5*y**2 + 5*y. Is f(1) a multiple of 30?
True
Let n = -29 - -166. Is n a multiple of 19?
False
Suppose h + 92 = 5*h. Suppose 0 = 6*r - 4*r - 3*u - h, -5*u - 55 = -5*r. Let z(d) = -d**3 + 10*d**2 + 4*d + 13. Is 16 a fact