, -3*t = 15. Is 47 a factor of q?
True
Let z(m) = 3*m**2 - 5*m + 2. Let t(a) = -1. Let i(q) = -6*q - 18. Let y(s) = i(s) + 5*t(s). Let w be y(-5). Does 19 divide z(w)?
True
Suppose 2*l + 0*l - 98 = 3*j, 150 = 3*l - 3*j. Suppose -l = a - 132. Is 2 a factor of a?
True
Let z = 47 + -33. Suppose 16*l = z*l + 84. Does 41 divide l?
False
Let p(n) = 115*n + 320. Is p(67) a multiple of 7?
False
Let m(h) = 2*h**3 - 57*h**2 + 16*h + 95. Is 8 a factor of m(29)?
True
Let y be 102/8*15/(315/28). Let p(m) = 2*m**2 + 15*m - 65. Is p(y) a multiple of 14?
False
Let v(w) = w. Let t(k) = -10*k**2 - 6*k. Let g(l) = -t(l) - 5*v(l). Is 5 a factor of g(5)?
True
Suppose 5*u = -5*s + 10, 4*u + 22 = 5*s + 3*u. Let v be 10/15*-3 + s. Does 21 divide 70 + (v - -1 - 3)?
False
Suppose -2*w - 5*i + 26361 = 0, 3*i + 48365 = 5*w - 17553. Does 63 divide w?
False
Let m(d) = 11*d + 1667. Is 7 a factor of m(-30)?
True
Let l(d) = 9*d**2 - 2*d + 2. Let q(x) = -66*x - 3. Let s be q(1). Let n = s - -65. Is 14 a factor of l(n)?
True
Does 47 divide ((0 + -23782)/22)/(-1)?
True
Suppose -15*p = -5736 - 40305 - 142914. Does 13 divide p?
True
Is 48 a factor of 2*(4/8)/(10/64060)?
False
Let x(s) = 4*s + 12. Let p = 71 - 83. Let m(o) = -o. Let y(w) = p*m(w) - 2*x(w). Is y(17) a multiple of 7?
False
Suppose -462*x + 926*x - 48 = 458*x. Does 3 divide x?
False
Let h be (-3)/4*(1 - 5). Suppose -w - 10 = -5*o, -h = -o - 4*w - 1. Is 27 a factor of (o + -56)/(-5 - -1 - -2)?
True
Let p = -22 + -6. Let n = -89 + 34. Let g = p - n. Is 11 a factor of g?
False
Let c be (3 - 19)*2/(-4). Suppose c*j = 6*j + 194. Let l = -73 + j. Is 8 a factor of l?
True
Suppose 11*l - 237 + 1161 = 0. Is 15 a factor of (-1177)/(-2) - 42/l?
False
Let c = -448 + 1073. Let p = 999 - c. Is 56 a factor of p?
False
Let z be (-1)/(-8) + (-7)/((-280)/75). Does 11 divide -198*(z - 15/6)?
True
Let x(z) = -z**3 + 3*z**2 - 6*z + 6. Let h be x(3). Let a = h + 96. Does 15 divide (a/9)/(8/60)?
False
Let g be 1 + 3 + 1 + -1. Is 14 a factor of -28*((-132)/110 - g/5)?
True
Let o(c) = -38*c + 62. Is o(-54) a multiple of 7?
True
Let b be 8/(-6) + (1302/18)/7. Let x(v) = -4*v + 45. Is 9 a factor of x(b)?
True
Let m = -324 - -2092. Is m a multiple of 26?
True
Let v(g) be the third derivative of -g**5/60 + g**4/24 + 5*g**3/6 - 32*g**2. Let n be v(3). Does 21 divide (n/(-2))/(11/1518)?
False
Is (141464/(-22) - (-76)/418)*(-4)/8 a multiple of 80?
False
Is 22 a factor of (64/6 + -11)/(2/(-147414))?
False
Let g(w) = 0*w**3 + w**3 - 7*w**2 - 3*w - 3*w - 21. Let j = -3465 + 3474. Is 27 a factor of g(j)?
False
Let d = -531 - -535. Suppose d*c - 9*c = -5*p + 270, 0 = 2*p + c - 117. Does 19 divide p?
True
Let v(y) = -y**3 - 3*y**2 - 1. Let p be v(-4). Suppose -4*k = 5*q - 5 + 47, 0 = 5*k + p. Does 11 divide ((-333)/(-5) - 1) + q/(-15)?
True
Suppose 0 = -5*x + 3*m + 43175 + 131426, 0 = -x + m + 34917. Does 127 divide x?
True
Suppose 3*d - 3902 - 4993 = 0. Is 39 a factor of (-3)/((-12)/d) + 47/(-188)?
True
Let u(d) be the second derivative of -23*d**3/3 + 13*d**2/2 + 198*d. Does 62 divide u(-7)?
False
Suppose -5*j = -q - 33599, -1245*q = 4*j - 1250*q - 26875. Is j a multiple of 140?
True
Let s = 16598 + 2088. Is s a multiple of 106?
False
Let d(o) = -o**3 + 9*o**2 + 3*o - 7. Let l be d(9). Let k be (328/l - 2/5)/2. Does 47 divide ((-800)/12 - -4)/(k/(-12))?
True
Let y = 251 + -134. Let d = 115 - y. Is (15 + -1)*(-22)/d a multiple of 22?
True
Suppose -979*g = -992*g + 67626. Does 17 divide g?
True
Let s be (96*-1)/(3/12)*-1. Is 4 a factor of (s/8 + -7)/1?
False
Suppose -j - 2*c + 33 = 0, -c - 34 + 152 = 4*j. Let y = 46 - j. Let z = y + 1. Is z a multiple of 5?
False
Is 1/((-10)/(-70)) + 2924/1 a multiple of 37?
False
Suppose 5*p + 11 = 4*d - 17, -4*d = 2*p. Let s be 18/27*9/6. Does 19 divide 53 - ((-6)/d + s)?
False
Let q = -47 + 52. Let z(l) = 0*l - 11*l + q*l**2 + 11 + 5*l. Does 25 divide z(-4)?
False
Let z(p) = -3*p**3 - 5*p**2 - 3*p + 2. Let y be z(-2). Let k be (y/8 - 3)*-18. Suppose -2*a + 5*a - k = 0. Is 2 a factor of a?
False
Suppose -2*i + 4 - 6 = -4*g, 0 = 4*g + i - 11. Suppose 2*s + 94 = g*p, -5*s = -8*p + 9*p + 241. Is (-1534)/(-14) + s/(-112) a multiple of 22?
True
Suppose 12 = -14*f + 17*f. Suppose -3*b + 441 - 87 = 0. Suppose 4*u - 152 = -f*a, -4*a + b = 2*u + 34. Does 17 divide u?
True
Suppose -33*g = -27*g - 12. Let j be (-9 + -48)/((-1)/1). Suppose g*w - 3*h + j = 5*w, 0 = w + 4*h - 16. Does 10 divide w?
True
Let x(r) = r**2 + 2*r. Let v be x(-2). Suppose v = -11*f - f + 2040. Is 10 a factor of f?
True
Let x(u) = 44*u + 1634. Is x(79) a multiple of 48?
False
Let i be (-7)/((-56)/1816)*2. Suppose -11*j = -976 - i. Is 5 a factor of j?
True
Let a = -494 - -496. Let n(w) = 38*w**3 - w**2 - 2*w + 1. Let s be n(2). Suppose -s = a*r - 5*r. Is 23 a factor of r?
False
Let c = -5412 - -11518. Is 49 a factor of c?
False
Suppose 4022 = 3*x + 2*f, 13*x + 4*f - 4024 = 10*x. Is x a multiple of 21?
False
Does 12 divide (50/40)/(-5) - -193*(-2)/(-8)?
True
Let z = 1073 - 537. Let x = 824 - z. Is x a multiple of 18?
True
Suppose -19*h + 14*h = -5*a + 3225, 0 = h - 1. Does 79 divide a?
False
Suppose m + l + 173 = 0, -348 = -m + 3*m + 4*l. Let d = -87 - m. Does 5 divide d?
True
Suppose 5*v + 14 = -106. Is 2 a factor of (8/(v/99))/(-3)?
False
Let a = -10606 - -12636. Is 31 a factor of a?
False
Let w be -46 + 53 + 2 + 173. Suppose -i + w = r - 4*r, 4*i - 728 = r. Does 7 divide i?
True
Let b(f) = -17*f**3 + 2*f**2 + 20*f - 49. Is b(-5) a multiple of 14?
False
Let w = 3405 + 4040. Is w a multiple of 75?
False
Let o(l) = -71*l + 3123. Does 35 divide o(-107)?
False
Let q = -654 + 658. Let y(c) = -c**3 + 7*c**2 + 4*c - 2. Is 62 a factor of y(q)?
True
Let m(f) = 736*f**2 + 14*f + 59. Does 56 divide m(-3)?
False
Suppose 125*t = -2*t + 93472. Is 58 a factor of t?
False
Let i(d) = 18*d + 3. Suppose 0 = 17*f + 1 - 52. Is 2 a factor of i(f)?
False
Suppose 0 = -n + 3 - 3. Let r be n/(-2) + (8*1)/2. Is -2 - (-9)/6 - (-118)/r a multiple of 5?
False
Let n(r) = r**2 - 10*r - 19. Let x(h) = 4*h - 43. Suppose -12 = 5*l - 57. Let j be x(l). Does 10 divide n(j)?
True
Suppose 5*p - 918 = -4*p. Suppose 2*w = 4*w - p. Is w a multiple of 19?
False
Let o(p) = -p**3 + 20*p**2 + 23*p + 20. Let u(w) = -w**3 - 10*w**2 - 2*w + 6. Let t be u(-10). Suppose -23*j + t*j - 63 = 0. Is 31 a factor of o(j)?
True
Suppose -136 = 2*z - 148, 2*z = b - 1673. Is 69 a factor of b?
False
Let r(w) = 43*w**2 - 13*w - 432. Is r(-15) a multiple of 10?
False
Let z = -44 - -40. Let g be (z/(-16))/(1/20). Suppose 0 = 2*v + m - 112, 5*v + g*m - 141 - 144 = 0. Is 14 a factor of v?
False
Let p(t) be the third derivative of 1/120*t**6 + 0*t + 5/24*t**4 + 2/15*t**5 + 0 + 28*t**2 + 7/2*t**3. Does 9 divide p(-6)?
True
Let n(b) = -557*b + 455. Is n(-5) a multiple of 10?
True
Is 26 a factor of (-30)/(-110) + 4547565/363?
False
Is 30 a factor of (-228)/152*(-205690)/15?
False
Suppose 517*m - 744*m = -805623. Is m a multiple of 224?
False
Let q(c) = c**3 + 6*c**2 - 3*c + 6. Let x = -26 + 28. Suppose -3*n - 30 = x*n. Is 8 a factor of q(n)?
True
Does 90 divide 53/(-265) + -4*(-286203)/60?
True
Let k = 7731 - 6682. Is k a multiple of 24?
False
Suppose -8*t = 38 - 374. Let h be 3/4*280/t. Suppose h*a - 16 = 124. Is a a multiple of 14?
True
Suppose -7*z + 2434 = -7681. Suppose z - 50 = 3*v. Is 19 a factor of v?
False
Let r(c) = -53*c**3 - 6*c**2 - 7*c - 70. Is 20 a factor of r(-5)?
True
Let o(m) = -3 - 2 + 1 - 2*m. Let r be o(-4). Is (-1 - -38 - r)/(1 - 0) a multiple of 17?
False
Suppose 0 = -8*t - 413 - 1107. Let z = 483 + t. Is z a multiple of 25?
False
Let k = -756 - -649. Let z = 24 - k. Does 20 divide z?
False
Let s(m) be the third derivative of 7*m**4/8 - 3*m**3/2 + 18*m**2. Let f be s(15). Suppose 9*y - 3*y = f. Does 6 divide y?
False
Suppose -j - 15 = 4*x, j + 3*j = -x. Suppose 4*c = -4, 65 = -q - 4*c - 4. Does 31 divide j + -1 + 1 + -2 - q?
False
Suppose -12271 = -2*p - b, 5*p - 30705 = -387*b + 390*b. Is p a multiple of 11?
True
Let k(n) be the second derivative of 5*n**3/6 - 4*n**2 + 13*n. Let d be k(2). Suppose 0 = -4*o - y + 152, 2*o = o - d*y + 45. Is 23 a factor of o?
False
Suppose 6*u - 13372 = 10034. Is 97 a factor of u?
False
Is (22 + -19)*-1*(-3716)/6 a multiple of 22?
False
Suppose -64087 = -5*j + 4*i, -11