. Suppose -m*s - 3*s = -18. Suppose -21 = -s*h + 71. Is 10 a factor of h?
False
Suppose 4*r - 7 - 15 = -5*i, 5*r - 5 = 5*i. Suppose -6*a + 4*a + r*v = -244, 5*v - 444 = -4*a. Let x = 224 - a. Does 35 divide x?
False
Let u(v) = -v**3 + 11*v**2 + 5. Let b be u(11). Suppose -3*o + 4 = -b*o. Is (o/(-8))/(4/(-224)*-2) even?
False
Let a be ((-246)/(-21))/(2/14). Let u = -80 + a. Suppose -4*v = 5*c - 2*c - 152, 0 = -5*c - u*v + 244. Is c a multiple of 6?
True
Let v be ((-100)/(-2))/(1/6*3). Suppose 130 = -99*q + v*q. Suppose 108 + q = 2*i. Does 17 divide i?
True
Let o(k) = -267*k**3 + 9*k**2 + 15*k + 13. Is o(-2) a multiple of 5?
True
Let f be (-42)/2*(141/(-9) + 3). Let u = f - 51. Is 31 a factor of u?
False
Let s(q) = -6*q**2 - 11*q - 19. Let p be s(13). Let k = p - -674. Does 14 divide 5/(-10) + k/(-4)?
False
Let u(y) = -y + 45. Let l be u(-19). Suppose h - l = 21. Does 17 divide h?
True
Suppose -k + 5985 = -3*l, -4*k - 52*l + 23877 = -55*l. Does 12 divide k?
True
Suppose -218*t + 854383 = -880131 - 2504714. Is t a multiple of 21?
True
Let m = 442 + -307. Suppose -r = -3*x - 325, 3*r + 2*x = 895 + m. Does 27 divide r?
False
Let x be (-6)/(-8)*(1414 + 2). Suppose 5*b + 0*d - 1061 = d, -5*b = -2*d - x. Suppose -2*w + b = -120. Is 29 a factor of w?
False
Let t be 343 + 6 + (1 - -1). Suppose -15*c = -t - 354. Is c a multiple of 16?
False
Let h = 3545 - 228. Does 9 divide h?
False
Suppose 3*o + 20 = 3*x + x, 26 = 5*x - 4*o. Suppose 4*g - 10 = -x. Suppose -5*h + 3*h - 4 = 0, g*r - 178 = -h. Is 9 a factor of r?
True
Suppose 4*m + 4*y - 12 = 0, 5*y - 3 = -2*m + 9. Is (m + 314/6)/(46/138) a multiple of 20?
True
Suppose 0 = 1099*t - 817*t - 4412172. Is 9 a factor of t?
False
Let a = 84361 - 53251. Is a a multiple of 183?
True
Let w(b) = -b**3 - 12*b**2 + 64*b + 21. Is 9 a factor of w(-19)?
True
Suppose 2*r = 4, 2*r + 30046 = 4025*h - 4020*h. Is 28 a factor of h?
False
Suppose -8*z = 3*z - 429. Is (z + 2)*(-56)/(-8) a multiple of 11?
False
Let j = 52368 + -36527. Does 31 divide j?
True
Suppose 0 = 5*i - i - 4*r - 12, r - 9 = -2*i. Suppose 0 = i*u - 1169 - 635. Is u a multiple of 41?
True
Let h be (-10)/(-5) - 4 - -4. Suppose -h*i + 37 = -3*i. Let s = i + 44. Is s a multiple of 2?
False
Let i = -290 - -292. Suppose 4*y - 1954 = -3*x, 5*x - y = i*y + 3305. Does 94 divide x?
True
Suppose -134182 - 163466 = -78*c. Is 24 a factor of c?
True
Let h(i) = -i**3 + 4*i**2 - 3*i + 1. Let n be h(2). Suppose 0 = -2*p + n*p + 13. Is 74 + p/(-5) + 4/10 a multiple of 6?
False
Let d(o) = 345*o**2 + 3*o + 14. Let f be d(4). Is f/21 - -3*24/(-756) a multiple of 12?
True
Let b be 4/3 - (-64)/(-48). Suppose b = -u - 4 - 8. Let h = u - -100. Does 16 divide h?
False
Let x(t) = t**2 + 28*t - 26. Let i be x(-29). Let l(q) be the third derivative of 13*q**4/8 + 19*q**3/6 + 2*q**2. Is 34 a factor of l(i)?
True
Let p(x) be the second derivative of x**5/5 + 2*x**4/3 - 10*x**3/3 + 2*x**2 + 16*x. Does 7 divide p(3)?
False
Suppose 0 = 5*k - 3*m - 48, 3*k + 2*m = k + 32. Does 9 divide 30/20*-63*k/(-3)?
True
Let y = -538 - -545. Does 30 divide -7 + (-20)/(-2)*y?
False
Let a be (8/20)/(16/40). Suppose -3*c + 0*c = -3*z, 2*c = 4*z - 10. Suppose -x + 3*q + 7 = a, x = z*q. Is 5 a factor of x?
True
Let r(j) = j + 1 + 3*j - 3*j - 8. Let f be r(12). Suppose f*z - 39 = 101. Does 17 divide z?
False
Let a = 1131 + -675. Suppose -5*d + a = 2*v, -v + 215 = -0*d - 4*d. Is 13 a factor of v?
False
Let n = 688 + -590. Suppose -14*k + 280 = -n. Is k even?
False
Suppose -9*f + 277 = 79. Is 21 a factor of (f + -28)*210/(-4)?
True
Suppose 93*l = 95*l - 3526. Suppose -5*s + 1735 = 5*i, l = 13*s - 8*s - 2*i. Is 39 a factor of s?
True
Suppose 4*f = 16, 3*c - f - 86886 = 29720. Is c a multiple of 65?
True
Suppose -1061 = 13*f - 1126. Suppose v + 0*v = 36. Suppose 3*b + v = f*b. Is 9 a factor of b?
True
Let q(w) = 441*w + 7. Suppose 0 = 3*u - 3*n - 6, -3*u = 3*n - 25 + 13. Does 22 divide q(u)?
False
Suppose 0 = 4*u - 3*c - 1841, -50 = -3*c - 35. Suppose 2*k = -4*j + u, 5*j - 697 = 2*k - 5*k. Is 13 a factor of k?
True
Let v = -5753 + 8393. Is v a multiple of 8?
True
Let c = 7 - -24. Suppose -v = 4*v. Let b = v + c. Is 5 a factor of b?
False
Suppose 7*k + 12 = -16. Let z = 1235 - 855. Does 20 divide z/8*k/(-2)?
False
Let c(h) = -2*h**2 + 128*h + 805. Is c(61) a multiple of 137?
False
Let j(w) = -w**3 + 10*w**2 - 15*w + 9. Let f be j(4). Does 18 divide ((-1008)/(-30))/4*f?
True
Is 46 a factor of -3 + 68*17/(136/224)?
False
Suppose -576*n = -563*n - 4141 - 49211. Does 18 divide n?
True
Suppose -9*a + 8*a + 23 = 5*z, 0 = 5*a + 10. Suppose -62 - 463 = -z*s. Is s a multiple of 9?
False
Suppose -2*k - b = -8986, -12 + 16 = -2*b. Does 42 divide k?
True
Suppose -106*i + 111*i + 2*g = 64545, -g = -i + 12916. Is 57 a factor of i?
False
Let h = 33967 + 5569. Does 28 divide h?
True
Let d = -383 - -348. Let i(a) = -3*a**2 - 118*a - 72. Is i(d) a multiple of 14?
False
Let f(c) = -19*c + 1981. Does 10 divide f(-16)?
False
Let f(r) = -10*r + 3*r - 118*r**3 + 119*r**3 + r**2 - 57 + 8*r**2. Is 3 a factor of f(-9)?
True
Suppose -7738 = 7387*h - 7399*h + 12662. Does 100 divide h?
True
Let i(q) = 2*q**2 - 20*q - 7. Let u be i(10). Let m(t) = -8*t - 22. Let c be m(u). Suppose 0 = c*p - 29*p - 700. Is 14 a factor of p?
True
Let k = 141 - -363. Does 6 divide k?
True
Let j(f) = -20 + 17 + 9 - 22 - 40 - 19*f. Is 46 a factor of j(-33)?
False
Let x be 1*((-10368)/(-40) + 3/(-15)). Let u = x - 164. Is 19 a factor of u?
True
Suppose 2*b - 1 - 5 = v, -3*b - v + 14 = 0. Suppose -b*x - 8 = -8*x. Suppose x*m = 27 + 83. Is m a multiple of 13?
False
Suppose -4*u - 10 = 38. Let z(f) = 12*f + 66. Let y(m) = -13*m - 66. Let h(r) = -2*y(r) - 3*z(r). Is 7 a factor of h(u)?
False
Let k(s) = 31*s**3 + s**2 - 23*s + 5. Let m be k(4). Suppose 693 = 3*c + 4*d - m, -2*d = -5*c + 4378. Does 23 divide c?
True
Let n(a) = -2*a**2 - 9*a + 13. Let d be n(-6). Let l(i) = 2*i**2 - 10*i - 46. Is 18 a factor of l(d)?
True
Suppose 0 = -90*c + 9996 + 30690 + 15204. Is 69 a factor of c?
True
Let r = -27050 + 42619. Is 12 a factor of r?
False
Let o(b) = 2 - 15*b**3 - b - 2*b + 23*b**3. Is o(2) a multiple of 10?
True
Let k = 3299 - 2001. Suppose 173 - k = -15*f. Is 15 a factor of f?
True
Let i(y) be the second derivative of y**4/12 - 5*y**3/6 - 13*y**2 - 573*y + 1. Suppose 0 = -2*v + 3*v - 16. Is i(v) a multiple of 30?
True
Suppose -4*y = 17 - 25. Suppose 2*r + 2*s - 4*s + 2270 = 0, 3*r + 3410 = y*s. Is ((-2)/4)/(5/r) a multiple of 19?
True
Let a be 4/6*((-1162)/(-7) - 7). Let z = 109 - a. Let t = z - -67. Is t a multiple of 7?
True
Let w(z) = 31*z - 2. Let q(v) = 31*v - 1. Let u(g) = -3*q(g) + 4*w(g). Let d = -1 + 2. Does 13 divide u(d)?
True
Suppose 5*f - 12 - 8 = 0. Suppose 0 = 3*r - 237 - 819. Suppose -12*k + f*k = -r. Does 22 divide k?
True
Suppose 57*c - 57273 = 40*c + 15470. Does 20 divide c?
False
Suppose -26*t = -31*t - 130. Is (0 + 14)*(45 + t) a multiple of 12?
False
Let q(c) = -10*c**3 - 8*c**2 - 6*c - 8. Let t(s) = -3*s + 20. Let b be t(8). Let u be q(b). Suppose u = 4*n + 4*r, 2*n - 2*r + 3*r = 269. Is 8 a factor of n?
False
Let f(g) = g**2 - 8*g - 1. Let u be f(17). Suppose -7*c + u = -3*c. Suppose 4*j - 5*x = 757, 13 = 5*x + c. Is 41 a factor of j?
False
Let c(a) = 15*a**2 + 140*a + 2838. Is 45 a factor of c(-20)?
False
Is 16024/(-12)*5*1386/(-385) a multiple of 19?
False
Suppose -5*o + 866 + 1154 = 0. Is o a multiple of 101?
True
Let j = 3647 + -1967. Suppose -217*v = -222*v + j. Is 18 a factor of v?
False
Let w(f) = f**3 + f**2 + 3*f + 5. Let k be w(-2). Let m(r) = r**2 + 3*r - 8. Let s be m(k). Does 9 divide (12 - 13)/(s/(-184))?
False
Let r = 50 + -37. Let z(s) = 1 + 3 + r*s + 0*s + 4. Is 17 a factor of z(6)?
False
Suppose -21*s - 15*s = -12*s - 110952. Is 69 a factor of s?
True
Let q(z) = -42*z + 54. Let y be q(-5). Let n = 952 - y. Is n a multiple of 8?
True
Suppose -174*l = -93*l - 88*l + 25123. Is l a multiple of 22?
False
Suppose -2 = -u, 31812 = 107*l - 103*l + 2*u. Is l a multiple of 10?
False
Suppose -4*s = -5*g - 10134, -3*s + 7608 = 21*g - 26*g. Does 37 divide s?
False
Let t = -374 - -382. Suppose 25*l = t*l + 5950. Is 8 a factor of l?
False
Suppose -p = c - 29, -5*c - 14 + 159 = -4*p. Suppose -c*m = -3024 - 6372. Is m a multiple of 27?
True
Let