1963 + 9356 = 2*p. Is p a multiple of 137?
True
Let m = -52 - -16. Let f = -22 - -20. Is (f + m/(-15))*10 even?
True
Let p be -1*(-6)/(-9)*-3. Is (-1266)/(-42) + p/(-14) a multiple of 15?
True
Let u(h) = -h**3 - 5*h**2 - 4*h + 2. Let q be u(-4). Let j(r) = 4*r**q + 18 + 10 - r - 5*r**2 - 11. Does 8 divide j(0)?
False
Let n = -221 + 515. Does 49 divide n?
True
Suppose 1556 = 9*m - 1765. Is 55 a factor of m?
False
Suppose 0 = -d + 1 + 5. Let g be d/3 - (0 - -2). Let p = 8 + g. Is p a multiple of 3?
False
Let l be 8/2 - (4 - 4). Suppose 2*u - h + 4*h = -l, 3*u + 3*h = 0. Let g = 23 - u. Is g a multiple of 19?
True
Let o(y) be the third derivative of y**5/60 + y**4/24 + 8*y**3/3 + 33*y**2. Is 18 a factor of o(-8)?
True
Suppose -5*q = 627 + 3. Let w = q - -181. Is w a multiple of 11?
True
Let h(t) be the first derivative of 16*t**3 + 2*t**2 + 5*t - 53. Is h(-2) a multiple of 21?
True
Let y = -6 - -6. Suppose -3*a + 80 = 2*k - 6*k, y = -4*a + 3*k + 102. Suppose -5*u = 2*s - a - 14, -5*u + 3*s + 43 = 0. Does 3 divide u?
False
Let l = 92 - 89. Suppose t + 2*n - 19 = 10, 4*t - l*n = 83. Is 3 a factor of t?
False
Let y = 79 + -55. Is 4 a factor of y?
True
Suppose 6*w = 10*w - 16. Suppose -o = -3*u - 0*o + 40, w*u + o = 65. Is 5 a factor of u?
True
Let a = 13 - -67. Suppose 12*n - 10*n - a = 0. Is n a multiple of 8?
True
Suppose 0 = 6*c - 938 + 392. Is 20 a factor of c?
False
Let d = -794 - -1022. Is 11 a factor of d?
False
Suppose 5 = -0*a + a. Suppose -a*u = -4*u - 80. Is u a multiple of 20?
True
Let d = -220 + 494. Is d a multiple of 31?
False
Let p(w) be the first derivative of -w**3/3 + 19*w**2/2 - 11*w - 22. Does 5 divide p(10)?
False
Let c be 552/30 + 2/(-5). Suppose -10*t + 9*t + c = 0. Is 5 a factor of t?
False
Let j = -209 + 317. Does 27 divide j?
True
Let r(c) = 1881*c**2 + 8*c - 9. Is 94 a factor of r(1)?
True
Let j(z) = 9*z**2 - 2*z + 2. Let b(h) = h**2 - 4*h + 7. Let r be b(3). Suppose -r*s - 15 = s. Is 12 a factor of j(s)?
False
Let a(r) = -r**3 + 5*r**2 + 11*r - 6. Let w be a(7). Let p = w - -32. Suppose -n + 29 = -3*k, k + 50 + 53 = p*n. Does 3 divide n?
False
Let b be (-3 + 3)/(-2) + 3. Let s = 105 + -101. Suppose 3*a - c - 33 = b, -5*c + 29 = s*a. Is 7 a factor of a?
False
Let b = -797 - -1560. Is b a multiple of 11?
False
Suppose 5*t = 3*n + 24, 1 = -3*t + n + 13. Suppose t*y = 0, 3*c = -y + 3*y + 129. Suppose -g - c = -2*r, -4*r + 2*g - g + 87 = 0. Is 11 a factor of r?
True
Let y be 5 - (-2 - 0 - 1). Let p(o) = -o**3 + 7*o**2 + 6*o + 11. Let r be p(y). Let w = r - -15. Is w a multiple of 5?
True
Let t = 42 + -111. Is 26 a factor of 2 - -3 - (t + -4)?
True
Suppose 0 = 5*o - 28 + 3. Suppose 10*r = o*r - 10. Is -15*((-16)/(-10) + r) a multiple of 6?
True
Let b(r) = 2*r**2 - r - 2. Let d be b(2). Suppose -d*j - 151 = -39. Let l = j - -89. Is 16 a factor of l?
False
Suppose 20*n - 15120 = 14*n. Does 20 divide n?
True
Suppose -2*f = -0*f - 2468. Let k = f - 430. Is 19 a factor of 2/(-7) - k/(-21)?
True
Let c(o) = -o**2 - 10*o - 3. Let s be c(-9). Let v = -148 - -212. Suppose 2*t = -3*n + v, s*n = 3*n. Is 32 a factor of t?
True
Suppose 3*d - 2*k - 2 + 3 = 0, -2*d - k + 4 = 0. Let c(y) = -2*y + 2. Let z be c(-2). Let s = d + z. Is 2 a factor of s?
False
Let r = 122 + -117. Suppose 0*l - 4*w = 3*l - 879, r*w = -3*l + 876. Does 54 divide l?
False
Suppose 18 = -2*u + 2*i, -3*u + 2*u - 3*i - 1 = 0. Let z(s) = -2*s + 0*s - 5 - 3. Does 6 divide z(u)?
True
Suppose -3*q - 4*m = -367, 4*m = -2*q + 263 - 17. Is q a multiple of 11?
True
Suppose 4623 = 26*p - 33597. Does 15 divide p?
True
Suppose 23 = 5*j - 2. Suppose p = j*p - 88. Suppose 5*o - p - 38 = 0. Does 4 divide o?
True
Is 26 a factor of 1 + (-908)/(-5) + 52/130?
False
Suppose d - 162 = 6*w - 2*w, 0 = 3*d + 5*w - 435. Is d a multiple of 32?
False
Suppose 3*g - 52 = 14. Suppose -g + 102 = 5*c. Does 16 divide c?
True
Let v(q) = 112*q - 170. Is v(11) a multiple of 18?
True
Suppose 0*k - 3*k = t + 5, 0 = -2*k + t - 10. Does 2 divide k - (-152)/3 - 4/6?
False
Suppose 8*o + 8 = 4*o. Let t be -3*(160/15 + o). Let x = 1 - t. Does 23 divide x?
False
Let k(w) = w**3 + 2*w**2 - 16*w. Let x be k(-6). Let q = 112 + x. Is 15 a factor of q?
False
Let j be 40/(-6)*(-1 - (-20)/(-4)). Let o = j + -11. Does 6 divide o?
False
Let p(z) = -z**3 - 7*z**2 - 4*z + 4. Let v be p(-7). Let b = 117 - v. Is b a multiple of 13?
False
Let b = -26 - -16. Let w = -9 - b. Is 6 a factor of (-18 + w + -1)/(-1)?
True
Suppose -n - 6 = 8. Let j = n + 16. Is j/(-3)*57*-2 a multiple of 21?
False
Let f be (-6)/(-15) + (-2)/5. Suppose y - 19 - 13 = f. Is y a multiple of 4?
True
Let f(s) = -s**2 - 10*s - 11. Let o be f(-8). Suppose 2*c + 22 = 30. Suppose 0 = -c*r - o*i + 259 - 68, r - 54 = 5*i. Is r a multiple of 7?
True
Let j = 193 + -124. Is j a multiple of 2?
False
Suppose -14*q + 2440 = -10510. Is q a multiple of 50?
False
Suppose 6*q - 712 = 1238. Suppose q = -2*o + 901. Is 36 a factor of o?
True
Suppose -263 = -9*o + 322. Does 34 divide o?
False
Let m(b) = b**2 - 23*b + 43. Let t be m(21). Suppose 3*n = -t + 34. Is 3 a factor of n?
False
Suppose -1 = 5*g - 21. Let b(j) = g*j + 0*j + 7*j**2 + 6*j**2 - 10 - j**3. Is 14 a factor of b(13)?
True
Let y = -691 + 880. Is y a multiple of 4?
False
Let p(j) = -j**2 - 8*j + 21. Let r be p(-9). Is 11 a factor of 11 + ((-12)/(-9))/(16/r)?
False
Let p(q) = -56*q - 210. Is p(-22) a multiple of 58?
False
Let p(x) be the first derivative of -59*x**2/2 + 11*x + 3. Is p(-2) a multiple of 17?
False
Let n(r) = -140*r + 3. Let i be n(-1). Suppose 3*a = 5*z - a - 229, -3*z + a + i = 0. Is z a multiple of 15?
False
Suppose -2*s + 6*s = 168. Suppose 5*a + s - 121 = 4*v, 29 = 2*a + v. Does 4 divide a?
False
Does 18 divide 24/(-18)*(-3)/(-2)*-106?
False
Let s = -752 - -1096. Is 15 a factor of s?
False
Let k be ((-18)/(-30))/(1/655). Suppose 2*u = 2*r + 162, -4*u - r = -9*u + k. Suppose 0 = -3*i + f + 75, -2*i - i + u = -2*f. Is 8 a factor of i?
True
Let r(l) = -982*l + 5. Is r(-1) a multiple of 11?
False
Suppose 4*o - o - 57 = 0. Let t = o + -39. Let c = t - -24. Does 2 divide c?
True
Let s = -250 + 0. Let k = -136 - s. Is k a multiple of 20?
False
Let f = 8 + -7. Let g be (f/(-2))/((-1)/4). Suppose 0*j = -g*j + 42. Does 6 divide j?
False
Let f = -34 + 597. Let w be (25/10)/(1/178). Suppose -4*m = 3*r - w, 5*m = 3*r - 0*r + f. Is m a multiple of 28?
True
Suppose -2*n = -11 - 41. Is -4*n*(-4)/32 a multiple of 13?
True
Suppose 0 = -w + 3*b + 167, -w + 163 + 6 = -4*b. Suppose w = 5*d - 2*t - 14, 81 = 2*d - 3*t. Is 9 a factor of d?
False
Let v be (3/(-2))/((-3)/4). Let q(p) = p + v + p**2 + 2 - 2*p. Is q(0) even?
True
Suppose -6 = -o - a, 5*a - 16 = -o + 6. Suppose 16 = -3*b - o*s, b - s + 3 = -4*s. Is 51 + (-9)/(-3) + b a multiple of 16?
True
Let a = -440 + 611. Is 10 a factor of a?
False
Suppose -4*h + 5*n = 37, -5*n + n = 5*h - 5. Let u(r) be the second derivative of -r**3 - 7*r**2/2 - 3*r. Is u(h) a multiple of 3?
False
Let m be (-2 + 20/15)/(6/(-9)). Is 27 a factor of (-110295)/(-731) - (m - 19/17)?
False
Let d(b) = b**2 + 10*b - 29. Let x be d(-12). Let l(y) = 4*y**2 - y - 2. Does 28 divide l(x)?
False
Let h be (-2)/4*-2*(-2 + -6). Is 4 a factor of (-345)/(-6) - 4/h?
False
Suppose 0 = -254*u + 250*u + 164. Suppose 0 = -5*l - 46 - 84. Let w = u + l. Does 15 divide w?
True
Let q(w) = 18*w**2 - 4*w - 78. Is 38 a factor of q(-6)?
False
Suppose 4*b - 155 - 261 = 0. Suppose -11*p + 7*p + b = 0. Does 3 divide p?
False
Let v(b) = 677*b + 1. Let i be v(1). Is 6/(-14) + i/14 a multiple of 16?
True
Suppose -25 = -4*j - 5. Suppose -j*c = -50 - 115. Is c a multiple of 11?
True
Let h = 1117 - 605. Is 32 a factor of h?
True
Suppose 5*b + 95*y = 96*y + 5809, 3*y + 5807 = 5*b. Does 83 divide b?
True
Suppose 0 = -37*c + 39*c. Suppose -3*p + 2*a + 441 + 13 = 0, c = -a + 1. Is p a multiple of 38?
True
Let z(w) = 13*w + 5. Let b = 31 + -20. Let x be z(b). Suppose 4*o + 5*n = -37 + 193, 0 = 3*o - 4*n - x. Is o a multiple of 13?
False
Does 50 divide (-25)/2*(-1892)/43?
True
Suppose -d - 262 = -0*d. Let n(l) = l**3 + 3*l**2 - 3*l - 4. Let s be n(-4). Is d/s - 3/(-12) a multiple of 11?
True
Let g be 88/6*(-2 + (-1)/(-2)). Let q = g - -178. Does 12 divide q?
True
Suppose 12*l + 72 = 6*l. Is 17 a factor of 1 - (800/l + 1/(-3))?
T