 h(z)?
True
Suppose 4*j + t - 6*t - 405 = 0, 3*j - 270 = -3*t. Is j a multiple of 13?
False
Does 2 divide 4 + -2 + 1 - 1?
True
Let a(p) = 25*p - 25. Does 27 divide a(6)?
False
Let x = 15 - 8. Let u = 11 - x. Is u even?
True
Suppose -8*x = -2*x - 726. Is 11 a factor of x?
True
Let z = 1 - 1. Suppose z = 4*b - 0*b. Suppose 3*y - 4*m + 4 = 0, -3*y + 0*m + 2*m + 4 = b. Is 4 a factor of y?
True
Does 6 divide ((-261)/(-18))/((-1)/(-2))?
False
Let n(v) = v**3 - v - 2. Let k be n(0). Is 22 a factor of (74 - 3) + k + 1?
False
Let u = -15 + 55. Does 20 divide u?
True
Let h be 3/2*(-32)/(-6). Suppose -j + 2*b + b = -h, -4*b + 116 = 5*j. Suppose q + 9 - j = 0. Is 6 a factor of q?
False
Let q be 35/(-21)*15/(-1). Let d be (-3)/(-2) + 54/4. Let g = q - d. Is 10 a factor of g?
True
Suppose -2*g + 4*a + 22 + 8 = 0, -3*a + 5 = g. Suppose -3*u = -p - 0*u + 24, -2*u = 4*p - 110. Let v = p - g. Is 14 a factor of v?
False
Let f be ((-9)/(-15))/(2/30). Let z(r) = r**3 - 10*r**2 + 9*r - 13. Let w be z(f). Let t = 25 + w. Does 12 divide t?
True
Let s = -32 - -50. Is s a multiple of 3?
True
Let c be (2 + -3)*(-100 + -3). Suppose -2*o + 28 = 2*i, 5*o + 9 = i + c. Does 6 divide o?
True
Let x(k) = -k**3 - 18*k**2 - 19*k - 9. Is 10 a factor of x(-17)?
False
Suppose -4*n - 11 = 3*i, n - 13 = -3*i + 4*i. Let m(t) = -t**3 - 8*t**2 + 10*t + 11. Let a be m(i). Suppose -a*c + 72 = 2*c. Is 9 a factor of c?
True
Let p be 2/8 - (-286)/8. Suppose -3*l - 2*i = -6*i - p, -5*l + 4*i = -60. Suppose 5*c - l = 43. Is c a multiple of 4?
False
Suppose 0 = 2*d + 5*y - 121, -3*d = -4*d + 3*y + 77. Does 17 divide d?
True
Suppose 0 = -3*s - 0 - 30. Is 12 a factor of (-4)/(-6)*(-435)/s?
False
Let b(g) = -g - 5. Suppose -5*s = -2*y + 2 + 7, 0 = -2*y - 3*s - 31. Let a be b(y). Suppose -a*l = -l - 40. Does 10 divide l?
True
Let u(g) = g**3 + 2*g**2 - g + 5. Let t be u(5). Let i = t + -115. Suppose i = s + 4*s. Is 5 a factor of s?
False
Let g(x) = x - 8. Let h(l) = l. Let w(r) = -g(r) - 4*h(r). Let f(u) = -2*u**2 + 4*u - 1. Let b be f(3). Does 11 divide w(b)?
False
Suppose 0 = 5*y + 5, 5*j - 4*j + 3*y - 67 = 0. Is 10 a factor of j?
True
Let d(g) be the first derivative of -1 + g + 5/2*g**2. Does 5 divide d(1)?
False
Let a(p) = 17*p**2 - 2*p - 2. Is a(-2) a multiple of 14?
True
Let c(u) = -2*u + 1. Let o be c(-1). Let r(w) = o + 12 - w**2 + 2*w**2 + 0. Is r(0) a multiple of 10?
False
Let l be (-2)/3 + 77/21. Let q be -1 - -1 - 0 - -5. Is (l/4)/(q/80) a multiple of 6?
True
Let o = 103 + -35. Suppose 25*s - o = 23*s. Does 17 divide s?
True
Let d = -8 - -3. Let b be (-1 - d)*(-21)/14. Let q = 3 - b. Does 8 divide q?
False
Let m(t) = -t**2 + 4*t - 3. Let f be m(2). Let c = 9 + f. Is c a multiple of 6?
False
Suppose 5*s + 90 = 8*s. Does 6 divide s?
True
Let z(t) = 7 + 2*t + 0*t - 3*t. Is 9 a factor of z(-7)?
False
Let q(z) be the third derivative of z**4/24 + 2*z**2. Let a = -2 + 9. Is 3 a factor of q(a)?
False
Suppose -z = 2*z - 3. Let l(m) = 7*m**3 - 14*m**3 + 2*m**3 + 8*m**3 + m**2. Is l(z) even?
True
Let x be (1 - 0)*(-20)/1. Suppose -16*f - 10 = -14*f. Does 10 divide x*(2 - (-2 - f))?
True
Let g be ((-1)/(-3))/(2/36). Suppose 2*p = 4*p - g. Let t = p - -23. Is t a multiple of 13?
True
Let w = 63 - 42. Is w a multiple of 4?
False
Suppose 0 = -3*h + 23 + 25. Let k be h/(3*2/3). Let z = 10 - k. Does 2 divide z?
True
Suppose v + 5*m - 20 = 0, -v - 3*m + 4*m = -32. Suppose 0 = -2*b - v + 86. Does 13 divide b?
False
Suppose -47 = -4*u + 5. Suppose 21 = -l - u. Is 5/(-10) + l/(-4) a multiple of 4?
True
Let b(n) = 2*n**2 + 4*n - 3. Let c be b(2). Is 13 a factor of c*(-9)/(9/(-3))?
True
Let t be (-1 + (-1 - -3))*13. Suppose 4 = i, 0 = -3*c - 2*i + i + t. Suppose 2*k = -c*k + 110. Is 9 a factor of k?
False
Let v = -11 - -18. Suppose 7 = k - v. Is k a multiple of 7?
True
Let t be (-4)/(-10) - 174/(-15). Let y be (-1)/4 - (-159)/t. Suppose 41 = 2*a + y. Is 14 a factor of a?
True
Suppose 3*h - 483 + 165 = 0. Is 22 a factor of h?
False
Is ((-320)/(-50))/(2/35) a multiple of 28?
True
Let q = 49 + -15. Is q a multiple of 7?
False
Let l(r) = -19*r + 4. Let g(f) = 29*f - 6. Let a(b) = 5*g(b) + 8*l(b). Is a(-2) a multiple of 8?
True
Is 41 a factor of (-200)/(-6)*6/4?
False
Let u = 30 - 15. Does 15 divide u?
True
Suppose 0 = 5*b + 4*f - 1028 + 268, -5*f = 0. Let h = b + -106. Is 8 a factor of h?
False
Let q = 35 - 12. Let z = 16 + q. Is z a multiple of 26?
False
Let h(t) = 2*t**2 + 6*t - 20. Does 27 divide h(-12)?
False
Let d = 143 + -78. Is d a multiple of 8?
False
Does 16 divide (-4)/6 + 220/6?
False
Suppose 0 = 3*d - x - 129, 0*d + x - 215 = -5*d. Does 14 divide d?
False
Let r(b) = -b**2 + 6*b. Let j be r(6). Suppose j = -k + 5*t + 22, 0 = -3*k + 8*k - 2*t - 64. Is k a multiple of 6?
True
Let h(m) = 52*m. Is h(1) a multiple of 12?
False
Suppose 4*i = 30 + 82. Suppose 0 = -q + 3*s + 11, s = 3*q - i - 21. Suppose -79 = -4*x + q. Does 9 divide x?
False
Let a(g) = g**3 + 17*g**2 + 13*g + 2. Is a(-16) a multiple of 3?
False
Let d = -16 + 22. Let z = 3 + d. Is 4 a factor of z?
False
Suppose b = 3*a + 2*b - 34, -2*b = 3*a - 35. Suppose -a = 4*z - 63. Is 13 a factor of z?
True
Let j(a) = -a**3 + a. Let u be j(0). Suppose -b + u = -6. Is 6 a factor of b?
True
Let t(s) = -3*s - 8. Is 9 a factor of t(-6)?
False
Is (-2)/(-8) - (-315)/20 a multiple of 16?
True
Suppose -5*c + 0*c - 15 = 0. Let o(t) = -3*t**3 - 5*t**2 - 4*t - 4. Is 22 a factor of o(c)?
True
Let i be (-72)/(-2) + (0 - -1). Let d = i - -3. Is d a multiple of 20?
True
Suppose 3*r - 132 = 2*u, 2*u = -2*r + 43 + 45. Does 22 divide r?
True
Let t be (12/1)/(2/2). Suppose t = 6*g - 2*g. Suppose -4*h = 6*r - r - 150, 3*h + 117 = g*r. Is r a multiple of 15?
False
Does 27 divide (-36)/(-10)*(-195)/(-13)?
True
Let v(y) = y**3 - 5*y**2 - 7*y + 6. Let w be v(6). Does 10 divide 162/(w - -3) - -4?
False
Let c = 24 + -3. Let d(n) = n**3 - n**2 + 3*n - 5. Let t be d(2). Suppose -105 = -3*v + g, 0*v + t*g + c = v. Does 12 divide v?
True
Let p(o) = -6 + 6 + 3 + o**2. Is p(6) a multiple of 12?
False
Let l = -31 + 45. Let j = l - 7. Does 3 divide j?
False
Suppose z - 28 - 32 = 0. Does 30 divide z?
True
Let y(h) = -6*h**3 + 2*h**2 - h - 7. Is 22 a factor of y(-3)?
True
Let k be 2 - ((2 - 1) + 2). Let l be ((-1 - k)/(-1))/1. Suppose x - s - 1 = l, 7*s - 20 = 3*s. Is 4 a factor of x?
False
Let o be (-6)/(-1 + -2) - 1. Let f = o + 1. Let j = 3 + f. Is j a multiple of 5?
True
Suppose -6*x = -v - 4*x + 123, 0 = -5*x + 25. Does 19 divide v?
True
Let y(t) = -t**3 - t**2 - 5*t - 3. Suppose 3 = -7*n + 6*n. Is 7 a factor of y(n)?
False
Let p(n) = 3*n**3 - 5*n**2 + 5*n + 5. Let h be p(5). Suppose -h = 2*q - 7*q. Does 14 divide q?
True
Is (-17)/((-85)/(-120))*(0 + -2) a multiple of 12?
True
Suppose -10 = -3*s - 1. Suppose -s*p = 3*h - 15, 0 = -4*h + 5*p + 10 + 37. Is h a multiple of 6?
False
Let y = 4 + 1. Suppose 3*w = 4*h + 18, 4*w - 26 = y*h + 2*w. Is 15*h/27*-3 a multiple of 9?
False
Let z(s) = 8*s**2 - 2. Is 15 a factor of z(2)?
True
Let x = -7 - -13. Suppose -x*u + 2*u = -936. Is 17 a factor of 12/42 + u/14?
True
Suppose 0 = 3*g + 2*i + 6 - 0, -3*i = g + 9. Is (g/(-4) + 5)*5 a multiple of 8?
False
Suppose 3*k + 119 = 5*c, 2*c - k - 25 = 22. Does 15 divide c?
False
Suppose -3*t + 2*l = l - 20, -2*l + 16 = 2*t. Suppose -5*x + 3 + t = 0. Suppose -x*y - g = -34, 4*g - 14 - 8 = -2*y. Does 7 divide y?
False
Suppose -l - 22 = -3*v - 104, 0 = -3*l - 6. Let i = -17 - v. Is 7 a factor of i?
False
Suppose 5*h - h = 100. Is h a multiple of 16?
False
Let k(o) = 53*o**2 + 1. Let a be k(1). Suppose 0 = 5*g - 36 - a. Suppose 4*m + b - 155 = -g, -b = -4*m + 143. Does 15 divide m?
False
Let o = -20 - -19. Does 13 divide o*8/4*-13?
True
Let x(c) = -c**3 + c**2 + 4*c - 5. Let w(y) = -y**3 + 6*y**2 - 5*y + 4. Let a be w(5). Let l be x(a). Let k = -19 - l. Is 12 a factor of k?
False
Suppose 3*d + 3 = 0, 5*d = 3*t - 197 - 366. Is t a multiple of 9?
False
Suppose 3*k - 58 = -g, 5*k + 2*g - 96 = -0*g. Is 5 a factor of k?
True
Let l = -8 - -23. Is l a multiple of 8?
False
Let y(v) = v**3 - 9*v**2 - 7*v + 5. Does 13 divide y(10)?
False
Suppose -13 = -j - 5*f, -3*f = -3 - 3. Suppose 0 = -2*w + 63 + j. Suppose 0 = -3*p + w + 27. Is p a multiple of 10?
True
Suppose 913 = 9*y + 49. Is 12 a factor of y?
True
Let t be (