*b**2 - 7*b + 6. Let u(s) = 5*s**2 - 6*s + 5. Let h(p) = 4*u(p) - 3*x(p). Suppose -3*a - 9 = -6*a. Does 19 divide h(a)?
True
Suppose 3*i - 4*p - 323 = 0, 3*p = -4*i + 379 + 60. Suppose 2*h = -l + 7 + i, -5*h - 4*l + 290 = 0. Is h a multiple of 13?
False
Is 3 a factor of (45/5 - -7) + -4 + 0?
True
Let i = -59 + 125. Is 6 a factor of i?
True
Let p(m) = -m**2 - 5*m + 10. Let j be p(-6). Suppose -l = -j*l + 87. Is l a multiple of 6?
False
Suppose -4*m + 4*r + 240 = 0, 2*r - 5*r = -4*m + 241. Is m a multiple of 27?
False
Suppose -2*r - 3*g - 24 = 0, -5*r + 2*g + 0 = 41. Let n = r - -9. Suppose n = -4*x - 3*q + 18 + 9, q = x - 5. Is x a multiple of 6?
True
Let x(l) = -l**2 - 5*l - 2. Let a be x(-3). Let o(w) = 5*w**3 - a - 4*w - w**2 - 4*w**3 + 4*w**2. Is o(-3) a multiple of 8?
True
Let u(w) = -7*w + 49. Does 26 divide u(-19)?
True
Suppose -40*w + 165 = -35*w. Is 11 a factor of w?
True
Suppose 0 = -4*z - 218 + 38. Let f = z + 75. Is f a multiple of 15?
True
Let n = -1 + 4. Suppose -3*g - 2 = -n*w - 8, -5*w + 5 = 0. Suppose 0 = -5*j - 15, 60 = g*r - 3*j - j. Is 16 a factor of r?
True
Let h = -47 - -121. Let c = h + -47. Is c a multiple of 10?
False
Does 11 divide (-5)/1*(-132)/20?
True
Let z(j) = 14*j**3 - 2*j**2 + j. Let y be z(1). Let n = -9 + y. Does 7 divide ((-24)/14)/(n/(-28))?
False
Is 32 a factor of 2/(-6) - (956/(-6) - 1)?
True
Let t = -2 + 4. Suppose t*w + 18 = -w. Is 17 a factor of (3/w)/(2/(-68))?
True
Let t = -76 + 121. Is 8 a factor of t?
False
Is 1 + 4/((-16)/(-12)) + 113 a multiple of 9?
True
Suppose -j + 4*j = -6. Let v be j - (0 - -6)/(-2). Does 3 divide (-2 + v)*1 + 7?
True
Suppose 5*d = 4*d + 13. Let y = d + -8. Suppose -2*f = -3*f - 5*x - 8, y*f - 72 = 3*x. Does 9 divide f?
False
Suppose 5*y - 44 = 4*d, 0*d = y - 4*d - 12. Suppose -5*o + 21 = 4*s, y = 3*s - o - 3*o. Is s a multiple of 4?
True
Let x = -12 + 27. Suppose z = 5*v - 72, 3*v - v - 5*z - x = 0. Does 9 divide v?
False
Suppose 6*z = 2*z - 16. Is 3 a factor of 1 + 3/((-3)/z)?
False
Suppose 65 = -5*b - 70. Let f = 15 - b. Suppose 5*k - 117 = -f. Is k a multiple of 12?
False
Let w = 128 - 79. Is 7 a factor of w?
True
Suppose 3*p + 4*p - 637 = 0. Is 17 a factor of p?
False
Let r(n) be the second derivative of -5*n**3/6 - n. Suppose 2*y + 2*y - 3*c + 5 = 0, 0 = 5*y + 4*c + 45. Is r(y) a multiple of 10?
False
Let l = 22 + 6. Is 13 a factor of l?
False
Let s = -126 - -201. Is s a multiple of 25?
True
Does 8 divide 20 - 1*(-4)/4?
False
Let s = 30 - 24. Is s a multiple of 6?
True
Let l = -9 + 23. Is 12 a factor of l?
False
Let d = 5 + -5. Suppose 0 = 5*k - d - 5. Is k*1*26 + 2 a multiple of 13?
False
Is ((-1)/3)/((-2)/618) a multiple of 11?
False
Suppose -3*k = -8*k + 5*h + 155, 4*h = 3*k - 88. Is k a multiple of 18?
True
Suppose -45 = -5*g + 2*g. Suppose -b = -6*b + g. Suppose 0 = 4*l - 20, -f - 2*l + 42 = b*f. Is f a multiple of 5?
False
Suppose 0 = 4*j + 331 - 83. Let g = 26 + j. Is 6 a factor of (g/2)/((-6)/4)?
True
Let u = -16 + 9. Let j = u + 7. Let d(t) = -t + 62. Does 27 divide d(j)?
False
Let l = 72 + -40. Does 25 divide l?
False
Suppose 0 = -0*t - t + 98. Suppose 0*i + i + 4*s = 54, -t = -2*i - 3*s. Is 23 a factor of i?
True
Let x(m) = -18*m**3 - 2*m**2 + m. Let a be x(1). Let h = 41 + a. Suppose -4*r + h = -2*d, 4*d + 0 = 12. Does 7 divide r?
True
Let x = -12 - -15. Suppose -19 = -x*f + 2. Is f even?
False
Let p(x) = -x**3 - x**2 - x + 8. Suppose 0 = 2*d + 3*d + 20. Let a(z) = -z**2 - 4*z. Let f be a(d). Does 4 divide p(f)?
True
Let s(q) = -q**2 - 5*q + 1. Let o be s(-4). Suppose o*b - 2*d + 19 = -15, 12 = -b + 3*d. Let x(h) = h**2 + 3*h + 2. Does 8 divide x(b)?
False
Let f = 74 + -44. Is f a multiple of 10?
True
Suppose -5*w + 27 = 2, -w - 82 = -3*s. Suppose -s = -v + 19. Does 24 divide v?
True
Let o(m) be the third derivative of -m**5/60 + 14*m**3/3 - 6*m**2. Is o(0) a multiple of 19?
False
Let y = -78 + 150. Is y a multiple of 6?
True
Let z = 11 + -8. Suppose -z*q = -8*q + 90. Is q a multiple of 11?
False
Let u(x) = -8*x + 4. Let g be u(-4). Let v be (-15)/(-21) - 4/(-14). Does 12 divide 2/(v - 2) + g?
False
Let v(b) = -b. Suppose z = -2*j - 0*z, 4*j + 6 = -5*z. Let u be v(j). Let m(c) = -2*c**3 + c**2 + c. Is m(u) a multiple of 2?
True
Let a(y) = -7*y**3 - y**2 + 6*y + 3. Does 15 divide a(-3)?
True
Let k(m) = m - 19 - 9*m + 13. Is k(-5) a multiple of 13?
False
Let r(b) = -b - 1. Let v be r(-3). Suppose i - 57 = 135. Suppose v*y + 2*y = i. Is y a multiple of 16?
True
Suppose 0*v - 8 = -v. Let y = v + -3. Is y a multiple of 4?
False
Let n = -28 - -126. Does 7 divide n?
True
Suppose -x = -4*x - 5*u + 3, 0 = 3*x - 4*u - 3. Is 9 a factor of ((-2)/(-2)*20)/x?
False
Let l(q) = 67*q**2 - 3*q + 3. Let k(h) = h**2 - h + 1. Let r(n) = -5*k(n) + l(n). Let t be r(2). Is 16 a factor of t/7 - (-8)/28?
False
Let n = 42 - 0. Does 42 divide n?
True
Let o be 4/5*(-1000)/(-16). Suppose 6*j - 5*j = o. Is j a multiple of 18?
False
Does 7 divide 16 + 6*(-4)/6?
False
Suppose 4*n - 242 = -2*l + 96, -4 = -4*l. Is 50 a factor of n?
False
Let n(l) = 24*l - 3. Is 20 a factor of n(3)?
False
Is (0 - 4)*(-75)/4 a multiple of 11?
False
Suppose -3*x + 616 = 64. Is x a multiple of 23?
True
Suppose -19*j = -21*j + 224. Is 16 a factor of j?
True
Is 14 a factor of (25 - 1) + (-32 + 0)/(-8)?
True
Let f(o) = 43*o + 2. Is 15 a factor of f(1)?
True
Let v(x) = -14 + x + 5 + 2*x. Let b(d) = -d**3 - 2*d**2 + d + 1. Let m be b(-3). Does 12 divide v(m)?
True
Suppose -u = 3*u - 16, q + 5*u = 22. Suppose q = b + 5*g - 6, 2*g = 3*b - 7. Does 2 divide b?
False
Let h(z) = -11*z - 1. Let n be h(-5). Is 17 a factor of (-1)/(n/(-51) + 1)?
True
Is 10 a factor of (17 + 37)*(-10)/(-3)?
True
Let a(o) = -8 - o - 1 + 0. Let f be a(0). Let b = f - -19. Does 5 divide b?
True
Suppose 2*b = 4*b - 70. Suppose -4*l + 37 = -b. Is 5 a factor of l?
False
Let u(c) = -c**2 - 5*c - 1. Let h be u(-5). Let y be ((-6)/2*1)/h. Does 2 divide -2*y*(-2)/4?
False
Suppose g = -4*l + 2*l + 59, -4*l - 158 = -2*g. Is 10 a factor of g?
False
Let n(r) = -r**3 + 7*r**2 - 1. Suppose -4*g - g = 35. Let d = 13 + g. Does 12 divide n(d)?
False
Let y(k) = -k**2. Let q be y(0). Let w be 60 - q/(-5 - -3). Is 8/(-3)*w/(-8) a multiple of 10?
True
Let g be (-10)/(-3) - 2/6. Let t(r) = r**2 - 7*r + 10 - 3 + g. Does 5 divide t(7)?
True
Let h(m) = -m**2 - 10*m - 12. Let j be h(-8). Suppose 4*w = -j*y + 32, 36 = 5*w + 2*y + y. Is w a multiple of 6?
True
Suppose 5*q - 12 - 3 = 0, -2*q - 184 = -5*f. Is f a multiple of 4?
False
Let w(c) = 8*c - 4. Let d be w(-7). Does 9 divide ((-1)/(-2))/((-1)/d)?
False
Suppose 0 = 4*x - 4*o - 184, x - 202 = -4*x - 2*o. Is 42 a factor of x?
True
Let k(q) = q - 3. Let t be k(5). Let h be (-1)/2*(2 - t). Suppose h*i + 10 = i. Does 7 divide i?
False
Suppose 0 = 3*m - m + 120. Is 14 a factor of 303/5 - (-36)/m?
False
Let s be 36/16*(-136)/(-3). Suppose 5*p + s = -118. Let a = p + 72. Does 20 divide a?
False
Let x be (-19)/4 + 5/(-20). Let c be (-17)/x + (-10)/25. Suppose -89 = -c*o - 35. Is 8 a factor of o?
False
Let u(w) = w + 8. Let f be u(-6). Suppose -52 = -f*r - 2*r. Does 5 divide r?
False
Suppose -135 = -2*i + 215. Suppose 4*h = -55 + i. Does 15 divide h?
True
Suppose -15 = 5*v, 0 = h + v - 5*v - 17. Suppose -78 = -h*a + 212. Does 9 divide (-7)/21 + a/3?
False
Let h(v) = v**2 + v + 2. Let i be h(-2). Suppose 200 = 2*w - k + 2*k, -3*k - 410 = -i*w. Let f = w + -71. Does 12 divide f?
False
Let r = 2 + -8. Let f(o) be the third derivative of -o**4/3 - o**3 - 5*o**2. Does 14 divide f(r)?
True
Suppose -3*t - 23 = 34. Let y = t + 29. Let a = y + -4. Is a a multiple of 3?
True
Let g(h) = -2*h**3 + 4*h**2 - h - 3. Let u be g(-3). Suppose r - 74 = -r + p, 0 = -2*r + 5*p + u. Is r a multiple of 9?
False
Let h(t) be the third derivative of 1/2*t**3 + 0*t + 0 + 1/60*t**5 - 1/24*t**4 - t**2. Does 6 divide h(-4)?
False
Suppose 0 = -4*z + 3*o - 3, 3 = 3*z + 2*z + 3*o. Suppose i + 5*k - 29 = z, 0*k + 25 = i + k. Is i a multiple of 6?
True
Suppose 0 = -15*m - 18 + 348. Does 22 divide m?
True
Suppose 5*n - 5 = -5*f, n + 2 = 6. Let h = -9 + f. Is 22 a factor of h*-14*2/6?
False
Let r(x) = -2*x - 9. Let n(j) = j**3 + 2*j**2 + 4*j + 2. Let q be 5/(-2) + (-2)/(-4). Let p be n(q). Does 2 divide r(p)?
False
Suppose 0*u + 2*u - 6 = 0. Suppose -i + 5*c -