pose y - 74 = 3*j, -2*y - h*j = -5*j - 124. Does 13 divide y?
True
Suppose 15*p - 184 + 19 = 0. Let v be 8 + -2 - 2 - 22/p. Suppose 13 = 2*k + x, v*k + 2*x + 3*x - 33 = 0. Is 3 a factor of k?
False
Suppose r - 34 = -y - y, 2*y + 5*r = 34. Let f = 2202 + y. Suppose -f = -p - 6*p. Does 34 divide p?
False
Suppose -4*h - 3*p = -2*p - 11069, -3*p - 5545 = -2*h. Suppose -k = -2*g - 559, -5*k = -0*k - g - h. Is 12 a factor of k?
False
Let m(b) = -32*b**2 - 165*b + 222. Is 30 a factor of m(-6)?
True
Let l(c) = c**3 - 9*c**2 - 2*c + 3. Let s be l(9). Let a(r) = -r**3 - 16*r**2 - 25*r - 15. Let b be a(s). Suppose 0 = 4*v - 1 - b. Is v a multiple of 6?
False
Let v = -931 - -3043. Is 64 a factor of v?
True
Suppose -30*a - 10792 = -34*a - 4*a. Is 171 a factor of a?
False
Suppose -4*p - 6109 = -3*j, 2*j - 2*p = 2*p + 4070. Suppose j = 8*r + 367. Does 10 divide r?
False
Let a = -559 - -133. Let q = -302 - a. Suppose 156 = 5*r - 4*v, -2*r + 3*v = 2*r - q. Does 14 divide r?
True
Suppose 1722 + 8 = 5*t + 4*u, 5*u + 1001 = 3*t. Is 114 a factor of t?
True
Let n(s) = -6*s - 7*s**3 + 6*s**2 + 29*s**3 - 4 - 5*s**3 - 13*s**3. Is 14 a factor of n(3)?
True
Let n = 13283 - 4308. Is n a multiple of 11?
False
Let m(i) = 145*i**2 + 4*i - 44. Is 12 a factor of m(4)?
True
Let i(f) = 7*f**2 + 42*f + 196. Is 35 a factor of i(21)?
True
Suppose -z - 3*x = -23, 2*z - 7 = z + 5*x. Suppose 6 = -14*q + z*q. Suppose 0 = -a + 4*a - 5*j - 262, 4*j - 138 = -q*a. Is a a multiple of 13?
False
Is (-2*1)/(138488/34636 - (6 - 2)) a multiple of 35?
False
Let a = 4345 + -2581. Is a a multiple of 47?
False
Let y(v) = 45*v**2 + 10*v + 18. Let c be y(-4). Suppose 0 = 2*w + 4*s - 422, -c = -5*w - s + 330. Does 16 divide w?
False
Let p = 185 + -179. Let l(d) = 2*d**3 - 8*d**2 - 16. Is 32 a factor of l(p)?
True
Let i be -7*((-3654)/49)/3. Let b = 694 - i. Does 11 divide b?
False
Suppose -2*f - 84 + 46 = 0. Let w = f + 39. Is 10 a factor of w?
True
Let a = -6353 + 7471. Is a a multiple of 26?
True
Let q(r) = -13*r + 12. Suppose -3*i - 7 = -f, f - 5 + 12 = -4*i. Does 36 divide q(i)?
False
Let u(n) = -2*n. Let b(s) = s - 176. Let g(c) = -2*b(c) - 4*u(c). Is g(0) a multiple of 16?
True
Let s be (-10)/(-4) - (-24)/(-48). Suppose t + 4*d = -14, s*t - 3*d - d = -16. Let q(c) = -3*c + 24. Is 18 a factor of q(t)?
True
Let z = -27 + 50. Suppose n + 1 = -4*d - z, 3*n = 12. Let p = d - -19. Is 4 a factor of p?
True
Let f(h) = 4*h + 104. Let j be f(-26). Is 7 a factor of (-1)/2*(-104 + j)?
False
Suppose -5*r - 2*w = -8695 - 501, -9198 = -5*r - w. Does 23 divide r?
True
Let s(l) = 14*l**3 + 2*l**2 - 4*l + 3. Let x be s(1). Suppose 780 = 20*t - x*t. Does 14 divide t?
False
Let o = 52 - 77. Let r be 0/(o/5)*-1. Suppose 4*h + r*h = 300. Is 9 a factor of h?
False
Suppose 262*q = 251285 + 572705. Is 26 a factor of q?
False
Suppose -3*q + 20*q = -7*q. Suppose -6 = -2*s, 2*l + q*l = -4*s + 208. Is 12 a factor of l?
False
Let t(z) be the first derivative of -z**3/3 - 3*z**2 + 7*z + 36. Let u be t(-6). Suppose -x - 264 = -u*x. Is 22 a factor of x?
True
Let r(h) = -51*h - 6. Let s be 6*30/9 - 0. Suppose -25*w - 10 = -s*w. Is r(w) a multiple of 32?
True
Suppose 227088 = -44884*t + 44908*t. Is t a multiple of 38?
True
Let t(v) = 3*v**2 + v + 2. Let h be t(-1). Suppose s = h*g - 783, 3*s + 18 + 959 = 5*g. Does 8 divide (-1 + g)/(-2 - (-28)/8)?
False
Let c = 1238 + -692. Suppose -5*v + 0*v + b + c = 0, -2*v + 204 = -4*b. Is 11 a factor of v?
True
Does 32 divide 4215 + 0 + (163 - 181)?
False
Suppose 3*a - 14218 = -2*z, 73*a + 5*z + 9447 = 75*a. Is a a multiple of 32?
True
Suppose -3*q - 608 = -5*s, 3*s - 536 = 2*q - 129. Let n = 709 + q. Does 30 divide n?
False
Let n = -1443 + 2325. Is n a multiple of 49?
True
Let y(g) = -4*g + 18. Let u be y(5). Let b(s) = -172*s + 13. Is b(u) a multiple of 30?
False
Let p be (-30)/70 + (-25482)/(-21). Let j = 1827 - p. Is j a multiple of 15?
False
Suppose 101 = g - 75. Suppose -g + 941 = 5*l. Is l a multiple of 9?
True
Let r(m) = -m**2 + 7*m - 8. Let w be r(6). Let x(v) = 197*v**2 - 14*v - 16. Is 32 a factor of x(w)?
True
Let d = -56256 - -38756. Does 25 divide (2 - 1/2)/((-75)/d)?
True
Suppose -9*v = 153*v + 16*v - 2654870. Does 157 divide v?
True
Suppose -4*h = -3*v, 5*v = 3*h - 5 - 6. Let a(s) = -8*s + 5. Let i be a(h). Suppose 232 = i*q - 27*q. Is q a multiple of 29?
True
Suppose -v - 5*n + 3115 = 0, -5*v - n + 9682 = -5821. Is v a multiple of 124?
True
Let t be 1*14*((-10)/(-4) - 3). Let a = t - -151. Does 8 divide a?
True
Let s(p) = -2900*p + 6968. Does 80 divide s(-6)?
False
Suppose 7*n - 2*n - 449 = -3*o, 2*o = -5*n + 451. Let u = n + -30. Is 4 a factor of u?
False
Suppose 0 = -8*o + 9*o + 101. Let k = -63 - o. Does 31 divide k?
False
Let n = -110 + 132. Does 6 divide (0 - n)/((-3)/18)?
True
Suppose -4*v - 200614 = -34*v + 16106. Is v a multiple of 10?
False
Does 25 divide (-205)/((-988)/(-90) + -11)?
True
Suppose 2*i - i + 1 = -c, 14 = -4*c + i. Does 73 divide (c + 2)*6*(-657)/18?
True
Let a(u) = -5*u**3 + 11*u**2 - 47*u - 50. Does 114 divide a(-12)?
False
Let o(v) = 20*v - 94. Suppose 2*g - 13 = 29. Is o(g) a multiple of 42?
False
Let i(x) = 2*x**3 + x**2 + x + 2. Let s be i(-2). Let p(l) be the first derivative of -l**3/3 - 25*l**2/2 - 16*l - 341. Is 22 a factor of p(s)?
False
Suppose 30*z - 55 = 35. Suppose z*t + 1285 = 5*u - 4*u, -4*t - 3860 = -3*u. Is 14 a factor of u?
True
Suppose 257*f = -298*f - 158*f + 32527773. Is f a multiple of 137?
True
Let g(r) = -r**2 + 8*r - 9. Let a be g(3). Let t be (-5)/(10/a) - -227. Is 11/((-110)/t)*-5 a multiple of 14?
True
Suppose 12*d = d + 55. Let k(y) = y**2 + 1. Let i be k(d). Does 16 divide 26250/273 + (-4)/i?
True
Let g be ((-11)/5)/(2 - (-33)/(-15)). Suppose 4*z + 16 = 0, 0 - g = -v + z. Suppose -2*f = -v*f + 400. Is 27 a factor of f?
False
Let c(q) = 53*q - 41. Let g(m) = -m**2 - 7*m - 7. Let r be g(-3). Does 32 divide c(r)?
True
Let q = 576 + -551. Suppose 5*s = -20*d + q*d + 285, 2*d = 3*s - 166. Is s a multiple of 10?
False
Suppose -2*w = -5*z + 2*w - 950, 3*z - 5*w = -570. Suppose -1360 = -5*q + 2*i, 7*i + 1105 = 4*q + 2*i. Let g = q + z. Does 10 divide g?
True
Let q(r) = -r**3 + 35*r**2 - 46*r - 84. Is 36 a factor of q(33)?
True
Suppose 8*k = 14*k + 30. Does 74 divide 2920/(-1 - k)*2/5?
False
Let h = -233 + 235. Suppose 161 = h*y - 551. Does 23 divide y?
False
Let t be (-4)/18 + 1994/(-18). Let v = -15 - t. Suppose 2*b - 76 = v. Is b a multiple of 8?
False
Let j(m) = -m**2 - m + 4. Let h be j(2). Let r be (20/(-35))/(h/14). Suppose k - 5*u + 63 = 3*k, -r*k + 2*u + 162 = 0. Is k a multiple of 3?
True
Does 80 divide 3520/15*2*30?
True
Is (43/2)/((6/(-20))/(3087/(-105))) a multiple of 49?
True
Suppose 3*x = -m + 15, 5*m + 3*x - 78 = 57. Does 78 divide m/(-55) + 1975/11?
False
Let l = 8845 + -6867. Is l a multiple of 32?
False
Suppose -96*y - 20438 = -107*y. Is 17 a factor of y?
False
Suppose 0 = -13*a + 2551 + 595. Is 4 a factor of a?
False
Suppose 3*x - 2 = 1, 2*k = 9*x + 12001. Is k a multiple of 9?
False
Suppose -14*s + 27 = -11*s. Suppose s*o + 0*o = 180. Let c(m) = m**2 - 12*m - 40. Is 20 a factor of c(o)?
True
Let s(x) = -x**2 + x + 12. Let y be s(3). Suppose 15640 = 14*j + y*j. Is j a multiple of 23?
True
Suppose 0 = 29*x - 5*x + 864. Does 3 divide (-65)/(((-30)/x)/(-1))?
True
Suppose -16*x + 6481 = -40*x + 43417. Does 9 divide x?
True
Suppose 2*y = -2*y - 16. Let q be y/4*-3 + 0 + 1. Suppose 38 = 2*k - q. Does 15 divide k?
False
Suppose -12*t - 22*t = -3196. Let d = 448 + t. Does 28 divide d?
False
Suppose 124*o - 1093446 = 70*o. Is 66 a factor of o?
False
Suppose 8*d = 85*d + 18*d - 410400. Is d a multiple of 36?
True
Suppose 2482 = 20*n - 15378. Is 19 a factor of n?
True
Is (61 + -3)/(20/210) a multiple of 10?
False
Suppose 131*p + 6 = 129*p, 3*p = 3*a - 8892. Is 141 a factor of a?
True
Is 7 a factor of ((-1147146)/(-18))/13 - 8/(-36)*-6?
False
Let i = 26 - -11. Let a = i - 13. Is 6 a factor of a?
True
Is 12 a factor of ((-74102)/(-20) - -3) + (-12 - 1190/(-100))?
True
Suppose 31*i - i - 15270 = 0. Suppose -9*g - i = -10*g. Is g a multiple of 42?
False
Let f(q) = -92*q**3 - 4*q**2 - 13*q - 3. Is 5 a factor of f(-3)?
False
Let i be (-220)/(-30)*87/2. Suppose 0 = 2*m - 4*f - 130 + 20, -5*m = f - i. Is 9 a factor of m?
Tru