
True
Let a be 93/6 + ((-44)/8 - -5). Suppose -3*j = -2*i - 4*j + 7, 5*i = -5*j + a. Suppose -5*q + 4*f + 78 = 0, -68 = -i*q - 2*f - 16. Does 7 divide q?
True
Suppose 5*g - 61*t + 64*t - 32486 = 0, 5*g + 2*t = 32484. Is 3 a factor of g?
False
Let g(u) = 0*u - 8*u - u**2 - 23 - 6*u - 4*u. Does 6 divide g(-14)?
False
Suppose 18 = 4*r - 5*d, 3*r - 2 = -4*d - 4. Suppose 4*y - 174 = -r*y. Suppose -2*t + 0*t + 5*c + 49 = 0, c = t - y. Is t a multiple of 5?
False
Suppose k - 1 + 4 = 0, -5*z - 2*k = -79. Suppose z*p - 32 = 13*p. Is 13 a factor of (777/28)/(3/p)?
False
Is 84 a factor of 2448/(-414) + 6 - 92732/(-46)?
True
Suppose 60 = -81*n + 77*n. Let i(m) = 5*m**2 + 16*m + 18. Let h be i(n). Suppose -h = -4*f + 4*v - 331, 2*f - 274 = 5*v. Is f a multiple of 21?
True
Let t = 886 + -1844. Does 23 divide -8 + 0 + 2 - t?
False
Suppose 36 = -10*m + 186. Suppose 2*j + m = -j. Is 12 a factor of 104*((-60)/8)/j?
True
Suppose f = 2*w + 184 + 392, -581 = -f - 3*w. Is 21 a factor of f?
False
Let s(a) = 3*a**3 - 102*a**2 - 87*a - 68. Is s(35) a multiple of 2?
True
Let y(i) be the third derivative of -i**6/5 + i**5/60 - i**4/24 - i**3/6 + i**2. Let g(q) = -7*q + 188. Let c be g(27). Does 25 divide y(c)?
True
Let j(i) = 784*i**2 - 833*i - 4941. Is 39 a factor of j(-6)?
False
Let i(y) = 9*y + 3. Let v(u) = 3*u. Let t(a) = 5*i(a) - 20*v(a). Does 60 divide t(-31)?
True
Let a = -276 + 282. Suppose -a*h + 86 = -226. Is h a multiple of 12?
False
Let k(n) = -10*n + 2. Let c be k(-2). Suppose -p = p - c. Suppose 0 = -p*z + 5*z + 768. Is 17 a factor of z?
False
Let i = -2313 - -7053. Does 12 divide i?
True
Suppose -z + 2*r = -2*z + 96, z - 92 = -4*r. Let x be 2260/z + (-4)/(-10). Suppose 63 + x = 2*d. Is 10 a factor of d?
False
Suppose -17*b + 28 + 57 = 0. Suppose 2*h - 1321 - 1053 = -3*q, -h + b = 0. Does 44 divide q?
False
Let m(u) = -257*u + 1650. Does 5 divide m(5)?
True
Let y = -32867 + 58817. Does 126 divide y?
False
Let o be 105 + (-89)/267*((-72)/(-2))/(-2). Let n = -2 - -4. Suppose -n*i + i = -1, -i + o = g. Is g a multiple of 22?
True
Let w(m) be the third derivative of -m**7/315 - m**6/40 + 7*m**5/30 - 20*m**2. Let c(t) be the third derivative of w(t). Is c(-10) a multiple of 12?
False
Suppose 6*c + 2 - 14 = 0. Suppose c*y - 3*h = -15, -2*h = 2*y - 3*y - 10. Suppose -3*u + 5*t + 343 = -u, 3*u + t - 523 = y. Is u a multiple of 8?
False
Let d(a) = 2*a**3 - 13*a**2 + 54*a - 344. Is d(13) a multiple of 12?
False
Suppose -2*f + 128 = 5*u - 124, -4*u + 216 = -2*f. Suppose 38*p - u*p + 16380 = 0. Is p a multiple of 41?
False
Suppose -656*y = -634*y - 9394. Does 10 divide y?
False
Suppose 15*l - 313820 - 356186 + 127231 = 0. Is l a multiple of 39?
False
Suppose -3*a = 69 - 6. Let n be (a/63)/(1/(-183)). Suppose -4*s + 289 = -3*w, 3*s - 4*s = -3*w - n. Does 38 divide s?
True
Let j(y) = -3*y**2 + 4*y - 11. Let c(h) = h**3 - 7*h**2 - 2*h + 8. Let b be c(7). Let u be j(b). Is (-12)/(-9) + u/(-3) a multiple of 19?
False
Let r(j) = j**3 - 5*j**2 - 10*j + 8. Let t be r(6). Let m(h) be the first derivative of h**4/4 + 16*h**3/3 - 21*h**2/2 - 37*h - 5751. Is m(t) a multiple of 43?
False
Let b be 138/4*(1 + (5 - 0)). Let x = b + -161. Does 9 divide x?
False
Suppose -2*m + 2376*z + 16874 = 2372*z, 0 = -5*m - 4*z + 42185. Is 13 a factor of m?
True
Let z(c) = -2*c**3 - 15*c**2 - 7*c + 8. Let y be z(-7). Suppose 0 = -7*j + 3*j + y. Suppose j*o = 25 + 151. Is 21 a factor of o?
False
Let c = 29674 - 8729. Does 167 divide c?
False
Let d = -10587 - -23116. Does 51 divide d?
False
Let b(g) = 9*g**3 - 21*g**2 - 54*g + 660. Is 61 a factor of b(10)?
False
Let k(u) = -18*u**2 + 2250. Is k(0) a multiple of 25?
True
Is 8 a factor of 42/(-4) - 8902458/(-612)?
True
Suppose 0 = 7*p - 12*p - 15, -443 = -5*s - 4*p. Let g = 1168 + s. Is 35 a factor of g?
False
Let m(w) = w**3 - 7*w**2 - 6*w - 5. Let l be m(8). Let v = -14 + l. Is v*(-64)/12*3/2 a multiple of 6?
True
Let s = -2140 - -5014. Suppose -17*b = -23*b + s. Is 10 a factor of b?
False
Let t = -22387 - -33895. Is t a multiple of 92?
False
Suppose 684*d + 38046 = 701*d. Is 40 a factor of d?
False
Let p(z) = -2167*z - 90. Is 23 a factor of p(-2)?
False
Let b be (-6)/2*1*-1 - 0. Suppose -b*v = -7*v - 24. Let r = 54 - v. Does 10 divide r?
True
Suppose 5*b + 63 = 12*b. Suppose b*z - 71 = -26. Suppose 0 = -z*r, -30 = -p - 2*r + 40. Is p a multiple of 13?
False
Suppose 75 = -3*a + 1107. Suppose 2*t + 362 = 5*i - 2*t, 0 = -5*i - 2*t + a. Does 5 divide i?
True
Let r(p) = -p**3 + 10*p**2 - 17*p + 8. Let g be r(7). Let a be 5/(-45) + 27292/g. Suppose -3*o + a - 134 = 0. Does 26 divide o?
True
Suppose 2*p - 6*p = -4*g + 544, 3*p + 539 = 4*g. Does 5 divide g?
False
Suppose 5*m = m + 5*z + 16, 2*z = -3*m + 35. Suppose 1 = 8*o + m. Is (3 - 4) + 264 + o + 2 a multiple of 44?
True
Let y be (1 + -2)*(5 - 4). Let m = -3 - y. Does 11 divide (-10 - -7)/(m/66)?
True
Let o(f) = -365*f + 12. Let s be o(-3). Suppose -s - 1443 = -5*g. Is 15 a factor of g?
True
Let k = 73 + -77. Let q be (5/3)/(k/(-12)). Suppose 4*b = l - 250, -q*l + 488 = -3*l - 5*b. Is 39 a factor of l?
True
Let n(q) = 3*q - 27. Let r be n(9). Suppose -4*f + 5*i + 136 = -f, -2*f + 3*i + 92 = r. Suppose 3*l - f = o, -o - 7 = -3. Is l a multiple of 2?
True
Let u(a) = a**3 - 10*a - 3. Let b be u(-9). Let v = 1078 + b. Suppose -3*q = -5*i + v, -134 + 36 = -i - 3*q. Is 7 a factor of i?
False
Suppose h = 10 + 4. Suppose -h*u + 832 = -610. Suppose -4*n = 2*i - 68, -5*n + 2*i + 0*i + u = 0. Is n a multiple of 19?
True
Let j(b) = 3*b - 49. Suppose 3*o - 204 = -9*o. Let y be j(o). Does 17 divide (y/(2/7))/(28/196)?
False
Suppose 4*n + 0*g = 3*g + 3932, 0 = 4*n - g - 3924. Suppose -2*z = -2*q + 828, -3*q - z + n = -270. Does 32 divide q?
True
Let x(i) = -50 - 48 + 69*i**2 + 3*i - 53 + 156. Does 10 divide x(-2)?
False
Let t(g) = 25*g - 182. Let h be t(7). Let v(a) be the third derivative of -5*a**4/12 - 7*a**3/6 - 2*a**2. Is 21 a factor of v(h)?
True
Suppose -615*d = -618*d + 4*f + 2482, -834 = -d - 2*f. Is 88 a factor of d?
False
Let z(s) = -2*s**2 + 24*s - 38. Let k be z(10). Suppose 1 = -2*o + 5. Suppose k*p = 2*j + 104, -5*j = -3*j - o. Does 39 divide p?
False
Suppose -16*g + 5*g + 330 = 0. Suppose g*x + 4*p + 185 = 31*x, 0 = x - 3*p - 190. Does 41 divide x?
True
Suppose 5*g = 5*m - 105, -61 = 2*m - 5*m + g. Does 7 divide (-5)/m - (-4820)/16?
True
Let q = -338 - -204. Let r = q - -326. Is r a multiple of 24?
True
Let s(b) = b**3 - 8*b**2 + 16*b - 32. Let y be 4 + (-8 + 2)/((-12)/8). Is s(y) a multiple of 35?
False
Let g = -3838 - -5490. Suppose -g = -0*i - 14*i. Is i a multiple of 15?
False
Let v be (15 - -15)*4/6. Suppose -12*u - 48 = -v*u. Let t(i) = 2*i + 28. Does 7 divide t(u)?
False
Let m = -6046 + 19561. Suppose 4997 = 16*c - m. Is c a multiple of 13?
True
Let l(z) = z**3 + 5*z**2 + 7*z - 17. Suppose -3*n + 15 = 4*k, -4*k + 9*n + 21 = 10*n. Does 14 divide l(k)?
False
Let z(x) = -15*x - 5. Let d(b) = -b**2 + 23*b - 47. Let y be d(19). Let o = y - 35. Is 7 a factor of z(o)?
False
Suppose -17*m + 21*m - 5*f - 10022 = 0, 0 = 3*m - 3*f - 7518. Is 76 a factor of m?
True
Suppose -3 = g + j, 4*g + 15 = 3*j - 25. Is 4 a factor of 6*g/14 + 143?
True
Suppose 4120 = 7*k - 5*k. Suppose 19*g - k = 14*g. Does 55 divide g?
False
Let u = 9023 - 6103. Is 10 a factor of u?
True
Let b be -1*807*(12/6 - -1). Let l = -1582 - b. Is 69 a factor of l?
False
Let o be 22/4*-14 + (-6)/(-1). Let t = o - -405. Is 9 a factor of t?
False
Let a(t) = 4*t + 10. Let u be a(2). Suppose -q - 3 = 3*n - u, 5*q = 3*n + 147. Suppose -132 = -3*m - 4*v, -q = 5*m - 4*v - 215. Does 13 divide m?
False
Let a = 700 - 640. Suppose -5*w = 5*x - 3350, -65*w = -a*w + 25. Is x a multiple of 33?
False
Suppose -5*u = n + 4*n + 180, -4*n + 16 = 0. Let k = u + 37. Is (196/35)/(k/(-15)) a multiple of 3?
False
Let w be (-2 + 36)/(3/6). Let z be 144/((-8)/28 - w/56). Is (z/(-20))/(51/45 - 1) a multiple of 36?
True
Let s = 240 + 4298. Is s a multiple of 6?
False
Let j = -7541 + 9227. Does 47 divide j?
False
Let f = 43978 - 30706. Is f a multiple of 42?
True
Let v(g) = -g + 5. Let n be v(6). Let w be (-1)/(n - 208/(-210)). Suppose -10*x + 5*x = -w. Does 7 divide x?
True
Let m = -17 + 19. Suppose -5*l + 405 = -m*x + 4*x, -1038 = -5*x - 4*l. Is x a multiple of 21