rue
Let n = -24948 + 31683. Is 221 a factor of n?
False
Let z(q) = 2688*q - 3185. Does 108 divide z(19)?
False
Let s = 35 + -50. Let c be ((-2)/(-6))/(s/(-135)). Is 3 a factor of c/(15/(-22))*35/(-14)?
False
Let r be (16/6 - 2)/((-3)/27). Let d(x) = x**2 + 7*x + 1. Let s be d(r). Let v = 23 + s. Is 18 a factor of v?
True
Suppose 0*c - 2*c = -34. Suppose -3*k + 3*b - b - c = 0, -4 = -4*b. Is 699/12 + -2 - k/(-20) a multiple of 8?
True
Suppose -126*o + 9224 = -118*o. Suppose 4*m = -g + 2261, 3*m - 5*m - 5*g = -o. Does 47 divide m?
True
Suppose 7*c = -119*c - 0*c + 1302714. Is c a multiple of 72?
False
Let u(r) = r**3 + 14*r**2 + 6. Suppose 6*l - 4*l = 8. Let b(p) = p**3 - 3*p**2 - 9*p + 6. Let x be b(l). Is 6 a factor of u(x)?
True
Let v(p) = 16*p - 21. Suppose 0 = -o + 2*a - 1, -2*a + 5*a = o + 3. Suppose -o*j + 18 = 3*j. Is v(j) a multiple of 9?
True
Suppose 5*o + 4*q - 7559 - 24726 = 0, 0 = 4*o - 5*q - 25828. Is o a multiple of 33?
False
Is 10 a factor of -2 + -1 + 8137 + 3 + -7?
True
Suppose -8*o = -46 - 18. Let x(d) = -7*d - 2. Let b be x(o). Let g = -26 - b. Is g a multiple of 4?
True
Let l be 12 + 4 - ((-2)/(4/(-10)) - -2). Suppose -x = x + h - 1104, 0 = -x + 5*h + 530. Suppose x = -4*i + l*i. Does 35 divide i?
False
Suppose -5*d - 4*x = -936, -d - 4*x + 192 = -2*x. Suppose -51 = -2*r - 47. Suppose 2*v - 6*v = -r*n + d, -5*n + 4*v = -436. Does 28 divide n?
True
Let x be 1075 + (6 - 4) + -2. Suppose -4*r - 5*f = -864, -5*r + 5*f - x = -10*r. Is r a multiple of 4?
False
Does 17 divide (-3)/((-132)/16 - -9)*3791/(-4)?
True
Let j = 2853 - 2157. Is j a multiple of 6?
True
Let t(g) = -3*g**2 + 12*g + 108. Let k(f) = 2*f. Let w(a) = k(a) - t(a). Is 12 a factor of w(18)?
True
Let t = -14 - 5. Suppose 5*w + 306 = 91. Let n = t - w. Is n a multiple of 12?
True
Let f = -119 + 121. Suppose -f*o = 182 - 1282. Is o a multiple of 61?
False
Suppose -5*r - 19*r + 484373 - 112325 = 0. Is r a multiple of 91?
False
Let h be 35/(-10)*(-160)/2. Let a = h - 168. Suppose -m = -0*m - a. Is m a multiple of 13?
False
Suppose 416*h = 390*h + 22828. Does 28 divide h?
False
Let s(n) = -n**3 - 44*n**2 - 234*n - 144. Is 36 a factor of s(-42)?
True
Is 187 a factor of 1 + 0 + 26738 + (-58 - (-2 - 58))?
True
Suppose 3*a - 17 = 2*z, 29 = 8*a - 5*a + 4*z. Does 21 divide a - 328/48 - 4439/(-6)?
False
Let p be (956/8)/(3/(-2) - -2). Suppose 431 = 5*g - p. Is 67 a factor of g?
True
Let l(k) = 15*k + 252. Let c be 70/42 + 5/(-3). Is 14 a factor of l(c)?
True
Is ((-42933)/(-77) - 18)/((-1)/(-7)) a multiple of 98?
False
Suppose 4*x + 77 = -b, -4*x - 3*b = -4*b + 67. Let n(f) = f**2 + 20*f + 145. Is n(x) a multiple of 5?
False
Suppose 83*f + 56*f = 1572090. Does 87 divide f?
True
Let k(l) = 3445*l - 299. Does 98 divide k(3)?
False
Suppose -b - z + 6246 = 0, 30*z = -2*b + 26*z + 12484. Does 25 divide b?
True
Let a = 1840 - 1662. Is 9 a factor of a?
False
Let k be 3/21 - (-3 + 18/(-21)). Suppose -3*t = -k*r + 2069, -11*r + 2572 = -6*r + t. Is r a multiple of 61?
False
Suppose 26*b = 29*b - 6*u - 9786, -5*b + u = -16373. Does 12 divide b?
True
Let a = -21 - -39. Let c = -31 - -25. Let q = c + a. Does 12 divide q?
True
Let l(w) = 141*w - 232. Is 89 a factor of l(25)?
True
Let j(a) be the second derivative of 6*a**2 + 0 - 40*a - 1/2*a**3. Is 13 a factor of j(-22)?
True
Let f = 320 + -311. Suppose f*l = -4*p + 6*l + 514, 5*p + 2*l - 646 = 0. Does 2 divide p?
True
Does 11 divide (2 - 11288/7)/(12/(-112))?
False
Suppose 4*t - 2 = -a - 4, -4*a + 5 = 3*t. Suppose -5*l + 4*r + 5995 = -r, r - 2413 = -a*l. Is l a multiple of 43?
True
Let x = -55 - -60. Suppose 13 - x = 4*n. Suppose 0*c + 23 = n*c + q, -5*c - 2*q + 57 = 0. Is 4 a factor of c?
False
Suppose -t = 30 - 33. Let x(b) = 2*b**2 - 3*b - 4. Let p be x(t). Suppose -2*i - 2*z = -4*z - 2, -2*i - p*z + 37 = 0. Is i even?
True
Suppose -250*m + 5347 = -249*m - 5*i, 4*i + 12 = 0. Is 7 a factor of m?
False
Let m = -2867 - -4957. Is 19 a factor of m?
True
Let v be (0 - (-300)/16)/(1/16). Suppose -r + v = -138. Suppose r - 42 = 11*p. Does 12 divide p?
True
Let y be (-28)/(-4) + -2 - (1 + 1). Suppose -y*g + 11*g = 904. Suppose -3*z - z - 3*t + g = 0, t - 133 = -5*z. Is 7 a factor of z?
False
Let g(p) = -p**2 - 8*p - 14. Let t(c) = -8*c**2 + c + 1. Let z be t(1). Let d be g(z). Does 8 divide (-4 + -6)/(d/16)?
True
Suppose 4*f + 714 = 2*o, 4*o + 2*f + 929 = 2317. Suppose -o = -12*g + 311. Does 11 divide g?
True
Let d(y) = y**3 - 92*y**2 + 40*y - 324. Does 11 divide d(92)?
False
Let t = 39206 - 18137. Is t a multiple of 9?
True
Let d be 2/1 + 1 + -3. Suppose d = 5*a - 4*b + 11 - 138, 2*a + 3*b = 37. Suppose -a*k + 170 = -18*k. Is 17 a factor of k?
True
Suppose 0 = 56*t - 144107 - 166357. Is 36 a factor of t?
True
Let b = -48637 + 85359. Is b a multiple of 301?
True
Suppose -6480 = 31423*v - 31435*v. Is 8 a factor of v?
False
Is 1803/1 - (9 - 24/(-16)*-8) a multiple of 7?
True
Suppose 0 = -4*o - i + 7, -5*o - i = -4*i - 30. Suppose -16*k = o*k - 11666. Is k a multiple of 11?
False
Let c(a) = a**2 + 10*a - 1144. Is c(30) a multiple of 3?
False
Let f = 472 + -473. Let g(t) = 1152*t**2 + 9*t + 11. Is g(f) a multiple of 18?
False
Let w = 875 - 1584. Let u = 1072 + w. Is u a multiple of 16?
False
Suppose 4*u - 5*y - 39785 = 0, 1459*u - 1458*u = -5*y + 9915. Is 35 a factor of u?
True
Let u = -205 - -204. Is 11 a factor of (14 + 7)/(3*u/(-33))?
True
Let v(y) = -y**2 - 15*y + 3. Suppose 8*w + 9 + 23 = 0. Is 6 a factor of v(w)?
False
Let k(h) = -h**2 - 1. Let s(o) = o**2 - 10*o - 15. Let r(m) = 2*k(m) + s(m). Let f be r(-7). Suppose 9 = -f*p + 49. Does 10 divide p?
True
Let f = -12 + 11. Let r be 4 + -3 + f/1. Suppose -5*m = 5*i - 210, r*i = -5*m + 2*i + 182. Is 32 a factor of m?
False
Let c(h) = h**3 + 4*h**2 - 10*h - 20. Let w be c(-7). Let g = w - -115. Does 12 divide g?
False
Let b(j) be the second derivative of 4*j**4/3 - 11*j**3/6 - 106*j. Is b(6) a multiple of 34?
True
Let l(a) = 7*a + 9. Let x be l(-3). Let d = 17 + x. Suppose 5*t + 3 = s + 13, d*s - 2*t = 65. Does 4 divide s?
False
Suppose 506*y = 509*y - 747. Is y even?
False
Let b = 78 + -74. Suppose 0 = 7*g - b*g - 93. Suppose 4*t = 113 + g. Is t a multiple of 18?
True
Suppose -x = 5*x - x. Suppose -2*h = -4*b - x*h + 524, -b + 4*h = -117. Does 7 divide b?
True
Let f = 476 + -32. Is 21 a factor of 4 + f - 4 - 2?
False
Let o = 69 + -65. Let i = 46 - o. Suppose -24*p = -18*p - i. Is p a multiple of 4?
False
Is 9 a factor of (48336/27 - -10)/((-4)/(-18))?
False
Let m(y) = y. Suppose 3*a = l - 2, -2*l = -l + 5*a - 2. Let i(f) = 5*f - 5. Let w(s) = l*m(s) - 2*i(s). Is w(-2) a multiple of 5?
False
Let k be (-950)/25 - 3*-1. Let w = k + 37. Suppose 3*x = 2*i - i + 7, -x - 1 = -w*i. Is 3 a factor of x?
True
Let q = -1181 + 664. Let l = -203 - q. Is l a multiple of 4?
False
Let g(j) = -j**3 - j**2 - 5*j - 5. Let t be g(-1). Suppose -5*i + 4*x + 68 = t, -4*i + 42 - 4 = 5*x. Is 41 a factor of (51 + 2)*i/4?
False
Suppose -33*l + 36*l = -15. Let g(f) be the first derivative of -3*f**2 - 3*f - 32. Is g(l) a multiple of 4?
False
Suppose 0 = 2*j + 4*z + z - 1177, -1180 = -2*j - 4*z. Let w = 28 + j. Is w a multiple of 12?
True
Suppose -o + 5*s = 2 + 14, -s + 20 = 4*o. Suppose 3*z - 78 = 2*t - o*t, -2*z + 2*t + 62 = 0. Is 10 a factor of z?
False
Suppose 3*v - 4*k - 4257 = 0, -3*k = v - 6*k - 1424. Let d = -983 + v. Is 16 a factor of d?
True
Is 4 a factor of (32/(-128) - 4426/(-8)) + -6?
False
Suppose 0 = -0*q + 7*q - 35. Suppose q*z - 3*r - 397 = -7*r, -5*z - 5*r = -395. Is 9 a factor of z?
True
Let r(l) = -4*l - 2*l**2 - 6*l - 5*l - 1. Let u be r(-6). Let v = u - -39. Is 11 a factor of v?
False
Suppose -104*f - 69*f = 55*f - 1556100. Is f a multiple of 35?
True
Let i(h) = -h**2 - 7*h + 23. Let x be i(-9). Suppose x*o - 6 = 2*o - 4*k, 16 = -2*o + 4*k. Does 6 divide (o/4*3)/(12/(-328))?
False
Let s(r) = 1806*r**2 - 2. Let b be s(-1). Suppose 0 = -8*a + 436 + b. Does 46 divide a?
False
Let f(g) = -g + 20. Let d be f(13). Suppose 30 + 96 = -d*m. Is 16 a factor of 192/m*(-9)/2?
True
Suppose -2*i + 15 = -5. Suppose -i*l = -6*l. Suppose 2*b - b = -3*t + 102, -2*b - 6 = l. Is t a multiple of 21?
False
Suppose 110 = -n + 4*n + 5*m, -3*m = 5*n - 210. Let r be 2*(-2)/3*n/30. Does 24 divide 385/(r + 7) - 2?
False
Suppose -