Is (4/(-2))/(4/z) a multiple of 7?
False
Suppose 4*u = 4*l + 13416, -3*u + 1077 + 8985 = -2*l. Is 13 a factor of u?
True
Let d(f) = -3*f + 16. Let u be d(-4). Is ((-512)/(-12))/(-4 - u/(-6)) a multiple of 25?
False
Let i(a) = 24*a**2 + 24. Let t be i(-5). Let h = t + 61. Does 21 divide h?
False
Let a be (-1 - -2)*-2 - (-1758)/6. Let t = a + -106. Is t - (1 - -4 - 3) a multiple of 17?
False
Let b be (-1)/5 - (-209)/95. Suppose -d - 3*g = -172, b*d + 3*g - 163 = 175. Is d a multiple of 12?
False
Suppose 0 = 4*m + 3*h - 637, -63*h + 58*h = 4*m - 627. Is m a multiple of 2?
False
Let s(i) = -i**3 + 31*i + 15*i**2 - 37*i + 3*i**3 - 20 - i**3. Is s(-15) a multiple of 7?
True
Let m be ((-8)/(-24) - (-76)/(-12)) + 4500. Suppose 1059 + m = 9*k. Is k a multiple of 62?
False
Suppose -26 = -5*n - k, 0*n = 4*n - 2*k - 18. Let h be 10/(140/154) - -40. Suppose -79 = -n*b + h. Is 7 a factor of b?
False
Suppose -130*q + 38*q = -676650 - 345470. Does 101 divide q?
True
Suppose 0 = 5*k - 4*u - 192400, -38422 = -2*k + 3*u + 38545. Does 105 divide k?
False
Let u(f) = -2*f**2 - 11*f + 20. Let i be u(-9). Let y = i + 43. Is 14 a factor of (-2 - (y - 5))*(-208)/(-3)?
False
Suppose 153143 = 22*n + 13377. Does 9 divide n?
False
Suppose -2*y - 2*y - 318 = 2*p, -2*p - 75 = y. Suppose 0 = 65*s - 46*s + 2394. Let f = y - s. Does 5 divide f?
True
Let y = 27 - 17. Suppose -6*w + y*w = -2*q + 718, -5*q = -5*w + 905. Does 15 divide w?
True
Let u(o) = 2*o**2 + 32*o + 97. Let m be u(-23). Let p = m - -449. Does 14 divide p?
True
Let s = -5661 - -12474. Is 15 a factor of s?
False
Suppose 0 = -4*i + 5 + 15. Suppose a - 104 = -5*u, i*a = a + u + 332. Is a a multiple of 7?
True
Let n(g) = g + 9. Let i be n(-4). Suppose -2*z + 2*l = 0, -2*z = -4*z + i*l - 9. Is 12 a factor of ((-1)/(-1))/(z/108)?
True
Let r = 39 + -45. Is 26 a factor of 101 + (9 + r - 0/1)?
True
Is 130 a factor of 4*1/(-2) + -3 + 10795?
True
Let m = 4932 - 4197. Is m a multiple of 3?
True
Is (-131976)/(-81) - (-8)/3 a multiple of 17?
True
Let y(f) = f**2 - 9*f + 18. Let m be y(7). Let z be -1*-34*m/8. Let t = z - -3. Does 10 divide t?
True
Let s = -42 - 0. Let t be ((-2)/(-7) - 1276/s)*-3. Is 4 a factor of (-63)/(-4) - 23/t?
True
Suppose 40 = 14*c - 4*c. Suppose 2021 = c*s - s + 5*a, 4*a = 4. Is s a multiple of 8?
True
Suppose m = -3*y + 10, -8*m - 3*y + 11 = -6*m. Let z(q) = 33*q + 17. Is 10 a factor of z(m)?
True
Let p = 29410 + -17580. Is 70 a factor of p?
True
Let y = -6633 + 10405. Is 41 a factor of y?
True
Suppose -3*l - 15 = -2*t, 5*l + 0 = -5. Suppose 0 = -t*r - 22 - 2. Is 14 a factor of 65 + (-2 - 8/r)/2?
False
Let s(m) = 512*m**2 + 159*m + 633. Is 19 a factor of s(-4)?
True
Let j be (2*-1 + 3)*(18 + -16). Let u(b) = 40*b - 15. Let f be u(j). Suppose -x + f = w - 11, -4*w - x = -310. Does 4 divide w?
False
Let u = 130 + -127. Suppose 0 = h - 3, -3*t + 8*h + 2421 = u*h. Is 29 a factor of t?
True
Let p = 26 - 24. Let w(q) = -4 + 15 - p - q. Is w(5) a multiple of 4?
True
Suppose 3*k = -3*u + 360, -5*u - 34*k + 586 = -36*k. Let y = 188 + u. Is 14 a factor of y?
False
Suppose 2*n - 358 = -102. Let r = n + -112. Does 3 divide r?
False
Suppose -18*n + 8976 = -7*n. Suppose 450*m - 444*m - n = 0. Is m a multiple of 11?
False
Let v(o) = -2087*o + 2716. Is 45 a factor of v(-7)?
True
Let w(x) = -x**3 - x**2 + 5*x - 1. Let r be w(-4). Let g be (-3 - 0 - 0)/(3/r). Let q = 99 + g. Is 9 a factor of q?
True
Suppose 1356*j - 1342*j - 135828 = 0. Does 21 divide j?
True
Let i be (5 + 365/(-5))/(2/4). Let t = -111 - i. Is 25 a factor of t?
True
Suppose 16*r - 266954 = 51158. Suppose -14*v = 1990 - r. Is 12 a factor of v?
False
Let s be (2 + 300/18)*3. Suppose -19*f = -s*f + 518. Is f even?
True
Let u = 50 - -2268. Is u a multiple of 38?
True
Let z(w) = -w**3 + 13*w**2 + 31*w - 2. Let v be z(15). Let n(q) = q**3 - 12*q**2 + 13*q + 23. Does 67 divide n(v)?
False
Let a = -234 + 109. Let n = 4 - a. Is 28 a factor of n?
False
Let a be (-6)/((-8)/(-36)*-3). Suppose -a*j = -115 - 434. Is j a multiple of 22?
False
Let c(q) = -q + 18*q**2 - 1 + 0*q**2 + 4*q. Let y be c(1). Suppose -860 = 15*u - y*u. Does 43 divide u?
True
Let f = 54065 + 15125. Is 37 a factor of f?
True
Suppose -18225 = -5*u + 4485. Let d be (-12)/60 + u/10. Suppose 3*s = 2*h - s - 176, 3*s + d = 5*h. Is h a multiple of 28?
False
Let n = 6427 + -10061. Does 17 divide ((-23)/2)/(79/n)?
False
Let x(o) = -137*o - 16. Let v be x(-2). Suppose 372 + v = 14*y. Is y a multiple of 9?
True
Suppose 95*o - 1778592 = -99*o. Does 48 divide o?
True
Suppose 266 = -7*h - 126. Let x be 2/(-6)*711/3. Let p = h - x. Is 23 a factor of p?
True
Let x(g) = 4*g**2 - 12*g + 8. Let r be x(4). Let b = -21 + r. Suppose -b*h - 52 = -352. Does 25 divide h?
True
Suppose -p + 1321 = -4*n, -3*n + 0*n - 962 = 5*p. Let w = n + 345. Does 5 divide w?
False
Suppose -7*m + 6 = -4*m. Suppose -z + 5*d = -1, -6 = m*z - z + 2*d. Is (z - -5)*(-4 - -52) a multiple of 8?
True
Let o = 5875 + -4139. Is 11 a factor of o?
False
Let z = 90985 - 50600. Does 197 divide z?
True
Suppose 0*g = 28*g - 980. Let h = 1 + 32. Suppose h*f - g*f = -114. Does 16 divide f?
False
Let i(w) = 2*w**2 - 4*w + 3682. Is 119 a factor of i(104)?
False
Let k(y) be the second derivative of 43*y**3/6 - 123*y**2 - 9*y - 2. Is 19 a factor of k(15)?
True
Let n(p) = 709*p - 2238. Does 292 divide n(102)?
True
Suppose 15 = 3*m, -2*o + o + 3*m - 156 = 0. Let n = o - -131. Is (42/(-35))/(-2) + (-694)/n a multiple of 7?
True
Let w = -13289 + 20201. Is w a multiple of 27?
True
Let f = 1472 + 15739. Is f a multiple of 18?
False
Let t(c) = -14*c**3 + 3*c**2 + 12*c - 25. Let q be t(3). Let i = q - -405. Does 5 divide i?
True
Suppose 2*k + 417 - 3814 = z, z = -2*k + 3403. Does 12 divide k?
False
Suppose -3*k - 46 = -130. Let n(z) = 5*z**2 + 35*z - 4. Let g be n(-7). Let m = k + g. Is m a multiple of 3?
True
Let g(j) = -4*j**2 - 230*j + 6720. Does 64 divide g(0)?
True
Let v(n) = 26*n + 82. Let d be v(-3). Suppose 5*z + 5*m - 4*m - 2455 = 0, -2*z + 982 = d*m. Is 7 a factor of z?
False
Let i = 10855 + -2871. Is 124 a factor of i?
False
Let r(x) = -200*x + 10832. Does 264 divide r(-29)?
True
Let c be (-56)/2 + (-98 - -102). Suppose 5*x - 46 = -4*h, -h - x + 6 = 3*x. Let z = h - c. Is z a multiple of 6?
False
Suppose 0 = -5*v - 5*n + 5, -v + 10 = 3*v - 2*n. Suppose -v*f - 2*f = 6*f. Suppose 77 = j - 5*s, -5*j + f*s = 5*s - 445. Is j a multiple of 12?
False
Let q(r) = 28*r**2 + 29*r + 12. Let w be q(-3). Let k = w - 50. Does 3 divide k?
False
Suppose 57 = 6*g - 33. Suppose g*w = -4*p + 11*w + 344, 0 = 4*p + w - 350. Is p a multiple of 2?
True
Let j = 488 - -1618. Suppose -13*t + j = -3289. Is 83 a factor of t?
True
Suppose 18*g + 22911 - 63831 = 3*g. Is 13 a factor of g?
False
Let m = -3767 + 4192. Does 24 divide m?
False
Suppose 3*x + 13*i - 14828 = 9*i, -3*x + 4*i + 14836 = 0. Is x a multiple of 4?
True
Let h = 696 - 494. Suppose t - h = -4*q + 2*q, 0 = -3*t + 12. Suppose 3*u - q = -3*m, 173 = -0*m + 5*m + 3*u. Does 21 divide m?
False
Let i = -788 + 785. Is i - 0 - (-4725)/35 a multiple of 44?
True
Let o(p) = 316*p - 173. Is 51 a factor of o(2)?
True
Let h(z) = -5*z**3 + 2*z**2 + 2*z + 1. Let c be h(-1). Let x be -5 - (-945)/195 - (-5622)/39. Suppose -7*s + x = -c*s. Is s a multiple of 48?
True
Is 1*(14265 - (-10 + 18)) a multiple of 269?
True
Let m = 277 - 768. Let j = m + 1037. Does 39 divide j?
True
Suppose -5*b = -3*x + 466, -3*b - 276 = -0*x - 3*x. Is 2 a factor of 126/(-4)*(-7 - b/15)?
False
Suppose 235*b = 243*b + 8. Is 26 a factor of ((-2)/2)/(b/32)?
False
Let k(q) = 5*q**3 + 40*q**2 - 5*q + 107. Is k(12) a multiple of 201?
False
Let i(h) = -1019*h - 6. Let f be i(-1). Let z = f + -15. Does 10 divide z?
False
Does 64 divide (-14)/(-84) + 7633892/168?
True
Let o(v) = 3*v**3 - 4*v**2 + 6*v - 8. Let r be o(3). Let m = 60 + -26. Let t = r - m. Is t a multiple of 9?
False
Let n(q) = q**2 - q - 1. Let m(j) = -j**3 + 14*j**2 - 5*j - 3. Let i(z) = -m(z) + 6*n(z). Let f be i(8). Let v = 28 + f. Does 6 divide v?
False
Suppose 4*j - 1451 = 3*h, -1284 = 5*h + j + 1119. Let u = h - -886. Is 45 a factor of u?
True
Is 95 a factor of 27/(-18)*(56128/6)/(-4)?
False
Suppose -3*y + 9*y = -6. Is (((-4)/(-3))/y)/((-13)/1638) a multiple of 21?
True
Let b(f) = 24*f**2 + f - 1