 be l(1). Suppose 0 = 5*a + 4*a - m. Is a a multiple of 25?
False
Let v = 685 - 510. Is v a multiple of 17?
False
Let a = 17 - 10. Let u(m) = m**2 + 9*m + 6. Let z be u(a). Suppose 82 = 5*t - z. Is t a multiple of 20?
True
Let g = -8 - -10. Let x = -25 + 27. Suppose 31 - 139 = -g*m - r, 3*r - 108 = -x*m. Is m a multiple of 18?
True
Let l be (-38)/14 + 12/(-42). Let g be (-12)/(-9)*l/(-2). Is 8 a factor of 34 - (g/(-2) + 3)?
True
Suppose -20*x - 168 = -27*x. Let j = 15 + -9. Suppose 2*n = j*n - x. Is 3 a factor of n?
True
Let i = 358 + -506. Let k = i - -235. Let x = -15 + k. Is x a multiple of 24?
True
Let h(c) = -18*c**2 + 1605. Is h(0) a multiple of 107?
True
Let k = -60 - -63. Suppose -k*s + 0*s + 287 = 4*n, -3*s - 352 = -5*n. Does 18 divide n?
False
Let q(l) = -l**2 - 105*l + 22. Is q(-72) a multiple of 12?
False
Let p(w) = -w**2 - 22*w + 4. Let a be p(-10). Suppose 4*v - 4*t - a = -2*t, 0 = t. Is v a multiple of 7?
False
Let f be -10*4/30*-6. Let q = -4 + f. Suppose 2*s + q*b = 6*s - 68, 0 = 5*s + b - 91. Is s a multiple of 9?
True
Let d(z) = 1672*z**2 - 15*z + 16. Does 25 divide d(1)?
False
Suppose -3*a - 3960 = -3*r, -61*a + 56*a + 1320 = r. Is r a multiple of 20?
True
Let y(o) = 18*o. Let n = -22 - -11. Let m be n/(-44)*(8 - 0). Is y(m) a multiple of 18?
True
Suppose -12 - 8 = -4*h. Suppose 5*z + t - 96 = 0, -2*z - h*t - 33 = -4*z. Let r = z - -28. Is r a multiple of 12?
False
Let h(i) = 12 - 4*i - 9 - 8. Is h(-2) a multiple of 3?
True
Suppose 0 = v - 3*d + d + 1, 5*d - 52 = -3*v. Let h = v + 69. Is 39 a factor of h?
True
Suppose 3*u = -2*l + 59, -3*l = 3*u - 8*l - 94. Let d = 48 - u. Does 3 divide d?
False
Let h be (-1 - 51/3)*4/8. Let q(s) = -15*s - 39. Is q(h) a multiple of 12?
True
Let u be (-1)/((-28)/(-8))*-14. Suppose 4*i - 3*b - 1 = 48, 5*i + u*b = 69. Does 12 divide i?
False
Let k(m) = 0*m**2 + 3*m - 9*m + m**2 + 8. Let r = -9 + 16. Does 4 divide k(r)?
False
Let b = 569 + -197. Is b a multiple of 15?
False
Let f(k) be the third derivative of k**4/4 - 2*k**3 - k**2. Let v(t) = 9*t**3 + t**2 - 2. Let h be v(1). Is f(h) a multiple of 22?
False
Let z(m) = m**3 - 3*m**2 - 3*m - 4. Let y be z(4). Suppose 2*o - 4*o + 54 = y. Let f = o - -62. Is f a multiple of 20?
False
Let u(t) = -9*t - 7. Let i be u(15). Let y = i + 206. Is 32 a factor of y?
True
Suppose -5*y + v + 6991 = 2688, 4*y + 3*v - 3431 = 0. Is y a multiple of 43?
True
Let j be 3/2 + (-6)/(-4). Suppose 3*o = -0*s + 3*s - j, 4*s = 4. Suppose 2*u = -5*p + 43, 4*u - u + 3*p - 87 = o. Is 21 a factor of u?
False
Let t be 1 - (3 + (0 - 2)). Suppose t = -2*p + p - 10. Let i = p - -14. Is 2 a factor of i?
True
Let d(g) = -g**3 - 2*g**2 + 7*g + 3. Let f be d(-4). Suppose -f*q = -2*q - 250. Is q a multiple of 10?
True
Suppose 5*k = -3*t - 407, -165 = 2*k - 5*t + 4. Let f = k - -100. Does 6 divide f?
True
Let r(k) = 21*k**3 + k + 12. Let x be r(-4). Does 10 divide 21/27 - 1 - x/18?
False
Let n(p) = 3*p + 54. Suppose 14*a + 136 = 402. Does 37 divide n(a)?
True
Let a(v) = v**2 + 17*v + 36. Let y be a(-15). Does 22 divide (4 - (3 + -1)) + (158 - y)?
True
Let b = -8 - -4. Is ((-12)/18)/(b/438) a multiple of 13?
False
Suppose 3455 + 547 = 6*m. Does 3 divide m?
False
Suppose k + 4*j = 802, -2 = -3*j + 1. Is k a multiple of 42?
True
Let f = -21 - -24. Let y(p) = 4*p - 7*p**2 + p - p**f - 5*p - 2*p + 2. Is 3 a factor of y(-7)?
False
Let g(j) = -j**3 - 2*j**2 + j + 7. Let f be g(-4). Suppose v + 28 = 4*r, -v - 2*v + f = 5*r. Is 4 a factor of r?
False
Suppose 2*y + 12 = -5*n, 5*n + 13 = y - 4*y. Let m be -129 + y + 0/3. Is 9 a factor of 6/(-21) - m/14?
True
Let i = -1819 + 5977. Is 33 a factor of i?
True
Let l(q) = 5*q - 12. Let s be l(12). Let a = s - -6. Is 9 a factor of a?
True
Let u = -836 - -1413. Suppose -214 = -2*v + 3*k, -3*v - 2*v - 3*k + u = 0. Is 23 a factor of v?
False
Let w(z) = -2*z**2 - 52*z - 6. Does 22 divide w(-25)?
True
Is 8 a factor of 538 - 27/(-6)*(-8)/(-6)?
True
Suppose 2*k = 3*i - 955 + 3676, 6825 = 5*k - 3*i. Is 38 a factor of k?
True
Suppose 3 = x + 3*q + 4, 2 = 2*x + 2*q. Is 36/x + (-20)/(-20) a multiple of 14?
False
Let r = -1658 + 3578. Is r a multiple of 32?
True
Let s = 12 - 7. Suppose 5*d - s = 5*u - 140, 4*u - 105 = 3*d. Suppose 0 = -5*k + 294 - u. Is 18 a factor of k?
True
Let x(w) be the second derivative of -12*w - 1/2*w**2 + 1/12*w**4 - 1/2*w**3 + 0. Is 18 a factor of x(-6)?
False
Let j(p) be the third derivative of p**5/30 + p**4/6 - p**3/3 - 10*p**2. Let m be j(-6). Suppose 2*v - m = 30. Is 38 a factor of v?
True
Let g(q) = 21*q - 1 + 2*q**2 - 19*q + 0. Suppose -2*i + 0*i - 26 = 3*l, l = 4*i + 10. Is 16 a factor of g(l)?
False
Let m = -14 + 34. Suppose -4*s = m, 2*c + 11 + 11 = -4*s. Let y = 13 - c. Does 6 divide y?
False
Is 8 a factor of (-15)/((-10)/(-2))*-24?
True
Let v be 0/(1 + 0 + 0). Let c = 129 - 123. Suppose -s + c + 9 = v. Is s a multiple of 3?
True
Let x be -2*(-3)/6 + -47. Let p = -28 - x. Suppose o + o - p = 0. Does 3 divide o?
True
Let l(n) = -n - 18. Let s be l(-20). Suppose 0 = 4*o + o - 2*f - 48, 4*f = -s*o + 24. Is o a multiple of 3?
False
Suppose -213*v + 44275 = -188*v. Is v a multiple of 26?
False
Is 62 a factor of (-2606)/(-14) - 16/112?
True
Let z be 0*(3/2)/3. Suppose 2*y - 6 = -z*y. Suppose 0 = -y*a + 75. Is a a multiple of 25?
True
Let y = 12 - 4. Is 10 a factor of (y + -5)*(-80)/(-6)?
True
Let d be ((-15)/2)/(12/(-24)). Is 15 a factor of d + (0 - 0)*-1?
True
Let w(i) = i**2 + 3*i + 2. Let b be w(-3). Suppose 2*k - 53 - 37 = b*q, -5*k - 5*q + 255 = 0. Is 4 a factor of k?
True
Let r be ((-33)/(-3))/((-3)/(-15)). Suppose 41 = a - r. Does 40 divide a?
False
Let w(g) = 2*g**2 + 3*g + 2. Let x be w(-2). Let r(o) = o**3 - 2*o**2 - 4*o - 2. Does 7 divide r(x)?
True
Let z(h) be the third derivative of -h**8/20160 - h**7/504 - h**6/60 + 2*h**5/15 + 5*h**2. Let v(i) be the third derivative of z(i). Does 5 divide v(-6)?
False
Let x(c) = -c**3 + 27*c**2 - 10*c - 15. Is 30 a factor of x(26)?
False
Let o(r) = -2*r**3 - 10*r**2 - 2*r - 18. Let v be o(-7). Suppose -676 = -4*m - v. Is 16 a factor of m?
False
Let o(n) = -n**2 - n + 9. Let u be o(0). Is ((u + -14)*(12 - 2))/(-1) a multiple of 25?
True
Suppose 3*d = 2*d - 5*t + 732, 2958 = 4*d + 5*t. Is d a multiple of 14?
True
Let q(m) = 324*m**2 + m - 1. Let d be q(1). Suppose 2*h + h = d. Is 13 a factor of 3 + 5/(15/h)?
True
Suppose 5*i - 4*q = 35, 4*q + 2 + 3 = -5*i. Let g be i + -1 + 1 - -2. Suppose -g*j - 24 = -3*x, -4*x = -x - j - 24. Is x a multiple of 8?
True
Suppose 2*x - 8*x = -96. Suppose n - x = -5*i, 2*i = 3*n + i - 16. Suppose -n*q + 396 = -2*q. Is q a multiple of 33?
True
Let g be 2/(-14) + 1389/21. Suppose -2*q = -g - 192. Let n = q - 57. Is n a multiple of 36?
True
Let p(c) = 3*c**2 - 22*c - 58. Is 66 a factor of p(-10)?
True
Let q(j) = 52*j**3 - j**2 - 8*j + 9. Does 15 divide q(2)?
True
Let k(l) be the third derivative of l**5/60 + 25*l**3/6 + l**2. Suppose -6*c = -3*c. Is 25 a factor of k(c)?
True
Let c(g) = 30*g**2 - 28*g + 17. Is 21 a factor of c(6)?
False
Let h = -669 + 1121. Is h a multiple of 17?
False
Suppose -6*q + 5*q + 60 = 0. Let l be (-5)/10*(q - -2). Let j = 40 + l. Is 3 a factor of j?
True
Let t = 45 + -42. Is 4 a factor of 18*(-4 + 14/t)?
True
Let o(s) = -3*s**3 + s**3 + 3*s**3 + 11*s**2 + 6 + 0*s**3 + 7*s. Is 9 a factor of o(-10)?
True
Suppose 2*w + 77 = v, 0*w + 4 = 2*w. Let a = v - 41. Does 10 divide a?
True
Let z = -1151 + 1214. Is 9 a factor of z?
True
Let r(n) = n**3 + 8*n**2 + 9*n + 16. Let m be r(-7). Let z(p) = 10*p**3 + p**2 + 4. Does 11 divide z(m)?
True
Let f = 14 - 12. Let u(k) = -19*k - 3. Let q be u(-7). Suppose -3*w = f*w - q. Does 23 divide w?
False
Suppose -2*q = -3*m + 900, 0 = 5*m - 9*m - q + 1211. Does 7 divide m?
False
Let d(w) = -64*w + 3. Let c be (1 - 4) + 0 + 34 + -32. Is d(c) a multiple of 21?
False
Suppose -3*y = y + 3*g - 2175, -5*g + 2177 = 4*y. Suppose 0 = -13*k + 16*k - y. Does 13 divide k?
False
Let v(k) = -2*k**3 + 15*k**2 + 9*k + 3. Let i be v(8). Let a be 1/1 + (1 - 1). Let z = i + a. Is 6 a factor of z?
True
Let b(s) = -s**3 + 12*s**2 - 3*s + 6. Let u(h) = h**2 - h. Let n(v) = b(v) - u(v). Is n(7) a multiple of 46?
False
Let m(c) = -c + 1. Let g(z) = -z**2 + 11*z - 11. Let o(p) = -g(p) - 6*m(p). Let v be o(5). Suppose 0*a = -