 of p?
True
Let x = 6 + -4. Suppose -2*t + 12 = x*t. Is 9 a factor of 27*((-16)/6 + t)?
True
Let l(r) = -r**2 + r + 60. Suppose 2*z = 4*z. Is l(z) a multiple of 17?
False
Let d = -15 - -17. Suppose -3*g = d*g - n - 34, 4*g = -n + 20. Does 6 divide g?
True
Suppose -35 = 3*x - 3*y + 31, 0 = -2*x - y - 38. Let i = x + 37. Is 9 a factor of i?
False
Suppose 503 = 5*x - i, -2*i + 7*i = -2*x + 185. Does 13 divide x?
False
Let q(a) = -4*a**3 + a**2 - a + 2. Let w be q(-2). Let v = w - 10. Does 16 divide v?
False
Let l = 1 + 39. Suppose 4*y = -0*y + l. Is y a multiple of 10?
True
Suppose -2*b + 7*b - 20 = 0. Is 3 a factor of b + (0 - 1)/(-1)?
False
Let m be (-1 - 1)*(-1)/1. Suppose q - 6*q + 255 = 4*z, 2*z + m*q - 126 = 0. Does 25 divide z?
False
Let m(x) = x**3 + x**2 - x + 28. Is 7 a factor of m(0)?
True
Let m = 167 + -80. Does 13 divide m?
False
Let i be -4*((-6)/4 + 2). Is 28 a factor of (-2)/4 + (-57)/i?
True
Suppose -2*b - 12 = 4. Let d be (-2)/(b/(-2))*0. Let k = d - -22. Is k a multiple of 11?
True
Suppose -4 = -3*s + s. Suppose -s*c - 3*c = -2*p + 35, 39 = 3*p - 3*c. Is p a multiple of 7?
False
Let u(h) = h - 8. Let l be u(9). Let v(z) = 3*z**3 - 2*z**2 + 1. Is v(l) even?
True
Suppose -5*b = -3*c - 2*c + 30, -c - 5*b = 12. Suppose f - 64 = -c*f. Suppose -149 - f = -5*m. Is 13 a factor of m?
False
Suppose -5*n = -0*f + 3*f - 132, -n = -5*f - 4. Is 4 a factor of n?
True
Let d(j) = -4*j**3 + 4*j**2 + 3*j**2 - 6*j + 3*j**3. Let h = -3 - -8. Does 10 divide d(h)?
True
Let j = 53 + -101. Let w = -4 - j. Does 23 divide w?
False
Suppose -4*q = -y + 25, y + y = 5*q + 38. Let f(m) = -m**2 + 13*m. Does 15 divide f(y)?
False
Let g = -157 - -493. Does 14 divide g?
True
Let q(v) = -v**3 + 17*v**2 + v - 9. Does 4 divide q(17)?
True
Does 20 divide (-8)/(2/(-1))*10?
True
Suppose 8*y - 5*y - 192 = 0. Suppose 4*n = 2*n + y. Is 8 a factor of n?
True
Let p(y) = y**3 - 12*y**2 + 13*y + 12. Is p(11) a multiple of 17?
True
Suppose -z + 37 = z + 3*m, -4*m = 2*z - 42. Does 3 divide z?
False
Suppose -285 + 42 = -3*m. Suppose -4*n + m = -3. Is n a multiple of 6?
False
Suppose 32 = -4*x - 8. Let d = x + 49. Is d a multiple of 13?
True
Let v = 9 + -5. Let s = 1 + v. Suppose 4*c = -4*n + 20, -s*n + n = 16. Is 4 a factor of c?
False
Suppose -4*w = -0*w - 120. Let j = 42 - w. Is 12 a factor of j?
True
Suppose 0 = -2*d + 3*d - 2. Suppose r - d*r = -44. Is r a multiple of 25?
False
Let q = -2 + 1. Let g be 25 + q + 3 + -2. Suppose -4*t + 75 + g = 0. Does 12 divide t?
False
Suppose 2*p - 1 - 5 = 2*u, 0 = 5*u - 2*p + 12. Let q(o) = -5*o**3 + 4*o**2 + 2*o - 2. Is q(u) a multiple of 16?
False
Suppose 8*n - 4*n - 12 = 0. Is 21/6 + n/2 a multiple of 2?
False
Let h be 12/(-8)*20/3. Does 19 divide (-376)/h + 2/5?
True
Let i(n) be the second derivative of n**3/3 - 3*n**2/2 + n. Let k be i(4). Suppose -5*l + 10 = -h + 2, k*h = -2*l + 41. Is h a multiple of 3?
False
Let d = -126 - -276. Is 23 a factor of d?
False
Let w be (3/(-5))/((-13)/65). Suppose 0 = w*i + i - 28. Is i a multiple of 2?
False
Is 3 + (103 - (-6*2)/(-4)) a multiple of 18?
False
Let h(i) = i + 13. Let v be h(-11). Let w be 11/2 + v/(-4). Suppose -3*s + 4*f = -59, 0*f = -w*s + f + 104. Does 10 divide s?
False
Let m = 20 - 12. Is 2 a factor of m?
True
Suppose -3*p + 53 + 97 = 0. Suppose -2*m = -y + 2*y - 33, 4*y - 37 = -3*m. Let z = p - m. Is 9 a factor of z?
False
Let o = -46 - -142. Is o a multiple of 3?
True
Let q(h) = 8*h. Let p be q(7). Let c = p + -13. Suppose 3*a - 8 = c. Does 17 divide a?
True
Let x(l) = l**3 + l**2 + 1. Let i be (8/12)/((-4)/6). Let j(s) = -s**3 + 3*s**2 + 2*s + 5. Let g(z) = i*j(z) - 2*x(z). Is 3 a factor of g(-5)?
True
Suppose -j - 4*q + 25 = -2*q, 0 = 2*j - 2*q - 74. Does 4 divide j?
False
Let d = -8 - -23. Suppose -4*m - d = -k, -k + 4*m = 3*k - 84. Does 6 divide k?
False
Suppose 158 - 34 = -4*u. Let r = 46 + u. Suppose -3*q - r = -5*i + 25, 3*i + 5*q = 58. Does 4 divide i?
False
Let a be (-12)/(0 - 2/1). Let r(w) = -w**3 + 7*w**2 - 6*w + 4. Let l be r(a). Suppose -l*b - 2*j + 26 = 0, 0*j + j + 23 = 4*b. Does 3 divide b?
True
Suppose -h + 16 = 19. Is 47 + 3 + (h - 3) a multiple of 22?
True
Let g(q) = q**2 + 20*q - 5. Does 4 divide g(-21)?
True
Suppose -3*r - 6 = 0, -2*m - 3*r + 2 = 8. Does 3 divide (m - -2)/((-4)/(-6))?
True
Does 28 divide (16/(-6))/((-2)/105)?
True
Suppose 5*b + 0*b - 25 = 0. Suppose b*t = -3*v + 128, -2*v = 3*t - 6*t - 117. Does 27 divide v?
False
Suppose 2 = 2*n - 2. Suppose -n*r = -103 - 27. Suppose 5*u + 5*a = r, -u + 3*u - 4*a = 56. Is u a multiple of 9?
True
Let f be (1 + 1)/(-4)*0. Suppose 7*i - 9*i + 16 = f. Is 3 a factor of i?
False
Does 7 divide 29 + (-3 - 1 - -3)?
True
Suppose 0 = 5*s - 165 - 35. Let h = -24 + s. Is h a multiple of 12?
False
Suppose 7*t + 4*l - 122 = 2*t, t + 3*l = 20. Suppose -3*z + 65 = t. Suppose -23 - z = -j. Does 12 divide j?
True
Let u be (-314)/(-4)*-2 - 1. Let o = -91 - u. Is o a multiple of 25?
False
Let t = 1 - -4. Suppose t*o - 1 = -2*s, 5*s - 2*o - o - 80 = 0. Is s a multiple of 13?
True
Let c = -3 + -3. Let p = 9 + c. Does 3 divide p?
True
Is 2 a factor of (-6)/(-4)*(-196)/(-42)*5?
False
Suppose -78 = -5*u - 23. Let q = 20 - u. Suppose 3*z = q, 3*n + 5*z = -0*n + 63. Does 8 divide n?
True
Let c = 158 - 110. Is 12 a factor of c?
True
Suppose -a = -5*b - 6, a = 4*b - 5*b - 6. Is 9 a factor of 22 - ((-8)/2)/a?
False
Let s(j) = -31*j**3 - j**2. Is s(-1) a multiple of 15?
True
Suppose 0 = 4*d + d - 25, 2*t + 4*d - 114 = 0. Is t a multiple of 11?
False
Let d(t) = t**3 + 3*t**2 - 4*t. Let y be d(-4). Suppose y = u - 0*u - 5. Suppose 0 = -4*j - p + 44, -u*j + p + 72 = -2*p. Is 6 a factor of j?
True
Let i = 181 - 114. Is i a multiple of 27?
False
Is (16/(-24) - (1 + -2))*219 a multiple of 10?
False
Suppose 0 = 4*k + 3*m - 171, k - 5*m - 40 = 20. Is 15 a factor of k?
True
Let h(j) = 10*j - 3. Let v be h(4). Let u = -12 + 26. Let i = v - u. Is i a multiple of 10?
False
Let v(p) = -48*p - 2. Does 20 divide v(-2)?
False
Let d = -30 + 36. Is d a multiple of 6?
True
Let m = 45 - 33. Does 4 divide m?
True
Suppose 0*a = -2*a - 3*h + 33, -2*a = -3*h - 15. Suppose 4*d + a = 8*d. Is d even?
False
Let q be 18/(-4)*(-12)/18. Suppose q + 7 = 2*c. Suppose 5*b - 28 = -c*u + 52, -3*u + 83 = -4*b. Does 11 divide u?
False
Let g(x) = x**2 + 10*x - 6. Is 14 a factor of g(-15)?
False
Let y = 270 + -193. Is y a multiple of 7?
True
Let i be (27/(-4))/(4/16). Let m = -2 - i. Is 12 a factor of m?
False
Suppose 8*j = 5*j + 1014. Does 19 divide j/6 - 6/(-9)?
True
Let y(f) = 18*f**2 + 9*f - 8. Let t be y(8). Is 10 a factor of t/40 + (-4)/10?
True
Suppose 0 = r - 6*r + 50. Is r a multiple of 5?
True
Let y(d) = 2*d - 9. Suppose -5*m + m - 8 = 0. Let p = m + 9. Does 3 divide y(p)?
False
Suppose -m + s = -4 - 3, -4*m + 3*s + 30 = 0. Suppose 5*q - q - 8 = 0. Suppose -q*d - m = -31. Does 11 divide d?
True
Suppose -44 = 3*o + z - 3, 4 = 4*z. Let w = o + -4. Is 4 a factor of (w/(-8))/((-1)/(-4))?
False
Suppose -12 = -4*m - 4*k, k - 19 = -5*m - 3*k. Does 5 divide m?
False
Let w(s) = 7*s**2 + s. Does 8 divide w(1)?
True
Let v be 52 + 4 - -1*2. Suppose o + 5*s - 39 = 0, -2*s - v - 32 = -2*o. Does 11 divide o?
True
Suppose -3*q - 62 = -5*q. Does 10 divide q?
False
Suppose -4 = -2*s - 0. Suppose -4*w = -3*l + 6*l - 59, 0 = s*l + 3*w - 41. Is 4 a factor of l?
False
Let u = -8 - -13. Is 8 a factor of (2/u)/((-2)/(-40))?
True
Is 10 a factor of (-42)/(-3 + 5/2)?
False
Suppose -2*v + 18 = v. Let c be 11/(3/(v/2)). Suppose -5*l - 3 = -3*m + 2, m - c = -3*l. Is m a multiple of 4?
False
Suppose d = 10 + 1. Suppose 0 = 2*p + 2*y - 2, p + y + 4 = 5*y. Let i = d - p. Is 11 a factor of i?
True
Let o = -6 + 7. Let p(m) = -m**2 - 9*m - 5. Let s be p(-6). Let t = s - o. Does 6 divide t?
True
Let x(n) = 6*n**3 + 1. Let a be x(-1). Let l be (2 + a + 1)*-1. Let c(q) = q**3 - q + 2. Is 4 a factor of c(l)?
True
Let z(y) = -y**3 + 8*y**2 - y + 10. Let x be z(8). Suppose x*o = -2*o + 20. Is 2 a factor of o?
False
Let k(m) = -3*m - 2. Let u be k(4). Is 3 a factor of -2 + 0 - (u - 0)?
True
Let h be ((-18)/15)/(2/(-5)). Let i be (h + -4)/(3/(-6)). Suppose 0 = 4*y + i*m - 82, -3*y + 42 = -3*m - 2*m. Is 9 a factor of y?
False
Let v = 1 - -1. Suppose 2*b = -v*b. Suppose -3*y + 7 + 17 = b. Does 4 divide y?
True