65 = 5*j. Is 7 a factor of j?
True
Is ((-6)/5)/(-3) + 60947/295 a multiple of 52?
False
Suppose v = 13 - 5. Is 3 a factor of v?
False
Let s be 3 + (0 + -1)*-18. Suppose 115 = 3*v + 4*d, 0 = 3*v - 2*v - 3*d - s. Is 11 a factor of v?
True
Let q = 4 - -4. Let z = -3 + q. Is z a multiple of 5?
True
Suppose -3*b + 6 = -0. Suppose 0 = 3*w - 12, -2*k + b*w = 9 + 5. Does 15 divide 64/2 + (-5 - k)?
True
Let s(j) be the third derivative of 3*j**5/10 + j**3/6 - j**2. Let x be ((-4)/(-10))/((-2)/(-5)). Is s(x) a multiple of 8?
False
Suppose 127 + 125 = 4*x. Suppose 2*c = c + x. Does 17 divide c?
False
Suppose -5*q = 4*c + 23, 0 = -q + 5*c + 1 + 6. Let l = q - -1. Does 8 divide 14 - -1 - (l + 1)?
True
Suppose 24 = -g + 5*g. Suppose 5*p + 2*k - 90 + g = 0, k = 5*p - 78. Does 8 divide p?
True
Let w(o) = -28*o + 8. Does 8 divide w(-3)?
False
Suppose -q - 3*n = 3*q + 183, 0 = -5*n - 5. Let k = -7 - q. Is 19 a factor of k?
True
Is (-1616)/(-26) - (-30)/(-195) a multiple of 9?
False
Let s = 7 - 1. Is s even?
True
Let v(c) = -c**3 + 7*c**2 + 10*c - 4. Does 14 divide v(7)?
False
Let i(r) = -4*r - 6. Suppose -5 = 3*z + 10. Does 11 divide i(z)?
False
Let p = -38 + 53. Suppose -3*n = -2*h + h + p, -5*n = -h + 23. Is 2 a factor of h?
False
Suppose -2*s = -4*s + 16. Suppose 6*u + 26 = s*u. Does 13 divide u?
True
Let v = 10 + 6. Suppose 4*i = v - 0. Is i a multiple of 2?
True
Let l(h) = 5*h**2 - h - 2. Let d be l(-3). Suppose -4*b + d = 3*q, 2*q - 3*b - 6 = 19. Is q a multiple of 14?
True
Suppose -5*j = 5*g - 170, -3*g + 11 = -1. Is 10 a factor of j?
True
Let i(a) = 8*a**2 + 5. Is 11 a factor of i(-3)?
True
Let y(n) = -n**3 - 3*n**2 + 2*n + 5. Let h be y(-4). Suppose 0*l = -3*l - 15. Let i = h + l. Does 4 divide i?
True
Suppose -8*u - 712 = -10*u. Does 15 divide u?
False
Let p(z) = -z**2 - 5*z + 4. Let w be p(-6). Let n be (-3)/2*w + 2. Suppose 0 = -2*o - t + 13, 0 = n*o - 2*t - 3 - 7. Does 3 divide o?
False
Let q be 0 + 2 + 7*1. Suppose -5*m + 8*m - q = 0. Suppose -4*d = v, -m*d - 2*d + 21 = 3*v. Is v a multiple of 12?
True
Let z be (-8 - -10)*2/(-4). Is 4 a factor of 32/12*(z + 4)?
True
Let k(a) = -a**3 - a**2 + 5*a + 6. Let o(x) = -4*x**2 - x - 1. Let l be o(-1). Does 17 divide k(l)?
True
Suppose -6 = -3*z - 0. Let y be (6/z)/(-9)*-6. Suppose 3*v = -y*b - 0*v + 45, -4*v = -4. Does 8 divide b?
False
Suppose 0 + 16 = 2*x. Is 3 a factor of x?
False
Suppose 0 = -2*s + 35 + 1. Is s a multiple of 5?
False
Let w(s) = s**2 + 6*s + 4. Let c(n) = -n**2 - 3*n + 4. Let h be c(-5). Let i be w(h). Suppose 3*q + 5*v + 45 = i*q, -3*q + 2*v = -83. Is 14 a factor of q?
False
Suppose 3*t - 150 = -2*t. Suppose 0*o = 5*o - t. Suppose -150 = -o*m + m. Does 15 divide m?
True
Let v(g) = -g + 11. Let m be v(6). Suppose m*n - 2*c - 49 = 0, -n = -c - 2 - 6. Is n a multiple of 7?
False
Let b(a) = -a**2 - 5*a + 8. Let q be b(-6). Suppose -8 = -0*y + 2*y + q*p, -2*y + 2*p - 8 = 0. Let d = 7 - y. Is d a multiple of 9?
False
Suppose -2*q + 5 = -q. Suppose -2*n - a - 87 = -4*n, -n + 66 = -q*a. Suppose 3*u - n - 19 = 0. Is 12 a factor of u?
False
Suppose 0 = b + 5*j + 83, -b = 5*j - j + 86. Let a = 248 + b. Suppose 2*c - 45 = 3*w, -3*c - 2*c = 5*w - a. Is 27 a factor of c?
True
Suppose -3*i = 2*y - 10, y - 9 = -3*i + 2. Let b(l) = 5 - 5*l + 8*l + l - l**2. Is 2 a factor of b(i)?
False
Suppose 0 = 4*i - i - 3*n + 6, -10 = -4*i - 2*n. Let s(l) = -3*l**3 + 1. Let m be s(2). Does 15 divide 1 - m/(i - 0)?
False
Let g = 1 + 3. Suppose 4*x - 5*k = 146, 0 = 4*x + g*k - 6*k - 140. Suppose 4*v + 3*z = 6 + 91, -v - 4*z = -x. Is 12 a factor of v?
False
Let x = -360 - -208. Let y = x - -233. Is 27 a factor of y?
True
Let f be 203/(-3) - (-1)/(-3). Let z = -48 - f. Is z a multiple of 12?
False
Let d = 15 - 9. Suppose -9 - d = -3*k. Suppose -2*r - 39 = -k*r. Does 7 divide r?
False
Suppose 4*a - g - 21 = 0, -3*g - 3 = -0*g. Let f(r) = 19*r - 6. Let v be f(a). Suppose 2*y + 10 = 4*q + 38, 3*q = -4*y + v. Is y a multiple of 10?
True
Suppose -4 = -4*v + 4. Suppose 19 = -p + v*p. Is p a multiple of 19?
True
Let s(f) = -f. Let q(v) = -v + 1. Let h(i) = -q(i) + 2*s(i). Let w be h(-3). Suppose o = -4*x + x + 11, o + w*x - 10 = 0. Does 4 divide o?
True
Let j = 7 - 4. Suppose 235 = j*z - 2*n, -119 = 4*z + 5*n - 440. Does 14 divide z?
False
Let l(r) be the third derivative of 11*r**4/24 - 5*r**3/6 - 5*r**2. Does 17 divide l(2)?
True
Let m be (-49)/2*2*-1. Suppose -3*a + m = -32. Is a a multiple of 13?
False
Suppose 3*a - 193 = -4*q - q, 5*a - q = 331. Does 8 divide a?
False
Let m(x) = -x**2 + x - 1. Let w(p) = 2*p**3 + 3*p**2 - 6*p + 10. Let t(o) = 6*m(o) + w(o). Is t(4) a multiple of 22?
False
Suppose -4*u - 4*h - h + 132 = 0, 2*h + 99 = 3*u. Suppose -5*g + u = 3. Does 3 divide g?
True
Let f be ((2 - 1) + -1)/1. Let c(j) = j**3 - 12*j**2 + j - 10. Let b be c(12). Suppose 5*u = -b*w + 20, f = -3*u + 4*w - 0*w - 14. Is u even?
True
Let u(g) = 4*g**3 + 2*g**2 - 2*g - 1. Let t be 30/14 - (-2)/(-14). Does 20 divide u(t)?
False
Let o(t) = t**2 - t + 2. Let r be 4 + -2*(-1)/2. Let z = r - 7. Is o(z) a multiple of 8?
True
Suppose -9*c + 11*c + 38 = 0. Let q = c - -38. Is q a multiple of 5?
False
Let q(o) = o**2 - 2*o + 1. Let u be q(3). Suppose 0 = u*b + 5*n - 52, 48 = 4*b - n + 5*n. Is b even?
True
Suppose -l + 189 = k + 15, 4*l - 2*k - 708 = 0. Does 16 divide l?
True
Let h be (-90)/(-24) + 2/8. Suppose -h*k + 2*k = -24. Is k a multiple of 12?
True
Let a(r) = 1 + 0 + 0. Let l(z) = -z**2 - 12*z - 8. Let q(c) = 5*a(c) + l(c). Is q(-8) a multiple of 17?
False
Is 6 a factor of (-12)/(-48) + (-171)/(-4)?
False
Suppose -4*m = -5*m + 82. Suppose m = 5*i - 33. Is i a multiple of 8?
False
Let j be (-2)/(-4 - -5)*3. Is (-1 + 21)*(j - -7) a multiple of 4?
True
Let p(m) = -m**2 - 14*m - 2. Let g be p(-14). Let s(c) be the second derivative of -11*c**3/3 + c**2/2 + c. Is s(g) a multiple of 16?
False
Let a(z) = 4*z**2 - 4. Suppose -3*v + 6*v + 23 = -2*p, p - 2*v - 6 = 0. Is 20 a factor of a(p)?
True
Let d(g) = g**2 - 7*g + 5. Let q be d(4). Let u(f) = -f**2 - 10*f - 9. Let i(b) = -2*b**2 - 20*b - 17. Let x(r) = 3*i(r) - 5*u(r). Is 7 a factor of x(q)?
False
Suppose 3*u + 0*u = 144. Is -35*(u/(-15))/2 a multiple of 14?
True
Suppose -3*q + 12 = -2*u + 2*q, 4*q - 28 = -3*u. Suppose -4*r - 56 = -2*h, u*r + 0*h - 3*h = -52. Does 16 divide (r/(-5))/(5/25)?
True
Let q = -19 - -17. Is q/(1 + (-58)/54) a multiple of 7?
False
Let i = 22 + -22. Suppose r + 4*r - 95 = i. Does 11 divide r?
False
Let x = -34 - -48. Suppose 5*p = 2*l + 4, -2 = -2*l - 5*p + x. Suppose -5*s = l*u - 167 - 18, -s - 5*u = -59. Is 12 a factor of s?
False
Let x be 5/2*(-40)/(-25). Suppose x*m + 44 = 6*m. Does 16 divide m?
False
Suppose 8*k - 298 = -10. Is k a multiple of 9?
True
Let n(p) = p. Let j be n(0). Suppose j*u - 165 = -5*u. Does 11 divide u?
True
Let v be (2/(-4) - 2)*38. Let m = v + 183. Suppose 4*i + 2*h = m, 2*i + 2*h + 2*h = 50. Is 8 a factor of i?
False
Let c = 172 + -248. Let a = 120 + c. Is 22 a factor of a?
True
Let f(n) = -n**3 - 5*n**2 + 4. Let a be f(-5). Suppose a*w - 32 = 2*w. Is w a multiple of 8?
True
Let s(c) = c**2 + 18*c - 3. Let h be s(-21). Let r(x) = 2*x**3 + 5*x**2 - 4*x - 6. Let p be r(-4). Let f = p + h. Does 11 divide f?
True
Let s(a) = -a**2 - 14*a - 9. Is s(-8) a multiple of 7?
False
Suppose 5*i - 4 = -29, 2*n + 47 = -i. Let z be (-4)/14 - 23/(-7). Let g = z - n. Does 12 divide g?
True
Let v = -18 - -52. Is 9 a factor of v?
False
Suppose -q + 12 = 2*q. Suppose q*k = -2*r + 80 + 20, 3*k - 3*r = 57. Does 23 divide k?
True
Let c be (2/5)/(2/(-10)). Let a = c + 5. Does 11 divide -3*a/(-9) + 10?
True
Suppose -3*q + 173 = -34. Does 42 divide q?
False
Let t = 2 + 43. Does 15 divide t?
True
Let j = -64 - -232. Does 12 divide j?
True
Let y(m) = 28*m**2 - 2*m + 1. Let v be y(-2). Let u(q) = q**3 - 3*q**2 - 4*q + 3. Let d be u(4). Suppose -5*i + v = -f, 2*f - 25 = -i + d*f. Does 23 divide i?
True
Suppose -5*y + 507 + 228 = 0. Let v = -101 + y. Is v a multiple of 16?
False
Let c(b) = b + 8. Let v be c(0). Suppose -v = -5*z + z. Is z even?
True
Let f(m) = -m**3 - m**2 + 2*m - 4. Does 12 divide f(-4)?
True
Let z = 163 - 78. Is 5 a factor of z?
True
Suppose 0*o - 2*o = 78. Let t = 83 + o. Does 12 divide t?
False
Let q(o) = -2 + 20*o + 9*o - 7*o. Does 16 divid