7*n = -73*n + 550628. Does 16 divide n?
False
Let g be ((-294)/12)/7 - (-1)/(-2). Let h be (-1)/(g/12) - 1 - -9. Suppose -h = -s + 125. Is s a multiple of 34?
True
Suppose 111*t - 166818 - 414378 = 0. Is 15 a factor of t?
False
Suppose -220*i - 4*l = -224*i + 180532, -5*i = -l - 225673. Is i a multiple of 59?
True
Let a = 341 - 330. Suppose 1066 + 2146 = a*j. Is 13 a factor of j?
False
Suppose -6*j - j - 5*t + 120551 = 0, 0 = 5*j - 5*t - 86125. Does 5 divide j?
False
Let q(p) = -28*p**3 - 31*p**2 - 35*p + 60. Does 24 divide q(-12)?
True
Let x = 4 - 39. Suppose 0 = o - 3*l + 49 + 35, 0 = 3*o + 2*l + 197. Let n = x - o. Does 7 divide n?
False
Does 10 divide (72/(-30))/((-16)/1200)?
True
Let j be 3/6 - (3570/(-4))/7. Suppose 0 = y + 2*k - j, 2*y + 6*k - 258 = k. Suppose 2*f + 4*z - z = 54, -4*f - 2*z = -y. Is f a multiple of 10?
False
Suppose 0 = 4*y + 4039 + 1601. Let s = -962 - y. Is s a multiple of 32?
True
Suppose 530 = 3*j - 370 - 1395. Does 85 divide j?
True
Suppose -3*o + 22*r - 33 = 20*r, 0 = -4*o + 5*r - 37. Is 3 a factor of (o - -34)*(-20)/(-7)?
True
Let x be 18*5/(-30)*-3. Suppose -q - 15 = x*i - 7*i, 11 = -i - 4*q. Let g(h) = -h**3 - 5*h**2 + 12*h + 11. Is g(i) a multiple of 4?
False
Suppose f = -2*a - 472 + 2606, -5*f = -a - 10725. Does 16 divide f?
True
Is 205 a factor of (3 - (-772)/16)*(-104)/91*-56?
True
Let z = 35 + -39. Is 13 a factor of ((-346)/z)/(-3*(-1)/6)?
False
Let j = -4516 - -5197. Is j a multiple of 48?
False
Let w = 269 - 240. Let y = 39 + -93. Let g = w - y. Is g a multiple of 27?
False
Let v = -16 - -17. Let x be (-926)/(-5) - (-5)/(-25)*v. Does 8 divide (444/x)/(1*2/20)?
True
Suppose 208 = 2*c - 6*c. Let p = -25 - c. Suppose -l = -9 - p. Does 7 divide l?
False
Suppose -25 = -2*x - 2*c - c, c = -4*x + 25. Suppose -x*o = -99 - 101. Suppose 2*m = 72 + o. Is m a multiple of 14?
True
Suppose 114 - 1320 = 4*g + 2*f, -324 = g - 4*f. Does 8 divide 1/(4*(-4)/g)?
False
Let t(q) = q**3 + 13*q**2 + 11*q - 8. Let o be t(-12). Suppose -o*a + 755 = 59. Suppose 0 = -3*c + 6*c - a. Does 11 divide c?
False
Suppose -4*q + c + 12 = -2*c, -5*q - 4*c = 16. Suppose -7*g = -q*g - 8456. Suppose 7*h = g + 283. Does 32 divide h?
False
Is 53 a factor of (-13 + -381)/((-36)/1098)?
False
Let f = 11 - -36. Let p = -69 + f. Let h = 34 + p. Does 2 divide h?
True
Suppose -40 = -4*n + 4*y, -3*y = 6*n - 3*n - 24. Suppose 1488 = 7*m + n*m. Is 9 a factor of m?
False
Let d = -1 - -3. Suppose -5*q + p + 19 = -17, d*q + 4*p - 32 = 0. Suppose 412 = q*z + 28. Is z a multiple of 16?
True
Suppose -21*c + 23*c - 21455 = -5*f, 0 = -3*f - 4*c + 12873. Is f even?
False
Let a(j) be the second derivative of 13*j**3/3 + 3*j**2 - 4*j. Let c be ((-18)/(-3) - 3)/3. Is 16 a factor of a(c)?
True
Suppose -5*g - 20 = 2*g - 4*k, 2*k - 10 = 0. Suppose g = 7*a - 350 - 2310. Does 20 divide a?
True
Let r be (3 + 9/(-12))*4. Suppose -264 = r*h - 6*h. Let f = h + 208. Is f a multiple of 8?
True
Let b(n) = 3*n**3 + n**2 - 3*n - 2. Let d be b(2). Let t = d - 9. Let g(o) = -o**3 + 12*o**2 - 11*o + 3. Is g(t) a multiple of 3?
True
Let m be 2*21/(-56)*-16. Let d = -24 + 34. Let b = m + d. Is 11 a factor of b?
True
Suppose 5 = x, 3*z + 2*z + 4*x - 1070 = 0. Is (8/(-6) - z/(-63))*10 a multiple of 2?
True
Let f(b) = -b**2 - 38*b - 65. Let z(n) = 2*n**3 - 13*n**2 + 12*n - 2. Let p be z(5). Is 15 a factor of f(p)?
False
Let j(f) = 131*f - 18. Suppose 26*i + 20*i - 230 = 0. Is j(i) a multiple of 49?
True
Let q be (-39)/(-2)*4/(-6). Let h(k) = -k**2 - 11*k + 30. Let y be h(q). Suppose -2*t + 234 = y*m, -3*m - 2*m = 3*t - 352. Is 17 a factor of t?
True
Let g(r) be the third derivative of r**7/840 - r**6/36 + r**5/40 + r**4/2 + 13*r**3/6 - r**2. Let m(q) be the first derivative of g(q). Does 7 divide m(10)?
True
Let i be -6*1/(-20) - 14203/10. Let x = -36 - i. Does 72 divide x?
False
Let z be 18/54 - 46/(-6). Suppose p - 27 = -z*p. Suppose 2*a = p*f + 116, 4*a - 5*f + 4*f - 252 = 0. Does 8 divide a?
True
Is -172*(12 + 84*(-24)/36) a multiple of 172?
True
Suppose -11*p + 77 = 11. Does 37 divide ((-18056)/183)/((-1)/p)?
True
Suppose -3*b + 25 = -2*x + 6*x, 3*x + 3*b - 21 = 0. Suppose -4 = x*u - 4*y, -2*u = -y - 4*y - 13. Is 17 a factor of u/(-9) - (858/9)/(-1)?
False
Let t = 13907 + -6752. Is 114 a factor of t?
False
Let j = -219 + 376. Let p = j - -123. Is 56 a factor of p?
True
Suppose -4*q + 5*t + 503 = 0, 0 = -3*q - 4*t + 985 - 569. Does 8 divide q?
False
Let m(f) = -7*f**3 + 20*f**2 + 23*f - 7. Let l(p) = -20*p**3 + 59*p**2 + 68*p - 22. Let b be 1 + -14 - (-9 - -13). Let k(d) = b*m(d) + 6*l(d). Is k(15) even?
False
Let p = -5723 + 6055. Is p a multiple of 4?
True
Let w(a) = -13*a + 52. Let h(s) = s**3 + 6*s**2 + 7*s - 1. Let o be h(-3). Suppose -4*d + o + 7 = -q, -5*d + 36 = -3*q. Is 13 a factor of w(q)?
True
Let l = 24 - 57. Let g = -30 - l. Suppose k - 5*c = -0*k + 54, g*c = -3. Is 33 a factor of k?
False
Suppose 0 = 10*b - 171 - 2889. Does 6 divide b?
True
Let s(w) = -4*w + 8. Let v be s(1). Suppose 0 = l + v*f - 28, -l - 3*f + 73 = 3*l. Is l a multiple of 2?
True
Let s(v) = -v**2 - 12*v + 58. Let i be s(-16). Does 14 divide (-7 - (-1395)/i)*-2?
False
Suppose -58*y = -52*y - 31740. Is 115 a factor of y?
True
Let y(f) = 5*f**2 - f - 3*f**2 + 5*f**2 - 3 - 3*f**2 - f**3. Let w be y(3). Suppose w*b = 7*b - 48. Is 12 a factor of b?
True
Suppose 38*d + d = -0*d + 205491. Does 21 divide d?
False
Suppose 34*p - 281663 = 111*p - 999688. Is p a multiple of 25?
True
Let d = -187 + 178. Let q(c) be the third derivative of -c**5/60 - 3*c**4/4 + 7*c**3/6 - 3*c**2. Is 19 a factor of q(d)?
False
Let i(c) = -20*c**2 + 3*c**2 + 18 - 28*c + 12*c**2 - 5*c + 4*c**2. Is i(-16) a multiple of 29?
True
Let i(b) = -5*b**2 + 3*b + 5. Let j be i(4). Let q = j + 69. Is -2 + 50 + 2 + -2 + q a multiple of 9?
True
Let m(n) = 2435*n - 3604. Does 49 divide m(8)?
True
Suppose -2*l + 4*h + 1 = 3, -4*h = -l - 5. Is 2/l - (-13 + (-728)/6) a multiple of 4?
False
Suppose -18*u = -29*u + 2970. Suppose -4*y - 2*d + u = 0, 0 = 4*y - 2*d - 182 - 108. Is 10 a factor of y?
True
Suppose 3*y = g - 2*g + 3812, -4*y - 2*g + 5084 = 0. Suppose 1418 + y = 14*n. Is 16 a factor of n?
True
Suppose -24*h + 128590 - 38830 = 0. Is h a multiple of 10?
True
Let m = -15930 - -31897. Is 21 a factor of m?
False
Let b(i) = 8*i - 142. Let p be b(18). Suppose 4*c - p*u - 11 = 1825, 2*c = -5*u + 930. Does 8 divide c?
False
Let f(d) = -25*d + 48. Suppose 4*k = -3*c - 38, c + 5*k - 3*k + 16 = 0. Is 37 a factor of f(c)?
False
Let g(o) = 10*o**3 + 32*o**2 - 11*o + 56. Does 28 divide g(12)?
True
Suppose -4*f + 96 = -5*k + k, -5*f - 90 = 5*k. Let r = -3706 + 3623. Let n = k - r. Does 7 divide n?
False
Let z(p) = -278*p - 151. Is 112 a factor of z(-21)?
False
Suppose -28*s + 68 = -44. Suppose s*p = -5*f + 137, 31 = p + 4*f - 6*f. Is 8 a factor of p?
False
Let d(c) = c**2 + 24*c - 58. Let o be d(-18). Does 12 divide (o/7)/((-4)/14)?
False
Suppose -104 + 29 = 5*p. Let t = -11 - p. Suppose 67 = 3*h + 2*k, -30 - 47 = -3*h - t*k. Is h a multiple of 2?
False
Let f(z) = 2*z**2 + 53*z + 144. Let p(c) = -7*c**2 + 11*c - 6. Let n be p(3). Is 18 a factor of f(n)?
True
Let a(z) = 7*z**2 - 25*z + 10. Let g = 375 - 365. Is 11 a factor of a(g)?
False
Let b = 5856 + -5304. Is b a multiple of 24?
True
Does 24 divide (-364)/26 + 32771 + 3?
True
Let b be 0 + (165/2 - (-5)/10). Let r = -87 + b. Let i(q) = 5*q**2 + 6*q - 1. Is i(r) a multiple of 11?
True
Let l(i) = 8*i**2 + 60*i - 1. Let k be l(-11). Suppose 6*v - 593 - k = 0. Does 11 divide v?
False
Let o be 2 + 2/(-6) + (-7)/(-21). Suppose 0*s = -2*y - 3*s - 58, -o*y - 54 = 4*s. Let z = y - -126. Is 13 a factor of z?
True
Let b(t) = t**3 + 4*t**2 - 10*t - 3. Let r = -17 + 11. Let q be b(r). Is 37 a factor of q/(-2)*22*(-20)/(-15)?
False
Let w(h) = -3*h + 101. Let m be w(31). Does 24 divide (-8)/(m/(-4)) + 258?
False
Let w = -569 + 594. Does 46 divide (395/w - -5)/((-4)/(-20))?
False
Suppose -16 = -5*y + y, -3*l + 27 = 3*y. Is 6 a factor of 40/(-6)*((-1008)/l)/7?
True
Let u = 14 + -2. Suppose 0 = 14*a - u*a - 1498. Does 40 divide a?
False
Let y(k) = -7*k**3 + 18*k**2 - 7*k - 16. Let c(j) = j - 8*j - 16 + 15*j**2 - 8*j**3 + j**2 + 3*j**2. Let l(h) = -6*c(h) + 7*y(h). Is 7 a factor of l(11)?
True
Suppose 0 = 164*n - 255*n + 110