
True
Suppose q - 6*q = 215. Let i = q + 45. Suppose 5*t + 115 = 2*v, -i*t - t - 3 = 0. Is 7 a factor of v?
False
Suppose -3*v - 20 = 5*b, 2*v - 5*b = -0*b - 30. Does 40 divide (-4638)/(-15) + (-8)/v?
False
Suppose 21*z - 13*z = -1160. Let v = -125 - z. Is v a multiple of 2?
True
Suppose 4*p + 16*f - 20 = 18*f, -p + 4*f = -12. Suppose -4*w + 6*w = -3*u + 181, 57 = u + p*w. Is u a multiple of 5?
False
Let z be -2 - ((-19 - -26) + -3 + 0). Let u(t) = t**3 + 6*t**2 - 7*t + 11. Is 11 a factor of u(z)?
False
Is (-35963)/(-4) - 90/(-72) a multiple of 15?
False
Let s be 596/5 - (-7)/(-35) - 2. Let c = 618 - s. Is c a multiple of 17?
False
Let g be 4/(5/15*3). Let y be 14*3 + g + -1. Suppose 6*d - 489 = y. Is d a multiple of 26?
False
Suppose -2735*w + 4708 = -2731*w. Is w a multiple of 108?
False
Let b(y) = -6*y - 13. Let f be ((-24)/(-5))/((-21)/70). Let a be b(f). Suppose 2*w - a = -4*z + 149, 160 = 3*z - 2*w. Is z a multiple of 8?
True
Let v(h) = h**3 - 15*h**2 - 16*h - 15. Let s be v(16). Let o = s + 68. Suppose -112 - o = -5*q. Is q a multiple of 11?
True
Suppose -520 = 3*b - 5*b. Suppose 0 = -107*k + 108*k + 150. Let s = k + b. Is s a multiple of 10?
True
Suppose 410*w - 365*w = 259695. Is w a multiple of 29?
True
Let t(d) = -60*d - 77. Let z = -259 - -248. Does 11 divide t(z)?
True
Suppose 0 = 24*d - 48*d + 120. Suppose -1044 = -2*u - j, -5*u + 2*u + 1579 = -d*j. Is 9 a factor of u?
False
Let p(d) = -3*d - 91. Let l(m) = -m - 46. Let i(c) = -5*l(c) + 2*p(c). Is 6 a factor of i(-6)?
True
Let i be (-20 - 2)/(-10 + 9). Let c(j) = -7 - 20 - i*j + 7. Does 18 divide c(-5)?
True
Let o(f) = -63*f**3 - 10*f**2 - 5*f + 1. Is 19 a factor of o(-2)?
True
Let c(f) = -31*f**2 - 45*f**3 + f + 46*f**3 - 36 + 0*f. Does 18 divide c(32)?
False
Let y = 9821 + -7837. Does 62 divide y?
True
Suppose 4*c - 19268 = -2*l, -3721 - 5969 = -l + 5*c. Is l a multiple of 12?
False
Let g = -2120 + 9897. Suppose -1810 = 13*x - g. Is x a multiple of 27?
True
Suppose -64*k + 67*k - 15663 = 0. Is k a multiple of 2?
False
Let n = 104 - 193. Let o = -77 - n. Suppose 20 = 5*a, -4*v + o = -2*v - 5*a. Is v a multiple of 8?
True
Suppose 5*s - 4*k - 14064 = 0, -4*s + 5604 = -2*s + 2*k. Is 8 a factor of s?
True
Let f = 34 + -30. Suppose -4*i + 209 = k, 2*k - f*i - 396 = -i. Suppose -2*p - 3*n = -k, 10*n = -p + 5*n + 111. Is 6 a factor of p?
True
Suppose 0 = -0*z - 5*z - 2*v + 6554, 0 = -4*z - 5*v + 5250. Is 3 a factor of z?
False
Suppose -86866 = -26*x + 129415 + 255463. Is x a multiple of 14?
True
Let u = 14418 + -8808. Is 10 a factor of u?
True
Suppose 16*f - 4*h = 18*f - 6342, 2*h = -2*f + 6342. Does 25 divide f?
False
Suppose -2*x - 1508 = 2*n, -24*n + x + 2258 = -27*n. Let g = 1000 + n. Does 4 divide g?
True
Suppose -2*b - 140 = -90. Is 6 a factor of ((-4)/(-20)*-93)/(5/b)?
False
Let u be (-5 - (-257)/(-2))/(2/(-16)). Let d be (u/(-15))/(-2) - 27/45. Let t = d - -21. Is 28 a factor of t?
True
Let j(p) = -2*p + 82 - 80 - 8*p**2 - p**3 + 3*p**2. Let a be j(-5). Does 3 divide 8/36*a*66/8?
False
Let v(m) be the third derivative of 3*m**4/8 + 23*m**3/2 - 10*m**2. Let d be v(-14). Let g = d + 315. Does 43 divide g?
True
Suppose -5 = -3*x + l - 0, -3*x + 4*l = -11. Is 3600/(4 + x) + 7 a multiple of 37?
False
Suppose 3*i - 246 + 213 = 0. Suppose -2*k + 4*q + 122 = 0, 3*q - 156 = -i*k + 8*k. Is 11 a factor of k?
True
Is 48 a factor of (-11612)/(-16)*-25*-12*(-10)/(-75)?
False
Let t = 128 + -128. Let y = -24 + 29. Suppose 8*c - y*c - 90 = t. Does 6 divide c?
True
Let n = 723 + -507. Suppose q + n = 7*q. Does 4 divide q?
True
Does 35 divide 6/(-69) - 3433*(-48)/138?
False
Let o be 12 - 30 - 3*(1 - 2). Let n = -6 - o. Let i = n - -14. Is 4 a factor of i?
False
Let b(x) = 741*x**2 - x + 16. Is 22 a factor of b(-3)?
True
Let q(l) = 22*l + 348. Let p be q(6). Let f = 753 - p. Is f a multiple of 21?
True
Suppose 0*n + 54 = 6*n. Suppose 0 = -q + 6*q - 3*v + n, 5*v - 15 = 5*q. Does 23 divide (-276)/(-6) + q/1?
True
Let k = -3903 - -4917. Does 78 divide k?
True
Let l be 1 - ((3 - 2) + -10). Suppose 19 = l*k - 1131. Let m = 23 + k. Is m a multiple of 23?
True
Let b(t) = 0*t + 2*t**3 - 10*t**3 + 6*t - 815 + 821. Is 6 a factor of b(-3)?
True
Suppose 0 = 85*x + 130*x - 25*x - 1044430. Does 68 divide x?
False
Is 149 a factor of (-2533)/(-8 - 119/(-17))?
True
Let d(w) = 144*w - 4. Let r(k) be the first derivative of -72*k**2 + 4*k - 15. Let q(t) = 6*d(t) + 5*r(t). Is 20 a factor of q(1)?
True
Let b = 3987 - 712. Is b a multiple of 5?
True
Let t(b) = -6*b + 24. Let l be t(4). Suppose 4*n + 2*r - 760 = l, 4*n - 27*r - 762 = -28*r. Is n a multiple of 12?
False
Let j = -107 - -125. Suppose 0 = i - j*i + 6256. Is i a multiple of 16?
True
Let j(z) = 3*z**3 + 3*z**2 - z - 3. Let m(y) = y**3 - y. Let o(x) = -j(x) - 3*m(x). Let r = -46 - -43. Does 18 divide o(r)?
True
Let d = 3714 + -1509. Let g = -1053 + d. Does 32 divide g?
True
Let h(k) = 148*k + 6. Let i be h(3). Suppose -4*u - i = -74. Is 9 a factor of u/(-2 - 0/2)?
False
Suppose 5 = -48*x + 49*x. Suppose -2*w = x*w - 756. Does 6 divide w?
True
Suppose 3*c = -5*x + 13244, -17646 = -16*c + 12*c + 6*x. Does 75 divide c?
False
Let y = 36 - 379. Let q = 460 + y. Is q a multiple of 9?
True
Let x = 21 - 21. Let q = x + 2. Does 4 divide (34/q - 4)/1?
False
Suppose 13*j = 27*j - 4732. Let y = 596 - j. Is y a multiple of 11?
False
Suppose f = 0, -2*x + 15 = 3*x - 5*f. Suppose -137 = -q + x*o + 19, -5*o - 15 = 0. Suppose 4*z = h + 616, -z + h = -h - q. Is z a multiple of 31?
True
Let s(c) = 32*c**2 - 101*c + 17. Let t be s(-7). Suppose 0 = -0*k - 4*k + t. Is k a multiple of 47?
False
Suppose -51 = 7*k - 4*k. Let x = k + 20. Is 7 a factor of (2 - x)*-1*51?
False
Suppose -156961*j = -156945*j - 92560. Does 28 divide j?
False
Let d(s) = -140*s - 118. Let z be d(-7). Let r = z + -631. Does 12 divide r?
False
Let f = 174 - 185. Does 11 divide 1/(3 + 54/f + 2)?
True
Is 48 a factor of (-256504)/(-32) - 11/22*(-4)/8?
True
Suppose -b + 63 = 69. Is (-4)/b*74*66/8 a multiple of 37?
True
Let d be ((-2)/(-2)*(-12 + -8))/(-2). Suppose -8 = -6*m + d. Suppose m*j = -5*j + 1000. Does 25 divide j?
True
Is (-9 - -8)/(-7 + 3 - 28443/(-7111)) a multiple of 17?
False
Let p(h) = -55*h**2 - 52*h**2 + 173*h**2 + 5*h - 57*h**2 - 12. Does 20 divide p(3)?
False
Suppose 5*n - 105 = 2*n. Suppose 34*w - 39*w = -n. Suppose w*f = 4*f + 15. Is 2 a factor of f?
False
Let f(t) = t**2 - 16*t - 156. Let z be f(23). Let k(n) = 79*n + 67. Does 15 divide k(z)?
False
Let s = 167 + 145. Let t = s + -198. Is t a multiple of 5?
False
Suppose -4*s - 5*f = -65, 5*s - f = -5*f + 70. Let c(i) = 38*i - 122. Is c(s) a multiple of 51?
False
Let q = -10620 - -52190. Is q a multiple of 20?
False
Let z(b) = 8*b + 50. Let c be z(-7). Let v(a) = 14*a**2 + 25*a + 9. Is v(c) a multiple of 78?
False
Let u = -264 - -16994. Is 14 a factor of u?
True
Suppose 21 = 3*w - 21. Suppose 5*c + w + 143 = 4*u, 154 = 4*u - 2*c. Suppose -2*m - 3*o = -u, 0*m - 5*m + 3*o + 95 = 0. Is 8 a factor of m?
False
Let s = -221 + 564. Let u = 577 - s. Does 26 divide u?
True
Let d(m) = m**3 - 14*m**2 - 22*m + 11. Suppose 0 = -3*f + 63 + 33. Suppose f = s + s. Is 35 a factor of d(s)?
False
Suppose 5*v = 2*m + 607, -174*v = -172*v + 2*m - 226. Let d(i) = i**3 - i**2 + i - 1. Let l be d(1). Suppose -b + v = -l*b. Is b a multiple of 19?
False
Suppose 6 = -3*y + 15. Let m(p) = -23*p**y + 631*p - 631*p + p**2. Is 3 a factor of m(-1)?
True
Let c(p) = p - 5. Let a be c(10). Let i be (2 + -3 - a)/(-1). Does 2 divide 78/4*((-26)/i - -5)?
False
Let z(u) = -u**2 - 7*u - 8. Let p be z(-5). Does 4 divide 86 + -2 + (-2 - p)?
True
Let s(q) = q**3 - q**2 - 3*q. Let b be 0*(5/(-3) - -2). Suppose 2*v + 0 - 10 = b. Does 17 divide s(v)?
True
Let h(b) = 12*b + 120. Let m be h(-23). Let u = m + 344. Is 47 a factor of u?
True
Let b = 572 - 565. Let x(j) = 17*j**2 - 89*j + 10. Does 11 divide x(b)?
True
Let r(j) = -4*j - 510. Let k(p) = 13*p + 1529. Let v(s) = 6*k(s) + 17*r(s). Is 68 a factor of v(0)?
False
Is 4/(-50) + (-1488)/150 - -5500 a multiple of 24?
False
Suppose -23*r = -3570 - 7516. Let k = r - 437. Does 5 divide k?
True
Let d be 3/(-15)*-5*(3 - -831). Suppose 6*m + r = 2*m + d, -5*r = 10. Is -1*(-4 - (-2 + m)) a multiple of 8?
False
Suppose -4*r + 24 - 4 = 0, 2*b = 