-2*r - b + 2856 = 0, -4*b - 1206 = -r + 222. Does 28 divide r?
True
Suppose -3*j = 3*h + j - 18, 3*j - 5 = 2*h. Suppose -3*q - 3*k - 9 = 0, 4*q + 3*k - h*k = 3. Suppose -74 = -2*i + 5*t, t = 4*i + q*t - 192. Is 12 a factor of i?
False
Suppose -61*s - 1853306 = -243*s. Is s a multiple of 17?
True
Let m(g) = -18*g**2 - 11*g + 39. Let b(f) = -18*f**2 - 12*f + 38. Let v(u) = 6*b(u) - 7*m(u). Is 28 a factor of v(5)?
False
Let r = -1163 - -2253. Suppose -7*d - 534 = -2*m - 2*d, 0 = -4*m - d + r. Is m a multiple of 17?
True
Suppose 0*b + 21 = -b + p, 4*b = 3*p - 80. Let h(q) = 9*q - 5*q - 5*q. Does 4 divide h(b)?
False
Let d(b) = -3*b**2 + 9*b + 10. Let g be d(4). Let h(r) = 86*r**2 - 22*r. Is h(g) a multiple of 9?
False
Let m(h) = -2*h**3 - 4*h**2 + 3*h + 10. Let f be m(-3). Is f/(399/(-540))*-14 a multiple of 18?
True
Suppose -20634 = -3*q + g, -4*q = 22*g - 23*g - 27514. Is 25 a factor of q?
False
Let h = 67055 - 36671. Is h a multiple of 18?
True
Is 11 a factor of -14 - ((-218231)/13 - -12)?
False
Let b = 48 - 59. Let k(r) = -r**2 - 16*r + 37. Is k(b) a multiple of 23?
True
Suppose -3*q - 3*p + 35344 + 17726 = 0, -p + 70772 = 4*q. Does 9 divide q?
True
Suppose 2*v = 3*g + 527, 2*v - 3*g + 4*g = 539. Let z = 383 - v. Is z even?
False
Let v(x) = -17*x + x**2 - 17*x + 15*x - 16. Is 12 a factor of v(23)?
False
Let r(t) = -4349*t - 241. Is r(-5) a multiple of 16?
True
Let g(n) = 32*n - 6. Let i be g(3). Suppose 5*k - 15*k = -i. Let y(j) = -j**3 + 12*j**2 - 6*j - 21. Is y(k) a multiple of 21?
True
Let b(o) = -5*o + 533. Let z(c) = -c - 1. Let x(d) = b(d) - 3*z(d). Let p be x(0). Suppose 0 = 5*i - 2*f - p, 0*i - 320 = -3*i + 2*f. Does 9 divide i?
True
Let f(k) = 574*k**2 + 48*k + 44. Is 18 a factor of f(-4)?
True
Let k = 42 - 28. Suppose -2*j = 5*j - k. Is (-1 - 77)*(-2)/j a multiple of 13?
True
Let q = -4891 + 18191. Suppose 37*l + l = q. Does 7 divide l?
True
Let g(z) be the second derivative of -35*z**3/6 + 5*z**2/2 + 10*z. Does 40 divide g(-9)?
True
Suppose g = q + 774, 0 = 3*g - g - 4*q - 1542. Suppose 0 = 4*f - f - 2*u - 1164, g = 2*f - u. Is f a multiple of 30?
True
Suppose -x - x + 2*n = 4, 3*x = -n + 2. Suppose -3*k + 724 = -m, -3*k - k - m + 970 = x. Does 11 divide k?
True
Let u(n) = n**3 + 16*n**2 - n - 12. Let d be u(-16). Let t be d/6*(-252)/(-14). Suppose 0 = 9*b - t*b + 369. Does 41 divide b?
True
Suppose -5*t + 44 = 2*k, -3*t + 4*k + 24 = -18. Let x be -15*(t/75)/((-2)/6). Is 4 a factor of (0 - 62/(-3))/(2/x)?
False
Suppose -78*x - 44122 = -81*x + 2*s, 0 = -5*x + s + 73546. Is x a multiple of 23?
False
Let a(y) = 1173*y - 10225. Does 129 divide a(67)?
False
Suppose 20*m + 16*m - 31056 = 4980. Does 7 divide m?
True
Let r = -53790 + 81220. Is r a multiple of 37?
False
Let g = 385 + -379. Suppose g*i - 43*i + 7030 = 0. Does 5 divide i?
True
Suppose -3*j = 3, -6*j = -2*h - 2*j + 12. Suppose -h*g + 9*g - 315 = 0. Suppose -4*u = -g - 417. Does 24 divide u?
True
Let q be ((-48360)/(-91))/((24/(-441))/(-4)). Suppose -76*w = -31*w - q. Is 18 a factor of w?
False
Suppose -17*r - 28623 = -500271. Does 32 divide r?
True
Suppose 38*q = 36*q + 510. Let r = -630 + q. Let z = -268 - r. Is 16 a factor of z?
False
Suppose -2*i - 5*j + 42683 = 0, -10*j + 8*j = 4*i - 85342. Is i a multiple of 25?
False
Let u(r) = 8*r - 274. Let t be u(-16). Let o = t - -542. Is 14 a factor of o?
True
Suppose -2*i = i + i. Suppose p - 14 - 13 = -5*w, 3*w + 15 = i. Does 9 divide p?
False
Is 10 a factor of ((45861/4)/(-3))/(294/(-2352))?
False
Let g(j) = -2*j + 136. Suppose 758*y - 759*y - 34 = 0. Is g(y) a multiple of 34?
True
Let j(h) = 652*h - 2850. Is j(34) a multiple of 13?
True
Suppose -92*f + 6136 = -6008. Is 98 a factor of f?
False
Let h(i) = 18*i**2 - 57*i - 18. Let d be h(5). Suppose 0 = 3*j + 15, 2*u + 2*j + d = 397. Is u a multiple of 3?
False
Is 3 a factor of (-59 - 4)*-159 - (-108)/(-18)?
True
Let i(b) = -63*b + 6510. Is i(0) a multiple of 24?
False
Let d = -3617 - -4219. Does 3 divide d?
False
Let f(i) = -i**3 + 8*i**2 + 11*i + 92. Let t be f(10). Suppose t*o = 4, -2*o + 22 = 2*j + 2. Is 4 a factor of j?
True
Let y = -783 - -927. Suppose 956 = y*x - 142*x. Is x a multiple of 7?
False
Is ((-2)/(-17) - (-108304)/(-408))*-3 a multiple of 6?
False
Let c(s) = -38*s**3 + 7*s**2 + 2*s - 4. Let g be c(-2). Let k = 345 - g. Is 7 a factor of k?
True
Does 21 divide (2 - ((-10)/(-95) + (-186)/(-38)))*-7?
True
Let c = 41 - 35. Let u be 173*(-9)/(-2) - (-10)/(-20). Suppose u = c*y + 52. Is y a multiple of 20?
False
Suppose -d + 10*l + 23 = 5*l, 5*d + 3*l = -25. Let v be 12/12 + (3 - d). Is 472/v + (-12)/18 a multiple of 8?
False
Let z = 25 - -9. Let c = z + -33. Let o(l) = 48*l. Is 4 a factor of o(c)?
True
Let h(s) = -7*s - 9*s**2 - 16 + 0*s**2 - s**3 + 30. Let i be h(-8). Suppose -580 = -i*r + 2*r. Does 11 divide r?
False
Let i be ((-8)/3)/((-5)/(-405)*3). Let h = i - -77. Suppose 27 = 5*l + 2*n - n, 0 = h*l + 3*n - 21. Is l a multiple of 6?
True
Let z = -6458 + 13520. Is z a multiple of 107?
True
Let k(q) be the first derivative of 2*q**3/3 - 9*q**2/2 - 8*q + 1. Let l be 2*-3*5/40*8. Is k(l) a multiple of 26?
False
Let v be (2 + 8/(-2) - 231) + 3. Let n = 276 + v. Is 4 a factor of n?
False
Suppose 4*f + 136 = 736. Let t = f + -83. Suppose 2*w = -v + t, -2*w - 3*v = w - 99. Is w a multiple of 12?
False
Suppose -5*q = -145 - 75. Suppose -q*t + 12*t + 21312 = 0. Does 42 divide t?
False
Suppose 5*p - 2209 = 3*w - 4*w, -5*w + 2*p = -10910. Suppose 0 = -26*n + 5*n + w. Does 35 divide n?
False
Does 53 divide (432/1296)/(2/15762)?
False
Let l(q) = q**2 + 4*q - 2. Let g be l(-3). Is 66 a factor of ((-12)/g)/((4/(-165))/(-2))?
True
Let a = -18514 + 65903. Does 9 divide a?
False
Let h = 7696 + 641. Is 21 a factor of h?
True
Suppose l + 6 = 4*w + 3*l, 12 = w - 3*l. Suppose -w*f - i + 42 = -2*f, 54 = f + 4*i. Is 10 a factor of f?
False
Let k(u) = 627*u + 196. Let d be k(4). Does 39 divide (((-102)/(-4))/17)/(6/d)?
False
Is (4/12)/(6 + 215564/(-35928)) a multiple of 57?
False
Let g(p) = 28*p**2 + 6*p - 9. Let u be g(2). Is u/(-25) - -5 - (-1363)/5 a multiple of 21?
True
Suppose o = 3*o - 2, 0 = 5*a - o + 1. Suppose -3*c = -15, a = 2*v + c + 4*c - 7. Is 28 a factor of ((-486)/15)/(v/30)?
False
Let z(l) = l**3 - 17*l**2 + 16*l - 8. Let a be z(16). Let q = a - -59. Suppose f - q = 8. Does 12 divide f?
False
Suppose -363 = -2*n - 3*z, z = 4*n - z - 750. Suppose n*g - 188*g = -6. Is 2 a factor of g?
False
Let k(p) = -1067*p - 1575. Does 186 divide k(-19)?
False
Let i(s) = 5*s**2 + 97*s + 39. Let b be i(-19). Is (b - -5 - 3) + 138 a multiple of 9?
False
Let y = 8498 + -583. Suppose 15*b - 28435 = -y. Is 36 a factor of b?
True
Let b = -51 - -52. Let q be 20/(-16) - b - 3/(-12). Let p(f) = 18*f**2 - 2. Is 10 a factor of p(q)?
True
Let z = -559 + 558. Is 37 a factor of (-378)/(-3*(12/8 + z))?
False
Let p(d) = 4*d + 8. Let y be p(0). Let k(q) = 21*q - 16. Let i be k(y). Suppose 2*v - i + 2 = 0. Does 20 divide v?
False
Suppose -68693 - 62308 - 15097 = -17*n. Does 168 divide n?
False
Let w = 66 - 66. Suppose -14*b + 6*b + 10648 = w. Is 11 a factor of b?
True
Let d(s) = -30*s - 202. Let i be d(-7). Let o(r) = -r + 12. Let q be o(5). Suppose -q*n + i*n - 47 = 0. Is n a multiple of 9?
False
Let u(d) = 80*d - 1006. Is u(20) a multiple of 33?
True
Suppose 5*a + 62*z - 35220 = 67*z, 6 = 2*z. Does 106 divide a?
False
Suppose -192 = -3*g - j, -g - 120 = -3*g + 2*j. Let d(i) = -i**3 - 9*i**2 - 3*i - 14. Let a be d(-9). Suppose a*v - 847 = g. Is 7 a factor of v?
True
Suppose -2*a = 4, 5*a = 5*w + 17 - 37. Suppose m + m - 32 = -5*l, 20 = 4*l + 3*m. Is 2 a factor of 0 - w/8 - (-82)/l?
True
Let n(i) = i**3 + 12*i**2 + 11*i + 34. Let t(m) = -2*m**3 + m**2 - 2*m - 11. Let a be t(0). Does 7 divide n(a)?
False
Suppose 0 = -c + 2*c - 5, 2*c = -l - 202. Let n = -184 - l. Does 7 divide n?
True
Let q(f) be the first derivative of -17*f**2/2 - 41*f - 53. Is 20 a factor of q(-11)?
False
Let s(y) = y + 5. Let x be s(0). Suppose 0 = -3*o + 2*l + 23, -2*o + 5 = -4*l - x. Suppose -745 = -o*a + 4*a. Does 14 divide a?
False
Suppose 6 = -6*x + 3*x, -4*v + 4*x = -8. Suppose v = c - 49 - 8. Suppose -c*d - 14 = -58*d. Does 9 divide d?
False
Let l = 3309 + -1509. Let o = l - 1064. Is 18 a factor of o?
False
Suppose 4*i - 32666 