Suppose -3*v + 21 = 0, 0 = 35*c - 28*c + 5*v - 303520. Does 83 divide c?
False
Suppose -16*v = -19*v + 1806. Suppose -3*w - 2*p = 3*p - 356, 5*w = -4*p + v. Let s = w + -58. Is s a multiple of 11?
False
Suppose 0 = -3*t + 5*z + 12449, -3*t + 5*z - 9*z = -12494. Is t a multiple of 99?
True
Suppose -168*z = -324*z + 164*z - 26760. Does 6 divide z?
False
Suppose 5*i + 10*l - 8*l = -6079, 0 = i - 2*l + 1211. Is 47 a factor of (-1288953)/i - (-4)/(-90)*-3?
False
Let s(d) = 5*d**2 - 2*d + 1. Let o be s(1). Suppose -o*c - 87 = 21. Let w(k) = -7*k - 45. Is w(c) a multiple of 24?
True
Suppose -70*k + 66*k + 4 = 2*d, 0 = -3*d - 6. Let p = -16 + 10. Does 12 divide p/k*(-8 + -4)?
True
Let o be (-83)/2 - 25/10. Does 23 divide (1 + o)*-1*7?
False
Let r = 2378 - 5624. Is 29 a factor of r/(-4) + ((-18)/4 - -5)?
True
Let m(y) be the third derivative of 7*y**5/60 + y**4/3 - 53*y**3/6 + 26*y**2 + y. Is m(8) a multiple of 55?
False
Suppose t + 5*t - 24 = 0. Let u be t*(-4)/8 - 82*1. Let k = 112 + u. Is k a multiple of 9?
False
Let b be (1 + 3)*((-42)/(-8))/3. Is -4 - ((-932)/b + (-13)/(-91)) a multiple of 15?
False
Let f = -42 + 55. Suppose -h - 5*n - 2 - f = 0, 0 = -4*h - 4*n + 4. Suppose 0 = 4*t + h*k - 29 - 118, -5*k = t - 33. Does 19 divide t?
True
Does 11 divide (-168)/(-56) + (1220 - 0)?
False
Suppose -12 = 2*n - 18. Is 11 a factor of 28/(10 - n) + 238?
True
Is 756/((-6)/2)*(2136/16)/(-3) a multiple of 18?
True
Let o(t) = t**2 + 6*t - 17. Let y(z) = 16 + 2*z - 9*z + 2 + 0*z**2 - z**2. Let q(h) = 3*o(h) + 2*y(h). Does 5 divide q(-8)?
False
Let o(b) = -b**2 + 24*b + 66. Let s be o(-13). Is 14 a factor of (-10)/(-6) - s/3?
True
Let s(m) = m**2 - 2*m - 1. Let v be s(-1). Let y be (-36)/v - -2*(-3)/6. Let o = y + 42. Is o a multiple of 3?
False
Let q be ((-228)/(-6))/(-2 - (-189)/94). Suppose 0 = -18*k + 14*k + q. Is k a multiple of 38?
False
Let q(g) = -2*g**2 - 19*g - 9. Let s be q(-9). Suppose s = 7*w - 11*w. Suppose 2*y + y + 3*o = 69, 4*y - 4*o - 52 = w. Is y a multiple of 3?
True
Let i = 3305 + -893. Is i a multiple of 24?
False
Let g(f) = f**3 + 3*f**2 - 17. Let t be ((-8)/(-4) - 3)*1 - 6. Let d be g(t). Let z = -109 - d. Is z a multiple of 11?
False
Suppose -9428*x + 143367 = -9432*x + 353271. Does 12 divide x?
True
Is 53 a factor of (-6)/(-4)*(-2 - (-2014 - -10))?
False
Suppose 145165 = 28*w - 244931. Is w a multiple of 162?
True
Is 7 a factor of (-17)/(-17) + (1056132/9)/7?
True
Let i be 36/2*(-2)/(-3). Let z = 15 - i. Suppose 92 = 4*a - 2*x, 36 = 2*a + x + z*x. Does 19 divide a?
False
Let k = -24 - -29. Suppose -3*d - 95 - 477 = 2*a, k*d - 5*a + 945 = 0. Does 5 divide 76/d + 1/((-10)/(-744))?
False
Suppose 0 = 2*w + 5*q + 1142, q + 146 + 1593 = -3*w. Let g = 801 + w. Is g a multiple of 20?
True
Let y be 1*(-24)/(-8) - -2. Suppose -3*z = v - 852, y*z + 491 = -5*v + 4791. Is v a multiple of 27?
True
Suppose 2*d = 4, -3*d - 2*d = 3*u - 304. Is 4 a factor of (u/3)/((-60)/(-18) - 3)?
False
Let g = -4823 - -8991. Suppose g - 538 = 11*l. Is 10 a factor of l?
True
Suppose -10*n = -2*n - 17232. Suppose -q = s - 313, 577 = -5*s - q + n. Is 9 a factor of s?
False
Let y(n) = 53*n + 40. Let j(z) = 78*z + 60. Let k(m) = 5*j(m) - 7*y(m). Let u be 3*(1*6)/2. Does 33 divide k(u)?
False
Suppose 13*g + 514152 = 41*g + 8*g. Does 15 divide g?
False
Does 212 divide (-3)/(-1)*3183012/204?
False
Let b be ((-20)/(-6))/((-18)/(-81)). Suppose b = -0*r - 3*r. Is (-80)/(-24)*(-24)/r a multiple of 8?
True
Let s be 3/(15/(-10)) + 443 + 4. Let h = s + -321. Does 16 divide h?
False
Is 90 a factor of 6836 - 84 - (1 - 0 - (-6 + 5))?
True
Let w be (-20 + 19)/(1 + -2). Does 12 divide (-3 - -521) + -3 + w?
True
Let z be (-2)/3 - (-11033)/(-51). Let o = z - -235. Is 9 a factor of o?
True
Let t(x) = 8 + 1 - 6 + 0 - 4*x. Let l be t(0). Suppose 4*d - 88 = l*f, -f = 3*d - 6*f - 55. Is d a multiple of 7?
False
Let u(y) = y**3 + 15*y**2 - 20*y - 24. Let n be u(-11). Suppose n = -13*m + 17*m. Does 9 divide m?
False
Let r = -5429 + 8922. Is r a multiple of 65?
False
Let m = 73 - 42. Let o = 556 + -499. Let v = o + m. Is 22 a factor of v?
True
Let f(j) = -j**2 + 35*j + 120. Let w = -641 - -671. Does 5 divide f(w)?
True
Let x be ((-38695)/20 - -5)*24. Is (-4)/16 - x/72 a multiple of 7?
False
Suppose -3*x + 387*k = 382*k - 4675, 4*k = -2*x + 3124. Does 65 divide x?
True
Let y(w) = -3*w + 53. Let r be y(16). Suppose -5*j = r, 8*m - 5*m - j - 13 = 0. Suppose -4*o - 2*i + 109 = -o, -m*o - 2*i + 144 = 0. Does 14 divide o?
False
Let d(t) be the first derivative of -321*t**4/4 + 7*t**2/2 + 6*t - 53. Does 10 divide d(-1)?
True
Let q be (-18)/(-8) - (-8 - 33/(-4)). Suppose q*g - 407 = g. Is g a multiple of 10?
False
Let s = -4 + -5. Let v(j) = -j**2 - 18*j + 4. Let m(a) = -a**2 - 18*a + 5. Let o(r) = -4*m(r) + 5*v(r). Is 9 a factor of o(s)?
True
Is ((-3348)/(-10))/(10 - (-4886)/(-490)) a multiple of 189?
True
Let a be 49/(-1)*(-4 - -3). Suppose -a + 57 = -4*j. Is 6 a factor of 916/28 + j - 4/(-14)?
False
Let v(r) = r**2 + 4*r - 8. Let s be v(2). Let w(l) = 10 - 4*l - l**3 - 5*l - 6 + 7*l**2 + 8. Does 4 divide w(s)?
True
Let s(h) = h**3 + 6*h**2 - 7*h + 4. Suppose v + 4*x + x = -7, 4*x = 0. Let z be s(v). Suppose -3*q + 7*o - z*o = -180, -2*q + o = -116. Does 15 divide q?
False
Suppose 72*m + 0*m + 209003 = 1733603. Is 121 a factor of m?
True
Let p(o) = 9*o**2 + 11*o**2 + 12*o**2 + 32*o - 57*o**2 - 19 + 15*o - o**3. Does 9 divide p(-27)?
False
Let w = 9281 + -4969. Is 144 a factor of w?
False
Let k = 24 + -22. Suppose -k*g = q - 17, 3*q - g - 5 = 25. Suppose -q*z + 184 = -3*z. Is z even?
False
Let d(m) = 7*m**2 + 2*m**3 - m + 11 + 4*m**2 - m**3. Let f = -2290 + 2279. Is d(f) a multiple of 6?
False
Let x(i) = -77*i**3 - 4*i**2 - i + 3. Let o be x(-2). Suppose -14*s = -z - 12*s + 215, 2*s = -3*z + o. Does 41 divide z?
True
Let u = 2755 - 25. Let d(s) = -7*s**2 - 69*s - 41. Let i be d(-9). Suppose 0 = i*h - 0*h - u. Does 30 divide h?
True
Let f(u) = -8*u - 6*u**2 + 9 + 2*u**3 - u**3 + 6. Let d be f(7). Suppose -216 = 2*y - d*y. Is 6 a factor of y?
True
Let f = -1370 - -29293. Does 63 divide f?
False
Suppose 5*m + 4*d = 42904, 29*d = 2*m + 33*d - 17164. Does 22 divide m?
True
Let k = 15415 + -7050. Does 35 divide k?
True
Let i be 0 + (3 + 1 - (1 + -3)). Let p(c) = 4*c + 1. Let b be p(i). Suppose 4*z - 4*d = 289 - b, 4*z - 278 = -3*d. Is z a multiple of 38?
False
Let a be (2 + -83 + 4 - 5) + -5. Let h = 399 + a. Is h a multiple of 12?
True
Let h = -7840 - -7842. Let j(s) = -s**2 + 4*s + 5. Let f be j(4). Suppose -10 = -2*d, f*n - 166 - 194 = -h*d. Does 10 divide n?
True
Let d be -3 - 4*(-1)/2. Let k(g) = -g + 1. Let j(i) = i**2 - 10*i - 24. Let v(a) = d*j(a) + 4*k(a). Does 7 divide v(0)?
True
Suppose -159*q = -164*q - 20, -4*d - 2*q = -10840. Is 24 a factor of d?
True
Let i(n) = -5*n**3 + 10*n**2 + 5*n - 18. Let y(h) = 11*h**3 - 21*h**2 - 11*h + 37. Let p(a) = -9*i(a) - 4*y(a). Let b be p(5). Is b/12*3 + 181 a multiple of 26?
False
Is 64 a factor of -328*(5165/(-170) - 16/136)?
False
Let m(a) = 6*a**3 + 177*a**2 + 23*a - 53. Is 17 a factor of m(15)?
True
Let u(q) = -34 - q + 5*q + 0*q + 3*q - 9*q. Let k = -10 + -9. Is u(k) a multiple of 4?
True
Let x = 9351 + -8294. Does 3 divide x?
False
Suppose 0 = -6*v + 28 - 10. Let a(r) = -r**2 - 9*r + 34. Let j(u) = u**2 + 14*u - 52. Let x(h) = -8*a(h) - 5*j(h). Does 4 divide x(v)?
False
Let q(u) = -573*u + 1326. Is 37 a factor of q(-18)?
False
Let c be (-4)/(-22) - (-277)/(-11). Let g = 62 + c. Let x = g + 8. Does 9 divide x?
True
Let j = 11378 + -8738. Does 6 divide j?
True
Let y(d) = 4*d + 50. Let i be y(-12). Suppose f - i*p + 73 = 210, 0 = 4*f + 5*p - 600. Is f a multiple of 4?
False
Let g = 7243 + -6288. Is g a multiple of 191?
True
Suppose -7*r = -10*r - 18, 5*g - 2*r - 151137 = 0. Is 65 a factor of g?
True
Let u = 17872 + -11074. Is u a multiple of 35?
False
Suppose 4*l - 2*o - 6 = 0, 2*o = 3*l - 6 + 4. Let q(r) = 40*r + 4. Let f be q(7). Suppose 5*i = 5*c - f - 41, -l*c + 233 = 5*i. Is c a multiple of 8?
False
Let a = -24658 - -29000. Is 133 a factor of a?
False
Suppose 2*s = 13*s + 4345. Let h = -360 - s. Is h a multiple of 4?
False
Let l be 1738/6 - (2 + 21/(-9)). Let x be ((-4)/(-5))/(4/l). Suppose 5*n - 458 = -x. Does 10 divide n?
True
Suppose -11*u - 37 = 