p?
True
Does 5 divide (-590)/(-22) + ((-4)/(-22) - 0)?
False
Let f be 4/14 + (-12)/(-7). Suppose -f*b = -3*b + 28. Is 5 a factor of b?
False
Suppose z - 355 = -5*u, -u + 2*z + 100 = 40. Is 14 a factor of u?
True
Let m(c) = -c**2 + 5*c + 11. Let l be m(6). Suppose s - l*o = -2, o = 4*s - s - 22. Is s a multiple of 8?
True
Suppose -3 = 2*t - 15. Suppose 4*i + 52 = t*i. Is i a multiple of 9?
False
Let m be (-15)/(-25) - 356/10. Let c = -24 - m. Is c a multiple of 3?
False
Suppose -5*t = -3*t - 4. Suppose t*d - 11 = d. Is d a multiple of 11?
True
Suppose 0 = -4*s - 3 - 1. Let m be ((-7 - -3) + -2)/s. Suppose -3*o = -m*o + 33. Is o a multiple of 7?
False
Let f = -14 - -17. Does 2 divide f?
False
Let d(f) = 3*f**2 - 11*f + 13. Does 17 divide d(4)?
True
Suppose -5*r + 75 = 3*g, -2*r + 0*g + 3*g + 30 = 0. Let n = r + -3. Suppose w + 44 = 5*w + 5*c, 0 = -2*w - 5*c + n. Is w a multiple of 8?
True
Let k be 1*-17*3/3. Let o = 42 + k. Is 17 a factor of o?
False
Let h = -12 + 28. Does 3 divide h?
False
Let w(i) = 20*i - 4. Let y be w(7). Suppose m + 2*k + 15 = 42, 4*m = -k + y. Does 20 divide m?
False
Suppose 5*f - 31 = -2*m + 2, -45 = -5*f - 5*m. Suppose -2*o + o + b + 3 = 0, -f*b = -4*o + 7. Is 8 a factor of o?
True
Suppose -8 = -3*i + 7. Let r(q) = 6*q - 6. Is 8 a factor of r(i)?
True
Let r be (-1 + 6)/(0 + 1). Suppose -7 = -r*y + 3. Does 10 divide y/2 + (-1 - -20)?
True
Let u = 10 - 8. Suppose 0*v + 25 = v - 4*q, -2*q = u*v - 50. Is v a multiple of 12?
False
Let o(l) be the first derivative of -l**3/3 - 13*l**2/2 - 4*l - 4. Does 6 divide o(-7)?
False
Let x = -5 + 4. Does 6 divide (x - 0)/(2/(-36))?
True
Let r(c) = c**2 + c. Let s be r(4). Let d = -8 + s. Is 4 a factor of d?
True
Is 20 a factor of (180/25 + 4)/((-1)/(-25))?
True
Let p = 7 - 14. Is 11 a factor of (p/28)/(3/(-372))?
False
Let p = -1 - 29. Let v = p - -54. Is 6 a factor of v?
True
Let d(l) = l**2 - 6*l. Let n be (-28)/(-4) - (2 + -1). Let h be d(n). Suppose -2*x + 71 - 5 = h. Is 11 a factor of x?
True
Suppose -36 = -0*t + t. Let r = 53 + t. Does 16 divide (0 + 0 - -2)*r?
False
Let q(r) = -28*r**3 + r**2 + 2*r + 1. Let k be 2*-1 - (-4)/2. Let j be -1 - 2/4*k. Is 14 a factor of q(j)?
True
Suppose -h + l - 3*l + 58 = 0, 4*h - 4*l = 172. Suppose 0 = g + g - h. Let p = g + -8. Is p a multiple of 8?
True
Let c be (-1 - 0) + 3 + 0. Suppose -c*g + 34 = -76. Is g a multiple of 19?
False
Let m be 5/((-25)/(-14))*5. Suppose -2*o + 4*l - m = 3*o, -o = 5*l - 3. Is 2 a factor of o/(2/4 - 1)?
True
Let r be (64/(-3))/(3/9). Let q = 96 + r. Is q a multiple of 16?
True
Suppose -10 - 5 = 5*o. Let h = 6 + o. Let p = 5 + h. Does 8 divide p?
True
Let w be 329/(-63) - (-4)/18. Let n = w + 5. Suppose -2*o + n*o = -20. Is o a multiple of 10?
True
Let l(g) = 2*g**2 + 8*g - 3. Let b be l(-6). Is (b/(-49))/((-2)/14) a multiple of 3?
True
Suppose 0 = -9*q + 549 + 423. Does 9 divide q?
True
Suppose 2*a - 222 = -4*a. Is a a multiple of 9?
False
Suppose n - 4*n = 12. Let g = 0 - n. Suppose -q = g*z - 56, 4*z = q - 5 + 53. Is 13 a factor of z?
True
Let o = -5 + 7. Suppose 14 = j - o*t + t, 2*t = -3*j + 22. Is j a multiple of 10?
True
Suppose -16 = -4*c + 168. Is c a multiple of 11?
False
Suppose 4*o + 5*n = -9, 3*n = -o - 3*o + 1. Suppose o*y - 3*y + 2 = 0. Is 16 a factor of (-16)/(-3)*(-6)/y?
True
Let c = 8 - 0. Is c/12 - (-134)/6 a multiple of 6?
False
Suppose -33 = 5*q - 128. Let m = 28 - q. Does 6 divide m?
False
Let c(p) = -p**3 - 4*p**2 - 4*p - 11. Let y(g) = 2*g**3 + 7*g**2 + 8*g + 23. Let i(k) = 5*c(k) + 2*y(k). Does 17 divide i(-7)?
True
Is 22 a factor of (88/10)/(52/2210)?
True
Let j be (-8)/(-3 - 1)*2. Suppose j*y - 2*a = 57 + 19, 4*y + 5*a = 62. Is 9 a factor of y?
True
Let b = 118 + -67. Suppose 159 = 4*a - t + b, 5*t + 98 = 3*a. Is a a multiple of 13?
True
Suppose -67 = -2*a + 13. Suppose -d - 4*r + 14 = 0, -a - 58 = -4*d - 2*r. Is 4 a factor of d?
False
Let z(k) = k - 12. Let w be z(10). Let c be w - 5/((-10)/12). Suppose -63 = -4*v - f - 10, -c*v + 28 = -4*f. Is v a multiple of 6?
True
Suppose 2*z = -0*z. Suppose -4*x = -z*x - o - 51, o + 63 = 5*x. Is 6 a factor of x?
True
Let q(y) = 3*y - 2*y - 2 - 2*y - 8*y. Is q(-4) a multiple of 14?
False
Suppose 14*q + 57 = 15*q. Does 9 divide q?
False
Let k = 21 - 8. Suppose -4*m + 37 - k = 0. Suppose 0 = 2*v - 20 + m. Is 6 a factor of v?
False
Is 1/(53/(-54) - -1) a multiple of 14?
False
Let d(h) = -h**3 + 11*h**2 - 17*h - 1. Is d(8) a multiple of 15?
False
Let d = 10 + 0. Is 10/(-2)*d/(-25) even?
True
Suppose -6*u = f - 3*u - 96, 3*u - 276 = -3*f. Is f a multiple of 28?
False
Let j(c) = -69*c - 1. Let w be j(1). Let h be (w/4)/((-1)/2). Suppose 4*d + d - h = 0. Does 4 divide d?
False
Let a be (-75)/(-7) - 18/(-63). Let n = 32 - a. Is n a multiple of 7?
True
Let r(x) = -56*x**3 - x**2 - x - 1. Let l be r(-1). Suppose 0*k - 5*k + l = 0. Does 4 divide k?
False
Let y(w) = w**3 + 8*w**2 - w - 4. Let x be y(-8). Suppose 2 = t, x*t + 35 = 4*k - 13. Is 5 a factor of k?
False
Suppose -2*t - 117 = -5*j, 0*t - 2*t - 3*j = 77. Does 16 divide t/(-3)*18/6?
False
Let i(j) = 0*j**2 - j**2 - 3*j + 4 - j. Let k be i(-4). Let f(d) = 5*d + 5. Is f(k) a multiple of 13?
False
Let i = 0 + 5. Suppose -2*l = -1 - i. Is l a multiple of 3?
True
Let f = -15 + 12. Let d(a) = -2*a**3 - 4*a**2 - a - 3. Is d(f) a multiple of 7?
False
Let w = 0 - 0. Suppose -s + 14 = -4*r, w*s + 5*s + r = 28. Is s even?
True
Suppose 78 + 18 = -3*v. Let c(j) = -5*j - 1. Let t be c(-1). Does 13 divide (v/(-6))/t*21?
False
Let n(c) = -3*c + 1. Let h be 2*2*(-4)/8. Does 4 divide n(h)?
False
Is (-2)/(-6)*(0 - -357) a multiple of 18?
False
Let r(x) = -5*x + 3. Let u be r(4). Let i = 25 + u. Is i a multiple of 2?
True
Suppose 4*g = 2*g - 2, 5*r - 2*g = 87. Is 8 a factor of r?
False
Let m(t) = 55*t**3 - 2*t + 4. Is m(2) a multiple of 59?
False
Let l be (-146)/10 + (-6)/15. Let t(n) = -n**3 - 15*n**2 - 3*n + 15. Is 12 a factor of t(l)?
True
Let w be 16/(-12)*-3*1. Suppose 6 + 18 = w*l. Is 6 a factor of l?
True
Let w(k) = -k**2 + 11*k - 11. Let r be w(9). Suppose -f - 2*g = -8, r + 21 = f - 3*g. Let z = f + -5. Is 6 a factor of z?
False
Suppose -21 = -5*s - 6. Suppose -2*b - 198 = -0*i - 5*i, -b - 118 = -s*i. Does 19 divide i?
True
Suppose -k = 3*k - 84. Is k a multiple of 6?
False
Is 16 a factor of 2 - 71*(5 - 6)?
False
Suppose 28 = -3*u - 2*k + 80, -2*u = 2*k - 32. Suppose 0*j + 4*j = 2*o + 14, -u = -5*j + 5*o. Does 2 divide j?
False
Let n be (-4)/14 - (-60)/14. Suppose 5*w = -n*t + 39, 3*w + 2*t - 10 = 15. Is w a multiple of 4?
False
Suppose 4*i - 5*c = 2*i + 202, -5*c = -4*i + 394. Does 16 divide i?
True
Let q = 90 + -42. Suppose -z + 22 = i, -4*i + 68 = -3*z - q. Does 4 divide i?
False
Let l be (-8)/(-12) + (-2)/3. Suppose 2*t + 8 = l, 0 = 3*j + 2*t - 47 - 35. Does 15 divide j?
True
Let c(j) = -j**3 + j + 4. Let q be c(0). Suppose q*y = 3*y + 6. Does 6 divide y?
True
Let a(m) = m**2 + 4*m - 5. Let r be a(-7). Let c = -22 + r. Is 3 a factor of (-2)/c - (-17)/3?
True
Let c(p) = -p**3 - p**2 - 10*p - 6. Is c(-5) a multiple of 18?
True
Let x(q) = q**2 - 4*q - 6 + 13 - 3. Let z be x(5). Is 12/z*84/8 a multiple of 10?
False
Suppose -2*b + p + 5 = 2*p, 3*b + 4*p - 10 = 0. Suppose 0 = -b*l + 7*l - 40. Suppose l*n = 3*n + 85. Is 17 a factor of n?
True
Let d = -8 - -14. Let x = d + -4. Suppose -x*p - 2*p - s = -181, 3*s = -3*p + 138. Is p a multiple of 16?
False
Let m = 3 - 0. Suppose 5*b - m*b = 320. Suppose 0 = 3*w + 2*w - b. Does 16 divide w?
True
Let n be 0/(-3) - 6/(-2). Suppose -n*o + 5*y = -0*o - 2, -2*y + 12 = 2*o. Does 5 divide (-75)/10*o/(-6)?
True
Let w(y) = -2*y - 4. Let c be w(-4). Suppose l = 47 - c. Suppose -5*i = -l + 3. Is i a multiple of 4?
True
Let d(f) = -f**2 + 9*f - 2. Suppose -29 + 1 = -4*z. Is d(z) a multiple of 5?
False
Suppose 0*l - 5*j = l, -l + 4*j = -9. Suppose l*s = 3*s + 4. Suppose -7*o = -s*o - 85. Does 17 divide o?
True
Suppose -16 = -41*n + 40*n. Is 2 a factor of n?
True
Let n(u) = u**3 + 4*u**2 + 2*u. Let x be n(-2). Suppose -2*b - 585 = -5*g - 4*b, -4*g = -x*b - 440. Suppose 6*p = p + g. Does 9 divide p?
False
Let i(w) = w**3 - 7*w**2 + 6*w + 5. Let k be i(6). Suppose 0 = -0*p - k*p + 45. Is p a multiple of 3?
True
Let f(k) = -k**3 - 5*k**2 - 6*k - 8. Let q be f(-6). Suppose -q + 332 = 4*l