 factor of q?
False
Let h(a) = 56*a - 23. Let y(t) = -t - 2. Let r(z) = h(z) + 4*y(z). Is 30 a factor of r(5)?
False
Suppose -23 = -2*k - 3*p, -45 = -4*k - 2*p - 3*p. Suppose k = -y + 6*y - 2*d, 3*d - 23 = -2*y. Suppose -b - 5*c = -59, y*b + 6*c = 3*c + 321. Does 28 divide b?
True
Let v = 182 - -132. Is 10 a factor of v?
False
Let t = 667 - 270. Let z = t - 277. Does 10 divide z?
True
Let r = 412 + 1563. Is r a multiple of 25?
True
Suppose 5*p - w = 2*w + 1757, -w + 1 = 0. Is 16 a factor of p?
True
Let o(d) = 3*d - 14. Let n(l) = -l**2 + 21*l + 29. Let w be n(22). Is o(w) a multiple of 7?
True
Suppose -3*c - 324 + 8077 = -2*h, 2*h = -4*c + 10342. Is c a multiple of 55?
True
Suppose 0*h = -2*l - 2*h + 504, 0 = -5*l - 3*h + 1266. Suppose 4*w + 20 = 0, 2*r + 5*w + 42 = l. Does 17 divide r?
True
Let s(m) be the first derivative of -m**7/840 + 7*m**6/360 - m**5/20 + m**4/8 - 2*m**3 - 3. Let p(l) be the third derivative of s(l). Is 19 a factor of p(4)?
False
Suppose 0 = -4*v + z + 798, -17 = -5*z - 7. Does 4 divide v?
True
Let u(z) = -z**2 + 4*z + 1512. Is 84 a factor of u(0)?
True
Let l = -782 + 1613. Is 91 a factor of l?
False
Let q(u) = -82*u + 201. Does 8 divide q(-12)?
False
Suppose -4*p + 7 = -3*p. Suppose p*x + 5 = 2*x. Let a = 15 + x. Is 10 a factor of a?
False
Let f = 53 + -57. Does 24 divide -6*f/(-8) - (-2 - 170)?
False
Let h = 14 + 3. Suppose -h = -4*w + 4*g + 7, -5*g = -3*w + 22. Suppose w*j - 14 = 22. Does 4 divide j?
False
Let p(g) = -g**2 + 7*g - 5. Let t be p(6). Is 224*(t/6)/((-3)/(-9)) a multiple of 22?
False
Let k = 112 + 420. Is 28 a factor of k?
True
Suppose -k = 2*k. Let y = k + -76. Is 9 a factor of -1 - y/(-3 - -7)?
True
Suppose -8*x + 3*g + 18 = -4*x, 2*x + 4*g = -2. Let z be ((-3)/1)/x + -5. Does 2 divide (z/(-9) - 0)*6?
True
Suppose -5*q + 20*q = 1005. Let l = -25 + q. Is l a multiple of 21?
True
Let j = 81 - 10. Suppose -2*o + j = 5. Does 33 divide o?
True
Suppose -7*u = 9*u - 64. Suppose -3*z + u - 10 = 0, i = -4*z + 248. Does 35 divide i?
False
Suppose j = -2*u + 3*j - 10, -2*u - 2*j - 18 = 0. Let q be (-2)/(-6) + u/3. Is q/((-8)/164)*1 a multiple of 9?
False
Suppose 10080 = -36*z + 44*z. Is 14 a factor of z?
True
Let n(w) = 12*w + 6. Let x be n(-12). Let c = x + 230. Is 26 a factor of c?
False
Suppose 3*j - 4*n = 239 + 162, 5*n - 645 = -5*j. Let v(a) = a**3 - 5*a**2 - 3*a + 2. Let c be v(4). Let r = j + c. Is r a multiple of 35?
True
Let j(g) = 9 + g**2 + 2*g - 1 + 3*g + 0*g. Does 2 divide j(-4)?
True
Suppose -13*r + 17*r - 1603 = 5*p, 0 = -4*r - p + 1633. Is 37 a factor of r?
True
Let z = -546 + 1428. Is z a multiple of 21?
True
Let p(u) = u + 10. Let a = 42 - 42. Is 10 a factor of p(a)?
True
Suppose 0 = 3*p - 9 + 3. Suppose 191 - 467 = -p*q. Does 43 divide q?
False
Let c = 14 + -10. Suppose -3*o = -n + 35, -n - c*o + 13 = -1. Let y = n - 23. Does 3 divide y?
True
Suppose 4*f + 94 = 234. Is f a multiple of 5?
True
Suppose 5*q + 5273 = 4*g, -5*g + 4*q - 8*q = -6540. Is g a multiple of 32?
True
Suppose 3*u + l - 372 = 85, 0 = 4*l + 20. Suppose 1081 = 5*o - 2*x + u, -5*x - 5 = 0. Does 28 divide o?
False
Is (-4)/44 - 2976/(-66) even?
False
Suppose 3*r - 2*c - 106 = 3*c, 4*c = -20. Let m be 15/2*12/10. Let t = r - m. Does 10 divide t?
False
Let t(j) = 5*j + 4. Let k(c) = 1. Let m(n) = 2*k(n) - t(n). Is 7 a factor of m(-6)?
True
Suppose 0 = -d + 6 + 4. Suppose g + d = 34. Let r = 43 - g. Is 9 a factor of r?
False
Is 49 a factor of 10902/9 - (7 + 92/(-12))?
False
Let q(l) = 7*l**3 + 7*l**2 - 9*l + 3. Let y be 1/1*(-25)/5. Let u(j) = j**2 - j. Let v(p) = y*u(p) + q(p). Is v(2) a multiple of 12?
False
Let q be -7 - (-12)/(-3) - 2. Let y = 78 + q. Does 23 divide y?
False
Let v(o) = o**2 - 6*o - 5. Let z be v(7). Let l be (28/42)/(z/78). Suppose l = w - 49. Is 38 a factor of w?
False
Let s(f) = -f**2 + 4*f + 2. Let v(r) = -r**2 - 4*r. Let k be v(-3). Let y be s(k). Suppose 0 = -y*d + 248 + 97. Is d a multiple of 23?
True
Let f be (-48)/(-10) - (-2)/10. Suppose -2*n + 5*n + 49 = 2*r, 0 = -f*r + 3*n + 127. Suppose -r - 10 = -3*m. Is m a multiple of 12?
True
Let t be 1/((8/(-124))/(-2)). Suppose -5*n - 3*o - o + t = 0, o = 3*n - 5. Suppose 2 = -2*m, n*x - m - 125 = -1. Is x a multiple of 23?
False
Suppose -4*a = -4*z - 4128, 8*z - 7*z + 4119 = 4*a. Is a a multiple of 9?
False
Let q(p) = 10*p**2 - 23*p + 69. Does 6 divide q(4)?
False
Suppose 13*m + 454 - 10347 = 0. Is m a multiple of 17?
False
Let t be 6/8 - (-149)/4. Let z = -6 + t. Does 11 divide z?
False
Let o(w) = w**2 + 21*w + 23. Let i be o(-20). Is 11 a factor of (56/i)/(8*(-5)/(-180))?
False
Suppose -w + 56 = 51. Suppose 0 = -a - w*j + 144, 2*a + 0*j + 5*j = 288. Does 12 divide a?
True
Let l(d) be the third derivative of -d**6/60 - d**5/60 + d**2. Let r be l(1). Does 7 divide (3 - 64/6)*r?
False
Let m be (-20)/(8/(-12) - 0). Suppose 0 = 8*y - 3*y - m. Does 6 divide y?
True
Suppose -4*q = q. Suppose 3*a - 405 = -q*a. Is 9 a factor of a?
True
Suppose -2*f + 3*p - 11 = 0, -5*f + p - 59 = 4*p. Is 7 a factor of 1/4 - f*11/8?
True
Let a(j) = -j**3 + 3*j**2 - 1. Let q be a(2). Suppose d = -q*n + 6*d + 27, 53 = 4*n - d. Does 7 divide n?
True
Let a(t) be the third derivative of t**5/60 - t**4/6 - 5*t**3/2 - 10*t**2. Is a(-6) a multiple of 15?
True
Does 12 divide 320 + (-7)/((-35)/20)?
True
Suppose -2*k + 504 = 2*p - 3*k, -2*k + 756 = 3*p. Suppose c + p = 5*c. Suppose -c - 9 = -4*j. Is j a multiple of 9?
True
Let t(u) = 15*u + 3. Let q be t(-1). Is 29 a factor of (-5055)/(-35) + q/(-21)?
True
Suppose 0 = 5*y + 3*v + 303, 2*v = -4*y + 6*v - 268. Let l(g) = 31*g**2 + 3*g + 2. Let x be l(-2). Let n = x + y. Is 19 a factor of n?
True
Let n be (-2 - -2)/(0 + -2). Let h(t) = -t + n - t**2 - 5*t**3 + 0*t**3 + 1. Is 13 a factor of h(-2)?
True
Is (-627)/(-2) + ((-27)/6)/3 a multiple of 8?
True
Let t(i) be the first derivative of i**2 + 14*i + 1. Let y(p) = 5*p + 25. Let f be y(-5). Is t(f) a multiple of 14?
True
Let h(j) = 212*j - 304. Does 12 divide h(5)?
True
Let y be 18/(-3)*3/(-9). Suppose 3*z + y*z = -4*c + 24, -4*z + 28 = c. Suppose 0 = t + f - 9, 4*f - 1 - z = -t. Does 5 divide t?
False
Let r(t) = 2*t**2 - t**2 + 30 - 10*t - 41. Suppose 3*g = -5*h + 15 + 40, 5*g + 81 = 4*h. Is 12 a factor of r(h)?
False
Let b = 607 + 1362. Is 116 a factor of b?
False
Suppose 0 = -3*q - l + 9, q + 5*l = -0*q + 3. Let g be q + -1 + (2 - -63). Suppose -2*z = -21 - g. Is z a multiple of 14?
False
Let m = 14 - 9. Let c be 3*((-56)/(-12) + -3). Suppose -2*d + q + 23 = 0, -m*d - 3*q - c + 68 = 0. Does 3 divide d?
True
Suppose 2*q + 26 = -g + 196, 2*q = 8. Does 9 divide g?
True
Let c = 16 - 13. Let a be 0/(1*(2 - c)). Suppose a = -3*n - 0*n + 39. Is 11 a factor of n?
False
Let w(z) = -6 + 36*z + 0 - 30*z. Does 5 divide w(6)?
True
Let x(k) = k - 1. Suppose 4*h + 1 = 2*i + i, -5*h - 4*i = 9. Let r = h + 10. Is x(r) a multiple of 8?
True
Let g be (-10)/(-3) - 3/9. Suppose -4*f = g*o - 63, 0 = -3*o - 0*f + 4*f + 87. Let p = 41 + o. Is 18 a factor of p?
False
Let v(d) = -7*d**2 + d - 27. Let o(p) = -13*p**2 + 3*p - 53. Let c(x) = -6*o(x) + 11*v(x). Is c(11) a multiple of 7?
False
Let b(d) = d**3 + 6*d**2 - 2*d. Let a be b(-7). Let z be ((-10)/a)/((-2)/(-14)). Suppose 4*v = z*m + 112, 0 = 2*v - 5*m - 22 - 26. Does 10 divide v?
False
Let b = -90 - -150. Let j = -30 + b. Is 17 a factor of j?
False
Let o(n) = -n**3 - 9*n**2 + 21*n + 54. Is o(-11) a multiple of 29?
False
Let f(s) = -s**2 + 45. Let b be f(0). Suppose 3*p = -2*p - 105. Let x = p + b. Is 8 a factor of x?
True
Suppose -2*z - 1396 = -3*o, 10*z - 14*z = -4*o + 1860. Does 9 divide o?
False
Let i(z) = 2*z. Let y be i(3). Suppose y*b - 5*b = 12. Let o = b + 8. Is 10 a factor of o?
True
Let c = 47 + -47. Suppose -f - 3*d + 36 = -5*d, c = f + 5*d - 64. Is f a multiple of 11?
True
Suppose -25 = -f - 4*f. Suppose f*h - 37 = 4*h - 5*y, -4*h = 3*y - 63. Is h a multiple of 4?
True
Let i(y) = y**3 + 9*y**2 + 15*y + 5. Let n be i(-7). Suppose -h + 4 = 2. Does 8 divide (h - -37) + n - -1?
False
Suppose 3*p - 240 = -5*s, 0 = -4*p + 4*s + 327 + 25. Let b = 89 + p. Is 29 a factor of b?
True
Suppose -14 = -p - 7. Suppose -p = -g + 52. Is 13 a factor of g?
False
Let x = -195 - -230. Is 5 a factor of x?
True
Let d = 87 + -62. Suppose 62 = 3*m - r, -5*m + 4*r = -d - 69. Is 