/(-10)). Suppose -15*m + 66 = -p*m. Is 13 a factor of m?
False
Let y(u) = 7*u - 3. Let k be y(4). Let a be (30/k)/((-4)/10). Let c(g) = -27*g + 3. Is c(a) a multiple of 12?
True
Suppose -d - 5*h = -155, -d - 4*h - 46 = -199. Does 29 divide d?
True
Suppose -525 = -3*v - 2*v. Suppose -4*s = 3*s - v. Let f = s + 18. Is 11 a factor of f?
True
Let i = -112 - -224. Does 45 divide i?
False
Let p be (42/18)/1 - 2/6. Suppose -p*z + 182 = -12. Is z a multiple of 14?
False
Suppose -5788 = -0*s - 4*s + 3*d, 2*s - 2880 = -2*d. Is s a multiple of 25?
False
Suppose -42 = -3*d - 9. Let b(h) = 2*h - 2. Let a be b(3). Suppose 0 = a*g - 33 - d. Is g a multiple of 6?
False
Let u be 867/34 + (-2)/(-4). Let t = u + -23. Does 3 divide t?
True
Let n(v) = v**2 + 6*v + 9. Let x be n(-6). Suppose 2*f + x = 5*w, 4 = 5*w - 4*f + 1. Does 23 divide (11 - 2)*23/w?
True
Suppose -3*k - n = -45, 3*n + n = -3*k + 45. Let p = k + -10. Suppose -4*d + 8*a - 4*a = -88, p*a = 20. Is 13 a factor of d?
True
Suppose 10*u - 24368 = -288. Does 43 divide u?
True
Let v = 73 + -38. Let z = 53 - v. Suppose 3*b - z = 42. Does 3 divide b?
False
Let w(m) = -m**2 - 4*m + 3. Let v be w(-4). Suppose -6*b + 456 = -v*b. Is 38 a factor of b?
True
Let f(l) = 95*l**2 + 6*l - 14. Does 27 divide f(2)?
True
Let i(y) = 8*y**2 - 2*y - 1. Let n be i(1). Let u(v) = -4*v**2 + 3*v - v**3 + v - 5 + 2*v**3. Does 20 divide u(n)?
True
Suppose 672 = 3*k - 7*k. Let n be (-3)/(-2)*k/(-18). Does 12 divide (-2 - 0) + n + 0?
True
Suppose 391 = 3*h - y + 5*y, -y - 246 = -2*h. Let b = h - 8. Does 55 divide b?
False
Suppose 4*j + 10 = -14. Let k(i) be the first derivative of -i**3/3 - 4*i**2 + 5*i + 382. Is 7 a factor of k(j)?
False
Let f = -981 - -1027. Is 2 a factor of f?
True
Let w(v) = -213*v + 22. Does 14 divide w(-2)?
True
Suppose 5*r - 33 - 53 = -4*y, 5*y - 67 = -4*r. Suppose 5*g = -a + r, -18 - 70 = -2*a + 3*g. Does 19 divide a?
True
Is 23 a factor of ((20 - -1)/7)/((-6)/(-712))?
False
Suppose -13932 = 34*h - 77*h. Is 9 a factor of h?
True
Suppose -689 - 1544 = -7*w. Does 20 divide w?
False
Let h be 3 - 2 - 2 - 26. Let r = h + 80. Suppose -1 + r = 2*w. Is w a multiple of 7?
False
Let b = 82 + -59. Let y = b + -17. Is 3 a factor of y?
True
Suppose o = -0*o + 202. Let v = -310 + 688. Suppose 4*q - v = -0*q - 3*w, -2*q + 5*w + o = 0. Is 25 a factor of q?
False
Let g = -285 - -439. Is 22 a factor of g?
True
Let b(t) = t**3 - 8*t**2 - 6*t - 10. Let g be b(9). Let u = g + -14. Suppose u*a - 11 = -n - 2*a, 0 = -a - 1. Is n a multiple of 7?
False
Suppose 7*k + 3 = 6*k. Is 0 - (k/(-1) - 68) a multiple of 13?
True
Suppose -5*c = -5*q + 100, 11*q - 4*c - 48 = 9*q. Is 4 a factor of q?
True
Let g(v) = 6*v - 5. Does 3 divide g(3)?
False
Let j be (-20)/6*12/10. Is (-459)/(-4) + (-1)/j a multiple of 23?
True
Let h = 109 - -12. Suppose -h = 2*w - 409. Is 24 a factor of w?
True
Let b(a) = a**2 + 4*a - 3. Let g be b(-5). Suppose 2*t - t - 4*i - 122 = 0, 5*t - 544 = -g*i. Does 22 divide t?
True
Let u(q) = -2*q + 19. Suppose -14*g + 10*g = -4. Let x be 10*(g + 1)/(-2). Is 12 a factor of u(x)?
False
Let h(l) be the first derivative of 6*l**2 - 2*l - 9. Let f be h(-1). Let n = 40 + f. Is 13 a factor of n?
True
Suppose 10*i - 16 = 6*i. Suppose -15 = -a - 5*y + 3, 2*a - 22 = i*y. Let b = a + 2. Is b a multiple of 9?
False
Let b = -95 + 98. Suppose a - 27 = -b*q, -43 = -4*a + 2*q - q. Is a a multiple of 7?
False
Let w be 4/(2 + 8/(-6)). Suppose -4*k + 5*t + 23 = 0, -t + w = -3*t. Let b(c) = 16*c**2 + c + 1. Does 18 divide b(k)?
False
Let d(f) = -f**3 + 7*f**2 - 6*f + 5. Let i be d(4). Suppose -s + 117 = i. Does 10 divide s?
False
Let y be (77/3)/((-4)/(-12))*-1. Let j = y + 197. Is j a multiple of 12?
True
Let m(i) = -i**3 + 2*i**2 + i - 8. Let t(o) = 5*o**2 - o. Let v be t(1). Let y be m(v). Let j = y - -74. Is j a multiple of 19?
True
Let g = -32 + 33. Let k = -148 + g. Let r = k - -227. Does 10 divide r?
True
Let o be (0 - (1 - 2))/((-2)/(-278)). Let y = o - 82. Is y a multiple of 16?
False
Let i be ((-3)/5)/(1/(-5)). Let g(h) = 24*h + 10. Is g(i) a multiple of 26?
False
Suppose -v + 856 = 4*k + 4*v, -4*v + 16 = 0. Is k a multiple of 28?
False
Does 16 divide (1353/22)/((-15)/(-100))?
False
Let t = -99 - -59. Let u be (-4)/2*60/t. Suppose u*y = 9*y - 564. Is y a multiple of 13?
False
Suppose 5*v + 0*v = 4*o + 454, 4*v + 436 = -4*o. Let y = o + 229. Is 17 a factor of y?
False
Let j(n) = -455*n + 443. Is 73 a factor of j(-4)?
True
Let k = -52 + 43. Is (k + 1)*36/(-6) a multiple of 6?
True
Let d = -143 - -144. Is 27 a factor of d/((-13)/2) - 7882/(-26)?
False
Does 24 divide -1*(-4 + -1 + (-527 - -4))?
True
Let y(c) = 19*c - 3*c**2 + 3*c**2 - 4*c**2 + 3*c**2 - 11. Let k be y(9). Let q = 131 - k. Is 16 a factor of q?
False
Let z be -3*3/12*-4. Suppose v - 114 = -4*s + 158, z*v + 4*s = 800. Suppose 4*p = -0*p + v. Is 15 a factor of p?
False
Let b(s) = -2*s**2 - 3*s. Let l(v) = 3*v**2 + 6*v + 1. Let u(h) = 7*b(h) + 4*l(h). Let a be u(3). Let j(o) = -3*o + 6. Is j(a) a multiple of 8?
False
Let p(n) = 60*n - 11 - 32*n - 4 - 36*n. Is 10 a factor of p(-12)?
False
Let n(f) = 8*f + 15. Let t be n(6). Let g = -39 + t. Is g a multiple of 4?
True
Let i = 37 - 44. Let s(g) = -g**2 - 9*g - 5. Does 9 divide s(i)?
True
Suppose -r + 5*d - 2*d = 8, 4*d - 4 = -2*r. Let y(l) = -12*l**3 + 3*l**2 + 2*l - 2. Is y(r) a multiple of 17?
True
Suppose -3*r - 219 = -2*g, -8 = 5*r - 3. Is g a multiple of 6?
True
Let m be 1 + (2 - 0)*-1. Let l be (0 - 5)/(m - 0). Suppose 0*r + 3*r - 72 = -4*f, l*r - 109 = -3*f. Is r a multiple of 20?
True
Let i(z) = 15*z. Let r be i(5). Let s(o) = 77 - 13*o - r - 5*o. Is s(-2) a multiple of 19?
True
Let i(z) = -z**2 + 47*z + 157. Is i(48) a multiple of 18?
False
Suppose -64 = -2*v + 5*p, -5*v - p = -0*v - 133. Does 27 divide (v/4)/(3/48)?
True
Let b = -953 - -985. Does 8 divide b?
True
Suppose 4*m + 2*m - 972 = 0. Let c = 104 - m. Let q = c - -145. Is 29 a factor of q?
True
Let v = 142 + -370. Let i = v + 319. Suppose -3*m + 85 = 2*x + 3*x, 0 = -3*m + x + i. Is m a multiple of 10?
True
Let j = -4 - 5. Let y(d) = -d**3 - 7*d**2 + 3*d - 2. Is y(j) a multiple of 13?
False
Suppose -91*z = -100*z + 162. Suppose 0*b - 3*b - 4*n - 12 = 0, -2*n = -6. Let f = b + z. Does 3 divide f?
False
Let h = -24 - -4. Let y be h/(-130) - (-37)/13. Suppose -g = -2*s + y*s - 3, s - 5*g - 27 = 0. Does 6 divide s?
False
Suppose s - 2*s = 44. Does 17 divide (946/s)/((-1)/2)?
False
Let r be (171/36)/((-1)/(-20)). Let w = -39 + r. Does 14 divide w?
True
Let f be -2*(2 + 2 + -6). Does 13 divide (-54 + f)/(1/(-2))?
False
Let u(l) = 2*l**2 - 8*l - 3. Let q be u(6). Let w be 4*((-28)/8 + 4) - -25. Let b = q + w. Is b a multiple of 24?
True
Suppose -m + 1 = -7. Let i = 14 + m. Is i a multiple of 11?
True
Does 10 divide (-3 - (577 + 0))*-2?
True
Suppose 46*y + 48 = 42*y. Is 63/y*(-64)/12 a multiple of 14?
True
Let i = -4210 + 6160. Is 39 a factor of i?
True
Does 11 divide ((-56)/(-12))/(1/120)?
False
Suppose 7 = -7*w - 0. Is 6/w*52/(-12) a multiple of 15?
False
Suppose -q - 6 = 3*g + 6, 5*q - 5*g = 40. Suppose -100 = -2*m - q*m. Does 3 divide m?
False
Let r(n) be the second derivative of n**4/4 - n**3/3 + n**2/2 - n. Let p be r(3). Suppose -2*f + 1 = -1, -k + p = -f. Is 9 a factor of k?
False
Let t(j) = j + 1. Let r = 33 + -26. Is t(r) a multiple of 8?
True
Let z = -3 - -8. Suppose 0 = z*n - 2*k + 4, -n = 2*k - 3*k - 1. Is n/(-1 + (-22)/(-26)) a multiple of 3?
False
Suppose -9*r = 11*r - 25900. Is 21 a factor of r?
False
Let x = 72 - -4. Let z = x + -53. Is z even?
False
Let m(v) = 4*v**2 - 12*v - 24. Let r be m(10). Let n = -178 + r. Is 13 a factor of n?
True
Suppose 1894 = 10*z + 774. Is 4 a factor of z?
True
Suppose -2*t - 33 = 2*x - 7, -3*t = -x + 47. Let u = 17 + t. Suppose u*i = -3*i + 185. Is i a multiple of 16?
False
Suppose h - 4*h - 1 = -d, -4*h + 4*d + 12 = 0. Does 38 divide 140 - (5/(-2) - -2)*h?
False
Suppose -34*y = -575 - 1261. Does 11 divide y?
False
Let p(t) = 6*t + 35. Is 8 a factor of p(8)?
False
Let v(a) = -3*a - 8 + 7*a - 23. Is 11 a factor of v(16)?
True
Let d = 53 - 67. Let a(t) = t**2 + 12*t - 19. Does 2 divide a(d)?
False
Let f(n) = 2*n**2 - 36*n - 398. Is f(-25) a multiple of 12?
True
Let n(f) = f**3 - 9*f**2 + f + 4. Let x be n(9). Let w = x +