h - 5*s + 28 = -s, 3*s + 9 = h. Does 6 divide h?
True
Suppose 4*a - 5*a - 5*r + 103 = 0, -3*r = -4*a + 527. Is 128 a factor of a?
True
Suppose 4*m + 2 = 5*s + 2*m, 0 = 5*s + m + 1. Suppose -f - 392 = -s*r + 3*r, -4*f + 4*r = 1600. Let z = -188 - f. Does 15 divide z?
True
Let o = -479 + 308. Suppose 5*l - 183 = 1237. Let m = o + l. Does 10 divide m?
False
Let q(g) = -8*g + 56. Suppose 19 = -3*c - 50. Is 30 a factor of q(c)?
True
Let x(r) = -r**3 - 8*r**2 + 22*r + 6. Let n be x(-8). Let v be 1259/5 + (-4)/(-20). Let s = n + v. Is s a multiple of 19?
False
Suppose 30*z - 2050 = 20*z. Suppose -45*t = -41*t + d - 217, 5*d - z = -4*t. Is t a multiple of 8?
False
Suppose -819588 = -182*h - 455706 + 4975816. Is h a multiple of 40?
False
Let x(p) = -10*p**3 - 2*p**2 - 7*p + 2. Let r(o) = -o**3 + o**2 - o + 1. Let v(u) = 3*r(u) - x(u). Let g be v(-3). Let h = 221 + g. Is 11 a factor of h?
True
Is 4/22 + (-1021010)/(-605)*11 a multiple of 7?
True
Let v be -3*(33/(-45) + (-10)/(-25)). Let x be 21/(-63) - v/3*-19. Suppose i - 3*q - 57 = 0, -3*q + x*q = -9. Does 12 divide i?
True
Let u be (-2)/6 - 2*39/(-18). Is 63701/99 + u/(-9) a multiple of 73?
False
Let g = -40 - -45. Suppose -g*j - 29 = w, 0 = -3*w - 4*j - j - 47. Is 31 a factor of ((-186)/w)/((-10)/(-15))?
True
Let v(b) = -b**2 - 3*b + 402. Let f be v(0). Suppose 3*q - 1593 = -4*j, 0*j - f = -j + 3*q. Does 9 divide j?
False
Let p(q) = 43*q**2 - 9*q + 8. Let n be p(2). Suppose -3*d + n - 9 = 0. Suppose j + 2*j - d = 0. Does 17 divide j?
True
Suppose -o = -5*a + 4482 - 23549, 0 = -5*o + 5*a + 95195. Is o a multiple of 39?
True
Let g = -473 - -310. Let t = 235 + g. Is 18 a factor of t?
True
Let b = 170 + -250. Let c = -57 - b. Does 20 divide c?
False
Let r(i) be the third derivative of 0 - 1/8*i**4 + 12*i**2 + 73/3*i**3 + 0*i. Does 32 divide r(0)?
False
Suppose -12*n + 17*n - 15 = -5*k, 3*n + 26 = 4*k. Is (-29 + 1)/(4 - (-9)/n) a multiple of 6?
False
Let k be -8*(486/8)/9. Does 25 divide (-1 - k/4)/(2/4)?
True
Suppose 40*l = 52*l + 72. Does 12 divide (-6 - l/12)*-144?
True
Let r = 5148 - 2674. Suppose 182 - r = -12*z. Does 71 divide z?
False
Let h(i) = -161*i - 999. Does 17 divide h(-10)?
False
Is -1*((-7)/((-63)/(-206046)))/(1 - -1) a multiple of 112?
False
Suppose -2*c + 0*c + 10 = 0. Let u(k) = -4*k**3 + 46*k**2 - 20*k - 14. Let y be u(11). Suppose c*x + 135 = y*x. Does 16 divide x?
False
Let z(k) = 5*k**2 + 13*k + 5. Let t be z(-12). Suppose 264 = 2*d + 2*h, -3*h + 76 - t = -4*d. Let r = d - 49. Does 12 divide r?
False
Let z(n) be the third derivative of 0 + 1/3*n**3 + 4*n**2 - 1/24*n**4 + 0*n + 1/60*n**5. Is z(2) a multiple of 4?
True
Let t(k) = -5001*k - 15061. Is 9 a factor of t(-7)?
False
Let r(h) = 3*h**3 - 40*h**2 + 25*h - 637. Is 69 a factor of r(17)?
True
Suppose -2*v + 4*g - 10 = 0, -v - v - 4*g = 2. Let a be ((-6)/(-18))/(1/v). Is (a - -13) + (-9 - -8) even?
False
Let y(z) = 47*z - 111*z + 4 + 48*z. Is 5 a factor of y(-1)?
True
Suppose 66*j = 193*j - 565785. Is 81 a factor of j?
True
Let y(v) = -10*v + 4. Let q be y(-10). Let p = 106 - q. Suppose -6*n - 96 = -8*n - p*d, -4*n - 3*d + 194 = 0. Is n a multiple of 4?
False
Let u = 3133 - -2435. Does 32 divide u?
True
Let i = 15902 - 11018. Is i a multiple of 4?
True
Let t be 0/(-6) + (7 - 3). Suppose 388 = 2*l - 3*m - m, -212 = -l - t*m. Is 20 a factor of l?
True
Suppose 387 = 15*j + 312. Suppose 0 = -2*t - t + 33. Suppose 4*l + 34 - 5 = a, -t = -a - j*l. Is a a multiple of 7?
True
Let c(s) = -8*s - 5. Let a be c(-1). Let n(u) = -1 + 4 - 15*u + 12*u**2 + 10*u**2. Does 28 divide n(a)?
False
Let c(q) = 2*q**2 - 11*q + 240. Is 249 a factor of c(46)?
False
Let j = 62002 + -35465. Is 40 a factor of j?
False
Let c be 85/1*(-6 + 15). Suppose c = 9*y - 99. Is 14 a factor of y?
False
Suppose 3*a = 5*x - 98370 - 19010, -x = -4*a - 23493. Does 17 divide x?
False
Let o(w) = w**3 - 23*w**2 + 25*w - 66. Let q be o(22). Suppose 2*t + 4*y = -q*y + 442, 1160 = 5*t - y. Is t a multiple of 22?
False
Let p = 13535 - 6242. Is p a multiple of 57?
False
Let h = 282 + 6842. Is 180 a factor of h?
False
Is (-15 - -6) + 2842 - (-5 + -1 + 3) a multiple of 2?
True
Let g(n) = 5*n**2 - 28*n - 5. Suppose -6 = -5*a + 4*a. Let z be g(a). Suppose 0 = -z*p + 127 + 76. Is p a multiple of 5?
False
Suppose 2*t + u = 6*t - 500, -3*u = 2*t - 264. Suppose 3*x = 12*x - t. Let b(n) = -n + 28. Is b(x) a multiple of 2?
True
Suppose -31541 = -5*b + v, -3343 - 3036 = -b + 12*v. Is b a multiple of 53?
True
Let v(u) be the third derivative of u**5/60 - u**4/4 - 26*u**3/3 + 143*u**2. Is v(-12) a multiple of 13?
False
Suppose -4*r + 5*u + 28661 = 0, 232*u - 233*u = 5*r - 35877. Is 211 a factor of r?
True
Let y be (-2)/10 - (67158/(-65))/6. Let i = 1388 + y. Is 39 a factor of i?
True
Suppose 14*z - 11346 = -874. Is z a multiple of 11?
True
Suppose u + 5*z - 79 = 0, 4*u + 85 = 5*z + 326. Let a = 21 + -43. Let b = u + a. Does 6 divide b?
True
Suppose -f = -2*x + 21554 - 357, 0 = 5*f - 35. Is 27 a factor of x?
False
Suppose 5*a + 17 = -12*a. Does 68 divide 105/(-63)*(a + -242)?
False
Let o(q) = -3*q**2 - 328*q - 175. Is o(-107) a multiple of 5?
False
Suppose -398*x - 257*x = -5048740. Is x a multiple of 58?
False
Let m(s) = 219*s + 1575. Is 49 a factor of m(43)?
False
Let v be (-4)/(-8)*8*7/(-4). Let s be v/((-28)/8) - (39 - 4). Let y = s - -94. Is 18 a factor of y?
False
Let h(m) = -4 + 60*m**2 - 31*m**2 - 15*m**2 + 11*m - 12*m**2. Let g = -18 + 9. Does 31 divide h(g)?
False
Let y = -13884 - -21600. Does 12 divide y?
True
Let m = 55497 + -42232. Is 6 a factor of m?
False
Let k(o) = -4*o - 20. Let y be k(-6). Suppose -239 = -w - 53. Suppose -5*q + w = -4*b + 452, y*b = 3*q + 270. Does 20 divide b?
False
Let z = 9464 - 9122. Is 2 a factor of z?
True
Suppose -d - 5*d = -2046. Let r = -234 + d. Is r a multiple of 24?
False
Suppose -7236270 = -354*i - 134*i + 9295218. Does 12 divide i?
True
Suppose -10*n = -52 + 12. Suppose -108 = -n*o + k, 2*k = o + 3*o - 104. Is 12 a factor of ((-384)/o)/(2/(-14))?
True
Let r(l) = 16*l + 1511. Is 3 a factor of r(-8)?
True
Let b = 12022 + 38485. Is 17 a factor of b?
True
Let x be 14 + 1 + (2 - 3). Let q(a) = a**3 - 11*a**2 - 32*a - 2. Does 23 divide q(x)?
True
Let w(f) = -f**2 + 51*f - 28. Let l be w(44). Let k be -1 + 2*(-334)/4. Let q = l + k. Is 12 a factor of q?
False
Suppose 0 = -27*t + 23745 + 23856. Is t a multiple of 4?
False
Does 80 divide (-9436164)/(-382) - (-18)/1?
True
Let t(u) = 24*u**3 + 5*u**2 + 11*u + 20. Let o be t(6). Does 14 divide o/65 - 4/(-26)?
True
Suppose -24*m + 9*m = 450. Does 4 divide -150*24/m*3?
True
Let k = -35 + 29. Let u = k - -9. Suppose 208 = u*v + 3*w + 64, -6 = 2*w. Is v a multiple of 17?
True
Let k(x) = -x**2 - 19*x - 53. Suppose -7 = -15*w - 112. Is 3 a factor of k(w)?
False
Let l be ((-30)/(-9))/(2/(-27)). Let q be ((-20)/3)/(-1 + (-43)/l). Is -5*5/q - 55/(-6) a multiple of 2?
False
Suppose 32*p - 28*p - 5370 = -2*t, 0 = 3*t + 3*p - 8055. Does 18 divide t?
False
Let f = -621 - -1135. Let d = f + -278. Does 57 divide d?
False
Suppose 30*u - 3 = 29*u. Let c be (-60)/(-3) + 0*(-3)/u. Let t(w) = -w**2 + 21*w + 7. Does 27 divide t(c)?
True
Let g(h) = h**2 - 2*h - 10. Let f be g(5). Let p be f/10*-6 + 6. Does 13 divide p*(-7)/(42/(-208))?
True
Suppose 6*y - 3*i = y + 19289, 3*y - 3*i = 11583. Is y a multiple of 2?
False
Let n(f) = 4*f**2 - 28*f - 7. Let t be n(-7). Suppose -8*u + 6193 = t. Is 9 a factor of u?
False
Let d = -414 - -912. Suppose -5*b + 4*p = -d, 7*b + 4*p - 188 = 5*b. Is 7 a factor of b?
True
Let t be 2752/3 + (-1)/(6/(-4)). Suppose 3*k - t = -14*k. Does 9 divide k?
True
Does 47 divide 9 + ((-80)/5)/4 + 86430/10?
True
Let r = 9 + -5. Let k be (14/5 - r)*-115. Let a = k - 41. Is 21 a factor of a?
False
Let i = 160 + 101. Suppose 131 = 2*t - a, t + 3*a = 5*t - i. Is t a multiple of 33?
True
Let t = 22 - 16. Let r(b) = 3*b - 13. Let o be r(t). Suppose -157 = -2*z + o*j, 0*j - 244 = -4*z - 4*j. Is 11 a factor of z?
True
Let q(t) = -4*t**3 + 8*t**2 + 16*t - 1. Let b be q(-7). Suppose b + 545 = 4*y. Is y a multiple of 19?
False
Let u = 13796 - 3688. Does 8 divide u?
False
Let r = -887 + -162. Is (88/(-11))/64 - r/8 a multiple of 9?
False
Let w(n) = -n**2 + 23*n - 32. Let b be w(16). Let l = b - -520. Is 50 a factor of l?
