(t). Is 13 a factor of u(j)?
True
Let w(q) = 13*q + 3. Is 7 a factor of w(3)?
True
Let y be (-51)/6 - 9/(-6). Let m be (y/2 + 3)*-6. Suppose d - 87 = -4*r, m*r + r = 2*d - 114. Does 28 divide d?
False
Let n(p) = -4*p**3 + 5*p**2 - 2*p - 1. Let r be n(4). Let q = -124 - r. Does 28 divide q?
False
Suppose 0 = -0*u - u. Suppose u = -2*m + 3*c + 56, 0*m + 5*c = -3*m + 65. Does 3 divide m?
False
Suppose -2*i = -5*a - 4, 3*i - 4*a = -a - 12. Does 11 divide (-366)/4*(-2 + i/(-6))?
False
Let h(t) = t**3 + 23*t**2 + 20*t - 4. Is h(-22) a multiple of 20?
True
Let d be (-1455)/(-21) + 2/(-7). Let m be (9/(-6 + 3))/((-39)/91). Suppose 5*x - 131 = -3*w, 3*x - d = -m*w + 2*w. Is x a multiple of 7?
True
Let r(t) = t**2 - 3. Let u be r(-3). Suppose -2*m = -u*m - 268. Let p = -28 - m. Does 11 divide p?
False
Is 24 a factor of ((-36)/(-16))/(69/16192)?
True
Let s be -11 + 9 + (0 - -12). Suppose -3*d + s = -2. Suppose -d*j + 150 = 2*j. Is 5 a factor of j?
True
Suppose -19456 = -36*v + 87464. Is v a multiple of 30?
True
Suppose -100*n + 91*n + 6426 = 0. Is 21 a factor of n?
True
Suppose 4*z + 20 = s + 5, -3 = -3*s - 2*z. Let x = 5 - s. Suppose -18 = -x*u - u. Is u a multiple of 4?
False
Suppose 24 = -6*d + 3*d. Let u be (-8)/d - (64 - 0). Let w = 94 + u. Does 17 divide w?
False
Suppose 180*s = 176*s + 684. Does 9 divide s?
True
Does 9 divide (-3)/(-8) - 15930/(-144)?
False
Suppose 14 + 10 = 4*o. Is 9 a factor of (-5)/(-10)*o - -15?
True
Suppose 3*w = 9, z - 16 = -3*w - w. Suppose -65 + 13 = -z*q. Let i = q + -6. Is 3 a factor of i?
False
Let m(d) = -d**3 + 6*d**2 - 5*d + 1. Let b be m(5). Is 0 - (-11 + b + -4) a multiple of 3?
False
Let a = 25 + -13. Is 46 a factor of 630/a*16/12?
False
Let t be -18*2*-1 + (-5 - -2). Let q = t + 65. Is q a multiple of 9?
False
Let q be (-2 - -2) + -1 + 6. Let r(d) = d + 25. Does 9 divide r(q)?
False
Let j = 56 + 198. Suppose -4*q = -j + 58. Suppose q = 2*a - 3*h, 3*a - 2*h - 150 = -2*a. Is a a multiple of 16?
True
Suppose 20*m + 13 = 413. Suppose -m = 5*k, -a + 2*k - 3*k + 352 = 0. Is 19 a factor of a?
False
Suppose 5*k - 5*x = 0, -4*x + 11 - 5 = 2*k. Let m = 10 - k. Does 3 divide 0 + m + -2 + 3?
False
Let y = 335 - 119. Is y a multiple of 72?
True
Let n = -56 + 56. Suppose n = -3*b - 4*o + 557, 0*b + b + 4*o = 175. Is 32 a factor of b?
False
Let c(f) = 7*f**3 - 2*f**2 + 1. Let a be c(1). Let y be 4/7*21/a. Suppose 6 - 30 = -y*q. Is 6 a factor of q?
True
Suppose -2 = -i - 3*n, -2*i = -3*i - 5*n + 6. Let d be ((-3)/i)/(1/8). Suppose -d*c = -2*c - 216. Is c a multiple of 18?
True
Suppose 2*q - 20 = -0*q. Let g = 45 - q. Is 7 a factor of g?
True
Let r(x) be the second derivative of -x**6/120 + x**5/15 + x**4/12 + 2*x**3/3 + 3*x**2 + 5*x. Let u(p) be the first derivative of r(p). Does 15 divide u(-3)?
False
Is -4330*(10 - (-357)/(-35)) a multiple of 46?
False
Suppose 9*d = 10*d - 4*c - 586, -3*d - 2*c = -1702. Does 5 divide d?
True
Let i be (1 - (2 - 3)) + 3. Suppose -3*w - 2 = -b - 0*w, -4*b - w = i. Is (-22 - 1)*1/b a multiple of 12?
False
Let n = 2499 + -1412. Suppose 0 = 3*h + c - 641, -5*h + 6*c - 3*c = -n. Does 43 divide h?
True
Let b(u) = -u - 8. Let g be b(-12). Suppose 96 = 4*v + 4*q, -4*q - q - 12 = -v. Suppose 6*w - g*w - 10 = -5*o, -v = -2*w - 2*o. Is w a multiple of 15?
True
Suppose -227 = -2*u + 517. Does 25 divide u?
False
Let h = -13 + 27. Let o = h - 12. Suppose 2*z = 6*z + o*b - 292, 12 = 3*b. Does 20 divide z?
False
Let m(v) = -v**2 - 14*v - 6. Let p(z) = z**2 + 13*z + 5. Let i(g) = -5*m(g) - 6*p(g). Suppose -2*n = 9 + 5. Does 3 divide i(n)?
False
Let d(n) = 4*n**2 + n**3 + 0*n**2 - 5 + 4 - n**2 - 2*n. Let u be d(-3). Suppose -2*s = 10, 2*s - 29 = -c + u*s. Is 7 a factor of c?
True
Let a(d) = 11*d**2 + 52*d - 290. Is a(5) a multiple of 5?
True
Does 13 divide 6*5873/42 - 7?
True
Suppose -3*l + 4*i - 4 + 3 = 0, -3*i = l - 4. Let o be 2 + l*(-16)/(-4). Let m(b) = b**2 - 4*b - 7. Does 4 divide m(o)?
False
Let f(i) = i**3 + 8*i**2 - 12*i - 12. Let q be f(-9). Suppose 4*z + q = -z, -5*z + 66 = -3*a. Let l = 39 + a. Is l a multiple of 6?
True
Suppose 3134 = 20*m + 1074. Does 17 divide m?
False
Let m(f) = 2*f**3 - 6*f**2 + 2*f + 5. Does 39 divide m(8)?
False
Let h(x) = 2*x - 1. Let n(y) = -25*y + 11. Let k(o) = -6*h(o) - n(o). Is k(2) a multiple of 5?
False
Suppose 15*v = 56*v - 9512. Is v a multiple of 38?
False
Let s(p) = -2*p + 20 + 4*p**2 - 21 + p**3 - 2*p**2. Let n be s(-2). Suppose a = -2*q + 2*a + 179, -n*q + 275 = 5*a. Is 30 a factor of q?
True
Let y(z) = -6*z - 12. Let s = -107 + 100. Does 15 divide y(s)?
True
Let k(r) = 18*r - 1. Let d(y) = -288*y + 15. Let i(s) = 2*d(s) + 33*k(s). Is i(2) a multiple of 11?
True
Let f = 242 + -118. Is 10 a factor of (11/(-22))/((-2)/f)?
False
Is 25 a factor of (4 - 16)*(-175)/28?
True
Let p be 1 - -2*(-201)/(-6). Suppose -4*l + 9*l + 83 = 2*k, 2*l - 2 = 0. Suppose -4*c = -2*o + p, 0*c + k = 2*o + 4*c. Is 14 a factor of o?
True
Suppose 29*l - 1053 = -4*p + 26*l, 3*l = 3*p - 795. Is p a multiple of 12?
True
Let a be ((-6)/(-5))/(6/20). Suppose -a*y - j + 18 = 0, -2*y + j + 12 = -0*y. Suppose -2*r = -y*b - 6, 3 = r + 4*b - 0. Is 2 a factor of r?
False
Suppose 0*z - 4*b = 3*z - 1102, 5*b - 371 = -z. Is 20 a factor of z?
False
Suppose -2*r - r = -57. Let s = r - 17. Suppose 3*u - 3*i = 27, -u - i + 27 = s*u. Is u even?
False
Is ((-344)/(-14))/(9 - 9316/1036) a multiple of 37?
True
Suppose 23 = 2*m - 3*q, -3*m - 30 = -8*m + 2*q. Suppose 2*d - m*f - f - 418 = 0, 2*f - 788 = -4*d. Is 11 a factor of d?
False
Suppose -q - 400 = -2*o + 501, -3*o + q + 1352 = 0. Is o a multiple of 41?
True
Let x be (-426)/(-30) + (-2)/10. Does 21 divide (41 + 0)*(x - 12)?
False
Is 74 a factor of -5 + 147 + 6/1?
True
Suppose 8 = 3*g + g. Suppose 2*n = 6 - g. Suppose 0*w + 40 = n*w. Is 10 a factor of w?
True
Does 11 divide ((-11)/(-44) - 38/(-8)) + 171?
True
Let t(u) = -u**2 - 2*u + 24. Let f be t(-6). Suppose -1582 = -f*l - 7*l. Is 15 a factor of l?
False
Let v(w) = 13*w**3 - 5*w**2 - 9. Is v(4) a multiple of 11?
False
Let l(r) be the third derivative of 29*r**5/60 - r**4/24 - r**3/6 + 29*r**2. Is 11 a factor of l(-1)?
False
Suppose -u - u = 2*d - 72, 2*u = -d + 39. Let y be d/(-3)*(-8 - -3). Let m = 124 - y. Is m a multiple of 20?
False
Let c(q) = -q**3 - 14*q**2 + 15*q. Let s be 6/(-8) - 114/8. Let y be c(s). Suppose y = -m + 21 - 7. Does 7 divide m?
True
Let r(c) = -5*c + 6 + 3*c**3 + 7*c**2 + c**3 - 11 - 3*c**3. Suppose -4*q - 21 = -q. Is r(q) a multiple of 5?
True
Is 10 a factor of 89*(-1 - -3) - (31 - 33)?
True
Let g(i) = i**3 - 2*i**2 + 4*i - 4. Let m be g(2). Let x be (-47 - (-7 + m))*-2. Suppose -26*q = -24*q - x. Is q a multiple of 12?
False
Suppose 17160 = 65*a - 0*a. Does 8 divide a?
True
Is 111/(-37)*(-1 - -3 - 21) a multiple of 2?
False
Let q(c) = -21*c - 21*c + 3 + 118*c**2 + 38*c. Does 10 divide q(1)?
False
Suppose 927*m = 934*m - 7679. Does 66 divide m?
False
Let v(d) be the first derivative of 5*d**2/2 - 55*d - 44. Is v(12) a multiple of 4?
False
Let u be 1 - (-1 - 8/2). Suppose 0 = u*y - y - 10. Suppose v + 29 = y*v. Does 29 divide v?
True
Let r(x) = -x**3 + 11*x**2 + 17*x - 141. Does 12 divide r(6)?
False
Suppose 14 = 2*n + 8, 5*n - 872 = -x. Is 63 a factor of x?
False
Let j(q) = 167*q - 158. Does 30 divide j(4)?
True
Let w be ((-2)/8)/((-3)/948). Let o = w - 144. Let h = 146 + o. Is h a multiple of 27?
True
Let r = 18 - 27. Suppose -2*z + 2*g - 48 = 0, -2*g = -2*z + g - 52. Let t = r - z. Does 11 divide t?
True
Let w = 0 - -3. Let x(s) = -s**3 + 3*s**2 - 3*s + 1. Let j be x(w). Is 4 a factor of 15/2*j/(-5)?
True
Let z be (36/(-16) + 3)*(5 + -1). Suppose 9 = -5*g + z*b + 168, 3*g = -2*b + 103. Does 11 divide g?
True
Let y be (-3 - 1)*(-3 + 108/16). Is 2 a factor of (-381)/y - 7*6/105?
False
Suppose 11*t = 8*t. Suppose -176 = -2*v - 6*y + y, 5*y = t. Is 9 a factor of v?
False
Let x = 11648 + -8304. Is 11 a factor of x?
True
Let a(c) = 2*c**2 - 9*c + 13. Let q(p) = -3*p**2 + 9*p - 12. Let f(b) = -4*a(b) - 5*q(b). Is f(6) a multiple of 21?
False
Let t = -23 - 3. Is 4 a factor of (-3 + -18)*(t/6 - -3)?
True
Let k(t) = t**3 + 14*t**2 + 15. Let p = -57 + 31. Let h = p + 12. Is k(h) a multiple of 5?
True
Suppose -5*i = -2*i + 33. Let m = i + 1. Does 8 divide (-402)/m - (-6)/(-30)?
True
Let k