q) = 4*q - 69. Let k(t) = -13*l(t) - 6*v(t). Is 15 a factor of k(0)?
True
Let p be (-150)/9 - (-7)/(-21). Does 27 divide (996/9)/(p/(1530/(-12)))?
False
Let z = -52 - -55. Suppose r + 3*a = 15, -5*r = -3*r - z*a + 15. Suppose 56 = -r*g + g. Is 8 a factor of g?
True
Suppose y = -2*y + 189. Suppose -59*t = -y*t + 8. Suppose -3*f - 3*s + 654 = 0, 0*s - 421 = -t*f + 3*s. Is 43 a factor of f?
True
Suppose 4*g + 3*x - 80791 = 0, -2*g + 5*x = -30630 - 9733. Does 37 divide g?
False
Let h(z) = z**3 + 5*z**2 + 4*z - 2. Let r be h(-3). Suppose -r*m - 4*d + 73 = -d, -4*m - d + 67 = 0. Is m a multiple of 4?
True
Let z(i) = -i**2 - 19*i - 4. Let r be z(-16). Let s = -38 + r. Suppose -v + s = v. Does 3 divide v?
True
Suppose 0 = -35*w + 37*w + 14. Let n be w*6 + (20 - 22). Let y = n - -49. Is y a multiple of 5?
True
Suppose -x = 5, -3*b + b - 3*x = 11. Let s(v) = 20*v**3 + 8*v**2 - 11*v + 2. Does 6 divide s(b)?
False
Let j = 817 - 473. Does 6 divide (-12)/8*j/(-3)?
False
Let c(j) = 10*j - 153. Let s be c(-15). Let g = 406 + s. Is g a multiple of 10?
False
Let i(l) = -6*l**2 + 5*l**2 - 17 + 0*l + 2*l**2 + 4*l. Let f be i(-7). Suppose -5*r + 141 = 2*k - f, -k - 5*r = -70. Is 13 a factor of k?
False
Let s = 38302 - 16677. Is s a multiple of 173?
True
Let g be 5/1 + 17/((-289)/51). Let a(j) = j**3 - 5*j**2 + 6*j - 6. Let l be a(4). Suppose 0 = -g*f - 2*x + 142, 0 = l*f - f - 5*x - 47. Is 10 a factor of f?
False
Is 2 a factor of 6/30 - 16176/(-20)?
False
Let l = -91 + 41. Let f = 91 + l. Let z = f - -69. Is z a multiple of 7?
False
Let b(k) be the first derivative of -7*k**4/24 - 19*k**3/6 - 13*k**2/2 - 28. Let x(z) be the second derivative of b(z). Is x(-4) a multiple of 2?
False
Let m(p) be the third derivative of -p**4/8 - p**3/2 - 27*p**2. Let g be m(-3). Suppose -4*j = -2*y + 140, 11*j = -4*y + g*j + 345. Does 20 divide y?
True
Suppose y = 5*q + 17, -5*y + 2*q + 190 = -2*q. Let d = 43 + -36. Let s = d + y. Is 33 a factor of s?
False
Suppose -7*b + 17*b = 121990. Let z be 2/(-9) - b/(-99). Does 12 divide -1 + z - (-52)/(-26)?
True
Let h = -43 - -204. Suppose -h = -a - 13. Is a a multiple of 50?
False
Suppose -12 = s - 14. Let r(o) = 130*o + 22. Is 47 a factor of r(s)?
True
Let w(z) = 199*z**3 + 11*z**2 + 19*z - 6. Is w(2) a multiple of 3?
True
Let s(o) = 172*o - 2492. Is 15 a factor of s(46)?
False
Does 74 divide -3 + -5*(-28464)/80?
True
Suppose -5*w + 62 = -18. Let u = w + -18. Is u/7 - 5187/(-147) a multiple of 7?
True
Let z(i) = 8*i + 2*i - 1 - 9*i. Let l be z(5). Does 5 divide (-541)/(-7) - l/14?
False
Let y(m) = -m + 21. Let r(z) = 2*z - 43. Let b(h) = -3*r(h) - 5*y(h). Does 16 divide b(8)?
True
Suppose 5*i = -2*o + 4065, 273*i = -2*o + 274*i + 4083. Is 30 a factor of o?
True
Let t = 81 - 373. Let d = -437 - t. Is 11 a factor of (-75)/(d/110 + (-2)/11)?
False
Let h(g) = 16*g - 73. Let s be h(-24). Let b = -144 - s. Is b a multiple of 15?
False
Let o = -10423 + 17551. Does 40 divide o?
False
Suppose -16*g + 18579 = -18573. Let k = -1376 + g. Is 15 a factor of k?
False
Suppose 4*z + 2*a = 15488, 2*a = -9 + 17. Does 24 divide z?
False
Does 11 divide (-261799)/(-15) - 124/465?
False
Suppose -a - 31 = -4*b, -7*a + 2*a + b = 193. Let y = a + 103. Let r = -28 + y. Is 12 a factor of r?
True
Let u(k) = -6*k - 19. Let x be u(-10). Let r = x + -28. Suppose 32 = 17*y - r*y. Is y a multiple of 5?
False
Suppose -12 = -6*p + 3*p. Let q be 4 + 0 + 20/(-5). Suppose q = -4*v + 2*t - 7*t + 93, -3*t = p*v - 83. Is v a multiple of 8?
False
Let h(r) = r**2 - 14*r + 71. Let t be h(12). Let x(p) = 2*p**2 - p - 214. Let q be x(0). Let w = t - q. Is 19 a factor of w?
False
Let b(i) = 123*i**2 + 149*i + 10. Is b(10) a multiple of 50?
True
Let f = 49 + -25. Let x be (f/(-18) - (-3 + 1))*-177. Let s = x - -234. Does 29 divide s?
True
Let t be 3 + (16/(-4) - -67). Suppose -11*s + 12*s = -t. Let a = s + 81. Does 5 divide a?
True
Let x = -2049 - -1237. Let b be x/(-8) + (-12)/(-8). Suppose -2*h - o + b = 0, -o = 3*h + 2*o - 162. Is h a multiple of 7?
True
Let f = -614 + 1557. Suppose 2*b - f = -5*t, 3*b + 4*t - 2145 = -748. Is 9 a factor of b?
True
Let o(g) = -3*g**2 + 22 + 5*g**2 - 24 + 2*g. Let j be o(1). Is 8 a factor of 56/16 + j/(-4) + 13?
True
Let i(k) be the second derivative of 3*k**3/2 - 15*k**2/2 - 21*k. Let a be i(5). Let c = a - 13. Is c a multiple of 17?
True
Let c = -3642 + 7754. Is c a multiple of 7?
False
Suppose -163 - 13 = 4*b + 2*p, -133 = 3*b + p. Suppose -2*g = -g - 92. Let m = b + g. Is 6 a factor of m?
False
Let p(k) = k**3 - 6*k**2 + 2*k + 9. Let m(j) = -j**3 + j**2 - 1. Let z(c) = -2*m(c) - p(c). Let h be z(-3). Is (-238)/(-8) - 2/h*-1 a multiple of 5?
True
Let s = 160 + 602. Is s a multiple of 46?
False
Let u be (-8)/2*(-1)/2. Let j(l) = 14*l**2 - 38*l - 7. Let x be j(6). Suppose u*s + x - 829 = 0. Is s a multiple of 14?
True
Let x(f) = -f**3 - 37*f**2 - 70*f + 473. Does 199 divide x(-38)?
True
Let z be (36/15)/2*30. Let o = z + -32. Suppose -3*f + 54 = -b, -32 = -2*f - o*b + 4. Does 6 divide f?
True
Suppose -4 = 2*k - 5*b - 14, 0 = 3*b. Suppose 0 = -2*i + 3*a + 281, -k*i + 4*a = -720 + 14. Is i a multiple of 3?
False
Suppose 45 = 3*q + b, -q - 1 = 5*b - 10*b. Suppose -31*m + q*m = -11390. Is m a multiple of 10?
True
Let h(o) = 6*o - 142 + 79 + 11*o - 123. Is 2 a factor of h(18)?
True
Let d(m) = 10*m**3 - 19*m**2 + 4*m - 53. Does 3 divide d(8)?
False
Let y(g) = 287*g - 4 + 4*g**2 - 261*g + 154. Is y(-17) a multiple of 24?
True
Let z be -5 + 6 - (-1*1415 + 0). Suppose 5*f - z = 2804. Suppose -5*c = -9*c + f. Does 32 divide c?
False
Let d(r) = -6*r**3 - 27*r**2 - 11*r + 44. Let k(f) = -8*f**3 - 40*f**2 - 16*f + 66. Let u(v) = -7*d(v) + 5*k(v). Is 21 a factor of u(7)?
False
Let x(a) = -1928*a + 1438. Is 6 a factor of x(-4)?
True
Suppose p + 1 + 3 = 0, 0 = 3*c + 4*p + 1. Suppose 0 = -5*j - c*b + 1370, 0 = -2*j + b + 171 + 368. Is 40 a factor of j?
False
Let z = -304 - -343. Suppose z*f - 32*f = 1960. Is 14 a factor of f?
True
Let c = 2995 + -2850. Does 2 divide c?
False
Let h be 110/(-715) - 5204/(-26). Suppose -191*c = -h*c + 3780. Is 12 a factor of c?
True
Suppose 0 = k + 3*v - 706, -2*k = -k - v - 694. Suppose o - 169 = k. Suppose o - 47 = 9*a. Does 18 divide a?
False
Suppose -g + 14801 = 4*g - 4*s, -5*g + 5*s + 14805 = 0. Suppose -79 - g = -23*y. Is 11 a factor of y?
True
Let v(c) = -c - 4. Let s be v(4). Does 12 divide (-7)/((-56)/24) - (-2 + s)?
False
Let r(i) = 15 + 16*i - 10 + 128 - 15. Is r(13) a multiple of 35?
False
Let f(p) = -3*p + 8. Let r be f(1). Suppose r*b - 2*u = 82, 2*b + 4*u - 3*u = 40. Is b a multiple of 9?
True
Let i(a) be the first derivative of 5*a**3/3 + a**2/2 - 6*a + 50. Is i(9) a multiple of 34?
True
Suppose -7*v + 26680 = 22*v - 24*v. Is 23 a factor of v?
True
Let l = 299 - 310. Let n(x) = 5*x**2 + 8*x + 47. Is 31 a factor of n(l)?
False
Let g = 58 + -55. Let r(u) = 18*u**2 + u + 7. Let i be r(g). Suppose -24*m + 20*m + i = 0. Does 7 divide m?
False
Let u(j) = -4 - 9 - 1 - 2 - 31 + 33*j. Is u(30) a multiple of 33?
False
Suppose 4*k + k - 29 = -q, 2*q - 3*k + 7 = 0. Suppose -3*i + q*s = -s - 215, 4 = 2*s. Let v = 111 - i. Is 9 a factor of v?
True
Is (1 - (-7)/(-3)) + (-4563860)/(-735) a multiple of 6?
False
Let r(j) = 4*j**2 + 12*j. Let w = 76 + -85. Does 36 divide r(w)?
True
Let t(x) = 8*x + 55. Let g be t(-6). Suppose -2*m + g = -33. Is 20 a factor of m?
True
Suppose -4*q = 3*a - 84587, 5*a - 35484 = -4*q + 105473. Is a a multiple of 17?
False
Let j(b) = 232*b - 7. Let v be j(1). Let k = -132 + v. Is 31 a factor of k?
True
Suppose 5*i + 4*p + 395 = 0, 7*p + 395 = -5*i + 5*p. Suppose -248 = -3*v - 2*f, -3*v + 4*f = -f - 283. Let d = v + i. Is d a multiple of 5?
False
Suppose 0 = -4575*t + 4591*t - 1169248. Does 221 divide t?
False
Suppose -31*b = -121763 - 30632 - 170129. Is b a multiple of 306?
True
Is 1 + -2 + 127 + (0 + -5 - -3) a multiple of 39?
False
Suppose 4*k + 12*o - 13*o = 24015, k - 6009 = 2*o. Is 29 a factor of k?
True
Let a be (2 + 19/(-2))/(4/(-8)). Suppose -3*c - c + 51 = 3*u, -a = -3*u. Suppose -c*t = 117 - 972. Does 14 divide t?
False
Let y = 135 + -118. Let t(i) = -24*i + 13*i**2 + i**3 + 23*i - y*i + 28. Is t(-14) a multiple of 12?
True
Let f(h) be the third derivative of 43*h**5/60 - h**4/24 + h**3/6 + 2*h**2