58 divide k?
True
Suppose -24*c = -10*c - 812. Is c a multiple of 4?
False
Let t(a) be the third derivative of -a**7/840 + a**6/40 - 11*a**5/120 + 3*a**4/8 + a**3 - 6*a**2. Let c(q) be the first derivative of t(q). Does 5 divide c(7)?
True
Suppose -4*l - 3082 = -3*y, -5*y + 1028 = -4*y - l. Is y a multiple of 10?
True
Let k(w) be the first derivative of w**4/4 + 3*w**3 + 3*w**2/2 + 11. Is k(-6) a multiple of 30?
True
Let q(y) = 16*y**3 - y**2 + 1. Let r be q(1). Let p be 4/(r/(-12)) + 52. Suppose 3*v = -g + p, -g = 5*v + 32 - 111. Does 4 divide v?
False
Suppose 91 + 34 = 5*y. Is (-10)/y*(-1)/(2/430) a multiple of 43?
True
Let a(x) = 5*x**2 - 2*x + 2. Let p be a(1). Suppose 4*q + 4*s - 24 = 0, p*q = -0*q - 4*s + 28. Suppose -q - 6 = -2*b, 4*k = 4*b + 16. Is k a multiple of 9?
True
Let m(k) = 18*k - 88. Does 4 divide m(10)?
True
Suppose 352 + 72 = u. Suppose 4*t + u = -0*f + 4*f, -2*t = -3*f + 317. Does 6 divide f?
False
Let p = 217 - 31. Suppose 2*g + 3*m + 50 = 248, -2*g + 3*m = -p. Is 6 a factor of g?
True
Suppose 6*k - 126 = -0*k. Suppose -x = j + 2, -3*j - k = -x - x. Is 2 a factor of x?
False
Suppose -p + 507 = -3*k, -10 = -2*k - 0*k. Suppose -5*b + 2*c + p = 0, -2*c + 210 = 2*b - 4*c. Is 18 a factor of b?
False
Let y(t) = 4*t**2 + t + 7 - 13 + 5 + t**3. Let m be 0/2 + -3*1. Is y(m) even?
False
Suppose -976 = 24*x - 25*x. Is x a multiple of 7?
False
Suppose 44*m - 33*m = 14740. Is 20 a factor of m?
True
Does 77 divide 328*4 + 0 + -3?
True
Suppose 0 = 2*z - 5*d - 255 - 184, 3*z + 5*d = 721. Is 78 a factor of z?
False
Let v = 31 - -171. Does 19 divide v?
False
Let l = 107 - -374. Is l a multiple of 13?
True
Let s(z) = 5*z - 33. Suppose -3*o = i - o - 18, 2*i = -5*o + 41. Does 3 divide s(i)?
False
Let l = -118 + 120. Suppose -s + 546 = l*s. Is 26 a factor of s?
True
Let f(i) = -7*i - 2*i**3 + 1 + i**3 - 5*i**2 + 2*i**3 - 6. Let o be f(7). Suppose 0 = -2*p - 2*p + o. Does 9 divide p?
False
Let v = -54 + 60. Let b be 6/(-3)*(-53)/2. Let g = b - v. Does 13 divide g?
False
Suppose -10 = 2*p, -2*p - p - 235 = 2*n. Let y = n - -178. Is 17 a factor of y?
True
Let l be (-12)/12 + 176/2. Let m = 25 + l. Does 16 divide m?
True
Let i = 345 + -10. Suppose g + 4*g = i. Is 10 a factor of g?
False
Let j be -1*33*(-5)/((-5)/1). Does 9 divide ((320/15)/4)/((-1)/j)?
False
Suppose -2*x + 424 = -4*x. Let f = 326 + x. Is f a multiple of 19?
True
Let k(o) = -8*o - 22. Let q be k(-5). Suppose -4*i = -2*d + q, -2*i + 23 + 4 = 3*d. Does 9 divide d?
True
Let y = -85 - -51. Let l = 86 + y. Suppose -4*h = -3*z + l, 5*z = -0*h + 4*h + 84. Is 16 a factor of z?
True
Suppose -3*p - 11 + 32 = 0. Let v = p + -3. Suppose -g - 12 = -v*g. Is 2 a factor of g?
True
Suppose 4*h - 3306 = -4*t + 2170, 4*t - 1384 = -h. Does 62 divide h?
True
Does 10 divide (6/(-9))/((-4)/60)?
True
Suppose -3*p = -5*c - 1256, -5*c + 1306 = 7*p - 4*p. Does 43 divide p?
False
Let o be 6/27 + 8/(-36). Is -7 + (o - -167) + (0 - 1) a multiple of 19?
False
Let p = 2975 + -2519. Is p a multiple of 24?
True
Let d = -60 - -63. Is 8 a factor of (-20)/d*(-105)/28?
False
Suppose 23 - 1 = 4*s + 3*b, 0 = s + 2*b - 8. Let q be 4 - (-1277 - s/(-4)). Does 20 divide q/(-100)*10/(-2)?
False
Suppose 5*a - 7175 = -2*l - 942, 0 = 2*l + a - 6229. Does 25 divide l?
False
Suppose 4*m + m - 4*l = -60, 3*l - 15 = 0. Let z(n) = -n - 2. Let c be z(m). Suppose 0 = 3*f - 30 + c. Is 8 a factor of f?
True
Let a(b) be the first derivative of 1/4*b**4 + 9/2*b**2 - 6*b - 2 + 16/3*b**3. Does 33 divide a(-15)?
False
Suppose -3*i + 8*i - 10 = 0. Suppose -4*g = -i*g - 4*v + 8, 4*v = 3*g + 6. Suppose 5*z - 3*f - 339 = 0, -g*z + z + 75 = 3*f. Is 23 a factor of z?
True
Let j be 25634/98 + ((-9)/7)/(-3). Suppose 103 = -3*s + j. Is 8 a factor of s?
False
Let s be (12/(-20))/((-2)/1250). Suppose -3*w + s = 2*w. Does 13 divide w?
False
Suppose 2*k - 6*k + 2072 = 0. Let m(t) = -t**3 - 5*t**2 + 5*t - 2. Let g be m(-6). Suppose 0 = -g*i + q + k, 5*i - 5*q = 4*i + 139. Is i a multiple of 26?
False
Let n(c) = 66*c**3 + c**2 - 3*c + 2. Let m be n(1). Suppose -166 + m = -3*f + 5*j, 3*j - 24 = -f. Is 13 a factor of 6578/165 + 4/f?
False
Let h(b) = -2*b**3 - 20*b**2 + 9*b - 6. Is h(-12) a multiple of 33?
True
Let j = 3 + -5. Let c be 1 - (1 - (1 - j)). Suppose f = -c*y + 21, -3*f + y + 33 = -0*y. Does 12 divide f?
True
Suppose 4*d + 16 = 0, -3*d = 5*w + 11 + 1. Suppose -2*i + w*i = -34. Does 2 divide i?
False
Let b = -141 - -135. Let s(x) = -2*x**2 + 5*x - 3. Let v be s(4). Does 16 divide (b/(-4))/(v/(-220))?
False
Let r = 96 - 47. Suppose 0 = m - 4*s - r, 5*s + 5 = -10. Is m a multiple of 5?
False
Suppose -203 - 447 = -5*i. Suppose -u = 4*m + u - 520, m - 5*u - i = 0. Is m a multiple of 28?
False
Let p(n) = 7*n**3 + 9*n**2 - 19*n + 20. Does 67 divide p(6)?
True
Suppose 0 = 3*d + 18 + 27. Is 8 a factor of (-382)/(-10) - 12/d?
False
Let g be (-6)/(-39) - 2/13. Suppose 5*m - 20 = g, 8*q - 3*q - 3*m - 108 = 0. Is 6 a factor of q?
True
Let k(m) = -2*m**3 + 17*m**2 + 8*m + 26. Does 10 divide k(8)?
False
Let k(n) = 4*n**2 - 34*n - 10. Is k(15) a multiple of 19?
True
Suppose -35*d + 3234 = -28*d. Does 22 divide d?
True
Let k(g) = g**2 + 5*g + 3. Let a be k(-5). Suppose 0 = -2*y + a*y + 16. Let j = -7 - y. Does 5 divide j?
False
Let k(p) = p**2 - 7*p - 4. Let s be k(8). Suppose -4*v - 5*i + 31 = -3*v, -s*i = -4*v + 196. Suppose -4*h + 6 + v = 0. Is h a multiple of 13?
True
Suppose 0 = -n - 2*n + 1098. Is 6 a factor of n?
True
Let p = 1 - -1. Let k = 5 + p. Let i = 5 + k. Is 3 a factor of i?
True
Is (364/(-3))/((-36)/486) a multiple of 26?
True
Let f(s) = s**2 - 13*s + 27. Let k be f(11). Suppose 0 = -k*d - 314 + 839. Is 21 a factor of d?
True
Suppose -3*k - 1625 = -n, -2*n + k + 3230 = 5*k. Is n a multiple of 22?
False
Let b(y) = y**3 - 26*y**2 - 19*y - 56. Is 12 a factor of b(27)?
False
Suppose 7 = -2*d + 13. Suppose 5*k = -5*i + 2215, 4*i - i = -d. Suppose 5*u - u - k = 0. Is 15 a factor of u?
False
Let m(c) = 2*c**2 - 12*c + 3. Let q be m(5). Is 272 - (3 + q + 5 + -2) a multiple of 62?
False
Is 27 a factor of (-4)/(-10) + (43632/30)/9?
True
Suppose 0 = 4*w + 12 - 2108. Does 42 divide w?
False
Let r = 95 - 38. Suppose -x + i = 3*i - 16, i - r = -4*x. Does 2 divide x?
True
Suppose 5*q - 104 - 101 = 0. Is q a multiple of 2?
False
Let a = -282 - -440. Let u = a - 104. Does 6 divide u?
True
Let v = 7 - 4. Let t = v + 1. Suppose -133 = -t*z + 23. Does 8 divide z?
False
Suppose 6*m - 1334 = 3136. Is 8 a factor of m?
False
Let s(f) = 12 + 12*f + 8*f - 29*f. Does 9 divide s(-6)?
False
Let m be 9/4 - 1*2/8. Let w(v) = 3*v**2 + v - 4. Does 4 divide w(m)?
False
Suppose 3*h - 13 = -j - 0*h, 0 = j - 3*h + 5. Suppose 0 = -0*s - j*s - 3*u + 444, -3*s + 330 = 3*u. Is 38 a factor of s?
True
Let f be 7/(21/8)*(-15)/(-20). Suppose 0 = f*q + 3*c - 111, -12 = 5*q + 2*c - 306. Is 12 a factor of q?
True
Suppose 285 = 7*a - 1969. Is 23 a factor of a?
True
Let g = 1628 - 705. Does 91 divide g?
False
Let h be (3/(-2))/(18/(-444)). Let i = h - 19. Suppose 2*f + 3*f - i = -m, -5*m - 4*f + 48 = 0. Is m even?
True
Is 23 a factor of 14 + -5 + -4 - -1139?
False
Let q = 493 - 292. Does 19 divide q?
False
Does 7 divide (-35)/14 - 1*5435/(-10)?
False
Let h = 73 + -16. Let s = 17 - -109. Suppose 3*d - s = h. Is 20 a factor of d?
False
Is 23 a factor of (13643/(-28) + -7)*8/(-3)?
False
Let p(o) = -o**3 + 4*o**2 + o + 5. Let m be p(4). Let b = m - -21. Is b a multiple of 5?
True
Let t be (-4)/22 - (-282)/(-22). Let u(g) = -g**3 - 13*g**2 - 5*g + 5. Is 10 a factor of u(t)?
True
Is 1104/9 + 28/84 a multiple of 41?
True
Does 9 divide (-15937)/(-7) + 14/49?
True
Let f(y) = 2*y**2 + 17*y + 224. Is f(-32) a multiple of 46?
False
Suppose -n + 5*n = 68. Suppose 2*y - n = 19. Does 9 divide y?
True
Suppose t - 198 = -p, -4*t + 579 = -t - 2*p. Does 39 divide t?
True
Let b(x) = 2*x - 1. Suppose 5*l - 7 = -4*z - 2, -3*z + 3*l - 3 = 0. Let d be b(z). Let c(i) = -11*i - 2. Is 2 a factor of c(d)?
False
Let h be 303/2*(1 - 25/15). Let q = 164 + h. Is 63 a factor of q?
True
Suppose 0 = -3*t - 3*t - 1044. Let v = t + 366. Is 24 a factor of v?
True
Let l(g) = 7*g**2 - 23*g + 18*g + g**3 + 4 - 2*g**3. Let m(a) = a**3 - 3*a**2 - 3*a + 2. Let c be m(4). Is 9 a factor of l(c)?
False
Suppose -5*y - 2*b + 56 = 0, 19 = 4*