Is n(-1) a multiple of 19?
False
Suppose 4*j = 5*k + 8151 - 1754, 0 = 4*j + k - 6391. Is j a multiple of 11?
False
Let t(y) = 4*y - 3. Suppose 4*q + 8 = 20. Suppose -3*b = -3*d - 3, -2*d - 6 = q*b - 6*b. Does 4 divide t(b)?
False
Let m(c) = c**2 - c. Let q be m(3). Does 8 divide (2 + q)*(5 - 0)?
True
Let y(x) be the first derivative of -x**4/4 - x**3/3 + 6*x**2 + 11*x + 39. Does 32 divide y(-5)?
False
Let d = -598 - -926. Is 41 a factor of d?
True
Suppose 3*j = 7*j - 100. Let o = -15 + j. Does 5 divide o?
True
Let z = 264 - -500. Does 44 divide z?
False
Let i = 995 - 921. Is 74 a factor of i?
True
Let r(s) = s**3 - 9*s**2 + 8*s. Let q be r(8). Suppose q = 5*v + 5, -4*o - 2*v + 56 = -14. Suppose -5*u = -4*u - o. Is u a multiple of 18?
True
Let r = -246 - -574. Is r a multiple of 34?
False
Suppose -4*d + 410 + 1892 = -f, 0 = 5*d + 2*f - 2884. Does 8 divide d?
True
Let a = -109 - -129. Is 8 a factor of a?
False
Let z(m) = -13*m - 17. Let q = 21 + -26. Is z(q) a multiple of 4?
True
Suppose 4*n + 5*j + 1 = -0, -5*n + 5 = 5*j. Does 34 divide (-3364)/(-11) + n/264*8?
True
Suppose -2*i + 32*a - 35*a + 2004 = 0, 5*a + 1028 = i. Is i a multiple of 48?
True
Suppose 20*n + 24 = 18*n. Let m = n - -35. Is 3 a factor of m?
False
Let y be 51/(-17) - (-9 + 0). Is 8 a factor of 40/y*(-72)/(-10)?
True
Let p(t) = t - 27. Let b(o) = 2. Let a(x) = 18*b(x) + 2*p(x). Let w be a(9). Does 21 divide (w + -4)/1 - -46?
True
Suppose -2*i - g - 1208 = -3*i, g = -5. Is 17 a factor of i?
False
Let c = -54 + 56. Suppose 2*h + c*h - 221 = -q, 3*h = 4*q + 161. Does 11 divide h?
True
Let a(m) = m**2 - 8*m + 7. Let c be a(7). Suppose 2*l + 33 - 67 = c. Is l a multiple of 17?
True
Let h = -121 + 58. Let t be -12*(h/4)/9. Suppose -q = 3*s - t, 12 = 3*s - 0*s + 4*q. Is 8 a factor of s?
True
Let k = 16 - 8. Let g(q) = -q**2 + 5 - 4 + 2*q**2 - 3 - k*q. Is 6 a factor of g(10)?
True
Let o(y) = -4*y**3 - 2*y**2 + 2*y + 1421. Is 110 a factor of o(0)?
False
Let j(t) = 16*t**2 + t. Let s be j(1). Suppose -s = -u + 38. Does 5 divide u?
True
Suppose 0*j = -j - 3*s - 12, -4*s - 12 = 0. Suppose 0 = 4*p + 20 - 20. Is p*(-3)/9 - j a multiple of 2?
False
Let q = 84 + -92. Is 20 a factor of 2*(-1)/(-8) + (-318)/q?
True
Suppose -5*p + 86 = 2*z - 39, 4*z + p - 241 = 0. Suppose 22*m + z = 26*m. Is m a multiple of 3?
True
Let f = -44 - -206. Does 9 divide f?
True
Does 6 divide 21/35 - 12/(-5) - -21?
True
Suppose 4*r = 12*r - 11440. Is 65 a factor of r?
True
Is (-1)/(21/(-4395)) - (-8)/(-28) a multiple of 50?
False
Suppose 0*c - 4*c - 3*y = -48, -10 = -2*c + 2*y. Is 21 a factor of c/((-93)/(-42) + -2 - 0)?
True
Suppose 17*c + 6333 = 3*t + 13*c, -2*c = -4*t + 8454. Is t a multiple of 45?
True
Let o(v) = 3*v**2 - 4*v**2 - 1036 - 20*v + 1106. Is 3 a factor of o(-22)?
False
Let o be -6*((-1)/(-2) - -4 - -3). Does 46 divide (-10320)/o + (-4)/(-6)?
True
Let b = 1214 + -512. Does 39 divide b?
True
Let u = 142 - 139. Suppose 0 = u*k + 3*n - 309 + 39, -n = 3*k - 280. Is 11 a factor of k?
False
Let z(n) = -n**2 + 13*n + 7. Suppose -9 = -3*g - 5*l + l, -3*g + 2*l + 9 = 0. Suppose 46 = 5*y + 3*k, g*y + 7*k - 32 = 3*k. Is z(y) a multiple of 12?
False
Suppose 2*s - 229 = -0*s - 3*x, 0 = 2*x + 2. Suppose 4*o + 0 - s = 0. Suppose -v + 86 - 32 = 5*j, 0 = 3*j + 4*v - o. Does 10 divide j?
False
Let l = 16 + -9. Suppose -w + 2*w + l = 0. Let g = w + 25. Is g a multiple of 4?
False
Suppose -2*j - 8*w + 4*w + 3260 = 0, -j = -5*w - 1602. Does 18 divide j?
False
Let k = 25 - 20. Suppose 2*q + d = -4*d - 5, 0 = -2*q + k*d + 5. Suppose 23*i - 24*i + 29 = q. Is i a multiple of 9?
False
Let r(n) = -3 + 0*n**2 - 2 + n**2 - 7*n + 1. Is r(-5) a multiple of 14?
True
Suppose 296*h - 289*h - 882 = 0. Is h a multiple of 15?
False
Suppose -45*m = -46*m - 23. Let q be (6 - 7)*16/(-2). Is 9 a factor of (-4)/q - m/2?
False
Let m(y) = 6*y + 2. Let a be m(-2). Let q = 8 + a. Is 25 + q/(4 + -2) a multiple of 12?
True
Let b be (-8)/(-1 - 3) + -4. Let g = b + 62. Does 12 divide g?
True
Suppose -x + 9 = 2*x. Suppose -52 = -7*g + x*g. Does 2 divide g?
False
Suppose 5*d - 35 = -10, -67 = -3*m + 4*d. Let g = m - -2. Does 13 divide g - 2*(-9)/6?
False
Let s be 29/(116/360) + (-8)/2. Let p = s + 68. Is p a multiple of 7?
True
Let x(k) = -k**2 + 11*k + 2. Let j be x(11). Suppose -3*r + 21 = 2*f, r + f + j*f = 14. Suppose -4 = r*o - 114. Does 13 divide o?
False
Let d(x) be the first derivative of x**4/4 - 5*x**3/3 + 5*x**2 - 9*x + 1. Let y be d(6). Suppose -3*h + 4*a + y = -2*h, 3*h - 229 = 4*a. Is h a multiple of 13?
False
Suppose -3*m - 5*r - 13 = 0, m + 2*r = 7*r + 29. Suppose -17 = -m*g + a, g + 3 = 3*g + 5*a. Is g a multiple of 3?
False
Let o be 54*(-6)/(-27)*6. Let v = -42 + o. Is v a multiple of 10?
True
Let i(q) = 207*q + 12. Is 24 a factor of i(4)?
True
Let y = 527 + -263. Is y even?
True
Let r(i) = 21*i - 13. Let m be r(3). Suppose -3*u = -d + m, 3*d - d = -2*u + 68. Does 12 divide d?
False
Let o = -2 - 1. Let l(z) = -5*z**3 + 4*z**2 + 4*z. Does 21 divide l(o)?
False
Suppose 4*t + 38 = 6. Suppose 0 = -5*b - 5*o, 2*b + o + 0 + 3 = 0. Is ((-12)/t)/(b/(-94)) a multiple of 17?
False
Let k(a) = a**2 - 6*a + 14. Let m(g) = -g**2 + 8*g - 14. Let p be m(6). Let d be p/(-4) - (-57)/6. Does 16 divide k(d)?
False
Let v(r) = -r**3 - 7*r**2 + 6*r + 8. Let w be v(-8). Let y = w + -21. Suppose y*c + 0*c = 24. Is 3 a factor of c?
False
Let a = -492 - -582. Is a even?
True
Suppose -3*z - 7*k + 10*k = 24, -2*k = -4*z - 28. Is ((-2)/(6/11))/(z/54) a multiple of 2?
False
Suppose 5*j = -0*j. Suppose -2*n - k = 0, 3*n + j*n + 2*k = 0. Is 15 a factor of 40 - (n - 1)*-1?
False
Is 5435/10 - 1/(-2) a multiple of 10?
False
Suppose -5*g = 3*o - 1952, 2571 = 4*o + g - 26. Suppose -8*z = -2057 + o. Let m = z + -101. Is 12 a factor of m?
False
Suppose 3*r = 5*z - 11, z - 7 = 3*r - 0*r. Is 4 a factor of (z/4 - (-10)/(-4))*-4?
False
Let y be ((-14)/4)/(4/(-8)). Let b(l) = l**3 - 6*l**2 + 8*l + 15. Is 12 a factor of b(y)?
True
Suppose -w = -2*v - 2, -4*v + 2*v - 12 = 4*w. Let p be w - (-1 + 5/(-1)). Is 4 a factor of p + 7/(7/18)?
False
Suppose 0 = -10*v + 6*v + 56. Let p be v/70 - 62/10. Is 8/(-4 - p) + 3 a multiple of 7?
True
Let v = 13 - 20. Let t be 4/(-7)*v/2. Suppose 0 = -0*q - t*q + 58. Is q a multiple of 29?
True
Let b be (76/12 + 1)/((-4)/36). Let m = b - -94. Is 14 a factor of m?
True
Suppose -6 = -3*v - 2*z, 4*v - 19 = -z + 2*z. Let t = 5 - v. Does 14 divide (112/(-12))/(t/(-3))?
True
Let n = 2147 - 1475. Is 43 a factor of n?
False
Let t = 60 - 43. Let f be -5 + (-108)/90*(1 + -11). Suppose v - t = -f. Does 10 divide v?
True
Let i(a) = -2*a**2 + 20*a + 2. Let q be i(10). Suppose -4*c - 450 = -z - q*z, 4*c = -5*z + 750. Does 25 divide z?
True
Let n(l) = 7*l**3 + 2*l**2 - 3*l + 10. Let z(a) = 6*a**3 + a**2 - 3*a + 9. Let s(b) = 5*n(b) - 6*z(b). Is s(4) even?
True
Let c(g) = 6*g**2 - 2*g + 1. Let n be c(2). Let d be (186/5)/(-2 + (-48)/(-20)). Suppose -4*j - n = -d. Does 9 divide j?
True
Let m(r) = 3*r**2 - 1. Let z be m(3). Suppose 30*u - z*u = -260. Let c = u + 98. Is 15 a factor of c?
False
Let o(l) = l**2 - 10*l + 9. Let g be o(4). Let i be 93/12 + g/20. Suppose -6*v - 54 = -i*v. Is v a multiple of 19?
False
Let h(i) = 3*i**2 - 2*i + 1. Suppose 5*q - 3 = -3*j + 12, 5*j = 0. Let x = 0 + q. Is 11 a factor of h(x)?
True
Let h(z) = -z**2 - 6*z + 14. Suppose 0 = -31*o + 26*o - 30. Let d be h(o). Suppose 6*v = -d + 182. Is v a multiple of 16?
False
Suppose 3*l - l = 4. Let z be -1*(-3 + 5) - l. Is 21 a factor of (z/(-5))/(2/155)?
False
Let p(j) = -j**3 + 7*j**2 + j - 5. Let i be p(7). Suppose i*a = 6, 2*a = 2*o + 6*a. Is (o/(-9))/(3/324) a multiple of 24?
True
Let n(w) = 26*w**2 + 2*w - 1. Let b(o) = -o + 2. Let p be b(1). Let q be n(p). Suppose -7 = -2*i + z, -4*i - 5*z + 8 + q = 0. Is 2 a factor of i?
False
Let c = -320 + 284. Suppose -2*y = 2*r - 36, 3*r - y = 2*y + 36. Let i = r - c. Does 17 divide i?
True
Let p = 268 + 6. Does 53 divide p?
False
Suppose 6306 = 16*v - 8590. Is 36 a factor of v?
False
Let i(g) = 2*g**2 + 3*g - 10. Let x = -6 - 2. Let a be i(x). Suppose -5*w + 86 = -0*l + 3*l, 0 = -3*l - w + a. Is 14 a factor of l?
False
Let c = 80 - 53. Suppose 4*k + 3*w = -0*w + c, 0 = 3*k - 4*w - 14. Suppose -8*z + k*z + 90 = 0. Is 9 a factor of z?
True
Suppose 0 