924)). Does 10 divide (-15)/(-3) - s - (0 - 12)?
True
Suppose 0*c = 3*c - 15. Suppose 1397 - 1409 = -6*n. Suppose 0*t = 4*t + c*k - 239, -n*t - 5*k = -107. Does 24 divide t?
False
Let m(s) = s**3 - 6*s**2 - 5. Let b be m(6). Let i(x) be the first derivative of -x**3/3 - 9*x**2/2 - 5*x + 2. Is i(b) a multiple of 3?
True
Suppose 32 = 3*s - 106. Let m be ((-4 - s)/(-5))/((-2)/(-11)). Let h = m + -48. Is 2 a factor of h?
False
Let a(u) = 30*u**2 + 7*u. Let r be (3/(-8))/(9/(-72)). Does 43 divide a(r)?
False
Let n be (3 + 10/(-6))*-3. Does 6 divide n*(-9)/2*(5 - -2)?
True
Let p = 29 + -27. Suppose 4*x = -2*l, p*l = -5*x + 2*x. Suppose -135 = -2*z + 2*j + 45, l = z - 2*j - 90. Is z a multiple of 45?
True
Let u(s) be the third derivative of s**5/10 + s**4/12 + 5*s**3/6 - s**2 - 3. Does 11 divide u(5)?
True
Let g(n) = -32*n**2 - n + 34*n**2 - 14 - 3 - 5. Is g(-5) a multiple of 2?
False
Suppose 5*z - 92 + 35 = -t, -5*z - 4*t = -63. Suppose 3 - 58 = -z*h. Suppose h*j - 58 = 742. Is j a multiple of 16?
True
Suppose 0 = -4*x - 5*k - 491, 2*k = x - 3*x - 244. Let z = x - -208. Is 8 a factor of z?
False
Suppose 5*l = 45*t - 48*t + 21675, -3*l = 2*t - 13006. Is l a multiple of 14?
False
Let d be ((-10)/3)/((-12)/(-18)). Let g(c) = c**3 + 4*c**2 + 8*c + 5. Let b be g(d). Let a = 112 + b. Is 13 a factor of a?
True
Suppose 0 = 3*b + 11*x - 13*x - 60018, 3*b + x = 60036. Is b a multiple of 87?
True
Suppose 27*t - 30*t = -12. Suppose -6*i = -i + 10, -t*h - 2*i = 4. Does 9 divide (-30 + h)/(8/(-6))*2?
True
Let a(d) = d**3 - 5*d**2 + 22*d + 16. Let v be a(6). Let w = v + -130. Is 6 a factor of w?
True
Let q(d) = 16*d + 7 - 5*d + 2*d. Let f be q(4). Let v = f - 15. Does 11 divide v?
True
Suppose 2*f = -5*q - 17, q - 7 = f + 2*q. Let p(m) = m**3 + 12*m**2 - 2*m + 19. Is 47 a factor of p(f)?
False
Let m = 27751 - 26942. Does 2 divide m?
False
Is (-1 - (-5 - -6))*(-6)/(-12) + 1231 a multiple of 32?
False
Let y = -19991 + 28366. Is y a multiple of 14?
False
Suppose -4*f - 19 = -7. Let n be 3 - (-3 - (0 + f)). Suppose -9*v + 216 = -n*v. Does 9 divide v?
True
Let z(n) = 5*n + 25. Let r(a) = -a**2 + 6*a + 20. Let f be r(15). Let x be 126/10 - 46/f. Is 18 a factor of z(x)?
True
Suppose -134*t + 755459 = -998065. Does 181 divide t?
False
Let k = -642 + 639. Does 11 divide 542/k*(-2)/4*3?
False
Let b(t) = 3*t + 2. Let d be b(1). Suppose 3*o - 2 = -14, -3*c = -d*o + 52. Is 13 a factor of 46/4 - c/16?
True
Let h be 3/6 + 4 + (-27316)/(-8). Suppose -5*l + h = 719. Does 18 divide l?
True
Let n(l) = -31*l - 8 - l**2 + 7*l + 0 - 2 - 20*l. Does 17 divide n(-32)?
True
Let u(p) = 6594*p - 308. Does 98 divide u(4)?
True
Suppose q - 95 = -56. Let w be (q/(-26))/((-2)/44). Let s = -13 + w. Is 12 a factor of s?
False
Suppose 11*k - 6*k + 2260 = 0. Let g = 690 + k. Does 17 divide g?
True
Suppose 58*j = 61*j. Let v(p) = 2*p + 2. Let o be v(4). Suppose j = -0*z - z + o. Does 2 divide z?
True
Let z(a) = 2*a**2 - 3*a + 5. Let r = -32 + 36. Let q be z(r). Let i = 41 - q. Does 10 divide i?
False
Does 60 divide 52/((-1352)/(-603525)) + (-3)/6?
False
Suppose 11*z - 14*z - 4*b = -358, -b - 323 = -3*z. Is 6 a factor of z?
False
Let k(u) = -u**2 - 3*u + 6. Let y be k(-4). Suppose 3*j + 80 = y*s, 52 + 63 = 3*s - 2*j. Suppose -4*i = -4*l + 304, 4*i - s = -l + 34. Is l a multiple of 13?
False
Let y(t) = -t**3 + 7*t**2 - 6*t + 5. Let v be y(6). Suppose -2*h = -j + 29 + 15, v*j = 5*h + 105. Let d = 5 - h. Does 12 divide d?
False
Let j = 102 + -111. Let d(r) = 3*r**2 + 5*r + 3. Let z be d(-4). Let g = j + z. Is 22 a factor of g?
True
Suppose -25*a + 359502 + 162248 = 100*a. Is a a multiple of 58?
False
Suppose -25*s + 23*s + 476 = 0. Suppose -s = 4*o - 266. Is 7 a factor of o?
True
Let v(s) = -26*s**3 - s**2 - 5*s - 5. Let x be v(-2). Does 13 divide 4 + 0 + x + -5?
True
Suppose 4 = f, 0 = 3*y - 9*f + 4*f - 34. Let z = y - -132. Is z a multiple of 25?
True
Suppose -2*c = 31*c - 104016. Is c a multiple of 8?
True
Suppose -10 = -2*m, -y + 3850 = 3*y + 2*m. Is 48 a factor of y?
True
Let a(d) = -44*d + 8*d + 34*d + 9. Suppose 26 = -4*z - 6. Is a(z) a multiple of 3?
False
Suppose 0 = -9*g - 267 - 435. Let n = g + 138. Let z = 96 - n. Does 6 divide z?
True
Let j(m) = 93*m**2 - 8. Let w be j(2). Suppose -y = 113 - w. Is y a multiple of 12?
False
Suppose -19*h - 14543 = -139392. Does 91 divide h?
False
Let v = 2859 + 10162. Is 83 a factor of v?
False
Let b(h) = 8*h + 188. Let v be b(-23). Suppose -c = -v*y - 21, -3*y = -8*y - 15. Does 9 divide c?
True
Suppose 20 = -5*v, -3*o + 5*o + v - 1288 = 0. Let f = o + -421. Does 3 divide f?
True
Let s(n) = -58*n**3 - n**2 + 3*n + 2. Let g be s(-1). Suppose g*t + 2418 = 62*t. Is 22 a factor of t?
False
Suppose -24*v = 3*w - 19*v + 253, 3*w = -v - 257. Does 18 divide ((8 - -2)/(-2))/(2/w)?
False
Let x = -5434 - -25324. Does 18 divide x?
True
Suppose -4*b - 39856 = -5*f, 5*f + 3*b = 2*f + 23892. Is 16 a factor of f?
True
Let p be 61/(22/(-10) + 2). Suppose 2277 = 5*a + 2*k, -3*a + 1007 = k - 360. Let q = a + p. Is q a multiple of 19?
True
Does 10 divide (-3 - -20) + -23 + 3269*1?
False
Let i(s) = 879*s - 3360. Is i(15) a multiple of 25?
True
Let y = 59 + -56. Suppose -6*l + l = -u - 1847, 0 = -l + y*u + 361. Does 15 divide l?
False
Suppose 4*j = j. Suppose d - 8 + 5 = j. Does 7 divide 2 + (0 - -16) - d*-1?
True
Suppose j = -7*j. Suppose -2 = -3*u + 5*b, -5*u + 12*b + 10 = 7*b. Suppose 123 = 3*y - 2*k, j = k + u - 1. Does 7 divide y?
False
Does 12 divide (4/(-6)*4828/(-142))/((-1)/(-72))?
True
Let n be 462/(-30) + 2/5. Let r = n + 1. Does 2 divide -7*4*r/28?
True
Suppose -4*a - 2*z = -288, 3*a - 5*z = 2*a + 72. Suppose -4*o - 3*k + 44 = 0, 3*o - a = 2*k - 22. Is o a multiple of 7?
True
Suppose 12275 = 5*l + 2*s, 2*l + 28*s - 4934 = 32*s. Suppose 43*f + l - 8219 = 0. Is 2 a factor of f?
True
Let d be 25 - (-8)/(-24)*-21. Suppose d*t - 31073 = 9*t. Does 14 divide t?
False
Suppose y = 2*y + h - 471, 0 = -3*h - 6. Let g = y - 96. Does 20 divide g?
False
Let t(a) = 45*a**2 - 351*a - 2054. Is 12 a factor of t(-6)?
False
Suppose 5*d - 48385 = -5*l - 6660, -28 = 4*l. Is 58 a factor of d?
True
Suppose -3*g - 56 = 79. Let c be (-47)/(-9) + (40/g)/4. Is 18/(c*(-2)/(-30)) a multiple of 9?
True
Suppose -58478 = -41*g + 27*g. Is 11 a factor of g?
False
Suppose 5*z - 151804 = -26*u + 22*u, -5*u - 3*z = -189781. Is 35 a factor of u?
False
Suppose 0 = -x + 2*r + 2939 + 11410, 5*r = -5*x + 71685. Is x a multiple of 16?
False
Let l = 7421 - -4669. Does 62 divide l?
True
Let u(m) = 64*m**2 - 2*m. Let x be u(-2). Let p = x + -194. Does 6 divide p?
True
Suppose -2*v - 50*v = -2548. Is v even?
False
Let w be (130/52)/(51/(-50) + 1). Let j = w - -431. Is j a multiple of 17?
True
Let b = -1557 - -8858. Is b a multiple of 98?
False
Let h = -491 + 493. Suppose 1245 = d + 2*i + i, 0 = -h*i - 10. Is 70 a factor of d?
True
Suppose -y - 28 = 22. Let b = 126 + y. Suppose -2*f = 2*g - b, -2*f = 3*g + g - 148. Is g a multiple of 12?
True
Let l be 1/(((-3 - 1)/(-116))/1). Let o(n) = -9 + 2 - l*n - 9 - 3. Is 31 a factor of o(-6)?
True
Suppose 14128 - 3021 = c - 5*q, -3*c = -4*q - 33299. Is 9 a factor of c?
True
Suppose -31*r + 116064 = 9*r - 150696. Is 9 a factor of r?
True
Let r(a) = -a**3 + 8*a**2 + 12*a + 109. Let h be r(-15). Suppose -27*d - h + 28567 = 0. Is d a multiple of 79?
True
Let i(q) = 15*q**2 - 15*q + 48. Let u = 438 + -432. Is 7 a factor of i(u)?
False
Let w = -24303 + 35416. Does 17 divide w?
False
Let s(b) = 3*b + 30. Let v be s(-14). Let z be v/(-4) - (2 + 1). Suppose -2*n - 2*n + 160 = z. Is n a multiple of 40?
True
Let y(f) = 30*f + 52. Let h be y(19). Let p = h - 292. Is p a multiple of 33?
True
Let x(f) = -13856*f**3 + 5*f**2 - 9*f - 10. Does 21 divide x(-1)?
True
Suppose -4*t = 5*z - 34, 0 = z + 3*t + 9 - 7. Suppose 0 = z*k - 34 - 986. Is k a multiple of 38?
False
Let u(f) = f**2 - 3*f + 2. Let j be u(3). Let s(d) = -3174*d + 9 + 3174*d + 2*d**j. Does 10 divide s(8)?
False
Suppose -q = -2*b + b - 4, 4*q - 8 = 0. Is b + 6072/18 - 12/(-18) a multiple of 48?
True
Suppose -u + 3*r - 65 = 0, u + r + 3*r = -37. Let j = 59 + u. Is 12 a factor of ((-888)/(-16))/(j/8)?
False
Let u(p) = 63*p**2 - 33*p - 20. Is u(-9) a multiple of 16?
False
Let w = -2 + 2. Suppose w = -4*p - 3*s + 14 + 3, 0 = 3*s 