 of 6?
True
Let b be 48/(1/(4/(-6))). Let p = 24 - b. Is p a multiple of 14?
True
Suppose 2*b = 0, -80 = -2*z - 3*z + 5*b. Is z a multiple of 5?
False
Suppose -3*a + 232 = 2*o + a, 0 = -2*o - 3*a + 231. Is o a multiple of 19?
True
Does 2 divide 6*-2*(-12)/16?
False
Suppose 3*o = c + o - 140, 415 = 3*c - 5*o. Does 10 divide c?
True
Let a(n) = -n + 4. Let c be a(2). Suppose -4*l + c*l = -460. Suppose u = -y + 52, -y + 6*y = 5*u - l. Does 18 divide u?
False
Suppose -4*i + 2*v = -192, -2*v - 33 = 4*i - 209. Does 10 divide i?
False
Let h = 1 - 1. Suppose g - 146 = -0*a - 5*a, g + 4 = h. Is 15 a factor of a?
True
Let v(r) = r**3 + 5*r**2 - 6*r. Let t be v(-6). Let g = 13 - t. Is 7 a factor of g?
False
Let y(h) = h + 1. Let z be y(-1). Is (-3)/(z + -1) + 18 a multiple of 21?
True
Suppose -1 - 19 = -4*i, 5*i = 4*g + 5. Suppose -g*s + 29 = -1. Is 3 a factor of s?
True
Let m(g) = g**3 + g**2 + g - 2. Let c be m(0). Let f be ((-126)/(-12))/((-1)/c). Suppose 5*k - 20 = 0, -6*p + k + f = -p. Is 5 a factor of p?
True
Suppose -5*b - 2*d = -9, 2*b - 3*d + d = 12. Suppose -t - b*o + 7 = 0, t = 3*o - 0*o + 19. Does 10 divide t?
False
Let n be 225/(-12) + (-2)/8. Suppose y + 3*y + 8 = 0. Let v = y - n. Is 12 a factor of v?
False
Let d(a) = -a**2 + 13*a + 6. Suppose -5*s - 8 = b + 3*b, 5*s + 3*b = -6. Let y(g) = g + 9. Let i be y(s). Is d(i) a multiple of 14?
True
Let a be (1/(3/(-9)))/(-1). Suppose m = -a*m + 300. Is 19 a factor of m?
False
Is 19 a factor of (2*1/(-2))/(1/(-127))?
False
Let p(x) = -36*x**3 + x. Let h be p(1). Does 3 divide (-399)/h - 6/(-10)?
True
Suppose 3*x = -4*g - 97, 0*x - 5*g = 3*x + 101. Let r = x + 47. Is 10 a factor of r?
True
Let w be (-13)/(-65) + (-578)/(-10). Let k = -6 + w. Is 12 a factor of k?
False
Suppose -3*i - 3*t + 7 + 23 = 0, -4*i - 2*t + 32 = 0. Suppose -152 = -i*g + 2*g. Is 10 a factor of g?
False
Let h be 32/(-6)*(-54)/4. Suppose -5*i + 4*z = -168 - 9, 2*i - h = z. Is i a multiple of 29?
False
Let t(l) = -l**3 - 13*l**2 - 4*l + 10. Let k be t(-13). Suppose 0 = -z - 0*z + k. Is 20 a factor of z?
False
Suppose 0 = 8*f - 1290 + 330. Is 5 a factor of f?
True
Let c(b) = b**2 + 24 - 5*b**2 + 4*b**2 + b**2. Suppose r = -r. Is c(r) a multiple of 9?
False
Let t = 3 + -9. Let m(a) = a - 6. Let p(u) = 2*u - 13. Let q(k) = -13*m(k) + 6*p(k). Does 3 divide q(t)?
True
Suppose -13*v - 148 = -11*v. Let i = 138 + v. Is i a multiple of 25?
False
Let k(s) = s + 7. Let w be k(7). Let v(r) = -r**3 + 14*r**2 + 15. Does 5 divide v(w)?
True
Suppose c + 6 = 2*c. Let j(n) = n**3 - 4*n**2 - 4*n - 7. Does 12 divide j(c)?
False
Suppose 6*m - 57 - 51 = 0. Does 9 divide m?
True
Suppose 2 + 13 = 5*i. Let q(b) = b**2 - 2*b + 3*b - 4 + 2*b**2. Is q(i) a multiple of 12?
False
Suppose 4*g - 6 = 2. Let w(k) = k**2 + k + 2 - 2*k**2 + g*k**2 - 2*k. Is 11 a factor of w(-4)?
True
Suppose 2*f - 145 = -3*u, -2*u - 45 - 221 = -4*f. Is (f/(-2))/(-1 + -1) a multiple of 10?
False
Let y(k) = 121*k**3 + k**2 - 3*k + 2. Is 9 a factor of y(1)?
False
Let z = -1 + 6. Does 5 divide ((-18)/z)/(1/(-5))?
False
Suppose 5*x + m = 310, 0 = -x - 4*m + 80 - 18. Suppose 48 + x = 2*o. Suppose o = 2*d + 3*d. Does 6 divide d?
False
Suppose s - 10 = -5. Let h(r) = -r**2 - r + 3. Let b be h(0). Let k = s - b. Is 2 a factor of k?
True
Let u = 15 + -7. Let a = 0 + u. Is 8 a factor of a?
True
Suppose 4*t = -23 - 17. Let r be (4/5)/(t/(-25)). Let n = r - -4. Does 6 divide n?
True
Let a(i) = i**2 - i - 1. Let j(d) = d**2 - 8*d - 8. Let q(m) = 5*a(m) - j(m). Is q(-3) a multiple of 10?
True
Let b = -5 - -8. Suppose -5*a = b*d - 179, -37 = -d + a + 3*a. Let p = d - 28. Does 7 divide p?
False
Let j be (-58)/7 - 6/(-21). Let u be j/6*(-3)/2. Is 8 a factor of (-1 - u)/(1/(-6))?
False
Is (174/(-4))/(0 + 2/(-4)) a multiple of 29?
True
Suppose -3*k = 2*a + 3, -5 = 4*a + k + 4*k. Suppose -o + a*o = -4. Suppose o*c - 10 = 2*w, -c + 15 - 5 = w. Is c a multiple of 2?
False
Let q(a) = a**3 + a**2 + a + 13. Let g be q(0). Let i(o) = 2*o - 6. Let r be i(5). Suppose -r*n = -g - 23. Is n a multiple of 9?
True
Let u be 90/(-8) + (-3)/(-12). Let j = -11 - u. Suppose f - 5*f + 148 = j. Does 14 divide f?
False
Let o(x) = x - 3. Let a be o(8). Is ((-2)/a)/(1/(-5)) even?
True
Suppose k - 35 = g, g = -5*k + 53 + 116. Does 3 divide k?
False
Let a = 7 - 4. Suppose -a*w + 98 = -25. Is 11 a factor of w?
False
Let m(q) = -q**2 + 6*q - 3. Let c be m(5). Suppose 3*u = -y + 77, -2*y + 28 = c*u - 30. Does 12 divide u?
True
Suppose 3*c + c = 8. Suppose -2*l + 4 = 0, -c*h + 2*l - 96 = -h. Let i = h + 146. Does 14 divide i?
False
Let o(b) = -b**2 - b. Let d(n) = 25*n**2 + 20*n. Let l(y) = d(y) + 20*o(y). Does 20 divide l(-2)?
True
Suppose 0 = 2*o + o + 96. Let b = o + 70. Is 19 a factor of b?
True
Suppose z = 3*p - 728, -5*p + z + 1537 = 321. Is 13 a factor of p?
False
Let h = -6 - -10. Suppose -9*j = -h*j - 130. Does 8 divide j?
False
Suppose -3*h - 8 = -4*h - 2*k, -5*h + 40 = k. Suppose 4*u + 3*m - 79 = 0, 3*m = -2*u + h*m + 59. Does 12 divide u?
False
Let s = 1260 + -575. Let r be s/25 + 2/(-5). Suppose 3*l + 2*z - r = 0, 4*l + 4*z + 3 = 39. Is l a multiple of 7?
False
Suppose 233 + 267 = 4*y. Is y a multiple of 25?
True
Let o = 169 + -31. Suppose -3*x + 4*v = -o, -2*v - 92 = -x - x. Is x a multiple of 23?
True
Suppose -2*x = -2 + 4. Let v = 6 - x. Let k = v - -6. Is 13 a factor of k?
True
Suppose 0 = 2*d + 5*i - 349, -4*d + i + 728 = 5*i. Is d a multiple of 17?
True
Let y = -52 - -79. Is 5 a factor of y?
False
Suppose -5*v + 3*a + 393 = -a, -3*a = -9. Is v a multiple of 14?
False
Suppose 0 = 2*t + 24 - 186. Does 27 divide t?
True
Is 7 a factor of (-4)/(8/(-10))*(-138)/(-5)?
False
Let h(x) = x + 3. Let f be h(0). Suppose -f*a = 3, -4*a - 31 = -5*u - 7. Suppose u*q = 4*z + 28, -3*q - 5*z = -2*q - 7. Is q a multiple of 3?
False
Suppose 4*x - 2*i - 9 - 3 = 0, 3*x = 5*i + 9. Let s be (-1)/(1 + (-4)/x). Suppose 5*l - s*r + 1 = 215, -r = -2. Is 22 a factor of l?
True
Suppose 0 = -v + z - 51, v = 4*v + 2*z + 128. Let a = v - -76. Is a a multiple of 15?
True
Suppose 3*m + 2*m = 130. Is 15 a factor of m?
False
Let c = 9 - 6. Suppose 2*a - 377 = -3*a + v, 2*a - 143 = c*v. Is 22 a factor of a?
False
Suppose 103 = 3*l + x, -l - 4*x + 31 = -3*x. Is l a multiple of 5?
False
Let z be (-40 - 3)/(0 - 1). Let f = z + -21. Is 4 a factor of f/4 + 2/4?
False
Let t(p) = -3*p + 3. Let s(h) = h**2 + 12*h + 15. Let u be s(-10). Is t(u) a multiple of 12?
False
Suppose w + 43 = 2*w. Is w a multiple of 21?
False
Let d = 3 + -2. Let f(h) = 4*h - d - 5*h - 2. Is f(-7) a multiple of 4?
True
Suppose -5*z - 4 - 6 = 0. Let h = 36 + -30. Does 5 divide (z + 1)/(h/(-30))?
True
Let g(p) = -p + 1. Let k be g(3). Is 8/(k - (-32)/14) a multiple of 14?
True
Suppose -3*a + 0*a = -72. Let c = a + -1. Does 17 divide c?
False
Let j(g) = -3*g - 4. Let z be j(-4). Suppose -3*b + z*b + 15 = 0. Does 9 divide ((-1)/(-3))/(b/(-153))?
False
Let j(w) = -w**3 - 3*w + 19. Is 8 a factor of j(0)?
False
Let y be 6/30 + (-98)/(-10). Does 12 divide ((-12)/(-10) + 0)*y?
True
Suppose 3*o + 152 = 5*o. Let r = o - 29. Suppose 4*t = 153 + r. Does 17 divide t?
False
Suppose 0 = b - 3*b + 38. Let j = b - 1. Is j a multiple of 6?
True
Suppose -4*a = -2*w + 8, 0 = -0*a - a + 2. Does 8 divide w?
True
Let m(q) = q**3 + 4*q**2 - 7*q + 5. Is m(3) a multiple of 2?
False
Is 46 a factor of (23/(-4))/(12/(-480))?
True
Suppose -m = m - 34. Let x = 29 - m. Does 3 divide (-4)/(-8)*1*x?
True
Let s(g) be the first derivative of -g**5/60 - 3*g**4/8 - 2*g**3/3 + g**2 + 2. Let r(w) be the second derivative of s(w). Is r(-7) a multiple of 10?
True
Suppose c + 20 = 2*c. Suppose -2*r + 7*r = 225. Is 6 a factor of (r/c)/(6/32)?
True
Let f = 7 - -2. Is 2 a factor of f?
False
Let r(w) = 2*w**3 - w**2 - 9*w + 8. Is r(4) a multiple of 21?
True
Let s(u) = 18*u - 2. Is s(4) a multiple of 10?
True
Suppose -n + 36 + 88 = 0. Is 15 a factor of n?
False
Suppose -4*r - 455 = -9*r. Let w = 140 - r. Is w a multiple of 10?
False
Let q = -3 + 3. Is (-72)/(-2) + q/2 a multiple of 10?
False
Suppose 111 - 21 = 3*j. Does 4 divide j?
False
Let u(l) = -3*l**3 - l. Let i be u(-1). Is (1*-11)/(i/(-20)) a multiple of 17?
False
Let k(u) = -3*u**2 - 2*u - 12. Let w be k(12). Is 20 a factor of w/(-8) + 3/2?
True
Is 20 a factor of (1 - (-