 - -14*(1 - 0)?
False
Let z = 8 - -7. Suppose -o - 4*o = z. Does 5 divide o + 13 + -2 + 4?
False
Let o(t) = t**2 + 4*t + 3. Let s be o(-3). Let m(p) = s*p**2 + p**2 + 9 + 7*p - 4*p + 2*p. Is 15 a factor of m(-6)?
True
Suppose -h = -5*h + 192. Is 16 a factor of h?
True
Let m(a) = a**3 - 4*a**2 - 3*a - 7. Is 17 a factor of m(7)?
True
Let m = 13 + 63. Is 19 a factor of m?
True
Suppose -u + 4*q = 2*u - 4, -4*q - 4 = -2*u. Let f(n) = -n - 2. Let a be f(u). Let w = 4 - a. Is w a multiple of 4?
False
Let q(w) = -w**3 - 10*w**2 + 10*w - 15. Suppose -3*b - 12 = 21. Let s be q(b). Does 12 divide (-274)/(-18) + s/18?
False
Suppose -4*p - 1 = -9, -3*z - 2*p = -589. Suppose -5*n + 0*n + z = 0. Is n a multiple of 17?
False
Is 2 a factor of ((-102 - -2)/4)/(-1)?
False
Does 12 divide (-2)/7 - (-4)/14 - -142?
False
Let z = 111 + -75. Is 6 a factor of z?
True
Let l(z) = 4*z + 3. Let p be l(7). Suppose 3*y - p = 35. Is y a multiple of 6?
False
Let g(c) = 2*c - 2. Let d be g(2). Suppose -d*a - 10 = -b, -3*a + 63 = 3*b + 2*a. Does 8 divide b?
True
Suppose 5*o - o = 8. Suppose o*g - 10 = -5*y - 0*g, -5*y + 35 = -3*g. Suppose -2*s + y*i = -52, -i - 139 = -5*s - 0*i. Is 8 a factor of s?
False
Suppose -4*h = -h + 4*t - 2, -2*h - 5*t + 6 = 0. Let c be -29*(h + (2 - -1)). Let o = 54 + c. Is 10 a factor of o?
False
Suppose 0 = -5*j - 5*c - 65, -j - 4*j - 38 = -4*c. Let z = -36 + 52. Let u = z - j. Is 13 a factor of u?
True
Suppose -169 = -4*n + 71. Does 12 divide n?
True
Let n = -12 - -6. Let h(m) = -3*m - 6. Let o be h(n). Is 4 a factor of (8/3)/(4/o)?
True
Let d be 6/9 + 156/9. Let y = 36 - d. Is 6 a factor of y?
True
Does 24 divide 3/((-2452)/616 + 4)?
False
Suppose 2 = -3*p + 65. Suppose t - 10 - p = 0. Suppose -5*j + 5*g = -j - t, 0 = -2*g - 6. Is j a multiple of 4?
True
Suppose -5*y = w + 6, -4*w - 14 = -5*w + 5*y. Suppose w*f - 3 - 113 = 0. Is f a multiple of 22?
False
Let r be 1 + (1*118 - 0). Let j(y) = -y**2 - 14*y - 2. Let t be j(-9). Suppose 0 = -3*g - h - t + r, 0 = 5*h - 20. Is 9 a factor of g?
False
Let j(o) = -o**3 + 6*o**2 - 4*o. Let d be j(5). Let c = -21 - -69. Suppose 20 = -4*w + d*w + 3*q, -c = -5*w - 2*q. Is w a multiple of 6?
False
Is 12 a factor of (-4)/10 - (-1098)/45?
True
Let s be (1/(-3))/((-1)/9). Let i be (s/(-1*3))/(-1). Does 3 divide (2/5)/(i/10)?
False
Let l(u) = 6*u**2 + 11*u + 3. Let i(o) be the third derivative of 7*o**5/60 + o**4/2 + 2*o**3/3 + 2*o**2. Let v(s) = -4*i(s) + 5*l(s). Is v(-5) a multiple of 7?
True
Let c = 5 + -3. Suppose -c*g + 16 = 2*g. Is g a multiple of 4?
True
Let n(z) = -z - 8. Let a be n(-8). Suppose -5*y + 3*p + 92 = a, -4*p + 5*p - 28 = -2*y. Is 8 a factor of y?
True
Suppose -4*w - 188 = -4*o, 3*w - 4 - 39 = -o. Is o even?
True
Let y = 62 - 36. Is 20 a factor of y?
False
Suppose 6*j - 8 = 2*j. Suppose 0 = 3*q + j*q - 20. Does 4 divide q?
True
Suppose 170 = 2*p + 3*p. Is 29 a factor of p?
False
Let k(y) = -y**2 - 3*y + 4. Let o be k(-4). Suppose -f - 2*f + 15 = o. Suppose 75 - 190 = -f*j. Is j a multiple of 6?
False
Let o be (-4)/(-18) + 310/(-18). Let l(k) = -k**3 - 8*k**2 - 9*k - 9. Let j be l(-6). Let m = o - j. Does 8 divide m?
False
Let r(f) = -f**2 + 20. Let l be r(0). Suppose 15*j = 6*j + 27. Suppose -j*a + y = -60, a - 2*y = -6*y + l. Is a a multiple of 10?
True
Let v = 5 - 5. Suppose -3*x + 36 + 12 = v. Does 8 divide x?
True
Let o(s) = 2*s**2 - s. Is o(8) a multiple of 30?
True
Is 112/(-5)*(5 + (-45)/2) a multiple of 15?
False
Let u = 25 + -7. Is 3 a factor of -1*4*u/(-8)?
True
Let v(f) = f - 13. Let b(q) = q - 14. Let l(m) = -3*b(m) + 2*v(m). Is l(8) a multiple of 4?
True
Let h(i) = i**2 - 2*i - 4. Let p be h(-4). Let u be (-2)/(-4*(-2)/p). Let n(a) = a**2 + 3*a + 7. Is 17 a factor of n(u)?
True
Let m(o) = -3*o**3 - o**2 - o - 3. Let k(g) = -4*g**3 - g**2 - g - 4. Let a(v) = -2*k(v) + 3*m(v). Is a(-4) a multiple of 17?
True
Let o(k) = -k**3 + 15*k**2 + 2*k - 4. Is 10 a factor of o(15)?
False
Let u be (4 + -2)/((-4)/14). Does 15 divide (-208)/(-7) + (-2)/u?
True
Let g be 0 + -3 + (0 - 2). Let c = g - -6. Let s = c + 10. Is 11 a factor of s?
True
Let b(z) = -21*z**3. Suppose 0 - 5 = 5*k. Does 7 divide b(k)?
True
Let n(m) be the third derivative of m**6/120 - m**5/10 - m**4/6 - m**3 - m**2. Let z = 13 + -6. Is 13 a factor of n(z)?
False
Let n(i) = -i**3 + 8*i**2 + 6*i - 3. Does 32 divide n(8)?
False
Suppose 5*q = 9 - 29, 3*h - 5*q - 80 = 0. Is 5 a factor of h?
True
Let n = 23 - 9. Does 5 divide n?
False
Suppose -2*g = 3*g. Suppose 2*y - 112 = -g*v - 2*v, 4*v - 110 = -2*y. Does 19 divide y/(2*(-9)/(-12))?
True
Let s = 11 - 7. Suppose -2*k + s*y + 2 = 0, y + 3*y + 16 = 0. Let j = -1 - k. Does 6 divide j?
True
Let i(s) = s**2 + 2*s - 3. Let b = -1 + 3. Does 3 divide i(b)?
False
Does 52 divide 1/((-392)/131 - -3)?
False
Let h be 17/4 + 5/(-20). Suppose 0*v - 6 = -v - h*x, 0 = -3*x - 3. Is v a multiple of 10?
True
Let a = 116 + 35. Is a a multiple of 27?
False
Let g(d) = -d + 12. Let p be g(5). Let v(x) = -2*x + 6. Let c be v(-5). Suppose -a + c = -p. Is 23 a factor of a?
True
Let t = -9 - -42. Is t a multiple of 4?
False
Suppose -l + r - 30 = 0, -2*l - r - 58 = -2*r. Let d = 7 - l. Does 12 divide d?
False
Let n = -7 - -4. Let p be ((-136)/6)/1*n. Suppose p + 40 = 4*q. Does 8 divide q?
False
Is 14 a factor of 126/((-5)/20 + 1)?
True
Let h be ((-3)/2)/((-1)/12). Let f be 1 + h/(3 + -1). Does 9 divide f/(-2)*(-36)/10?
True
Suppose 0 = 6*a - 2*a. Let p(n) = n**3 + n**2. Let t be p(a). Suppose -4*b - 5*j + 58 = 0, 5*b - 3*j - j - 93 = t. Does 9 divide b?
False
Let q = 1298 - 846. Does 13 divide (-4)/6 + q/12?
False
Suppose -6*d = -2398 + 652. Is d a multiple of 12?
False
Let h(m) = m + 8 - 7*m + 0*m + 5*m. Is 7 a factor of h(-6)?
True
Suppose 3*m + 139 = 7*b - 3*b, -3*b = 5*m + 280. Let n = -27 - m. Is 8 a factor of n?
False
Suppose 158 = 3*a + 20. Is 16 a factor of a?
False
Suppose -5*h - 40 = -3*h. Let t = 35 + h. Suppose -4*r + t = -r. Is 5 a factor of r?
True
Let u(d) = -d**3 - 6*d**2 + 5*d - 9. Let a be u(-7). Suppose -a*n + 106 = -3*n + 4*j, -3*j = 4*n - 202. Is n a multiple of 18?
False
Let g be 6/(-15) + (-4)/(-10). Suppose -3*f - 2*z + 15 = g, -5*f - 4*z + 10 = -3*f. Suppose 4*d = f*t - 0*d - 124, t - 29 = 5*d. Does 10 divide t?
False
Let h be 6/15 + 346/10. Let l = -23 + h. Is ((-8)/l)/(2/(-51)) a multiple of 17?
True
Let o = 32 + 37. Is 23 a factor of o?
True
Suppose 3*q = 2*q. Is 12 a factor of 1 - (-33 + (q - 0))?
False
Let o(g) be the second derivative of -g**3/3 - 5*g**2/2 + g. Is o(-7) a multiple of 9?
True
Let k = 96 + -78. Is k a multiple of 9?
True
Is 18*1/(-4)*(2 + -6) even?
True
Let y(b) = b**2 + 5*b - 9. Let a be y(-7). Does 2 divide a - -3 - (1 - -2)?
False
Let i(l) = -19*l**3 + l. Let p be i(1). Let a be 3/p + 1/6. Is 4 a factor of ((a - -2) + -10)/(-2)?
True
Let g be (1 - 1) + 56 + -3. Suppose -2*i - g + 171 = 0. Suppose -i = -5*l + 2*k - 5*k, -5*l + k = -47. Does 5 divide l?
True
Suppose -2*b + 88 = -2*d, -3*d + 19 = 2*b - 84. Is b a multiple of 14?
False
Suppose w = -0*w + 2. Suppose -5*h = -w*i + 3, i + 0 - 2 = 3*h. Is 9 a factor of (-85)/(-10)*(1 - h)?
False
Suppose -i - 3*p + 1333 = 4*i, i - 271 = -5*p. Is 19 a factor of i?
True
Is 5 + 10 + ((-4)/(-2) - 2) a multiple of 2?
False
Suppose 3*s + 2*n - 39 = 0, n = 2*s + 8 - 34. Is s a multiple of 13?
True
Let p = 267 - 147. Is p a multiple of 29?
False
Let h = 0 - 0. Suppose 4*v = 2*v - 2*f, h = -3*v - f + 6. Suppose d = v*d - 80. Is 20 a factor of d?
True
Suppose o - 4 = -0*o. Let h(u) = 4*u - 4. Let c be h(o). Is 6 a factor of 1*(-8)/(-6)*c?
False
Let c be 4/(-6) + (-8)/(-12). Let f(o) = 4*o + 0*o + 18 - 5*o. Is f(c) a multiple of 18?
True
Let m(d) = d**2 + 6*d. Suppose 0 = 2*y - 0*y + 12. Let n be m(y). Suppose -4*j + 2*t - t + 28 = 0, n = -2*t + 8. Is j a multiple of 3?
False
Let p(b) = -b + 5. Let v be p(11). Let t = 10 - v. Let l = 31 + t. Is l a multiple of 24?
False
Let l(i) = 2*i - 9. Is 5 a factor of l(10)?
False
Let u(o) = -o - 1. Let h be u(-5). Suppose 0 = -h*l - 3 + 15. Suppose -k + 5*t = k - 11, 3*k + l*t - 48 = 0. Is k a multiple of 13?
True
Let b be (10/4)/((-7)/(-14)). Suppose -2*k + 2 = -n + b, k + 15 = 5*n. Suppose 0 = n*v - 76 - 5. Is v a multiple of 15?
False
Suppose -24 = 2*a + a - 3*r, -4*a - 32 = 5*r. Let p = 2