y + 16 = -3*y. Let v be (y - -2) + -3 - 175 - -2. Does 13 divide (v/(-55))/((2/25)/2)?
False
Suppose -z = 3*z + 5*w + 75, -5*z + 2*w - 102 = 0. Let q be (z/(-7) + -2)*(-77)/(-22). Suppose 5*h - 292 - 282 = 2*n, 5*h = q*n + 571. Is h a multiple of 10?
False
Let j = -36 + 34. Let h(o) = -4*o**2 - o. Let n be h(-2). Is 91/n*j*2 a multiple of 4?
False
Suppose -106*j + 3259264 = 200*j - 678038. Is j a multiple of 110?
False
Let w = -91 - -96. Suppose 2*j - w = j. Does 11 divide 1/((-4)/(-3500)*j)?
False
Let j(u) = -8*u**2 - u**3 - 4*u**2 + 0*u**2 + 0*u + 1 + 29 - 20*u. Is j(-12) a multiple of 10?
True
Let w(l) = -5*l**2 + 36*l - 10. Let i be w(11). Let k = i + 117. Is -26*(k/8)/(9/6) a multiple of 12?
False
Let u(h) = 10 + 2*h + 10*h**2 + 8*h**2 - 12. Is 19 a factor of u(4)?
False
Is (-99 - 2581)*(-18)/8 a multiple of 6?
True
Suppose 535*c - 527*c = 2280. Let f = c - 186. Is 9 a factor of f?
True
Let w be 42/4*(-10)/(-15). Suppose -w*i = -163 - 5. Suppose 160 - i = 2*p. Is 17 a factor of p?
True
Is 121338/84 - 2/(-4)*-1 a multiple of 38?
True
Let r = 30871 - 12937. Is r a multiple of 147?
True
Suppose -1547 - 286 = -13*k. Let t = k - -10. Is t a multiple of 23?
False
Suppose 14*c - 898128 = -140*c. Is 36 a factor of c?
True
Suppose 5*t - 4*f = t + 1048, 0 = -3*t - 2*f + 791. Suppose -16*a + t = -441. Is a a multiple of 13?
False
Let t = -3994 + 10127. Does 38 divide t?
False
Let l = -415 + 822. Suppose -l = -8*n + 529. Is 4 a factor of n?
False
Is 12 a factor of 1863 + (-24 + 14 - -3)?
False
Let c(a) be the second derivative of a**4/12 - 4*a**3/3 + 4*a**2 + 4*a - 16. Let g be 114/15 + (-2)/(-5). Is 5 a factor of c(g)?
False
Let h(y) = -70*y - 41. Let d be h(3). Let v = d + 1116. Is v a multiple of 47?
False
Suppose 3*k + 12 = 7*k. Let g be (-696)/(-32) + (6/8)/k. Suppose -5*p = -38 - g. Is 11 a factor of p?
False
Let w(v) = v**3 + 9*v**2 - 64*v + 6. Does 67 divide w(17)?
True
Let h(x) = -x**3 - 43*x**2 - 70*x - 1048. Is 4 a factor of h(-44)?
True
Suppose -5*c + 32*u - 34*u + 15 = 0, 4*c = 3*u + 12. Let h(k) = 148*k - 32. Does 43 divide h(c)?
False
Let w(t) = -585*t + 8602. Is 149 a factor of w(-4)?
False
Let j = 2316 + -2271. Is 4 a factor of j?
False
Let z(c) = -c**3 + 32*c**2 + 20*c - 83. Is z(29) a multiple of 15?
False
Let r = 17698 - -11277. Is 5 a factor of r?
True
Suppose -588 = -r - 4*j, -16 - 4 = -5*j. Suppose 3*t - r = 346. Is 17 a factor of t?
True
Suppose -3*p = -0*i + 2*i - 44, -2*i + 68 = 5*p. Let j = p + 53. Is 42 a factor of j?
False
Let h be 186/42 - 3/7. Suppose 15*x - 1182 = -4*r + 12*x, h*r - 4*x = 1168. Is r a multiple of 21?
True
Let s(q) = 27*q - 104. Let u be s(16). Let g be (12/(-15))/(1/(-5)). Suppose -g*v + u = 3*d, 3*d - d + 2*v - 218 = 0. Is 14 a factor of d?
False
Let f be (-8 + (-12170)/(-8))*4*1. Suppose f = 37*h - 17257. Is h a multiple of 29?
False
Let m(z) = 8*z**2 - z + 1. Let n(p) = -16*p**2 + p - 3. Let r(g) = 5*m(g) + 2*n(g). Let s be r(-4). Let i = -69 + s. Is i a multiple of 9?
False
Let k = -468 + 861. Let p = k - 160. Does 25 divide p?
False
Let m(b) = -b**3 + 7*b**2 - b - 59. Let h be m(6). Let f(d) = 4 - 17*d**2 + 14 - 6*d - d**3 - 12*d**2. Does 32 divide f(h)?
True
Let u(q) = -q**3 - 2*q**2 - 2*q + 12056. Does 33 divide u(0)?
False
Let r = 418 + -419. Does 4 divide 476 + r + (-7 - -13)?
False
Let d(o) be the third derivative of 7/24*o**4 + 0*o - 11/6*o**3 + 0 - 1/60*o**6 - 1/3*o**5 - o**2. Is 22 a factor of d(-11)?
True
Is 11 a factor of 13717 + -153 - (1 + 0)?
True
Let i = 543 + 171. Suppose 3*j - i = -3*p, 4*p - 3*j = -p + 1158. Is p a multiple of 26?
True
Let o(n) = n**2 - 5*n - 4. Let u be o(7). Let m(t) be the third derivative of 5*t**4/24 + 2*t**3/3 - 113*t**2 + 1. Is 9 a factor of m(u)?
True
Let o(h) be the third derivative of -41*h**4/24 - 105*h**3/2 - 2*h**2 + 5. Is 52 a factor of o(-35)?
False
Suppose 29*h - 26*h = 57. Suppose 18*x - h*x + 240 = 0. Let g = x - 96. Is 14 a factor of g?
False
Let l be ((-1530)/(-25))/9 + 2/10. Suppose 177 = -l*j + 443. Is 6 a factor of j?
False
Let z be 4/16*-10 + (-150)/(-20). Suppose -4126 = -z*o + 2*p, -26*p - 836 = -o - 22*p. Is o a multiple of 60?
False
Suppose 3*b = 2*r + 111640, -30*r + 37210 = b - 34*r. Is 97 a factor of b?
False
Let a(t) = -t**3 - 21*t**2 + 22*t + 5. Suppose -9*f = -14*f - 390. Let v = f - -56. Is a(v) even?
False
Suppose 2*i + 139097 = -13*i + 472022. Does 23 divide i?
True
Let m(l) = -4*l - 32 - 15 + 10 + 0*l. Let s be m(-12). Suppose 0 = 19*d - s*d - 360. Is d a multiple of 9?
True
Let g = 845 + 1169. Is 38 a factor of g?
True
Let y(q) = q**3 + 3*q**2 - 2*q + 4. Let r be (12/(-8))/(4/((-8)/(-1))). Let x be y(r). Suppose x*s = 15*s - 440. Does 22 divide s?
True
Let j = -63250 + 112696. Does 122 divide j?
False
Suppose -v - 2 + 1 = 0. Let g be 1/((v/(-107))/(-12 - -13)). Suppose -b + g = -5. Is 28 a factor of b?
True
Suppose 89*k - 148564 - 70362 = 403629. Does 9 divide k?
False
Is 42 a factor of (-8 - -1)/((2/705)/(20/(-25)))?
True
Let y = 22759 + -13027. Is 39 a factor of y?
False
Suppose 0 = -374*p - 143*p + 2636700. Is p a multiple of 12?
True
Is (5 - (4 - 2)) + 79593 + -10 + 2 a multiple of 202?
True
Let n(u) = -u**2 - 35*u + 4. Let q be n(-35). Is 1264/48 - q/(-6) a multiple of 6?
False
Suppose -2*k = -7*k - 2*x + 355, 2*x = 0. Let b = 113 + 30. Let y = b - k. Is 12 a factor of y?
True
Suppose -2*q + 4 = -5*z, -2 = 80*z - 78*z - q. Suppose 34*n = -z*n + 23392. Is 43 a factor of n?
True
Let n(r) = -r**3 + 17*r**2 + 8*r + 22. Let z be n(17). Let w = z + -32. Is 42 a factor of w?
True
Let k = -2107 - -3444. Is k a multiple of 16?
False
Let f = -11 + 12. Let u be 0/4*f + 4. Suppose -4*i + u*j + 15 = -57, -3*i - j = -58. Is 13 a factor of i?
False
Suppose 21 = 5*b + 2*b. Suppose -3*j = -j + b*j. Suppose j = 2*k + k - 156. Is 31 a factor of k?
False
Let o(g) = -5*g - 117. Let i be o(-25). Is 68/i*(78 + 7 + -3) a multiple of 15?
False
Let j = -1002 - -4070. Is j a multiple of 20?
False
Suppose -3*b + 23658 = 5*y, -y + 27*b + 4733 = 29*b. Does 21 divide y?
False
Suppose 541 = -70*m - 579. Let p(w) = w**3 + 18*w**2 - 15*w + 4. Let q(h) = h**2 + 1. Let o(z) = -p(z) + 3*q(z). Is o(m) a multiple of 6?
False
Let i = -44 + 68. Let p be (i/(-9) + 3)/(3/135). Suppose -p*z + 420 = -3*z. Is z a multiple of 4?
False
Let j = -39 + 44. Suppose -m - 8 = -3*m. Suppose m*o - j*o = -30. Does 30 divide o?
True
Let p = -10555 + 13035. Does 8 divide p?
True
Suppose 3*j - 215 = -5*l, -j + 5*l + 12 + 93 = 0. Is 19 a factor of 9/24 + 13650/j?
True
Let a = -1933 + 2706. Is a a multiple of 18?
False
Let d = -60 + 64. Suppose d*b = b - 12. Is (342/2)/((-6)/b) - 3 a multiple of 18?
False
Let b be ((-35)/70)/((-2)/12). Suppose -u - 50 = -b*u. Does 8 divide u?
False
Suppose 124 - 976 = -3*p - 4*f, -5*p + 1420 = 4*f. Suppose 3*d - 100 = p. Does 17 divide d?
False
Let k(b) = -2*b**3 + b**2 - b + 1. Let d(i) = -18*i**3 + 2*i**2 - i - 1. Let h(p) = d(p) - k(p). Is h(-2) a multiple of 45?
False
Suppose 5*h - 372940 = 4*g, -122*g - 298393 = -4*h - 127*g. Is 148 a factor of h?
True
Suppose 170*r - 1098000 - 2641830 = 0. Does 13 divide r?
False
Let k(z) = -7*z**3 + z**2 - 19*z - 38. Let t be k(-3). Suppose -y = -m - t, -5*y + 487 = 2*m - 619. Is y a multiple of 3?
False
Let y be 14/4 - 30/(-20). Let x be (y - (-10)/(-5)) + 1. Does 5 divide 89 + (-3 - (0 - 0)) + x?
True
Let r = 7 - 22. Let a = -10 - r. Is 5 a factor of (-184)/(-7) + a/((-35)/2)?
False
Does 351 divide 1860/186 - (-45972 - 2/(-2))?
True
Let d be (1 - -219)*5*16/(-80). Suppose 5*i = i - 1304. Let g = d - i. Is 15 a factor of g?
False
Suppose -y + 150 = 5*o, o - 4*o - y = -92. Let x = 22 - o. Let h = x + 49. Is h a multiple of 3?
True
Suppose 21*j - 14478 - 12837 - 56790 = 0. Does 15 divide j?
True
Suppose 7*z + 1 = -20. Does 7 divide z/(-18) + (-7 - (-6952)/48)?
False
Suppose -4*l = -20, -289 = 5*j + 5*l + 236. Suppose 77*x = 69*x - 336. Let g = x - j. Is 17 a factor of g?
True
Is 321689001/12309 + (-1 - 1/(22/(-34))) a multiple of 4?
False
Let g(c) = -15*c - 1. Suppose -3*z + 17 = -4. Let n be (1/(-2))/(z/70). Does 16 divide g(n)?
False
Suppose 4*p - 3*a = 58022, -10 + 16 = -3*a. Is p a multiple of 196?
True
Is (68 - 67)/(2/8920) - -9 a multiple of 41?
True
Let s be 23*1*1*1. Let j(p) = p**2 + 76*p - 5426