t, -t = -j*w + z. Does 5 divide w?
True
Suppose s = -3*y - 0*y + 29, 3*y = s + 25. Suppose 0 = -4*o - y - 23. Let u = o + 78. Is 14 a factor of u?
True
Let p be 2/1 - (7 + -5). Suppose -h + p = 4. Does 14 divide (3/h)/(1/(-40))?
False
Suppose 5*x + 3*g - 25 = 0, 5*x - 3 = x + g. Suppose -x*w - j + 904 = -3*j, 3*w = -j + 1348. Does 15 divide w?
True
Let h(f) = 119*f**2 - 76*f - 426. Is 101 a factor of h(-5)?
True
Let l(v) = -v**3 + 60*v**2 + 516*v + 20. Is 125 a factor of l(30)?
True
Suppose -3*h = -2*l + 206, l - 14 = 3*h + 95. Suppose 0 = 11*o - 277 - l. Is o a multiple of 3?
False
Let p be (8/(-14))/((-60)/14 - -4). Suppose -m - p*m - 3*u = 168, 2*u = 3*m + 188. Let f = -53 - m. Is 3 a factor of f?
False
Suppose 10*y = 5587 + 13113. Suppose 36*d - y = 19*d. Is d a multiple of 13?
False
Let r be -3 + 3 + -6 + 10. Suppose 40 = 6*i - r*i. Suppose n + n + 22 = 5*f, -2*n = 2*f - i. Is 5 a factor of f?
False
Let x be (9 - (9 - 121)) + -12. Suppose 2*v + 0*v = 560. Let j = v - x. Is 19 a factor of j?
True
Let o = -46 - -1511. Does 5 divide o?
True
Suppose 25*o - 85086 = 62816 + 32598. Is 19 a factor of o?
True
Let i(r) = 15*r**3 + 7*r**2 - 15*r + 59. Is i(4) a multiple of 2?
False
Let x(w) = -7*w - 3*w + 19 - 17*w - 14*w. Let i be x(-4). Let y = i - 95. Is y a multiple of 9?
False
Does 7 divide ((28/(-10))/((-104)/130))/((-5)/(-2390))?
True
Let w(h) = -5*h - 152. Let t be w(-38). Suppose d - 14 = 4*q - 7*q, 3*q + t = d. Does 14 divide d?
False
Let j be 144/5 + 20/100. Let q be (31 - j)*137*2. Suppose -q = -4*h - l, -6*l = 5*h - l - 670. Does 22 divide h?
False
Let r = 305 + -545. Let u = -6 - r. Does 11 divide u?
False
Suppose 3*b + 337 = -5*u - 4251, 25 = -5*u. Let y = b - -2243. Is 38 a factor of y?
True
Let b = -15381 - -16346. Does 85 divide b?
False
Let u(x) = -108*x + 82. Let t be u(12). Let p = -815 - t. Is p a multiple of 19?
True
Suppose 2*d + 3*d = 5*q - 210, -q + 66 = 5*d. Let r = -42 + q. Suppose r*v + 4*x - 433 = v, -4*v + 575 = 3*x. Is v a multiple of 17?
False
Let g be 0*(4 - (-4 + 7)). Suppose s - 9 - 55 = g. Does 7 divide s?
False
Suppose -8*f = -0 - 16. Suppose 4*x = -6*u + f*u + 40, 2*x - 6 = 0. Does 28 divide -2 + 0 - (u + -233)/1?
True
Let c be (-82)/(-8)*8*1/(-2). Let u = 335 + c. Is u a multiple of 42?
True
Let n be (396/20)/(-6*4/(-80)). Suppose 0 = 6*x - n - 858. Is x a multiple of 22?
True
Suppose -g + 17 = -2*g. Let z be (-12 - g) + (4 - 2). Suppose -3*a - 560 = -z*a. Does 25 divide a?
False
Suppose 20*g - 860464 = -36464. Does 134 divide g?
False
Suppose -3*f - 3 = -3*d, 5*f = -2*d + 5*d + 3. Suppose -3*q = -d - 8. Suppose -q*v + 77 - 1 = 0. Is 8 a factor of v?
False
Suppose -236016 = 36*s - 234*s. Does 8 divide s?
True
Let p be (8 + -10)*(-3)/2 + 2. Suppose -8 + p = -3*z, 0 = d - 2*z - 563. Is 34 a factor of d?
False
Suppose 5*g - 323 = 3*z, -2*g - 2*z = -3*z - 130. Let y = -756 - -711. Let l = g + y. Is 11 a factor of l?
True
Let f(q) = 8*q**2 + 23*q - 11. Let a(u) = 12*u**2 + 35*u - 17. Let s(h) = 5*a(h) - 7*f(h). Is s(5) a multiple of 11?
False
Let g(o) = -o**3 + 37*o**2 + 6*o + 73. Let w be g(38). Let r = w + 1980. Is r a multiple of 27?
True
Suppose 784 = m - 3*i, 2*m + 45*i - 1561 = 44*i. Is m a multiple of 19?
False
Let h(k) = -2*k + 4. Let g be h(0). Let l be (g/(-10))/((-6)/(-720)*-4). Suppose 3*j = l, -s - 5*j = -18 - 47. Is s a multiple of 7?
False
Let n(i) = -103*i**2 - i - 2. Let y(s) = 205*s**2 + 2*s + 4. Let k(c) = 7*n(c) + 4*y(c). Let q be 2/(-4)*6/18*6. Is 9 a factor of k(q)?
False
Let c(o) = 64*o**3 + 18*o + 21 - 33*o + 11 - 17*o**2 - 28*o**3 - 37*o**3. Let w be (-8)/(-1 + 3/2). Is 8 a factor of c(w)?
True
Let b(a) = 253*a**2 + 57*a - 111. Is 7 a factor of b(2)?
True
Let p = -1922 + 1973. Is 2 a factor of p?
False
Suppose 4*x - 40 = -8. Suppose -248 = x*o - 1064. Does 6 divide o?
True
Suppose 2*z - 65 = x, 2*x + 32 = -5*z - 98. Let t = 71 + x. Suppose -t*y + 195 = -3*y. Is 13 a factor of y?
True
Let l(k) = 2*k**3 + 7*k**2 - 182*k + 668. Does 67 divide l(12)?
True
Does 12 divide (8 - (-2)/(20/(-50)))*(7304 - 0)?
True
Let v be (20/(-10))/(-4 + 3). Suppose v*h - 31 = -35, 1410 = 2*i - 5*h. Does 16 divide i?
False
Let n(a) = -495*a + 58. Is n(-1) a multiple of 7?
True
Let m = 17 + -9. Let l be (-4)/(-3)*6/16*m. Suppose 0*t - l*t + 228 = 0. Is 19 a factor of t?
True
Suppose 5*w + 365 + 657 = s, 2*s - 2*w = 2084. Let c = -256 + s. Is c a multiple of 12?
False
Does 24 divide (-48)/(-2)*(-1)/((-2450)/(-410) + -6)?
True
Does 89 divide 1 + 31276/44 - -3*(-4)/(-66)?
True
Let t(u) = u**2 + 4*u. Suppose 2*k = -6*k - 16. Let n be t(k). Is 6 a factor of ((-9)/n)/(-6*2/(-64))?
True
Suppose -3*q + 4*m - 31 = 0, q - 4*m + 15 + 6 = 0. Let b be q/(-20) - (-955)/20. Let s = -6 + b. Is s a multiple of 6?
True
Suppose 4*p - 2*y = -6*y + 32016, 0 = -3*p - 2*y + 24005. Is 85 a factor of p?
False
Let i = -3264 + 8186. Is 5 a factor of i?
False
Suppose -22931 + 162323 = 16*w. Is w a multiple of 66?
True
Let v(t) = -178*t + 148. Does 14 divide v(-4)?
False
Let t = 569 - 579. Let o(z) = 2*z**2 + 13*z + 119. Does 5 divide o(t)?
False
Let w be (28 + -16)*4/((-8)/(-3)). Let t(i) be the first derivative of 2*i**2 - 34*i + 6. Is 19 a factor of t(w)?
True
Suppose -142*w + 346489 = -360671. Is 4 a factor of w?
True
Let w = 5 + 10. Let m(i) = 13*i - 65. Does 66 divide m(w)?
False
Let m(g) be the second derivative of 53*g**4/4 + g**3/3 + g**2/2 - 3*g + 27. Does 9 divide m(1)?
True
Let z = 72 + -66. Suppose -2*q = -z*q + 396. Does 9 divide q?
True
Let h be 6/5*160/64. Suppose v + 166 = 3*y, 17 = -h*v + 5. Does 54 divide y?
True
Let m(c) = c**2 - 8*c - 25. Let g be m(10). Let t(j) = -5*j**2 - 35*j - 16. Let f(u) = -3*u**2 - 23*u - 11. Let a(i) = g*t(i) + 8*f(i). Is 2 a factor of a(11)?
True
Does 4 divide 4911 - (496/(-40) - (-12)/(-20))?
True
Let w = -642 + -77. Let m = w - -1157. Is 24 a factor of m?
False
Suppose 120 = -2*t + 8*t. Let s(w) = 9*w + 68. Does 21 divide s(t)?
False
Suppose 17*f + 24 = 25*f. Suppose -2*y + 4*w = -2496, -y + 887 + 361 = -f*w. Does 24 divide y?
True
Is 1 + ((-252)/(-27) - 9)*1506 even?
False
Is 2429*(5 + 6*-3*2/12) a multiple of 5?
False
Let r(a) = -a**2 + 37*a - 19. Is 21 a factor of r(23)?
False
Let c(k) = -k**3 - 14*k**2 + 42*k + 46. Let g be c(-16). Let w = 162 + g. Is 12 a factor of w?
True
Let d be -5 + -5 + 12 + 33. Is 37 a factor of 227 + (-6)/(42/d)?
True
Suppose -8*x = -5*x + 9. Let p be 15/12*x - (-3)/4. Is 22 a factor of (-33)/(-12) + p - 89/(-4)?
True
Let f(t) be the third derivative of 0*t - t**2 + t**3 + 0 + 1/12*t**5 - 1/4*t**4. Is f(3) a multiple of 15?
False
Suppose 0*b - 5*b = -3*h, -4*h = -4*b. Suppose b = 2*z + 4*o - 98, -2*z + o = -0*o - 83. Suppose 3*c + 251 - 48 = 5*x, -x + 3*c + z = 0. Is 8 a factor of x?
True
Let v(p) = p + 17. Let a be v(-12). Suppose -3*r + 93 = a*h, h + 7 = -r + 26. Let o = h - -10. Is o a multiple of 14?
True
Suppose 5*r + 55 = u - 4*u, 0 = 2*u - 5*r - 5. Is u/(-18)*12*(-156)/(-5) a multiple of 8?
True
Let s(c) = -2*c**3 + c**2 + c - 18. Let d be s(0). Let h be 2 + 28/36 + (-4)/d. Suppose -151 = -h*u - 4*a, 6*u + 5*a = 2*u + 202. Does 4 divide u?
False
Let j(m) be the first derivative of 25*m**2/2 + 6*m + 7. Let g be j(-3). Let x = g - -114. Is 15 a factor of x?
True
Let p(b) = 30*b + 20. Let x be (-5)/(-20)*(-8)/(-2). Let g(h) = h + 1. Let y(o) = x*p(o) - 20*g(o). Is 4 a factor of y(3)?
False
Is 6 a factor of (-27564)/(-48) + (-18)/(-24)?
False
Let c(b) = 6*b**2 - 25*b - 105. Is c(-7) a multiple of 26?
True
Let q(c) = 4*c**2 + 16*c + 69. Is 4 a factor of q(22)?
False
Suppose -4*t + 8000 = -352. Suppose -636 = -6*f + t. Let n = f + -323. Is 29 a factor of n?
False
Let s(l) = -l + 16. Let i be s(14). Suppose 0 = 3*n + i*d - 2, n = 4*d - 4. Suppose n = -2*c + 8 + 160. Is c a multiple of 42?
True
Let d(c) = 3*c**2 + 3*c - 2. Let z be d(-3). Suppose 13*r = 19*r - 282. Let g = r + z. Is 7 a factor of g?
True
Suppose -10099 = 53*j - 38931. Is j a multiple of 17?
True
Let s = 21872 - 11417. Is 157 a factor of s?
False
Suppose -2*f = 8, -3*h + 19 = -f - 0*f. Suppose 6*c - 151 = h*c. Is 26 a factor of c?
False
Let z be (2 + 0 - 6)*34. Let r be (57 + -1)*(-147)/42. Let i = z - r. Is i a multiple of 15?
True
Let y(t) = 12*t**2 + 435*t + 239. Is 17 a factor of y(-38)?
True
