Is 85 a factor of v(0)?
False
Let y(p) = -46*p - 63. Is y(-5) a multiple of 3?
False
Suppose -3*t - 3*y - 3 = 0, t + 0*y + 2*y - 4 = 0. Does 31 divide 248*(3/t)/(-1)?
True
Let j(s) = -3*s**3 - s**2 - s. Let h be j(-1). Suppose h*a = 2*u - 36, u - 3*a = -2*u + 57. Is 3 a factor of u?
True
Suppose -163*o + 171*o = 7296. Does 12 divide o?
True
Let x(n) = -35*n**2 + 2*n - 4. Let y be x(2). Let a = 249 + y. Is a a multiple of 22?
False
Suppose -196 = -5*d + 4*r, -3*d + d = r - 68. Suppose -5*l = 5*q + 50, -2*l - d = l - 3*q. Is 3 a factor of l/((0 - -1) + -2)?
False
Is 26 a factor of 1/(22/(-4)) + (-88596)/(-132)?
False
Let x(n) = -n**3 + 12*n**2 - 13*n + 25. Let p be x(11). Suppose 2*q + q = -3*d + 621, q - p*d - 207 = 0. Does 23 divide q?
True
Suppose 9 = -8*s + 7*s. Let p = s + 22. Suppose 0 = 3*b + 3, -3*c - 3*b = 2*b - p. Does 3 divide c?
True
Let u be (21/6 - 3)/((-1)/(-112)). Let q = 19 + u. Is q a multiple of 13?
False
Let r be 2 + 2 - (1 - -1). Suppose -r*l - 3*m = -18, -l + 5*m + 56 = 21. Is 11 a factor of l?
False
Let u = -373 + 719. Does 3 divide u?
False
Suppose -m = -x - 3*x - 214, -4*m + 845 = -5*x. Suppose -m = -5*s + 130. Does 26 divide (s/8)/((-2)/(-8))?
False
Let g(s) = 3*s - 1. Let d = 62 + -51. Does 32 divide g(d)?
True
Let k be (-2)/(-4)*(-520)/(-10). Let o be k/7 - (-6)/21. Suppose -j + 36 = -5*v + v, -249 = -o*j - 5*v. Does 16 divide j?
False
Suppose -4*i = 16, 2*z - 5*z + 1168 = -4*i. Is z a multiple of 48?
True
Suppose -1575 = 32*d - 41*d. Is d a multiple of 52?
False
Let y(w) = w**3 + 8*w**2 + 16*w + 2. Let x(a) = a**2 + a + 1. Let h(t) = -6*x(t) + y(t). Is h(4) a multiple of 33?
True
Suppose 0 = -0*u - 2*u + 74. Suppose u = 2*z + 5*m - 4, -5*m + 15 = 0. Is 5 a factor of z?
False
Suppose -8*w + 1613 = -2027. Does 10 divide w?
False
Let d(k) = -14*k - 29. Suppose 9 - 2 = -s. Is 24 a factor of d(s)?
False
Let q(z) = 27*z - 2 - 40*z + 6. Does 39 divide q(-8)?
False
Let f = -241 - -336. Is f a multiple of 15?
False
Suppose o = -3*o - 32. Let k be (9 + o)/(1/(-4)). Is 5 a factor of (42/k)/(30/(-40))?
False
Let u be (12/8 - (-9)/(-6))/1. Let p be (2*-15)/(3/(-9)). Suppose -g - g + p = u. Does 11 divide g?
False
Suppose 4*z - 21 = 4*i - i, -9 = 3*i. Suppose -z*p + 109 = -68. Is 21 a factor of p?
False
Let l(b) = b - 9. Let d be l(7). Let c be (-54 - (2 - 6)) + d. Let k = c - -104. Does 26 divide k?
True
Let y be (-1 - -1)/(4/2). Suppose 3*n - 4*n = y. Suppose n*r + 244 = 4*r. Is r a multiple of 19?
False
Let y(v) = -11*v**2 - 4*v + 3. Let s be y(-4). Let l = -67 - s. Does 10 divide l?
True
Let f(c) = 33*c + 1. Let u be f(3). Does 20 divide -20*(u/(-12) - (-1)/3)?
True
Suppose 5*u - 996 = -2*q, -3*u - q + 588 = -3*q. Is 2 a factor of u?
True
Is (-39 + -14)/((-2)/16) a multiple of 45?
False
Let u(l) = 2*l - 3*l - 10 + 31. Does 4 divide u(17)?
True
Suppose 5*a + 3*i - 596 = 0, 1 + 14 = -5*i. Is 38 a factor of a?
False
Let m(x) = -5*x - 2. Let u be m(2). Suppose 19*q = -317 - 120. Let z = u - q. Does 5 divide z?
False
Let p = 131 - -83. Suppose -p = -17*c + 942. Does 4 divide c?
True
Is (-324)/(-9) + -2 + -8 a multiple of 3?
False
Let o = 960 - 447. Is 5 a factor of o?
False
Suppose 6*r = 2*r + 16, 4*z = r + 116. Let i = 1 + z. Is i a multiple of 3?
False
Suppose -3*i + 5013 = 3*a, 1686 = a - 15*i + 11*i. Is a a multiple of 54?
True
Let n(o) = o - 6. Let j be n(8). Suppose -5*h - 5 = 0, -j*c + 4*h + 147 = h. Is c a multiple of 18?
True
Let f be (-2)/(-3*(-4)/(-54)). Suppose -f*w = -8*w - 50. Is (60/w)/((-3)/(-40)) a multiple of 2?
True
Let h = -24 + 25. Is (-95)/(-1*h/1) a multiple of 11?
False
Let n(c) be the second derivative of -c**4/12 + c**3/3 + 55*c**2/2 - 4*c. Does 11 divide n(0)?
True
Suppose u = -3*u + 20, u = 4*t - 2487. Is 10 a factor of t?
False
Let n be (8/(-3))/(3/(-18)). Suppose z - 16 = n. Is 10 a factor of z?
False
Let r be ((-4)/(-6))/(5/(-600)). Let w = r + 172. Does 33 divide w?
False
Suppose 42*h = 29*h + 12545. Does 38 divide h?
False
Suppose 0 = -2*s + 4*g - 4, 0 = 2*s - 5*g + 6. Suppose -t - 2 = -p + 2, -t = -s*p + 8. Is 3 a factor of p?
False
Let m(t) = 4*t**2 - 2*t + 2. Let i be m(1). Suppose 64 = -i*n + 352. Is 11 a factor of n?
False
Let u be 5 + ((-10)/(-5) - -402). Suppose -a + 2*c = -129 - 53, -5*c + u = 2*a. Is a a multiple of 24?
True
Suppose p + 13 = 9. Is 20 a factor of (7 + 419 + -6)/((-6)/p)?
True
Let y(b) be the third derivative of -b**4/24 + 17*b**3/6 - 5*b**2. Let g be y(17). Suppose 5*v - 339 = -4*t - 143, g = -2*t + 8. Does 9 divide v?
True
Let p = -24 - -36. Let l be (-2 - 1)*2/(-3). Suppose -l*h = -p - 6. Is 3 a factor of h?
True
Let b = 1400 - 1307. Does 8 divide b?
False
Let v be (-6)/(-2) + (7 - 6). Suppose v*h = -1 + 5, 4*h = -2*d + 220. Suppose 12 = 2*a - d. Is 30 a factor of a?
True
Let f = -1261 - -2003. Is f a multiple of 14?
True
Suppose -96000 + 35238 = -26*a. Is a a multiple of 17?
False
Let m = 11 - 8. Suppose 2*x = -5*s - 4, 5*x - x + 8 = -m*s. Does 16 divide 16 + ((-8)/x - 3)?
False
Suppose 0 = 3*l - 2*f - 40, 30 = 2*l + 2*l + 2*f. Suppose 0 = -p + l*p - 117. Is p a multiple of 7?
False
Let k = 868 + -547. Is k a multiple of 12?
False
Suppose 21 + 14 = 5*t. Suppose 5*r = t*r - 28. Let d = r + 5. Is 9 a factor of d?
False
Let p = -520 - 809. Is 8 a factor of 8/(-28) + p/(-21)?
False
Suppose 2*l - 7 = 7. Let y(s) = 2*s**2 - 4 + l*s + 0*s**2 + 0*s**2 - s**2. Is 7 a factor of y(-9)?
True
Let i(n) = n**3 + 11*n**2 + 10*n - 2. Let c be i(-10). Is c/9 - (-1370)/90 a multiple of 15?
True
Let p = 44 - 40. Let h(a) = 2*a**2 - 8*a + 4. Let g be h(p). Suppose 3*o = g*u - 65, 4*o = 3*o - 3. Is 7 a factor of u?
True
Suppose -126 - 12 = -2*b. Suppose -u - 5*q = -10, 3*u = 8*u - 2*q - 77. Suppose -s - u = -b. Is s a multiple of 12?
False
Let z(w) = -2. Let n(j) = -j + 1. Let a(q) = -3*n(q) - 2*z(q). Let d(x) = 9*x + 3. Let c(i) = 14*a(i) - 4*d(i). Is 11 a factor of c(5)?
False
Let p be (2/(-6))/((-4)/(-156)). Let x(g) = g**2 + 12*g - 15. Let i be x(p). Is 15 a factor of (i/(-4))/(2/180)?
True
Let l(x) = -x**2 + 2. Let h be l(0). Suppose -28 = -h*g + 14. Let j = 6 + g. Is 9 a factor of j?
True
Let l = 139 - -51. Is 19 a factor of l?
True
Suppose 202*f - 2044 = 195*f. Does 16 divide f?
False
Suppose 3*w = 8*w - 60. Suppose -w*m + 9*m + 6 = 0. Suppose -4*b = -5*b - 4*r + 21, m*b - 5*r - 68 = 0. Is 7 a factor of b?
False
Is 10 a factor of (-15)/((-45)/654) - 8?
True
Suppose 5*t - 59 = -z + 3*z, 0 = 4*z - 12. Let c = t + 3. Does 4 divide c?
True
Let u = -149 + 597. Is 28 a factor of u?
True
Let r = 8 + -3. Let q be (-1)/(4/(-4))*r. Suppose 130 = 2*n + q*f, 3*n - 66 - 129 = -5*f. Is n a multiple of 13?
True
Let x = -494 - -698. Suppose -x = 3*r + r. Let u = r + 110. Is u a multiple of 13?
False
Let t = -15 - -19. Suppose -t*h - 9 = -7*h. Suppose -i = h*i - 84. Is i a multiple of 12?
False
Let w be 21/(-6)*(-8)/(-14). Is -3 + ((-1830)/20)/(3/w) a multiple of 10?
False
Let v(r) = -4 - r**2 - 3*r + 0*r**2 - 12 + 19*r. Is 16 a factor of v(12)?
True
Let v(c) = 63*c + 604. Is 58 a factor of v(30)?
True
Let f = 14 + -20. Let c(a) = -a**2 - a + 3*a + 4 - 2*a**2 - a**3 - 2*a**2. Does 14 divide c(f)?
True
Let u be (-56)/(-42)*18/4. Let b = u - 6. Suppose 4*j = 2*m + 3*m - 168, b = 4*m + 5*j - 118. Does 8 divide m?
True
Suppose 4*q + 64 - 52 = 0. Let c(r) = -r**3 - r**2 + 4*r + 6. Is 2 a factor of c(q)?
True
Does 23 divide 8*(6 - 1450/(-40))?
False
Suppose -1549*v = -1550*v + 819. Does 21 divide v?
True
Let c be (-1)/(16/20)*-4. Suppose 4*y - 5*n = 108, y + c*n - 5 = -3. Is 10 a factor of (0/4 - -1)*y?
False
Let z = 8 - 8. Let s be (36/8 + z)*6. Suppose -r + s = -5*f, 4*f + 5 = -11. Is 7 a factor of r?
True
Let j = 10 - 6. Suppose -z + 61 = 4*f, 2*f = -j*z + 23 - 3. Is 3 a factor of f?
False
Let v(z) = -17*z - 27. Let x be v(-8). Suppose -3*g - x = -5*p, 3*p - 4*g - 63 = -g. Is p even?
False
Let l(n) = n**3 - 14*n**2 - 15*n - 5. Let s be l(15). Let m(y) = -5*y - 1. Is 24 a factor of m(s)?
True
Suppose -193 = 4*k - 2241. Suppose -7*i = -3*i - k. Is 32 a factor of i?
True
Suppose 34*l - 3660 = 4*l. Does 33 divide l?
False
Let p = -26 + 23. Let y = 3 + 26. Let w = p + y. Is 13 a factor of w?
True
Let v be 1 - 0 - 110/11. Let w(o) = 5*o - 3. Let g(x) = -21*x + 12. Let r(h) = v*w(h) - 2*g(h). Does 12 divide 