4 divide h?
True
Let f = 45 - 28. Suppose -y = 5 - f. Is -6*((-32)/y - 0) a multiple of 14?
False
Let y(w) = 3*w**2 + 6*w + 30. Is y(-13) a multiple of 29?
False
Let s(p) = -8*p**3 + 10*p. Does 5 divide s(-3)?
False
Let p = -176 + 512. Is 21 a factor of p?
True
Let u be -1 + (-2 - -1) - -12. Suppose -u = 2*m - 5*x - 63, 0 = 5*m + 2*x - 147. Suppose 5*f = -y + m, 2*y + y + 3*f = 63. Does 11 divide y?
False
Suppose 5*d - 13 = 3*b, -3*d + 15 = 2*d - 5*b. Suppose -3*v + 24 = l + 2*v, 0 = l - d*v - 10. Is l a multiple of 7?
True
Suppose -61*a + 8071 + 20050 = 0. Is a a multiple of 16?
False
Let x be (1 - 4/8) + (-249)/2. Let j = 304 + x. Does 45 divide j?
True
Let d(r) = 9*r**2 - 7*r + 12. Is 34 a factor of d(2)?
True
Suppose 0 = -4*p + r - 32, 0 = 3*p + 2*r + 12 + 23. Let j = p - 15. Let h = 36 + j. Is 4 a factor of h?
True
Is 77 a factor of 13869/18 + 1/(-2)?
True
Let j be 14/4 - (-2)/(-4). Suppose -x - 5*b + 180 = 4*x, -5*x + 180 = j*b. Suppose -5*h + x = -54. Is h a multiple of 9?
True
Let q(j) = -j**2 - 3*j - 1. Let s be q(-7). Let r be 220/(-35) - 2/(-7). Is 13 a factor of s*(-4 - r)/(-2)?
False
Suppose 0 = -4*w - 5*m + 46 + 2, 0 = -5*w - m + 60. Let y be (-34)/(-8) + 9/w. Suppose 0 = 2*p - y*c + 3*c - 138, -9 = 3*c. Is 18 a factor of p?
False
Let u(x) = -x**3 + 30*x**2 - 99*x - 27. Does 7 divide u(22)?
False
Suppose -3260 = 14*a - 24*a. Is 31 a factor of a?
False
Is 1/6 - 3183/(-18) a multiple of 8?
False
Suppose -76 = -4*k + 44. Is ((-450)/4)/(k/(-40)) a multiple of 10?
True
Suppose 2592 = 17*a - a. Is 9 a factor of a?
True
Suppose 1627 = -21*j + 4567. Is j even?
True
Suppose 656 = -10*g + 2*g. Let k = -65 - g. Is 5 a factor of k?
False
Suppose -4*g + 3*a = -740, -926 = 5*g - 10*g + 4*a. Is g a multiple of 7?
True
Suppose -4*i + 18 = -10. Let x be 6/4 + 38/4. Suppose -x*z = -i*z - 144. Is z a multiple of 9?
True
Suppose -212*r = -207*r + 590. Let j = -100 - r. Is 2 a factor of j?
True
Let b(g) = g**3 + 9*g**2 + 4*g + 2. Is 39 a factor of b(10)?
False
Suppose -21*z - 2*z + 8280 = 0. Is z a multiple of 36?
True
Suppose -10 = -4*s - 2. Let w be (s + 3/(-3))*-18. Is (w/15)/(6/(-80)) a multiple of 16?
True
Let p be 6/(-4) + 723/(-6). Let h = p + 183. Does 9 divide h?
False
Is 12 a factor of -3*(-5)/(-2)*(-128)/30?
False
Is 7 a factor of 7 - 4 - 3/((-21)/6391)?
False
Let l(h) = 2*h + 285 + 8*h**2 + 8*h - 303. Does 15 divide l(4)?
True
Suppose 0 = -3*b - 4*i - 11, -b + 3*i = -0*i - 18. Suppose -p = -u + 31, -2 + 5 = b*p. Does 9 divide u?
False
Let u(j) = -2*j**2 - j + 5. Let k be u(3). Let n = 19 + k. Does 17 divide (n/(-3))/((-1)/107)?
False
Let d = 1316 - -770. Is 36 a factor of d?
False
Suppose 847*p + 10332 = 868*p. Is 12 a factor of p?
True
Let x(o) = -4*o - 1. Let t = 12 - 1. Let y = -21 + t. Is x(y) a multiple of 13?
True
Suppose 2*t + t = 5*p - 125, 4*p - 78 = -2*t. Is p a multiple of 3?
False
Is 6 - 27/(5 - (-2658)/(-528)) a multiple of 6?
True
Let t(c) be the first derivative of c**4/2 - 7*c**3/3 + 10*c - 7. Does 17 divide t(5)?
True
Let t be (14 + -2)*6/(-4). Let y = t - -30. Is 7 a factor of ((-9)/(-4))/(1/y)?
False
Suppose 2*a - 120 = -4*g, -4*g - 5*a + a = -120. Does 3 divide g?
True
Let b(i) = 4*i - 30. Does 11 divide b(25)?
False
Suppose 38*n - 14872 = 25*n. Is n a multiple of 13?
True
Suppose -3*t + 8*g - 3*g - 40 = 0, -t - 5*g - 20 = 0. Let j be (-40)/(-50)*t/2. Does 9 divide (j/(-8))/((-5)/(-180))?
True
Let k(r) = r - 3*r + 0*r + 2 + 0*r + 7*r**2. Let v be k(1). Let m = 9 - v. Is m even?
True
Let o = 8 + -5. Suppose -2*n = -o*w + 25, 5*n - 4*w + 52 = -0*w. Let s(b) = b**3 + 13*b**2 + 18*b - 7. Is 43 a factor of s(n)?
False
Suppose 0 = -5*u + 12*u - 2954. Does 14 divide u?
False
Suppose -10*r + 579 = -11. Suppose -4*u - 7 = -r. Suppose u*v = 4*v + 450. Does 10 divide v?
True
Suppose 30 = -v - q, -5*q - 19 = 6. Let f be (1 - 36/20)*v. Suppose -h - f = -3*h. Is h a multiple of 10?
True
Let l(t) = 9*t - 40. Let b be l(5). Let i(o) = -179*o**3 - o. Let f be i(-1). Suppose 0 = -4*k - 4*u + f, 0 = -b*k - 4*u + 128 + 96. Does 22 divide k?
True
Suppose 2*w - 189 = 3*u, -u + 6*u = 3*w - 314. Let i = u + 108. Is i a multiple of 6?
False
Suppose -k + 5*t = -399, 4*k = 3*t + t + 1548. Suppose 8*h - k = -4*h. Is 32 a factor of h?
True
Let z = 223 - 181. Does 7 divide z?
True
Suppose -t - 30 = m + 4*t, -5*m - 5*t = 150. Is 15 a factor of 1/2 - 885/m?
True
Let f be 1 + (-203 - (1 + -1)). Let c = -115 - f. Does 30 divide c?
False
Let r(z) = -z - 3. Let g be r(-3). Suppose -3*l = -5*v - 3, 2*l = 2*v - g*v - 2. Is ((-2)/l)/(4/296) a multiple of 10?
False
Let t = -43 - -43. Suppose -4*s = -2*u - 90, t = -4*s - u - 2*u + 95. Is 9 a factor of s?
False
Let x = 254 - -571. Is x a multiple of 9?
False
Suppose 0 = 4*m - i - 6, -5*i + 16 = 3*m - 0*m. Let g(q) = 5*q**2 + 3*q - 6*q + 2*q**2. Is 9 a factor of g(m)?
False
Let r(p) = p**3 + 9*p**2 + 5*p - 5. Let v be r(-6). Suppose -405 = 68*j - v*j. Is 16 a factor of j?
False
Let z(u) = -217*u + 53. Is 13 a factor of z(-3)?
False
Let u(m) = m - 1. Let p be u(4). Suppose -5*b - n - p*n = -19, -6 = -b - 3*n. Does 5 divide 13 - (-1 + b - 1)?
False
Let m be (2/(-1))/((-17)/(-34)). Does 16 divide m + 0 + (-258)/(-10 - -7)?
False
Suppose -3*l = -f + 150, -3*f + 13 = 4*l - 489. Is 11 a factor of f?
False
Is (119/(-21) + 5)*-408 a multiple of 34?
True
Let o = 623 + -363. Is 14 a factor of o?
False
Suppose -2*v + 3*w = -325, -2*v - 5*w + 53 = -312. Suppose 254 = 5*b - 2*b - p, -2*b + p + v = 0. Is b a multiple of 13?
False
Let v(m) = -m**3 - 7*m**2 - 5*m - 2. Let i be v(-6). Let j be -2*(4/i)/1. Is 19 a factor of ((-126)/(-3) + -1)*j?
False
Suppose -5*i = 20, -13*p = -11*p - i - 256. Is p a multiple of 14?
True
Let m be (20/(-3))/(2/(-3)). Does 5 divide ((-12)/(-9))/(m/75)?
True
Let u = -22 + 26. Suppose u*n - 62 = -y + 3*y, -n + y + 17 = 0. Is 14 a factor of n?
True
Let g(q) = 3*q + 2. Let t be g(15). Let b = t + -28. Is b a multiple of 6?
False
Let t = 9 + -7. Suppose 0 = -3*u + 4*u. Suppose 4*s - 36 = -t*q + 18, u = -s - 3*q + 11. Does 14 divide s?
True
Suppose 76*p + 4090 = 86*p. Does 30 divide p?
False
Is 656/(-4)*(4 - 14) a multiple of 40?
True
Let b be 147/(-12) - 6/(-24). Does 15 divide (-1569)/(-21) + b/(-42)?
True
Suppose 0*z - 3*z - 10 = 4*k, 2*z - 24 = 5*k. Suppose v - z = 2. Suppose 38 = v*i + 3*m, -3*m + 5*m = -4. Does 11 divide i?
True
Suppose 0 = -2*d - c + 1298 + 356, -5*c = 10. Is 36 a factor of d?
True
Let z(m) = 21*m**2 + 22*m + 153. Is z(-9) a multiple of 46?
True
Let q = 0 + 1. Let f be (-3 + 2)/(q/(-2)). Suppose -2*y - 26 = -6*y - 3*w, 4*w = -f*y + 8. Is y a multiple of 4?
True
Let y = 22 + -15. Does 13 divide y*-2*(-153)/34?
False
Let o = -637 - -1249. Is o a multiple of 51?
True
Is 3 a factor of 225/50*(-168)/(-9)?
True
Suppose 3*d + 10 = 5*g, 3*d + 0*g + 16 = -g. Let u(f) = f**2 + 4*f. Let b be u(d). Suppose b*o - 76 = o. Does 19 divide o?
True
Let g = -14 - -14. Suppose 0 = -2*b - g + 8. Suppose 25 = b*z - 11. Is z a multiple of 9?
True
Let g(s) be the third derivative of -7*s**4/24 - s**3/3 + 21*s**2. Is g(-1) a multiple of 5?
True
Let q(g) = 3*g**2 + 4*g + 1. Suppose 2*w + m + 4*m + 14 = 0, -4*w - 46 = m. Let d be (-1)/(20/w + 2). Is q(d) a multiple of 5?
False
Let d = -9 - -15. Let s(y) = -y + 11. Let t be s(d). Suppose -t*n + 6*n - 33 = 0. Is 11 a factor of n?
True
Let y(v) = -104*v - 177. Is y(-4) a multiple of 10?
False
Let d = 19 - 16. Let p be (-1 + 4)/(-4 + d). Is 22 a factor of 3/(p/(-61)) - -1?
False
Let s = -2607 - -5212. Does 30 divide s?
False
Let t(b) = 2*b**2 + 4*b - 50 + 103 - 48. Let h(g) = -2*g + 7. Let u be h(6). Is t(u) a multiple of 17?
False
Let d = -2479 + 2700. Is d a multiple of 17?
True
Suppose -4*w = -93 + 13. Suppose -539 = 9*c - w*c. Does 11 divide c?
False
Let s be -3 - (4/4 - -11). Is (-8 + 3)*(s - 0) a multiple of 15?
True
Let w(b) = -41 + 40 + 0*b - 6*b + 8*b**2 - b**3. Is w(7) a multiple of 6?
True
Let p be 798/189 + (-2)/9. Suppose p*b - 13 = -t, 3*t = -b - 3*b + 55. Is t a multiple of 21?
True
Is (-61)/(-3)*(-21 - -24) a multiple of 52?
False
Let f(y) = -y**3 + 9*y**2 + 11*y - 6. Let s be f(10). Let l = -343 + 499. Suppose o - 48 = -k, -2*o = -s*k + 3*o + l. Does 19 divide k?
False
Suppose 26 = 2*b + 2*t - 6, 5*b = 5*t + 120. Suppose 6*z = 5*z + r - 