0). Suppose -d - 90 = -y*d. Is 5 a factor of d?
True
Let k = 118 + -94. Is k a multiple of 5?
False
Suppose 4*i = -0*i - 12, 420 = 3*x - 4*i. Is x a multiple of 6?
False
Let x = 146 + 62. Is 13 a factor of x?
True
Let t(x) = 14*x. Is 14 a factor of t(3)?
True
Let r be 1 + 2 - (-4 - -3). Suppose -3*z = -7*z - 16, 4*v + 8 = -r*z. Suppose 0 = -4*t - v*j - 3*j + 17, 0 = -3*j - 9. Is 3 a factor of t?
False
Let y = 25 - 17. Suppose -5*k = -5 - 5. Let j = k + y. Is j a multiple of 6?
False
Let x = 44 + 10. Is x a multiple of 6?
True
Let p be 20/6*(0 + -6). Let r = p + 30. Is 3 a factor of 65/r + (-2)/(-4)?
False
Let y(n) = -n**3 - 9*n**2 - 13*n - 10. Let i(f) = 5*f**3 + 45*f**2 + 65*f + 50. Let k(g) = 2*i(g) + 11*y(g). Is 15 a factor of k(-8)?
True
Suppose x - 4*j = -1, 2*x - 3*j = -0*x + 18. Suppose 0*z + x = z. Let k = z - 0. Is k a multiple of 12?
False
Let p(s) = -s + 2. Let x be p(6). Is 20 a factor of 34 - x/(12/9)?
False
Suppose f - t = 93, 0 = 3*f + 4*t - 243 - 22. Does 13 divide f?
True
Let f be (42/35)/(2/5). Is 9 a factor of 31 + 3/(-3) - f?
True
Let r = 69 + -39. Is r a multiple of 10?
True
Let f = -7 + 0. Let g(h) be the second derivative of h**5/20 + 7*h**4/12 - h**3/6 + 3*h**2 - h. Is 13 a factor of g(f)?
True
Let a = -2 - -4. Let m(f) = 8*f**2 + 3*f + 4. Let g be m(4). Suppose g = a*t + 2*t. Is 15 a factor of t?
False
Suppose -5*w + 44 = 2*g, -6*w + 144 = 5*g - 2*w. Is g a multiple of 13?
False
Let x(p) = 15 - 15 + 3*p**2. Is x(-2) a multiple of 12?
True
Let p(d) = 2*d + 6*d**2 + 3 - 2*d**3 + d**3 - 5*d**3 + 5*d**3. Let y be p(4). Suppose 0 = -2*f + 5 + y. Is f a multiple of 12?
True
Suppose -3*i + 4*i - 8 = 0. Suppose -i = -2*f, -3*t - 4*f - f + 68 = 0. Does 9 divide t?
False
Does 10 divide (-3)/(-2)*(-120)/(-18)?
True
Does 18 divide 7*8 - -1 - 3?
True
Suppose 4*o = o + 429. Is 32 a factor of o?
False
Suppose -37 = -3*u + 6*y - y, 2*y = -u - 6. Suppose -3*i - u*j + 22 = 2, 4*j = i + 20. Suppose i = -2*f - 0*f + 74. Is 14 a factor of f?
False
Suppose 3*n + 5 = 8*n. Let a(v) = -v**2 - 8 - n + 35*v - 47*v. Is 9 a factor of a(-6)?
True
Let y be (1/2)/((-1)/(-216)). Let t = y - 42. Is 3/(-2) - t/(-12) a multiple of 4?
True
Suppose 3*s + 4 = 13. Let o = 5 - s. Suppose o*x + 5 - 27 = 0. Does 4 divide x?
False
Let o = 1 + -1. Let a(s) = s + 17. Does 17 divide a(o)?
True
Let r = 167 - 68. Is r a multiple of 11?
True
Let z(b) = b**3 - b**2 + 3*b - 4. Let n be z(4). Suppose 5*d - d = n. Is 6 a factor of d?
False
Let p(z) = -z**3 - 5*z**2 + 8. Let v be p(-6). Suppose -w - 3*o = 3*w - 84, -o = 2*w - v. Is w a multiple of 10?
False
Suppose 3*o - 17 + 5 = 0. Suppose 0 = -o*u - 10 + 82. Does 9 divide u?
True
Suppose 0 = -5*i - 2*b + 25, -3*i - 4*b - 16 = -9*b. Suppose -3*d = -i*s - 33, -4*d - 2*s = -d - 28. Is 10 a factor of d?
True
Let x = 358 - 215. Let r = x + -81. Suppose -2*f = 3*m - 27 - 9, 0 = 4*f + m - r. Is f a multiple of 15?
True
Let i(g) = 2*g**2 - 2*g. Suppose 0 = 4*c + 4, -z + 0*z + 3*c = 3. Let n be z/4*(-16)/6. Does 8 divide i(n)?
True
Let p(x) = x**3 + 3 - 2*x**2 - 4*x + 2 - 1. Let w be p(3). Is 2/3*9/w a multiple of 5?
False
Suppose 4 = 4*s - 44. Let i be 28/(-6)*s/4. Is (2 + -6)/(4/i) a multiple of 7?
True
Let k be -31 - 3*1/3. Is -2 - (k + 2 + 1) a multiple of 9?
True
Suppose 15*y - 17*y = 4. Is 2 a factor of ((-5)/(-15))/(y/(-12))?
True
Let z(f) = 7*f + 1. Let b be z(1). Let s = 3 - b. Is 9 a factor of 5*(6/s + 3)?
True
Let b = 154 + -98. Is 7 a factor of b?
True
Let t(k) be the third derivative of -k**4/24 - 2*k**3/3 - 3*k**2. Is t(-10) a multiple of 6?
True
Let x(d) = -d**2 - 5*d + 10. Let u be x(-9). Is 13 a factor of -1*-2*u/(-4)?
True
Suppose o - 6 - 16 = 0. Let s = o - 9. Is s a multiple of 8?
False
Let w = -8 - -2. Is 13 a factor of 10/(-15) + (-238)/w?
True
Let h be -2*(1 + -2) + -5. Is h + 1 + (71 - -1) a multiple of 14?
True
Let n = -14 + 9. Let k = n + 11. Suppose 6*o - k = 3*o. Is o a multiple of 2?
True
Let p be (0 - 7)*1 - 2. Let x = p + 17. Does 3 divide x?
False
Suppose 4*m - 517 = 507. Suppose -2*c + 5*r + 39 + 61 = 0, 0 = 4*c + 4*r - m. Does 15 divide c?
True
Let w(s) = s + 5*s - 3*s. Is w(6) a multiple of 12?
False
Suppose -2*v = 0, 5*g - 9*v + 4*v = 55. Does 11 divide g?
True
Suppose 7*y + 26 = 8*y. Is 14 a factor of y?
False
Suppose -2*f = -10, -3*m + 3*f + 16 - 1 = 0. Is 3 a factor of m?
False
Is (-121)/(-7) - (-14)/(-49) a multiple of 15?
False
Let o(z) = z**2 - 2*z. Let k be o(2). Suppose k = -u + 3*u - 12. Is 6 a factor of u?
True
Let o = 6 + 6. Does 6 divide o?
True
Suppose 210 = 4*w - w. Is w a multiple of 14?
True
Suppose 265 = 4*r + 5*f - 6*f, 283 = 4*r + 5*f. Let n = -19 + r. Does 25 divide n?
False
Suppose 2 = d - 12. Suppose 2*l - d - 6 = 0. Does 5 divide l?
True
Let p be (-39)/4 + 3/(-12). Let h = -50 - -71. Let y = h + p. Does 11 divide y?
True
Let m(s) = s**2 + 7*s + 13. Let q be m(-9). Let x = q - 12. Does 14 divide x?
False
Let v = 2 - -10. Is 7 a factor of v?
False
Let j(x) = x**2 - 8*x - 3. Suppose -4*s + 36 + 8 = 0. Is j(s) a multiple of 14?
False
Suppose -3*d + 59 = o, -o - 2*d - 49 = -2*o. Let z = o - 36. Is 7 a factor of z?
False
Let k = 4 + 1. Suppose 3*m = -3*g + 18, -k*g = -2*m - 2*g - 3. Does 2 divide m/((-6)/(-2)) + 1?
True
Suppose 4*p = -0 + 8. Is (15 - p) + 2 + -3 a multiple of 5?
False
Is 13 a factor of (-727)/(-8) + (-2)/(-16)?
True
Let q(f) be the third derivative of -5*f**4/8 - f**3 + 3*f**2. Let t be q(-8). Suppose n - 5*h - 17 = 0, 4*n - 2*h + 5*h - t = 0. Is n a multiple of 9?
True
Let p(x) = -29*x + 5. Is 10 a factor of p(-2)?
False
Suppose -5*l + 25 = 0, -5*o + 1 = -3*o - l. Let k(c) = -3 + o + 18*c**3 + 7*c - 6*c. Is 19 a factor of k(1)?
True
Suppose -5*y + 4*j + 16 - 6 = 0, -j = -y + 2. Let p be ((-1)/y)/(4/(-160)). Let t = 53 - p. Does 10 divide t?
False
Suppose 8*z - t - 101 = 3*z, -5*t = -4*z + 85. Is 12 a factor of z?
False
Let n(f) = f**3 + 4*f**2 - 4*f + 5. Let i be n(-5). Suppose l - 65 + 30 = i. Is l a multiple of 23?
False
Let i(s) = s**2 + s + 4. Let z be i(3). Let q be (30/4)/3*4. Let w = z - q. Is 6 a factor of w?
True
Let w(r) = 2*r**2 - 26*r + 14. Is 26 a factor of w(17)?
False
Let m = -1 - 11. Let j = 17 + m. Suppose 0*z = 4*d - 2*z - 30, 4*z = j*d - 42. Is d a multiple of 5?
False
Let i = 32 + -14. Is i a multiple of 9?
True
Let n(j) = j**2 - 12*j - 6. Let c be n(12). Let g(y) = -y**3 - 4*y**2 - 2. Is 19 a factor of g(c)?
False
Suppose 15*l - 1301 = 649. Does 26 divide l?
True
Let n(c) = -2*c + 5. Let l(r) = r**2 + 4. Let d be l(0). Let g be n(d). Let f(w) = -6*w + 2. Does 8 divide f(g)?
False
Suppose -31 = -5*h - 3*f + 22, -5*h - f = -51. Is h a multiple of 10?
True
Let n(p) = 5*p + 5. Let f be n(-4). Let k = -11 - f. Suppose -5*w = -15, -2*j = 2*j - k*w - 188. Is 25 a factor of j?
True
Let v = 21 - 3. Let z be v*3*(-9)/(-6). Suppose 3*l - z = -0*l. Does 20 divide l?
False
Let d(b) = -10*b**2 - 2*b + 4. Let s(u) = 15*u**2 + 3*u - 6. Let a(j) = 8*d(j) + 5*s(j). Let p be a(-3). Let y = p - -80. Is 20 a factor of y?
True
Suppose 0 = 3*s + 5*v - 2*v - 30, 4*s + 3*v = 37. Is 3 a factor of s?
False
Let t = -38 - -22. Let q = t - -4. Is ((-70)/6)/5*q a multiple of 17?
False
Suppose -2*f + 150 = -0*f. Suppose 3*o - f = 87. Suppose -4*w - h = 2*h - o, 4*h + 23 = w. Is 5 a factor of w?
True
Let b = 7 - 3. Suppose -b*x + 110 = x. Is x a multiple of 6?
False
Suppose -50 = -3*x + 2*x. Is x a multiple of 10?
True
Is (-486)/(-42) + 20/(-35) a multiple of 8?
False
Let i = 738 + -490. Is i a multiple of 8?
True
Let k be (2 + -2 + 0)*-1. Let f(a) = 1 + k - a + 0. Is f(-5) a multiple of 3?
True
Let h(j) = -62*j + 4. Does 10 divide h(-1)?
False
Let d(z) = -z**2 - 10*z - 10. Let l be d(-7). Suppose -2*u + 4*n = 14, 0*u + 2*u - l = -n. Suppose -3*v - 135 = -5*y, -v = u*v + 20. Does 17 divide y?
False
Suppose -2*n - 3*n = 0, 0 = -4*b + 4*n. Suppose b*c + 4*w + 218 = 3*c, 142 = 2*c - w. Is c a multiple of 27?
False
Let i be ((-2)/6)/((-5)/135). Suppose i = -5*l - c, -l + 5*l = -c - 8. Is 1/(1/26) + l a multiple of 12?
False
Suppose -r + 3*x = -4*r, -2*r = -x. Suppose r*f + 28 = -4*f. Let s(p) = -p**3 - 6*p**2 + 5*p + 10. Is 17 a factor of s(f)?
False
Is 6 a factor of 326/14 + (-10)/35?
False
Let j = -78 - -138. Is 10 a factor of j?
True
Let w(h) = -4*h - 4. Let b be (-3)