- 55. Let b be 3/(-3)*(-12)/(-2). Does 10 divide q(b)?
False
Suppose -73 = 4*u - 2*g - 15, 4*u = -g - 55. Does 3 divide 1/(512/(-1456) + (-6)/u)?
False
Let d = -61 - -2583. Suppose 0 = -6*z + d + 1762. Is z a multiple of 21?
True
Let j = -8 + -244. Let d = j - -141. Let n = -67 - d. Is n a multiple of 7?
False
Suppose 0 = -3*p - 3*a + 18, 10 = -0*p - p + 3*a. Let r be ((-31 - 3) + 0)/p. Let q = r + 33. Is 8 a factor of q?
True
Does 43 divide -95073*14/(-15 + -27)?
True
Suppose 6 = -10*k - 14. Is 16 a factor of ((-869)/33)/(((-4)/(-6))/k)?
False
Let q = -48 - -52. Suppose -q*w - 7 = -27. Suppose -u = -w*u + 120. Is u a multiple of 19?
False
Let d(z) = 706*z**2 + 114*z - 754. Does 6 divide d(7)?
True
Let d = 47 + 42. Let k be -3*(-2)/(2/d). Suppose 4*t - 217 = k. Is 19 a factor of t?
False
Let a = 7094 - 3650. Does 14 divide a?
True
Let n(v) = -v**2 + 29*v + 13. Does 3 divide n(5)?
False
Let q(s) = 100*s + 8829. Is q(21) a multiple of 78?
False
Let z(c) = -13*c**3 - 6*c**2 - 26*c + 4. Let l(a) = 11*a**3 + 6*a**2 + 25*a - 4. Let g(p) = 6*l(p) + 5*z(p). Is g(7) a multiple of 7?
False
Let i(h) = 9*h + 190. Let l(r) = -r**3 + 10*r**2 - 22*r - 1. Let z be l(7). Does 3 divide i(z)?
False
Let f(j) = -12*j - 53. Let l be f(-22). Let m = l + -182. Is m a multiple of 3?
False
Let h = -980 + 435. Let q = h - -1504. Is 12 a factor of q?
False
Let f(r) = r + 114. Let p be f(4). Suppose -5*n + p + 407 = 0. Does 7 divide n?
True
Suppose -15*h - 70 - 20 = 0. Is 32 a factor of (-36)/1*16/h?
True
Let s be -7*(-2)/(-7) + 987 + -1. Let h = s - -186. Is h a multiple of 39?
True
Suppose -5*i = -4*i - 198 - 210. Is i a multiple of 68?
True
Suppose -3*a = 5*i - 3855, 5*a + 123*i - 127*i = 6388. Is a a multiple of 8?
True
Is (33 + -32)*(0 + 8462) a multiple of 3?
False
Suppose -6*i = -43*i + 3*i - 34. Suppose 1 - 3 = -u. Does 12 divide 52 - ((u + i)/1 + 1)?
False
Let x = -915 + 1965. Suppose 8*s - 2*s = x. Does 26 divide s?
False
Let r be 1*((-1)/1 - 82/2). Is 9 a factor of 73848/126 - (-4)/r?
False
Suppose 4*t - 155 = -87. Suppose 0 = -5*g - t*g + 5676. Is 72 a factor of g?
False
Let p = 726 + -1198. Let m = 663 + p. Is 36 a factor of m?
False
Suppose 4*q + 17 = -5*n, 4*q + 4 = -n + 7. Suppose -b = q*b - 108. Does 44 divide (-27)/b + 1134/8?
False
Let l(r) = -22*r**3 - r**2 - 16*r + 99. Is l(-9) a multiple of 24?
True
Let a(b) be the second derivative of b**5/20 - 3*b**4/4 + b**3/3 - 2*b**2 + 40*b + 3. Let t be (4/3)/((-6)/(-45)). Is 16 a factor of a(t)?
False
Let p(q) = -q**3 - 8*q**2 - 6*q + 9. Let r be p(-7). Suppose 0 = -5*b - 20, -r*b + 4 = 2*i - b. Suppose -w + 59 = l, 200 = i*w - 5*l - 27. Is 15 a factor of w?
False
Let k = -50 + 56. Let t(z) = 5*z - 5 + 1 + 2 - 16. Does 4 divide t(k)?
True
Let j(d) = d**3 - 2*d**2 - d - 25. Let p be j(4). Suppose -364 = -2*k - 2*k + 4*m, 5*m - 265 = -p*k. Is 15 a factor of k?
True
Suppose 0 = -u - 5*m + 23, -15*u = -20*u - 2*m + 115. Suppose u*n - 2221 = 11855. Is n a multiple of 12?
True
Let a be (30/(-25) - -3)/((-3)/(-15)). Is 0 + (-2)/a - 14850/(-1215) a multiple of 4?
True
Does 38 divide 2 - 0 - -23521 - (3 + -5)?
False
Let c(d) = -13*d - 7. Let s be c(-1). Suppose -5*j + 10 = -3*f, -f + s = -4*j + 7*j. Suppose f = 5*t - 73 - 17. Is t a multiple of 2?
True
Let a = -849 + 852. Suppose a*k - 1155 = x, -6*k - 3*x = -5*k - 385. Does 17 divide k?
False
Let u(a) = a**3 - 25*a**2 + 38*a - 91. Suppose -2*x = 5*m - 130, -4*m + 28*x = 30*x - 106. Is u(m) a multiple of 7?
True
Let j = 2372 + -2062. Let b = -1 - -1. Suppose j = 5*m - b*m. Is 13 a factor of m?
False
Suppose 0*v - 261128 = -34*v + 39058. Is v a multiple of 81?
True
Let j(t) = 15*t + 2*t**2 - 42 - 23 + 19*t + t**2. Does 28 divide j(-17)?
True
Suppose 16 = -4*p, 621*t - 623*t + 4*p = -2754. Is t a multiple of 37?
True
Let d = 97 - 77. Does 7 divide 35/d*1120/5?
True
Let d be (31/(-5) + 5)*80/6. Does 51 divide (d - -917) + (1 - -2)?
False
Suppose 0 = -v - 16 - 13. Let r = 31 + v. Suppose 2*t - r*l - l = 19, t - 3*l = 5. Does 3 divide t?
False
Let i be -10*(1/(-2))/(5/4). Suppose i*f = -10 - 58. Let z = f - -31. Does 11 divide z?
False
Suppose -5*q - 5*m + 46430 = 0, -21*m + 20*m + 27870 = 3*q. Is q a multiple of 46?
True
Let t(c) = -4*c**3 - 8*c**2 - c - 3. Let y be 4*(0 - (-15)/(-20)). Is t(y) a multiple of 6?
True
Suppose -61*b = -b - 12*b - 149712. Is 24 a factor of b?
False
Suppose -170 = -18*d + 23*d. Let q = 61 - d. Does 76 divide q?
False
Let l = 1122 + 43. Does 3 divide l?
False
Suppose -2*b + 0*b - 4*o + 1530 = 0, -3*o + 3 = 0. Suppose q = l + b, -q - 5*l + 34 + 705 = 0. Suppose -7*j = -81 - q. Is 20 a factor of j?
True
Let v(x) = 27*x**2 + 12*x + 11. Let d be v(-7). Suppose -5*u = -2*f + d, 5*f - 5*u = -u + 3108. Let b = -332 + f. Is b a multiple of 39?
False
Suppose 2*j - 5*g = 3, 2*j + 2*j + 5 = -g. Let z(i) = 7*i - 4*i + 43*i**2 + 164 - 2*i - 162. Does 9 divide z(j)?
False
Is 31 a factor of ((-18)/4)/3*(471 + -470)*-29970?
False
Let z(q) = -45*q**3 + 63*q**2 + 653*q. Is z(-9) a multiple of 133?
False
Suppose 0 = 187*j - 353*j + 2375128. Is j a multiple of 24?
False
Let q = -17858 - -24620. Is q a multiple of 69?
True
Let v(y) be the first derivative of -17*y**2/2 + 151*y - 38. Is 76 a factor of v(4)?
False
Suppose 0 = 5*o - 288 + 113. Let f = -29 + o. Suppose -f*p + 445 = -p. Is p a multiple of 17?
False
Suppose -3*v + 43 = -2*a, -5*a + 29 - 91 = -4*v. Suppose 0 = 5*j - 2*j - 309. Suppose v - j = -3*i. Is 9 a factor of i?
False
Suppose -3*b - 2*b = r - 30, -2*r - 5*b + 35 = 0. Let o be (r - 0)*(-4)/5 + 82. Is 1454/13 - (-4 + 300/o) a multiple of 16?
True
Suppose -3*q + 5*q - 5*a = -20, -a + 4 = -5*q. Suppose 7*x + q*x - 476 = 0. Is 4 a factor of x?
True
Let h = -30 + -4. Let z = h + 62. Does 9 divide 5/((-10)/z)*72/(-16)?
True
Suppose -6 = -5*f + 2*b, b - 6*b = 2*f - 14. Suppose -2*d + 2018 = -4*t, -t - t = f*d - 2006. Suppose 12*s - d = 7*s. Does 25 divide s?
False
Let y be ((-34)/(-7))/(4/196*7). Suppose 160 = f + y. Is f a multiple of 9?
True
Let z be (5 - 0 - -1)*(-9)/(-27). Let r(l) = 35*l**3 + 2*l**2 - 8*l + 11. Is 5 a factor of r(z)?
False
Let o = 7407 + -6086. Is o even?
False
Is 57 a factor of (18*4/72)/((6/2)/4173)?
False
Suppose -2*o - 92 = 4*h, -2*o = -h + o - 30. Let a = 7 + h. Is 21 a factor of (9/4)/(a/(-476))?
True
Let s = -782 + 573. Let h = 71 - s. Is 10 a factor of h?
True
Let l be -3 + (2 + 918)*(-6)/(-15). Let s = 15 + l. Is 10 a factor of s?
True
Let t(y) = -y**3 + 13*y**2 - 10*y + 33. Let v be t(14). Let g = 360 + v. Does 4 divide g?
False
Let d = -448 + 464. Suppose -d*f = 5401 - 16921. Is f a multiple of 15?
True
Let o be 1170/2 - (7 - (3 - -6)). Suppose 73 = -u + o. Does 13 divide u?
False
Let a(j) = 1214*j + 1032. Does 16 divide a(13)?
False
Let s = 5 - -38. Let v = -35 + s. Suppose -v*d + 594 + 230 = 0. Is d a multiple of 11?
False
Let m(i) = -i**3 - 19*i**2 - 83*i - 23. Let z be m(-35). Is 61 a factor of 4 - (-3)/(-6)*z/(-9)?
False
Let h be (-1)/(-2)*(-2 - -214). Let y(i) = -127*i - 1898. Let k be y(-15). Suppose 6*d - k*d = -h. Does 23 divide d?
False
Suppose 190 = 7*t + 3*t. Suppose 0*c + 16 = c - 4*r, 2*c = 2*r + 8. Let v = t + c. Does 13 divide v?
False
Let w = 24964 + -24107. Is w a multiple of 115?
False
Suppose -1887 = -23*o + 6*o. Suppose -3*q + o = -15. Does 12 divide q?
False
Suppose -8*n = -3*n - 40. Let x(k) = -46*k + 26. Let u be x(n). Is 19 a factor of (u/(-45))/(3/30)?
True
Suppose -2*c - 13 = -2*a - 49, -c + 24 = -3*a. Suppose -13*l - c = -16*l. Suppose 3*h = -4*q + 439, -3*h + 0*h + 545 = l*q. Is 12 a factor of q?
False
Suppose -2*c + i + 9903 = -0*c, 5*c = -5*i + 24780. Is c a multiple of 39?
True
Let k(d) = -2*d**3 - 3*d**2 - 12*d - 11. Let g(v) = -v**2 + 5*v - 12. Let f be g(2). Does 3 divide k(f)?
False
Let h = 2361 + 6161. Is h a multiple of 34?
False
Suppose 0 = -c - 15*l + 11*l - 13, -5*l = 2*c + 14. Suppose 9*a + 1265 = c*n + 5*a, 5*n + 3*a = 2147. Is 16 a factor of n?
False
Let m(f) = f**2 - 9*f + 20. Let j be m(6). Suppose -5*t = -j*t - 96. Suppose -p + 33 = -t. Is 13 a factor of p?
True
Let o be 5*(-1)/(1/4*10). Does 4 divide (544/10 - o) + 64/(-160)?
True
Suppose -2*f + 12 = -4*f, 1104 = 4*w - 4*f. Does 90 divide w?
True
Suppose -39248 = 20*y - 56*y + 25*y. Does 45 divide y?
False
Let k = 64159 + -