?
False
Suppose 2*i = -4*f - 2, -4*i = 5*f + i + 5. Suppose -2*k + 3*n + 673 = 0, 2*k + f*n + 3*n = 679. Is 13 a factor of k?
True
Suppose -28289*m = -28295*m + 53718. Is m a multiple of 33?
False
Suppose -27*i - 13834 = -81010. Does 9 divide i?
False
Let r be ((-1589)/14)/(2/(-8)). Suppose r = 2*z + 14. Does 9 divide ((-55)/z)/((3/(-596))/3)?
False
Let p = -42891 - -93544. Does 37 divide p?
True
Let r = 471 + -651. Is 21 a factor of ((-54)/15)/6*r?
False
Let c = 36 + -32. Suppose -5*g = -c*q + 62, 3*g + 2*g = -3*q + 29. Suppose 0 = q*m - 20*m + 203. Is m a multiple of 10?
False
Suppose 19*b - 17219 = 1085 + 3755. Does 27 divide b?
True
Suppose -327*j = -575*j + 2623840. Does 46 divide j?
True
Let s(d) = -899*d - 12318. Does 5 divide s(-22)?
True
Let z = -104 - -109. Suppose 551 = -z*i - k + 1803, -498 = -2*i + k. Suppose -14*o = -9*o - i. Is 15 a factor of o?
False
Let u = -10 + -20. Let n be 15/40*-2 - u/8. Let j(s) = 4*s + 4. Is 4 a factor of j(n)?
True
Let x be 10/3*(-6)/(-5). Let s be 8/((-160)/(-15))*x/1. Suppose 4*q - 108 = -s*a, 2*q = -q - 4*a + 74. Is q a multiple of 15?
True
Suppose 56946 = -112*z + 104942 + 57284. Is z a multiple of 9?
False
Is 60/(-24)*684/(-15) a multiple of 21?
False
Let g(d) = d**3 + d + 10. Let k be g(0). Is 3 a factor of -17*(4 + (4 - k))?
False
Let i(h) = 9*h**2 + 16*h - 7. Let g(x) = -13*x**2 - 24*x + 11. Suppose 0 = 5*p + 21 + 4. Let a(m) = p*g(m) - 7*i(m). Is a(-9) a multiple of 28?
True
Let m = 40 - 23. Let d(v) = -16*v + 145. Let y(r) = -5*r + 50. Let g(s) = -4*d(s) + 11*y(s). Is 28 a factor of g(m)?
False
Let r = -19857 - -21067. Does 110 divide r?
True
Let g = 7588 + 1865. Does 33 divide g?
False
Suppose 2*q - 78 = -2. Let p = 42 - q. Suppose -p*c = -5*c + 20. Does 20 divide c?
True
Let a(w) = 10*w**2 - 2*w - 1. Let i be a(-3). Let p(s) = -s**2 - 8*s - 45. Let n be p(-9). Let j = n + i. Does 8 divide j?
False
Does 22 divide (-96 + 1001)/((-1)/(-15))?
False
Let i(p) = 4*p + 58. Let r be i(-14). Suppose 46 = 3*v + a, -2*v + 22 = -r*a + 7*a. Suppose -12*w + v*w - 684 = 0. Is w a multiple of 19?
True
Let r = -62522 + 97455. Is 181 a factor of r?
True
Let s = 9038 - 4901. Does 80 divide s?
False
Suppose -19*t = -22*t + 45. Suppose -14*c + 1765 - t = 0. Is 25 a factor of c?
True
Let j = 191 + -185. Suppose 13*l = -j*l + 1805. Is 6 a factor of l?
False
Suppose 33*z - j + 7076 = 34*z, 5*z = -3*j + 35378. Does 17 divide z?
False
Let r(b) = -b**3 + 15*b + 9. Let f be r(4). Suppose 0 = -6*y + 2*y. Suppose -f*s + 11*s - 750 = y. Is s a multiple of 25?
True
Suppose -k - 30 = -0*k - 3*x, -4*x + 65 = -3*k. Let n be (18/(-24))/(1 + k/12). Does 37 divide ((-37)/(-3))/(n*(-2)/(-36))?
True
Let n = 4676 - 1685. Suppose 4*u + 0*j - 2400 = -2*j, -2*j - n = -5*u. Is 10 a factor of u?
False
Suppose 0 = -12*b + 2997 - 909. Is 3 a factor of (-6)/1*(-4205)/b?
False
Suppose 1 - 7 = -2*r. Suppose 6*i - 11*i + 1257 = 2*s, -4*s + 2579 = -3*i. Suppose -209 = r*a - s. Is 8 a factor of a?
True
Let b = -40 + 91. Suppose 0 = -2*m - 0*m + 2*f + 126, -5*m + 3*f + 311 = 0. Let u = m - b. Is 4 a factor of u?
False
Let l(f) = f**2 + 6*f + 2. Let g be l(14). Suppose -709 = -2*n + d - 151, n - g = -d. Suppose 2*q - n = -2*q. Is q a multiple of 13?
False
Suppose 351772 = -0*f + 53*f + 57781. Is f a multiple of 43?
True
Let a(z) = -30*z - 102. Let m(d) = 10*d + 29. Let b be m(-4). Is a(b) a multiple of 19?
True
Let u(k) = -k**3 + 17*k**2 + 50*k + 20. Suppose 4*o - 131 = -55. Is u(o) a multiple of 12?
False
Let a = 807 - 1356. Let z = -366 - a. Is z a multiple of 5?
False
Suppose 104*r - 362*r = 83*r + 4433. Let b = 41 + -80. Is r/b + -29*4/(-3) a multiple of 39?
True
Suppose 1560 - 15112 = -11*v. Suppose v = 3*i - 982. Is i a multiple of 61?
False
Let b(m) be the third derivative of m**5/10 - m**4/12 - 5*m**3 - m**2. Let z be (-96)/(-64)*56/12. Is 50 a factor of b(z)?
True
Let x(d) = d**3 + 11*d**2 + 1908. Is x(0) a multiple of 106?
True
Let b = 15519 - -5063. Is b a multiple of 34?
False
Let b = 740 + 1105. Let q = b - 1313. Is q a multiple of 28?
True
Let v(m) = 5*m**2 - 17*m + 294. Is v(71) a multiple of 43?
False
Let v(n) = n**2 + 2*n - 4. Let o be v(-3). Suppose 5*c + 4*y = 47, -3*c - c - 3*y + 37 = 0. Let w = c - o. Does 2 divide w?
True
Let r be -9*(-604 + -7 + 0). Suppose 2*d = 15*d - r. Does 6 divide d?
False
Suppose -4*i + 16838 = 2*i - 4*f, -f = 2. Does 17 divide i?
True
Suppose -91*i + 92*i + 2*t - 1599 = 0, -4*t - 8 = 0. Is i a multiple of 72?
False
Is 87 a factor of 153980/20 + 24 + -11?
False
Suppose -167 = 15*l - 16*l. Let z = 153 + l. Does 65 divide z?
False
Let o = -43731 + 64859. Is o a multiple of 38?
True
Suppose -5*g + 6*g = -2. Let x be (0 - g)*(9 - 7). Suppose -x*o + 13 = -3*f - 19, 28 = 4*o - 4*f. Is o a multiple of 11?
True
Suppose -28*d + 3893 - 169 = 0. Suppose 4*t - 6*t = i - 6, 2*i - 11 = -5*t. Suppose y - i*y = -d. Is 4 a factor of y?
False
Suppose 5*y - 5*a = 183775, a = 9*y - 13*y + 147055. Is y a multiple of 19?
False
Suppose a - 2*f = 404, -37*a - 814 = -39*a + f. Suppose 126*l = 118*l + a. Is 17 a factor of l?
True
Let x = -2403 - -8143. Suppose 1806 - x = -7*a. Is 36 a factor of a?
False
Let j(p) = 2*p**2 - 49 - 85*p - 93*p + 137*p. Is 8 a factor of j(28)?
False
Suppose -2*t = -56 + 68. Does 9 divide (t/(-4))/((-1)/(-174))?
True
Suppose 4389*y - 4417*y = -36960. Is 3 a factor of y?
True
Suppose 4*j + 1289 - 17 = 0. Let o be (j/4)/(9/(-6)). Does 10 divide 0/3 + -4 + o?
False
Let z = 14888 - -4720. Does 76 divide z?
True
Let m(a) = 114*a**2 - 7*a - 110. Is 102 a factor of m(10)?
True
Let n(a) = -a**3 - 61*a**2 + 112*a - 435. Is 11 a factor of n(-64)?
False
Suppose -6 = 3*h, -h + 10 = 4*a - 8. Suppose -2*f = -7*f + a, -2*p - 3*f + 97 = 0. Is p even?
False
Let b be -1 + 6/(-6) - (-2 - 84). Suppose -81 = o - b. Suppose -o*j = -a - 612, 0 = -j - a + 246 - 42. Does 34 divide j?
True
Let a = 36 - 57. Let o be (-7)/a + (-248)/(-3). Suppose -o - 37 = -5*b. Is b a multiple of 12?
True
Suppose 2*v - 1324 = k, 10*v = 5*v + 3*k + 3309. Suppose -5*s = 3*r - 7*r + 839, -3*r - 3*s + v = 0. Does 4 divide r?
True
Let w(u) = 15 - 5*u + 8 - 18*u**2 - u**3 + 27*u**2 + 1. Is 6 a factor of w(6)?
True
Let z be (-274)/(-2) + (1 - 2). Suppose 2*i - 2*w = 3*i + 94, -5*i - 458 = -2*w. Let x = i + z. Does 11 divide x?
True
Suppose 24*o + 43*o - 134536 = -8308. Does 157 divide o?
True
Let i be ((-6)/21)/(2/(-28)). Suppose -9*c + i*c + 15 = 0. Suppose c*p - 171 = -3*m, 0 = -4*p - 0*m + 2*m + 222. Does 8 divide p?
True
Suppose 0 = -33*r + 55502 + 48613. Is r a multiple of 76?
False
Is 14 a factor of 1406/6*(-764 - -782)?
False
Suppose -36*f + 518240 + 321568 = 108*f. Is 12 a factor of f?
True
Let b = 7528 + -4745. Is b a multiple of 13?
False
Is (-894)/1043 - 37322/(-14) a multiple of 5?
True
Let u = -84 + 615. Suppose 0 = -3*y - 3*w + u, 0 = w + 3. Does 12 divide y?
True
Let h(j) = -579*j - 3782. Does 59 divide h(-19)?
False
Let w = -6929 + 22109. Is w a multiple of 66?
True
Let g(s) = -58*s + 6. Let r be g(-4). Let h be 4/(-34) + 1218/r. Suppose -3*v + 4*f - h*f + 35 = 0, -18 = -2*v + 2*f. Is 11 a factor of v?
True
Let x(i) = 2139*i**2 - 11*i - 10. Does 25 divide x(-1)?
False
Let u(z) = -9*z - 3*z - 17 - 43. Let o = -3082 - -3061. Is u(o) a multiple of 48?
True
Suppose 1260 + 1065 = 5*y. Suppose 9*l = -5*l + 28. Suppose -l*g + 477 = -v, g - 5*v = -g + y. Does 16 divide g?
True
Let h(i) = 4*i**3 - 64*i**2 - 11*i + 265. Is 103 a factor of h(33)?
True
Let m be -219*(-3)/(-9)*-3. Suppose 0*z - y = 3*z + 348, 0 = -2*z - 5*y - m. Let k = -82 - z. Is 9 a factor of k?
False
Is 4/2*571557/238 a multiple of 57?
False
Let c = -23 - -1. Let l(t) = -t**3 - 23*t**2 - 23*t - 17. Let x be l(c). Suppose 0 = x*j - 949 - 291. Is j a multiple of 44?
False
Suppose r - m + 60 = 0, r - 4*m = 6*r + 300. Let d be ((-206)/(-6))/((-10)/r). Suppose -2*z = -5*v - 37 - d, -2*z + 4*v + 244 = 0. Is 26 a factor of z?
False
Suppose 2*n + 3*j = -11758 + 31723, 4*j = -28. Does 12 divide n?
False
Let j = 51 - 60. Let v = j - -184. Does 35 divide v?
True
Suppose 4*a - 19 = 5*t + 9, 16 = 4*t. Let o(l) be the third derivative of l**5/20 - 19*l**4/24 - 11*l**3/3 + 3*l**2 + 45*l. Is o(a) a multiple of 26?
True
Suppose 4*t = -6*i + 15426, 4*t - 4*i - 11612 = t. Is 69 a factor o