 9 a factor of 72/(-63)*103390/(-40)?
False
Let q be 230/161 + (-3)/7. Does 83 divide 283/((-20)/(-15) - q)?
False
Suppose 172*d + 234 = 178*d. Let h be (-1 + (-2)/(-10))*-30. Let l = d - h. Is 5 a factor of l?
True
Let d = -1731 + 2621. Is d a multiple of 16?
False
Suppose 50 = 15*r + 5. Suppose -10*j + 5*p = -9*j - 4, 2*p = r*j - 64. Is 8 a factor of j?
True
Suppose -5*z = -6*z - 6. Let u(j) = -8*j - 44. Let n be u(z). Does 9 divide (n/10)/(4/540*1)?
True
Let r(j) = j**2 - 2*j - 7. Let k be r(-7). Let w = 2 + k. Does 13 divide w?
False
Let q(k) = -12*k + 62. Let f be q(5). Suppose -i - 3*l - 73 = -2*i, -5*i + 326 = -f*l. Is 7 a factor of i?
False
Does 10 divide (1328/(-24))/1*-21*(1 - 0)?
False
Suppose -h = -3*d + 3*h, -5*h = -5*d + 5. Suppose 719 = d*p - 293. Is 6 a factor of p?
False
Let x = 11204 + 8936. Does 20 divide x?
True
Let k(h) be the second derivative of 41*h**8/2240 + h**7/1260 - h**6/720 + 7*h**4/3 + 4*h. Let y(p) be the third derivative of k(p). Does 8 divide y(1)?
False
Let k(y) be the second derivative of -y**5/20 - 4*y**4/3 - 7*y**3/2 - 9*y**2 - 1551*y. Let v = 13 + -28. Is 11 a factor of k(v)?
False
Let n(d) = 3*d**2 - 3*d - 4. Let c be n(4). Let k = c + -42. Does 13 divide (-4)/k - (-80)/(-75)*-39?
False
Suppose 0 = 3*g - 254 + 38. Let m = g - 61. Suppose 6*z + 210 = m*z. Is 13 a factor of z?
False
Suppose -5*c = -2*r - 25, 5*c - 28 + 8 = r. Let u be ((-46)/r - 4)*-15. Let t = u + 147. Does 23 divide t?
True
Suppose 2*b - 4*j = 22904, -34328 = -3*b - 364*j + 366*j. Is 28 a factor of b?
False
Suppose -11*b - 7 = -10*b. Let l be (21 + -1)*(b - -5)/(-4). Let p(s) = s**2 + 5*s - 3. Does 34 divide p(l)?
False
Suppose 32*k = 27*k + 3*w + 38084, 4*k + 3*w - 30451 = 0. Does 87 divide k?
False
Let n be 2*((-12)/9 - (-10)/12). Let g(a) = -342*a**3 - a**2 - 4*a - 3. Is 19 a factor of g(n)?
True
Let t(i) = -i**3 - 4*i + 18530. Does 170 divide t(0)?
True
Suppose g - 829 = -4*j - 202, 615 = 4*j - 3*g. Let v = 381 - j. Is v a multiple of 9?
True
Let u(f) = 43*f**2 - 4 + 2 + 0 + 2 - 30. Is 52 a factor of u(4)?
False
Suppose o + 27 = 5*m - 1, 0 = 2*o + 6. Suppose -352 + 492 = -14*u. Is 18 a factor of (25/m)/u*8*-36?
True
Suppose 44*k = 43*k. Suppose -o + 9 - 5 = k. Suppose 3*b = -o*g + 312, g + 4*b + 50 = 141. Is 9 a factor of g?
False
Let f = 14722 - 10267. Is 33 a factor of f?
True
Let l be (-1496)/(-14) + 2/14. Let n = l - 101. Suppose -44 - 142 = -n*m. Is m a multiple of 6?
False
Suppose -3*j = 5*a - 7282, 7318 = 3*j - 33*a + 29*a. Is 11 a factor of j?
False
Let i(m) = m**2 - m - 7 + 10*m + 0 + 18. Let v be i(-5). Is 65 a factor of -90*(1 + v/3)?
False
Suppose 0 = -5*o - 3*y + 27828, -514*o + 515*o + 4*y - 5569 = 0. Is 28 a factor of o?
False
Is 26 a factor of 19178 + 90/(-63)*-7?
True
Let q(u) = 5*u + 28 + 14*u**2 - 28 - 32. Is q(-6) a multiple of 8?
False
Let n(g) = -65*g**2 - 3*g + 10. Let z(p) = 64*p**2 + 2*p - 10. Let y(c) = -4*n(c) - 3*z(c). Let l be y(2). Let j = l + -175. Does 27 divide j?
False
Let q(c) = c**2 - 20*c - 125. Does 16 divide q(-31)?
True
Let b(x) = -x**2. Let i(q) = q**2 + q + 11. Let y(c) = -b(c) + i(c). Let f = -6390 + 6383. Is y(f) a multiple of 34?
True
Suppose -x + 4*p - 302 = 0, 4*x - p = -x - 1415. Suppose 0 = 2*h + m + m - 812, -5*m = -2*h + 784. Let o = x + h. Is 30 a factor of o?
True
Let w(i) = 8 + 21 - 14*i**3 + 16*i**3 - i**2 - 2*i**2 - 8. Does 28 divide w(7)?
True
Let w(y) = -y**2 - 6*y + 6. Suppose 4*q = 0, 3*q = -2*z + 4*q - 16. Let x be w(z). Let k(i) = -8*i - 52. Does 4 divide k(x)?
True
Let k = -96 - -99. Let y be (2/(-4))/((-119)/(-42) - k). Let l(d) = 16*d - 8. Is l(y) a multiple of 10?
True
Suppose 639*z = 540*z + 1246212. Is 12 a factor of z?
True
Suppose -2*a + 1 = -7, z + 5 = 2*a. Suppose 2*y = -z*t + y + 1105, -2*y = -4*t + 1460. Is t a multiple of 33?
False
Does 134 divide -1 + 5 + (614579/28 - (-2)/(-8))?
False
Let s = 3 + 0. Suppose -2*b + o = 3 - 2, 0 = -5*b - s*o + 25. Suppose -k = 4*c - 0*c - 66, -b*k + 68 = 4*c. Does 4 divide c?
True
Let k be 42/(-5) + 2/5. Let h(m) = -m**2 + m. Let j(o) = o**3 + 12*o**2 + o - 5. Let l(u) = 2*h(u) + j(u). Is 13 a factor of l(k)?
False
Suppose 2*a = -3*g - 0*a - 1, -g = a + 2. Let i(z) = -z**3 - 14*z**2 - 5*z + 107. Let w be i(-13). Suppose w*x - g = 192. Does 14 divide x?
False
Let m(u) = 12*u**2 - 2*u + 48 - 2 - 38. Suppose -q - 2*q + 29 = -5*b, -3*q = 5*b + 11. Is 17 a factor of m(b)?
False
Let d be (-297 + 1)/2*-1. Let p be 7/(-5) + -9*(-3817)/495. Let i = d + p. Is 24 a factor of i?
True
Suppose 3*c - 5*a = -136, a - 33 - 9 = c. Let s = c - -37. Suppose s = 5*k - 117 - 968. Does 31 divide k?
True
Let t be (-5 - 11)/(((-1)/(-104))/(-1)). Suppose 5*l - 2321 - t = 0. Is 7 a factor of l?
False
Let y = -73 + 77. Does 4 divide (1972/261)/(y/18)?
False
Let u be 18/(((-7)/2)/7). Let q be u/(-6) + 0/2. Suppose -q*m + 72 = 2*m. Is m a multiple of 4?
False
Suppose -4*i = -j + 5056, 24*j - 3*i = 26*j - 10123. Does 92 divide j?
True
Let d(w) = 13*w**2 - 11. Let x be d(-4). Suppose 3*u = 5*o - x, 4*u - 14 + 50 = o. Suppose 172 = 4*r - o. Is r a multiple of 10?
False
Let g = -408 - -521. Let u = g - 83. Is u a multiple of 10?
True
Let s(y) = -y**2 + 38*y - 282. Let v be s(10). Suppose 4*n = -5*x + 67, 0 = 4*n - 5*x + 2*x - 75. Is 12 a factor of (12/n)/(v/(-180))?
True
Let r be 20/(-70)*(-3 + -4). Suppose r*g = 2*a - 726, 2*g + 3*g + 1089 = 3*a. Is 11 a factor of a?
True
Suppose 4*y = -1150 - 386. Let m be 8/52 + y/(-39). Suppose 32 = 2*b - m. Is b a multiple of 7?
True
Suppose -9*q + 2*r = -7*q + 8, -5*r = 2*q - 20. Suppose 12*u = 9*u + 3*x + 909, 4*u - x - 1227 = q. Is u a multiple of 26?
False
Suppose 2393*q - 2408*q + 267090 = 0. Is 29 a factor of q?
True
Is ((-451350)/(-413))/(21/686) a multiple of 12?
True
Let z = -181 + 185. Suppose -z*n = m - 516, 5*n + m - 310 = 335. Does 43 divide n?
True
Let u = 19222 - 3806. Is 41 a factor of u?
True
Let z(u) = 88*u - 882. Let q(w) = -42*w + 440. Let x(g) = 7*q(g) + 3*z(g). Is 7 a factor of x(7)?
True
Let n(h) = 44*h**3 + 19*h**2 - 68*h - 40. Is 145 a factor of n(8)?
False
Let g(r) = r**2 - 5*r - 11. Let x be g(7). Suppose 0 = 4*l + y + y - 110, -x*l + y + 75 = 0. Is 11 a factor of l?
False
Suppose -118*n = -122*n + 328. Let v = -86 + 41. Let d = v + n. Is d a multiple of 13?
False
Let h(u) = -u**3 - 10*u**2 - 7*u + 4. Let y be h(-7). Let x = 367 + y. Is 21 a factor of x?
True
Suppose -q + 0*l - l = -1046, 5*l = -25. Suppose 543 = i - 2*d + 3*d, 0 = 2*i - 5*d - q. Let k = i + -330. Does 16 divide k?
True
Let r(v) = 9*v + 4*v**2 - 11 - v**3 - 3*v**3 + 26. Is 57 a factor of r(-6)?
True
Let q be 6/(-8) - ((-13422)/(-24))/1. Let h = q - -270. Let z = 16 - h. Does 17 divide z?
True
Let u be ((-28)/(-10))/(13/((-4095)/(-18))). Suppose -u = -4*f + 23. Is f a multiple of 6?
True
Is 61 a factor of (-16476)/(-45) - 6/45?
True
Let b be (2*(-2)/(-8))/(1/10). Suppose b*g + 5*y - 42 = 8, -5*y = -2*g - 8. Suppose 2*r - g*r = -216. Is 11 a factor of r?
False
Let i = -80 + 84. Suppose -4*p = -4*k - 848, -206 = i*p - k - 1045. Is 10 a factor of p?
False
Let f = 331 + -45. Let v(q) = 2*q + 301. Let o be v(53). Let k = o - f. Does 47 divide k?
False
Suppose y + 3*v - 6989 = -2*v, v + 6965 = y. Does 16 divide y?
False
Let c(g) = -149*g**3 + g**2 - 2*g + 1. Let q be c(1). Let t = 306 + q. Let v = t - -37. Is 18 a factor of v?
False
Let l = 71 + -45. Let h(j) = l + j - j - 2*j - 8*j + j**2. Does 5 divide h(8)?
True
Let z(w) = 3*w**3 + 3*w**2 + w + 20. Let v be z(-5). Let f = v + 474. Does 63 divide f?
True
Suppose 3*i + 3*h = h + 148, 4*h = 3*i - 136. Let n be 32/i + 2/6. Suppose 4*c - 5 = -n, 124 = 4*x - 4*c. Does 32 divide x?
True
Suppose -4*s - 4*s = -1056. Suppose 10*m - s + 62 = 0. Is m a multiple of 2?
False
Suppose -145169 = -3*d - 8*d - 14247. Is 29 a factor of d?
False
Let h(u) = 4*u - 79. Let t(f) = 22*f - 396. Let v(c) = -16*h(c) + 3*t(c). Is 2 a factor of v(-21)?
True
Suppose 0 = 10*g - 9*g - 164. Is 33/(-22)*g/(-3) a multiple of 9?
False
Let p be ((-2)/(-4))/(-1)*(154 + -158). Suppose m - 342 = -0*m + 4*s, m + p*s - 342 = 0. Is m a multiple of 18?
True
Suppose -2*w - 5*c = 2*w - 29, -w - 2*c + 8 = 0. Suppose 10*x - w*x + y = 179, -4*y - 208 = -5*x. Is 11 a factor of x?
True
Let q = -712 + 1326. Is 9 a factor of q?
Fal