. Suppose 32*v - a*v + 180 = 0. Is 18 a factor of v?
True
Let a(k) = -51*k + 27. Let d be (5 - -1)*2/((-8)/(-2)). Suppose -b + 2*f + 2 = 16, -d*f + 3 = 3*b. Is a(b) a multiple of 33?
True
Let j(f) = f**3 - 4*f**2 - 3*f - 7. Let d be j(5). Suppose 4*v = -g + 285, 5*g - g + d*v - 1166 = 0. Does 39 divide g?
False
Is ((-9794)/6)/((96/9)/(-32)) a multiple of 59?
True
Let p = 2202 + -1515. Let s = p + 112. Is 47 a factor of s?
True
Let m(x) = 63*x - 121. Let k be m(2). Is k + 7/((-63)/(-93))*93 a multiple of 70?
False
Let n be (0 - (2 + -2)) + (94 - -11). Is 16 a factor of (-252)/n*(1 + -321)?
True
Does 25 divide 24204/2 - (-14 - 9)?
True
Suppose 8*h - 7762 = -x, -3*x - 3*h + 30158 = 6746. Is 57 a factor of x?
False
Let b(d) = d**2 + 60*d - 810. Does 9 divide b(-75)?
True
Suppose -125 = -l + 155. Suppose -4*j - l = -6*j. Suppose 17*v - j = 12*v. Is 4 a factor of v?
True
Let i = -5134 + 8977. Is 8 a factor of i?
False
Let h = 399 + -421. Let t(l) = l**3 + 23*l**2 + 25*l + 73. Is 6 a factor of t(h)?
False
Let t = -17601 - -30304. Is 51 a factor of t?
False
Let q(p) = 109*p + 74. Let h be q(19). Suppose -h = 62*x - 73*x. Is x a multiple of 65?
True
Let m(s) = 19*s**2 + 3*s + 5. Let q be m(-2). Is 30/q - (-3666)/10 a multiple of 14?
False
Suppose 0 = 3*d - 3*z - 429, -433 = -10*d + 7*d + 5*z. Suppose -3*g + 12 = 0, 0 = -o - 4*g - d + 731. Is o a multiple of 13?
False
Let l be (((-20)/(-6))/5)/((-2)/(-1041)). Suppose -2*n = -0*o + 3*o - l, o = -n + 172. Suppose 3*h + j - 161 = 0, -4*h = -h - j - n. Is 37 a factor of h?
False
Let j be (-9)/(4 - 1) + -450. Let x(s) = 169*s + 2. Let k be x(4). Let r = j + k. Is r a multiple of 11?
False
Let g be -3 + 990 + -13 + 7. Let u = -335 + g. Is 23 a factor of u?
False
Let h = -11661 + 18967. Does 26 divide h?
True
Let h(l) = -11*l + 1741. Does 14 divide h(-7)?
False
Suppose -2*w = 3*i + 37380, -2*w + w + 3*i = 18699. Does 13 divide 6/10 + w/(-45)?
True
Let d be 39/(-91)*(-21)/(5 + -2). Let a(x) = 29*x**2 + 7*x + 6. Is 32 a factor of a(d)?
True
Let y be ((-60)/42*2)/(1/(-7)). Suppose -y*g = 4*g - 7392. Does 7 divide g?
True
Let m = -1794 - -4377. Is 41 a factor of m?
True
Let f = -4 - -4. Let s be (8/6)/(191/63 + -3). Suppose f = -4*y + 198 - s. Is y a multiple of 11?
False
Let d = -7 - -7. Suppose d = -11*b + 2*b + 315. Suppose 3*j - b = -4*f, 3*f = -3*j - 13 + 43. Is 5 a factor of f?
True
Let h(k) = -6*k + 41. Let l be -1 + -22*(66/(-12))/(-11). Does 6 divide h(l)?
False
Let c(l) = l**3 + 18*l**2 - 26*l - 11. Suppose -5*z - 5 - 30 = 5*u, -2*u + z = 5. Let x be u/(-3)*-3 - 15. Is 29 a factor of c(x)?
False
Let r be (2/(-6))/((-2)/(-3))*-32. Is 21 a factor of r/72 - 187/(-9)?
True
Let i(m) = -570*m + 124. Let y be i(4). Is 72 a factor of ((-8)/(-5))/(2 + y/1080)?
True
Let b be (12/10)/(46/115). Suppose 5*j - 2*y - 15 = y, -j - b*y - 15 = 0. Suppose -d - 13*d + 798 = j. Is 27 a factor of d?
False
Let a(f) = -553*f - 1455. Does 9 divide a(-15)?
True
Let r(b) be the second derivative of b**7/280 + b**6/240 - 13*b**5/120 + 2*b**4/3 - 34*b. Let f(i) be the third derivative of r(i). Is 19 a factor of f(3)?
False
Let k(y) = -121*y - 422. Is 13 a factor of k(-8)?
True
Let w be (22/(-4) + 0/(-49))*-14. Let t be (-1378)/(-6) - 8/12. Let z = t - w. Is z a multiple of 38?
True
Let s(y) = 4*y**3 - 11*y**2 + 7*y + 12. Let x(a) = -5*a**3 + 12*a**2 - 8*a - 12. Let n(o) = 6*s(o) + 5*x(o). Does 23 divide n(-9)?
False
Let h = 34 - 22. Let i be (1 + 0)*4620/h. Suppose 0*y + i = 7*y. Is 8 a factor of y?
False
Suppose -222*h = -319148 - 323320. Is h a multiple of 12?
False
Suppose 44 = -r + 5*r. Let h = -27 + r. Let k(x) = -x**3 - 17*x**2 - 18*x + 13. Does 9 divide k(h)?
True
Let r be (-1 - 2)*(2 - 440/(-15)). Let b = r + 168. Suppose -b = 2*s - 202. Does 8 divide s?
True
Suppose 888*w = 882*w + 33420. Suppose -13*y + w = -5870. Is 30 a factor of y?
False
Let n be (-42 - -10)*(-34)/8. Suppose -1079 - n = -9*w. Is 15 a factor of w?
True
Suppose -65061 = 8*z - 213797. Does 32 divide z?
True
Let u(z) = 2*z**2 + 15*z - 23. Let k be u(10). Suppose -2*n - 5*f = -k, -5*f + 269 = n + 93. Is 33 a factor of n?
False
Let a = -201 + 214. Suppose -1444 = -a*i + 1182. Is 23 a factor of i?
False
Let v be 0 + -1 - (-8 + 4). Let s(k) = -57 + 26 + 28 + 42*k. Is s(v) a multiple of 8?
False
Let c(y) = -156*y - 1698. Is c(-35) a multiple of 33?
True
Let v = 45 - 42. Let y(s) = 13*s**2 - v*s**2 - 4 - s**2 - 4*s. Does 8 divide y(-2)?
True
Suppose 5*m - 19 = -9. Does 40 divide (m - 1)*247 - (29 + -27)?
False
Let c(s) be the first derivative of 9*s**2/2 + 84*s + 56. Is c(0) a multiple of 2?
True
Suppose 3606*a = 3583*a + 97819. Is a a multiple of 21?
False
Let m(k) = k**2 + 2*k - 9. Let h be m(0). Does 4 divide 476/7 + (h - -1)?
True
Suppose 5*r - 100*y = -105*y + 153630, -3*r + 92220 = -3*y. Does 9 divide r?
False
Suppose 3*q + 58 = 4*u - 77, -3*u + 2*q = -101. Let t be 2/11 + 159/u. Suppose -3*y - 32 = -t*y. Is 8 a factor of y?
True
Suppose -5*s + 42 - 17 = 0. Suppose -y = y + s*a - 35, 0 = 3*y + 4*a - 35. Suppose 16*d = y*d + 418. Is 7 a factor of d?
False
Let w(o) = -o**3 + 16*o**2 - 3*o + 47. Let k be w(16). Does 4 divide (1 + k + -1)/(1/(-72))?
True
Let i(o) = 4736*o**2 - 105*o + 107. Does 30 divide i(1)?
False
Let u(k) = -2*k - 31. Let g be u(-9). Let z = g - -34. Suppose 17*c - z*c = -520. Is c a multiple of 35?
False
Let z(i) = 9*i + 12612. Is 34 a factor of z(4)?
True
Is 125480/(-120)*(-3 - 0) a multiple of 50?
False
Let i(v) = 68*v - 22. Let w(k) = 23*k - 7. Let u(h) = -4*i(h) + 11*w(h). Let s be u(5). Is 7 a factor of 5/2*s/(-15)?
True
Let l(f) = 2*f**2 + 4*f - 6. Let x(d) be the second derivative of -d**4/12 + d**3/6 + 25*d**2/2 + d. Let m be x(6). Is 24 a factor of l(m)?
True
Let t be (28 + -6 + -8)/(2/3). Suppose t*p - 7413 = 9030. Is p a multiple of 29?
True
Suppose 9*k - 13727 = 18250. Suppose k = 5*m + 553. Is 14 a factor of m?
False
Suppose 2*j - 12874 = 2*v, -3*j + 3727 + 15536 = 3*v. Does 29 divide j?
False
Let f be 2/(-3)*1695/(-10). Let r be (5 + -6)*2/2*-2. Suppose 5*u - r = f. Does 4 divide u?
False
Let c(s) = -4*s**2 - 2*s. Let w be c(-1). Let q be (-5)/5*-1*w. Is 128/12 + q/3 a multiple of 10?
True
Suppose -w + 24319 - 5049 = 5*f, 7708 = 2*f - 4*w. Is 34 a factor of f?
False
Let t = 107 - 116. Let f be 14 + t + 1*-3. Suppose -3*a + 137 = -f*p, 5*a - 256 = 5*p - 26. Is a a multiple of 3?
True
Let c = 6129 - 2257. Is c a multiple of 151?
False
Let j = 3294 - 2202. Is j a multiple of 28?
True
Suppose -283*o + 284*o + 25061 = 3*h, 0 = -3*h - 4*o + 25036. Is h a multiple of 12?
True
Let n be 5/(-3)*7/(7/12). Let t = n + 31. Let l(y) = -y**3 + 15*y**2 - 28*y + 11. Is 19 a factor of l(t)?
False
Suppose -z = -2*z - 2*c + 63, 5*z + 2*c = 299. Suppose 2*u - 3*v - 2 = 4, 2*u + v = -2. Suppose u = -5*x + 229 - z. Is 17 a factor of x?
True
Let l = 2138 - -1117. Does 93 divide l?
True
Let o(z) = z**2 - 5*z - 4. Let y be o(7). Suppose m + y = 6*m. Is 12 a factor of 0 - 154/m*-1?
False
Let x be (-1295)/4 - (-11)/(-44). Is 27 a factor of x*(160/(-15))/8?
True
Suppose 0 = -q - 5*t + 24881 - 5803, -4*q - 3*t + 76278 = 0. Is q a multiple of 14?
True
Suppose 4*c - 2 = 10. Suppose c*t - 286 = 236. Suppose t = -q + 2*q. Is q a multiple of 36?
False
Suppose 3*d - b - 9373 = 15101, 5*d - 40830 = -5*b. Is 36 a factor of d?
False
Suppose 0 = 3*l - 1496 - 1756. Suppose -j + l = s, -470 = -4*s - 5*j + 3870. Is s a multiple of 24?
True
Is (6 - (-12 - -10)/(2/2562)) + -4 a multiple of 30?
False
Let t = -538 + 247. Let s = t + 494. Is s a multiple of 3?
False
Let a be 2/5 + (-17)/5. Let z(v) = -27*v**2 - 14*v - 6. Let p(r) = 14*r**2 + 8*r + 3. Let m(w) = -7*p(w) - 4*z(w). Is m(a) a multiple of 14?
False
Let d(t) be the second derivative of -5*t**3/6 - 6*t**2 - 164*t. Let z = 7 + -14. Is 10 a factor of d(z)?
False
Let i(a) = 7*a - 45. Let p(f) = 16*f - 91. Let v(t) = -9*i(t) + 4*p(t). Is v(-22) a multiple of 19?
True
Let r be (3 - 3)/((-1)/1). Is 14 a factor of ((-3 - r) + -132)*-1?
False
Suppose -40 = -o - o. Suppose 0 = 10*d - 6*d - o. Suppose 0 = -d*i - 5*m + 587 + 13, 96 = i - 5*m. Does 16 divide i?
False
Let d = 3 + -1. Suppose -19*v - 6812 = -71*v. Suppose -v = -d*h - 25. Does 11 divide h?
False
Let h(o) = 133*o**3 + 12*o**2 - 164*o + 984. Is 216 a factor o