Suppose -u + 5*f + 161 = o, -u - 4*f + 2*f = -154. Let v = u - 109. Does 9 divide v?
False
Suppose 2*x - 3*j - 3 = 36, 4*j - 108 = -4*x. Let s = x + 314. Is s a multiple of 60?
False
Suppose 7*p + 3392 = 3*y, 7*y - 4572 = 3*y - 3*p. Does 19 divide y?
True
Let u = -944 + 1059. Does 8 divide (-33)/(-33) - -3*u?
False
Is 14 a factor of (-9533 - 2)/(11/(-6) - 3/(-3))?
False
Suppose 0 = 8*f + 224 + 32. Let r be 5/(-2)*(f/(-5))/(-4). Suppose -r*x + b + 123 = 0, -x + 5*b = -9 + 2. Does 4 divide x?
True
Suppose k + 10 = -5*j, 4*k + 2*j - 3*j - 44 = 0. Suppose t + k*t - 4290 = 0. Is 65 a factor of t?
True
Let g(r) = -r + 5 + 3*r - 2*r**2 - 13*r - 10. Let j be g(-5). Suppose -3 = -3*v + 3*x + 180, -3*v - 3*x + 201 = j. Is 16 a factor of v?
True
Let v(l) = 392*l - 21. Let o(k) = -k**3 + 38*k**2 + 78*k + 82. Let r be o(40). Does 18 divide v(r)?
False
Does 19 divide (-37720)/(-123)*30/25?
False
Is (-65820)/(-80) - (2/(-8))/((-5)/15) a multiple of 3?
True
Suppose -12*u = -5*u + 1358. Let m = u - -269. Is 23 a factor of m?
False
Suppose -r - 2*r + 10 = -2*h, -r = 5*h + 25. Let p(u) = -4*u**3 - 5*u**2 + 8*u + 55. Does 26 divide p(h)?
True
Suppose a - 6*a + 2*v + 37 = 0, -v - 23 = -3*a. Suppose a = 3*z, 927 = 3*s - 2*z - 1218. Suppose 8*n = s - 13. Is n a multiple of 11?
True
Let q = 13823 - 6023. Is 130 a factor of q?
True
Suppose 9*u + 688 = u. Suppose -429 - 147 = -4*y. Let v = u + y. Does 10 divide v?
False
Let p(u) = 7*u - 13. Let z be p(8). Suppose -4 = -45*y + z*y. Suppose -3*k = -2*x + 207, y*k - 4 = 2. Does 9 divide x?
True
Let a = -10299 + 26525. Is 14 a factor of a?
True
Let x = -96 - -112. Suppose 14*m = x*m - 6. Suppose -m*i - q - 124 = -899, 2*i - 530 = 2*q. Is i a multiple of 32?
False
Let w be 2*((-606)/(-4) + 2). Suppose -5*b - 637 - 73 = 0. Let c = w + b. Is c a multiple of 15?
True
Is (-221536)/552*(-108)/21 a multiple of 48?
True
Is 33 a factor of (360/105)/(16/5544)?
True
Suppose -2 = -5*a + 2*w, -3*a - 2*w - 2 = -4*a. Let p be 1 + a/(-5) - (1 - 399). Let g = 571 - p. Does 35 divide g?
False
Let w = 2770 - -3335. Does 37 divide w?
True
Is 17 a factor of (3 - (-33)/6)*(1 + (0 - -185))?
True
Is 1 + (38862/(-2))/(-9) a multiple of 10?
True
Suppose -430 = 9*x - 5407. Does 79 divide x?
True
Let y be (-1 - -1)/(-3) - 268. Let i = -188 - y. Is i a multiple of 5?
True
Let x = -45 - -52. Suppose -28 = -7*q - x. Suppose i - 3*i = -4*u - 22, 0 = q*i - 4*u - 39. Is 6 a factor of i?
False
Let i(x) = 331*x**2 + 38*x - 109. Is i(4) a multiple of 19?
True
Suppose -3*d + 6 = 5*p, -11*d + 9*d + 5*p = -4. Suppose 0 = 3*f - o - 3290, 1069 = d*f - 4*o - 1111. Is 13 a factor of f?
False
Let n = -5 + 7. Suppose 4 + 2 = n*j. Suppose 40 = 8*a - j*a. Is a a multiple of 2?
True
Let j(p) = -p**2 + 10*p + 4. Let l be j(10). Suppose -5 = -l*o - 1. Is 13 a factor of (o - (2 + -2)) + 38?
True
Let z(c) = -7*c**2 + 32*c + 10. Let l(h) = -20*h**2 + 98*h + 32. Let m(n) = -5*l(n) + 14*z(n). Is 10 a factor of m(24)?
False
Let i(y) = -11*y - 264. Let q be i(-24). Suppose 8*w - 5*w = -d + 1317, q = -2*d - 6. Does 33 divide w?
False
Let c = -821 - -837. Suppose -9*i = -5*i + c, -l + 2131 = i. Is l a multiple of 35?
True
Suppose 0 = -4*l + 16, 2*c = c + 3*l - 7. Suppose -c*o = 5*z - 2495, -1055 - 426 = -3*z + o. Does 41 divide z?
False
Suppose h - 5*t - 3784 = 0, h + 1113 - 4932 = -2*t. Is 13 a factor of h?
True
Suppose -28 = -4*y + w, w = -7*y + 2*y + 44. Suppose 2*f = 4*f - 588. Suppose y*j - f = j. Is 19 a factor of j?
False
Suppose 28*z = 1244 + 968. Suppose -2*m = z - 135. Is 21 a factor of m?
False
Suppose 9*g - 216 = -0*g. Let t(r) = -46 - 45 + 79 - g*r. Is t(-4) a multiple of 9?
False
Suppose -23*g + 1143 = -789. Is g even?
True
Let h(c) = 1 + 205*c**2 + c + 113*c**2 + 188*c**2. Is h(-1) a multiple of 23?
True
Let o(n) = n**2 - 9*n + 26. Suppose -33 + 38 = z. Let v be o(z). Suppose -60 = -v*j + 3*j. Is 10 a factor of j?
True
Suppose -2*n - k - 75 = 12, 2*k = -n - 45. Let r = n - -40. Does 10 divide (r - 44/(-20))*-100?
True
Let n = -733 + 736. Suppose 2*c = 5*d - 410, -41*d - n*c - 321 = -45*d. Is d a multiple of 3?
True
Is 6/(-30) + 4 + (-30947)/(-35) a multiple of 2?
True
Let r(q) = -6*q**3 + 18*q**2 - 68*q - 1140. Is r(-19) a multiple of 76?
True
Suppose -36*z + 81249 + 1303 = -70160. Does 3 divide z?
True
Suppose 0 = -i + 6, -3*i = 365*f - 368*f + 27543. Is f a multiple of 32?
False
Does 17 divide (20/8)/(360/11643264)?
False
Suppose 154*d = 305*d - 147*d - 8460. Does 107 divide d?
False
Suppose 0 = 21*i - 459 + 2832. Let r = -11 + 8. Let p = r - i. Is p a multiple of 22?
True
Let l = 46 + -41. Suppose 2*y + 3*h - 78 = 0, 0*y - 98 = -3*y + l*h. Is y even?
True
Suppose 11*v = 331*v - 2001600. Is v a multiple of 55?
False
Suppose 8*w + 34*w - 568128 = -2*w. Does 12 divide w?
True
Suppose 3*z - 13909 = -3079. Is 95 a factor of z?
True
Let a be (-36)/(-60) - 2904/(-10). Suppose q + 4*g - 297 = 5*g, g = -q + a. Does 8 divide q?
False
Let r = -5794 + 10188. Does 13 divide r?
True
Let b = 23 - 76. Let x = b + 44. Let l = 31 + x. Is l a multiple of 22?
True
Let w(y) = -129*y + 1. Let o = 34 - 30. Suppose -4*p + 3*i + 8 = 0, o*p + 5*i - 3*i + 12 = 0. Is 30 a factor of w(p)?
False
Is (12/(-5))/(15 - 2086530/139100) a multiple of 96?
False
Suppose 0 = -4*d - i + 4503 + 7814, -i - 12331 = -4*d. Does 9 divide d?
False
Suppose -290*l + 307*l = 253861. Is l a multiple of 28?
False
Suppose -117*m + 133*m = 47520. Is m a multiple of 6?
True
Let s = -711 + 3521. Is s a multiple of 4?
False
Let o(x) = -2621*x + 1559. Is o(-1) a multiple of 190?
True
Does 8 divide 26/13 - 4 - -8201?
False
Let q be (-1 + 21/6)*(-920)/(-25). Let p = q + -89. Suppose 0 = p*u - 273 - 84. Is u a multiple of 17?
True
Suppose 26 = -2*f - 3*s, 0 = -2*f + 2*s - 6 - 10. Let z(h) = -h**2 - 12*h - 17. Let d be z(f). Suppose 5*t + 8 - 157 = 3*j, d*t = -j + 81. Does 25 divide t?
False
Let m(c) = -8*c + 32. Let o be m(4). Suppose -w - 14 = -4*i, o*w - 11 = -2*w - 5*i. Is 4 a factor of (1 - -7)*(-2)/w?
True
Suppose 9*l = 16*l - 28. Let f = 331 + -75. Suppose -f = l*z - 8*z. Does 13 divide z?
False
Let x(o) be the second derivative of -11*o**3/3 - 359*o**2/2 + 179*o. Is 21 a factor of x(-23)?
True
Suppose -i + 90 = -270. Is (3/(-2) - -1)/((-9)/i) a multiple of 11?
False
Is 6 a factor of (7/((-140)/(-16)))/(10/(-25))*-5573?
False
Is (-21)/(15/40 + 5/((-21000)/1611)) a multiple of 25?
True
Let c be 100*5 + 62 + -62. Let s = -113 + c. Is s a multiple of 9?
True
Let k = 102 + -104. Let c be k/5 + 88/(-55) + 2. Suppose 2*f + 3*j - 14 - 272 = c, 2*f = 2*j + 276. Is f a multiple of 7?
True
Suppose 5 = -3*m + 20. Let p be 0*(21/6)/7. Suppose -3*x = -9, -3*u + m*x + 3 = -p*x. Is u a multiple of 6?
True
Suppose 0 = -4*g + 3*i + 10 - 4, 2*g = -3*i + 12. Suppose -f = -g*h, 2*f + 2*h = -f - 22. Is 3 a factor of (200/30)/((-4)/f)?
False
Let t be (-1)/(19/(-44) + (-6)/(-33)). Suppose 387 = 3*h + 3*k, -539 = -t*h + 4*k + 1. Suppose 3*c - 72 = h. Is 10 a factor of c?
False
Let k be 1984/3 - 1/3. Suppose -995 = -6*o + k. Suppose -5*c + 14 + o = 0. Is c a multiple of 18?
False
Let k be 1050/18 + 4/(-12). Suppose -k = -2*c - 2*s + 130, 0 = -3*s. Is 6 a factor of c?
False
Let t = -935 + 1757. Suppose 341 + t = 4*z + 5*q, -12 = -4*q. Is 16 a factor of z?
False
Let b(i) = 13*i**2 - 3*i. Let j be b(1). Suppose -j = 14*k - 9*k, -1330 = -5*n - 5*k. Does 7 divide n?
False
Let u(o) = -57*o**3 + 2*o**2 + 31*o + 19. Does 7 divide u(-4)?
False
Let j(s) = -30321*s + 1812. Is j(-1) a multiple of 14?
False
Let k be 9/((-36)/(-40)) - 4. Let u(m) = -14 + 5 + 30*m - 1 + k. Is 10 a factor of u(5)?
False
Suppose -40*o + 15679 = -31*o - 25127. Does 127 divide o?
False
Suppose 5*v + 4*y = 22, v - y + 0*y = -1. Suppose -m = -v*s - 558, -14*m + 12*m + s = -1125. Does 29 divide m?
False
Suppose -63*g = 4*g - 26*g - 64616. Is g a multiple of 17?
False
Let z(n) = 265*n + 3. Let r be z(1). Let g = 80 + r. Let o = 498 - g. Is 30 a factor of o?
True
Suppose -2*n = -5*z - 8424, -3*n - 3*z + 10221 = -2436. Is 123 a factor of n?
False
Let c(x) = 598*x**3 + 4*x**2 + 37*x - 80. Does 102 divide c(2)?
True
Suppose 3*l - 812 = 2*v, -640 = -5*l + v + 711. Let g = l + -222. Does 14 divide g?
False
Let y be 5*(2 - (-35)/(-25)). Suppose 6*q - 237 = y*q. Suppose 4*d = 149 + q. 