j = 2*c, j = -4*c. Is 5 a factor of (-1 - 12)*(u + j)?
False
Suppose 5*v = 13 - 3. Suppose a - 96 = -a. Suppose 0 = p - v*k - 4, -4*k = -3*p + 5*p - a. Does 7 divide p?
True
Let i be (159 + (-6)/3)/1. Suppose -i + 41 = -4*j. Suppose 3*r = j - 2. Is r a multiple of 9?
True
Let b(z) = 14*z - 9 + 15*z**2 + 4*z**3 - 1 - 5*z**3 - 4*z**2. Is b(12) a multiple of 14?
True
Let z be (-32)/8*174/4. Let x = -101 - z. Is x a multiple of 21?
False
Let q = 250 - 96. Does 22 divide q?
True
Let c = -9 - -13. Suppose 0 = c*f - 3*f - 20. Is 10 a factor of f?
True
Let p be 5 + (3 - 2)*-1. Suppose 0 = h + p*h - 120. Does 6 divide h?
True
Let q = -1 + 2. Is 36 + (0 + q)*2 a multiple of 19?
True
Let i(j) = -j + 5. Let p be i(5). Let q be (0 - p)/(-3)*1. Suppose w - 2 - 3 = q. Is w a multiple of 4?
False
Let u = 2 - -1. Does 2 divide u?
False
Is 2/(-9) + 1740/54 a multiple of 5?
False
Let t(u) = u**3 - 7*u**2 + 5*u - 3. Let w be t(6). Is 14 a factor of w/(-18) - 91/(-2)?
False
Is 25 a factor of 9*21/(3/1)?
False
Suppose -l - 130 = -g, -196 - 195 = -3*g + 4*l. Is 33 a factor of g?
False
Let b be (-3 - -6 - -1)*1. Suppose 5*i - 25 = 2*s, b*i - 26 = -3*s + 17. Is i a multiple of 2?
False
Suppose -2*a - 5 = -3*a, 18 = -4*g - 2*a. Suppose 0 = 3*f + 9 + 33. Is (-82)/g + (-4)/f a multiple of 12?
True
Let h = 24 - 8. Suppose t + t = -h. Is 11 a factor of (-242)/t - 6/(-8)?
False
Suppose 5*g + 5*p + 12 = p, g + 6 = -2*p. Suppose -3*h = -2*t + t - 116, -5*h + 5*t + 200 = g. Does 11 divide h?
False
Suppose 4*k = 2*k + 246. Let d be 1/(2 - 249/k). Let l = d + 58. Is 6 a factor of l?
False
Let q = -72 + 128. Is q a multiple of 14?
True
Is 21 a factor of (-36)/48 + 678/8?
True
Let s(t) = -t**2 + 10*t + 7. Is s(9) a multiple of 8?
True
Suppose -f + 9 + 81 = 0. Suppose 5*s + 285 = -f. Is (s/(-9) - 1)*3 a multiple of 10?
False
Let u(b) = 5*b**2 + 4*b + 3. Let g(p) = p**3 + 4*p**2 - 4*p - 1. Let q be g(-4). Suppose 0 = 4*n - 9*n - q. Is u(n) a multiple of 18?
True
Let i be (-3)/3 + 84/(-4). Let n = -3 - i. Is 7 a factor of -2 - 1 - n*-1?
False
Let b(h) = 2 - 3 - 1 + 3 - 3*h. Is b(-3) a multiple of 10?
True
Let s = -2 - -6. Suppose -98 = -s*i - 10. Does 11 divide i?
True
Let k = -31 + 57. Is 17 a factor of k?
False
Let p = 309 - 210. Suppose 0 = -5*k - 2*b + 165, -2*k + 2*b = -5*k + p. Let r = 58 - k. Is 15 a factor of r?
False
Is 2*((-293)/(-2) - (-3)/3) a multiple of 59?
True
Suppose -3*d - 2*n + 38 = -50, -5*n = -10. Is d a multiple of 20?
False
Let u(g) = -7*g + 99. Is 11 a factor of u(0)?
True
Let o(p) = -p - 1. Let q be o(8). Is ((-98)/(-6))/((-3)/q) a multiple of 11?
False
Let m = -99 - -145. Is 14 a factor of m?
False
Let x(u) = -80*u**2 - u. Let q be x(-1). Let h = -45 - q. Is 17 a factor of h?
True
Suppose 0*x + 4*x = 16. Let i = -8 + x. Let y(l) = -5*l - 1. Is 7 a factor of y(i)?
False
Suppose -4*l = -5*l + 40. Is 10 a factor of l?
True
Let z(d) = -d**2 + d + 16. Let m be (1 + -1 - 0)*-1. Let c be z(m). Suppose 0 = -2*k + c + 28. Is 10 a factor of k?
False
Let r be 0/2 + (-5)/(-1). Let k(p) = -p**2 - 4*p - 3. Let b(t) = -2*t**2 - 12*t - 8. Let i(y) = 3*b(y) - 8*k(y). Is 13 a factor of i(r)?
False
Let t = -15 - -77. Let n = t + -98. Let v = 60 + n. Is 12 a factor of v?
True
Does 4 divide (0 + (-2 - 22/(-6)))*3?
False
Suppose -4*c = -2*w - 154, 0 = c - 3*w - 0*w - 51. Is c a multiple of 12?
True
Suppose 161 - 416 = -5*j. Is 17 a factor of j?
True
Suppose 0 = 3*n - 108 - 201. Is n a multiple of 12?
False
Suppose 0 = 11*s - 5*s - 504. Is s a multiple of 12?
True
Let h(z) be the third derivative of -z**6/24 - z**5/15 - z**4/8 - z**3/6 + 2*z**2. Let q be 9/(-4) - 6/(-24). Is h(q) a multiple of 14?
False
Let y(b) = -b**3 - 14*b**2 + b + 5. Let v be y(-14). Is 13 a factor of ((-116)/6)/(6/v)?
False
Let s(p) = p**2 - 3*p - 15. Does 11 divide s(10)?
True
Let a = -84 - -257. Let k = -98 + a. Is 28 a factor of k?
False
Suppose 94*l - 483 = 91*l. Is 22 a factor of l?
False
Suppose -f + 4*w = -6*f - 1, 0 = 4*f - w + 5. Let n be 104*(-3)/4*f. Suppose -n - 66 = -3*m. Is m a multiple of 14?
False
Let c(l) be the third derivative of 0 + 0*l + 4/3*l**3 - 3*l**2 + 1/60*l**5 + 1/6*l**4. Is 20 a factor of c(-8)?
True
Suppose 2*i = -i - 3*h + 99, 69 = 2*i + h. Does 18 divide i?
True
Let o(j) = 2*j - 21. Is 3 a factor of o(12)?
True
Suppose -j = -6*j - 4*p + 496, 0 = j + 3*p - 108. Is 6 a factor of j?
True
Let y = 474 - -151. Is 29 a factor of y/10 + 6/4?
False
Suppose 3*a = 8*a - 770. Is 22 a factor of a?
True
Let w = 6 + 7. Let t = w - -50. Is t a multiple of 13?
False
Let t = -22 + 99. Is t a multiple of 8?
False
Suppose -3*w + 130 = 5*y, 85 + 37 = 3*w + y. Is 10 a factor of w?
True
Suppose 5*b - 49 = 4*g, 2*g = -5*b + g + 44. Let v be 42/b - (-2)/6. Suppose 0 = -v*z - 5*i + 15, -3*i = -0*z + z + 3. Is z a multiple of 3?
True
Let u(c) = 5*c + 5 + 4*c**2 + 1 - 2 - c**2. Is u(-3) a multiple of 5?
False
Let s(l) = l - 1. Let f be s(4). Suppose 0 = 5*j - f*o + 5*o - 301, 0 = 3*j + 2*o - 179. Let k = j + -19. Does 14 divide k?
True
Let a(q) = q**3 - 5*q**2 - 7*q + 6. Let k be a(6). Is 13 a factor of -3 + 1 + (23 - k)?
False
Let m = 9 - 3. Suppose m*v - 114 = 3*v. Is 15 a factor of v?
False
Suppose 4*z = -34 + 2. Let k(o) = 2*o**3 - 8*o**2 - 8*o + 2. Let f(j) = 5*j**3 - 25*j**2 - 25*j + 6. Let v(m) = z*k(m) + 3*f(m). Is 12 a factor of v(-10)?
True
Suppose 20 = c + 4*c, -3*j - 2*c = 37. Let a be j/3*3/(-5). Suppose -g = -4*v - 25, -a*g + v + 16 = -26. Is 6 a factor of g?
False
Let m(a) = -15*a + 1. Let g be m(6). Let w = g - -60. Let l = 1 - w. Is l a multiple of 14?
False
Let r = -2 - -3. Let x(f) = 3 + 0*f - r - 28*f - 1. Is 11 a factor of x(-1)?
False
Suppose 3*i - 359 + 14 = -3*x, 3*x = -5*i + 351. Is x a multiple of 28?
True
Suppose 2*w + 4*t + 6 - 2 = 0, 4*t = -8. Is (-275)/(-15) + w/(-6) a multiple of 5?
False
Let w(o) = -o**3 + 3*o**2 + 3*o. Is w(-2) a multiple of 14?
True
Suppose g + 2*r - 26 = 0, r + 33 = 3*g - 2*r. Does 16 divide g?
True
Let k = 2 + 3. Suppose 2 = 3*n - 2*j - 4, -k*n + 10 = -4*j. Suppose 0 = -2*u - 5*w - 1, n*w - 5*w = -4*u + 37. Is 3 a factor of u?
False
Suppose 3*x + 4*i = -62, 0 = x - 4*x + i - 67. Let a = -9 - x. Is a a multiple of 8?
False
Let b be (-1)/(-2)*(-4 + 6). Let d be b/(-2) + (-108)/8. Does 17 divide 119/d*(-4)/2?
True
Let o = 47 + -21. Is 13 a factor of o?
True
Let p(d) = 4*d + 18. Let s(x) = -x - 6. Let j(h) = 2*p(h) + 7*s(h). Let r be j(6). Suppose 0 = -r*u - 3*u + 27. Does 4 divide u?
False
Suppose 4*d + 100 = 224. Does 5 divide d?
False
Suppose -3*x + 0 + 3 = 0. Suppose -34*d + 5 = -39*d. Is 3/1 - (d - x) even?
False
Let v be (-12)/(-10)*15/6. Let k be 1/v + (-768)/(-18). Suppose -2*r + 5 = -k. Is r a multiple of 10?
False
Let r = 16 - 27. Let a = r + 15. Let q(h) = -h**2 + 5*h + 2. Does 3 divide q(a)?
True
Let i = 265 + -115. Suppose 0 = 4*k + k - i. Is k a multiple of 12?
False
Let v(s) = -9*s - 11. Let k be v(6). Let f = 110 + k. Is 21 a factor of f?
False
Is 10 a factor of (-16)/(-4) + 46 - 1 - -1?
True
Suppose -2*x = -3*x - 37. Let o = 71 + x. Is o a multiple of 8?
False
Let m = 24 + 20. Is 19 a factor of m?
False
Let q(m) be the second derivative of -7*m**5/120 - m**4/8 + m**3/6 - 2*m. Let l(b) be the second derivative of q(b). Is l(-5) a multiple of 11?
False
Let k(n) = 2*n**3 - n**2 + 6. Let q(c) = -c**3 + c - 5. Let t(g) = -2*k(g) - 3*q(g). Let r be t(2). Is (r - 9/(-6))*-14 a multiple of 10?
False
Let g = 5 + -12. Let j(m) be the second derivative of -m**4/12 - 5*m**3/3 - 4*m**2 - 7*m. Is j(g) a multiple of 11?
False
Let y(w) = 4*w + 36. Is y(-8) a multiple of 4?
True
Suppose 2*g - 8 = -4. Suppose y - 78 = -5*p, 3*p = -5*y - 7 + 67. Suppose 4*q - 81 = g*f - 1, -q = -3*f - p. Is 21 a factor of q?
True
Let i(o) = o**2 + 59. Is 14 a factor of i(0)?
False
Let d(a) = -a - 2. Let u be d(-4). Suppose 5*m + u*w = 132, -m + 80 = 2*m + w. Is m a multiple of 12?
False
Suppose 3*m - 140 = 7*m. Let d be (m + -1)*(0 - 1). Let j = d + -10. Is j a multiple of 13?
True
Let u(v) = 2*v**3 - 3*v**2 + 3*v + 2. Let j be u(3). Let y = 58 - j. Is 15 a factor of y?
False
Let v = 183 - 164. Is v a multiple of 4?
False
Let h(j) = j**2 - 6*j - 3. Let l be h(6). Let u be 8/(-6)*l/2. Is 14 a factor of u - (9*-3 - -1)?
True
Let f(s) be the third derivative of -29*s**4/24