/2*p**2 - 2. Does 10 divide o(-17)?
False
Let l be -256*((-15)/(-5) - 2). Let o = -120 - l. Is 31 a factor of o?
False
Let t be ((-188)/14 - 8)/(2/(-42)). Suppose -4*s = -3*l - 1141, -143 = -2*s - 3*l + t. Is s a multiple of 23?
False
Suppose 1959*a = 1956*a - 3*w + 4407, -5*w - 7385 = -5*a. Is 30 a factor of a?
False
Let v(l) = l - 13. Let q be v(10). Let w = 0 - q. Suppose -w*a - 2*a = 10, -5*d - 2*a = -116. Is d a multiple of 12?
True
Suppose 73*q - 58*q = -300. Is 32 a factor of (-2351)/(-3) - -3*q/90?
False
Let n(q) be the third derivative of -q**5/60 - 5*q**4/4 + 49*q**3/6 + 3*q**2 - q. Is 5 a factor of n(-22)?
True
Suppose 4677 + 24973 = 5*v. Is v a multiple of 9?
False
Let r = 23479 + -22218. Is r a multiple of 16?
False
Let v = -61 - -47. Let z be ((-880)/(-77))/((-4)/v). Suppose z = l - 202. Is l a multiple of 13?
False
Does 3 divide (-541404)/(-162) - 24/(-2)?
True
Suppose 12 = 4*i - 28. Suppose -3*n + 9*n = 18. Suppose -k + 7 = 4*m, -n*k - 5*m + i + 18 = 0. Is 3 a factor of k?
False
Let m(g) = 4*g**2 + 2*g - 2. Let v be m(1). Suppose -v*l + 1792 = -664. Suppose -7*r - 124 + l = 0. Does 10 divide r?
True
Does 4 divide (-15)/21 - (246282/(-21) - -2)?
False
Let q = -34120 - -50745. Is q a multiple of 5?
True
Let u(k) = -k**3 - 19*k**2 + k + 18. Let x be u(-19). Let n(v) = -1. Let a(b) = -59*b + 9. Let f(i) = x*a(i) - 6*n(i). Is 35 a factor of f(4)?
False
Suppose 0 = -6*a - 0*a + 5*v + 36107, 2*a - 11989 = -5*v. Is a a multiple of 3?
True
Let s(i) = 1142*i + 7952. Is 26 a factor of s(39)?
False
Let b be ((0 - -1)/(-3))/(77/16401). Let w(i) = 19*i - 33. Let c be w(11). Let r = b + c. Does 22 divide r?
False
Let c be (0 + 1)/((-49)/(-10094)). Suppose 2*d + 76 = c. Is 4 a factor of d?
False
Let j(o) = -9*o + 68. Suppose 4*u - 5*k + 107 = 0, -4*k - 116 = -2*u + 6*u. Is 32 a factor of j(u)?
True
Let f = -38 + 38. Suppose f = 2*k + 75 + 51. Let q = k + 208. Is 14 a factor of q?
False
Let q(t) = 2*t + 28. Let h be q(-16). Let o be (-10)/40 + (-1)/h. Suppose o = -p + 2*p - 8. Does 4 divide p?
True
Let j(r) = -2*r**2 + 6*r - 7. Let k be j(2). Let d(w) be the third derivative of -13*w**4/24 - 4*w**3 + 6*w**2. Does 5 divide d(k)?
True
Is 30/(-1)*((-108)/8 - -5) a multiple of 123?
False
Is 112 a factor of (282348/110 + 22)*5?
False
Let b(u) = 3*u**2 - 5*u - 33 + 11*u + 33*u - 3. Does 9 divide b(-16)?
True
Suppose n - 2*y = -n + 4102, -3*n + 6153 = y. Is n a multiple of 40?
False
Let d = -4479 - -6370. Is 7 a factor of d?
False
Suppose -3*h + 377 = 5*i, h - 137 = 10*i - 6*i. Suppose -4*s + h + 223 = 0. Is 22 a factor of s?
True
Let j be 5*2*1/(-2). Let y(w) = -7161*w**3 + 0 + 9 - 4*w**2 + 5*w + 7160*w**3. Is y(j) a multiple of 9?
True
Suppose 5*o - 385 - 1780 = 0. Suppose o = 9*l - 917. Is l a multiple of 6?
True
Let t(o) = 5*o**2 + 14*o + 7. Let z be t(-2). Is 10 a factor of 2158/8 - z*1/4?
True
Let r = -207 - 304. Let s = r - -688. Is 12 a factor of s?
False
Does 13 divide (-21)/3 + (24/(-16))/((-2)/16244)?
False
Let f = -5271 - -16947. Is f a multiple of 14?
True
Let k(m) = 2*m**3 + 17*m**2 - 7*m + 13. Let j be k(10). Suppose -3467 - j = -15*h. Does 32 divide h?
False
Let y(c) = c**2 + 23*c - 384. Is 4 a factor of y(16)?
True
Let w be (-91 - -12)*(0 - 1) - -3. Let x = w + -3. Is x a multiple of 2?
False
Let j = 325 + 2831. Is 12 a factor of j?
True
Suppose -2*x + 5*g = 388 - 1059, -1012 = -3*x + 2*g. Is x a multiple of 3?
False
Suppose 0 = -70*w + 202*w + 73*w - 607620. Is 52 a factor of w?
True
Let q be (-3)/(-2)*-222 + (-8)/(-2). Let h = 474 + q. Does 29 divide h?
True
Suppose -5*w = 4*i - 26, 2*w - 10 = -4*i + 10. Suppose -3*y - 3 = k, -9 = w*k - 2*y + 5. Let r(f) = -f**2 - 11*f - 4. Is 13 a factor of r(k)?
True
Let y(l) = -4*l + 4009. Is y(-19) a multiple of 4?
False
Suppose 3*q - 325*h - 26362 = -320*h, q - 8778 = -3*h. Is q a multiple of 36?
True
Suppose 5*r = 2*r. Let h(n) = 2*n**3 - n**2 + 4. Let y be h(r). Suppose -2*s + 0*s + 306 = 4*g, 577 = y*s + g. Is 13 a factor of s?
True
Let y = -66 + 73. Let f = 60 - y. Does 6 divide f?
False
Let f = 3780 - 1771. Is 49 a factor of f?
True
Let m be (-4)/(-6) + (-14)/3. Let y(d) be the second derivative of -17*d**3/6 - 2*d**2 - 289*d. Is y(m) a multiple of 16?
True
Let v(t) = -3*t**3 + 3*t**2 - 4*t - 22. Let m be 1*(2/5 + (-306)/90). Does 14 divide v(m)?
True
Is 51 a factor of 5 - (360/32 + -7) - 24465/(-20)?
True
Let g be 797398/(-77) - (-8)/(-44). Does 86 divide g/(-2)*(-47)/(-141)?
False
Suppose 99*q + 11507 = 20*q + 142410. Does 2 divide q?
False
Let y be (-5)/((5 + -4)*-2 - -3). Let b(z) = 31*z + 273. Does 3 divide b(y)?
False
Suppose -32*q - 84*q + 326785 = -517231. Is 68 a factor of q?
True
Suppose -4*o + 5*o = 3*z - 10, 5*z = 3*o + 22. Suppose 3*k + z*b = 1129, -5*k - 383 = -6*k - 4*b. Let s = -207 + k. Does 19 divide s?
False
Suppose -185817 - 613368 = -16*h - 124065. Is 29 a factor of h?
True
Let f be (-23)/(-7) + 8/(-28). Suppose -f*j + 2*o + 858 = 0, -5*j + o = -0*o - 1437. Is 12 a factor of j?
True
Let p(o) = 4*o**2 + 26*o - 12. Let i be p(-9). Let t(c) = -74*c - i*c + 3*c**2 + 37 + 163*c. Is t(-6) a multiple of 47?
False
Let b(l) = 4*l**2 + 209*l - 50. Let f be b(-49). Let y = f + 1074. Does 7 divide y?
False
Let m(p) = 141*p**2 - 46*p + 182. Is m(5) a multiple of 29?
False
Suppose 5*c - 39 = -3*f, 2*c - 24 = -c - 2*f. Suppose c*i = -8*i + 6930. Is 55 a factor of i?
True
Let z(u) = 14*u**2 + 16*u - 847. Is z(-22) a multiple of 191?
False
Let h be (-10)/15*27/6 + -3. Let n be (4/h*9/6)/(-1). Is ((22*-3)/3)/(n/(-4)) a multiple of 10?
False
Let u = -6610 - -13996. Is 20 a factor of u?
False
Let u be (1 - 22/55) + (-21204)/(-10). Does 14 divide 18/(-117) + (3 - u/(-13))?
False
Let i(o) = -13*o**3 + 30*o**2 + 46*o + 11. Is i(-7) a multiple of 27?
False
Let f = -1192 - -674. Let d = 116 - f. Suppose 244 = -15*y + d. Is y a multiple of 13?
True
Suppose -3*a + 55 = 5*b, b + 61 = a + 2*a. Suppose a*x = x + 76. Suppose 6 - 3 = h, -x*s + 705 = -5*h. Is s a multiple of 15?
True
Let b = -232 + -21. Let k = 98 - b. Is k a multiple of 39?
True
Suppose d + 100*b - 97*b - 5808 = 0, 3*b + 17376 = 3*d. Is 84 a factor of d?
True
Let x(p) = -4*p**3 - 3*p**2 + 8*p - 221. Does 32 divide x(-12)?
False
Let j = 763 - 766. Let t(d) = 33*d - 3. Let i(k) = 11*k - 1. Let q(x) = -21*i(x) + 6*t(x). Does 17 divide q(j)?
True
Let u = 629 + -626. Does 51 divide (0 - (-102)/(-6))*(-30 + u)?
True
Suppose -65*z = -81*z + 76064. Suppose 8266 + z = 14*g. Is 11 a factor of g?
False
Suppose 50*s - 65*s + 2925 = 0. Does 3 divide s?
True
Suppose 1363560 = 39*o + 69*o - 77268. Is o a multiple of 70?
False
Let c be 3/1*(9 + 9660/36). Let m = -697 + c. Does 3 divide m?
True
Let p be (0*1/(-3))/2 + 2. Suppose 0 = -11*m - 3*m - p*m. Suppose 4*c + 3*i - 451 = 0, m = 4*c + 5*i - i - 448. Is c a multiple of 18?
False
Suppose -3*a = q - 710, 2*a - 1251 = -3*q + 858. Is 19 a factor of (6/(-8) - (-418)/152) + q?
True
Let m(n) = -n**3 - 8*n**2 + 102*n - 7. Let u be m(7). Let g(w) = -w**3 - 28*w**2 - w + 102. Does 5 divide g(u)?
True
Suppose 0 = -0*x - 5*x + 35. Let z(b) = 2*b**3 - 7*b**2 - 8*b + 2. Let o be z(x). Suppose 5*l - 2*a - 1281 + o = 0, 2*l - 2*a = 392. Is l a multiple of 50?
True
Suppose 1544016 + 2555147 = 166*h + 275353. Does 15 divide h?
False
Let c be (44/12 - 3) + 4/(-6). Suppose -4*h - 4*w + 604 = c, -57 - 82 = -h + 2*w. Is h a multiple of 21?
True
Let x(z) = z**3 + 8*z**2 - 10*z + 12. Let g be x(-9). Let f = g - 17. Suppose -4*o = 4*m - 64, 80 = 4*m + m + f*o. Is 4 a factor of m?
True
Let m be (39/(-52))/((-1)/8). Let f be 0/(-3*(-1 - (-8)/m)). Suppose f = -12*w + 272 + 748. Is 17 a factor of w?
True
Let b = -15 + 14. Let s(x) = 519*x**2 + 10*x + 9. Is s(b) a multiple of 27?
False
Let t(p) = p - 6. Let m be t(9). Let s be (-1)/(6/(-3088)) + m/9. Suppose 4*r = -3*g + s, 2*g - 161 - 179 = -r. Does 36 divide g?
False
Suppose 3*t - 3 = -12, 4*m = -t + 62949. Does 43 divide m?
True
Suppose -5*j + 2*t = -2*j - 10, 5*t = j + 14. Suppose 88 = j*m + 16. Is m a multiple of 2?
True
Let q be 5 - (-15)/5 - (4 - 1). Suppose 5*m - q*z = m + 1001, -5*z - 239 = -m. Suppose 0*s + m = 2*s. Is s a multiple of 41?
False
Let y = 550 + 2128. Is 17 a factor of y?
False
Suppose 0 = 6*k - 1861 - 1049. Suppose p - k = 5*l, -5*l - 1355 + 410 =