
True
Let z(l) = -2*l**2 - 60*l + 132. Let r be z(-32). Suppose -t - h = 3*h - 140, 604 = r*t + 5*h. Is t a multiple of 12?
True
Let d = -787 - -10615. Is d a multiple of 8?
False
Suppose -9*q + 14*q - 5*z - 95805 = 0, 0 = 5*q - z - 95801. Is 154 a factor of q?
False
Suppose t = -7*t - 912. Let k = -109 - t. Does 21 divide (2 - -18)/(k/150*4)?
False
Let b = 7969 + 361. Is 35 a factor of b?
True
Does 19 divide ((-37840)/(-6))/5*-5*126/(-56)?
False
Let z = -181 - -185. Suppose -7*b - 5 = -6*b, z*d + 5*b = 131. Is 5 a factor of d?
False
Let j = 6285 + -5873. Does 206 divide j?
True
Let x = 56 - 53. Suppose -2*u = x*i - 4*u - 415, 2*u = -4*i + 530. Let m = 211 - i. Is m a multiple of 38?
True
Let c = -4354 - -8508. Does 10 divide c?
False
Suppose 41 = -c + 5. Is 6 a factor of c/162 + (-101)/(-9)?
False
Let g(f) = 7*f**3 - 9*f**2 + 88*f + 188. Does 20 divide g(8)?
True
Suppose -2*u - 3 = -3. Suppose -3*h + 336 - 267 = u. Is 5 a factor of h?
False
Let g = -5643 - -6215. Does 10 divide g?
False
Let t(v) = -3*v**3 - 51*v**2 - 55*v - 49. Let g(d) = d**3 + 17*d**2 + 18*d + 16. Let f(b) = 7*g(b) + 2*t(b). Does 7 divide f(-16)?
True
Suppose -9*d + 240416 = 5*i, 0 = 2*d + 13*i - 12*i - 53426. Does 14 divide d?
False
Suppose 532 + 1862 = 14*i. Suppose 840 = -166*v + i*v. Does 10 divide v?
False
Let g(f) = f**3 + 24*f**2 - 3*f - 68. Let u be g(-24). Suppose 3*y = u*y + 4*s - 233, -3*y = 4*s - 683. Is 12 a factor of y?
False
Let d = 13124 + -10409. Does 5 divide d?
True
Let m(h) = -85*h + 77. Let z be m(-21). Suppose -17*b + z = 2*b. Is 14 a factor of b?
True
Let j be (-2)/3 - 2*55/(-30). Suppose 4*k - 14 = -5*w + 74, 97 = j*k - 4*w. Suppose -7*i + 85 = -k. Does 8 divide i?
True
Let p(f) = f - 5. Suppose 0 = 2*c + 20 + 10. Let a be p(c). Is (-25)/(-5) + -4 - a*1 a multiple of 13?
False
Suppose 3*a - 4*a + 19 = 0. Suppose 2*z - 2*v - 586 = 0, -20*v = 3*z - a*v - 895. Is z a multiple of 11?
True
Suppose -4*a + n = -2971, -158*a - 4*n - 2956 = -162*a. Is a a multiple of 12?
True
Let l = 114 + -103. Suppose 0 = -3*x + 25 + l. Suppose -3*k + 4*t - 2*t + 125 = 0, 0 = -3*t - x. Does 8 divide k?
False
Let q(a) = -217*a - 46. Let b be q(-8). Suppose 277 + b = 7*j. Is 69 a factor of j?
False
Let n(d) = 18 - 4 + 5*d**2 - 11*d - 4*d**2. Suppose 3*q - 3*s = 30, 590*q - 54 = 586*q - 3*s. Does 15 divide n(q)?
False
Suppose -4*d = -3*w + 3729, -6207 = -94*w + 89*w + 4*d. Is 59 a factor of w?
True
Let w(l) = -3*l**3 - 9*l**2 + 8*l + 14. Let k(a) = -16*a**3 - 46*a**2 + 39*a + 70. Let p(r) = -2*k(r) + 11*w(r). Does 36 divide p(-10)?
False
Suppose 21*q - 30 = 15*q. Suppose 0 = -5*p - q*r + 2*r + 2091, -5*p + 2106 = -2*r. Does 42 divide p?
True
Let g = -3030 - -5136. Suppose -g = -6*r - 0*r. Let a = r - 196. Does 31 divide a?
True
Let b be ((-36)/10 - -3)/((-1)/5). Suppose -9 = -b*i + 6. Suppose -4*y = i*s - 304, y + 4*s = -8 + 73. Does 23 divide y?
False
Suppose -3 = n - 0, -d = 3*n - 51. Suppose -d = 10*y - 13*y. Is 16 a factor of y?
False
Let z(q) = q**3 + q**2 - 15*q - 38. Let h be z(-5). Is ((-108)/h)/(4/(-6776)*-4) a multiple of 22?
True
Let y(l) = l + 30. Let x be y(0). Let s = x + -22. Let w(z) = -z**2 + 9*z + 2. Does 2 divide w(s)?
True
Suppose -7 = 4*y + 5. Let o be -322*(6/4)/y. Let s = o - 94. Is 7 a factor of s?
False
Suppose -1034 + 3686 = -4*h. Let u = h - -668. Is 5 a factor of u?
True
Suppose -6*r - 19 = 179. Let o = 35 + r. Suppose h - o*q = 74, -2*h + 3*q = -2*q - 143. Is h a multiple of 28?
True
Is 3 a factor of (3 + 2612/12)/(40/480)?
False
Let c = -46314 + 73089. Does 119 divide c?
True
Suppose 0*q - 3*w = -2*q - 9, -4*q = -5*w + 13. Let h(g) = 2*g**2 + 8*g**3 + 7 - 10*g**3 + 3*g**q - 8*g**2. Is 15 a factor of h(8)?
True
Let k(c) = -c**3 + 1. Let q be k(-1). Let b be -3 - (q + 0)*-4. Suppose b*h - 2*w - 126 = w, 2*w + 48 = 2*h. Does 27 divide h?
True
Let t(v) = 5*v**2 + 43*v - 11. Let m be ((-18)/(-15))/(10/(-75)) + 0. Let d be t(m). Suppose 5*z - 295 = -3*i, -5*i + 8*z = d*z - 501. Is 4 a factor of i?
True
Let f(a) = -a**3 - 11*a**2 - 16*a + 20. Let p be f(-9). Let x = 5 - p. Suppose 3*d = -4*r + 197, -5*d - x*r + 39 + 282 = 0. Is 25 a factor of d?
False
Let h(z) be the second derivative of 0 + 28*z + 4/3*z**3 + 5*z**2. Does 20 divide h(12)?
False
Let m = 105 + -100. Suppose 53 = 5*p + 2*l + 2*l, -10 = -m*l. Suppose -p*s + 944 = -433. Does 17 divide s?
True
Let o be (14/(-56))/(3/(-25644)). Suppose -h - v = -3*h + 1061, 4*h - 5*v = o. Is 38 a factor of h?
False
Does 6 divide ((53*-19 - -3) + -1)*(-1060)/60?
False
Let c(w) = -w**3 + 28*w**2 - 24*w + 16. Let h be c(27). Suppose -92 = -2*l + 4*r + 112, 3*r = -l + h. Is l a multiple of 23?
False
Suppose 0 = -w - 16 + 40. Suppose -5*k + 29 = i, 6*k - w = 2*k - i. Suppose 6*q = -3*n + 3*q + 21, 0 = -k*n - 2*q + 44. Is 3 a factor of n?
False
Suppose 16*q - 13*q = 6. Suppose 3*w - 4*r - 1488 = 0, -q*r - 2 - 4 = 0. Suppose 6*z = 10*z - w. Does 27 divide z?
False
Suppose 44*j = 49*j + 555. Let w = j - -83. Is 39 a factor of -91*(76/w - -1)?
True
Suppose 4*u + 100 = 76. Let j(r) = -r**3 + 2*r**2 + 6*r + 25. Is j(u) a multiple of 23?
False
Let w = 7901 - 3005. Does 48 divide w?
True
Let s(x) = 33 - 3*x + 38 + 15*x**2 - 73. Suppose -t - 3*t = -8. Does 15 divide s(t)?
False
Is 17 a factor of 2656233/162*(-3 - 26/(-6))?
True
Let y = -61 - -65. Let n(x) = x + 76 - 74 + 2*x**3 + y*x**2 - x**2 + 2*x. Does 24 divide n(3)?
False
Let z = -3989 - -13876. Does 6 divide z?
False
Suppose 24526 = 9*v - 11391 - 31070. Does 21 divide v?
False
Suppose 0 = 3*p - 19*p + 3104. Let l = p - -60. Is 45 a factor of l?
False
Let l(i) = 13*i**2 - 5*i + 11. Suppose -4*k = -5*y, -2*k = -2*y + 2*k - 12. Is l(y) a multiple of 21?
False
Let j be 11/(-44)*(-1 - -1). Suppose w + 3*m - 14 = 0, -4*w + 4*m - 1 + 9 = j. Suppose 2*q + 295 = w*d - 3*q, -114 = -2*d + 3*q. Is d a multiple of 21?
True
Let i(z) = 21*z**2 + 100*z + 954. Is i(-9) a multiple of 99?
False
Let s(u) = -34*u + 106. Let f be s(3). Suppose 5*o + z = 879 + 2121, -f*o - 2*z = -2400. Is o a multiple of 29?
False
Suppose 2*n = 18*n + 8608. Let s = 14 - n. Is s a multiple of 69?
True
Let z(s) = s**2 + 11*s + 15. Let v = -177 + 160. Is 9 a factor of z(v)?
True
Suppose -4*t + 20 = 44. Is 21 a factor of 150 + t/(-2) + 0?
False
Suppose 8037 = 3*o - 3*v, -5*v + 1921 = -4*o + 12633. Suppose -5*h + o = 308. Does 37 divide h?
False
Let g be (8/(-8))/(3/(-396)). Suppose 3*n + 95 = -h, 2*n + 4*h = -2*n - g. Let r = 20 - n. Is 15 a factor of r?
False
Let x = 67 - 458. Let h = x - -456. Does 5 divide h?
True
Let t(d) = d**3 + 19*d**2 + 34*d + 13. Let x be t(-17). Let j(g) = 3*g**2 + g + 5. Let m be j(x). Does 21 divide 2/(5*10/m)?
True
Let o(h) = -4 - 3*h**2 + 2*h + h + 8*h**2 - h**2. Is o(-3) a multiple of 2?
False
Is 44 a factor of (-37288884)/(-2266) - (1 - 39/33)?
True
Suppose -49*a + 14438 = -41*a - 25754. Is 32 a factor of a?
True
Let w = -7525 + 29650. Is 10 a factor of w?
False
Suppose 212*v - 8045804 - 1991628 = -381256. Is v a multiple of 257?
False
Suppose 0 = -3*c - 5*h - 31, -12 = 2*c + 5*h + 17. Does 19 divide (-76 + 0/(-8))*4/c?
True
Suppose -i = 8*i - 15066. Suppose 27*r = 18*r + i. Does 16 divide r?
False
Let b(m) = 203*m + 156. Let v be b(27). Suppose -5*d + v - 1642 = 0. Is d a multiple of 47?
True
Suppose 24*o = 1906 + 1118. Let p = -18 + o. Is 16 a factor of p?
False
Suppose -2*f + 0*k = -k - 107, -3*k = 3*f - 174. Let c(l) = f - 27 + 0*l**2 + l**2. Does 9 divide c(-8)?
False
Let q be (-4)/10 - (-1257)/5. Suppose 8 + 7 = 5*o. Suppose -o*y + 100 + q = 0. Is y a multiple of 13?
True
Let n = -19 + 16. Does 5 divide n/6*-1*(6 - -76)?
False
Let q(n) = 4*n - 107. Let j be q(0). Let k = j + 110. Suppose k*y + 2*y = 4*s + 674, 284 = 2*y + 2*s. Is y a multiple of 21?
False
Suppose 21 = 4*s + 3*u, -s - 5*u + 6 + 12 = 0. Suppose -s*z = -2*z + t - 85, 0 = -2*z + 5*t + 170. Is 16 a factor of z?
False
Let x(a) = 339*a + 2991. Is 3 a factor of x(-7)?
True
Suppose 0 = -122*t + 56*t + 908820. Is 17 a factor of t?
True
Let w(o) = 24*o - 36*o**2 - 12*o - 26*o**3 + 14*o**3. Does 6 divide w(-5)?
True
Let f = 55 + -35. Suppose 5 = -t, 3*t - f - 865 = -4*r. Does 12 divide r?
False
Suppose 5*n - v - 1201 = 0, -n = -3*n + 2*v + 482. Let q be ((-125)/(-4))/(19/(-76)). Let l = q + n. Is l a multiple of 2