 n(r) = -r + 1 + y*r + r - 5*r. Is n(-7) a multiple of 15?
True
Let p = 31 - 22. Let j = p - -21. Does 15 divide j?
True
Let q be 1/2*5*4. Suppose 0 = q*n - 7*n - 60. Suppose 3*y - 49 = n. Is 3 a factor of y?
False
Suppose 14 = l + 47. Let r(k) = -k**3 - 28*k**2 + 9*k - 61. Let n be r(-14). Is 24 a factor of n/l + (-8)/(-44)?
False
Suppose -5*x + 0*q + 3*q = -91, 0 = 2*x + 4*q - 26. Let p(r) = -r**2 + 17*r + 16. Let o be p(x). Suppose -17*m = -18*m + o. Does 4 divide m?
True
Suppose 5*o + 10 = l, -4*l = -5*l - 2*o + 3. Let k(m) = -2*m**2 + 4 - 11*m + m**2 + l - 2. Is 11 a factor of k(-5)?
False
Suppose 2619 + 1125 = 6*k. Is 13 a factor of k?
True
Let j be (-12)/8*3*8/6. Is 6 a factor of 44/(-8 - -4 - j)?
False
Suppose -5*o - 15124 = -4*m, -370*m + 369*m + 3756 = 5*o. Is m a multiple of 37?
False
Suppose 0 = 5*n + 10, 2*l - 2*n = -2*l + 116. Suppose 9*b = 10*b - l. Suppose b = 4*g - 8. Does 9 divide g?
True
Let j = -360 - -765. Suppose 7*y + j = 10*y. Does 26 divide y?
False
Let i(s) = s. Let k be i(5). Suppose -139 = k*m + 4*l + 136, 5*m + 5*l + 270 = 0. Let q = -23 - m. Does 12 divide q?
True
Is 137 a factor of ((-2)/7)/((-38)/255094)?
True
Let j = 820 - 600. Does 22 divide j?
True
Suppose -6*u + 1698 + 822 = 0. Is 60 a factor of u?
True
Suppose -9*o = -18*o + 3402. Is 21 a factor of o?
True
Let a(p) = p**2 + 14*p - 16. Does 13 divide a(-20)?
True
Suppose 5*u - 54 = -204. Let m = -26 - u. Suppose -5*s + 30 = -2*s + 3*f, 5*f - 38 = -m*s. Does 6 divide s?
True
Suppose -1368 = -4*d - 15*d. Is 18 a factor of d?
True
Let k = -17 + 42. Let m = -18 + k. Suppose -d + m = -8. Is 14 a factor of d?
False
Suppose 0 = q, 2*q + 61 = 2*i - 59. Does 15 divide i?
True
Let l(m) be the first derivative of 9*m**3 - m**2/2 + 2*m - 331. Suppose 0 = 4*k - 2*a - 12, 3*k + 4 = -5*a - 0. Is 33 a factor of l(k)?
False
Suppose 34*t - 1875 = 9*t. Is 5 a factor of t?
True
Let i = -4 + 10. Let s be (-3)/2 - (-153)/i. Let m = 43 - s. Does 14 divide m?
False
Let d(j) = -j**3 + 12*j**2 - 11*j + 16. Let i be d(11). Suppose i*h = 18*h - 36. Is 18 a factor of h?
True
Let d(l) = -4 + 3 + l + 2*l + 31*l**3 - l**2 - 30*l**3. Let i be d(2). Suppose 5*g - i*g = -176. Is 11 a factor of g?
True
Suppose -33*a = -31*a - 2*t - 432, 0 = -2*a - 4*t + 408. Does 9 divide a?
False
Let o(b) = -3*b - 16. Let p be o(-4). Is 0 + (306 - (1 + p)) a multiple of 29?
False
Let l be -2 + 2 + -1 + 1. Suppose l*q = -3*q. Is q - -28*(-2 + 3) a multiple of 14?
True
Let n(v) = 2*v**3 - 3*v**2 + 13*v + 3. Is 5 a factor of n(6)?
True
Suppose 152*h - 66 = 150*h. Is 11 a factor of h?
True
Suppose 2*q - 1119 = 3*k, -3*q + 2245 = q + k. Is q a multiple of 17?
True
Let l(p) = 0*p - 4 - 32*p**3 - 2*p - p**2 + 30*p**3. Is l(-2) a multiple of 7?
False
Suppose -o - 4*x + 3 = x, 5*x = -4*o + 12. Let r(b) = 15*b - 14. Let u(n) = -8*n + 7. Let i(d) = o*r(d) + 7*u(d). Is 26 a factor of i(-7)?
False
Suppose 0 = 2*w + 4*y - 606, -3*w + 0*y + y = -895. Does 13 divide w?
True
Let d = 5802 - 2820. Is d a multiple of 71?
True
Is 3 a factor of -3 - -164 - (-14)/(-2)?
False
Let c = 58 + -68. Is 1/(1/c*(-1)/4) a multiple of 20?
True
Suppose -o - 468 = -10*o. Is o a multiple of 38?
False
Suppose 20 = 6*o - o. Suppose 3*c = o*h + 8*c - 64, 80 = 5*h - 4*c. Is 8 a factor of h?
True
Let s be 420/48 + 3/(-4). Let b = 17 - s. Let r = b + 54. Does 9 divide r?
True
Let n(c) = 10*c**2 - 87*c - 807. Is n(-11) a multiple of 68?
True
Suppose -5*y + 5*q = -405, 3*q - 85 = -y + 8*q. Let p = y + 46. Is 18 a factor of p?
True
Let v = 75 - 77. Is (4 + v + -7)*36/(-10) a multiple of 9?
True
Let p = 4 + -1. Let c = 46 + -30. Suppose -c = -p*r - 1. Is 3 a factor of r?
False
Let i be 62/(-8) - 7/28. Let m = i - -11. Suppose -m*f - f = -144. Does 13 divide f?
False
Let j(o) = o**2 + 3*o + 3. Let v be j(-1). Is 34 a factor of v*-6*(-7)/((-14)/(-68))?
True
Suppose -482*r + 480*r = -272. Is r a multiple of 4?
True
Let r(l) = -l**2 - 5*l + 1. Let b be r(-4). Let i = 15 + b. Is i a multiple of 5?
True
Suppose 3*j = -5*j. Suppose 101*t - 100*t - 60 = j. Is 4 a factor of t?
True
Let v(j) = j**2 + 9*j + 10. Let a be v(-8). Let q = a + -4. Does 19 divide (-3 - q) + -3 + 49?
False
Let h = -34 - -48. Let d be 7/h - 118/(-4). Suppose -2*p + p = 3*g - 18, 2*p + 3*g - d = 0. Is p a multiple of 12?
True
Let b(n) = 43 - 4*n**2 - 4*n + 7*n**2 + n**3 - 36 + n**2. Let d be b(-5). Suppose 0 = d*i - 22 - 6. Is i a multiple of 14?
True
Suppose 0 = -3*w - 3*m + 8562, 5*m - 11914 + 494 = -4*w. Is 25 a factor of w?
True
Suppose 2*f + 86 + 44 = 2*t, t + 3*f - 57 = 0. Is t a multiple of 3?
True
Suppose 0 = -i - i - 46. Let q = -1 + i. Let u = q - -69. Is 22 a factor of u?
False
Is 34 a factor of ((39872/(-35))/(-8))/((-6)/(-15))?
False
Let s(j) = 11*j - 1. Let y be s(-7). Let q(f) = f**3 - 16*f**2 - 16*f - 15. Let c be q(17). Let x = c - y. Is x a multiple of 20?
True
Suppose -2*u = 1 - 9. Suppose -u*z - z + 310 = 0. Suppose 3*w - z = w. Is w a multiple of 10?
False
Let f(o) be the second derivative of -o**4/12 + o**3 + 5*o**2/2 - 4*o. Let q be f(6). Suppose -q*j = -3*c + 11 + 16, j = -5*c + 73. Is c a multiple of 8?
False
Let t be 320/18 - 6/(-27). Let y(n) = 7*n - 30. Let g be y(5). Suppose -x + 9 = p, -t + 3 = -g*x + 5*p. Is 4 a factor of x?
False
Let d be 2*1 + 22/(-11). Let i(t) = 2*t + 27. Is i(d) a multiple of 15?
False
Let p be ((-60)/(-7))/((-22)/385). Is 2/((p/(-52) + -3)/(-3)) a multiple of 10?
False
Suppose 16 + 28 = 4*n. Let z = n - 11. Suppose 80 = 2*d + 4*h, -d + 28 = -h - z*h. Is d a multiple of 16?
True
Let f(x) = -x**2 - 1. Let n be f(5). Let k = 242 + -184. Let i = k + n. Is 9 a factor of i?
False
Suppose q - 32 = -2*p, -5*p + 5*q = -107 + 12. Suppose 0 = a - x - p, 39 = 6*a - 3*a + x. Is 2*(a - (-2)/(-2)) a multiple of 12?
False
Let x(p) = -p**3 - 3*p**2 + p + 96. Is x(0) a multiple of 48?
True
Let y = 159 + 192. Suppose -3*v - z - y = -6*z, -117 = v - 5*z. Let d = v + 173. Is d a multiple of 28?
True
Let j(r) = 3*r - 26. Let x be j(8). Let h(s) = 3*s**2 + 3*s + 2. Is h(x) a multiple of 2?
True
Let r(l) = -l**2 + 6*l - 3. Let u be r(6). Suppose 2*m = 4*i - 130, 2*m - 2 = -8. Let c = i + u. Does 14 divide c?
True
Let o be (-6)/(-39) + 4/(-26). Suppose o = -9*f + 4*f + 110. Is 9 a factor of f?
False
Let a(v) = -v**3 + 2*v**2 + 6*v + 6. Let l be a(4). Does 23 divide l/(-14) - (-3408)/56?
False
Suppose -2*n + 4*s + 2 = 3*n, -5*s + 12 = n. Suppose 0 = 5*z - 2*m - 60, 0 = -4*z - 0*m - n*m + 66. Is 18 a factor of 802/z + 2/(-7)?
False
Suppose -4*m - a - 757 = 0, -3*m - 3*a - 193 = 377. Is 7 a factor of (m/18)/((-6)/16)?
True
Suppose -16 = -4*s, -2*y = -3*s - 5 - 61. Let t = y - 25. Suppose -18*b + 112 = -t*b. Does 7 divide b?
True
Is 4 a factor of (-7 - 249/9)*(-7 + 1)?
True
Let r = 236 - -90. Does 15 divide r?
False
Let i = 19 + -17. Suppose -9*c + 462 = i*c. Is c a multiple of 14?
True
Is 15 a factor of 18/3 + 3 + 216?
True
Suppose -d + 24 + 1 = -2*q, -q = 1. Let v = 38 - d. Does 10 divide v?
False
Suppose 0 = 4*s - 16 - 0. Suppose -6*m + 630 = s*m. Is 7 a factor of m?
True
Let j(x) = -444*x - 4. Is j(-1) a multiple of 28?
False
Let a be 3/2 - 2/(-4). Suppose k + a*i = 13 + 1, 0 = -5*k + i + 92. Let p = -13 + k. Does 2 divide p?
False
Let y(r) = -2*r + 10. Let n be y(5). Suppose -m + 2 = n, 3*m - 2 = -d + 2*m. Suppose 5*a + 12 - 27 = d. Is 3 a factor of a?
True
Let g = 2010 + -1437. Is g a multiple of 18?
False
Let k = 363 + -275. Is 4 a factor of k?
True
Let h(m) be the second derivative of -5*m**3/6 - 10*m**2 + 8*m. Let q(l) = -l**2 - l + 6. Let y be q(3). Is 10 a factor of h(y)?
True
Suppose 4*o = -3*a - 1 + 2, 13 = 2*o - a. Suppose n - y = 0, -n - 5 = 2*n - o*y. Does 2 divide n?
False
Let g be 11/(-44) - 62/8. Let d be (-62)/g + (-33)/44. Is 9 a factor of (d - 8)/(1/(-9))?
True
Is 4/(-18) - 18912/(-54) a multiple of 70?
True
Suppose 49*l - 9322 = -1629. Does 60 divide l?
False
Does 11 divide 76849/62 + (-7)/(-2)?
True
Let q be 9 + -3 - (6 - 3). Suppose -113 = 5*v + l, v + 8 + 5 = q*l. Is 10 a factor of 2 + -4 + v/(-1)?
True
Let y be -2 - (-3 + -39 - -4). Let q = -30 + y. Let i(w) = w**2 + 2*w - 17. Is i(q) a multiple of 21?
False
Suppose 74*x - 4200 = 67*x. Is x a multiple of 2?
True
Let u = -869 + 1219. Is 14 a factor of u?
True
Let i(d) = -229*d - 135. Is