 w be h(-8). Suppose -s + w = b*s. Is 12 a factor of s?
True
Let p = -152 - -170. Let k be (-574)/(-30) - 2/15. Suppose k*y = p*y + 161. Is 29 a factor of y?
False
Suppose 49*p - 18*p = 98301. Is p a multiple of 37?
False
Let p(i) = 18*i**2 + 14*i - 5. Let x be p(-6). Suppose 2*s - 3*s + x = 2*z, 0 = 3*s - 5*z - 1688. Is s a multiple of 13?
False
Let m be (-3 + 30/12)*-6. Suppose -579 = -5*a - s + 345, 3*s = m*a - 540. Does 46 divide a?
True
Suppose -7*a + 292286 = 10*a + 43015. Is a a multiple of 11?
True
Let b = 14 - 17. Let p(v) = -v**3 - 7*v**2 - 14*v - 66. Let i be p(-6). Does 4 divide (-6)/i + (-191)/b?
True
Let g be 34/3 + 65/39. Does 41 divide (g - 11)*(379/2 - 0)?
False
Let g = 4595 + -1528. Let u = g - 1965. Is 57 a factor of u?
False
Let u = -39 - -66. Suppose 0 = 32*q - u*q + 1000. Let k = 380 + q. Is k a multiple of 18?
True
Let r(i) = 13*i + 86 - 17 + i**2 - 81. Does 36 divide r(11)?
True
Let n(k) be the third derivative of -k**6/120 - k**5/60 - 31*k**4/24 + 47*k**3/6 + 2*k**2 - 21. Does 25 divide n(-11)?
False
Suppose 773*k - 775*k + 34 = 0. Suppose -4*d = -3*n - 89, 2*d - 4*n - k = 25. Is d a multiple of 3?
False
Let c = -7154 - -7970. Is 51 a factor of c?
True
Let t = -126 + 89. Let x = 41 + t. Suppose -x*n - 3*l + 209 = 0, -2*l = -l + 5. Is n a multiple of 28?
True
Suppose -2*t - 14 + 4 = 0. Let v(a) = 26386 - 71*a + 26412 - 52753. Is v(t) a multiple of 47?
False
Let c = -9853 + 9998. Is c a multiple of 6?
False
Let p(j) = 8*j**3 - 4*j**2 - 5*j - 5. Let b be p(-2). Let r be (-176)/(-10)*b/(-10). Let y = r + -92. Is 6 a factor of y?
False
Let a = 17278 - 10352. Is a a multiple of 21?
False
Let g = -13334 - -27574. Is g a multiple of 80?
True
Is 947 + (2 - 12) + 65/5 a multiple of 9?
False
Suppose 5*j + 45 = -x, -4*x = 4*j + 20 + 32. Let i be j/2 + (10 - 3). Suppose -134 = i*r - 638. Is r a multiple of 28?
True
Let v be (-1804)/(-20) - 2 - 5/25. Suppose -74*h - 3934 = -v*h. Does 5 divide h?
False
Suppose 125*s - 33129 = 811746. Is s a multiple of 13?
False
Let h = 55 + -70. Let k be 2/6 + (-1105)/h. Let u = k + -15. Is 11 a factor of u?
False
Suppose 595 = 2*n - 10083. Is 34 a factor of n?
False
Suppose 137*y - 1810985 - 2703591 = -90*y. Is y a multiple of 8?
True
Let d(b) be the third derivative of -b**5/120 + 7*b**4/4 - 29*b**3/6 + 29*b**2. Let m(h) be the first derivative of d(h). Is 5 a factor of m(-28)?
True
Suppose 20 = 2*a + 2*a. Is 2 a factor of (17 - a)*3/4?
False
Suppose -33594 = -2*u + 4*z, -5*z = 29*u - 28*u - 16797. Is 11 a factor of u?
True
Let u(p) = 3*p**2 - 12*p + 21. Let s be u(4). Suppose -s*y = -6712 + 433. Is 15 a factor of y?
False
Let p be (-6305)/(-20) + 5/(-20). Suppose p = -216*t + 217*t. Does 35 divide t?
True
Suppose -o + 3*z + 1358 = 8*z, 5*z + 5 = 0. Is 17 a factor of o?
False
Suppose 4*b - 2*x = 11 + 9, 4*b + 5*x = -8. Let v be b/(-7) + (-5 - 632/28). Let p = -7 - v. Is p even?
False
Suppose 8*x - 105931 + 30979 = 0. Is 172 a factor of x?
False
Let z = -169 + 98. Let w = z + 126. Let f = 65 - w. Is 10 a factor of f?
True
Let r(q) = -5*q + 53*q**2 + 29*q**3 + 3 - 1 + 2 - 54*q**2. Let y be r(2). Suppose 2*w - y = -4*x + 4, 3*x - 168 = -3*w. Does 31 divide x?
False
Suppose 92*m - 58853 - 1090227 = 0. Is 18 a factor of m?
False
Suppose -2*v - 95 + 263 = m, 3*m + 4*v - 506 = 0. Let s = -1309 + 1324. Is 17 a factor of m/s*6/4?
True
Suppose 0 = -6*u + 6460 + 13604. Suppose -u = -9*o - 10*o. Is o a multiple of 25?
False
Suppose n + 4*k = 13, -5*n + 3*k + 0*k + 19 = 0. Suppose 0 = -2*x - 2*p + 138, -7 - 18 = n*p. Suppose 3*r = -26 + x. Is 7 a factor of r?
False
Suppose -8*l + 32 - 184 = 0. Does 12 divide 0 + -5 + (-2299)/l?
False
Let s = -37022 + 55598. Does 16 divide s?
True
Is (16 - 7) + 6/12*5706 a multiple of 53?
True
Let h = 11 - 7. Suppose -4*j + 542 = 2*t - 246, -h*j - 3*t = -792. Suppose -o = -4*o - 3*f + j, f = -4*o + 266. Is 16 a factor of o?
False
Suppose 5*a = -5*y + 61788 + 239092, 2*a = -4*y + 240712. Does 17 divide y?
True
Let q(k) = -137*k + 4355. Is 93 a factor of q(21)?
False
Let m = -50417 + 101793. Is 52 a factor of m?
True
Let x = -1669 - -2390. Let d = x + -457. Is d a multiple of 12?
True
Suppose 2*h + 29*p = 31*p + 3666, 2*p + 6 = 0. Is 5 a factor of h?
True
Let a(p) = -2*p**3 + 120*p**2 + 138*p - 178. Is a(61) a multiple of 25?
False
Let w be (-2 - 3/(-2))*-12. Suppose -8*q + 6*q = -w. Is (q - (-42)/10) + (-1)/5 even?
False
Let u(i) = -15*i - 1. Suppose -5*k = 18 + 2, 4*j + 3*k = -36. Let b(a) = 31*a + 1. Let q(c) = j*b(c) - 10*u(c). Is 20 a factor of q(-1)?
True
Let b be -6 - (2 + -680 + 1). Let c = -338 + b. Does 14 divide c?
False
Let d(u) = -u**3 - 10*u**2 - 12*u + 2. Let p = 22 + -19. Suppose 0 = p*b + y + 27, 6*b - b = -y - 45. Is 7 a factor of d(b)?
False
Suppose 5*z - 53 = -3*a, -7*z = a - 2*z - 31. Suppose 0 = 12*l + a*l - 4830. Does 42 divide l?
True
Suppose 3*k + 3237 = -18*o + 21*o, 2*k = -2*o + 2150. Suppose -4*l + 3*y - 309 = -o, 2*l - 394 = -y. Is l a multiple of 39?
True
Let p = -5280 - -10265. Does 3 divide p?
False
Let h(p) = 5*p**2 - 52*p + 125. Is h(13) a multiple of 4?
False
Let m(q) = 6*q**3 + q**2 - 6*q + 5. Let b be m(4). Let i = b + -67. Is i a multiple of 16?
False
Let n(b) = 63*b + 1590. Does 12 divide n(-6)?
True
Suppose 4*s + 4*b - 10511 - 3437 = 0, -6969 = -2*s - b. Is s a multiple of 106?
False
Let l(x) = -9*x - 59. Let r be (56/(-140))/((-2)/(-30)). Let j be (-26)/r*(0 + -10 + 4). Is l(j) a multiple of 35?
True
Let c be 4*77/(-66)*3/2. Is 20 a factor of 148/(-28) - -5 - 2382/c?
True
Let g(m) = m - 19. Let o be g(-5). Let q = -24 - o. Is ((-2832)/(-28) - q) + 1/(-7) a multiple of 6?
False
Suppose 73*i - 68*i - 2*k = 68912, -2*i + 4*k + 27584 = 0. Is 91 a factor of i?
False
Let q(s) = 841*s**2 + 71*s - 72. Is 35 a factor of q(1)?
True
Let g(s) = -10*s**2 - 8*s**2 + 2*s**3 - 18 + 3*s + s**3 + 10*s**3. Let d(m) = -11*m**3 + 18*m**2 - 2*m + 18. Let t(x) = 6*d(x) + 5*g(x). Is 4 a factor of t(18)?
True
Suppose -425241 = 107*i - 1411995. Does 53 divide i?
True
Suppose -1023538 = -136*d - 292694 + 1082444. Is 67 a factor of d?
True
Let q(b) = 24*b - 100. Let u be q(10). Suppose 67 + 95 = -3*t. Let h = t + u. Is h a multiple of 23?
False
Suppose 14315 = 4*x - 5*b, -1111*x - 4*b - 17878 = -1116*x. Is x a multiple of 105?
True
Is 33 a factor of (-824870)/(-55) + (-162)/99?
False
Is 2680*51/30*2 a multiple of 11?
False
Suppose -9*w + 39*w = 8100. Is 10 a factor of w?
True
Let y = -50 + 50. Suppose 0 = a - 5*x - 25, -3*a + x + 75 = -0*x. Let d = a - y. Is d a multiple of 25?
True
Suppose 13*m = 11*m - 8. Let c(k) = -6*k**2 + 8*k + 15. Let j be c(m). Let a = j + 266. Is a a multiple of 9?
True
Let q(d) = -d**2 + 17*d. Let k be q(12). Suppose -u = -0*u - 3*l - k, -52 = -u - 5*l. Is 3 a factor of u?
True
Suppose v - 5*v + 344 = 0. Suppose -84*u - 78 = -v*u. Does 2 divide u?
False
Let b = 17 - 15. Suppose 0 = 5*v - b*i - 50, 3*v + i = 4*i + 30. Does 5 divide ((-1 - (-8)/v) + 1)*50?
True
Let z = 103 + -103. Suppose z = 33*i - 23*i - 1990. Does 46 divide i?
False
Is 37816/116*(-189)/(-2) a multiple of 38?
False
Let h be 63/18*(-12)/(-7). Let w be 3 - (-2)/h*3. Suppose -w*u - 1492 = -3*b - 2*b, b - 294 = 3*u. Is 12 a factor of b?
True
Suppose 24*h = 29*h - 9015. Let x = -780 + h. Is x a multiple of 11?
True
Suppose 3*q - 677 = -4*j, -5*j + 4*j + 3*q + 173 = 0. Is 4 a factor of j?
False
Let v(c) = -4*c**3 + c. Let u be v(-1). Let m = 255 - 252. Is 12 a factor of 3 - (-27 - u - m)?
True
Let w(f) = f**3 + f**2 - 2*f - 3. Let y be w(-3). Let o be 5/y - 2/(-6). Suppose o = -a + 25 + 15. Is a a multiple of 10?
True
Suppose 4*p - 16 = 4*u, 5*u = 4*u. Suppose 0 = p*d + 473 - 1281. Is 33 a factor of d?
False
Let h(s) = -6*s - 2. Let q be h(-20). Let k = -91 + q. Is k even?
False
Let o(d) = -d**3 - 7*d**2 - 3*d - 2. Let q be o(-6). Let u = -14 - q. Is 23 a factor of (16 - (4 - u))*5?
False
Suppose -5 = -q - y, 1 + 3 = -2*y. Let x = -52 - -27. Does 2 divide q + -5*5/x?
True
Suppose -6*o + 3337 = -401. Let j = o + -202. Suppose 4*g - i - j = 0, -g - i + 3*i + 107 = 0. Does 12 divide g?
False
Let f be (4 + 3 - 3) + 404/4. Suppose -f = -u - 5*l, 6*u + 4*l = 5*u + 105. Is 7 a factor of u?
True
Let w(r) = 55*r**2 - 105*r + 92. Does 14 divide w(15)?
True
Let b = -83 - -86. Suppose 0