ose -3*t + 5*a + 335 = 0, w*a = 8*t - 7*t - 121. Does 7 divide t?
True
Suppose 0 = 39*s - 46*s + 21. Suppose 0 = -s*a - 3*w - 27 + 1122, 5*a - 4*w = 1852. Does 15 divide a?
False
Is 43 a factor of 1691/76*(696 - 4)?
False
Is 22 a factor of 15*(7 - 6)*(3158/3 - 1)?
False
Let c(w) be the third derivative of -w**4/24 + 17*w**3/6 - 242*w**2. Let b(j) = -10*j + 1. Let x be b(1). Does 14 divide c(x)?
False
Let y = -18 - -11. Let p(a) = -43*a + 16. Let b be p(y). Suppose d - 4*l - 161 = -27, 3*d = -5*l + b. Is d a multiple of 19?
True
Let t(z) = -z**2 + 5*z + 7. Suppose 0 = -2*u - 2*u + 20. Let q be t(u). Suppose 4*v = q*v - 420. Is 20 a factor of v?
True
Let p = 1343 - 1103. Is 12 a factor of p?
True
Let r = -43318 + 84782. Is (-6)/(-4)*r/219 a multiple of 42?
False
Suppose 5*v - 2*x + 12 = 86, 3*v - 63 = -5*x. Let l be 1*8/v - (-3)/2. Suppose -5*z + 369 = 4*d, -d + 90 = -3*z + l*z. Is 7 a factor of d?
True
Let t = 0 + 11. Suppose -4*x = -t*x + 406. Suppose 0 = r - x - 65. Is 10 a factor of r?
False
Let d(t) = -t**3 - t**2 - 5*t - 3. Let i(q) = q + 13. Let l be i(-16). Let y be d(l). Let c = y - -258. Does 11 divide c?
False
Let z = 536 - 4. Suppose n = -6*n - z. Let u = 148 + n. Does 10 divide u?
False
Suppose -10*h = 4*u - 27044, -10*h + 6781 = u - 5*h. Does 21 divide u?
True
Let x be -38 + 0/2 - 0. Suppose -62*j + 18*j - 1356 - 2032 = 0. Let q = x - j. Is q a multiple of 28?
False
Suppose -5*q = 2*f + 5, -65 = -5*f + 3*q - 0*q. Suppose -f = -5*l, -2*l = -o + 5 - 75. Let z = o + 136. Does 14 divide z?
True
Let x be (-3)/(-1*(24/(-5) + 5)). Suppose -x*w = 5*w - 360. Is w a multiple of 6?
True
Let l(n) = n**3 + 16*n**2 + n + 29. Let b be l(-16). Is 48 - 51 - -6*b/1 a multiple of 12?
False
Let s(j) = 35*j - 7. Let d(h) = -34*h + 6. Let y(a) = 6*d(a) + 5*s(a). Let i(k) = k**3 + 2*k**2 - 7*k + 3. Let o be i(-4). Does 10 divide y(o)?
True
Let z = -1730 - -1864. Is 4 a factor of z?
False
Let b(g) be the first derivative of g**4/4 - g**3 + 726*g - 99. Is b(0) a multiple of 66?
True
Let s = -7491 - -12052. Does 83 divide s?
False
Let u(h) = 11*h**2 - 926*h + 450. Is 57 a factor of u(88)?
False
Suppose 5*q = -15, -h - 2*q - 3*q - 9 = 0. Suppose 4*x = h + 14. Suppose 0 = -f - 5*n + 107, -5*f + x*n + 0*n = -505. Is f a multiple of 17?
True
Suppose 0 = -3*g + 7*g + 4*v - 284, 3*g - 227 = 4*v. Suppose -2*u + 5*j + g = 0, -3*j + 4*j - 196 = -5*u. Is u a multiple of 4?
False
Let l be 1082 - ((-16)/(-8) + 2). Let i = -527 + l. Is 6 a factor of i?
False
Suppose 0 = p + 4*i - 1652, 3*p - 3*i - 1443 - 3588 = 0. Does 76 divide p?
True
Let a(p) = -p**2 + 15*p + 156. Let t be a(27). Let q = t + 465. Is q even?
False
Suppose 59176 = 5*s - 3*y, -5*s + 39*y + 59179 = 37*y. Is s a multiple of 133?
True
Let y = 1116 - -357. Does 4 divide y?
False
Suppose -3*w - m = -8*w + 503, -w = -4*m - 93. Suppose -21*c + w = -193. Is 2 a factor of c?
True
Suppose 3*b + 3126 = -5*r + 31299, -b + 28171 = 5*r. Is 91 a factor of r?
False
Does 31 divide (((-452)/(-10))/(30/(-750)))/(-1)?
False
Suppose 0 = 30*n - 31*n + 7*k + 2743, -4*n - k = -10856. Does 181 divide n?
True
Let p(z) = -48*z - 4. Let j be p(-11). Suppose -2*a = -4*o + j, 0 = -6*o + 2*o + a + 528. Is o a multiple of 4?
False
Let s(u) = -2*u**3 + u**2 - 5. Let o be s(3). Let f = -45 - o. Suppose -f*a + 28 = -4*a. Does 19 divide a?
False
Let j(b) = -b**2 + 8*b + 33. Let i be j(-14). Does 52 divide (-42)/1*-21 + (-279 - i)?
False
Let k = -2082 - -4710. Does 12 divide k?
True
Suppose -5*i + 4363 = y, -2*y + 3865 + 4822 = -3*i. Is 4 a factor of y?
True
Let j(t) = -2*t + 4. Let i(p) = 339*p + 233. Let r(a) = -i(a) - j(a). Does 32 divide r(-4)?
False
Suppose 6 = -2*o, -2*o = -4*c + o + 577. Let p = c + -120. Is p a multiple of 22?
True
Let g be (-60)/(-8)*312/(-30). Let k be (-52)/g - 3/(9/(-2497)). Suppose -2*q + 4*n = -314, 3*n = 5*q + 5*n - k. Is 55 a factor of q?
True
Let i = -15834 - -27867. Is i a multiple of 63?
True
Suppose -6063 = -5*b + 3647. Suppose 2*x - 547 - 1355 = 5*f, -2*x - 5*f + b = 0. Suppose 0 = -4*u - 273 + x. Is u a multiple of 43?
True
Suppose 0 = -16560*f + 16549*f + 117810. Is 90 a factor of f?
True
Is (1635 + -27)*(-1197)/(-36) a multiple of 109?
False
Let h(q) = q**3 + 18*q**2 - 39*q + 20. Let n be h(-20). Suppose -3*p + n*s + 4*s - 20 = 0, 5*s - 18 = 2*p. Does 35 divide -3 + p/(-18) + 9924/54?
False
Let r(v) = -v**2 + 15*v + 2. Let w be r(15). Let t(f) = 3 + 23*f + 6 - 4*f**w - 29*f - f**3. Is 33 a factor of t(-7)?
True
Suppose 4*a = 14 - 58. Let c(s) be the third derivative of -13*s**4/24 - 19*s**3/6 - 38*s**2. Does 31 divide c(a)?
True
Does 70 divide -9 - (-1373 - (-80)/8)?
False
Suppose 48829 = r - 4*h, 244037 = 5*r - 4*h + 2*h. Is 36 a factor of r?
False
Suppose -4721 = 7*m + 7872. Is m/(4 - 11) + -4 a multiple of 23?
True
Let v(b) = -3*b + 48 + 8*b - 38. Does 4 divide v(10)?
True
Let l = 348 + -339. Does 16 divide l/27 - (-2207)/3?
True
Suppose 2 = 4*a - 6, -p + 2*a = 964. Let y = p + 1627. Does 16 divide y?
False
Let d(s) = 77*s + 32. Let j(k) = 2*k + 1. Let w(g) = d(g) - 3*j(g). Is w(4) a multiple of 57?
False
Suppose -16349 - 253910 = -5*c + 2*q, 5*q = -c + 54095. Is 19 a factor of c?
True
Let b be 23/4 + (-9)/12. Suppose -b*g + 387 = 4*g. Suppose 6*q + g = 379. Is 37 a factor of q?
False
Suppose 39*c = 116 + 79. Does 27 divide 61 + ((-175)/c)/5?
True
Let l(n) = 6*n**3 + 12*n**2 - 25*n - 71. Does 30 divide l(7)?
True
Suppose 5*d + 59695 = 5*t, d = 9*t - 4*t - 59691. Suppose 68*p = 21*p + t. Is p a multiple of 15?
False
Let u(i) = 3*i**2 - 231*i - 48. Does 15 divide u(81)?
False
Suppose 3*n + 21 - 1656 = 2*v, 0 = 4*n + 2*v - 2180. Suppose -1697 = -4*p - n. Is p a multiple of 16?
True
Let d be 9/(-21) + (-62)/(-14). Suppose d*p = -31 - 81. Let s = p + 42. Is 7 a factor of s?
True
Let a = 8420 + -7388. Is a a multiple of 24?
True
Suppose 0*m = -5*m - 5*v + 85, -m + 4*v = 8. Suppose 497 = m*a - 163. Is 55 a factor of a?
True
Let d = 164 + -172. Does 23 divide (3 - d/(-3))*-9 + 210?
True
Let g(t) = 32*t**2 + 129*t - 5843. Is 103 a factor of g(34)?
True
Suppose -7*h - 620678 = -138*h. Is h a multiple of 46?
True
Suppose -8*d = -2577 - 26862 + 1567. Does 52 divide d?
True
Let f(k) = 176*k**2 + 198*k + 1074. Does 122 divide f(-6)?
True
Let m(v) = -201*v + 1541. Does 23 divide m(-23)?
True
Let m(u) be the first derivative of -u + 9. Let v(q) = -q - 59. Let c(x) = 3*m(x) - v(x). Does 11 divide c(-23)?
True
Is 560/(-504) + (-2235660)/(-54) a multiple of 90?
True
Suppose -65 - 25 = -15*x. Let u(g) = 54*g - 121. Does 21 divide u(x)?
False
Let u = -2074 - -380. Let i = 2593 + u. Is 30 a factor of i?
False
Let n = -641 + 779. Is ((-92)/n)/((-1)/621) a multiple of 23?
True
Suppose 0 = -34*v + 93596 + 106120. Does 11 divide v?
True
Let d = -65 - -23. Does 4 divide 12/d + 625/7?
False
Let p(v) = v**3 - 22*v**2 - 4*v + 33. Let r(x) = -x**3 + 22*x**2 + 4*x - 33. Let a(k) = -3*p(k) - 2*r(k). Is a(22) a multiple of 11?
True
Is (80990/(-78) + -27)*(-63)/6 a multiple of 11?
False
Suppose -x + g + 20 = 5*g, -4*g = -4*x. Suppose 0 = o - 3*q - 528, 3*q - 2*q = -3. Suppose -o = -x*s + 121. Is s a multiple of 15?
False
Let y = 690 - 1074. Does 3 divide y/(-9) + (-10)/15?
True
Let h(m) = -9*m**2 - 2*m + 1. Let w be h(-3). Let u = w + 63. Is 22 a factor of -8*6/(-2)*u/(-2)?
True
Let r(x) = 11*x**2 - 3*x - 2. Let m be r(-4). Suppose 8*k = 2*k + 420. Let o = m - k. Is o a multiple of 13?
False
Let m(o) = -3*o**2 + 9*o. Let w be m(11). Let t = w + 447. Is 10 a factor of t?
False
Let n be ((-2005)/2 + 0)*106/(-265). Suppose 3*x + n - 2159 = 0. Is x a multiple of 25?
False
Let w = -35215 - -47395. Does 21 divide w?
True
Let i be (-2)/9 + 1104/108. Let x = i + -10. Suppose 0 = 3*r + 4*v - 83, x = 3*r - 4*v - 3 - 40. Is r a multiple of 8?
False
Suppose d = -2*w - 21 - 5, -w + 5*d + 9 = 0. Let z(y) = 26*y - 13 + 32*y - 10 - 75*y. Is z(w) a multiple of 12?
False
Suppose 0 = -3*w - 2*w - 30. Suppose -3 - 8 = -4*t + j, -2*t + 4 = -2*j. Does 23 divide t/w*7*-46?
True
Let j(r) = r**2 + 3*r - 14. Let f be j(-8). Suppose 0 = 11*l - f - 7. Suppose 93 + 15 = l*a. Is a a multiple of 2?
True
Let r be ((-4)/3 + 1)/((-1)/12). Suppose -r*l - 3*l - 266 = 0. Let x = 48 + l. Does 2 divide x?
True
Let u(w) = w**2 + 4*w - 9. Let v(p) = -p**3 - 9*p**2 -