tiple of 7?
False
Let l(j) = 6*j**2 - 1. Let x be l(1). Suppose -x = -q + 4. Does 4 divide q?
False
Suppose 0 = -2*s + 15 + 9. Let f = s + 0. Is f a multiple of 6?
True
Let m = -295 + 171. Is 7 a factor of m/(-10) + (-2)/5?
False
Let o(p) = -p + 50. Is o(17) a multiple of 33?
True
Suppose 3*n - 3*d + 11 = -2*d, -n + 5*d = 27. Does 14 divide (11 - n) + 3 - 2?
True
Suppose 19 = -z - 4*q, 0*z + 5*q = 4*z - 29. Is z - 1/((-1)/6) a multiple of 2?
False
Let n be (-54)/(2 + 0) - 0. Let o = -5 - n. Does 11 divide o?
True
Let g(q) = 4*q - 2. Does 2 divide g(4)?
True
Suppose a + 7 = -3*o, 5*a - 2*o = o + 19. Suppose -a*r = -r - 21. Is r a multiple of 11?
False
Let n(w) = 2*w**3 - w**2 - w + 2. Let t be n(-2). Does 15 divide (1 - t - 2) + 0?
True
Let k(s) = s**2 - 2*s. Let u be k(3). Let v(l) = 2 - 4 - 4*l + 2*l**2 + 1. Is v(u) a multiple of 5?
True
Let c(b) be the second derivative of -b**5/20 - b**4 + b**3/3 - 3*b**2/2 - 2*b. Let a be c(-12). Is 19 a factor of (-2 + 0)/2*a?
False
Let v be -3 - ((-3)/(-1))/(-1). Suppose -3*t + n + 67 - 1 = v, 15 = t + 2*n. Is 9 a factor of t?
False
Suppose -2 = -2*q + 4*q. Let f(l) = -55*l. Let o be f(q). Is 4 a factor of (o/(-15))/(2/(-6))?
False
Let w be (-186)/((-3)/(-6)*-3). Suppose w - 49 = 5*q. Is 9 a factor of (130/q)/(2/6)?
False
Let w(o) = 2*o**3 - 2*o**2 - 2*o + 1. Let a be w(2). Suppose a*l - 23 = 4*l. Does 10 divide l?
False
Let f = 17 - -3. Is f a multiple of 11?
False
Let d(n) = -6*n**3 + 1. Let b be d(1). Let r(y) = -y**2 - 2*y + 5. Let v be r(b). Let h = v + 17. Is h a multiple of 3?
False
Suppose -a + 129 = 101. Is 14 a factor of a?
True
Suppose -2*m = -5*t - 50, 3*m + 16 = -4*t + 114. Does 4 divide m?
False
Let q = 47 + -17. Is 14 a factor of 10*4*21/q?
True
Let s(a) = -a**3 + a**2 - a + 1. Let x be s(1). Suppose -u = -x*u + 4*o + 3, 19 = 5*u + 3*o. Does 3 divide u?
False
Is 13 a factor of -1 + 45 + (-6)/(-3)?
False
Let q(m) = -2*m**3 - 3*m**2 + 2*m - 1. Is 6 a factor of q(-3)?
False
Let m be (-1)/(-2)*40/(-10). Is 28 a factor of (m + 2/(-4))*-14?
False
Let h be 3 - (0 - (-3 - -4)). Suppose -h*u = -3 - 9. Is u even?
False
Suppose -6*t + 412 = 100. Is t a multiple of 13?
True
Let t(p) = -p**3 + 6*p**2 - 5*p - 4. Let w be t(5). Does 12 divide 48/(w*1/(-4))?
True
Suppose k = 5*v + 3*k - 290, 0 = 3*k - 15. Is 8 a factor of v?
True
Suppose -5*z = -165 - 210. Is z a multiple of 12?
False
Let x be 115/(-3 - 4*-1). Suppose x = -4*q + 7. Let j = -15 - q. Does 12 divide j?
True
Let c(l) = l**2 + 11*l + 3. Suppose 1 = -2*p - 23. Is c(p) a multiple of 5?
True
Suppose -2*v - 7*n = -2*n, 2*n = -2*v. Suppose v = 4*b + 5*f - 79 - 42, -3 = f. Is 6 a factor of b?
False
Let f = -2 - 0. Let v(c) = 2*c**2 + 4*c + 2. Let q be v(f). Suppose q*l + 1 - 41 = 0. Does 10 divide l?
True
Suppose 5*k = 2*n - 31, 0 = -k + 2 - 7. Let y(t) = -2 - 6*t**2 - 8*t + 0*t**3 - t**n - 3. Is 10 a factor of y(-5)?
True
Let p(r) = -3*r**3 - 4*r**2 - 2*r - 1. Let h be p(-3). Does 16 divide (22/4)/(5/h)?
False
Suppose -4*z = -6*z - 16. Let b = z + 11. Suppose -52 + 10 = -b*c. Is c a multiple of 5?
False
Let p be (-2)/1 + 0 - -2. Suppose 0*h + 3*h = 5*m - 4, -3*m + 6 = p. Is h even?
True
Let a(m) = -m + 28. Is 7 a factor of a(6)?
False
Does 9 divide (5*8)/4*5 - -2?
False
Let f = 38 + -14. Does 4 divide f?
True
Let v(c) = c + 12. Let s = -17 - -8. Let k be v(s). Let l = k + 23. Is l a multiple of 9?
False
Let d = -3 + 6. Is 4*d*111/36 a multiple of 16?
False
Let j be 0*-2*(-2)/8. Suppose j = 4*s - 5*y + 33, 15 = 2*s + 4*y - 1. Let v(g) = -4*g**3 - 3*g**2 - 2*g + 2. Is 13 a factor of v(s)?
True
Suppose 165 = 3*d + 12. Is 17 a factor of d?
True
Let p = 51 + 23. Does 37 divide p?
True
Let y be 8/12*6 - 0. Suppose y*d + v = 98 + 54, 0 = 3*v. Is 19 a factor of d?
True
Let h = 3 - 5. Let x(v) = -8*v. Does 8 divide x(h)?
True
Let y(o) = -5*o + 1. Let j(h) = h**3 + 6*h**2 - 11*h - 10. Let s be j(-7). Suppose -3*r = -p + s - 5, 0 = -r + p - 7. Is y(r) a multiple of 12?
False
Suppose 1 = -4*n - 2*c + 15, 5*n - 16 = -2*c. Let i be 3 - 1/(-3 + n). Does 21 divide 41 + 3/6*i?
False
Suppose -52 - 8 = -4*y. Is 2 a factor of y?
False
Suppose -i = -2*z - z + 8, -5*z - 2*i = -6. Suppose -z*u = 19 - 75. Is 19 a factor of u?
False
Let m(z) = z**3 + 10*z**2 - 13*z - 18. Does 16 divide m(-10)?
True
Let r = 470 + -193. Is 9 a factor of r?
False
Let s(d) be the first derivative of 2*d**3 - 4*d**2 - 2. Let r(c) = -7*c**2 + 7*c. Let k(m) = -6*r(m) - 5*s(m). Is 22 a factor of k(2)?
True
Suppose -5*f = -f - 16. Is 1 + 11*f + 3 a multiple of 16?
True
Let x(c) = c**3 - c**2 + 2*c + 8. Does 4 divide x(0)?
True
Suppose -2*i - 3*i + 160 = 0. Suppose 0 = -4*y + 2*x + i, -3*y = -0*x + 3*x - 33. Is 5 a factor of y?
False
Let g = 15 - -12. Is 25 a factor of g?
False
Let c(f) be the first derivative of -1/3*f**3 - 1/2*f**2 + 0*f - 11/4*f**4 + 3. Is 11 a factor of c(-1)?
True
Suppose a - 4*r = 193, -7*a + 987 = -2*a + 2*r. Is a a multiple of 22?
False
Suppose g + 0*p + 4*p = 100, -212 = -2*g + 4*p. Is g a multiple of 26?
True
Let q(v) = v**3 + 10*v**2 + 4*v + 1. Does 11 divide q(-9)?
False
Let d(o) = o**3 - 16*o**2 + 35*o - 2. Is d(14) a multiple of 16?
True
Suppose 45 = -2*r - r. Let v = r - -11. Let m = 0 - v. Is 4 a factor of m?
True
Let v = 68 + -38. Is v a multiple of 5?
True
Let x(y) = 8*y**3 - y**2. Let b be x(-1). Let v be b/(-2) + (-2)/4. Suppose v*k = p + 80, 2*p - 60 = -5*k + 2*k. Is 10 a factor of k?
True
Let i be (-59 + -1)*(2 - 3). Suppose 0 = 3*p - 8*p + i. Is p a multiple of 12?
True
Suppose -87 = -8*s + 41. Is 8 a factor of s?
True
Suppose 5*i + 74 = 304. Suppose -c + i = 2*k, -3*k = -0*k - 2*c - 76. Is 8 a factor of k?
True
Let p(v) = -v**3 + 6*v**2 + 4*v + 6. Let s be p(5). Let d be ((-54)/(-8))/(1/4). Let j = s - d. Is j a multiple of 12?
True
Suppose d = 13 + 10. Let p = d - -9. Does 18 divide p?
False
Let m be ((-90)/(-75))/(4/10). Suppose 76 = m*x + 2*p, -3*p - 15 + 142 = 5*x. Is 9 a factor of x?
False
Let q(s) = 19*s + 1. Let p be q(1). Let n = 70 - p. Let o = -28 + n. Does 10 divide o?
False
Does 16 divide ((-12)/30)/(1/(-240))?
True
Let m = -19 - -24. Does 4 divide m?
False
Suppose -4*v = -5*j + 5 + 25, 4*v = 0. Is 3 a factor of j?
True
Is 11 a factor of 40/15*42/4?
False
Let z = -73 + 171. Is 4 a factor of z?
False
Let a = -176 + 235. Does 2 divide a?
False
Suppose 630 + 315 = 5*d. Does 14 divide d?
False
Suppose 227*s - 222*s - 210 = 0. Is 11 a factor of s?
False
Let g(m) = m**2 - m + 3. Is 26 a factor of g(-7)?
False
Suppose 70 = 4*x - 3*x. Let h = 109 - x. Is h a multiple of 13?
True
Suppose -4*u + 3*v + 90 = 5*v, -5*u + 112 = 3*v. Is 23 a factor of 7/(2 + u/(-12))?
False
Let p(v) = 20*v. Is p(3) a multiple of 12?
True
Let f(l) = l**2 + 3*l + 1. Let u(k) = k. Let m(v) = 2*f(v) - 2*u(v). Let d be m(-2). Is -1*(-1 + d + -10) a multiple of 5?
False
Let d = -12 + -29. Let m = d + 80. Is m a multiple of 13?
True
Let o be 6/(-18) + (-2)/(-6). Let y = 3 + o. Is 1/(y/30*2) a multiple of 5?
True
Let t(q) = -q**3 + 7*q**2 - 3*q - 8. Let f be t(6). Suppose 3*x + 2*x - f = 0. Suppose 0 = -4*i - p + 149, -i + 10 = -x*p - 25. Does 14 divide i?
False
Let s be (2 + -2)*1 - -38. Let b = s - 10. Is 17 a factor of b?
False
Let v = -11 - -1. Does 3 divide (v/(-6))/((-3)/(-9))?
False
Let f(m) = -5*m**2 + 6*m - m**3 + 10 - 10. Let v be f(-6). Let b = v + 11. Is 3 a factor of b?
False
Suppose 3*f + j - 101 = 0, 5*f + 99 = 4*j + 290. Is f a multiple of 5?
True
Let m = -83 + 146. Is m a multiple of 15?
False
Let w be 6/(-5)*10/(-3). Suppose w = -2*d + 4*d. Is 10 + (-1 - 0) + d a multiple of 11?
True
Let z(y) = -y. Let g be z(-1). Is g/(-3)*-11*3 a multiple of 5?
False
Let y = -4 - -6. Let t = 119 + -83. Suppose -6 = -y*n + t. Does 12 divide n?
False
Let h(z) = 7*z - 13. Let m be h(9). Let j = m + -19. Is j a multiple of 10?
False
Suppose -2*f + 4*f = -12. Is 15 a factor of ((-2)/f)/((-2)/(-138))?
False
Let x(o) = o**3 - o - 1. Let m(i) = -7*i**3 + 6*i**2 + 6*i + 14. Let u(f) = m(f) + 6*x(f). Is u(6) a multiple of 4?
True
Suppose -u = -32 - 8. Let y = -24 + u. Does 12 divide y?
False
Suppose -2 = 3*m - 5*a - 111, -2*a = -2. Is 15 a factor of m?
False
Suppose c - 33 = -2*c. Suppose 0*l + c = l. Is l a multiple of 10?
False
Suppose -5*o = 5*u - 175, 5*o = -6*u + 2*u + 177. Let x = -