 0*l - 3*l + c. Suppose d - q = b + 9, -2*d - 3*b = -19. Does 7 divide d?
True
Let j = 14 + -12. Does 16 divide 3*(j + 116/6)?
True
Let d(n) = 5*n**2 + 4*n. Suppose -7 + 10 = -q. Does 11 divide d(q)?
True
Let i(g) = -g - 10. Let h be i(-13). Suppose 0 = h*c - 6*c + 69. Is 22 a factor of c?
False
Let s = 67 - -2. Is s a multiple of 16?
False
Let g = -21 + 31. Is g/20 - (-117)/2 a multiple of 19?
False
Let p(j) = j**3 - 5*j**2 + 4*j - 3. Let d be p(4). Does 18 divide d*5*(-42)/10?
False
Is 6/(-4)*(-416)/12 a multiple of 26?
True
Let d(w) = -w**2 - 5*w - 3. Let u be d(-3). Suppose -6 = -u*c - 0*c. Suppose -5*a = 4*b - 67, a + c*a + 21 = b. Does 10 divide b?
False
Suppose -2*z + 15 = -5. Suppose 5*r + 0 - z = 0. Suppose r - 33 = -2*w - y, -55 = -4*w + 5*y. Is w a multiple of 12?
False
Let r = -20 - -22. Suppose 5*o + 5*k = 118 - 23, r*o = -3*k + 43. Does 12 divide o?
False
Suppose -4*v + 443 + 49 = 0. Is 37 a factor of v?
False
Let c = 68 - -15. Is c a multiple of 12?
False
Let m(j) = -12*j + 12. Let b be m(4). Is 6/27 - 604/b a multiple of 7?
False
Let z = 2 + -2. Suppose -4*w = -17 + 5. Suppose 30 = 3*o + 3*g, 5*o - 2*g + w*g - 58 = z. Is 12 a factor of o?
True
Suppose 0 = -t + 1 + 2. Let o be (15/(-10))/(t/(-32)). Is (-15)/10*o/(-6) a multiple of 4?
True
Suppose 2*z - 17 = y, -50 = -3*z + 5*y - 14. Is 3 a factor of z?
False
Suppose 119 + 29 = -4*o + a, -74 = 2*o + 2*a. Suppose 0 = 9*k - 434 - 115. Let b = o + k. Is b a multiple of 24?
True
Let a = 7 + -3. Suppose a*w + 0*w = 156. Does 7 divide 2/(-3)*w/(-2)?
False
Does 15 divide (45/(-10) - -4)*-184?
False
Let k(y) = 5*y - 15. Is k(12) a multiple of 9?
True
Let l(w) be the second derivative of 5*w**4/12 + w**3/2 - w**2 - 7*w. Suppose 6 = 3*y - 0*y. Is l(y) a multiple of 12?
True
Let q be (1 + 1 + -1)*1. Suppose -4*b = q - 13. Suppose 5*v = 2*t + b, 2*t + 4*v - 24 = -0*t. Is t a multiple of 3?
True
Is (-391)/(-4) - 27/36 a multiple of 3?
False
Suppose 8 = -4*q + 28. Suppose -a - 2*x = a - 22, -q*a - x = -67. Does 14 divide a?
True
Suppose 2 - 1 = s. Let z = s - -12. Is z a multiple of 13?
True
Let d(l) = -l**2 + 7*l - 1. Suppose -y + 25 = 4*o, 4*o - 9 + 4 = 3*y. Does 8 divide d(y)?
False
Let y be 505/(-4) - (-5)/20. Is 14 a factor of 4/(-3)*y/12?
True
Let s(g) = -3*g - 4. Let n be s(-3). Suppose n*x + 10 = -30. Is (6/x)/((-5)/160) a multiple of 8?
True
Let q be (3 + 3)*(-2)/3. Let f(d) = -d**2 - 8*d + 5. Does 7 divide f(q)?
True
Let r = 162 - 87. Does 23 divide r?
False
Let w(u) = -u**3 - u**2 - 5. Let s be w(0). Let l be (-2)/5 + (-22)/s. Suppose -4*k = l + 16, -90 = -2*r + 4*k. Is r a multiple of 14?
False
Suppose d + g = -1, 0 = -3*d + 2*d - 2*g. Is 6 a factor of 60/6 - (-8)/d?
True
Suppose -5*c + 3*c = -56. Is 22 a factor of c?
False
Let h = 3 + 11. Suppose -a + m = -h, -3*m - 72 = -4*a - 11. Is a a multiple of 19?
True
Suppose -2*h - 3*s + 131 = 0, -7*h + s + 353 = -2*h. Is 7 a factor of h?
True
Is 5 a factor of 3/3*-1*-7?
False
Let r = 4 + -5. Let z(c) = -34*c + 1. Let o be z(r). Suppose 5*l - 35 - o = 0. Does 14 divide l?
True
Let j = 0 + 15. Let r(x) = x - 1. Let h be r(0). Let l = h + j. Does 5 divide l?
False
Let f(r) = -2*r**2 + 2*r + 2. Let z be f(-6). Let a = -22 - z. Does 12 divide a?
True
Let c(r) = 7*r**2 - 1. Is 5 a factor of c(-1)?
False
Is -1*(-41 + 2*4/(-8)) a multiple of 7?
True
Let n(t) be the third derivative of t**4/24 - t**3 + 3*t**2. Let r be n(10). Suppose 4*w = 5*l - 263, 0 = r*l + 3*w - 66 - 132. Does 15 divide l?
False
Suppose 5*v + 45 - 285 = -5*o, -2*o + 4*v + 96 = 0. Is 24 a factor of o?
True
Let v = 17 - 10. Is v a multiple of 7?
True
Let l be 18/30 - 294/(-10). Suppose 3*q - 12 = l. Is q a multiple of 12?
False
Let b(u) = u**3 - 7*u**2 + u - 4. Let m be b(7). Is 12 a factor of (m - 1) + (21 - 11)?
True
Suppose 0 = -3*u + 22 + 17. Is u a multiple of 6?
False
Let g(t) = t**2 - 5*t - 3. Let w be g(6). Let q = w - -3. Suppose -4*f + q*p = 3*p - 82, -86 = -4*f + 5*p. Is 18 a factor of f?
False
Let i = 26 - 14. Let o = -21 + i. Let y = o + 17. Is y a multiple of 6?
False
Suppose u - 2*w = -6*w - 5, 14 = 2*u + 2*w. Suppose -6 = -k - 2*x + 4*x, -u = -2*k + 3*x. Suppose k*f - 30 = f. Is 4 a factor of f?
False
Let y(z) = -z**2 - z - 1. Let c be y(-4). Let k = 29 + c. Is k a multiple of 9?
False
Let q = 1 - -1. Suppose 5*n + 175 = 4*m - 0*m, 5*m = -q*n + 227. Is 13 a factor of m?
False
Suppose 15 = -3*a, -g - 4*g = -4*a - 40. Suppose v + 114 = 4*o + o, -g*o = v - 84. Is 11 a factor of o?
True
Is 9 a factor of (-9)/(3/(-6)*2)?
True
Suppose 0 = -2*h + 2*m + 168, h + 4*m + m = 78. Is 33 a factor of h?
False
Let i be (5 + 0)*(-2)/2. Let y be i/(3 + 0 + -2). Let p(c) = 2*c**2 + 6*c - 3. Does 6 divide p(y)?
False
Let o(j) = -6*j. Let k = 3 + -4. Is 3 a factor of o(k)?
True
Does 9 divide (0 + 3 + 36/(-8))*-62?
False
Suppose -69 = 4*f + 11. Is -2*(0/2 + f) a multiple of 20?
True
Let h = 5 - -46. Is 34 a factor of h?
False
Let b = 59 + -19. Does 10 divide b?
True
Let o = -153 - -377. Is 17 a factor of o?
False
Let z(w) = 5*w**3 + 6*w**2 + w - 25. Let b(v) = -4*v**3 - 5*v**2 - v + 24. Let q(s) = 6*b(s) + 5*z(s). Does 18 divide q(0)?
False
Let q(c) = -9*c - 34. Does 14 divide q(-10)?
True
Let l(p) = 0*p - 5*p - 2 - 4*p**2 - 5*p**3 + 2*p. Let c(b) = b**2 + 6*b - 2. Let g be c(-6). Is 14 a factor of l(g)?
True
Let s(w) = w**2 - 7*w + 11. Is 4 a factor of s(7)?
False
Let w(b) = b**3 + 7*b**2 + 4*b - 6. Let h = -12 + 6. Let u be w(h). Suppose 0 = 4*t - 94 + u. Does 12 divide t?
False
Let f(q) = -2 - 4*q + 3*q - 4*q. Is f(-12) a multiple of 20?
False
Suppose -2*s - 3*v = -s - 65, -5*v - 265 = -5*s. Suppose -5*r + 3*r = -s. Is 14 a factor of r?
True
Suppose 5*j = 34 + 56. Let g = -4 + j. Is g a multiple of 14?
True
Let u be 4 - 0 - 4/(-4). Suppose -5*w + 57 + 25 = -k, u*k + 10 = 0. Does 10 divide w?
False
Suppose -c - 40 - 11 = -5*t, -5*t + 48 = 2*c. Does 5 divide t?
True
Let w = -24 + 146. Is 7 a factor of w?
False
Suppose 0 = g - 2*u - 6, 2*g + 3*u - 2 = 3. Suppose 0 = 4*k - g - 4. Is 2 a factor of k?
True
Let g(a) = -a**3 - a**2 + 2*a - 3. Is g(-5) a multiple of 24?
False
Let v(a) be the third derivative of a**5/60 - a**4/12 - a**3/6 - 2*a**2. Let l be v(2). Is (-1)/(l/2) + 41 a multiple of 15?
False
Suppose 0 = 3*s, 0*h = -3*h + s + 12. Suppose 4*u - 23 - 9 = 0. Suppose 144 - u = h*a. Is 12 a factor of a?
False
Let b = -15 + 20. Suppose b*y - 324 = 3*s, -2*s + 116 = 2*y - 20. Does 20 divide y?
False
Let i = 4 + -2. Suppose -30 + 74 = 3*p - 5*y, 4*p + i*y - 102 = 0. Is 12 a factor of p?
False
Is 6 a factor of ((-44)/20)/(5/(-25))?
False
Let t(o) be the first derivative of o**2 + 2*o + 5. Is 16 a factor of t(7)?
True
Let z(b) = -3*b**2 + 2*b + 2. Let d be (-32)/(-14) + (-2)/7. Let p be z(d). Let j = 8 - p. Does 14 divide j?
True
Let r = 39 - 22. Let o = r - 1. Does 16 divide o?
True
Let p(x) = 2*x**3 - 2*x**2 - 2*x + 3. Is p(2) even?
False
Suppose 3*b + 1443 = 4*m, 5*m - 482 = -5*b + 1348. Suppose -4*q = 4*z - 256, -m = -4*z - 3*q - 109. Is 15 a factor of z?
False
Suppose -2*j + 246 = 4*b, -3*b = b - 4*j - 252. Is b a multiple of 15?
False
Let n be 2/(8/124*-1). Is 3*(n/(-3) + -1) a multiple of 7?
True
Let b = 6 + 0. Let f be b/(-9) + 33/9. Suppose 3*o - 4*o + 8 = 5*y, 0 = -3*y + f. Does 2 divide o?
False
Suppose 67 - 59 = 2*i. Does 3 divide i?
False
Let s(l) = -l**2 - 4*l - 2. Suppose -w + 6*w = -10. Let j be s(w). Is 3/(3/68*j) a multiple of 18?
False
Let y(p) = 21*p + 1. Let z = 7 + -6. Is 11 a factor of y(z)?
True
Let j = 9 - 9. Suppose -y - 2*y + 24 = j. Does 3 divide y?
False
Suppose -4*x + 6 = -x. Is x/(-4) + 61/2 a multiple of 30?
True
Let t(r) be the third derivative of 0 - 1/3*r**3 + 4*r**2 + 13/24*r**4 + 0*r. Is t(4) a multiple of 17?
False
Suppose 4*z + 37 = 193. Does 12 divide z?
False
Let s = 0 + 9. Is s a multiple of 3?
True
Let u be ((-1)/1)/(3/(-6)). Does 19 divide 1/(2*u/156)?
False
Let q be (-10)/15*3/(-2). Let c(i) = 20*i**3 + 2*i**2 - 2*i + 1. Does 16 divide c(q)?
False
Let u(y) = y**3 - 7*y**2 - 8*y + 2. Let m be u(8). Let w(z) = 2*z**2 - m + 0 + 1 + z. Is w(1) a multiple of 2?
True
Let v = -46 - -124. Is 5 a factor of v?
False
Suppose 3*r + 5*l - 247 = 0, -4*r + 4*l - 37 + 313 = 0. Does 34 divide r?
False
Let g = -8 + 6. Is 22 a factor of (0 - g)/((-2)/(-22))