134 - 561 = i*j + d, -d - 625 = -2*j. Is j a multiple of 9?
False
Suppose 0 = -5*w - 4*v - 1523, -4*w = 2*v + 147 + 1069. Let u = -78 - w. Is 25 a factor of u?
True
Let u(o) = -o**3 - 2*o**2 - 6*o - 7. Suppose -4*r = 4*r. Suppose -4*x + 10*x + 18 = r. Does 13 divide u(x)?
False
Let f be -734 - (1 - 1) - (-4 - -1). Let s = f - -1147. Suppose 10*v = 2*v + s. Does 17 divide v?
False
Let a(z) = -2*z**2 - 22*z - 7. Let o be a(-18). Let i be (2 - -3) + 22*-24. Let c = o - i. Is 13 a factor of c?
False
Let c(l) = 2*l + 31. Let q be c(-9). Suppose -q*b = -4*b. Suppose b = -5*n, w - n - 27 - 6 = 0. Is 11 a factor of w?
True
Suppose 4*c + 3*u = 21378, -c + 2671 = u - 2673. Is 44 a factor of c?
False
Let f = 64 - 60. Suppose f*k - 228 = 280. Let n = k - 88. Does 6 divide n?
False
Let d(i) be the third derivative of -i**6/120 - i**5/15 + 3*i**4/4 + 9*i**3 + 2*i**2 - 25. Is 11 a factor of d(-9)?
True
Let q(l) = 4*l - 9. Let s(z) = 9*z - 18. Let c(a) = 7*q(a) - 3*s(a). Let i be c(12). Suppose 0 = h - i*h + 204. Does 37 divide h?
False
Suppose 4*c + 568 = 12*c. Let n = c - -120. Is n a multiple of 10?
False
Let l(a) = -6*a + 18. Let i be l(3). Let n(t) = i*t + 2*t + 177 - 173 + 3*t. Is n(3) a multiple of 9?
False
Suppose 3*d + 500360 = 8*d + 23*d. Is d a multiple of 130?
False
Let n be ((-1059)/(-6))/(7 + (-415)/60). Is 14 a factor of (n/(-48))/(6/(-48))?
False
Let y(z) = -5 + 2*z**3 - 5*z**2 - 3*z**3 + 14*z - 3*z - 5*z. Suppose -40 = 4*q - 3*l, 0*q + q - 4*l + 23 = 0. Is 11 a factor of y(q)?
False
Suppose -2*i = 3*i - 20, 3*i - 28 = -4*p. Let v be ((-6)/p)/((-54)/(-72)). Let w = 113 - v. Is w a multiple of 23?
True
Let w(s) = -s**3 - s**2 + 3*s + 7. Let o be w(-2). Suppose 2*l - 3*v + 3 = 0, -2*l + o*v = l + 6. Suppose 1330 = 4*j + l*j. Is j a multiple of 19?
True
Suppose -70*v + 71*v - 3 = 0. Suppose -2*k = 3*l - l - 1466, 2211 = v*k - l. Does 12 divide k?
False
Let m(h) = -2*h - 14. Let a be m(-10). Is (-14)/(672/(-3006)) + a/16 a multiple of 17?
False
Suppose -2*r - 212 + 3620 = 0. Is 3 a factor of r?
True
Let k = 92 - 168. Is (-2 + k + 2)*(-4 + 1) a multiple of 37?
False
Suppose -20*r - 6 = -17*r. Does 9 divide (-6 - (-5 + r))*239?
False
Suppose 0 = -12*g + 23*g - 2420. Let n = 342 - g. Is n a multiple of 12?
False
Let b(i) be the second derivative of -31*i**3/6 + 35*i**2/2 + 45*i. Is 7 a factor of b(-7)?
True
Let y be 98/4 - (-2)/(-4). Does 16 divide (26/8 - (-18)/y) + 77?
False
Suppose 2*s + 74 = -3*h - 0*h, 3*s - 5*h + 92 = 0. Let z = -34 - s. Suppose -2*j - 3*j + 490 = z. Is j a multiple of 21?
False
Suppose -4*u + 0 = h + 3, -2*u - 14 = -2*h. Suppose -5*t - 2*f = -951, 4*t + h*f = -301 + 1072. Does 13 divide t?
False
Suppose -5*p + 2*z - 1092 = -0*p, 873 = -4*p + z. Let m = 434 + p. Does 20 divide m?
False
Let d(l) = 6*l**2 + 150*l + 21. Let i be d(-25). Let j = i + 336. Does 17 divide j?
True
Let h(g) = g**3 + 3*g**2 - 8*g + 5. Let w be h(9). Let l = w - 555. Does 25 divide l?
True
Let f = -203 + 203. Suppose 84*o - 96*o + 2448 = f. Is o a multiple of 68?
True
Suppose -339*c + 356*c + 28 = -108. Let h(y) = y**3 - 5*y**2 - 5*y - 4. Let t be h(6). Does 9 divide c/((-64)/856) + (t - 1)?
True
Suppose 3*l - 26158 - 41021 = 3*y, -111965 = -5*l - 3*y. Is 49 a factor of l?
True
Suppose 11*s - 7*s = 48. Suppose 4*a - 784 = -u, s*a = 8*a + 4*u + 764. Does 13 divide a?
True
Let p(u) = 2*u**3 + 16*u**2 - 20*u - 11. Suppose -4*f + 14 - 50 = 0. Let r be p(f). Suppose 12*o = r*o + 175. Is o a multiple of 7?
True
Let b be 0 + (-1 - (-1 - -2)). Let q(j) = -12*j**3 + 2 - 519458*j + 519458*j - 2*j**2. Does 10 divide q(b)?
True
Suppose 2*k + 2*d - 98 = -0*d, 5*k - 3*d - 253 = 0. Let j = -46 + k. Suppose 0 = -j*c + 3 + 1, 80 = 3*o - c. Is 9 a factor of o?
True
Let j(d) = 3*d**2 + 19*d - 15. Let i be j(-7). Let m(o) = -5*o**3 + o**2 + 3*o + 2. Let h be m(i). Suppose 0 = -3*s + 6, -y + 4*s + 53 = h*s. Does 11 divide y?
False
Let k = 52 - 82. Let h(r) = r**3 + 29*r**2 - 39*r + 122. Is 7 a factor of h(k)?
True
Let b = 24 + -11. Let y(v) = 78 + 1065*v**3 - 1066*v**3 + 14*v**2 - 54 - 10*v. Does 12 divide y(b)?
False
Suppose 2*i + 3*m - 85 = 530, 0 = -i - 4*m + 300. Is (i/(-117))/(-1 + 1/3) even?
True
Let i(c) = 69*c**2 - 652*c + 32. Does 52 divide i(24)?
True
Let l(n) = n**2 - 29*n + 442. Is l(-17) a multiple of 17?
True
Let t(z) = -5680*z**3 + 5*z**2 + 62*z + 123. Is 207 a factor of t(-2)?
False
Suppose 5 = -2*s + 3, -2*s = k - 19. Let r be k/14 - (-206)/(-4). Let n = r - -170. Does 40 divide n?
True
Let t(n) = 2*n**2 - 16*n - 6. Let u be t(8). Is 29 a factor of ((-10)/u)/(5/435)?
True
Let h(z) = -z - 13. Let a be h(-13). Suppose -4*l + 0*p - 4*p + 652 = a, 2*l = 5*p + 305. Does 6 divide l?
False
Let j = 11234 + -5429. Does 43 divide j?
True
Let p(u) = u**2 + 18*u - 44. Let f be p(5). Suppose -f*i = -78*i + 2247. Is 10 a factor of i?
False
Let b = -88 - -90. Let y(x) = b*x**2 + 15 + 3*x - 23*x + 0*x. Is 13 a factor of y(10)?
False
Let v(s) be the first derivative of -40*s**2 + 12*s - 104. Is v(-7) a multiple of 52?
True
Is 163 a factor of 7 - (-564780)/15 - (1 - -5)?
True
Let g(o) be the first derivative of -5/3*o**3 - 2*o - 17 - 5/2*o**2 + 1/4*o**4. Does 2 divide g(6)?
True
Suppose -24 = -5*g - 9. Let l be 6/((6/100)/g). Suppose -6*k - l = -9*k. Does 20 divide k?
True
Let w = 13899 + -4459. Is 80 a factor of w?
True
Let l(g) = 10*g**2 + 3*g + 14. Let q be l(-5). Let f = q + -156. Does 16 divide f?
False
Suppose 192603 = 221*i - 202*i. Does 109 divide i?
True
Is (-39)/(-143) + 1348880/143 a multiple of 7?
False
Suppose -q + 7100 = -2*t, 5*t + 23*q - 27*q + 17744 = 0. Let d = -2124 - t. Is d a multiple of 51?
True
Let d = 41 + -48. Let i(g) = -g**3 - 8*g**2 - g + 15. Let p be i(d). Let x(k) = -k**3 - 27*k**2 + 13. Is 13 a factor of x(p)?
True
Let r(u) = 4*u**3 + 2*u**2 - u - 3. Let d be r(-2). Let p = -46 - d. Is (-2 + p/(-9))*90 a multiple of 3?
True
Does 15 divide (9*(-20)/(-180))/(1/479) + 1?
True
Suppose -4*n + 105 = d - 308, n = 1. Let f = -169 + d. Does 5 divide f?
True
Let d = 15326 - 8514. Does 9 divide d?
False
Let s(v) = -2*v + 1. Let o(w) = -6*w - 253. Let n(m) = -o(m) + 4*s(m). Is n(0) a multiple of 67?
False
Is 88 a factor of (-114058)/(-140)*-5*(-1 - 1)?
False
Does 185 divide 3*(-2)/3*461279/(-74)?
False
Let h(g) = -3*g**2 + 7*g**2 - 9 - g + 2*g + 4*g**2. Is 63 a factor of h(4)?
False
Suppose -3*y + y + 10 = 0. Suppose -5*j + t - y*t + 167 = 0, -139 = -4*j - 5*t. Does 2 divide j?
False
Let x(i) = -12*i**2 + 10*i - 4*i - 2*i - 33 + 7*i - i**3. Does 73 divide x(-14)?
False
Let l(v) = -v**2 - 12*v - 8. Let k be l(-11). Let c be k + 27 + -4 + 3. Suppose -2*y + j + 2 = -c, 3*j = 5*y - 75. Does 3 divide y?
True
Let b(z) = 1 + 2*z**3 + 8*z**2 - 17*z**2 + 0*z**2. Does 6 divide b(7)?
True
Let z be (33/(-22))/((-3)/6). Let q(l) = 104*l**2 + l + 21. Is 20 a factor of q(z)?
True
Suppose 5*y - 7 = p, 4*p - 3*y = -5 - 6. Let z(w) = -w**2 - 6*w - 4. Let k be z(p). Suppose 14 + 110 = k*o. Does 31 divide o?
True
Suppose 102*a - 390359 - 30972 = 283693. Is 24 a factor of a?
True
Let h be (-1)/2*(-3 + 3). Let a(y) = -21*y - 96. Let b be a(-5). Let i = b - h. Is i a multiple of 3?
True
Suppose 257940 = 9*f + 10*f + 17*f. Is f a multiple of 28?
False
Let r = -47 + 56. Let u be 333/18 - (r/(-6))/3. Let n = 6 + u. Is n a multiple of 25?
True
Let x be (2 - -3) + 1 + 14. Suppose 2*d - 3*a - 2*a - 92 = 0, x = 5*a. Does 6 divide d?
False
Does 31 divide 4274 - (136/16 - 8)*-8?
True
Let f = 34245 - 9279. Is f a multiple of 19?
True
Let l(c) = 123*c + 7. Let h(u) = -10 - 14 - 61*u + 29 - 9. Let d(w) = -5*h(w) - 3*l(w). Is 13 a factor of d(-1)?
False
Let c be (6 - (12 - 6))/((-8)/(-2)). Suppose -3*t + 2*r + 66 = 0, -2*t + 9*r - 4*r + 55 = c. Does 20 divide t?
True
Let h(q) = -164*q**2 - 9. Let s be 2 + 6*-1 - -7. Let r be h(s). Is r/(-18) - (-5)/2 a multiple of 17?
True
Let z be (2/(-3))/(9/(-27)). Let l(i) = 37*i**2 + 27*i + 7 - 38*i**2 + 7 + z. Is 42 a factor of l(22)?
True
Suppose 3*k - 2*w = 1129, -3*k + 4*k = 2*w + 379. Suppose 0 = 2*y - 3*b - k, -409 = -3*y + 2*b + 156. Does 7 divide y?
True
Suppose -116*i + 70*i - 204120 = -82*i. Is 90 a factor of i?
True
Suppose -8*n - 2*c = -13*n + 2714, -5*n + 2711 = -3*c. Let p(x) = -x**2 + 4*x + 1. Let a be p(3). Is n/(-6)*(-6)/a a multiple