= -2*j(a) - 22*z(a). Let u be n(-10). Suppose -u*w + 277 = 3*m, -3*w + 3*m + m + 214 = 0. Does 35 divide w?
True
Suppose 27823 = 14*s - 20435. Suppose -7420 = -5*q - 5*a, -3980 = -5*q + 2*a + s. Is q a multiple of 99?
True
Suppose -6*n + 441 = -3*n. Suppose 42 + n = 7*s. Does 9 divide s?
True
Let g(c) = -c**2 - 11*c + 18. Let w be g(-12). Suppose 3*k - 126 = -w*k. Suppose 3*m - 2*m + 4*i - k = 0, 2*i = -m + 12. Does 3 divide m?
False
Suppose -6*p - 23145 + 83637 = 0. Is p a multiple of 10?
False
Let d = -76274 - -133406. Is 62 a factor of d?
False
Let h be 3 + (5 - 2 - (-15 - -3)). Suppose 6 = 3*i - h. Let p = 88 - i. Does 16 divide p?
True
Let c = -30 - -57. Suppose 4*h + c = -29. Let d = 24 - h. Is 8 a factor of d?
False
Suppose -431366 = -16*x + 58682. Is x a multiple of 76?
True
Let d(u) = u**3 + 66*u**2 + 340*u + 36. Is d(-59) a multiple of 16?
False
Suppose 48*f - 57*f - 90 = 0. Let i be (8/6)/2*-3. Is (-20)/(-25) + i/f + 38 a multiple of 39?
True
Suppose 2*i + 2*i - 28342 = -2*p, 0 = 2*i + 4*p - 14180. Does 11 divide i?
True
Suppose 5*g + 11458 = 3*k, 4*k - 7453 = 2*g + 7801. Is 26 a factor of k?
False
Let a = -29 + -26. Suppose -3*n = -2*d - 49, -59 = 2*d - n - 4*n. Let p = d - a. Is 19 a factor of p?
True
Suppose -153*c - 40 = -161*c. Suppose -3*w - c*y = -w - 674, -4*w = -5*y - 1288. Is 3 a factor of w?
True
Suppose -317 = -u - 313. Suppose 3*i - 2*v + 0*v - 1841 = 0, -5*v = u*i - 2424. Does 47 divide i?
True
Suppose -78*p = -108*p + 332968 - 37498. Is p a multiple of 67?
True
Suppose -791*k = -828*k + 199726. Is k a multiple of 51?
False
Let l(y) = y**2 + 13*y - 25. Let z be l(-15). Suppose -115 = -2*f - g, z*g + 310 = 5*f + 3*g. Does 60 divide f?
True
Suppose 53*d - 47*d = 24. Let r(h) be the third derivative of -7*h**4/24 + 23*h**3/3 + 7*h**2. Is 18 a factor of r(d)?
True
Suppose 3*g + z - 20258 = 0, 4*z - 17646 = -2*g - 4144. Is 49 a factor of g?
False
Let v = 82 - 428. Let h = -171 - v. Does 83 divide h?
False
Is 2 a factor of 6 + 668/2 - -14?
True
Let o(t) = 2174*t**3 + 5*t**2 - 11*t + 6. Let m(b) = -b**2 - 2*b + 9. Let v be m(2). Is 95 a factor of o(v)?
False
Suppose 3*r + 1 - 49 = 0. Suppose 15*t = 1379 + r. Is t a multiple of 3?
True
Suppose -4*j = 23*i - 22*i - 206018, i = -2*j + 103006. Is 13 a factor of j?
True
Suppose -130 = -6*n + 8. Suppose 5*c + 0*x = 3*x + 137, -c = -5*x - n. Let f(l) = -l**3 + 27*l**2 + 37*l + 24. Does 50 divide f(c)?
False
Suppose -7*y + 444 = 10. Suppose y = a + 4*l, 5*l + 200 = 3*a - 20. Is a a multiple of 35?
True
Let b be (18/((-936)/559))/(1/12). Is b/(-4) + 50/(-40) a multiple of 4?
False
Suppose 329*d = 304*d + 73825. Is d a multiple of 45?
False
Let t = 106 + -101. Is 31 a factor of (t - 4)*(-93)/6*-10?
True
Let s(b) be the third derivative of -b**6/120 + b**5/10 - b**4/24 + 5*b**3/3 + b**2 - 18. Is 15 a factor of s(5)?
True
Let f(v) = v**2 - 3*v + 10. Let j be f(3). Let n = -6 + j. Suppose 0 = -n*w + 2*l - 8 + 36, 0 = -4*w + 4*l + 24. Is w a multiple of 4?
True
Let c be (-22)/77 - 668/14. Let o = 25 + 66. Let y = c + o. Is y a multiple of 23?
False
Let f(v) = -11*v + 26. Let m(b) = -5*b + 13. Let s(g) = 2*f(g) - 5*m(g). Let j be s(6). Suppose -1 = j*n + 4, 4*q = n + 121. Is 5 a factor of q?
True
Let d be (1/(-3))/(6/(-262962)*-7). Let x = d - -3137. Suppose -x = 9*o - 15*o. Does 35 divide o?
True
Let s be (1 - -2)*6/(-9). Let f be (4/2)/(8/60). Does 26 divide s/(-3)*(f + 126)?
False
Let v(s) be the third derivative of -317*s**6/120 + s**5/15 + s**4/6 + s**3/6 + 5*s**2 - 8*s. Is 26 a factor of v(-1)?
False
Suppose -16*x - 17*x - 2557 = -34*x. Is x a multiple of 4?
False
Suppose -7*c = -19*c. Is (c + -6)/((-34)/2210) a multiple of 13?
True
Let r be (1*(135 - 6))/(-1). Let c = 195 + r. Does 6 divide c?
True
Let r(f) = 2*f**3 + f**2 - f + 1. Let u be r(-2). Let c(m) = m**2. Let s(t) = -7*t**2 - 8*t - 4. Let n(o) = -6*c(o) - s(o). Is n(u) a multiple of 13?
True
Suppose -2*t + 5*w + 159 + 377 = 0, -6 = 3*w. Let g = t + -230. Is g a multiple of 4?
False
Suppose -3*z = 3*h - 4122, -34*h - 4134 = -3*z - 35*h. Is 2 a factor of z?
True
Suppose 0*n - 45 = 3*k - n, -k - 10 = -2*n. Let o(r) = r**2 - 12*r - 11. Let l(a) = a**2 - a + 1. Let q(x) = 2*l(x) - o(x). Is q(k) a multiple of 19?
False
Let f(g) = -4*g - 30. Let y be f(-8). Let z(c) = 5*c - 3*c**2 - 12*c**2 + 2*c**3 - 9 + 16*c**y + 4. Is z(2) a multiple of 3?
False
Does 34 divide ((-69)/(-90) - 8/16)*-4445*-51?
True
Suppose d - 6 = 8. Suppose d + 41 = -t. Does 5 divide 4*(0 - t/10)?
False
Suppose -115164 = -5*q - 535*r + 539*r, 5*r = 4*q - 92124. Is 26 a factor of q?
True
Let n = -2994 + 3039. Suppose 40 = -2*k + 3*k. Does 2 divide 1/((n/k)/9)?
True
Suppose 2*d = 3*u + 4620, 6*d - 4620 = 4*d + 2*u. Is 6 a factor of d?
True
Let r(z) = -z**3 + 17*z**2 - 26*z - 99. Is r(-17) a multiple of 69?
False
Suppose 166*t - 92312 = 105228. Is 70 a factor of t?
True
Does 4 divide 37/(-999) + 20091/81?
True
Let i = -247 + 423. Suppose 364 = 4*z - i. Is (-3 - z/(-20))/(2/120) a multiple of 15?
True
Suppose 167*u - 51006 - 66562 = 0. Is 44 a factor of u?
True
Suppose -19 = -5*f - 2*b - 3, f = b + 6. Suppose 0 = -4*v - 8, 5*v - 4 = 2*a - f*a. Does 9 divide (6/a)/((-21)/(-1176))?
False
Let l(q) = 3*q**2 - 7. Let g be l(3). Suppose -g*t = -16*t. Suppose t = i - u - 10, 5*i - 3*i + 4*u = 20. Is i a multiple of 6?
False
Suppose -3*g - 1 = 4*i - 24, 5*g - 25 = -4*i. Suppose i*c = -5 + 60. Suppose -2*q - 162 = -c*q. Is q a multiple of 3?
True
Let w be 10/(25/5) - 14. Let b be 18/7 - w/(-21). Suppose b = -4*z + 30. Does 2 divide z?
False
Let p = -331 - -335. Suppose y - u - 44 = 92, y = p*u + 124. Does 35 divide y?
True
Let o = -11 + 11. Suppose o*h - 24 = -4*h. Let k(a) = a**3 - 3*a**2 - 6*a - 1. Is k(h) a multiple of 11?
False
Let b = 3542 - 1900. Is 44 a factor of b?
False
Let o(y) = -4*y + 15. Let a be o(3). Let b(t) = -4*t**3 + 12*t**2 - 5 + 7*t + 1 + 0*t**a + 5*t**3. Does 37 divide b(-8)?
False
Let k = 15392 - 12908. Is 54 a factor of k?
True
Let l = 222 + -129. Let r = -37 + -9. Let b = l + r. Is b a multiple of 14?
False
Let s(v) = -52*v**3 + 2*v**2 - 1. Let y be s(-1). Let z = -50 + y. Suppose -6*n - b = -z*n - 136, 4 = b. Is 13 a factor of n?
False
Suppose 0 = 23*h - 102486 - 27878. Suppose 0 = -5*j - 8*j + h. Is 34 a factor of j?
False
Let j = 21 + -23. Let v = j - -5. Suppose 0 = 3*c - 3*k - 375 + 102, -5*k - 275 = -v*c. Is c a multiple of 10?
True
Suppose -682619 - 802816 = -43*h. Does 21 divide h?
True
Suppose 62*v + 1 = 3*h + 60*v, 0 = 4*h + 4*v - 28. Suppose 0 = 5*l - 4*w - 4540 - 1612, w - 3698 = -h*l. Is 22 a factor of l?
True
Let n(x) = -82*x - 51. Let v be n(-1). Let g(f) = f**3 - 31*f**2 + 20*f - 78. Does 54 divide g(v)?
False
Let t(y) = 5083*y + 10061. Is 64 a factor of t(9)?
True
Let s(m) = -8*m + 13 - m**2 + 31*m - 13*m - 5*m. Let t be s(7). Is 23/1 + 3 + t a multiple of 5?
True
Let n(o) = 207*o - 25. Let w = -113 + 117. Does 64 divide n(w)?
False
Suppose 117*d - 150*d = -61974. Is 43 a factor of d?
False
Does 36 divide 40/6*6*(-4 - -283)?
True
Let p(a) = -a**3 - 2*a + 4. Let j = -30 - -32. Let o be p(j). Is 20 a factor of (-6)/8 + (-1334)/o + 2?
False
Let w(u) = 2*u - 23. Let q be w(14). Is (2/q)/(6/2730) a multiple of 7?
True
Let x = -261 + 264. Does 3 divide (2 - x) + (-57)/(-3)?
True
Let i be (-195)/(3*5/(-15)). Suppose i = -s + 6*s. Does 19 divide s?
False
Suppose 0 = 6*t + 175 - 37. Let w = 27 + t. Suppose -6*l = -w*l - 78. Does 21 divide l?
False
Let i(r) = r + 1. Let d be i(-2). Let y(x) = 11*x**2 + 11*x - 17. Let p(q) = -11*q**2 - 9*q + 15. Let l(m) = -7*p(m) - 6*y(m). Is 3 a factor of l(d)?
False
Suppose 588460 + 49232 = 31*d + 98137. Does 35 divide d?
False
Let s(f) = 34*f - 12*f - 93 + 63*f + 67*f. Does 39 divide s(6)?
True
Suppose 4*z + 12 = 0, 3*s + s + 9*z - 561 = 0. Does 15 divide s?
False
Let s(h) be the third derivative of -13*h**4/8 - 19*h**3/6 + h**2 + 20. Does 14 divide s(-15)?
False
Suppose 0 = 763*g - 687*g - 82612. Is g a multiple of 26?
False
Let r be (-333)/6*(-90)/(-27). Let k(h) = 11*h**3 + 4*h**2 + 3*h. Let b be k(-3). Let d = r - b. Is 7 a factor of d?
False
Let b(z) = 65*z - 6. Let o be b(-3). Let g = 996 - 1441. Let f = o - g. Is f a multiple of 20?
False
Suppose 2*b + 564 = 4*c, -2*b - 326 - 274 = 5*c. Let r = -