-805)/(-2) - (-1)/(-2) a multiple of 23?
False
Suppose 4*b - 23 = -5*c + 7, 3*b - 9 = 3*c. Is 29 a factor of ((-4)/10 - c/(-5)) + 29?
True
Let k(v) = -v**3 + 3*v**2 + v - 5. Let u be k(4). Let a = -5 - u. Suppose 630 = -a*t + 17*t. Is t a multiple of 7?
True
Suppose -128*h - 5*z + 94530 = -124*h, 5*h = 2*z + 118212. Does 27 divide h?
False
Let d(o) be the first derivative of -o**4/4 - 16*o**3/3 - 19*o**2/2 - 9*o - 22. Let y be d(-16). Suppose 3*r - y = 341. Is r a multiple of 34?
False
Suppose -4*j = -j + 1896. Suppose 5*p - 2*u + 1938 - 6365 = 0, 0 = 4*u - 16. Let t = j + p. Is t a multiple of 17?
True
Suppose 4*m = -z + 602, 788 = 4*z - 2*m - 1674. Does 59 divide (3 + z/(-8))/((-3)/12)?
True
Let b be (650/3)/(224/(-114) - -2). Suppose 5*a + 3812 = 4*f - 1128, -5*f = -4*a - b. Is f a multiple of 75?
False
Let x be 7/(-6) - (-3)/18. Let k be x/(-4) + 2583/(-12). Let j = k - -360. Does 29 divide j?
True
Suppose 15*p - 12*p + 3477 = z, p - 10431 = -3*z. Does 61 divide z?
True
Suppose -2*x = 4*f + 964, f + 241 = 6*x - 3*x. Let z = 363 + f. Is z a multiple of 10?
False
Suppose 0 = 5*n + 6 + 19, 5*n = 4*t - 185. Suppose 1 = k - 1. Let g = k + t. Does 27 divide g?
False
Is 16 a factor of ((-3712)/(-290))/(-1*3/(-60))?
True
Suppose -49*h + 54*h + 20469 = 3*f, 0 = -5*f - h + 34087. Is 96 a factor of f?
False
Suppose -21786 = -5*v - 3*g + 366100, -v - 3*g + 77570 = 0. Is 23 a factor of v?
True
Suppose 8*u + 1 = 41. Suppose -660 = -u*l + 3*c + c, -4*l = 2*c - 502. Does 16 divide l?
True
Let s(x) = -4*x**2 + 4*x - 38. Let h be s(9). Let l = 205 + h. Is 18 a factor of (-22)/l + (-2306)/(-22)?
False
Let a(v) = 126*v**2 + 25*v - 320. Is a(17) a multiple of 65?
False
Let s(f) = 2*f + 1. Let l be s(-2). Let g be (1 + 2 - 6) + l. Let u(t) = -t + 26. Is u(g) a multiple of 9?
False
Let o = 456 + -214. Let x(j) = -10*j**2 + 221 - 18*j + 6*j + 0*j**2 - j**3 - o. Is x(-10) a multiple of 11?
True
Let j(s) = 10*s - 28. Suppose 2*x + 34 = 3*u, 4*u + 7*x = 3*x + 12. Is j(u) a multiple of 24?
False
Let l(f) = f**2 - 6*f + 2. Let c = 20 + 26. Let n be 6/(-15) + c/(-10)*1. Is 19 a factor of l(n)?
True
Let s = 438 + -364. Suppose 67*d = s*d - 7014. Does 73 divide d?
False
Is 64 a factor of (13475/1540)/((-2)/(-3072))?
True
Suppose -v + 8 = 2*m, 7*m = v + 2*m - 29. Suppose s + 94 = 3*l, 3*s + 76 = -l + 114. Suppose 0 = -5*b + 4*a + l, -3*b + 8*a + v = 3*a. Is 4 a factor of b?
True
Does 23 divide (-136 + 142)*(137 + 1)?
True
Suppose 152829*b - 152833*b = -3300. Does 38 divide b?
False
Let g be (3 + 6 + -11)/(-2). Is 11 a factor of (-1)/4*(-3 - g)*264?
True
Let l be 2 + (-3 - -4)*-20 + 2. Let b(h) = h**3 + 21*h**2 + 68*h + 30. Is 6 a factor of b(l)?
True
Suppose 33*x + 49591 = -568466. Does 26 divide (x/2)/(-9) + 4/(-8)?
True
Suppose 65*c = -82*c + 238728. Is c a multiple of 89?
False
Let h = -98 - -257. Let i(n) = -n**3 + 17*n**2 - 27*n - 11. Let w be i(15). Suppose -5*j + h = w. Is 5 a factor of j?
True
Let j(u) = -3*u**2 - 9*u + 3. Let n be j(-3). Is ((-147)/n)/((-8)/32) a multiple of 9?
False
Suppose -17*g = -55*g + 1007380. Is g a multiple of 22?
True
Suppose 2*x + w + 21 = 0, -w + 4 = -1. Let r be x/(-2)*6/(-3). Is 19 a factor of (-1924)/r - (-5 + 1)?
True
Suppose -5*f = 5*c - 5680, -21*c - 2*f + 5689 = -16*c. Suppose 9*r - c + 293 = 0. Is r a multiple of 6?
False
Suppose 97 + 62 = 3*n. Let b = -29 + n. Suppose 2 + b = p. Is p a multiple of 19?
False
Suppose 6 = -t + 4. Let r be (-312)/182*273/t. Suppose -5*g + 11 = -r. Does 4 divide g?
False
Does 17 divide (-17)/(85/10) + (68 - -2)?
True
Let v(d) = 11*d + 53. Let t be v(-5). Let p be t/(-7) + 49680/70. Let y = -493 + p. Does 17 divide y?
False
Let p(z) = 1069*z + 4229. Is 6 a factor of p(13)?
True
Let s(f) = -1. Let w(j) = 41*j - 20. Let h(u) = -4*s(u) + w(u). Let l be h(-4). Is 30 a factor of 0/2 + l/(-3)?
True
Let h = -88 - -670. Suppose 0 = -4*k + 2*z + h, 747 = 4*k + k + 4*z. Does 24 divide k - (4 - (1 + 0))?
True
Suppose l + 5 = 0, 5*l + 0 = f - 31. Let q be 3 - 5*f/10. Suppose 4*w - 348 = -5*m, -3*w - 266 = -4*m - q*w. Does 17 divide m?
True
Suppose 0 = 5*y + 2*k - 0 - 18, 3*k = -2*y + 5. Suppose 4*r = -5*q + 5945, -9*r + y*r = q - 1189. Does 29 divide q?
True
Let h(j) = 3*j**2 + 4*j + 3. Let r be h(-1). Let t(k) = 2*k. Let v be t(r). Is v - 1*(0 + -25) a multiple of 7?
False
Suppose -16275 = -61*g + 60890. Is 11 a factor of g?
True
Let j(n) = -748*n - 4376. Does 58 divide j(-46)?
False
Is (-1252287)/(-324) + ((-75)/36 - -2) a multiple of 169?
False
Suppose -3*u + 3*l = -11100, -2*u + 3*l - 6*l + 7385 = 0. Does 10 divide u?
False
Let z(u) = 45*u**2 + 163*u - 2916. Does 10 divide z(16)?
False
Suppose 2*d - 10962 = -y, 5467 = -d + 2*d + 4*y. Is d a multiple of 119?
False
Let n(d) = 2*d**2 - 12*d + 14. Let j be -3 + (48/(-2))/(-2) + -3. Is 7 a factor of n(j)?
True
Let b = 157 + 5947. Does 56 divide b?
True
Suppose 23*q - 19*q = 28. Let s(n) = -n**2 + 11*n - 26. Let i be s(q). Suppose -i*a + 1080 = 13*a. Is 12 a factor of a?
True
Let w be -1 - 1 - -240 - 3/1. Let c = w - 174. Is c a multiple of 4?
False
Let f be 3262*1/4*(-3 - -1). Let p = -966 - f. Suppose p = 9*r - 181. Is 13 a factor of r?
False
Let j(h) = -6*h - 2. Let v be j(-4). Suppose -4*b = z - 6*b + 6, 0 = -3*z - 2*b + v. Is 20*(0 + z - -2) a multiple of 15?
True
Let y(c) = 402*c**3 - 5*c**2 + 3*c + 7. Let j be y(2). Let i = -2241 + j. Is i a multiple of 88?
True
Let w be 36/8 - 5 - (-148)/8. Suppose -35 = -25*l + w*l. Is 4 a factor of l?
False
Suppose 0*y - 115 = -y - 4*s, -5*y = -5*s - 575. Suppose -y = -377*f + 376*f. Is f a multiple of 5?
True
Suppose 9229 + 50179 = 158*d. Is d a multiple of 3?
False
Suppose 0 = 5*i - 6876 - 5284. Suppose -10*q = -2048 - i. Does 16 divide q?
True
Let g = 12754 - 460. Is g a multiple of 18?
True
Let q(m) = m - 6. Let b be q(6). Suppose b = 10*f - 1406 - 794. Is 20 a factor of f?
True
Suppose -383*s + 373*s = 6080. Let w = -581 - s. Is w a multiple of 3?
True
Let x(p) = -129*p - 615. Does 30 divide x(-5)?
True
Let p = -601 + 3611. Does 86 divide p?
True
Let r(q) = 7*q**3 - q**2 + 11*q - 5. Suppose t - 20 = -4*c - 5, 2*t - 15 = -3*c. Is r(c) a multiple of 8?
True
Suppose a + 5*r = 1310, 2*r + 218 + 1064 = a. Is 30 a factor of a?
True
Suppose 0 = -2*i - 1 + 3. Let k be -1 - i/((-2)/(0 - -2)). Suppose k = -3*g - 2*u + 232, -4*u = -3*g + 309 - 53. Is 8 a factor of g?
True
Let n(q) = -172*q**2 - 2*q + 1. Let u(s) = -3*s - 687*s**2 + 4*s - 10*s + 45 - 41. Let b(x) = -9*n(x) + 2*u(x). Is 24 a factor of b(-1)?
False
Let t(v) = 7*v**3 - v**2 + 13*v + 16. Let u be t(-4). Let a = u - -729. Is a a multiple of 18?
False
Suppose -s = -5*o + 119974, 32*s - 27*s = 5*o - 119990. Is 31 a factor of o?
True
Let b be (-10)/((-2)/4 + 2/12). Suppose -h - h - b = -4*w, -5*w + 4*h = -33. Suppose w*p = 7*p + 72. Is p a multiple of 19?
False
Suppose 160022 = 362*g - 304*g. Is 4 a factor of g?
False
Suppose 0 = 21*o - 19*o - 3*k - 7183, 3*k - 28867 = -8*o. Is 2 a factor of o?
False
Does 20 divide 118/(-1003) + (-125906)/(-34)?
False
Suppose 4*y - 244 = -f - f, -3*y = 2*f - 181. Let r = 18 - 62. Let q = y + r. Does 2 divide q?
False
Suppose -2*g - 77 = 7. Let w be (36/14)/(2/g). Does 4 divide (w/(-5))/((-21)/140*-2)?
True
Let d(j) = 312*j + 1165. Is d(24) a multiple of 154?
False
Suppose 3*d - 116 = 4*y, -158 = -d - 3*d + 2*y. Suppose 162 = -2*v + d. Let i = v + 104. Is i a multiple of 16?
False
Suppose 219*k = 215*k - o + 6554, -8 = -4*o. Is k a multiple of 117?
True
Let f = 13348 - 3203. Does 199 divide f?
False
Suppose 9*l - 6*l = 0. Let u(o) = 7 + l + 14*o**2 - 4*o**2 - o. Does 49 divide u(-5)?
False
Suppose 4889 = 13*o - 44758. Is o a multiple of 77?
False
Suppose 4*j = -3*r + 228, -342 = -4*r - 5*j - 38. Let v = r - -10. Is v a multiple of 21?
False
Let z(q) = 2009*q**2 + 43*q - 65. Does 26 divide z(2)?
False
Suppose 4*b - 6*b + 4 = 0, -2*b + 102 = 2*o. Suppose 0 = -o*v + 32*v + 11254. Does 29 divide v?
False
Let z(l) = -5 - l**2 + 8 - 5*l**2 - 6*l - 8*l**3 + 9*l**2. Let o be z(2). Let s = o - -109. Is 45 a factor of s?
False
Let o(i) be the second derivative of 11*i**6/144 + 17*i**5/120 - 23*i**4/12 + 5*i. Let z(j) be the third derivative of o(j). Is 14 a factor of z(3)?
True
Does 106 divide 38*2/16*(-5 - -3157)?
False
Suppose 0 = -10*c +