m = 7*z - 6*z + 329, 0 = 2*z + 8. Does 5 divide m?
True
Suppose -5*d = -5, -2*d + 2 = -0*r + 5*r. Let k = 808 + -93. Suppose r = 7*w - 12*w + k. Does 34 divide w?
False
Let r = 54 + -32. Let y = r - 25. Is 7 a factor of ((-1520)/(-12))/2 + 1/y?
True
Is (-160436)/(-42) + 24128/(-672) + 36 a multiple of 15?
False
Suppose -s - s + 15188 = 5*z, 3*s - 9111 = -3*z. Is z a multiple of 24?
False
Let h = 91 + -87. Suppose h*b - 38 = -2*m, -67 = -8*m + 3*m - 3*b. Does 2 divide m?
False
Is 26 a factor of -1 - 2717/(-5) - 702/1755?
False
Is 14 a factor of (548/3)/((-150)/720*(-4)/15)?
False
Suppose -26*m - 17*m = -205970. Is m a multiple of 10?
True
Let y(p) = p**3 + 16*p**2 - 21*p - 23. Let t(m) = -14*m + 74. Let s be t(6). Is y(s) a multiple of 51?
False
Let l = 1596 + 2174. Suppose 0 = m + 5*t - 738, -5*m - 3*t + l = 2*t. Is m a multiple of 32?
False
Let p be (20/(-8))/((-3)/(-138)). Is (-266)/(-10) + (-46)/p a multiple of 27?
True
Let g = -490 - 43. Let h = g - -797. Does 33 divide h?
True
Suppose 5*q - 6*y + 7*y - 22121 = 0, -4*y = -24. Is q a multiple of 10?
False
Suppose 76*w - 8*w - 81600 = 0. Is w a multiple of 80?
True
Is 15 a factor of (-1498)/(-4)*(-6650)/(-931)?
False
Suppose 5 = 2*j - 3*j, 0 = o + 3*j + 7. Suppose 4*s - o = -4. Suppose 5*a - 94 = s. Is a a multiple of 5?
False
Does 58 divide 1057 - 39*16/48?
True
Let b = -4 - -7. Suppose 0 = 5*j + i - 0*i - 983, b*j + i - 591 = 0. Suppose 0 = -2*d + 76 + j. Is d a multiple of 26?
False
Let t(f) = 7783*f + 14. Is t(1) a multiple of 69?
True
Suppose 264 = 36*s - 3*s. Let n(p) = 86*p - 91. Is n(s) a multiple of 24?
False
Let l(x) = 16*x**2 - 10*x - 1. Let j be l(1). Suppose b + j*z = 560, -3*z - 105 = -b + 487. Is b a multiple of 34?
False
Let h = 17087 + -13428. Is h a multiple of 79?
False
Let p(y) = 2*y - 19. Let m = -52 + 64. Let a be p(m). Suppose 4*g + 308 = 4*f, -46 - 323 = -a*f - 3*g. Is 5 a factor of f?
True
Let w = 82244 - 55023. Is 15 a factor of w?
False
Let k(z) = -3*z**3 - 6*z**2 - 6*z - 2. Let s be k(-5). Suppose 668 = 14*c - 1460. Suppose -9*i + c = -s. Is i a multiple of 7?
False
Suppose -2*t + 40838 = 4*n, 0 = -62*n + 67*n + 4*t - 51052. Is 88 a factor of n?
True
Let m(l) = -2*l. Let z be m(-3). Suppose -o + 560 = 4*t, -5*o + 2800 = -z*t + 3*t. Is 35 a factor of o?
True
Let n(h) = 2*h**2 + 23*h - 69. Let b be n(-18). Suppose b*z - 24 = 162*z. Does 7 divide z?
False
Let c(x) be the third derivative of -x**6/40 + 17*x**4/24 + 25*x**3/3 + 2*x**2 + 67. Is 50 a factor of c(-8)?
True
Suppose 5*z + 4*b - 11077 = -1110, -5*b = 3*z - 5975. Is 95 a factor of z?
True
Let u(d) = -1512*d - 4859. Is 12 a factor of u(-10)?
False
Let d be 0 + 0 + (-5 - -47 - -8). Suppose 0 = -14*m + 19*m - d. Is 10 a factor of (4 - -1)/m + 489/6?
False
Suppose -125952 = -2025*s + 2009*s. Is s a multiple of 5?
False
Let r = 59 + -51. Suppose 3*v = r*v + 25. Let f(n) = -18*n + 1. Is 23 a factor of f(v)?
False
Let p(x) = 494*x - 2398. Is 22 a factor of p(55)?
True
Let u = 25746 + -18264. Is 43 a factor of u?
True
Let a(y) = y**3 + 3*y**2 + 1. Let h be a(-3). Suppose 3*j - 11 = -5*i, h = i - 0. Does 27 divide (-15)/(-30) + 69/j?
False
Suppose -18 = -m - 24. Let h be m/(-8)*(-5 + 17). Suppose -5*b = -h*b + 312. Does 26 divide b?
True
Let q = 629 - 353. Suppose 0 = -4*t + 2*p - q, -2*p = 4*t - 5*p + 274. Let o = t - -114. Does 9 divide o?
False
Let i = 70 - 59. Suppose -6*h + i*h - 2200 = 0. Does 40 divide h?
True
Let b(h) = 3*h**2 - 8*h - 11. Let l = 2 - 0. Suppose 2*s + l*i + 0*i - 2 = 0, 3*s + 5*i = 11. Is 8 a factor of b(s)?
True
Let i(c) = 415*c**2 - 31*c + 61. Is 21 a factor of i(2)?
True
Suppose -25*k = 177 + 123. Does 18 divide k/(-6) + 51 - -1?
True
Is -10 + (6151 - (-52)/(-4)) a multiple of 20?
False
Let z(n) = n - 16. Let c be z(17). Is -3 + -2 + 3 + c + 136 a multiple of 9?
True
Let w be (-2)/14 - (-684)/133. Suppose w*i - v - 331 = 0, 5*i + 2*v = -59 + 387. Is i a multiple of 6?
True
Let r be 3 - (3 + -1 + 0). Is (-30960)/(-54) + r*(-1)/3 a multiple of 24?
False
Let d(x) = -45*x**2 - 4*x - 4. Let y be d(-1). Let f = -33 - y. Is (3/f*2)/(1/204) a multiple of 51?
True
Let o(q) = q**3 + 14*q**2 + 12*q + 29. Suppose -5*w - d - 62 = 0, -2*d - 46 = 4*w - 0*d. Does 6 divide o(w)?
True
Let f(o) = 38*o**3 + 3*o**2 + 18*o + 36. Let r be f(7). Suppose 9*i - 4801 = r. Is 72 a factor of i?
True
Let w(c) = -3*c**2 - 70*c + 15. Let o be w(-23). Let v = -40 + 73. Suppose -625 = v*x - o*x. Does 25 divide x?
True
Does 3 divide (-62920)/(-80) - 6/4?
False
Suppose -21 = 57*c - 64*c. Does 35 divide ((-21)/(-6))/(1268/(-424) + c)?
False
Let m be (28 + -27)/(1/(-1)). Let q be (m/(1 - 2))/(5/(-865)). Let n = 2 - q. Does 14 divide n?
False
Is 8 a factor of 1820/(-21)*(-2613)/26?
False
Let c(l) = -7*l**2 + 15*l + 214. Let p be c(23). Does 18 divide (-1)/(p/(-12704) - (-3)/(-12))?
False
Is -45*(-6)/9 - (-9 - -16) a multiple of 23?
True
Suppose -317*n + 328*n - 231 = 0. Suppose x - 3 = 4*x. Does 8 divide (-6 + 259/n)*(-24)/x?
True
Let t(h) be the first derivative of h**3/3 - 8*h**2 + 4*h + 30. Let u be t(8). Is ((-6)/4)/(3/u) a multiple of 3?
True
Let q = -491 + 763. Does 25 divide q?
False
Let o(x) = -2*x**3 - 6*x**2 - 6*x + 1. Let v = -141 + 134. Is o(v) a multiple of 32?
False
Let a(v) = v. Let s(w) = -w**2 + 14*w + 11. Let b(y) = -6*a(y) + s(y). Let f be b(9). Suppose 5*q = 3*j - 8*j + 130, 5*q + f*j - 118 = 0. Is 11 a factor of q?
True
Let y = -22 - -27. Does 38 divide ((-11)/(-22))/(y/2720)?
False
Let z(w) = w**2 + 7*w - 30. Let m be z(-15). Let o = 102 - m. Suppose 528 = o*i - 9*i. Is i a multiple of 22?
True
Suppose 173*l - 6135 = 158*l. Is l a multiple of 10?
False
Let b = 250 - 139. Suppose 0 = -114*x + b*x + 6. Suppose x*j = 4*j - 338. Is 44 a factor of j?
False
Let d be (1 - (-16 + 2))*(4 - 3). Suppose -16*z - 559 = -3*u - d*z, -5*u + 933 = -2*z. Is 19 a factor of u?
False
Let g(t) = t**3 + 60*t**2 + 145*t + 120. Does 16 divide g(-56)?
True
Is 4 a factor of ((-2)/(-8) - 10/16*-6) + 1042?
False
Suppose 6*l + 1585 = -0*l + 20233. Is 28 a factor of l?
True
Suppose -545762 - 81469 = -23*g + 380192. Is g a multiple of 277?
False
Suppose 13 = s - 5*d, -5*s = -3*s - 4*d - 2. Let j be ((-70)/4)/s*6. Suppose y + 5*w = 24, j = y + w + 3. Is y a multiple of 2?
False
Does 10 divide 8 + (-11 - (-12 - 1354))?
False
Suppose -3*o - 3*s = -23883, o - s = 9240 - 1273. Is o a multiple of 11?
True
Suppose 0 = x - y - 79, 5*y - 241 = -3*x - 12. Suppose 0 = -x*q + 81*q - 9. Does 38 divide (12/(-20) - 1876/(-10)) + q?
True
Let f = 3474 - 2299. Is 47 a factor of f?
True
Let u(t) = 3*t**2 + 14*t - 21. Let o be u(-6). Let v(i) = 45*i**2 - i. Is v(o) a multiple of 67?
True
Suppose 24*m - 8 = 28*m - 4*i, 4*m - 2*i = 0. Is m/(-10) - 5180/(-25) a multiple of 12?
False
Suppose -1800 = -7*p + 15*p. Is 19 a factor of ((-108)/(-30))/((-10)/p)?
False
Does 43 divide (11603 - -348) + (1 - (8 + 2))?
False
Let v be 60/50 - 78/(-10). Does 15 divide (2 - 0) + 898 + -3 + v?
False
Suppose -2*w - 7*w - 27 = 0. Does 11 divide (-4 + 172)/2 + 0/w?
False
Is 174 a factor of ((-42543)/(-36) + -25)/(1 + (-7)/8)?
False
Let j(k) = k**2 - 14*k + 10. Let y be j(13). Let r be (4/(-8))/(y/(-18)). Does 12 divide 52 + (-1)/(r/(-12))?
True
Suppose -3*a + 12495 = -389*v + 392*v, 0 = 5*v - 5*a - 20875. Is v a multiple of 15?
True
Suppose -3*g - 2*y = g + 30, -4*g - 5*y = 39. Let n be 21/g - 4/8. Is 6 a factor of ((-9)/n)/(1/12)?
False
Is -5*(-42)/(-70) + 4585 a multiple of 79?
True
Suppose 0 = 5*l - 3*d + 18 + 72, -2*l - 35 = -d. Let z = l + 58. Does 8 divide z?
False
Suppose -4*x = -8 + 12. Does 26 divide (390/(-24))/(x*(-4)/(-32))?
True
Suppose 4*q - 26769 = -3*x, 54*q - 4*x - 13368 = 52*q. Is 13 a factor of q?
False
Let x(k) = 4*k**2 - 28*k + 107. Let j be x(14). Suppose 45 = 4*u + 5*g - 938, -2*u - g + j = 0. Is u a multiple of 5?
False
Suppose -399 - 4724 = -q + 9532. Does 172 divide q?
False
Suppose 3*c + 0*c - 158 = 2*z, z + 5*c = -79. Let o be ((-122)/3)/(4/6). Let i = o - z. Does 3 divide i?
True
Suppose 441581 - 154757 = 34*q. Is 35 a factor of q?
False
Let i = -16 - -44. Is 35 a factor of 280/30*(i + 2)?
True
Suppose -256 = 2*j + 5*i + 293, 0 = -j - 2*i - 275. Let o be (-15)/35 + j/7. Let t = o - -87. Is t a multiple of 16?
False
Let l be ((-12)/(-22))/((-608)/88