 a multiple of 5?
False
Suppose -n - 2*i = 3*i - 27, -33 = -4*n - 5*i. Suppose u = n*s - 4*u + 9, -3*s + 5*u - 1 = 0. Suppose 423 - 1383 = -s*k. Does 22 divide k?
False
Suppose -2625 = -22*z + 72681. Is 163 a factor of z?
True
Suppose -5*r - 184 = -4*q, q - 55 = 5*r - 6*r. Suppose -141 = -3*g - q. Is 30 a factor of g?
True
Suppose 5 + 7 = 6*f. Suppose -78 = f*j - 174. Does 4 divide j?
True
Suppose -w = -6*d + 3*d + 84, -5*w + 5*d = 410. Let v = w - -85. Suppose -4*c + v*p + 468 = -c, -c = -2*p - 156. Is c a multiple of 52?
True
Suppose -11*b = 4*s - 14*b + 1, -s - 13 = -5*b. Does 4 divide 60/(-150)*(s - 442/1)?
True
Is 1*(-2380 + -3)*-1 even?
False
Let v(b) = b**3 + 7*b**2 - 9*b - 50. Suppose -5 = 35*w - 34*w. Is v(w) a multiple of 9?
True
Let j(d) = -d**2 - 8*d - 3. Let y(f) = -2*f**2 - 15*f - 6. Let p(t) = -11*j(t) + 6*y(t). Let n be p(-3). Is 10 a factor of (-1 + (-2)/n)/(12/(-270))?
False
Let z be (-5)/(-20) + (-15)/(-4) + 7. Suppose -3*f - 4*k - z + 109 = 0, -3*f - 2*k = -94. Let t = f + 49. Does 9 divide t?
False
Let x(u) = 18*u**2 - 63*u - 1137. Is x(-18) a multiple of 29?
True
Suppose 5*d = -5*b + 25425, 3*b - 20338 = -b - 3*d. Does 13 divide b?
True
Does 69 divide (-19)/(-57)*(3*11204)/4?
False
Let k = 3380 - 1083. Suppose -34*d + k + 287 = 0. Is d a multiple of 7?
False
Let d = -1829 + 3744. Is 22 a factor of d?
False
Suppose 7*o - 11*o = m - 343, 4*m = -2*o + 154. Is o a multiple of 4?
False
Let w(c) = 4*c + 4 - 30 - 33*c - 11*c. Is 14 a factor of w(-8)?
True
Suppose 37*q - 56489 - 28093 = 0. Is 72 a factor of q?
False
Is (((-16033)/(-3))/(138/(-207)))/(1/(-6)) a multiple of 53?
False
Is 2 a factor of 6781 - (8 + -2 - (-312)/(-104))?
True
Let y(h) = -1. Let i(u) be the second derivative of -u**4/2 - u**3/3 - u**2/2 + 6*u. Let v(q) = -i(q) + 2*y(q). Is v(2) a multiple of 5?
False
Let g(w) be the third derivative of -w**6/120 + w**5/15 + w**4/4 - w**3/2 + 236*w**2. Let t = 7 + -11. Is g(t) a multiple of 7?
False
Let h(i) = -3*i**2 + 3*i + 3. Let v be h(2). Let j be (-2)/(-3)*v - 1. Is 572/(-11)*3/6*j a multiple of 6?
True
Let u(m) = m - 1. Let o be u(3). Suppose -d = 4*s + 1, 2*d + 2*d + 4 = -s. Is s + 34 + o - 1 - -2 a multiple of 5?
False
Let w be (24/(-20))/(1/(-5)). Suppose -4*z + 2*p - 110 = 0, -p = 4*z + 2*p + 125. Let g = w - z. Does 7 divide g?
True
Let f = -90 + 90. Suppose -10*s - 74 + 444 = f. Suppose -42*c + s*c = -225. Does 7 divide c?
False
Let w = 5432 - 3380. Does 76 divide w?
True
Let k = 38796 - 11351. Is 10 a factor of k?
False
Let u(k) = k**3 + k**2 + 0*k**3 + 2*k - 7*k**2 - 9 + 5*k**2. Let b be u(0). Is 3 a factor of (6/(-9))/2 + (-192)/b?
True
Let q = -25 - -32. Suppose q*a + 0 = 49. Let f = 4 + a. Does 6 divide f?
False
Let r = 4536 - 4383. Does 3 divide r?
True
Let d = 143 - 129. Suppose 578 = 4*r + v, -13*r + d*r = -v + 143. Is 14 a factor of r?
False
Suppose -6*o = -421 - 383. Suppose 3*r - 144 = 2*d, -62 = -4*r + 4*d + o. Is 23 a factor of r?
True
Does 6 divide 104/91 - 206104/(-28)?
True
Let z = 9996 + -9216. Does 4 divide z?
True
Let p be ((-8)/(-14))/(10/(-35)). Let v(s) = -18*s**3 - s**2 - s + 1. Does 11 divide v(p)?
True
Let c(z) = -z**2 - 10*z + 3. Let i be c(-10). Suppose -6*q + i*q + 54 = 0. Suppose 65 = 23*m - q*m. Is m a multiple of 2?
False
Let s = 346 + -286. Suppose -28*i - s = -31*i. Is 14 a factor of i?
False
Let o(d) = 16*d**2 + 123*d - 1. Let k be 0 - ((-1 - 2) + (-48)/(-4)). Is o(k) a multiple of 4?
True
Suppose 51*p - 64078 = -110*p. Is 4 a factor of p?
False
Let f(y) = -27*y**2 + 1305*y - 4. Is f(42) a multiple of 66?
False
Suppose 31*k - 6*k = -61*k + 1433620. Does 10 divide k?
True
Let f be 11 + 6/(1 - 2). Suppose f*s = s + 2180. Is s a multiple of 58?
False
Suppose 2*n + 4612 = 5*i, 2*n + 1131 = i + 215. Is i a multiple of 11?
True
Let w = 1511 + -972. Suppose w = 9*f - 2629. Does 22 divide f?
True
Let g(b) = 11*b**2 + 7*b + 10. Let c(k) = 4*k - 50. Let m be c(12). Let p be g(m). Suppose -45*x + 105 = -p*x. Does 9 divide x?
False
Let c be ((-112)/(-20))/((-10)/(-25)). Let s be (-5)/((-110)/2754) - c/77. Suppose s = 8*b - 91. Is b a multiple of 27?
True
Let g(y) = -y**3 - 10*y**2 + 8*y - 9. Let a be g(-11). Suppose 0 = 7*s - a + 10. Let h(l) = 14*l**3 + 2*l**2 - 6*l + 7. Is h(s) a multiple of 23?
True
Is 14 a factor of 234 + (9 - 21) + 16?
True
Suppose -7*t + 4 = -108. Suppose -t - 2 = 3*q. Is (11/4)/(q - (-582)/96) a multiple of 44?
True
Let k(x) = -63*x + 35. Let t be k(-45). Suppose -5*v - t = -19*v. Is v a multiple of 9?
False
Let t be 72/4*(-14)/4*1. Let m = t + 59. Is ((-56)/(-4))/(m/(-6)) a multiple of 2?
False
Let o(y) be the second derivative of 8*y**3 + 4*y**2 - 73*y. Does 25 divide o(4)?
True
Let d = -34 + 49. Let h be 70/7*(-2 + 57/d). Suppose 49*q - 47*q = h. Is q a multiple of 3?
True
Suppose -3*i + 2*i = 0, 5*q = 5*i + 6445. Let n = 1811 - q. Let k = -307 + n. Is 21 a factor of k?
False
Let a(g) = 19*g + 145. Is a(74) a multiple of 12?
False
Let s = 14714 - 14006. Does 47 divide s?
False
Suppose 2*x + 17 = -5*z, 0 = -3*z + 3*x - 8*x - 14. Is (165/(-20))/(z/12) a multiple of 33?
True
Let q(o) = o**2 - 2*o + 1. Let x(l) = -l**3 + 11*l**2 + l + 8. Let i(b) = -q(b) + x(b). Is 12 a factor of i(9)?
False
Suppose 0 = 2*q - 3*y - 17, 0*y = -2*y + 2. Does 2 divide ((-28)/q)/((-36)/180)?
True
Suppose -2*d + 2*g - 124 = 0, 0*d + 3*g - 54 = d. Let w = 72 + d. Is w/((-144)/(-70) - (1 - -1)) a multiple of 33?
False
Does 45 divide ((2 - -13) + 2)/(-25 - (-124912)/4995)?
True
Let y = 29297 + -26185. Is y a multiple of 14?
False
Let r(y) = 14*y**2 - 28*y - 11. Suppose 24*w = 17*w + 42. Is r(w) a multiple of 65?
True
Suppose -4*l + 1856 = -10*v + 6*v, 3*v + 1390 = 4*l. Let a = v + 538. Is 2 a factor of a?
True
Let i = -705 + 854. Is 19 a factor of i - (-6 - (6 - 9))?
True
Let h be ((-374)/85)/((-4)/10). Suppose -h*l + 14*l - 30 = 0. Suppose 979 = w + l*w. Is 12 a factor of w?
False
Let y = 14 + -12. Suppose -l - 2 = g, -2*g = l + 2 + y. Suppose -4*c + 40 = -3*x, -2*c + l*x - 5*x + 46 = 0. Is c a multiple of 13?
True
Let s(d) = -39*d**3 + 9*d**2 + 18*d - 5. Does 27 divide s(-3)?
False
Let y(p) be the third derivative of -1/6*p**3 + 1/24*p**4 + 0 + 0*p + 0*p**5 + 1/40*p**6 - 9*p**2. Is y(2) a multiple of 4?
False
Let o be (-4)/(-3 + -1) - -2. Suppose -o*u = -15 - 864. Is 17 a factor of u?
False
Let i = 11486 + -92776. Is -3*2/10 - i/275 a multiple of 10?
False
Let a be (3 + (-130)/4)*728/(-14). Suppose 0 = -5*i - 3*k + a, 3*i - 12*k - 926 = -11*k. Is i a multiple of 15?
False
Let t be (-46)/207 - (-128)/9. Suppose t*d + 6035 = 19*d. Suppose 4*x = 16, -4*q + 2*x = q - d. Is q a multiple of 21?
False
Suppose 0 = -3*x + 4*j + 994, -3*x - 50*j + 55*j = -986. Is 2 a factor of x?
True
Let o(h) = h**2 - 6*h + 6. Let i be o(6). Let l be -2*((-21)/i + 3)/1. Is 3/1 - 4 - -29*l a multiple of 7?
True
Let r be (-8)/(-42)*(-9)/(-1)*-14. Let c = r + 32. Is ((-82)/(-4))/(3*c/240) a multiple of 21?
False
Let i = -1181 - -4211. Does 27 divide i?
False
Suppose 377 = -5*r + 5*k + 107, -2*k + 224 = -4*r. Let c = r + 64. Suppose 0 = -c*l - 100 + 676. Does 7 divide l?
False
Suppose -4*t + 4*w = 484, 2*w + 84 = t + 201. Let v be 12/9 + (-12)/(-18) - t. Suppose 7*l - 118 = v. Is l a multiple of 7?
True
Let u(a) = 17*a**2 - 3*a - 72. Suppose -13*b = -38 + 116. Does 9 divide u(b)?
True
Is 57 a factor of -8369*(6 + 9 + -16)?
False
Suppose -5*o - 20*a = -22*a - 408, 2*o = -3*a + 167. Let z = 190 - o. Is 36 a factor of z?
True
Let u(s) = -13*s - 191. Let r be u(-15). Suppose 286 = r*p + 62. Is 28 a factor of p?
True
Let l be (1*(-2 + 1))/((-15)/(-5685)). Let g = 604 + l. Is g a multiple of 25?
True
Let s(l) = l**2 - 8*l + 13. Let x be s(7). Suppose x*o + o = 238. Suppose 0 = -32*b + o*b - 228. Is 19 a factor of b?
True
Suppose 0 = g + 3*r + 216 - 2173, -4 = 4*r. Does 12 divide g?
False
Let l(a) = -43 + 29*a + 10*a - 6*a + 5. Does 73 divide l(10)?
True
Let b = 23 - 38. Let o be (((-36)/b)/(-6))/((-2)/1390). Suppose 5*s - 62 = -x, -5*s = -0*x + 4*x - o. Does 8 divide x?
True
Suppose 0 = -2*m - 2*b + 114, 0 = -2*m - b - 45 + 162. Let j be (m/35)/((-4)/(-14)). Is (-162)/(-36)*1*j a multiple of 8?
False
Let x = -301 + 873. Suppose 0 = -v + 2*k + 289, -x = -2*v + 4*k - 3*k. Suppose 0 = -12*i - v + 1653. Does 13 divide i?
