h**2 + 30*h - 1. Let i be t(-12). Let y = 117 + i. Is y a multiple of 15?
False
Suppose -3*u + 3318 - 762 = 0. Suppose -b = -2*l + 3*b + u, -5*l = -3*b - 2165. Suppose -2*n - d + 459 = 0, -5*n + 2*d + 1606 = l. Does 44 divide n?
False
Let t = 48 - 56. Let g be t/(-6)*(-4 + 7). Suppose g*q = k - 27, 5*q + 180 = 5*k - 0*q. Is k a multiple of 13?
True
Suppose -46*q - 263 = -4081. Is q a multiple of 14?
False
Let i(s) = -2*s**2 + 5 - 5*s - 16*s + 0*s**3 + 33*s - 3*s - s**3. Let g = -16 - -10. Is i(g) a multiple of 7?
False
Suppose 0 = 13*c - 4159 - 1574. Let w = -131 + c. Does 23 divide w?
False
Let h(l) = -l**2 + 29. Let v be h(8). Let j(t) = t - 1. Let z be j(4). Does 6 divide 1 + ((-3)/z - v)?
False
Suppose -4*y + 5*y = 2*x - 6, -x = -3*y + 2. Suppose x*m = -555 + 2427. Suppose 0 = -3*i - f + m - 89, -3*f = i - 137. Does 21 divide i?
False
Suppose 21396 = 4*k + 217*a - 215*a, -a = -2*k + 10686. Is k a multiple of 81?
True
Let o(v) = 5*v**2 + 30*v - 22. Let f be o(-7). Suppose 0 = f*j - 24*j + 6908. Does 19 divide j?
False
Suppose -6410 + 538 = -8*a. Let m = 1138 - a. Is m a multiple of 10?
False
Is 266 a factor of (420/(-45))/(30/(-2565))?
True
Let n = -69 + 77. Suppose 8*h = n - 8. Suppose -3*l = 6, h*l - l = -5*x + 162. Is 6 a factor of x?
False
Suppose 0 = 6*p - 14 - 40. Suppose 8*b - 33 = -p. Suppose 0 = -4*w + 7*w + 3*s - 63, -b*s - 12 = 0. Is 5 a factor of w?
True
Let n be (-128)/10 - (-1)/(-5). Let z(x) = x**3 + 12*x**2 - 13*x. Let b be z(n). Is b - (-376)/7 - 78/(-273) a multiple of 18?
True
Suppose c + 78 = 2*h, -5*h + 2*c + 201 = -2*c. Let o = -31 + h. Is 4 a factor of (-30 - -6)*(-2)/o?
True
Suppose -29*b - 15*b = -22969 - 7699. Does 4 divide b?
False
Suppose -3*t + 16070 = 3*c - 196, t + 3*c = 5430. Is t a multiple of 126?
True
Suppose -3*j + 10276 = -16*l + 5*l, 5*j = 3*l + 17142. Does 74 divide j?
False
Let w be (-9)/(-5) + 1/5. Suppose -3*b + 25 = 2*y - 0*y, -15 = b - 4*y. Suppose w*n + 5 + 1 = 0, b*x + n = 102. Does 7 divide x?
True
Let v(n) = 11*n - 2. Let u be v(-3). Let q be 10/u - 2902/(-14). Suppose -3*x - 4*a + q = -49, 3*a = -2*x + 170. Does 22 divide x?
True
Let h = 37926 + -18898. Is 14 a factor of h?
False
Is (178596/(-861))/((-6)/364) a multiple of 88?
True
Let z(y) = 40*y**2 + 6*y - 26. Let p be -55 + 59 + 0/(-2). Does 58 divide z(p)?
True
Suppose -2*u + 2 = 0, 5*y + 54*u - 3129 = 50*u. Is 25 a factor of y?
True
Let g(k) = 250*k + 2958. Does 42 divide g(9)?
True
Suppose m - 1 = -3*v, 4*v + 0 = -4*m + 4. Is 415 - (1 + m)/(6/(-9)) a multiple of 38?
True
Let x = -2051 + 4196. Does 55 divide x?
True
Let h(q) = 5*q**3 + 2*q**2 + 6*q - 6. Let g be h(-4). Let l = 34 - g. Does 7 divide l?
False
Suppose 3364*s = 3388*s - 1253616. Is s a multiple of 26?
True
Suppose 0 = -y - 2, -m - 4*y + 2 = m. Let h(t) be the third derivative of -t**6/120 + t**5/12 + t**4/12 + 4*t**3/3 - 2*t**2. Is 9 a factor of h(m)?
True
Let i = -75 - -93. Let o be (4/(120/i))/((-1)/(-5)). Suppose o*w - 183 = 21. Does 4 divide w?
True
Let r = 200 - 80. Suppose 60*j - 58*j = r. Does 2 divide j?
True
Let c be (3936/16)/((-65)/(-50) - 1/(-5)). Suppose 0 = 3*b + 89 + 91. Let a = c + b. Does 43 divide a?
False
Let x = -41 - -354. Is x a multiple of 8?
False
Suppose 4*v + 4*a - 7*a = 11, 3*v - 10 = 4*a. Suppose 17 - 63 = -v*g. Let m = 47 - g. Does 12 divide m?
True
Suppose -3*s - 3*y + 3 = 0, -9*s = -5*s - 5*y - 40. Suppose 11 = -h - 5*w - 7, 2*h = s*w + 39. Suppose v - 22 = -3*z, -2*z - 4*v - v - h = 0. Does 9 divide z?
True
Is (-576)/54*(0 - 702) a multiple of 96?
True
Is 39 a factor of (3 - 7)*4 + 7833?
False
Let y(f) = -f**2 - 29*f - 43. Let n = 64 + -89. Does 57 divide y(n)?
True
Suppose 0 = 4*d - n - 69389, 12*n = -3*d + 17*n + 52063. Is 118 a factor of d?
True
Suppose -f = 3*k - 247, 7*f - 173 = -2*k + 8*f. Does 15 divide (-5)/((2/(-14))/(72/k))?
True
Let h = 197 - 89. Suppose 31*p = 22*p + h. Does 6 divide p?
True
Let k(y) = 2*y + 19. Let r be k(-8). Let a(h) = 6*h - 14. Let v be a(r). Is (1 - v)*12/(-36) + 96 a multiple of 12?
False
Suppose 24*b - 2722896 = -167*b. Is b a multiple of 16?
True
Suppose -31*y = -780349 - 62851. Is 64 a factor of y?
True
Suppose -10269 = -5*a + z, -5*a - 2999 = -4*z - 13265. Is a a multiple of 21?
False
Let u(n) be the second derivative of 139*n**4/12 + n**2/2 + n. Suppose -1169 = -3*f - 5*f - 1177. Does 35 divide u(f)?
True
Let l(r) = 34*r + 62. Let y = 213 + -189. Is l(y) a multiple of 68?
False
Let h = -250 - -431. Suppose h = 5*w - 2*a, 0 = -5*a + 13 - 3. Does 5 divide w - ((-3 - -3) + -3)?
True
Let q be (-48)/(-4)*(-3)/(-12)*-2. Does 14 divide q + 1 + -3 + 316?
True
Let m(q) = -188*q**3 + 2*q**2 - 12*q - 95. Is 97 a factor of m(-5)?
False
Let t be 2/(-10) + 86/5. Let z be t + -16 + (-1 - -255). Let c = z + -53. Does 13 divide c?
False
Let t(h) = h**3 + 17*h**2 - 16*h + 9. Let y(b) = b**3 + 15*b**2 - 16*b + 8. Let g(d) = -5*t(d) + 6*y(d). Let c = -4 - 3. Is g(c) a multiple of 17?
True
Suppose u + 29 = -22. Let z = 50 + u. Is z/(21/(-300)) + (-6)/21 a multiple of 3?
False
Let x = 128 + -110. Let s be (-4)/6*(-15 + x). Is 18 a factor of (1 + s + -8)*-24?
True
Let c = -1652 + 1902. Does 9 divide c?
False
Suppose 3*n + 3*n = 0. Let q be (-2 + n)/(4/(-10)). Suppose -g + 2*t + 354 = 0, 3*g - 7*g - q*t = -1351. Is 43 a factor of g?
True
Let u(p) = p**3 + 7*p**2 + 2*p + 16. Let j be u(-7). Is (-1)/(j/972)*75/(-150) a multiple of 7?
False
Suppose m = 5*n - 7 - 0, 0 = 4*m - 4*n + 12. Let t(h) = 26*h + 3. Let k be t(m). Let p = k + 115. Is p a multiple of 22?
True
Suppose 2827 = 2*m - z - 2566, 3*m = -5*z + 8070. Does 4 divide m?
False
Let x(s) = -2*s**2 + 6*s + 343 + s**2 + 61*s**3 - 62*s**3 - 3*s. Is 23 a factor of x(0)?
False
Let s be -25 - -20 - 5/(-1). Suppose 21 = 3*k - s. Suppose -2*g - 4*b = -k*g + 409, 0 = 3*g + 2*b - 241. Does 27 divide g?
True
Let h(k) = 3672*k**2 - 324*k. Does 45 divide h(-1)?
False
Suppose -12914*a + 12915*a - 150 = 0. Is 17 a factor of a?
False
Suppose -5950 = -65*n + 16475. Is 15 a factor of n?
True
Suppose -3*c = -18*c + 45. Suppose -4*y + 707 = 8*t - c*t, -t + y = -136. Is 4 a factor of t?
False
Let t(l) = 11*l - 28 - 2 + 7*l**2 - 10*l - 11*l. Does 7 divide t(-7)?
False
Let p(s) = -s + 8. Let r(b) = -2*b + 17. Let z(n) = 7*p(n) - 3*r(n). Let m be z(-2). Suppose 0 = m*h + 4*h - 693. Is 38 a factor of h?
False
Let b = -366 - -371. Is 13 a factor of b + -2 - 5550/(-25)?
False
Let u = -6 - 9. Let f = -73 + 142. Let k = f + u. Is k a multiple of 18?
True
Suppose -y + 44 - 17 = 0. Suppose -3*k + 10770 = y*k. Does 35 divide k?
False
Let f(x) = 3*x**2 - 492. Is f(-22) a multiple of 4?
True
Is 11 a factor of (4 + -309 - -7)/((-5)/100)?
False
Let o(j) = 1277*j + 900. Is o(9) a multiple of 153?
True
Suppose 24101*h + 201290 = 24111*h. Is h a multiple of 135?
False
Let t(k) = -30*k - 430. Let i be t(-21). Suppose -602*j + i = -594*j. Is j a multiple of 3?
False
Is 400390/110 - (-5)/55 a multiple of 130?
True
Let d(g) = 3*g. Let h(j) = -j**3 + 5*j**2 - 6*j + 1. Let w be h(3). Let m be d(w). Suppose m*r - 21 = 2*r. Does 2 divide r?
False
Let l be (-5078)/14 + (32/(-28))/4. Let a = -232 - l. Is a a multiple of 69?
False
Let s(y) = -y**2 - 22*y - 19. Let b be s(-18). Suppose 9*t - 163 = b. Is 7 a factor of t?
False
Suppose 2*p = 5*j + 16520, 2*j - 9*p = -14*p - 6608. Let q = -1641 - j. Is q a multiple of 37?
False
Suppose -5*n + 56 = 36. Let m be n - (32 + 0)/4. Is 15*m/(-50)*5 a multiple of 2?
True
Suppose 3*i + 2*d = 264, 7*i - 3*i = -d + 357. Suppose -4*u + 112 = z, i = z + u - 13. Is z a multiple of 7?
False
Suppose -4*g - 25 = -1. Does 13 divide 15/g - 3493/(-14)?
True
Let x(z) = -z**3 - 4*z**2 + 9*z + 6. Let r be ((1/(-2))/(-1))/((-3)/36). Let i be x(r). Suppose -65 = -5*u - 5*g, -4 = 4*g - i. Is u a multiple of 3?
False
Let k = 28128 + -13241. Does 38 divide k?
False
Let f(w) be the third derivative of w**4/24 + 35*w**3/3 + 32*w**2. Is f(-28) a multiple of 9?
False
Suppose 3*s = -g + 215, 4*g - 501 = 3*s + 434. Let h(k) = -k**3 - k**2 - 4*k - 24. Let q be h(-3). Is (g/(-4))/(q/(-12)) a multiple of 34?
False
Let g be (-1 - (-7)/4)/((-1)/20). Let h(y) = -y + 23. Let v be h(g). Suppose 6*t = 5*t + v. Does 6 divide t?
False
Let u(p) = -2*p**3 - 11*p**2 - 29*p + 10. Let r(t) = -4*t**3 - 22*t**2 - 59*t + 17