1). Suppose -83*n = -79*n - a. Is 26 a factor of n?
False
Suppose -71*f + 39150 = -41*f. Is 15 a factor of f?
True
Let f be 3 + -5 - ((-4)/(-2))/(-2). Does 40 divide ((-450)/(-27))/((-33)/36 - f)?
True
Let x(y) = y**3 - 22*y**2 - 19*y + 3. Let j be x(21). Let w = j - -1449. Is 17 a factor of w?
True
Suppose -3*c = 2*a - 159, 4*a - 309 = -8*c + 5*c. Let q = a - 75. Suppose q = -5*f - 20, -4*f - 65 = -5*s + f. Does 2 divide s?
False
Let w = -11 - -13. Suppose -4*b + w*i + 2 = 0, 7*b + 4*i + 30 = 2*b. Is 5 + -4 + b - (-1 - 11) a multiple of 2?
False
Suppose -3*w - 15 = 0, w - 11100 = 4*q - 27453. Does 39 divide q?
False
Suppose -5*x + 2*s - 1320 = 4*s, 0 = 3*s + 15. Let g = x + 556. Is g a multiple of 6?
True
Let r = -12 - -15. Suppose r*p - 10 = p. Suppose 298 = 4*i + p*a, 5*i - 2*a = -3*a + 362. Is i a multiple of 36?
True
Let m be (-6)/(-10) + 12/5. Let a(x) = -2*x**3 + 3*x**2 - 15*x + 11*x**2 + m*x**3 + 9. Does 7 divide a(-15)?
False
Let l = 6 + -6. Let u = 208 + -206. Suppose -q - u*q + 36 = l. Is 4 a factor of q?
True
Let x be 13240/5 - (-144)/18. Suppose 3*k = -0*o + 4*o + 2023, -5*o + x = 4*k. Is k a multiple of 7?
False
Let u = 457 + -440. Suppose -u*t + 14*t = -486. Is 27 a factor of t?
True
Suppose 0*w - 4*w + 20 = 0, -3*r - 5*w = -34. Let p(v) = 8*v - r*v + 3*v + 20 - 27. Is p(5) a multiple of 13?
False
Let d = 737 + -1385. Is (2 + d/10)/((-112)/280) a multiple of 8?
False
Suppose 92*i + 67672 = 136*i. Does 20 divide i?
False
Let w(p) = 2*p**2 + 4. Let k be w(3). Suppose -k - 18 = -5*c. Let m = 70 + c. Is 17 a factor of m?
False
Let m = 45 + -52. Let t = -5 - m. Let k(g) = 31*g + 8. Is k(t) a multiple of 7?
True
Let c = 29 + -25. Suppose 5*y - 16 = -3*w, -c*w - 3*y = -7*y. Is 13 a factor of (-12140)/(-190) + w/19?
False
Let d = 1023 + -51623. Is 25 a factor of 2/(-14) + 7/((-539)/d)?
False
Let l = -15 - -34. Suppose 4*i = 5*v + 1 - 25, -3*i = -4*v + l. Does 25 divide 270/(-9)*(-30)/v?
True
Suppose -2*i + 5*i = 9. Let q(x) = 11*x - 32*x - 5*x**2 + x**i - 10 + 8*x. Does 28 divide q(9)?
False
Suppose -c + 4*h + 28 = c, -h = c - 17. Suppose 3003 = c*o + 939. Is o a multiple of 14?
False
Let c be (-8)/(-2) - 634/(-2). Suppose 2*r - c = 977. Suppose 8*b - r + 153 = 0. Is b a multiple of 14?
False
Let m be 0 - 22*982/(-4). Suppose d + 3247 = 3*c - 0*c, -5*c + m = d. Is 23 a factor of c?
True
Let k(i) = 2*i**2 - 19*i - 1. Let y be k(10). Suppose 3*n = y, 0 = 4*d - 2*d + 5*n - 975. Does 24 divide d?
True
Suppose 7783 = 4*t - 20729. Suppose -42*n + t = -15*n. Is n a multiple of 11?
True
Let j = 2917 - 1062. Is j a multiple of 7?
True
Let h(x) = x**2 - 15*x + 6. Let u be h(14). Let s be (-26)/u + -2 - 3/12. Is s - (-93 + -4 + 0) a multiple of 32?
False
Suppose 102 = 3*a - 6*a. Let k = a - -22. Let y = k + 72. Is 20 a factor of y?
True
Let u be (-3 + 5)*(0 + -5). Let z(x) = -66*x + 32. Let r be z(u). Let s = -368 + r. Is 13 a factor of s?
False
Let c(d) be the first derivative of -5*d**2/2 - 17*d - 14. Let j be c(-4). Suppose 2*m + 726 = j*k, 2*k - 3*m - 729 = -k. Does 30 divide k?
True
Let g(w) = -163*w - 25. Let z be (82 - 86)*-1*2/(-4). Is g(z) a multiple of 8?
False
Let h be -2*((-32)/(-10) - 4)*-5. Let q be 3*((-20)/(-3) - h/(-4)). Does 5 divide 1/(2/(-6)) + q?
False
Suppose 9*a - 16 = a. Suppose -q = 3*d + a*q - 1194, 2*q = 8. Suppose -5*v + d = -466. Is 40 a factor of v?
False
Suppose -9*o + 5*o + 12 = 0. Let g(h) = -o + 7*h**2 - h**3 + 12 - 4 - 2*h. Is 9 a factor of g(5)?
True
Suppose -25301*w + 25314*w = 913458. Is 21 a factor of w?
True
Let j = -30790 + 36196. Is 56 a factor of j?
False
Let w(c) = c**2 + 11*c + 29. Let d be w(-8). Suppose 0 = 5*k - d*z + 25, -14 = 2*k + 4*z + 20. Does 14 divide 624/9 + 3/k?
False
Suppose 2*w + 31*t - 30*t - 20922 = 0, -9*t + 31323 = 3*w. Is w a multiple of 13?
True
Suppose 5*w - 36436 = 4*x, -3707*x = -2*w - 3705*x + 14578. Is w a multiple of 5?
True
Let c(b) = -50*b - 8. Let u(x) = -x**3 + 3*x**2 - 4. Suppose -8*n = 2*n - 11*n. Let s be u(n). Is c(s) a multiple of 16?
True
Is 22 a factor of (-8 + 26584)/8*13/(39/6)?
True
Suppose -19*l + 32354 + 230150 = 61085. Does 60 divide l?
False
Suppose 4*s - 22 = -5*x, 4*x - 26 = -4*s - 6. Suppose 0 = -5*w - v + 61, -w - 2*w = -s*v - 51. Suppose b - 38 = w. Is b a multiple of 12?
False
Suppose 1084404 = 128*l - 436155 - 373841. Does 16 divide l?
True
Let j = -3600 + 3633. Is j a multiple of 11?
True
Let t = 364 + -380. Let u = 38 - t. Does 18 divide u?
True
Let r(u) = -1081*u**3 - 2*u**2 + 24*u + 25. Is 40 a factor of r(-1)?
True
Let a(m) = -m**3 + 19*m**2 - m + 19. Let n be a(19). Suppose -2*q - 5*d + 218 = 0, q - 9*d + 10*d - 106 = n. Does 12 divide q?
False
Is 61 a factor of (-5)/1 + -1 + 4 + 3744?
False
Let j(f) be the third derivative of -29/8*f**4 + 6*f**2 + 0 - 1/2*f**3 + 0*f. Does 21 divide j(-1)?
True
Suppose 2*n - 3 - 7 = 0, -3*v + 4*n - 2 = 0. Suppose -3*t + v = 0, -110 = -2*i - 3*t - 8. Is i even?
True
Let p(d) = -8*d**3 + 8*d**2 + d + 2. Let s(k) = -k**3 - k**2. Let z(m) = p(m) + 6*s(m). Suppose 32 = 4*l + 40. Does 30 divide z(l)?
True
Let d = 3758 + -3213. Is d a multiple of 2?
False
Suppose -13*p + 499 + 281 = 0. Is 42 a factor of (-1008)/p*300/(-8)?
True
Let s(b) be the third derivative of 2*b**5/15 - 13*b**4/24 - 77*b**3/6 - 89*b**2 - 2*b. Does 32 divide s(-6)?
False
Suppose -3*g - 15 = 2*q, -2*g = 4*q - g + 5. Suppose n = 1, 5*f - 5*n + n - 9911 = q. Does 22 divide 1/(18/f) + (-4)/24?
True
Suppose -147740 = -28*u + 75728. Is 26 a factor of u?
False
Suppose 683 = p - 235. Suppose h - p = -h. Does 51 divide h?
True
Let m(j) = j**3 - 16*j - 24 - 7*j + 29 + 15*j**2 - 14*j. Does 28 divide m(-17)?
True
Let m(i) = -i**3 - 9*i**2 + 21*i + 13. Let d be m(-11). Let b be d/(-156) - (-2)/13. Suppose 3*w = -3*z - b*z + 99, -2*w = -z - 72. Is w a multiple of 7?
True
Let h(u) = 5*u**3 - 13*u**2 + 94*u + 15. Is 95 a factor of h(10)?
True
Suppose 0 = -2*t + 3*g + 37242, -4*g + 4990 + 69574 = 4*t. Does 330 divide t?
False
Let a = 34660 - 13417. Is 14 a factor of a?
False
Suppose 2*j + 2*n - 30 = 0, 3*j + n - 3 - 32 = 0. Suppose 2*l = -o + 3*o - 42, 0 = -5*o - j. Let q = l - -35. Is 6 a factor of q?
True
Suppose 10155 = 5*m - 5*d - 7545, -6*m + 4*d = -21232. Is 17 a factor of m?
True
Let d(i) = -2*i**3 - 3*i**2 + 8*i - 10. Let w be d(2). Is (-1)/((-10)/(-204))*605/w a multiple of 33?
True
Let m = -918 + 936. Suppose 6*q = c + 3*q + 29, 77 = -3*c - q. Let i = m - c. Is 7 a factor of i?
False
Suppose 2*b - 36276 = -2*j, 5*j + 5515 = 3*b + 96157. Is j a multiple of 34?
False
Let l = 610 - -4397. Does 8 divide l?
False
Let z be (-5)/25*((-6 - 0) + -4). Let l(j) = 151*j**3 + j**2 - 5*j + 10. Is 18 a factor of l(z)?
False
Let j = -1624 - -959. Let r = j + 1159. Is r a multiple of 26?
True
Let n(i) = -i**3 - 10*i**2 + 8*i + 14. Suppose -6*m - 44 = -2*m. Let s be n(m). Let l = s + 10. Is 19 a factor of l?
True
Let c = 132 + -43. Suppose 29*j - 25*j - 5*h + 166 = 0, h + 6 = 0. Let n = j + c. Does 31 divide n?
False
Let t(j) = 666*j + 5 + 7 - 667*j. Let l be t(-6). Let y = 51 + l. Does 23 divide y?
True
Suppose -43*q = -39*q - 764. Suppose -145 = -16*n + q. Is 7 a factor of n?
True
Suppose 11*o - 10*o = 5. Suppose -4*l + 16 = -4*w, -w + 8 = o*l - 3*w. Suppose l = -2*y - 2*y - 5*v + 74, 2*y + 5*v = 42. Is 7 a factor of y?
False
Let p(j) = j**3 - 21*j**2 + 23*j - 25. Suppose 64 + 16 = 4*i. Let h be p(i). Suppose 7*l + h = 343. Is l a multiple of 11?
True
Suppose -w - 4*x + 43 = 0, -4*w + x - 6*x + 150 = 0. Let n = w + -32. Suppose -n*f = -2*f - 35. Is 11 a factor of f?
False
Suppose 0 = 4*l, -12*l + 10752 = 52*a - 48*a. Is 56 a factor of a?
True
Let g(u) = -18*u**3 - 31*u**2 - 47*u - 80. Is 213 a factor of g(-7)?
False
Suppose 29*p + 2077 - 113756 = 0. Does 11 divide p?
False
Let g(v) = -2361*v - 4313. Is 10 a factor of g(-23)?
True
Let c(h) = 5429*h - 166. Does 9 divide c(2)?
True
Suppose 15*k = 18*k + 72. Let q be (9/6)/(1 + 15/k). Is ((-2)/q)/(2/(-248)) a multiple of 26?
False
Let a be (-1 - 637)*(-2)/(8 + -4). Let c = a + -208. Does 3 divide c?
True
Let w be ((-145)/(-4))/(11/44). Is 12 a factor of (-1302)/(-27) + (w/(-45) - -3)?
True
Suppose -i - 5*z - 626 = -13452, 38490 = 3*i + 3*z. Is 141 a factor of i?
True
Let b be (-6)/(-2) + 643 - -8. Suppose 7*v = 606 + b. I