alse
Let p(j) = j**2 - 8*j - 21. Let w be p(-4). Suppose 0 = -a + 4*k + w, a + 8*k - 41 = 5*k. Is 7 a factor of a?
True
Let k = 48156 - 32092. Is k a multiple of 64?
True
Let q(w) be the second derivative of -w**5/20 - 13*w**4/6 - 16*w**3/3 - 20*w**2 + 16*w - 2. Is q(-25) a multiple of 45?
True
Let q = 223 + 2198. Is q a multiple of 5?
False
Let w = 114 + -106. Suppose w*z - 129 = 1479. Let c = z - 17. Is 23 a factor of c?
True
Let q = 1436 - -4698. Is q a multiple of 20?
False
Let b = 747 - -4797. Is 99 a factor of b?
True
Let o be -7*(6/(-14))/1. Suppose 0*r - 1611 = -3*p - r, 0 = p - o*r - 547. Is p/3 + 14/21 a multiple of 39?
False
Suppose -3*k = 3*n - 9390, 4*k - 12510 = -2*n + 3*n. Does 68 divide k?
True
Suppose 36*d - 180*d = -535680. Does 24 divide d?
True
Suppose 12 = -33*h + 31*h. Let m = h - -7. Let b = m - -4. Is b a multiple of 5?
True
Suppose -4*w - 3614 = -2*z, 5*z = 10*z - 3*w - 9063. Is z a multiple of 121?
True
Suppose 5*o - 4*y = 15817, -4*o + 2*y + 2619 + 10037 = 0. Does 37 divide o?
False
Suppose -1051*t = -1032*t - 253023. Is 70 a factor of t?
False
Does 60 divide (-3 - -5)/(((-18)/(-3150))/(78/5))?
True
Let g(p) = 165*p**2 - 137*p + 1783. Does 137 divide g(15)?
True
Suppose -13*p + 21*p - 48 = 0. Suppose 1389 - 525 = p*w. Is w a multiple of 12?
True
Let u(w) = 48*w + 157. Let l(m) = m + 2. Let h(c) = 6*l(c) - u(c). Does 2 divide h(-6)?
False
Let q be -343 - 25/(0 - -5). Let o = 552 + q. Is 17 a factor of o?
True
Let f = -902 - -936. Does 34 divide f?
True
Let m = 8687 + -6324. Does 5 divide m?
False
Let b = -608 + 610. Suppose b*j = -l + 1723, 0 = 11*j - 6*j - 4*l - 4340. Is j a multiple of 32?
True
Suppose -4*h - t + 0*t + 14 = 0, -t = 2. Suppose 24 = p - h*p. Does 20 divide 6 + p + 1*118?
False
Suppose 6 = -14*x + 216. Let j(l) = -6*l + 106. Is j(x) a multiple of 16?
True
Let h(m) = -m**3 - 8*m**2 + 5*m + 1. Let p be h(-10). Let b = p + 32. Is 51 a factor of b?
False
Let j be 4/(-6) + (-208)/12. Let h be j/12*(-12)/9. Suppose 0 = h*o + o - 33. Does 6 divide o?
False
Let d(u) = -447*u - 294. Is d(-7) a multiple of 27?
True
Let m(b) = 15*b - 42. Let x(t) = t - 2. Let f(d) = -2*m(d) + 18*x(d). Is 27 a factor of f(-5)?
True
Suppose 0 = -10*h + 10556 - 73376. Let u be 4 - (h/10 + (-2)/(-10)). Suppose 8*j + 152 - u = 0. Is j a multiple of 12?
True
Suppose 709*s - 886*s + 631005 = 0. Does 23 divide s?
True
Suppose -510*q + 461*q = -762881. Is 26 a factor of q?
False
Let p(w) = 95*w**3 + 29*w**2 + 20*w + 3. Is p(4) a multiple of 19?
False
Let t(n) = 248 + 3*n - n + 8*n**2 - 243. Let m be t(4). Suppose -4*l = -59 - m. Is l a multiple of 8?
False
Suppose -20683 + 1877 = -4*p + 2*v, -4*p + 18771 = 5*v. Is p a multiple of 62?
False
Suppose -5*r - 41175 = -5*h, 13*h = 9*h - 5*r + 32976. Does 6 divide h?
False
Let n(a) = a**3 + 2*a**2 + a. Let y be n(-1). Suppose 4*d - 5*o - 184 = 0, y = -2*d + 7*d - 4*o - 230. Let l = d - 36. Does 2 divide l?
True
Suppose 59153*a - 59148*a - 161975 = 0. Is 31 a factor of a?
True
Let g(s) = -s**3 + 4*s**2 + s - 5. Let p(j) = 4*j - 12. Let q be p(4). Let k be g(q). Is 4 a factor of (-12 - -16)/(k/(-4))?
True
Let a(b) = -5060*b - 1181. Is 106 a factor of a(-3)?
False
Suppose -4*h - 10 = 2. Let n(z) = -76*z + 5. Let m(d) = -15*d + 1. Let s(c) = -2*m(c) + n(c). Does 17 divide s(h)?
False
Let n be (10/8)/((-7)/(-28)). Suppose n*b = d + 405, -4*d = 3*b - d - 225. Suppose -3*g - 2*h = -b, -g + 4*g - 56 = 4*h. Does 8 divide g?
True
Suppose 5*u - u - 165 = -3*o, -3*u - 3*o + 120 = 0. Let x be (u/(-30))/((-2)/8). Suppose 78 = 8*g - x*g. Is 8 a factor of g?
False
Suppose 3*y - 48 = -4*c, 3*y + 33 = 2*c + 3*c. Let b = 18 + c. Let r = 71 - b. Is r a multiple of 11?
True
Let k = 3833 - 3711. Is 8 a factor of k?
False
Let l(t) = t**3 + 23*t**2 + 21*t - 20. Suppose 3*w + 9 = 0, 2*w = 3*r - 28 + 88. Let f be l(r). Is (28/(-5))/(f/(-5)) a multiple of 2?
True
Suppose 0 = -t + 26 - 15. Suppose 2*z - 16 = -4*c, -3*c - t = 3*z - 4*c. Is 9 a factor of 81/z*(-24)/36?
True
Let j be (-20 + -103)*(0 - (-1)/3). Let z = j + 134. Suppose 6*f - z = 3*f. Does 25 divide f?
False
Suppose 5*h = -15, -6*y + 15 = -3*y - 5*h. Suppose y = -9*o + 4*o + 1595. Let w = -128 + o. Is w a multiple of 52?
False
Let g = -207 - -35. Let y = 278 + g. Let t = 140 + y. Is t a multiple of 10?
False
Suppose 3*n + 16 = -5*u, -5*u - 37 = 8*n - 12*n. Suppose -o = -2*c + 858, 10*c - 6*c - 1696 = -n*o. Does 39 divide c?
False
Suppose -16 = -12*t + 4*t. Suppose 2*q - q + 1542 = 5*k, t*k - 5*q = 626. Is 14 a factor of k?
True
Suppose -2*i = -0*i - g - 11, -i - g = -4. Suppose 6*v + 3 = 3*v, -i*z + 4*v = -314. Is 12 a factor of z?
False
Let i be (-51)/6 + 1/2. Let g(o) = -o**3 - 6*o**2 + 16*o + 4. Let a be g(i). Suppose -4*x = -5*x + q + 11, 0 = 2*q + a. Does 2 divide x?
False
Suppose n + 2*k = 5*k + 11, -24 = -2*n + 4*k. Suppose n*i - 791 = 7*i. Is 14 a factor of i?
False
Does 70 divide (-1026121)/(-74) - 52/8?
True
Is -300*(-160)/(-240)*(0 - 21) a multiple of 12?
True
Let j be ((-13)/39)/((-3)/45). Suppose 4*u - 1468 = -2*g + g, j*g + 4*u - 7276 = 0. Does 33 divide g?
True
Let n be -1*(-1 + (-3)/(15/110)). Suppose n*j - 6836 = -695. Does 43 divide j?
False
Suppose 30*s = 7*s + 127650. Suppose -5*z - 566 = 4*g - s, 0 = 2*g + 2*z - 2492. Is 89 a factor of g?
True
Suppose -4*m = -6*x + 91236, -x - 27*m = -23*m - 15178. Is x a multiple of 22?
True
Suppose 343*n - 347*n + 12479 = -3*r, 0 = 5*n - r - 15585. Is n a multiple of 19?
True
Let h(p) = 4*p**3 - 13*p**2 - 14*p + 20. Let w(v) = v**3 - v**2 - v. Let l(i) = h(i) - 3*w(i). Let o be l(11). Suppose 3*n = -2*n + o. Is 3 a factor of n?
False
Let o be 1521/21 - 0 - 18/42. Suppose -2*t + 55 = -3*n - 0*n, 4*n + o = 4*t. Does 19 divide (n/(-2))/(7/84)?
True
Let g = -9450 + 14694. Does 19 divide g?
True
Let m(f) = 4*f**2 + 25*f + 17. Let b = 185 - 192. Does 14 divide m(b)?
False
Suppose 8*i - 44587 - 23336 = 19757. Does 80 divide i?
True
Suppose 3*s + 3*p - 21 = 0, 0 = 5*s + 2*p - 3*p - 17. Suppose 5 - 117 = -s*t. Is t a multiple of 7?
True
Let u be (228/(-10))/((-15)/(-50)). Let c = 78 + u. Suppose 2 = c*q, -2*q = 4*m + 2*q - 676. Is m a multiple of 20?
False
Suppose -14*b = -4849 - 6491. Is b a multiple of 10?
True
Suppose 0 = -2*m - 2*y + 106 + 32, -m + 65 = 5*y. Suppose -3*j = -m + 4. Suppose -j*z = -20*z - 24. Does 2 divide z?
True
Suppose 2*u - 5 = -3, r - 8 = -5*u. Let y(h) = 2*h**3 - 11*h + 14. Is y(r) even?
False
Let n(f) = 11*f - 49. Suppose -14*g = -70 - 28. Is n(g) a multiple of 8?
False
Let l(m) = m**3 - 9*m**2 + 16*m - 10. Let c be l(7). Suppose 0 = -c*q - 4, -d - 2*q + 128 = 2. Is d a multiple of 16?
True
Let j be 5/(10/(-2))*-5. Suppose j*u + 219 = 8*u. Is 20 a factor of u?
False
Let n(d) = 2*d**3 + 2 - 3*d**3 + 21*d - 11 + 19*d**2. Is n(20) even?
False
Let t = -455 + 518. Suppose 33*o + t = 42*o. Is o a multiple of 7?
True
Let f be 12/4 - (4 + -2). Suppose 0 = u - n - f, 27 = 4*u + 3*n + 2. Suppose 14 = k - p, 0*p + 44 = u*k - p. Does 7 divide k?
False
Let y(w) = 65*w - 27. Let i be y(18). Let z = i - 615. Does 4 divide z?
True
Let c(n) be the third derivative of 9*n**5/20 + 5*n**4/24 - 2*n**3 + 141*n**2. Is c(4) a multiple of 8?
True
Suppose -7*p - 340 = -4*i - 8*p, -i - 5*p = -104. Let t(h) = 19*h + 2. Let u be t(2). Let z = i - u. Is z a multiple of 10?
False
Let b(a) = 10 - 6 - 58 - 11*a - 65. Does 2 divide b(-12)?
False
Let z(p) = 2973*p + 202. Does 9 divide z(1)?
False
Suppose 4*o - 60032 + 5386 = -2*g, -2*g = 5*o - 68310. Is 61 a factor of o?
True
Let t = 41 - -133. Suppose -51 = i + 4*w - w, -3*w = -4*i - t. Does 9 divide -1*(-1)/((-5)/i)?
True
Let y(z) = z**2 - 8*z + 97. Let t be y(36). Suppose -1175 = -4*n + t. Is n a multiple of 30?
True
Suppose -5*x = 25, -3*x = 2*y + x - 566. Let a = 69 + y. Does 40 divide a?
False
Suppose 0 = -v - 4*v + 45. Let j(q) = -21*q + 9. Let c be j(v). Is ((-35)/(-28))/((-3)/c) a multiple of 25?
True
Does 50 divide (-12820)/((-1)/5 - ((-36)/45 - -1))?
True
Let y be 35/21 - (-6)/9*-1. Is ((-6083)/(-316))/(y/44) a multiple of 34?
False
Let s(h) = -9*h - 49. Let r be s(7). Let o = -105 - r. Suppose -48 = -o*y + 883. Does 26 divide y?
False
Suppose 6 + 14 = -4*q, -4*v - q = -74383. Does 33 divide v?
False
Is 2/3 - (760816/(-84) + 10) a multiple of 24?
True
Let a