 Let t be z(-2). Let c = -48 + t. Does 22 divide c?
False
Let p = -14 - -16. Let d be (-4)/(p/1) + 4. Suppose -d*v = -26 - 16. Is v a multiple of 6?
False
Suppose 73*q - 72*q - 2 = 0. Suppose u = -2*r - 0*r + 66, q*r + 2 = 0. Does 34 divide u?
True
Let h(m) = -m**2 - 11*m + 532. Is h(0) a multiple of 28?
True
Suppose 3 + 1 = z. Suppose f + 15 = -z*f. Is (0 - 2)*(f + 1) even?
True
Suppose -1120 = -0*w + 4*w - 4*f, 2*f = -3*w - 865. Let o = w - -167. Let t = -71 - o. Does 31 divide t?
False
Suppose 0 = -0*m + 3*m - 2*y - 3160, y + 5 = 0. Does 10 divide m?
True
Suppose 5*q - 158 = -2*m + 707, 3*q - 875 = -2*m. Let b = m + -317. Is 16 a factor of b?
True
Let c = 34 - 0. Let v = -211 + 740. Suppose v = 5*r + c. Does 28 divide r?
False
Let j = -11 + 25. Suppose -64 = -j*i + 6*i. Is i a multiple of 2?
True
Let m(f) = -f**3 + f**2 - f + 122. Let k be m(0). Suppose -q - 4*q = 2*b - 156, 4*q + 3*b = k. Suppose 0 = 3*x - 5*x + q. Is x a multiple of 8?
True
Suppose -2*j = -j - 1. Let y = 5 + j. Is 7 a factor of ((-21)/y)/((-1)/2)?
True
Let f(x) = -9*x + 34. Let b be f(-4). Let d = b - 49. Does 7 divide d?
True
Suppose -2*l + 8 = -4. Suppose l*h + 150 = h. Let f = 44 + h. Is f a multiple of 14?
True
Let t = 27 + -43. Suppose 18*y - 522 = -0*y. Let a = t + y. Is a a multiple of 13?
True
Suppose -35 = -5*m + 5*j, 9*m + 4 = 5*m - 4*j. Suppose -14*u + m*u + 154 = 0. Is 14 a factor of u?
True
Suppose 0 = 3*u + 720 - 4500. Is u a multiple of 30?
True
Suppose 7*v + 7*v - 98 = 0. Suppose -v*k + 348 = -k. Is 19 a factor of k?
False
Suppose -3*a + 11969 = -4*t + 4805, 4*a - 9583 = -5*t. Is a a multiple of 8?
True
Let h(z) = 5*z - 1 - 5*z + 2*z. Let v be (-99)/(-22) + (-15)/6 + 2. Is h(v) a multiple of 7?
True
Let d be ((-20)/6)/((-12)/(-18)). Let y(z) = -z**3 + 1 - 3 - 3*z**2 + 3 + 0 - 4*z. Is y(d) a multiple of 21?
False
Let r = 2 + 16. Let a = r - 13. Does 8 divide (0 - -8) + (a - 5)?
True
Suppose 21 = -4*h + 441. Is h a multiple of 7?
True
Let f = -226 + 924. Is 3 a factor of f?
False
Suppose -33*u = -38*u - 2075. Let m = u - -625. Is 15 a factor of m?
True
Let o be 4/(-3)*63/14. Let h be (0 - o)*8/16. Suppose -h*d = -62 + 11. Does 14 divide d?
False
Suppose 2*o + 95 = 3*i, -218 = -5*i + 2*o - 57. Suppose -4*x - 28 = -164. Suppose -24 = i*l - x*l. Does 8 divide l?
True
Let f be ((-6)/(-3) + -2)/(-2). Suppose f = 7*s - 526 + 120. Does 29 divide s?
True
Suppose 4*a - 87 = x, 0 = -2*a + x + 2*x + 41. Suppose -4*g + 2*j + a = 112, -4*j = -20. Let l = g - -90. Is l a multiple of 14?
True
Let k(y) = 6*y + 3. Let x(z) = -7*z - 3. Let p(o) = 6*k(o) + 5*x(o). Let f be p(5). Suppose 3*h = -2*v + f, 0 = -v + h + 19 - 5. Is 5 a factor of v?
True
Let z(d) = d**3 + 2*d**2 - d + 174. Let i be z(0). Suppose g = c + 165, -2*g = -g + 2*c - i. Does 12 divide g?
True
Suppose 3*f + 5*y = -0*f + 9360, -f + 3*y = -3134. Does 14 divide f?
False
Let i(p) be the second derivative of p**6/120 - p**5/10 + 7*p**3/6 - p**2/2 - 5*p. Let j(a) be the first derivative of i(a). Is j(6) even?
False
Let d(x) = 7*x**2 + 61*x + 22. Is 5 a factor of d(-11)?
False
Let p(g) = 2*g - 10. Let v(m) = 6*m - 29. Let w(n) = 11*p(n) - 4*v(n). Let d be w(10). Is 12 a factor of 2/d - 170/(-14)?
True
Let b be (-2 + 17)*(-2 + (-8)/(-6)). Let y(o) = -o**3 - 9*o**2 - 6*o + 7. Is 15 a factor of y(b)?
False
Let s = -687 - -1362. Does 13 divide s?
False
Let p = 237 + -189. Is 16 a factor of p?
True
Let s(w) = w + 10. Let m be s(-11). Does 10 divide (2/((-4)/71) + m)*-2?
False
Let s(f) = f**2 + 4*f - 11. Let p be s(-8). Suppose r - 2*b - 32 = 0, -3*b - p = -r + 16. Is r a multiple of 3?
False
Suppose 8748 = -1309*d + 1311*d. Is d a multiple of 10?
False
Let t(w) = -w**3 - 5*w**2 + 6*w - 4. Let p be t(-6). Let z be 0/(1 + 2 + p). Suppose z = -v - 0*v + 8. Is 4 a factor of v?
True
Suppose -c - 5 = 6. Is (-1 + c/(-4))*60 a multiple of 35?
True
Suppose -3*n - 2*r = -2069, -n - 7*r + 5*r = -687. Is n a multiple of 50?
False
Suppose 3*r - 3*d - 4719 = 0, -3*r + 6*d - 5*d = -4723. Does 15 divide r?
True
Suppose -2*d + 10 = 3*c, -2*d + 7 = -4*c - 3. Suppose 88 = 3*h - p - 40, -3*h + 4*p + 143 = c. Is h a multiple of 7?
False
Let n(s) = -s**3 - 12*s**2 + 3*s + 141. Does 5 divide n(-12)?
True
Suppose -4 = 2*u, 2*u + 9059 = 60*m - 55*m. Does 24 divide m?
False
Suppose 0 = 674*c - 679*c + 2130. Does 6 divide c?
True
Suppose -4146*v + 4148*v - 1876 = 0. Is v a multiple of 17?
False
Let k(m) = 5*m + 9. Let l be k(-3). Let d(w) = -8*w + 6. Does 5 divide d(l)?
False
Suppose -3*t + 12 = -7*t + 4*s, -5*s = 3*t - 31. Let x be t/(-11) - (-4)/22. Suppose -7*n + 4*n + 48 = x. Is n a multiple of 16?
True
Let h = 3927 + -1762. Is h a multiple of 39?
False
Let p = 11 + -13. Let f = 2 + p. Suppose 0 = 4*w - f*w - 4*i - 152, -2*w + 41 = 5*i. Is 17 a factor of w?
False
Suppose -4*h - 2*i = -30, 2*i - 12 = -5*h + 26. Let m = h + 1. Is m a multiple of 9?
True
Is 15 a factor of (-508)/(-2) - (-10 + 13)?
False
Is 2 + -5 + 0 + 1491 a multiple of 151?
False
Suppose 16*z = -0*z + 720. Let i be -2*(-3)/(6/(-23)). Let n = z + i. Is n a multiple of 22?
True
Suppose 65 + 160 = -5*v. Suppose 3*c + d + 6 = -55, 5*c - 3*d + 111 = 0. Let f = c - v. Does 6 divide f?
True
Suppose 4*b + 41 = 9. Let r be -2 - 7/(7/b). Suppose 4*p - 2*s - 234 = 0, -76 = -p + r*s - 2*s. Does 14 divide p?
True
Suppose -682 = -11*p + 946. Does 37 divide p?
True
Let v be -1 - (-3 + (-687)/(-12))*-4. Suppose v + 1464 = 14*h. Does 10 divide h?
True
Suppose -8 = 2*x, -2*t + 0*t + 4*x = -20. Suppose 2*d - 272 = 2*h, -t*d = -d + 4*h - 111. Is 9 a factor of d?
False
Let i(c) = 25*c + 52. Is 45 a factor of i(5)?
False
Suppose -503 = -p - x, -5*p + 15*x = 13*x - 2522. Is p a multiple of 11?
False
Suppose 2*t + 10 = 0, -v + 0*v - 5*t - 25 = 0. Suppose v = 5*m - o - 368, 3*m + 207 = 6*m + 4*o. Does 23 divide m?
False
Let s = -303 + 765. Is 7 a factor of s?
True
Suppose 0 = -15*d - 0*d + 720. Does 8 divide d?
True
Let y be (-3)/(24/50) + 7/28. Does 24 divide (-1007)/y + ((-34)/12 - -3)?
True
Let x(p) = -7*p**3 + 4*p + p**2 - 5*p + 3*p + p**2. Suppose 113*j + 10 = 108*j. Does 10 divide x(j)?
True
Let v(d) = 144*d - 201. Does 13 divide v(6)?
True
Let t = -93 - -202. Suppose -3*l + 0*o = -5*o - t, 0 = 2*l - o - 68. Is l a multiple of 10?
False
Suppose -2*v = -l - 88, 4*l = 5*v - 147 - 70. Does 45 divide v?
True
Let h = -13 + 13. Suppose -m - w + 22 = 0, m = -h*m - 3*w + 28. Is 6 a factor of m?
False
Suppose 3*d = 2*r + 43, -3*d = -3*r - d - 52. Let p = 17 + r. Suppose p*m - 31 = 32. Is m a multiple of 11?
False
Suppose -4*k + 3*f + f = -496, -4*k = -f - 496. Suppose 5*r = 7*r - k. Is 19 a factor of r?
False
Suppose -18651 = -16*j - 4091. Is 14 a factor of j?
True
Let r = 771 + -275. Let t = -320 + r. Is t a multiple of 22?
True
Is 22 a factor of (-928)/(-14) - 78/273?
True
Let u = -75 + 107. Does 20 divide ((-16)/3 - 0)*(-1176)/u?
False
Let c = 18 - 15. Suppose 2*p + 3 = c*p. Suppose p*z = 7*z - 64. Is z a multiple of 16?
True
Suppose -159*g + 153*g = -4446. Is g a multiple of 19?
True
Suppose 5*p + 4315 = 10*p. Suppose -3*j + p = 86. Suppose -3*f = -3*a + 147, 4*f - j = -5*a + 2*f. Does 19 divide a?
False
Let z be (-65)/(-20)*-8*1. Let t = z + 18. Let s(y) = y**3 + 7*y**2 - 12*y + 8. Is s(t) a multiple of 7?
False
Suppose 2*n - 2*l = 70 + 804, -3*n + 2*l = -1314. Does 44 divide n?
True
Suppose -5*d + 3*k + 42 = 13, -4*d + 24 = -2*k. Suppose -2*t + w = -d, 4*w - 33 = -t - 7. Is t a multiple of 3?
True
Let m = -215 - -263. Is 48 a factor of m?
True
Suppose -s - 30 = 34. Let w(x) = -117*x + 1. Let h be w(-1). Let p = s + h. Does 18 divide p?
True
Let k(l) = -87*l - 90. Is k(-5) a multiple of 24?
False
Let z(r) = -18*r**3 + 31*r**3 - 5 - 12*r**3 - 5*r - r**2. Let y be z(5). Let i = -26 + y. Is i a multiple of 14?
False
Suppose 2*r = -2*v - 7116, -4*v - 12071 = 5*r + 2166. Is (-1)/(-2) - v/22 a multiple of 18?
True
Is 34 a factor of (1942 - (-3 + 4)) + -4 + 1?
True
Suppose 3*s - 51 + 69 = 0. Let i(z) = -z**2 - 3*z + 3. Let f be i(-3). Is s*(f/3)/(-1) a multiple of 3?
True
Suppose 4*n - 33 = n. Suppose 5*g - 1 = 4*c, -5*g + 0*c + c - n = 0. Is 13/(g/(-6) - 0) a multiple of 26?
True
Let v(d) = 2*d**2 + d - 62. Is 9 a factor of v(11)?
False
Let c(k) = 22 - 1 - 716*k + 711*k + 0. Is 3 a factor of c(3)?
Tru