?
False
Let h be (-2 + -2 + 5)*-10. Let m(r) = r**2 - 4*r + 14. Is 30 a factor of m(h)?
False
Let o be 0*(20/(-8) - -3) - -5. Suppose 3*h = 8*y - 4*y + 4, 2*y - 2*h = -2. Is (-54 + o)*(0 + y) a multiple of 7?
True
Suppose 60*t = 57*t + 1776. Is 16 a factor of t?
True
Let q be 336/98 - 4/(-7). Suppose k - 224 = q*n, 2*n - 492 = -2*k - n. Is 48 a factor of k?
True
Let z(s) = -s + 22. Let l be z(19). Suppose l*v - 71 = 76. Is 13 a factor of v?
False
Let m(g) = g**3 - 10*g**2 + 12. Suppose w - 3 = -3*l, 2*w + l - 6 = -3*l. Let h be 9 - (-3 - (-5 + w)). Is m(h) a multiple of 6?
True
Suppose 0 = 23*h - 18*h - 470. Is h a multiple of 39?
False
Let q = -53 + 74. Let n(d) = -8*d + 3*d**2 - q + 28 + 4*d**2 - d**3. Is n(5) a multiple of 9?
False
Let i be 644/8*((-6)/(-3) + 0). Suppose 4*m + 95 = -u, 2*m - 58 = -3*u - 323. Let o = u + i. Is o a multiple of 30?
False
Is 8 a factor of (-206 - (-2 - -2))*(-7 + 3)?
True
Suppose -f + 2*f = 2*f. Suppose 18 - 63 = -5*q + 4*x, -3*q + 20 = -x. Suppose h + k = 16, f = 3*h + h - q*k - 46. Is 4 a factor of h?
False
Let f = 143 - 141. Suppose -f*c + 3*c - 5*w = 55, -3*c + 4*w + 132 = 0. Is 17 a factor of c?
False
Let x be (3 - 2)*(-1)/(-1)*0. Suppose x = -4*p + 8*p - 132. Does 10 divide p?
False
Suppose 0*r - 476 = -5*r + 3*v, 4*v = -2*r + 206. Let j be r - (-3 + -1 - -3). Suppose 30 - j = -2*u. Is u a multiple of 17?
True
Suppose -2*m = -1742 + 716. Does 19 divide m?
True
Suppose 0 = -8*k + 809 + 631. Is k a multiple of 5?
True
Does 37 divide 80/(-30)*(-296)/(-4)*-6?
True
Suppose -a - 3*k + 0*k = -45, -a + 2*k + 20 = 0. Suppose -o + a = o. Suppose 2*z = o + 45. Is 10 a factor of z?
True
Suppose 29 - 21 = -n. Is ((-348)/(-8))/((-6)/n) a multiple of 29?
True
Suppose -z = 2*z. Suppose -4*h + z*h = 0. Suppose -6*c + 10*c - 104 = h. Is c a multiple of 13?
True
Suppose -2*o - 2*z - 145 = -489, 5*z - 692 = -4*o. Is o a multiple of 8?
True
Let o(m) be the first derivative of m**2/2 + 6*m + 2. Let b be o(-8). Does 14 divide b*2/((-12)/153)?
False
Let v(b) = -7*b + 68. Is v(8) a multiple of 3?
True
Suppose 258 = -3*b - 3*b. Let w = b - -47. Is w a multiple of 2?
True
Let m = 18 - 21. Let q be ((-10)/10)/(1/m). Suppose 292 - 30 = 3*p - 4*x, -q*x = -6. Does 18 divide p?
True
Suppose 12*k - 2576 - 7396 = 0. Is 7 a factor of k?
False
Suppose -5*d = o - 24, -4*d = -3*o - 11 - 12. Suppose -2*k + 489 = d*z, 2*z + 0*z = -5*k + 183. Is 11 a factor of z?
True
Let u = -7 - -115. Does 54 divide u?
True
Is 13 a factor of (359 - -5)*(2 + -1)?
True
Let s(c) = 35*c - 42. Does 11 divide s(5)?
False
Let q = 2 - -6. Suppose q = -3*a - 1. Is 16 a factor of 50/((-2)/3*a)?
False
Let k(u) = u**2 + 6*u + 1. Let c be k(-3). Let w(z) = z**3 + 9*z**2 + 11*z + 2. Let b be w(c). Does 11 divide b/(-4)*(5 - 3)?
True
Suppose -3*m + 4*s = -5 - 26, 21 = 5*m + s. Suppose 0 = 4*h - m*y - 34 + 5, -5*h + 33 = -3*y. Let z(f) = 5*f - 3. Is z(h) a multiple of 7?
False
Suppose -10 = 13*v - 15*v. Suppose 5*y = i - 0*y + 23, 0 = 2*i + 5*y - 29. Suppose -v*h = -i - 3, z = 3*h + 29. Does 4 divide z?
True
Let u(s) = -44*s + 14. Let t be u(-2). Let g = t + 20. Is 27 a factor of g?
False
Let d = -114 + 813. Does 22 divide d?
False
Let j = -38 - -50. Suppose -j*u + 7*u + 210 = 0. Is u a multiple of 13?
False
Let d(k) = -306 + k - 6*k**3 + 305 - 7*k**3. Is d(-2) a multiple of 9?
False
Let u be (-2)/6 - 6375/45. Let s = u + 199. Is 57 a factor of s?
True
Let a be (5/5)/((-2)/(-6)). Does 43 divide (43/(-2))/(a/(-6))?
True
Let l = -34 - -358. Is 54 a factor of l?
True
Suppose r = 3*q - 342 - 191, 508 = 3*q + 4*r. Does 9 divide (q/66)/(1/54)?
True
Let a = -1610 - -4008. Does 11 divide a?
True
Is 43 a factor of ((-1662)/4)/(-4 - (-7)/2)?
False
Let b(q) = q**3 - 3*q**2 + 2*q - 2. Let m = 3 - 0. Let f be b(m). Suppose f = u + 1. Is u a multiple of 2?
False
Let q be (0 - 10)*8/(-16). Suppose 6 = 3*b - 30. Let i = b + q. Is i a multiple of 5?
False
Let n = -44 - -120. Let c = n + -34. Does 6 divide c?
True
Suppose -2*f + d = -340, 9*d + 680 = 4*f + 10*d. Does 5 divide f?
True
Let k(b) = 59*b**3 + 3*b**2 - 2. Let i be k(1). Suppose v - i - 137 = 0. Is v a multiple of 13?
False
Suppose 11982 = 7*d + 684. Is 19 a factor of d?
False
Suppose 7*r = -360 + 3580. Does 20 divide r?
True
Suppose -4 = 3*g - 5*g. Let y be g*4/(-4) - 11. Let d = y + 24. Is d a multiple of 4?
False
Suppose o - 1 = -0. Let m be 3 - 1*(-25 - o). Suppose c + m = 81. Is c a multiple of 13?
True
Let b = 578 - 281. Is 33 a factor of b?
True
Suppose -4142 = -5*c + 1058. Is c a multiple of 20?
True
Suppose -25*k = -7515 - 11860. Is k a multiple of 31?
True
Let b be 4*1 - (6 + 6). Let x be b/(-4)*(-14)/4. Is 13 a factor of 1 + 1 - (-43 + x)?
True
Is 15 a factor of (-1317)/(-3) - (-14 + 12)?
False
Suppose 1 = 2*m - 3. Let v be m + -1 + (4 - 4). Suppose t = -v + 7. Is t a multiple of 5?
False
Let a = -389 + 2165. Is 16 a factor of a?
True
Suppose -3*g - q - 160 = 0, -7 - 28 = g + 4*q. Let t = g + 82. Does 13 divide t?
False
Suppose -10*j + 5*j = 445. Let b = -45 - j. Suppose -2*o = -0*o - b. Does 13 divide o?
False
Suppose -82*g + 78*g + 1344 = 0. Is g a multiple of 28?
True
Let q(u) = u**3 - 12*u**2 + 11*u + 6. Let z be q(11). Suppose g - z*g = -215. Does 17 divide g?
False
Let m = -2 + 6. Suppose -o - 3*o - 28 = -5*a, -m*a + 10 = 3*o. Does 5 divide 5*a/((-2)/(-2))?
True
Does 43 divide 899 + (-7)/(56/(-32))?
True
Let q = 13 + -14. Is 8 a factor of 4/(0 + q/(-6))?
True
Suppose n - 381 = c - 49, 5*n + 2*c = 1688. Is 56 a factor of n?
True
Suppose -3*u + 1071 + 2 = 4*n, 5*u + 5*n = 1795. Is u a multiple of 33?
True
Is 6 a factor of -4 + (0 - (-54 + 3))?
False
Let y(i) = -i**3 - i**2 - 1. Let u be y(-2). Let s(o) = o**3 - o**2 + 5*o - 3. Is s(u) a multiple of 15?
True
Let h be 8 - (5 - 1) - 6. Is 12 a factor of (-2)/h - -142*3/6?
True
Suppose -675 = -5*v - x + 4*x, -4*v - 3*x = -513. Is v a multiple of 22?
True
Let c = -1210 + 2126. Is c a multiple of 23?
False
Let b be 3 - -34 - 5 - 0. Let q = 4 - 7. Is 7 a factor of (48/b)/(q/(-70))?
True
Suppose -4*h = -2*d + 3*d - 78, -d - 2 = 0. Suppose 0 = p + 3*g + g - 23, 0 = 2*p - 5*g - h. Does 3 divide p?
True
Suppose 19*b - 15*b = p - 1000, 4*p - 4045 = b. Does 23 divide p?
True
Let k = -60 - -65. Suppose -2*v = -2*s - 10, -6*v + k*v + 5 = -2*s. Is 5 a factor of v?
True
Suppose -3*g + 3 = 0, 4*t + 0*t = 2*g - 370. Let a be 4/(-18) + 1501/(-9). Let d = t - a. Does 11 divide d?
False
Let w = -12 + 15. Let k = 2 + w. Does 4 divide 1 + 18 - (-2 + k)?
True
Suppose 7 = 2*s + 1. Suppose 0*h + 19 = h + 4*r, -s*h - r = -101. Is 20 a factor of h?
False
Suppose g - 3*z - 216 = 0, -234 = -g - 2*z - z. Does 7 divide g?
False
Let k(l) = -2*l + 23. Suppose -5*y + 0*s = 5*s + 10, -16 = 4*s. Suppose 3*n - y*n = 0. Is k(n) a multiple of 14?
False
Is (-280)/(-112)*(-1 - -143) a multiple of 6?
False
Let u(l) = 5*l**2 - 6 - 6*l - l**2 + 5*l. Does 24 divide u(-5)?
False
Let u be (-5 - 0) + (0 - -20). Does 24 divide (-16)/(-50)*u/(-6)*-120?
True
Let z(k) = k**3 + k**2 + 1. Let h(l) = -8*l**3 - 9*l**2 + 5*l - 6. Let n = -9 - -15. Let x(o) = n*z(o) + h(o). Is 12 a factor of x(-4)?
True
Let u(b) = 3*b - 4. Let f be u(7). Let l = 13 - f. Let s = 28 + l. Is 12 a factor of s?
True
Let t be ((-2)/(-6))/((-10)/30). Let c = 5 - t. Suppose -x + c*x + 3*b = 327, b = -x + 67. Is x a multiple of 12?
False
Suppose -4*s = 5*q + 229, 0 = q + 4*s + 13 + 20. Is 26 a factor of 2181/21 + (-7)/q?
True
Let d(j) = -j**2 - 8*j + 12. Let r be d(-9). Suppose r*m + 2 - 11 = 0. Suppose p - 19 = m*f, -p - 5*f + 9 = -3*f. Is p a multiple of 5?
False
Let j = -7 + 6. Suppose 4*d - 1105 - 319 = 2*r, 5*r = 3*d - 1082. Is d/8 - j/(-4) a multiple of 9?
False
Suppose 3*n - 6 = -0*n. Suppose 5*k + n = -3*h, -2*k + 25 = -5*h + 1. Suppose -k*m - 33 = -5*m. Is 11 a factor of m?
True
Let a(c) = c**3 + 5*c + 10*c**2 + 2*c**2 - 27 + 3*c**3 - 5*c**3. Is a(12) a multiple of 11?
True
Suppose 0 = -15*a + 23210 + 8035. Is 53 a factor of a?
False
Let j(b) = -2*b**2 - 105*b - 138. Is j(-46) a multiple of 20?
True
Let b = -5 - -6. Let r be (1 - b) + (-6 - -3). Let f = r - -35. Is f a multiple of 9?
False
Let c = 1650 + -1118. Suppose -c = -4*t - 5*y, -4*y = 3*t - 6*y - 422. Suppose 3*w + 5*p - 114 = 0, p - 3*p + t = 4*w. Is w a multiple of 11?
True
Let g