se 2*j = 4*j + 8. Let l be (-12)/((-8)/j) + 2. Does 17 divide 1*68*(-3)/l?
True
Let y be 2/4 + 5/(-2). Let b(h) = 2*h**2 + h - 2. Let f be b(y). Suppose -132 = -f*g + 156. Is g a multiple of 19?
False
Suppose 0 = -12*w + 4725 + 3567. Is w a multiple of 27?
False
Let y(s) = 3*s**3 + 10*s**2 - 14*s - 16. Let o(z) = 7*z**3 + 19*z**2 - 27*z - 32. Let h(m) = -2*o(m) + 5*y(m). Does 10 divide h(-13)?
False
Suppose 0 = 21*h - 28*h + 3150. Does 57 divide h?
False
Let p = -264 - -591. Let u = p + -231. Does 24 divide u?
True
Is ((-21060)/(-55))/6 - (-4)/22 a multiple of 30?
False
Let t be 174/15 - 2/(-5). Suppose 5*r - t = 13. Suppose 3*o = r*o - 152. Does 38 divide o?
True
Let x(j) = 2*j**2 + 16*j + 3. Let o be x(-12). Suppose -o = 12*k - 13*k. Does 11 divide k?
True
Let z be (1/3)/(4/(-12)). Let q = 5 + z. Suppose -62 = -q*x + 22. Does 15 divide x?
False
Is 17 a factor of 1771/9 + (-64)/(-288)?
False
Let m be 7/(-14) + 93/6. Suppose 0 = -4*i + 2*w - 2 + 8, -3*i = -5*w - m. Suppose i = 4*t - 171 + 27. Does 12 divide t?
True
Suppose -5*k - 5 + 30 = 0. Suppose -23 = -k*l + 4*l. Does 7 divide l?
False
Suppose 0 = s + 1, 5*p + 5*s - 4*s + 1 = 0. Let d be (24/(-21))/(4/(-14)). Suppose p = d*r + 25 - 109. Is r a multiple of 21?
True
Let u be -27*((-6)/3)/(-2). Let k = -13 - u. Is 7 a factor of k?
True
Let j be 1 - (0 - (2 + -1)). Suppose 0*o + 55 = 5*h - 3*o, j*h + 2*o = 6. Suppose -h*f = -5*f - 132. Does 11 divide f?
True
Suppose -2*k = 4*i - i - 57, -4*k - 2*i = -94. Suppose -23*a + k*a + 56 = 0. Is a a multiple of 14?
True
Let i = 398 + -206. Is i a multiple of 4?
True
Let s(g) be the second derivative of g**5/20 + g**4/2 + g**3/2 - 5*g**2/2 - 6*g. Let q be s(-5). Suppose -95 = -q*a - i - 3*i, 2*a = 5*i + 38. Does 6 divide a?
False
Suppose -d = -0*d - 4. Suppose -2*b - b = 4*f - 43, -2*f + 2*b = -d. Suppose f*y - 80 = 3*y. Does 10 divide y?
True
Let h(b) = -b**2 - 17*b - 16. Let k be h(-15). Let z be 0/k - 6/2. Does 9 divide ((-172)/(-6))/((-2)/z)?
False
Let g = -587 - -909. Does 7 divide g?
True
Let x(f) = -58*f**3 - 6*f**2 - 20*f - 5. Does 45 divide x(-3)?
False
Let s = 34 - 20. Let m = s - 19. Does 9 divide (-1)/m - (-538)/10?
True
Let y = -56 + 19. Let o = y - -63. Is o a multiple of 13?
True
Suppose 3*g = 2*d + 52, 2*d = -2*g + 6*d + 40. Let n = g + 44. Suppose i - n = -2*i. Is 20 a factor of i?
True
Suppose -2*o = -2*k - 658, 0 = -k + 4 + 1. Suppose -4 = 5*p - o. Is p a multiple of 10?
False
Let i(n) = n**3 - 8*n**2 + 3*n - 20. Let u(q) = 9*q. Let r be u(1). Is i(r) a multiple of 15?
False
Suppose 0 = 5*b - 10*b - 480. Let r be 2/(-6)*(-3 + b). Does 4 divide 244/14 - r/77?
False
Is 21/(-3) - 1026/(-3) a multiple of 3?
False
Suppose -a + 5*h = 4*a, 0 = 3*a + 5*h - 8. Let v be (a - -4)*(-18)/(-30). Suppose v*x - 48 = 3*i, -3*x + 33 = 2*i - 25. Is x a multiple of 6?
True
Suppose 53 = -11*i + 251. Suppose 5*t = i + 32. Is t a multiple of 4?
False
Let u(x) = x**3 - x + 31. Suppose 0 = -4*m + 21 - 21. Is 31 a factor of u(m)?
True
Suppose 2*o - 4*k - 1586 = 0, 5*o - 33*k + 38*k = 3950. Is o a multiple of 17?
False
Let u(g) = -2*g**2 - 11*g - 1. Let j be u(-5). Suppose 0 = -4*v + 3*o + 789 + 315, -1104 = -4*v + j*o. Is v a multiple of 10?
False
Let t(a) = 2*a**2 + 12*a - 5. Let s be t(-7). Let z(v) = v + 11. Is 20 a factor of z(s)?
True
Is 66 a factor of 1367/((-16)/8 + 3)?
False
Let s = -23 - -33. Suppose 7*v = s*v - 150. Suppose 0 = -2*c + 2*y + v, 0 = -c + 2*c + 2*y - 16. Is 11 a factor of c?
True
Suppose -282 = -5*f + 48. Does 2 divide f?
True
Let s(g) be the second derivative of -2*g**3/3 - 10*g. Let l(m) = 4*m + 1. Let w(a) = 2*l(a) + 3*s(a). Is 17 a factor of w(-8)?
True
Let n(y) = 9*y**2 - 6*y - 3. Let t(o) = 9*o**2 - 7*o - 4. Let u(r) = 6*n(r) - 5*t(r). Let g be 0 + (-1 - -4) - 5. Does 10 divide u(g)?
True
Let k(m) = -2*m**2 + 10*m - 3. Let v be k(4). Suppose -v*h + 3*y + 152 = 0, -5*y + 0*y - 88 = -3*h. Does 24 divide h?
False
Suppose 2345 = 16*j - 823. Is 22 a factor of j?
True
Let n = -59 + 60. Is 2/11*n + (-978)/(-66) a multiple of 2?
False
Is 3 a factor of 56/6*(-12)/(-16)?
False
Suppose -5*b + 4*z + 218 = 0, -5*b = z - 159 - 49. Does 14 divide b?
True
Suppose -3696 = 69*w - 76*w. Is w a multiple of 22?
True
Let n(y) = -4*y**3 - 26*y**2 - 34*y - 6. Is n(-6) a multiple of 9?
True
Let l be 83 + (4 - -1 - 3). Let u = 182 - l. Is 14 a factor of u?
False
Suppose -g - 4*t = -4, 38 = 3*g + t - 2*t. Is 7*4/g*3 a multiple of 7?
True
Let n = 309 - 222. Is 5 a factor of n?
False
Suppose 4*d + 3*n = 5*d, -d - 2*n + 10 = 0. Let w(a) = -d - 3 + 2*a - 8 - a**3 + 9*a**2 + 5. Is 3 a factor of w(9)?
True
Is 35*((-369)/27)/(4/(-12)) a multiple of 32?
False
Suppose 7 = 4*z + c, 2*z - 3*z = -3*c - 5. Suppose -2*v = -17*v + 945. Suppose -y = z*y - v. Is y a multiple of 13?
False
Suppose -3 = a, -2*a + 15 = -3*p + 4*p. Let d = 37 - p. Is d a multiple of 8?
True
Suppose 4*n + 5 = 5*o, -2*o - 10 = -5*n + 5. Let j(y) = 3*y**2 + 6*y - 7. Does 16 divide j(o)?
False
Is 25 a factor of 25 + 720 + -9 + 0?
False
Let p(d) = -d**3 + 32*d**2 - 28*d - 30. Is 63 a factor of p(30)?
False
Let k be ((-5)/(-2))/((-3)/(-6)). Let p(u) = u**3 - 3*u**2 - 6*u + 4. Let g be p(k). Let o = g - 17. Is o a multiple of 6?
False
Let y = -7 + 25. Suppose 10*g - y*g + 1656 = 0. Is g a multiple of 23?
True
Suppose 0 = 5*u + 3*a - 1545, 2*u - 2*a + 5*a - 609 = 0. Suppose -x - p + 112 = 0, u = 4*x + p - 151. Is 13 a factor of x?
True
Is 5 a factor of 130*(-3)/(-7 + 4)?
True
Suppose 0*n = 3*n. Suppose -g = -3*c - n*c - 9, 2*g - 3*c = 21. Is g a multiple of 6?
True
Let w be -77 - (-2 + 13)*-1. Let a be 2/(-6) - (-728)/6. Let u = a + w. Is 19 a factor of u?
False
Does 75 divide -1010*(-99)/22 + 12?
False
Suppose 4589*d = 4590*d - 1022. Does 14 divide d?
True
Let p(f) = -3*f + 10. Is 3 a factor of p(-7)?
False
Let o(f) = 2*f**2 - 31*f + 122. Does 62 divide o(32)?
True
Let h(a) = -8*a + 5. Let l(u) = u. Let j(c) = -h(c) - 6*l(c). Let d be j(4). Suppose -20 = 4*v, -55 = -4*n - d*v + 2. Is n a multiple of 17?
False
Suppose 5*g - 1218 + 258 = 0. Is g a multiple of 12?
True
Let g = 43 - 37. Is -3 + (3 - -2) + g a multiple of 2?
True
Let k = 1016 - 537. Is k a multiple of 11?
False
Let s(d) = 14*d - 54. Does 9 divide s(21)?
False
Let p(t) = -3*t**3 + t**2 + 2. Let a(u) = -3*u**3 + u + 3. Let h(r) = 2*a(r) - 3*p(r). Let d = -60 + 63. Does 10 divide h(d)?
True
Let b = -83 + 16. Let x = 10 + b. Let h = x - -93. Is 10 a factor of h?
False
Let l = -39 + 59. Is 24 a factor of 8/l - (-2872)/20?
True
Let r be -1 - -75 - 1 - -1. Let a = 224 - r. Suppose -10*h + 5*h + a = 0. Is 18 a factor of h?
False
Suppose 0 = 3*p + 3*v - 243, -253 = -5*p + 3*v + 176. Suppose -4*f - 76 = u, 0*f - p = 4*f + 3*u. Let y = 31 + f. Is 6 a factor of y?
False
Suppose -96 = 3*b - 5*b. Is (20/8)/(-3 + 145/b) a multiple of 30?
True
Let h(r) = r**2 + 11*r + 14. Let a be h(-10). Suppose 98 = 2*b + g, -3*g - 216 = -0*b - a*b. Is b a multiple of 9?
False
Let f(m) = 3*m**3 - 3*m**2 + 26*m - 1. Is f(9) a multiple of 33?
False
Suppose 0 = -148*n + 10378 + 16558. Is 15 a factor of n?
False
Suppose -4*a + 2*i = -248, 3*i = 2*i. Suppose 26 = 4*y - a. Does 13 divide (-2)/11 + 862/y?
True
Suppose 0 = 3*l - 3*n - 213, -3*l + 160 = -5*n - 63. Let g = 201 - 93. Let t = g - l. Is 18 a factor of t?
False
Let g be (3 + -5)/((-4)/26). Suppose o - g = -h, 7*h - o = 2*h + 65. Does 3 divide h?
False
Let y be -3 - (2 + -2 + 29). Let d = 44 + y. Does 3 divide d?
True
Suppose -8 = 4*r - 2*r. Let z(a) = 4*a + 12. Let q be z(r). Let n = 12 - q. Does 9 divide n?
False
Let t = 543 - 477. Is t a multiple of 13?
False
Suppose 0*b - 8*b = -2312. Does 27 divide b?
False
Does 24 divide (-7 - -8) + (4 - -278)?
False
Let x(a) = -a**3 + 21*a**2 - 20*a + 9. Let w be x(20). Let s = w - -46. Is 55 a factor of s?
True
Suppose 299 + 469 = 12*g. Is 2 a factor of g?
True
Suppose 0 = 5*m + 5*b - 10 - 55, -2*b + 58 = 4*m. Suppose 6*y - 2*y + m = 0. Let h = 35 - y. Is h a multiple of 16?
False
Suppose 9*t + 470 = -385. Suppose 2*r - a = -132, a - 4*a = -5*r - 331. Let x = r - t. Is 9 a factor of x?
False
Suppose d + y - 25 = 0, 2*y = d - 7 - 15. Suppose -4*m + d = 4. Suppose -4*w - m*z + 136 = 0, 3*w - 2*z + 7*z - 97 = 0. Is w a multiple of 39?
True
Suppose 3*o - 251 = -4*j, 8*j - 10*j