ivide j?
True
Let n be (8/10)/((-2)/45). Let c = -7 - n. Let b(v) = -2*v**2 + 29*v + 7. Is b(c) a multiple of 14?
True
Let d = 13 + -9. Suppose 0*u = -d*s - 3*u + 31, 2*u = 3*s - 2. Suppose s*p = -h + 209, 4*p - 5*h = -h + 184. Is 10 a factor of p?
False
Is 30 a factor of (3/7)/1 - (-12197514)/8134?
True
Let m(c) = -c**3 - c**2 - 9*c - 33. Let u be m(-3). Is 12 a factor of (u/7)/((-10)/9660*-2)?
True
Let d(u) = -2*u + 4. Let h be d(0). Suppose -258 = -g + 4*i - 2*i, -1060 = -h*g + i. Suppose -9*a + 7*a = -g. Does 19 divide a?
True
Let g(z) = z**3 + 12*z**2 + 7. Let v be g(-12). Suppose -v*s + 3*s + 2*l - 146 = 0, s + l = -44. Let q = 85 + s. Is q a multiple of 42?
False
Let x(i) = 3*i - 20. Let y be x(9). Let o(q) = -q**2 - 3*q - 10. Let b be o(y). Is (-2 - b/(-14))*308/(-33) a multiple of 15?
False
Let x = -3 - -9. Is (356/(-7))/(x/(-21)) a multiple of 31?
False
Suppose -11*z + 8*z - 6 = 0, -z + 22 = 3*i. Suppose 0 = 3*u + 9*h - i*h - 1795, -2390 = -4*u - 2*h. Is 8 a factor of u?
True
Let b = -31850 + 34812. Does 3 divide b?
False
Is 16 a factor of (-103 - -99) + 926/2?
False
Let i be -6 + 1 + (12 - 0). Suppose i*x - 2343 + 404 = 0. Is x a multiple of 17?
False
Suppose 2*h - 6 = -2*g, -7 - 21 = -h + 4*g. Suppose 0 = h*w - 4*w - 0*w. Suppose w = -2*k + 49 + 45. Is k a multiple of 19?
False
Suppose 4*v + 5 = 9*v, 0 = -2*x - 4*v + 24. Let i(n) = 19*n + 82. Is i(x) a multiple of 14?
False
Let v = 12257 - 7990. Is v a multiple of 17?
True
Let z(w) = w**3 + 8*w**2 + 8*w + 17. Let k(g) = g**3 - 5*g**2 + 5*g + 6. Let o be k(3). Suppose -3*f - 3 = 3*n, 19 = -o*f - 3*n + 4*n. Is 14 a factor of z(f)?
False
Suppose 0 = 3*o + 15 + 15. Let g be (o - -20)*((-3)/(-2) + -1). Does 24 divide (-1062)/(-27) - (2 + g/(-3))?
False
Suppose -2*h + 3*i + 172 = -i, 0 = h + 2*i - 74. Let r = h + -32. Is r a multiple of 24?
True
Suppose 4*z - 5*y = 26517, 4*z - 26509 = 3*y - 6*y. Is 2 a factor of z?
True
Let a = 7 - 2. Suppose -j = h - 142, -3*j + 141 + 573 = a*h. Does 12 divide h?
True
Let w(u) = 3*u**2 - u**2 - 5*u - 23 + 8*u - 18*u. Let q(c) = c**3 - 7*c**2 + 52*c - 263. Let f be q(6). Is w(f) a multiple of 8?
True
Suppose 0*v + 3*v = 5*b + 19, -2*b - 3*v - 16 = 0. Let o be 47/5 - (-2)/b. Let x = 54 - o. Does 15 divide x?
True
Let r(i) = -i**3 + i**2 + 4*i - 3. Let m = -148 - -126. Let p(o) = o**2 + 21*o - 28. Let b be p(m). Is r(b) a multiple of 22?
False
Suppose 5*j = -j + 84480. Suppose -56*b - j = -72*b. Is 20 a factor of b?
True
Let n(u) = -u**2 - 12*u + 30. Let d be n(-6). Suppose -61*z = -d*z + 2535. Is z a multiple of 39?
True
Suppose -23*x + 15*x + 216 = 0. Suppose -7*b + x = -36. Is (-6)/b - 110/(-3) a multiple of 24?
False
Let c(o) = 44*o**2 - 139*o - 267. Does 33 divide c(20)?
True
Let f = 48 + -38. Suppose 0 = h - 5*d - 4, -h + 2*d = 3*d - f. Suppose 114 = -h*g + 10*g. Does 19 divide g?
True
Suppose -p = y - 68687, 4*p - 18356 = -3*y + 256396. Is 21 a factor of p?
True
Let q = -2831 + 8601. Suppose -5*x - 11*z + 6*z + q = 0, 5*z = 10. Does 48 divide x?
True
Is (-38)/(-247) + 13/(1183/862848) a multiple of 4?
False
Suppose 49 = -4*u - 5*w + 126, -w - 47 = -4*u. Suppose -7887 = -u*b - 737. Does 21 divide b?
False
Suppose 24*g - 16*g - 5*k - 49781 = 0, 3*k + 3 = 0. Does 34 divide g?
True
Suppose -1117 = 16*a - 42*a + 11753. Is 7 a factor of a?
False
Suppose 4*o - 51070 = -9*c + 4*c, -2*o - 51100 = -5*c. Is 21 a factor of c?
False
Let p = 180 - 194. Let z(n) = -41*n + 67. Does 54 divide z(p)?
False
Is 5 a factor of (1/4*(-64)/6)/((-16)/4344)?
False
Suppose -48 = 280*f - 284*f. Is ((-216)/f)/(-2 + 99/50) a multiple of 90?
True
Suppose -4059 = 20*a - 23*a. Is a a multiple of 59?
False
Let s = -22 + 33. Suppose -s*n = -3418 - 1246. Suppose 0 = 8*f - n - 1088. Is f a multiple of 21?
True
Let u(k) = -11*k**2 + 7*k**2 + 26 - 13*k + 5*k**2. Is 28 a factor of u(15)?
True
Suppose 5*y + 2*p - 150533 = 0, 5*y + 0*p + 4*p = 150541. Is y a multiple of 102?
False
Let c be 2/3 - (-500)/6. Suppose 168 = 4*g + 2*j, -3*g + 5*g + 3*j - c = 0. Is 7 a factor of g?
True
Let l be 5*(-10)/(-25)*2/1. Suppose 0 = -p - l*p + 3*p. Suppose -2*c = c + 3*b - 537, p = -c - 4*b + 191. Is 25 a factor of c?
True
Suppose 0 = 5*n + 5*o - 25, -2*n + 6*n - 3*o = -1. Let h(w) = -10 + 81*w**n + 15 - 7 + w. Does 8 divide h(1)?
True
Suppose -5*f = 5*f - 2*f. Suppose 7*y - 2*y - 695 = f. Suppose -h + 41 = -y. Does 10 divide h?
True
Let f be 1 - -13 - (-2 - -9). Suppose -22*u + f*u = -3450. Is u a multiple of 23?
True
Let z(g) = 21*g + 340. Suppose 567*j + 66 = 561*j. Is z(j) a multiple of 6?
False
Let h(m) = 20*m - 105. Let x be h(13). Suppose -448 = -3*s - 2*t - 0*t, s = 5*t + x. Is s a multiple of 10?
True
Let x = -19 + 20. Suppose -x = d - 2. Let j(w) = 91*w + 3. Is 10 a factor of j(d)?
False
Is 337 a factor of (64030/15)/(((-24)/63)/(-4))?
True
Suppose 4*i - 14 = 2*k, 0*k = -2*k - 6. Suppose 0 = 3*v + 4*d + 5, -4*v - i*d - 20 = -6*v. Let u(l) = 3*l**2 - 12*l - 4. Does 11 divide u(v)?
True
Let v be (-100)/(-8)*544/40. Let g = v - 44. Is g a multiple of 4?
False
Suppose -4*w - 102 = -366. Let m = -61 + w. Suppose -3*c - 505 = -m*s, 5*c + 180 = s + 57. Is 14 a factor of s?
True
Let d(u) = 2*u**3 - 57*u + 8 - 17*u**2 - u**3 - 26 + 0*u**3. Does 7 divide d(20)?
True
Suppose 2*t - 3*a - 148 = 0, -4*a + 150 + 38 = 3*t. Suppose -33 - 47 = -5*n. Let v = t - n. Is v a multiple of 14?
False
Let k = -290 - -282. Let u(f) = f**3 + 8*f**2 - 20*f - 13. Is u(k) a multiple of 10?
False
Let b(q) = 61*q + 3. Let h be b(-9). Is 14/(-2)*52494/h a multiple of 12?
False
Let u(j) be the third derivative of -j**6/120 - 17*j**5/60 - 19*j**4/24 + 3*j**3 + j**2. Let y be 236/(-16) + -1 - 4/16. Does 12 divide u(y)?
False
Suppose 2*n - f - 109 = -8, -3*n + 2*f + 149 = 0. Let k = 47 - n. Does 6 divide (k/9)/(3/162*-1)?
True
Is 2041 - (-1 + (-70)/7) a multiple of 9?
True
Let b(k) = 5 + 2748*k - 17 - 2769*k + k**2 + k**3. Does 13 divide b(-4)?
False
Let m = -22 - -26. Let d(l) = -l**3 - 3*l**2 + 6*l + 12. Let x be d(-4). Suppose 5*v - 954 = -m*w, w = -3*v - x*w + 575. Is 38 a factor of v?
True
Let d be ((-3)/2)/(39/130) + 155. Let x(l) = 2*l**2 - 3*l. Let k be x(2). Suppose 171 = 3*y - 5*m - 59, -k*y = -5*m - d. Does 10 divide y?
True
Let q(i) = 37*i**2 + 9*i + 20*i - 7*i + 137. Is q(-5) a multiple of 17?
True
Let a = 14 - 10. Suppose -60 = -a*s - s. Suppose s = -v + 30. Is v a multiple of 6?
True
Let p be 9/5 + 4 + (-57)/15. Suppose -3*q + 4*q - l + p = 0, 2*q + 4*l + 10 = 0. Is 1/(4/452) - q a multiple of 18?
False
Let i be ((-132)/14)/((-1)/91). Let x = -564 + i. Is x a multiple of 39?
False
Suppose 3*k + 2*t - 1466 = 0, 2*k - 3*k - 3*t + 491 = 0. Suppose d = -d - 4*z + k, -478 = -2*d + z. Is 5 a factor of d?
True
Suppose -3*i = 2*h - 1614, 4*h - 3*i = 2972 + 220. Is h a multiple of 2?
False
Let x = -114 + 612. Suppose 8*i - 7*i = x. Is 10 a factor of i?
False
Does 48 divide (82 - -2)*(13 + 19)?
True
Let z = -44 - -47. Suppose 3*o = 2*v - 85, -v = -z*o - 35 - 54. Let r = o - -68. Is 16 a factor of r?
False
Suppose -160 = 4*m + 3*t + 1229, t + 1391 = -4*m. Let a = -204 - m. Is a a multiple of 8?
True
Let j(y) = y**3 - 15*y**2 + 34*y - 42. Let p(r) = 7*r**2 - 17*r + 21. Let k(t) = 4*j(t) + 7*p(t). Let w be k(6). Let z = w - 365. Is z a multiple of 8?
True
Suppose -14 = -6*n - 2. Suppose 3*b + n*p = -5, 0 = -4*b + 2*p - 0*p - 16. Does 2 divide ((-4)/(-2) - -4) + b?
False
Suppose 4*q - g - 30 = 0, 4*q - 4*g - 12 = 24. Suppose -q*x + 596 = -790. Is 22 a factor of x?
True
Suppose 5*m = k + 8605, 116*m - 109*m - 12079 = -5*k. Is 125 a factor of m?
False
Suppose -5*r = -179 - 1. Let t(b) = b**3 + 31*b**2 + 35*b + 236. Let w be t(-30). Let x = w - r. Does 10 divide x?
True
Suppose -840 = 3*f - 6*f + 3*y, -3*f + 5*y + 834 = 0. Let s = f - 152. Suppose s = 4*w - 189. Is 41 a factor of w?
False
Let r be -373 + 4/(-8)*0. Let k be 3/(-11 + 2)*(-16 + 4). Is 34 a factor of k/(-2) - (31 + r)?
True
Let s(d) = -d**3 - 9*d**2 - 9*d - 20. Let a be s(-9). Let z(n) = 35*n**2 + 52 - 3*n**3 - 26*n - a*n**2 + 2*n**3. Is 11 a factor of z(-25)?
True
Let k be 1/(-6)*-15*330. Suppose -3*z + 2*w + k = 0, -4*z + 551 = -2*z - w. Is z a multiple of 7?
False
Let x(j) = 5*j**2 + 108*j - 148. Is x(25) a multiple of 16?
False
Let x(c) = 45*c - 945. Is 15 a fact