ose -p = -9*y + 4292. Does 14 divide y?
False
Let v be 90/135 + 2/(-3). Suppose 7*g - 2253 + 202 = v. Does 18 divide g?
False
Suppose -2*l = 4*y - 10, -2*l + 2 = 5*y - 8. Let s be (-1152)/l - (-6)/(-10). Let z = s + 359. Does 32 divide z?
True
Let c be ((-3)/(-2))/(6/16) + 1178. Let w = c - 588. Is w a multiple of 9?
True
Let n(o) = -2*o**2 + 42*o + 17. Let v be n(15). Let s = 791 + v. Is s a multiple of 13?
True
Let v be (-14)/(-8) - (30/(-8))/15. Suppose 0 = i - v. Does 10 divide i*(2 + 84 + -3)?
False
Let g be -465 - (2 + 16/(-4)). Let p = g + 873. Is 73 a factor of p?
False
Suppose -16 = -8*f + 4*f. Suppose -2*v + 1720 = 4*m, -5*v + 448 = -3*m + f*m. Is m a multiple of 9?
False
Suppose 0 = -2*i - 2*t + 2188, -5*t + 2099 = 2*i - 89. Let l = i - 373. Is l a multiple of 19?
False
Let l be (-27)/4 - 9/((-180)/(-25)). Let z(n) = 13*n**2 + 3*n - 59. Does 35 divide z(l)?
False
Suppose a = 6*z + 11914, 2688 + 32907 = 3*a + 3*z. Is 212 a factor of a?
True
Let r = 183 - 279. Let n be (26/3)/(16/r). Is (-2)/(2 + 112/n) a multiple of 13?
True
Let f(p) = p**3 + 12*p**2 + 14*p - 4. Let d be f(-11). Let w = -30 - d. Suppose w*m - 127 = 580. Does 16 divide m?
False
Let s = 60474 - 14675. Is s a multiple of 13?
True
Let o(q) = -2*q**3 - 9*q**2 + 25*q - 14. Does 5 divide o(-9)?
True
Let q(r) = 8*r**2 - 6*r + 5. Let i(f) = 34*f**3 - 1. Let w be i(1). Let k = -29 + w. Is 20 a factor of q(k)?
False
Let k(i) = -2*i**3 - 20*i**2 - 10*i + 4. Let p be k(-9). Let s = p - -195. Is s a multiple of 9?
False
Let t be ((-3)/(-6))/(5/520). Let i = -13 + t. Suppose 2*m + 5*p = 73, -m - 2*p + i = p. Does 20 divide m?
False
Suppose -5*j = -38 + 338. Is 14 a factor of j/2*(-189)/45?
True
Is 2 a factor of ((-5294720)/175)/(-8) + 4/70?
True
Suppose -3*d + 24*d - 84 = 0. Suppose -d*k + 1436 = 4*s, -2*k - 7*s + 690 = -12*s. Is 5 a factor of k?
True
Is 7 a factor of ((-23)/(115/(-10)) - -52)*213/2?
False
Suppose 39*v = 34*v - 205. Let s(n) = -15*n + 57. Is s(v) a multiple of 9?
False
Let x(g) = 1033*g + 5045. Does 64 divide x(8)?
False
Let j(y) = -y**3 - 2*y**2 + 4*y - 4. Suppose -7*c = -6 - 8. Let t be j(c). Does 9 divide ((-6)/t)/(2/36)?
True
Suppose 23*o - 120096 = -11*o + 7*o. Does 4 divide o?
True
Let c(b) = b**3 - b**2 - 6*b + 6. Let y be c(-3). Let s = y - -100. Is 22 a factor of s?
True
Suppose -2*t - 4*k + 64476 = 0, -2*t - 2*k + 64466 = -3*k. Suppose x - 32246 = -4*c, -x + 3*c - c = -t. Is x/351 + 4/26 a multiple of 19?
False
Let d(p) = 20*p**3 + 3*p**2 + 5*p + 1. Let s(c) = -c**3 + c**2 + c. Let n(q) = -d(q) + 5*s(q). Let z be n(1). Is 24 a factor of 16/(2/z - 5/(-20))?
True
Suppose -1 = -z, 12*w - 11*w - z - 6199 = 0. Is w a multiple of 34?
False
Let g(w) = 2*w**2 + 24*w + 27. Let b be g(-11). Suppose -2*m = 3*p - b*m - 201, 5*p - 4*m = 337. Is p a multiple of 13?
False
Let p(g) = -g**3 + 8*g**2 + 18*g + 15. Let y be p(-5). Suppose 5*n - y - 430 = 0. Is 17 a factor of n?
True
Let a(x) = -26*x**2 + 9*x + 34. Let z(m) = 77*m**2 - 27*m - 101. Let i(n) = -7*a(n) - 2*z(n). Let l = 27 + -30. Is i(l) a multiple of 13?
False
Suppose 2*w + 25 = 23. Is 4 a factor of 6/w*(-112)/32?
False
Does 90 divide ((-283)/2)/((-23)/92)?
False
Does 76 divide 3/(-2) + (2 - 224752/(-32))?
False
Suppose 5348 = -11*g + 64418. Is 32 a factor of g?
False
Let q = 5151 - 2847. Is 18 a factor of q?
True
Let l(z) = -z**3 - z**2 - 9*z - 4. Let i be l(-4). Suppose 11*j - 19*j = -i. Is 10 a factor of j?
True
Suppose -k - 8*x + 14 = -6*x, k - 4*x - 14 = 0. Suppose -4*m - y + 336 = 0, k*y - 10*y = 3*m - 233. Is m a multiple of 3?
False
Is 41 a factor of ((-19)/5 + 1)*398520/(-216)?
True
Is 63 a factor of (-5)/35 - (-340596)/126?
False
Let d be 80*(294/35 + -4). Let q = 399 - d. Is 2 a factor of q?
False
Let d(t) = -t**2 - 14*t + 12. Let h be d(-13). Suppose 4*q - 723 = 5*n, -4*n = n - h. Is 14 a factor of q?
False
Let a be 144/64 + (-2)/8. Suppose -a*u = 4*q - 0*q - 3224, u - 1624 = q. Is u a multiple of 27?
True
Let h(g) be the third derivative of -g**6/120 - g**5/60 - g**4/24 + 25*g**3/3 - 3*g**2 + g. Does 10 divide h(0)?
True
Let a(m) = m**3 + 13*m**2 + 6*m - 23. Let t be a(-11). Let j = t + -32. Is j a multiple of 10?
False
Let t = -13 - -131. Let k = -83 + t. Is ((3 + 1)/4)/(5/k) a multiple of 7?
True
Let u(a) = 16*a**2 - a + 10. Let w(l) = 31*l**2 - 4*l + 20. Let c(z) = 13*u(z) - 6*w(z). Does 7 divide c(-1)?
True
Let n = 301 + -295. Suppose -n*t = -3*t - 2*x - 732, -5*t = -3*x - 1219. Does 22 divide t?
True
Let f(l) = -8*l**2 - 767*l - 106. Is 13 a factor of f(-95)?
True
Is (17898/95)/((99/150)/11) a multiple of 10?
True
Let n(a) be the third derivative of -a**4/6 + 85*a**3/3 + 23*a**2. Let l be n(0). Suppose 4*s = 3*t + 8*s - l, -4*s + 220 = 4*t. Is t a multiple of 10?
True
Let l = 9364 + -1087. Is 93 a factor of l?
True
Let n = 128 + -88. Let l be 16/n - (-286)/10. Let p = 48 + l. Is p a multiple of 7?
True
Suppose 196724 = -46*s - 59*s + 122*s. Is 19 a factor of s?
False
Suppose -5*m - 25 = -0. Let v be (-1 + 16/20)*m*50. Suppose v = 3*j - 64. Is j a multiple of 4?
False
Suppose 67 = -3*i + 4*i. Suppose 58*t = 79*t - 273. Let o = t + i. Is o a multiple of 8?
True
Suppose 4*q - 16 = -4*z, 0 = 3*q + q + 3*z - 17. Let r(u) = -q - 9*u**2 + u**3 + 11 + 7 + 8*u. Is r(8) a multiple of 2?
False
Is 2 + 5971 + -5 + -4 a multiple of 14?
True
Let o = -45900 + 96192. Is 9 a factor of o?
True
Let i(d) = -31*d - 77. Let b be (-183)/27 - (-3 + (-116)/(-36)). Is i(b) a multiple of 14?
True
Suppose -5*g - n = -56849, 26*n - 23*n + 18 = 0. Is 6 a factor of g?
False
Let i be (-3)/((-1 + -1)/66). Let l = 97 - i. Does 22 divide (l + (1 - -3))/3*198?
True
Suppose 0 = -f + 14*v - 16*v + 971, 4*f = 3*v + 3895. Let p = 1381 - f. Is p a multiple of 34?
True
Suppose -19 = 3*l - 5*n, 0 - 25 = -5*n. Let o be -24 + (2 - (2 - l)). Let k(x) = -x**3 - 22*x**2 - 2*x - 19. Is 12 a factor of k(o)?
False
Suppose 26*n = 4*n + 4378. Let u = -59 + n. Is u a multiple of 7?
True
Suppose -3*z + 4*m = -83541, 2*z + 214*m - 55690 = 218*m. Does 48 divide z?
False
Suppose -26*q + 274 = m - 28*q, -1340 = -5*m - 5*q. Is 7 a factor of (162/m)/((-2)/(-990))?
False
Suppose 5*k - 5*n = 3*k + 10900, -3*n = -8*k + 43532. Does 68 divide k?
True
Suppose 33*n - 1671 = 30*n - v, -2*n + 3*v = -1125. Is n a multiple of 24?
False
Suppose -2*g - 2*p = -6*p - 336, 5*g - 4*p = 846. Let f = -19 - 97. Let i = f + g. Does 9 divide i?
True
Let r(t) = 239*t + 191. Let q(i) = 81*i + 64. Let d(y) = -17*q(y) + 6*r(y). Is d(6) a multiple of 10?
True
Is 158 a factor of (9/(-1 + 35/14) - 2) + 12790?
False
Suppose 0 = -2*a + 5*u + 2597, a - 263*u = -259*u + 1300. Is a even?
True
Let h(k) = k**3 + 10*k**2 + 8*k - 1. Let b be h(-9). Suppose 145 = -b*f + 521. Does 8 divide f?
False
Let v(y) be the second derivative of -53*y**3/6 + 111*y**2/2 + 2*y + 9. Is 12 a factor of v(-5)?
False
Let z = 1708 - 1546. Is z a multiple of 5?
False
Let r(b) = -102*b + 1749. Is 111 a factor of r(-34)?
True
Let d be 42 + (-13 - -12)*1/1. Suppose 44*f = d*f + 1218. Is 37 a factor of f?
False
Let v be (-6)/24 - (-2)/((-16)/734). Let y be (3 + -8)*7/(70/v). Let x = y + 10. Does 14 divide x?
True
Suppose 4*r - 3*y = -0*r + 43, -2*r - 11 = 5*y. Suppose 14 = r*t - 28. Suppose t*a - 59 + 11 = 0. Does 5 divide a?
False
Let o be (8/12)/(3/(-153)). Is 2 a factor of -2*(3/(-6))/((-2)/o)?
False
Let s(m) = 74*m - 60. Let v be s(7). Suppose 3*k - 4*h - v = 0, 3*k - 21*h - 466 = -25*h. Does 77 divide k?
True
Let b(n) be the third derivative of n**5/30 - n**4/3 - 2*n**3 - 230*n**2. Let q be (-2)/(-4) + (-21)/2. Is b(q) a multiple of 38?
False
Suppose -10*q + 7*q + 6969 = 3*n, -5*n + 11612 = 4*q. Is 4 a factor of n?
True
Let q(c) = -485*c - 18. Let i be q(-5). Suppose 22*s - i - 1333 = 0. Is s a multiple of 17?
True
Let c = 3146 + -1489. Is 8 a factor of c?
False
Let w = 9 + -5. Suppose -2*o - 2*o - 8 = w*p, -3*p = -2*o + 16. Is 18 a factor of 45/(-30) + 111/o?
True
Let o(j) = 2*j**3 - 12*j**2 - 4*j + 32. Let p be o(8). Let v = -32 - -47. Is p - (-1 + 1/3*v) a multiple of 14?
True
Suppose -8*p + 4*p - 14804 = -4*z, -z - p = -3691. Is 56 a factor of z?
True
Let z = 152 - 123. Suppose -5*p - 19152 = -z*p. Does 11 divide p?
False
Let q(w) = -33*w**3 + 213*w**2 + 7*w + 55. Is 9 a factor of q(-8)?
False
Let k be 