t t(r) = r**2 - r + 12. Let z be t(0). Let i be z/9 - 33/(-9). Suppose 0 = -i*g + c + 75, -5*c + 46 = g + 5. Does 6 divide g?
False
Suppose 2*m - 4 + 360 = 0. Let w = -16 - m. Is 27 a factor of w?
True
Let u = -553 + 814. Is u a multiple of 7?
False
Let z be 5*(2 - (-12)/(-10)). Let o be 10*(1 + 0 + z). Let p = o - 17. Is 11 a factor of p?
True
Suppose 0 = 6*y - y + 25, 0 = 4*d - 4*y - 12. Let h(m) = -64*m + 7. Is h(d) a multiple of 27?
True
Suppose -14 = 4*i - 34. Suppose -3*q = i*q. Suppose 0 = -q*k + 5*k - 110. Is k a multiple of 14?
False
Let h = 16 + -13. Let w be 1 + h + 3 + -31. Is (-6)/w + (-15)/(-4) a multiple of 4?
True
Suppose 2*j = -485 + 1389. Is j a multiple of 59?
False
Suppose 2 + 12 = s. Suppose -b = 2*l - 30, 4*b - 85 - s = -l. Is 4 a factor of b?
True
Let f = 31 + -18. Let p = -10 + f. Suppose 3*n = -2*z + 48, 4*z - p*n = 8*z - 96. Is 17 a factor of z?
False
Let j(z) = z**2 - 12*z - 10. Let y be j(13). Suppose w - 1 = y. Suppose 5*o - w = 56. Is 7 a factor of o?
False
Suppose 2*f + 3*g = -2*f + 716, -4*f + 708 = g. Is 44 a factor of f?
True
Suppose -1782 = 5*s - 8*s. Is (-7)/((-7)/2) - s/(-3) a multiple of 20?
True
Let p(w) = w**2 - 11*w. Let b be p(11). Suppose b = -9*k + 555 + 84. Is k a multiple of 53?
False
Let n(v) = 1. Let h(l) = 3*l - 2. Let f(z) = 2*h(z) - 22*n(z). Is f(6) a multiple of 5?
True
Let v(t) = t + 3. Let z be v(-8). Let r be (4/(-10))/(z/(-325)). Let j = r + 44. Is j a multiple of 18?
True
Suppose 19938 = 29*j + 2567. Does 55 divide j?
False
Let h(p) = -p**3 - 8*p**2 + 7*p + 10. Let i be h(-9). Suppose 0 = 6*v - 10*v + i. Is v even?
False
Let w be (-193)/(-2) - (-2)/(-4). Suppose -p - 52 = 2*v, 64 = -4*p + 2*v - 154. Let d = p + w. Is 14 a factor of d?
True
Suppose -47*x = -45*x - 8. Suppose z = x*y + 45, -3*z - y + 174 = -0*z. Is z a multiple of 57?
True
Does 52 divide 1 - (-3 - (-2 - -814))?
False
Suppose 5*c + 4*v = 531 + 531, -636 = -3*c - 3*v. Is c a multiple of 17?
False
Suppose -5*i + 2157 = -4668. Is i a multiple of 35?
True
Suppose 0 = -5*g - 3*t + 16092, -3*g + 2*t + 1127 + 8532 = 0. Is g a multiple of 45?
False
Suppose -77*p = -76*p - 4. Suppose -l + 183 = -o, o - 499 = -p*l + 238. Does 28 divide l?
False
Let q = -28 - -31. Does 29 divide 780/9 - (-1)/q?
True
Let m = -48 - -55. Suppose m*o = 71 - 8. Is 5 a factor of o?
False
Let a = 310 - 195. Is a a multiple of 4?
False
Let y(n) = -n - 3. Let b be y(-9). Let j(s) = 4*s**2 - 3*s - 3. Is j(b) a multiple of 13?
False
Does 4 divide 214 + 18/(-15)*(-10)/4?
False
Let a = 924 - 271. Does 18 divide a?
False
Let f(i) = -i**3 - 4*i**2 + 5*i + 2. Let g = 8 + -8. Suppose -m + g = 6. Is f(m) a multiple of 10?
False
Let u be (-16)/(-3) + (-2)/6. Suppose u*n + 2*n = 266. Is n a multiple of 10?
False
Let v be 2/(-5) - 54/(-10). Let i(b) = -b + 8. Let r be i(v). Suppose -4*l = 3*c - 37 - 83, -3*c + 117 = r*l. Does 9 divide c?
True
Let c be (-50)/(-4)*4/10. Suppose -5*v = -3*h - 138, -c*v + 6*v - h = 26. Does 19 divide v?
False
Suppose 0 = -2*g - 5*a - 33, 3*g + 4*a + 32 = -0*g. Is (-86)/g + (-18)/(-4) + -4 a multiple of 11?
True
Let q be 14/35 + 208/5. Suppose -u + 3*w - 45 = 2*u, -4*u - w = 35. Let k = u + q. Is k a multiple of 9?
False
Let k(p) = -p**3 + 6*p**2 - 10*p + 20. Let s be k(5). Let r(v) be the first derivative of v**4/4 + 4*v**3/3 - 5*v**2/2 + 8*v + 1. Is r(s) a multiple of 4?
True
Let l(m) = -m**3 - 11*m**2 - 9*m + 6. Let w be l(-10). Does 3 divide ((-30 - -2)/w)/(0 - -1)?
False
Let i = 271 + -127. Does 24 divide i?
True
Let a = -484 + 988. Does 24 divide a?
True
Let r be 2 + -2 - (1 + -3). Suppose -3*v + 48 = -3*z, -r*z = 3*z. Does 4 divide v?
True
Let l(y) = 7*y + 1. Let g = 79 + -78. Is 8 a factor of l(g)?
True
Let z = 10 - -3. Let r(g) = g + 24. Does 12 divide r(z)?
False
Let q = 1723 - 1352. Is 4 a factor of q?
False
Does 2 divide 2/4*(-13 + -4)*-2?
False
Let h be (-4 + (2 - 0))*-2. Suppose -h*a + 86 = 2*r, 5*a + 3 = 4*a. Suppose 0 = -5*b - j + 3*j + r, -2*j = -6. Does 11 divide b?
True
Suppose -3*m + 400 = 2*n + 2*n, 2*n = -3*m + 392. Suppose -8*b + 128 = -m. Does 4 divide b?
True
Let n = -5 + 43. Suppose 3*v - 206 = -n. Does 7 divide v?
True
Let s be 2/(-10) - 369/(-45). Suppose 3*t = s*t - 10. Suppose -2*x = -4*k + 174, t*x = -k - 3*x + 60. Is k a multiple of 14?
False
Let g(p) = 9*p + 15. Suppose f - 3*j = 4, 0*f - 3*j = -3*f + 18. Is g(f) a multiple of 6?
True
Let g = 357 + -277. Does 20 divide g?
True
Let x be (2 - 3)/((-1)/357). Suppose 10*u = x - 77. Does 20 divide u?
False
Suppose 0 = 9*p - 14*p - 5. Is 1 + (p - -27)/(26/39) a multiple of 20?
True
Let x = 11 + -6. Is 5 a factor of x/(-10) - (-2)/((-12)/(-129))?
False
Let t(d) = 4*d**2 + 11*d + 12. Let u = 22 + -28. Is t(u) a multiple of 18?
True
Suppose 0*m = 2*m - 304. Let c = m + -43. Is 15 a factor of c?
False
Let i(h) = 4*h**2 + 13*h + 2. Let t(m) = 5*m**2 + 14*m + 3. Let c(b) = -6*i(b) + 5*t(b). Let z be c(-5). Is 16 a factor of 42/14*z/6?
False
Is 21/(210/5780)*1 a multiple of 50?
False
Let n(t) = -t**3 + 3*t**2 + 2*t - 2. Suppose 5*c - 25 = -5*v, 4*v + 2*c - c = 17. Let j be n(v). Is 274/6 - j/30 a multiple of 13?
False
Suppose -2*f + 3*r - 274 = -3*f, -f = -5*r - 274. Is f a multiple of 6?
False
Let n(a) = a**2 + 3*a - 8. Is n(14) a multiple of 15?
False
Suppose -3*v - 2*n + 2059 = 0, -6*v + 5*v = -5*n - 709. Does 13 divide v?
True
Let d(m) = 6*m**3 - 11*m**2 + 3*m - 22. Is 52 a factor of d(5)?
True
Let h(v) = v. Let t(g) = -10*g + 2. Let w(i) = i - 1. Let j(d) = t(d) + 3*w(d). Let b(s) = -3*h(s) + j(s). Is 8 a factor of b(-3)?
False
Let y be 2/7 - (-1348)/(-14). Does 7 divide 35/2*y/(-30)?
True
Let w(b) = 1011*b - 317. Is 22 a factor of w(4)?
False
Is ((-4)/12 - 0)*(-2880)/10 a multiple of 3?
True
Does 17 divide 2792/(-12)*(1 + (-15)/6)?
False
Is 14 a factor of (2055/(-30))/(3/6 - 1)?
False
Suppose n + 3*z - 3 = 0, 0 = -3*n - z + 6 + 3. Let i(u) = 2*u**2 - 2 - 1 - 5*u**2 + u**3 + 3*u - u. Is 2 a factor of i(n)?
False
Suppose -2*t - 5*t = -4032. Suppose 20*d - 8*d - t = 0. Is d a multiple of 19?
False
Suppose 2826 = 5*i - 3174. Suppose -z - 9*z + i = 0. Is z a multiple of 8?
True
Suppose f - 2*z - 56 = 0, 4*f - 224 = -5*z - 0*z. Suppose -y = 3*d + 2*y - 90, 0 = -2*d + y + 54. Let t = f - d. Is 8 a factor of t?
False
Does 28 divide (-2 - (2 - 11)) + 329?
True
Let f = -267 - -419. Let m = f - 32. Does 8 divide m?
True
Let g(z) = z**3 - z**2 + 3*z - 1. Let o be g(1). Suppose o*n - 4*a - 879 = -3*n, 5*a = 3*n - 517. Is 28 a factor of n?
False
Suppose -b = -108 + 18. Let l be b/(-25) + (-4)/10. Let x(w) = 3*w**2 + 4*w + 4. Is x(l) a multiple of 15?
False
Let b(a) = -a + 8. Does 2 divide b(-4)?
True
Let q(n) = -81*n + 1. Let g be q(1). Does 3 divide g/(-25)*(-30)/(-4)?
True
Is (5 + 33/(-11))*25 a multiple of 3?
False
Let f = -25 + 30. Suppose -28 = -4*i + 4*c, -5*i - c = -0*c - 11. Does 12 divide (f - 51)/((-2)/i)?
False
Let n(t) = -2*t**2 - 11*t - 5. Let s be n(-6). Let l be (1/2)/(s/(-66)). Suppose 5*h - 108 = l*h. Is 7 a factor of h?
False
Let p(m) = -m**3 - 2*m**2 + m - 2. Let d be p(-3). Suppose -d*b - b = -10. Suppose -3*t - 17 - 40 = -3*q, -4*q - b*t = -106. Is 10 a factor of q?
False
Suppose 88 = -4*p + 12*p. Let d(v) = -v**2 + 18*v - 26. Does 19 divide d(p)?
False
Let c be (-9)/(9/(-3)) + -21. Let x = 26 + c. Does 3 divide 1*4/x*28?
False
Suppose -9*k + 15097 = -9806. Does 36 divide k?
False
Let z(k) = 9*k + 1 - 33*k**2 + 1 + 39*k**2. Is 21 a factor of z(4)?
False
Let z be 3 - 4*(-1)/2. Let u be 22/(-6)*(-3 + 0/(-7)). Let r = u - z. Is 2 a factor of r?
True
Suppose 39 = -3*q + 9. Let p(c) = c**2 + 7*c - 6. Is 24 a factor of p(q)?
True
Let x be 1/4 - (-6)/(-24)*21. Let j = x - -43. Does 5 divide j?
False
Let l = 12 - 9. Suppose 2*i + l*i - 406 = -2*d, 4*i = 2*d + 314. Suppose -2*w + j = -4*w + 172, i = w - j. Does 22 divide w?
False
Let b = 43 + -38. Suppose a + 0*c - 42 = -b*c, 5*c - 86 = -3*a. Does 8 divide a?
False
Let b be -118*(1/1)/((-2)/2). Let c(z) = -z. Let o be c(-6). Suppose -o*s + 74 = -b. Does 8 divide s?
True
Suppose -4*p = 1 - 5. Suppose p = v + 5. Let o(t) = 4*t**2 - 4*t - 5. Does 21 divide o(v)?
False
Suppose 535 = -5*u - 5*l, 0 = 2*u + 3*u - 5*l + 565. Let y = -97 - u. Is 3 a factor of y?
False
Let x = 91 + -76. Is 3 a factor of 0 + 36 + (-2)/(10/x)?