- 5/15 a multiple of 19?
False
Suppose -3*z = -3*b - 2*b - 17, -4*b - 2*z + 4 = 0. Is 3 a factor of -9*(0 - b)*-1?
True
Let d = -7 + 24. Is d a multiple of 17?
True
Suppose 0 = g - 2*o - 146, 3*g + 4*o - 644 = -g. Does 26 divide g?
True
Let p(m) = 18*m + 10. Let h be p(9). Suppose 52 = f - 0*f. Suppose -f = 4*d - h. Is d a multiple of 15?
True
Let h(v) = -4*v**3 - 2*v**2 - 2*v - 1. Let p be h(-1). Suppose -72 = -p*n + 6. Is 18 a factor of n?
False
Suppose 3*a + 50 = 2*l, 3*l + 5*a - 90 = 2*a. Is l/(-6)*9/(-6) a multiple of 7?
True
Let s(h) = -h**3 + 2. Let q be s(0). Let z = 3 + 0. Suppose -q*m + m + z = 0. Does 3 divide m?
True
Suppose -2*i = 2*i + 4. Let d = 3 + i. Let g = d - -1. Is g even?
False
Suppose 4*d - 15 = 1. Let g = 15 + -10. Does 13 divide (1 + d)*g - -1?
True
Suppose 5*r - 163 = 402. Is 22 a factor of r?
False
Suppose 9*g + 415 - 1360 = 0. Is g a multiple of 21?
True
Suppose -4*a - 16 = -340. Is 27 a factor of a?
True
Let m(n) be the first derivative of n**4/24 - n**3/3 - n**2 + 2. Let q(u) be the second derivative of m(u). Is q(5) a multiple of 3?
True
Let y(c) = -91*c + 1. Is 22 a factor of y(-2)?
False
Is 31 a factor of 286/6 + (-4)/6?
False
Let l(f) be the third derivative of 13*f**5/60 + f**3/3 + f**2. Let v(w) be the first derivative of l(w). Is v(1) a multiple of 13?
True
Let s be (-3 - (-4)/2)*-8. Suppose k + 2*k = 9. Suppose k*f - s = 2*f. Is 4 a factor of f?
True
Suppose 3*t + 23 = 356. Is 37 a factor of t?
True
Let z be (-2 + 3)*(3 - -20). Let b = z - 1. Let p = b - -23. Does 18 divide p?
False
Let r be 2/1 + 8/2. Let l = r + -6. Suppose 4 = c, 0*m + 2*m - 5*c + 8 = l. Is 6 a factor of m?
True
Let o = -2 + 1. Let a be o*8/(-2) + 1. Suppose 43 = a*x + k - 21, 0 = -3*x - 3*k + 36. Does 6 divide x?
False
Suppose 12 = 4*y + 4. Let m(p) = p**2 - p - 4. Let r be m(-4). Is 13 a factor of (r/5)/(y/10)?
False
Does 8 divide (-1)/((-2)/(-4)) + 96?
False
Suppose -2*q - q + 4*u + 100 = 0, 0 = -3*q - 5*u + 118. Is 9 a factor of q?
True
Let a(n) = 37*n - 7*n + 0*n. Does 15 divide a(1)?
True
Suppose -5*a + 71 - 26 = 0. Suppose 0*h - 3*p - a = -h, 5*h - 5*p = 95. Is h a multiple of 8?
True
Let v(h) = h**2 - 4*h + 2. Let z be v(4). Suppose 5*m = 20, z*m + m = s + 48. Let b = -4 - s. Is b a multiple of 16?
True
Let r(a) = 0*a - a**2 - 5*a - 6 + 4*a + 24. Let y(k) = k**3 + 3*k**2 + 3*k + 2. Let x be y(-2). Is 7 a factor of r(x)?
False
Suppose 2*s + 2*s = 0. Suppose 3*i = -9, s*f - i = 4*f - 305. Let l = -53 + f. Is 15 a factor of l?
False
Suppose -2 = -d + 2. Suppose m - 3*x = 2 + 22, d*x = -4. Let l = 37 - m. Is 8 a factor of l?
True
Suppose 117 = o + 4*i, -216 = -2*o - 2*i - 0*i. Is 34 a factor of o?
False
Suppose -3*u = -3, -5*k + 9*u = 5*u - 776. Is k a multiple of 44?
False
Suppose -4*p - 2 = 2. Is 2 a factor of 4 + 0*p/2?
True
Suppose 4*m - 2*m - 8 = 0. Suppose 3 = m*n - 3*n. Is 5 a factor of (-34)/(-7) - n/(-21)?
True
Suppose -65 = -o + 9. Let n = o + -42. Is 11 a factor of n?
False
Let l = 27 + 3. Is l a multiple of 17?
False
Let g(o) = -o - 3. Let m be g(-5). Let w(b) = 23*b + 2. Is w(m) a multiple of 22?
False
Suppose -2*z + 9 = -1. Suppose -3*f + z*h - 3 + 29 = 0, 4*f = 2*h + 30. Does 3 divide f?
False
Suppose -4*x + 4 + 4 = 0. Suppose -16 = -4*f + k, 0 = -x*f + 4*k + 1 + 21. Suppose -2*t = -f*t + 11. Is 9 a factor of t?
False
Let k = 12 - 8. Is k a multiple of 4?
True
Let x(c) = 2*c**2 - 13*c + 5. Is 26 a factor of x(11)?
True
Let w = 26 + 58. Is w a multiple of 14?
True
Suppose -3*u + 4*w + 428 = 3*w, -u + 131 = 2*w. Is u a multiple of 46?
False
Let j(t) = -1 + 17*t**2 - 5*t + 5*t. Let w be j(-2). Suppose 0 = -o - 4*o + 25, 0 = -3*c + o + w. Is c a multiple of 12?
True
Suppose 0 = -3*x + 2*b - 22, 7 = 2*x - 5*x - b. Let c = x - -17. Does 10 divide c?
False
Suppose 0 = -4*h + h + 87. Let l = 18 + -3. Let g = h - l. Is 14 a factor of g?
True
Let u be (31 + 1)*(-3 - -5). Let a = u + -13. Is a a multiple of 17?
True
Let o(v) = -v**3 - 11*v**2 + 9*v - 3. Is o(-12) a multiple of 12?
False
Let f(j) = 8*j + 3. Is f(2) a multiple of 12?
False
Suppose -24 = -0*k + 4*k. Is 13 a factor of (-749)/(-21) - 2/k?
False
Let g(b) = b**2 + 1. Let m be g(-1). Suppose u = 3*u - m. Does 13 divide (u*-2)/((-4)/54)?
False
Let l = 4 - -2. Suppose 0 = x - 4*x + 9. Suppose 5*y = -3*i + 104, -x*y - 76 = -l*y + 5*i. Is y a multiple of 11?
True
Let x(t) = 7*t - 10. Let b(r) = 20*r - 29. Let w(u) = -6*b(u) + 17*x(u). Let a be w(4). Suppose a = -k + 11 + 1. Does 6 divide k?
True
Suppose -y - 2*y + u + 146 = 0, 0 = y - 2*u - 42. Suppose -y = -2*p - 0*p. Is 9 a factor of p?
False
Let j = 19 - 13. Is j a multiple of 5?
False
Let f be 3*(30/9 - 0). Let a(i) = i - 3. Let m be a(0). Let c = f + m. Is 3 a factor of c?
False
Suppose h - 3*k = -0*h - 12, 0 = 4*h + 2*k - 8. Suppose -40 = -4*w - h*w. Does 4 divide w?
False
Let h(v) = -v**3 + 3*v**2 - 2*v + 1. Let p be h(3). Let j = 7 - p. Does 4 divide j?
True
Suppose 2*p = 3*p - 3. Suppose -3*c + 44 = -p*u - 79, -165 = -4*c + 5*u. Is c a multiple of 20?
True
Let i be (-1 + 0)/((-3)/9). Suppose -2*o - 4*q - 8 = 0, 3*o - 2*o = i*q + 16. Suppose -o*c + 4*j + 12 = -0*c, -4*c - 5*j = -30. Is c a multiple of 3?
False
Suppose 5*z + 10*h - 5*h = 135, 5*h - 91 = -3*z. Is 22 a factor of z?
True
Let w(m) = 8*m**3 - m**2 - 2*m + 3. Suppose 2*c + 1 = -4*b - 1, -2*b = 4*c + 16. Is w(b) a multiple of 16?
False
Let b(q) = 4*q**3 + q**2 - 2*q + 1. Suppose -u = 2*t - 2, u - 3*u + 12 = -4*t. Let h = -3 + u. Does 3 divide b(h)?
False
Let c(w) = 3 + 2 - 8*w - 1 - w**2. Let k be c(-8). Suppose k*v = 3*v + 14. Is 7 a factor of v?
True
Is ((-3)/(-2))/((-2)/(-48)) a multiple of 9?
True
Let r(n) = 2*n**2 - n - 2. Is 13 a factor of r(3)?
True
Suppose 5*i - 20 = 3*i. Suppose -5*b = 5*p - i*p - 95, b - 9 = -p. Is 14 a factor of b?
True
Let s = -14 + 17. Is 6 a factor of 4 + 3 + s + -2?
False
Let l(j) = 15*j**2 + 5*j - 8. Is l(4) a multiple of 9?
True
Suppose -4*l + 5*s = -121, 2*l - 23 - 10 = -3*s. Does 9 divide l?
False
Let n be (2/4)/(2/4). Is (n/(-3))/(1/(-51)) a multiple of 14?
False
Suppose 24 = 3*f - 3*j, 22 + 6 = 4*f - 5*j. Does 4 divide f?
True
Suppose 4*o - 7*o + 6 = 0. Suppose -2*t + 0*t + 34 = -o*k, -5*k + 15 = 0. Is t a multiple of 10?
True
Let u(h) = -h**3 + 5*h**2 + 7*h - 5. Let d be u(6). Let v = d + 3. Is 15 a factor of 3/(6/v) - -21?
False
Let b = -149 - -248. Suppose 2*r - b + 19 = 0. Does 20 divide r?
True
Suppose -2*a = -a - 4. Let t(n) = 2*n**2 + 2*n + 1. Let x be t(-1). Let r = a + x. Is r a multiple of 5?
True
Suppose 4*w = -63 + 163. Let c = w + -41. Is -26*2*12/c a multiple of 15?
False
Let a(d) = 24*d**3 + 2*d**2 - 2*d + 1. Suppose 0 = -2*x - 2*x + 76. Suppose -x = -3*m + 4*k, m - k + 0*k = 5. Is a(m) a multiple of 11?
False
Let s(p) be the second derivative of p**7/420 - p**6/180 + p**5/60 + p**4/3 + 4*p. Let i(x) be the third derivative of s(x). Does 18 divide i(2)?
True
Let r(h) = -31*h - 10. Does 21 divide r(-5)?
False
Let d = 122 - 84. Let b = -5 + d. Is b a multiple of 11?
True
Let h = -32 - -83. Is h a multiple of 17?
True
Let v(x) = 0*x - x + 0*x - 2 - x. Is 8 a factor of v(-5)?
True
Suppose 0 = w - 27 + 7. Suppose d + r = w, 2*d - 10 = 5*r + 16. Does 14 divide d?
False
Let u(f) = f**3 + 2*f**2 + 3*f - 3. Let r = 2 + 0. Is u(r) a multiple of 6?
False
Let z = 12 + -8. Suppose -2*y = 3*y + 50. Is 5 a factor of (-465)/(-25) - z/y?
False
Let i(t) = t**3 - 5*t**2 - 6*t + 4. Let w be i(6). Suppose 24 = 4*z - w. Does 4 divide z?
False
Let b(y) = -y + 1. Let f be b(-12). Suppose -j + 9 + f = 0. Is j a multiple of 7?
False
Let t = -21 - -33. Is 12 a factor of t?
True
Let s(b) = -b**2 + 5*b - 2. Let j be s(5). Is 17 a factor of (-2 + 0)*39/j?
False
Does 32 divide 155/1 + 9 + -10?
False
Suppose i + 81 = 5*s, -4*i - 204 = 5*s - s. Let o = i + 78. Is o a multiple of 11?
True
Suppose -3*z = z. Let s = z - -2. Suppose -j + y = -34, 0 = -s*y - y + 3. Is 25 a factor of j?
False
Let c = -62 + 109. Does 13 divide c?
False
Suppose 0 = 5*y - 2*d - 92, -5*y + y + 4*d + 76 = 0. Is y a multiple of 5?
False
Let a(y) = -4*y. Let w be a(-4). Suppose -w = -2*q - 2*q. Let n = q + 3. Is n a multiple of 4?
False
Suppose 0*m + 6*m = 360. Is m a multiple of 15?
True
Let r = -4 - -6. Let q(a) = 2*a**2 - 10*a + 17. Let d be q(8). Suppose -5*