 Let h = -3 + o. Suppose h = 2*t - 3*t + 30. Is t a multiple of 11?
False
Let w = 2 - -2. Suppose -16 = w*m - 72. Suppose -m = -4*f + 82. Is f a multiple of 9?
False
Let f = 55 - 2. Let c = -38 + f. Suppose 0 = 2*i + i - c. Is i a multiple of 5?
True
Is (-261)/6*(-6)/9 - 0 a multiple of 14?
False
Suppose 0 = 3*n - 3, 2*z + 0*z - 10 = 2*n. Let b be (-1)/4 - (-185)/4. Suppose 2*c = b - z. Is c a multiple of 7?
False
Let u(c) = -2*c - 2. Let y be u(-1). Suppose -2*z - 2 = -0, o + 4*z - 7 = y. Is 10 a factor of o?
False
Does 3 divide (0/(-1) + 4/6)*6?
False
Let m = 13 + -7. Let r be (0*2/m)/(-1). Suppose 0*v + 3*v - 48 = r. Is 8 a factor of v?
True
Suppose i = 3*i - 2. Let u = i - -1. Does 6 divide (22/(-8))/(u/(-8))?
False
Let s(l) be the third derivative of l**4/8 - 5*l**3/3 + 2*l**2. Does 23 divide s(11)?
True
Suppose 0 = -5*k + 4*k + 5. Suppose k*w - 105 = 125. Does 12 divide w?
False
Let z = 25 - 15. Is z a multiple of 5?
True
Is 8 a factor of 2/(-4)*(-96)/(2/1)?
True
Suppose -186 = -3*j - 51. Let u = -25 + j. Is u a multiple of 6?
False
Let k = 1 - -8. Let j(t) = 2*t + 10. Is 14 a factor of j(k)?
True
Let g = -62 - -89. Is g a multiple of 9?
True
Let m = 4 + -4. Let s = 30 - m. Suppose -c + 9 = -0*a + a, 0 = 4*c + a - s. Is 7 a factor of c?
True
Suppose -3*p + 16 = 4*c, p + 0*c - 4 = -2*c. Is (-276)/(-7) + p/14 a multiple of 8?
True
Suppose 0 = -8*t + 7*t + 4. Suppose -5*u + 25 = 3*n, 3*u - 28 = -t*n + 20. Does 5 divide n?
True
Let m(g) be the second derivative of -g**5/10 - g**3/2 - g**2 + g. Let w = -7 + 5. Does 20 divide m(w)?
True
Suppose -s + 5*i - 4 = 0, -i + 19 + 13 = 5*s. Suppose s = 2*h - 18. Is h a multiple of 6?
True
Suppose -3*a = 2*a + 5, 0 = 2*l + 4*a - 548. Does 12 divide l?
True
Let b be 12/(2 - 3/2). Suppose -i = 3*i - b. Does 3 divide i?
True
Let c(h) = h**2 + 3*h + 8. Suppose -3*u - 41 = 5*f, -4*f + 3*u + 2*u - 18 = 0. Does 12 divide c(f)?
True
Let c be (-1924)/(-6) + 10/(-15). Suppose -5*g - 76 = -b, -c = -4*b - b - 5*g. Is 33 a factor of b?
True
Let o(f) = -f**2 + 5*f. Let w be o(4). Suppose -4*p = -2*l - 0*p + 198, -5*l + 507 = -w*p. Is l a multiple of 21?
False
Suppose 7*i - 116 = 24. Is 10 a factor of i?
True
Suppose -29 = -3*k - 4*u, -2*k - 4*u = 2*k - 32. Is k a multiple of 2?
False
Suppose 0 = -0*v + 5*v + 2*b - 21, 4*v - 4*b = 28. Suppose -5*n - 141 = -3*z - n, -5*z + v*n + 230 = 0. Is z a multiple of 11?
False
Suppose -19*n + 3451 = -2*n. Is n a multiple of 26?
False
Let d(q) = -3*q + 4. Let j(f) = f + 1. Let x be (-38)/9 + (-8)/(-36). Let s be j(x). Is 13 a factor of d(s)?
True
Suppose 0 = -4*b + m + 283, -m = -4*b + 2*m + 289. Is 14 a factor of b?
True
Suppose f + 73 = -0*f - 2*q, q + 224 = -3*f. Let z = -30 - f. Does 13 divide z?
False
Suppose -2*t - 279 = -x, 4*t + 0*t + 1419 = 5*x. Suppose -4*l = 3*j - x, -j + 103 = -l + 6*l. Suppose -85 = -4*o - o - 5*p, 5*o - 3*p = j. Is 12 a factor of o?
False
Let m = 3 + 1. Suppose m*t - t - 48 = 0. Is t a multiple of 8?
True
Let w(g) = 7*g - 4. Let c(z) = -5*z**2 + 10*z - 4. Let d(y) = -3*y**2 + 7*y - 3. Let k(a) = -5*c(a) + 7*d(a). Let p be k(-1). Does 21 divide w(p)?
False
Suppose -3*d - 2*i - 52 + 174 = 0, d + 3*i = 29. Does 18 divide d?
False
Let t(k) be the first derivative of -k**3/3 + k**2/2 + 11*k - 2. Let s be t(0). Suppose -x + 4 = -s. Is 10 a factor of x?
False
Let p(j) = -24*j. Is p(-1) a multiple of 5?
False
Suppose 0 = -2*u + 5*d + 93, -85 = -3*u + u - 3*d. Is 11 a factor of u?
True
Let i be 0 + (-2)/(-1)*-12. Let g be (575/(-30))/5 + (-1)/6. Let u = g - i. Is 10 a factor of u?
True
Suppose -175 = -12*q + 7*q. Does 5 divide q?
True
Let p be -1 - (-6)/((-12)/4). Let z = 2 - p. Does 3 divide z?
False
Let y = -17 + 87. Is y a multiple of 29?
False
Let i be (-93)/4*(0 - 8). Suppose 5*n - i = 84. Does 20 divide n?
False
Let j be (-1)/(-2 + (-28)/(-12)). Let w(y) = 2*y**2 + y - 4. Is 11 a factor of w(j)?
True
Let y(z) = 7*z**2 - 8*z + 4. Let d be y(5). Let j = d + -97. Is j a multiple of 14?
True
Does 33 divide 6/3 - -96 - -1?
True
Let p(k) = 2*k**3 + 2*k**2 + 3*k + 13. Let z(s) = 2*s**3 + 3*s**2 + 4*s + 12. Let d(n) = 3*p(n) - 4*z(n). Does 20 divide d(-4)?
False
Suppose -30 = -5*k - 5*a, a - 5*a = -3*k + 39. Is 3 a factor of k?
True
Suppose 5*o - 9 - 4 = 3*x, 5*x - 4*o + 26 = 0. Let t = -7 - x. Is 10 a factor of -1 + t + 1 + 19?
False
Let h = 250 + -44. Does 8 divide h?
False
Let p = 5 + 0. Suppose t = p*t - 168. Is t a multiple of 15?
False
Suppose -i + m + 35 = i, -3*i - 5*m + 20 = 0. Does 5 divide i?
True
Suppose 4*t + 20 = 0, 4*i - 2*i + 19 = -t. Is 15 a factor of (-159)/i - 4/(-14)?
False
Suppose 2*l - 7*l + 20 = 0. Suppose 36 = 3*b - 5*a + 13, l*a = 3*b - 19. Is b/(-3) - (-340)/12 a multiple of 14?
True
Let k be ((4 - 1) + 0)*1. Suppose -3*v + 6 = 2*p - 5, p + 8 = k*v. Suppose -14 = -v*j + 31. Is j a multiple of 5?
True
Suppose 4*b + b = 0. Suppose j - w - 12 = 0, 3*j + b*w - w = 40. Is 10 a factor of j?
False
Let l be (-2)/(-3) - (-28)/12. Suppose o - 23 = -5*c, 4*o - l*o = c + 11. Does 7 divide o?
False
Let z = 6 + -6. Suppose z = -2*t - 0*g + g + 7, 0 = -t - 2*g + 16. Suppose -3*k - t = -66. Is 10 a factor of k?
True
Let q(i) = i**3 - i**2 - 2*i + 3. Let j be q(2). Let u(l) = 3*l + 7. Let w be u(5). Suppose o + w = j*o. Is 11 a factor of o?
True
Suppose -t + 0*t - 2 = -w, 0 = 5*w - 25. Suppose 0 = -t*a - 24. Let y(b) = b**3 + 8*b**2 - 2*b - 6. Does 7 divide y(a)?
False
Let k = 140 - 62. Is k a multiple of 19?
False
Is -3 + (-8)/(-1)*4 a multiple of 7?
False
Suppose -21 + 1 = 2*i + 2*q, -3*q = 12. Let s be 3/9 - 148/i. Suppose s = 4*m + m. Is 2 a factor of m?
False
Suppose -2*m + 10 = c, -2 = -3*c + 5*m - 5. Let n(j) = j - 9. Let t be n(c). Does 10 divide (t/(-3))/(3/18)?
True
Let y(n) = -2*n**2 - 3*n + 2. Let w be y(2). Is (w/18)/(4/(-366)) a multiple of 18?
False
Suppose 0 = 4*t - j - 19, 3*t - 3*j + j = 8. Is t/(-4) - (-31)/2 a multiple of 7?
True
Let c = -1 + 1. Suppose c*v - 76 = -2*v. Let n = v - 23. Is 15 a factor of n?
True
Suppose 0 = -3*h + 79 + 221. Let z = h - 56. Does 11 divide z?
True
Suppose -4*f - 2*y = -104, -f - f = 3*y - 60. Is 24 a factor of 2/(-16) - (-579)/f?
True
Let v be 0 + 3 - (-3 - -2). Suppose 3*l - 74 = l + v*k, -3*l = -2*k - 91. Does 9 divide l?
True
Let s(h) = -h**3 + 14*h**2 - 15*h + 16. Let g be s(13). Let r = -7 - g. Is 3 a factor of r?
True
Suppose 2*u = 5*h - 421, 7*u - 2*u - 234 = -3*h. Let d = -47 + h. Does 18 divide d?
True
Let h be (-1*2)/(13/(-754)). Suppose -2*q + 5 = -3*q, 3*x = 4*q + h. Does 8 divide x?
True
Let a(z) = -z**3 + 6*z**2 - 5*z + 1. Let o be a(4). Let x = o - 8. Suppose 3*y + x*k = 4*y - 30, 5*y - 84 = 3*k. Is 5 a factor of y?
True
Let o = -38 - -55. Is 5 a factor of o?
False
Suppose -2 + 32 = -3*i. Let a = -1 - 4. Let c = a - i. Does 5 divide c?
True
Let s = 2 + 1. Suppose -3*v + 9 = s. Is 13 a factor of ((-13)/v)/(2/(-8))?
True
Suppose c + 2 = -5*p, -p + 18 = 2*c - 2*p. Is c a multiple of 4?
True
Is 5 a factor of 1/((-3)/(-15) - 0)?
True
Suppose 7*m = 10*m - 528. Is 44 a factor of m?
True
Suppose i - 83 = -2*h, -170 = -2*i - 2*h - 3*h. Is i a multiple of 15?
True
Is (-6300)/(-44) + 2/(-11) a multiple of 13?
True
Let m(i) = i**2 - 3*i - 4. Is m(-5) a multiple of 12?
True
Let c = 44 + -73. Let t = 59 + c. Is t a multiple of 6?
True
Let q(j) = 6*j**3 - 2*j**2 + j - 2. Let h = 40 + -24. Suppose 3*p - 3*g - h = p, -4*p = -g - 12. Is 22 a factor of q(p)?
False
Suppose s = 2*v + 4*s - 49, v = 4*s + 8. Is 20 a factor of v?
True
Suppose -3*r + 11 = -5*r + 5*v, -2*v = 4*r + 34. Let t(y) = -y**3 - 8*y**2 - 9*y - 12. Is t(r) a multiple of 15?
True
Let m be 1/((-1)/(-1 + -2)). Suppose g + m*u = -1, u + 0*u + 26 = 2*g. Is 7 a factor of g?
False
Is 11 - 7 - 8*-1 a multiple of 3?
True
Let l(s) = -s**3 - 4*s**2 - s + 2. Let k be l(-3). Is 10 a factor of -3 - -6 - -3 - k?
True
Suppose -5 = -i - 13. Let k = i + 5. Does 11 divide 3*7 + (-2 - k)?
True
Let q(n) = -1 - 6*n - 5 + 0. Is 18 a factor of q(-7)?
True
Let v = 17 - 23. Is 16 a factor of 20/15 + (-184)/v?
True
Let n(w) = -32*w + 3. Let j be n(-2). Let i = j + -45. Is 18 a factor of i?
False
Suppose 4*o = 3*o. Suppose -2*t + 8 = -o*t. Suppose -3*s + 219 = t*l, 4*l + 5*s = 43 + 170. Is l a multiple of 21?
False
Let r(n) = -n**3 - 2*n**2 + 3*n + 3. Let x be r