1 + 439. Let c = 77 - d. Let y(s) = -14*s - 18. Is 24 a factor of y(c)?
True
Let n(l) = -2*l - 3*l + 2*l - l**2 + 4*l - 72*l**3. Let h be n(1). Let k = 125 + h. Is 5 a factor of k?
False
Suppose -l - 27 = -3*j, j + 207 = -5*l + 24. Is 1366/3 - l/54 a multiple of 24?
True
Let j = -3396 + 4190. Is j a multiple of 37?
False
Let l(z) be the first derivative of -z**4/4 + 2*z**3 - z**2/2 - 16*z - 1. Let i be l(5). Suppose -x + 3*n = -57, -i*x = n - 6*n - 221. Does 27 divide x?
True
Let v(c) = 546*c**2 + 32*c + 166. Is 12 a factor of v(-5)?
True
Let s(t) = 41*t - 170. Is 28 a factor of s(28)?
False
Suppose -594 = -3*w - 3*q, 2*w + 5*q = 148 + 257. Suppose -3*g = -6*g + w. Is g a multiple of 5?
True
Let u(m) = m**3 + 8*m**2 + 9*m. Let y(i) = -i**3 - 8*i**2 - 9*i - 1. Let k(s) = -6*u(s) - 5*y(s). Let q be k(-7). Let b = 28 - q. Does 3 divide b?
True
Suppose 14946 - 3204 = 3*n + 4*f, 19570 = 5*n + 3*f. Suppose -779 = 5*d - n. Is 45 a factor of d?
False
Let z = -2441 - -3083. Does 9 divide z?
False
Let q(g) = 3*g - 341. Let n be q(41). Suppose -4*b - 76 = -4*d, -2*b = -7*b - 4*d - 104. Does 25 divide (3/(24/n))/(5/b)?
False
Suppose 0*l + 4*l - z = 0, 5*z - 17 = 3*l. Let o(d) = 64*d**3 - d**2. Is o(l) a multiple of 9?
True
Let f = -28337 - -32922. Does 2 divide f?
False
Suppose 0 = -12*v + 9*v + 126. Let p = 93 + -67. Let c = v - p. Is c a multiple of 3?
False
Let r = 18544 - 16269. Is r a multiple of 5?
True
Let t(j) = 18*j + 14*j + 3*j - 14 - 11*j + 33*j. Is 10 a factor of t(2)?
True
Let f = -284 - -117. Let m = -113 - f. Is 9 a factor of m?
True
Does 36 divide (-9)/(-3) + -6 + 15453/3?
True
Let j = 40919 - 22342. Does 3 divide j?
False
Suppose 2*l + 2*x + 1654 = 0, 6*x = -4*l + x - 3309. Let w = -562 - l. Does 22 divide w?
True
Suppose 6*n = n + 5*l + 5780, 3*n + 3*l - 3438 = 0. Suppose 4*k - 870 = 2*p, -3*p + 5*k - n - 154 = 0. Let x = p + 624. Does 27 divide x?
True
Let y = 387 - -3884. Is 81 a factor of y?
False
Let g = -251 - -147. Let j be (-89)/(-13) + (-16)/g. Does 2 divide ((-28)/j - 0)*2*-1?
True
Let i = -32 - -33. Does 4 divide (i - (-7)/(-2))*-6?
False
Is 98 a factor of (34 + 5)/(32/29408)?
False
Suppose -3574 + 759 = -h - 4*f, -3*f = -3*h + 8520. Is 76 a factor of h?
False
Let k(u) = 4*u - 122. Let v be k(-31). Let m = v + 538. Is 5 a factor of m?
False
Let u be 1351 + (-3 - (-4)/(0 - 4)). Suppose 0 = 10*f - u - 23. Does 18 divide f?
False
Let d = -8435 - -14641. Is d a multiple of 31?
False
Suppose 0*t + 5*t = 10, v + 2*t = 403. Let y = 562 - v. Does 25 divide y?
False
Suppose 0 = -33*m + 7338 + 4806. Is m a multiple of 8?
True
Suppose 5*o = 4*r + 289, 3*r - 4*o = 6*r + 178. Let x = r - -65. Is 1/(1/(-9)*x/7) a multiple of 4?
False
Let y(a) = 6*a**2 + 2*a - 10. Let n(h) = h**2 - 1. Let i(t) = -3*n(t) + y(t). Let b be i(4). Let g = b - 32. Does 12 divide g?
False
Let l(d) = 10*d + 15. Let p(h) = h**2 + 15*h + 24. Let t be p(-14). Suppose t*n + 19 = 109. Is 19 a factor of l(n)?
False
Suppose 0 = 18*x - 22*x + 20132. Does 58 divide x?
False
Suppose -8 = -4*y, -25*y = 2*w - 20*y - 806. Let q = w - 90. Is 44 a factor of q?
True
Let o = -1452 + 9248. Does 36 divide o?
False
Let g = 15282 + 2574. Is 93 a factor of g?
True
Suppose 29*y = 25*y + 3168. Let m = -550 + y. Is 36 a factor of m?
False
Does 51 divide (15/10)/1 + 30996/8?
True
Let k = -87 + 135. Let t be ((-20)/(-2))/(3 + 1 - 2). Suppose 2*v + k = t*v. Does 4 divide v?
True
Suppose -86826 + 313602 = 12*f. Is 15 a factor of f?
False
Let s(m) = 53*m**2 + 3*m + 14. Let c be s(3). Let y = c + -360. Is y a multiple of 35?
True
Let s(z) = 285*z**2 + 41*z - 596. Does 99 divide s(10)?
True
Let w be -3 - -36*(28/(-8) - -3). Is 71 a factor of ((-6282)/w)/(-1)*(-56)/12?
False
Let s be 291/33 - (-2)/11. Suppose s*r = 2*h + 6*r - 2012, 4*r + 1011 = h. Is h a multiple of 56?
False
Let d(r) = 2*r**3 + 30*r**2 + 72*r - 27. Does 2 divide d(-11)?
False
Suppose -5*c = -10*c. Suppose -25*j - 175 - 350 = 0. Does 10 divide j/42 + (c - 258/(-4))?
False
Suppose 0 = 5*z + 4*y - 6, -2*z - 8 = -7*z - 2*y. Suppose -4*w + 4*f = 2*f - 1132, z*f = -5*w + 1424. Is w a multiple of 29?
False
Let m be (49/14)/(2/1452). Suppose -6*t + m = -17*t. Let v = t - -421. Does 17 divide v?
False
Let u be (-1)/(4/(-60)*-5) + 392. Let j = u - 323. Does 11 divide j?
True
Suppose 0 = 6*v + 29*v - 352625. Does 31 divide v?
True
Let m(u) = -u**3 + 6*u**2 - 7*u. Let p be m(4). Suppose 0 = 3*a + 3*k - 6 - 6, -p*a + 2 = -3*k. Suppose -i - a*i = -246. Does 12 divide i?
False
Is 11 + -25 + 1096 + 3 + 0 a multiple of 85?
False
Suppose -12*o + 8*o + 8 = 0. Suppose o*s = -10 - 0. Is 4 a factor of (-2)/s*2/(-3)*-15?
True
Let y(z) = -35*z + 7. Let s be y(-3). Let r = 92 - s. Is 15 a factor of (-165)/(-40)*-2*r?
True
Let o(x) = 17*x**3 + 16*x**2 - 20*x + 19. Is o(6) a multiple of 11?
True
Suppose 8*s - 3*s - 25 = 0. Suppose -3*t - 3*v = -3, 3*t - 2*t = v + s. Suppose -7*o + t*o + 400 = 0. Does 26 divide o?
False
Suppose 54*i + 10*i - 148096 = 0. Is 26 a factor of i?
True
Let s(v) = 2*v**3 - 8*v**2 + 17*v - 9. Let a be (32/(-14))/((-20)/70). Is 5 a factor of s(a)?
False
Let c = -6847 - -13822. Does 75 divide c?
True
Is 47 a factor of (-12)/(-14)*1721769/326?
False
Suppose 2*q - 28 = -5*y, 0 = -4*y - 4*q - 0 + 20. Let a(g) = g**3 - 4*g**2 - 10*g + 7. Let i be a(y). Let f = 30 - i. Is f a multiple of 11?
True
Let r(u) = -2*u**3 - 7*u**2 + 9*u - 9. Let d be r(-6). Suppose -d = -3*h + 132. Suppose 2*o = -h + 293. Is o a multiple of 25?
False
Suppose -2 = 2*f, 5*f + 29 = 3*z - 24. Suppose 17*y = z*y + 14. Is y even?
True
Let i(g) be the first derivative of g**5/24 - 41*g**4/24 - 5*g**3/3 - 14. Let k(w) be the third derivative of i(w). Is 3 a factor of k(10)?
True
Let h(q) = 187*q**2 - 154*q + 1234. Does 45 divide h(8)?
True
Does 44 divide 15/(-4) + 47352/32?
False
Suppose -c + 100 = 3*c. Let f = -50 + c. Let a = 79 - f. Is a a multiple of 23?
False
Let t = 186 - 539. Let j = 563 + t. Is 69 a factor of j?
False
Suppose 2*w - 616 = -a, 562*w + 335 = 563*w + 5*a. Is w a multiple of 33?
False
Suppose -2*q = -i - 5, -4*i + 3*i = -3*q + 8. Suppose 2*x + 159 + 187 = -q*z, -2*z - 229 = 3*x. Let v = z + 266. Is v a multiple of 15?
True
Suppose 7*c - 21 = 6*c. Suppose x = 8*x - c. Suppose -144 - 126 = -x*f. Is 5 a factor of f?
True
Let f(z) = 18*z - 93. Let v be f(8). Suppose 5*b - 12880 = -v*b. Is b a multiple of 2?
True
Let b = 497 + 3022. Is b a multiple of 76?
False
Suppose -3*b - 93 + 126 = 0. Let m = 85 + b. Is 6 a factor of m?
True
Let f = 27433 + -13107. Does 58 divide f?
True
Let s be 6/(-14)*(-35)/5. Is 17 a factor of 5/((1748/584 - s)*-2)?
False
Suppose -2*p = -i + 550, 2*i + p = -622 + 1732. Suppose -2*w - w = -2*c + i, 5*c = w + 1398. Is c a multiple of 15?
False
Let a = -4487 + 12061. Is a a multiple of 12?
False
Let c be 4 + 70/(-15) + 2/3. Is 16 a factor of c/(-4) - 960/(-12)?
True
Let j = -167 - -192. Suppose j*y = 16*y + 315. Is 5 a factor of y?
True
Let w be (2/(-3))/(8/(-24)). Let s be 4*1/w + 435. Suppose d + 0 = -5, 2*x - d - s = 0. Is 36 a factor of x?
True
Let c be 6/3 - (-7 + (2 - 2)). Suppose -c*n = -8*n + 28. Is 17 a factor of (-16)/n + 1170/35?
True
Suppose 6*d = 3*d + 3*y + 153, -5 = 5*y. Does 11 divide (10 - (-7 + d))*68/(-6)?
True
Suppose -2*c = -2*q - 4*c + 5170, 3*c = -4*q + 10342. Is 39 a factor of q?
False
Is 4 a factor of (6 - -1 - 6)*((2635 - -4) + -5)?
False
Let u(j) = -17*j - 1. Let p be u(-5). Let c be (-318)/14 + (-24)/p. Let a = c + 34. Is a a multiple of 2?
False
Let c(k) = 39*k - 14 - 4*k + 9*k. Let i be c(-5). Let m = -102 - i. Is m a multiple of 27?
False
Suppose -3*m = 6*j - 5*j - 7204, 0 = -4*j - m + 28860. Does 41 divide j?
True
Let h be (12/10)/(4/150). Let i = 126 - h. Is 27 a factor of i?
True
Suppose 95*q + 782 = 96*q. Let d = -452 + q. Does 12 divide d?
False
Let h = -23780 + 25814. Is 2 a factor of h?
True
Suppose 2*s + 2*j + 20 = 0, -4*j - 40 = 4*s - 2*j. Is s/4*3*-34 a multiple of 17?
True
Does 85 divide 10/(-140)*4 + 1 + 79995/21?
False
Let q(s) = 8*s**2 - 7*s**2 + 41 - 2*s - 3*s**2 + 6*s**2. Is 11 a factor of q(-15)?
False
Suppose 0 = g + 4*y + 1 + 6, 0 = -g + 4*y + 17. Suppose -4*j = -2*j + 2, 0 = -g*r - 4*j + 1496. Is 12 a factor of r?
True
Is -72 + 76 - 2*-21278 a multiple of 38?
True
Let b be (-6)/1