**2 - 48*h - 592. Does 82 divide y(-13)?
True
Is -6*(11/(-77) + 3342/(-28)) a multiple of 24?
False
Let a be (-1 + -112)/(11/(-33)). Suppose a = 3*s - 2*q - 273, 4*s = 2*q + 816. Suppose 7*j - j - s = 0. Does 17 divide j?
True
Suppose -12*h - 818 + 4646 = 0. Is h a multiple of 21?
False
Suppose 0 = 132*c - 13*c - 234549. Does 6 divide c?
False
Let a = 15 + 4. Suppose a = -r + 67. Suppose -3*k + r = -k. Is k a multiple of 10?
False
Suppose d + d = 5*i - 3, 2*d - 3*i = -5. Let s be (d + 4 + -1)*195. Let v = -87 - s. Does 35 divide v?
False
Suppose -u - 2*a + 3*a + 11 = 0, -2*u = -3*a - 25. Does 14 divide 211 - (10/u + (-16)/64)?
True
Suppose -o - 3*o + 2*r + 456 = 0, r + 2 = 0. Suppose -o = -6*d - 17. Is d a multiple of 16?
True
Suppose 4*t - 3*m = 2*m + 35, 11 = t - 2*m. Suppose 0 = -t*c + y + 801, 0 = -5*c + 3*y + 908 - 105. Is 40 a factor of c?
True
Suppose 205 = 11*p - 1852. Is 27 a factor of p?
False
Let r be (-9)/((-40)/15 - -3). Let q = 79 + r. Is q a multiple of 13?
True
Let p = 1 + -4. Does 5 divide -4*(p - (-21)/12)?
True
Let b(h) = -2*h + 15. Let s be b(9). Let j = s - -41. Is j a multiple of 38?
True
Let f = 128 + -110. Suppose -3*g - 3*l + 18 = 0, -3*g + 3*l = -0*l - f. Does 6 divide g?
True
Let y be (-3)/(-1) - (11 + 3). Let r = y + 16. Suppose -52 = r*l - 7*l. Is l a multiple of 18?
False
Suppose 0 = k + y - 0 + 4, -5*k = 4*y + 17. Let p(a) = 14 + 4*a - 2 - 10 + 52*a**2. Does 11 divide p(k)?
False
Let y(l) = 2*l**2 + 3*l - 2. Let x be (-2)/2 + 3 + -5. Let b be y(x). Suppose 0 = 2*c - b*c + 75. Does 6 divide c?
False
Let g(s) = -s**3 + 3*s**2 - s. Let a be g(4). Let p(l) = l**2 + 19*l - 17. Does 2 divide p(a)?
False
Let q(l) be the first derivative of -l**3/3 - 4*l**2 + 5*l - 2. Let h(s) = 7*s**3 - s**2 + s + 2. Let c be h(-1). Is 3 a factor of q(c)?
True
Let f be 0 - (3 + (-4)/(-4)). Let q be f/(-14) - 2/7. Suppose -l + 5*l - 156 = q. Is l a multiple of 13?
True
Suppose -2*b - 5*v - 8 + 2 = 0, -b = 4*v + 6. Suppose 3*i = b + 22. Is i even?
True
Let f(j) = -2*j**3 - 7*j**2 - 3*j + 4. Let y be f(-4). Suppose i - 60 = -2*i - 3*t, -5*i = -5*t - 110. Let s = y - i. Does 3 divide s?
False
Suppose -451 + 41 = -5*o. Let s be (o/(-8))/((-2)/16). Suppose 168 + s = 5*u. Is 16 a factor of u?
False
Let g be (-1)/((-3)/2487) + 3. Suppose c - 645 = g. Is 6 a factor of 1/(-7) + c/49?
True
Suppose 772 = 2*d - 4*n, 57*d - 60*d = -5*n - 1159. Is d a multiple of 3?
False
Let u(p) = p - 6. Let g be u(-8). Let k be 2/(-7) + 206/g. Let y = k + 22. Is y even?
False
Let u = 6 + 1. Let r be u - 10 - (-1 - -274). Is 2/6 + r/(-9) a multiple of 31?
True
Let n be 27/15*(-160)/(-24). Let v(m) = -m**2 + 26*m + 1. Is 13 a factor of v(n)?
True
Suppose 0 = -3*b + 42 - 9. Suppose b*y = 8*y + 93. Is 31 a factor of y?
True
Let u(g) = -21*g**3 + 3*g + 2. Let c be 5 + (2 + -4 - 4). Is u(c) a multiple of 2?
True
Does 3 divide (-16)/(-20)*(-750)/(-4)?
True
Suppose -26*q = -6*q - 5180. Is q a multiple of 7?
True
Suppose -4*b = 4, 5*b = 3*j + 2*b + 120. Let z = j + 113. Is 9 a factor of z?
True
Let f(j) = j**3 + 3*j**2 + 4*j + 4. Let y be f(-2). Suppose -s = y, -2*s = 2*w + 2*w - 168. Is w a multiple of 7?
True
Let j(s) = -s**3 + 40*s**2 - 26*s - 82. Is j(39) a multiple of 25?
True
Suppose -8 = -l + 6*l - 2*r, -l = 4*r - 16. Suppose g - 4*s + 11 = l, 0*s + 41 = 4*g + s. Is g a multiple of 3?
True
Let l(m) = 57*m + 49. Is l(1) a multiple of 15?
False
Let w(c) = -33*c. Let m be w(-3). Let b = -53 + m. Is 16 a factor of b?
False
Let h be (-5)/(-2)*2 - 82. Let p = h + 84. Is p a multiple of 4?
False
Let n = 458 + -193. Is n a multiple of 6?
False
Is 2/9 + (1612996/99)/14 a multiple of 81?
False
Let f = -211 + 330. Is 15 a factor of f?
False
Suppose -2*i - h = 3*h - 956, -i + h + 487 = 0. Does 6 divide i?
False
Suppose 8*r - 9*r - 3*w = -72, -w = -3*r + 186. Is 7 a factor of r?
True
Suppose 11*z + 153 = 14*z. Let q = z - -31. Is q a multiple of 31?
False
Suppose 0 = -v - 7*m + 2*m + 6, -5*m - 30 = 5*v. Let a(d) = -d + 1. Let z(k) = -4*k + 2. Let i(t) = a(t) + z(t). Is i(v) a multiple of 16?
True
Let l(h) = -8*h - 21. Let a be l(-4). Let w(v) = 19*v - 23. Is w(a) a multiple of 31?
True
Suppose -22*i + 26*i = 28. Suppose 0 = -i*v - 2 + 37. Does 5 divide v?
True
Suppose 4*h + 2*v - 196 = 0, -v = 4*h - 2*v - 190. Let m = h - -246. Suppose -7*b + m = -b. Is 24 a factor of b?
False
Does 39 divide (-3)/(-4)*-1 + (-10179)/(-52)?
True
Let s(c) = -2*c**2 - 80*c + 148. Is 7 a factor of s(-35)?
False
Suppose -2*m + 2*h = 2*m - 260, 2*h - 307 = -5*m. Suppose -6*d - m = -531. Is d a multiple of 26?
True
Let b(w) = 2*w**2 + 18*w + 11. Let i be b(-13). Let d = -77 + i. Let r = 34 + d. Does 9 divide r?
True
Does 40 divide 66 + -57 + 32*33?
False
Let o = -69 - -75. Is 6 a factor of o?
True
Let o(p) = -128*p + 32. Does 32 divide o(-5)?
True
Let j be (-4)/10 + (-4)/(-10). Let y(a) = 0*a - 10 + a + 6 + 11. Does 2 divide y(j)?
False
Let k be (-11)/(-4) - (-14)/56. Let z(i) = -i + 6. Let l be z(k). Suppose l*t = 3*c - 78, 28 = 5*c - 3*t - 94. Is 10 a factor of c?
False
Let i(j) = -j**2 - 3*j + 9. Let w be i(-10). Let y = -31 - w. Is y a multiple of 15?
True
Suppose -2032 = -129*h + 125*h. Does 127 divide h?
True
Suppose -t = -1, 157 = 5*n + 5*t - 108. Let k(x) = x**3 + 42*x**2 + 47*x + 251. Let f be k(-41). Suppose d + 7*j - 3*j = n, 0 = -d + f*j + 7. Does 5 divide d?
False
Let k = -2098 - -5498. Is k a multiple of 20?
True
Is 13 a factor of -1*1 - (-84 + -25)?
False
Let n(f) = 8*f**2 + 2*f - 2. Let b be n(-4). Suppose 3*r = 5*k + 85, k + k = 4*r - b. Suppose 6 = -i + 5*c + r, 0 = c - 1. Is i a multiple of 8?
False
Let w = 322 - 78. Does 11 divide w?
False
Let p(k) = k**3 + 4*k**2 + 3*k + 2. Let v be p(-2). Suppose h + 4*t = v*h - 40, 5*h = -2*t + 58. Is h a multiple of 6?
True
Let s = 92 - -51. Does 8 divide s?
False
Let v(u) = u + 15. Let y be v(-17). Is 11 a factor of 3 - (-59 + (y - 2))?
True
Let g(z) = -3*z**2 + 52*z + 13. Let i(u) = 6*u**2 - 19*u - 3. Let h be i(4). Is 5 a factor of g(h)?
True
Suppose -9 = d + a, 2*d - 18 = 6*d - 2*a. Let o(j) = -5*j**3 + j**2. Let x be o(-1). Does 20 divide (-80)/d*x/4?
True
Suppose -s + 224 + 224 = 0. Does 16 divide s?
True
Suppose 2*c - 48 = -3*t, 0 = 4*t - c - 33 - 20. Suppose 3*h - 5 + t = 0, 0 = -4*v + 2*h + 646. Does 9 divide v?
False
Let g(t) = 9*t + t - 3*t - 5 - 3. Let c be g(9). Suppose -8*m + c = -3*m. Is 11 a factor of m?
True
Let d = -39 + 43. Suppose -d*s + 41 + 171 = 0. Is s a multiple of 6?
False
Let a = 2770 - 1599. Suppose 5*z = -3*x + a, 4*x = -2*z + 7*z - 1192. Suppose 5*h - 109 = z. Does 21 divide h?
False
Let z be (-380)/(-16)*(100/5)/5. Suppose 66 = -92*b + z*b. Is 11 a factor of b?
True
Let c(v) = v**2 + 4*v - 5. Let r(u) = -u**3 + 13*u**2 + 15*u - 9. Let l(a) = a**3 + 6*a**2 + 3*a + 4. Let x be l(-5). Let k be r(x). Is 11 a factor of c(k)?
False
Suppose 0*n - 4*n + 750 = -5*y, 3*n = 4*y + 599. Let i = 62 - y. Is 16 a factor of i?
True
Let q = 33 + -20. Let p = 41 + -29. Let w = p + q. Is w a multiple of 7?
False
Let j(q) = q**3 + 2*q**2 + 3*q + 437. Is j(0) a multiple of 19?
True
Suppose -t + 4*q = -8, -t + 4*q - 2*q = 0. Let d = -4 - t. Suppose -4*m + 107 = -x, -5*m + 117 = -d*x - 25. Is 18 a factor of m?
False
Let i be (-542)/(-10) - 6/30. Suppose -3*v - 2*c + 34 = -c, -c - i = -5*v. Suppose p - 21 = -v. Is p a multiple of 5?
True
Let y(h) = -h**3 + 13*h**2 - 9*h + 3. Let v be y(9). Let g = v + -142. Is g a multiple of 26?
True
Suppose 259*i + 17563 = 272*i. Is i a multiple of 7?
True
Let c(t) = t**2 + 3*t - 15. Let y be c(-6). Suppose -y*m = 5*h - 34, -2*h - 9 + 5 = -m. Is 2 a factor of m?
True
Let w(f) = 55*f - 13. Is 39 a factor of w(34)?
False
Suppose -4*b - 1026 = 2*b. Suppose 0*z = -2*z - 16. Does 15 divide b/(-4) - 2/z?
False
Let x(q) = 13*q**2 + 8*q + 13. Does 3 divide x(-4)?
True
Let w(r) be the first derivative of -7*r**2/2 - 6*r - 35. Suppose -3*l = 5 - 2, -g - 9 = -l. Is 26 a factor of w(g)?
False
Suppose 8*l = 24 - 0. Suppose 0*w + 4*w - 3*p = 77, -l*p - 9 = 0. Is w a multiple of 7?
False
Suppose 3*l - 10 = -2*r, -4*r = 2*l - 0*l - 4. Suppose 4*y + l*o = 80, -o = -2*y - 0*o + 34. Does 18 divide y?
True
Suppose -601*z = -605*z + 504. Is z a multiple of 15?
False
Let n(y) = -y**3 - 17*y**2 - y + 4. Suppose 0 = 7*z - 45