- 3) - 175/n?
False
Let p(c) = -3*c + 142. Let l be p(30). Suppose -l*y = -20*y - 17472. Is y a multiple of 21?
True
Is -1 + -2 + 476/2 - -8 even?
False
Let z = -24763 - -27207. Does 47 divide z?
True
Let v = 72 + -79. Does 13 divide (-6)/(-6) - (v + 5)*12?
False
Let j(a) be the third derivative of 79*a**5/15 - a**4/12 - a**3/3 - 4*a**2 + 17*a. Does 11 divide j(-1)?
False
Does 5 divide (-60)/25 - 48042/(-30)?
False
Let p(s) = -2*s**3 - 11*s**2 - 26. Let y be p(-9). Suppose -h + 3*m = -y, -5*h - 3*m - 106 = -2721. Is 20 a factor of h?
False
Is -3 - 32/(-12) - (-16350)/45 a multiple of 11?
True
Suppose -261 = 39*d - 10*d. Let r(o) = 19*o**2 + 17*o + 117. Does 17 divide r(d)?
False
Suppose 19*g + 160704 = 3*g + 486576. Is 93 a factor of g?
True
Is 5 a factor of 6/4 - ((-115155)/(-360))/((-6)/136)?
False
Let l(a) = -10*a**3 + 7*a**2 + 8*a + 3. Does 6 divide l(-4)?
False
Let g(z) = z**3 + z. Let t be g(-1). Is 21 a factor of ((-210)/(-60))/(t/(-120))?
True
Does 7 divide 2984/(-18)*(-531)/118 - -3?
True
Let o(i) = 23*i**2 - 9*i + 15. Let z = -82 - -87. Is o(z) a multiple of 61?
False
Suppose 0 = 4*o + 4*n - 54372, 2*n + 53993 = 5*o - 14021. Is o a multiple of 10?
True
Let d(g) = -57*g**2 - 5*g - 3. Let i(t) = 49*t**2 + 4*t + 4. Let j(v) = 6*d(v) + 7*i(v). Suppose -z - 8 = -3*z. Is 6 a factor of j(z)?
True
Let z(b) = -b**2 - 4*b + 4. Let f be z(-4). Suppose -4*l + 15 = l, -4*l + f = -4*g. Suppose d - 139 = -3*s + 37, -g*d - 238 = -4*s. Does 13 divide s?
False
Let h be -3*(-9)/18*(0 - 2). Let b = 96 - h. Does 3 divide b?
True
Let r be 2/8*2*-4. Let j = -2643 - -2417. Is -1 - r*j/(-4) a multiple of 18?
False
Suppose -2*s + 58029 = 282*h - 283*h, h - 116037 = -4*s. Is 34 a factor of s?
False
Let o(v) = 100*v**2 + 245*v + 6. Is o(-12) a multiple of 42?
True
Is 8 a factor of (-9304)/(-20)*(-1 - 35/(-10))?
False
Suppose 3*r - 2*r = 621. Let c = -423 + r. Is 9 a factor of c?
True
Suppose -x = -x + 2*x. Is ((-6)/(-6) - x) + 161 a multiple of 13?
False
Let s = 359 + 117. Does 58 divide s/7*(9 - 2)?
False
Let l(j) = -6976*j**3 - 12*j**2 - 13*j - 1. Is 185 a factor of l(-1)?
False
Let i = 33 - 18. Suppose 0 = 3*v - i + 3. Suppose 43 = a - v. Is 11 a factor of a?
False
Let p = 15070 - 8125. Is p a multiple of 106?
False
Let a(m) = -4*m**2 + 17*m**2 - 6*m**2 + 2*m - 3*m**2. Is 15 a factor of a(-5)?
True
Suppose -4*w - 82*k + 87*k + 69897 = 0, k = -4*w + 69867. Is 33 a factor of w?
False
Suppose 3*v = 9*v - 132. Let h be ((-11)/v)/(2/(-12)). Suppose -h*i + 497 + 133 = 0. Is i a multiple of 15?
True
Let f = -320 + 323. Suppose -474 = -4*y - m + 419, -y - f*m = -215. Does 23 divide y?
False
Suppose -3*o + 2259 = 3*a, 5*o - 489 = -4*a + 3273. Is 50 a factor of o?
True
Is 11 a factor of (((-2219)/2)/(-7))/(8/176)?
True
Suppose -769*a = -764*a - 142880. Is 6 a factor of a?
False
Let m = -65 - -79. Let s(r) = -r**2 + 12*r + 32. Let q be s(m). Suppose -6*k + q*l + 112 = -2*k, 3*k - 84 = l. Is 7 a factor of k?
True
Does 13 divide (-6 - -10252)/(246/(-451) + (-35)/(-44))?
False
Suppose -5*t + 3*h + 16 = 0, 2*h - 21 = -t - 2*t. Suppose 4*y = t*b, 0*y + 3*y + 5 = 5*b. Does 22 divide 1 + (3 - y) - -89?
True
Let t(a) be the third derivative of -7*a**4/12 - 26*a**3 + 86*a**2. Does 18 divide t(-15)?
True
Suppose -302 = -a - a + 4*b, -a - 5*b + 144 = 0. Suppose -3*n = 4*o - 1413, -n = -2*o + a - 630. Is 44 a factor of n?
False
Suppose -50*q = -174*q - 248. Let d(h) = -9*h**2 - 2*h - 3. Let w(v) = 37*v**2 + 9*v + 12. Let k(u) = -9*d(u) - 2*w(u). Is k(q) a multiple of 7?
False
Let f = 11631 - 4506. Let p = f - 4997. Does 14 divide p?
True
Suppose a + 860 + 1386 = u, -u - a + 2238 = 0. Does 38 divide u?
True
Let x(o) = 5*o**3 + o**2 + o - 1. Let l be x(-1). Let q = l + 10. Suppose 405 = y + q*y. Is y a multiple of 17?
False
Let o = 63 + -58. Suppose 5*s + o*t = 2*s + 1, 5*s - 3*t - 13 = 0. Is ((394 - -4) + -4)/(4/s) a multiple of 18?
False
Suppose 2560 = -34*f + 32650. Does 15 divide f?
True
Let s be 12 - (3 - 0)*(-4)/3. Suppose -8*x + 24 = -s*x. Is 39 a factor of -211*(x - (-2)/1)?
False
Let h(i) = 79*i**2 + 2*i. Let j(x) be the second derivative of x**5/20 - x**4/2 + 2*x**3/3 + 2*x**2 + 10*x. Let l be j(5). Does 11 divide h(l)?
True
Suppose 196*b = 208*b - 28308. Is b a multiple of 7?
True
Let l = -3077 + 5996. Let i = l + -1337. Is i a multiple of 14?
True
Let a be -106 + (3 - -1)*-1 - 3. Let v = 3 - a. Does 29 divide v?
True
Does 16 divide 24 + (-1860)/75 + 5/(25/43284)?
True
Suppose h - 4*b = 6*h - 10, b = 5*h - 10. Suppose 2*f = -2*f - 3*g + 22, 3*f - 2*g - 25 = 0. Suppose -f*k + 70 = -h*k. Is 2 a factor of k?
True
Suppose -f + 2*s - 7 = -2*s, -4*s = 8. Is 1422/f*(-10)/4 a multiple of 24?
False
Suppose 802 - 740 = -2*j. Does 19 divide 6*(-16)/8*(j - -1)?
False
Let v(j) = -66*j**2 - 2*j - 1. Let g be v(-1). Let s be 105 - (2 + 2 + -4). Let b = s + g. Is 7 a factor of b?
False
Suppose -5*r + 708 = y - 10*r, 3*y - 2194 = r. Let x = -386 + y. Does 2 divide x?
False
Let z(h) = -h**3 + 29*h**2 + 59*h - 1008. Does 39 divide z(13)?
False
Let k be (22/(-6) - -3)/(4/(-18)). Suppose -2*s = 5*g + 1 + k, 10 = -5*g. Suppose 7 + s = q. Is q a multiple of 3?
False
Let l = 9206 - 7364. Does 8 divide l?
False
Let y = -57 + 61. Let g(z) = -z**2 + 11*z + 17. Let h be g(12). Suppose y*c = -q - 3*q + 136, -h*c + 185 = 2*q. Does 10 divide c?
False
Let j = 2727 + 850. Is 73 a factor of j?
True
Suppose 329669 = 34*l + 44613. Is l a multiple of 148?
False
Let q = 1474 - 943. Suppose 2*y = -3*j + q, -10*y - 2*j + 1050 = -6*y. Does 9 divide y?
True
Let j(a) be the third derivative of 0*a - 1/6*a**3 - 7/60*a**5 + 0*a**4 + 1/20*a**6 + 6*a**2 + 0. Is 14 a factor of j(3)?
True
Let u = -9 - -12. Let j = 87 + -82. Suppose 2*n + 147 = j*x + u*n, 3*x - 85 = n. Is x a multiple of 7?
False
Suppose 0 = 73*x - 61*x - 83544. Is 59 a factor of x?
True
Let h = 106 - 58. Let j = h - 51. Is 11 a factor of ((-12)/(-20))/j + 121/5?
False
Suppose 7746 = 3*g - 3*l, 2 + 2 = -2*l. Is g a multiple of 60?
True
Suppose 5*n - 5 + 183 = -2*p, 0 = -4*p + n - 334. Let m be 24/p - 8376/(-14). Let r = m - 226. Does 31 divide r?
True
Let w(z) = -z + 7. Let b be w(3). Suppose 4 = b*a - 8. Suppose -a*q = q - 408. Is q a multiple of 11?
False
Let s be -1 - ((-126)/(-14) - 6). Let r(d) be the first derivative of -d**4/4 - d**3/3 - 5*d**2/2 + 3*d - 1. Does 22 divide r(s)?
False
Suppose 95*m = 92*m + 27501. Is 89 a factor of m?
True
Let n be -3 - (31/(-1) - 4). Suppose -20 = 3*x - 2*l, 3*x + 2*l + 2*l = -n. Let s = 14 + x. Does 4 divide s?
False
Let i(s) = -14*s + 30*s - 5 - 391*s + 1. Does 7 divide i(-1)?
True
Let x = -259 + 178. Is 27 a factor of x/(8/(80/(-3)))?
True
Is (-12)/138 - (-16 - 4913426/322) a multiple of 47?
True
Let d(j) = 4 + 5 - 5*j**2 - 8*j + 12*j + 1. Let t be d(3). Let u = 32 + t. Is 2 a factor of u?
False
Suppose f - 3421 = 5*d, -2299 = -3*f - 3*d + 7946. Is 14 a factor of f?
True
Let t = 99 - 139. Let w = -3 - t. Let b = w - 17. Is 20 a factor of b?
True
Let o(q) = 2097*q**2 + 141*q - 420. Is 11 a factor of o(3)?
True
Let s = 18 + -14. Let f be s/20 - 19/(-5). Suppose 0 = -f*y - 1 + 5, 2*u - 73 = -5*y. Does 17 divide u?
True
Suppose f - 3*r = 3, 3*f - 8*r + 3*r + 3 = 0. Is 6 a factor of (-730)/6*(f - (-84)/20)?
False
Let p(d) = -27*d + 51. Let v(o) = -o**2 + 22*o - 52. Let a(y) = -2*p(y) - 3*v(y). Does 18 divide a(10)?
True
Let w(j) = -j**3 + 12*j**2 + 69*j - 43. Is 8 a factor of w(-9)?
False
Let c be (-4)/10 + 568/20. Suppose -30*l + 62 + 44 = 23*l. Suppose l*p - 76 = -2*g, 0*p + c = g - p. Is g a multiple of 26?
False
Let h be 500/(-7) - (-42)/98. Let j = h - -179. Does 36 divide j?
True
Is 19 a factor of 50/(-300) + (328326/(-16))/((-18)/8)?
True
Suppose -42*m + 43*m = 5*x + 65, 10 = 2*x. Is m a multiple of 5?
True
Suppose -25*d - 4 = -29*d. Let f be d/(3*1/33). Suppose 5*b + 666 = f*b. Does 18 divide b?
False
Let j be 1*1/(44/20 + -2). Suppose 4*u - 907 = -2*q - 147, -401 = -q + j*u. Let m = -248 + q. Is m a multiple of 22?
False
Let o = -98 - -100. Suppose -3*s = -4*g - 53, -2*s - 4*g + 24 = o. Does 9 divide s?
False
Let z = 7190 - 1114. Is z a multiple of 70?
False
Let x(p) = -p**3 + 5*p**2 + 15*p - 3. Let d be x(7). Suppose 5*z = d*z + 170. Is z a multiple of 34?
True
Does 48 divide 60/18*(-3726)/(-90)?
False