ultiple of 10?
False
Let h be ((-9)/(-4))/((-3)/(-12)). Suppose -h = -f + 22. Is 16 a factor of f?
False
Suppose 3*d = 64 + 101. Let s = d - 35. Is 16 a factor of s?
False
Suppose 2*r + 5*b + 0 - 22 = 0, -5*b - 74 = -4*r. Is r a multiple of 4?
True
Suppose -3*x = 4*r + 266, -r + x - 76 = -3*x. Let y be (4 + -3)/(1/(-105)). Let p = r - y. Is p a multiple of 15?
False
Let h be 2500/(-8) + (-3)/(-6). Is 11 a factor of h/(-5) + (-15)/(-25)?
False
Let s be (0 + 0 + 2)/1. Suppose 0 = -d + 3*u + 15, 114 + 16 = 4*d + s*u. Suppose 3*j + 0*j = 3*r - d, 2*r + 4*j = 2. Does 7 divide r?
True
Suppose 3*g - 88 = 5*g. Let t = g + 73. Is 6 a factor of t?
False
Let m be ((-6)/(-15))/((-2)/20). Is (-6)/(m - (-6)/2) a multiple of 4?
False
Suppose -5*r + 85 + 35 = 0. Does 24 divide r?
True
Suppose i - 20 = -i. Does 5 divide i?
True
Suppose 0 = -4*k + 16, -h = -0*h - 2*k - 68. Suppose u + 2*u + c - h = 0, -u - c = -28. Is u a multiple of 12?
True
Suppose 9*l = 7*l + 600. Is 22 a factor of l?
False
Suppose -4*k = -k - 72. Does 9 divide k?
False
Suppose r + 4*r = 15. Suppose -r*z = 5*j - 10, 5*z = z - 4*j + 8. Does 12 divide (10 - z)*18/15?
True
Let t(i) = -i**2 + 9*i + 12. Let q be t(10). Let o be (10 + -1)*8/12. Suppose -16 = -2*k + 3*f, 0 = 2*f - o - q. Does 7 divide k?
True
Let g(m) = 4*m + 7. Let t(n) = 5*n + 8. Let j(s) = 6*g(s) - 5*t(s). Suppose -y - 5*r = -2*y - 21, -3*y - r - 15 = 0. Is 5 a factor of j(y)?
False
Suppose s = a + 41, 0 = -2*s + 2*a - 4*a + 90. Is 11 a factor of s?
False
Is 47 + (-4)/(-8)*8 a multiple of 17?
True
Let a(w) = -26*w**2 + 6*w + 4. Let d be a(-4). Let n = d - 344. Is (-2)/11 + n/(-55) a multiple of 14?
True
Let m(s) = -8*s - 9. Does 3 divide m(-3)?
True
Let y = 341 - 190. Is y a multiple of 14?
False
Let c(h) = -2*h**2 - 5*h - 2. Let n be c(-7). Suppose -4*m = 87 + 41. Let g = m - n. Is g a multiple of 11?
True
Let c = 6 - 1. Suppose -b + 5*b = -4*i - 12, -c*i - 2*b - 24 = 0. Let h(p) = -3*p - 1. Is h(i) a multiple of 17?
True
Let f be (-1 - -2) + -3 + 4. Let s(x) = -70*x**2 - 2*x - 1. Let u be s(-1). Is (u/f)/(6/(-8)) a multiple of 18?
False
Suppose -72 + 18 = -9*a. Is a a multiple of 2?
True
Suppose -5*a = -2*o - 171, 2 + 4 = 3*o. Suppose -5*c - 181 = -4*j - 6, 4*j - 210 = -2*c. Let g = j - a. Is g a multiple of 15?
True
Let c(k) = -2*k + 1. Let q be c(-3). Suppose -q = -p + 15. Suppose -38 = -3*v + p. Does 20 divide v?
True
Let b(l) = l**3 - 6*l**2 + 5*l - 4. Let a be b(5). Let j be 12/a*(-22)/(-6). Does 12 divide (1*j)/(4/(-8))?
False
Let q(t) be the first derivative of t**4/4 + t**2/2 + 20*t + 1. Is q(0) a multiple of 20?
True
Let j(k) = -k**2 - 6*k - 7. Let z be j(-5). Let l be ((-2)/z)/(2/112). Suppose -c = 3*c - l. Is c a multiple of 6?
False
Let i(t) be the first derivative of -3*t**2/2 - t + 1. Let f be i(-6). Suppose 3*s - 47 = -2*j - 2*j, -4*j = -3*s - f. Is j a multiple of 4?
True
Suppose 9 = -3*c + 30. Is c a multiple of 2?
False
Let h be ((-30)/7)/(2/(-14)). Let c = h - 21. Does 9 divide c?
True
Let f = -6 - -11. Let l(r) be the second derivative of 5*r**3/6 - 7*r**2/2 + 3*r. Is 17 a factor of l(f)?
False
Let z(p) = 3*p**3 - 2*p**2 + p. Let i be z(1). Suppose -3*f = -8*f + i*n + 132, 2*f - 40 = 4*n. Is 14 a factor of f?
True
Suppose -i = -5*q + 2*i + 262, i - 1 = 0. Suppose 5*d = 25, -4*w - 3*d - q = -6*w. Is 14 a factor of w?
False
Let h(r) = -3*r**2 - 45*r - 2. Is h(-14) a multiple of 8?
True
Suppose w = 5 - 3. Let h(j) = j**2 + 2*j - 3. Let r be h(w). Suppose -y - 94 = -3*a, 0 = -r*a - 3*y + 4*y + 158. Is a a multiple of 13?
False
Suppose 540 = 5*t + 6*o - o, 0 = 2*t - 3*o - 201. Suppose -4*q + 88 + 92 = 0. Suppose a = 3*a - j - q, 5*a + 5*j = t. Does 10 divide a?
False
Let a be (-16)/10*35/(-14). Suppose -5*g - f = -250, -a*g - 6*f + 3*f = -189. Is 16 a factor of g?
False
Suppose 0*q - 10 = -5*q. Suppose 14 = -q*h - 0. Does 16 divide (h/(21/108))/(-1)?
False
Let g(h) = 2*h - 9. Let q be g(6). Let z = q - 5. Let y = z + 15. Is y a multiple of 13?
True
Let f(s) be the second derivative of s**3/6 + 9*s**2/2 + s. Suppose -2*a - 3 = 7. Is 2 a factor of f(a)?
True
Suppose t - 26 - 17 = 0. Suppose f + t = 3*h, 3*h = h + f + 30. Does 13 divide h?
True
Suppose 2*f + 2*n = 470, -205 = -f - 5*n + 38. Is 16 a factor of f?
False
Let x(b) = 3*b**2 - 3*b + 4. Let u be x(-3). Suppose 0 = -k - 3*s + 28, 4*s = k + 3*s - u. Is 18 a factor of k?
False
Let f(r) = -r**3 - 6*r**2 + 9*r + 4. Let u be f(-7). Is (-3 + 1)*445/u a multiple of 19?
False
Let o(r) = -2*r + 7. Let h(x) = x**2 - x. Let k(d) = h(d) + o(d). Does 23 divide k(7)?
False
Let w(c) = -2*c + 7. Is w(0) a multiple of 7?
True
Let n = 73 - 34. Is 13 a factor of n?
True
Let w(z) = -1 - 2 + 4 + 18*z - 2*z. Let t be (1 - 3)*2/(-4). Is 6 a factor of w(t)?
False
Let a(w) = -w - 7. Let m be a(-5). Let x = -1 + 1. Is (x + -4)/(m/16) a multiple of 11?
False
Suppose 4*j = -2*w - 38, 2*j + 0 = -4*w - 22. Does 11 divide j/(-3) - -22 - 3?
True
Suppose t - 2*t = -8. Suppose 3*d + 14 + 2 = 2*a, -t = 2*d. Suppose 11 = 2*s + s + a*y, 0 = s + 2*y + 3. Is 7 a factor of s?
True
Suppose -5*b + 173 + 103 = 4*f, 4*b = -3*f + 221. Does 7 divide b?
True
Let r be (-4)/(-14) + 236/7. Let x = r + -19. Let s = x - 6. Is 3 a factor of s?
True
Let u be ((-1)/2)/((-2)/48). Let h = -39 - u. Let m = 72 + h. Is 13 a factor of m?
False
Let h(k) = -9*k**3 - 2*k**2 - 3*k - 6. Let u(m) = -8*m**3 - m**2 - 3*m - 5. Let j(z) = 5*h(z) - 6*u(z). Let a be 1 - (0 - (1 - 0)). Is 14 a factor of j(a)?
True
Suppose 3*x = 4 + 2. Let h(d) = d - 7. Let g be h(16). Suppose -4*n = -x*z - 92, 0 = g*n - 4*n + 4*z - 102. Is 12 a factor of n?
False
Let o(n) = 60*n**2 + 2. Is o(2) a multiple of 22?
True
Suppose 280 = 4*u + 3*u. Is u a multiple of 8?
True
Let a(w) be the third derivative of w**6/120 - w**4/12 - w**3/6 - 4*w**2. Let l = 4 - 1. Does 10 divide a(l)?
True
Suppose 0 = -7*r + 5*r + 112. Is 14 a factor of r?
True
Let u be (-14)/(-6)*12/2. Let q = -9 + u. Is q a multiple of 5?
True
Let t(w) = -w + 18. Suppose 3*q = q. Does 9 divide t(q)?
True
Let v(y) = y**2 + 8*y - 6. Let t be -1*6*3/2. Is 2 a factor of v(t)?
False
Let j = 29 - 50. Let x = 13 + j. Let r = x + 20. Does 12 divide r?
True
Suppose 12 + 16 = -4*j. Let r = -6 - j. Let v = 22 - r. Is v a multiple of 10?
False
Let w(a) = a**3 + 21*a**2 - 27*a - 16. Does 10 divide w(-22)?
False
Let t(v) = 2*v - 3. Let y be t(2). Suppose j - 16 = 3*c, -2*c = -2*j + 3*j - y. Let h = j + 3. Does 5 divide h?
True
Suppose 10 = 2*d - 16. Suppose 3*c = d + 53. Is c a multiple of 12?
False
Let q(b) = -b**3 - 13*b**2 + 10*b - 10. Suppose 6*f = 9*f + 42. Is q(f) a multiple of 23?
True
Let a = -43 - -71. Let m(q) = q**3 + 6*q**2 - 4*q - 2. Let x be m(-5). Let u = x - a. Is u a multiple of 5?
True
Suppose -3*s - 93 = -0*s. Let t = 52 + s. Is 14 a factor of t?
False
Suppose 4*t - 188 = 5*u, -u = -5*t - 2*u + 264. Is 9 a factor of 8/2*t/16?
False
Let i = -228 - -435. Is i a multiple of 27?
False
Let q(y) = y - 14. Let s be q(9). Let m = s - -11. Suppose -f + 48 = 5*z, f - m*f - 20 = -z. Does 10 divide z?
True
Is 3 a factor of ((-6)/5)/(4/(-20))?
True
Let y be -7 + 7 - 6*2. Let j = y - -7. Let s = j - -19. Is s a multiple of 6?
False
Let x be (-3)/((-9)/3) - -6. Suppose -x*y = -3*y + 16. Does 10 divide (2/y)/((-2)/108)?
False
Is 12 a factor of (4/10)/((-7)/(-1260))?
True
Suppose -4*y = -9*y - 2*i + 431, -358 = -4*y + 5*i. Does 29 divide y?
True
Let p(o) = -o. Let k be p(7). Let a = 22 + k. Is a a multiple of 4?
False
Let y(p) = -p**3 - 12*p**2 - 11*p - 6. Let u be (5 - 4)/((-1)/(-2)). Let c(d) = 2*d**3 + 25*d**2 + 22*d + 12. Let w(i) = u*c(i) + 5*y(i). Does 6 divide w(-9)?
True
Let v(q) = q**2 - 8*q + 8. Let h be v(8). Let p = h - 4. Suppose 3*l - 18 = -2*t + 59, -p*l + 4 = 0. Does 17 divide t?
False
Let b = 19 + 13. Does 8 divide b?
True
Let o be (-4)/(-6) - 160/(-3). Suppose 152 = 5*a - 2*p, 2*a - 26 = -4*p + o. Is 7 a factor of a?
False
Let s be (4 - 3)/((-1)/(-3)). Suppose a = s*w - 13, -5*w + 5*a + 21 = -w. Does 4 divide w?
True
Let t = 45 - -53. Does 9 divide t?
False
Is 37 a factor of 48/32 + (-182)/(-4)?
False
Suppose -2*r = -20 - 0. Suppose 4*b - 5*b + r = 0. Is b a multiple of 2?
True
Let x(p) = -3*p**3 + 2*p**2 + 2. Suppose 6*l - 45 = 3*l. Suppose 5*s + 5 = -5*o, -7*s + 2*s = -5*o 