48*k - 5. Does 13 divide p(-2)?
True
Is 5 a factor of (-6)/21 - 44/(-7)?
False
Suppose 0 = -c + 5*u + 9, 0 = 2*c - 0*c + u - 29. Does 4 divide c?
False
Let v be (-2)/(3 + (-51)/15). Suppose -46 = -2*r - 6*g + 2*g, 0 = -v*r + 3*g + 180. Does 13 divide r?
False
Suppose -105 = -5*n + 2*p + 3*p, -2*n = -5*p - 51. Suppose 3*d - 12 - n = 0. Is 3 a factor of d?
False
Let s(i) = 25*i + 6. Is 33 a factor of s(9)?
True
Let w be 442/8 + (-2)/8. Is 22 a factor of w + (-6)/((-9)/3)?
False
Let c(z) be the second derivative of z**6/120 - z**5/6 + 11*z**4/24 + z**3/3 - z**2 - 2*z. Let x(r) be the first derivative of c(r). Is x(9) a multiple of 10?
True
Let a be 28/(-6)*(-720)/70. Let v = 5 + -2. Suppose 0 = v*d - d - a. Does 8 divide d?
True
Suppose 0 = -5*v - h - 116, -26 = v + 2*h - 10. Let k = 2 - v. Does 12 divide k?
False
Suppose -4*x + 5*r = 22, 2*x + 5*r - 7 = x. Does 14 divide (56/6)/((-2)/x)?
True
Let k be (-78)/4*(-4)/3. Suppose -k = -2*s + 5*l + 17, 3*s = 5*l + 52. Does 6 divide s?
False
Suppose 1080 = 3*m + m. Does 27 divide m?
True
Let a be (-246)/(-22) + 8/(-44). Suppose 3*c = a + 37. Does 15 divide c?
False
Let s = 216 - 97. Let b(l) = l**2 - 3*l + 2. Let g be b(2). Suppose 2*q - 5 - 1 = g, -4*f = -3*q - s. Does 16 divide f?
True
Let h(x) = x**3 + 15*x**2 - x - 4. Is h(-15) a multiple of 3?
False
Let h = -30 + 56. Let l = h + -47. Is ((-91)/l)/((-2)/(-6)) a multiple of 13?
True
Let p(n) = -25*n - 9. Is p(-2) a multiple of 25?
False
Let x be -2*1 + (-18)/9. Is (24/10)/(x/(-110)) a multiple of 15?
False
Let y(d) = -d - 4. Let w be 0 + (2*-1 - 6). Let t be y(w). Is (5 - -19)*2/t a multiple of 12?
True
Suppose h + 0*h + 5*y - 12 = 0, 3*h + 2*y = 10. Suppose h*d + m = -d + 53, 0 = -d + 5*m + 39. Is d a multiple of 15?
False
Suppose -2*z - 90 = -330. Let n = 66 - z. Let p = -17 - n. Does 13 divide p?
False
Let b = 12 + 0. Is b a multiple of 6?
True
Let x = -455 - -701. Is 22 a factor of x?
False
Let s be (1 - 19) + (9 - 10). Suppose z + 9*m - 4*m - 29 = 0, 0 = 5*m. Let x = z + s. Does 8 divide x?
False
Is 1*((-2)/(-6) + (-665)/(-3)) a multiple of 14?
False
Suppose 3*v - 5*h + 0*h = 16, 2*h + 8 = 2*v. Suppose q + 32 = v*q. Does 16 divide q?
True
Is (3/(-4))/((-7)/252) a multiple of 7?
False
Let h(l) = l + 3. Let n be h(-3). Let a = 0 - n. Suppose a = -3*g, 5*d + 0*d - 3*g - 145 = 0. Is 13 a factor of d?
False
Let t(f) = 4 + f + 5 + 2 - 2. Is 5 a factor of t(0)?
False
Suppose 9*k = 13*k - 384. Does 24 divide k?
True
Let s be (-4)/14 - (-4)/14. Let p = 10 + -7. Suppose 3*b - 2*q - 52 = s, p*q - 8 = q. Does 7 divide b?
False
Suppose -21 = 2*i + i. Is (-2)/((i/(-12))/(-7)) a multiple of 12?
True
Let p(i) = -i - 6. Let a be p(-6). Suppose a*x = -x + 2. Is 2 a factor of x?
True
Let j = 14 + 8. Does 11 divide j?
True
Suppose -5 = -3*s + 4. Suppose 0 = -s*c + 94 - 7. Is c a multiple of 8?
False
Let s be (46 + 2)*2/4. Is 10 a factor of 243/s - 1/8?
True
Suppose 5*g = 5*u + 10, 2*u - 4 = -14. Let r(w) be the first derivative of w**3/3 + 3*w**2/2 + 4*w - 1. Is r(g) a multiple of 4?
True
Suppose -4*x + 44 = -4*c, 0 = -4*c - 3*x - 2*x - 80. Does 5 divide -3 + c/(-1) + 3?
True
Suppose -5*d = -68 - 7. Is d a multiple of 15?
True
Does 10 divide (-15)/90 + 385/6?
False
Suppose 2*n - 5*p - 141 = 0, 117 = 3*n + 4*p - 106. Is n a multiple of 24?
False
Suppose 0 = 2*m + 4*h + 6 + 6, 6 = -m - 4*h. Is 2 a factor of -1 - -6*(-8)/m?
False
Let z be (-110)/(-5) - 1*-2. Let j = z - 39. Is 7 a factor of -12*2/j*15?
False
Is 15 a factor of ((-1800)/42)/((-4)/28)?
True
Does 24 divide 27/6*37 + 15/10?
True
Suppose 5*q - 602 - 228 = 0. Does 9 divide q?
False
Is 1206/(-27)*6/(-4) a multiple of 34?
False
Suppose 2*v - 34 = -5*p - 3, -2*p - 2*v = -16. Suppose -p*q = -4*s - 64 - 57, -3*q = 3*s - 51. Suppose -m + q = 2*m. Is 3 a factor of m?
False
Suppose 64*x = 55*x + 540. Does 4 divide x?
True
Suppose 3*u - 62 = 34. Suppose 6*q + u = 2*q. Let y = 15 - q. Is 20 a factor of y?
False
Is (152/(-16))/((-1)/6) a multiple of 19?
True
Let f(i) = 2*i**2 + 5*i + 3. Let w be f(-3). Let b = 0 - w. Is (-30)/4*16/b a multiple of 6?
False
Suppose 0 = 5*m + t + 17, 3*m - 3*t + 6*t + 15 = 0. Let j be (m/(-4))/(1/(-4)). Is 13 a factor of (74/j)/((-12)/18)?
False
Let q be 2 - (-2 + 6 + -1). Let j(f) = 3*f**2 + f + 1. Let s be j(q). Suppose -102 = -s*i - 3*r, -2*i - r + 0*r + 72 = 0. Is i a multiple of 19?
True
Let j(r) = -2*r - 2*r**2 + r**2 - 4 + 5 + 2*r**2. Does 16 divide j(-3)?
True
Suppose -v + 0*l + 54 = l, -5*l + 50 = v. Is 11 a factor of v?
True
Let j(o) = o**3 + o + 27. Let w be j(0). Does 3 divide ((-63)/w)/(2/(-6))?
False
Let x(z) = 104*z + 9. Is 31 a factor of x(2)?
True
Let b(j) = 1 + 3*j + 3 - 2 + 1. Does 7 divide b(6)?
True
Let n(z) = z**3 - z**2 + z - 1. Let x be n(2). Suppose -x*v = -2*v, -q = -v - 6. Is 4 a factor of q?
False
Suppose 3*o - 3*i = -2 - 49, 0 = 4*o - 2*i + 78. Is 4 a factor of 42/11 - 4/o?
True
Let n(d) = d**3 - 5*d**2 + 5*d - 2. Let f be n(6). Let h = f - 42. Is h a multiple of 16?
False
Let a(n) = -5 - n**2 + 13 + 10*n + 3. Is 12 a factor of a(9)?
False
Let m be (3 - 3) + 2/(-2). Let d be (2/(-2))/m + 8. Let j = -4 + d. Is 5 a factor of j?
True
Does 45 divide (-3)/(-4) - (-354)/8?
True
Suppose -1 = -c + r + 1, -4*r - 18 = c. Let y = -1 - c. Let q(p) = 34*p - 1. Is q(y) a multiple of 14?
False
Suppose w - 13 - 3 = 0. Is 16 a factor of w?
True
Let x(s) = 2*s**3 - 3*s**2 + s - 2. Is x(4) a multiple of 24?
False
Let o = -39 - -28. Let i(r) = -r**3 - 10*r**2 + 4*r - 1. Is i(o) a multiple of 14?
False
Suppose 2*b + 4 = 2. Suppose 3*k + 0*k + 18 = 0. Let v = b - k. Is v even?
False
Is 67 a factor of (4 - (-646)/6)*3?
True
Suppose 0 = z - 5 + 2. Suppose -4*o + c + c = -210, 161 = z*o + 2*c. Is o a multiple of 9?
False
Let z(n) be the second derivative of 29*n**4/4 - 5*n. Is z(-1) a multiple of 26?
False
Let r = 20 - -3. Does 6 divide r?
False
Suppose 0*h - 92 = -4*h. Let b = -13 + h. Is b a multiple of 3?
False
Let m = -2 + 8. Suppose 4*a = 2*x + m, -12 = -0*x - 5*x + a. Suppose -2*y + 150 = x*y. Does 15 divide y?
True
Let z = 3 - 3. Suppose 72 + z = 4*w. Is w a multiple of 9?
True
Let z(h) be the second derivative of h**4/3 + 2*h**3/3 - h**2/2 - 3*h. Is z(-4) a multiple of 18?
False
Let y = -6 + 6. Suppose r - 3 + y = 0. Suppose r*g - 36 = -0*g - v, -g - 4*v + 23 = 0. Does 7 divide g?
False
Let p = 16 - -2. Does 15 divide (-179)/(-3) - 12/p?
False
Let f(j) = -j**2 - 17*j - 9. Does 9 divide f(-8)?
True
Suppose -a - 379 = -4*x - 27, 344 = 4*x + a. Let t = x + -131. Is 11 a factor of t*(6/(-8) + 0)?
True
Let n be (-1)/(-3) + 25/(-3). Let c(r) = -14*r + 1. Let a be c(1). Let x = n - a. Is 3 a factor of x?
False
Let h = -4 - -6. Suppose 2*b = -3*b + h*r + 130, -38 = -2*b - 2*r. Suppose -d = d - b. Does 6 divide d?
True
Let x = 317 - 168. Is 27 a factor of x?
False
Let h be (-2 - 1)*4/(-6). Let n be h/7 - 248/(-14). Let j = n + -12. Is j a multiple of 6?
True
Let g = 11 + -17. Let c be ((-6)/9)/(g/45). Suppose -c*n - 17 = p, -2*p + n + 1 = 4*n. Is 8 a factor of p?
True
Suppose -l - 7 = -47. Does 8 divide l?
True
Let a(u) = -u**3 + 6*u**2 + 7*u + 3. Suppose 0 = 2*t - 3*t. Let g = 7 + t. Is 2 a factor of a(g)?
False
Suppose 0*o + 28 = -2*o. Let v = o - -31. Is v a multiple of 8?
False
Let w = -9 + 24. Suppose 10 + 20 = 2*o. Let y = o + w. Does 15 divide y?
True
Suppose -2*q + 2 = -2. Suppose -2*t - 6 = 0, 0*l - q*l + 43 = t. Is l a multiple of 23?
True
Let g = -10 + 6. Let x = -2 - g. Let y(z) = 7*z + 1. Is 15 a factor of y(x)?
True
Suppose -2*q - 7 = q - 4*l, -5*q - l = -19. Is 4 a factor of (2 + q)*(-4)/(-5)?
True
Suppose -4*f - 139 = -383. Is 34 a factor of f?
False
Suppose -2*f = 6, -3*o = -6*o + f + 18. Suppose -5*m - o*s = 5 - 20, -s = 0. Is 2 a factor of m?
False
Let o = 1 - -4. Let c(g) = g**2 - 2*g + 7. Is c(o) a multiple of 22?
True
Let o be (-3222)/(-81) + (-4)/(-18). Suppose 25 = t - o. Does 13 divide t?
True
Let z be (5 - -37)*(-8)/(-3). Suppose 4*o = 5*p - z, -o - 74 = -3*p - 4. Let n = 44 - p. Is n a multiple of 10?
True
Suppose -8*s + 15 = -3*s. Suppose -s*d + 1 = -14. Is d a multiple of 4?
False
Suppose -3*b = 5*r - 210, 70 = r - 8*b + 3*b. Is r a multiple of 2?
False
Suppose -4*d + 2*q + 238 = 74, 4*q + 27 = d. Suppose -2*a + v + 85 = 0, -4*a - d + 218 = 3*v. Suppo