4 - (-5158)/12 a multiple of 8?
False
Suppose -u + 40 = 5*q - 6*u, -2*u - 26 = -4*q. Suppose -5*p + 11*f = 10*f - 7, -q = 3*p + 4*f. Does 19 divide -57*p/9*-3?
True
Let p = -335 + 337. Suppose 183 = -p*a + 679. Does 9 divide a?
False
Let x(h) = 5*h**3 - 14*h**2 + 95*h + 58. Is 99 a factor of x(18)?
False
Suppose -a - 1 = -3*h - 16, -27 = 3*h + 3*a. Let f(n) = -8*n**2 + 8*n + 4. Let k(v) = -7*v**2 + 9*v + 5. Let z(q) = h*k(q) + 5*f(q). Is z(12) a multiple of 20?
False
Suppose 2*p - 3*k - 55 = 0, -5*p - k = -91 - 72. Suppose 4*v + 2*h - 280 = 0, v + 2*h + 3*h = 88. Suppose -v = -x - p. Is x a multiple of 4?
True
Let c = 502 - 82. Let d = 987 - c. Is d a multiple of 9?
True
Let l = -303 + 541. Suppose l*j = 237*j + 59. Is 22 a factor of j?
False
Let m = 1460 - 861. Let w = m + 67. Is w a multiple of 74?
True
Let h = 29 + -16. Suppose -61 + h = -12*s. Suppose 5*a - 49 - 80 = -2*z, 3*z - 159 = s*a. Is 9 a factor of z?
False
Let x = 9934 - -16959. Is 99 a factor of x?
False
Suppose -9*n + 5*n + 96 = 0. Let f = 28 - n. Suppose -72 - 72 = -f*x. Is x a multiple of 18?
True
Let h = -9477 - -13273. Is h a multiple of 4?
True
Let b = 11338 + -2265. Does 4 divide b?
False
Suppose -33*c + 71655 + 46969 - 21175 = 0. Is 17 a factor of c?
False
Suppose 105*r - 43963 - 27600 = 152717. Is 27 a factor of r?
False
Suppose w - 5*u - 4409 - 10769 = 0, -w + u = -15190. Does 16 divide w?
False
Let x(n) = 173*n + 6964. Is x(-8) a multiple of 62?
True
Suppose -2*h - 8 = 23*w - 20*w, 4*h = -16. Suppose w = 3*x - 240 - 336. Is x a multiple of 17?
False
Let p = -17 - -377. Let z = -157 + p. Does 29 divide z?
True
Let z(o) = o**3 - 7*o**2 - 6*o + 3. Let h be z(8). Let l = h - 22. Is (2 - (-3)/(-6))*(-76)/l a multiple of 19?
True
Suppose 25*h = -301*h + 14489722. Does 114 divide h?
False
Let l = -342 - -334. Is (-15)/(l - -3) - -66 a multiple of 4?
False
Suppose 0 = 4*c - t - 5, -3*c - 25 = -8*c + 5*t. Let k be (-2*(-1 - c) - -2)*17. Suppose -5 = -5*z, z = r - 3*z - k. Does 18 divide r?
True
Let o(k) = -29*k**2 + 25. Let g(h) = -14*h**2 + 12. Let c(q) = -9*g(q) + 4*o(q). Let d be c(3). Let f = -54 + d. Does 6 divide f?
False
Let s = -55 - -55. Suppose 942 = 5*k + m + 116, 4*k + 2*m - 656 = s. Does 2 divide k?
True
Suppose 0 = -4*d - 3 - 9. Does 18 divide (400 + d)/(4 + 6/(-2))?
False
Let w(n) = 8*n**2 - 163*n + 15. Suppose 0 = -1016*g + 1022*g - 126. Is w(g) a multiple of 24?
True
Let q = 46 + -30. Suppose q*v + 210 = 26*v. Is v a multiple of 7?
True
Let p(z) = -61*z + 38*z - 25 + 37*z + 12*z. Let w be p(7). Let h = -70 + w. Is 29 a factor of h?
True
Let u(s) = s**2 - 41*s + 112. Let f be u(33). Let a = f - -432. Does 8 divide a?
True
Let a = -14637 - -16262. Is a a multiple of 13?
True
Let c(z) = 2*z**2 + z - 9. Let a = 153 + -162. Does 18 divide c(a)?
True
Let p = -303 + 303. Suppose p = -w + 3*x + 519, -4*w + 0*x + 2108 = 4*x. Is 15 a factor of w?
True
Let u(a) be the first derivative of 2*a**4 - 7*a**3/3 - 3*a**2/2 + 15*a + 263. Does 55 divide u(6)?
False
Does 41 divide 25/(-15) - 989620/(-60)?
False
Let u(g) = -g**3 + 9*g**2 + 9*g + 18. Let c be u(10). Suppose -23 + c = -2*x - 5*d, 29 = 5*x + 4*d. Suppose x*a + 82 - 407 = 0. Is 5 a factor of a?
True
Suppose 100*q = 102*q - 8. Suppose 103 = b - q*u, 5*u = -2*b + u + 266. Is b a multiple of 31?
False
Let f = -3820 - -4448. Does 53 divide f?
False
Let r be 43 + (16/(-12))/((-16)/12). Suppose 0 = -0*b + 2*b - 6, 4*b + 152 = -4*f. Let g = r + f. Does 2 divide g?
False
Suppose 10*h + 13 = -137. Suppose 4*p + 177 = 941. Let k = h + p. Is 16 a factor of k?
True
Let k = -5 + -13. Let t be (-6)/k - 301/3. Does 13 divide t/3*27/(-6)?
False
Let y be (-30)/45*(-30)/4. Suppose 2*j = 2*r + 142, -2*r - 291 = -4*j - y*r. Is 8 a factor of j?
True
Let n(u) = u**3 - 84*u**2 + 974*u - 41. Does 105 divide n(74)?
False
Let i(x) = -450*x - 4356. Is 12 a factor of i(-18)?
True
Suppose 2*g = g + 4*g. Suppose 4*c - 4*x = 12, 0 = -g*x + 5*x - 5. Suppose -c*p + 1 = 3*v - 118, -2*p = v - 43. Is 6 a factor of v?
False
Suppose 0 = -3*o - 17 + 20. Let i be (-3 - 3930/5) + o. Is (-4)/(-18) - (i/18 + -5) a multiple of 7?
True
Let m be (-10015)/20 - 10/40. Let a = m - -1170. Is 22 a factor of a?
False
Suppose 3*o - 4*q = -33, -4*o - 2*q - 16 = 6. Let s be ((-2)/(4/o))/((-7)/112). Let g = s + 93. Is 13 a factor of g?
False
Let x = 2 + 0. Suppose -8*a = x*m - 3*a - 464, -4*a = -5*m + 1193. Suppose -5*z + m = -33. Does 18 divide z?
True
Let x(r) = -15*r + 5. Let q be x(6). Let o = 87 + q. Suppose -3*y + 6*y = -o*w + 171, 0 = -w + 3*y + 81. Is 6 a factor of w?
True
Suppose 4*v + 16 = 0, 2*t - 5*v = 7*t + 5. Suppose 5*h + 436 = t*p + h, 2*p = -h + 276. Is p a multiple of 8?
False
Suppose 0 = -2*m + 8, 0*m - 505 = 5*c - 5*m. Let s = c - -112. Suppose 7*u - s*u = -2040. Does 25 divide u?
False
Let f(v) = -16 + 14*v**2 - 23*v**2 - v**3 - 36 + 35*v**2 + 18*v. Is f(26) a multiple of 32?
True
Suppose 39*w - 24777 = 30*w. Suppose 4*a = 5*o + w, -5*o = 2*a - 1506 + 137. Is 9 a factor of a?
False
Suppose -312 = 65*g - 69*g. Suppose -i + g = -44. Is (-2)/4*10 + i a multiple of 13?
True
Let r(w) = -18*w**2 - 12*w - 7 - 2*w**3 - w**3 + 4*w**2. Let p(a) = 6*a + 451. Let u be p(-76). Does 39 divide r(u)?
True
Does 3 divide (181656/((-261)/(-9)))/((-2)/(8/(-6)))?
True
Suppose u - 38 = -18. Let x = -31 + u. Let o = x - -123. Does 16 divide o?
True
Let s(q) = -5*q**3 - 9*q**2 - 8*q + 9. Is s(-5) a multiple of 13?
False
Let g(r) = -5*r + 18. Let w(i) = -i**2 - 11*i + 10. Let f be w(-10). Suppose 0 = -f*h + 18*h. Is 9 a factor of g(h)?
True
Let m(s) = -16*s - 236. Let z be m(-34). Suppose 2*i - 4*v = z + 296, -2*v = i - 322. Does 13 divide i?
True
Suppose -155*z + 16*z - 104*z = -2154195. Is z a multiple of 45?
True
Let l(h) = -h - 4. Let k(o) = o**3 + 12*o**2 + 9*o - 26. Let m be k(-11). Let i be l(m). Suppose -3*r - 5 = 2*q - 24, i = -2*r - 4*q + 2. Is r a multiple of 2?
False
Suppose -33*z + 3550 = -23*z. Let k = z - 187. Does 21 divide k?
True
Suppose -4*x - 7*l + 8281 = -12*l, -6167 = -3*x - 5*l. Is 31 a factor of x?
False
Suppose o - 17 = -n, 4*o + 68 = 2*n + 2*n. Let k be (-386)/(-8)*(-13 + n). Suppose 3*t - k + 43 = 0. Is t a multiple of 11?
False
Let r = -568 + 394. Let d be 3/(5 + 861/r). Let t = -21 + d. Is 37 a factor of t?
True
Suppose i - 5*v = 1921, -5*i + 42*v - 46*v + 9634 = 0. Is i a multiple of 4?
False
Let n be (0 + (-243 - -5))/(-1). Suppose -158 = -2*d + n. Does 7 divide d?
False
Suppose 39*g + 844 = 8761. Suppose g + 97 = 2*h. Is h a multiple of 50?
True
Let m = 12093 + -8242. Does 114 divide m?
False
Suppose 0 = t + 4*n + 2 - 5, -n = 0. Let y(d) = 13*d**2 - 4*d + 3. Let v be y(t). Let x = v + -85. Is x a multiple of 9?
False
Suppose 5*l + 12517 = 31007. Is 26 a factor of (l/(-172))/(2/(-36))?
False
Let f(j) = -2257*j + 1021. Is f(-3) a multiple of 56?
False
Let t be ((-8)/20*3)/(5/(-150)). Suppose -1794 = t*n - 39*n. Is n a multiple of 13?
True
Suppose 137819 = 4*a + f, 201435 = 5*a + 3*f + 29170. Is 33 a factor of a?
False
Suppose 79 = q - 120. Suppose i = q + 425. Is 48 a factor of i?
True
Suppose -34686 = 20604*u - 20613*u. Is u a multiple of 23?
False
Suppose 2253 = 6*l - 11427. Suppose -l = 15*q - 19*q. Does 15 divide q?
True
Let z be (24/32)/(1/24). Suppose -z*y = -19*y + 188. Is 13 a factor of y?
False
Suppose -6*k = -7*k - 460. Let t be k/40 - (-2)/(-4). Let x(u) = 2*u**2 + 16*u + 11. Does 18 divide x(t)?
False
Let g = 157913 + -92470. Does 322 divide g?
False
Let z be (-87)/11 + 103/(-1133). Let r(k) = -157*k - 246. Is r(z) a multiple of 101?
True
Let s(a) = 9*a**2 - 48*a + 8. Let k be s(8). Suppose k = -90*n + 91*n. Does 20 divide n?
True
Let p = -311 - -586. Suppose -301 = -3*y + p. Is y a multiple of 14?
False
Suppose 4709 = 6*h + 287. Let r = -283 + h. Is r a multiple of 19?
False
Let h be (20/25)/((-32)/2800). Let m = 83 - h. Is 3 a factor of m?
True
Let j(u) = u**2 + 12*u - 14. Let w be j(-15). Suppose 32*s - 35 = w*s. Is 15 a factor of (7/(s/450))/((-1)/(-2))?
True
Suppose -17 + 25 = 2*x. Suppose b - 17 = x*p + 33, 0 = 2*b + p - 64. Does 17 divide b?
True
Suppose 0 = 2*b - j + 2405, -3*b - 1144 = 2*j + 2446. Let a = -810 - b. Is a a multiple of 15?
True
Suppose 21792 = 46*w - 32350. Suppose 3*y - 131 = w. Is y a multiple of 13?
False
