. Suppose -4*f - f - n = -154, -v = -f - n. Is f a multiple of 10?
False
Let w(y) = 60*y - 23. Is w(4) a multiple of 31?
True
Let t(n) = -n**3 - 5*n**2 - 4*n + 2. Let p be (-138)/30 + (-4)/10. Is t(p) a multiple of 11?
True
Let g be (-2)/8 - 55/20. Let c be 2/(-3)*1*g. Does 5 divide 0 - 3*c*-2?
False
Suppose -3*y + 2*y = -f - 1, -f + 4 = 0. Suppose 3*p = -5*v + 59, -2*p + 3*p = y*v + 53. Suppose 7*t - p = 3*t. Is 7 a factor of t?
True
Let h(i) = i**2 - 7*i + 10. Let f be h(7). Let a(d) = 2*d**2 + 16*d - 14. Let t(l) = -l**2 - 15*l + 14. Let p(x) = -2*a(x) - 3*t(x). Is p(f) a multiple of 11?
False
Let z = 93 - 33. Does 18 divide z*1*(-3 - -4)?
False
Does 9 divide (-570)/(-9) - (0 + (-5)/(-15))?
True
Let q = -74 - -198. Does 31 divide q?
True
Suppose 0 = 2*o + o + 5*f - 82, -3*o + 85 = 2*f. Does 9 divide o?
False
Let l(n) be the first derivative of n**3/3 - 4*n**2 + 10*n + 5. Is 5 a factor of l(8)?
True
Let b = -1 + -4. Let k = b - -9. Suppose -k*s - 22 = -5*i, 4 = 5*s - 6. Is i a multiple of 6?
True
Let v(y) = y**2 + 6*y + 5. Let b(z) be the second derivative of z**3/6 - 7*z**2 + 2*z. Let g be b(7). Does 10 divide v(g)?
False
Let l(n) = -2*n - 6. Let x be l(-3). Suppose -g + x*g + w = -15, -3*g + 15 = 3*w. Is 9 a factor of g?
False
Let r(v) = -v - 4. Let t be r(-4). Suppose t = -3*w + 4 + 5, -3*u - 5*w + 255 = 0. Suppose -u = 3*h - 8*h. Is h a multiple of 5?
False
Let m be (-4)/(-6) + (-65)/(-15). Let c be (m + -3)*-29 + 2. Let w = c - -86. Is w a multiple of 15?
True
Is 11 a factor of 4*(30/2 - 4)?
True
Is ((-5)/(-2))/((-1)/(-6)) a multiple of 15?
True
Suppose 555 = 10*j - 415. Is j a multiple of 25?
False
Suppose 2*x + 2*s = 32, -5*x - 2*s = s - 84. Suppose x = 3*r + 54. Is 15 a factor of ((-5)/1)/(2/r)?
True
Is 11 a factor of ((-10)/3)/(26/(-429))?
True
Let v(i) = i + 4. Let a be v(-6). Is 2 a factor of a - 4*3/(-2)?
True
Let p(f) = 2*f**2 - 8. Does 20 divide p(8)?
True
Suppose 2*i = -2*i + 180. Is 15 a factor of i?
True
Is 13 a factor of 94*(2 - -2)/8?
False
Let o = 206 - 98. Is o a multiple of 21?
False
Let o(d) = -2*d**2 - 2*d - 2. Suppose -z = -0*z + 4, -2*u = 5*z + 24. Let c be o(u). Let i = 8 - c. Is i a multiple of 14?
True
Suppose -75 = 5*l - 10*l. Let u = -3 + l. Does 7 divide u?
False
Is (-560)/6*(-138)/115 a multiple of 9?
False
Let f = 51 - 29. Let a(k) = k - 4. Let j be a(6). Let b = f - j. Does 8 divide b?
False
Let s = -21 - -38. Is 7 a factor of s?
False
Suppose -3*r + 35 = m + r, -4*m + 5*r + 245 = 0. Is 10 a factor of m?
False
Let v = 10 - -10. Does 19 divide v?
False
Let n(c) = c + 46. Is 13 a factor of n(-19)?
False
Let g be ((-12)/(-10))/(6/20). Suppose -2*b + 27 = -5*w - 14, g*w = 2*b - 36. Let t = b - -1. Does 9 divide t?
True
Let s(z) = -2*z + 1. Let u be s(-1). Let j(x) = 5*x**2 + 4*x + 10. Let v(c) = -4*c**2 - 4*c - 9. Let r(k) = -5*j(k) - 6*v(k). Is 5 a factor of r(u)?
False
Let y be 80/((2 - 2) + 1). Suppose 2*m - 3*g - 64 = -2*m, -5*m - g + y = 0. Is m a multiple of 16?
True
Suppose 0*o + 48 = 2*o. Does 13 divide o?
False
Suppose 20 = 3*g + 2*g. Suppose -l - g*l = -135. Is 9 a factor of l?
True
Let f(o) = o**3 + 6*o**2 + 5*o + 3. Let w be f(-5). Suppose -w*d + 6 = -0. Does 6 divide d/2 - 2 - -16?
False
Suppose -33*q + 30*q + 120 = 0. Is q a multiple of 8?
True
Suppose -4*l + 2*z - 14 = 7*z, 0 = 4*l - 5*z - 6. Let m be (1 - l)*2/4. Let t = m - -8. Does 9 divide t?
True
Let d(n) = 2*n - 3. Let t = -34 + -3. Let p be t/(-5) + (-3)/(-5). Is 11 a factor of d(p)?
False
Let z(o) = 3*o - 3*o - 3*o. Is z(-4) a multiple of 12?
True
Let c(i) = -5*i - 8. Let k(u) = 11*u + 17. Let d(q) = -7*c(q) - 3*k(q). Is d(5) a multiple of 5?
True
Let o be (-2)/(-11) + 31/11. Suppose 0 = 3*k - o - 129. Is k a multiple of 22?
True
Let j be (-380)/(-6) + (-12)/36. Let u = -6 + 10. Suppose 7*y - j = u*y. Is y a multiple of 10?
False
Suppose 1 = -c + 5, 0 = -3*p + 4*c - 88. Let b = -6 + 3. Is 14 a factor of (14/4)/(b/p)?
True
Let i(t) = -4*t + 2. Let g be i(-1). Suppose 4*n = 2*l + 28, 3*l = 4*n + g*l - 28. Is n a multiple of 6?
False
Is (0 - (-109 - -1)) + -4 + 2 a multiple of 4?
False
Let o(z) = 11*z + 25. Is 13 a factor of o(6)?
True
Let k(j) be the third derivative of 0*j + 2*j**2 + 1/3*j**4 + 1/3*j**3 + 0 + 1/120*j**6 + 1/6*j**5. Is 9 a factor of k(-9)?
False
Suppose -3*o - 224 = -7*o - 5*t, -3*o + 168 = 2*t. Does 14 divide o?
True
Suppose -4*a = 5*d - 18, 3*d - 2*a - 10 = -4*a. Suppose -55 = -d*n + 67. Is n a multiple of 17?
False
Suppose 0*b + 2*b - 170 = -c, -3*b - 3*c + 261 = 0. Is b a multiple of 23?
False
Let m(y) = 26*y + 4. Let n be m(3). Suppose -2*h = -3*t + n, -2*t = -3*h - t - 123. Let a = 63 + h. Is a a multiple of 9?
False
Let u(z) = -z + 5. Let t be u(5). Suppose -2*q + 14 = -3*p, -2*q - 2*p + 24 = -t*q. Is 5 a factor of q?
True
Suppose -3*k = -r + 84, 4*r = -3*k - 54 + 345. Is r a multiple of 16?
False
Let w(z) = 9*z**2 - z. Suppose 3*o - 6 = o. Let v = 2 - o. Does 6 divide w(v)?
False
Let i = -142 + 273. Does 29 divide i?
False
Let k(u) = -u + 3. Let l be 1 + (24/(-2))/2. Does 6 divide k(l)?
False
Let k(f) = 11 + f - f + f. Let j be k(-5). Is (4/j)/(1/12) a multiple of 8?
True
Suppose 9 = 4*s - s. Suppose 2*g = s*q - 47, 13 + 7 = -5*g. Is 13 a factor of q?
True
Suppose -3*k + 492 = -1263. Let s be k/4 - (-1)/(-4). Suppose j = -4*p + 25, p + s = -0*j + 5*j. Is 17 a factor of j?
False
Suppose 0 = -4*t + 5*o + 10, -6 = -2*t + 3*t + 3*o. Suppose 3*y - 7*y + 188 = t. Let v = y - 31. Is 7 a factor of v?
False
Suppose -3*p + 2 = -p. Let z be 1 - (0 - p) - -3. Suppose -4*m + 102 = 5*b, 124 = 3*m - z*b + 30. Does 10 divide m?
False
Let g = 83 + -3. Is g a multiple of 10?
True
Suppose 42 + 0 = 2*x. Let n = x + -54. Let p = n - -46. Does 13 divide p?
True
Suppose -k - 4*j = -40, 5*k - 156 = j + j. Does 16 divide k?
True
Let v = 7 - 15. Let x = -2 - v. Is x a multiple of 3?
True
Let k(f) = 4*f**2 + f - 1. Let v be k(1). Let s be 2/4*(v + 2). Suppose i - 4*r = -s*r + 47, -5*i = 5*r - 185. Is 14 a factor of i?
True
Let u(x) = -x - 3. Let o be u(-7). Suppose 0*r - 31 = 3*r + o*t, 5*r + 4*t + 41 = 0. Let a(p) = p**3 + 7*p**2 + 7*p + 3. Does 9 divide a(r)?
True
Suppose 0 = z - 5*j - 30, -4*z + 2*j = -j - 120. Is 5 a factor of z?
True
Let h = 11 + -2. Does 4 divide h?
False
Suppose -3*v + 5*v = 0, l + 9 = -v. Is (-26)/(-3) + (-3)/l a multiple of 2?
False
Suppose -299 = -4*m + 53. Is 11 a factor of m?
True
Let j(w) = -w**3 - 6*w**2 + 5*w - 2. Let d be j(-4). Let n(m) = -m + 12. Let q be n(11). Does 17 divide -1 - 1 - (d + q)?
True
Is (1/(-2))/((-2)/36) a multiple of 4?
False
Let c = 148 - 91. Does 15 divide c?
False
Let o = -86 - -173. Suppose l - o = -4*l + 2*t, 0 = t + 1. Is l a multiple of 17?
True
Is 24 a factor of 1568/21 + (-1)/(-3)?
False
Let p be (-1 - (-28)/8)*2. Suppose 0 = -4*o - p*x + 230, 5*o - 2*x - 302 = -x. Does 30 divide o?
True
Let r(j) = -3*j + 1. Let t be r(-5). Suppose -4*y + t + 8 = 0. Is y a multiple of 2?
True
Suppose -2*w = -g - 3*w + 3, -g - 5*w = -7. Suppose -5*k = m - 38, g*m - 46 - 4 = 3*k. Is m a multiple of 11?
False
Let o = -55 + 187. Is 19 a factor of o?
False
Let h(b) = 2*b**3 + 18*b**2 + 14*b - 8. Does 18 divide h(-7)?
True
Is -2 - ((-4)/(-6) + 940/(-15)) a multiple of 10?
True
Suppose -3 = -4*q + 5. Suppose -4*s + 28 = 4*f, q*s = 5*s. Does 7 divide f?
True
Let g(y) = -4*y**3 - 4*y**2 - 4*y - 5. Suppose -l - 5*c = 8, -3*l + 5*c - 3 - 1 = 0. Is 21 a factor of g(l)?
False
Let f(c) = 25*c**2 + c. Does 14 divide f(-2)?
True
Let b = 62 - -103. Is 8 a factor of b?
False
Suppose 2*n = -0*n. Let t(f) be the third derivative of -f**4/24 + 37*f**3/6 + 5*f**2. Does 15 divide t(n)?
False
Let o(n) be the third derivative of -n**6/120 - n**4/24 + n**3/3 - n**2. Let d be o(0). Does 9 divide (18/(-5))/(d/(-5))?
True
Let a be (-2)/(-9) + (-102)/(-27). Suppose a*q + 2*v = 140, -2*v - 157 = -3*q - 2*q. Suppose 3*p = -d - 2*d + q, 0 = -d - 2*p + 15. Does 7 divide d?
True
Let o(v) = -3*v + 1. Let u be o(-1). Let f be (-692)/(-5) - u/10. Suppose 42 = 4*x - f. Does 20 divide x?
False
Suppose 3*l + 4*h + 88 = 320, h + 257 = 3*l. Is l a multiple of 12?
True
Let b(d) = -5*d + 4. Let f(a) = -11*a + 7. Let o(p) = 5*b(p) - 2*f(p). Is 8 a factor of o(-4)?
False
Let g = -13 - -22. Let d = 10 + g. Does 6 divide d?
False
Let n(d) be