ide n?
True
Let b(d) = -d + 52. Is b(-20) a multiple of 12?
True
Let t = -214 + 368. Suppose 3*v - 385 + t = 0. Does 9 divide v?
False
Let d = -3 + -4. Let q(g) = g**2 + 7*g + 4. Let s be q(d). Suppose -s*f = 6 - 22. Is f a multiple of 2?
True
Is (-105)/(-140) + 7698/8 a multiple of 93?
False
Let l(y) = -6*y + 11. Let v be l(-5). Let w = -36 + v. Suppose -4*k - w*q = -146 - 42, q - 172 = -4*k. Is k a multiple of 7?
True
Suppose 6 = -0*p + 3*p. Suppose -h = -4*c - 88, 3*c + 0 + 6 = 0. Suppose 0 = -p*d - 2*d + h. Does 5 divide d?
True
Let t(f) = -164*f**3 - 5*f**2 + 3*f + 163*f**3 + 0*f + 7. Let j be t(-8). Suppose -3*x = 2*x - j. Does 7 divide x?
True
Let w(l) = -5*l + 4. Let x be w(-16). Suppose 7*k + 0 = x. Does 4 divide k?
True
Let n = -62 - -25. Let y be n/((-14)/(-6) + -2). Let h = 163 + y. Is 16 a factor of h?
False
Let c = -7 - -9. Suppose 10 = -z + 3*f, 0 = -3*z - 5*f - c. Does 4 divide (22 - 26)*11/z?
False
Does 49 divide (-4)/10 - (42942/(-30) - 0)?
False
Suppose 5*d + 7*h + 97 = 3*h, -4*d = 4*h + 80. Let z be 12/(-48) + d/(-4). Is -4 + (-8)/(-2)*z a multiple of 7?
False
Suppose d + 38 = 5*q - 8, -3*q = -15. Let f = d - -19. Is 3 a factor of (-1 + 1/(-2))*f?
True
Suppose -3*s - 32 = -c - 93, 5*c + 294 = 4*s. Let v = 73 + c. Does 5 divide v?
True
Suppose 0*h - 11 = -h. Let o(q) = -310 + q**3 + 308 - 2*q**3 + 12*q + 10*q**2. Is o(h) a multiple of 3?
True
Suppose 14*o - 8*o - 1170 = 0. Does 17 divide o?
False
Suppose 2*l = 4*d, d + 0*d = 3*l - 10. Suppose -2*k - 2 = 2*h, k + d*k - 5*h = 5. Let x(i) = -i**2 + 21. Does 12 divide x(k)?
False
Let p(y) = -5 + 6*y - y - y. Let u be (-3)/5*-10 + 6. Is p(u) a multiple of 8?
False
Suppose -2*g + 12 = -6*g. Let o be 7/(g*(-5)/(-30)). Is 17 a factor of (88/o)/(22/(-77))?
False
Let m(p) = -2*p - 1 + p + 17. Let h be ((-30)/12)/(5/(-12)). Is m(h) a multiple of 10?
True
Suppose -2*r + 4*d + 1172 = 2*d, 4*d - 581 = -r. Is r a multiple of 17?
False
Let g(a) = -a**2 + 11*a + 3. Let z(i) = 3*i**3 + i + 3. Let m(b) = -13*b**3 - 4*b - 13. Let p(n) = -2*m(n) - 9*z(n). Let w be p(-2). Is g(w) a multiple of 21?
True
Let d(z) = z**2 - 8*z + 1. Let m be d(10). Does 3 divide m - (4/(-4) - 1)?
False
Let d(k) = k**2 - 5*k - 2. Let y = -2 + 6. Let v be d(y). Is 2 - (2*v)/3 a multiple of 2?
True
Let m(l) = l**2 - l - 1. Let i be m(0). Let h be (-1 + 9/(-3))*i. Suppose -3*g = -4*x + 432, 0*g = g - h. Is 17 a factor of x?
False
Let i(n) = 4*n**2 - 24*n - 155. Is i(-9) a multiple of 11?
True
Let q(x) = x + 69. Is q(-24) a multiple of 5?
True
Let q be -18 + 22 - 12/2. Is -13*2/q + -2*1 a multiple of 5?
False
Let h be 3*(3 - (-1 - -3)). Let d(w) = -2*w + h*w + 15 - 2*w + 2*w. Is 7 a factor of d(-8)?
True
Suppose 0 = 3*t - 2*g - 20, -2*t - 2*g = -4*g - 16. Suppose 0 = -2*q - 8, 4*q - 48 = -t*a - 0*q. Is 16 a factor of a?
True
Let g(b) be the first derivative of 6*b - 8/3*b**3 + 1 - 1/4*b**4 + 7/2*b**2. Does 12 divide g(-9)?
True
Let d(z) = 2783*z + 4. Let s be d(-4). Let u be s/18 + (-12)/(-54). Is 6/(-33) - u/11 a multiple of 16?
False
Let u = 797 + -357. Does 16 divide u?
False
Let g be (60/(-9))/((-1)/3). Let h = -8 + g. Is 3 a factor of h?
True
Suppose 5*k = 6*k + 52. Let t = -38 - k. Is 21/t - 15/(-2) a multiple of 9?
True
Suppose -b + 5 + 0 = 0, 2*b - 25 = -3*l. Suppose 76 + 396 = 2*a - 5*g, l*a + 5*g - 1180 = 0. Does 15 divide a?
False
Let m(y) = 21*y**2 + 5*y - 36. Is 30 a factor of m(6)?
True
Let n = 541 - 465. Is n even?
True
Let r(g) = -g + 3 + g**2 + 1 + 0 - 3. Is 25 a factor of r(-5)?
False
Suppose j = -b + 2, -4*j - 5*b + 8 = -0*j. Let m be (2 + j - 5)*3. Is 18 a factor of 645/9 - (-2)/m?
False
Does 68 divide 155924/85 + 14 + (-2)/5?
False
Let i = -70 - -82. Does 27 divide i/(-21) + 1019/7?
False
Suppose d + 0*d = 52. Suppose -n - n = -d. Let t = -11 + n. Does 7 divide t?
False
Let z be -2*(-1)/(-5) - (-32)/(-20). Let q(o) = o**3 + 6*o**2 + 5*o + 1. Let g be q(-5). Is z + 3 - -23*g a multiple of 12?
True
Let k(j) = 7*j - 14 + 24 + j**2 + 7*j**2. Does 17 divide k(-5)?
False
Let g(a) = a**2 + 0*a - a + 0*a**2 - 4. Suppose 3*y = -1 + 16. Does 8 divide g(y)?
True
Let f(g) = -17*g**2 + 3*g + 12. Let z be f(-2). Let b = 170 + z. Is 36 a factor of b?
True
Does 29 divide -4 + (-150)/(-42) - (-27070)/35?
False
Let r be (18/(-12))/(3/(-16)). Let d be (-2 - (-12)/r)*2. Does 13 divide (d + 40)*(2 - 1)?
True
Let b = 314 - -406. Does 23 divide b?
False
Suppose 3*u - 15 = 3*y, -2*u = 5*y - 0*y - 3. Suppose t - 3*l = -29, -3*t + u*l - 92 = t. Is 30*-2*4/t a multiple of 3?
True
Let x = 423 - 254. Suppose 3*u - 3*n + x = 8*u, 5*u = 5*n + 145. Is 8 a factor of u?
True
Let a(o) = -o**3 + 22*o**2 - 19*o - 10. Suppose 9*k + 64 = 253. Is a(k) a multiple of 8?
True
Let h = 777 + -681. Is 12 a factor of h?
True
Let j be -3*4/(-12) + 26. Let o = j - 38. Let v = 2 - o. Is v a multiple of 13?
True
Suppose 0 = -l - 0*l + 3*g - 10, 2*l + 10 = 4*g. Suppose o + 7*h = 2*h + 48, -l*o = h - 192. Is 13 a factor of o?
False
Let z = -51 + 123. Suppose -z = -k - 2*p, -3*p = -5*k - 118 + 504. Is 13 a factor of k?
False
Let t(n) = 5*n**3 - 8*n**2 + n - 40. Is t(7) a multiple of 15?
True
Suppose 295 - 800 = 5*f. Let m = f + 39. Let n = 115 + m. Is 18 a factor of n?
False
Let m(h) be the second derivative of 19*h**5/120 + h**4/12 - h**3/2 + 9*h. Let p(k) be the second derivative of m(k). Does 20 divide p(2)?
True
Suppose -3*t - 2*d = -625 - 627, 0 = -4*t - d + 1671. Does 49 divide t?
False
Let c(k) = -13*k**2 + 237*k - 18. Does 9 divide c(18)?
True
Let x = 1669 + -1047. Is x a multiple of 21?
False
Let m(q) = -q. Let k be m(-2). Suppose 3*j - k*g - 141 = -0*j, 2*j + 3*g = 107. Is j a multiple of 17?
False
Let v = 1151 - 514. Is 49 a factor of v?
True
Let z = -1293 - -2286. Is 23 a factor of z?
False
Let u(r) = 4*r**3 - 12*r**2 - 2*r + 18. Let a(j) = 5*j**3 - 11*j**2 - j + 19. Let t(l) = -5*a(l) + 6*u(l). Does 44 divide t(-17)?
True
Is 2/(8 + -2) + 164/12 a multiple of 3?
False
Let q(r) = 28*r**2 + 29*r + 17. Does 39 divide q(-6)?
False
Suppose 0 = -5*l + 2*m, 4*l + 2*m = 2*l. Suppose y - 2*r - 82 = l, -4*y + r = -3*y - 78. Does 24 divide y?
False
Let m(a) = -a**2 + 10*a - 2. Let h = 5 - -5. Let q be m(h). Is 5*(-18)/4*q a multiple of 15?
True
Let a be 10*3 - (4 + -5). Suppose 2*l + a = l + 4*i, -2*l - 55 = -i. Does 7 divide (l/12)/((-12)/64)?
False
Let u(x) = -x**3 + 11*x**2 - 12*x - 17. Let i be u(8). Suppose -5*p = -4*l + 507, 2*l - 5*p = i + 182. Is l a multiple of 25?
False
Let i be (-5)/(-5)*(0 - -11). Does 19 divide 24/i - (-14)/(-77) - -55?
True
Let k(d) be the third derivative of -43*d**4/24 - 23*d**3/6 + 8*d**2 - 3. Is k(-5) a multiple of 16?
True
Suppose p + 39 = -0*m + 2*m, -4*p - 156 = 5*m. Let o be (38/(-6))/(2/18). Let q = p - o. Does 6 divide q?
True
Let z(t) = t**2 - 5*t + 17. Does 2 divide z(0)?
False
Let m be ((-14)/(-35))/(2/10). Suppose 0 = -3*d + 5*d - m. Let a = d + 12. Is 9 a factor of a?
False
Does 27 divide -4 + (-965)/5*-1?
True
Suppose -3*k = 3*m - 186, -3*m + 6*k - k = -210. Let c = 86 - m. Is c a multiple of 7?
True
Let x be 9/(-3)*(2730/9)/(-7). Suppose 0 = -3*o - b + x, -o = 3*b - 8 - 30. Does 8 divide o?
False
Let m = 23 + -21. Let k(c) = 6*c + m - c - 2*c + c + c**2. Is k(-12) a multiple of 20?
False
Let l = -1002 + 1637. Suppose -4*h - 33 = 2*w - 295, 5*w = -5*h + l. Is 25 a factor of w?
False
Let m be 30/8 + (-1)/(-4). Suppose 0 = -4*z + 138 + 186. Suppose 3*i = -2*g - 0*i + 39, -m*g + z = 5*i. Is 6 a factor of g?
True
Does 6 divide 6/2 + (499 - 22)?
True
Suppose 0 = -2*c + 13 + 11. Is 3 a factor of (39/6)/(3/c)?
False
Suppose r + 20 = 2*i + 4, -14 = 2*r + 2*i. Let q be (9 - 6) + r/(-2). Let a(w) = 8*w - 1. Is 16 a factor of a(q)?
False
Is 24 a factor of 122460/300 - 2/10?
True
Let y(v) = v + 10. Let b be y(-5). Suppose -2*a + 12 = -3*z - 3, 9 = 2*z + b*a. Let m(x) = -2*x**3 - 2*x**2 + 6*x + 7. Is 10 a factor of m(z)?
False
Let j be (1/2)/(12/3528). Let b = -102 + j. Suppose 3*d - 8*d = -2*k + b, -k - 3*d = -28. Is k a multiple of 25?
True
Let c be 0/(0 - (-1 - -2)). Suppose 53 - 38 = 3*l. Suppose -4*s + 99 = -5*i, l*s = -c*s - 4*i + 134. Does 25 divide s?
False
Let y(i) = -i**3 + 4*i**2 + 2*i - 3. Let m be y(4). Suppose 0 = -z - m, -5*d + z + z = -375. Is 15 a factor of d?
False
Suppose 4*u - 16 + 4 = -3*m, 0 =