4*v - k - 415 = -m*v. Is 13 a factor of v?
False
Is 23 a factor of (-1090)/(-3)*((-5)/(-1) - 1139/(-335))?
False
Suppose -5*y = 4*m - 13267, 3290 = m - 4*y - 32. Is m a multiple of 79?
True
Let o = -17381 - -24541. Is 40 a factor of o?
True
Does 11 divide (6820/2)/(22 + -20)?
True
Let m be 7*45/63*1/(-5)*-3. Let g(o) be the first derivative of 35*o**2/2 - o - 1. Is 18 a factor of g(m)?
False
Suppose 3*t - 24*u = -23*u - 89, -t = -5*u + 53. Let i(p) = -4*p - 22. Is 6 a factor of i(t)?
True
Suppose -92 = -16*i + 20. Let o = 22 - i. Suppose -2*x - x + 93 = 3*d, 0 = -5*x + o. Is 2 a factor of d?
True
Let n = -499 + 505. Does 19 divide (n + 69/(-12))*76?
True
Let r(w) = -w**3 + 5*w**2 + 15*w - 15. Suppose -9*h + 11*h = -11*h. Suppose 9*d - 6*d - 18 = h. Does 9 divide r(d)?
False
Let q be 254 + 0/7 - -6. Let l = 983 - 615. Let a = l - q. Is 36 a factor of a?
True
Suppose s = 2*w + 5050, -5*s + 6103 = 5*w - 19072. Is 240 a factor of s?
True
Let z(n) = 2*n**2 - 17*n + 881. Is 65 a factor of z(102)?
True
Suppose 5*l + 4*m = 194, 2*l - 4*m - 83 + 11 = 0. Let k be (1/(-1))/((-7)/(-35)) - 29. Let n = l - k. Is n a multiple of 24?
True
Suppose 19*i = -21*i + 116600. Is i a multiple of 39?
False
Let f be 1*(-8)/(16/(-6)). Is 19 a factor of 3*(-19)/(-9)*f?
True
Is 210 a factor of -4 + -42*(-21)/(-9)*-202?
False
Let x = -49 + 75. Let w(p) = -p**2 - 20*p + 64. Let d(s) = -5*s**2 - 79*s + 257. Let t(o) = -2*d(o) + 9*w(o). Is t(x) a multiple of 9?
False
Is ((-4)/9 + 53713/(-342))*(-612)/15 a multiple of 119?
True
Let c be 48/(-9)*(-9)/6. Let z(u) = -u**3 + 6*u**2 + 15*u + 6. Let o be z(c). Does 25 divide (-42)/(-28) - 147/o?
True
Suppose -5*a - 5*j + 6435 = 0, -2*j = a + 104 - 1396. Is 2 a factor of a?
True
Suppose 215*l = -190*l + 8134425. Is l a multiple of 39?
True
Let o(d) = -3*d - 6. Let f(c) = c**2 - 2*c - 6. Let x(k) = -2*f(k) + 3*o(k). Let v be x(-7). Let h = v - -164. Is h a multiple of 19?
True
Let n = -8066 - -11942. Does 135 divide n?
False
Suppose 12*u - 66*u + 235440 = -6*u. Is u a multiple of 48?
False
Suppose 2*j - 13 = -l, -3*j - 2*j = 5*l - 40. Let r(h) = -2 + j + 58*h - 3 - 11. Is 21 a factor of r(2)?
True
Let t = -276 + -99. Let d = t + 660. Does 29 divide d?
False
Let j be ((-4)/6)/(8/(-876)). Suppose -7*v + 4*v = u - 4, -5*u = 5*v + 10. Suppose 0*m + 2*m - j = -3*t, -v*t - 147 = -3*m. Is m a multiple of 22?
True
Let f(o) = 160*o**2 + 777*o + 4710. Is 12 a factor of f(-6)?
True
Suppose -313*s = -201*s - 589680. Does 15 divide s?
True
Let f(a) = 47*a**2 - 323*a - 4785. Is 91 a factor of f(-14)?
False
Is 37 a factor of (-7 + (-845)/(-15))*4125/22?
True
Does 14 divide (-13 + 51535/33)/(-1 + (-22)/(-18))?
False
Let z(c) = 4*c**2 + 183*c + 84. Is z(-50) a multiple of 6?
False
Suppose -47*h + 62964 = 7*h. Suppose 0*k = -k - 2*o + h, 0 = -3*k - 4*o + 3490. Is k a multiple of 14?
False
Let g be 262/(1 - 2) - (1 - 1). Let a = 153 - g. Suppose 4*d - 318 = 2*y, -2*y = 5*d - y - a. Is d a multiple of 17?
False
Suppose 51 = 2*r + 63. Let o = 59 + r. Does 8 divide o?
False
Suppose -5*n + 10 + 4 = 3*m, 0 = 2*m - 5*n - 26. Let r(u) be the second derivative of u**5/20 - u**4/4 - 5*u**3/6 + u**2/2 - 415*u. Is 32 a factor of r(m)?
False
Let v = 45469 + -41317. Does 4 divide v?
True
Let w(j) = -5*j**3 + j**2 - 13*j + 7. Let h(d) = -7*d**3 - 12*d + 8. Let k(a) = 3*h(a) - 4*w(a). Is k(-8) a multiple of 3?
False
Let x(z) = -44*z**2 - 3*z + 8. Let i be 5/(-15)*3*6. Let u(r) = 43*r**2 + 4*r - 9. Let y(c) = i*x(c) - 5*u(c). Is 27 a factor of y(2)?
True
Let r be (-1 + 2)/(69/(-6141)). Let q = r - -262. Does 20 divide q?
False
Suppose -7*y = -41 + 13. Suppose -12 = -y*r - 0*r. Let q = 92 + r. Is 19 a factor of q?
True
Let l = -7386 + 15394. Is l a multiple of 22?
True
Suppose -2*h - 8 = -18. Suppose 0 = -3*i + 3*c - 0*c - 12, h*i - 4*c + 16 = 0. Suppose 5*d = -i*w + 5*w + 80, 0 = 3*d - w - 44. Does 6 divide d?
False
Let c = 5555 + -5267. Is 15 a factor of c?
False
Suppose -1124*y - 309005 = -1239*y. Is 5 a factor of y?
False
Suppose 5021 - 33411 = -y + 2*o, 141980 = 5*y + 5*o. Is 191 a factor of y?
False
Is (62 + -3)/(((-23)/644)/((-9)/6)) a multiple of 9?
False
Let q = -7768 - -9124. Is q a multiple of 3?
True
Let u = 25 + -16. Let r be u - (5 + (-1 - 0)). Suppose -280 = -r*f + 5*z + 130, 0 = -3*f - 2*z + 226. Is f a multiple of 10?
False
Let z be -2 - 69 - (-1)/(-1). Let a(u) = 14*u**2 + 25*u. Let f be a(-4). Let i = f + z. Does 8 divide i?
False
Suppose 5*z - 84540 = -2*k, -6*z + 21*k - 18*k + 101448 = 0. Is 12 a factor of z?
True
Suppose -2*s + 236 = 162. Let y = 63 - s. Suppose m - 29 = -3*g, g + m + y = 3*g. Is g a multiple of 2?
False
Suppose 0 = -4*l + 179 + 1401. Suppose -v = -l - 165. Let q = v - 299. Does 33 divide q?
False
Let g = -6187 + 7088. Let x be 1 + (332 - 0/(-1)). Suppose 3*s - m - g = 0, -263 = -2*s - 4*m + x. Does 50 divide s?
True
Let u = -2455 - -4460. Does 5 divide u?
True
Suppose -5866 = -4*o - 4*h + 3346, -5*h - 11525 = -5*o. Does 16 divide o?
True
Let m be 4/((-2)/15*-3). Let n be 1104/(-4140) - (-98)/30. Suppose -m - 5 = -n*k, 3*k + 677 = 4*l. Is l a multiple of 16?
False
Let j be 5744/5 - (-49)/245. Let q = -801 + j. Is q a multiple of 12?
True
Suppose -110*f + 190715 - 8873 = -198318. Is f a multiple of 32?
True
Let q be (15/(-6) + 2)*(-1 + -5). Suppose 2*u + 182 = w, -2*w - 2*w + q*u + 728 = 0. Is w a multiple of 21?
False
Let r be (-33)/(-3) - (-2 + 0). Suppose 0*f = r*f - 3185. Is 23 a factor of f?
False
Let a be 42/5*-4*5. Let q = 254 + a. Does 18 divide q?
False
Let a be -4*3/(-12)*157*-1. Let m = -121 - a. Is m a multiple of 18?
True
Suppose 0 = -3*y + y - 2*l - 20, 52 = -4*y + 2*l. Let q be (-6)/y*4/(-1)*-1. Suppose q*f - 4*h = 224, -2*f - h = -4*f + 218. Is 12 a factor of f?
True
Let f(a) = 2*a**2 - 37*a - 13. Let c be f(19). Suppose 2*t = 10, 2*t - 4898 = -c*i + 2*i. Is i a multiple of 26?
True
Let p(i) = -2*i + 28. Let n be -3 - (65/(-7) - 8/(-28)). Suppose 0 = 2*d + 4*o, 0 = 4*d + 3*o + 2*o + n. Does 9 divide p(d)?
True
Suppose 3*q - 29 = 4. Suppose q*d = 26*d - 3060. Suppose 61*g - 65*g = -d. Is g a multiple of 14?
False
Suppose 7847 = 10*u + 177. Suppose -2*f - 5*r = -572, 3*r = 4*f - u - 403. Is f a multiple of 97?
True
Does 27 divide (162 + -156)*(3 + (-6977)/(-2))?
False
Suppose -6*b - 1832 = -8*b. Suppose 5*n - b = -4*k + 859, 1333 = 3*k + 2*n. Does 7 divide k?
False
Suppose -q + 6*q = 25. Suppose 125 = q*p + 5*m, -5*p + m - 4*m + 123 = 0. Does 7 divide p/(-16) + 115/2?
True
Suppose -81 = -3*l - l - 5*r, -3*r - 92 = -5*l. Let g(u) be the second derivative of u**5/20 - 19*u**4/12 + 19*u**2/2 - 13*u. Is g(l) a multiple of 12?
False
Let x = 37 + 30. Suppose -12 = -4*f, -f = 2*u - 7*u + x. Suppose -c + u = -61. Does 25 divide c?
True
Suppose 7085 - 6836 = a. Is 6 a factor of a?
False
Suppose 5*i + 65 - 227 = -3*j, -4*j + 156 = 5*i. Does 2 divide i?
True
Let y(a) = -3*a - 4. Let k be 3/(1*(-2 + -1)). Let o be y(k). Let z(l) = -59*l + 3. Is z(o) a multiple of 16?
False
Let i(o) = 2*o**2 - 14*o - 106. Let l be i(-9). Let c = l - -251. Does 19 divide c?
False
Let v be (-2)/(-15) + 1 + (-1368)/135. Does 11 divide (5/(-5) - v) + 349?
False
Suppose 3*g + 12 = -3*y, -3*g - 14 = 1. Suppose 3*j - y = 5. Suppose j*o = -o + 228. Is o a multiple of 27?
False
Let u = 8794 + -7194. Is 14 a factor of u?
False
Suppose -85*t + 6231928 = 92*t - 153701. Does 60 divide t?
False
Suppose 0 = -5*v - 4*i - 170, 9*i - 85 = 3*v + 8*i. Let h = v - -200. Does 31 divide h?
False
Suppose -l - 12 = 5*l. Let y(r) = -r**3 + r + 2. Let b be y(l). Is 10 a factor of (b/12)/((-147)/(-144) + -1)?
False
Suppose -4*h = 5*h - 270. Is (-868)/(-18) + h/(-135) even?
True
Suppose 5*s - 1139 = -139. Suppose n = s + 123. Is n a multiple of 19?
True
Let l(m) = -m**2 + 2*m + 8. Let z(r) = -r**3 + 4*r**2 - 2*r - 1. Let s be z(2). Let k be l(s). Suppose -232 - 168 = -k*h. Is h a multiple of 10?
True
Let c(h) = h + 1. Let w(l) = 5*l - 6. Let y(m) = -6*c(m) + w(m). Let j be y(-7). Is 15 a factor of (-46)/(-1) - (-4 - j)?
True
Suppose -486 = -4*h + 2486. Suppose 4*b = j - 584, -3*b - h = 4*j - 2984. Is j a multiple of 37?
False
Let h(y) be the third derivative of -y**6/120 - 2*y**5/15 - 23*y**3/6 + 62*y**2. Is h(-11) a multiple of 6?
False
Let l be ((-7040)/(-33))/(2/9). Su