 c*f. Is f a multiple of 21?
False
Let o(k) = -2*k**2 + 5*k. Suppose -24 - 1 = -5*q. Let c be o(q). Let g = c - -32. Does 7 divide g?
True
Let y be 4/(-34) + (-152)/(-136). Is 10 a factor of 57/(-3)*(2 + y)*-2?
False
Suppose c - 91 + 27 = 2*y, -c - 146 = 5*y. Let b(k) = -5*k**3 + k**2 - k. Let f be b(-2). Let q = f + y. Does 4 divide q?
True
Let n = -3723 - -5524. Is 24 a factor of n?
False
Let p = 2 + 6. Let n = 12 - p. Suppose v + 1 = 4*d + 28, -n*v - 5*d + 213 = 0. Is v a multiple of 18?
False
Suppose 5*a + 368 = -152. Let d = a - -184. Is 36 a factor of d?
False
Let u(p) = 8*p**2 - 25*p - 60. Is u(12) a multiple of 72?
True
Suppose -v - y - 6 = 0, 0*y - 8 = 3*v + y. Let s be (1 + 0 - v) + -2. Is 3 - s - -3 - -1 a multiple of 7?
True
Let c be (7/(-3))/(1/(-21)). Suppose 0*w + c = w. Is w a multiple of 7?
True
Let z be 12/(-18) - 96/(-9). Let l be (6/2)/(2 + -1). Suppose 12 = b + l*b - s, -2*s - z = -b. Is b a multiple of 2?
True
Suppose 0 = -8*n + 3796 - 1236. Is 3 a factor of n?
False
Let i = -120 + 162. Is 15 a factor of i?
False
Let y be 6/4*((-46)/(-3) + 2). Is y/8 + -3 + 33/12 a multiple of 2?
False
Let f be (-93)/(-9) - (-6)/9. Let d = 9 - f. Is 7/d*8/(-4) a multiple of 2?
False
Does 19 divide 7824/9 + (-80)/60?
False
Let z be (-24)/2*105/84. Is 4 a factor of 9/((5/z)/(-1))?
False
Let v be (5/(-2))/(5/(-12)). Let g(i) = 5*i**2 - i - 8. Let u be g(v). Suppose 2*s + 0*s + 146 = 4*y, 3*s = -5*y + u. Does 26 divide y?
False
Suppose 0 = -2*v - 2*v + 12. Suppose 0 = -6*m - v*m + 297. Is 5 a factor of m?
False
Suppose -3*l + 417 = 3*r - 6*l, 5*l = -25. Let u be 2/(-8) - 255/4. Let b = u + r. Is b a multiple of 23?
False
Let n(u) = -u**3 + 9*u**2 - 8*u + 2. Let x be n(8). Suppose 32*p - 12 = 30*p. Suppose p = -2*q, -3*h = -q - x*q - 84. Is 25 a factor of h?
True
Suppose 0*q + 2706 = 11*q. Let u = -65 + q. Is 13 a factor of u?
False
Suppose 174*f = 190*f - 240. Is f a multiple of 5?
True
Let n be ((-7)/(-2) + -2)*2. Suppose n*w + 0*w - 12 = 0. Suppose -o + 21 = -b + w*b, -2*b = -3*o + 74. Does 6 divide o?
True
Does 25 divide (-130)/(-455) - -25*(-101)/(-7)?
False
Let z be (7 + -4 - 3)/(-2). Suppose u = -z*u + 6. Let k(r) = -r**3 + 7*r**2 - 3*r - 5. Is 4 a factor of k(u)?
False
Suppose 0 = 8*g - 5*g + 12, -2*f + 1768 = -g. Does 49 divide f?
True
Is 20 a factor of -60*((-160)/6 - -8)?
True
Let n(z) = -266*z + 30. Is n(-3) a multiple of 6?
True
Let c(w) = 2*w**2 - w. Let h(i) = 42*i**2 - 5*i + 1. Let b(g) = -5*c(g) + h(g). Is b(1) a multiple of 12?
False
Suppose x - 2*x + 5 = 0. Suppose 0 = k - d - 2*d - 12, x*k - d - 74 = 0. Is k a multiple of 10?
False
Suppose -3*j + 16 = 4*n, 3*j - 14 = -5*n + 9. Suppose 2*l - 115 = -n*u + 4*u, -2*u - 4*l + 74 = 0. Is u a multiple of 10?
False
Suppose 118 = 10*p - 432. Is p a multiple of 14?
False
Suppose -s - 8 = -2*b, -3*b + 2*s - s = -10. Is 9 a factor of (-279)/12*b*-2?
False
Is 20 a factor of 219 + 1 + -1 + 5?
False
Suppose -3*a + 2*p + 783 = 0, -a + 2*p - 3*p + 256 = 0. Let l = 380 - a. Is 17 a factor of l?
False
Let v(k) = k**2 + 3*k + 3. Let x be v(-2). Let g be x/((-1885)/945 + 2). Suppose -s = -5*d + g, 4*s + s = 3*d - 109. Does 19 divide d?
True
Let c(v) = -4*v + 2. Let b = 5 + -9. Let l be (b - -1) + (-6 - -5). Is c(l) a multiple of 6?
True
Let g(n) = 183*n**2 - 16*n + 17. Is g(1) a multiple of 64?
False
Suppose 0 = -4*i - i - 5, 5*p - 2314 = 4*i. Is 42 a factor of p?
True
Let d = 5 + -3. Let s(k) = -4*k - 13*k**2 + 2*k**2 + 6*k**d - k**3 - 2. Is s(-6) a multiple of 11?
False
Suppose 13 = 2*p + 3*r, -r + 2*r = -3*p + 9. Let t be (p - 3) + 0/(-8). Is 17 a factor of (1 + t/3)*123?
False
Suppose 5*p = 124 + 266. Is 4 a factor of p?
False
Suppose 2*a - 4726 = 1994. Is a a multiple of 60?
True
Let k(j) = -31*j + 5. Let i be k(-4). Suppose 3*f + 114 = 5*b, -5*f + 2*b = 42 + i. Let y = 17 - f. Is y a multiple of 25?
True
Let t be (-35)/(-14)*8/5. Suppose 5*z - 1 - 14 = 0. Suppose 5*j - t*r - 222 = 0, 5*j = -r + z*r + 216. Does 14 divide j?
True
Let h = 3 + 9. Let k be (-20)/h*(-3)/1. Suppose 4*a - k*j = 179, -2*j - 3*j + 5 = 0. Is a a multiple of 12?
False
Let o = 16 + -35. Let v = 40 + o. Let a = v - 2. Is a a multiple of 4?
False
Let z(p) = -6*p**2 + p + 12. Let r be z(-8). Let f = r + 536. Does 13 divide f?
True
Let t(z) = -z - 4. Let l be t(-8). Is 22 a factor of (-8 + l)*11*-1?
True
Suppose 477 + 503 = 5*m. Does 14 divide m?
True
Let d = -147 + 228. Suppose -u = 8*u - d. Is u even?
False
Suppose 27 - 99 = -8*g. Is ((-30)/g)/(2/(-9)) a multiple of 3?
True
Let t(x) = -x**2 - 9*x - 12. Let m be t(-7). Let w be 33 + (-8)/(8/4). Suppose -w = -3*b - m*d, d - 10 = 3*d. Is b a multiple of 13?
True
Let u(t) = 8*t + 37. Let r be u(6). Suppose -13 = h - r. Is h a multiple of 6?
True
Let n be (-12)/(-3) - 0/(-4). Suppose -8*h + n*h = -532. Is h a multiple of 34?
False
Suppose j + 104 = 3*z, -2*z + 318 = -3*j + z. Suppose 4*s + 85 = -107. Let w = s - j. Is w a multiple of 15?
False
Suppose 0 = 3*u - 4*f - 93, 0 = 13*f - 8*f. Is 21 a factor of u?
False
Let m(b) be the third derivative of 19*b**5/15 + b**4/12 - b**3/6 + 13*b**2. Is 31 a factor of m(1)?
False
Let k = 2464 + -1182. Is k a multiple of 22?
False
Let b(h) = h**2 - 3*h + 7. Let k be b(3). Let g(r) = r**3 - r**2 + r. Let u be g(4). Suppose -k*n + 3*n = -u. Does 13 divide n?
True
Suppose 16*y - 9 - 7 = 0. Is ((-21)/(-35))/(y/110) a multiple of 6?
True
Let g(o) = o**3 + 15*o**2 + 6*o - 12. Let y be g(-15). Let h = 161 + y. Does 13 divide h?
False
Let j(h) = -20*h**2 - h + 334. Is j(0) a multiple of 10?
False
Let v be (-2 + 3)*0/(-5). Suppose -4*p - 5*k + 20 = 0, 3*p - 3*k + 9 - 24 = v. Suppose p*j - 70 - 55 = 0. Does 5 divide j?
True
Suppose -4*n - 4*r - 191 = -5*n, -641 = -3*n - 5*r. Is n even?
False
Suppose 3*j - 1122 = -5*f, 2*f - 4*j = -145 + 599. Does 9 divide -10*(24/(-50))/(10/f)?
True
Suppose -5175 = -4*j - 3*f, 5*f + 7311 = 5*j + 816. Suppose 4*i - j = -2*i. Is i a multiple of 27?
True
Suppose 0 = -49*w + 52*w - 24. Suppose w*v + 0*v - 304 = 0. Is 5 a factor of v?
False
Let y be ((-31)/(-3))/((-5)/(-15)). Let h = y + 2. Let u = 19 + h. Is u a multiple of 11?
False
Let x(a) = 11*a - 338. Is 5 a factor of x(33)?
True
Suppose 2*l + 4*v = 7*l - 19, -4*l - 2*v + 10 = 0. Suppose -l = -c - 2. Suppose 0 = -2*i - c + 101. Does 25 divide i?
True
Let a be 0 + -3*(-25)/15. Suppose 2*j - 3*r - 515 = 0, -1320 = -a*j - 0*r + r. Does 10 divide j?
False
Let s be -2 - (-9)/3 - 12. Suppose 2*b + c + 109 = 0, 5*b = c - 6*c - 280. Let t = s - b. Is 14 a factor of t?
True
Let i = -12 - -24. Suppose 0 = -6*g + 3*g + i. Is 2 a factor of g?
True
Let w be 48/(-18)*(-5)/(60/423). Suppose w = j + 2*v, 5*j - 112 = v + 413. Is 13 a factor of j?
True
Let y = -16 - -28. Is -2*22*((-51)/y + 3) a multiple of 18?
False
Suppose 0 = -4*x - 4*k - 492, -4*x + x - k - 359 = 0. Does 6 divide 10/(-36)*x - (-4)/18?
False
Is 4 a factor of 6/(-45) + (-7712)/(-15) - 0?
False
Suppose 0 = -3*c - 6, 20 = 4*r + c + 3*c. Suppose 5*n = -53 - r. Is (n/(-9))/(4/198) a multiple of 14?
False
Let n(u) = -u**3 + 7*u**2 + 21*u - 15. Let l(t) = t**2 - 3*t - 9. Let d be l(-3). Does 4 divide n(d)?
True
Let a = 43 + -39. Suppose 0 = -4*q + 5*k + 118, -q - 24 = -2*q + a*k. Is 8 a factor of q?
True
Suppose 0 = o - 636 - 162. Is 18 a factor of o?
False
Suppose -3 = 3*g - 6*g. Suppose 0 = -4*k - 4 - 4. Does 2 divide g/k + (-68)/(-8)?
True
Suppose 2*o + 2 = 3*o. Suppose -3*p = o*p - 1110. Is 20 a factor of p?
False
Suppose 6732 = 4*d - 6116. Is d a multiple of 44?
True
Let y be ((-16)/6)/1 - 12/(-18). Let s(n) = -3*n + 3. Does 9 divide s(y)?
True
Let o(q) = 502*q - 13. Let b be o(3). Suppose 11*r - b - 47 = 0. Does 31 divide r?
False
Let x = 105 - 96. Is 53 a factor of (-2)/x + 5269/99?
True
Suppose 0 = 4*m + 20, 4*l + 2*m + 2*m - 816 = 0. Is l a multiple of 11?
True
Let c(d) be the third derivative of 8*d**5/15 + d**4/24 - d**3/6 + 59*d**2 + 1. Suppose -2*n - 5 = -7*n. Is 16 a factor of c(n)?
True
Is (-3 + 12/(-9))/(2/(-12)) a multiple of 26?
True
Let a(s) = -s**2 - 3*s + 4. Let t be a(-4). Suppose t*i = 2*i. Suppose i*r = -2*r + 22. Is r a multiple of 4?
False
Let s(a) = -a**2 + 4*a - 10*a**3 + 2 - 61*a**3 + 20*a**3 - 2*a. Is 5 a factor of s(-1)?
True
Suppose -18 = -f + 4*o, f + 4*o - 3*o = -2. Let u(v) = v*