t j be a(2). Suppose -j*y = -9*y - 5*d + 25, 3*y - 5*d = 7. Is 4 a factor of y?
True
Let n = 109 - 57. Let g = 2 + n. Does 18 divide g?
True
Does 12 divide ((-6)/(-30) - 136/30)*-15?
False
Let t = -50 + 110. Is t a multiple of 30?
True
Let j = 2 - -4. Let n(o) be the first derivative of 3*o**2/2 + 7. Is n(j) a multiple of 9?
True
Suppose -5*z = c - 0*c - 41, 3*z = -9. Is c a multiple of 13?
False
Suppose -5*q - 50 = -7*q. Is q a multiple of 5?
True
Let m be 9/4 + (-1)/4. Let x = 4 - m. Suppose -x*h + 1 = -11. Is h a multiple of 3?
True
Let l be (-2)/6 + 23/(-3). Let j = 18 + -5. Let y = j + l. Does 5 divide y?
True
Let v(s) = -s**3 + 1. Let h(z) = 5*z**2 + 3*z + 6. Let n(t) = -h(t) + 3*v(t). Suppose -j + y = 1, 3*j - 4*y + 9*y + 19 = 0. Does 15 divide n(j)?
False
Suppose -3 = -z - 10. Let g = 7 - z. Does 4 divide g?
False
Let m = -15 - -23. Is 2 a factor of m?
True
Let t(j) = 5*j**2 - 3*j - 3. Let w(x) be the second derivative of x**4/12 - 7*x**3/6 + 7*x**2/2 + 2*x. Let f be w(5). Is 17 a factor of t(f)?
True
Does 7 divide 42/1*((-7)/(-3) + -2)?
True
Let j = 10 - 5. Suppose 35 = 4*w - j*h, -14 = -2*w - h - 7. Suppose 2*u = i + 47, -2*u + w*i - 19 + 86 = 0. Is u a multiple of 19?
False
Suppose -363 - 697 = -10*x. Does 8 divide x?
False
Suppose -5*c - 111 = -n + 42, -4 = -c. Let g be 2 + (-2)/(2/n). Is 14 a factor of 2/(-4) + g/(-6)?
True
Suppose 0 = 2*y - 0*y. Suppose y = 4*m + 44 - 152. Does 9 divide m?
True
Suppose 3*j - 540 = -3*y, -y - 22 = 4*j - 199. Is y a multiple of 23?
False
Suppose 5*o + 20 - 230 = -4*r, -2*r + 126 = 3*o. Is o/(0 - -3) + 0 a multiple of 7?
True
Let z(t) = t**3 + 7*t**2 + 4*t + 10. Is z(-6) a multiple of 5?
False
Is (108/(-42))/((-3)/14) a multiple of 9?
False
Let x = 48 + -15. Suppose d - x = -11. Is d a multiple of 11?
True
Suppose -218 = -5*c - 4*f + 19, -150 = -3*c - 5*f. Does 16 divide c?
False
Suppose -2*m + 3*v + 25 = -m, -2*v = m - 50. Suppose -7*r - m = -9*r. Is 10 a factor of r?
True
Suppose 5*z + 111 = -129. Suppose 44 = -3*d - 34. Let x = d - z. Does 11 divide x?
True
Suppose -7*q = 4*q - 1496. Is 8 a factor of q?
True
Let d(n) = n + 1. Let f be d(3). Suppose 0*m = f*m - 256. Does 12 divide m?
False
Let i(u) = 3*u**2 + 2*u - 4. Let x be 3/(-2)*(-16)/6. Is i(x) a multiple of 13?
True
Let a(w) = w**2 + w - 29. Is 18 a factor of a(-21)?
False
Let k(y) be the first derivative of 2*y**3/3 + 3*y**2 - 4*y + 1. Let x be k(-6). Suppose -8 - x = -v. Is 19 a factor of v?
False
Let w(b) = b - 1. Let t be w(1). Suppose -g = 3*a - 31 - 43, 2*a - 3*g - 64 = t. Is 26 a factor of a?
True
Let d(z) = -5*z + 10. Let i be d(7). Is 5 a factor of (-20)/(-25)*i/(-2)?
True
Let k = -30 + 46. Let v = k - 9. Does 2 divide v?
False
Let c be (-5)/20 - 74/(-8). Let k be 2 - (-15)/(-5) - -3. Suppose -5*o = -k*o - c. Is o a multiple of 3?
True
Suppose -4*m + 880 = m. Suppose 0 = -0*s + 4*s - m. Let u = s + -25. Is u a multiple of 12?
False
Let l = -9 - -17. Let v = 15 - l. Is v a multiple of 5?
False
Suppose n = 5*n - 5*v - 100, -5*n + 3*v = -138. Let x = 12 + n. Is 13 a factor of x?
False
Let a = -407 - -191. Let o = a - -120. Let g = -56 - o. Does 16 divide g?
False
Let b = -131 - -207. Suppose -b - 36 = -2*n. Is 11 a factor of (3/2)/(4/n)?
False
Suppose -n + 2*n = 3*m - 12, -3*n - 12 = 3*m. Is (-15)/n - (-2)/(-4) even?
True
Suppose -20 = 5*o, -90 = -2*f + 5*o - o. Suppose -48 = -4*p - 3*j, -j = 5*p - 3*j - f. Is 3 a factor of p?
True
Suppose 4*h = f - 12, -1 = 2*h - 11. Is f a multiple of 8?
True
Is 9 a factor of (-4)/(-7) + (-2040)/(-56)?
False
Suppose 5*q = x + 522, 3*q - 293 = -3*x + 31. Is q a multiple of 21?
True
Let n(a) = -29*a - 3. Is n(-1) a multiple of 3?
False
Suppose -2*m - 4*w = -5*m + 11, -2*m - 16 = 2*w. Let q(d) = -2*d**3 - 3*d**2 + 3*d - 2. Is 8 a factor of q(m)?
True
Let c = 10 - -29. Is c a multiple of 19?
False
Let b = 8 + -11. Is ((-7)/3)/(b/9) even?
False
Let o be 1/(2*(-2)/(-36)). Suppose 3*b - o = -3*h, -2*h + 14 = -b - b. Suppose 23 = 2*f - h. Does 7 divide f?
True
Let n(x) = x**3 + 4*x**2 - 2*x - 2. Let o be n(2). Let h = 81 - o. Is h + 1 + 1*-2 a multiple of 21?
False
Suppose -90 = -5*r + 10. Is r a multiple of 3?
False
Suppose -6 = -5*i + a + 14, -2*i - 2*a + 8 = 0. Suppose 4*j - 7 = p - 2*p, i*j = -8. Is p a multiple of 5?
True
Let z be 0 + 65/7 + (-18)/63. Let c be 1/(-4) + (-119)/4. Does 14 divide (24/(-5))/(z/c)?
False
Suppose -3*l - l - 176 = 0. Let m = -17 - l. Is m a multiple of 9?
True
Let b(o) = o**2 - 5*o + 2. Let k(l) = l. Suppose 4*p = -t - 19, -2*p = 4*t - 3*p - 9. Let a(u) = t*b(u) + 6*k(u). Is a(-2) even?
True
Suppose 68 = 5*f - 67. Is 27 a factor of f?
True
Suppose 4*a - 1 = 19. Suppose 2*l = -a*m + 51, l + m = -0*l + 21. Is l a multiple of 6?
True
Let o = -133 - -149. Is o a multiple of 16?
True
Suppose w + 4*l - 7 = 1, 5*l - 4 = -w. Suppose -n - 4*n + w = 4*x, 4*n = -3*x + 18. Let j = 23 - x. Is j a multiple of 17?
True
Suppose 17*j - 3*j - 546 = 0. Is j a multiple of 18?
False
Let i(v) = 10*v - 8. Let f be i(7). Suppose 2*a = f - 22. Is a a multiple of 4?
True
Suppose 3*d = -4*y + 375, y = d + 90 + 9. Suppose -y = -0*k - 4*k. Is k a multiple of 8?
True
Let d be 30/((-3)/((-3)/1)). Is (-22)/((d/21)/(-5)) a multiple of 13?
False
Let x(i) = -19*i + 2. Does 7 divide x(-1)?
True
Suppose -o - 3*y - 15 = -4*o, -o + 9 = -5*y. Suppose 0 = 5*g + 5*k - 195, -5*k = -1 - o. Is g a multiple of 15?
False
Let i = -8 - -11. Suppose -19 = m - 4*n + n, 0 = 3*m + i*n + 93. Is m*(1 + -4)/6 a multiple of 5?
False
Let m be 1*(1 + 1 - 2). Suppose 0 = 2*n - 6, -3*n = -2*c - m*c + 91. Is c a multiple of 14?
False
Let b(l) be the first derivative of l**3/3 - 3*l**2/2 + 5*l + 1. Let y(f) = f**3 - 3*f**2 + 2*f - 1. Let p be y(3). Is b(p) a multiple of 15?
True
Let k = 6 - -1. Let d(r) = r**2 - 3*r - 1. Let t be d(k). Let s = 63 - t. Is s a multiple of 12?
True
Let v(b) be the third derivative of -b**7/2520 + b**6/90 + 7*b**5/120 + b**4/24 - b**2. Let d(y) be the second derivative of v(y). Is d(5) a multiple of 11?
True
Suppose 2*d + 3*g + 10 = 0, 4 = 4*g - 2*g. Let r = d + 35. Is r a multiple of 9?
True
Does 3 divide (3 - (5 + -2)) + 18?
True
Suppose 3*r - 5*u - 9 = 0, 1 + 5 = 2*r + u. Suppose -255 = r*g - 8*g. Is 17 a factor of g?
True
Let g(y) = y**3 - 21*y**2 - 47*y + 38. Is g(23) even?
False
Suppose -6*y + 2*y = -320. Is 23 a factor of y?
False
Let l = -4 + 6. Does 8 divide ((-20)/(-6))/(l/15)?
False
Let m = 18 - -46. Let t = -8 + -23. Let z = m + t. Is z a multiple of 11?
True
Does 15 divide (-1 + 0)/(12/(-1008))?
False
Suppose 0*i - 384 = -3*i. Is i a multiple of 16?
True
Let i = 229 + -147. Let t = -40 + i. Is 11 a factor of t?
False
Let k be (1 + -7)/(9/(-24)). Let f = k - 11. Is f a multiple of 5?
True
Let i = -9 + 13. Let w be (-771)/(-9) - 2/3. Suppose -2*z + 34 = -i*n, z + 4*z - w = -4*n. Is 11 a factor of z?
False
Let k(h) = -h**2 + 8 + 8*h + 2*h**2 + 0*h**2. Let x be k(-8). Suppose -x - 10 = -2*o. Does 9 divide o?
True
Let y = 10 + -30. Let r = y + 42. Is r a multiple of 11?
True
Suppose 2*v - 7 + 3 = 0. Suppose -64 = 3*g + 4*j - 156, -v*g + 46 = -5*j. Is ((-1)/(-2))/(1/g) a multiple of 14?
True
Suppose d - 4 = 3. Let n(m) = m + 6. Let z(r) = 2. Let w(q) = 4*n(q) - 14*z(q). Is w(d) a multiple of 12?
True
Let v(y) = y + 1. Let k = -7 + 1. Let g be v(k). Let i(r) = -r + 4. Is i(g) a multiple of 5?
False
Let b(j) = j**2 - 7*j - 49. Is b(23) a multiple of 27?
False
Suppose 16*o - 19*o + 45 = 0. Does 15 divide o?
True
Let h(k) = -k**2 - 13*k + 22. Is 12 a factor of h(-11)?
False
Let v(x) = -x**3 - 2*x**2 - 4*x - 2. Is v(-2) a multiple of 6?
True
Let y(d) = d**2 + 1. Let r be y(2). Suppose 0 = f + r - 6. Does 13 divide 2/f + -2 + 13?
True
Suppose 0 = 3*h - 5*w - 380, -8*h + w = -11*h + 356. Is 30 a factor of h?
True
Suppose 4*u + 18 = 2*c, 4*u - u = 0. Is 2 a factor of c?
False
Suppose -8*n + 52 = -4*n. Let d(c) = 2*c**2 - 6*c + 5. Let u be d(6). Let h = u - n. Does 12 divide h?
False
Suppose 225 - 10 = 5*l. Is l a multiple of 9?
False
Let h = -4 + 9. Let y(w) = 4*w + 2. Let u be y(h). Suppose -4*a + u = -2*a. Does 4 divide a?
False
Is 9 a factor of 35 - ((-12)/(-4) - 0)?
False
Let w(a) = a**3 + 4*a**2 - a. Let y be w(-4). Is -26*(-1 + y/8) a multiple of 5?
False
Let k be (-2 - -3) + 1 + 0. Suppose 5*f = -