 = -t + 12*s. Suppose h = -m + 124 + 622, -738 = -h - t*m. Does 22 divide h?
True
Suppose -133*h + 11934 + 30892 = 0. Is h a multiple of 14?
True
Let b = -8309 - -20593. Is 11 a factor of b?
False
Let g = 291 + -500. Let p = -174 - g. Is p a multiple of 4?
False
Let n(c) = -1099*c - 4405. Does 4 divide n(-7)?
True
Suppose -4*j - 2*p - 2*p = -12, -j + 7 = 2*p. Is j - -27 - (9 + -3) a multiple of 10?
True
Suppose 248 = 32*c - 1864. Is c a multiple of 5?
False
Suppose -4*h + 4*s = -20, -25 = -0*h - 5*h - s. Let a be (59/2)/(4/8). Suppose 2*q + 8 = 0, a = l - 0*l - h*q. Is 13 a factor of l?
True
Suppose 2*q - 4*a = 6*q - 4, 5*q - 9 = -3*a. Suppose 6*v - 78 = q*v. Is 26 a factor of v?
True
Let p = -172 + 170. Let b(z) = -22*z - 16. Is 14 a factor of b(p)?
True
Let v(f) = -32*f + 3939. Does 3 divide v(118)?
False
Let p(z) = -24*z - 79. Let a be p(4). Let g = 324 + a. Is 28 a factor of g?
False
Let t(k) = 4803*k + 119. Does 25 divide t(2)?
True
Let j = 2018 + -1782. Is j a multiple of 2?
True
Suppose -3*i = 3*z - 7*z + 33, 0 = i + z + 4. Let v(b) = 16*b**2 + 2*b - 74. Is 12 a factor of v(i)?
True
Suppose 0 = 6*c - 41 - 271. Suppose 3*r - 158 = c. Is 8 a factor of r?
False
Let c(d) be the third derivative of -d**6/120 - 7*d**5/30 - 2*d**4/3 - 3*d**3 + 1373*d**2. Let k = -44 - -31. Is c(k) a multiple of 6?
False
Let r = 191 + -189. Suppose n + 16*w - 907 = 12*w, n + r*w - 901 = 0. Does 91 divide n?
False
Let c(k) = 14 - 13*k**3 + 6*k**3 + 4*k**3 - 9*k**2 + 12*k + 4*k**3. Let i be c(7). Is ((-26)/(-1) - -4) + i a multiple of 10?
True
Suppose 5*y - 5076 = 4074. Suppose 5*b + y = 4*z + 5074, -b + z + 649 = 0. Is b a multiple of 10?
False
Suppose -3*t = -3*m - 18, 3*t - 19 = 3*m + m. Suppose 4*x + t*a = 148, 3*x - 142 = -5*a - 26. Is x a multiple of 16?
True
Let y be (-35 + 31)*-1*1/(-2). Is 25 a factor of (8/10)/y - (-4016)/40?
True
Let n be (44/(-6))/(-3 - (-16)/6). Suppose -n = -9*p + 14. Suppose p*g + f = -f + 384, 3*g - 262 = 5*f. Is g a multiple of 11?
False
Let y(r) be the first derivative of -r**3/3 + 6*r**2 - 2*r + 11. Let l be y(12). Does 3 divide l*((-15)/2 + 1)?
False
Suppose 27*d + 6508 = 36536 + 24620. Does 50 divide d?
False
Suppose -5*t + r + 44 = 3, 2*r = -2. Suppose 0 = 19*z - 23*z + t. Suppose d + 3*m = 79, -305 = -5*d + m + z*m. Does 13 divide d?
False
Let f = -9 + 13. Suppose 3*w - 2121 = -f*w. Suppose 0 = 3*u - 90 - w. Is 44 a factor of u?
False
Suppose -4*z - 33546 = -2*m, 2*m + 7553 - 41105 = 2*z. Is m a multiple of 24?
False
Let h(i) = 7*i - 99. Let y be h(22). Suppose 5*g + y - 860 = 0. Is 23 a factor of g?
True
Does 126 divide (-1025)/3075*-3*15377?
False
Let q(j) = -3*j - 10. Let i be q(-8). Let x be -1*(-3)/(-6)*i. Is 5 a factor of (-2)/x + 96/7?
False
Is (-183 - 1)*66/(-176) a multiple of 13?
False
Let w be (-3 + 2)*(-1700)/(-20). Let g = 1031 + w. Does 26 divide g?
False
Let j be 18/(-126) + 758/14. Suppose 0 = 59*q - 60*q + j. Does 4 divide q?
False
Let q(h) be the third derivative of h**6/180 - 77*h**5/120 + 7*h**4/12 + 31*h**2. Let p(l) be the second derivative of q(l). Does 7 divide p(26)?
False
Suppose h + 34139 = 4*h + 8084. Is 4 a factor of h?
False
Suppose -12 = -4*r + 4*h, 24*h - 7 = -r + 23*h. Suppose o - 3*o + 1832 = 3*q, 4*o - 3620 = r*q. Is 14 a factor of o?
True
Let y(k) = 27*k**2 + 3*k - 2. Let t be y(1). Let z = 34 - t. Let w(h) = 2*h**3 - 10*h**2 + 7*h + 16. Is w(z) a multiple of 10?
True
Let m = 107 - 20. Let h(t) = -4*t**3 - 39*t**2 + 14*t + 50. Let a be h(-10). Suppose a*k = 7*k + m. Is 5 a factor of k?
False
Let a be 0/(-2 + 5) + 4. Suppose -a*h - 5*b + 265 = -h, 2*h - 5*b - 160 = 0. Does 7 divide h?
False
Suppose 349*j - 342*j = 15204. Is 6 a factor of j?
True
Let x(u) = 10*u**3 - 2*u**2 - u + 18. Let s be 1406/333 - (4/(-9))/(-2). Does 7 divide x(s)?
False
Suppose 0 = 5*s - s - 4*w + 8, -5*w + 10 = 4*s. Suppose s = 3*x - 2 - 1. Suppose 2*o + 47 = 5*f, 3*o = -4 + x. Is 6 a factor of f?
False
Let o = 259 + 85. Let j = o + 200. Is 16 a factor of j?
True
Let f be -5*4/(-20)*3. Suppose 0 = v - 0*v + 4*o + 4, -o = -f. Does 3 divide (v/(-10))/(4/20)?
False
Does 204 divide (-91)/(-63)*-6*-3438 + -12?
True
Is (-49 - 23)/((-1)/22) a multiple of 99?
True
Let q = 10628 + -620. Is q a multiple of 79?
False
Let g(p) = p**3 + 16*p**2 + 11*p - 63. Let n be g(-15). Does 10 divide 300*(0 + (n - (-7 - -3)))?
True
Suppose -5*h = -3*h + 3*k + 152, -k = 0. Let z = 6 - 78. Let j = z - h. Does 4 divide j?
True
Suppose 0 = -f - 0 + 2. Suppose -15 = -f*q - 25. Let d(r) = -37*r + 41. Does 20 divide d(q)?
False
Suppose 3*l = r - 20, 0 = -7*r + 12*r - 4*l - 45. Suppose -4*h = -a - 2201 - 937, 0 = r*h + 5*a - 3935. Does 58 divide h?
False
Let j = 0 + 3. Suppose j*q + 8 = 7*q. Suppose 2*r - 39 = -d, 156 = q*d + 2*d - 2*r. Does 4 divide d?
False
Suppose 8 = -2*c, -16*d + 18*d - 3*c = 4092. Is d a multiple of 30?
True
Let l = 3017 + -2536. Is l a multiple of 5?
False
Suppose -3*c + 123312 = 37*c - 24*c. Is 66 a factor of c?
False
Let k = -7932 - -15672. Is k a multiple of 86?
True
Let j be (0 - (-10)/(-3))*(-3 - -6). Is 259*5*j/(-175) a multiple of 37?
True
Let s(r) = 17*r**3 + 10*r**2 + 22*r + 10. Let i be s(10). Is 76 a factor of i/12 - (-90)/108?
True
Let a(q) = 3*q**2 + 47*q - 1760. Is a(67) a multiple of 24?
True
Suppose 3*q - 13 = 5*g, -4*g + 2*q = -0*g + 10. Let p be 0/((-3 + 1)/(g - -1)). Suppose p = -l + 47 + 33. Is 40 a factor of l?
True
Suppose -37879 = -34*f + 18561. Is f a multiple of 42?
False
Let b = 100 - 107. Let j(c) = -37*c - 86. Is j(b) a multiple of 7?
False
Let y = 155 - 133. Suppose 5*t + 8 = 4*f + y, 1 = -f. Does 16 divide t/4*(-11 - -175) + -2?
True
Let c(y) = 27*y**3 + 0 + 6 - y**2 - 17*y**2 - 20*y - 25*y**3. Let g be c(10). Is 59/g + 5/30 a multiple of 5?
True
Let y(l) = -l**3 + 11*l**2 - 5*l - 200. Does 18 divide y(-12)?
False
Suppose 0*h - 4*h = 2*f - 252, -590 = -5*f - 2*h. Does 4 divide f*(-5)/(-20) + (-2)/2?
True
Let g be ((-148)/(-14))/(21/294). Let d = g - -62. Does 11 divide d?
False
Let p(x) = 5*x**2 + 4*x + 6. Let o(t) = 11*t**2 + 7*t + 13. Let k(m) = 6*o(m) - 13*p(m). Does 9 divide k(18)?
True
Suppose 74*n = 491 + 9351. Is 60 a factor of n?
False
Suppose -3*h - 4*g = 971, 9*h - 8*h = -2*g - 325. Let i = h - -584. Does 7 divide i?
False
Let a(r) be the first derivative of r**3/3 - 17*r**2/2 + 40*r + 6. Suppose -14*n - 31 = -255. Is a(n) a multiple of 7?
False
Suppose -2*l - 3*g + 1182 = 0, 20*l + 1799 = 23*l - 2*g. Is 41 a factor of l?
False
Let p(u) = -53*u + 44. Let s be p(-7). Suppose 11*b + s = 1295. Does 40 divide b?
True
Suppose 4*u - 9580 = k, 0 = -2*u + 5*k + 4625 + 165. Is u a multiple of 3?
False
Let o(h) be the first derivative of -h**4/4 + 7*h**3 - 19*h**2/2 + 20*h + 109. Suppose 3*u - 5*b = 50, 4*u + 5*b - 86 = 2*b. Is o(u) a multiple of 10?
True
Let m(c) = 4470*c + 2163. Is 13 a factor of m(7)?
False
Suppose -1 = 5*m - 21. Let q = 794 - 789. Suppose q*u + 458 = 5*k + 158, 272 = 4*k + m*u. Does 32 divide k?
True
Let z be 47/9 + (-18)/81. Suppose 2*y + 2*j - 594 = j, z*y = j + 1492. Does 18 divide y?
False
Let g be ((-45)/12)/((-12)/832*2). Suppose 3*f = -2*m + g, 3*m - 218 = -6*f + f. Is 2 a factor of f?
True
Let w be (-3)/6 + 2 + (-3)/(-2). Suppose 3*o + k = 417, 7 + 2 = -w*k. Suppose 5*s - 304 + 0 = 4*f, 3*f - o = -2*s. Does 32 divide s?
True
Suppose -4*f + 13983 = 3*q - 7829, 5*f = -q + 7256. Is 17 a factor of q?
True
Suppose -33*u = -10870 - 347972. Is 4 a factor of u?
False
Let s be (378/8)/(3/16). Let u be ((-14)/(-4))/(7/s). Let n = -76 + u. Is 7 a factor of n?
False
Suppose 20 = 4*v + 3*l, v - 5 - 17 = -5*l. Suppose 3*c = 5*y - 2406, 110 + 366 = y + v*c. Is y a multiple of 12?
True
Let n(z) = -z**3 - 5*z**2 - z + 12. Let t be 2/15 - 321/45. Let f be n(t). Suppose -3 - f = -s. Is 9 a factor of s?
False
Suppose 4*y - 17*o + 10*o = 3524, 2*y + 4*o - 1792 = 0. Is y a multiple of 3?
True
Suppose 0 = -2*l + 5*i + 36, 0*l - l - 8 = 4*i. Suppose y + 32 = -5*u - 19, -2*y + l = -u. Is (-40)/((-4)/u*-1) a multiple of 12?
False
Let j = -2488 + 50624. Is j a multiple of 88?
True
Suppose -2*q = 39*c - 42*c - 1364, q + 4*c = 704. Does 2 divide q?
True
Let j(b) = 56*b**3 - 13*b**2 - 9*b + 34. Is 28 a factor of j(5)?
True
Let l(j) = -j**2 - 24*j - 19. Let n be l(-23). Suppose -n*g = -2*x + 