 = -38 - -113. Let d = 248 - p. Is 10 a factor of d?
False
Let k = 9483 - -2343. Is 59 a factor of k?
False
Let r be 1*(-40)/14*-7. Suppose 768 = 22*y - r*y. Is y a multiple of 16?
True
Let y(n) = 2*n**3 - 21*n**2 - 9*n - 18. Let i be y(11). Let x(k) = 3*k + 79. Is 13 a factor of x(i)?
True
Let u = 718 - 435. Suppose l = 2*y - 224 - u, -y - 5*l + 270 = 0. Is y a multiple of 15?
True
Suppose 4*i + 0 - 8 = 4*n, 3*n = -4*i - 6. Let l(o) = -o**3 - 24*o**2 - 43*o + 65. Let w be l(-22). Let r = i + w. Does 43 divide r?
True
Let c(j) = 2*j**3 + 6*j**2 - 88*j + 118. Is c(20) a multiple of 18?
True
Suppose -10*j = -13*j - w + 136, -4*w - 208 = -4*j. Let p = 245 - j. Is 18 a factor of p?
True
Let z = -151 - -129. Is ((-17082)/7)/(-6) - z/77 a multiple of 37?
True
Let f(s) = s**2 - s - 1. Let h(y) = -3*y**3 + y**2 + 3*y + 18. Let u(m) = 2*f(m) + h(m). Is u(-4) a multiple of 21?
True
Let n(j) = -4*j - 22. Let f be n(-6). Let s be 3/f + 171*10/60. Suppose -2*x = -222 + s. Is 16 a factor of x?
True
Let k(m) = 3*m - 18. Let w(r) = -22*r - 2. Let y be w(-1). Let i be k(y). Does 21 divide (i/4)/(-3 - 39/(-12))?
True
Suppose 5*a + 3*a = -64. Does 4 divide (30/a)/((-13)/2704)?
True
Let d be -1 - ((-2)/7 - (-1215)/63). Let y(w) = w**2 + 20*w + 1. Let a be y(d). Let q(s) = 31*s**3 - 2*s**2 + s - 1. Is 19 a factor of q(a)?
False
Suppose -247*v - 174*v + 8021313 = 0. Is 219 a factor of v?
True
Let m(t) = -10*t + 36. Let g be m(4). Is 287/28 - -6 - (-1)/g a multiple of 11?
False
Let l = 21797 + -12149. Is l a multiple of 72?
True
Suppose -1181 + 424 = -f. Suppose u - f = -85. Is 21 a factor of u?
True
Let o(z) = -54*z**2 - 30*z + 18. Let h be o(-18). Is 23 a factor of 2/(-10) - h/90 - 3?
False
Let y = 881 + 2179. Is y a multiple of 10?
True
Let w(k) = 934*k**2 + 440*k - 25. Is 13 a factor of w(4)?
True
Let p be ((-20)/3)/((-3)/(-18)). Let g = p - -46. Is 2 a factor of ((-8)/g)/(8/(-72))?
True
Suppose -9*k + 20 = -5*k. Suppose -4*i + 4*m + 680 = 3*m, k*i - 4*m = 839. Is i a multiple of 25?
False
Suppose 3*b - 32 = 2*b - 3*k, -3*k - 124 = -5*b. Suppose b*l - 22*l = 692. Does 18 divide l?
False
Let j(v) = -33 - 32 - 2217*v + 2231*v + 50. Let c = 10 + -6. Is j(c) a multiple of 13?
False
Suppose -2*s + 53*k + 6 = 51*k, -2*s + 7 = -k. Is s a multiple of 2?
True
Let i(p) = 143*p + 61. Let b be i(18). Suppose -5*h + b = 905. Is h a multiple of 23?
False
Suppose 0 = -z - 19*g + 24*g + 40923, 3*g + 40941 = z. Is 18 a factor of z?
True
Suppose 2*p + 3*z - 81542 - 30608 = 0, -z + 168218 = 3*p. Is p a multiple of 326?
True
Suppose 5*w - 6*w + 2 = 0. Is 10 a factor of (23 - -115)/(3/w)?
False
Let j(u) = 6*u + 47. Let y be j(-8). Is 22 a factor of 2258/10 - 1/5*y?
False
Suppose 0 = 4*x - h - 25, -40 = 4*x - 9*x + 3*h. Suppose 3*f + 15 = 4*r, r + f - 7 = 5*f. Suppose -x*v + 432 = r*v. Is v a multiple of 13?
False
Let q = 181 + -99. Let i = q + -151. Let k = i + 103. Is k a multiple of 5?
False
Let o(p) = -10*p - 8. Let a be o(-8). Is 8 a factor of -7 + a + (-20)/4?
False
Let b(w) = -3*w - 32. Let i(s) = -s - 15. Let g(z) = 6*b(z) - 13*i(z). Let m be g(-2). Suppose -7*y - 132 = -m*y. Is 2 a factor of y?
True
Does 10 divide (1002/12 + 0)*2 + -7?
True
Let f = 0 + -1. Let h(i) = 310*i**3 - 36*i - 18. Let t(k) = 124*k**3 - 14*k - 7. Let o(m) = 5*h(m) - 13*t(m). Does 5 divide o(f)?
False
Let i(r) = 17*r**3 + 5*r**2 - 3*r - 2. Let f be i(2). Let v = 104 + f. Is 21 a factor of v?
True
Suppose -7*j - 10 = -17. Is ((j + -1641)/5)/((-2)/4) a multiple of 74?
False
Let w(v) be the second derivative of -v**3/3 + 2*v**2 + 4*v - 2. Let h be w(-18). Let d = 159 + h. Is d a multiple of 10?
False
Let p(s) be the third derivative of s**4/12 + 25*s**3/6 + 11*s**2. Let c be (-4)/14 + ((-258)/(-21) - 3). Is 7 a factor of p(c)?
False
Suppose 0 = -13357*h + 13377*h - 571060. Is h a multiple of 11?
False
Suppose -t = -5*n + 2*n - 239, -1255 = -5*t + 3*n. Let a = t - -49. Is a a multiple of 16?
False
Suppose -12*z - 146 = -2126. Suppose 0 = 5*b - 5*n - 135, -2*b - 3*b - n = -z. Is 8 a factor of b?
True
Suppose -4*o + 8*y + 3724 = 4*y, 5*o - 4682 = -4*y. Suppose -5*n - 103 = 4*u - o, 0 = -2*u + n + 433. Is 22 a factor of u?
False
Let q(i) = -57*i + 1121. Is 23 a factor of q(-26)?
False
Let r(s) = 150*s**3 - s**2 - 6*s + 9. Let q be r(3). Suppose -156*l = -149*l - q. Is 48 a factor of l?
True
Let w(c) = 289*c + 1108. Is w(34) a multiple of 102?
False
Let o(f) = 2*f**2 + 13*f + 3. Let p = 16 - 27. Is o(p) a multiple of 6?
True
Let m(j) be the first derivative of -1/3*j**3 - 1/4*j**4 - 27 + 36*j - 1/2*j**2. Is m(0) a multiple of 12?
True
Is (-70728)/(-728) + (-4)/26 + 1 a multiple of 3?
False
Let k(n) = 12*n - 96. Let z be k(8). Suppose z = 4*f + u - 2068, 4*f + 2*u - 479 - 1585 = 0. Is f a multiple of 37?
True
Let p(d) = -2*d**3 - 34*d**2 - 105*d - 64. Is p(-23) a multiple of 49?
False
Let p(o) = 18*o**3 - 4*o**2 - 2*o + 2. Suppose 0*c = -2*c - 3*q + 1, -2*c + 4*q + 8 = 0. Is p(c) a multiple of 21?
True
Let z(h) be the second derivative of h**5/20 + 5*h**4/12 - h**3/2 + 6*h**2 - 17*h. Let o be z(-6). Is 13 a factor of 3/o*-410*1?
False
Suppose -177*r + 14854 = -10612 + 9359. Is 8 a factor of r?
False
Let n be 9*(1/3 + (-5 - -5)). Suppose 100 = -n*u + 106. Suppose -2*z + 464 = -2*h - 0*h, u*z - 5*h = 467. Does 33 divide z?
True
Let w be 9/(-6)*(3 - -13). Let k = w - -95. Is k a multiple of 71?
True
Suppose -41600 = -23*l + 13*l. Is 89 a factor of l?
False
Let y be (-6 - (4 - 9))/(1 - 2). Let k be 2215/3 + y*(-5)/15. Suppose -k = -3*n - o, -o + 9 = 2*o. Is n a multiple of 49?
True
Let j = 33223 + -24443. Does 5 divide j?
True
Suppose -2*x - 39 = -l, -3*l + 87 = 4*x - 70. Suppose 0 = 10*i + 20*i - 2850. Let z = i - l. Does 16 divide z?
True
Suppose 9*u = -2*t + 23*u + 24092, -4*t + 3*u = -48184. Does 221 divide t?
False
Let c be 3 + (-4 + 4 - 81). Let g = -73 - c. Suppose 0 = -g*s + 15, -3*d + 5*s = 2*s - 420. Does 13 divide d?
True
Let w be (2/(-5))/((-3)/30). Suppose -2*x + i + i - 18 = 0, -w*x = 4*i + 60. Does 4 divide (-30)/(-50) + x/(-10)*17?
False
Let m = 5176 - 5022. Is 37 a factor of m?
False
Suppose 5*c + 26720 + 12358 = 3*n, -4*n + 52112 = -4*c. Is 83 a factor of n?
True
Suppose -7576 - 4608 = -8*o. Suppose 0 = j - 1, d = -2*d - 5*j + o. Is 37 a factor of d?
False
Suppose -5*l + 16 = 1. Suppose l*h - 208 - 299 = -3*t, 2*h + 4*t = 348. Is 6 a factor of h?
False
Suppose 10*f - 7*f + 408 = 0. Let g be f/51*27/2. Let j = g - -162. Is 9 a factor of j?
True
Let a(c) = 389*c**2 + 45*c + 47 - 15 - 383*c**2 + 61*c. Does 33 divide a(-19)?
False
Let m(d) = -8*d - 10. Let h(l) = -9*l - 10. Let a(u) = -3*h(u) + 2*m(u). Let y be a(-9). Let x = 211 + y. Is x a multiple of 12?
False
Suppose 5*j + 4*p + 1476 = 6307, 0 = -4*j + p + 3848. Suppose c = 1071 - j. Is c a multiple of 9?
True
Let n = 381 + -377. Suppose 4*q = -n*k + 96, -5*q - 45 = k - 149. Does 3 divide q?
False
Suppose -3*q = -59 - 46. Let x = q + 17. Let t = x - 29. Is t a multiple of 16?
False
Is (1 + 3)/((3024/901332)/21) a multiple of 25?
False
Let q = -2028 + 681. Let o(t) = -2*t + 5. Let m be o(3). Is 26 a factor of q/(-21) + m/7?
False
Suppose 0*i + 6*i = 3*i. Suppose 2*p + 3*c = 637, i = -5*p + 4*c + 1785 - 158. Suppose -3*d - 3*m + 4*m + 194 = 0, 5*d - p = 2*m. Does 5 divide d?
True
Does 47 divide (((-2312)/(-16))/(-17) + -5)*-282?
True
Let a = 1358 + -162. Is 13 a factor of a?
True
Let d(j) = -3*j**2 + 17*j + 18. Let p be d(12). Let v = p + 253. Is v a multiple of 4?
False
Suppose 0*z - 4*b = z - 59, 5*z - 383 = 2*b. Let s = -75 + z. Suppose s = 7*y + 3*y - 470. Is y a multiple of 15?
False
Suppose 3*u + 4*p = -10, -2*u + 2*p + 12 = -0*u. Suppose -3*w - 5*f + 19 = 0, -7*w = -u*w + 2*f - 19. Suppose w*x - 7*x + 60 = 0. Is 6 a factor of x?
False
Let j(b) = -b**3 + 7*b + 15. Suppose -r - t - 23 = 2*t, -4*t = 20. Does 12 divide j(r)?
False
Let o = 39035 - 23155. Is o a multiple of 20?
True
Is 31/2*20/30*567 a multiple of 27?
True
Let x(w) = w**2 - 4*w + 3. Let n be x(4). Suppose 56 = n*d - 7. Suppose d*g - 388 = 17*g. Is g a multiple of 16?
False
Suppose -4*l + 4*k + 16 = 0, -5*l - 5*k = -6*l - 16. Suppose 4*t - l = 7. Does 2 divide ((0 - 1) + t)*1?
False
Let o = -272 + 290. Suppose -o + 66 = 8*i. Is 3 a factor of i?
True
Does 3 divide (((-1)/(-3))/(