e 12/d*(-44)/6?
True
Is 19 a factor of -3 + 2 + -3 + 92?
False
Let f = 41 + -14. Let v = -15 + f. Is v a multiple of 6?
True
Let l = -19 + 51. Suppose 2*y = 5*q - 1 - 1, 28 = 5*y + 4*q. Suppose -4*p + l = -y. Is 9 a factor of p?
True
Suppose -25*a + 77 = -24*a. Does 12 divide a?
False
Let m = -1 - -4. Suppose -m*q = 16 - 61. Is q a multiple of 9?
False
Suppose 15*f = 14*f + 163. Does 29 divide f?
False
Suppose -5*k + 4*s + 538 = 0, 0 = -k - k - 3*s + 229. Suppose 10 + k = 4*c. Is 15 a factor of c?
True
Suppose -9*l + 144 = -7*l. Does 9 divide l?
True
Let d = -100 - -225. Let c = -175 - -86. Let g = d + c. Is 18 a factor of g?
True
Is 13 a factor of 3*(-1)/6*-142?
False
Suppose 0 = -6*c + 609 - 9. Is 19 a factor of c?
False
Let l(m) = 4*m**3 + m**2 - 2. Is 5 a factor of l(2)?
False
Let b(i) = -2*i**3 - i**2. Let k be b(-1). Let t be 65 + 0/(-3*k). Suppose 2*u = 7*u - t. Is u a multiple of 13?
True
Suppose 6 = 5*u + 26. Is (-56)/20*10/u a multiple of 2?
False
Suppose -3*x - x + 276 = 0. Is 23 a factor of x?
True
Let a = 3 - 20. Let h = a + 30. Is 4 a factor of h?
False
Does 24 divide (-4 + 12)*(6 + 3)?
True
Let d = -358 + 510. Does 19 divide d?
True
Does 9 divide ((-3)/(-5))/((-23)/(-2070))?
True
Suppose 5*j = 75 - 25. Is j a multiple of 10?
True
Let v(p) = -56*p + 1. Suppose -2*g - 3*c = 17, 4*c + 15 = 4*g - 1. Is v(g) a multiple of 25?
False
Suppose -4*q - 5*p + 365 = 0, -126 + 406 = 3*q + 5*p. Suppose -y - 4*y = -q. Does 11 divide y?
False
Does 17 divide (-3)/2*32/48*-395?
False
Suppose -82 = -d + s + 236, -3*s = 5*d - 1622. Is d a multiple of 23?
True
Let n(o) = -o**3 + 4*o**2 - 2*o - 3. Let x be n(3). Let q(w) = 6*w**2 + w + 1 + x*w**2 - 2*w**2. Does 4 divide q(-1)?
True
Suppose -5*i + 954 = 4*p, 2*p - i = p + 234. Is 11 a factor of p?
False
Let k(u) = -7*u**2 + 2*u**2 + 2*u + 0*u - 1 + 0*u. Let h be k(3). Let o = -28 - h. Does 6 divide o?
True
Suppose 0 = -3*y + 13 + 8. Let z(u) = 6*u - 2. Is z(y) a multiple of 27?
False
Let y(u) = u**3 + 8*u**2 - 12*u + 3. Suppose 4*d - 2*d = -4*r - 52, 4*d + 5*r + 92 = 0. Let b = d + 9. Does 9 divide y(b)?
False
Is 19 a factor of (-2 - -1)*(-304)/4?
True
Is 7 a factor of (4 + 104/(-8))*76/(-6)?
False
Let b(h) = -h**3 + 7*h**2 - 4*h - 5. Let n be b(4). Suppose o - 5*o + 69 = r, 2*o - n = r. Is o a multiple of 5?
False
Suppose 0 = c + 2*c - 51. Does 13 divide c?
False
Let x be 1/(-2) - 18/12. Does 3 divide 4/6*(-18)/x?
True
Suppose s = -s + 92. Is s a multiple of 23?
True
Let f(k) = k**2 - k - 3. Let v be f(0). Let p be (v + 4)/(2/4). Suppose 2*s - 6*i - 74 = -p*i, -2*i - 10 = 0. Is s a multiple of 12?
False
Let u = -34 + 62. Let q be (-1)/3 + 40/3. Let o = u - q. Does 15 divide o?
True
Let n be 6/2 + -153 + 1. Let f = n - -209. Is f a multiple of 20?
True
Suppose -5 = -d + n, 2*d + n - 9 = 4*n. Suppose 2*k + 5 = k + u, -4*k - 3*u - d = 0. Let s = k - -9. Does 4 divide s?
False
Suppose -y = -5*y + 8. Suppose 5*r - 130 = -y*i, -2*i + 74 + 88 = -3*r. Does 15 divide i?
True
Let v(q) be the second derivative of q**3/6 + q**2/2 + q. Let t be v(0). Is 7 a factor of -2 + (13/t - -1)?
False
Let v be -1*(3 - 6) - 2. Let y be (-3)/(-9)*v*9. Suppose -4*o + 15 = 5*t - 3*o, -15 = -5*t - y*o. Is t a multiple of 3?
True
Let f(v) = 6*v**2 - v + 2. Is f(2) a multiple of 24?
True
Suppose -c = a + 2*a - 124, -600 = -5*c + 5*a. Is c a multiple of 15?
False
Let j(w) = -w**2 - 2*w**2 - 12 + 2*w**2 - 9*w. Let m be j(-8). Is 0 - 6*18/m a multiple of 17?
False
Let h(d) = -d**2 - 5*d + 4. Let g be h(-5). Suppose 0*y - 4*y + 48 = 2*w, -g*w = 0. Is y a multiple of 10?
False
Suppose 4*i = -2*j + 66, 2*i + 225 = 5*j - 3*i. Is 10 a factor of j?
False
Suppose -3*m = 5*q - 385, m = 2*m - 4*q - 100. Is 20 a factor of m?
True
Let y(m) = m**2 - 21*m + 88. Does 8 divide y(21)?
True
Let m(p) be the second derivative of p**3/3 + 3*p**2/2 - 6*p. Is m(8) a multiple of 19?
True
Suppose -4*g = -5*x - 0*x - 2, 17 = 4*x + 3*g. Does 6 divide x/(2/(-2)) - -30?
False
Let m = 7 - 3. Suppose -m*z + 66 = 2. Is z a multiple of 8?
True
Suppose -3*o + 173 = 53. Is 16 a factor of o?
False
Let q(r) = r**3 - 9*r**2 + 9. Does 4 divide q(9)?
False
Is 50 a factor of -1*(-2)/4*2000/10?
True
Let a(h) = 7*h + 3. Let b be a(-6). Let n = -64 - b. Let z = n - -44. Does 9 divide z?
False
Suppose i = -i + 4. Is 3 + -2 + 18 + i a multiple of 7?
True
Let j(p) = -24*p**3 + 2*p**2 + 2*p + 3. Is 29 a factor of j(-2)?
False
Let f = -54 - -38. Let k be f/12*6/(-2). Suppose k*y = -0*y + 40. Is y a multiple of 10?
True
Let h(z) = -18*z + 7. Let q be h(5). Let v = -53 - q. Is 10 a factor of v?
True
Let u(y) = -4*y + 3. Let s(k) = -3*k + 3. Let g(d) = 4*s(d) - 5*u(d). Is g(6) a multiple of 18?
False
Suppose 420 = 4*p - z, -2*p - z + 59 + 145 = 0. Does 13 divide p?
True
Suppose 96 = 4*t - 0*t. Suppose 0*y = y - t. Suppose -y = 3*p - 4*p. Is p a multiple of 12?
True
Suppose 11*j - 13*j + 24 = 0. Does 4 divide j?
True
Suppose 4*f = 3*z - 4*z + 81, 5*z - 421 = -4*f. Does 11 divide z?
False
Suppose -29 = -5*g + 4*p, p = -0*g + 2*g - 11. Is 2 a factor of g?
False
Is 16 - (0 - (0 - 0)) a multiple of 5?
False
Suppose 28 = 13*x - 63. Is 3 a factor of x?
False
Suppose 0*x + 51 = -3*x. Is -1*2*(x + 1) a multiple of 8?
True
Suppose 335 = -5*m - 5*d, 2*d + 0 - 2 = 0. Let c = -48 - m. Is c a multiple of 9?
False
Let u = -12 + 17. Suppose -u*j + 70 = -0*j. Is 14 a factor of j?
True
Let k(t) = 3*t**2 - 3 - 2 + 2*t**3 - 3*t**3. Let i be k(4). Let l = i - -41. Does 10 divide l?
True
Let k(f) = -f**3 + 7*f**2 - 7*f + 6. Let y be k(6). Suppose 0 = l - 5*i - 16, y = 4*l - i - 63 - 58. Is l a multiple of 13?
False
Let a = -1 + 16. Is 384/15 + 6/a a multiple of 10?
False
Let d(o) = o**3 - o**2 + 2*o + 133. Is 19 a factor of d(0)?
True
Let q(h) = -h**2 - h**3 + 6*h**3 - 1 - 4*h - 4*h**3. Is 5 a factor of q(3)?
True
Let t(o) = 8*o**2 + 3*o + 3. Is 11 a factor of t(4)?
True
Let v(m) be the second derivative of m**5/20 + m**4/3 - 2*m**3/3 - m**2 + 7*m. Is v(-4) a multiple of 11?
False
Suppose g = 3*n - 59, n + 0*g - 4*g - 5 = 0. Suppose 4*s + n = 7*s. Is s a multiple of 2?
False
Suppose -277 = -3*m + 317. Is m a multiple of 10?
False
Let m be (-14)/77 + (-1036)/(-11). Let z = m + -66. Does 14 divide z?
True
Let s = 79 - 19. Is s a multiple of 20?
True
Let q be (-9)/6*-2 - 3. Suppose -10 = -5*o - q. Suppose 4*f - 5*f - 29 = -o*s, 3*s + 5*f - 11 = 0. Is s a multiple of 6?
True
Let o be (0 + 87/6)*-2. Suppose -3*v - 34 = -v. Let z = v - o. Does 12 divide z?
True
Let y(z) = -6*z + 3. Is y(-13) a multiple of 12?
False
Let d be 6/(-4)*20/15. Let x be 3*d/(-6) + 4. Suppose 0 = 3*c - 2*c + 1, x*g = -3*c + 67. Does 9 divide g?
False
Suppose 9*p - 3*y = 4*p + 418, 4*p + 2*y - 352 = 0. Let k = p + -49. Is 11 a factor of k?
False
Let y(w) be the third derivative of 7*w**4/24 + 5*w**2. Let i(o) = o + 7. Let u be i(-6). Is 5 a factor of y(u)?
False
Suppose 0 = b + 8 - 2. Let c(i) = -2*i - 6. Let f be c(b). Let y(s) = s**2 - 3*s - 4. Does 7 divide y(f)?
True
Let l(x) = -3*x**2 + 4*x + 5. Let u(h) = 10*h**2 - 13*h - 16. Let i(z) = 7*l(z) + 2*u(z). Let j be i(3). Is 2 a factor of j - (0 + 9/(-3))?
False
Let p(t) = -4*t**3 + 2*t**2 + 2*t + 1. Let b(v) = v**3 + 3*v**2 + 2*v - 1. Let a be b(-2). Let d be p(a). Suppose -120 = m - d*m. Is 15 a factor of m?
True
Let a be (-16)/(-1) - (2 + -1). Let r = a - 2. Is r a multiple of 4?
False
Suppose 5*b - 3*x = 407 + 163, 4*x = -b + 91. Does 15 divide b?
False
Let u = 208 - 103. Let m = u + -55. Is 25 a factor of m?
True
Is 5 + (3 + 148 - 0) a multiple of 26?
True
Is (-60)/(8/(-4))*1 a multiple of 21?
False
Suppose 0 = 2*k + 8, 7*x + 5*k = 3*x - 12. Suppose 0 = -4*a + 3*q + 74, a - x*q = -5*q + 26. Is a a multiple of 10?
True
Suppose 6 = 3*s - 3. Suppose 56 = -2*h + s*h. Is 28 a factor of h?
True
Let x = 464 - 734. Is 7 a factor of 2/4 + x/(-12)?
False
Let k = 251 + -171. Is k a multiple of 16?
True
Suppose -11 = n - 5*d - 0*d, 2*d - 2 = 0. Let z be (1 + -4)/((-3)/n). Is 2 a factor of -6*1/z*4?
True
Let r(z) = 2*z**2 + 7*z + 4. Let o be r(-4). Let v(s) = s**2 + 2*s - 3. Let a be v(-5). Suppose 4*n - 5*u = 105, -o = -2*n - 4*u + a. Does 10 divide n?
True
Suppose z = -3*z - 12. Is 15 a factor of 3/(-9) - 91/z?
True
Let o(h) = 35*h. Let f be o(5). Suppose -590 + f = -5*w. Suppose -236 =