767. Is s a multiple of 49?
True
Suppose -8486 = 8*h - 2*q - 64214, 0 = 3*q. Is h a multiple of 43?
True
Let b(h) = 29*h**2 + 9*h - 82. Is b(5) a multiple of 16?
True
Let z(h) = -9*h + 21. Let s be z(-15). Suppose -152 = -2*i - 4*d, -i - i + s = 3*d. Is i a multiple of 21?
True
Suppose 9*r = 6*r + 63. Is 9 a factor of 1/3 - (-4340)/r?
True
Suppose 16 = -3*a + 4*n, -5*a - 3*n + 7 = -5. Let q be a + 0 + 2 - (-88)/(-2). Let c = q - -90. Is c a multiple of 16?
True
Let h(m) = -5*m + 7. Let n be h(1). Suppose n*b - 2490 = -4*f, -60*b = -4*f - 56*b + 2496. Is 89 a factor of f?
True
Let g = -41 + 44. Suppose -g*d = -d. Does 12 divide 1*-1 - (d + -6)*18?
False
Does 5 divide ((-6 - -1) + 97566/(-9 + -12))/(-1)?
False
Suppose 0 = -363*n + 116*n + 5386576. Is n a multiple of 47?
True
Let m(n) be the third derivative of n**5/60 + n**4/2 - n**3 - 38*n**2 + 2. Does 12 divide m(5)?
False
Let u(x) = -438*x + 1035. Is u(-5) a multiple of 5?
True
Let p(o) = o**3 + 27*o**2 - 111*o. Is p(-30) a multiple of 54?
False
Let l(q) = -q**2 - q + 1. Let c(a) = -a**3 - 10*a**2 + 11*a + 25. Let y(v) = -c(v) - 6*l(v). Let z be y(-17). Is 39 a factor of ((-4)/(-4 - 0))/(-1) - z?
True
Suppose -5*n - 3*a - 20 = 0, 0*n + 4*a - 20 = 5*n. Let d be 0 + 3/(-6)*n. Suppose -q - g + 236 = 2*g, 3*g = d*q - 436. Is q a multiple of 14?
True
Suppose -5*l + 4*i = -2*l - 128, 5*l - 225 = -5*i. Let k = l + -49. Let o(q) = q**2 + q + 7. Does 7 divide o(k)?
False
Suppose 0 = 5*z - 0*z - 100. Suppose z = -r + 13. Is 8 a factor of 86 - (r - -5)*(0 + 1)?
True
Suppose -3*w + 159 - 327 = 0. Is (-209)/(-3) - (w/(-21) - 3) a multiple of 21?
False
Suppose 0 = -57*f + 39*f + 54. Let p(t) = 50*t**2 + 9*t - 9. Does 8 divide p(f)?
False
Let h be ((-115)/69)/((-1)/3). Suppose 0 = l + l + 3*i + 3, 4*l + h*i + 3 = 0. Is l + -1 - (-800)/8 a multiple of 34?
True
Suppose -85*v + 6370 = -36*v. Suppose 8 = f - 3*c, 4*f + 3*c = -1 + 18. Suppose 3*m + 4*w = v, 0*m + m - 47 = -f*w. Does 14 divide m?
True
Let v(z) = -4*z + 1006. Is 46 a factor of v(33)?
True
Let r(y) = 10*y**2 - 29*y - 10. Suppose -2*h + h + 4 = 0. Suppose 14*c - 66 = h. Does 19 divide r(c)?
True
Let v = 137 - -289. Let g = 725 - v. Let s = -194 + g. Is 39 a factor of s?
False
Let v(p) = -p**2 - 4*p + 7. Let b be v(-5). Let u be 150/(-825) + 1324/22. Suppose -b*q = -q - u. Does 20 divide q?
True
Suppose 4*n = 68 + 144. Let v = -49 + n. Suppose -79 = -v*d - m, -2*m - 4 = 2*m. Does 9 divide d?
False
Suppose 2*b - 3952 = 2*u, -5*b - 3*u + 10502 = 638. Is b a multiple of 3?
True
Suppose -2*a - 16420 - 12028 = -8*r, -4*r + 2*a = -14228. Is 2 a factor of r?
False
Suppose -3*r + l = -1285, -4*l - 6 = -7*l. Is 52 a factor of r?
False
Let b = -31 + 277. Suppose -y + b = 48. Is 14 a factor of y?
False
Suppose 0 = 4*o + y + y - 10, y = 5*o - 9. Suppose x - 681 = o*b + b, -3*x = -5*b - 2047. Does 76 divide x?
True
Let u = 206554 + -129471. Is 13 a factor of u?
False
Suppose -17*r - 30*r + 187257 = 28162. Does 11 divide r?
False
Suppose 2*q + 223 - 881 = 4*o, -4*q = 5*o - 1290. Suppose q - 195 = s. Is 13 a factor of s?
True
Let l = -710 - -713. Suppose -2*t = t + a - 93, -4*t + l*a + 111 = 0. Does 10 divide t?
True
Let c(i) = -163*i - 1274. Does 6 divide c(-8)?
True
Let s = -153 + 367. Suppose i - s = -61. Is 11 a factor of i?
False
Let l = 150 + -146. Suppose 0 = l*q - 48 - 40. Is q a multiple of 11?
True
Suppose -2*i + 122 = 34. Let f = i + 11. Does 5 divide f?
True
Let o = -20189 - -32604. Does 25 divide o?
False
Let w be 2/4 - -1*579/6. Let f = w - 115. Is 13 a factor of ((-4)/f)/((-4)/(-84))*39?
True
Does 6 divide (-3 + 4 + -91)*-1?
True
Is 89 a factor of 730/(-1825) + 52512/5?
True
Let l(o) = -o**3 + o**2 + 11*o - 6. Let y be l(-3). Is (-4 + 1614)/(2 - y - 4) a multiple of 46?
True
Let q be -2 + (-2)/3*27/6. Let r(i) = -2*i**3 - 11*i**2 - 4*i + 7. Let p be r(q). Suppose 2*s = 3*s - w - 105, p*s = -2*w + 230. Does 22 divide s?
True
Suppose -5*y - z = -16, 8*y - 10 = 5*y - z. Is 106 + 2 - -5 - y a multiple of 5?
True
Suppose 0 = i + 117 - 116. Let r(m) = -277*m + 4. Does 23 divide r(i)?
False
Suppose 539018 = 187*w - 6*w. Is 36 a factor of w?
False
Suppose 5*t - 340 = 3*u + 201, -455 = -4*t - 5*u. Let o = 60 + t. Does 10 divide o?
True
Suppose m + 501 = 4*c - 394, -4*c - 3680 = 4*m. Let x = -533 - m. Does 11 divide x?
False
Suppose 1371 = 3*c + 2*m - 1711, 2*c - 2044 = -4*m. Is c a multiple of 20?
False
Let u(v) = 3*v**2 - 6*v + 4. Let j be u(-6). Let q be 18*(28/(-8) + (0 - -3)). Does 24 divide (-4)/(j/(-213) + (-6)/q)?
False
Suppose -107 - 63 = -17*y. Suppose 0 = 5*a + y, 3*x - 205 = a + 2491. Is x a multiple of 10?
False
Suppose -14*m + 27*m = 19058. Let f = m + -972. Does 19 divide f?
True
Let v(s) = -s**3 - 12*s**2 - 3*s + 25. Let u be v(-12). Suppose 0 = 4*b - b - 3*c + 147, 3*b + 143 = 4*c. Let z = u + b. Does 8 divide z?
True
Let x(y) = 87*y - 236. Let f = -265 - -273. Is x(f) a multiple of 6?
False
Does 2 divide (-9)/42*(-245938)/(-132)*(-1 - 7)?
True
Let f = 27672 - 10824. Is 36 a factor of f?
True
Suppose -35989 = -6*c - 7*c - 5*p, 0 = -c + 4*p + 2764. Is 6 a factor of c?
False
Let n(q) = -q**3 - 20*q**2 + 26*q + 41. Is 4 a factor of n(-23)?
False
Let l(c) = c**3 + 7*c**2 + 10*c + 72. Let u be l(-7). Suppose 104 = 6*r + u*r. Does 2 divide r?
False
Let u = -3905 - -15676. Is u a multiple of 14?
False
Let g = 4742 - 692. Is g a multiple of 135?
True
Let y(x) = 2*x + 46. Let b(j) = 2*j**2 + 3*j - 3. Let i be b(-3). Suppose 26 = -4*g + i*g - 3*k, -3*k = -5*g + 65. Is 24 a factor of y(g)?
True
Suppose 3*a - 10*a + 28 = 0. Suppose -b = -3*w + 1, 0 = -a*b + 5*w - 4 + 7. Is 16 a factor of (-1)/b*360/(-1)?
False
Let c = -63 + 47. Let p be (-2)/2 - 0/c. Is (2/5)/((0 - p)/105) a multiple of 21?
True
Suppose -5401 = -2*a - 4*y + 7073, 3*a = 3*y + 18711. Is a a multiple of 21?
True
Is (2736/288)/(2/1292) a multiple of 19?
True
Let z(d) = 2*d + d**3 + 44*d**2 - 15 - 26*d**2 + 5*d - 7*d**2. Does 8 divide z(-9)?
False
Suppose -8217 = -3*h - 3*m, -h + 6*h - 2*m - 13667 = 0. Suppose -40*t + 35*t = -h. Is 55 a factor of t?
False
Let b(a) = 464*a - 3250. Does 7 divide b(13)?
False
Suppose -79 = -9*c + 10*c. Let m = c + 96. Suppose -m*p - 36 = -18*p. Does 18 divide p?
True
Let l(d) = -2*d**3 - 5*d**2 + 6*d - 7. Let i = -44 + 47. Let b be l(i). Let v = b - -155. Is v a multiple of 40?
False
Suppose 0 = -11*y + 99 - 55. Suppose -5*i - 2*v = -3*i - 134, 0 = 2*i - y*v - 104. Does 2 divide i?
True
Let c(o) = -10 - 10*o**3 - 3*o + 9*o**3 + 8*o**2 - 2*o. Let k be c(7). Suppose -k*m + 2*m = -152. Does 16 divide m?
False
Suppose -12*y = -17*y + 5*w + 76850, -2*y - 3*w + 30770 = 0. Is 112 a factor of y?
False
Suppose 7*d - 66 = d. Suppose 5 + d = 8*t. Let g(c) = 44*c**2 + 6*c - 18. Is 35 a factor of g(t)?
False
Suppose 6*j + 150 = 9*j. Is (j/65)/5 + 15438/39 a multiple of 18?
True
Suppose 0 = 22*g - 18*g - 14908 - 31396. Is g a multiple of 93?
False
Let b(q) = -15*q + 41. Let w(m) = 2*m + 1. Let n(t) = -b(t) - 4*w(t). Does 3 divide n(19)?
False
Let m be 2/7 + 128/(-56). Let r be ((-62376)/54)/(-4) + m/(-9). Let y = r + -199. Does 18 divide y?
True
Is (3/4)/((-2 - 5)/(-28)) - -7142 a multiple of 3?
False
Suppose 0 = -16*f - 970 + 6410. Let l = f + -115. Is 25 a factor of l?
True
Let j be (-4)/(-3)*(-45)/(-20) - -2. Suppose 3 = 2*u + 13, -4*i + 1349 = -j*u. Is 21 a factor of i?
False
Suppose 2*m - 1 = -3*g, -7*g + 9*g = -5*m + 8. Does 17 divide 115 - (-3 + 7)/g?
True
Suppose -40939 - 18570 = -17*l - 12130. Is l a multiple of 2?
False
Suppose -3*d + 0 = -6. Suppose -d*k + 5*n = -0*k - 9, 0 = 2*k - 2*n - 18. Is -4 - (1/(-1) - k) a multiple of 9?
True
Let x(h) = -h**3 - 34*h**2 - 78*h - 43. Is 86 a factor of x(-43)?
True
Suppose z - 5*f + 15 = 2*z, -12 = 4*z - 4*f. Suppose z = 2*x - 5*w - 249, -4*x + w + 283 = -206. Suppose 0*c - x = -2*c - d, 2*d + 169 = 3*c. Does 4 divide c?
False
Let g(a) = -27*a + 222. Let z be g(9). Let n(s) be the second derivative of -s**5/20 - 5*s**4/3 + 3*s**3 + 21*s**2 - 4*s. Is n(z) a multiple of 21?
True
Let i(u) = 201*u - 237. Is 3 a factor of i(2)?
True
Let c(j) = 1133*j**2 - 5*j - 5. Let t be c(-1). Let p = t - 305. Is p a multiple of 69?
True
Suppose -2*y - 18 = -3*g - 3*y, 0 = g - 3*y - 6. Suppose b - 4*b = g. Is 29 a factor of -1 + b + 1309/11?