-12*x + 42699 = 3*k - 16*x. Does 43 divide k?
True
Let r = 12504 + -11964. Is r a multiple of 20?
True
Let f(n) = -n**3 + 19*n**2 + 25*n + 81. Let v be f(21). Let p(b) = -89*b**3 - b**2 + b - 1. Let y be p(1). Let t = y - v. Does 31 divide t?
True
Let d(i) = -3*i**2 - 25*i - 15. Let v(n) = -4*n**2 - 26*n - 15. Let h(y) = 5*d(y) - 4*v(y). Is h(-15) a multiple of 25?
True
Let k be (-288)/(2/(-7) - (-160)/168). Let i = k - -608. Does 35 divide i?
False
Let i be (-2)/9 - ((-1059)/27 - 1). Let m = i - 37. Suppose 63 + 9 = m*v. Does 6 divide v?
True
Let d = 196 + -105. Let b = 398 + -172. Let r = b - d. Is r a multiple of 24?
False
Let y(w) = 8 + 0*w - 2*w + w - w. Let h be y(5). Is (72/(-28))/1*14/h a multiple of 9?
True
Suppose 3*x = -5*d + 20003, 24*d = -5*x + 26*d + 33328. Is x a multiple of 33?
True
Suppose -4*p = 3*n - 10221, 6*n - 4*p = 4*n + 6794. Is n a multiple of 24?
False
Suppose 31*z - 99059 = -0*z - 36656. Is z a multiple of 125?
False
Let d(y) = 12*y**2 - 7*y - 14. Let p be d(-9). Suppose -p = -4*b + 1243. Let l = b - 308. Is 43 a factor of l?
True
Let v(q) be the second derivative of 0*q**2 + 0 - 1/6*q**3 + 235/12*q**4 + 37*q. Is 13 a factor of v(1)?
True
Let i = 30 - 30. Suppose i = -2*j - 55 + 7. Let q = 80 - j. Is 18 a factor of q?
False
Let y(w) = 2*w + 42. Let l(j) = -j**3 + 2*j**2 + 3*j - 2. Let c be l(4). Let x be y(c). Is 19 a factor of 79/4 + 3 - x/8?
False
Let u(l) = 45*l + 3. Let x be u(0). Suppose 0 = x*a + 14*a - 442. Is a a multiple of 10?
False
Is 3076/9 - 108/(-486) a multiple of 14?
False
Let h(v) = v**2 - 5*v + 9. Let d be h(3). Let p be (4 + 1)/(d/(-57)). Let m = -83 - p. Does 12 divide m?
True
Let x = -1148 - -1607. Let d = x - 78. Is 32 a factor of d?
False
Suppose -213600 = -20*h - 4*h - 6*h. Is 131 a factor of h?
False
Let o(b) = -2*b**3 - 6*b**2 - 3*b - 11. Let m = 235 + -239. Is 33 a factor of o(m)?
True
Let u(b) = b**3 + 4*b**2 - 13*b - 1. Suppose -3*d + 243 = 6*d. Let p = d - 33. Does 3 divide u(p)?
False
Suppose -3*g - 1599 = 10*g. Let b = 118 + g. Does 19 divide 15/(-25) + -2 + (-393)/b?
True
Suppose -951*k = -985*k + 569160. Is 49 a factor of k?
False
Suppose 412 = 5*v + 3*s, s = 2*s + 1. Let j = v + -79. Suppose j*k - 118 = w, 96 = -k + 4*k + 3*w. Is 3 a factor of k?
True
Let k(g) = g**3 + g**2 - 2*g + 1. Let d(j) = -3*j**3 + 13*j**2 + 28*j + 9. Let w(n) = d(n) + 4*k(n). Let z be w(-8). Suppose -2*l = l - z. Is 13 a factor of l?
True
Let x(j) = -2*j - 2. Let o be x(-1). Suppose 3*t + o*f - 139 = -2*f, 2*t - 4*f = 82. Suppose -22*c + t = -19*c. Is c even?
False
Is 2 a factor of 1/2*-14*(-537)/21*1?
False
Suppose -8*j + 202 = 490. Let o = 84 + j. Suppose -4*v + 176 = -o. Does 15 divide v?
False
Suppose -4*a - 5*t + 984 = 0, 2*t - 4*t - 259 = -a. Let s = 10656 - 10794. Let u = a + s. Does 33 divide u?
False
Let y(n) = n**2 + 6*n + 5. Let g be y(-6). Suppose -3*l - 3 = 4*b, -g*b + b - 21 = -3*l. Suppose x - 648 = -l*x. Does 27 divide x?
True
Suppose 0 = 3*o + 5*z - 3689, -3*z = -6*z + 3. Suppose o = 14*n - 2762. Does 15 divide n?
True
Suppose -45 - 55 = 4*a - 2*x, 2*x = 2*a + 52. Does 6 divide 3*(-416)/a + (0 - 3)?
False
Let y be 18/(-63) + 23*(-184)/(-14). Suppose -y = -4*t + 538. Is t a multiple of 6?
True
Let g(j) = j**2 - 26*j + 27. Let m be g(25). Suppose -m*b = -236 - 38. Suppose -4*t + b = -87. Is 14 a factor of t?
True
Suppose 313*g - 5962 = 311*g - 3*s, 0 = 3*g - 3*s - 8973. Is g a multiple of 9?
False
Let n = -2539 + 7684. Does 35 divide n?
True
Suppose 4*a - 435 = 3*s + a, -153 = s - 3*a. Is 28 a factor of -6 - (-4 + -6) - s?
False
Let q = -41 - -79. Let h = 53 - q. Let n(i) = i**2 - 2*i + 42. Is 45 a factor of n(h)?
False
Let g(w) = -4*w**3 + 3*w**2 + 2*w - 1. Let q be g(1). Suppose -108*c + 105*c + 771 = q. Is c a multiple of 8?
False
Suppose 417*j - 406*j = 5053 + 58901. Is j a multiple of 171?
True
Let t be 92/8*124 - -4. Suppose t = -3*u + 14*u. Is 31 a factor of u?
False
Suppose -21*v = 332 + 1915. Let m = 61 - v. Is 3 a factor of m?
True
Suppose l - 3522 = -4*i, -187*i = 3*l - 188*i - 10540. Does 14 divide l?
True
Suppose 4*h = -2*r + 336, 5*r - 814 = -0*r + 3*h. Suppose r = k - 10. Does 43 divide k/4 + (-4)/8?
True
Let y(j) = -122*j**3 - j**2 - 7*j. Let t be y(-2). Let m = -155 + t. Is m a multiple of 9?
False
Let l(f) = 35*f - 3. Let a be l(-2). Let b be ((-2)/3)/((-6)/(-9)). Does 25 divide 3 + (-2 - b - a)?
True
Let q(x) = 6*x**3 - 70*x**2 + 5*x - 245. Suppose 50*m = 52*m + 4. Let d(w) = w**3 - 14*w**2 + w - 49. Let z(p) = m*q(p) + 11*d(p). Does 12 divide z(-15)?
False
Suppose -21*i + 23*i - 450 = 0. Let j = -113 + i. Does 6 divide j?
False
Let n = 176 - -36. Let r = -157 + n. Is 37 a factor of r?
False
Let z(v) = -v**2 + 6*v - 44. Let l(o) = o**2 - 5*o + 46. Let a(u) = -3*l(u) - 4*z(u). Does 3 divide a(20)?
True
Let v = -6354 - -20995. Does 46 divide v?
False
Let l(q) = -9*q + 67. Suppose -15*f + 71 - 11 = 0. Is l(f) a multiple of 4?
False
Let v(d) = 0*d + 8 + 4*d + 0*d - 5*d. Let i be v(3). Suppose -a + i*q = -73, q + 1 = -a + 50. Does 10 divide a?
False
Suppose -3*z + 50 = 2*r, 5*r - 3*z = -6*z + 116. Suppose 4*q = 3*q - 5*m, 0 = -4*q + 2*m + r. Let b(o) = -o**3 + 6*o**2 + 2*o - 2. Is 6 a factor of b(q)?
False
Let s(v) = -25*v + 183. Let w be s(7). Suppose 2*y - 3*h = y + 450, w = 4*h. Is 19 a factor of y?
True
Suppose 179*i = 76*i + 534055. Does 85 divide i?
True
Let s(z) be the third derivative of -z**4/8 - 5*z**3/3 + z**2. Suppose 240 = -18*t - 22*t. Does 4 divide s(t)?
True
Suppose -2*m + 112 = b, -5*b - 17 + 247 = 4*m. Suppose 10095 + m = 29*s. Does 12 divide s?
False
Suppose 5*h + 8102 = 29277. Is h a multiple of 121?
True
Let m(n) = n**2 - 89*n + 2045. Is m(0) a multiple of 5?
True
Suppose 0 = -2*l + 5*l - 975. Suppose 3*q = -4*z - l, -q = z - 0*z + 109. Let m = q + 144. Is 30 a factor of m?
False
Let k(j) = 26*j**2 - 28 - 3*j**2 + 10*j**2 + 10*j. Does 23 divide k(3)?
True
Suppose 4*l - 4 = 4*n, -18*l - 4 = -21*l + 2*n. Suppose l*x + 3*w = 99, 4*w = x - 15 - 7. Is 14 a factor of x?
True
Let t(l) = 2*l**2 + 35*l - 13. Let a be t(-18). Suppose -a*d + 3*g = -1285, 0*d = -3*d + g + 767. Does 19 divide d?
False
Let n(g) = g**2 - 35*g - 21. Let p be n(27). Let w = -53 - p. Does 13 divide w?
False
Let d(a) = 8*a - 21. Let u be d(9). Let n = u - 13. Let r = 58 - n. Is 20 a factor of r?
True
Let h(m) = -2097*m - 4474. Is h(-20) a multiple of 131?
True
Suppose -17*n + 21*n = 4*g - 8000, -2004 = -g + 3*n. Suppose 5*z + 1154 = -y + 4507, -3*z + g = -4*y. Does 25 divide z?
False
Let q(z) = 438*z**2 + 15*z + 27. Let y be q(-2). Let a = -1078 + y. Does 29 divide a?
False
Let d = 94 - 92. Does 3 divide -17 + 23 + 54/d?
True
Let x(r) = -r**3 + 9*r**2 - 8*r - 18. Let j be x(8). Let s be 284/(-54)*-3 + j/(-81). Is 264/s*(1 - -1) a multiple of 11?
True
Let s(a) = -a - 5. Let m be s(-5). Suppose m*f = -2*f + 610. Suppose 0*g = -5*x + 5*g + 300, 5*x = 4*g + f. Does 13 divide x?
True
Suppose -4*a + 2*m = -854, 2*a + 3*m = 4*a - 417. Suppose -f - a = f. Let z = f - -153. Does 5 divide z?
True
Let t(o) = -o**2 + o + 5. Let k be t(0). Suppose k*c - 2*y = -0*y + 2508, -2*y = -3*c + 1508. Does 10 divide c?
True
Suppose g = -3*g + 904. Suppose -q + g = 4*b, 0 = -3*q - 0*q - 6. Is 6 a factor of 34/(-85) - b/(-5)?
False
Let x be 27/(-162) - 82/12. Let c(i) = -3*i**3 + 5*i**2 - 9*i + 35. Is c(x) a multiple of 16?
False
Let c be (26/(-5))/(43/(-215)). Suppose 2684 = c*y - 1320. Is 22 a factor of y?
True
Suppose -8*r - r + 540 = 0. Suppose 0 = r*h - 55*h - 45. Suppose h*z - 560 = -20. Is z a multiple of 5?
True
Suppose -10*v - 25 = -15*v. Let h(k) = k + 2*k + 3*k + 22 - v*k. Does 7 divide h(-8)?
True
Suppose -3*x - 5*b = -1838, 16*b + 3084 = 5*x + 14*b. Suppose -3*y = -5*z + 2*z + 1866, z - x = 4*y. Is 24 a factor of z?
True
Let f(m) = 2*m**2 + 5*m + 5. Let h be f(3). Let t = 103 - h. Is 6 a factor of t?
False
Suppose 2*z - 33228 = -4*j, -5*j - 107204 = -5*z - 24044. Is z a multiple of 51?
True
Suppose 842492 = -409*r + 3627782. Does 30 divide r?
True
Let k = -2339 - -5018. Suppose -2 = -0*s + 2*s, -k = -5*n + 4*s. Is n a multiple of 39?
False
Let j be (-6)/(52/40 + 3/(-2)). Suppose j = -17*n + 22*n. Suppose 0 = n*a - 2*a - 60. Is a a multiple of 10?
False
Suppose -20*u = -85*u + 119159 + 596426. Is 43 a 