se a*p - 77 = 343. Suppose -65 = -2*d - 5*o + p, -2*o = 6. Is 14 a factor of d?
True
Suppose 5*d - 5*l = 165, -4*d - 26 + 133 = l. Suppose -23*s = -11*s + 60. Let o = d - s. Is o a multiple of 21?
False
Let m(f) be the second derivative of f**4/6 - 25*f**3/6 - 35*f**2/2 + 28*f + 1. Does 10 divide m(15)?
True
Suppose 3*a = 4*a - 10. Suppose -a*w - 6*w + 3184 = 0. Is 18 a factor of w?
False
Let w be (7/2)/((-98)/(-56)). Suppose g + 2*p = w*g + 10, 0 = 2*g - 5*p + 24. Is 8 a factor of (166/6)/(g/(-6)*1)?
False
Let k = 75 - 37. Let o = 41 - k. Suppose 4*w - 5*w + x = -52, 3*w + o*x = 132. Does 11 divide w?
False
Let u = 1326 + -1307. Suppose -11 - 5 = -4*m. Is 13 a factor of 0/m + u + 3?
False
Let s(r) be the third derivative of -7*r**6/720 + 3*r**5/40 - 11*r**4/24 + 2*r**2. Let l(o) be the second derivative of s(o). Is l(-13) a multiple of 25?
True
Suppose a + 3*m - 35124 = 0, 3*a - 2*m = -3*m + 105308. Is a a multiple of 15?
True
Let k = -83 - -48. Let w = -32 - k. Suppose j - w*u = 32, -4*u - 31 = j - 2*j. Does 4 divide j?
False
Is (-1880624)/(-140) + (-14)/490 a multiple of 101?
True
Let y = -370 - -352. Does 14 divide (5/3)/(y/(-4050))?
False
Let u(s) = -82*s - 16. Let o be u(-5). Let p = o - 232. Does 8 divide p?
False
Suppose 0 = 2*b - 4*t + 7*t - 12721, 3*b - 19053 = 5*t. Suppose b = 13*v + 675. Is v a multiple of 23?
True
Let z = -425 - -1173. Does 22 divide z?
True
Let i = 21 - 11. Let a be 1*178*15/i. Let o = -84 + a. Does 38 divide o?
False
Let o = -689 - -279. Let u = o - -770. Suppose y - 362 = -y - 2*m, -2*y + u = 3*m. Is y a multiple of 27?
False
Suppose -15*r + 11*r + 584 = 0. Suppose 2*a + 58 = -4*o + r, 5*o - 104 = -a. Suppose -o - 18 = -u. Does 10 divide u?
False
Let y(g) = 4*g**2 + 79*g - 2670. Does 3 divide y(49)?
False
Let b(g) = g**2 + 5*g + 19. Suppose 31*v - 200 = 6*v. Is 37 a factor of b(v)?
False
Suppose d + 69 = -5*q, -q + 5*d = -3 - 4. Let b(w) = -3*w + 67. Let h(a) = a - 5. Let j(g) = -b(g) - 7*h(g). Does 20 divide j(q)?
True
Let v be 6/(-4) - (-21)/(-6). Let m be v*(-12 + 1)*(-24)/5. Is (m/(-77))/((-2)/(-14)) a multiple of 9?
False
Let f = -114 + -113. Suppose -2*o + w - 701 = 0, -5*o + 5*w + 1106 - 2866 = 0. Let t = f - o. Is t a multiple of 25?
False
Let j(m) = m**2 - 11*m + 15. Let a be j(10). Suppose -3*g - 4*w + 8*w + 244 = 0, a*w = -g + 75. Is g a multiple of 19?
False
Let d(w) = 3*w**3 - 3*w**2 + 60*w - 24. Is d(11) a multiple of 155?
False
Let o = 54 + -34. Let z be -4*70*5/o. Is 18 a factor of ((-360)/z)/((-1)/((-42)/9))?
False
Suppose -4*g + 33872 = 4*t, 3*t - 86*g + 81*g = 25420. Is 22 a factor of t?
True
Is 39 a factor of 4698/10 - ((-20)/(-32) - (-66)/(-80))?
False
Let m(h) be the second derivative of h**5/20 - h**4/2 + 5*h**3/6 + 5*h**2 + 3*h. Let n be m(5). Let q = 1 + n. Does 11 divide q?
True
Let t(c) = 1396*c + 9. Let o be t(1). Suppose -p = i + 3*i - o, 5*i + 4*p - 1748 = 0. Is 22 a factor of i?
True
Let u be (-75443)/(-296) - (-2)/16. Is 14 a factor of ((-27)/5)/(u/(-5950))?
True
Let y = -2148 - -5529. Suppose y = 34*m - 27*m. Is 21 a factor of m?
True
Let g = -4625 + 5014. Does 79 divide g?
False
Suppose 146468 + 99772 = m + 14*m. Does 144 divide m?
True
Let j = -43 + 26. Let i(f) = -f**3 + 2*f**2 + 2*f - 4. Let q be i(-3). Let w = j + q. Does 3 divide w?
True
Let l(n) = 60*n**2 + 28*n - 88. Does 39 divide l(-11)?
True
Suppose -4*u + 2*j = 244, 2*u = u + 2*j - 64. Let r be -132*(93/(-15) + 12/60 - -7). Let y = u - r. Is 9 a factor of y?
True
Let d = -86 - -107. Let r(h) = d + 133*h - 73*h - 74*h. Is r(-11) a multiple of 35?
True
Suppose -v + 15*h - 326 = 13*h, 5*v = 3*h - 1602. Let x = v - -552. Is x a multiple of 18?
True
Let l(y) = -y**3 - 46*y**2 - 34*y - 19. Is 4 a factor of l(-47)?
True
Suppose 44*a = 41*a + 7*y + 44393, 2*a - 29605 = -5*y. Is a a multiple of 21?
False
Suppose -3*g = -2*t + 9846, 4*g - 12512 = -3*t + 2240. Does 82 divide t?
True
Let q(l) be the first derivative of -l**4/4 + 2*l**3/3 - l**2/2 + 445*l - 11. Is 10 a factor of q(0)?
False
Let c be (9 - 9)/(-1*2 + 0). Suppose -p + 506 = 5*i, 114 = i - c*p - 3*p. Does 24 divide i?
False
Let a = 93 - 21. Let q be a/(-32)*4/(-3). Suppose -q*p + 160 = -131. Does 17 divide p?
False
Suppose 4*z - 190106 = 5*y, 0 = z - y - 65584 + 18058. Is z a multiple of 218?
True
Is 62 a factor of 9273/2*636/954?
False
Does 4 divide ((-880)/60)/(-1 - 6/(558/(-91)))?
False
Does 18 divide 167618/8 - (2/(-4) - 6/(-8))?
True
Let g(z) = 4*z**3 - 34*z**2 + 190*z - 3. Is 23 a factor of g(14)?
True
Suppose -r + 14916 = -4*g, 0 = -5*r - 2887*g + 2882*g + 74605. Does 14 divide r?
False
Suppose 10*n - 15 = 5*n. Suppose -r + 5875 = n*r - g, 5*g = 3*r - 4385. Is 21 a factor of r?
True
Suppose -12 = -4*d, -6*q = -9*q + 3*d - 315. Let c = q - -435. Does 17 divide c?
False
Let p(o) = 7373*o + 311. Does 10 divide p(1)?
False
Suppose 0 = -7*n + 4633 + 8254. Is n a multiple of 8?
False
Is 179884/12 - 108/81 a multiple of 7?
False
Suppose 122*w - 3*q - 7700 = 117*w, -4*q = -5*w + 7700. Is 70 a factor of w?
True
Let y be (46/8)/((-10)/120). Let q = -81 - y. Does 2 divide q/4 + 0 - 63/(-3)?
True
Let d = -15125 - -30275. Is 11 a factor of d?
False
Let j(p) = -6 - 20*p + 3423*p**2 - 2*p**3 - 4 - 3434*p**2. Is 9 a factor of j(-8)?
False
Let s(o) be the third derivative of o**5/60 - 11*o**4/24 + 5*o**3/2 + 30*o**2. Let m be s(8). Does 4 divide ((0 - m)*8 - -2)/2?
False
Let x(s) = 33*s**2 - 3*s - 3. Let u be x(-1). Suppose -p = 10*p - u. Suppose 2*y - 174 = 4*w, -y + 2*w + 336 = p*y. Is y a multiple of 36?
False
Suppose 5*m + 1329 = t + 5268, 0 = m - t - 787. Is 2 a factor of m?
True
Suppose 5*t + 23*u - 25 = 21*u, 5*t = 2*u + 25. Suppose -t*x + 4060 + 1690 = 5*m, 2296 = 2*m + 4*x. Does 36 divide m?
True
Let n(q) = -97*q + 81. Let s be n(-11). Let j = -588 + s. Is j a multiple of 10?
True
Let b be 30/4*(12/5 - 0). Does 52 divide 5/3 - (-10338)/b?
False
Let j(p) = -9*p**3 + 7*p**2 + 52*p + 240. Does 8 divide j(-5)?
True
Is (-2*43070/70)/((-5)/175) a multiple of 73?
True
Let r(o) = 13*o**2 - 11*o + 23. Suppose a - 2*a = -2*i, 3*a + 3*i = 18. Let d be r(a). Let t = -49 + d. Is 23 a factor of t?
True
Let k(d) = -13*d - 19. Let x(z) = 3*z + 5. Let o(v) = -2*k(v) - 9*x(v). Let p be o(-9). Let b(c) = 18*c**2 + 5*c - 6. Is 9 a factor of b(p)?
False
Let l = -458 + 466. Suppose l*d - 9002 = -1642. Is 15 a factor of d?
False
Suppose -28 = -2*n - 4. Suppose n*y = 10*y. Suppose y*i = -3*i + 27. Does 2 divide i?
False
Suppose -59*i + 53327 + 347283 = 0. Does 98 divide i?
False
Let t be (-5)/(-10)*6/1. Suppose -2*a - 1050 = -2*f, 6*a + 1160 = t*f - 415. Is 35 a factor of f?
True
Let r(t) = 537*t**2 - t - 1. Let a be r(-1). Let m = a + 620. Does 25 divide m?
False
Let y(v) = v**3. Let a(u) = 8*u**3 + 2*u**2 + 3*u + 3. Let z(x) = -a(x) + 3*y(x). Is z(-3) a multiple of 18?
False
Let c(j) = -7*j + 1. Let x(o) = 6*o. Let z(l) = 6*c(l) + 6*x(l). Let n = -1412 - -1404. Is z(n) a multiple of 9?
True
Let y = -61 - -49. Is 15 a factor of 2/y - 2353/(-78)?
True
Suppose 0 = -2*z + 10, -2*i - 20*z + 34711 = -15*z. Does 4 divide i/63 + 6/(-21)?
False
Suppose -185*x + 245*x = 4180440. Does 135 divide x?
False
Suppose -76239 = -3*h - k, -49599 = -2*h - 5*k + 1266. Does 15 divide h?
True
Let z(q) = -q**3 + 5*q**2 + 16*q + 7779. Does 53 divide z(0)?
False
Suppose -96*y - 951 = -5*w - 94*y, -5*y = -4*w + 771. Does 27 divide w?
True
Let o(g) = -17*g - 78. Let j be o(-5). Let k(t) = 55*t - 42. Does 19 divide k(j)?
False
Let u(o) = 436*o**3 + 4*o**2 - 7*o + 2. Is u(1) a multiple of 5?
True
Let r(w) = -w**3 + 6*w**2 - 5*w - 2. Let z be (-3)/(-3) + (-5)/((-5)/4). Let y be r(z). Does 29 divide ((-66)/9)/(y - (-58)/30)?
False
Let y = 631 + -630. Is 7 a factor of (-22)/44*(y + -813)?
True
Let i(p) = 60*p**2 + 5*p + 7. Let z be i(-6). Suppose -z = -7*v + 439. Is 46 a factor of v?
True
Let u = 11861 + -10821. Is u a multiple of 10?
True
Suppose -222*t + 218*t + 5*g = -7092, 4*t - 7120 = -2*g. Does 7 divide t?
True
Let g = -74 - -69. Let r be 44 - (-1 + 1) - (4 + g). Suppose -109 = -11*a + r. Does 7 divide a?
True
Let o(d) = -d - 27. Let t be o(-29). Suppose 0 = -0*l + 3*l + 2*y - 340, -4*y = t*l - 224. Does 19 divide l?
True
Let o(m) = 1018*m + 557. Is 89 a factor of o(5)?
False
Suppose 17*f + 12*f + 9*f = 36024. 