4*j + 448. Does 13 divide r?
True
Suppose -x + 6405 = k, 13*x - 9*x = -3*k + 19211. Is 19 a factor of k?
False
Suppose -3*c + 10 = -2*o, 5*c + 0*c - 2*o = 18. Suppose 10 = q + c*q, 0 = -t - 5*q + 10. Suppose t = -3*i + a + 245, -i - a = 4*a - 55. Is 26 a factor of i?
False
Suppose 0 = -2338*z + 2341*z - 9936. Does 69 divide z?
True
Let d = 41745 - 17715. Is 18 a factor of d?
True
Let u(a) = 14*a - 3. Let s be u(-6). Let r = -1480 - -1378. Let l = s - r. Does 15 divide l?
True
Suppose 2 = 2*y, -3*g + 27369 = -4*y + 8167. Does 11 divide g?
True
Let n = -650 + 953. Suppose r - 4*k = 61, -4*r + k + n = 14. Is 2 a factor of r?
False
Suppose 0*r = -2*r + 7154. Let t = r - 2488. Suppose -2*u - 9*u + t = 0. Is u a multiple of 6?
False
Let s = -29 + 32. Let b be (55/(-15) + s)/((-4)/(-30)). Let q(d) = 2*d**2 + 7. Is 12 a factor of q(b)?
False
Is 57 a factor of 4/18 + (-3 - 3293)*11781/(-1134)?
False
Suppose 115*r - 270706 + 97746 = 0. Does 11 divide r?
False
Suppose -3*x = -21 - 9. Suppose -10*r = -8*r - x. Suppose 0 = r*a - 20, -316 = -6*n + 2*n + 2*a. Is n a multiple of 17?
False
Suppose -2*h - 2*o + 2510 - 244 = 0, -5*o - 30 = 0. Is 67 a factor of h?
True
Suppose -359*z + 154*z + 175*z = -78120. Is z a multiple of 84?
True
Suppose -2624 = -2*r + 2*x, -1783 = 5*r + x - 8337. Is 57 a factor of r?
True
Let m be 71480/9 + ((-320)/72)/20. Is 4 a factor of m/133 - 4/(-14)?
True
Let q be (-15 + 22)*8/14. Suppose 3*p + 522 = 5*n, -p + 5*p = -5*n + 529. Suppose 11*a - n = q*a. Is 4 a factor of a?
False
Suppose -4*h = 26 - 2. Let s = -3 - h. Suppose 0 = 3*v - s - 72. Does 11 divide v?
False
Let h(i) = 102*i + 3502. Is 5 a factor of h(-8)?
False
Let q(p) = -97*p**3 - 123*p**2 - 15*p - 63. Is 253 a factor of q(-7)?
False
Suppose 8 = 4*l - s, -8*s = l - 3*s - 23. Let w(g) = 3*g + 17. Let a be w(-5). Suppose -a*f + 13 + l = 0. Does 4 divide f?
True
Suppose -d + 15 - 9 = 0. Let x(u) = -4*u + 30. Let c be x(d). Suppose 0 = -z + c + 5. Does 7 divide z?
False
Let s = -15697 + 31057. Is 96 a factor of s?
True
Let j be 63/84 + (-42)/(-8). Let t(d) = 12*d**2 - 10*d + 6. Is 18 a factor of t(j)?
True
Suppose -81*b + 0*b + 58612 = -26114. Is 3 a factor of b?
False
Let w(d) = -d**3 - 17*d**2 - 71*d + 12. Let y be w(-9). Suppose -y*l - 2*l + 3*p = -2885, 0 = 5*l + 5*p - 2925. Does 18 divide l?
False
Let r(i) = 18*i**2 + 6*i - 14. Is 50 a factor of r(12)?
True
Let h = -18 + 22. Suppose -h*v + 486 = -538. Suppose -2*m = -3*f - 138, 4*f - v = m - 5*m. Is m a multiple of 11?
True
Let z(y) = y**3 + 22*y**2 + 46*y - 25. Let g be -7 - (-4 - (-4)/(-4)). Let q be 2 - g - (2 + 16 - -5). Is z(q) a multiple of 32?
False
Let q(h) = -73*h + 2477. Is 15 a factor of q(-14)?
False
Suppose 1255*a = 1207*a + 203616. Is 185 a factor of a?
False
Suppose -4*x + 4 + 8 = 4*u, 3*x = -5*u + 9. Suppose u = 4*q - 9*q + 14610. Is q/18 - -5 - 4/(-6) a multiple of 21?
True
Let k be 2 + 1/(1 + -4)*3. Let p(c) = 165*c - 1. Let z be p(k). Suppose -z = -3*a + 136. Does 20 divide a?
True
Let q = -939 + 2568. Let s = 188 + q. Does 23 divide s?
True
Let k(d) = 36*d - 14. Let g be k(7). Suppose 13*u - 1478 = g. Does 12 divide u?
True
Let z(m) be the second derivative of -7*m**3/6 + 33*m**2/2 - 35*m. Let u be z(3). Let a = u - -96. Does 18 divide a?
True
Let v = 285 - 8. Suppose -1163 - v = -6*i. Is i a multiple of 34?
False
Let x(o) = 167*o**2 - 682*o + 683. Does 3 divide x(1)?
True
Suppose -208*o = -212*o + 3*a + 28442, -5*a - 10 = 0. Is o a multiple of 50?
False
Let t(i) = 2*i**2 - 13*i - 3. Let o be t(7). Suppose -o*q - 172 = -2*x, 19 = -x + 3*q + 109. Suppose y - 6*y + 4*s = -195, -2*y + 3*s + x = 0. Does 11 divide y?
False
Does 5 divide (-6849)/6*((-48)/(-9))/(-8)?
False
Suppose 121*r + 4844 - 209213 = 0. Is r a multiple of 14?
False
Let q(s) = 259*s + 16. Let x(n) = -2*n**2. Let g be x(-2). Let u be q(g). Is (-2)/8 + u/(-32) a multiple of 16?
True
Let g(l) = -14*l - 53. Let q be g(-4). Suppose 4*a + 322 = q*y - 9, -y + 3*a = -112. Is 13 a factor of y?
False
Suppose -3*i = 4*w - 21, 5*w + 3*i = i + 21. Suppose 0 = -w*v + 2*q - 59, 5*q - 17 = 5*v + 78. Is (3 + -4)*(v - -8) a multiple of 5?
False
Let m = -201 - -204. Suppose -m*u + 1054 = 2*f - 10, -u - 2*f = -352. Is u a multiple of 22?
False
Suppose 4*o + 4*a + 20 = 3*o, o + a + 5 = 0. Suppose o = 5*f - 138 - 122. Is 52 a factor of f?
True
Let s = 2442 - 480. Suppose -715 = -l + 2*z, z + 183 = 3*l - s. Suppose 5*q - 1274 = -2*v - 134, 0 = -3*q + 5*v + l. Does 23 divide q?
True
Let i(b) = 59*b**2 + 83*b - 1326. Does 6 divide i(14)?
True
Let b(u) = -95*u + 2216. Does 17 divide b(4)?
True
Let g be (-342)/(-5)*30/(-9)*-1. Suppose 0 = 4*o - 7*o + g. Suppose -u - 3*i + o = -43, 585 = 5*u + 5*i. Is u a multiple of 19?
False
Let k = -52 + 36. Let p be k/(-20) + (-1830)/(-25). Suppose 0 = -w + 3*w - p. Does 37 divide w?
True
Let x(r) = 9*r**3 + r**2 + 46*r + 35. Is 8 a factor of x(8)?
False
Let o(c) be the first derivative of 4/3*c**3 - c - 16 - 3/2*c**2. Is 25 a factor of o(-4)?
True
Suppose 2*n + n - 291 = 0. Let x = -445 + 382. Let o = x + n. Does 7 divide o?
False
Let q(z) = 2*z**3 + 94*z**2 - 20*z - 132. Is q(-26) a multiple of 20?
True
Suppose 3*u = -3*v + 2664, -216*v + 213*v = -3*u + 2694. Does 14 divide u?
False
Let u be (-17292)/(-99) - (-1 + (-4)/(-6)). Let x = 89 + u. Is 11 a factor of x?
True
Suppose -7*l = -5*l - 12. Suppose 5*o - 111 = -c, 4 = -o + 2*c + 24. Suppose -l*p = -4*p - o. Is p a multiple of 5?
False
Suppose 4 + 1 = -g. Suppose 0 = -4*y + 5*u + 729 - 167, 538 = 4*y - u. Is (0 - g) + y + -4 a multiple of 17?
False
Let u(a) = -a**2 - 9*a + 17. Let s be u(-11). Let h be (4 - -1)/(s - -6). Suppose 0 = -h*v + 2*c + 67, -47 = -4*v - c + 17. Is v a multiple of 15?
True
Let a(w) = 80*w - 18. Let g be a(-4). Let z = 664 + g. Is z a multiple of 13?
False
Is (748/(-340) - 1/(-5))*31941/(-6) a multiple of 63?
True
Let d(g) = -577*g + 8667. Is 188 a factor of d(-13)?
True
Let z be (-4 + -17)*(-1 + 2). Let f(j) = j**3 + 22*j**2 + 13*j - 24. Let u be f(z). Suppose 2*v - u = -v. Is 16 a factor of v?
True
Let m(r) = r**3 - 11*r**2 - 12*r - 14. Let l(b) = -b**3 + 10*b**2 + 10*b + 15. Let k(v) = -6*l(v) - 5*m(v). Does 2 divide k(6)?
True
Suppose -9*o = o + 16470. Let a = o + 2371. Is 30 a factor of a?
False
Is 11/(99/42165) - 7 a multiple of 175?
False
Let a be 2/(-6)*17361/(-9). Let q = a + -133. Does 30 divide q?
True
Suppose 2*p = -4*t + 60906, 387*t - 390*t = -p + 30438. Is p a multiple of 64?
False
Suppose 30*i = i - 1972. Does 7 divide 98/(-42)*(i + -1)?
True
Let l be (15/4)/((-15)/(-40)). Suppose 6 + 19 = 5*d. Suppose -2*h + n + 7 = -l, -d*n = -15. Is 3 a factor of h?
False
Let m = 6846 + -6183. Is 4 a factor of m?
False
Let p(z) be the third derivative of -17*z**4/12 + 4*z**3/3 - 216*z**2. Does 69 divide p(-4)?
False
Let p be (-21)/(-6) + (-20)/40. Suppose p*y - 3*f - 1509 = 0, 22*y = 27*y + f - 2539. Does 39 divide y?
True
Suppose 26*b + 9619 = 40585. Is 21 a factor of b?
False
Let w = 39271 - 22576. Is w a multiple of 35?
True
Let x(c) = -50*c - 4. Let t be x(-1). Suppose 4*w + 1 = 5*l - t, -3*l + 5*w + 36 = 0. Suppose -4*d - 3 = -l, -d - 519 = -4*g. Is g a multiple of 32?
False
Let i(s) = 39*s - 4. Suppose -5*t - 5*y = -20, 2*y - 5 = -6*t + t. Let p be i(t). Let n = 109 + p. Is n a multiple of 11?
True
Suppose 17712 = 26*i - 22*i + j, -2*i = -3*j - 8856. Is 27 a factor of i?
True
Let h(j) = -203*j**3 + 8*j**2 - 3*j - 4. Let t(n) = -204*n**3 + 7*n**2 - 2*n - 4. Let m(c) = 5*h(c) - 6*t(c). Is m(1) a multiple of 11?
False
Is 59 a factor of (3/3 + (-5433)/7)/((-58)/406)?
False
Suppose 120 = -13*s + 3*s. Does 5 divide (2 + -44)/(9/s)?
False
Suppose 41*o = 34*o. Suppose -2*q + o*j + 372 = -3*j, 904 = 5*q - j. Is 36 a factor of q?
True
Let i(a) = a**2 - 18*a + 702. Does 27 divide i(-36)?
True
Suppose d + 0*d = -2*j - 178, 0 = 2*j - 2*d + 190. Let u = j + 385. Is 14 a factor of u?
True
Let b(z) = -7*z + 4*z + 17 + 0 + 2. Let h be b(5). Is (4 + -18)/((-1)/h) a multiple of 20?
False
Suppose 0 = -2*d + 12 + 88. Suppose 5*r + d = 15*r. Is 5 a factor of (r + -2 + -5)*(-89)/2?
False
Let i be 30/(-35)*(-14)/3. Suppose 5*j = i*k - 7*k - 1085, 2*k = -10. Does 12 divide j/(-6) + 6/(-9) + 0?
False
Let x = -3550 - -5437. Suppose x = 6*y - 1569. Does 63 divide y?
Fa