pose -62*h + 92*h - 33480 = 0. Is h a multiple of 36?
True
Suppose 5*p - 15 = 2*p, f - 5*p + 22 = 0. Suppose f*i - 111 = -2*b, 0*b - 5*b - 93 = -2*i. Does 13 divide i?
True
Suppose 4*c - u - 414 = u, 0 = 5*c + 4*u - 511. Let f(m) = -2*m**3 - 44*m**2 - 44*m - 39. Let s be f(-21). Suppose s*z = 104 + c. Is 27 a factor of z?
False
Let u be ((-275)/20 - -4)*(2 + 6). Let l be 0/1 - (2 - 1). Is l/(u/77 + 1) a multiple of 21?
False
Suppose 30*v + 602 = 37*v. Is v a multiple of 4?
False
Let g be (-109 + -7)/(4/(-6)). Suppose -g = -3*s + s. Suppose -4*i + 25 = -s. Is 7 a factor of i?
True
Suppose 5*u - 4*u + 7 = 0. Is u/(14/(-16)) + 0 a multiple of 4?
True
Suppose 5*k + 0*k - 935 = 0. Let o = 41 + k. Is 19 a factor of o?
True
Let k be (1 - (-30)/(-4))*-4. Suppose k = -c + 3*i, -3*i + 8*i = -2*c - 30. Is ((-56)/6)/(c/30) a multiple of 5?
False
Let q = 2097 - 1635. Does 11 divide q?
True
Suppose 213 = 5*v - 67. Suppose -3*i = v + 76. Let y = -33 - i. Does 2 divide y?
False
Let v(r) = -r**2 - 11*r - 13. Let h be v(-9). Let a = 10 - h. Is (-4)/(-10) + 68/a a multiple of 7?
True
Suppose -17944 = -5*v - o, -v + 17940 = 4*v + 5*o. Does 103 divide v?
False
Is 14/(-1*6/(-285)) a multiple of 35?
True
Let z(n) = n + 16. Let j = -13 - -15. Suppose -4*o - q + 5 = -j*q, 3*q = 2*o - 15. Is 8 a factor of z(o)?
True
Suppose -19*c - 17 = -207. Is 3 a factor of c?
False
Let j be (36/(-45) - (-1)/(-5))/(-1). Suppose -5*s = 3*f - 255, -2*s + 4*s + 4*f - 88 = 0. Let y = s + j. Is 12 a factor of y?
False
Let p(k) = 12*k + 1 + 0 + 34*k. Is p(1) a multiple of 8?
False
Let w(o) = -18*o + 21. Suppose 5*r + 46 = -4*y, y - 2*r + 3 = -2. Does 32 divide w(y)?
False
Let s be (0 + -1 + 0)*-2. Suppose -s*d + 2 = -w, -d + 18 - 7 = 2*w. Suppose 3*q - w*q = 3*h - 20, -4*q + 3*h = -110. Is 13 a factor of q?
True
Let c = -366 - -859. Is c a multiple of 29?
True
Is 88 a factor of (-27000)/(-405)*(13/4 - 1)?
False
Let y(s) = -s**3 + 6*s**2 + 18*s - 16. Let i be y(8). Suppose -3*x + 114 = 3*c, i = 5*c - 0*x - 4*x - 172. Is c a multiple of 4?
True
Suppose 0 = 2*q - 531 + 211. Is q a multiple of 8?
True
Let t(o) = -2*o**3 - 8*o**2 + 5*o + 9. Let k be t(-6). Let f = k + -88. Is 35 a factor of f?
True
Is 8 a factor of 36/(-54) - (-1390)/6 - -4?
False
Let g be 25/(0 + 5) - 3. Suppose s - 138 = -g*s. Does 19 divide s?
False
Let j(n) = -n + 7. Let y be j(4). Is 10 a factor of y/5 + 18291/65?
False
Let z(u) = u**3 - 10*u**2 - 12*u + 11. Let j be z(11). Suppose j = -5*b + 11*b - 1152. Does 12 divide b?
True
Let f(t) = 16*t - 4. Let d(k) = 17*k - 5. Let i(h) = -2*d(h) + 3*f(h). Suppose 4 + 0 = 2*o. Is i(o) a multiple of 12?
False
Let z = 1 + -7. Let m = z + 8. Suppose m*k - 28 = -4. Does 3 divide k?
True
Suppose -10*v = -13*v + 1620. Is v a multiple of 27?
True
Suppose -34*t + 35*t = 8. Let c(m) = 8*m + 1. Let b be c(4). Let w = b - t. Is 16 a factor of w?
False
Suppose 38 = 4*w - 3*w. Suppose -2 = -3*k + 5*j - j, 0 = -3*k - 4*j - w. Is 324/45*(-20)/k a multiple of 4?
True
Suppose 6600 = x + 4*x. Does 10 divide x?
True
Let h be 2 + (-1 + 2)*-15. Let s = 60 + h. Does 14 divide s?
False
Let j(q) = -q - 3. Let t be j(-6). Let a = -12 - -12. Suppose -t*p + 27 = -a*p. Is 9 a factor of p?
True
Let b be (10 - 7)*5/3. Suppose 3*c - c - 12 = -2*z, -3*c - b*z + 22 = 0. Suppose 2*g = -c + 28. Is g a multiple of 7?
False
Let n(h) = -h**3 + 23*h**2 + 18*h + 16. Is n(8) a multiple of 80?
True
Let i(f) = f**3 + 3*f**2 - 5*f - 2. Let g be i(-4). Suppose 0 = -3*u - g*u + 670. Does 20 divide u?
False
Let o(j) = j**2 - 8*j + 17. Let r be o(5). Suppose -n + 449 = 5*x + r*n, 89 = x + n. Does 13 divide x?
True
Let w be 2 - 21*2/6. Let g(d) = -d**3 - 3*d**2 - 2*d - 6. Let z(j) = -j**3 - 2*j**2 - 2*j - 6. Let x(y) = 3*g(y) - 2*z(y). Is 4 a factor of x(w)?
True
Let h be 625 - ((1 - -2) + -4). Suppose -558 - h = -8*d. Does 37 divide d?
True
Let d = 0 - -50. Is 11 a factor of d?
False
Suppose -3*h + 1467 = -633. Suppose 5*u + 0*u - h = 0. Does 18 divide u?
False
Let p(h) = -h**2 - 3*h + 1. Let z be p(-7). Does 18 divide 430/6 - 9/z?
True
Let b(h) = 30*h - 270. Is 6 a factor of b(13)?
True
Let g(j) = 4*j**2 + 57*j + 144. Is g(-22) a multiple of 7?
True
Let v(u) = -u**3 + 16*u**2 + 22. Let p be v(16). Suppose -24*o = -p*o - 8. Suppose o*y - 72 = -2*y. Is 12 a factor of y?
True
Suppose q + 5*d - 282 - 331 = 0, -5*q - 3*d = -3043. Does 38 divide q?
True
Let h(f) = f**3 + 11*f**2 - f - 16. Let d be h(-11). Let n be ((-14)/(-10) + -2)*d. Suppose -20 = -n*s + 10. Is 4 a factor of s?
False
Let x(h) be the second derivative of -h**3 + 2*h**2 - 8*h. Is x(-11) a multiple of 15?
False
Suppose -4*s + 20 = -0. Let h be 16/5*s/2. Does 13 divide ((-96)/(-10))/(h/40)?
False
Let o(t) = 3*t + 1. Let f be o(0). Is 12 a factor of (1/1)/(f/151)?
False
Suppose 0 = -3*w + 3*q + 27, 3*w = q - 2*q + 11. Suppose 0*d = w*d - 25. Suppose d*s - 3*s - 4*y = 72, -s - y + 33 = 0. Does 9 divide s?
False
Let q(m) = m**2 + 2*m. Suppose 2*i - 15 + 23 = 0. Let n be q(i). Suppose 303 = -n*b + 11*b. Is b a multiple of 29?
False
Let q(k) = k**2 + 7*k + 4. Let i be q(-5). Let u = -22 + 5. Let p = i - u. Is 11 a factor of p?
True
Let b = 24 + -28. Let p be (0 - 2/4)*b. Suppose -3*n - 3*i + i = -46, 2*n - p*i - 44 = 0. Is 6 a factor of n?
True
Suppose 0 = 5*m - 5*z - 1165, -9*m + 7*m + z + 461 = 0. Is m a multiple of 57?
True
Let w(j) = j**3 + j**2 + 3*j + 370. Is 5 a factor of w(0)?
True
Suppose 8 + 1 = 3*a. Let k = 11 - a. Does 4 divide (-47)/(-3) - k/12?
False
Is 19 a factor of ((-342)/12)/(12/(-416))?
True
Let r(h) = 94*h - 44*h - 48*h - 2 + 15*h**2. Is 2 a factor of r(1)?
False
Suppose -6*x = 2*x - 88. Suppose -5*h = -34 - x. Is 9 a factor of h?
True
Suppose -3*l = -j - 12, 2*j = 5*j - 2*l + 8. Suppose a + 0*a - 2 = j. Suppose -a*d + 66 = d. Does 22 divide d?
True
Let t = 1101 - 660. Is 21 a factor of t?
True
Let f = 40 - 35. Suppose p - f*d = 47, d - 20 = 2*p - 132. Is p a multiple of 22?
False
Let o = 1342 - 876. Does 32 divide o?
False
Let h = 561 + -156. Is h a multiple of 45?
True
Suppose -4*f - 2*v + 33 - 1 = 0, 0 = -3*f + 4*v + 24. Suppose f*l - 5*l = 48. Does 2 divide l?
True
Let b = -10 + 29. Suppose -b = -5*q - 4. Is 2 a factor of q?
False
Let o be 4*((-3)/12)/(1/(-31)). Suppose 20 + o = a. Is a a multiple of 9?
False
Suppose 5*k = 4*y - 191, 4*k = -5*y + k + 248. Suppose 2*r = -4*w + 22, -y = -5*r - 6*w + 2*w. Is 3 a factor of r?
True
Let y be 4 - (1 + -2 - 26). Suppose -w + 2*r = -16, w - y = -0*w - 3*r. Does 11 divide w?
True
Let b = -760 + 1192. Does 48 divide b?
True
Let d(s) = 11*s - 3. Let g(r) = 5*r**3 + 2*r**2 - 2*r + 1. Let k be g(1). Does 9 divide d(k)?
True
Suppose 0 = 2*p + 4*b - 44, 0 = -2*b - 3*b - 5. Is 3 a factor of p?
True
Is 748 - (-9 - (-6 - 1)) a multiple of 14?
False
Suppose -r - 2*r - 31 = 4*d, 0 = -2*r - d - 19. Let z = r - -17. Suppose -y + 7 = b, 3*b = -4*y + 16 + z. Is y even?
False
Let f be 198 + 17 + 0 + (1 - -1). Suppose 5*g - 4*c - f + 81 = 0, -104 = -4*g + 2*c. Is 7 a factor of g?
False
Suppose 20 = -4*q + 5*z, 2*q - 12 = 5*q - 3*z. Suppose q = 6*m - 34 - 182. Does 9 divide m?
True
Let v(p) = -p**3 + 3*p**2 + 2*p + 10. Let s be v(4). Let a = 42 + s. Does 17 divide a?
False
Suppose 11*h + 720 = 15*h. Is 6 a factor of h?
True
Suppose -4*s = 4, 0 = 13*b - 10*b - 5*s - 3365. Does 8 divide b?
True
Let u(m) = 2*m**3 - 20*m**2 + 43*m - 46. Does 12 divide u(14)?
True
Let m be ((-6)/(-8))/(19/76). Suppose 5*a + 11 = 2*i, -3*i = -a - m*a - 27. Does 11 divide i?
False
Suppose -567 = -2*b - 73. Is b a multiple of 5?
False
Suppose -3*n + 258 = s, -6*n + 10*n = 5*s - 1309. Is 29 a factor of s?
True
Let g be 888/84 + (-8)/14. Suppose 2*f - 3*z = f + g, 24 = -4*f - 4*z. Does 28 divide (1 - (-1)/f)*56?
True
Let m be 1/(-5) + (-122)/(-10). Suppose -5*s + 5*y - 3*y = -20, 4*y - m = -3*s. Does 11 divide -6*(-68)/8 + s?
True
Let a be ((-2)/(-4))/(1/654). Let u = -171 + a. Is 13 a factor of u?
True
Let z(f) = 33*f - 4*f**3 + 7*f**3 - 6*f**2 - 4*f**3 + 12 - 3*f**2. Is 16 a factor of z(-12)?
True
Let f = 896 - 636. Suppose 487 + f = 3*x. Suppose 78 - x = -3*k. Is 19 a factor of k?
True
Let i(j) = 16*j**2 + j + 1. Let r be i(2). Let a = r - -53. Is a a multiple of 17?
False
Let d(q) = 3*q**3 + q**2 + 32*q + 70. Does 17 divide d(10)?
False
Let h(n