Is (119/14)/((-1)/(-34)) a multiple of 23?
False
Suppose 0 = -r - 4*r + 50. Suppose -20 - r = -z. Is z a multiple of 18?
False
Let u = 1 + 6. Let y be 8/(-36) + u/(-9). Let p = y - -6. Is 5 a factor of p?
True
Let m(i) be the second derivative of i**4/12 + i**3/3 + i. Let t be m(2). Is 19 a factor of (-7)/(-28) - (-302)/t?
True
Let r = -103 + 168. Is r a multiple of 13?
True
Suppose 0 = 2*t + 3*w - 2 + 13, 4*t - 2*w = 18. Does 32 divide (20/14 + t)*28?
True
Let h(f) = f**2 - 3*f - 7. Let b(r) = r**3 - 9*r**2 + 9. Let x be b(9). Is h(x) a multiple of 19?
False
Let c be (-4)/14 + (-738)/63. Let o = 6 - 40. Let l = c - o. Does 11 divide l?
True
Let r = 2 + 148. Does 20 divide r?
False
Suppose 3*m + 12 = 0, -3*u - 3*m = -2*u - 20. Is u a multiple of 6?
False
Suppose 3*n = 3*m + 30, 0*n - 5*m = n + 14. Does 14 divide 3*1/(n/28)?
True
Suppose -3*b - 4*n = -8, -14 = -0*b - 3*b + 2*n. Suppose -2*g + b = 0, 2*g - 18 = -2*z + 3*g. Is z a multiple of 3?
False
Let d be ((-6)/(-8))/((-1)/(-4)). Suppose 231 = 5*s - x + 38, d*s - 119 = -x. Does 13 divide s?
True
Let v = -5 + 5. Suppose v*g - 27 = -3*g. Is g a multiple of 5?
False
Let d = 11 - 7. Suppose -2*c + d*c - 80 = 0. Is c a multiple of 10?
True
Suppose 2*f - 3*o - 5 - 3 = 0, 0 = -3*o. Let a = f + 1. Is a even?
False
Let j = 10 + -1. Suppose 56 = k - m, 0 = -4*k + j*k + m - 256. Does 21 divide k?
False
Let y = -8 - -17. Let n be (y - -3)*2/(-4). Let f = n - -15. Does 9 divide f?
True
Let a(l) = 2*l**2 + 5*l + 2. Let r be a(-3). Suppose -26 + r = -n - 5*q, 3*n = -3*q + 75. Suppose -x - 5*j + n = 0, -2*x + 0*j = j - 34. Is 9 a factor of x?
False
Let n(w) = 2*w + 0*w + 0*w - 3*w + 3. Let z be n(3). Suppose -4*y + 12 = z, 0*t - 3*t - 2*y + 30 = 0. Is t a multiple of 8?
True
Let p = -24 - -16. Let f = 30 + p. Is f a multiple of 8?
False
Let c = -69 + 216. Is 21 a factor of c?
True
Let l = -3 - -8. Let n(o) = o**3 - 4*o**2 - 4*o. Let i be n(l). Suppose 72 + 76 = 5*a + 4*b, i*a - 157 = -b. Is 10 a factor of a?
False
Suppose 2*z - z + 2*u - 26 = 0, 0 = -4*z + 2*u + 144. Is z a multiple of 14?
False
Suppose -89 = 5*y - 3*o + 4*o, -2*o = 4*y + 76. Let v = 19 + y. Is v a multiple of 2?
True
Suppose 0*p = 3*p + 3. Let g be 1 + p*(-3 - -2). Suppose -2*r + 4*v = 3*r - 66, g*r - v - 27 = 0. Is 14 a factor of r?
True
Suppose -100 = -5*i + 5*k, 5*k - 29 = -4*i + 15. Is 7 a factor of i?
False
Suppose -16*b = -21*b + 525. Is b a multiple of 21?
True
Let z = 2 - -13. Let j be (12/(-10))/((-3)/z). Let s(w) = -w**2 + 8*w + 5. Is s(j) a multiple of 17?
True
Let g(y) = 2*y**2 + 4. Does 34 divide g(7)?
True
Suppose -2*u + 304 + 224 = 0. Suppose -7*j + u = -3*j. Does 22 divide j?
True
Let a = 12 - 10. Suppose 2*s + 2 - 12 = 0. Suppose -5*f + 2*f = a*l - 40, 0 = -4*l + s*f + 102. Is l a multiple of 13?
False
Let o = 12 - 21. Does 6 divide (15/o)/(2/(-18))?
False
Let j = -26 + 31. Let k = -5 + 10. Let q = j + k. Is q a multiple of 4?
False
Suppose 3*t = -2*t. Suppose t = 4*u - 2 - 10. Does 2 divide u?
False
Let j be (2/(-6))/(7/63). Let d = 6 - j. Does 7 divide d?
False
Let i = -32 - -50. Let v = i - 12. Is v even?
True
Let d be ((-2)/5)/((-7)/35). Suppose g + d*g + 3 = 0. Let k(i) = -38*i**3 + 1. Does 17 divide k(g)?
False
Let y(j) = -22*j**2 + 3*j - 2. Let t(p) = 44*p**2 - 5*p + 3. Let b(v) = 3*t(v) + 5*y(v). Let k be (-3)/(-4) - 2/(-8). Is b(k) a multiple of 9?
False
Let m = 11 - 19. Let y = 24 + -12. Is y*((-30)/m + -1) a multiple of 14?
False
Let j(s) be the third derivative of -s**6/120 - s**5/30 + s**3/2 - 7*s**2. Is j(-4) a multiple of 22?
False
Let i(f) = -f**2 - 29*f - 33. Is 26 a factor of i(-22)?
False
Let p = 4 + -4. Let b = 193 + -113. Suppose -4*l - l + b = p. Is l a multiple of 16?
True
Let c be (7 + -4)*10/(-3). Let m = c + -1. Let u = m - -21. Is u a multiple of 9?
False
Suppose 2*f = -d - d - 26, -4*f = -8. Does 9 divide d/2*(-5 + 3)?
False
Let q = 176 - 41. Is 21 a factor of q?
False
Suppose -2*l = -36 + 8. Let x be (-8)/28 + 60/l. Does 6 divide 2/(-8) + 57/x?
False
Suppose 24 = 3*k - 2*y, 5*k + 6 = y + 39. Suppose 4*h - h + 2*d = -11, 0 = -h + 5*d - 32. Does 16 divide (-114)/h - k/21?
True
Let o(x) be the third derivative of -2/3*x**3 + 0 + 1/30*x**5 + 0*x + x**2 - 1/8*x**4. Does 5 divide o(3)?
True
Let n = 0 + 3. Suppose -2*f + f - w = -11, 0 = n*f + 4*w - 32. Is f a multiple of 9?
False
Let q = -167 + 283. Does 29 divide q?
True
Let j = -21 + 42. Let d = -13 + j. Does 3 divide d?
False
Let p(w) = -w**2 - 7*w + 11. Let y be p(-8). Let o(v) = -1 - 3*v**2 + y*v**2 + v + 0*v + 5*v**2. Is o(1) a multiple of 2?
False
Suppose 4*h - 46 = -5*p + 336, 80 = p - h. Does 22 divide p?
False
Suppose 0 = n + 5*s + 15, 0*n - s = -3*n + 35. Does 2 divide n?
True
Let d(r) be the second derivative of r**5/20 - 5*r**4/12 - 7*r**3/6 + 3*r**2 - 2*r. Let o be d(6). Suppose o = 2*x - 0*x - 10. Does 4 divide x?
False
Let d = 41 - 28. Suppose -d + 5 = -b. Is 12 a factor of b*-6*(-1)/2?
True
Let o be 3 - (1 - -1) - 1. Suppose 4*w = 8*a - 3*a - 182, -4*w - a - 170 = o. Let h = 69 + w. Is 10 a factor of h?
False
Let b(z) = 6*z. Let s(a) = a. Let t(x) = -6*b(x) + 34*s(x). Let r be t(-2). Suppose -r*h - 20 = -2*q - 3*h, -2*q + 12 = h. Does 6 divide q?
False
Let h be 1/2 - (-10)/(-4). Let m be 10/(-3)*3/h. Suppose -8 = -4*n + 5*q, 3*n - 1 = -q + m. Is n even?
True
Suppose 2*g - 4*t - t = 27, -2*g + 4*t = -22. Is -1*(g - 31) + 2 a multiple of 7?
False
Suppose z - 60 = -2*z. Does 8 divide z?
False
Suppose 4*p - g - 19 = 0, -2*g = -5*p - 7*g + 5. Suppose -p*v - v = -25. Is 5 a factor of v?
True
Let g(w) = -67*w**3 - w**2. Suppose -l = 2*k + 7 - 0, 3*k - 2*l = 7. Is g(k) a multiple of 22?
True
Is 11 a factor of 18/(-42) - 1466/(-7)?
True
Let v be (10*-1)/(4 - 6). Suppose -v*k + 50 = 5*s, 0 = -3*k - 0*s + 5*s + 70. Is 13 a factor of k?
False
Suppose 5*d - 109 = 5*n - 4*n, -4*n - 37 = -d. Suppose 2*q + 5*m - 43 = 0, 5*q - 2*q - 107 = m. Let p = q - d. Is p a multiple of 13?
True
Let b = -13 + 18. Let s(g) = -g**3 + 4*g**2 + 8*g - 7. Is 8 a factor of s(b)?
True
Suppose 2*q = -5*b + 717, -2*q - 4*b = -7*q + 1710. Is (-22)/33 + q/6 a multiple of 19?
True
Let t(l) = -l**2 + 4*l + 1. Let i be t(2). Suppose 4*y - i*q + 325 = 0, 26 = -y + 2*q - 59. Let s = -53 - y. Is 11 a factor of s?
True
Let x(g) = -g**2 + 7*g - 1. Let z be x(6). Suppose 3*j - z*j = 4. Is 6 a factor of 14 - (-2 - j*2)?
True
Suppose -k = -3*k + 46. Suppose -4*x + 37 + 5 = 3*o, k = 3*x - 2*o. Is x a multiple of 3?
True
Let g(v) = 4*v**2 + v. Let q be g(1). Suppose -83 = -3*t - 23. Does 4 divide 23/q - 12/t?
True
Suppose 6*x - x + 60 = -4*y, 0 = x + 3*y + 1. Does 4 divide x/10*10/(-4)?
True
Suppose 0 = -t + 3*j + 77, t - 2*j - 56 - 22 = 0. Is 14 a factor of t?
False
Let y(f) = 2*f**3 + 4*f**2 + 3*f + 1. Let z be y(-2). Let k = z - -8. Suppose 55 = 4*g + k. Is g a multiple of 13?
True
Let f(w) = w**2 + 11*w + 15. Let x be f(-11). Suppose -4*m + 79 = o + x, -16 = -m - 5*o. Is m a multiple of 8?
True
Let q(g) = g**3 + 6*g**2 - 4*g + 5. Is q(-6) a multiple of 13?
False
Suppose 2*c = -3*a + 766, 3*a - 7*a - c = -1018. Is 32 a factor of a?
False
Suppose f - 2*l = 24, -2*f + 5*l + 0*l = -47. Is 17 a factor of f?
False
Suppose 4*o + 0 = 16. Suppose 0 = -3*f - 9 - 0, -n - 4*f = -28. Suppose -4*r = 2*a - n, -o*r - 100 = -6*a + 3*a. Is a a multiple of 19?
False
Let v be 21/(-7)*2/(-6). Is 16 a factor of v/(-3) + (-470)/(-15)?
False
Suppose 2*z - 9 = 1. Suppose 2*n - 43 - z = 0. Is n a multiple of 12?
True
Suppose i + 3*i + 12 = 0. Let x = i + 22. Let k = x + -3. Is 7 a factor of k?
False
Suppose -2*n = 2*c - 84 + 22, -5*c - 4*n = -157. Suppose -4*d + 85 = c. Does 12 divide d?
False
Let m be (-1488)/(-14) - 2/7. Suppose -3*p - w + m = 0, 0*w - 5*w + 98 = 3*p. Is 13 a factor of p?
False
Let w be 5*2*2/10. Let s = w + -2. Suppose s = 2*q + q - 84. Is 18 a factor of q?
False
Let d(w) = w**3 - 9*w**2 + 8*w. Let o be d(8). Let v be 33 - (1 + 0)*-1. Suppose 2*y + o = v. Is 17 a factor of y?
True
Let k = -13 - -13. Suppose -l - 4*l + 290 = k. Is l a multiple of 11?
False
Suppose -q + 1 = 0, 0 = -4*k + 5*q - 0 - 5. Suppose -2*v + 177 = 5*z, 3*v + 0*v + 12 = k. Does 15 divide z?
False
Let l = 1 + 25. Let a be l/6 - (-2)/(-6). Suppose 0 = 4*i - 4*t - 16, -6*t - 21 = -a*i - 3*t. Is 8 a factor of i?
Fals