))/(11/w)?
True
Let p(a) = -2*a - 22. Let c be p(-16). Let o = c - 7. Suppose o*h + d = 4*d + 78, 4*h + d - 104 = 0. Does 13 divide h?
True
Suppose 0 = -63*f + 8414 + 47593. Is f a multiple of 6?
False
Let z(s) = -31 + 3*s**2 + 4*s + 3*s**2 + 2*s - 5*s**2. Is z(-10) a multiple of 9?
True
Let n(q) = 674 - 674 - 2*q. Let r be n(-8). Is (r/(-2))/(4 + -6) a multiple of 3?
False
Let z be (0 + -9)*100/(-6). Suppose -5*m = -y + 4*y - z, 5*y = -m + 228. Does 9 divide y?
True
Let o(k) = 15*k**2 + 30*k + 132. Is o(-4) a multiple of 12?
True
Let f(t) = -3*t - 3. Let a be f(-3). Let r be 28/a - 16/24. Suppose r*n - 3*n = 5*z + 78, 0 = 5*n + 5*z - 480. Is 14 a factor of n?
False
Let f = -188 - -141. Let a = f + 146. Is a a multiple of 11?
True
Let x(i) = -6*i - 183. Does 27 divide x(-35)?
True
Suppose 17 = 3*y + 4*u, -3 = y - 2*u - 2. Suppose 5*k - m - 398 = -3*m, -378 = -5*k + y*m. Does 6 divide k?
True
Let j(u) = -u**2 - u. Let i(m) = -3*m**2 - 10*m. Let n(w) = i(w) - 5*j(w). Does 6 divide n(-5)?
False
Suppose 4*j + o - 227 = -4*o, -230 = -4*j - 2*o. Is j a multiple of 4?
False
Let x = -144 + 182. Is 4 a factor of x?
False
Suppose -3*h + 252 + 15 = -3*b, 4*h - 355 = 3*b. Suppose -h = -13*c + 9*c. Is 7 a factor of c?
False
Suppose -4*c - 2*i + 134 = 0, -3*c + 6*i = 5*i - 113. Suppose 30*k = c*k - 48. Is k even?
True
Let x be (4/(-7))/(4/(-14)). Suppose 3*i - 313 = -i - 5*t, -x*t - 134 = -2*i. Does 9 divide i?
True
Let w(h) = 130*h + 17. Is w(3) a multiple of 10?
False
Let y be ((-2)/(-4))/(6/(-348)). Let k = 55 + y. Suppose -g = g - k. Does 4 divide g?
False
Suppose 5*d + 5*c - 20 = 0, 0 = -5*d + c - 6 + 20. Suppose 0 = -d*m + 173 + 19. Is 32 a factor of m?
True
Suppose -5*o + 596 = 2*b - 76, -556 = -4*o + 3*b. Is 17 a factor of o?
True
Let t = 14 + 0. Let b be 656/t - 2/(-14). Let j = b - 25. Does 14 divide j?
False
Suppose -2*w + 99 = -69. Is 11 a factor of ((-50)/3 + -1)/((-14)/w)?
False
Suppose 2*k = 2*t - 6*t + 9114, -3*t + 5*k + 6868 = 0. Is 51 a factor of t?
False
Suppose 2*s + 4*l = 2922, -3*s - 3*l + 6677 = 2291. Is s a multiple of 77?
True
Suppose -6*w - 40 = -11*w + 3*f, 0 = -3*f - 15. Suppose 3 = -w*b + h, -4*b = -9*b + 4*h - 12. Suppose b = -3*t + 5*c - 54 + 136, t = 5*c + 34. Does 24 divide t?
True
Is 322190/495 - (-1)/9 a multiple of 7?
True
Suppose -p - p = -60. Let f be -50*1*(-168)/p. Suppose 2*r + 5*r = f. Is 13 a factor of r?
False
Suppose 2*k - 444 = -3*l + 21, -5*l = -4*k + 985. Does 20 divide k?
True
Suppose -t + 7 = 1. Let d(y) = -y + 1. Let z(p) = -5*p - 4. Let r(s) = t*d(s) + z(s). Is r(-2) a multiple of 20?
False
Let f(u) = -13*u + 1. Let m be f(-1). Suppose -4*j + 6 = -m. Suppose -j*t + 6*s + 133 = 3*s, t - s - 27 = 0. Does 13 divide t?
True
Let h(v) = v**3 - 4*v**2 + 3*v + 4. Let s be h(3). Suppose -s*j + 190 = j. Suppose -2*u - 10 = 2*y - 58, 2*y - 3*u - j = 0. Does 11 divide y?
True
Suppose -21*k + 728 = -19*k. Is 7 a factor of k?
True
Let x(o) = -o**3 + 7*o**2 + 7*o + 5. Let b be x(8). Is 671/33 - (-1)/b a multiple of 4?
True
Suppose -n = -6*n + 665. Suppose 5*r + 4*f = -n, 140 = -5*r - f + 13. Is 8/10*r/(-10) even?
True
Let v be -1 - ((-5)/(-5) - 4). Let l(a) = -a**2 - a - 1. Let c(s) = 4*s**2 + 3*s + 2. Let y(q) = v*c(q) + 7*l(q). Is 9 a factor of y(6)?
True
Let d(i) = -2*i + 60. Is 2 a factor of d(-3)?
True
Suppose 2*f - 3 + 1 = 0. Let i be (4 - -4) + (f - 2). Suppose -2*s + 4*c = -38, -30 + i = -s - 2*c. Is 19 a factor of s?
False
Let i be (-45)/(-6) - 4/(-8). Suppose 109 = 2*x + v, -4*v = -5*x - i + 274. Is x a multiple of 14?
False
Let k be (-12)/(-15)*5/2. Suppose -5 = 2*m + t, -k*m - 3*t - 11 = -0*t. Is 42 + 0 + (2 - m) a multiple of 17?
False
Suppose 0 = 3*b - 11*n + 7*n + 20, -5*b + 5*n - 25 = 0. Suppose -h + 38 = w, b = 4*w - 4*h - 148 - 20. Is w a multiple of 12?
False
Is 25 a factor of -5*(18176/(-22) + 24/132)?
False
Let x be (45/30)/(-2*(-2)/40). Suppose 4*u - x*u + 352 = 0. Is u a multiple of 8?
True
Let q(j) = 1 + 4*j**2 - j**3 - 15*j**2 + 11*j + 11*j**2 + 8*j**2. Is 6 a factor of q(9)?
False
Let x be 10/15*102/(-4). Let a(i) = i**2 + 12*i + 39. Is 12 a factor of a(x)?
False
Suppose -7 + 460 = 3*o. Is 15 a factor of o?
False
Let w(h) be the second derivative of -5/2*h**3 - 1/20*h**5 + 9*h**2 - 5/4*h**4 + 0 + 7*h. Is 16 a factor of w(-14)?
True
Let i(f) = 20*f**2 + 30*f + 40. Let v(u) = -7*u**2 - 10*u - 13. Let k(n) = 5*i(n) + 14*v(n). Is k(-11) a multiple of 15?
True
Let u = -108 + 63. Let h = -15 - u. Is ((-1)/(-3))/(2/h) a multiple of 3?
False
Suppose 3*g - 1291 = 5*b + 11322, -2*g + 2*b = -8414. Is g a multiple of 11?
False
Suppose -2*u - 15 + 5 = 0, 2105 = 2*t + u. Does 60 divide t?
False
Let w(v) = 14*v - 19. Let r be -4 + 9/((-27)/(-30)). Is 7 a factor of w(r)?
False
Let b(f) = -f**3 - f**2 + 1. Suppose 5*j + 5*g = 25, -j - 10 - 9 = -5*g. Let s(q) = 7*q**3 + 8*q**2 - 3*q - 7. Let p(y) = j*s(y) + 6*b(y). Does 12 divide p(3)?
False
Suppose -29 = -2*s + 21. Is s a multiple of 3?
False
Suppose -5*a = -5*f + 5, -4*a - f = f - 26. Suppose -2*u + 53 = 5*w - 32, 4*u = -a*w + 140. Is 30 a factor of u?
True
Suppose -3*c + 4*n - 3 = 0, c = n - 0*n. Suppose 2*u + c*u = 490. Suppose -2*r + u = -16. Is r a multiple of 32?
False
Let x = 27 - 24. Suppose -x*c + 0*c = 0. Suppose 3*z = -3*j + 54, -5*j + 4*z + 45 = -c*j. Does 11 divide j?
False
Let m(d) = d**3 + 4*d**2 + 3*d + 4. Let f be m(-3). Let g(y) = -f + 0*y - 6 - y + 0. Does 3 divide g(-15)?
False
Suppose 2*l = -7*g + 3*g + 32, -2*l + 2*g + 8 = 0. Let c = -14 + l. Is 7 a factor of 4 + 5/((-10)/c)?
True
Suppose -6*f = -4*f - 28. Suppose f*m = 13*m + 14. Is 4 a factor of m?
False
Let d(m) be the third derivative of -37/24*m**4 + m**2 - m**3 + 0*m + 0. Is 17 a factor of d(-2)?
True
Let i = 12 + -8. Let z be 94/i*(-4 - -6). Suppose -2*v + 1 = -z. Does 10 divide v?
False
Let c(s) = -6*s**2 + 4*s + 0 - s**3 - 3 - 6. Let d be c(-7). Does 5 divide (0 - 2)/(d/(-72))?
False
Suppose 0 = -5*u + 20, -21*y + 19*y = 3*u - 1612. Is y a multiple of 100?
True
Suppose 0 = -15*f + 173 + 67. Is 2 a factor of f?
True
Suppose 0 = 5*w + 3*u - 1263, -5*w + 4*w + 256 = 4*u. Is w a multiple of 40?
False
Let m be 5*1 - (4 - 1). Is (-31)/(-4) + m*(-3)/(-24) a multiple of 8?
True
Let n(k) = -9*k**2 - 31*k + 1. Let h(o) = 2*o**2 + 6*o. Let y(g) = 11*h(g) + 2*n(g). Is y(6) a multiple of 34?
True
Let d(q) = q**2 + 5*q + 3. Let g be d(-3). Let p be 23*(-4 + g + 0). Is 5 a factor of p/(-14) - (-1)/(-2)?
False
Let o(m) = 2*m**3 - 40*m**2 - 45*m + 117. Is o(21) a multiple of 18?
True
Let d = 20 - 6. Suppose p + 0*m = -2*m + d, 0 = 3*p + 2*m - 22. Suppose 4*l = 2*q - 5 + 1, 0 = -p*q - 4*l + 68. Does 6 divide q?
True
Let t(l) = 46*l + 1151. Is 47 a factor of t(23)?
True
Let t(v) = 3*v**3 - 43*v**2 - 16*v + 19. Is t(15) even?
False
Let r(o) be the third derivative of 0 - 7/6*o**3 + 1/2*o**4 + 0*o - 1/60*o**5 - 5*o**2. Is 5 a factor of r(10)?
False
Let t be 0/(-3 + 1) - -3. Suppose t*i = -3*u - 105, 2*i = 3*u - 54 - 21. Let o = 53 + i. Is 8 a factor of o?
False
Let q(u) = 3*u**2 + 24*u + 2. Let z be q(-8). Let c(k) = 2*k**2 - 2*k. Let f(p) = -p**2 + 3*p - 1. Let t(h) = 6*c(h) + 5*f(h). Does 10 divide t(z)?
False
Let y(r) = 3*r**3 - 2*r**2 + r. Let j be (46/(-207))/(2/(-18)). Let w be y(j). Does 6 divide 4/w + (-142)/(-9)?
False
Is 6/(-14) - (-154736)/1064 a multiple of 5?
True
Let d(x) = 2*x**2 - x + 2. Let g be ((-54)/(-36))/((-6)/(-16)). Suppose -4 = -o - g*p - 2, -2*p = 2*o + 8. Does 10 divide d(o)?
True
Suppose -2*x = -4*n - 994, 3*x + 2*n + 691 - 2158 = 0. Does 19 divide x?
False
Suppose -27*v + 1344 = -21*v. Does 4 divide v?
True
Suppose -7 = 5*q - 12. Let r(o) = 78*o**2 - 3*o + 3. Does 13 divide r(q)?
True
Is 6 a factor of ((-30)/25)/(1/5) - -324?
True
Let u(z) = z**3 - 10*z**2 + z - 14. Let h be u(10). Is (889/(-14))/(1/h) a multiple of 13?
False
Suppose -15*o = -12*o - 186. Suppose -16 = -3*q + o. Is q a multiple of 26?
True
Let t = 4074 + -2580. Is t a multiple of 40?
False
Let o(s) be the second derivative of -s**7/2520 + s**6/45 - 3*s**5/40 + s**4/4 + 3*s. Let w(l) be the third derivative of o(l). Is 11 a factor of w(12)?
False
Let w(j) = 14*j**2 + 15*j - 105. Does 14 divide w(7)?
True
Suppose 3*h - 27 = -9. Suppose l = -h + 10. Suppose 0 = 5*z + l*n - 177, -z + 4*n - 1 = -22. Is 8 a f