 2 = b. Is n/2 + (31 - 8) a multiple of 11?
True
Suppose 65*b = 28*b + 28490. Is 55 a factor of b?
True
Let k(j) = -6*j**2 + 2*j**3 + 3 + 1 + 6*j**2 - 3*j**2 - j. Let t be k(3). Suppose 0 = 4*f - t - 60. Is 11 a factor of f?
True
Is (-1441518)/(-624) - (1 + 7/(-8)) a multiple of 22?
True
Is 4/(0 + -4) + (-780)/(-3) a multiple of 26?
False
Let v = -18 + 20. Suppose -l + 0*l = -v*p - 8, -5*p - 20 = 0. Suppose 5*k - c - 144 = l, -3*c - 5 = -8*c. Is 15 a factor of k?
False
Let i be (-2)/(-12) - (-1214)/(-12). Let m = -45 - i. Is m a multiple of 8?
True
Suppose 0 = 3*u + 3*x - 1716, -3*u = -0*x - x - 1716. Suppose 0 = -6*z + 2*z + u. Suppose 4*k - z = -51. Is k a multiple of 23?
True
Let x(a) = 199*a - 798. Does 35 divide x(7)?
True
Let n = -39 + 170. Let x = -65 + n. Does 33 divide x?
True
Let z(y) be the first derivative of y**3/3 + y**2/2 - 14*y + 3. Does 3 divide z(-6)?
False
Let q(c) = -2*c - 15. Let g(p) = p**2 + 12*p - 5. Let r be g(-12). Let y be q(r). Let t(i) = 4*i**2 + 2*i - 2. Is t(y) a multiple of 18?
False
Let n = 325 - -1715. Is 120 a factor of n?
True
Is 9 a factor of -2 - 2 - (-2*40 + -2)?
False
Suppose 0 = -4*s - 2 + 10. Suppose 4*y - 3*w = 9, -s*y + 5*w - 2 + 3 = 0. Suppose 57 = -y*d + 195. Is 23 a factor of d?
True
Suppose x = -0*w - 5*w - 23, w = -x - 3. Suppose -3*g + x*m - 34 = -5*g, 0 = -m + 1. Suppose 0 = 2*j - h - 53, -j + h + g = -3*h. Is j a multiple of 7?
True
Suppose -13*g + 0 + 13 = 0. Is 10 a factor of (1 - g) + 12*78/9?
False
Suppose -21*i - 23936 + 102497 = 0. Is i a multiple of 29?
True
Let o(b) be the first derivative of -8*b - 6 + 1/4*b**4 - 4*b**2 + 2*b**3. Is 10 a factor of o(-6)?
True
Let z(f) = f**2 - 12*f. Let h be z(12). Let y(j) = 25*j**2 - j - 1. Let u be y(-1). Suppose h = 2*v + 5*d - 19, 0*v + 3*v = -4*d + u. Does 2 divide v?
False
Suppose 535 = 4*d - y - 139, d - 164 = -2*y. Is d a multiple of 21?
True
Let k = -54 + 522. Is 26 a factor of k?
True
Let b be ((-24)/15)/(2/(-5)). Suppose -b*m + 383 - 23 = 0. Does 13 divide m?
False
Let s(i) be the first derivative of 5*i**2 + 10*i - 4. Let b be s(8). Suppose c - 4*c = -b. Is c a multiple of 21?
False
Let s be (((-3)/2)/1)/(3/(-14)). Suppose s*z - 4*z + 57 = 5*d, -65 = -5*d - 5*z. Does 10 divide d?
False
Suppose -74*g + 72*g = -334. Is g a multiple of 16?
False
Suppose 3*z + 10 = 1, 2*k - 5*z + 5 = 0. Let u be (-903)/(-35) + (-2)/k. Let b = -13 + u. Is 3 a factor of b?
False
Suppose -8*o + 7440 = 2*o. Is o a multiple of 8?
True
Let u(i) = 2*i - 1. Let n be u(4). Let l = n + -1. Is (-154)/(-4) - l/12 a multiple of 15?
False
Let o(k) = -15*k - 42. Does 8 divide o(-6)?
True
Let p(u) = -2*u - 13. Let i be p(-8). Suppose -i*y + o + 490 = 0, 0*o + 3*o + 480 = 3*y. Is 11 a factor of y?
True
Suppose 4*o = -m + 149, -2*m - 8*o + 358 = -12*o. Does 13 divide m?
True
Let d = 16 - 11. Suppose d*h + 156 + 79 = 0. Let b = h + 101. Does 18 divide b?
True
Let z = -85 + 40. Let i = -25 - z. Is 564/i + 1/(-5) a multiple of 11?
False
Let x = 477 - 197. Is x a multiple of 70?
True
Let m = -9 - -9. Let i(w) = -w**2 + 102. Is i(m) a multiple of 34?
True
Let f be 309/4*64/24. Is 16 a factor of (f/3)/(14/21)?
False
Let f(z) = -6*z**2 + 2*z + 3. Let q be f(4). Let l be ((-48)/9)/((-3)/(-9)). Let t = l - q. Does 23 divide t?
True
Let a(c) = -c**3 + 39*c**2 + 26*c - 60. Does 14 divide a(39)?
False
Let a(b) = b**2 + 4*b - 12. Let j be a(-4). Let t(v) = -v**2 - 30*v - 7. Is 19 a factor of t(j)?
True
Suppose 167 = 4*k + 179, 3*k - 2765 = -2*n. Does 39 divide n?
False
Suppose -3 = 4*x - 7. Let i(f) = -5*f**2 + 24*f**2 + x - 2*f - 6*f**2. Is i(1) a multiple of 12?
True
Suppose -4*c + 5*h = 78 - 913, -5*c + 1090 = 3*h. Is 40 a factor of c?
False
Let t(w) = w + 9. Let f be t(3). Is 7 a factor of -3*(-3)/f + 165/4?
True
Let c(g) = -6*g + 5 + 3*g - 1 - 3*g. Let r be c(-3). Suppose -n = 4*b - 33, -r - 26 = -5*b + n. Is 2 a factor of b?
False
Let s(k) = 3*k**2 - 20*k + 8. Is 13 a factor of s(11)?
False
Let q = -64 + 34. Suppose 2*n + 40 = -5*i, -4*n + 5*n = -2*i - 17. Let y = i - q. Does 18 divide y?
False
Does 9 divide 111*(6 + 2 + -2 + -3)?
True
Let r(t) = 4*t**2 - 10*t + 3. Let w(o) = 3*o**2 - 9*o + 4. Let g(m) = 2*r(m) - 3*w(m). Let z be g(6). Suppose z*l + 105 = 5*l. Is l a multiple of 5?
False
Let n be (-1)/((-2)/6) - 5. Let f be 1/n + (-830)/(-4). Suppose -5*c = -123 - f. Is 22 a factor of c?
True
Suppose h - 185 + 0 = 4*y, 2*h = 2*y + 388. Let l = 368 - h. Is 28 a factor of l?
False
Let p = -2561 - -5286. Is 46 a factor of p?
False
Let s(y) = -6*y + 257. Is s(9) a multiple of 12?
False
Suppose -5*u + x = -0*x - 28, 4*x - 8 = 0. Let f(z) = -z**3 + 5*z**2 + 8*z. Does 3 divide f(u)?
True
Let p be (-1 + -2)*4/(-6). Let a(t) = t**2 + 10*t + 16. Let o(m) = -1. Let v(h) = p*o(h) + a(h). Does 15 divide v(-11)?
False
Suppose -2*k = k + 9, 5*y + 3*k - 291 = 0. Let x = -93 + y. Does 25 divide (1 - x - 2) + 2?
False
Suppose -3 = -3*g + 2*g, g = 2*y + 3. Suppose 4*k - 3*v - 220 = 0, 5*k - 3*v - 272 = -y*k. Is k a multiple of 8?
False
Suppose -2*d + 698 = -224. Does 14 divide d?
False
Suppose -a = -4, h + 3*a - 17 = 18. Let m = 31 - h. Suppose 2*k + 29 = 5*f + 4*k, f + 5*k + m = 0. Is 7 a factor of f?
True
Suppose 2*t + 16 = 1524. Does 26 divide t?
True
Is (14/21)/((-5)/(-675)) a multiple of 15?
True
Suppose 13*t = -14*t + 15984. Is t a multiple of 37?
True
Suppose -2*v + 550 = 3*v. Let w be 3 + 3 + (2 - 3). Suppose 0*d = w*d - v. Is d a multiple of 11?
True
Let v(t) be the second derivative of -t**7/420 - t**6/72 + t**5/60 - t**4/24 + t**3/2 - 4*t. Let k(s) be the second derivative of v(s). Does 12 divide k(-4)?
False
Let w = 60 + -54. Suppose -w*p = -194 + 50. Is p a multiple of 12?
True
Let g = 406 - -50. Is g a multiple of 76?
True
Suppose -22 = n - 7. Let i(a) = -a + 27. Is 14 a factor of i(n)?
True
Suppose -8*a = 29*a - 37962. Is a a multiple of 54?
True
Let d(u) = -13 - 5*u + 2*u**2 + 5*u + 6*u - u. Is 10 a factor of d(7)?
True
Suppose -9875 = -5*f - 2*y - 3*y, 4*f - 7910 = -2*y. Is 74 a factor of f?
False
Suppose -5*q = -0*a + 2*a - 207, 0 = -a - 4. Let p = 26 - -23. Suppose 4*s - p = q. Is 19 a factor of s?
False
Suppose 1481 = -4*n + 5*n - 3*a, 3*n - 5*a - 4455 = 0. Is 154 a factor of n?
False
Suppose 5*k - 285 = -4*i, 0*k + k = -2*i + 135. Is i a multiple of 7?
False
Let s = -134 - -133. Let i(c) = -178*c**2 - 4*c. Let f(q) = -59*q**2 - q. Let a(z) = -7*f(z) + 2*i(z). Is 14 a factor of a(s)?
False
Let t(d) = -8*d**2 + 5*d - 4. Let y(q) = -1. Let c(b) = -t(b) + 4*y(b). Let j be c(3). Let g = j - 41. Is 8 a factor of g?
True
Let u(w) = 20*w + 68. Is 36 a factor of u(11)?
True
Suppose 3*n = -y + 358, -4*n - n - 4*y + 606 = 0. Let v = n + 192. Is 13 a factor of v?
False
Is 0 + -5 + (24 - -701) a multiple of 24?
True
Let v(o) = 24 - 24 - 4*o. Is 8 a factor of v(-8)?
True
Is 23 a factor of 6/(-27) + 23901/27 + 1?
False
Let u = -26 + 29. Suppose 2*b = 5*b + u*n - 201, -262 = -4*b - 2*n. Does 32 divide b?
True
Suppose 28*y = 25*y + 135. Is y a multiple of 9?
True
Suppose i + 4*t = -164228, -i - 4*t - 164246 = -9*t. Is i/(-570) + (-3)/(45/2) a multiple of 24?
True
Let w(v) = 13*v + 5. Let y be w(2). Let b = 70 - y. Is b a multiple of 13?
True
Does 14 divide -9 - ((-8)/2 + -303)?
False
Suppose -12*l + 14*l = 370. Does 29 divide l?
False
Let x = 3122 + -2112. Is x a multiple of 9?
False
Suppose 53*a = -60860 + 162090. Is 10 a factor of a?
True
Let b be (-3)/3 - (-6 + 2). Suppose -y - s - 43 = -b*y, -y + 2*s + 26 = 0. Is 3 a factor of y?
False
Let b = 76 - 45. Let h be -1 - (3/1 + b). Let q = -21 - h. Is 5 a factor of q?
False
Let g = -1131 + 2041. Suppose 17*n = 12*n + g. Does 14 divide n?
True
Let k(q) be the third derivative of 11*q**5/30 - q**4/8 + q**3/6 + 17*q**2. Is k(2) a multiple of 41?
False
Let u(r) = -7*r - 38. Let z(a) = 7*a + 38. Let i(c) = 4*u(c) + 3*z(c). Is i(-18) a multiple of 26?
False
Suppose 15 - 60 = -3*i. Does 13 divide 771/i + 6/10?
True
Let b(q) = -209*q**3 + q**2 + 4*q + 2. Does 4 divide b(-1)?
True
Let o = -24 - -26. Let g(x) = x**3 - 3*x**2 + x + 2. Let n be g(o). Suppose n = y - 23 - 15. Does 19 divide y?
True
Is 1375/11 - (-2)/4*2 a multiple of 14?
True
Let l be (7/(-2))/(4/256). Let v be ((-6)/8)/((-8)/l). Let d = v - -24. Does 3 divide d?
True
Suppose -5*w + 19 = i