tiple of 5?
False
Let a be 2/(-4)*(0 + -4). Suppose -74 = -5*r + l, -a*r + 0*r + 32 = 2*l. Is 6 a factor of r?
False
Let f(x) = -x**2 - x**2 - 4*x + 3*x**2 - 5. Let g = 3 + 4. Does 8 divide f(g)?
True
Suppose -19 = 4*t - 5*o, 0 = 3*t - 0*t - o + 6. Let z(d) = -23*d**2 + 2*d + 1. Let i be z(t). Let y = -12 - i. Does 6 divide y?
True
Let u = 51 - -56. Is 20 a factor of u?
False
Let g(s) = 6*s + 2. Let j be g(7). Suppose z = -4*y - 3*z - j, -y - 2*z = 16. Let q = -4 - y. Is q even?
True
Suppose -10*w = -30 - 20. Is w a multiple of 4?
False
Let y = -29 - -2. Is 12 a factor of (-106)/(-9) + (-6)/y?
True
Let t(z) = 12*z**2 + 2*z. Let o be t(2). Let u be o/24 - (-1)/(-6). Suppose -u*f + 5*f - 78 = 5*g, -2*f - g + 39 = 0. Does 9 divide f?
False
Suppose 0 = -i + 3 - 0. Let m be (-1)/(0 + (-1)/i). Suppose m*y + 2 - 41 = 3*n, -3*y + 38 = -2*n. Is 6 a factor of y?
True
Let n = -40 - -108. Is n a multiple of 11?
False
Suppose u = -2*d + 3*d + 10, 2*d = 5*u - 38. Let l = u + 26. Does 11 divide l?
False
Suppose 4*b = b + 54. Is b a multiple of 3?
True
Let v(q) = 2*q**2 + 4*q + 3. Let s be v(-4). Let a = -4 + s. Let f = 24 - a. Does 9 divide f?
True
Let l be ((-5)/(-10))/(2/12). Suppose 4*q = l*q - 72. Is 15 a factor of ((-10)/(-6))/((-4)/q)?
True
Let p(b) = 2*b**2 + 2*b + 3. Let v be p(-2). Let g = v + -3. Suppose -3*y + 3 + 33 = 2*s, 0 = -g*s - 3*y + 78. Does 7 divide s?
True
Let y be 92/28 + (-2)/7. Suppose -z - 4*z - 12 = -2*u, -z - y*u = -1. Is 2 a factor of (12/z)/(6/(-4))?
True
Suppose 2*p - 2*c = 89 + 59, -250 = -3*p - 4*c. Let f = p + -52. Is 11 a factor of f?
False
Let h = 52 + -28. Is h a multiple of 12?
True
Let b be (106/(-6))/(2/(-6)). Does 17 divide 8/(-12) - b/(-3)?
True
Let k(q) = -q**3 + 6*q**2 + 8*q + 2. Is k(7) a multiple of 3?
True
Does 11 divide 3 - -1 - (-19)/((-38)/(-476))?
True
Let b(h) = 3 + 23*h - 2*h**2 + 5*h**2 - 19*h. Is b(-3) a multiple of 10?
False
Let z = -13 + 21. Does 22 divide (z/(-2))/((-12)/198)?
True
Let q(j) = -j + 8. Let o be q(8). Suppose 2*w = 5*b + 38, o*b = 4*b + 16. Is 3 a factor of w?
True
Suppose -o = 4*v - 46, -4*o - v + 124 = -0*o. Suppose -5*g + 3*z + z + 50 = 0, -o = -3*g + 4*z. Does 4 divide g?
False
Suppose 28 = 4*q - 4*i, -2*q - 2*i = -3*q + 4. Is q a multiple of 5?
True
Suppose -3*q + 5*q = 4*a - 68, 5*a - 5*q - 80 = 0. Does 4 divide a?
False
Let c be (54/(-15))/(3/10). Suppose 2*x + 172 = -2*x. Let n = c - x. Is n a multiple of 12?
False
Suppose -5*p + 4*o = -1015 - 189, 0 = -3*p - 2*o + 740. Is 11 a factor of p?
False
Suppose -2*f = y + 3*f - 5, 0 = 2*y + 3*f - 10. Does 3 divide y?
False
Let c(a) = -2*a**3 + 16*a**2 + 26*a - 5. Let q(d) = d**3 - 8*d**2 - 13*d + 2. Let n(r) = -4*c(r) - 9*q(r). Is 15 a factor of n(9)?
False
Let n(l) be the second derivative of l**3/6 + 25*l**2/2 + l. Suppose -8 - 14 = 2*f. Is n(f) a multiple of 7?
True
Let x(c) = 26*c - 1. Let w be x(-1). Let r = w + 59. Is 19 a factor of r?
False
Let w(b) = -b**3 - 6*b**2 + 8*b + 7. Let d be w(-7). Does 13 divide (-52 + 3 + d)*-1?
False
Suppose 3*l - 15 = -4*s, -7*s - 4*l + 20 = -3*s. Suppose 4*n - 3*a = 136, s = -2*n + 7*n - 2*a - 170. Is n a multiple of 11?
False
Suppose -1 = -2*u + 5. Suppose 2*a = -2*y + 10 - 4, 3 = u*a. Suppose -52 = -y*t + 4*n, 5*t - 2*n + 3*n = 86. Is t a multiple of 7?
False
Let j(b) = b**3 + 11*b**2 + 19*b + 11. Is j(-8) a multiple of 31?
False
Let n = 134 - 90. Is 11 a factor of n?
True
Let l = 44 + 18. Is 9 a factor of l?
False
Is 41 a factor of 4437/36 + (-1)/4?
True
Let c be (51/6)/((-1)/(-2)). Suppose c = -2*a - 4*p + 3, -19 = 2*a + 5*p. Is a a multiple of 3?
True
Let w = -1 - -1. Suppose -3*p = -w*p. Suppose 0*g + g + 138 = 3*s, 2*s - 2*g - 88 = p. Is 19 a factor of s?
False
Suppose 4*s = 3*y - 9, -6 = -2*y - 0. Suppose 4*n + 0*t + t - 80 = s, 2*n - 5*t - 62 = 0. Let l = -13 + n. Is 6 a factor of l?
False
Let h = 82 - 123. Let n = 23 + h. Is 12*(-2 - n/4) a multiple of 14?
False
Suppose -3*f = 2*k - 14, 3*f = -8*k + 4*k + 22. Suppose -f*q + 39 = 5*p, 3*p + 4*q = 4*p - 21. Is p a multiple of 6?
False
Suppose 2*z - 12 = -3*j, 3 + 3 = 3*j + 4*z. Is j a multiple of 3?
True
Let y(q) = 3*q - 3. Is 3 a factor of y(4)?
True
Suppose -5*b - 112 = -3*s, 2*b = -5*s - 3*b + 200. Suppose 5 = 2*f + 1. Suppose 0*h - 6 = f*h, 5*h = 2*m - s. Is 12 a factor of m?
True
Let i(a) = -a**2 + 8*a + 3. Let c be i(8). Let j(w) = w**2 - 3*w + 3. Let m be j(c). Suppose 2*s - m*s = -4*h - 6, 0 = 3*s - 5*h - 18. Is 5 a factor of s?
False
Suppose -3*m - 3 = -18. Let t(l) = -2*l**2 - m*l + 4*l**2 - 4 - l**2. Is 10 a factor of t(-3)?
True
Let s be 2963/9 - (-2)/(-9). Suppose -3*b + 4*b - 96 = 3*h, 4*b - s = h. Is 24 a factor of b?
False
Suppose 165 = 3*k - 2*k. Let r = k - 371. Does 15 divide r/(-10) - (-6)/15?
False
Let k(a) = 14*a**3 - 9*a**2 - 14*a + 3. Let m(u) = 5*u**3 - 3*u**2 - 5*u + 1. Let v(l) = 6*k(l) - 17*m(l). Is 9 a factor of v(-4)?
False
Suppose -7*n + 9*n - 34 = 0. Is 6 a factor of n?
False
Let m = 61 + 72. Does 7 divide m?
True
Let h = -6 + 8. Let a be (-4)/(-5)*5/h. Is (5 - 3)/(a/13) a multiple of 5?
False
Suppose -s = 5*a - 98, 5*a - 5*s = a + 90. Let v be (34/(-4))/((-2)/(-4)). Let r = a - v. Does 10 divide r?
False
Let y be -1 + -1 + 1 - 1. Let j(f) = -1 - 1 - f + 4. Is j(y) even?
True
Let f(g) = g + 14. Let u be f(-11). Suppose 2*t = -3*j - 19, 22 = -2*t - t + 2*j. Does 2 divide (-34)/t + u/4?
False
Let v = 20 + -8. Does 12 divide v?
True
Let n = 6 - 4. Let g be n/(-8) - 1/(-4). Suppose g*d + 96 = 4*d. Does 12 divide d?
True
Let f = 136 + 6. Let r be (-4)/10 - f/(-5). Let s = 8 + r. Is s a multiple of 14?
False
Let r = 69 - -4. Suppose -r = 2*k - k. Does 15 divide 12/30 + k/(-5)?
True
Suppose 470 = h + 4*h. Suppose 2*f + f - 3*w - 48 = 0, -4*f = 2*w - h. Does 10 divide f?
False
Suppose -p = 4*r - r - 80, 4*r - 4*p = 112. Does 8 divide r?
False
Suppose -u = 5, 4*u = -2*z - 0*u - 4. Suppose 4*r + z = 48. Is 10 a factor of r?
True
Let y be (-5)/(-3)*(9 - 6). Suppose 3*b - y*k = 46 + 3, -5*k + 5 = 0. Is 9 a factor of b?
True
Let y(u) = -u**3 + 6*u**2 - 6*u + 4. Let q be y(5). Let m(i) = -2*i - 24. Let p be m(-13). Is 13 a factor of (q + 0)/(p/(-58))?
False
Suppose 5*b + r - 1605 = 0, -4*b + 1779 - 481 = -2*r. Is b a multiple of 30?
False
Let v(t) = -t**2 + t + 17. Let i be v(0). Suppose -4*b = 5*z + 49, -2*b + 0*z - i = z. Does 14 divide ((-27)/b)/((-1)/(-8))?
False
Let b(d) = -25*d - 2. Does 16 divide b(-2)?
True
Suppose -18 = -2*t + 76. Suppose 4*p - 9 = t. Is 14 a factor of p?
True
Let k = 214 - 118. Is 18 a factor of k?
False
Suppose 3 = f, -4*k + 3*f - 3 = -2*k. Let b be 1*(k - (1 - -1)). Is 17 a factor of 3 + -3 - -42*b?
False
Let t be 1*(2 + 84)/(-2). Let o = t + 111. Is 34 a factor of o?
True
Let u be (-4)/(-14) - (-1650)/7. Is 12 a factor of u/10 - (-2)/5?
True
Suppose -1 = -x + 1. Let p be 5/((-10)/(-8)) - x. Suppose -17 = -4*o + i + 5, -p = -i. Does 3 divide o?
True
Suppose -3*v + 9 = 2*z - 1, 2*v = 4*z - 4. Suppose 5*o = v*d + 2*o - 21, -2*d = 5*o + 19. Does 3 divide d?
True
Suppose -4*z + z + q = -27, 3*q + 9 = 0. Is 3 a factor of z?
False
Suppose j - 107 = k, 4*j + 6*k - 433 = 5*k. Is 4 a factor of j?
True
Is (-298)/6*5/(25/(-30)) a multiple of 36?
False
Let k(g) = -23*g + 1. Let r = 4 + -8. Is 27 a factor of k(r)?
False
Suppose -6*a = 67 - 751. Does 19 divide a?
True
Let b be (45/6 - 1)*(3 + 9). Suppose -u = -6*u. Suppose 5*d - h - 4*h = 130, -3*d - 3*h + b = u. Does 13 divide d?
True
Let d(b) = b**3 - 8*b**2 - 10*b - 6. Let h be d(9). Let o = 18 + h. Is o a multiple of 3?
True
Suppose -2*o - 15 = -7*o. Suppose 4*i + o*u = 155, -3*i = -5*u + 4*u - 100. Is i a multiple of 35?
True
Let y = 73 - 1. Is 18 a factor of y?
True
Let f(l) = -l**3 - 7*l**2 - 8*l - 9. Let k be f(-6). Suppose 0 = -5*w - 2*g + 46, 34 = k*w - 2*g - 0*g. Does 10 divide w?
True
Suppose 40 = s + 14. Does 12 divide s?
False
Let b(u) = u - 11. Let x be b(8). Let d = x - -1. Does 7 divide 28/(-6)*(d + -1)?
True
Let g be 4 + -2 - (0 - 1). Suppose -o - g*o + 80 = 0. Is 15 a factor of o?
False
Let l(c) = -11*c - 6. Does 31 divide l(-9)?
True
Is 23 a factor of ((-40)/(-12) + -3)*183?
False
Suppose -3*g - g + 717 = -5*z, -g - 2*z + 176 = 0. Let t = g + -99. Does 14 divide t?
False
Suppose 0*m = 2*m - i - 41, 5*m + 5*i = 125. Does 22 divide m?
