94/34. Is 21 a factor of v*(p/(-20))/((-4)/(-10))?
True
Is 46 a factor of (-145)/(-3915) + 17279/27?
False
Suppose 0 = 3*u + 2*r - 1664, -3*u + 12*r = 16*r - 1672. Is 21 a factor of u?
False
Let l(m) = 2*m**3 + 151*m**2 - 23*m - 780. Is 8 a factor of l(-74)?
False
Let j(x) = 5*x + 6. Let z be j(-4). Let r be (10/7)/5 - 52/z. Suppose r*u - 4*k - 24 = 244, 0 = -2*u + 5*k + 128. Is 20 a factor of u?
False
Let p(d) = d**3 - 3*d**2 + 4*d - 9. Let u be p(3). Suppose -4*h - 338 = -u*i - 0*i, -438 = -4*i - h. Is i a multiple of 13?
False
Suppose 6*w - 27 = -3. Suppose b + 5*f = -10, b - f - w = f. Suppose -3*j + 2*r + b*r = -124, 4*r - 132 = -4*j. Is 19 a factor of j?
True
Let h(n) = -n**2 - 11*n - 30. Let x be h(-5). Let j be (4/(-5))/((-6)/45). Suppose 4*z - j*z + 64 = x. Is 8 a factor of z?
True
Let n(p) = 8*p - 84. Let j be n(10). Let k be 3/(-24)*j*383*2. Suppose 3*o - k = -5*z, -15*z + 121 = o - 10*z. Is 47 a factor of o?
False
Suppose -215*n - 95380 + 2432000 = 0. Does 11 divide n?
True
Let h be (-18)/(-8) + 5/(-20). Suppose 57 = h*g + 3. Let t = g - 8. Does 8 divide t?
False
Let q(f) = -f**2 + 6*f + 21. Suppose -2*v - 38 = -5*o, 0 = 2*o + 4*v - 6 - 14. Let h be q(o). Suppose -51 = h*m - 341. Is m a multiple of 16?
False
Let m = 165 + -161. Suppose -670 - 836 = -3*k - 2*d, -m*k = -d - 2019. Is 18 a factor of k?
True
Let t be 58/377 + ((-200)/(-26))/2. Suppose -t*v = 5*z - 3*z - 38, 5*v = -5*z + 35. Does 3 divide v?
True
Let y(w) = -8*w**3 - 3*w**2 - 2*w - 2. Let u(q) = 6*q + 32. Let l be u(-5). Suppose 2*t - l = -6. Does 12 divide y(t)?
False
Suppose -p = 0, 4*u + p = 2*u + 6. Let d(g) = 13*g + 9. Let s(t) = -25*t - 17. Let q(k) = u*s(k) + 5*d(k). Is 5 a factor of q(-7)?
False
Suppose -4*v + 4401 = -2*a + 23533, 3*a - v = 28728. Does 58 divide a?
False
Suppose -68*o + 72*o - 4*a = 41356, 0 = -o + 4*a + 10354. Does 19 divide o?
False
Let y(g) = -44*g - 171. Let c be y(-4). Suppose c*u - 3*s = 5668, -3*u + 3400 = -4*s + 3*s. Is u a multiple of 29?
False
Let j = 763 + 4120. Does 57 divide j?
False
Let g(t) = 2*t**2 - 64*t + 21. Let z be g(20). Let n = -363 - z. Is n a multiple of 12?
True
Suppose -3*b - 187*f + 189*f = -76462, 5*b - 127441 = -f. Does 177 divide b?
True
Suppose -s + 1 = -2*k - 50, -3*s = -9. Let x = -67 - k. Let f = x - -76. Is f even?
False
Suppose 151*k = 124*k - 351. Let p(w) be the first derivative of w**4/4 + 13*w**3/3 + 19*w - 1. Does 3 divide p(k)?
False
Let s(p) = -p**3 + 13*p**2 - 30*p. Let u be s(10). Suppose -59*r + 54*r + 945 = u. Is 7 a factor of r?
True
Suppose -107*o - 17*o = 22*o - 4331528. Does 17 divide o?
False
Suppose -2*n + 46 = -0*f + f, 5*n = -5*f + 205. Suppose 38 = -4*a + c, 4*a - 2*c + f = -0*c. Is 38 a factor of 56/(-2)*(a - -8)?
False
Suppose 3*w - 908 = 5*q, -18*q - 597 = -2*w - 13*q. Is 19 a factor of w?
False
Let j(b) = 53*b**3 - 21*b**2 + 16*b - 174. Is 24 a factor of j(7)?
True
Let h(d) = 116*d**2 - 21*d + 5. Is 47 a factor of h(9)?
True
Let y(s) = -s**3 + 131*s**2 - 211*s + 1461. Is y(129) a multiple of 19?
True
Does 9 divide 16/(-56) - (-73965)/35?
False
Does 202 divide 152990/7 - 214/(-749)?
False
Let t = 19 + -17. Suppose s - 1 = 4, 4 = -2*z + t*s. Suppose 0 = z*p - 5*f - 157, -p - f = -0*f - 39. Is p a multiple of 11?
True
Suppose x = -x - 846. Let i = x + 607. Does 20 divide i?
False
Is (-302175)/(-790)*(0 - (-8)/6) a multiple of 17?
True
Let d be 4/(-3) - 820/(-12). Let k = d + -41. Let w = 86 - k. Is 15 a factor of w?
True
Let d(b) = -b**2 - 19*b - 9. Let i be d(-16). Suppose -42*p + 765 = -i*p. Is p a multiple of 12?
False
Suppose -2*r - 31 = -2*g + 47, -2*g + 83 = -3*r. Let z(q) = -q + 43. Is z(g) a multiple of 6?
False
Let g(i) be the first derivative of 11*i**2 + 45*i + 1. Let p(w) = 33*w + 67. Let v(z) = -7*g(z) + 5*p(z). Is 6 a factor of v(2)?
True
Let g be -1*0/((-21)/(-3)). Is 21/(-35)*-5 - (g + 1) even?
True
Is (-105)/50 + 2 - (747126/(-20))/3 a multiple of 92?
False
Let w(j) = 16*j**2 + 2*j + 22. Suppose 3*u = 4*v - 8*v - 16, -2*v - 4*u = 8. Is 18 a factor of w(v)?
True
Let s(a) = -24*a + 64. Let m be s(-8). Let d = 273 - m. Is 2 a factor of d?
False
Suppose -1024*u + 87465 = -939*u. Is 33 a factor of u?
False
Is (3 + -21)*5/(-30) - -14401 a multiple of 26?
True
Let z = -83 + 86. Let d be 0 - (z - 3/(-3)). Is 2 a factor of -2 + (-8)/d - -9?
False
Let d(j) = -6*j + 31. Let w be d(3). Does 14 divide 3275/w - 9/(-117)?
True
Let n(s) = 67*s + 43 + 106 - 41. Does 19 divide n(8)?
False
Let m be 0/(3 + 1 - 1). Suppose -4*x + 8*x + s - 456 = m, 0 = -5*x - s + 571. Is 23 a factor of x?
True
Let t be 50/20*8/(-10). Is 57 - (1 - t)/((-3)/(-3)) a multiple of 18?
True
Let z = -7285 - -10915. Does 30 divide z?
True
Let j(n) = n + 1. Let d(l) = -2*l**2 + 8*l - 2. Let s(h) = d(h) + 4*j(h). Let t be s(6). Is 2 - t/((-8)/372) a multiple of 18?
False
Let m = 16 - 14. Let q(o) = 6 - 8 - m + 12*o. Does 7 divide q(5)?
True
Let m(g) = -g**2 - g. Let t(s) = -5*s**2 - 8*s + 5. Let j(n) = -2*n - 54. Let h be j(-28). Let r(i) = h*m(i) - t(i). Does 40 divide r(3)?
True
Suppose -30*p - 62*p = 26*p - 1591938. Does 3 divide p?
True
Let n(d) = 29*d**2 + 107*d + 672. Is 4 a factor of n(-11)?
True
Let t = 406 - -2450. Is 34 a factor of t?
True
Does 6 divide -13 - (-2924 - 21 - 2)?
True
Suppose 58 = 26*v - 24*v. Suppose -2*j - 4*d = d + 37, v = -4*j - d. Does 25 divide 1/(15/j) + (-8478)/(-45)?
False
Let g be (-22)/(-2)*-23*-3. Suppose -b - 4*m - 3226 = -7*b, -1617 = -3*b + 3*m. Let f = g - b. Is 25 a factor of f?
False
Let m(x) = -5 - 2*x + 5*x**3 + 7*x**2 + 0 + 8. Let t(i) = -4*i**3 - 7*i**2 + 2*i - 3. Let y(u) = -3*m(u) - 4*t(u). Is 5 a factor of y(-7)?
False
Let q(h) = 31*h**2 - 31*h + 14. Is 28 a factor of q(-13)?
True
Let h = -56 - -8. Suppose 490 = -4*s + 6*s. Let a = h + s. Is a a multiple of 40?
False
Suppose -v - 5989 = -3*u, 3*u - 3*v - 4447 = 1550. Is u a multiple of 14?
False
Let p = -66 - -68. Suppose 4*y - p*s - 7 = -33, -s = 2*y + 3. Let t(j) = -j**3 - 2*j**2 + 5*j + 15. Is 14 a factor of t(y)?
False
Suppose 2*l + j - 3642 = -j, 5*l - 4*j = 9150. Let q = -1256 + l. Is 30 a factor of q?
True
Suppose -188*t + 4218 = -207*t. Let i = t + 362. Is 2 a factor of i?
True
Let o = 6048 + 480. Is o a multiple of 102?
True
Let y be 1/4 - 850/8. Suppose -4*l - 283 = -3*g, -5*g = -2 - 3. Let j = l - y. Does 18 divide j?
True
Suppose -2*m = s - 1935, 0 = -2*s - 77*m + 76*m + 3867. Is 13 a factor of s?
False
Let q(i) = i**3 - 8*i**2 - 16*i + 5. Let r be q(9). Let f = -56 - r. Is 5 a factor of 18/12*(42/9 + f)?
True
Suppose 2*o + 5*s = 2042, 2*s + 160 + 879 = o. Let i = 1458 - o. Is 35 a factor of i?
False
Let a(b) = 2*b**2 - 4*b - 4. Let g be a(3). Suppose -p + g = -d, -2*p - 6 = p. Is 7 a factor of d + (-3 - -47)/4?
True
Let i(m) = -287*m**3 + 2*m**2 - m - 3. Let a be i(-1). Let l = 193 + a. Is l a multiple of 20?
True
Let c = 61 + -58. Suppose -5 = -4*z - c*l, -3*z - l + 10 = -0*z. Suppose a = -4*a + 2*t + 470, z*a + t - 455 = 0. Does 27 divide a?
False
Let z(o) = 222*o + 420. Is z(4) a multiple of 12?
True
Let l(z) = -2*z**3 + 7*z**2 - 34*z - 342. Is 19 a factor of l(-10)?
True
Suppose 23*q - 11*q - 4104 = 0. Is 21 a factor of 1*q - 4 - 2?
True
Let f(k) = -k**3 + 25*k**2 + 76*k - 41. Let o = -743 - -769. Does 17 divide f(o)?
False
Let t = 753 + -2548. Let n = 1110 + t. Is n/(-25) - (-9)/15 a multiple of 4?
True
Suppose -699*a = -702*a + 453. Let p = a + 59. Is 15 a factor of p?
True
Let w = -1425 - -1348. Let z(s) = -16*s - 4. Let c be z(-6). Let i = w + c. Does 15 divide i?
True
Suppose 4*g - 5808 = -g + 4*p, 2*g = 2*p + 2322. Is g a multiple of 13?
False
Suppose -4*x = -29*i + 25*i - 156, -2*x + 8 = 0. Is 21 a factor of i/(-14)*22 - -2?
False
Let b(y) = -y**3 - 2*y**2 - 1. Let w be b(-2). Is (-9)/54*12/w even?
True
Suppose -105651 = -35*z - 46*z + 945. Is z a multiple of 47?
True
Suppose 8*g - 16*g = 160. Does 10 divide (6 + -46*(-3)/(-12))*g?
True
Suppose -2*o + 4*j = 9*j - 3686, 0 = -5*o + j + 9215. Is 19 a factor of o?
True
Suppose 2*h = 4*w + 8, -w + 16 = 3*w + 4*h. Suppose w*k + k = -3*f + 56, -f + k + 20 = 0. Suppose -a + f = -v, 3*a - 51 = -5*v - 10. Is a a multiple of 4?
False
Let z = -677 - -22447. Does 13 divide z?
False
Suppose 5*b = 49 - 39. Suppose 4*g + b*h = -18, 31 = -3*g - 3*h - 2*h. Is g 