**2 - 12*h - 20. Is p(-6) a multiple of 10?
True
Suppose 3*s - p - 4*p + 20 = 0, -22 = 4*s - 2*p. Let y = 7 + s. Is 12 a factor of (1 - -23)*(-1 + y)?
True
Let c(l) = -544*l**3 + l**2 - 13*l - 14. Does 15 divide c(-1)?
False
Let m(z) = 7*z + 37. Let n(j) = -11*j - 55. Let h(k) = 8*m(k) + 5*n(k). Is 9 a factor of h(-7)?
False
Does 6 divide (-2)/(-6)*2179 + 20/12?
False
Suppose -13*z + 5 = -14*z. Let u be z/(-20) + 423/4. Let f = u - 57. Is 14 a factor of f?
False
Does 12 divide (-2)/(-19) + (-13)/(988/(-16560))?
False
Suppose -10 = -7*c + 5*c + 4*f, -5 = -c - 2*f. Suppose -3*w + 4*m = -541, -c*m - 173 = 6*w - 7*w. Is 27 a factor of w?
False
Suppose 0 = -5*q + 14 + 31. Let c(m) = m**2 - 2*m + 7. Is c(q) a multiple of 10?
True
Let h(r) = 31*r**3 + 4*r - 21. Is h(3) a multiple of 14?
False
Is 45 a factor of 2/(-26) - (2 - 3060/65)?
True
Suppose -28*d + 1331 = -23*d - 4*x, -2*d + 535 = x. Does 47 divide d?
False
Let n(o) = 4*o + 4. Let l(f) be the second derivative of 5*f**3/6 + 3*f**2/2 - 7*f. Let w(d) = -3*l(d) + 4*n(d). Is w(5) a multiple of 3?
True
Let a = -15 + 23. Let i = 10 - a. Suppose -i*r + 30 = -26. Does 14 divide r?
True
Suppose -2*z + 5*i + 339 = 0, 4*i + 302 = 3*z - 189. Let a = z - 97. Does 20 divide a?
True
Let i be (-1140)/26 + 4/(-26). Let c be (-3)/6*i/2. Suppose -t + c = -13. Is t a multiple of 10?
False
Let j(t) = t + 6. Let i(d) = -2*d - 5. Let r be i(0). Let u be j(r). Does 3 divide 5/u - 14/(-14)?
True
Let y(j) = j**2 - 26*j + 8. Let g be y(23). Let i = -21 - g. Is 7 a factor of i?
False
Let t(h) = 12*h**2 + 6*h - 5. Let u be t(5). Suppose 4*q + q = u. Is q a multiple of 12?
False
Suppose -3*r + 4*t + 9 = 0, -r = -0*r - 3*t + 2. Suppose 0 = r*g + 150 + 39. Let c = 98 + g. Does 13 divide c?
False
Suppose 0*a - 5 = -a - z, 2*a = z + 10. Suppose -17 = -2*t - a*r, t = -r + 4 - 0. Let k(w) = 39*w - 1. Does 20 divide k(t)?
False
Suppose -2*d = -0*d - 2*w - 98, -3*d + 142 = 2*w. Is 5 a factor of d?
False
Let i(j) = -30*j + 201. Is i(-22) a multiple of 21?
True
Let i(r) = r**3 - 4*r**2 - 6*r + 8. Let o be i(5). Suppose 0*x + 5*a - 34 = -3*x, x = -o*a + 14. Is x a multiple of 7?
False
Is 5 a factor of 1*(246/3 + -2)?
True
Let z(l) = 149*l + 21. Is z(3) a multiple of 13?
True
Let c(z) = z**3 + 4*z**2 - z + 19. Let a be c(-5). Let u(m) = -49*m - 8. Is u(a) even?
False
Let c(a) = 2*a**2 - 11*a - 4. Let f(j) = j**2 - 10*j - 4. Let y(h) = 5*c(h) - 6*f(h). Let u be y(-3). Suppose 0 = 2*g - 9 - u. Is g a multiple of 17?
True
Suppose 4*h + 400 = -0*h. Let b be 2/(-9) - h/45. Suppose -b = -2*z + 2. Is z a multiple of 2?
True
Let r(y) = y - 1. Let z(x) = 4*x - 23. Let t(m) = 5*r(m) - z(m). Does 8 divide t(10)?
False
Let w(t) = t**3 - t**2 - 17*t - 1. Is 19 a factor of w(9)?
True
Suppose h + z - 5*z + 112 = 0, -115 = h - z. Let w = -104 - h. Is w a multiple of 11?
False
Let n = 84 + 121. Let u = n + -142. Is u a multiple of 6?
False
Is 20 a factor of 5/30 - 622*(-1)/12?
False
Let c be 2/9 + 344/72. Suppose -4 = -2*t - 2*t - 3*x, -2*t - 12 = c*x. Let d(k) = -k**2 + 7*k - 5. Is d(t) a multiple of 2?
False
Let w be 6/15 + 36/10. Suppose 4*z - w*y = -20, 4*z - 3*y + 12 = -5. Does 25 divide (-4 + z)/(6/(-63))?
False
Let u = 211 - -27. Is 15 a factor of u?
False
Let u = 1270 - 1048. Is 16 a factor of u?
False
Suppose 8*t + 1728 = 11*t. Does 64 divide t?
True
Let a(t) = t**3 - 5*t**2 - 3*t. Suppose 4 = p, 5*z - 2*p = 2*p + 4. Let n be a(z). Let f = n + 36. Does 4 divide f?
True
Suppose 1 + 3 = 2*y + 4*w, 2*w = -5*y + 34. Is 13 a factor of y/(-20) - 1914/(-10)?
False
Is 30 a factor of ((-990)/24)/((-1)/16)?
True
Suppose 15*j - 1303 = 2567. Is 32 a factor of j?
False
Let a(t) = -4*t**3 - 2*t**2 - 3*t - 1. Let q be a(-2). Suppose -28*h = -q*h + 42. Does 7 divide h?
True
Let z(r) = -r**2 - 3*r + 2. Let x be z(-2). Suppose 4*p - 5*g - 31 = 0, -2*g + 32 = 3*p - x*g. Is 7 a factor of p?
True
Suppose n - 7 - 5 = 0. Suppose 0 = 17*o - n*o - 105. Does 7 divide o?
True
Suppose 4*u - 40 = -4*w, -3*u + 21 = w - 5. Let p(r) be the second derivative of 7*r**3/6 - r**2 + r - 19. Is p(u) a multiple of 10?
False
Let w(v) = 6*v - 6. Let a(k) = -6*k. Suppose -2 = -2*b - 4. Let h be a(b). Does 15 divide w(h)?
True
Let v = 337 - 137. Does 8 divide v?
True
Let g = -2344 - -5287. Does 27 divide g?
True
Suppose 1705*r + 1040 = 1710*r. Is r a multiple of 4?
True
Suppose 2*b - 18 = -2*s - 4, -21 = 2*b - 5*s. Suppose -63 = -b*x + 41. Does 8 divide x?
False
Let w(n) = -7 + 5*n**2 + n + 8 - n. Let z = 16 + -17. Is 2 a factor of w(z)?
True
Does 87 divide (-2)/6 - (550/(-3) + 5)?
False
Let m(k) = 10*k**2 + 29*k - 10. Is 70 a factor of m(-10)?
True
Suppose -5*l - 17 = 4*r, -r - 5*l - 23 = -0*r. Suppose 3*y = r*k - 18 - 14, -3*y = 0. Is 8 a factor of k?
True
Suppose -35*y + 126 = -28*y. Is 3 a factor of y?
True
Let i(f) = -10*f**2 - f - 1. Let u be ((-20)/(-5))/4*-1. Let y be i(u). Let j = 24 + y. Is j a multiple of 8?
False
Let m(q) = -121*q - 10. Let f(c) = 364*c + 31. Let r(v) = -6*f(v) - 17*m(v). Does 36 divide r(-2)?
False
Suppose 6*x = 2*x - 528. Let u = -80 - x. Is u a multiple of 26?
True
Suppose 3*k - 2*z - 14 = 15, -2*z = 3*k - 49. Let p = 46 - k. Is p a multiple of 11?
True
Let z(k) = 28*k - 43*k + 26*k + 4. Let u(n) = -5*n - 3. Let v be u(-2). Is z(v) a multiple of 26?
False
Let j = 3972 - 2247. Is j a multiple of 19?
False
Let v(x) = 2*x**2 + 8*x + 2. Is 3 a factor of v(-6)?
False
Let h be -2*3 + 3 - 19. Let f = 64 + h. Does 42 divide f?
True
Let k = 82 + -79. Suppose 282 = 4*o - b, -k*o + 4*b + 78 = -2*o. Is 17 a factor of o?
False
Suppose 40 = 46*d - 44*d. Let t(m) = -m**2 + 20*m + 32. Is 8 a factor of t(d)?
True
Let v(l) = 384*l - 225. Does 31 divide v(3)?
False
Let b(m) be the second derivative of -m**5/20 + m**4 - 5*m**3/3 - 7*m**2/2 - m. Suppose 60*l = 55*l + 45. Is 22 a factor of b(l)?
False
Let t = -25 - -44. Suppose -t = -2*a - 11. Suppose -4*s - w = -427, 3*s + 2*w - 334 = a*w. Is 36 a factor of s?
True
Let k = 10 - 12. Let s(n) = -n**3 + 2*n**2 + 4*n + 2. Is s(k) a multiple of 5?
True
Suppose 0 = -3*v + 4*b + 9 - 31, 5*v = -b - 6. Does 6 divide (-1 - 16)*4/v?
False
Let f(b) = 18*b**2 - b + 10. Let a be f(12). Is (-4)/6 - a/(-42) a multiple of 13?
False
Suppose -2*j = 2*j - 52. Suppose -3*q - 1 - j = -l, 3*l - q = 18. Is 10 a factor of ((-1)/2)/(l/(-210))?
False
Suppose -2 = -z + 3*z + 2*j, -4*j + 5 = -5*z. Let r(g) = g**2 + g. Let o(k) = 3*k**3 + 5*k**2 + 5*k - 1. Let q(f) = z*o(f) + 5*r(f). Is q(-2) a multiple of 8?
False
Does 15 divide 104111/107 + -1 + (-3)/(-1)?
True
Let b = 4 + -9. Does 5 divide (2 + b/15)*3?
True
Suppose 2*f - 152 = 188. Is 17 a factor of f?
True
Let m(g) = -8*g - 32. Let o be m(-22). Is 5 a factor of (o/5)/3 + 6/15?
True
Is 24 a factor of (-2 + 25/5 + -11)*-29?
False
Suppose -3*r = -8*r - 50. Does 6 divide 36/r*40/(-12)?
True
Let i(g) = -g**3 - 6*g**2 - 3*g - 10. Let k be i(-6). Suppose -175 + 567 = k*j. Is j a multiple of 14?
False
Suppose 0 = -4*p + 44 + 196. Let a = p - -4. Is a a multiple of 16?
True
Let k be (4/12)/((-1)/(-6)). Suppose 29 + k = j. Suppose 0 = 3*n - j - 2. Is n a multiple of 11?
True
Is (-12090)/(-26) - 1/(2/10) a multiple of 46?
True
Suppose 4*t - 211 - 813 = 0. Is 72/(-324) - (-1 - t/18) a multiple of 2?
False
Suppose c + 63 - 22 = -4*o, 2*c = o + 8. Let b be (429/(-6))/(5/o). Suppose 5*n - b = -4*z, 4*n + 57 = 2*z + 5. Is z a multiple of 16?
True
Let i be (20/30)/((-2)/(-15)). Suppose n - 162 = -0*v - 5*v, -150 = -i*v + 5*n. Is 16 a factor of v?
True
Let y(r) = r**3 - 8*r**2 - r - 47. Is 11 a factor of y(10)?
True
Let v be ((-3)/6)/(2/(-8)). Let m(j) = 7*j**3 + j**2 + j - 2. Is m(v) a multiple of 15?
True
Let h(g) = 9*g - 6 + 11*g - 7*g - 11. Is h(9) a multiple of 19?
False
Is 11 a factor of 1789/2 - (-33)/(-66)?
False
Suppose -5801 = -8*b + 3239. Does 15 divide b?
False
Let d(j) = -11*j + 57. Does 31 divide d(-23)?
True
Let m(s) = -s**2 - 8*s + 9. Let t be m(-8). Suppose -4*j - a + 443 = 0, t*a - 345 = -3*j + 4*a. Suppose -3*g = -15, -5*f + 2*g + g = -j. Is 7 a factor of f?
False
Let i = 3 + 1. Suppose -3*c = -2*w - 69, 5*c - 14 = i*w + 99. Is 5 a factor of c?
True
Let v(l) = 8*l**2 - 12*l - 28. Is 28 a factor of v(7)?
True
Let r(l) = 2 + l**3 - 5 + 7*l**2 + 5*l**2 + 9*l + 0*l**3. Suppose 6 + 26 = -2*q - 2*x