) a multiple of 2?
True
Let t be 3 - ((-4)/(-1) - 5). Suppose 4*j = -4*b - 0*b + 256, 4*b = -t. Does 13 divide j?
True
Suppose o + 3*m = 6, -o - 2*o - 4*m - 2 = 0. Is 2 a factor of 1*4*(o - -7)?
True
Let z(f) = -8*f**3 - 13*f**2 + 18*f + 5. Does 25 divide z(-8)?
True
Let l(b) = b + 6. Let t be l(-2). Does 17 divide ((-2)/t)/(2/(-172))?
False
Let n = -559 + 964. Is n a multiple of 6?
False
Suppose -3*m - 2*m = -1920. Does 17 divide m?
False
Suppose -v + 578 = 4*d - 6*v, 4*d = 4*v + 576. Let l = -22 + d. Is l a multiple of 10?
True
Let i(l) = 2*l**2 + 5*l - 14. Let n(k) = -4*k**2 - 9*k + 23. Let t(q) = -5*i(q) - 3*n(q). Let v be (-6)/9 - (-7)/(-3). Is 8 a factor of t(v)?
False
Let m = -419 + 797. Is 18 a factor of m?
True
Let s be (1 - 3 - -3)*-674. Does 19 divide -1 + s/(-7) + (-2)/7?
True
Let y = 23 - 18. Suppose 6 = t - y. Suppose 134 = 5*a - t. Does 13 divide a?
False
Suppose -o + 276 = 3*o. Does 2 divide o?
False
Does 25 divide (-23)/23 + (-852)/((-2)/1)?
True
Suppose -67 = -2*p - 23. Is p a multiple of 22?
True
Suppose 5*l + 1 = t, 4*l + 50 = 5*t - 18. Suppose z + 46 = 5*h, 5*z + 14 = 5*h - t. Is 5 a factor of h?
True
Suppose 36*q - 39*q + 990 = 0. Suppose 63 = u - 4*o, -7*o = -5*u - 2*o + q. Is 10 a factor of u?
False
Suppose 0 = -958*i + 968*i - 33290. Is i a multiple of 57?
False
Suppose 55 = -3*v + 88. Let h(c) = c**3 - 11*c**2 + 3*c - 20. Is h(v) a multiple of 13?
True
Let h(l) = -6 - 14 - 10*l - 11*l**2 + 12*l**2. Does 9 divide h(-4)?
True
Let f be (6 + -21)*(-8)/3. Let x be f/(-25)*15/(-6). Suppose 3*w - b + 112 = x*w, 4*w - 442 = 2*b. Does 20 divide w?
False
Is ((-13600)/(-15))/2 + (-2)/(-3) a multiple of 52?
False
Let n = -93 + 163. Is n a multiple of 5?
True
Let w = 28 + -30. Let n(z) = -50*z + 3. Is 15 a factor of n(w)?
False
Suppose -13179 = -24*f + 34077. Is f a multiple of 10?
False
Let t = -178 - -250. Suppose g + g - t = 0. Suppose 0 = -3*q + q + g. Is 9 a factor of q?
True
Let i(t) be the first derivative of -7*t**2/2 - 28*t - 15. Does 14 divide i(-6)?
True
Suppose 5*d + 49 = 4. Let f(n) = -8*n - 10. Let g be f(-8). Is 2 a factor of 2/d + 120/g?
True
Let d = -31 + 29. Is (1/(-3))/(d*(-3)/(-1530)) a multiple of 13?
False
Is (-19 + -2)/((-11)/5 - -2) a multiple of 2?
False
Let k = -786 + 1216. Is k a multiple of 10?
True
Let b = -5457 - -10081. Does 34 divide b?
True
Suppose -18 = -3*w - 0. Let m(x) = x - 6. Let v be m(w). Suppose v = 3*d + 12, -380 = -4*s - 2*d + 7*d. Is 18 a factor of s?
True
Let k(i) = 595*i**2 - i + 0*i - 430*i**2. Is k(1) a multiple of 41?
True
Suppose 2*l + 3*y = 5*y + 40, -5*l + 4*y + 99 = 0. Let u be 6/(-21) + (-4)/(-14). Suppose 3*s - l + 1 = u. Does 2 divide s?
True
Suppose -4 - 8 = -2*a. Suppose -a*u - 5*z = -3*u - 431, 0 = 4*z - 16. Is u a multiple of 18?
False
Let f = -12 - -11. Let w(p) = -42*p**3 + p**2 + p. Is 14 a factor of w(f)?
True
Suppose -299 + 723 = m. Suppose 5*n = -d + 1044, d = 2*n + 3*d - m. Is n a multiple of 42?
False
Is 14 a factor of ((-32)/10 - -3)*-11005?
False
Let c(i) = 2*i**2 + i - 4. Let p be 3/2 - (-3)/(-6). Let g = -2 - p. Is c(g) a multiple of 11?
True
Suppose 91*c - 6468 = 80*c. Does 49 divide c?
True
Suppose -2*x - 2*x = 0. Suppose -2*v - 6 = x, 3*v = -3*u - 2*u + 351. Is (-8)/(-12)*1*u a multiple of 12?
True
Let v(a) = a**2 + a - 1. Let n(p) = -18*p**2 + 2. Let t(d) = -n(d) - 2*v(d). Let f be t(3). Suppose 2*q + q - f = 0. Does 23 divide q?
True
Let z = 1850 - 695. Is z a multiple of 55?
True
Let r(b) = -4*b + 15. Let h be r(6). Does 8 divide -7 - h - 1*-10?
False
Suppose 82 = q + 28. Is 9 a factor of q?
True
Let r = -2065 - -3631. Is 27 a factor of r?
True
Suppose t - 151 = 3*h, -5*t + 924 = 4*h + 131. Suppose -t = -5*i - 2187. Is (-6)/4 - i/28 a multiple of 4?
False
Is 2 a factor of (-4 - 0) + -4 - -110?
True
Let c = 421 + -323. Does 14 divide c?
True
Suppose -4*h - 4*a + 2*a + 8860 = 0, 0 = 3*h + 2*a - 6646. Does 27 divide h?
True
Let i = 329 - 201. Is 32 a factor of i?
True
Suppose n + 744 = 4*n. Let v = n + -38. Suppose -2*s + v = 46. Is 13 a factor of s?
False
Let h(c) be the second derivative of c**3 + c. Let f be h(-1). Is 5 a factor of ((-4)/f)/((-2)/(-18))?
False
Let s be (-10)/5*-2*6/8. Suppose o = 4*a + 60, s*o - 189 = 5*a - 2*a. Is o a multiple of 26?
False
Suppose -z = 2*n - 14, 4*z - 4 = 5*n - 13. Suppose -h + 87 = 3*f + 3*h, n*f + 5*h = 145. Is f a multiple of 5?
False
Let g(a) = -2*a - 16. Let m be g(-7). Does 7 divide m/((-4)/14) - -3?
False
Suppose z = -148 - 34. Is 15 a factor of (-1)/(0 - (-1 + z/(-180)))?
True
Let o = 9 - 5. Let v be (o/6*6)/(-2). Let h(x) = -2*x. Is 2 a factor of h(v)?
True
Is 0/2 - (-601 + 51) a multiple of 28?
False
Let k(h) = 5*h**3 + 4*h**2 + 2*h + 3. Let p be k(-3). Let c = 10 - p. Suppose f = -3*f + c. Does 18 divide f?
False
Let b(q) = -q**3 - 35*q**2 + 29*q - 123. Does 52 divide b(-36)?
False
Suppose 0 = -74*c - 9*c + 115038. Does 33 divide c?
True
Suppose -11*t = -13038 - 2857. Is t a multiple of 17?
True
Let q = -3 + 8. Let o(m) = -2*m - 5. Let j be o(-5). Suppose 4*x - 94 = f, j*x - 138 = q*f - 28. Does 8 divide x?
True
Let h(w) = 2*w - 30. Let b be h(19). Suppose -b*r - 40 = -12*r. Is r even?
True
Let j be (-18)/63 - (-37)/7. Suppose -3*s = -23 + j. Let t(a) = a**3 - 4*a**2 + 4*a - 4. Does 21 divide t(s)?
False
Suppose 0 = -4*z + 1078 + 826. Suppose 4*b - z = -2*y, 2*b + 0*y - 2*y = 238. Is b a multiple of 21?
False
Suppose 0 = -3*j - 4*n + 6*n + 1634, -3*j + 5*n + 1628 = 0. Does 21 divide j?
True
Let o = 444 - 197. Does 11 divide o?
False
Let u(y) be the second derivative of -y**5/20 + 7*y**4/12 - y**3 - y**2 + 14*y. Let l be u(5). Let c = l + 80. Is c a multiple of 14?
True
Suppose 4*f + 19 = 5*f. Let g(o) = 2*o - 7. Does 31 divide g(f)?
True
Let x(y) = y**3 - y + 2. Let b be x(0). Suppose -b*v = 5*v - 350. Does 25 divide v?
True
Let b be 3/(3/7) + 4. Suppose 6*y = b*y - 20. Suppose 3*a - 5*p = 278, y*a - 500 = -3*p - 168. Is a a multiple of 32?
False
Suppose h = 2*h - 11. Let q = h + -4. Suppose o + g = 17, -5*g - 10 = -q*g. Is o a multiple of 12?
True
Let k(w) = 4*w + 192. Does 48 divide k(-14)?
False
Let v = 33 - 37. Is 5/(20/(-18))*v a multiple of 6?
True
Does 98 divide 44/198 - 31208/(-18)?
False
Let i = 6 + 8. Is (4/i + 6/126)*15 a multiple of 5?
True
Let q be ((-4)/6)/((-6)/99). Let a = q - 11. Suppose -w - w + 60 = a. Does 10 divide w?
True
Let b(a) = -a - 27. Let m be b(-11). Let q = m - -10. Does 14 divide (q/4)/((-3)/150)?
False
Let q = 26 - 27. Is (2/q)/((-2)/116) a multiple of 16?
False
Let a = 2260 + -1285. Is 75 a factor of a?
True
Let o(q) = -q**3 + q + 34. Let h be 0*((-25)/10 - -2). Is 17 a factor of o(h)?
True
Let j = 4 + -33. Suppose -3*a = -30 + 15, -3*a + 300 = 3*h. Let p = h + j. Is p a multiple of 22?
True
Suppose 7 + 9 = 5*m + 3*y, -3*y = 4*m - 14. Suppose 0 = -2*r + m, a = -3*r + 3 + 65. Is 13 a factor of a?
True
Suppose 0 = -n - 3*s + 179, 9*n + 2*s - 921 = 4*n. Is n a multiple of 5?
True
Let s = -30 + 2. Let q = 1361 - 1373. Let b = q - s. Is b a multiple of 4?
True
Let k(y) = 2*y**2 - 27*y + 15. Let q be k(13). Let n be (3/(-3))/(1/(-4)). Suppose 30 = 2*t - 4*z - 4, 0 = -n*t + q*z + 38. Is 7 a factor of t?
True
Let q(r) = -1 - 25*r + 13*r + 14*r. Is 3 a factor of q(7)?
False
Is (0 + -2 - -3)*777 a multiple of 63?
False
Let g(s) = -2*s**3 + 0*s + s**3 + 7*s + 35 - 8 - 5*s**2. Is g(-9) a multiple of 16?
True
Let z = 371 - 49. Suppose 4*p - 549 = -3*g, -5*g = -3*p + z + 97. Does 23 divide p?
True
Let o be (-1)/(-1) - (0 - -3). Let p = 2 - o. Suppose 106 - 34 = p*d. Is 17 a factor of d?
False
Let d(w) = 5*w**2 - 60*w - 9. Does 41 divide d(13)?
False
Suppose -10 = 3*a - 2*a. Let p(m) = 4*m + m - 9*m**2 + 0 - 14 + 3*m - m**3. Is 4 a factor of p(a)?
False
Suppose 0 = -5*f + 10, -5*i + 3 + 19 = f. Suppose i*p + p = 580. Is p a multiple of 29?
True
Suppose 40 = i - 101. Suppose 2*t - 434 = 4*r, 0 = -4*t - 2*r + 717 + i. Is t a multiple of 43?
True
Is -5 - -1*24783/11 a multiple of 21?
False
Let s(m) = -2*m - 13. Let z be s(2). Is 13 a factor of ((-1)/2)/(z/5746)?
True
Let f be ((-66)/(-24) + -5)*(-8)/6. Let r(x) = 32*x + 2. Is r(f) a multiple of 14?
True
Suppose -3*k - 3*c - 28 = 20, k + 28 = 3*c. Let f = 0 - k. Does 19 divide f?
True
Does 29 divide (10556/(-12))/(-13)*24?
True
Let r(d) =