 Is 13 a factor of (-128)/b + (-2)/(-3)?
False
Let k = 79 - 31. Let i(d) = -40*d + 2. Let r be i(-2). Let l = r - k. Is 10 a factor of l?
False
Suppose 2*c + 4*k = -4, 3*c - 1 = 3*k + 29. Let i = 28 - c. Is 5 a factor of i?
False
Let j be 2*(0 - 15/6). Does 7 divide j*(28/10)/(-1)?
True
Let v = 11 - 23. Let b = v - -28. Does 9 divide b?
False
Let b(p) = p**2 + 4*p - 4. Let t be b(-5). Let v = -16 - -11. Is (-110)/v - 2/t a multiple of 11?
False
Suppose -5*z = -2*z - 285. Let y = -61 + 119. Let d = z - y. Is 13 a factor of d?
False
Let o = -26 + 182. Does 26 divide o?
True
Suppose f = 4*d + 4*f - 49, 4*d - 54 = -2*f. Is 16 a factor of d?
True
Let o(i) = i**2 + 7*i + 6. Let d be o(-6). Suppose d = -b + 2*b - 2*y - 34, 5*b - 5*y - 160 = 0. Does 10 divide b?
True
Let i(l) = l - 11. Let u be i(17). Let b(d) = d**3 - 4*d**2 - 7*d + 8. Does 12 divide b(u)?
False
Suppose 380 = 8*u - 4*u. Suppose -3*r + 34 = -u. Does 12 divide r?
False
Suppose -3*u + 3*v - 6 = -30, 0 = -u - 2*v - 1. Let w = 35 - u. Is w a multiple of 10?
True
Let y = 12 - 7. Suppose -y*d + 11 = 1. Is (-15)/(-1) + d + -4 a multiple of 13?
True
Let n(f) be the third derivative of -f**5/60 + 44*f**3/3 - 6*f**2. Is 22 a factor of n(0)?
True
Suppose -y = -l + y + 264, 4*l - 3*y - 1056 = 0. Is 11 a factor of l?
True
Let g = 3 - -1. Suppose -4 = -4*i - 0*i - 2*d, 5 = 5*i + 4*d. Is (i - -1)/(g/8) even?
True
Let v = 44 + 73. Is v a multiple of 32?
False
Suppose 0 = -p - 1, 4*u + p - 2*p - 101 = 0. Is u a multiple of 10?
False
Let r = -3 + 5. Is 0 - ((r - 3) + -48) a multiple of 16?
False
Let k(h) = -h - 1. Let d be k(-4). Suppose -r + 3*r = 10. Suppose -r*x - d*g + 80 = 0, -53 = -3*x - g - 5. Is x a multiple of 8?
True
Suppose -4*n - 3*u = -75, u = -5*n + 100 - 9. Is n a multiple of 4?
False
Let z = 4 + 0. Suppose -17 = -5*h + z*t, -h = -0*h - 3*t + 1. Does 2 divide 12/h - (-2)/(-5)?
True
Let h(m) = m - 2. Let p be h(3). Let d be (-1 - -2)*(3 - p). Suppose 0*j = 3*t + d*j - 53, -5*j - 48 = -2*t. Does 16 divide t?
False
Let w = -17 - -21. Is w a multiple of 2?
True
Let j = -33 - -68. Does 5 divide j?
True
Let a(k) be the second derivative of k**6/120 - k**5/12 + k**4/6 - k**3/3 + k**2/2 - k. Let h(n) be the first derivative of a(n). Is h(5) a multiple of 18?
True
Suppose -2*m - 8 = -3*m. Suppose -5*l = -3*g + 54, 2*g + l - 36 = -0*l. Is 4 a factor of m/g*3*6?
True
Let i be (216/15)/((-1)/(-10)). Suppose 0 = -4*f - 5*y + i, -f - 3*y + 33 = -y. Is f a multiple of 10?
False
Suppose 6 = k - 2. Let t be ((-38)/k)/(3/(-36)). Let f = -34 + t. Does 16 divide f?
False
Let c = -5 + -16. Let i = 8 - c. Does 7 divide i?
False
Let v = -3 - -6. Suppose -5*m = -4*r - 26, -7*m + 4*r = -v*m - 24. Let w = 3 + m. Is w a multiple of 2?
False
Let a(t) = t**2 - t + 18. Is 6 a factor of a(0)?
True
Suppose -3*c = -0*c + 2*n - 139, -3*c = 5*n - 145. Is c a multiple of 5?
True
Is (-120)/(-25)*(-480)/(-18) a multiple of 16?
True
Let f(y) = -4*y + 50. Is f(-16) a multiple of 32?
False
Let y = -83 - -149. Does 27 divide y?
False
Is 29 a factor of 87/5*1*(6 - 1)?
True
Let u(m) = m**3 + 5*m**2 - 9*m - 8. Let a be u(-6). Let g = 17 - a. Is g a multiple of 6?
False
Let h be -2 - 0 - (-30 - -1). Suppose -h = -5*y + 3*q, 3*y - 4*q - 13 = 4*y. Does 3 divide y?
True
Let d(j) = 5*j. Let f = -1 + 7. Is 12 a factor of d(f)?
False
Suppose 0 = 7*k - 140 - 28. Does 5 divide k?
False
Let t(y) = -y + 104. Let g be t(0). Suppose -5*d + g = -61. Does 11 divide d?
True
Let o = 1127 - 399. Is (o/42)/(4/6) a multiple of 21?
False
Suppose 3*z = 9*z - 96. Is 4 a factor of z?
True
Suppose 3*q + 0*q - 2*i - 84 = 0, 3*q + 3*i = 69. Suppose -q = -2*u - 0. Is u a multiple of 13?
True
Let z be (-30)/(-2 + (-16)/(-12)). Let n = -24 + z. Is 13 a factor of n?
False
Let p = -6 + 10. Suppose -w = p*w - 200. Suppose -3*h = 5*q - 120, 4*q - w = -h - 0. Is h a multiple of 14?
False
Let b(j) = j**2 - 8*j - 3. Does 9 divide b(12)?
True
Let z = 1 - 1. Suppose z*i - 8055 = -5*i. Is i/33 - (-2)/11 a multiple of 14?
False
Is (7/3)/((-6)/(-90)) a multiple of 7?
True
Suppose -455 = 2*g - 7*g. Suppose -2*k - 3*k - t + 97 = 0, -3*t + g = 5*k. Is k a multiple of 10?
True
Let g = 44 + -8. Is g a multiple of 12?
True
Suppose -3*q = 3*y - 18, 4*q - y = -4*y + 24. Let w be 3 - q/9*-3. Suppose -60 = -8*x + 4*x + 4*c, 0 = -w*x + 3*c + 65. Is 10 a factor of x?
True
Does 6 divide (-4)/7 + (-13208)/(-182)?
True
Let y(w) = -w**3 + 2*w**2 + 3*w - 2. Let k be y(2). Suppose 0 = -5*m - 0*a - a + 45, 2*m = a + 18. Let l = m + k. Is l a multiple of 12?
False
Suppose 0 = -5*d + 9 + 16. Suppose -d*k = -70 - 20. Does 9 divide k?
True
Let y be 532/6 - 4/(-12). Let j = y + -63. Is j a multiple of 10?
False
Let a(b) = -b**3 - 5*b**2 - 6*b. Does 2 divide a(-4)?
True
Let k = -56 + 294. Is 17 a factor of k?
True
Let a(x) = -x**2 + 3*x + 8. Let w be a(-4). Suppose -d = -2*f + 93, 5*f - 3*d = 2 + 233. Let y = w + f. Is y a multiple of 8?
True
Is 8 a factor of 12/(-30) + (-18)/20*-36?
True
Suppose 2*u - d = -3 + 2, -4*d = -4*u - 12. Suppose -44 = u*q - 4*q. Is 11 a factor of q?
True
Let s = 7 - 4. Suppose 0*r = s*r - 9. Is 3 a factor of r?
True
Suppose b - 21 + 0 = 0. Let a = -28 - -28. Suppose 2*g + g - b = a. Is g a multiple of 4?
False
Let f be (-1)/(3*(-3)/(-153)). Let c = -12 - f. Suppose d - 3*d - y = -11, -4*d = -c*y + 13. Is 3 a factor of d?
True
Let c be (16/(-2))/((-5)/15). Let x = c + -2. Is 16 a factor of x?
False
Let z = 6 - -7. Is 3 a factor of z?
False
Suppose -3*q + 4*p = 2*q + 32, -5*q - 17 = p. Does 4 divide 24/(-32) + (-19)/q?
True
Suppose -2*s + s = -63. Is s a multiple of 19?
False
Suppose -27 + 1 = -3*a - 2*n, -n + 19 = 2*a. Let m be (5 - 2)/(a/(-40)). Let z = -2 - m. Is z a multiple of 4?
True
Let p(g) = 3*g - 7. Let a be p(5). Suppose 17 = d + a. Does 5 divide d?
False
Suppose -5*w - 2 = -22. Suppose -w*h - 32 - 8 = 0. Let x = 23 + h. Does 13 divide x?
True
Let w be 22/(-6) - 8/(-12). Does 8 divide -1*(-30 - (-4 - w))?
False
Suppose -2*d = -6*d + 20. Suppose 15 = d*g, 4*l - 2*g = -5*g + 57. Is l a multiple of 12?
True
Suppose -7 + 39 = 2*k. Is 5 a factor of k?
False
Suppose 51 - 381 = -5*o. Is o a multiple of 12?
False
Suppose 0 = x - j - 3*j - 37, -3*x = j - 98. Suppose 5*c = -4*d + 9, 5*d + 0*c = c + x. Is d even?
True
Let w = 15 + -25. Is (w/5)/((-2)/29) a multiple of 6?
False
Let h be (3/(-6))/((-2)/(-36)). Suppose -3*p = -5*j - 0*p + 74, -2*p = 6. Let b = j + h. Is b a multiple of 4?
True
Let q be 61 - (-1 - 2/(-1)). Does 10 divide (3 - 0)*q/9?
True
Let v(k) be the third derivative of -k**6/60 - k**5/30 + k**4/24 - k**3/3 - k**2. Let d be v(-2). Suppose 0 = d*x - 270 + 50. Is x a multiple of 19?
False
Let g(a) = 2*a**2 - 2*a - 3 - a - 3*a**2. Let n be g(-3). Let u(b) = 2*b**2 - b. Does 12 divide u(n)?
False
Let d(w) = w**3 - 4*w**2 - 9*w + 8. Let r be -1*(-7)/(14/12). Let j be d(r). Suppose -i - 5*l = 1, 5*l = -i - 3*i + j. Is i a multiple of 9?
True
Suppose -n = n. Suppose -5*x + 140 + 135 = n. Is x a multiple of 21?
False
Suppose -2*m + 0 + 4 = 0. Is 52/(-8)*m/(-1) a multiple of 13?
True
Let k = -4 - -6. Let o be (-1)/(k/(-4))*-1. Is 2 a factor of o/4*(-20)/2?
False
Let w(k) = -k - 4. Let o be w(-3). Let h(i) = 8*i**3 - 2*i**2 - i + 2. Let z(x) = 17*x**3 - 3*x**2 - 2*x + 3. Let j(l) = 5*h(l) - 3*z(l). Is 9 a factor of j(o)?
False
Let m = -19 - -50. Let x = 4 + -20. Let t = x + m. Does 14 divide t?
False
Suppose -2*s - 3*b = 4 + 15, -3*s - 54 = -4*b. Let z = 18 + s. Is z even?
True
Let j(u) = -11*u**2 + 12*u + 15. Let v(g) = 5*g**2 - 6*g - 7. Let x(i) = 6*j(i) + 13*v(i). Is x(-5) a multiple of 4?
True
Let m be -537*5/(30/(-4)). Suppose 3*j - 2*t = 194, -4*j - 5*t + m - 84 = 0. Is j a multiple of 22?
True
Does 9 divide ((-35)/2)/(4/(-24))?
False
Let k(w) = -128*w + 4. Is 4 a factor of k(-1)?
True
Suppose -3*i + 6 + 0 = 0. Suppose i*h + 2*h = 0. Suppose h = -2*t - 0*t + 24. Is t a multiple of 5?
False
Suppose 0 = -3*k - 4*d + 37, -d + 39 = 4*k + k. Suppose k*i - 44 = 5*i. Is 11 a factor of i?
True
Let r = -1 + 1. Suppose r = -2*v - 0*v + 4. Suppose x + v = 22. Is x a multiple of 10?
True
Suppose -4*i + 10 = i. Suppose -22 - 93 = 5*o. Does 13 divide (-8)/i*o/4?
False
Let a = 6 - 1. Suppose -20 = -5*t + h, 5 = a*h - 20. Does 2 divide t?
False
Suppose 3*d + 5*b - 256 =