ide ((-25)/3)/(65/(-33150))?
True
Let x(u) = 13*u + 173. Does 8 divide x(-9)?
True
Let t = 1112 - 566. Does 26 divide t?
True
Let j = 24 + -22. Suppose d - 5*l = 38, 0 = 3*d - j*d + l - 14. Is 7 a factor of d?
False
Suppose 2*v = 2 + 6. Let u(x) = 3*x**2 + 3*x - 1. Is 19 a factor of u(v)?
False
Let m(h) = -23*h - 6 + 66*h - 29*h + h**2. Suppose -5*j - 57 = -2*j - 3*r, 2*j - 3*r + 41 = 0. Does 11 divide m(j)?
False
Let p(h) be the third derivative of h**5/20 + h**4/8 - 2*h**2. Let g be p(-5). Suppose -g = -3*o + 18. Is o a multiple of 10?
False
Let i = 8 + 8. Suppose 3*h - i = -h. Suppose -8 = q - 2*q - b, b + 7 = h*q. Is q a multiple of 3?
True
Suppose -5*g + 109 = -3*c - 884, -g + 199 = -c. Is 22 a factor of g?
True
Let g(t) = -2*t - 2. Let y be g(-2). Does 19 divide 10/y*(23 - -4)?
False
Let k(r) = -2*r**2 - 18*r - 3. Let s be k(-8). Let z(c) = c**3 - 12*c**2 - 13*c + 9. Let u be z(s). Suppose 0 = -12*g + u*g + 195. Does 13 divide g?
True
Let b(w) = -w**3 + 3*w**2 + 2*w - 4. Let z be b(3). Suppose n - 3 = z. Suppose 2*l + 216 = n*l. Is l a multiple of 24?
True
Suppose 5*l + 129 - 455 = -d, 0 = -4*d + l + 1220. Let a(j) = 6*j**2. Let k be a(1). Suppose -4*b + w = -419, k*b + 2*w - d = 3*b. Does 21 divide b?
False
Let t = 38 + -56. Is 9 a factor of 23 + (-9)/(t/8)?
True
Let s = 78 + -11. Let f = -36 + s. Is 20 a factor of (-1)/1 + f + -3?
False
Suppose 0 = -q + 4*q - 2*t - 3, 0 = -5*q - t + 18. Suppose 5*j - 3 = -q*z, 0*z - j - 1 = -z. Is z + 1 + 1260/18 a multiple of 18?
True
Let s be (0/((-16)/(-4)))/(-2). Suppose s = 5*x - 10. Suppose 0*y - x*y = -44. Is 11 a factor of y?
True
Let f(l) = -14*l + 1. Let j be f(-5). Let w = -310 + j. Is w/(-6) - (-2)/12 a multiple of 20?
True
Let r = 859 + -514. Suppose -r - 51 = -6*n. Is 22 a factor of n?
True
Suppose 3*b + 2*h - 434 = 0, 2*b - 23*h + 18*h - 283 = 0. Is 72 a factor of b?
True
Let w = -63 - 17. Let j = -59 - w. Is j a multiple of 3?
True
Suppose 0 = -45*h - 32*h + 85932. Is 50 a factor of h?
False
Suppose -3*m - 3*g = -7683, 3*m - 19*g + 13*g - 7728 = 0. Does 37 divide m?
False
Suppose -2*p = -0*h - 4*h + 364, 455 = 5*h - p. Let b be (3 - (5 + 1)) + h. Suppose 0 = 2*c - 5*l - 129, 4*c - b = -2*l + 206. Does 24 divide c?
True
Suppose 0 = 4*n - 3*t + 15, 4*t + 10 = 6*t. Let g(z) = -1 + 3*z + 13*z + n + 2. Is 14 a factor of g(1)?
False
Let v be ((-4)/(-6))/((-3)/27). Does 28 divide (-9 - v)/((-6)/118)?
False
Suppose -3*g - 2*r - 50 = -14, -r - 25 = 2*g. Is (5/((-25)/g))/((-6)/(-30)) a multiple of 14?
True
Suppose 12 = -4*v - 0*v, -3*v - 324 = -3*z. Let y be 2 + (1 - (2 - 4)). Suppose 0*g = y*g - z. Is 21 a factor of g?
True
Let p = 1355 + -1112. Is 27 a factor of p?
True
Suppose 169*w - 301 = 162*w. Is 43 a factor of w?
True
Let c(y) be the third derivative of y**6/120 - 4*y**5/15 + 2*y**4/3 + 7*y**3/2 + 4*y**2. Is c(15) a multiple of 28?
False
Let g be 3*(1/(-3) + 24/18). Is 3 a factor of (-1)/(g/(4 + -91))?
False
Let i = 5783 - 3389. Is i a multiple of 9?
True
Suppose -76 = 2*t - 86. Suppose t*u - 18*u = -1300. Is 10 a factor of u?
True
Suppose -2*n + 7 = 29. Suppose -5 + 0 = -f, -2*i = -f - 97. Let c = i + n. Is 11 a factor of c?
False
Let u(f) = -f**3 - 4*f**2 - 6*f - 2. Let i be u(-4). Let y(r) = -r**2 + 25*r + 27. Is y(i) a multiple of 13?
False
Suppose -83781 = -50*v - 9181. Is v a multiple of 27?
False
Suppose 4*z - 60 = 3*z. Suppose -l - z = -5*l. Is l a multiple of 8?
False
Suppose -h - 1 = 4*h - 4*g, -3*g = 4*h - 24. Let z(i) = -2*i**3 - 6 + h + 3*i**3 - 2*i - 2*i + 5*i**2. Does 17 divide z(-5)?
True
Let y = -3690 - -6244. Is 56 a factor of y?
False
Let i be (-144)/(-8)*5/2. Suppose d = 5*c - 19 - 16, -i = -5*c + 3*d. Suppose -10*h = -c*h - 256. Does 16 divide h?
True
Let g(l) = 2*l - 9. Let f be g(3). Let c(p) = -18*p + 3. Does 7 divide c(f)?
False
Let f(g) = -21*g**3 - 2*g**2 + 2. Let o be f(-1). Is 19 a factor of ((-114)/(-4))/(o/56)?
True
Let r(f) = f**3 + 5*f**2 + 5*f + 1. Let g be r(-4). Does 22 divide -3*-77*(-2)/g?
True
Let a = -36 + 39. Suppose -m + 42 = n + n, m + n - 45 = 0. Suppose a*h - 4*i - m = 0, -2*h = -h - 5*i - 27. Is 4 a factor of h?
True
Does 24 divide ((-1296)/(-6))/(24/64)?
True
Let m(c) = 6*c**2 + c**2 - 8*c**2 - 3. Let n(w) = -w**2 - w - 2. Let d(o) = 2*m(o) - 3*n(o). Does 10 divide d(-5)?
True
Let l(p) = p**2 - 6*p - 3. Let s = -14 - -10. Let r be l(s). Suppose 4*u - r - 91 = 0. Does 8 divide u?
True
Suppose 4*d - 24 = -4*j, 4*d + 6 = 6*d - j. Suppose -521 = -3*o + d. Is 25 a factor of o?
True
Let s be (0 - 1)/(91/(-28) - -3). Suppose 178 = 5*o - 2*a + 3*a, 5*o - s*a - 188 = 0. Does 9 divide o?
True
Let p = -722 + 1253. Is p a multiple of 33?
False
Let s = -32 + 31. Is (s/(-1) - 46)/(-1) a multiple of 7?
False
Let f(a) = a**3 + 11*a**2 + 9*a - 19. Does 3 divide f(-7)?
True
Let n be (42/(-3))/(1/(-3)). Suppose 4*i - i = n. Does 7 divide i?
True
Suppose -2*u + 3*l + 81 = -636, -2 = -2*l. Does 72 divide u?
True
Suppose 2*g = 2*m - 2234, -6*m + 4483 = -2*m + g. Is m a multiple of 20?
True
Suppose -16 = -4*a + 2*k, -2*a = -4*a + 3*k + 12. Suppose 50 + 105 = a*i - 4*c, 3*i + c = 175. Let b = i + 27. Does 32 divide b?
False
Let v be (-1 + 4 - 123) + 3. Let y be -394*((-2)/(-4))/(-1). Let c = v + y. Is 10 a factor of c?
True
Suppose j - 31 - 13 = 0. Suppose 2*l - j + 18 = 0. Is 11 a factor of l?
False
Suppose 0*f - f = -15. Let r = -22 + f. Let l = 23 + r. Is 5 a factor of l?
False
Let b = -88 - -17. Let s = b - -93. Is s a multiple of 4?
False
Suppose -25 = 41*t - 2567. Is t a multiple of 18?
False
Let h = 159 + 288. Is 23 a factor of h?
False
Let k(o) = -o - 15. Let d be k(-17). Is 30 a factor of (-360)/6*(-3)/d?
True
Suppose -3*p + 6 - 3 = 0. Suppose 9 - p = 4*n. Is 13 a factor of n/((-7)/(364/(-8)))?
True
Let m = 292 - 237. Is m a multiple of 3?
False
Let h = -20 - -16. Let i be h + (-7)/(14/(-16)). Suppose 177 = i*k - 115. Is 17 a factor of k?
False
Let d = 73 + -90. Let z = 29 - d. Is 7 a factor of z?
False
Suppose 4*k = 6 + 42. Is 122/18 - k/(-54) a multiple of 5?
False
Suppose 8*m = 70 - 414. Let p = m - -63. Is p a multiple of 5?
True
Suppose -7*f = -530 - 1045. Is 25 a factor of f?
True
Let i(a) = a**2 - 10*a + 35. Let v be i(5). Suppose -v*x - 273 = -11*x. Does 39 divide x?
True
Let n be (-2)/(-1 - (-143)/141). Let y = n + 197. Is 28 a factor of y/1 - (-2 + 2)?
True
Suppose 148*h - 164*h = -31920. Is 95 a factor of h?
True
Let n = -8 - -10. Let j(q) = -q + 2 + 15*q**2 + 13*q**n + 3*q. Is 14 a factor of j(-1)?
True
Let h = 34 - 32. Suppose 3*l - 4*l = h, 86 = 2*s - 2*l. Is s a multiple of 7?
False
Let v(d) = d + 1. Let o be v(2). Suppose 4*u - n = o*n + 124, -3*u + 87 = 3*n. Let z = u + 77. Does 37 divide z?
False
Suppose -39 = -2*p - u, 2*u + 7 - 68 = -3*p. Suppose p*q - 6*q - 1584 = 0. Does 36 divide q?
True
Suppose 5*h - 17 = 23. Let r be 2/h*0 + 0. Suppose -5*z + 6*u - 3*u + 40 = r, 0 = -5*z + u + 40. Does 4 divide z?
True
Let t(u) be the second derivative of 5*u**4/12 - 2*u**3/3 + u**2/2 + 22*u. Let g(d) = 2*d - 9. Let m be g(6). Does 12 divide t(m)?
False
Let x be (-912)/(-42) - 6/(-21). Suppose 0 = 2*j - x - 4. Is j a multiple of 3?
False
Suppose 0 = 5*f + i - 17, -2*f + 5*i + 2 = 2*f. Suppose f*p = 2*p + 6. Is 6 a factor of p?
True
Suppose 0 = -33*w + 46*w - 9568. Is w a multiple of 58?
False
Suppose -2*k = -0*k - 2. Suppose -k = -2*m - 61. Is (-1)/6 + (-305)/m a multiple of 3?
False
Let f(t) = -4*t**2 - 12*t - 24. Let g(n) = 3*n**2 + 12*n + 23. Let y(a) = 4*f(a) + 5*g(a). Let k be y(13). Does 13 divide k/(-4)*2*-13?
True
Is 17 a factor of 3/(-2)*(-1020)/(10 - 4)?
True
Suppose c + 2*c - 94 = -4*q, -q = 2*c - 61. Suppose -3*g - 3*b + 33 = -c, -41 = -g + 3*b. Is 26 a factor of g?
True
Suppose d = -3*d + 12, -4*m - d + 5587 = 0. Does 50 divide m?
False
Let t(s) = s**2 - 18*s + 1814. Is 17 a factor of t(0)?
False
Let x = -9 + 14. Let i(p) = p + x*p - 2*p - 3. Is 3 a factor of i(2)?
False
Let k(a) be the second derivative of -a**3/3 - 3*a**2 - 4*a. Let u be k(-4). Suppose 2*y - y - 40 = u*n, 0 = 3*n + 9. Is 17 a factor of y?
True
Let z = 311 + -287. Suppose g - 3*g + 10 = 0. Suppose -p + g*p = z. Is p a multiple of 3?
True
Let v = 2812 - 1993. Does 13 divide v?
True
Suppose 3*r + 6 = f + 1, 5*r + 5 = f. Suppose 0 = 2*j + f*j - 700. Is 20 a factor of