a factor of t?
False
Let s(q) = -7*q**2 + 18*q**2 + 7*q - 14*q**2 - q**3. Is s(-6) a multiple of 11?
True
Let t be ((-16)/(-24))/(2/12). Suppose -1112 = -t*m + y - 5*y, -5*y = 20. Does 13 divide m?
False
Let b(i) be the third derivative of -2*i**4/3 - 5*i**3/3 - i**2. Let u be b(-8). Suppose -3*g = -g - 5*p - 83, u = 2*g + 2*p. Is g a multiple of 17?
False
Let s be (6/(-10))/((-3)/10). Suppose -s*r + 19 - 64 = -u, -3*u - 3*r + 135 = 0. Is u a multiple of 17?
False
Let y(z) be the third derivative of -z**4/3 - z**3 + 43*z**2. Let c(a) = 2*a + 9. Let f be c(-6). Is 18 a factor of y(f)?
True
Let a be (-202)/(-4) - ((-18)/(-4) + -3). Let g = a + -32. Is 3 a factor of g?
False
Let h(x) = -x**2 + x - 7. Let p be h(-4). Let r = p + 138. Is r a multiple of 6?
False
Suppose -60 = 6*d - d. Let t be 1*4/(d/(-15)). Let r = 5 + t. Is 10 a factor of r?
True
Let x(r) = -r**3 - 9*r**2 - 8*r - 3. Let t be x(-6). Let z be (-14)/t - 2444/(-18). Let i = 208 - z. Does 24 divide i?
True
Suppose -2*b + 10 = 2*c, 4*c - 11 = -4*b + 3*b. Suppose b*u = -2*u + 850. Suppose -6*y + u = -y. Does 10 divide y?
False
Suppose -j - 17 = 2*y - 124, 70 = y - 5*j. Suppose 0 = y*c - 56*c + 54. Is c a multiple of 7?
False
Let h(q) = -q**2 + 10*q - 3. Suppose 6 = -u - 5*p, -4*u + 3*p = -2*p - 51. Is h(u) a multiple of 6?
True
Let z = 8 - 8. Suppose z = 2*g + q - 80, 0*q - 160 = -4*g - q. Suppose 0*l + g = 4*l. Is l a multiple of 5?
True
Suppose 7630 = 3*b + 4*o, -2*o = -12*b + 10*b + 5096. Does 38 divide b?
True
Let f = 27 - 48. Is 25 a factor of f/((-5)/((-350)/(-15)))?
False
Let h = -16 - -26. Is h a multiple of 2?
True
Suppose -187 - 150 = -4*p - 5*y, -3*y = -3*p + 246. Is p a multiple of 17?
False
Suppose -1553 = -4*q + 71. Is q a multiple of 14?
True
Let y = 126 + -66. Is (28/(-5))/((-8)/y) a multiple of 7?
True
Let j(x) = x**3 - 14*x**2 - 12*x - 9. Let c be j(15). Suppose 2*z + 0*z = 4*i + c, -5*z + 4*i = -84. Is z a multiple of 9?
False
Let o be -98 + 0 + (4 + 4)/(-4). Does 5 divide (o*(3 - 4))/2?
True
Suppose 2*g = -26 + 10. Let n be g/36 - 356/18. Let y = n - -31. Is y a multiple of 5?
False
Let s be 2/(-7) - (-111)/21. Let c be (4 - s)*(-16 + 1). Suppose -105 = -5*i + c. Is i a multiple of 10?
False
Suppose 89*p = 86*p, -5*x + 5*p + 3330 = 0. Is 118 a factor of x?
False
Suppose -36*l = -11593 - 29627. Does 66 divide l?
False
Suppose -112 = -3*u - 46. Does 3 divide 62/5 - u/55?
True
Let d be 96/20*20/6. Let w = 22 - d. Suppose 3*g = -r + 98, 0 = 5*g - 4*r + w*r - 163. Is g a multiple of 11?
True
Suppose 5955 = 5*t - 2175. Is 5 a factor of t?
False
Let n(g) = 3*g + 3. Let y be n(4). Suppose -12*w = 52 - 16. Let z = y + w. Is 3 a factor of z?
True
Suppose -10*p - 23 = -93. Let b(j) = 28*j + 2. Does 30 divide b(p)?
False
Suppose 5*l = 1103 - 433. Is l a multiple of 3?
False
Suppose -6*w - 686 = -1982. Does 4 divide w?
True
Let l(y) = 3*y**2 - 10*y - 15. Let b(a) = -a**2 + 5*a + 8. Let s(g) = 5*b(g) + 2*l(g). Let d be -2*(-2)/4*-7. Does 12 divide s(d)?
True
Suppose 5*r - 4*v = 11*r - 4990, 5*v = 2*r - 1676. Does 7 divide r?
True
Let t = 1673 - -1837. Is 90 a factor of t?
True
Let i(b) = -b + 64. Is i(10) a multiple of 28?
False
Let a(r) = -5*r - 18. Let u(c) = -14*c - 55. Let p(x) = -8*a(x) + 3*u(x). Is p(-21) a multiple of 6?
False
Suppose -4*h - 5*f = -1025, 7*h + 777 = 10*h + f. Is 20 a factor of h?
True
Suppose -2*i = i + v - 10, 2*v = -4*i + 16. Suppose -2*b + i*g + 54 = 0, 0 = -0*g - g - 1. Is 13 a factor of b?
True
Suppose 5*k = -2*d - 8, 5*d + 0*k + 4*k + 37 = 0. Suppose -12 = v - 5*v. Is 7 a factor of v/d*(-109 - 2)?
False
Suppose -2*h + 5*n - 146 + 3012 = 0, 3*n = 4*h - 5718. Is h a multiple of 102?
True
Let v(u) = 2*u - 1. Let a be v(-3). Let x = 65 + a. Is x a multiple of 17?
False
Let q(n) = 3*n**2 + 4*n - 29. Is q(-19) a multiple of 74?
False
Let m = 32 + -29. Suppose 5*u = -2*q + 167, -m*u + 12 = 4*q - 77. Is 7 a factor of u?
True
Let z = 4 - -8. Let f = 14 - z. Suppose -4*d + 54 = 5*b, -d - f = 3*b - 19. Is 2 a factor of d?
False
Suppose 0*n = -n. Let d be (4/8 - n)*118. Suppose -3*j - d = -4*j. Is j a multiple of 19?
False
Let j be (-2 - -4)/((-12)/(-222)). Suppose -w = -2*v - 2*w + j, 0 = 3*v - 2*w - 38. Is v a multiple of 2?
True
Let a = 55 - 79. Does 22 divide -6 - 4758/a - 1/4?
False
Let g = -188 - -309. Is g a multiple of 17?
False
Let y be (-56)/4*(-7)/(-2). Let v = y + 82. Is v a multiple of 7?
False
Suppose 0 = -5*w + 6*w + 2*i - 1166, 0 = w - 4*i - 1196. Is 28 a factor of w?
True
Suppose -6*n + 0*n + 24 = 0. Suppose 4*c + 44 = s + 2*c, -n*c = -5*s + 238. Is 10 a factor of s?
True
Let a(h) = 7*h**2 + 6*h + 15. Does 16 divide a(7)?
True
Suppose -18*s + 12*s = -204. Does 12 divide 453/7 - s/(-119)?
False
Suppose 3*b + 5*u = 29, -3*b = u - 34 - 3. Let l = -9 + b. Suppose 6*c + l*g = 2*c + 32, 2*c + 3*g - 14 = 0. Does 10 divide c?
True
Let t(h) = -7*h**2 - 4*h**2 - 5*h + 11 + 12*h**2. Does 28 divide t(11)?
False
Suppose -4*j = -4*g - 68, 87 - 35 = -3*g + 4*j. Let f = 36 + g. Is 10 a factor of 4/6*(f + -2)?
False
Suppose s = 2*s + k - 2246, 0 = -3*s + 5*k + 6778. Is s a multiple of 21?
False
Let b(m) be the third derivative of 7*m**4/24 - 41*m**3/6 - 34*m**2. Is 18 a factor of b(11)?
True
Suppose 31*b - 5491 = 24889. Is b a multiple of 20?
True
Let l(p) = 58*p + 7. Let v(m) = -59*m - 6. Let f(s) = 3*l(s) + 4*v(s). Does 11 divide f(-1)?
False
Suppose 30*v - 32*v + 400 = 0. Is v a multiple of 10?
True
Suppose t + 5*i = 4, 0*t + t - 5*i = 4. Suppose 5*p - 50 = 2*y, -2*p - t*y - 60 = -7*p. Is p even?
True
Suppose -88 - 224 = 6*d. Is 2*4/((-32)/d) a multiple of 5?
False
Let z(s) = -11*s - 4. Let t = -10 - -11. Let w = t - 5. Is 20 a factor of z(w)?
True
Let k = 23 + -25. Let t(f) = -2 + 1 - 2 + 13*f**2. Is 16 a factor of t(k)?
False
Suppose -z + 168 = 2*z. Suppose 0 = 3*p - 4*l - z, 0 = -5*p + 2*l - 7*l + 105. Is 8/p + 53/5 a multiple of 4?
False
Let i(k) = -5*k**3 + 3*k - 2. Suppose 6*c + 7 = 3*c + p, 3*p + 6 = 0. Is i(c) a multiple of 16?
False
Let u(z) = 4*z**2 - 16*z + 2. Suppose 0 = -5*t + 2*x + 39, -4*x = 5*t - 3*t - 6. Does 20 divide u(t)?
False
Is -6 + 16/(-56)*-7721 a multiple of 25?
True
Let s = 8862 + -3087. Suppose 4*v - s = -11*v. Is 53 a factor of v?
False
Let o be 0 - 15 - (13 - 12). Is 6/((6/o)/(-1)) a multiple of 7?
False
Suppose -3*w = -4*y - 889, -275 = -7*w + 6*w - 4*y. Is w a multiple of 3?
True
Suppose 5*n - 8 = n. Let l be -2 + n - (-3 - -1). Suppose k - 36 = -4*q, l*q - 29 = -2*k + 19. Does 5 divide k?
True
Let x(y) = -y**2 + 23*y + 2. Is 67 a factor of x(12)?
True
Let d(q) = -q**3 + 4*q**2 + 5*q + 2. Is d(-7) a multiple of 23?
True
Does 25 divide 2619/15 - (-12)/(-20)?
False
Let p = -52 - -182. Suppose -5*f + 302 = -v, f - 5*v - p = -f. Is f a multiple of 21?
False
Suppose j + 4 = -17. Let r be j/4*(-48)/(-9). Is 39/26*r/(-6) a multiple of 7?
True
Suppose -16*y = -18*y + 10. Suppose 0 = 2*j - 0*j + n - 8, 0 = -5*j + y*n + 5. Is 10 a factor of -1 + 35 + 6/j?
False
Is 42 a factor of 6*(-4)/8 + 241?
False
Let n be 1 + (32/4)/4. Let x(h) = h**2 - h - 2. Let c be x(n). Suppose 0*w - 20 = -c*w. Is w even?
False
Suppose -65033 = -26*q - 1255. Is 32 a factor of q?
False
Let j be ((-3)/(-6))/((-2)/4). Let y be (-4 + j/(-1))*1. Does 7 divide 1/y - 640/(-30)?
True
Suppose v - 62 = -4*c, -11*c + 6 = -14*c. Is 7 a factor of v?
True
Let i(c) = 3*c + 96. Is 25 a factor of i(-5)?
False
Is 22 + -21 - (-779 - -1) a multiple of 41?
True
Let n be -802*4/32*4. Let a = n + 661. Is 11 a factor of a?
False
Suppose -d + 178 = 5*x, 2*x - 7*x = -20. Let m = d + 4. Is 18 a factor of m?
True
Suppose -4*x = 2*l + 40, 3*l + 30 = -3*x - 2*l. Let h = x - -13. Suppose -h*t + 28 = -5*a - 126, -5*t - 3*a = -234. Is 11 a factor of t?
False
Let h(i) be the third derivative of i**6/360 - 7*i**5/120 + 5*i**4/8 + i**3/3 + 8*i**2. Let o(c) be the first derivative of h(c). Does 9 divide o(6)?
True
Suppose -1490 = -70*m + 65*m. Is m a multiple of 4?
False
Suppose 3*j + 69 + 12087 = 5*i, -5*j + 9710 = 4*i. Does 135 divide i?
True
Suppose 0 = -41*s + 36*s - 180. Let h = 87 - s. Is 24 a factor of h?
False
Let d = 281 - 158. Let g = d + -32. Is 11 a factor of g?
False
Let a(s) = s**2 + 4*s + 1. Let u be a(-3). Let h = 2 + u. Suppose -3*b = 4*k - 210, -b - 4*k + 2*k + 70 = h. Is 14 a