ultiple of 5?
True
Let u(v) = v**2 - 7*v + 8. Let i be u(6). Suppose -i*z = -2*l - 144, -5*z + 3*l + l + 362 = 0. Suppose 10 + z = 2*c. Is c a multiple of 16?
False
Let x be (-22)/(-8) - 4/(-16). Is 12 a factor of 56/x*(-30)/(-8)?
False
Let l(j) = j**2 + 18*j - 8. Is 32 a factor of l(-20)?
True
Let c = -75 - -106. Does 11 divide c?
False
Suppose -4*d + 14 - 2 = 0. Let j(a) = 2 + a**d + a**3 - a + 0. Is 8 a factor of j(2)?
True
Let l(x) = 7*x**2 + 11*x - 6. Is l(-6) a multiple of 12?
True
Let s be (-1 - 1) + (-12 - -127). Suppose 0 = -3*y + 332 - s. Is y a multiple of 16?
False
Let n(d) = -2*d - 7. Let f be n(6). Let h = 8 + f. Let w = 43 + h. Is 14 a factor of w?
False
Let p(h) = 9*h**2. Let b be p(1). Let i(n) = -n**3 + 9*n**2 + 4*n + 2. Is 21 a factor of i(b)?
False
Suppose 3*a = 2*w - 26, -a - 3*w = -8*w + 26. Let v(q) = -q**3 - 5*q**2 + 8*q + 3. Let y be v(a). Let h = y + 13. Is h even?
True
Let g(t) = 26*t - 6. Does 14 divide g(4)?
True
Suppose 213 = a - 8. Is a a multiple of 21?
False
Suppose 2*l + x = 77, -15 - 215 = -5*l + 5*x. Let z be l - -1*(-1 + 0). Suppose t + z = 6*t. Is t a multiple of 7?
False
Let l(i) = -i**3 + i**2 + 5*i + 2. Let o be l(5). Let q = -40 - o. Is 11 a factor of q?
True
Suppose -6 = -3*g - 0*g. Suppose 4*m - 42 = -2*s, -g*m + 25 = s - m. Let u = -13 + s. Is 13 a factor of u?
False
Is 6 a factor of (-205)/30*-8 - (-2)/(-3)?
True
Suppose 3*m + 5*h = -3, 3*m - h = -m + 19. Let n(o) = 2*o**3 - 3*o**2 + 2*o - 1. Let i be n(2). Let u = i - m. Is 3 a factor of u?
True
Let w be -10*(-5)/((-25)/2). Is (-2)/w - 30/(-4) a multiple of 4?
True
Suppose -x + 2 = -3. Suppose -16 - 19 = x*w. Does 24 divide w/21 - (-169)/3?
False
Suppose 4*q = -5*c + 63, 76 = 5*q - 2*q - 2*c. Let u = 40 - q. Is u a multiple of 13?
False
Suppose 0*v - 3*v = 9. Let o = v - -13. Does 4 divide o?
False
Let v(f) = -3*f**2 + 5*f + 7. Let n(x) = -2*x**2 + 3*x + 4. Let u(h) = -5*n(h) + 3*v(h). Let d be u(-1). Let c = 53 - d. Is 18 a factor of c?
False
Let j(o) = -49*o - 3. Let m be j(-3). Suppose 4*k = -0*k + m. Is 18 a factor of k?
True
Suppose 0 = 4*g + 16, -5*h - 9 + 129 = -5*g. Is h a multiple of 5?
True
Suppose -z = 2*z - 6. Let i be (110/(-20))/((-2)/(-4)). Let m = z - i. Is 5 a factor of m?
False
Let n = 39 - 20. Let t = n - -26. Let f = -21 + t. Is f a multiple of 12?
True
Suppose -2*y - 10 = -3*y. Let l = -2 + y. Is 4 a factor of l?
True
Suppose 6*r = 2*r. Is (-1 + r)/((-1)/3) even?
False
Suppose 0 = 3*l + 3*v + 6 - 0, -5*l + v = 16. Let f be 0*1/(l - -2). Suppose f = -2*y + 42 + 34. Is 19 a factor of y?
True
Let k = 2 - 3. Is (-14)/7 + k + 53 a multiple of 30?
False
Let n = -33 + -13. Let b = -75 - -141. Let j = b + n. Is j a multiple of 13?
False
Let m be 5/(45/(-6))*-3. Suppose -31 = r - m*a, 3*r + 25 = 2*r - 4*a. Let s = 60 + r. Is 19 a factor of s?
False
Suppose 0 = 6*r - r + 5*b - 75, 0 = -2*r - b + 25. Does 3 divide r?
False
Let g be ((-1)/3)/((-2)/18). Suppose -5*w - 7 - g = 0, -3*x - 3*w = -90. Is 16 a factor of x?
True
Let h(d) = 4*d - 4. Suppose t = 9 - 4. Does 13 divide h(t)?
False
Let s = 638 - 421. Is 31 a factor of s?
True
Does 16 divide 18/(-4)*128/(-24)?
False
Let t(m) = -m**2 + 33*m - 13. Does 13 divide t(15)?
False
Let d be 11 - (-4)/2*-1. Let q(a) = -a**3 + 17 + 3*a + d*a**2 - 7 - 9*a. Is q(8) a multiple of 9?
False
Suppose -5*v = 2*c - 500, v + c + 0*c - 103 = 0. Does 7 divide v?
True
Let o(i) = 2*i**3 - 18*i**2 - 4*i. Is 10 a factor of o(10)?
True
Let a be 1/(-4) + (-18)/(-8). Suppose a*t - 50 = -0*t. Let v = t - -8. Does 12 divide v?
False
Suppose 4*h + 0*c - 120 = -2*c, 0 = 4*h + c - 118. Is 29 a factor of h?
True
Let d be 58*(6/(-3))/4. Let v = d + 46. Does 17 divide v?
True
Suppose 0 = -3*j + 224 + 61. Suppose 7*y = 2*y + j. Does 10 divide y?
False
Suppose -4*o - 30 = -3*i - 0*o, -5*i + 2*o + 64 = 0. Let k = 0 + i. Is 14 a factor of k?
True
Let t(c) = c - 3. Is 6 a factor of t(15)?
True
Let a be (-78)/(-6) + (-2)/(-2). Is 78/a + 6/14 a multiple of 4?
False
Let m(z) = z**2 + 112. Does 42 divide m(0)?
False
Suppose -27 + 12 = -3*r. Suppose 1 = o + 3*d - 6, r*o - 1 = 2*d. Let m(i) = 11*i**2 - i. Is m(o) a multiple of 10?
True
Let g = 1 + 2. Suppose 0 = -c + g*c. Suppose 3*s - 3 - 51 = c. Does 6 divide s?
True
Let r(c) = c**2 + 10*c + 14. Is r(-15) a multiple of 24?
False
Let m(l) = -l**3 - l**2 + l. Let x be m(-1). Let q(g) = 4*g**2 + g + 1. Let r be q(x). Suppose -62 = -5*s + r*s. Does 19 divide s?
False
Does 60 divide 0 + 8/(-12) + (-4630)/(-15)?
False
Let o = -217 - -439. Is o a multiple of 12?
False
Is (-120 - -3)*(-4 + 3) a multiple of 9?
True
Let x = -38 - -91. Is 13 a factor of x?
False
Let i(m) = 4*m**2 + 3*m + 1. Let g be i(-5). Let j be 7/(42/(-4))*-12. Suppose -2*z = j - g. Is 20 a factor of z?
False
Suppose -18 = -2*s + 12. Let b be (-2)/((-9)/(-3) + -1). Is 8 a factor of s - (0 + 1/b)?
True
Let w = 246 + -143. Does 9 divide w?
False
Does 8 divide (0 - -3) + 265/5?
True
Is -7*(-1 - -4)*-5 a multiple of 21?
True
Let b(y) = y**3 - 4*y**2 - 10*y + 8. Let o = -2 + 1. Let t = o + 7. Is 8 a factor of b(t)?
False
Suppose 5*k - 257 + 12 = 0. Is k a multiple of 24?
False
Let z = 38 + -8. Suppose -74 = -4*x + z. Is 23 a factor of x?
False
Does 18 divide (-2 - -1)/(-2)*36?
True
Suppose f = -m - 0*f + 104, -4*f - 214 = -2*m. Suppose 0 = 4*a - m - 51. Is a a multiple of 13?
True
Suppose v + 2*l - 30 = -3*v, 0 = l - 5. Suppose 0*u + 20 = v*u. Does 4 divide u?
True
Let g(o) = 2*o - 3. Let k be g(-3). Let q(j) = 4*j + j**2 + j + j - 10. Is q(k) a multiple of 17?
True
Let r(n) = 24*n**3 - 2*n**2 + n + 3. Is r(2) a multiple of 23?
False
Suppose 8*s - 42 = 6*s. Does 14 divide s?
False
Suppose 5*f = 3*k + f - 40, 4*k - 70 = 2*f. Does 4 divide k?
True
Suppose 353 = 5*n + 3*b, -3*n = -2*n + b - 71. Suppose -5*t + n = -3*t. Does 12 divide t?
False
Suppose 4*q = -g + 20, 2*q - 5*g - 32 = -0*q. Suppose -122 + 422 = q*h. Is 16 a factor of h?
False
Let u(j) = j**2 + 4*j - 3. Let n be u(-5). Suppose n*v - 8 = 2. Is 3 a factor of v?
False
Let g(w) = 3*w + 1. Let j be g(1). Let l be (-1652)/(-49) - j/(-14). Let m = l - 18. Does 8 divide m?
True
Is 14/49 + 138/7 even?
True
Suppose -51 = -2*h + 49. Is 8 a factor of h?
False
Is 3 a factor of 7 + (-13 - -13)/(1 - -1)?
False
Suppose -4*s + 2*o = -2 - 0, 0 = 5*o - 5. Let m = 4 - s. Does 3 divide m?
True
Suppose -u - 5*d + 33 = 0, -5*u + 160 = 5*d + 15. Does 13 divide u?
False
Let s = -493 - -338. Let i = 39 + s. Let a = i + 162. Does 16 divide a?
False
Let l(q) = 2*q**2 - 40*q + 25. Is l(22) a multiple of 7?
False
Let n be 0 + 58 - (-6)/3. Suppose 2*l = l - n. Is 16 a factor of ((-27)/6)/(9/l)?
False
Let p(q) be the first derivative of -5/2*q**2 + 1/3*q**3 - 4 - 10*q. Is 8 a factor of p(8)?
False
Let f = -15 - -57. Is 12/f + 96/7 a multiple of 4?
False
Let n(j) = 2*j**2. Let w = 1 + -4. Let p = w + 0. Does 8 divide n(p)?
False
Suppose 3*j + 1 = 5*w + 5, -5*j + 5*w + 20 = 0. Let b = j + -5. Does 3 divide b?
True
Let u(l) = 92*l**3 - 13*l + 3. Let a(p) = 0 - 1 - p**3 - 11*p**3 - 19*p**3 + 4*p. Let n(k) = -7*a(k) - 2*u(k). Is n(1) a multiple of 16?
True
Suppose 2 = 4*h - 6. Suppose 2*c - 24 = -h*c. Does 5 divide c?
False
Let c(f) = -f**3 - 17*f**2 + 16*f + 32. Is c(-18) a multiple of 34?
True
Let y be 6/1 + (0 - 1). Let g be 4/(-10) - 23/y. Let d(v) = -7*v - 7. Is d(g) a multiple of 16?
False
Suppose -5*g + 441 + 157 = -2*f, -3*g = 4*f - 364. Is 23 a factor of g?
False
Let p be 2/1 + 116 - -1. Let h = -80 + p. Does 13 divide h?
True
Suppose 0 = 2*y + 15 + 5. Let l = y - -36. Does 9 divide l?
False
Suppose 270 = 4*p - i - 13, 0 = 3*p - 2*i - 206. Suppose y - 4*y = -p. Suppose -2*g = -2*n - 0*n + y, -n = -5*g - 16. Is 11 a factor of n?
True
Let k = 3 - -1. Let z(u) = -u**3 + 6*u**2 - 2*u + 5. Does 13 divide z(k)?
False
Let n(j) = 6*j - 3. Let u be n(7). Suppose 0 = -4*k + 3*k + 3*v + 24, -2*v = k - u. Does 13 divide k?
False
Is 13 a factor of (-12)/(-28) + (-1768)/(-56)?
False
Is -3 - (-49)/21 - 772/(-6) a multiple of 8?
True
Let l(u) = u**3 + 10*u**2 - 4*u + 27. Does 29 divide l(-8)?
False
Suppose -4*k - 4*r + 40 = 0, 10 = 3*k - 0*k - r. Suppose -119 = -3*b + 5*n + 230, -k*b + 586 = -4*n. Suppose 177 + b = 5*w. Is w a multiple of 22?
False
Let a(j) = -j**2 + 12*j - 3. Let n(z) = 8*z**2 + z. Let t