et s be x(-8). Does 33 divide (w/(-5))/(s/(-1980))?
True
Let n be 15/20 - (-26)/8. Is 23 + -2 + n + -6 a multiple of 19?
True
Does 24 divide ((-10368)/(-378))/((4/154)/1)?
True
Let b be -24*(-4)/(-2 - 6). Is (b/(-5))/((-6)/(-345)) a multiple of 23?
True
Let t(x) = -x + 42. Let y be (12/(-18))/((-4)/78). Is t(y) a multiple of 4?
False
Suppose -7*t = 2*t - 4536. Is 63 a factor of t?
True
Let o = -1 - 3. Let p(n) = 10*n + 254. Let l be p(-30). Does 12 divide (l/o)/(7/14)?
False
Let h = 5 + -2. Suppose 5*g + h = 173. Is g a multiple of 8?
False
Let c(p) be the third derivative of p**6/120 + p**5/6 - 5*p**4/8 + p**3/2 + 11*p**2. Suppose -3*q = d + 35, -3*d + 5*d = 3*q + 29. Does 6 divide c(q)?
False
Let n = 143 - 110. Does 16 divide 968/n*(7 + -1)?
True
Suppose -r - 11 + 4 = 0. Let x = -4 - r. Suppose 5*y - 107 = x. Does 10 divide y?
False
Let d be 837 + (-15)/25*(-5 - 0). Suppose 54*o - 49*o = d. Is o a multiple of 24?
True
Suppose -3*g = -13 - 14. Suppose g*u = 5*u + 3*z + 847, -9 = -3*z. Does 23 divide u?
False
Suppose 0 = x - 2*x + 4*q + 304, 3*x + 5*q = 844. Is x a multiple of 24?
True
Let y(q) = 13*q + 8. Let t be y(3). Suppose 45*j + 62 = t*j. Is 8 a factor of j?
False
Is 11 a factor of -7 - (0 + -700 + 0)?
True
Let m(j) = 4*j**2 + 3. Let n(b) = -17*b + 2. Let u be n(1). Let v be 4/10 + (-24)/u. Is 19 a factor of m(v)?
True
Suppose 0 = 4*r - 5*r. Let m(f) be the second derivative of f**3/6 + 26*f**2 + 6*f. Is 26 a factor of m(r)?
True
Suppose -5*p - i = 0, 8*p = 3*p + 5*i. Suppose 4*k = 2*a + 8, 2*a + 5*k - 54 + 17 = p. Is 2 a factor of a?
True
Let a be -1 - 0 - (-12)/4. Let l(s) = -5*s**3 - 2*s**2 + 3*s + 5. Let t(u) = -u**3 + u + 1. Let y(w) = -l(w) + 4*t(w). Is 17 a factor of y(a)?
True
Suppose -z - 4 - 1 = 0. Let g(k) = -k + 1. Let l be g(z). Suppose 8*p = l*p + 24. Does 4 divide p?
True
Let u(h) = -h**2 + 12*h - 15. Let i be u(10). Let p be -6*i/(30/(-4)). Suppose 2*n - 42 = -p*j, -4*j - 4*n + 47 = -n. Is j a multiple of 5?
False
Let i = -736 - -1651. Is i a multiple of 53?
False
Suppose 0 = 3*y - 104 - 19. Is 2 a factor of y?
False
Suppose -x - 2778 = -10*w + 7*w, -5*w = -3*x - 4634. Does 70 divide w?
False
Let c(h) = h**2 - 7*h + 46. Is c(-18) a multiple of 6?
False
Let c be (174/15)/(2/10) + 2. Let v = c - 29. Is v even?
False
Suppose 0*q - 2484 = 9*q. Let t = q + 514. Is t a multiple of 11?
False
Let f = -11 - -36. Does 9 divide (-22 + f)/(1/12)?
True
Suppose 35 + 17 = -4*i. Let b(v) = v**3 + 14*v**2 + 15*v + 5. Let m be b(i). Let n = 53 + m. Does 8 divide n?
True
Suppose -18 + 28 = m. Is 15 a factor of (m/(-2) - -36)*2?
False
Let p = -764 + 1499. Is 11 a factor of p?
False
Suppose 20 = 6*k - k. Suppose -3*t - 97 = -k*x - 2*t, 3*x - t - 72 = 0. Does 11 divide x?
False
Let n = 20 - 24. Let w(h) = -h**3 - 2*h**2 - 3*h + 7. Is w(n) a multiple of 17?
True
Let t be -3 + (-4 - 21/(-3)). Suppose -4*l + l + 323 = -2*f, l + f - 111 = t. Is l a multiple of 27?
False
Let f(k) = 350*k + 160. Does 10 divide f(6)?
True
Let o = 8 + 4. Suppose 0*u = 3*u - o. Suppose -u = 3*r - 19. Does 5 divide r?
True
Let q be (12/8)/(3/(-54)). Is 13 a factor of (-696)/q + 8/36?
True
Let k = -2 - -16. Let f be -82*-1*k/4. Suppose -11 = -3*n + 1, 2*n + f = 5*h. Is h a multiple of 13?
False
Is (1 + 117)*(300/24)/25 a multiple of 25?
False
Let l(r) = -136 - 4*r**2 - 4*r**3 + 3*r**3 + 141. Suppose -3*t - 13 - 2 = 0. Is l(t) a multiple of 12?
False
Suppose -5*s = -2*s - 9. Suppose 3*g = 2*d + d - 18, d + s*g = -10. Is 5 a factor of (-715)/(-30) + d/12?
False
Suppose -404 = -3*i + 2446. Suppose 5*z - i = h, -3*h = -3*z + 333 + 249. Is z a multiple of 11?
False
Let j(r) = r**2 - 15*r + 20. Suppose -5*f + 99 = -p, -3*f + 44 = -4*p - 29. Does 8 divide j(f)?
True
Let f(q) = 7*q**3 + 23*q**2 + 19*q - 10. Let a(l) = 4*l**3 + 12*l**2 + 10*l - 5. Let v(m) = -5*a(m) + 3*f(m). Is 2 a factor of v(-8)?
False
Let p(j) = 13 - 9*j**3 + 3*j**3 + 4*j + 16*j**2 + 5*j**3. Is p(16) a multiple of 9?
False
Let d(s) = 3*s**2 + 12*s - 5. Does 13 divide d(13)?
False
Is 29 a factor of 1/(((-3)/849)/(-1))?
False
Suppose 0*m - 2*m = -6. Let l be -2 + (-8)/((-32)/620). Suppose -t - 3*f + 43 = 0, -m*t + 0*t + l = 3*f. Is t a multiple of 11?
True
Let p(k) = -2*k**2 - 2*k - 5. Let n be p(-5). Suppose 0 = -3*d - 3, -2*z + 3*d = -5*z + 6. Is z/(-1) + (-12 - n) a multiple of 15?
True
Let z = -211 - 257. Does 19 divide (-11)/(33/z) + -1 + 3?
False
Let n = -5 - -9. Let d be 152*(-3 + 0 + 4). Suppose d = -0*i + n*i. Is i a multiple of 19?
True
Suppose 2*a + 20 = 6*a, 17 = -v + 4*a. Suppose v*j + 84 = -4*w, w - j + 0*j + 21 = 0. Let s = w + 35. Does 12 divide s?
False
Suppose 266 + 616 = 4*k + 3*m, 3*k + 3*m = 660. Let g = k + -130. Suppose -v + 15 + 29 = 4*u, -3*v + g = 2*u. Is 7 a factor of v?
True
Suppose 5*y + 0 - 20 = 4*q, -4*y + 4*q + 20 = 0. Suppose 9*g - 16*g + 1092 = y. Is 39 a factor of g?
True
Let x = 5 - -3. Suppose -3*u + x = -1, 2*j + 2*u - 370 = 0. Suppose 4*v = 4*z - 42 + j, -z - 67 = -2*v. Is v a multiple of 16?
True
Let u(c) = -10*c**3 - 2*c**2 + c + 2. Let n = -12 + 3. Let p(x) = 21*x**3 + 5*x**2 - 2*x - 4. Let z(b) = n*u(b) - 4*p(b). Is 18 a factor of z(2)?
True
Let k(b) = -174*b + 411. Is k(-12) a multiple of 119?
True
Suppose 0 = -4*a - 3 + 15, 5*m + 4*a = -28. Suppose -42 = -2*b - 2. Let v = m + b. Is 4 a factor of v?
True
Let u = -115 + 187. Let b = -454 - -767. Suppose 5*q - u - b = 0. Does 31 divide q?
False
Suppose -2*o + 8 = 0, 3*o - 57 = 4*i + 19. Let r = i - -56. Does 20 divide r?
True
Suppose g + 1 = 6. Suppose g*i = -56 + 326. Is i a multiple of 18?
True
Suppose -41 = 6*b - 17. Let z(h) = -h**2 - 8*h - 2. Does 3 divide z(b)?
False
Let n(j) = 19*j - 39. Does 6 divide n(9)?
True
Suppose 17 = -12*c + 137. Is c a multiple of 2?
True
Suppose 14*g - 3454 = -8*g. Suppose 385 = m + g. Is m a multiple of 16?
False
Let k = 21 - -30. Let h(z) = -8*z + 5. Let d be h(-3). Let y = k - d. Is y a multiple of 22?
True
Suppose 2764 = 16*b - 5460. Does 12 divide b?
False
Suppose 0 = -3*o + 7*o, 3 = a - 4*o. Let b be a - 6*(-3)/6. Suppose -3*x + b*x - 9 = 0. Is x a multiple of 2?
False
Let a be 2/(-5)*(0 - 5). Let d(v) = -10*v**3 + 2*v**2 - 2*v + 4. Let q be d(a). Let k = -40 - q. Does 8 divide k?
True
Suppose -d + 1 = -5*i, -5*d + 4*i + i - 15 = 0. Is -1*(d/(-4) + -4) a multiple of 3?
True
Let f(t) = -t**3 - 9*t**2 + 14*t + 9. Let m(u) = u**2. Let n(d) = -f(d) + 2*m(d). Does 9 divide n(-12)?
False
Let c(g) = -16*g - 11*g**2 + 8*g + 2 + 11*g. Let a be c(-1). Is 188/12 + 8/a even?
False
Let u be -3 + (80/(-28) - -2)*56. Let t = 82 + u. Is 6 a factor of t?
False
Suppose -18 - 60 = 2*z. Let s = z - -115. Is s a multiple of 18?
False
Let p(j) = -j**3 - j**2 - 2. Let a be p(-2). Let i(u) = 11 + 12 + 14*u - 24. Is 17 a factor of i(a)?
False
Suppose 3*o - 2*x - 3 = -5*x, -2 = -3*o - 4*x. Let l(d) = 4*d**2 - d - 2. Let c be l(o). Is ((-36)/10)/(c/(-40)) a multiple of 12?
True
Let t = 741 - 326. Does 10 divide t?
False
Let o = 24 + 14. Suppose 2*i - o - 22 = l, 3*l = 12. Let g = i - 1. Does 4 divide g?
False
Is 14 a factor of 573 - (-2)/4*2?
True
Let c = 536 - -154. Is c a multiple of 6?
True
Suppose -2*b - 1382 = -2*z, 1428 + 2006 = 5*z + 2*b. Is z a multiple of 76?
False
Let w(m) = -m**2 + 16*m + 17. Let p = -12 + 25. Does 7 divide w(p)?
True
Is (-9594)/(-15) + 16/40 a multiple of 16?
True
Let o be (6/4)/(6/16). Suppose o*t - 54 - 118 = -a, 4*t + 3*a = 180. Does 7 divide t?
True
Let v(q) = 2*q**3 - 5*q**2 - 6*q + 7. Let f be v(7). Suppose 5*x + 106 - f = 0. Is x a multiple of 20?
True
Let q be (-1)/2 - (-430)/4. Suppose 2*f - 513 = 11*f. Let u = f + q. Is u a multiple of 12?
False
Let p(g) = -g**3 - 3*g**2 - 4*g. Let w be p(-4). Suppose 194*x - 199*x + i + 83 = 0, i = x - 19. Let f = w - x. Does 16 divide f?
True
Let t = 3 + -2. Is -2 - (-7 + t + 2) even?
True
Let n be 0 + -5 - (-1 - 89). Let c be (-302)/6 + (-1)/(-3). Let t = c + n. Is t a multiple of 35?
True
Let q(t) = -3*t**3 + 10*t**2 + t - 4. Is q(-7) a multiple of 26?
True
Let v be (-69)/(-6) - (-1)/2. Suppose 0 = y - 5*y + v. Suppose y*h + 6 = 0, b - 3*h - 46 = -15. Is 25 a factor of b?
True
Suppose -6*i + 4*w = -2*i + 8, -3*i + 5*w = 0. Let u = -5 + i. Is 15 a factor of (-304)/(-10) - u/(-25)?
True
Let q = -52 - -102. Suppose 0*o + 17 = i 