multiple of 8?
True
Suppose -2*c + 4*n - 16 = -0*n, 2*n - 6 = 2*c. Let g(a) = -a**2 - 10*a + 4. Let j be g(-10). Suppose -c*s + j*s - 36 = 0. Is s a multiple of 18?
True
Let d be (6 - 0)*3/2. Suppose -d + 1 = -f. Does 8 divide f?
True
Let q be 0 - (0/(-2) - 5). Is 11 a factor of 156/q + 6/(-30)?
False
Let q be (-18)/(-2 + (-3 - -3)). Suppose q = 4*h - 3. Is 3 a factor of h?
True
Let t(x) be the first derivative of x**3/3 + x**2 + 2*x + 1. Is t(-2) a multiple of 2?
True
Suppose 126 = 4*w - 450. Does 36 divide w?
True
Suppose 0 = -2*z - 0*z. Suppose z = -5*m - 10 + 45. Does 7 divide m?
True
Let a(b) = -3*b**3 - 2*b**2 - 4*b - 2. Let z be a(-3). Suppose -h + 3*d = -11, 4*h - d - 26 = z. Does 10 divide h?
False
Suppose 5*f = -5*v + 155, 4*f - 7*v = -3*v + 100. Is f a multiple of 5?
False
Let c = 521 - 341. Suppose -4*b + c = -3*y, -5*b + 5*y + 225 = 2*y. Does 15 divide b?
True
Let o be 2/5*(-2 + -3). Does 13 divide o/(2/(-100)*2)?
False
Suppose 2*k - 5*w - 11 = -2*w, k + 4*w + 11 = 0. Let c = k - 1. Suppose -n - n + 82 = c. Is n a multiple of 16?
False
Suppose -20 = -4*w + 6*h - 2*h, -3*h - 15 = 0. Let t = 4 + w. Suppose 2 = -t*y + 18. Is y even?
True
Suppose 0 = 2*y - 6*y + 72. Is 6 a factor of y?
True
Suppose 2*m - 30 - 30 = 0. Suppose 3*h = j - 2, -3*h - 2*h + 2*j - 5 = 0. Is m/9*(h + 2) a multiple of 10?
True
Let n(t) = -2*t**3 - t**2 - t. Let d(v) = -v**3 + 3*v**2 + v + 3. Let r be d(3). Let k be (r/9)/((-4)/6). Does 2 divide n(k)?
True
Suppose l + 4*l - 20 = -5*x, 10 = 5*l. Suppose c - 3 = v - 56, 2*v - 111 = 3*c. Suppose x*i + 2*i = v. Does 12 divide i?
True
Let l(w) = -w**3 + 4*w**2 + 3*w - 1. Let k be l(3). Let r = k + 33. Does 11 divide r?
False
Suppose -9 = -i - 5*s, i - 5*s - 107 = -2*i. Is 29 a factor of i?
True
Let h(k) be the third derivative of -k**5/60 - k**4/4 + k**3/6 + 3*k**2. Does 5 divide h(-3)?
True
Suppose -16*d + 28 + 1252 = 0. Is 11 a factor of d?
False
Suppose 5 = -t, -3*n - 2*t - 42 = 13. Let u be ((-4)/8)/(2/(-156)). Let b = n + u. Does 14 divide b?
False
Let a(o) = -2 - o**3 - 2*o**2 - 3*o**2 + 5*o + 2*o**3 + o. Is 14 a factor of a(5)?
True
Let u = 44 - -1. Suppose 5*p + u = 250. Is p a multiple of 12?
False
Suppose 0 = 3*i - i + 12. Let w be (-3)/(-2)*(-20)/i. Suppose -5*q - p = -64, 0*q - 2*p + 68 = w*q. Does 6 divide q?
True
Suppose -7*p = -2 - 103. Is p even?
False
Is -1 + (-2)/(-1)*(11 - -52) a multiple of 25?
True
Let k = 193 - 123. Is 10 a factor of k?
True
Let b be 2/(-1*(-2 + 1)). Let t(f) = 4*f**2 + 1. Is t(b) a multiple of 17?
True
Suppose z - 4*z = 0. Suppose -2*w - 6 = -z*w. Is 3 a factor of w/(-6) - (-9)/2?
False
Suppose k - 23 = -j, -3*j = -8*k + 3*k + 107. Is k a multiple of 11?
True
Let k(s) = 9*s**2 + 2*s + 3. Let b be k(-2). Suppose -2*a = -5 - b. Is a a multiple of 14?
False
Suppose t + 3 + 0 = 0. Let p be 262/10 + t/15. Is (p/(-8))/((-1)/8) a multiple of 12?
False
Suppose 12 = -2*i + 5*i. Suppose 2*l = 6*l + i, 3*q = 4*l + 46. Suppose 0 = -h - h + q. Does 3 divide h?
False
Suppose 136 = v - 0*j + 4*j, -5*j + 740 = 5*v. Is 19 a factor of v?
True
Does 3 divide 7 + 24 - (-1 + -1)?
True
Suppose -15 = -z - 2*z. Is 16 a factor of (-8)/(1 - z/4)?
True
Let t(m) = -42*m - 2. Let c be t(-3). Suppose -6*a + c = 16. Does 6 divide a?
True
Let h(f) = 2 + 7*f - 17*f - 10*f. Is h(-3) a multiple of 31?
True
Let q be (15/30)/((-1)/(-216)). Let l = q - 65. Does 11 divide l?
False
Let f = 5 - 3. Let r = 11 - 8. Suppose d = -q + r - f, 5*q + d - 25 = 0. Does 6 divide q?
True
Let d = -8 + 11. Suppose 4*m = -3*x + 32, -2*m - d*x + 18 = -x. Let l = m - -5. Is 4 a factor of l?
False
Let o(b) be the second derivative of b**4/6 - b**2 + 2*b. Is o(-2) a multiple of 6?
True
Suppose 3*f = -2*f + 125. Let o = 8 + -4. Suppose v = -1, -v = -4*h - o*v + f. Is 6 a factor of h?
False
Suppose 0 = 12*h - 9*h - 36. Does 9 divide h?
False
Let h(n) = n**2 - 3*n - 1. Is h(8) a multiple of 13?
True
Suppose 0 = 2*s - 4*s - 4. Does 3 divide (s - 3)*-1 + 1?
True
Let j = 33 + 146. Let n = j + -116. Let x = n + -33. Does 15 divide x?
True
Let x be (-1)/((-3)/(-4 + 7)). Is 125/x + 0 - 3 a multiple of 31?
False
Let y(l) = 3*l - 4. Let f be (-3)/2*(-4)/(-3). Let g be (1/(-2) - 2)*f. Is 5 a factor of y(g)?
False
Let f = 51 + -6. Suppose f = a + 2*a. Suppose 3*u + 3*s - a = 0, -s + 6 = u + s. Is u even?
True
Let w(v) = 4*v - 9. Let s be w(4). Is 7 a factor of (s/(-4))/(2/(-32))?
True
Does 12 divide 25/2 - (-1)/(-2)?
True
Let a = -313 - -439. Is a a multiple of 14?
True
Let g = 10 - 15. Let k be (-1)/(1/7) + 2. Is 19 a factor of 1 - k/(g/(-22))?
False
Let a = 11 + -6. Suppose -a*z = 2*p - 256, 0 = -2*z + 5*p - 0*p + 114. Does 13 divide z?
True
Let n be -2*(1 + (-1 - 1)). Suppose -4*b + n*z + 16 = -0*z, 4*z = 5*b - 23. Suppose -j = b - 15. Does 5 divide j?
False
Suppose -3*r + 4*r - 4 = 0. Let i(h) = h**3 - 11*h**2 + 13*h + 4. Let o be i(9). Is 12 a factor of o/(-2) + 6/r?
False
Suppose 3*m = c + 145, -5*m - 5*c = -138 - 137. Is 28 a factor of m?
False
Let g(f) = -f**3 - f**2 + 2. Let t(h) = -3*h**3 - 3*h**2 + h + 5. Let a(q) = -8*g(q) + 3*t(q). Does 4 divide a(-3)?
True
Suppose -4*j = -5*l + 352, -4*l + 5*j + 369 = 91. Does 24 divide l?
True
Let a = 4 + -4. Let s = a + 6. Does 5 divide s?
False
Suppose -5*f + 380 = 5*c - 80, 276 = 3*f - c. Is 23 a factor of f?
True
Let z = -130 + 201. Does 13 divide z?
False
Let n be 5*1/(5/6). Is 30 a factor of (-43 + n)*(-1 + -2)?
False
Let r = -19 + 24. Does 5 divide r?
True
Suppose 8*t - 5*t = 93. Does 20 divide t?
False
Suppose 10 + 30 = 2*y. Does 11 divide y?
False
Suppose 0 = -2*n - 5*r - 17, 4*n - 3*n - 9 = r. Suppose -3*v - 3*g + 17 = -n, v - 11 = 3*g. Let b(u) = -u**3 + 7*u**2 + 11*u. Does 11 divide b(v)?
False
Let z be -4*(0 + (2 - 3)). Suppose 0 = 3*b - b + 10, z*v - 4*b = 48. Is 7 a factor of v?
True
Suppose -4*t = -5*z + 158 + 33, -167 = -5*z - 2*t. Is z a multiple of 5?
True
Suppose -166 + 30 = -4*b. Let g = b - 11. Suppose -25 = -4*y + g. Is y a multiple of 12?
True
Let j(q) = 2*q - 6. Let v be j(-10). Let z = v - -64. Is z a multiple of 24?
False
Let p be (-48)/9*(-9)/4. Does 5 divide ((-15)/2)/((-9)/p)?
True
Suppose 108 = 2*t + 4*a, 4*a + 66 = 2*t - 42. Let q be (0 - (-27)/3)*2. Suppose 3*f - t = -q. Is f a multiple of 10?
False
Suppose -3*j - 1 = -5*a - 14, 5*a = -25. Let h(l) = -l**2 - 5*l - 2. Let f be h(j). Suppose -f*v - 3*v + 50 = 0. Does 3 divide v?
False
Let s(u) = -35*u - 20. Is 18 a factor of s(-4)?
False
Let g(h) = h**2 - 2*h + 1. Let o be g(3). Suppose 2*l - 3*k - 4 = 0, 4*k - 34 = -4*l - 6. Suppose -33 = o*s - l*s. Is 11 a factor of s?
True
Let s = 46 - 12. Is 13 a factor of s?
False
Suppose 4*b = 50 - 18. Does 2 divide b?
True
Is (-11 - 0)/(1/(-4)) a multiple of 11?
True
Let z(p) = 7*p**2 - 2*p + 4. Let b(o) = o**2 - o. Let i(w) = 6*b(w) - z(w). Let l be i(-8). Let u = l - -51. Is 5 a factor of u?
True
Let x = 94 - 34. Does 12 divide x?
True
Let k = -5 - -12. Let v(a) = a**2 + 13*a + 8. Let o be v(-13). Is 11 a factor of (-18)/(-1) + (k - o)?
False
Let t(r) = -4 - 10*r + 10*r + r**2 + 2*r. Is 2 a factor of t(-4)?
True
Let u be 8/(-6)*12/(-8). Suppose 0*t + 3*t = 5*l + 92, 3*l = -5*t + 142. Suppose 3*v - t = u*v. Does 10 divide v?
False
Is 33 a factor of (-8)/20 + (-662)/(-5)?
True
Let g be -4*((-17)/4 - -3). Suppose -l - 9 + 69 = 5*s, 3*s - g*l - 64 = 0. Is 5 a factor of s?
False
Is 24 a factor of 2/5 - (-238)/5?
True
Suppose 0 = 3*u - 8 - 4. Suppose -u*i + 20 = -20. Let r = i + 0. Is r a multiple of 5?
True
Suppose 0 = -5*s - 4*p + 271, 6*s - 2*s + 4*p - 220 = 0. Does 15 divide s?
False
Suppose 2 = -5*b - 3. Let j = -3 + b. Let f = 6 + j. Does 2 divide f?
True
Suppose 5*x - 7*x = -256. Is 32 a factor of x?
True
Suppose 0 = -5*i + 45 + 15. Is 7 a factor of i + -2*(2 - 1)?
False
Let n(f) = 4*f**2 - f + 1. Let g be n(-3). Suppose g = j + 4*j. Is 8 a factor of j?
True
Let b(w) = -44*w - 2. Let z be (1 - 3)*(-1)/(-2). Is b(z) a multiple of 28?
False
Let m = 12 - 6. Let k = -29 + 29. Let b = m + k. Is 3 a factor of b?
True
Is (12/4 - 4) + 57 a multiple of 14?
True
Let n(d) = -d**3 - 8*d**2 - 7*d - 2. Let p be n(-7). Is (10/(-15))/(p/42) a multiple of 6?
False
Let x be (-1)/((-3)/9) - 1. Suppose 4*t = o + 23, 5*t - 60 = -3*o - x*o. Does 5 divide 2*(-3 + 2 + t)?
False
Suppose -11*p + 16 