(f*-10)/4 a multiple of 4?
False
Let a be 259/10 + (0 - 9)/(-90). Let h = 98 - a. Does 24 divide h?
True
Let c(x) = 4*x + 57. Let z be c(-15). Let n(i) = 42*i**2 + 3*i + 11. Is 76 a factor of n(z)?
True
Let j be 0*((-16)/(-3) - 5). Does 17 divide (j - (-10)/(-7))*(21 + -196)?
False
Let k = 374 - 743. Let m = k - -1209. Is m a multiple of 60?
True
Suppose 0 = 2*q - 16 + 26. Does 24 divide (-9)/(-3) - (-287 - (q - -8))?
False
Let s = 774 + 2736. Does 66 divide s?
False
Suppose -27*k + 582 = 96. Suppose -5*s = -4*g - 551, -k*g = -4*s - 21*g + 447. Is s a multiple of 37?
True
Let r = 331 + -15. Let y = r + 2. Is 14 a factor of y?
False
Suppose 61*z = 99*z - 27056. Is z a multiple of 132?
False
Let s(b) = -8*b**2 + 3*b - 2. Let a be s(3). Let w = a + 713. Does 8 divide w?
True
Let c be (-6)/10 - 46958/(-530). Let v(o) = 17*o - 1. Let h be v(-2). Let x = c + h. Does 8 divide x?
False
Let r be (-237384)/(-264) + (-6)/33. Let f = r + -508. Is f a multiple of 23?
True
Let b be 16 + 276 - (-7 + (-9)/(-3)). Let n = b + 592. Is 12 a factor of n?
True
Is 20 a factor of (7690/20)/((11/(-2))/(-11))?
False
Suppose 5*n = -5*q + 4265, 4273 = 5*n - 35*q + 32*q. Is 2 a factor of n?
True
Let b be 3509/(-88) + 3/(-24). Let d be 35/25 - 4/b*-4. Does 18 divide (14/4 - 6)/(d/(-36))?
True
Let w(z) = 4*z**2 - 15*z + 250. Does 151 divide w(18)?
False
Suppose -4*d + 48 = 4*d. Suppose d*v = 3*v + 87. Suppose -k + 15 = 2*j, -3*j + 8*k - 3*k + v = 0. Is 8 a factor of j?
True
Suppose 3*o - 89 - 37 = -3*t, -o = 2*t - 40. Suppose u - o = 814. Is u a multiple of 33?
True
Let d = -38 + 35. Does 5 divide (d + -5)/2*-10?
True
Suppose 0 = 3*s + 3*g - 9, -s + 3 + 2 = -g. Suppose 3*n = -n - s*t + 28, 5*n + t - 27 = 0. Let a = 14 - n. Is 9 a factor of a?
True
Let z = 55276 + -36356. Does 27 divide z?
False
Let u(t) = t**2 - 7*t - 7. Let f be u(8). Is (15/f)/((64/(-40))/(-8)) a multiple of 11?
False
Suppose -5*a - 26 + 36 = 0. Suppose 2*p + 2*m + 0*m = 204, 218 = a*p - 5*m. Is p a multiple of 2?
True
Let y(b) = -b**3 + 24*b**2 + 86*b - 4. Suppose 11*t = 296 - 10. Is y(t) a multiple of 88?
True
Let q be 682/55 + (-2)/5. Let g(b) = b - 7. Let a be g(q). Let d(n) = 2*n**3 - 6*n**2 - n + 17. Is d(a) a multiple of 28?
True
Suppose t + 4 = -2*i - 0*i, -5*t - 4*i = 26. Let k be (-2 + t)/(4/(-182)). Suppose 4*v - k = 4*h, -2*h + 56 = 5*v - 420. Is v a multiple of 30?
False
Does 148 divide (-13)/25 + (-9)/(-15) + 17049504/1200?
True
Let s(g) = -g**2 - 20*g - 39. Let v = -357 - -351. Is s(v) a multiple of 5?
True
Suppose -40 = -10*w + 2*w. Suppose 4*x - 3*z - 512 = -0*z, w*z + 20 = 0. Is 48 a factor of x?
False
Let r be (-10)/(-8) + 1455/20. Suppose -69*t + r*t - 2660 = 0. Does 15 divide t?
False
Suppose -f - 4 = -3*f. Let w be (54/(-7))/(12*2/(-560)). Suppose -f*p + w = p. Does 12 divide p?
True
Suppose 0*c = 5*c - 2*n - 27, -3*c - 2*n + 13 = 0. Suppose 747 = 3*a + 3*x, -3*x = -4*x - c. Is 30 a factor of a?
False
Suppose -79*h + 1366 = -53134 - 17074. Is h a multiple of 3?
True
Let f(z) = -z**3 - 5*z**2 + 25*z + 8. Suppose 72 = -k - 8*k. Let o be f(k). Suppose 2*g + 3*g - 875 = o. Is 25 a factor of g?
True
Let i be 6/14 - 12/(-21). Let k(o) = 116*o**3 - 2*o**2 - 2*o + 3. Let z be k(i). Let h = z + -49. Is 22 a factor of h?
True
Suppose 4*n + 3*l - 16 = 0, -n + 5*l = 3*n - 16. Let o(m) = 2*m**3 + m**2 + 7*m + 5. Let w be o(n). Suppose 5*z = 183 + w. Does 16 divide z?
False
Suppose -2*r + 106 = -5*z, 0 = 3*r - 0*r - 3*z - 150. Suppose -r*y = -61*y + 156. Is 6 a factor of y?
True
Suppose 10 = 43*i - 41*i. Suppose i*c = 3*c + 2*s + 132, -s = -5*c + 326. Is 28 a factor of c?
False
Let p(v) = v**2 - 13*v + 131. Let l be p(0). Does 25 divide l - (-6)/(-12)*-10?
False
Suppose 0 = -d - 2, 231 = -2*g + 3*d - 387. Is (1 - 1315/(-3))/((-104)/g) a multiple of 74?
False
Let z = 41 - 41. Suppose z = -5*k + 78 + 67. Suppose 225 = 7*q + k. Is 7 a factor of q?
True
Suppose 0 = 11*g + 120 + 67. Does 9 divide g/((-34)/(-12))*42/(-2)?
True
Let z(k) = k**3 - 17*k**2 + 12*k - 13. Let y(o) = o**2. Let p be 10/45 - 3/(54/22). Let d(x) = p*z(x) - y(x). Is 35 a factor of d(15)?
False
Suppose -46386 = -14*y + 11*y - 4*t, -y + 15448 = -t. Is 192 a factor of y?
False
Let q = 341 + -57. Let w = q + -475. Let x = 346 + w. Is x a multiple of 21?
False
Let n(m) = -2*m**3 - 32*m**2 - 63*m + 101. Is n(-17) a multiple of 70?
True
Let p(c) = c + 13. Suppose 4*d + 188 = 3*s - 5, 247 = -5*d - 2*s. Let t = 41 + d. Is p(t) a multiple of 2?
False
Suppose 95 - 113 = -6*c. Does 5 divide c/6*7*(-7 - -49)?
False
Suppose 9*s - 7*s = -5*z + 365, 2*s = 3*z - 235. Does 15 divide z?
True
Let z = 32024 - 3567. Is z a multiple of 13?
True
Is (283 - 284)/((-1)/4393) a multiple of 40?
False
Let l(d) be the first derivative of -8*d - 16 + 1/3*d**3 - 1/2*d**2. Is l(8) a multiple of 6?
True
Let l = -4 - -7. Let o(y) = -y**3 - 11*y**2 + 6. Let z(k) = -6*k**3 - 58*k**2 - k + 30. Let i(d) = -11*o(d) + 2*z(d). Is 2 a factor of i(l)?
True
Let z be -1*(-3)/6*(4 - 4). Suppose 5*n - 441 = 2*s - 1310, z = -s - 4*n + 454. Does 26 divide s?
True
Let q be -9*-3*4/12. Suppose 11*l = q*l + 554. Let a = 389 - l. Does 14 divide a?
True
Suppose -25 = -3*w - 5*z, 2*z + 2 = 2*w + 12. Suppose w = 15*n - 9*n - 12. Suppose 156 = n*s + 11*s. Does 6 divide s?
True
Let h(j) = -j + 2. Let s(z) = -5*z - 15. Let a(l) = -21*h(l) - 3*s(l). Suppose 4*t - 3*t + 3 = 2*u, -u + 2*t = 0. Does 9 divide a(u)?
False
Suppose -353459 + 23049 = -17*s - 30*s. Does 19 divide s?
True
Let u = 10972 - 7953. Is 18 a factor of u?
False
Does 5 divide ((-23)/(805/(-28)))/(6/(-35445)*-1)?
False
Suppose -5*d + 4 = 14. Is 28 a factor of 1236/22 - (40/(-110))/d?
True
Suppose 49*a = -11*a + 37440. Is a a multiple of 16?
True
Let k(d) = 15*d**3 - 2*d**2 - 5*d + 9. Suppose -4*n - 4 = 0, 0*s - 4*n - 7 = -s. Let i be k(s). Suppose 0 = 7*t - i - 1271. Is t a multiple of 16?
False
Suppose 0*y - 4*y - 17 = l, -25 = 5*y + 2*l. Let z(c) = 22*c**2 - 2*c + 5. Let i be z(y). Let g = i - 129. Is 16 a factor of g?
True
Does 7 divide -6*(5 + -6) + 10 + (21511 - -2)?
False
Let o(l) be the third derivative of -17*l**4/12 - 3*l**3/2 + 27*l**2. Let t be o(3). Let w = t - -268. Is 22 a factor of w?
False
Suppose 10*q = 351 + 989. Let w = q - 57. Is w a multiple of 15?
False
Let y = 987 - 985. Suppose -19*t - 1435 = -23*t + 5*i, -4*t - y*i + 1470 = 0. Is t a multiple of 73?
True
Let w be (-2)/2 - (-275)/25. Is (-49118)/(-205) - (-1)/(w/4) a multiple of 60?
True
Let g = -807 - -2919. Is 12 a factor of g?
True
Let n(r) = 3*r**2 + 2*r. Suppose -4*v = -4*y + 12, -2*y + y - 4*v + 3 = 0. Let h be y/(-6) + (-45)/18. Does 7 divide n(h)?
True
Does 73 divide -23 - -10 - (5 - 7172)?
True
Let i(w) = -6*w**3 - 5*w**2 - 18*w + 4. Let x(l) = -7*l**3 - 4*l**2 - 17*l + 6. Let v(u) = 6*i(u) - 5*x(u). Does 79 divide v(-14)?
False
Let r(h) = 2*h**2 - 18*h - 36. Let s be (-1)/(-5) + 936/(-180). Is 13 a factor of r(s)?
True
Let g(y) = 125*y + 216. Let h(i) = 42*i + 72. Let f(r) = -3*g(r) + 8*h(r). Let j(u) = 10*u - 87. Let s be j(8). Does 38 divide f(s)?
False
Let p(r) = 0*r - 5 + 4*r - 10*r**2 - 2*r**2. Let m be p(3). Let l = -54 - m. Is 7 a factor of l?
False
Let h(i) = -12*i**3 - 25*i**2 + 20*i + 6. Let k be h(1). Let g(u) = -u**3 - u**2 + 7*u + 2. Let s be g(-6). Let v = s + k. Is v a multiple of 14?
False
Suppose 5*h - 66974 = q, -h + 2*q + 15049 = 1665. Is 46 a factor of h?
False
Suppose 5*v + 0*k - 4*k + 5054 = 0, 2016 = -2*v - 4*k. Is 27 a factor of -5 + (-4)/(8/v)?
False
Let d = 35 + -38. Let k be (12 - 16)/(d/(3/(-2))). Is 1 - 3*(86/(-3) - k) a multiple of 9?
True
Suppose 21*f - 1213146 + 349410 = -52*f. Is 136 a factor of f?
True
Let a(q) = -q**2 - 9*q - 16. Let o be a(-6). Suppose 2*w = 3*k - 207, o*w = -k + 3*k - 140. Suppose -6*h = -k - 83. Is 5 a factor of h?
True
Let u(j) = -27*j. Let x be u(2). Let m = x - -55. Let v(g) = 46*g - 2. Does 11 divide v(m)?
True
Let m = 6764 - 5566. Is m a multiple of 7?
False
Let j = 3923 + -2206. Is j a multiple of 16?
False
Suppose 10*g - 19 - 11 = 0. Suppose 3*k - 4*k - 228 = -g*n, 0 = -4*n - 3*k + 291. Suppose -7*x + 6*x + n = 0. Does 15 divide x?
True
Let t = -23 + 30. Suppose 22 = 4*a + 9*d - t*d, -a = 3*d - 18. Suppose -4*g = -6*g, 0 = -4*c + a*g + 312. Is 13 a factor of c?
True
Let t be ((-3