 Suppose i = 201 + t. Is i a multiple of 28?
True
Suppose -9*r + 3870 = -7*r. Suppose -14*u - r + 6205 = 0. Is u a multiple of 11?
False
Suppose -4*w - 4 = 0, 0 = -g + 3*g + 3*w - 7. Suppose -180 = -0*q - 3*q. Suppose g*u - 5*s - q = 0, u + 5*s = 4*s + 2. Does 4 divide u?
False
Suppose -18 = -5*o - o. Suppose o*m + 4*c - 40 = -m, 0 = 4*m + 5*c - 37. Is 4 a factor of m?
False
Let g(f) = 2*f**2 - 7*f - 7. Let n be g(6). Suppose 0 = -28*z + 4*z. Suppose z = 18*s - n*s + 240. Does 16 divide s?
True
Does 34 divide ((-164)/(-10))/((-14931)/3735 - -4)?
False
Let q = -7573 - -12578. Is q a multiple of 4?
False
Suppose -81*r + 86*r - 1361 = 2*h, -4*r - 4*h + 1100 = 0. Is 2 a factor of r?
False
Let t = -40 + 119. Suppose -2*v = -5 - t. Is 14 a factor of v?
True
Is (632/790 + 38/15)/((-1)/(-756)) a multiple of 24?
True
Suppose -x + 135 + 49 = 0. Is x + 0/6 + -4 a multiple of 18?
True
Let h be 2/(-12) - (5358/36 + -1). Is ((1 - -2) + h)*-1 a multiple of 8?
False
Let t(m) = m**2 + 11*m + 23. Let w be t(-14). Let j = w - -131. Let c = -53 + j. Does 19 divide c?
False
Is 7 a factor of ((-10)/(-42))/((-30)/(-36)) + (-14337)/(-21)?
False
Suppose -u - 2*u = 3189. Let p = 1580 + u. Suppose 59 + p = 4*j. Is j a multiple of 12?
True
Suppose 5*q + 88 = 16*q. Suppose 1677 = q*o - 5*o. Is 61 a factor of o?
False
Suppose 4*d + 2200 = 3*g + 622, -5*d - 2635 = -5*g. Let r = -179 + g. Is r a multiple of 19?
False
Suppose -3*d - 4*w + 36008 = 0, -533*d = -529*d + 2*w - 48004. Is 21 a factor of d?
False
Let k(z) = 4*z**2 + 377*z + 2551. Does 33 divide k(-151)?
True
Suppose -x = 5*w + 1197, 4*w = 2*w + 2*x - 486. Does 9 divide (-27*2/5)/(16/w)?
True
Suppose 0 = -h - 5*q - 98, 0 = 5*h - 5*q + 75 + 505. Let l = 723 - h. Does 35 divide l?
False
Suppose 2*h - 271 - 135 = 0. Let l = h + -131. Does 6 divide l?
True
Let p(b) = -b**3 - 10*b**2 - 2*b + 6. Let c be p(-10). Let d be c/6 - 0 - (-28)/(-84). Suppose 4*y + 371 - 77 = 3*v, -d*v + 3*y + 399 = 0. Is 53 a factor of v?
False
Suppose -14*c + 8*c + 33950 = 19*c. Does 6 divide c?
False
Let n = -2883 - -3607. Does 10 divide n?
False
Let f be (-33)/(7/((-28)/3)). Suppose 5*z - 956 = f. Is 20 a factor of z?
True
Suppose -f - r = -3*f - 10, -f - 27 = 5*r. Let y = f - -26. Suppose -o = 3*b - 0*o - y, -5*b = 2*o - 33. Does 3 divide b?
False
Suppose 2*b + c + 7 = 7*b, -8 = -b - 2*c. Is 15 a factor of (6 - b - -231) + 1 + 2?
False
Let d be 25 + -3*(-3)/(-9). Let v = 29 + -37. Does 34 divide (0 - v)/(3/d)?
False
Suppose -150 = -15*m + 60. Is 7 a factor of 412/m - ((-50)/(-35) + -1)?
False
Does 15 divide (-578)/(-5202) - 49814/(-9)?
True
Let d = -14167 - -21377. Is d a multiple of 10?
True
Let g(y) = y**2 + 29*y + 1144. Is 8 a factor of g(-48)?
True
Suppose 26 = 6*y - 3*y - 5*f, -2*y + f + 15 = 0. Suppose 2973 + 30 = y*r. Does 13 divide 3/((18/r)/2)?
True
Let u = -10881 + 11752. Is 7 a factor of u?
False
Let x(m) = -14*m + 49. Let g be x(-15). Let q = 374 - g. Suppose 5*p - 310 = 2*a, -3*p - a = -p - q. Does 12 divide p?
True
Let j(b) = 25*b - 45*b**2 + 20*b**2 + 27*b**2 - 4. Is j(-14) a multiple of 2?
True
Let k(f) = -35*f**2 - 3*f. Let s(d) = -35*d**2 - 2*d. Let p(o) = 3*k(o) - 4*s(o). Suppose -2*b - 9 = -7. Is 12 a factor of p(b)?
True
Let y(j) = 17*j**2 + 6*j - 9. Let a(b) = -b**2 + 10*b - 32. Let w be a(10). Let l = w - -36. Does 37 divide y(l)?
False
Let c(h) = -2*h**2 + h + 5. Let t be c(0). Suppose r - 3 = -b, t*r - 15 = -2*b - 0*b. Let j(k) = 9*k + 1. Does 9 divide j(r)?
False
Let u be (-6)/33 - (-4)/((-44)/(-57)). Is u + (462 - 9/3) + -2 a multiple of 14?
True
Let s(x) = x**2 + 10*x - 3. Let h be s(-10). Let f be (-1 + (-2)/h)*-6. Suppose -4*t = -f*i + 56, 3*i - 123 + 3 = -3*t. Is 4 a factor of i?
True
Suppose 0 = -3*d + 5*d + 12. Let z = -1 + 15. Let b = z - d. Is 20 a factor of b?
True
Let s = -50 - -375. Let n = s + -192. Is n a multiple of 7?
True
Is 150/30 - (5 - 14992) a multiple of 16?
True
Suppose 9*l - 612 = 6903. Suppose -2*w + l = w + 4*g, -2*w - 4*g + 550 = 0. Is w a multiple of 19?
True
Let l(i) = i**2 + 11*i + 13. Let b be l(-10). Suppose -2*d = 2, f + 9 = b*f - d. Suppose 0*a - a = -o - 33, 21 = a - f*o. Does 6 divide a?
False
Let q = 1 - -4. Suppose 0 = -z - 2*r - 6, 0 = z - q*r + 7 - 29. Suppose z*a = -6*a + 464. Is 29 a factor of a?
True
Let g = 54 + -40. Suppose -600 = -g*r + 6*r. Does 57 divide r?
False
Let c(z) = 9860*z - 1940. Does 102 divide c(3)?
False
Let x(c) = 2932*c - 6291. Does 24 divide x(4)?
False
Suppose 0*f = -5*i - 4*f + 163, -i + 2*f = -41. Let p = i + -63. Is ((p/6)/7)/(2/(-117)) even?
False
Let i = 16528 - 9796. Is 66 a factor of i?
True
Let t be (-63)/(-252) - (-2)/(16/(-2914)). Let i = 741 + t. Does 29 divide i?
True
Let a be (3 + -10)*-1 + 4/4. Suppose -4408 + 808 = -a*m. Is m a multiple of 50?
True
Let y(u) = u**3 - 12*u**2 + 11*u + 3. Let k be y(11). Suppose -4*c = -k*v + 17, 22 = 4*v - 3*c - 3. Let s(h) = h**2 + 7*h - 14. Is s(v) a multiple of 21?
True
Let g(o) = -o**3 - o**2 - 3*o - 3. Let y be g(5). Let k = 187 + y. Is k a multiple of 3?
False
Suppose -905175 = -19*b - 164*b - 42*b. Is b a multiple of 13?
False
Is 46 a factor of 914551/142 - (-1 + 3/2)?
True
Let m(w) = 2*w**3 + 3*w**2 - 6*w - 7. Let v be m(-6). Suppose -10*i - 12*i - 3476 = 0. Let g = i - v. Is 7 a factor of g?
False
Let h = 13868 - 10571. Is h a multiple of 12?
False
Let c(x) be the first derivative of -35*x**2/2 - 96*x + 17. Is 12 a factor of c(-12)?
True
Let u = -443 + 454. Suppose 10920 = 9*r + u*r. Is 14 a factor of r?
True
Let z = -291 - -137. Let r = z - -539. Is 55 a factor of r?
True
Suppose 0 = -r + 3*l - 11, 5*l + 7 = -r + 36. Suppose r*g + 43 = j, 0 = 2*j + g - 65 - 57. Let w = j + -36. Does 19 divide w?
False
Let h(p) be the third derivative of p**6/60 + 37*p**5/60 - 17*p**4/24 + 7*p**3/3 + 11*p**2. Does 43 divide h(-17)?
False
Let u(p) = 15*p + 94. Let m be u(-6). Suppose 132 = q + m*a - 10, -2*q + a + 329 = 0. Does 27 divide q?
True
Let l(s) = s**2 - 14 - 3*s**2 + s**2 + 2*s**2 + 19*s. Suppose -881*r + 880*r = 22. Is l(r) a multiple of 26?
True
Suppose -565*b = -563*b - 1430. Does 23 divide b?
False
Let l be 1/(-2)*(52 + -90). Suppose 2081 = l*v - 11352. Is 63 a factor of v?
False
Let c(g) = g**2 + 2*g - 6. Let a be c(-16). Suppose a = 7*o - 111. Does 3 divide o?
False
Let o = 62 - 62. Suppose o = 16*p - 19*p + 651. Is p a multiple of 41?
False
Is 16 a factor of 2047 + 6*8/(-18)*(-27)/(-18)?
False
Let m(j) = 7*j**2 + 24*j - 11. Let i be m(-17). Suppose -i = -10*k + 6*k. Does 77 divide k?
False
Suppose 3*x = -5*h + 2287, x + 2*h - 761 = -0*h. Suppose -x = -4*z - 45. Suppose f + 2 = -2, 0 = 3*r - 4*f - z. Is 10 a factor of r?
False
Let k(l) = l**3 + 11*l**2 + 3*l - 60. Let r(a) = -a**3 - 10*a**2 - 4*a + 61. Let j(y) = 7*k(y) + 6*r(y). Let w be j(-17). Let i = w + 48. Is i a multiple of 2?
False
Suppose 0 = 5*j - l - 14, 3*j - l = 11 - 3. Suppose 0 = j*a - 13 - 131. Suppose -n + a + 29 = -h, -3*n + 196 = 4*h. Is n a multiple of 8?
True
Let w(x) = 3*x**3 - 110*x**2 - 86*x - 33. Is 6 a factor of w(38)?
False
Let o be 1788/(-27) + (-34)/(-153). Let n = 324 + o. Is 6 a factor of n?
True
Let u be 2139/23*(-16)/6. Let l = u - -299. Does 2 divide l?
False
Suppose 6*s = 21*s - 45. Is 1317 + (-1)/s*21 a multiple of 34?
False
Let q(p) = -11*p - 11. Let u(l) = -l**3 + 4*l**2 + 7. Let r be u(4). Let f be (-43)/r + 1/7. Is 6 a factor of q(f)?
False
Let d = -22 - -10. Let q(y) = -3*y - 33. Let z be q(d). Suppose z*k = -k - 2*c + 112, -8 = -4*c. Does 9 divide k?
True
Suppose 287 = 75*m - 82*m. Is 41 a factor of m/((-9)/(-6)*(-4)/42)?
True
Suppose -3*x = 5*p + 7 - 31, -x - 12 = -5*p. Suppose 0 = 5*d + 3*t - 2*t - 1101, -658 = -p*d + 2*t. Does 28 divide d?
False
Suppose -78 = 4*b - 5*d, 9*b - 4*b + 95 = 5*d. Let p(s) = s**3 + 16*s**2 - 18*s - 7. Is p(b) a multiple of 4?
False
Let x = 502 + 458. Suppose -12*r + x = -10*r. Is 8 a factor of r?
True
Suppose 0 = 12*z - 2*z - 420. Suppose 45*t - z*t = 696. Is 17 a factor of t?
False
Let k(s) = s**2 + 13*s + 15. Let d be k(-12). Suppose 8 = d*c - c. Does 7 divide 44 - (7 + -3) - c?
False
Let d = 14005 - 1256. Does 93 divide d?
False
Is 11 a factor of 13166232/1044*(-3)/(-2)?
False
Let r = 22770 - 8370. Does 45 divide r?
True
Let r(g) = g**2 - 12*g + 30. Let x(i) = -3*i**2 - 1