h(d) = -3*d**3 - 22*d**2 + 94*d + 52. Let k(f) = -7*h(f) - 5*q(f). Does 4 divide k(11)?
True
Let i = -349 + 364. Is 4 a factor of (-250)/i*(-11 - 1)?
True
Let t(n) = -14*n - 175. Let s be t(-34). Let r = s + -260. Does 8 divide r?
False
Let f be 8/20 + (-1)/(5/(-488)). Suppose -w = -4*w - 4*t - 101, -2*w - f = -5*t. Let s = -33 - w. Is s a multiple of 6?
True
Let r(g) = 15*g - 90. Let h be r(20). Let f = -135 + h. Is f a multiple of 13?
False
Suppose 2*t - 2 = 4. Suppose -2*h = v - 3*h, t*h - 16 = -v. Does 17 divide (-2)/v*(-35 + 1)?
True
Let y(o) = 6*o**2 + 3*o. Let h be y(3). Let v(c) = -3*c**2 + 203*c + 226. Let g be v(69). Let p = h + g. Is 8 a factor of p?
False
Let q(a) = a**2 - a + 1. Let j(n) = -16*n**2 + 17*n + 83. Let m(o) = -j(o) - 6*q(o). Is m(-5) a multiple of 10?
False
Let z(k) be the first derivative of -17 - 20*k + 4*k**2 + 1/3*k**3. Is 10 a factor of z(-17)?
False
Let y(j) = -j**2 - 9*j + 6. Let g be y(0). Suppose -g*n - 23*n = -24708. Is n a multiple of 12?
True
Let g = 24293 + -21908. Is 15 a factor of g?
True
Let f be (1 - 2)*87/(-29). Suppose -f*u + 7*d + 435 = 2*d, 0 = 5*u - 5*d - 725. Is 6 a factor of u?
False
Let t(g) = 2*g**3 - 18*g**2 + 20*g - 18. Suppose -2*p = 3*p + 5. Let y(k) = -k**3 + k**2 + k - 1. Let u(h) = p*t(h) - y(h). Is 14 a factor of u(15)?
True
Is 13 a factor of (-15126)/(-8) - (9/15)/(4/5)?
False
Let x be ((-12)/8)/(18/24). Does 6 divide (-1 - (1 - 1)) + (-146)/x?
True
Suppose -n = 5*b - 55, -4*b + 4 = -0*b. Let p = n - 46. Suppose k = p*d + 5*k - 256, 0 = 3*d - 5*k - 208. Is 33 a factor of d?
True
Let u = -14450 - -25084. Is u a multiple of 26?
True
Let o(v) = 5*v - 18. Let w be o(4). Suppose -3*z = -9, -3*m = -w*z - 5 - 1. Suppose -45 = -r + m*i + i, -r = 3*i - 37. Is r a multiple of 10?
True
Suppose 0 = 2*t - h - 58272, 4*t - 7*t - 7*h + 87357 = 0. Does 83 divide t?
True
Suppose -37*n + 404072 - 14462 = 0. Is n a multiple of 13?
True
Let y = -16 + 18. Let k(u) = 7*u**3 + 2*u**2 + 2 - 4*u - 2*u**y - 5*u**3 + 4*u**2. Is 19 a factor of k(2)?
False
Let c be 76*(8 + -4)/8. Suppose 36*a = c*a. Suppose a*z = 3*z - 54. Is 2 a factor of z?
True
Let s(o) = 5*o**2 + 16*o + 7. Let t be s(-3). Suppose m + 2*z = 574, -3*z = 7*m - t*m - 1716. Is 74 a factor of m?
False
Let j be (-4 + 4)/(7/((-21)/(-6))). Suppose j = -5*d - 15, -3*y = -d + 152 + 160. Let g = 151 + y. Does 11 divide g?
False
Suppose -1458101 = -463*y + 1264339. Is y a multiple of 123?
False
Let t be 10/(-6) + 6*42/54. Suppose 0 = 5*z - t*z - 296. Does 17 divide z?
False
Suppose -3*q - 398 = 5*u, -2*q + 0*u - 274 = -u. Is 10 a factor of (-3)/((-3)/(-5)) - (-3 + q)?
False
Let z = -152 - -152. Suppose 3*q - 5*g - 793 = z, -q - g + 312 = 45. Does 12 divide q?
False
Suppose -4*i + 15108 = 2*q, -12*i + 22683 = 3*q - 13*i. Is 40 a factor of q?
True
Let x(r) = 2*r**2 + 43*r - 654. Is 14 a factor of x(-40)?
True
Is 7 a factor of 2997904/858 - 26/429?
False
Is 65*(-5)/25 - -4177 a multiple of 16?
False
Let x = -160 - -329. Let h = 219 - x. Is h a multiple of 9?
False
Suppose -7*x - 441103 = -94*x - 67351. Does 12 divide x?
True
Suppose -3*s - 10 = 4*b, 3*s + 18 - 44 = 5*b. Is 16 a factor of (863 - 2) + s/((-10)/(-15))?
True
Let k(h) = 3*h + 22. Let n be k(-8). Let g(u) = -5*u - 7. Let i be g(n). Suppose 3*l = 3*y + 204, 3*l + 4*y - i*y = 204. Does 17 divide l?
True
Let k be (-1602)/(-27)*(-2)/(2/(-3)). Let v = k - 58. Is v a multiple of 24?
True
Let f(x) = 81*x + 321. Let c be f(-4). Let r(d) = -4*d**2 - 2*d**3 - 2*d + 1 + 2 + d**2. Is 4 a factor of r(c)?
True
Let f be 3 - (-8)/(24/(-2925)). Let p = 1756 + f. Is p a multiple of 16?
True
Let v = -24 - 38. Is ((-8)/(-6))/(v/(-6510)) a multiple of 35?
True
Suppose -82*j - 81*j - 64220 = -183*j. Is j a multiple of 54?
False
Suppose -5489 = -3*o + 3523. Suppose 0 = -3*p + 15, 4*s - p = 3*p + o. Is 28 a factor of s?
True
Suppose -201*m - 53240 = -212*m. Does 55 divide m?
True
Is 15 a factor of (-60)/(((-99)/972)/11)*(-9)/(-6)?
True
Let x(i) = -8*i - 37. Let p be x(-5). Suppose p*m - 270 - 255 = 0. Does 7 divide m?
True
Is 25 a factor of 62 + -54 - 7*-31?
True
Let r(q) = q**3 - 31*q**2 + 39*q + 2. Suppose 528 = 17*m + 18. Is r(m) a multiple of 17?
True
Let u be (-1 + 0)/(3/141). Let l = 183 + u. Suppose -122*z = -123*z + l. Is z a multiple of 28?
False
Suppose 38743 + 6726 = 53*x - 69700. Is 2 a factor of x?
False
Let b(k) = 2*k + 32. Let f be b(-17). Let p be (f/((-16)/6))/((-10)/(-80)). Is -20*p/(-4) + 3 a multiple of 9?
False
Let t = 51955 - 20787. Does 207 divide t?
False
Let v be (-9648)/(-108)*(-18)/(-4). Suppose v = 6*z + 42. Is z a multiple of 12?
True
Is (-17 + 3 + -1898)*-1 a multiple of 33?
False
Suppose -510 = 4*p - 12306. Let m = -2091 + p. Is 66 a factor of m?
True
Let t(i) = 9*i**2 - 5*i + 7. Let u = 15 - 10. Let s be t(u). Let q = -79 + s. Is 16 a factor of q?
True
Let u be 6/(-12)*(-2 + -6 + 2). Suppose -u*y = -2*y - 10. Let z = 66 - y. Is 7 a factor of z?
True
Let g = 4465 + -3475. Does 13 divide g?
False
Suppose -181746 + 260813 = 34*m - 409411. Is m a multiple of 30?
False
Let x be 2/13 + (-834)/13. Let n = x + 67. Does 20 divide 1*(-2)/((-18)/453)*n?
False
Let c(u) be the first derivative of u**4/4 - 6*u**3 - 17*u**2/2 - 38*u - 18. Is 11 a factor of c(20)?
False
Let c(g) = 21*g - 204. Suppose -84 = -7*h + 105. Is 33 a factor of c(h)?
True
Let g(q) = -q**2 - 4*q + 19. Let s(y) = y**2 - 4*y - 12. Let b be s(5). Let v be g(b). Is (32 + v)/(3 + -2) a multiple of 6?
True
Suppose -2*g - 4 = 0, -492*g = 5*v - 495*g - 25766. Is 92 a factor of v?
True
Let h(i) = 4 + i**2 - 14*i - 5 + 6. Let u be h(14). Suppose -m + c = -0*c - 6, -80 = -u*m - 5*c. Is 3 a factor of m?
False
Let s(v) = 472*v**3 + 3*v**2 - 106*v + 293. Is 59 a factor of s(3)?
False
Let i be (-8)/(-84) + 580/84. Let k(c) = -c**3 + 12*c**2 - 14*c - 3. Is k(i) a multiple of 8?
True
Let m be 1 + (-12)/2 - -72. Suppose 66*y = m*y - 71. Is y a multiple of 8?
False
Let u(o) = 2*o**2 + 9. Suppose 88*i - 92*i = 0. Let w be u(i). Let p = 50 + w. Does 11 divide p?
False
Let f be (-10)/(70/18 - 4). Let m = f - 84. Let q = m + 6. Is 4 a factor of q?
True
Let d(s) = -s**2 - 9*s + 24. Let f be 6/15 - (-335)/(-25). Let n(m) = 3*m + 32. Let r be n(f). Is d(r) a multiple of 19?
True
Let k(l) = -7*l - 17. Let c(p) = 21*p + 51. Let x(i) = -3*c(i) - 8*k(i). Let q be x(-3). Suppose -78 = -2*h - q. Is h a multiple of 3?
False
Let g = -238 + 224. Is 28 a factor of 141776/112 + -6 + (-2)/g?
True
Suppose 28*x = 2*x - 208. Is 5 a factor of 100 + 22 + x + -6?
False
Let y(r) = -r - 20. Let q be y(7). Let a be 107/3 + (-9)/q. Suppose -a = 18*j - 19*j. Does 5 divide j?
False
Suppose -2814 - 11526 = -3*l. Does 11 divide l?
False
Let c = -401 - -398. Is 34 a factor of 292 - ((-1)/c - 43/129)?
False
Let q = -975 - -561. Let f = q - -636. Is 30 a factor of f?
False
Does 8 divide (-150 + 18)/11 + 4905?
False
Let t(s) = -s**3 + 12*s**2 - 50*s - 323. Is t(-21) a multiple of 20?
True
Suppose -6*r + 1477 = r. Suppose -2*k = -r - 29. Does 8 divide k?
True
Suppose -73*m = -75*m + 134. Suppose -63*c - 2592 = -m*c. Is c a multiple of 6?
True
Let y = -77 - -77. Suppose 3*l + y*l - 2280 = 0. Is 20 a factor of l?
True
Let x(s) = -s**3 - 8*s**2 + 16*s - 30. Let m be x(-10). Let j(u) = 9*u**2 + 32*u + 21. Is 32 a factor of j(m)?
False
Let l = 8756 + -3485. Does 25 divide l?
False
Let v(y) = 3*y**2 - 3*y + 3. Let b be v(2). Suppose -b*k + 530 = -46. Let i = -34 + k. Is 30 a factor of i?
True
Suppose 0*m - 12 = -4*m. Suppose -h - 6 = 2*y, 0 = -2*h + m*y + 18 + 5. Suppose h*q + 119 - 475 = 0. Is q a multiple of 34?
False
Suppose 75*r = 76*r - 3. Suppose y - r*y = -70. Is y a multiple of 20?
False
Let q(y) = -235*y - 252. Let s be q(-15). Let d = s + -1705. Does 16 divide d?
True
Let v(j) = 5*j + 6. Let i = 309 + -219. Let d = i - 80. Is 7 a factor of v(d)?
True
Let i = -272 - -272. Suppose 0 = -3*q + 5*w + 3107, i = 2*q - w + 3*w - 2050. Does 49 divide q?
True
Suppose 214*j - 266*j + 249600 = 0. Does 24 divide j?
True
Let j be 21/35 + -1 + 2/5. Suppose j = 6*n - 283 + 55. Suppose n = -3*o + 5*o + 2*a, 5*a = o + 11. Is 14 a factor of o?
True
Let n be 3530/7 + (-32)/112. Let z be n/238 + 4/(-34). Suppose l = 5*y - 0*y + 105, z*l = -2*y + 210. Is l a multiple of 15?
True
Does 18 divide (-234