es 11 divide q(8)?
True
Suppose -9 = -2*z + y, 0*z - 3*z - 2*y = -10. Suppose 2*u - 2 = z*f + 50, -2*f + 30 = u. Let d = u + -10. Is d a multiple of 6?
True
Let i(f) = 4*f**2 - 6. Let q(w) = -5*w**2 - w + 5. Let d(c) = -7*i(c) - 6*q(c). Is 20 a factor of d(-9)?
True
Suppose 2*r + 144 = 2*b, 2*b - 4*r = -5*r + 144. Suppose 5*v - 3*v - b = 0. Does 7 divide v?
False
Suppose -13 = -4*x + 7. Suppose 0 = o - b - 55, -2*o = -5*o + x*b + 167. Is o a multiple of 18?
True
Let u be (-18 + 24)*(-1 + 2). Suppose -u*k + 274 = -212. Is 28 a factor of k?
False
Let o(d) = 273*d - 178. Is 13 a factor of o(4)?
False
Suppose -8*d + 401 = -103. Is d a multiple of 31?
False
Let g(a) = 26*a - 48. Let c be g(2). Let b(h) = h**2 - 5*h - 4. Let y be b(6). Suppose -y*v = -0*v - t - 47, 20 = v - c*t. Does 10 divide v?
False
Let o(q) = q**2 - 13*q. Let f = -138 + 156. Is 10 a factor of o(f)?
True
Let p = -341 - -575. Is p a multiple of 39?
True
Let b(j) = -3*j - 28. Let z be b(-9). Is 8 a factor of (91 + 5)*z/(-3)?
True
Let a(o) = 6*o**2 - 5. Suppose 4*l - 2 - 18 = 0, -5*l + 13 = -4*d. Does 7 divide a(d)?
True
Let w be 4/34 + 312/(-51). Let d = w + 8. Suppose -d*v - 1 = 3*k - 50, -80 = -5*k - 3*v. Is 4 a factor of k?
False
Let p be ((-14)/35)/(2/10). Let w be (p - 3)*12/(-30). Suppose w*v + 13 = 45. Does 14 divide v?
False
Let a(t) = 4*t**2 - 6. Let x be a(5). Suppose -x - 18 = -4*w. Suppose 4*d = s - w, 55 + 132 = 4*s - d. Is s a multiple of 20?
False
Does 41 divide -4 - -12*5/20*174?
False
Let s(t) = t**3 + 9*t**2 - 4*t - 28. Let m be s(-9). Suppose 294 = 15*y - m*y. Does 28 divide y?
False
Let c(s) = -s**3 + 21*s**2 - 19*s - 21. Let w be c(20). Does 11 divide w - 0 - (-175)/5?
False
Suppose 5*j = -3*h - 17, 2*j - 11*h = -6*h + 18. Is 29 a factor of -4 - (j - (0 - -32))?
True
Let z = 215 - 213. Suppose -s = 4*s. Suppose -3*b = -z*k + 14, 18 = k - s*k + 4*b. Is k a multiple of 6?
False
Let p = -1304 - -2851. Does 7 divide p?
True
Suppose -2*i + 2*g + 498 = 0, 5*i - 1590 + 338 = -2*g. Is i a multiple of 50?
True
Let t = 677 - 299. Is 14 a factor of t?
True
Suppose -h + 39 = 4*c, -2*c - 3*c + 3*h + 53 = 0. Suppose -8 = 2*d - 2*s, -3*d + 2*s = 4 + c. Does 9 divide (-2)/d + 141/9?
False
Is -28*36/40*(-50)/2 a multiple of 18?
True
Let v = 93 + -133. Let l = v + 53. Is 13 a factor of l?
True
Suppose 0 = 4*n + 12, -3*n + 323 = f + 80. Is f a multiple of 13?
False
Suppose -2*h - 2*u = -1006, -3*h + 0*h - u = -1509. Is h a multiple of 18?
False
Let t(p) be the third derivative of 2*p**2 - 1/3*p**3 + 0*p + 0 - 5/12*p**4. Is t(-3) a multiple of 20?
False
Let v(f) = 4 - 6 - 3*f - 4. Is v(-11) a multiple of 25?
False
Suppose 0*b = -4*b + 12. Suppose 3*s = b*r - 145 - 200, r = -s - 109. Let z = -58 - s. Is 18 a factor of z?
True
Let c be (-32)/(-8) + -6 + -1. Let a be c + 6 + (0 - 4). Is 8 a factor of -26*2/(-3 - a)?
False
Let v = 244 - 838. Suppose n - 2 = 3*r - 2*r, 2*r - 8 = -2*n. Is (v/24)/(n/(-8)) a multiple of 22?
True
Suppose 16*b + 655 = 2*q + 11*b, -2*q = -2*b - 640. Is q a multiple of 9?
True
Suppose 3*a + 10 = 55. Suppose -4*m - a = -43. Let h = -2 + m. Does 3 divide h?
False
Suppose 0 = j - q - 63, -2*q + 157 = 2*j + 19. Is 33 a factor of j?
True
Let u = 56 - 53. Suppose 4*m + 4*a = u*a + 85, -5*a - 75 = -5*m. Is m even?
True
Is 20 a factor of ((-20)/6)/(5/570*-1)?
True
Let r = 90 - -115. Let l be (-30)/(-1)*(-18)/(-2). Suppose -r = -4*c + q, -5*c + l = -q - 3*q. Is c a multiple of 16?
False
Let g = -6 + 17. Let v be g/77 + (-34)/(-7). Suppose -v*p - 27 - 71 = -3*a, 3*p = -12. Is a a multiple of 13?
True
Suppose -3*v - 4*o = -5*v + 1348, 0 = 4*o - 12. Is v a multiple of 34?
True
Suppose 2*c - 42 = -6. Does 28 divide 1467/c - 5/(-2)?
True
Let w(p) = 30*p**3 + p + 1. Let k be w(-1). Let i = k + 58. Does 14 divide i?
True
Suppose -3*u - 3*k = -2718, -2*u + 0*u + k = -1827. Is u a multiple of 7?
False
Suppose 3280 = 7*b + 3*b. Let g = 484 - b. Is 12 a factor of g?
True
Let m(j) = 5*j - 2. Let n(p) = -11*p + 5. Let q(f) = -13*m(f) - 6*n(f). Let l be q(-7). Let v = l - -16. Does 5 divide v?
True
Let n(m) = m**3 + 10*m**2 + 9*m + 3. Let u be n(-9). Suppose 0 = u*o - 5*k - 50, 4*o + 0*o - 5*k - 60 = 0. Does 5 divide o?
True
Let k(j) = -11*j + 4*j - 1 - 2 + j**2 + 0*j**2. Is k(-3) a multiple of 8?
False
Let b(r) = r**3 - r**2 + r + 1. Suppose 5*c = 3*c + 10. Let g(i) = 6*i**3 - 9*i**2 + 8. Let y(f) = c*b(f) - g(f). Is 15 a factor of y(4)?
False
Suppose -4*j + 22 = -4*q - 18, -q = 5. Suppose -4*i + 300 = j*b + 15, -143 = -2*i - 3*b. Is i a multiple of 14?
True
Let b(g) = -g**3 + 4*g**2. Let a be b(3). Suppose a = 4*q - 3. Is 13 a factor of (40 - (2 - 1)) + q?
False
Suppose -5*g = 5*j - 215, -5*j - 161 = -3*g - 16. Does 9 divide g?
True
Is ((-2)/(-8))/((-9)/(-25884)) a multiple of 27?
False
Suppose 2556 + 424 = 4*r. Let v = r + -411. Suppose 4*b + 8 = -12, 2*b = 4*g - v. Does 27 divide g?
True
Let l = 5 - 4. Let p be (2/(-6))/(l/(-6)). Does 4 divide 4/(4/p)*2?
True
Suppose 0 = -29*y + 27*y - 2. Let t(k) = 70*k**2. Is t(y) a multiple of 7?
True
Suppose -6222 = -5*a - 6*m + 5*m, -4*a = 3*m - 4971. Is 5 a factor of a?
True
Let y(o) = 4*o**3 + 33*o**2 + o + 2. Let i be y(-8). Let m(c) = -9*c**2 + c. Let b be m(-2). Let h = b + i. Does 5 divide h?
True
Suppose -4*m - 265 = -3*m. Let t = -175 - m. Is t a multiple of 18?
True
Let o be ((-30)/8)/(1/(-4)). Suppose -k + o = 4*k. Suppose -k*s - 109 - 17 = -5*z, 46 = 2*z + s. Does 6 divide z?
True
Let v(k) = 4*k**2 + 3*k + 3. Let u be v(-1). Suppose -t = u*y - 6*t - 309, 3*y - 2*t - 223 = 0. Is 8 a factor of y?
False
Let w = 121 - -58. Let k = -49 + w. Is k a multiple of 17?
False
Let b = -94 - -48. Let q = b - -81. Does 7 divide q?
True
Let d = 394 + -194. Does 4 divide d?
True
Let x(c) = 3*c + 34. Let t be x(-12). Let u(k) = -20*k - 13. Does 27 divide u(t)?
True
Let k(q) = 63*q - 144. Is 10 a factor of k(8)?
True
Let m(z) = -30*z - 45. Is m(-21) a multiple of 65?
True
Let w(d) be the first derivative of -d**3/3 + d**2/2 + 11*d - 1. Is 2 a factor of w(0)?
False
Let o be (1 + 7/(-2))*4. Let f be -2*1 + o/(-10). Is 5 a factor of (1/f)/(1/(-12))?
False
Let q = 18 + -12. Suppose 4*x = q*x - 4. Suppose -m = 3, 3*s = -s + x*m + 34. Is 4 a factor of s?
False
Suppose -72 = -5*q + 48. Suppose 3*d - 5 + 1 = -2*z, z = 5*d - q. Is (36/(-8) + d)*-14 a multiple of 7?
True
Let g(n) = 133*n**3 - n**2 + 1. Let r be g(-1). Let t = 262 + r. Does 13 divide t?
False
Let o(j) = -7*j**3 - 50*j**2 + 6*j - 8. Does 7 divide o(-9)?
False
Suppose -2*o + 1562 = 5*a - 2751, -1710 = -2*a + 3*o. Is 13 a factor of a?
False
Is 22 a factor of 503 + ((-88)/(-32) - 1/(-4))?
True
Suppose 3*o + 19 = 2*c, 4*c + 2*o = o + 3. Suppose x - 19 = 3*b, -5*x = -2*b - c*b - 40. Suppose 5*q + 90 = p + x*p, 2*p + 2*q = 56. Does 6 divide p?
False
Let q(s) = -5*s**3 - 2*s**2 + 8*s - 7. Let p(o) = 5*o**3 + 2*o**2 - 9*o + 8. Let h(i) = -6*p(i) - 7*q(i). Let w be h(1). Is w - 3 - 12/(-4) a multiple of 5?
False
Let f be (8 - 2) + 0 + 1. Let d = f + -4. Is 6 a factor of (3/9)/(d/54)?
True
Suppose -4*z + 68 = -0*z. Suppose z + 1 = -3*m. Is (-26)/m + (-6)/(-9) a multiple of 5?
True
Let d(q) = q**2 - 2*q - 20. Let f be d(-4). Suppose f*j = 42 + 82. Does 31 divide j?
True
Suppose -1067 = -16*q + 2917. Does 3 divide q?
True
Is (255/(-30))/(3/(-30)) even?
False
Let o(l) be the second derivative of -l**3 + 6*l**2 - 4*l. Does 7 divide o(-17)?
False
Suppose -4*v - 2*q = -2*v - 12, 4*q - 6 = -v. Suppose -145 = -v*w + 215. Is 15 a factor of w?
True
Let h = 468 - 205. Let j = 131 - h. Does 19 divide j/(-15)*15/2?
False
Let x = -31 - -9. Let t = x + 37. Does 15 divide t?
True
Let d(h) = -h**3 + 12*h**2 + 6*h - 12. Is d(9) a multiple of 57?
True
Is 34 a factor of 3031/21*(-3)/(-1)?
False
Let f(y) = y**3 + 12*y**2 + 12*y - 7. Let m be f(-11). Does 14 divide m/(-6) - (-20 - -2)?
False
Suppose 0 = 3*h - 5*x - 9, -5*h - 2*x = -0*h - 15. Is (-23 - h - -1)/(-1) a multiple of 24?
False
Let k be 1/2 - (-3)/6. Let z(w) = -40*w**3 - 2*w**2 + 3*w - 2. Let t be z(k). Let s = 4 - t. Is 5 a factor of s?
True
Let m(o) = 29*o**3 - o**2 - o + 2. Suppose -i - 8 = -5*i. Let a be m(i). Suppose -5*z + a = 8. Does 11 divide z?
True
Suppose 0 = 6*h + 166 + 134. Let m = -13 - h. Is m a multiple of 10?
False
Suppose -5*y + 2297 = -2*n