13. Suppose -q + k = -4*f, 2*q - 5*f = 3*q - 14. Is 32 a factor of 452/q - ((-80)/(-56))/5?
True
Let j(z) be the first derivative of -19*z**2/2 - 5*z + 2. Let v = -70 + 68. Is 11 a factor of j(v)?
True
Let z(b) = 1. Let l(k) = k - 56. Let i = 109 + -110. Let a(t) = i*l(t) - 2*z(t). Does 8 divide a(-10)?
True
Let d(k) = -19*k**2 - k. Let u be d(-1). Suppose 39*o - 462 - 1332 = 0. Let v = o + u. Is v a multiple of 14?
True
Let u = 47 - 42. Suppose 0 = -u*f + 328 + 242. Suppose 0 = 8*y - f - 126. Does 6 divide y?
True
Is (-3 - -17673) + (-8)/24 + (-42)/9 a multiple of 9?
False
Let o(j) = -61*j + 6. Suppose -4*q - 4*k + 4 = 0, q + 3*k - 2 + 3 = 0. Let h be o(q). Let m = h - -239. Does 18 divide m?
False
Suppose 6*u + 668 = -1342. Let w = 588 + u. Does 23 divide w?
True
Let n(b) = -b - 4 + 1 + 3*b**2 + 2 + 2. Let x be 1*(1 - (2 + -4)). Does 5 divide n(x)?
True
Let w(g) = -g**3 - 7*g**2 - 8. Let j be w(-7). Let l(a) = -a**2 - 9*a - 8. Let m be l(j). Suppose -3*b + 0*b + 216 = m. Is b a multiple of 18?
True
Suppose -2*w = 8*w - 340. Let o = w - 321. Let x = -107 - o. Is x a multiple of 18?
True
Let l = 114 - 112. Let x be (-80)/(-35) - (-4)/(-14) - l. Suppose 9*h + 1 - 541 = x. Is 30 a factor of h?
True
Let z(o) = -3*o**3 + 5*o**2 - 12*o - 20. Let x(m) = m**3 - 4*m**2 + m + 2. Let u be x(3). Is z(u) a multiple of 21?
False
Suppose o - 6*o - 658 = -3*p, -10 = 2*o. Is (1 - (0 - 3))/1 + p a multiple of 43?
True
Let q(o) = 14*o - 27. Let f be q(8). Let n = f + -1. Suppose -10*k + 17*k - n = 0. Is 2 a factor of k?
True
Let l(s) = -13*s - 63. Let g be l(-5). Does 49 divide 3/(g/(4/3)) - -443?
False
Let w(r) = 7*r - 2. Let c be 15/3 - 4*1. Let p be w(c). Does 14 divide 1514/12 - (p/30)/1?
True
Let q = -264 - -566. Suppose -q = -8*m + 2. Is m a multiple of 4?
False
Let a(i) = i**3 + 53*i**2 - 80*i + 4. Is 17 a factor of a(-52)?
True
Let u(j) = 5*j**3 - 4*j**2 + 4*j + 2. Let l be u(4). Let p(b) = b**2 - 7*b - 1. Let g be p(0). Is (-14)/(-8) + g + l/8 a multiple of 5?
True
Suppose 39821 + 65979 = -10*q. Does 37 divide 17/187 - q/22?
True
Suppose 420*i - 1356 = 423*i. Let q = 0 - i. Is 21 a factor of q?
False
Does 45 divide 2939/3*(31 + -28)?
False
Let b(w) = 24*w + 1. Let h be b(1). Let u be (-21 - (-644)/21) + (-1)/(-3). Is 216/u - (-10)/h a multiple of 4?
False
Is 43 a factor of -5*(6/(-4))/((-15)/(-90)) + -2?
True
Let n be (-2)/(-6) + (-1)/3. Suppose n*s = 4*q - 4*s + 356, -4*s = -3*q - 263. Let f = q + 203. Does 11 divide f?
True
Let h be 115 - (0 + -1)*3. Let i = h - -129. Is i a multiple of 13?
True
Suppose -104 + 368 = -4*q. Let u be (6/(-4))/(q/2948). Suppose -4*r = 2*t - t - u, -77 = -t + r. Is 25 a factor of t?
True
Let n(r) = 13*r - 155. Let x(t) = 13*t - 154. Let d(l) = 5*n(l) - 6*x(l). Is d(-13) a multiple of 38?
False
Suppose -16*r = -13*r + 6. Let h be r + (5 + 1021)/(-3). Let x = h - -631. Is x a multiple of 17?
False
Let x = 22 + -1. Let g = 10087 - 10082. Suppose g*n - x - 309 = 0. Is 8 a factor of n?
False
Let d = -9 - -5. Let l = 32 + -33. Does 7 divide l/(10/(-255))*d/(-3)?
False
Suppose -245*m - 239*m + 2698970 = -2810886. Is 17 a factor of m?
False
Suppose 4*j + 0*v + 5*v + 7 = 0, -5*j - 2 = 4*v. Suppose 0 = -2*l + 3*l + j*a + 4, 0 = -5*l + a + 2. Suppose 0 = -3*i - l*i + 168. Is 10 a factor of i?
False
Let a be 198/(-1)*(-1)/2 - -3. Suppose -28*q - a = -34*q. Suppose -q*v + 14*v = -198. Is v a multiple of 22?
True
Suppose 41*x + 4 = 40*x, 0 = b - 3*x - 5916. Is 36 a factor of b?
True
Suppose 55*r + 29*r = 15*r + 937572. Is r a multiple of 86?
True
Suppose v + 11606 = 3*f, -100*f + 98*f - 5*v = -7743. Is 53 a factor of f?
True
Suppose -21 = -5*v + 14, 5*i - 4522 = 4*v. Is 9 a factor of i?
False
Let f(n) = 5*n + 32. Let l be f(-6). Suppose 0*o = -l*h + 5*o + 2, 3*h + 3*o - 24 = 0. Let c(s) = s**2 + 4*s + 4. Is c(h) a multiple of 16?
True
Suppose -3*y = 3*f - 16284, -f - 3*y + 5340 = -90. Does 68 divide f?
False
Suppose -5*g + 3*g = -330. Let u be -30 + (10/(-5) - -2)*-1. Let a = g + u. Is a a multiple of 17?
False
Let q = 6050 - 6070. Let t(o) be the third derivative of o**6/120 + 7*o**5/20 + 3*o**4/4 - 5*o**3 - o**2. Does 10 divide t(q)?
True
Suppose -5*k = -18*i + 2581, 274 = 2*i - 13*k + 15*k. Does 2 divide i?
True
Let i = 13 - 10. Let s(p) = -3 - 1 - 2*p**2 + 10*p + 2*p**3 - i*p**2 + 1. Is 17 a factor of s(4)?
True
Let u be -1*(3 + 2 + -3 - 7). Suppose u*f + 810 = -f. Let t = f - -207. Is 24 a factor of t?
True
Let f(w) be the first derivative of 3*w - 5*w**2 + 0 - 5*w**2 - 1 + 2*w**2. Does 8 divide f(-2)?
False
Is -4*(-4405)/(-30)*6/(-1) a multiple of 39?
False
Let t be (39/(-65))/((-12)/80). Suppose t*o - 1007 = b, -2 = -5*b + 3*b. Is o a multiple of 84?
True
Let x = 35 - 31. Suppose 0 = 4*r - z + 27007, 0 = -2*r + r + x*z - 6748. Does 33 divide 1/(-3) + r/(-24)?
False
Let a(n) = -15*n - 72. Let l be a(-5). Suppose m - 36 - 17 = -l*p, 1 = p - 3*m. Is p a multiple of 8?
True
Suppose -v + f + 0*f = -19, -4*f + 44 = v. Suppose -810 = -v*t + 18*t. Suppose -2*h = b - 52, -t = -5*h + 3*b + 17. Does 7 divide h?
True
Does 11 divide 54718*((-2)/(-26) - (-66)/156) + -2?
True
Suppose -4*g - 2*q + 6*q = 452, 4*g + 3*q = -452. Let a = g - -108. Let k(y) = -28*y - 50. Is 30 a factor of k(a)?
True
Let y(v) = 60*v**2 - 235*v + 54. Is 8 a factor of y(12)?
False
Let l(c) = -14*c + 2. Suppose -1 = -f + 4. Let w be l(f). Let v = w - -128. Is v a multiple of 12?
True
Let x(p) be the third derivative of -p**6/30 - p**5/15 - p**4/12 - 20*p**2. Let a be x(-4). Let n = a - 74. Is n a multiple of 24?
False
Suppose -10*v + 195 = 5*v. Let z(q) = q**3 - 13*q**2 + 4*q + 6. Is z(v) a multiple of 7?
False
Suppose 6*u + 11 + 1 = 0. Let r be (-6)/u + 4 + 83. Suppose -y + 643 = 3*z, 4*z - y + r - 959 = 0. Is 27 a factor of z?
True
Suppose 3*v - 3*w - 50 - 43 = 0, 5*v + 4*w - 164 = 0. Let p = v - 36. Is ((-2)/p)/(2/132) a multiple of 5?
False
Let b(t) = -t**2 - 26*t + 2. Let s(a) = a**3 + 7*a**2 + 7*a + 4. Let l be s(-6). Let p(m) = 3*m**3 + m + 4. Let q be p(l). Is b(q) a multiple of 30?
True
Let p(l) = 57*l**2 - 7*l - 19. Let a(y) = -28*y**2 + 4*y + 9. Let x(d) = 10*a(d) + 6*p(d). Let m be x(-6). Suppose m = w + 9*w. Does 34 divide w?
False
Suppose -6*f + 937 = -2*f - 5667. Does 13 divide f?
True
Let m be (-68)/30 - (-12)/45. Let c(k) be the first derivative of -19*k**2/2 + 6*k + 1. Is 4 a factor of c(m)?
True
Let u = 89 + -86. Suppose -4 = -w + 5*r, -w - 5*r + 1 = -3. Suppose 3*m + g = m + 36, -m = -u*g - w. Is 9 a factor of m?
False
Let h be (-45)/(-6) + (-15)/10. Suppose h*u - 19 = 29. Suppose -u*c = 226 - 1458. Does 7 divide c?
True
Let p = -7 + 106. Let v = p + -95. Suppose v*o + w - 230 = 0, -2*w + 257 = 3*o + 87. Is o a multiple of 8?
False
Suppose -24*v + 444 + 348 = 0. Suppose v*m - 12008 = 6439. Does 13 divide m?
True
Suppose 2*v = 5*t - 0*v - 59441, 0 = -4*t - 2*v + 47542. Is 8 a factor of t?
False
Let c be 92/(-72)*-46 - 2/(-9). Suppose 5*l - 3*p - 113 = 0, -2*l - 4*p - c = -5*l. Is 7 a factor of l?
False
Let i = -33 - -29. Let p be i + 16 - (2 - 2). Is ((-27)/p)/((-15)/40 - 0) a multiple of 6?
True
Suppose 25*s = 22*s - 3*z + 105717, 0 = 4*s - z - 140996. Does 17 divide s?
False
Let v be (372/(-9))/((-10)/(-15)). Let t = v - -323. Is t a multiple of 18?
False
Let k = 29366 - 18422. Does 19 divide k?
True
Let y be (13 - 6) + (2 + -1 - 0). Let h be 142 - (-3 - (-8 + 2)). Suppose y = g - h. Is 23 a factor of g?
False
Let t(s) = s**3 + 14*s**2 + 5*s + 72. Let n be t(-14). Suppose -2*g - 90 = -2*p, -n*g - 42 = -2*p + p. Does 24 divide p?
True
Let g = -35 + 40. Suppose -6*f + 502 = -g*f. Suppose 2*i - f = -4*q, -3*q - q + 5*i = -523. Does 29 divide q?
False
Suppose 6*w - w + 25 = 0. Let q(c) = -2*c**3 + 4*c**2 + 4*c + 5. Let k(n) = -3*n**3 + 9*n**2 + 8*n + 9. Let h(y) = 3*k(y) - 5*q(y). Does 15 divide h(w)?
False
Suppose -5*b + 7 = -3. Suppose -d = -b*f + 52 + 53, -295 = -5*f - 4*d. Suppose -6*m + f = -m. Is m a multiple of 2?
False
Does 10 divide (-102)/(-1173) + 5/(460/79112)?
True
Let c = -5486 + 7184. Is c even?
True
Let s = 23452 + -19409. Is s a multiple of 168?
False
Let l = -7628 + 20048. Does 46 divide l?
True
Does 57 divide (-5)/((-5)/13734) - -3*(-26)/(-39)?
False
Let i = -492 + 339. Let p = i + 89. Let w = p - -94. Is w a multiple of 9?
False