j + 7. Let g(r) = 4*r**2 - r - 4. Let x(f) = f**3 - 12*f**2 - 14*f + 8. Let p be x(13). Let m(z) = p*g(z) - 3*h(z). Is 5 a factor of m(-2)?
False
Let y be (-1*2)/(1*8/(-100)). Suppose 19*q = y*q - 780. Is 13 a factor of q?
True
Let v(j) = 2*j**3 - 6*j**2 + 15*j + 8. Is v(4) a multiple of 10?
True
Suppose 4*h + 5*v - 2626 = 0, -31*h + 3*v - 653 = -32*h. Is 29 a factor of h?
False
Let z(p) = 78*p + 12. Is z(1) a multiple of 10?
True
Let s be 32/6 - 8/(-12). Is 6 a factor of 22 - -1 - (s - 9)?
False
Suppose 4*t = -3*t + 147. Let w(d) = -d**3 + 21*d**2 + 3*d + 2. Is 9 a factor of w(t)?
False
Let c be ((-16)/10)/((-4)/(-10)). Let q = 10 - c. Is (-36)/q*(-840)/36 a multiple of 10?
True
Suppose 6*f - 4250 + 62 = 0. Is f a multiple of 9?
False
Let o(u) = 8*u**2 + 47*u + 36. Is 44 a factor of o(8)?
True
Suppose -2*k + 3*r + 1629 = 0, -5*r = -6*k + 7*k - 847. Does 23 divide k?
False
Let y(f) = f**2 - 10*f + 11. Let u(r) = -r**3 - 3*r**2 + 5*r - 7. Let h be u(-5). Is y(h) a multiple of 31?
True
Let c = 1055 - 759. Does 11 divide c?
False
Let o(z) = -2*z**2 - 2*z - 10. Let w(j) = j**2. Let d(f) = -o(f) - w(f). Does 2 divide d(0)?
True
Let c = 892 - 883. Is c a multiple of 9?
True
Let i be 6/(-9) + 34/6. Let q = -12 + i. Does 23 divide (-5 - q)*(-2 - -19)?
False
Suppose 199 = g - 2*x, -3*g + 4*g - x - 197 = 0. Let c = 15 + -9. Suppose 0 = -v + c*v - i - 205, 5*v - g = 3*i. Is v a multiple of 14?
True
Suppose 0 = i + 5, 6*b - 11782 = 2*b + 2*i. Is b a multiple of 109?
True
Suppose 2*k - 662 = -3*s + 705, -2*s + 5*k = -943. Suppose -5*x = -y + s, -2*y = 2*y + 4*x - 1860. Is (1 + -2)/((-8)/y) a multiple of 23?
False
Let b(j) = -j**3 - 10*j**2 - 2*j - 6. Let o(l) = -3*l**3 - 20*l**2 - 5*l - 11. Let w(q) = -5*b(q) + 2*o(q). Let a be w(8). Let k = a + -89. Is 14 a factor of k?
False
Let n(q) = -33*q - 18. Let d(o) = o. Let l(i) = 6*d(i) - n(i). Is 16 a factor of l(2)?
True
Suppose 0 = g + 2*f - 32, 1 + 0 = -f. Suppose 82 = -g*l + 36*l. Does 34 divide l?
False
Let n = 1839 + -1134. Does 16 divide n?
False
Let h(m) = m**3 + 9*m**2 - 9*m + 1. Let u be h(-10). Suppose 7*x = 2*x + 25, -3*x = -5*s - 55. Is 11 a factor of 0 - s - (6 + u)?
True
Suppose 3 = -5*x + 13. Suppose -x*y + 6 = -t, -y = -3*t + 8*t - 3. Suppose 3*w + 9 - 123 = t. Does 21 divide w?
False
Suppose -73*b = -75*b + 1008. Is 14 a factor of b?
True
Let q = -45 + 95. Suppose 7*u - q = 5*u. Does 11 divide u?
False
Is ((-19)/2)/((-16)/256) a multiple of 8?
True
Suppose -3*s = -4*v + 32, -2*s + s - 5*v + 2 = 0. Let i = s - -65. Is 24 a factor of i?
False
Let t be (-57)/(-18) + (-1)/6. Does 5 divide 6*t/(-6) - -24?
False
Suppose -5*o - 74 - 226 = 0. Let c = o + 115. Suppose 0 = h - 5*h + 3*x + 174, -h - 5*x + c = 0. Does 9 divide h?
True
Suppose 0 = 2*w + 2*h + 52, w = -2*w + 2*h - 73. Let f = w - -38. Does 2 divide f?
False
Suppose 0 = 18*n - 22*n + 1272. Is n a multiple of 5?
False
Let h be (-30)/(-35)*((-7)/(-1) - 0). Suppose 0 = -12*o + h*o + 2070. Is 53 a factor of o?
False
Let t(v) = v**3 - 11*v**2 - 12*v + 13. Let n be t(12). Let i be (-117)/(-15) + 3/15. Let m = n + i. Is 8 a factor of m?
False
Let a(c) be the first derivative of -c**4/4 - 2*c**3/3 - 3*c**2/2 + 10*c - 3. Let l be a(-4). Suppose 2*f - l = -2*x + 46, x - 215 = -4*f. Is 11 a factor of f?
True
Let p = -138 + 341. Does 29 divide p?
True
Let b = 225 - 122. Suppose 0 = -3*c + s + b, -4*c - 3*s + 5*s = -136. Does 14 divide c?
False
Let t = -5 - -7. Let v(u) = 3*u**3 - 2*u**2 + 4*u - 3. Let h be v(3). Suppose j = b + 45, t*b = -2*j - 2*b + h. Does 21 divide j?
True
Suppose 8 = -4*t - 2*p, 0*p - 4*p - 16 = 0. Suppose -3*u = z + 73, -49 = 2*u + z - t*z. Is 6 a factor of (u/15)/(6/(-75))?
False
Let z(x) be the third derivative of 0 - 11/60*x**5 - 7/6*x**3 + 1/120*x**6 + 1/12*x**4 + 0*x - 4*x**2. Is 15 a factor of z(11)?
True
Is 4 a factor of (4/(-24)*-3)/((-4)/(-112))?
False
Suppose -80 = o - 6*o. Suppose 5*v + 46 = o. Does 6 divide (v/(-4))/((-48)/(-448))?
False
Suppose 35 - 8 = -l. Suppose 5*d = -3*j + 245, 2*j = -d + 5*j + 31. Let r = d + l. Does 4 divide r?
False
Suppose 5*i + 3 = 53. Suppose -i = c - 40. Suppose 0 = 4*b - 3*d + c - 76, -b + 6 = 2*d. Is 10 a factor of b?
True
Let j be 9 + 53 + (2 - 3). Let d = -5 + j. Does 7 divide d?
True
Let t(l) be the second derivative of -10*l**3/3 - l**2 + l + 19. Suppose -4*g - 4 = -0*g. Is t(g) a multiple of 9?
True
Let y be (-27)/(-15) - 1/(-5). Suppose 3*r = -y*z + 8, -2*z + 14 - 6 = 0. Suppose -8 = 4*o, 40 = 3*j + 4*o - r*o. Is j a multiple of 8?
True
Let t(l) be the second derivative of l**4/12 + l**3/3 - 15*l**2/2 + 106*l. Let n(f) = f**2 - 7*f + 3. Let i be n(5). Is t(i) a multiple of 4?
True
Let z be (-1)/(-2*(-2)/(-8)). Suppose g = -z*r - g + 1106, r - 2*g - 550 = 0. Suppose -r = -5*n - 3*n. Does 23 divide n?
True
Suppose -4*c = o - 17, -3*c + 5*o - 2*o = 6. Suppose 12 = c*z - 0*z. Suppose -3*w + 176 = -0*w - q, 0 = z*w - 5*q - 253. Is 19 a factor of w?
True
Let h(t) = -2*t**2 - 12*t + 6. Let o = 96 + -102. Is 6 a factor of h(o)?
True
Let j = 8484 - 6016. Is j a multiple of 18?
False
Let a = -13 - -22. Suppose 0 = -6*t + a + 9. Is t a multiple of 3?
True
Let t(j) = j + 6. Let d(f) = -4*f - 23. Let o(u) = -2*d(u) - 9*t(u). Let q be o(-4). Does 20 divide (-7 - 12/q)*-10?
True
Is 801*(9 + -8) + 11 a multiple of 14?
True
Let z = -10 - -12. Does 2 divide 29/2 - z/4?
True
Let a = -3 - 5. Let b(k) be the second derivative of -k**3/2 + 11*k**2/2 - 8*k. Does 7 divide b(a)?
True
Let q(x) = 5*x**3 - 8*x**2 + 9*x - 15. Let y be q(5). Suppose -3*c = 2*n - 379 + 82, -3*n = -5*c - y. Is 50 a factor of n?
True
Let s = 35 + -34. Let c(q) = 24*q + 4. Let k be c(s). Suppose -k*f + 49 = -27*f. Is f a multiple of 7?
True
Let f(o) = -46*o + 14. Does 21 divide f(-7)?
True
Let h(a) = a**3 + 8*a**2 + 3*a - 18. Let b be h(-7). Let w = 8 - 6. Suppose w*u - b - 130 = 0. Does 14 divide u?
True
Let s(f) = -f + 1. Let b(d) = 3*d + 2. Let z(y) = b(y) - 3*s(y). Let v be ((-20)/6)/(6/(-9)). Is z(v) a multiple of 20?
False
Let m(w) = 84*w**2 + 112. Let x(s) = -s**2 - 1. Let j(a) = m(a) + 112*x(a). Let n be j(1). Let p = 58 + n. Is 10 a factor of p?
True
Let w = -15 + 53. Suppose 3*i = 2*i + w. Is i a multiple of 25?
False
Let i = 1 + -33. Does 20 divide (-648)/i*(-8)/(-3)?
False
Let s(h) = -2*h**3 + 3*h**2 + 2*h - 29. Does 22 divide s(-6)?
False
Let j(f) = f**3 - 5*f**2 + 2*f - 3. Let t be j(6). Suppose 3*y + 1 + 5 = 0. Let z = t - y. Is z a multiple of 10?
False
Let s be ((-12)/30)/(2/30). Is (9/s)/((-3)/126) a multiple of 7?
True
Let d(z) be the second derivative of -z**4/12 + 35*z**3/6 - 6*z**2 + 3*z - 3. Is d(26) a multiple of 37?
True
Let g = -1 - 0. Let r be 3/((-9)/8 - g). Does 11 divide (r/(-36))/(2/81)?
False
Let c be ((-304)/(-10) - 2) + (-2)/5. Suppose 0 = -4*t - t - 2*q + 200, -c = -t + 2*q. Does 38 divide t?
True
Suppose 19*y - 2*l - 436 = 17*y, -y + 5*l + 226 = 0. Is y a multiple of 18?
True
Let w(h) = -h**3 + 4*h**2 - 7*h - 11. Let v(a) = a**2 + 1. Let k(i) = 6*v(i) + w(i). Does 14 divide k(7)?
False
Let d(y) = 6*y**2 + 82*y - 82. Is 7 a factor of d(-15)?
False
Let d(a) = -a**3 - 27*a**2 - 28*a + 11. Let p be d(-26). Suppose 8*w - 5*w - p = 0. Is w a multiple of 20?
False
Suppose 2*i - 6*o + 3*o = 5, 0 = -2*o - 6. Is 22 a factor of i/(-1 - 0)*33?
True
Suppose -23716 = -53*j + 53452. Does 14 divide j?
True
Let j be 0/(-3) + 23 + -1. Suppose 2*u - 94 = -32. Let t = u - j. Is 3 a factor of t?
True
Let y(o) = 2*o**2 + 53*o + 17. Does 8 divide y(-31)?
True
Let a(c) = 2*c**2 + 8*c - 48. Is 3 a factor of a(8)?
True
Suppose 3*t - 100 = -2*t. Suppose -5*s + 0 = -t. Is 2 a factor of s?
True
Let v(b) = -79*b + 1. Let g be v(-1). Let y = 30 + -28. Suppose y*l + g = 3*x, 7*x - 145 = 2*x + l. Is 7 a factor of x?
False
Let a(n) = 2*n**2 + 2*n - 28. Is a(-12) a multiple of 21?
False
Let s(g) = g**2 + 5*g - 19. Let b be s(-6). Let h = b + 100. Does 22 divide h?
False
Suppose 0 = -2*k + 6 + 12. Suppose -153 + 711 = k*s. Does 4 divide s?
False
Suppose -396 = -5*q + q. Let o = q - 194. Let k = o - -137. Is k a multiple of 21?
True
Suppose -4*q - 766 - 658 = -4*z, 711 = 2*z - q. Does 4 divide z?
False
Let l(s) = -57*s + 525. Does 28 divide l(-35)?
True
Is 27 a factor of ((-2)/(16/(-74)))/((-23)/(-3128))?
False
Suppose 11*o - 4*