t(-1). Suppose 0 = -2*k + b*k. Suppose y - 3*y + 40 = k. Does 20 divide y?
True
Let z = -1908 - -1969. Is 3 a factor of z?
False
Suppose -2*i + 93 = -245. Is 9 a factor of i?
False
Let z = -25 - -27. Suppose -4*s + 23 = -2*r + 5*r, -5*s + 23 = -z*r. Suppose 5*v - 158 = q, s*q = 3*v - 97 + 11. Is v a multiple of 10?
False
Let z(d) = 3*d**3 - 32*d**2 + d + 13. Does 3 divide z(12)?
False
Let x(y) be the second derivative of 11*y**4/2 + y**3/2 - y**2 + 7*y. Does 26 divide x(1)?
False
Suppose d - 23 = -0*d. Is 26 a factor of (1 + d/1)*63/12?
False
Let u(o) = 411*o + 220. Is u(2) a multiple of 22?
False
Let i(v) = -5*v + 3*v - 3 + 2 + v**3 - v**2. Let t be i(-1). Does 15 divide t*(-27)/((-4)/(-4))?
False
Let j = -11 + 2. Let r be (0*(-3)/j)/(-2). Suppose r = 3*v - 4*v + 18. Is 6 a factor of v?
True
Let d be (21 - (-9 + 4))/((-1)/(-25)). Suppose -2*t - 4*h + d = 3*t, -4*h + 390 = 3*t. Does 13 divide t?
True
Suppose -1875 - 1485 = -8*t. Does 60 divide t?
True
Let z(i) = 11*i + 2. Let u be z(1). Suppose -2*f = -u - 143. Does 16 divide f - (8/2 + -6)?
True
Suppose 149*f - 22*f - 223139 = 0. Does 81 divide f?
False
Let y be ((-1)/(-2))/((-3)/(-36)). Let p = 9 - y. Suppose 4*r - 8 = 0, c - 25 = -2*r + p*r. Does 8 divide c?
False
Let o = -106 + 431. Does 13 divide o?
True
Let u = -80 - -149. Suppose 5*d + 0*y = -3*y + 3, -3*d + 5 = 5*y. Suppose 3*l - 4*q = u + 26, d = -4*l + q + 131. Is l a multiple of 14?
False
Let v(m) = 11*m**2 + 60*m - 56. Is 33 a factor of v(-13)?
True
Suppose -5*y = -i - 140, -5*y + 5*i + 47 = -93. Let h = y + 55. Is h a multiple of 21?
False
Let b be (4/(-3))/((-24)/36). Suppose 2*v + 164 = -b*j, 2*j = 6*j + 5*v + 329. Let x = -58 - j. Is 6 a factor of x?
False
Let u(o) = 4*o**2 + 2*o + 1. Suppose 5*w + 0*w - 5*x = -25, x = 1. Does 45 divide u(w)?
False
Suppose -205 - 17 = -2*l. Let a = l + -59. Does 9 divide a?
False
Is ((-3)/6)/((-17)/(-34))*-1539 a multiple of 27?
True
Suppose 0 = 4*a - 16, -l + a + 257 = -0*a. Let t be (-20)/(-15)*l/3. Suppose -4*c + 84 = -t. Does 10 divide c?
True
Suppose 0 = -0*c - 2*c + 8. Suppose 0 = k + c*k + 25, 4*k = 4*n - 92. Is n a multiple of 3?
True
Let d = -98 + 214. Let x = -138 + 303. Let l = x - d. Is 18 a factor of l?
False
Let z(h) = -h**2 + 4*h + 5. Let n be z(5). Suppose n = -7*u - 138 + 474. Does 6 divide u?
True
Let j(s) = s**3 + 6*s**2 - 8*s + 2. Let f be j(-7). Let t = 24 - f. Does 15 divide t?
True
Does 9 divide (-12)/(-48)*1066*(1 + 1)?
False
Let w = 1127 + -272. Does 15 divide w?
True
Suppose 0 = -4*u - 0*u - 8. Is ((-9)/u)/((-12)/(-128)) a multiple of 35?
False
Let s(f) = -f**3 - f**2 + 4*f - 10. Let i be s(-3). Suppose -5*a + 3*a = -16. Is 11 a factor of (i/6)/(a/(-132))?
True
Let c(x) = 583*x**3 - x**2 - x + 2. Is 52 a factor of c(1)?
False
Let z(y) = y**3 - 15*y**2 + 26*y - 8. Let f be z(15). Let n = f - 257. Is 25 a factor of n?
True
Let j(i) = -i**3 - 4*i**2 + 7*i - 10. Let l be j(9). Is l/(-55) - 6/33 a multiple of 6?
True
Let c be 11 - 11 - (-1 - 1). Suppose -3*n - c*k = -25, -n = n + 4*k - 30. Is -82*(n/2 + -3) a multiple of 12?
False
Is 4 a factor of (15 - 3)*6*(-80)/(-45)?
True
Suppose 3*u + 16 = 7*r - 8*r, -2 = -3*r + u. Is 26 a factor of (-1188)/(-45) + r + (-6)/(-10)?
True
Let d be 11/(0 + -1)*(-56 + 76). Let l = 486 + d. Does 38 divide l?
True
Suppose 3*h + 40 = -2*h. Let v(n) = 2*n**2 + 4*n - 5*n + 4 - n**2 + 8*n. Is v(h) a multiple of 4?
True
Let a be -3 + 2 + -2 - -6. Suppose 5*j = -5*z + 525, 2*z - 285 = -z + a*j. Is z a multiple of 18?
False
Let o(g) = -5 + 6 - 4 + g**2. Does 13 divide o(-9)?
True
Suppose 5*q + 4*n - 5840 = 0, 7*n - 12*n - 1139 = -q. Is q a multiple of 12?
True
Suppose -4*h + 413 = -2359. Is 2 a factor of h?
False
Suppose 24*c = 30*c - 384. Let a = c - -18. Is 21 a factor of a?
False
Suppose 5*h = -2*d - 25, h - 4*h - d - 14 = 0. Let w = h + 3. Suppose 8*m - 3*m + a - 90 = w, 2*a = 5*m - 90. Is m a multiple of 10?
False
Suppose -2*p - 8 = 2*p, 4*g - 4*p = 16. Suppose -g*u + 5*s = -40, 2*u = -3*s + 22 + 34. Is u a multiple of 16?
False
Let g = 53 - 50. Suppose g*x - 2*x - 21 = -4*j, 2 = j. Is 3 a factor of x?
False
Suppose 177*f + 504 = 178*f. Is 42 a factor of f?
True
Let h be (-21)/(2*9/(-24)). Let p be (-87)/(-21) - 4/h. Suppose 2*v + 74 = p*k, -2*v - 34 = -0*k - 2*k. Does 10 divide k?
True
Suppose -4*d + 4*a = 12, 4*d - 7*a + 2 = -5*a. Suppose -7*w = -3*w + 16. Is d + w/(4/(-11)) a multiple of 3?
False
Let c(n) = -6*n**3 - n**2 + 2*n + 2. Let z be -4 + 2/(8/12). Let x be c(z). Suppose 0 = -x*k + 2*y + 47 + 219, 3*y - 6 = 0. Does 7 divide k?
False
Suppose -5*p = -1196 - 139. Let o = p + -126. Is 23 a factor of o?
False
Let z be 3/9 + 19/(-3). Let w = 6 + z. Is 0 + -1 + w + 27 a multiple of 12?
False
Let o = 180 - 177. Does 3 divide o?
True
Let n(m) = m**2 + 7*m + 10. Let i be n(-6). Let f(x) = -x**2 + 5*x. Let v be f(i). Suppose -v*r = 4, 0*o + 4*o - 79 = 3*r. Is 8 a factor of o?
False
Let y(q) = -q**3 - 13*q**2 + 25*q + 25. Is 25 a factor of y(-15)?
True
Let v = 16 + -19. Does 11 divide (-580)/(-30) - (-1)/v?
False
Let f = 107 - 50. Suppose -h - t = 2*t - f, -h - 2*t = -52. Is 9 a factor of h?
False
Is 2/(-2 + 6 - 6) + 276 a multiple of 55?
True
Let b(f) = f**3 - 9*f**2 + 8*f - 3. Let n be b(8). Let k(g) = -7*g - 17. Is k(n) a multiple of 3?
False
Let a(x) = x**3 + 201. Let y be a(0). Is -2 + y/(-2 - -5) a multiple of 13?
True
Let q(c) = 16*c - 4. Let g be q(4). Suppose -3*s = s - g. Is s even?
False
Let l be (3/5 - 1) + 27/5. Suppose 5*s - p - 569 = -176, 402 = l*s - 4*p. Is s a multiple of 6?
True
Let x be ((-16)/5)/(6/(-390)). Suppose -i - 200 = -s, -s = -15*i + 12*i - x. Is 14 a factor of s?
True
Let t(a) = 3*a**2 + 7*a - 2. Does 48 divide t(-7)?
True
Let b = 3650 + -920. Does 13 divide b?
True
Suppose -28 = -5*m + 7. Let t(l) = l**2 - 20*l + 36. Let n be t(18). Suppose h + 5*z - 95 = n, 5*h - 385 = m*z - 2*z. Does 23 divide h?
False
Let m = -5 + 7. Let w = 51 + -15. Suppose -w = -m*p - 0*p. Does 5 divide p?
False
Let f be (-26)/7 - 22/77. Let c be (-61)/f + 12/16. Suppose -5*h - 4*r - 4 = -28, 4*r + c = 0. Is h a multiple of 3?
False
Let y = -1265 - -1945. Does 17 divide y?
True
Let h(d) = -d**3 + 2*d + 1. Suppose -3*s + 2*s = -2. Let n be h(s). Is 12 a factor of (-8)/n*(-114)/(-8)?
False
Suppose -3*j + 5*g = -205, 186 = 2*j + g + 32. Does 15 divide j?
True
Suppose 4*s - 4*n = 688, -n + 103 + 69 = s. Suppose v = -0*v + 4. Suppose -3*t = -v*x - s, 5*x - 9 = 16. Is t a multiple of 16?
True
Let r(g) = 26*g - 4. Let c be r(4). Suppose c = 3*h + q, -2*h = -3*h + q + 40. Does 10 divide h?
False
Let j = -215 - -202. Let m(g) = -3*g**2 - 6*g + 6. Let n(w) = -7*w**2 - 11*w + 11. Let y(t) = -5*m(t) + 2*n(t). Is 15 a factor of y(j)?
False
Let t = 492 + -172. Is 21 a factor of t?
False
Let v(m) be the second derivative of 13*m**4/24 + 2*m**2 - 12*m. Let q(s) be the first derivative of v(s). Is q(1) a multiple of 13?
True
Suppose 4*a - 96 - 24 = 4*p, -5*a - 5*p = -110. Suppose -4*k = -3*k - a. Is k a multiple of 6?
False
Let h(y) = -y - 5*y**3 + 6*y**3 - 1 - y**2 + 0*y. Let n(r) = 5*r**3 - 20*r**2 - 13*r + 10. Let o(t) = 6*h(t) - n(t). Does 16 divide o(-13)?
False
Let x(j) = 402*j**2 - 9*j + 17. Does 14 divide x(2)?
False
Suppose -5*q = -34 + 19. Let f be q/9*0 - -34. Suppose 2*g + 2 = 0, -3*l + 156 = 2*g - f. Is 16 a factor of l?
True
Suppose -241 = 4*j + 3. Let l = j + 86. Is 22 a factor of l?
False
Suppose 14*p + 1050 = 24*p. Is 7 a factor of p?
True
Let y(j) = 174*j**3 + j**2 + 14*j - 32. Is y(2) a multiple of 24?
True
Let m(j) = -j**3 + 17*j**2 - 5*j - 9. Let n be m(13). Is 4 a factor of -1 - (-2)/((-7)/(n/(-4)))?
False
Let a = -229 - -589. Is a a multiple of 40?
True
Let p(h) = 6*h - 20. Let z(q) = 2*q**2 - 3*q - 3. Let s be z(3). Is p(s) a multiple of 16?
True
Suppose 3*h = -h - 4*v + 12, 0 = -5*v - 5. Suppose h*u + 14 = -42. Is 51/2 - 7/u a multiple of 13?
True
Let y(n) = 2*n + 6. Let h be y(-2). Suppose h*q = q + 3. Suppose 5*t + 2*i - 420 = 0, 4*t + q*i - 265 - 78 = 0. Is t a multiple of 13?
False
Suppose -2*i + 3*r = r + 32, 4 = -i + 4*r. Does 4 divide (-550)/i + (-2)/(-4)?
True
Suppose 0 = 48*l - 11*l - 93240. Is 35 a factor of l?
True
Let x = -7 - -12. Suppose 4*y - 135 = -3*m + y, -x*y - 20 = 0. Is 21 a factor of m?
False
Let x(w) = 7*w