17 = 0. Let a = y - g. Is 5 a factor of a?
True
Let y be 0 + 0 - 0/(-3). Suppose 8 = -g - y*g. Does 18 divide 87 - g/(-12)*-3?
False
Let n be (0 - 12/14)/(1/(-273)). Suppose 162 = 2*r + 5*s, -s - 2*s = 3*r - n. Is r a multiple of 7?
False
Let q be 3 + ((-6)/(-3))/(-2). Suppose -q*d - 2 = -3*d. Suppose l = -d*l + 18. Is l a multiple of 2?
True
Let r(d) = 3*d**2 + 13*d + 21. Suppose 2*c + 5*w = -39, 2*c = 8*w - 7*w - 9. Is 32 a factor of r(c)?
False
Let w(p) be the second derivative of 19*p**3/6 - 19*p**2 + 26*p. Does 19 divide w(5)?
True
Let o = 129 - 59. Is o a multiple of 10?
True
Let w = 77 + -76. Is w/((-1)/1)*(-1450)/29 a multiple of 10?
True
Suppose 5*c - 239 - 146 = 0. Suppose -i = -r - 77, 3*r - c = -i - 0*i. Does 20 divide i?
False
Let w(y) = y**2 - y - 12. Let d be w(5). Let j be (d + 0)*(-18)/(-36). Suppose -l + j*o + 12 = 1, 3*l + o = 33. Is l a multiple of 8?
False
Let w(d) = 2*d**2 - 11*d + 16. Does 7 divide w(-9)?
False
Let f(d) = -10*d**3 - 42*d**2 - 61*d - 11. Let l(h) = 7 + 0 + 28*h**2 + 41*h - 13*h**3 + 20*h**3. Let a(k) = 5*f(k) + 7*l(k). Is 21 a factor of a(-13)?
False
Suppose -3 = 6*a - 3*a. Does 13 divide (-1)/a*(36 + 29)?
True
Let t(q) = -12*q**3 - 2*q**2 + 3*q + 7. Is 6 a factor of t(-2)?
False
Let h = -106 - -66. Let s be ((-8)/(-5))/(4/h). Let o(d) = -d**3 - 17*d**2 - 19*d - 6. Does 10 divide o(s)?
False
Suppose 0 = -67*c + 69*c - 2082. Suppose -3*i = 5*u - c, 0 = 2*u - i - 2*i - 429. Is u a multiple of 44?
False
Let m = -7 - 11. Let r be (0 - 3)*6/m. Is 4/r + 54 + 2 a multiple of 15?
True
Let n be -9*2*3/(-2). Let b = -23 + n. Suppose -b*z + 104 = -8. Is 7 a factor of z?
True
Let q(s) = -s**2 - 7*s - 4. Let f be q(-6). Suppose -f*h - h + 186 = 0. Does 11 divide h?
False
Let d = -9 - -22. Let h = d + 0. Is 12 a factor of h?
False
Let r(k) = -k**2 - 9*k. Let h be r(-7). Is 12 a factor of (-2)/(-3)*945/h?
False
Let m be -1*(0 + 4) + 48. Suppose m*o - 48 = 42*o. Is 7 a factor of o?
False
Let t be 1*-2*1/(-2). Let c = -3 - t. Let d(u) = 2*u**2 + u + 2. Is 10 a factor of d(c)?
True
Let i = 336 + -35. Is i a multiple of 26?
False
Suppose 2*h + y - 2*y - 606 = 0, -1515 = -5*h - 3*y. Suppose -h = -6*o + 183. Is 5 a factor of o?
False
Suppose 2*u = 4*n + 182, 3*n - 558 = -5*u - 142. Suppose -9*d + 4*d = -u. Is d a multiple of 6?
False
Let y(w) = -4*w**3 + w**2 + 8*w + 13. Is y(-3) a multiple of 10?
False
Let b(r) = -2*r**2 + 8*r + 6. Let d = -7 + 4. Let x(k) = 3*k**2 - 15*k - 12. Let z(g) = d*x(g) - 5*b(g). Is 6 a factor of z(-6)?
True
Let n = 248 - 230. Is 7 a factor of n?
False
Let w(v) = v**3 - 3*v**2 - 5*v + 5. Let t be w(7). Let b = -288 + t. Let u = 171 + b. Is 20 a factor of u?
False
Let k(v) = -24*v - 3. Let m be ((-6)/18)/(1/6). Does 5 divide k(m)?
True
Let w be (-1)/(-2)*(-43 - -13). Does 6 divide 4/10 + (-204)/w?
False
Suppose 459 = -3*w + 1746. Is w a multiple of 13?
True
Suppose -2*t = 0, -4*d + 3*t = -1937 + 333. Is 36 a factor of d?
False
Let d = -88 + 90. Let l = d - -24. Is l a multiple of 13?
True
Let j(q) = -2*q**2 - 18 - 28*q - 2*q**2 + 2*q**2. Is 5 a factor of j(-12)?
True
Suppose 0 = -h + 198 + 5. Is h a multiple of 29?
True
Suppose 5*z - 14861 = -3*d, -z = -43*d + 47*d - 2979. Is z a multiple of 12?
False
Let q(p) = -2*p**3 + 13*p + 4*p - 1 - p**2 - 18*p. Let b be 2 - 1/((-2)/(-8)). Is 8 a factor of q(b)?
False
Suppose -3*y - 6 = 0, -2*y - 2 = 2*k - 152. Is 4 a factor of k?
False
Suppose -311 - 309 = -5*r - 5*j, -5*r - 4*j = -625. Does 17 divide r?
False
Let d be 6*5/((-10)/4). Let l(x) = x + 16. Let i be l(d). Suppose 2*r + 396 = i*v + v, 381 = 5*v + 3*r. Is v a multiple of 13?
True
Let q = -30 - -742. Suppose 2*h - q = -5*c - 2*h, 2*c + 3*h = 289. Is 35 a factor of c?
True
Let d = 4434 - 738. Does 26 divide d?
False
Suppose 33*n - 22*n - 19580 = 0. Does 89 divide n?
True
Let x = 628 + -573. Is 2 a factor of x?
False
Let o be 8/(-20) + (-111)/(-15). Suppose -3*p = -3, t = -t + 5*p - o. Does 11 divide 53 - (t - -3) - -3?
False
Let m = -1191 - -1771. Does 29 divide m?
True
Suppose 4 = 2*r - 3*r + 5*z, 0 = 5*z - 15. Let s(q) = -q**3 + 12*q**2 - 11*q + 15. Let f be s(r). Let k = 23 + f. Is k a multiple of 7?
False
Suppose -6*p - 1495 = -4471. Is 31 a factor of p?
True
Let k = -2 - -6. Let r be 3*k/4 + -13. Is 13 a factor of (29 + r)*(2 + -1)?
False
Let t(z) = 17*z - 6. Let i be (0 - 2)/(9 - 10). Is 8 a factor of t(i)?
False
Let l be (-374)/18 + (-6)/27. Let y be (-468)/(-28) + (-6)/l. Suppose -x = -4*x + 9, -4*f + 5*x = -y. Is 4 a factor of f?
True
Suppose 39 + 41 = -8*f. Is 795/f*(0 - 2) a multiple of 36?
False
Suppose -w - 49 - 47 = 0. Let o = w + 102. Is o even?
True
Let m(j) be the second derivative of j**5/20 - 3*j**4/4 + 4*j**3/3 - 9*j**2/2 - j. Let a be m(8). Is 9 a factor of 3*(60/a)/(-1)?
False
Let j = -31 - -45. Suppose -17*p + j*p + 279 = 0. Is 31 a factor of p?
True
Suppose 0 = 5*i + 15, -f + 65 = -2*i - 327. Does 46 divide f?
False
Let g(k) = -k - 1. Let x be g(-3). Let s be (-1 - -1)/x + 2. Suppose -5*r = -5*j - 150, 0*r - s*j - 29 = -r. Is r a multiple of 13?
False
Let x = -16 - -36. Is 17 a factor of 93*1 - (x + -21)?
False
Let c(n) be the third derivative of 17*n**5/15 - n**4/12 - n**3/6 + n**2 + 14*n. Suppose 1 = -3*b + g - 7, -b = -5*g + 26. Is c(b) a multiple of 20?
False
Let f(h) = -h**3 + 15*h**2 + 15*h + 20. Let x be f(16). Suppose -x*k = -0*k + m - 37, 0 = -2*m - 6. Does 6 divide k?
False
Let x be 6/(-15) + (-1256)/10. Let g(d) = 25*d**2 - d - 1. Let l be g(-1). Is 9 a factor of x/(-15)*l/5?
False
Suppose -4*z + 1472 + 902 = y, -584 = -z - 5*y. Does 54 divide z?
True
Let v = -114 + 117. Suppose -5*c - v*f = -866, -516 = 4*c - 7*c - 3*f. Is 7 a factor of c?
True
Suppose 0*i + 2*i - f = 1516, -5*i - 3*f + 3801 = 0. Does 40 divide i?
False
Let y(m) be the first derivative of -7*m**2/2 - 13*m + 15. Is 3 a factor of y(-6)?
False
Let i be -4 + 2 - (-6 + 4). Let j be (i + 1)/1 + 3. Suppose 0 = -4*s - j + 84. Does 4 divide s?
True
Suppose 0 = -2*l - 3*g + 4083, -g - 708 - 1326 = -l. Is l a multiple of 97?
True
Let l(c) = -4*c - 40. Let y be l(4). Is (y/5)/(8/(-100)) a multiple of 10?
True
Let y(m) = -1 + 0*m**2 + 3*m**2 - 2*m + 2*m**2 - 3*m**2. Does 22 divide y(7)?
False
Let w(p) be the first derivative of -p**5/60 - 5*p**4/24 + p**3/2 + p**2 + 1. Let k(l) be the second derivative of w(l). Is 2 a factor of k(-5)?
False
Suppose 2*s - 923 = -231. Is s a multiple of 38?
False
Let b(q) = -q**2 - 20*q - 13. Let p be b(-19). Let f(i) = 9*i - 1. Is f(p) a multiple of 6?
False
Suppose 0 = -50*d + 27*d + 62077. Is 12 a factor of d?
False
Suppose 0 = 2*r - 583 - 165. Suppose 5*t - 3*p - 1048 - r = 0, 3*t - 4*p - 862 = 0. Suppose 5*q - t = 168. Does 15 divide q?
True
Let g be -2 + (-12)/9*-6. Suppose 3*b = 0, -5*b - g = -i - 1. Does 3 divide i?
False
Let k(b) = b**2 - 6*b - 10. Let h be k(8). Suppose -5*t - 4*m = -h*m - 345, t - 3*m = 82. Is t a multiple of 31?
False
Let q be ((-18)/(-15))/(4/60). Does 38 divide 20033/117 - 4/q?
False
Suppose -5*m + 8 = 4*r, 2*m + 0*m + 8 = 4*r. Let z(a) = -57*a**r - 62*a**2 + 6 + 5*a + 127*a**2 + a. Is 20 a factor of z(-3)?
True
Let s be 0 + -1 - 39/3. Let i = 28 + s. Does 3 divide i?
False
Let c(v) = v**3 + 18*v**2 + 17*v + 4. Let t be c(-17). Suppose -t*a = -2*a + u - 190, 5*a - 445 = 5*u. Does 33 divide a?
False
Let t(s) = 66*s - 24. Does 6 divide t(9)?
True
Let q = -2 + 7. Suppose -g + 2*o = -7, 4*o = -q*g - o + 5. Suppose t - g*b - 2*b + 16 = 0, -2*t - 3*b + 20 = 0. Does 2 divide t?
True
Suppose -326 = -4*l + 3*m, 0 = -3*l - 3*m + 287 - 32. Is l a multiple of 20?
False
Let c = 2310 + -1102. Does 120 divide c?
False
Let n be (3 - -5)*(-4)/1. Is 12 a factor of (7/(84/(-81)))/(2/n)?
True
Suppose -3*w - 7*v + 8485 = -11*v, -v - 1 = 0. Does 9 divide w?
False
Suppose 5*n + 0*n = -4*g + 296, 3*n - g = 164. Suppose -5*s - 121 = -2*t, -n = -t + 4*s - 0. Suppose -3*c + 171 = 3*q + 39, -t = -2*q + 3*c. Does 20 divide q?
True
Let g(r) = r + 30. Suppose -h = -2*h + 2*t + 8, -5*h - 2*t + 100 = 0. Is g(h) a multiple of 6?
True
Suppose s - 1 = -3*z, -2*z + s + 4 + 5 = 0. Suppose 107 = 4*v + a + 36, -3*v = z*a - 47. Let l = v + 2. Is 21 a factor of l?
True
Suppose 5*j - 6*j = -104. Suppose -76 - j = -3*f. Is 20 a factor of f?
True
Suppose -2*z + 2*q + 25 = 7*q, 3*q = 2*z + 1