40)?
True
Let a(j) be the first derivative of 10*j**4 + j**3 + 3*j**2 - 8*j - 25. Does 21 divide a(2)?
True
Suppose -3*k - 1619 = -4*h, 2*h - 5*k = -6*k + 797. Is 33 a factor of h?
False
Suppose -3*z + 1696 = 4*t - 7*z, 5*t = -3*z + 2088. Is t a multiple of 60?
True
Let o(i) = -i**2 + 2*i. Let g be o(2). Let z be 3/(12/16 + g). Suppose -114 = s - z*s. Does 13 divide s?
False
Let o(z) = -2*z + 8 + 0 + z**2 - 7*z + 14*z. Is o(-11) a multiple of 17?
False
Let q(l) = -l**3 + l**2 - l + 238. Let c be q(0). Suppose 3*v - c - 38 = 0. Does 18 divide v?
False
Let v(c) = c + 16. Let h be v(-14). Suppose -30 = -h*a - 4*f, 2*a - f + 84 = 7*a. Suppose -1 + a = 4*b, -b = -3*k + 200. Is 17 a factor of k?
True
Let f(y) = y**2 + 3*y + 3. Suppose 4*h + 26 = 5*p - 4*p, -4*p - h = -36. Let q = p + -14. Is f(q) a multiple of 2?
False
Let w = 19 - 64. Let s be (-6)/w - 8/60. Is s - 8/2 - -18 a multiple of 6?
False
Let v be ((-42)/12)/(2/(-12)). Suppose h + v = 73. Suppose -5*u - h = -312. Is u a multiple of 13?
True
Let q = -104 - -176. Suppose -3*p = -0*p - q. Is p a multiple of 6?
True
Suppose i + 2615 = 2*a, -5*a - 976 + 7511 = -3*i. Is a a multiple of 10?
True
Let y be 10/(-3)*12/(-10). Let f be 2*((-30)/y - 0). Is 8 a factor of (-711)/(-15) - (-6)/f?
False
Let h = 150 + -142. Is h a multiple of 4?
True
Let m(i) = -i - 8. Let z be m(-10). Suppose 3*n - z*n = 4. Suppose l + n*j = 49, 40 = l + 3*j - 2*j. Is 11 a factor of l?
False
Let f(u) = -2*u**3 - 12*u**2 - 3*u - 14. Let z(q) = 5*q + 39. Let j be z(-9). Does 3 divide f(j)?
False
Let w(a) = -111*a + 3. Let u be w(-1). Let o = u - 77. Does 4 divide o?
False
Suppose 0 = 4*x + 3*v - 1031, -5*x = 5*v + 248 - 1538. Is 6 a factor of x?
False
Let s(c) = 3*c**2 + 29*c - 13. Suppose 15 + 27 = -3*i. Is 38 a factor of s(i)?
False
Suppose 0 = -4*t - 8, 2*z - 3*t + 0 = 8. Let n = z - -1. Suppose -28 = -6*i + n*i. Is i a multiple of 7?
True
Suppose -11*d = -15*d. Suppose d*z - 4*x = -2*z + 196, 5*z = -4*x + 546. Suppose 31 = -5*r + z. Is 3 a factor of r?
True
Let m = 59 - 23. Is m a multiple of 10?
False
Let f = 9 + -5. Let p be 12*1 + (6 - f). Let c = -8 + p. Is 6 a factor of c?
True
Suppose u - 45*u = -11220. Is 30 a factor of u?
False
Let i(d) be the first derivative of 2*d**3/3 - 11*d**2/2 - 21*d - 26. Is 10 a factor of i(11)?
True
Let l(u) = -u**3 + 6*u**2 + u - 4. Let b be l(4). Let i = -27 + b. Suppose -z - i*z = -222. Does 7 divide z?
False
Let l(j) = -j**2 - 9*j + 7. Let g be l(-9). Suppose g*u = 4*u + 90. Suppose u = x + 4*z, -3*x + 0*z = -2*z - 104. Does 17 divide x?
True
Let n be 58/2 - (-12 + 10). Let i = 34 - n. Suppose b - 9 = -5*m, -i*b - 5*m + 0*m + 57 = 0. Is b a multiple of 8?
True
Let p(m) = -m**2 - 13*m - 12. Suppose -6*r = -5*r + 11. Is p(r) a multiple of 4?
False
Let p be 1 + (-562)/(-8) - 35/140. Let o = p + -46. Is o a multiple of 5?
True
Let m be (-6 - -2)*2/(-4). Suppose d - m = -2*p, 6*d = -5*p + d - 5. Suppose k + 57 = t + 3*k, -5*t - p*k + 306 = 0. Is t a multiple of 17?
False
Suppose -4*y = b + 8 - 21, -5*b + 160 = y. Suppose -g - 2 = -2*g. Suppose -g*m = -m - b. Does 8 divide m?
False
Let l be (10/8)/(1/4). Let d = -41 - -43. Is (3 + l)*5/d a multiple of 13?
False
Let x = 1023 + -563. Is 18 a factor of x/16 + (0 + 3)/12?
False
Suppose 3*g + 5*a - 4354 - 386 = 0, 0 = 4*a + 12. Does 17 divide g?
False
Let c(h) = 3*h - 20. Let f be c(8). Suppose 5*y = -2*o + 113, -2*o + 5*o + f*y - 152 = 0. Does 22 divide o?
True
Let t = -69 - -65. Let y = t + 102. Is y a multiple of 11?
False
Let u = 12 - 10. Let q be (-3 - 3)*u/(-6). Suppose 39 = q*p - p. Does 21 divide p?
False
Is 35 a factor of (-105)/2*(30/(-6) - -1)?
True
Let b = 41 - 38. Does 5 divide (45/25)/(b/15)?
False
Let w = 114 - 112. Let i(h) = 19*h**2 + 2*h + 1. Is 7 a factor of i(w)?
False
Suppose -14 = -4*i + 2*c, 2*c = -3*i - 0*i. Suppose 3*x - b = 449, i*x = -2*x + b + 599. Is 22 a factor of x?
False
Let w(r) = -10*r - 26. Is 14 a factor of w(-15)?
False
Let b(y) = -8*y + 243. Is b(10) a multiple of 3?
False
Let p = -245 + 385. Let r = -33 + p. Let o = -49 + r. Does 29 divide o?
True
Let d(x) = 7*x**2 + 5*x + 1 + 10*x - 12*x**2 + 4*x**2. Is 5 a factor of d(14)?
True
Let v = 13 - 9. Suppose 5*f = -v*k + 8, k + 2*k = f + 6. Let l(t) = 6*t**2 - t - 1. Does 7 divide l(k)?
True
Let i = -12 + 15. Suppose -3 = -i*d - 0. Suppose -k + 4 + d = m, 3*m - k = 19. Is m a multiple of 3?
True
Let k be 1*5 - (-8 - -9). Let l be k*1*12/24. Suppose 10 = o - l. Is o a multiple of 12?
True
Let k(n) = -n**3 + 2*n**2 - n. Let x be k(1). Suppose x*p + 784 = -5*p + f, -4*p + 2*f - 632 = 0. Is (p/18)/((-4)/6) a multiple of 3?
False
Let r = -186 + 350. Let k = r + -84. Does 10 divide k?
True
Let i(l) = -2*l**3 + 2*l**2 - 2*l - 2. Let g be i(2). Suppose 168 - 283 = 5*t. Let x = g - t. Does 3 divide x?
True
Does 5 divide 12/(-114) - 79191/(-171)?
False
Suppose -4141 - 7019 = -4*v - j, -3*j = 3*v - 8370. Is 45 a factor of v?
True
Let n(d) be the second derivative of d**7/840 + d**6/72 + 7*d**5/120 - 5*d**4/12 - 6*d. Let g(y) be the third derivative of n(y). Is 24 a factor of g(-7)?
False
Suppose 10*y - 7*y = 12. Suppose -2*j + g = -218, -j - 5 = y*g - 114. Does 13 divide j?
False
Let d be (-1)/5*-6*(-10)/(-1). Is ((-8)/(-6) - -2)*d/10 a multiple of 4?
True
Suppose 8 + 4 = 4*b. Suppose 0 = 5*c - v - 16, 2*c - 20 = -b*c + 5*v. Suppose 0 = 2*p - 6, d + p = c*p + 6. Does 7 divide d?
False
Let u be 5 + 1 - (-1 + 3). Suppose -u*m - 37 = -3*t, 5*t + 5*m - 101 = t. Is t a multiple of 12?
False
Suppose 0 = -2*u - 42 - 12. Is ((-1908)/u)/((-2)/(-3)) a multiple of 16?
False
Suppose -4*p + 6 = 5*t, 2*t + 12 = -p + 3*p. Let y = 70 - 68. Suppose -p*v + x + 53 - 2 = 0, 0 = 5*v - y*x - 60. Does 5 divide v?
False
Suppose 2*m + 2*x - 8 = 8, -2*x + 12 = m. Suppose -f = 4*u - 25, u + 9 = m*u. Is f a multiple of 9?
False
Let l(c) = -c**3 - 12*c**2 + 14*c + 17. Let b be l(-13). Is 21 a factor of 4 - ((b - 3) + -33)?
False
Suppose 5*j - 77 = -c + 122, 405 = 2*c + 3*j. Suppose -14*o + 342 = -c. Is 7 a factor of o?
False
Suppose -4*r + 780 = 3*s, 6*r - 590 = 3*r - s. Suppose -2*f + 4*u = 5*u + r, -5*u = 2*f + 198. Is (3 + f/21)*-21 a multiple of 12?
True
Suppose -4*a + 0*a - 86 = -2*g, 4*a + 133 = 3*g. Let d = 115 - -6. Let r = d - g. Does 26 divide r?
False
Let x = -36 + 34. Does 15 divide (89/(-3))/(x/6)?
False
Let n(u) = -u**3 - 8*u**2 + 7*u + 29. Let v be n(-8). Let z = 52 + v. Does 5 divide z?
True
Let z(h) = 5*h**3 + 6*h**2 - 8*h + 21. Let c(r) = 2*r - 22. Let v be c(13). Is z(v) a multiple of 45?
True
Let b(a) = -a**3 + 9*a**2 - 7*a - 6. Suppose -m = -3*x + 17, 5*m - 2 = 2*x + 4. Does 23 divide b(x)?
False
Let l = 486 - 307. Is 4 a factor of l?
False
Let y be 1/2 - 882/(-4). Let k = y + 22. Is k a multiple of 27?
True
Let m = -107 + 105. Is 10 a factor of 25 - (-2 + 6) - 2*m?
False
Is 57 a factor of 2/(-14) + ((-8487)/(-21) - 9)?
False
Let w(c) = 23*c**2 + 3*c + 12. Let s(o) = -69*o**2 - 10*o - 35. Let t(v) = -4*s(v) - 11*w(v). Is 29 a factor of t(-2)?
False
Suppose 0 = -12*o + 8*o - 12. Is (396/(-27))/(o/9) a multiple of 12?
False
Suppose -5*p + 48 = 3*j, -j - 4*j = -4*p - 43. Let k = -13 + j. Is 3 a factor of k*6*(-1)/2?
True
Let a = 107 - -97. Is a a multiple of 17?
True
Let g(b) = -b**2 - b + 5. Let h be g(0). Suppose h*o + 56 = 3*f, 4*o + o = -2*f + 29. Let s = f + -11. Is s even?
True
Let q = -104 + 176. Is q a multiple of 4?
True
Let z(j) = -297*j**3 + j**2 - 1. Let p be z(1). Let m = 521 + p. Does 32 divide m?
True
Suppose 3*p + 5*m = 8490 - 555, 0 = 2*p + 2*m - 5286. Is 20 a factor of p?
True
Suppose 0 = 31*d - 6813 - 720. Is d a multiple of 7?
False
Let l(s) = 60*s + 431. Does 2 divide l(0)?
False
Suppose 2*n + 4*u = -16, n - 2*u - 2*u = 10. Let m be 6 + -6 + 0 + n. Is 33 a factor of (m - 5/(-4))*-132?
True
Let j = 8 - 15. Let t = j - -14. Is 7 a factor of t?
True
Let p(c) = -21*c - 9. Does 32 divide p(-5)?
True
Suppose -310 = 4*z - 4342. Is z a multiple of 112?
True
Let h = -3 - -88. Suppose -496 = -5*j + 4*u, 2*j + u - 116 = h. Does 10 divide j?
True
Let s be 6/(-3*(-1)/2). Suppose -s*d = -9*d + 60. Is d a multiple of 12?
True
Suppose -2*g - 368 = -6*g. Suppose -k = -2*c + g - 23, 3*c - 105 = k. Is 18 a factor of c?
True
Suppose -564*k + 343 = -557*k. Does 3 divide k?
Fals