z = -4*u + 12. Suppose -u*c = -30 + 2. Let d = 46 - c. Is 13 a factor of d?
True
Let i(z) = 2*z**3 - 6*z**2 + 9*z - 3. Let u be i(2). Suppose -558 = -u*h + 30. Does 4 divide h?
True
Let u = -53387 - -82348. Is u a multiple of 275?
False
Let g(r) = -45*r + 6. Let a be g(-6). Let d be 806/10 + (11 - (-106)/(-10)). Suppose a = 5*w + d. Does 13 divide w?
True
Let r(d) = 2*d + 57. Let a be r(10). Let l = a + -74. Suppose -756 = -17*m + l*m. Is 6 a factor of m?
True
Let o = 41 + -42. Let a be (4 + -7)/(-3)*o. Is 5 a factor of 24/7*(a - -8)?
False
Let l(o) = -2*o**2 + 13*o - 17. Let a be l(2). Is 16 a factor of (-7 + a)/(-2)*61?
False
Suppose 847*p + 325 = n + 852*p, 3*n + 5*p = 925. Is 20 a factor of n?
True
Let h = -29 - -33. Suppose c + 14 = 4*p, 0 = h*p + 4*c + c - 26. Suppose i = -4*i + 4*f + 620, p*i + f = 496. Is 26 a factor of i?
False
Suppose 4*w + 5*t - 46271 = 0, -t + 33323 + 12936 = 4*w. Is 7 a factor of w?
True
Let t(v) = 175*v - 932. Does 128 divide t(28)?
True
Let b = 167 - 102. Let q(s) = 4*s**2 + 2*s + 1. Let v be q(-2). Is 13 a factor of 131/5 - v/b?
True
Suppose -16179 = -4*q + 5*g, 5*q = -83*g + 79*g + 20193. Does 9 divide q?
True
Suppose -27737 - 3043 = -19*b. Is 1 + (-13)/((-26)/b) a multiple of 22?
False
Let f(y) = -7 - 2*y - 5 - 11*y - 16*y. Let n be -4 + 1 + 1*-1. Is f(n) a multiple of 13?
True
Suppose 6 = 3*f, r - 4*f + 0 = 1. Let n be ((-10)/(-6) - (-3)/r) + -2. Suppose n = b - 4, -3*b + 204 = 3*k - 0*k. Is k a multiple of 12?
False
Let l(w) = -5*w + 12. Let o be l(0). Suppose -1080 = 9*x - o*x. Does 12 divide x?
True
Suppose 1639 - 59011 = -12*r. Suppose -r = -20*n + 3019. Is 65 a factor of n?
True
Let v(o) = -10*o**3 + 3*o**2 - 9*o - 5. Let q be v(-5). Suppose 0 = -118*z + 113*z + q. Is z a multiple of 13?
True
Let j be 2904/30 + 1/5. Let x(r) = -j*r**2 - r**3 + 7*r - 14 + 97*r**2. Is 16 a factor of x(-6)?
True
Suppose -18 = -11*x + 15. Suppose x*m + 76 = -86. Let s = m - -134. Is s a multiple of 8?
True
Does 17 divide (747/(-36) + (-2 - -3))/((-3)/408)?
True
Let g = 884 + -204. Suppose 35*q = 37*q - g. Suppose 7*i - 220 = q. Is i a multiple of 16?
True
Let k = 2 - -3. Suppose -k*l + t = 68, 5*l + 27 = -4*t - 51. Is -49*(10/l + -1) a multiple of 12?
True
Suppose -22*g - 74 + 184 = 0. Suppose -4*n - 3*r + 762 = -2*r, 181 = n + g*r. Is 11 a factor of n?
False
Let l = 3 - -2. Suppose 0 = 8*o - l*o + 735. Let x = o + 367. Does 21 divide x?
False
Let k(y) = 4*y**2 - 2*y - 18. Let v be k(15). Suppose -34*x + 32*x = -v. Does 60 divide x?
False
Let n = -4983 + 5278. Is 59 a factor of n?
True
Suppose -60 - 156 = -12*d. Does 17 divide 3984/d + 4/(-12)?
True
Suppose 5*q - 3*q - 12 = 0. Suppose -4*z + 2*z = 4*z. Suppose -b + 57 - q = z. Does 8 divide b?
False
Let y(s) = 454*s**2 + 53*s - 5. Is 29 a factor of y(-4)?
True
Let d = -124 - -124. Suppose -2*v - 580 + 1592 = d. Does 22 divide v?
True
Let b = -114 + -22. Let r = -11 - b. Suppose -3*z - 523 = -4*t, t - 3*z = -8*z + r. Does 26 divide t?
True
Suppose -5*h - 1426 - 906 = -c, 2*h = -2. Does 13 divide c?
True
Let t(v) = -3*v**3 + 39*v**2 + 17*v + 6. Let z be t(14). Let y = z + 584. Is 24 a factor of y?
True
Let k(x) be the third derivative of -7/3*x**3 + 2/3*x**4 + 0*x + 0 - 3*x**2 - 1/120*x**6 + 1/10*x**5. Is k(7) a multiple of 4?
False
Let s(i) = i + 22. Let o be s(-18). Suppose -5*t = -3*q - 1255, q + 967 = o*t + 6*q. Suppose t = -6*r + 668. Is r a multiple of 10?
True
Is 42 a factor of -2 - (6 - 153798/90) - 4/(-30)?
False
Let i(y) = 12*y**2 - 9*y**2 + 9 + 3*y**2 + 36*y + y**2. Does 20 divide i(-7)?
True
Is 8 a factor of 260*(-10 - 11022/(-88))?
False
Suppose -2*q - 8 = a, -8*a + 12*a = 2*q + 8. Let j(k) = -6*k**3 - 3*k**2 + 9*k - 3. Does 9 divide j(q)?
True
Is 117 a factor of 1982137/209 + 13 + (3/(-11))/(-3)?
False
Let o = 5572 - 3783. Suppose 13*y - 5 - o = 0. Is y a multiple of 23?
True
Does 90 divide ((-320)/30)/8*-5646?
False
Let u(a) = -2*a**3 + a**2 - 4*a - 1681. Let f(x) = -x**3 + x**2 - 2*x - 1. Let k(c) = f(c) - u(c). Is k(0) a multiple of 16?
True
Does 5 divide (2*-19)/(8/10*375/(-2850))?
False
Let u = -1475 + 7830. Is u a multiple of 73?
False
Let v(b) = 2*b**2 - 8*b - 9. Suppose 0 = 4*c + l - 25, 11 = -0*c + 2*c + l. Let t be v(c). Suppose 3*i - t = 213. Does 17 divide i?
False
Let h(k) = 23*k + 2. Let y be h(6). Suppose 2*g + 19 = 5*z, -136*z = -5*g - 139*z + 30. Suppose g*f = -4*f + y. Is 20 a factor of f?
True
Let s(r) = 2*r**3 - 19*r**2 + 24*r + 2. Let g be s(8). Let y(l) = 24*l**2 + 6*l - 7. Does 8 divide y(g)?
False
Suppose -3*d + 5*v = -88, -3*d - 4*v = -0*v - 124. Suppose 40*w - 38*w = d. Let h = -10 + w. Is h a multiple of 3?
False
Let g = -32080 - -41952. Does 4 divide g?
True
Suppose -3327 = 10*j - 7*j. Let i = j - -1713. Is 29 a factor of i?
False
Let v(k) = -6*k + 36. Suppose m = w + 3*m - 8, 11 = w + 5*m. Let a be v(w). Suppose a = 9*c + 951 - 2724. Is c a multiple of 46?
False
Let i(r) = 13*r + 435. Is i(13) a multiple of 11?
False
Suppose -2*a - o - 444 = -0*o, -2*a - 3*o = 448. Let n = 145 + a. Let k = 98 + n. Does 18 divide k?
False
Suppose -n + 3*n - 4 = 0, -3*n = -3*h - 372. Let k be (-1 + -1)/(2/(-221)). Let r = k + h. Does 33 divide r?
True
Suppose 16*s - 28*s = -36. Suppose -2*p + 975 = 5*v, -5*v + 1470 = -0*p + s*p. Is p a multiple of 11?
True
Does 8 divide (18/27)/(2/9156)*(3 - 1)?
True
Let z(q) = 26*q**2 - 2*q - 3. Let h = -185 - -181. Is z(h) a multiple of 45?
False
Suppose 4*j + 985 = s, 3*s - 4*j + 1358 = 4337. Does 51 divide s?
False
Let b be 10/(-4)*((-112)/(-20))/(-7). Let v be b + (-4 - 1) - -5. Suppose u - 189 = -5*l, 42 = l + v*u - 6*u. Does 18 divide l?
False
Let v be (-18)/(-30) - 13/5. Let b be v + (-3)/(3 + -6) + 75. Suppose -3*d - 3*g = -318, 5*d - 2*g - 597 = -b. Does 15 divide d?
True
Suppose -2*y + 6 = 0, -264 = -4*v + 2*y - 1526. Let a = v + 369. Is a even?
False
Let u(q) = q + 26. Let y be u(-14). Suppose 12180 = y*z + 17*z. Is z a multiple of 10?
True
Suppose -9*y = -26*y + 935. Let w be (-105)/10*(-14)/(-3). Let t = y + w. Is t even?
True
Suppose 0 = -5*x + 5*g + 95, 0 = x - 0*g + 4*g + 1. Suppose 10*w - x*w = -1055. Is w a multiple of 13?
False
Let z(y) = -y**2 - 56*y - 493. Is 10 a factor of z(-22)?
False
Let w be 27/72 - (-3412)/32. Let m = w + -63. Is 22 a factor of m?
True
Does 7 divide (2004/9)/(10/240)?
False
Let l(j) = -18*j - 56. Let d be l(0). Does 7 divide (d/6)/(20/30 + -1)?
True
Is (1056/(-77) + 0)/((-4)/574) a multiple of 16?
True
Let v(y) = -57*y + 2. Let o be v(-7). Suppose 5*i - o = 239. Suppose -5*h + 32 = -i. Does 9 divide h?
False
Let l(x) = 4*x**3 + 2*x**2 - 12*x + 5. Let m(r) = 9*r**3 + 3*r**2 - 25*r + 9. Let t(o) = -5*l(o) + 2*m(o). Is 13 a factor of t(-6)?
True
Let n = -59 - -118. Suppose 0 = k - 5*k - 3*v + n, -4*v - 29 = -k. Suppose 2*a + 3*s - 19 - k = 0, 2*a - 5*s = 68. Is a a multiple of 24?
True
Suppose -291 = -3*a + 3*t, 2*a + 3*t + 69 = 238. Suppose 0 = -129*m + 17496 + 9723. Let d = m - a. Does 13 divide d?
False
Suppose 9 - 1 = 8*d. Let o be d - (-14)/(-18) - 33376/(-63). Suppose 8*i + o = 2258. Is i a multiple of 24?
True
Let r = 3409 + -2056. Is r a multiple of 3?
True
Let o(q) = -5139*q - 3018. Is o(-5) a multiple of 47?
False
Let i(n) = 2*n**2 - 20*n + 29. Let t(v) = -v**2 + 1. Let u(y) = i(y) + t(y). Let w be u(17). Let z = -8 - w. Does 13 divide z?
True
Let o(c) = -c**3 - 14*c**2 - 14*c - 23. Let z(m) = -12*m**3 - 183*m**2 - 180*m - 300. Let i(y) = 27*o(y) - 2*z(y). Is i(-7) a multiple of 36?
False
Let s = 6308 + -3581. Is s even?
False
Let h(k) = -2*k - 23. Suppose -2*n - 2 = -5*q, 0 = q - 5*q + n + 1. Suppose -4*f + 9*f + 95 = q. Does 15 divide h(f)?
True
Let h(m) = -m**3 + 18*m**2 - 49*m + 210. Does 3 divide h(13)?
False
Let c = -112 - -104. Let x(h) be the first derivative of h**3/3 + h**2/2 - 12*h - 3. Does 22 divide x(c)?
True
Let r = 35 - 27. Let f = r - 2. Suppose -f = -2*k - 2*n + 30, -4*k = -n - 52. Does 14 divide k?
True
Suppose 0 = 3*w - 0*w - 2*w. Suppose -5*b - 21 = 5*o + 9, -4*o = w. Let c(l) = l**3 + 10*l**2 + 9*l - 12. Is c(b) a multiple of 13?
True
Let d(l) = -273*l + 1757. Does 46 divide d(-49)?
True
Let d = -245 + 236. Let m(v) = -v**2 - 19*v - 20. Does 14 divide m(d)?
True
Let r = 184 + 409. Suppose -3*b + 2*b = -5*g - r, -5*b - 2*g + 2884 = 0. Is 29 a