*z - 3792, 2*z + 5692 = 3*f. Is f a multiple of 26?
True
Let l = 23 + -2. Suppose 22*n = l*n - 64. Let w = n + 108. Is w a multiple of 12?
False
Let k = 7 - 2. Suppose -k*d - 88 - 197 = 0. Let m = -14 - d. Is 9 a factor of m?
False
Let r = 192 - 192. Suppose 0*s - s - 4*k + 136 = r, 5*s = 4*k + 704. Is s a multiple of 14?
True
Suppose 0 = -5*f - 4*x + 38196, -5*f + x + 32082 + 6094 = 0. Is 12 a factor of f?
False
Let j(l) = -93*l - 3252. Is j(-65) a multiple of 49?
True
Let u(k) be the first derivative of -k**4/4 - 4*k**3/3 + 10*k - 253. Suppose 2*m - b + 11 = 0, 0 = -m - 0*b + 5*b - 10. Is 5 a factor of u(m)?
True
Let t = 3491 + -2863. Is t a multiple of 5?
False
Suppose -5*q + 74245 = 5*o, -4*q - 8*o = -10*o - 59390. Does 7 divide ((-42)/8)/((-174)/q)?
True
Let m be -38 - 0 - -1*2. Let k = -309 + 399. Is (-964)/(-10) + m/k a multiple of 24?
True
Suppose 4*v - 3 = 3*v. Let o(s) = -38*s + 5. Let b(n) = -39*n + 5. Let q(p) = v*b(p) - 2*o(p). Is q(-4) a multiple of 13?
True
Let x(l) = -6*l**3 + 2*l**2 + l - 1. Let a be x(-1). Suppose 0 = -a*s - 702 + 3162. Is 41 a factor of s?
True
Let v(a) = 47*a - 7. Let w be v(-7). Let o = -149 - w. Is o a multiple of 54?
False
Suppose -31*o - 66*o = -167422. Is 6 a factor of o?
False
Suppose -4*n + 5*d + 109939 + 9021 = 0, -n + 3*d = -29747. Is 220 a factor of n?
False
Suppose 0*o = 5*o - 5*k + 75, -4*o - 5*k - 24 = 0. Let f(h) = 2*h**3 + 22*h**2 - 4*h - 3. Is f(o) a multiple of 5?
False
Suppose 3*j - 5*t = 13497, 6996 + 11026 = 4*j + 2*t. Suppose -4*a + 3592 = -0*z - 4*z, 2*z - j = -5*a. Does 36 divide a?
True
Let d(z) = -3*z**2 + 5. Let y be d(0). Suppose -4 = 3*l + 2*k - 0, -3*l + y*k + 10 = 0. Suppose 193 + 65 = 4*x + i, 3*x + i - 193 = l. Is x a multiple of 13?
True
Let r(s) = -1351*s - 70. Does 9 divide r(-7)?
True
Suppose -1599 = -0*h - 3*h. Suppose -g + 3*j - 529 = -5*g, -4*g + j + h = 0. Does 25 divide 76/g + 342/14?
True
Let r(i) = 2*i + 24. Let s be r(-11). Suppose -u + k + 273 = 0, s*u + 3*k - 244 - 307 = 0. Suppose 5*p - 5*w = 280, 5*p = w + 2*w + u. Is p a multiple of 14?
False
Let s = -344 - -347. Suppose -2*l + 442 = 2*r, -2*l + 240 + 196 = -r. Suppose 2*p = s*u + 3*p - l, -5*p = 15. Is 12 a factor of u?
False
Let p be 27/(1413/(-288) - -5). Does 18 divide (p/20)/(2/265)?
True
Let a be ((-2 - 1)*-1)/(3/376). Suppose -2*m = a - 980. Let w = 456 - m. Does 22 divide w?
True
Let f(l) = -2*l**2 + 7*l + 4. Let y be f(2). Suppose 0 = -4*j + y*j. Suppose j = 2*m - 303 - 93. Is m a multiple of 30?
False
Let o = 656 + 321. Suppose -7*j - y = -5*j - o, -3*j - 2*y = -1468. Is j a multiple of 18?
True
Let l = 63 - 60. Suppose 0 = 3*z - z - 2*h - 18, l*z = -5*h + 27. Suppose 531 = z*v - 6*v. Is v a multiple of 47?
False
Let w = -14 - -15. Let v(p) = -4*p**3 + 3*p**2 + p + 1. Let y(m) = -m**3 - m**2 + m - 1. Let o(t) = w*v(t) + y(t). Is 22 a factor of o(-2)?
True
Suppose -303*c - 12551 = -314*c. Is c a multiple of 13?
False
Let b(t) = 281*t + 2437. Is 108 a factor of b(19)?
True
Suppose -h + 2*b = -0*b + 70, 3*h = 3*b - 210. Let p = h + 121. Suppose 0 = 5*f + 2*m - p - 91, -2*m = f - 22. Is f a multiple of 6?
True
Let j(t) = -25*t**2 - 41*t + 33. Let a be j(-12). Let o = 4635 + a. Is o a multiple of 40?
True
Suppose -10*c - 18286 = -91126. Does 46 divide c?
False
Let t(a) = -1. Let b(j) = -3*j + 9. Let s(z) = -b(z) + 6*t(z). Let g be s(6). Suppose d = 2*c - 3*d - 148, -g*c + 4*d + 212 = 0. Is c a multiple of 16?
True
Let h(d) = -6*d - 23. Let t be h(-17). Suppose 2*a = 489 - t. Suppose -a + 73 = -6*y. Does 18 divide y?
False
Suppose -48654 = 24*m - 104576 - 97678. Is 25 a factor of m?
True
Is (2 - 3 - -104)/(-21 + (-22358)/(-1064)) a multiple of 38?
True
Let o(u) = -u**2 + 70*u - 291. Is o(26) a multiple of 24?
False
Suppose -532 + 147 = 5*r. Is 6 a factor of (-10)/(-10) - 1*r?
True
Let q = 21553 - 13022. Is q a multiple of 40?
False
Let m = 5742 + -5739. Let j = 160 - 60. Is 17 a factor of 1 + (j - m - -4)?
True
Let p(r) = 87*r**2 - 10*r - 1. Let h be p(-6). Suppose v + h = 5*t, -10*t = -13*t + 3*v + 1917. Does 29 divide t?
True
Let t(h) be the first derivative of h**6/360 + h**5/15 + 7*h**4/24 - h**3/3 + 18. Let f(m) be the third derivative of t(m). Is f(-9) a multiple of 9?
False
Suppose -v = -2*c - 1493, -3*v - 2101 = -4*c - 6576. Is v a multiple of 4?
False
Let z(j) = -j - 23. Let h be z(-3). Does 22 divide 17/(-85) + (-1264)/h?
False
Let l be (-8)/(-3) - 14/(-6). Does 34 divide 238*(3/1)/(-2 + l)?
True
Let j be (2/(-1))/(8/28 + 0). Let p = -3 - j. Suppose 4*w = 2*o + 276, p*w + 5*o + 135 - 425 = 0. Is 14 a factor of w?
True
Is 5 - 163495/38*6/(-15) a multiple of 14?
False
Let v = -7578 + 18654. Is 12 a factor of v?
True
Let n(r) = 10*r**2 - 13*r - 39. Let b be n(-7). Let f = b - 454. Is f a multiple of 11?
True
Let t = 11400 + -7922. Is t a multiple of 94?
True
Is 32 a factor of 375126/36 - (-68)/(-408)?
False
Suppose -441003 = -50*h + 282197. Does 16 divide h?
True
Suppose -30*n = 39038 - 158. Let g = n - -2661. Does 15 divide g?
True
Let d(r) = 8*r + 294. Suppose 0 = -2*z - 9*t + 4*t - 6, 4*z + 4*t = 0. Suppose z*h + 15*h = 0. Is 61 a factor of d(h)?
False
Is -7 - (1473505/(-275) - 6/(-5)) a multiple of 10?
True
Let d = -40 + 203. Suppose 5*o + u - 285 = 0, d = 5*o + 4*u - 137. Is o a multiple of 7?
True
Let o = 10829 - 7644. Is o a multiple of 49?
True
Suppose 39*j = 82*j - 61017. Does 129 divide j?
True
Let y(t) = 2*t**2 - 13*t + 7. Suppose k + 9 - 20 = 0. Let r be y(k). Suppose -r = -2*u - 20. Does 8 divide u?
False
Let v be 11/2 - -7 - 2/4. Let i(b) = 3*b - 29. Let o be i(v). Suppose 0 = -2*y - o*y + 162. Is y a multiple of 7?
False
Suppose h + 0*p + p = 17, -3*h = -3*p - 51. Suppose h = 7*q - 4. Is (-81)/(-2 + q/6) a multiple of 13?
False
Suppose 23*l = 3*l + 25*l - 112125. Does 39 divide l?
True
Suppose -77*r + 73*r = -3540. Suppose -5*v - 120 = -r. Is 17 a factor of v?
True
Suppose -3 = -k + 2*o, 4*k - 15*o = -17*o + 12. Suppose k*q - 1 - 47 = 0. Does 3 divide q?
False
Suppose -2*g + 6 = 2. Suppose 0 = g*h - 57 - 99. Is h/(-4*5/(-20)) a multiple of 8?
False
Suppose -4*t - 4*n + 2672 = 0, -63*n + 58*n - 3320 = -5*t. Let y = -557 + t. Does 11 divide y?
False
Suppose 5*x + 1616 - 8520 = -2*t, 5*x = -3*t + 6906. Is 23 a factor of x?
True
Suppose -14*a + 34398 = 7*a. Is a a multiple of 7?
True
Let g = -9156 + 12756. Does 25 divide g?
True
Suppose -18 + 3 = z. Let m(j) = -7*j + 46. Does 12 divide m(z)?
False
Let z be (-1)/1 + 1 + 5. Let r(t) = t - 16 - 3*t + 2*t**2 + 2*t**2 - 30 + 52. Is 48 a factor of r(z)?
True
Let p(j) = 123*j**2 + 37*j + 9. Is 18 a factor of p(-3)?
False
Let c = -61 + 76. Suppose w = 2*m + 12 - 143, -5*m = c. Let n = -18 - w. Is n a multiple of 13?
False
Suppose -260075 = -90*s + 213055. Does 192 divide s?
False
Let y(m) = -10*m**3 - m**2 + 5*m + 150. Is y(-6) a multiple of 12?
True
Let o = 74 - 70. Let j be o/((28/120)/7). Does 28 divide ((-58)/(-4))/(15/j)?
False
Is 11 a factor of (99015/(-966))/(2/(-132))?
True
Let q = -406 + 408. Let u be (-46)/(-6) - (-2)/(-3). Suppose -f + 129 = q*c, -2*f + 3*c - 631 = -u*f. Does 25 divide f?
True
Let q = -423 + 543. Suppose 7*c - 5*y = 2*c + 600, -y + q = c. Does 6 divide c?
True
Let p = 7144 - 3434. Does 27 divide p?
False
Suppose 4*p - 63 - 1439 = 578. Is p a multiple of 65?
True
Suppose 0 = -10*r - 3*r - 0*r + 3588. Is r a multiple of 12?
True
Let x(g) = 117*g + 1103. Is 59 a factor of x(54)?
False
Let v be 0/(15/5)*-1. Let z(m) = 23*m - 23. Let l be z(3). Suppose -2*s + v*s - 5*j + l = 0, 5*j + 150 = 5*s. Is 7 a factor of s?
True
Let l(v) = -615*v - 7118. Does 36 divide l(-16)?
False
Let d = -304 - -2444. Does 42 divide d?
False
Suppose 19*r - 21*r = -5*g - 1, 5*r + 5*g = 55. Let a(i) = -i**3 + 11*i**2 - 6*i - 19. Is a(r) a multiple of 7?
False
Suppose 163*a + 304 = 793. Suppose -1 = -v + 3. Suppose 8*z - a*w = 6*z + 596, -2*z - v*w + 624 = 0. Is z a multiple of 16?
True
Is 20 a factor of 110/(-10) - (12 + -296)?
False
Suppose -5*r + 245 = 3*b, b + 9*r - 85 = 4*r. Suppose 21 = -2*d - 3*h + b, 4*d - h = 125. Suppose 142 = -d*i + 33*i. Does 15 divide i?
False
Suppose -2*d + 8 = -2*i, 0 = 4*d - 4*i + 2*i - 14. Suppose 4*y = v + 13, -6 = -5*v + d*y - 3. Is 1/(((-12)/(-176))/v) a multiple of 33?
False
Let f(m) = 3*m**2 - 4*m - 9. Let