 - 7. Let c be u(2). Is ((-2)/6)/(1/c) a multiple of 5?
False
Suppose 3*c + c = -40. Is 9 a factor of 141/15 - (-4)/c?
True
Let a be (1/(-3))/(4 + 39/(-9)). Let y(k) = -k - 2. Let u be y(0). Does 14 divide 27/(-2)*u + a?
True
Suppose -6*z = -3*z - 9. Suppose 0*j = z*j - 75. Is 25 a factor of j?
True
Let t(x) = 3*x - 1. Let m be t(2). Suppose -l = m*f + 2, 57 + 1 = 4*l - 2*f. Does 13 divide l?
True
Suppose -408 = -4*o - 6*q + 2*q, -2*o = 3*q - 207. Let k = -61 - -2. Let g = o + k. Does 20 divide g?
True
Let t(h) = h**2 + 5*h - 10. Let v be t(-7). Let z be 10/v - 3/(-2). Is ((-12)/9)/(z/(-6)) a multiple of 2?
True
Suppose -4*b + 5*y + 34 = 0, 3*b - 4*y - 33 + 7 = 0. Is b a multiple of 4?
False
Suppose -2*v - 1 = 5. Does 2 divide ((-2)/v)/(14/147)?
False
Suppose 0 = -h + 5*h - 132. Is 11 a factor of h?
True
Let i = 14 - 9. Suppose i*t - 55 = l - 0*l, -3*l - 22 = -2*t. Is 11 a factor of t?
True
Is (0 + 3/(-6))*-52 a multiple of 13?
True
Let o(v) = -v**2 - 5*v + 10. Let m(h) = -1. Let k(a) = 6*m(a) + o(a). Let f be k(-5). Suppose -f*s - 10 = -30. Is s even?
False
Let s(f) = -f - 14. Let g be s(-13). Does 28 divide 3*(14 - -4 - g)?
False
Suppose 5*u + 4 = -6. Let p be ((-3)/u)/(3/4). Suppose -f + p*f - 26 = 0. Does 13 divide f?
True
Let j(l) = -9*l**3 - l**2 + 2*l - 2. Let g = 18 + -20. Does 20 divide j(g)?
False
Let g = -26 + 43. Let j = 5 + 0. Suppose 0 = -j*y - 3*l + g, 5*y - l - 24 = 3*l. Is 3 a factor of y?
False
Suppose 0 = -2*p + 5*d + 23, 15 = -4*p - 2*d + 1. Let f = p + -2. Does 8 divide (f - -6) + -4 - -17?
True
Suppose -5*g = -n + 25, -3*n - 2*g + 20 = -6*g. Suppose o = -n*o + 3. Let l = o - -11. Does 14 divide l?
True
Suppose -2*c = 4*m - 22, 6*c = -3*m + 2*c + 24. Suppose -2*a - 46 = -m*a. Is 6 a factor of a?
False
Let y = 7 - 7. Let s = -13 + y. Let d = -4 - s. Is d a multiple of 9?
True
Does 10 divide (8 + -7)/(3/90)?
True
Suppose 22*d - 644 = 15*d. Is d a multiple of 19?
False
Suppose 0 = j + 3*j + 4. Let d be (-1)/(-1*(j - -2)). Suppose 2*g = 5 - d. Is g even?
True
Suppose 12 = -5*x - 5*g + 2, -14 = x + 4*g. Is 30/3*x/1 a multiple of 10?
True
Let b = -1 + 5. Suppose 84 = 2*c + b*w, 2*c - 7*c + 210 = 5*w. Is 20 a factor of c?
False
Suppose 27 = 2*b - j, 0 = -3*b + 5*j + 74 - 23. Is 5 a factor of b?
False
Let s = -108 + 255. Is s a multiple of 11?
False
Let b = 64 - -5. Is 9 a factor of b?
False
Let a(f) be the second derivative of -f**3/2 + f**2/2 - 2*f. Let c be a(1). Is 5 + (c - -1) + 3 a multiple of 4?
False
Suppose 7 = x - 5. Suppose 3*k = 2*q + 38, -4*q = -32 + x. Does 13 divide k?
False
Let n(c) = c**2 - 9*c - 1. Let x be n(8). Does 2 divide 3 + (2 - x/(-3))?
True
Suppose 5*w = 5*f + 30, 0 = 5*w + f + 2*f - 14. Suppose x = -a + 9, -a + 5*x = w*a - 65. Is a a multiple of 11?
True
Let v be ((-4)/10)/(2/(-10)). Let j = v - -12. Is 7 a factor of j?
True
Let t be (-1)/((-3)/(-2) + -2). Suppose 140 = t*m + 2*m. Is m a multiple of 21?
False
Suppose -2*q - 8 = -4*c, 5*c - 4*q - 5 = 5. Let f be (-38)/(-14) + c/7. Suppose 0 = f*l + l - 16. Is l a multiple of 4?
True
Let x = 1 - 11. Let h = x + 29. Is 8 a factor of h?
False
Let c(n) = 3*n + 1. Let i(h) = 3*h + 1. Let s(f) = 6*c(f) - 5*i(f). Let p(u) = -2*u + 1. Let w be p(-2). Is s(w) a multiple of 8?
True
Suppose 4*c = -5*f + 5*c + 120, 0 = -5*f - 3*c + 120. Let m = f + 0. Suppose 0 = -k + 2 + m. Is 16 a factor of k?
False
Suppose r + 6*w + 6 = 4*w, -3*r + 5*w + 4 = 0. Let t(x) = 17*x - 1. Let s be t(3). Does 8 divide (r/(-5))/(2/s)?
False
Let t = 29 - -22. Let b = t + -21. Is b a multiple of 10?
True
Suppose 143 - 5 = 3*j. Let q = j + -33. Is 9 a factor of q?
False
Let n(t) = -t**3 + 3*t**2 - t + 2. Let h be n(3). Let v be 3 - ((4 - 2) + -4). Let i = v + h. Does 4 divide i?
True
Suppose -v = -t - 84, -4*v + 245 = 5*t - 127. Suppose -92 = 4*r - 2*m, m - v = 4*r - 3*m. Is (25/20)/((-2)/r) a multiple of 9?
False
Suppose 34 = m - n, 2*n - 3*n = -3*m + 104. Let l = m - 11. Is 8 a factor of l?
True
Let p(r) be the first derivative of 0*r**3 - r**3 + 1 + r**4 - 2*r**4 + 2*r + 0*r. Is p(-2) a multiple of 11?
True
Suppose 3*u + 0*l + 3*l = 231, 147 = 2*u - 5*l. Does 19 divide u?
True
Does 12 divide (-60)/(-50)*(121 - 1)?
True
Let q = 241 - 113. Suppose -4*r = -0*r - q. Is 11 a factor of r?
False
Suppose h - 4*h + 324 = 0. Suppose 4*r - h = -5*f, 2*f + 5*r + 0*r - 50 = 0. Is 20 a factor of f?
True
Let n = -15 + 19. Suppose n*a - 2*y = 160, -2*y + 92 = 3*a - a. Does 21 divide a?
True
Suppose 6*r = 3*r + 1449. Is r/9 - (-3)/9 a multiple of 18?
True
Suppose -9 = -4*i - 37. Let h = i - -17. Suppose -3*v + 4*r = -26 - h, -2*v + 24 = -3*r. Does 8 divide v?
False
Let i(q) = 5*q**2 + 3*q + 1. Let u be i(4). Suppose 2*o - 4*v = 66, -5*v = 4*o - 0*o - u. Does 9 divide o?
True
Suppose -2*b - 6 - 22 = 0. Does 7 divide b/(-49) - 248/(-14)?
False
Suppose 4*z - 400 = 4*w, 268 = 5*z - 2*z + 5*w. Does 24 divide z?
True
Let f be (-4)/(-8)*-1*-10. Is 17 a factor of (-55)/(-44)*4*f?
False
Suppose -4*t + 5*q + 28 = 0, 3*q = 5*t - q - 26. Suppose 0 = -4*c - 16, -3*c + 4 = b - 11. Is t + (b - 2*-1) a multiple of 15?
False
Suppose -4*y + 4 = 0, -3*y - 49 = -4*x - 4*y. Is 12 a factor of x?
True
Suppose 0 = 2*a - 4*p - 120, a + 0*a - 3*p = 56. Is a a multiple of 13?
False
Suppose -y + 2*n - 4 = 0, 3*y - 12 = 5*y - 5*n. Suppose 3*k - 29 - 142 = -3*z, y*k = -8. Is z a multiple of 16?
False
Suppose 5*v = v - 16. Let g = v - -6. Suppose 4*t + 98 = 3*k, t + 145 = 5*k - g*t. Is k a multiple of 13?
True
Suppose a = -2*a + 12. Does 2 divide a?
True
Let r be 0 + (-332)/2*-1. Suppose -r = -4*v - 2. Does 14 divide v?
False
Let y(o) = -6 + 2*o - 16*o**2 + 42*o**2 + 25*o**2 + 4. Is y(1) a multiple of 13?
False
Let o(b) = 16*b**2 - 2*b + 3. Does 11 divide o(-2)?
False
Suppose 2*w + 1 = -4*o - 1, -12 = -2*w + 3*o. Is w a multiple of 3?
True
Let w(j) = 9*j + 6. Let x = -1 + 5. Does 14 divide w(x)?
True
Let a(c) = 13*c - 15. Let v be a(6). Let n = v + -19. Is n a multiple of 11?
True
Suppose 3*f + 2*j + 0*j = 120, -4*f = j - 165. Is 6 a factor of f?
True
Let j(s) = -2*s**3 + s**2 + s - 2. Is j(-2) a multiple of 2?
True
Let j(z) = 6*z + 15*z - 2 - 1 + 2. Is 20 a factor of j(1)?
True
Suppose 9*g - 2*g = 1351. Is g a multiple of 17?
False
Suppose 2*z = 5 + 3. Let q be (-1)/(-3) - 4/(-6). Suppose -g = h - 3 - q, -48 = -4*h + z*g. Is 6 a factor of h?
False
Let o be 5 - -53 - (-1 + 2). Suppose 0 = -f + 5*t - 4, -4*f = -2*f + 3*t - o. Is 21 a factor of f?
True
Let a be (-2)/((12/3)/(-2)). Let r(q) = q. Let l(g) = 39*g + 1. Let h(k) = a*l(k) + 2*r(k). Does 21 divide h(1)?
True
Let t(k) = 2*k + 2. Let m be t(-2). Let b = m + 2. Suppose -5*c + 0*a = -5*a - 40, b = -2*c - a + 16. Is c a multiple of 4?
True
Let h(p) = 2*p**2 + 2*p. Let x be h(-2). Suppose 0 = x*q - 4*k + 60, 4*q = -4*k + 7*k - 63. Let s = q + 28. Is 5 a factor of s?
True
Is (-2)/3 + (-5302)/(-33) a multiple of 20?
True
Suppose 149 = -3*x - 43. Let m = -40 - x. Is 24 a factor of m?
True
Let j be 6/(-15) + (-2364)/(-10). Does 6 divide j/20 + 1/5?
True
Let a be (-13)/(-3) + (-1)/3. Suppose d + 25 = -a*d. Let j = 18 + d. Is 13 a factor of j?
True
Suppose 0 = -z + 4*z - 6. Suppose 0 = -5*j + 112 - z. Does 10 divide j?
False
Let h = 13 + -9. Let a = h + -3. Does 9 divide a + -2 + 1 + 9?
True
Let c = 3256 - 2206. Let d be (-2)/((-7)/(c/4)). Suppose 4*y - d = y. Is y a multiple of 12?
False
Let v(i) = -i**3 - i**2 - i + 56. Let n(w) = -w + 1. Let l be n(1). Let k be v(l). Suppose -4*a - 2*z = -44, -a + k = 4*a + 2*z. Does 6 divide a?
True
Suppose -305 = -5*t - 35. Suppose -3*h + 43 = c, 4*h - 8*h - 3*c = -t. Is 5 a factor of h?
True
Let a(j) = -j**3 + 6*j**2 - 3*j - 6. Let z be a(5). Suppose -z*l + 30 - 6 = 0. Is 6 a factor of l?
True
Let z be ((-192)/40)/((-2)/10). Suppose -3*h = h - z. Does 2 divide h?
True
Let n be (9 - -1)*4/10. Let l = 163 - 114. Suppose 4*k + n*w - l - 75 = 0, w = -3*k + 87. Is k a multiple of 14?
True
Suppose -3*q - 3*i + 12 = 0, 5*q + 0*q - 17 = -4*i. Let o be -3 + q + (8 - 1). Suppose 0 = p - o*p + 64. Is p a multiple of 16?
True
Suppose u = 4*u - 9. Let h(b) = 5*b + 1. Is 8 a factor of h(u)?
True
Let x be 6/(-5)*(-30)/(-9). Let s be x/(8/6) + 22. Suppose 0 = o - s - 31. Does 25 divide o?
True
Let u be (-2 - -4) + 0 + 0. Suppose -4*l = 2*q - 70, l - 2 = u*q + 8