e -n*u = q*u - 1666. Is 8 a factor of u?
False
Let b be (-2 + -4)*(1 + 0). Let k be (-1 - (4 + b))*-3. Is 4 a factor of (0 - 3)/k + 26?
False
Let u(c) be the second derivative of c**6/360 - c**5/10 + c**4/6 + 2*c**3 - 9*c. Let b(d) be the second derivative of u(d). Does 2 divide b(12)?
True
Let x = 8306 - 3186. Does 32 divide x?
True
Let r(g) be the second derivative of g**4/6 - 23*g**3/6 + 255*g**2/2 + 243*g. Is r(11) a multiple of 4?
True
Let o(c) = 200*c**2 - 56*c - 35. Is o(5) a multiple of 43?
False
Suppose -h + 5*d + 1469 = -381, 0 = -2*h + 3*d + 3658. Does 26 divide h?
True
Suppose b - 9427 = 30*z - 35*z, 0 = 2*b + 16. Does 6 divide z?
False
Suppose -7*z + 15 = -13. Suppose 4*j = 0, -z*j + 2*j = -3*u + 501. Is u a multiple of 45?
False
Let f = 112 + -112. Is ((-15)/(-10) - (f - -2))*-136 a multiple of 25?
False
Let m(v) be the first derivative of -v**4/2 - 2*v**3 - 3*v**2/2 - 2*v - 12. Let p be m(-4). Suppose 3*n = 4*j + p, -5*n = 2*j + 2 - 46. Is 10 a factor of n?
True
Let a(y) = -y**3 - 4*y**2 + 13*y + 9. Let n be a(-6). Suppose 0 = -5*o - z + 391, 0 = -3*o + 6*o + n*z - 237. Is o a multiple of 21?
False
Suppose 16*x = -13*x + 11*x. Suppose 5*l - 1030 = -x*l. Is l a multiple of 63?
False
Let w = 5664 + -1968. Does 70 divide w?
False
Let t(q) = 3*q + 21. Let z be 12/(-42) + (-38)/14 + 6. Suppose 25 = z*x + 43. Does 3 divide t(x)?
True
Let d = -84 - -118. Let s = d + -22. Let p(b) = b**3 - 13*b**2 + 15*b + 20. Is 18 a factor of p(s)?
False
Let y(j) = 11*j**2 + 39*j - 1821. Does 248 divide y(35)?
False
Let n(w) be the third derivative of 7/24*w**4 - 11/6*w**3 + 21*w**2 + 0*w + 0. Is n(5) a multiple of 6?
True
Let m = 81 + -48. Suppose 51*n = 62*n - 506. Let r = n - m. Does 9 divide r?
False
Is 48200/5 - (-5 - (6 + -5)) a multiple of 36?
False
Suppose -3*z + 9 = -3. Suppose 7*c = 11 - z. Suppose -5*a = -6*a - c, 4*q = -4*a + 636. Is q a multiple of 22?
False
Is ((-1124)/10*155/124)/((-2)/8) a multiple of 8?
False
Is (-2 - -6848)*(-82)/(-246) a multiple of 12?
False
Suppose -21*c + 8 = 50. Is 12 a factor of 414*c/(-9*(-4)/(-6))?
False
Suppose 4*t - 63162 = 54*v - 57*v, 3*t = -2*v + 47372. Does 47 divide t?
True
Let m be 2/(12/195)*2*1. Let y be 5 - 335/m - (-1744)/13. Let d = 19 + y. Is d a multiple of 36?
False
Suppose 20*z - 392 = 57778 + 121030. Is 32 a factor of z?
True
Suppose 441*m + 14112 = 453*m. Is 49 a factor of m?
True
Let t(b) = 14*b - 13. Let k = -5 + 16. Let q be t(k). Suppose -59*z = -56*z - q. Is 5 a factor of z?
False
Let q(o) = -83*o**2 + 1267*o. Is 7 a factor of q(14)?
True
Let b(w) = 27069*w - 503. Is b(1) a multiple of 14?
False
Let u be (3/4)/(2 + 65/(-40)). Let n be 0 + (-2)/(u/(-25)). Suppose n*m - 26*m = -307. Does 45 divide m?
False
Let v(h) = 61*h - 13 - 1 + 69*h - h**2 + 77*h - 189*h. Is v(8) a multiple of 13?
False
Let p = -597 - -596. Is 16 a factor of (103 - 3)/((-4)/(p*16))?
True
Suppose -6*r - 122466 = -3*m, m - 3*r - 27427 = 13394. Does 216 divide m?
True
Let p(j) be the third derivative of 115*j**5/12 - j**4/12 - j**3/2 - 20*j**2. Let b be p(-1). Suppose -9*v + b = -2*v. Does 4 divide v?
False
Let o(r) = -3079*r + 228. Is 10 a factor of o(-8)?
True
Let u = 62 - 56. Suppose -u*b = -3*b - 795. Is b a multiple of 13?
False
Suppose -2*i = -4*s + 1012, -i - 469 = 4*s + 13. Let r = i - -1016. Is r a multiple of 31?
False
Let o be -2*274 - (-5 + -6 + 6). Let z = 562 + o. Does 15 divide z?
False
Let i(c) = c**3 + 2*c**2 - 7*c - 6. Let z be i(-8). Let y = z - -727. Is 36 a factor of y?
False
Is 13 a factor of 388 - -14 - (-2 + 1)?
True
Let h = 18106 - 7665. Does 197 divide h?
True
Let l = 3435 + -3338. Is l a multiple of 36?
False
Suppose -2693 - 3247 = -5*d. Suppose 19*b + d = 19713. Is b a multiple of 39?
True
Let b(r) = -45*r - 31. Let k(w) = -3*w**2 + 10. Let s(j) = 3*j**2 - 9. Let u(o) = -3*k(o) - 4*s(o). Let f be u(-2). Does 37 divide b(f)?
False
Let j(s) = 8217*s**2 - 16*s - 25. Is 108 a factor of j(-1)?
True
Suppose 18*o = -34*o + 624. Suppose 0 = o*z - 22*z + 3810. Is z a multiple of 3?
True
Let s = -2 + 2. Let z be (77/44)/((-11)/(-44)). Suppose 301 = z*i - s*i. Does 13 divide i?
False
Suppose -2*i = -2*p + 3*i + 10936, -10932 = -2*p + 4*i. Is 61 a factor of p?
False
Is 127 a factor of (2 + (-15)/9)/(45/1462995)?
False
Suppose 36*h + 137*h = 170232. Does 8 divide h?
True
Suppose 50832 = 2*q - 3*l, 7166*l + 50816 = 2*q + 7165*l. Is 29 a factor of q?
True
Let n(v) = 5*v**2 - 96*v + 2845. Is 3 a factor of n(18)?
False
Let k = 48 + -46. Suppose 2 = 5*u + j - 2, k*u - 5*j + 20 = 0. Suppose 2*m + 32 = 3*s + 92, -3*m + 4*s + 91 = u. Is 33 a factor of m?
True
Suppose 3*y + 1834 = x, -5*y + 3*y = -3*x + 5481. Suppose 0 = -1820*h + x*h - 4990. Does 14 divide h?
False
Let y = -333 + 336. Let r(w) = 2*w - 4. Let x be r(4). Suppose 0 = -y*j + j + f + 197, x*j = -f + 397. Does 14 divide j?
False
Let m(p) be the third derivative of p**4/8 + p**3 + 2*p**2. Let f = -836 - -846. Does 9 divide m(f)?
True
Does 33 divide 3/(-6) - 17/(510/(-111885))?
True
Suppose -3*z + 0*z = -4*j + 4, 0 = -4*z + j + 12. Suppose 0 = -4*h - z*h - 56. Let o = h - -19. Is o a multiple of 4?
True
Let h be (3 - -1)*(323 + -10). Suppose 0 = -3*w - 91 + h. Is 75 a factor of w?
False
Let j(k) = -3*k**2 + 79*k - 8. Suppose 5*n + 5*z - 140 = -0*n, -n - 2*z + 32 = 0. Does 8 divide j(n)?
True
Let b(d) = 44*d**3 + d**2 + 3*d + 3. Let r be b(-2). Let o be r/(-3) + (12/3)/2. Does 47 divide o/1 + -5 - 3?
False
Let o(i) = -45*i + 34. Let y(r) = 15*r - 11. Suppose -9*x = -8*x - 7. Let a(t) = x*y(t) + 2*o(t). Does 16 divide a(7)?
True
Does 48 divide ((-1442)/(-98) + -1)*511?
True
Let x(l) = l**3 + 2*l**2 - 6*l - 5. Let y = -55 + 52. Let a be x(y). Suppose -2*v = -5*v + 2*s + 142, 3*v - a*s - 134 = 0. Does 5 divide v?
True
Let q(t) = t**3 - 68*t**2 + 344*t - 199. Is 4 a factor of q(63)?
True
Let j(y) be the second derivative of y**4/12 + 2*y**3/3 + 5*y**2/2 + 7*y. Let n be j(-4). Suppose 3*m - c + 4 = 6*m, -m - n*c - 8 = 0. Is 2 a factor of m?
True
Is 7 a factor of (13377/(-52))/((-162)/1080)?
True
Let x(j) = -j + 1. Let o be x(-2). Suppose -3*r = -15, 2*r - o*r + 125 = 5*y. Let d = 132 + y. Does 12 divide d?
True
Let d(n) = -78*n - 37. Let k be d(-11). Let b = k + -359. Does 66 divide b?
True
Let c = 24 + -104. Let z = -41 - c. Suppose -10 - z = -g. Is g a multiple of 13?
False
Let f(u) = 4*u - 76. Let o be f(30). Is (726/o)/((-1)/(4/(-6))) even?
False
Let g be (118/4)/(1/58 - 0). Suppose 2*a + 201 = l - 130, 5*l - g = -4*a. Suppose -2*m = -0*m - d - l, 3*d - 327 = -2*m. Does 14 divide m?
True
Suppose -y + 4847 + 1829 = -3*d, y - 6666 = -2*d. Does 29 divide y?
True
Let p = -132 + 130. Let z(x) = -68*x - 6. Is 28 a factor of z(p)?
False
Suppose 0 = 37*c - 19*c - 19*c + 4553. Is 206 a factor of c?
False
Suppose -z - 490 = 2*x, -3*x = 2*z + 903 - 169. Let k = 359 - x. Is 66 a factor of k?
False
Let g = -67 - -46. Let r = 26 + g. Suppose 88 = 4*n + m - 2*m, r*n = -2*m + 123. Is n a multiple of 6?
False
Let g be (-18)/4 + (-18)/12. Let f = -27 - g. Does 4 divide (-36)/(-18) - (f - 1)?
True
Let k(o) = -5*o + 5. Let p be k(0). Is 26 a factor of ((-12)/p)/(4/(-530))?
False
Let g be ((-120)/(-10))/(-1) + (-6)/(-1). Let d = 12 - 11. Is 7 a factor of d/(g/201)*-4?
False
Suppose -35*q - 48 = -34*q. Let y be q/(-18)*(-54)/8 + -2. Let o = y + 55. Is o a multiple of 7?
True
Suppose 13*q - 16024 = 4*q + 3416. Is 180 a factor of q?
True
Suppose 231 + 1179 = 10*s. Let h = -72 + s. Is 19 a factor of h?
False
Suppose i - 2*r = 5369, i = -4*r + 7*r + 5369. Does 91 divide i?
True
Is 7 a factor of (-166 + 165)/((-1)/5397)?
True
Suppose 7*q + 2*k + 16 = 12*q, -4*k = -2*q. Is q a multiple of 4?
True
Suppose -21904 = 25*z + 12*z. Let r = 690 + z. Is r a multiple of 7?
True
Suppose 57224 + 155296 = 18*s + 26*s. Is s a multiple of 70?
True
Is 11 a factor of 12796*(-15)/(-30) + 4?
True
Let n = 16192 - 13388. Is n a multiple of 307?
False
Suppose x - 1314 = -5*r, -x + 137 + 388 = 2*r. Suppose 2*v - 117 - r = 0. Suppose v = 5*q - 35. Does 15 divide q?
True
Let z be 0/((5 - 6)*2). Let x be 14 + -76 + z/(-1). Let f = 110 + x. Does 4 divide f?
True
Let x(n) = -4*n**2 - 4*n + 12. Let i be x(6). Let f = -64 - i. Is f a multiple of 18?
False
Let o(y) = 3*y**3 - 2*y**2 + y + 2. Let r be o(-4).