 - 2. Let p be q(-6). Suppose 6*i - p = -28. Let m(k) = -11*k + 4. Is 12 a factor of m(i)?
True
Let b(u) = u**2 - 8*u + 1. Let p be b(8). Suppose 13 = 3*t + p. Suppose -t*w = w - 185. Is 14 a factor of w?
False
Let o be (-42)/((-91)/52 + (-1 - -2)). Is o/(-70) - 259/(-5) a multiple of 26?
False
Suppose 0 = -3*b + 2*u - 8 - 0, 5*b - 16 = -4*u. Suppose b = 4*i, -o + 4*i + 0*i = -42. Let j = -21 + o. Does 15 divide j?
False
Is 6/9*90/(-20) + 1256 a multiple of 14?
False
Let m(j) = -31*j + 98. Does 76 divide m(-14)?
True
Let v be -1 - (1/1 - 4). Suppose -4*p + 6*s = v*s - 748, 4*s - 917 = -5*p. Is p a multiple of 24?
False
Let m = 87 + -83. Is m a multiple of 2?
True
Let y = 172 - -6. Suppose -3*w - y = j - 800, -4*w + 846 = -2*j. Does 44 divide w?
False
Let r(d) = 23*d - 12. Suppose -9 = -4*g - 1. Is r(g) a multiple of 2?
True
Is -5 - -12 - (-21 - 1025) a multiple of 3?
True
Suppose -3*t + 2001 = -0*t + 4*x, 0 = 4*t + 3*x - 2668. Is 46 a factor of t?
False
Suppose 2*s - 777 + 263 = 0. Suppose 0*n + 2*r - s = -3*n, 3*r = n - 82. Let v = n - 15. Does 14 divide v?
True
Let i = 129 - -31. Let h = i - 148. Does 12 divide h?
True
Let d(s) = s**2 + 11*s + 12. Let q be d(-14). Is q + -5 + 3 + (2 - 2) a multiple of 9?
False
Let a(z) = 2*z**3 - 5*z**2 - 6. Is 42 a factor of a(4)?
True
Suppose -4*a + 2*a + 23 = -x, 0 = -3*a + 4*x + 42. Suppose -a*k + 7*k = -9. Suppose -2*t = 7*m - 2*m - 230, -k*t + 15 = 0. Is m a multiple of 11?
True
Is 2 a factor of (-5)/((60/(-336))/5)?
True
Let p = -54 - -107. Let i = -32 + p. Is i a multiple of 7?
True
Suppose 0 = 5*k - 4*j + 18, 0*j - 3 = k - j. Let c = 607 + -894. Is c/k - 7/(-42) a multiple of 16?
True
Suppose -3*y - z + 1424 = 0, 904 + 998 = 4*y + 2*z. Is 43 a factor of y?
True
Let i be (1 + -6)*(-6)/30. Let l = 1 + i. Suppose 84 = -l*m + 4*m. Is m a multiple of 14?
True
Let j(n) = 3*n**3 + 4*n**2 + 34*n - 7. Is j(4) a multiple of 2?
False
Suppose -5*d - 3 = s, -2*s = -3*s - 2*d. Suppose 0*x = q - x + 107, -5*x - 207 = s*q. Is 7 a factor of q/(-4) + (-4)/(-8)?
False
Let q be ((-10)/(-4))/((-7)/70). Is 17 a factor of (-17)/(1 + q/20)?
True
Let j = 100 - 97. Suppose -p + 2*p - 303 = -5*w, 0 = 4*w + j*p - 238. Does 23 divide w?
False
Suppose 0 = -4*n + 9*n. Suppose n = -21*t + 27*t - 240. Is t a multiple of 40?
True
Suppose 4*g + 33 = g. Let j = -11 - g. Suppose j = 3*u - 5*t - 193, -6*t = -5*u - 3*t + 295. Does 14 divide u?
True
Let b = 1151 - -99. Is 10 a factor of b?
True
Is ((-4)/6)/(9/(-729)) a multiple of 27?
True
Suppose -q + 2 = -2. Suppose -i - 5*t = q*i - 300, 0 = i - 5*t - 48. Does 29 divide i?
True
Suppose -71*v + 73*v - 1260 = 0. Does 70 divide v?
True
Suppose -34*b = -18*b - 7264. Is b a multiple of 23?
False
Let h = -47 + 91. Let n = -38 + h. Does 4 divide n?
False
Let r(n) = -4*n + 340. Is r(-21) a multiple of 56?
False
Suppose -37 = w - 8. Suppose 37*j = 39*j + 12. Let k = j - w. Is 10 a factor of k?
False
Let z(l) be the third derivative of -l**4/24 + 41*l**3/2 - 7*l**2. Does 35 divide z(0)?
False
Let v = -542 + 994. Is 21 a factor of v?
False
Let r be ((-4)/(-8))/1*4. Let q be (-165)/(-12) + (-1)/(-4). Is -3 + (r - 2) + q a multiple of 11?
True
Let n be 4915/(-20) + 6/8. Does 34 divide n/(-3) - (-18)/(-27)?
False
Let y be (-24)/9*21/(-2). Suppose y*z - 22*z = 1104. Is 27 a factor of z?
False
Let t(n) = 3*n**2 - 4*n + 10. Suppose -v - 2 = -8. Is t(v) a multiple of 34?
False
Let n be (-1)/(2756/(-920) + 3). Is (n/(-15))/(6/27) a multiple of 21?
False
Let d(r) be the first derivative of -r**4/4 - r**3/3 - r**2/2 + 28*r + 1. Let f be 1*(1/(-1)*1 - -1). Is d(f) a multiple of 7?
True
Let y = 8 + -7. Let r be (3/y - 0) + -3. Suppose r = 2*w - 15 - 23. Does 5 divide w?
False
Suppose -2*g + 4421 = -375. Is 22 a factor of g?
True
Suppose r = -4*x + 67, -3*x + 7*x - 58 = 2*r. Is 12 a factor of -34*(-17)/8 + (-4)/x?
True
Let r(c) = c**3 + 7*c**2 - 13*c - 12. Suppose 8*h - 9*h = -75. Let i be 10/h + 244/(-30). Is r(i) a multiple of 7?
True
Suppose -t - 966 = -4*t. Suppose 3*q = -2*v + t, -5*q = -3*v + 441 + 23. Is 34 a factor of v?
False
Let t(k) = -k - 2. Let s be (-1 - -6)/((-3)/3). Let v be t(s). Suppose -v*q = -8 - 70. Is q a multiple of 21?
False
Suppose 2*l = 5*m + 5*l - 375, -m + 5*l + 103 = 0. Suppose -4*s + m = -3*s. Is s a multiple of 6?
True
Suppose -752 = -4*s + 4*i, -i = 2*i + 9. Does 4 divide s?
False
Suppose u = 4*k + 936, 0 = 4*u - 5*k - 3538 - 173. Is 22 a factor of u?
True
Does 18 divide 1218*((-2)/4)/((-35)/120)?
True
Let w(m) be the second derivative of -m**3/6 + 5*m**2/2 - 4*m. Let y be w(2). Suppose y*k - 4*g - 124 = 0, g - 3*g + 136 = 4*k. Is k a multiple of 11?
False
Suppose -g - 835 = 10*h - 15*h, g + 5 = 0. Is 83 a factor of h?
True
Let w be ((-95)/6)/(-1) - (-5)/30. Let a(x) = -x**3 + 17*x**2 - 13*x + 22. Does 35 divide a(w)?
True
Let o(h) = -h**3 + 4*h**2 - 2*h + 4. Let z = 20 + -18. Suppose -4 = -z*w + 2. Does 7 divide o(w)?
True
Let v(i) = -4*i**2 + 99. Is 11 a factor of v(0)?
True
Suppose 3*w - d = 359, -621 = 19*w - 24*w - 4*d. Is 12 a factor of w?
False
Suppose -5031 - 8399 = -17*p. Does 21 divide p?
False
Suppose 6155 = 9*i - 4375. Does 13 divide i?
True
Suppose 7*s - 2278 = 130. Let o = s + -208. Does 34 divide o?
True
Is 5 a factor of 240 - (-4 - (1 + 0 - 4))?
False
Let g(r) = 7*r - 13*r - 2 + 8*r + 3. Let l be g(5). Suppose -l - 5 = -2*v. Is 2 a factor of v?
True
Let k(n) = n - 15. Let l be k(14). Let j be (-6 + 5)/(l/3). Suppose 2*r - 6 = 0, j*r + 0*r + 21 = 2*t. Is t a multiple of 3?
True
Let x(n) = -14*n + 21. Let j(y) = -7*y + 10. Let m(z) = 7*j(z) - 3*x(z). Does 8 divide m(-4)?
False
Suppose 2*r + 51 = -r. Let s = 19 - r. Suppose s = -4*p + 508. Does 30 divide p?
False
Let l(o) = o**3 - 14*o**2 - 9*o - 35. Does 11 divide l(15)?
True
Suppose q - 78 = -8. Is 5 a factor of 1790/q - 8/14?
True
Suppose 2 = 2*a - 4*i, -5*a - 2*i - 4 + 57 = 0. Let h(l) = -5*l + l**2 + 18*l - 2*l**2. Is 12 a factor of h(a)?
True
Suppose 2*a - 5*g - 896 = -76, -3*a - 4*g = -1184. Is 20 a factor of a?
True
Suppose 3*i - i - 10 = 0. Suppose -i = -u + 7. Is 8/1 - (u - 12) a multiple of 4?
True
Suppose -3*a - 9*x + 4*x = 427, -2*x + 455 = -3*a. Let z = a - -301. Is z a multiple of 19?
True
Suppose -6 + 18 = 4*s. Is s + -3*298/(-6) a multiple of 23?
False
Does 53 divide ((-50)/225 + (-640)/(-18))*27?
True
Suppose -n = 3 - 7, -n = 2*w - 1152. Is 27 a factor of w?
False
Let n = -85 + 99. Suppose -n*j + 2016 = -6*j. Is j a multiple of 36?
True
Let p(r) = r**2 + 3*r - 4. Let c be p(2). Let x be 2 - (1 + 2) - c. Let u(q) = -7*q + 13. Does 25 divide u(x)?
False
Let b(v) = -3*v**3 - 6*v**2 - 10*v - 5. Is b(-2) a multiple of 3?
True
Let l(a) = 14*a**2 + 24*a - 130. Is l(18) a multiple of 82?
True
Suppose 0 = -4*i + 16 - 0. Let p(r) be the third derivative of r**4/24 + r**3/2 - 11*r**2. Does 7 divide p(i)?
True
Let f(k) be the first derivative of k**2 - 8*k + 4. Does 5 divide f(9)?
True
Suppose -3*j - 120 = 2*j. Let x = j + 0. Is 13 a factor of (13 + -1)*x/(-16)?
False
Suppose -2*w + 0*w + s = -2, -3*w = 4*s - 14. Suppose 2*r = -w*n + 14, -2*n = -2*r + 9 - 3. Is 4 a factor of r?
False
Suppose 0 = 2*r - 6, 3*i + 2*r - 45 = -12. Suppose -2*u + 364 = -7*k + i*k, 182 = u - 5*k. Does 14 divide u?
True
Let h = 964 - 371. Is 68 a factor of h?
False
Suppose -119*b + 126*b = 3185. Does 91 divide b?
True
Suppose -3*s = -y + 3*y - 183, 0 = -4*s - 4*y + 248. Is s a multiple of 11?
False
Suppose q - 108 = -3*q. Let r = q + 18. Does 5 divide r?
True
Let s = 259 - 19. Does 15 divide s?
True
Suppose -7*j = -12*j + 45. Suppose 0 = -2*r - 5*b - j, -b + 5 = 2*r + 2. Suppose -147 = -r*a + 15. Is a a multiple of 27?
True
Let a(f) = 1662*f - 300. Does 21 divide a(2)?
True
Suppose 4*w = 21*w - 425. Is 24 a factor of -2 - (-1839)/15 - 15/w?
True
Suppose -3*j + 3*h = 227 - 5261, -6736 = -4*j - 2*h. Is j a multiple of 29?
True
Let v = -10 + 4. Let y(z) = z**2 + 3*z - 1. Let j be y(v). Suppose 0 = 4*o - j - 51. Does 9 divide o?
False
Let q be 152/32 - (-1)/4. Suppose 0 = r - 3*u - 2 + 4, -q*u + 7 = 2*r. Is 20 a factor of r + 20 + -4 + 3?
True
Let v be (-1370)/25 - 8/(-10). Let i = v + 166. Does 14 divide i?
True
Let g(w) be the third derivative of -w**4/8 - w**3/6 + 3*w**2. Is 4 a factor of g(-5)?
False
Let g be 3/(((-2)/6)/(8/(-24)