 -5, 5*w - 25 = v. Is ((-9)/v)/(11/495) a multiple of 9?
True
Suppose -q = 5*k - 10, 0*q - 11 = -3*q + 4*k. Suppose -q*l = 3*s - 5*s + 626, -4*s - 5*l = -1312. Does 11 divide s?
False
Let b(k) = k**2 + 2*k - 31. Let r be (140/40)/((-1)/2). Let w be b(r). Suppose -w*m = -a - 106, 8 + 66 = 3*m + 2*a. Is 13 a factor of m?
True
Let w(f) = 14*f - 3*f**3 + 3*f**3 + 10 + 11*f**2 - 3*f**3 + 2*f**3. Does 5 divide w(12)?
False
Let o = 19299 + -7507. Does 134 divide o?
True
Suppose -10822 = 1877*m - 1891*m. Is m a multiple of 4?
False
Suppose 58*z = 63*z - 25. Let m(h) = -z + 0*h + 2*h**2 + 3*h - 5 + 7*h. Does 34 divide m(-10)?
False
Suppose 8*d + 4*d = -3*d. Is (d + -24)*(-413)/118 a multiple of 21?
True
Let x(m) = 2*m**2 + 3*m - 4. Let j(i) = -10*i + 2. Suppose -5*h - 2*t + 13 = 0, -10 = 6*h - 4*h - 3*t. Let w be j(h). Does 20 divide x(w)?
True
Let z(g) be the first derivative of -g**4/4 + 4*g**3/3 + 3*g + 23. Let y be z(5). Let b = y + 71. Is b a multiple of 11?
False
Let b be (-2 + 4)/((-2)/(-6)). Suppose -509 = -b*u - 185. Suppose 2*k + u = 230. Does 44 divide k?
True
Let v = 383 + -96. Let d = v + -204. Suppose -d - 99 = -7*t. Does 13 divide t?
True
Suppose -f - 143 = 4*t + 58, -5*t - 4*f - 254 = 0. Let d = 99 - 139. Let s = d - t. Is s a multiple of 3?
False
Let b(p) = -p + 7. Let l be b(-14). Suppose -l = -5*f - 11. Suppose -f*w = w - 99. Does 14 divide w?
False
Let g = 792 + -790. Is g/(-5) + 172244/85 a multiple of 96?
False
Suppose 3*z + 4*q - 67376 - 1236 = 0, 22852 = z + 4*q. Is 13 a factor of z?
True
Let b = -73 - -76. Suppose s + b*y - 20 = -3*s, 3*s - 15 = -5*y. Suppose -12*h = -t - 11*h + 58, -s*t = -3*h - 282. Does 6 divide t?
True
Let b be (2 + -6 - -329) + -1. Let x = -198 + b. Does 8 divide x?
False
Let r(b) = b**2 + 2*b + 1. Let p be r(0). Let q be ((-5)/4)/(p/124 - 0). Let f = q - -225. Is f a multiple of 10?
True
Let l = 12005 + -5382. Is 10 a factor of l?
False
Suppose 27*x = 18*x + 270. Suppose x*f - 12*f = 8226. Does 86 divide f?
False
Let r(g) = 7*g**2 + 20*g - 30. Let b(s) = 4*s**2 + 11*s - 15. Let k(o) = -5*b(o) + 3*r(o). Does 9 divide k(12)?
True
Suppose 4*o + p = 31, 37 = 3*o - 21*p + 19*p. Suppose -o*n + 67 = -545. Does 12 divide n?
False
Let y(z) = z**2 + 28*z - 48. Let l be y(-32). Suppose 5*u = -5*h - l, 2*u - 3*h - 33 = 4*u. Is u*(2 + 1 - 4) a multiple of 5?
True
Suppose -m + 10499 + 25222 = 3*v, 0 = 2*v + 12. Does 33 divide m?
True
Suppose 0 = 9*t - 82290 - 75930. Does 20 divide t?
True
Suppose 2*z = -0*z + 10, 3*s + 3*z - 27 = 0. Suppose -14 - s = -6*i. Suppose i*l = 4*l - 34. Does 3 divide l?
False
Let i be 6/4*140/105. Let d(b) = 2*b**2 - 2*b + 4. Let h be d(0). Suppose 5*q - 169 = -5*n + 176, -h*n + i*q + 258 = 0. Does 22 divide n?
True
Let l = -28 + 36. Suppose 3*f + 0*f = -2*q + 2, 0 = 3*f - q - l. Suppose -3*n + 25 = -f*n. Is n a multiple of 5?
True
Suppose -10*n + 15*n + 20 = 0. Is (18/n)/(8/(-176)) a multiple of 53?
False
Suppose -6*f + 9842 + 16126 = 0. Does 177 divide f?
False
Let x be (-4)/(-6)*(18 + 831). Suppose 2*o - o - x = 0. Is 4 a factor of o?
False
Let k = -2 - 3. Let x be (6/k)/(11/220). Let a = x - -48. Does 6 divide a?
True
Let u be -1 + 99/3 + -5. Suppose 6*c + u*c - 38544 = 0. Is c a multiple of 11?
False
Let r(c) = 24*c**2 + 21*c - 4. Is r(16) a multiple of 13?
False
Let b(p) = -p**3 + 41*p**2 - 31*p - 21. Let j be b(37). Suppose 51*f - j - 11298 = 0. Does 17 divide f?
True
Let f be ((-30)/(-8))/(-8 + (-14596)/(-1824)). Is f/(-25)*(-15)/6 a multiple of 55?
False
Let q(z) = -3*z - 651 + 653 + 16*z. Does 29 divide q(40)?
True
Let y = -35 + 37. Suppose y*s = -v - 5, 3*v = -0*v + 5*s + 29. Suppose 0 = 5*i + v*j - 1044, 304 = -3*i - 2*j + 930. Is i a multiple of 35?
True
Let x(l) = -9*l + 147. Let k be x(16). Suppose -k*o + 2*r + 386 - 40 = 0, 5*r + 361 = 3*o. Is o a multiple of 8?
True
Let h(u) = u**3 - 9*u**2 + 10*u - 20. Let s be h(8). Let v be ((-2)/s)/(5/130). Suppose -4*g = -199 - v. Does 18 divide g?
False
Let a(z) = -3*z. Let n be a(-5). Suppose -2*i = -2*u - 12, 3*i + n = -2*u - 17. Let o(q) = -9*q - 6. Does 21 divide o(u)?
True
Let t(b) = -b**2 - 3*b + 6. Suppose -v + 5*v + 2*k + 20 = 0, 0 = -5*v + 3*k - 14. Let n be t(v). Suppose 0 = -4*a + x + 47, -n*x + 2 = -8. Is a a multiple of 4?
False
Suppose 0 = -6*k + 48 - 6. Let z(g) = 2*g**2 + 4*g + 57. Does 61 divide z(k)?
True
Let j = 184 - 334. Let b = -134 - j. Is b even?
True
Suppose 9286 = 2*f - 2248. Is f a multiple of 79?
True
Let r = 2266 + 2954. Is 9 a factor of r?
True
Let x(d) = -5*d**3 + 6*d + 24. Is 221 a factor of x(-20)?
False
Let p = -69 + 164. Let g = p - 95. Suppose -c + 0*n - 5*n + 136 = g, -2*c + 232 = 2*n. Is 47 a factor of c?
False
Suppose -2*q - 8205 + 2445 = -4*v, 3*q + 5760 = 4*v. Is v a multiple of 6?
True
Let p(a) be the second derivative of -a**7/840 + a**6/120 + a**5/60 - 5*a**3/3 + 8*a. Let r(w) be the second derivative of p(w). Does 6 divide r(-2)?
False
Suppose -93*z + 1649070 = -2076882. Does 32 divide z?
True
Let o(q) = -q**2 + 31*q - 126. Let h be o(34). Let r = 67 - h. Is r a multiple of 9?
False
Suppose 6*t - 27201 = -897. Is t a multiple of 52?
False
Let p(z) = -z**3 - 121*z**2 - 9*z + 353. Does 11 divide p(-124)?
True
Let d be (-4 + (-17)/(-5))/((-2)/10). Suppose 17 - 65 = -d*c. Is c a multiple of 10?
False
Let c = 448 + -156. Let f = 60 - c. Is (-1 - f) + (-3)/(-3) a multiple of 18?
False
Let f = 3567 - 2622. Does 45 divide f?
True
Let l(s) = -23*s - 74. Let j be l(-3). Is 9 a factor of 6/(-12) + (-4015)/(-10) + j?
True
Let f(r) = -156*r + 938. Let h be f(6). Let j(i) be the third derivative of 11*i**4/24 - 4*i**3/3 + 3*i**2. Is j(h) a multiple of 7?
True
Let a(c) = -35*c + 585. Is a(-8) a multiple of 27?
False
Suppose -5*l - 6*y = -43101, -6*y + 34560 = 4*l - 10*y. Is 5 a factor of l?
False
Suppose 3*c - 22*j = -23*j + 1657, 0 = c + 5*j - 543. Does 3 divide c?
False
Let x be (2040/45)/(2/(-6)). Does 24 divide ((1 - -5) + -3)/((-1)/x)?
True
Let q = -253 + 259. Let a(r) = r. Let s(b) = -b**3 + 2*b**2 + 2*b + 1. Let m(p) = 2*a(p) - s(p). Is 11 a factor of m(q)?
True
Let p(b) = -38*b + 551. Does 4 divide p(-7)?
False
Let a = 13482 - 6034. Is 49 a factor of a?
True
Suppose 7456 - 1728 = 5*n - 9757. Is 42 a factor of n?
False
Suppose 0 = c + 3*g - 4110, -5*c + 18586 = -3*g - 2072. Does 16 divide c?
True
Let a be -2*(-7)/70*10*1. Suppose 7*d + 294 = a*w + 2*d, -3*w + 407 = d. Does 14 divide w?
False
Let i be (-64)/(-28) + (12/14)/(-3). Let o be (i - (-7)/(-7))*(-124 + -1). Let w = 157 + o. Is w a multiple of 16?
True
Let d be (39536/24*1)/((-4)/(-6)). Suppose -6377 = -31*m - d. Is m a multiple of 18?
True
Let h be (-2)/4 + (-14073)/(-6). Let n = -1614 + h. Suppose 5*a = -2*r + n - 166, 5*r - 435 = -4*a. Is a a multiple of 23?
True
Let w(j) = j**3 + 16*j**2 + 18*j + 20. Let d(s) = -2*s - 9. Let l be d(3). Let z be w(l). Let m = -5 - z. Does 5 divide m?
True
Suppose 0 = 3*h + w + 861, -150 = -3*h + w - 1017. Let n = h - -433. Is n a multiple of 29?
True
Let a = 678 - 665. Is a/26 + 3957/(-6)*-1 a multiple of 22?
True
Let z(w) = w**2. Let d be z(2). Let f = 1160 + -1160. Suppose 0 = -f*o + 3*o + d*s - 132, -2*o + 88 = -2*s. Does 11 divide o?
True
Suppose -5*w + 53 = -3*b + 14, 4*w + 4*b = 12. Suppose -s + 4*l = -39, w*l = s + 5*l - 45. Is 3 a factor of s?
False
Suppose 0 = -18*p + 29*p + 34*p - 25200. Does 12 divide p?
False
Does 13 divide (-5)/(-35)*42499 - ((-407)/(-77) - 5)?
True
Let z(d) = -d**3 + 52*d**2 - 70*d + 30. Let s(f) = -2*f**2 - f + 3. Let g(o) = 6*s(o) + z(o). Is 3 a factor of g(38)?
True
Suppose -5*d + 0*d + 745 = -5*c, 757 = -5*c + d. Let u = -69 - c. Let k = u + -40. Is 43 a factor of k?
True
Let s(v) = -11*v + 3. Let h be s(3). Let t be (4/3 - 2)*h/4. Suppose -3*o = -2*y + 292, -t*y + 897 - 157 = -5*o. Does 20 divide y?
False
Let a(b) = 26*b + 149. Let q be a(10). Suppose -4*y = -5*s - 2000, q = 4*y + 5*s - 1551. Is 56 a factor of y?
False
Is 6*(4/(-4) + -2 + 35613/18) a multiple of 27?
True
Let a(h) = 18*h + 1. Let z be a(5). Let c = -86 + z. Suppose 387 + 238 = c*q. Does 9 divide q?
False
Let b = 596 + 1924. Suppose 12*k = 5*k + b. Does 26 divide k?
False
Suppose 0 = 2050*o - 2072*o + 8228. Does 34 divide o?
True
Suppose -i = m - 4*i - 18, 0 = -2*m + 3*i + 42. Let q be ((-39)/(-2))/(12