= 5*d(w) - 3*r(w). Is q(-13) a multiple of 13?
True
Let p(j) = -23*j - 405. Is 3 a factor of p(-22)?
False
Let y = 17 - 15. Does 12 divide 12*25/10*y?
True
Let r = 35 + -35. Suppose r*n + 20 = -4*n, -2*f + 36 = -4*n. Is f a multiple of 6?
False
Let i(b) = -49*b - 20. Is i(-6) a multiple of 20?
False
Let w = 571 + -361. Does 13 divide (1/5*-4)/((-2)/w)?
False
Let v be -3*(-4)/(36/21). Suppose 0 = -s + 3 + v. Is 33/(-55) - (-66)/s even?
True
Let d be (20 + 8)*(-2)/2*-5. Let b = -29 + d. Is b a multiple of 18?
False
Suppose 0 = -a + 4*a + 144. Let w = -19 - a. Is 29 a factor of w?
True
Is 4 a factor of 7/((-294)/(-3216)) - 20/35?
True
Suppose 3*m + 3*d - 2*d = -37, 4*m - 3*d = -45. Let j = -14 - m. Let h = 8 - j. Does 5 divide h?
True
Let t = 775 - 481. Suppose -t = -5*s - s. Is s a multiple of 13?
False
Let p(h) = -6*h**3 - h. Let t(v) = -5*v**3 + v**2 - v + 1. Let r(g) = 6*p(g) - 7*t(g). Let z be r(-7). Let d = -1 - z. Is d a multiple of 13?
True
Let y(j) = -j**2 - 2*j + 204. Does 68 divide y(0)?
True
Let c(b) = 655*b**2 + 23*b + 55. Is 22 a factor of c(-2)?
False
Suppose 30 + 684 = 6*t. Does 19 divide t?
False
Let x = 12 - -83. Does 7 divide (-38)/x - 214/(-10)?
True
Suppose -11 = g + 4*b, -2*g + 3*b + 37 = 3*g. Let t = g + -6. Is (-5)/10*(t + -57) a multiple of 7?
False
Let o = -371 + 566. Suppose -7*c + 4*c + o = 0. Let i = -35 + c. Does 10 divide i?
True
Suppose -2*u = 4*d - 3972, -65*u + 63*u - 8 = 0. Is 22 a factor of d?
False
Suppose -4547 = -7*u + 2278. Does 15 divide u?
True
Let j = -16 + 16. Suppose 35*n - 37*n + 168 = j. Does 14 divide n?
True
Let n = -687 + 1007. Does 40 divide n?
True
Let g = -873 + 1138. Does 12 divide g?
False
Is 3 a factor of (-153)/(-3) - 36/(-42)*-7?
True
Let i(b) = b**3 - 2*b**2 + b + 1. Let u be i(2). Suppose 2*v + 14 = u*v - 5*r, 0 = -4*v - 4*r + 32. Is v a multiple of 3?
True
Suppose 3*j = -0*j. Suppose 2*r + 2*i - 38 = j, -r - 3*r + 86 = -i. Does 7 divide r?
True
Let f = 22 - 20. Suppose -j + 3*c + f*c + 116 = 0, 3*j + 3*c - 258 = 0. Is j a multiple of 13?
True
Let q be (-2)/(-3) + (-20)/(-6). Let f(r) = r**2 + 28*r + 138. Let v be f(-6). Suppose -114 = q*n - v*n. Does 19 divide n?
True
Suppose -1653 = -a - 3*t, 0 = 2*a - 6*t + 10*t - 3316. Is 4 a factor of a?
True
Suppose 5 = k - 7. Let u(a) = -30*a**3 - a - 1. Let y be u(-1). Is 14 a factor of (-136)/(-10) + k/y?
True
Suppose -6*i + 462 = -5*i. Does 66 divide i?
True
Let x(w) = -w**2 + 36*w - 123. Let n be x(4). Let y(t) = -160*t**3 + 1. Let p be y(-1). Suppose -j - p = -5*a, 0*j - 123 = -4*a - n*j. Does 6 divide a?
False
Is 14 a factor of (-3)/(18/(-4)) - (-12012)/99?
False
Suppose 174 = 2*u - 2*b, 3*u - u - 166 = -2*b. Suppose -5*v = -2*y - u, 10 + 70 = 5*v - y. Is 5 a factor of v?
True
Let n(l) = -40*l - 664. Does 3 divide n(-21)?
False
Suppose -a = 4*a - 25. Suppose -2*l + 37 = 3*c - 22, -85 = -5*l + a*c. Suppose -5*g = -3*g - l. Is 9 a factor of g?
False
Is -4*(-31 + 4/4) a multiple of 47?
False
Suppose -43*v = 3*j - 40*v - 9024, -4*j = -5*v - 12077. Is 82 a factor of j?
False
Suppose 0 = 2*u + 3*u - 20. Suppose -g = 2*m - 45, u*m - 5*g - 15 = 2*m. Is m a multiple of 7?
False
Let n = 10 + -11. Is n/(-3) + ((-140)/(-3))/7 a multiple of 4?
False
Suppose -11 = 2*d - 3. Let b be (-3)/9*(d - -1). Is 7*(-3)/(-1) - b a multiple of 5?
True
Let o = -1022 + 3603. Does 7 divide o?
False
Let x(d) = d**2 - 5*d + 12. Let r be x(13). Suppose -274 = -3*u + r. Suppose 0 = -0*w + 5*w - u. Does 13 divide w?
True
Suppose -5*j + 3*h = h - 203, -5*j - 4*h = -209. Let c = j + 36. Does 7 divide c?
True
Suppose 6*h - 25 = h, 2*r = 4*h + 2380. Does 25 divide r?
True
Suppose 5*l + 11 - 151 = -5*q, 3*q - 3*l - 60 = 0. Is 3 a factor of q?
True
Suppose -5*q + 18 + 2 = 0. Suppose 0 = -q*f + 2*f + 14. Suppose f*i - 18 = 5*i. Does 8 divide i?
False
Suppose t - 5*p - 38 = 0, 0 = -2*t + t + 2*p + 35. Is 21 a factor of (54/(-66) + (-6)/t)*-232?
False
Is 441 + -1*(3 - -6) a multiple of 24?
True
Let b be 9 + 2*(-3)/3. Let j = -5 + b. Let y = j - -3. Is 2 a factor of y?
False
Let c = 197 + 867. Is c a multiple of 38?
True
Let m(g) = 3*g**3 - 15*g**2 + 16*g. Let d(z) = 2*z**3 - 8*z**2 + 8*z. Let x(k) = -5*d(k) + 3*m(k). Let a be x(-7). Suppose -c - 15 = -a. Is c a multiple of 12?
False
Suppose 5*i - 6 = 4. Suppose i*y + 3 = y, -14 = -2*l + 2*y. Suppose -2*x + 68 = p - 5*x, 2*x = -l*p + 258. Is p a multiple of 17?
False
Let y(k) = k. Let r be ((-12)/(-4) - 2) + 0. Let v be y(r). Is v/(3/6)*11 a multiple of 11?
True
Let a(p) = -p - 6. Let m be a(-11). Suppose 254 = 2*o - i, -m*o - 332 + 945 = 3*i. Is 33 a factor of o?
False
Suppose 14*o - 449 - 559 = 0. Is o a multiple of 5?
False
Let l(i) = 4*i**3 - 16*i**2 + 28*i + 16. Is l(7) a multiple of 19?
False
Let p be (-174)/5*(-110)/4. Suppose -4*i + p = 233. Is 24 a factor of i?
False
Let q = 30 - 13. Suppose 9 = 2*m - 3*l, -2*l + q + 9 = 4*m. Suppose -3*c - 26 = -m*c - 4*k, 0 = -4*k + 8. Does 3 divide c?
True
Let r(m) = 6*m**2 - 11*m - 11. Let a be r(-7). Suppose -7*b + 2*b + a = 0. Is b a multiple of 10?
False
Let c(i) = -8*i**3 - 9*i**2 + 2*i - 4. Let q be c(-11). Suppose 3*w = 5*g + q, 3*w - 2*g - 12734 = -w. Is 2/(-11) - w/(-99) a multiple of 16?
True
Let m(r) = 3*r - 6 - 2*r - 17*r. Let g be m(-6). Suppose -2*j + 2*t = -80, 3*j - 26 = 4*t + g. Is j a multiple of 22?
True
Suppose 5*p - 3572 - 613 = 0. Is 33 a factor of p?
False
Suppose 7*d - 910 = 1148. Does 12 divide d?
False
Let l = 15 - 11. Suppose -l*v + 2*q + 357 = -273, -5 = -q. Is v a multiple of 32?
True
Let x = 30 + -42. Let l be -3*(-4)/x*1. Is 17 a factor of (4 - -61) + l + 4?
True
Let k = 224 - 155. Does 32 divide k?
False
Let k = -1069 - -2716. Does 61 divide k?
True
Let w be (-3 - (1 + -4))/(5 + -2). Suppose 5*b - 2*g = 294, w*g + 315 = 5*b + 5*g. Is 10 a factor of b?
True
Let o be (-15 + 25)/(4/(-6)). Let f(r) = -r**2 - 39*r - 10. Is 56 a factor of f(o)?
False
Let x(j) = -51*j + 6. Is 54 a factor of x(-20)?
True
Suppose -q - 4*v + 2326 = 0, -5*q - 4*v = -9872 - 1790. Does 9 divide q?
False
Is 24 a factor of (-454)/(((-2)/(-2))/(8/(-16)))?
False
Let d = -387 + 1527. Does 5 divide d?
True
Let c(b) = 3*b**2 - 89*b + 66. Is 45 a factor of c(40)?
False
Let c = -48 + 33. Let x = c - -17. Suppose 2*y - w = 39, 2*w - 6*w + 34 = x*y. Does 5 divide y?
False
Suppose -3*d = -6*d + 768. Does 64 divide d?
True
Let t be 2*-2 + 115/5. Let w be -3 + (t - (3 + -3)). Suppose a = 1 + w. Does 17 divide a?
True
Suppose 5*c = -2*i + 509, 3*i - 3*c = -0*c + 795. Does 34 divide i?
False
Let y(k) = 5*k**3 - 9*k**2 + 6*k - 31. Is y(6) a multiple of 36?
False
Let x be (-20)/(-8) + -1 + (-441)/2. Let c = x - -384. Is 21 a factor of c?
False
Let z = 3482 + -1487. Is z a multiple of 15?
True
Let i(k) be the third derivative of -k**6/24 - k**5/10 - k**4/4 + 4*k**2. Does 12 divide i(-3)?
False
Suppose 0 = 3*j - 2*g + 1, 5*g + 3 + 6 = -4*j. Let c be 40 + j + (0 - -3). Suppose -v + 0*v + c = 0. Is v a multiple of 21?
True
Let w(b) be the second derivative of 5*b**3/6 - 6*b**2 + b. Suppose -256*k - 30 = -262*k. Is 3 a factor of w(k)?
False
Let n = 16 - 6. Let p(i) be the second derivative of i**5/20 - 11*i**4/12 + 5*i**3/2 - 5*i**2 + 2*i. Is 13 a factor of p(n)?
False
Let i(w) = -w**3 + 6*w**2 + 8*w - 2. Let c be i(7). Suppose -4*l + 3*l = 2*v - 12, 0 = -2*l + c*v - 12. Suppose -l*f = -3*f - 24. Is 8 a factor of f?
True
Let w(h) = -2*h**3 - 8*h**2 - 11*h - 4. Suppose 5*z + 5 = -15. Is w(z) a multiple of 8?
True
Let d = -57 - -58. Is (-1)/(-2*d/320) a multiple of 11?
False
Suppose 0 = -2*r - 4, -17*n - 4*r - 2618 = -18*n. Does 29 divide n?
True
Let s(o) = 13 + 0 + 0 + 8*o - o**2. Does 10 divide s(7)?
True
Suppose -p = -t + 8, -8*t + 3*p - 36 = -11*t. Is t a multiple of 7?
False
Let b(f) = -f + 1. Let r be b(11). Let y(i) = i**2 + 10*i + 2. Let h be y(r). Suppose 84 = c + h*c. Is 14 a factor of c?
True
Let t(l) = 7*l + 1. Let y be t(2). Suppose h = -2*h + y. Suppose 5*u - 5 - 5 = -h*d, -18 = -5*u + 3*d. Is u even?
False
Suppose -7*b = -3*b + 244. Let r = b - -92. Is 11 a factor of 2 + -1 + r + 1?
True
Suppose -4*o - 5 = 7. Let j(z) = z**2 + 4*z + 3. Let q be j(o). Suppose 5*w - 14 - 51 = q. Does 13 divide w?
True
Let a(x) = -20*x - 108. Is 9 a factor of a(-22)?
False
Suppose f - 164 = 185. Is 16 a factor of