tor of l?
False
Let z(a) = -a**3 + 6*a**2 + 6*a + 5. Let m be z(7). Let s be -202 + (-1)/(-4)*m*-2. Is -2*(-4 + s/6) a multiple of 26?
False
Suppose -2*x = -0*x + 4950. Does 15 divide (204/85)/(((-6)/x)/1)?
True
Let t(a) be the third derivative of a**5/12 + a**4/24 - 7*a**3/2 + 119*a**2. Does 4 divide t(-6)?
False
Suppose -780*i + 20694 = -778*i - x, 3*i - 31028 = -5*x. Is 19 a factor of i?
False
Let z(o) = 2*o**2 - 27*o - 73. Let w(m) = -m**2 + 2*m + 54. Let n be w(7). Is 3 a factor of z(n)?
False
Let v be ((-2)/3)/(1/(-3)). Let f be 4615/(-1775) - (-2606)/10. Suppose f = n + v*j, j - 1014 = -4*n - j. Is n a multiple of 14?
True
Suppose 0 = 2*y - 4*n - 490 - 246, -n = -5*y + 1822. Suppose i - y = 329. Is 33 a factor of i?
True
Suppose 25209 = -2*s + 4*s + 6659. Does 87 divide s?
False
Suppose -z + 30 = -2*r + 5, 0 = -5*z - 4*r + 55. Let t = 26 - z. Suppose -t*s - 270 = -16*s. Does 15 divide s?
False
Suppose 3*r - 35 = -4*h, 0 - 8 = -h - r. Suppose -h*n + 898 = -323. Is 12 a factor of n?
False
Let b = -73 + 28. Let n = -39 - b. Is 5 a factor of (-2)/4 + (123/n)/1?
True
Let f(t) be the second derivative of -t**5/20 - 37*t**4/12 + 19*t**3 - 45*t**2/2 + 144*t. Is 26 a factor of f(-40)?
False
Let l(x) = 121*x - 62. Suppose 3*v = 3*f - 6, -10 = -3*v - 2*f + 4. Is 10 a factor of l(v)?
True
Let b be -107 + -10 + 5 + 4. Let c = b - -114. Suppose 359 - 119 = c*p. Does 8 divide p?
True
Let u = 110 + -63. Let l = -49 + u. Is 29 - l/(6/3) a multiple of 10?
True
Let c(s) = -7*s**2 + 3*s - 2. Let u be (3 - (-9)/(-2))*2. Let j be c(u). Let h = j + 104. Does 5 divide h?
True
Let z be -2 + ((-3)/(-1))/(36/48). Suppose 0 = -3*g + 5*p - 25, 0*p + 10 = -4*g + z*p. Suppose q + 2*a - 8 = g, 3*q - 52 = -8*a + 9*a. Is 3 a factor of q?
False
Let r(w) = -w**3 - 19*w**2 + 9*w + 36. Let l(m) = -m**3 - 18*m**2 + 9*m + 35. Let v(k) = 5*l(k) - 4*r(k). Let g be v(-14). Let j = 151 + g. Does 15 divide j?
False
Suppose 3*c = -2*f + 8076, -4*f = -5*c + 9086 + 4330. Is c a multiple of 84?
True
Suppose -5*y - 2*w = 2112, -2*w + 1277 = -4*y - 409. Let d = -386 - y. Is d a multiple of 20?
False
Let n be (-4)/(-2) - 5*14/(-35). Suppose -198 = 25*s - 28*s. Suppose g + 3*g = 16, w + n*g = s. Does 50 divide w?
True
Let b(q) = -12*q - 2. Suppose d + 38 + 19 = 3*n, 39 = -d - 3*n. Let o = -56 - d. Is 9 a factor of b(o)?
False
Is ((-1 + 2)*1 + 3)/(422/155085) a multiple of 6?
True
Suppose 0 = 2*l + 2*u - 4, -3*l + 2 = u - 0. Suppose 5*n - 530 = -m, -2*n + l*n - 2076 = -4*m. Is 26 a factor of m?
True
Let a(s) = 3*s**2 - s - 1. Let w be a(2). Suppose 0 = -h - 5*y - 15, -h + 4*y = -6*h + w. Suppose 4*v = 3*l + 227, -l - 62 = -h*v + 219. Is 28 a factor of v?
True
Suppose -102813 = -6*y + 136011. Does 321 divide y?
True
Let l(a) = -12*a - 5. Let w = 40 - 20. Let f = 11 - w. Is l(f) a multiple of 16?
False
Suppose 2*m + 254 - 64 = -5*x, -5*m = 4*x + 458. Suppose -16*h + 20*h = -j - 58, 0 = 5*j - 2*h + 268. Let q = j - m. Is q a multiple of 18?
True
Let g(p) = 6*p**2 - 14 - 7*p**2 - 4 - 9*p. Let i be g(-5). Suppose -3*s - 297 = -2*u + i*s, -3*u + 5*s + 438 = 0. Is 47 a factor of u?
True
Let o = -40 + 94. Suppose o = -2*b - 142. Let c = b - -200. Is c a multiple of 24?
False
Let d = 6413 + -5909. Is 8 a factor of d?
True
Let j = 14270 + -13170. Does 110 divide j?
True
Let c(j) = 2*j**3 + 79*j**2 - 75*j + 28. Let s be c(-37). Suppose 24*l = 6*l + s. Is 20 a factor of l?
False
Suppose 4*q = -3*m + 118206, 0 = -2*q + m - 19874 + 78962. Is q a multiple of 52?
False
Suppose -2063*y = -2076*y + 198172. Is y a multiple of 206?
True
Suppose -72*d + 293492 = 58628. Suppose -7*g + 11*g + 2*x = d, 2439 = 3*g + 4*x. Does 12 divide g?
False
Let i = 648 - 647. Is 7 a factor of 5370/12 + i/2?
True
Let c(q) = 84*q**2 - 32*q - 36. Does 74 divide c(7)?
False
Suppose 63*v - 96054 = 213067 + 24527. Does 68 divide v?
False
Is 6 a factor of -546*(228/18 + -16)?
False
Suppose 0 = 12*c - 65*c - 85595. Let p = -894 - c. Is p a multiple of 43?
False
Let z(m) = 3*m**3 - 4*m + 3. Let s be z(1). Is 39 a factor of 20754/126 - s/(-7)?
False
Let m(r) = -3*r + 65. Let c be m(16). Suppose -225 = c*b - 22*b. Is 18 a factor of b?
False
Suppose -12*l + 5 = -11*l. Suppose -l*q + 14*j = 10*j - 1189, -5*j = -5*q + 1185. Does 25 divide q?
False
Suppose -23*i + 12*i = -698 - 3317. Is 6 a factor of i?
False
Suppose 3*q = q - 6, q = t - 12. Suppose 3*a - 65 - 109 = 0. Suppose t = p - a. Is p a multiple of 12?
False
Let j(u) be the third derivative of 77*u**5/20 + u**4/6 + 2*u**3/3 + 40*u**2. Is j(-1) a multiple of 27?
False
Let m = -48 - -105. Suppose h = -h + 4*u + 84, -m = -h - u. Is h a multiple of 13?
True
Let l(q) = -q - 1. Let o(n) = -n - 2. Let p(v) = 4*l(v) - 3*o(v). Let a be p(-3). Suppose 0 = -3*k + 2*k + 1, 0 = a*b - k - 34. Does 7 divide b?
True
Let k = 292 - 247. Suppose 2872 = k*j - 233. Is 23 a factor of j?
True
Let z = 6831 + -3135. Is 4 a factor of z?
True
Let k be (-156)/(-3) - 3/(-9)*3. Is 8 + k + 5 + -1 a multiple of 14?
False
Let r be ((-286)/(-104))/(1/(-340)). Is 13 a factor of 22/(-77) + r*(-11)/7?
True
Suppose -c = -5*v - 34780, 5*c - 5764*v - 173984 = -5760*v. Is c a multiple of 16?
True
Suppose -7*r + 593 = 404. Suppose -35*q + r*q + 3984 = 0. Is q a multiple of 6?
True
Let d(b) = -173 + 4*b**2 + 358 - 12*b - 171. Does 9 divide d(10)?
False
Suppose -3*o + 461 - 1412 = -5*h, 8 = -4*o. Does 9 divide h?
True
Suppose 5*j + 5 = 0, 5*g + 4*j + 694 = 2250. Let w = 374 + g. Does 26 divide w?
False
Suppose -p - w = 3, 2*p + 4 - 3 = -w. Suppose p*x + x = -5*r + 2042, -x - 5*r + 664 = 0. Does 75 divide x?
False
Suppose -4*c + 628 = n, 7*c - 2*c + 5*n - 785 = 0. Suppose c = 16*q - 1043. Is q a multiple of 3?
True
Suppose -22*s + 191148 = 24*s + 5*s. Is 13 a factor of s?
False
Let m be 872 - (-4)/8*0. Suppose -4*o + 4 = y, -1 = 3*y - 3*o + 2*o. Suppose 5*s - m = i, -9 = -3*i - y. Does 35 divide s?
True
Let k(l) = l**2 + 6*l - 14. Let i be k(-8). Let t be (-45)/(-12) - i/(-8). Suppose 5*j - t*b - 949 = 321, 4*b = 2*j - 496. Does 17 divide j?
False
Is 56 a factor of (-912)/(-171)*((-2562)/(-4) - (0 + 0))?
True
Let w(g) be the second derivative of -1/20*g**5 + 0 + 13/6*g**3 - 23/2*g**2 - 7/6*g**4 + 3*g. Is 3 a factor of w(-15)?
False
Let p be (-7)/(0 + -1 + (3 - 1)). Let r(j) = -j**3 - 8*j**2 - 7*j - 9. Let s be r(p). Is 9 a factor of 2 + ((-12)/s*84 - -1)?
False
Suppose -231*y - 88*y = -72*y - 485355. Is 13 a factor of y?
False
Let x = 32291 + -28092. Is 13 a factor of x?
True
Let t = 21066 + -2616. Is 150 a factor of t?
True
Let i be (((-312)/84)/(-13))/(4/14). Suppose -5*b + 12 = -63. Let t = b - i. Is 3 a factor of t?
False
Let k(i) = -7*i - 5. Let b = -25 - -29. Let u be 8/3*b/((-32)/18). Is k(u) a multiple of 6?
False
Let n = 8910 - 5128. Is 61 a factor of n?
True
Let i = -734 - -2830. Is 22 a factor of i?
False
Suppose 247917 = 37*s - 11564. Is 59 a factor of s?
False
Let c be (0 - (-2 - -1))*(-21 + 224). Suppose -c = 530*b - 537*b. Does 29 divide b?
True
Let t be ((-2)/(-4))/((2 + 4)/(-36)). Is 93 + 35/21 + 2/t a multiple of 47?
True
Let s = 33633 + -21613. Does 30 divide s?
False
Suppose x = -3*u - 6712 + 22723, 0 = -2*u + 2*x + 10666. Does 116 divide u?
True
Let a be ((-6)/(-3) - 60) + 3. Let t = a + 106. Suppose -54*w + t*w = -174. Is w a multiple of 15?
False
Let l(q) = q**3 - 10*q**2 + 12*q + 1. Suppose 22*p - 32 = 26*p. Let h(v) = v**3 + 9*v**2 + 7*v + 1. Let b be h(p). Is 13 a factor of l(b)?
False
Let v(i) = 2*i**3 - 67*i**2 - 148*i - 47. Does 28 divide v(37)?
True
Let p(m) = m**3 + 2*m**2 - m + 1. Let c be p(-2). Let q be (1 - 0) + 238/17*1. Suppose -3*g = -2*i + q, 5*i - 33 = 3*i - c*g. Is 12 a factor of i?
True
Suppose -2*u = -0*u - 60. Let m = -28 + u. Suppose -5*q = -3*z + 4*z - 126, 3*q - 217 = -m*z. Is z a multiple of 12?
False
Does 326 divide ((-15)/50 - (-5)/(-10))/(2/(-3325))?
False
Suppose q + 5*h + 16510 = 6*q, -5*h - 10 = 0. Does 75 divide q?
True
Does 34 divide ((-72356)/25)/(12/(-30)) + 10/25?
False
Suppose -f + 3*p = -11, -5*f - 6*p = -11*p - 35. Suppose -l - f*x = -5 - 24, -3*l - 2*x + 61 = 0. Is 7 a factor of l?
False
Let h(g) = -8*g + 8. Let l = -8 + 17. Let z be l/((-27)/(-6))*-3. Is h(z) a multiple of 6?
False
Suppose -4*d = -195 - 29. Suppose 51*v + 1300 = d*v. Is 52 a factor of v?
True
