 divide d?
True
Let a(j) = 14*j + 246. Suppose w = -3*v + 34, 4*w = 2*v + 33 + 89. Is 40 a factor of a(w)?
True
Suppose -2*b = 2*w - 12, -3*b = w - 4*b. Suppose -n + 199 - 56 = a, 0 = -n - w*a + 141. Is n a multiple of 18?
True
Suppose -4*o + 408 = -2100. Suppose 29*l - o = 18*l. Is l a multiple of 19?
True
Suppose 7*o = -8*o + 30. Suppose 0 = n + 4, o*c - 2*n - 363 = 437. Is 18 a factor of c?
True
Let k = 20 + -21. Suppose -5*z - 36 = 2*f - 6*f, 3*z + f = -8. Is z + k - 5*-14 a multiple of 16?
False
Let t = 92 + -4. Let i = 137 - t. Suppose 0 = -v + 67 - i. Does 4 divide v?
False
Let l = -373 + 376. Let m(x) = 7*x**3 + 5*x**2 - 6. Is 6 a factor of m(l)?
True
Let o = 245 + -249. Let l(s) = -22 + 9 - 70*s + 15. Is l(o) a multiple of 15?
False
Let f(o) = 11*o**3 - 2*o**2 - 3*o - 26. Suppose -128 = -10*j - 78. Is f(j) a multiple of 8?
False
Let m = -23423 + 51615. Is 32 a factor of m?
True
Suppose 53*x = 66*x. Suppose -228 - 505 = -5*q + 2*d, x = -q - d + 148. Is q a multiple of 5?
False
Let g = 0 - -33. Let j = -357 + 355. Let x = g - j. Is x a multiple of 4?
False
Let q(g) = -64*g - 36. Let z be q(7). Is 2 a factor of (-128)/320 + (-1 - z/10)?
False
Suppose 2*j - 5*j = 2*w - 8535, -4*w + j = -17035. Suppose -111*b - w = -117*b. Is 62 a factor of b?
False
Let b(o) = 2*o**2 + 8*o + 3. Let a be b(-3). Let m be (4 - -8)/(a/(-2)). Suppose 4*t + m = 0, 4*p + 3*t = 654 + 168. Is 47 a factor of p?
False
Suppose -2*u - 2*f - 4754 = -4*u, -2*u - 4*f + 4772 = 0. Suppose 4*i = 4*y - 533 + 2437, -5*i = -4*y - u. Is 28 a factor of i?
True
Let o(q) be the first derivative of -q**4/2 - 10*q**3/3 + 6*q**2 + 19*q + 1. Suppose 2*f - 6 = 0, 21 = -c - c + 3*f. Is o(c) a multiple of 2?
False
Suppose 0 = -154*h + 2097441 + 527930 - 638925. Is 13 a factor of h?
False
Let l = 18559 + -11985. Is l a multiple of 38?
True
Let v(h) = 403*h**2 - 1. Let y be v(-1). Let r be (-8)/6*y/(-4). Suppose 3*o = -t + 57, -2*t - 3*o = -o - r. Is t a multiple of 18?
True
Is 107 a factor of (100 + 2 + -3)/(19/65056*24)?
True
Let j(z) be the third derivative of 0*z + 0 - 8*z**2 - 1/8*z**4 - 5/6*z**3. Is 3 a factor of j(-7)?
False
Suppose -9*x + 28*x = 4*x + 981405. Is 13 a factor of x?
False
Suppose -5*b - 635 = -2*r, 4*r - 2*b - 5 - 1257 = 0. Is r a multiple of 13?
False
Let w = 25258 - 15370. Suppose 3*a = 11*a + w. Does 11 divide (-2)/4 + a/(-8)?
True
Let l = 48 - 44. Suppose -l*t - 2*c = -970, -2*t - 3*c + 419 = -76. Does 29 divide t?
False
Let i = -411 - -430. Suppose -i*s = -36*s + 1785. Is s a multiple of 3?
True
Let p(f) = -54*f - 5. Let v be p(-2). Let t = -89 + v. Suppose 21*x - t*x = 854. Is x a multiple of 33?
False
Let b(j) = 5915*j**2 - 24*j - 73. Is b(-2) a multiple of 29?
True
Suppose 4*t - 5*f + 24 = 0, -5*f + 5 = -t - 1. Let a(q) = 2*q**2 + 6*q - 5. Let r be a(t). Suppose j + r = 4*n, j - 5*j + 4 = 0. Does 8 divide n?
True
Suppose -5*y + 0*y - 2525 = 0. Let i = y - -1177. Does 32 divide i?
True
Suppose -15*u = -0*u - 40449 - 34236. Is 13 a factor of u?
True
Let a(d) = d**3 + 23*d**2 - 27*d - 62. Suppose -o - 39 = -5*x, -2*o + 3*x = 2*x + 51. Is 5 a factor of a(o)?
True
Let x = 25278 + -9079. Does 30 divide x?
False
Suppose 0 = 3*k + 5*i - 3901, -4*k - 24*i + 26*i = -5210. Is 93 a factor of k?
True
Does 20 divide (-3)/(-5) + 2388/20?
True
Suppose 4*z - 3313 = -3*o, -3*o + 817 = 2*z - 844. Is 7 a factor of z?
True
Let t(q) = q - 60. Let i be t(-13). Is (-96)/4*i/3 - 1 a multiple of 11?
True
Let v = 154 + -137. Let g(r) = r**3 - 18*r**2 + 19*r - 3. Does 3 divide g(v)?
False
Let u be (-1)/(-3 + (-608)/(-203)). Suppose 2*r + u = d + 77, -534 = -4*d - 2*r. Suppose -2*l = -h - d, 6*l - 2*l + 4*h - 264 = 0. Does 22 divide l?
True
Let j be (-1 - -6)/(5/120*3). Is 9 a factor of ((-495)/75)/((-4)/j)?
False
Let p be -7*((-340)/140 - 6/14). Suppose 3*v - 1805 = j, 0 = 4*j - 0*j + p. Is v a multiple of 15?
True
Let t be 623/5 + (-2)/(-5). Suppose 4*w - t = -u + 6*w, -5*w + 419 = 3*u. Does 13 divide u?
False
Suppose 0 = q + 3*q + 4. Let x be 3/(-15) - (q + 42/(-10)). Suppose -6 + 5 = -k - 4*u, 0 = 5*k - x*u - 130. Does 21 divide k?
True
Let t(r) be the third derivative of -295*r**4/24 - 26*r**3/3 + 99*r**2. Is 47 a factor of t(-4)?
True
Let g = 190 - 371. Let r = 230 + g. Is 15 a factor of r?
False
Suppose 2*u + 5*o - 325 = 0, -o - 179 = -u + 2*o. Suppose z = f + u, -2*f + 188 = z + 3*f. Is z a multiple of 34?
False
Is 102 a factor of 2/16 + (4 - 815736/(-64))?
True
Suppose 3*m = -5*r + 7*r + 3378, -3*m + 3390 = 2*r. Is 47 a factor of m?
True
Let j be -3*(-2)/12 + 2164/8. Let h = 209 + j. Does 30 divide h?
True
Suppose -2*d = -0*g + g - 16, 4*d - g = 44. Suppose d = -3*p + 28. Is 15 a factor of (p/10)/(2/670)?
False
Suppose 0 = -d + 4*u + 34, -d - d = 5*u - 29. Suppose -23*x + d*x = -6. Let r(g) = 3*g + 18. Does 27 divide r(x)?
False
Let q = 40 + -40. Let r(d) = d**3 - d**2 - 2*d + 251. Let f be r(q). Suppose -5*g + 5 = 0, 5*c - 213 = -4*g + f. Does 16 divide c?
False
Suppose -60*q - 1789 + 15444 = -13225. Is 103 a factor of q?
False
Suppose 102*t = 109*t + 14. Let y(g) = 164*g**2 - g - 7. Is 33 a factor of y(t)?
False
Let r = 7418 + -4100. Is 14 a factor of r?
True
Suppose 0 = 5*n - 4*g - 46944 + 14218, 5*n + 4*g - 32734 = 0. Does 7 divide n?
False
Suppose -2*g + 2498 = -2*k, 18*k = -2*g + 22*k + 2508. Is g a multiple of 66?
False
Suppose -85*p = -8*p - 641564. Suppose 37*s - 4285 = p. Does 9 divide s?
False
Let m(g) = 22*g**2 + g + 6. Let r be m(2). Suppose 5*p - 6*p = -r. Is p a multiple of 4?
True
Suppose 6*y + 16*y - 198 = 0. Suppose -5*r + y*r = 804. Does 27 divide r?
False
Let q = 6 - 9. Let c be (q + 9/2)*-2. Let t = 93 - c. Is 16 a factor of t?
True
Let y be 18/(-45)*-5 - 676. Let g = y + 1023. Does 60 divide g?
False
Suppose 4*r - 20 = 0, 435 = -2*q + 3*r + 56. Let j = q + 196. Does 13 divide j?
False
Let z(v) be the second derivative of 20*v**3 + 2*v**2 + v. Let l be z(-3). Let f = 538 + l. Is 14 a factor of f?
True
Suppose -65115 - 260826 = -22*y + y. Is 58 a factor of y?
False
Let f be ((-2)/2)/(-3 + (-420)/(-141)). Let n = -48 + f. Does 17 divide (1*-36)/n - -3?
False
Let h be 1/(-2)*(-84)/(-6). Is 17 a factor of (-7)/(h/(-108))*(-330)/45?
False
Suppose 0 = -5*f - 4*u - 16, -5 = 5*f + u - 1. Let d = 61 + f. Is 4 a factor of d?
False
Let u(j) = 69*j - 21. Let l be -2 + (-6 - -8) - (-8)/2. Does 17 divide u(l)?
True
Let p = -9837 - -15004. Is 75 a factor of p?
False
Let y be (-930)/(-217) - 2/7. Is y + (-3)/((-9)/84) even?
True
Suppose -13*m = -17*m + 1500. Let j = -171 + m. Does 34 divide j?
True
Let t = 30 - -1547. Does 19 divide t?
True
Suppose 5*v - 11*u + 8*u + 30 = 0, 3*u = 0. Does 29 divide v - ((-8)/2 - 292)?
True
Let f(g) = -g**3 + 9*g**2 + 18*g + 27. Let z be f(11). Let j be 2 - z*4*(-3)/(-6). Suppose -8*y + 7*y + j = 0. Does 18 divide y?
True
Suppose 2823 = 8*t - 11721. Let m = t - 1258. Is 14 a factor of m?
True
Suppose 0 = -3*u + 7 + 35. Does 12 divide 567 + (0 - 4)/(u/21)?
False
Does 9 divide (-840)/77*(-105 + 39)?
True
Let i = 13933 - 8750. Is 71 a factor of i?
True
Suppose -60*h + 18163 = -19*h. Does 5 divide h?
False
Suppose -2*y + 2 = 0, 3*i - 6*y = -5*y + 104. Suppose -25*v + 30*v - i = 0. Suppose -v*s = -54 - 149. Is s a multiple of 3?
False
Let j = -229 + 1417. Let y = j + -591. Is y a multiple of 14?
False
Is 4 a factor of 957/88 - 11 - (-33864)/64?
False
Suppose 0 = 4*r + 2*i - 27110, 0 = 3*i - 7 + 10. Is 117 a factor of r?
False
Let n(f) = -f**2 + f + 12. Suppose -8*i - 14 = -10*i. Let z be n(i). Does 2 divide ((-19)/(-2))/((-15)/z)?
False
Let f(b) = 3*b**2 + 24*b + 1565. Is 22 a factor of f(-61)?
True
Let f be 3/(-1)*(44/12 + -5). Suppose -7*z + 308 = f*z. Let x = z - 16. Is x a multiple of 3?
True
Let d(n) = 62*n**3 + 2*n**2 - 7*n + 55. Is d(5) a multiple of 68?
True
Let l = -20 + 24. Let c = 25 + l. Is 3 a factor of c?
False
Let r(y) = -y**3 - 10*y**2 - 2*y - 1. Let i be r(-10). Let d = i - 22. Is 11 a factor of d - -1*1 - 5047/(-49)?
False
Suppose 251*h - 1490760 = 49*h. Does 8 divide h?
False
Let l = -646 + 641. Does 13 divide (0/l)/6 - -833*1?
False
Let g(u) = 1375*u + 698. Does 166 divide g(4)?
False
Let b(n) = -69*n + 7. Let k be b(4). Let s = k - -137. Let l = 237 + s. Is l a multiple of 15?
True
Suppose 0 = 5*f + 2*p + 16, 4*f - 6*p = -