True
Suppose 3*p + 4*u - 982 = 0, -648 = -5*p + 3*p + 4*u. Let o = 575 - p. Is o a multiple of 14?
False
Suppose -f - 282 = 4*w + 283, -5*w = 4*f + 2249. Let h = f - -993. Is h a multiple of 18?
True
Let m = 4822 + 22775. Does 23 divide m?
False
Let l(o) = o**2 - 4. Let r be l(-2). Suppose -5*i + y - 32 = r, i - y = -2*i - 18. Let q = 20 + i. Is 2 a factor of q?
False
Suppose -2*n + g + 399 = 1341, 4*n + 1890 = -g. Let k = -192 - n. Is k a multiple of 20?
True
Let v be 670/(3 - 15/3). Let j = -59 - v. Does 8 divide j?
False
Let q(w) be the first derivative of 23*w**2/2 + 13*w - 1. Let c(j) = -2*j**2 - 220*j - 5159. Let a be c(-76). Does 10 divide q(a)?
True
Suppose -82*a + 73*a = -270. Is 15 a factor of 472/6*a/20?
False
Suppose -179*y + 1430771 = 178076 - 543212. Is 13 a factor of y?
False
Suppose 27 = 4*g - 5*g + 4*c, 4*g - 4*c + 132 = 0. Let p = g - -146. Is 14 a factor of p?
False
Suppose 4*j - 364 = -16. Suppose 4*v - 529 = j. Is 10 a factor of v?
False
Let h(p) = p**3 - 18*p**2 - 7*p + 5. Let m be h(19). Suppose 17*x - 6499 = m. Is x a multiple of 97?
False
Suppose j - 1896 = -2*j. Let v = -254 + j. Does 14 divide v?
True
Let w = 64 - 16. Suppose -d - w = -51. Does 30 divide 904/6 + 1/d + -1?
True
Suppose -16*m = -14*m + 44. Let z = 26 + m. Suppose 2*h - 672 = -z*h. Is h a multiple of 28?
True
Suppose 333*i + 437456 = 349*i. Is 101 a factor of i?
False
Let c(r) = r**2 + 50*r + 532. Is 16 a factor of c(-78)?
False
Suppose -f - 5 = -5*r, 3*r = -r - 3*f + 4. Let i be ((-2)/3)/(r*1/(-3)). Suppose i*z - 286 = -w, -638 = -5*z - 4*w + 74. Does 17 divide z?
False
Suppose -1025*d + 1013*d = -19116. Does 3 divide d?
True
Suppose -2*r + 33*c - 31*c + 2172 = 0, 5*r = -3*c + 5390. Does 23 divide r?
True
Let s(x) = -123*x**3 - 24*x**2 - 34*x + 55. Does 38 divide s(-7)?
True
Let c be 2 + (5 - 4)*-5. Does 53 divide c/((-27)/3612) - 3/9?
False
Let r = 5980 - 4535. Does 11 divide r?
False
Let k(z) = 94*z - 1305. Is k(35) a multiple of 34?
False
Does 5 divide ((-17)/((-34)/3))/(2/2600)?
True
Suppose -243*v - 6564 = -245*v - 2*f, -3*v = -5*f - 9798. Is 39 a factor of v?
True
Let l(s) = 2*s**3 + s**2 - 1. Let j be l(1). Is 8 a factor of ((-182)/(-28))/(j/80)?
False
Let p be 5/(-2)*6/(-3). Suppose -q = n - 3, 0 = 4*q - p - 15. Is (95/(-35) + 1)/(n/154) a multiple of 22?
True
Let r(t) = -6203*t**3 + 5*t**2 - 3*t - 11. Let w(p) = -2068*p**3 + 2*p**2 - p - 4. Let c(y) = 3*r(y) - 8*w(y). Is c(-1) a multiple of 12?
True
Suppose m = 5*m + 4*x, -4*x - 18 = -2*m. Suppose -2*u + 92 = m*s - 87, -s - 5*u = -51. Suppose s = 2*z - 3*n, -3*z - 2*n = -57 - 2. Is 8 a factor of z?
False
Let y(k) = 64*k**2 + 123*k + 515. Is 49 a factor of y(-4)?
False
Let u(g) = -g**2 + 13*g - 10. Let d be u(7). Suppose -m = -5*l - d, -l + 2*l - 5*m - 8 = 0. Let b(h) = h**2 + h - 5. Does 30 divide b(l)?
False
Suppose 4*v - 2*z - 7 - 19 = 0, 2*z = 2*v - 18. Suppose -v*k = -5*k + 192. Suppose 2*c + 88 = 4*c - 4*f, -4*f = -4*c + k. Does 26 divide c?
True
Let n(u) = 2*u**3 - 13*u**2 + 5*u + 50. Let q be n(9). Let l = -456 + q. Is l even?
True
Suppose -731 - 235 = 3*z. Let s = 554 + z. Is s a multiple of 8?
True
Let n(s) = 14*s - 16. Let c be n(4). Suppose 38*d - c*d = -154. Does 11 divide d?
True
Suppose 1685852 = 415*p - 1298413. Does 51 divide p?
True
Let c(y) = 24*y - 18 - 13 + 20 + 8*y. Is c(5) a multiple of 50?
False
Let b(m) = -607*m + 6874. Is 14 a factor of b(0)?
True
Let u(a) = a**3 + 24*a**2 + 53*a + 48. Is 3 a factor of u(-14)?
True
Let m be (-20)/(-90) - (-4)/(-18) - -2208. Suppose -35*n = -39*n + m. Does 69 divide n?
True
Suppose -w + 2*g = 4*g + 953, 4695 = -5*w + 4*g. Let y = 2337 + w. Is y/10 + (-9)/(-15) a multiple of 10?
True
Let t(g) = -244*g**2 + 17*g - 26. Let s(l) = 81*l**2 - 6*l + 9. Let p(i) = -11*s(i) - 4*t(i). Let c be p(-2). Let a = c - 214. Does 12 divide a?
False
Is 5 a factor of ((-1955)/782)/((-1)/74)?
True
Suppose u = 3*x + 5*u - 31465, -3*u - 20988 = -2*x. Suppose -14*q = -q - x. Is q a multiple of 9?
False
Suppose 10470 = -21*g + 27*g. Suppose -585 = -r + z, -3*r + 2*z - z = -g. Does 41 divide r?
False
Suppose -t = -3*x + 100 - 2, -4*t = x - 24. Suppose -3*s = -2*l + x, -s - 2*s + l - 28 = 0. Let b(o) = -2*o + 8. Does 12 divide b(s)?
True
Suppose 16 = 16*g - 20*g. Let y be (g/(-12))/1*(-1 + 7). Suppose 3*l + 9 = 0, 0 = -y*f + 4*l - l + 315. Does 13 divide f?
False
Suppose -10*c + 12 = -14*c. Is 6 a factor of (-180)/c*(-48)/(-80)?
True
Let z = -14095 + 21115. Does 30 divide z?
True
Let w be 0*(18/16 - 5/40). Suppose w = -68*s + 77*s - 3339. Does 5 divide s?
False
Let d(s) = -14 - s + 3 - 12 - 3. Let t be d(-26). Is 48 a factor of (-147)/(t - (0 - -1))?
False
Suppose -18*u - 543 = -21*u. Let j = 43 + u. Does 32 divide j?
True
Let v = -276 - 257. Let x = v - -831. Is x a multiple of 14?
False
Suppose 2 = -2*a, -6*r - 850 = -3*r - 5*a. Let f = 401 + r. Is f a multiple of 29?
True
Let r(h) = -h**3 + 2*h**2 + 22*h - 2. Let j = -251 + 244. Is r(j) a multiple of 16?
False
Let v be (-9)/(-1) - (-157 - -81). Suppose 81*i + 2448 = v*i. Is i a multiple of 6?
True
Let x be (-26)/1*15/(-6). Let g(h) = -6*h + 1. Let j be g(2). Let w = j + x. Is 11 a factor of w?
False
Let n(g) = -g**3 - 25*g**2 - 68*g - 33. Let s be n(-22). Suppose 7*r = s*r - 116. Is 12 a factor of r?
False
Suppose 5*i - 2*o - 2 = 0, -2*i - o = 2 - 1. Suppose -4*b - 6 = 2, 3*g = 5*b + 16. Suppose 11 + 60 = g*k + 3*h, -2*k + 2*h + 86 = i. Does 12 divide k?
False
Let d(p) = p + 95. Let c be d(10). Is 5 a factor of c/63 + (-478)/(-3)?
False
Let q(k) = 7*k**3 + k**2 - 4*k - 1. Let g be (6/16)/((-10)/(-80)). Let d be q(g). Suppose -5*z = 5*m - 325, -d - 81 = -4*z - 2*m. Is z a multiple of 34?
True
Suppose 5*o + k + 851 = 0, 5*k = 2*o + 185 + 150. Let w = 259 + o. Let x = w + -66. Is x a multiple of 8?
False
Suppose -2*o + 6 = 2*w - 6, 3*o - w - 18 = 0. Suppose -2*s - o + 310 = 0. Does 19 divide s?
True
Suppose 5*z + 3*w - 152571 = 83058, 141371 = 3*z + w. Is z a multiple of 11?
False
Let x(i) = 8*i**2 + 7*i + 8. Let d = -117 - -123. Is 32 a factor of x(d)?
False
Let p(i) = 27*i**2 - 7*i - 70. Let b be p(10). Let m = 3914 - b. Does 9 divide m?
False
Let o(c) = -c**3 + 11*c**2 - 10*c. Let j be (32/(-6))/(8/(-12) + 0). Let y be o(j). Does 8 divide 3*y/6 + 0/(-1)?
True
Let d(n) = -n**3 + 4*n**2 + n + 13. Let b be d(5). Does 10 divide (-38)/133 + (-730)/b?
False
Suppose 845*l = 847*l - 6174. Suppose 9*b - 1962 - l = 0. Is b a multiple of 51?
True
Suppose -14111 - 33662 = -13*c - 9449. Is c a multiple of 38?
False
Let r(y) = -9*y - 11 - 4 - 2 - 1. Is r(-30) a multiple of 14?
True
Let b(z) = 12307*z + 526. Is b(1) a multiple of 19?
False
Suppose -12*k + 2330 = -106. Let v = -369 + k. Is (-2 + 2 - 2)*v/4 a multiple of 9?
False
Let s = 33 - 29. Suppose -q - 5*b + 75 - 13 = 0, 0 = -5*q + s*b + 223. Is 9 a factor of (q + -2)*3/(3/1)?
True
Let u be -283 - ((1 + -6 - -2) + 4). Let l = u + 659. Does 13 divide l?
False
Let c(j) = 2*j**3 - 40*j**2 - 43*j + 22. Let p be c(21). Let y(x) = 209*x**3 - 2*x**2 + 2. Is 11 a factor of y(p)?
True
Suppose -21*m = -29*m. Let p be (m - 1)*(-24)/((-20)/(-5)). Suppose -p*d - 2*d = -672. Is 21 a factor of d?
True
Suppose o + 2 = -v + 4*o, -3*o + 18 = 3*v. Suppose -v*m = -8 - 52. Let t(a) = 8*a - 37. Is 16 a factor of t(m)?
False
Suppose p + 15256 = 2*b, 5*p + 27533 = 5*b - 10612. Is b a multiple of 109?
False
Suppose -3*k = -k - 8. Suppose -55 - 649 = -k*g + 4*v, 2*v = 4*g - 704. Does 16 divide g?
True
Let z = 26 + -14. Does 5 divide z/36 + (-3 - 357/(-9))?
False
Let x(k) = -10*k + 8. Let b(a) = -a - 1. Let d(r) = -6*b(r) + x(r). Let l be d(3). Suppose 180 = q + l*q. Does 18 divide q?
False
Suppose 13*d = -0*d + 286. Suppose -17*r - 1045 = -d*r. Is r a multiple of 50?
False
Suppose 58*t - 603155 - 18895 = 0. Is 55 a factor of t?
True
Suppose -5*t + 4*t = -20. Let p(y) = 123*y - 36. Let j be p(t). Is -4 + (-76)/(-18) + j/27 a multiple of 24?
False
Let h(t) = -t**3 + 11*t**2 - 13*t + 13. Let u be h(9). Let m = 75 - u. Suppose 18*c = m*c + 55. Is c a multiple of 5?
True
Let i = -269 + 283. Suppose -1 = -13*t + i*t, -3*t = 4*f - 1749. Is f a multiple of 21?
False
Suppose -36*l + 5 + 31 = 0. Does 12 divide (268/16)/(l/32)?
False
Is ((-94)/4)/((-2)/392) a multiple of 14?
True
Let l be 5/(-2 - 18/(