of 8?
True
Let x = 428 - 188. Is 23 a factor of x?
False
Let m(r) = 3*r + 0 + 1 + 0*r + 0*r. Let j(b) = 3*b**2 - 2*b + 1. Let n be j(1). Is m(n) a multiple of 3?
False
Let l(p) = -p**2 - 6*p + 8. Is 6 a factor of l(-6)?
False
Let m(q) = q**3 - 6*q**2 + 5*q. Let h be m(5). Let d = 16 + h. Is d a multiple of 6?
False
Let z(t) = 2*t**2 - 5*t - 7. Let a be z(5). Suppose 0 = 4*w + 4*d - 88, -w = -2*w - 5*d + a. Suppose -3*i + 4 = -w. Is i a multiple of 5?
False
Let m = 1 + -2. Suppose -11 = 3*l + 7. Is ((-9)/l)/m*-6 a multiple of 6?
False
Let g be (-1)/(-1) + -1 + 1. Does 21 divide 608/40*(g - -4)?
False
Suppose -u = -3*c + 1, 0 = 6*u - 2*u + 5*c + 4. Does 20 divide u*(-58 - 4) + -2?
True
Let p be (-1176)/30 + (-1)/(-5). Let h = 56 + p. Is h a multiple of 10?
False
Suppose -5*f = -5*z - 105, -19 = -4*f - 5*z + 20. Is f a multiple of 14?
False
Let u be 6/(-2)*(-2)/6. Does 8 divide (-2 - 2*-5)*u?
True
Let y be 2*1/4*0. Suppose y = 4*f - f + 18. Is (-388)/(-14) + f/(-21) a multiple of 13?
False
Suppose -4*x - x + 50 = 0. Is 2 a factor of x?
True
Let c(t) = t**2 + 5*t. Let x be c(-6). Suppose -2*p + 26 = x. Is 5 a factor of p?
True
Let s be (-4)/14 + (-82)/7. Is (30/s)/((-1)/8) a multiple of 10?
True
Suppose 3 = 5*t - 2. Let w(h) = -12*h**3 + 3*h**2 + 2*h + 4. Let q(o) = 23*o**3 - 7*o**2 - 5*o - 9. Let x(g) = -3*q(g) - 7*w(g). Is 15 a factor of x(t)?
True
Let v(z) = -z**3 + z + 18. Let a be (3 - 6/2) + 0. Is 11 a factor of v(a)?
False
Let s(l) = -2*l**3 - l**2 + 4*l + 5. Let a be s(-4). Let z = a + -61. Does 13 divide z?
False
Does 12 divide 219*3/9 - -4?
False
Let v = 185 - 119. Is v a multiple of 33?
True
Let w = -2 - -4. Suppose -11 = n - w*n. Is 4 a factor of n?
False
Let t(r) = 6*r**2 + 37*r + 43*r - 82*r. Let f be (0/1 - -1) + 1. Does 16 divide t(f)?
False
Let x = -190 - -86. Let h = 150 + x. Is 15 a factor of h?
False
Let t be 7/4 - 1/(-4). Suppose 0 = -4*f + 2*z + 8, -1 = -7*f + 2*f - t*z. Is (-30)/8*(-3 - f) a multiple of 9?
False
Let z(k) = -35*k - 32. Is 23 a factor of z(-8)?
False
Let x be (-2)/9 + (-299)/(-9). Suppose -4*r = -7*r + x. Is r a multiple of 5?
False
Let u(y) = 4*y + 8. Is 6 a factor of u(16)?
True
Is ((-5)/(-2) - -3)/((-2)/(-16)) a multiple of 4?
True
Suppose -5*k + 68 = -82. Let c = k + -21. Is 4 a factor of c?
False
Let w be 6695/35 + (-4)/14. Suppose 0 = -6*r + w + 97. Is 16 a factor of r?
True
Let u(h) = h**2 - 3*h - 1 + 2*h + 2. Is 27 a factor of u(-8)?
False
Is 46/1 - (0 + 6 - 4) a multiple of 3?
False
Let j be 2/5*(-7 + 12). Let i(o) = -o + 1. Let m be i(-3). Suppose j*w + m = -0*w, -a - 3*w = -1. Is 6 a factor of a?
False
Let q be (-13)/1 - (-4 - -2). Let z = q - -17. Is 3 a factor of 2/z + 20/3?
False
Let u = -8 - -10. Is 8 a factor of ((-16)/(-5))/(u/20)?
True
Let y(f) = -f**2 + 2*f + 37 + 0*f**2 - 3*f + 16. Let d be y(0). Let r = d - 20. Is r a multiple of 11?
True
Let y be (-1 - (0 - 1)) + 21. Let j = 58 - y. Suppose 3*q = 6, -4*q - j - 5 = -5*n. Is n a multiple of 5?
True
Let v = 6 + -4. Suppose -v*g + 13 = l, 3*l = 3*g + g + 19. Suppose -7 - l = -y. Is 8 a factor of y?
True
Let k = -38 - -24. Let a = 67 + k. Is 13 a factor of a?
False
Let b(q) = -q + 1. Let r(m) = -9*m + 3. Let t(s) = -6*b(s) + r(s). Let i be t(-4). Is 11 a factor of 54*(-1 + 15/i)?
False
Suppose -4*z - 95 = -9*z. Is 18 a factor of z?
False
Suppose 0 = -0*h + 3*h. Suppose 2*w - i = 40, -7*w + 3*w + 4*i + 80 = h. Is 10 a factor of w?
True
Suppose -24*q + 72 = -21*q. Is 12 a factor of q?
True
Let t(x) = x**3 - 8*x**2 + 7*x + 2. Suppose -4*o + 7 = -3*o. Let c be t(o). Suppose -27 - 5 = -c*z. Does 16 divide z?
True
Let b(o) be the first derivative of o**6/360 - o**5/15 + o**4/24 + o**3/3 - 3. Let h(m) be the third derivative of b(m). Is 5 a factor of h(9)?
True
Suppose 0 = -3*u + j + 50, -2*u + 5*j = -0*j - 29. Is u a multiple of 12?
False
Let a(x) = -6*x - 7. Suppose 4*d + 18 = 6, -2*d = -r + 1. Let z be a(r). Let q = z + -13. Does 5 divide q?
True
Suppose 4*w = -12, -29 = 2*u + 5*w - 2*w. Is (-117)/(-15) - 2/u even?
True
Let w(i) be the third derivative of i**6/120 - i**5/30 + i**4/12 - i**3/3 + i**2. Suppose -18 = -q - q + 4*p, -p = 2*q - 3. Is 12 a factor of w(q)?
False
Suppose 0 = 3*a - 4*k - 15, 4*a + 4*k - 1 = 47. Suppose v = 23 - a. Is 8 a factor of v?
False
Suppose -8*x + 11*x = 15. Suppose -f - 3*a + 36 = -x*a, 2*a = -5*f + 156. Does 10 divide f?
False
Is 15 a factor of ((-3)/(-2))/(3 + 178/(-60))?
True
Suppose -2*z = -7*z + 330. Does 9 divide z?
False
Let u(l) = -l**3 + 2*l**2 + 2*l - 2. Let w be u(2). Suppose 4*c + 176 = 4*d, 109 - 13 = w*d - 4*c. Does 10 divide d?
True
Let f(g) = 17*g - 2. Let k(i) = 8*i - 1. Let d(y) = 6*f(y) - 13*k(y). Is 7 a factor of d(-3)?
True
Let t(m) = -35*m - 9. Let s be t(-8). Suppose -2*p + 3*l = -329, 5*p - s = 4*l + 541. Suppose 3*w + 2*w = p. Is 16 a factor of w?
True
Let h = 9 + -7. Is 4 a factor of ((-4)/(-6))/(h/36)?
True
Let j(i) = -i + 6. Let q be j(3). Suppose q*s - 14 - 4 = 0. Is s even?
True
Let y = 1146 + -742. Is y a multiple of 49?
False
Let t = 3 - -2. Suppose t*m = 4*y - 101, 5*m = -3*y + 38 - 6. Is y a multiple of 12?
False
Suppose -3*j + 2*i = -102, -3*i = -3*j + j + 63. Suppose 2*u + b + 24 = 0, 19 + j = -5*u - 5*b. Let y = u + 18. Is y a multiple of 5?
True
Suppose 4*a = 6*a - 76. Is a a multiple of 19?
True
Let y = -11 + 22. Is y a multiple of 10?
False
Suppose 3*y + 7 + 14 = 0. Let s = -61 + 88. Let f = s + y. Does 12 divide f?
False
Let a be (-765)/(-18) + (-1)/2. Let c be 1/1*(-5 - -5). Suppose c = -5*m + 53 + a. Does 7 divide m?
False
Let n(a) = -a**3 - 2*a**2 + 5*a + 2. Suppose -2*o - 5*w = 28, -w + 0*w = 4*o + 20. Is 4 a factor of n(o)?
False
Suppose -4*d + 5*d = 0. Suppose d = 2*m - j - j - 160, 4*m = 5*j + 318. Does 21 divide m?
False
Suppose 261 - 26 = 5*r. Suppose -r = -11*t + 10*t. Does 19 divide t?
False
Let c(q) = q + 5. Let d be c(-3). Suppose -4*w - 82 - d = 0. Let m = w + 89. Does 19 divide m?
False
Let f = 23 + -12. Does 11 divide f?
True
Let u be (-3)/5 + (-259)/35. Let z = 16 - u. Does 24 divide z?
True
Let s(z) be the third derivative of -z**6/120 + z**5/20 + z**4/6 - z**3/2 + 2*z**2. Is s(3) a multiple of 9?
True
Let k(x) = x**3 - 5*x**2 + 2*x - 1. Let a be k(5). Let c be 2/2 + a/1. Let h = c + -4. Is h a multiple of 3?
True
Suppose 6*p - 548 - 52 = 0. Is p a multiple of 15?
False
Let f = 19 - 12. Is f a multiple of 7?
True
Let j = 67 - 33. Let w = -23 + j. Let v = w - 4. Does 5 divide v?
False
Let z be (-2)/(-4)*(-4 - -2). Let s = -1 + z. Let o = 6 - s. Does 6 divide o?
False
Is (-6)/(-15) + 8/(-20) - -207 a multiple of 23?
True
Let h = 442 + -267. Is 30 a factor of h?
False
Let r = 13 + -13. Suppose -5*u = 3*v - 121 + 14, r = -5*v + 4*u + 203. Is 13 a factor of v?
True
Suppose 2*m - 2 - 2 = 0. Suppose 36 = p + m*p. Is 6 a factor of p?
True
Let n(o) = -18*o. Let v = -3 + 4. Let y be n(v). Is 7 a factor of (-2)/(-1 + y/(-21))?
True
Let l = -13 - -76. Is 21 a factor of l?
True
Let q be (-2)/8 + 342/24. Is 80/q - (-2)/7 a multiple of 6?
True
Suppose x = -0*x. Suppose 2*d = -x*d + 10. Is 5 a factor of d?
True
Let j(g) = 1 - 2 - 4 + g. Let t be j(7). Does 13 divide -19*1*(-3 + t)?
False
Suppose 3*f - 4 = -10. Is 3 a factor of ((-8)/(-20))/(f/(-30))?
True
Suppose j - 208 - 19 = 0. Is j a multiple of 41?
False
Let v(n) = -n**2 - 3*n + 3. Let u be v(-2). Suppose 152 = u*f - 43. Does 13 divide f?
True
Let c be 1/(-1)*(1 + -1). Let u = 4 - c. Suppose 0*d = -u*d + 16. Does 3 divide d?
False
Let d = 161 - 27. Is 21 a factor of d?
False
Is (1/2)/(8/464) a multiple of 4?
False
Let k = -148 - -208. Does 15 divide k?
True
Suppose 2*z = -4*m - 10, -2*m - 2 = 2. Let b be ((-10)/(-25))/(z/(-5)). Suppose 5*q + 3*f = 92, -q + 9 = -b*f + 1. Is 11 a factor of q?
False
Let a be (0 + -3)/((-6)/4). Suppose -a*i = -i - 11. Is 7 a factor of i?
False
Let w(i) = 22*i**3 + i**2 - 2*i. Let t be w(-2). Let a be ((-6)/(-4))/((-18)/t). Is (-12)/(-42) + 80/a a multiple of 3?
True
Suppose 393 - 49 = 4*k. Suppose k = -4*r + 326. Is 12 a factor of r?
True
Suppose -4*k = 12, -3*j - 5*k - 1 = -88. Is j a multiple of 9?
False
Let y(k) = k**2 - 3*k + 7. Let r be y(4). Suppose 5*a - 91 = -r. Is 12 a factor of a?
False
Suppose -4*m + 74 = 2*j, -4*m + 0*m + 3*j = -59. Does 7 divide m?
False
Let g = -72 - -93