 15 a factor of z(-45)?
True
Let n(d) = 9*d + 73. Let c(y) = -3*y - 24. Let l(x) = -7*c(x) - 2*n(x). Let j be l(-5). Is 14 a factor of (-9)/21 + -4 + 220/j?
False
Let a be 6/(-84)*-2 + (-170)/14. Let i be (2/10 + 1)*30/a. Let h(g) = -23*g + 28. Is h(i) a multiple of 9?
False
Let g(i) = -101*i**2 - 5*i - i**3 - 18 + 117*i**2 - 6*i. Let z be g(14). Suppose 9*t - z = 4*t. Is t a multiple of 7?
False
Suppose 7*u = a + 165 - 815, -3*u = 2*a - 1368. Is a a multiple of 6?
True
Let a(z) = -61*z - 60. Is a(-19) a multiple of 11?
False
Let f(b) = 3*b**2 - 6*b - 40. Let y be f(8). Suppose 2*j + y = -5*x + 292, 3*j = 2*x + 301. Does 11 divide j?
True
Let c(u) be the second derivative of -31*u**3/3 + 3*u**2/2 + 14*u. Let o be c(-2). Suppose 3*r - 305 = o. Is 16 a factor of r?
True
Let c(v) = 7*v**2 + 2*v - 11. Suppose h - 3 = -2*h. Let g(k) = -k**2 + k + 1. Let q(i) = h*c(i) + 6*g(i). Is 21 a factor of q(-13)?
False
Suppose 333*c - 3254676 - 4016141 = 2332903. Does 70 divide c?
True
Let g(s) = s**2 - 5*s + 12. Let o be g(3). Does 2 divide (3424/(-12))/(-4) - 2/o?
False
Let k(u) = 4*u**2 - 3*u - 21. Let a = 99 + -94. Is k(a) a multiple of 8?
True
Let t(m) = -19*m - 149. Let d be t(-8). Does 92 divide (4476/20 - d)*5?
True
Suppose -34 - 40 = 3*u + 2*s, 5*s = -5. Let k(q) = q**2 + 24*q + 5. Is 4 a factor of k(u)?
False
Suppose 7506 = 2*m - 3910. Does 27 divide m?
False
Let r(l) = 3*l**3 + 46*l**2 - 37*l - 19. Does 85 divide r(-15)?
False
Suppose 2*k - 1298 = 2460. Suppose -7*x + k = -1775. Is 29 a factor of x?
True
Let m = 5513 - 2625. Is 76 a factor of m?
True
Let z = 660 - 645. Does 8 divide 362 + ((-12)/z)/(10/(-75))?
True
Let s = -126 - -130. Suppose 0 = 5*b, -5*b - 944 = -4*a - s*b. Is a a multiple of 61?
False
Let b(y) = 4695*y + 3561. Is 103 a factor of b(4)?
False
Let j(z) = -6*z + 0*z - 3 + 7*z - 2. Let q be j(0). Let f(w) = -16*w - 2. Is f(q) a multiple of 26?
True
Let c = -11 - -16. Let a(m) = -71*m + 1149. Let y be a(12). Suppose 5*k - y = 3*q, -5*q - 418 + 113 = -c*k. Is 13 a factor of k?
False
Let t(h) be the third derivative of -277*h**4/12 - 23*h**3/6 - 7*h**2 + 1. Does 31 divide t(-2)?
True
Let c(z) be the third derivative of -z**4/24 + 13*z**3/6 + z**2. Let u be (3/(-6) - -2)/((-16)/96). Does 11 divide c(u)?
True
Let l(r) = 3*r**2 - 9*r**3 + 2 - 2*r**2 - 2*r**3 - r + 3*r. Let v(q) = q**2 - 15*q + 48. Let x be v(10). Does 11 divide l(x)?
False
Suppose -7*v - 211953 = 17*i - 21*i, i + 4*v - 52948 = 0. Does 22 divide i?
True
Let x(m) = -3*m**2 - 40*m - 34. Let h be x(-8). Suppose g - h = 82. Is 22 a factor of g?
True
Let z be (-6*(2 + 36/(-8)))/1. Is 24 a factor of 3*((2 - 4) + 94 + z)?
False
Let o(h) = 3*h**2 + h - 42. Let r = -380 + 364. Is o(r) a multiple of 71?
True
Suppose h - 2468 = 4*f, -h + 2*f + 4054 - 1596 = 0. Does 16 divide h?
True
Let v be 506/(-26) - (-828)/1794. Let r(k) = 6 + k + 15 + 7. Is r(v) a multiple of 9?
True
Let p(g) = -9270*g + 2480. Is p(-1) a multiple of 250?
True
Let o(u) = 4*u - 56. Let h be o(-15). Is (1/((-8)/(-84)))/((-2)/h) a multiple of 23?
False
Let s(y) = -y**3 + 5*y**2 + 5*y + 3. Suppose -2*k + 18 = k. Let m be s(k). Is (57/m - 0)/(-1) a multiple of 4?
False
Does 21 divide 7980/(-20 - (-2178)/108)?
True
Suppose 4*j + 24 + 36 = 0. Let i be (10/(-3))/(((-70)/j)/(-7)). Is 7 a factor of i - 7 - ((-6)/3 + -41)?
False
Does 3 divide (-3)/14*((-14)/28 - 3)*2340?
True
Suppose -17*a - 308 = -1107. Does 3 divide a?
False
Suppose 8 = 4*h - 4*s, 5*s = -4*h + 6*h - 7. Does 7 divide 10 + 109 + -1*h - 3?
False
Let q = 1076 - 618. Let u = 849 - q. Is u a multiple of 23?
True
Suppose 379*d = -5*m + 384*d + 12370, 0 = 2*m - 3*d - 4947. Is 64 a factor of m?
False
Suppose -2*a - 2*o + 6178 = -7*o, 5*a - 15426 = 3*o. Is a a multiple of 8?
False
Suppose 13272 + 552 = 6*t. Does 36 divide t?
True
Let d be 5/2*(-252)/(-35). Does 44 divide (-2170)/(-6) - d/27?
False
Let l = -6 - -76. Let a(m) = -36 + 4*m**2 + l - 30 - 4*m. Does 12 divide a(-4)?
True
Suppose -2*t + 24 + 4 = 0. Suppose -5*f + t = 4. Suppose h = 3*h - 3*c - 6, c + 10 = f*h. Does 6 divide h?
True
Let u = -1133 + 48614. Does 49 divide u?
True
Let h(a) = 356*a**2 + 57*a + 90. Is 57 a factor of h(-10)?
False
Suppose 15*s = 5*k + 11*s + 17, 4*k - 4*s + 12 = 0. Does 9 divide ((-6)/8)/(k/860)?
False
Suppose o + 4*w + 5592 = 6*o, -2*o = 3*w - 2246. Suppose 0 = -4*k + 3*y + o, 5*k = 7*k + y - 560. Is 14 a factor of k?
True
Let b(w) = -1. Let y(z) = 8*z + 11. Let m(x) = -6*b(x) - y(x). Let s be m(-1). Suppose -s*u - 372 = -2*r - 0*r, 0 = -4*u. Is r a multiple of 31?
True
Suppose -590 = -2*x + 1102. Suppose k + 299 = l - 3*k, -3*l - 5*k + x = 0. Is l a multiple of 41?
True
Suppose -67*s + 2213 = -63*s - j, -s - 4*j + 566 = 0. Is 3 a factor of s?
False
Does 4 divide ((-16692)/468)/(1/(-123))?
False
Suppose 5*x + 5265 = 3*f + 7*x, 0 = -2*x. Let g = -1215 + f. Is g a multiple of 45?
True
Let f(d) = 4*d**3 - 13*d**2 + 4*d + 12. Suppose 4*j = -4*p - j + 220, -2*j = -2*p + 92. Let h = 55 - p. Does 14 divide f(h)?
False
Let m(v) = v**2 - 3*v + 3. Let i be m(2). Let b(k) = 1061*k - 9. Does 49 divide b(i)?
False
Suppose 5*o = 637 + 938. Suppose -2*r - o = -7*r. Is r a multiple of 3?
True
Let k(z) be the first derivative of 41*z**2/2 - 52*z - 9. Is k(21) a multiple of 14?
False
Let i = 10652 + -7556. Suppose 74*p - 82*p + i = 0. Is p a multiple of 43?
True
Suppose 4*x + 64 = 3*t, 0*t + 32 = -2*x - 4*t. Let i = -33 + 34. Is 9 a factor of (x - -88) + (i - 1)?
True
Let c = -199 + 211. Suppose 7*s - c*s = -55. Does 5 divide s?
False
Let u(c) = -50*c + 46. Let b = -106 + 96. Does 13 divide u(b)?
True
Let k(s) = -s**3 - 4*s**2 - 6*s - 3. Let t be k(-1). Suppose 5*w - 2428 = 3*i, t*i = -w + i + 486. Is 11 a factor of w?
False
Let j(f) = f**3 - 3*f**2 - 14*f - 8. Let d = -73 + 80. Is 10 a factor of j(d)?
True
Suppose -4*b = -17*b + 14*b. Suppose -3*z + 17*p = 16*p - 2142, b = -4*z + 4*p + 2864. Does 31 divide z?
True
Suppose -19*g + 3*g + 4304 = 0. Let n = 764 - g. Is n a multiple of 11?
True
Let b = -12110 + 15390. Does 80 divide b?
True
Let j(c) = c**3 + 12*c**2 + 8*c - 48. Suppose 4*w + m + 40 = -4*m, -2*w - 20 = 2*m. Does 4 divide j(w)?
True
Let d = -7653 - -1143. Does 62 divide (d/(-175))/((-2)/(-20))?
True
Is (-479964)/(-296)*2/3 a multiple of 23?
True
Suppose 5*p - 10100 = 5*m, 4039 = 94*p - 92*p - m. Is p a multiple of 6?
False
Suppose 1 = -n, -502*h + 4*n + 6529 = -501*h. Is h a multiple of 57?
False
Suppose 4*w = -3*s + 179, 0 = 4*w + w + 4*s - 223. Let u = -9865 - -9896. Let o = u + w. Does 11 divide o?
False
Suppose 0 = 74*l - 81*l + 4053. Suppose l = 5*z - 611. Does 14 divide z?
True
Suppose -16*j + 13*j = -36. Suppose 0 = -j*i + 184 + 32. Does 3 divide i?
True
Let p(r) = r**3 + 36*r**2 + 91*r - 209. Is p(-22) a multiple of 11?
True
Suppose 2*x = 3*x - 4*m + 11, m - 26 = x. Let l = x + 44. Suppose 31 = 14*v - l*v. Is 7 a factor of v?
False
Let g(f) = f**3 - 6*f**2 + 8*f - 2. Let c(n) = -4*n - 11. Suppose 107*i = 104*i - 12. Let r be c(i). Does 10 divide g(r)?
False
Does 14 divide 8/(-432)*-12 - (-23938)/9?
True
Let v = -241 + 224. Is 7 a factor of v/((-170)/(-35) + -5)?
True
Let x = 51312 - 20932. Suppose 26*w + 5*w = x. Is w a multiple of 98?
True
Let s be 7 - 6*(-50)/20. Suppose 3*a = -s*q + 17*q + 1026, q - 5*a - 222 = 0. Is q even?
False
Suppose -78*d + 505134 = -4*d + 59*d. Is 40 a factor of d?
False
Let c = 60558 + -29254. Is c a multiple of 104?
True
Let r be ((-28)/(-2))/((-34)/(-17)). Suppose 0 = -r*w + 3960 + 2088. Does 18 divide w?
True
Let c = -12614 - -13457. Is c even?
False
Let y = -128 - -234. Let w be 1/(2/6) - -2. Suppose w*d - y = 969. Is d a multiple of 14?
False
Let i(b) = 4*b**2 + b + 2. Let n = -29 + 33. Let a(j) = j - 5. Let l be a(n). Does 2 divide i(l)?
False
Suppose -q + 4 = 8. Let n = q + 6. Suppose 5*c + 297 = n*h + 11, -3*h + c = -429. Is h a multiple of 28?
False
Suppose 3*f - 4771 = -2*l + 4975, 0 = 2*l - 2. Suppose -613*n - f = -627*n. Does 58 divide n?
True
Let z(q) = 37*q**2 - 19*q + 66. Let u be z(6). Suppose -10*y = -u - 4496. Is y a multiple of 34?
True
Let u = -45419 - -84805. Is 47 a factor of u?
True
Let u(f) = 3*f**3 - 4*f**2 + 65*f - 644. Does 106 divide u(16)?
True
Let r be 3*(17/3 - -4). Suppose -17347 - 21107 = -r*f. Is 78 a factor of 