a - 11*a + 210. Does 4 divide a?
False
Suppose 12*u - 7*u + 4*r = 65767, -2*r = -u + 13145. Is u a multiple of 47?
False
Does 99 divide (147/(-11))/((-3)/488) + 490/2695?
False
Let i = 4758 + -1794. Is i a multiple of 38?
True
Let q = -192 + 217. Suppose -q*o - 763 = -32*o. Does 24 divide o?
False
Let v be 21/(((-12)/(-10))/(-6)). Let k = v - -109. Suppose c + 7*z - 25 = 2*z, 0 = -c - k*z + 26. Does 4 divide c?
False
Suppose -15*o = -65*o + 51095 - 10595. Is 30 a factor of o?
True
Is 12 a factor of ((-2)/5)/(48/(-52680))?
False
Let u = -69 - -93. Let g be -3 + 3*12/4. Suppose 0 = 4*o - g*o + u. Does 12 divide o?
True
Suppose 11*i + 3422 - 136753 = 0. Is 37 a factor of i?
False
Let z be -10*(-3)/(-12)*(0 + -2). Suppose z*i - 10*i + 1845 = 0. Is i a multiple of 41?
True
Let q = -377 + 54. Let p = 939 + q. Is p a multiple of 28?
True
Let x(k) = 26*k - 53. Let u be x(11). Let r be (-1 - 1)*65/2. Let g = r + u. Is g a multiple of 18?
False
Suppose -80656 = -22*y - 31816. Does 37 divide y?
True
Suppose 3*a - 5*i - 48 = -4, 74 = 4*a + i. Let o = 65 - a. Suppose 0 = 5*w - 2*y - 823 - o, 2*y = -2*w + 362. Is w a multiple of 22?
True
Suppose 5*v + 414 + 536 = 0. Let p = v - -276. Let q = p + -39. Is q a multiple of 30?
False
Suppose 6*u - 121 - 5735 = 0. Let t = u - -54. Is 15 a factor of t?
False
Suppose -4*i + 56158 = -2*d - 0*d, -2*i - d = -28081. Does 9 divide i?
True
Suppose 1134302 + 153438 = 155*y. Is 67 a factor of y?
True
Let r(n) = -10*n**2 + 7 + 8*n + n**3 - 3 + 24. Is r(10) a multiple of 19?
False
Let z = 140 - 35. Is 6/45 + (265496/z)/11 a multiple of 23?
True
Suppose 6*c = 36*c - 112950. Does 15 divide c?
True
Suppose 78 = 5*b - 192. Suppose 5*r = b + 6. Does 7 divide (-134)/(-4) - (1 - 30/r)?
True
Suppose k + 4*c + 1 = 0, c = 2*c + 5. Suppose -5*o + 5*w + 95 = 0, -48 = -5*o + 4*w + 42. Let f = o + k. Is f a multiple of 11?
True
Let b(s) = s**3 + 5*s + 2. Let a be b(-3). Let h be ((-10)/5 - -4)*-66. Let i = a - h. Is i a multiple of 23?
True
Let x(j) = 28*j**2 - 12*j - 22. Does 62 divide x(-9)?
False
Suppose 22*y + 39156 = 34*y. Is y a multiple of 47?
False
Suppose 5*h = -3*o + 4, -4*h = h - 3*o - 16. Suppose -h = 2*s, -3*u - 2*s + 1045 = -6*s. Is u a multiple of 8?
False
Let o = 726 - 152. Suppose -o = -v - 3*h + h, 1172 = 2*v - 2*h. Does 16 divide v?
False
Let c be (-1)/4 - (-27)/24*2. Suppose -4*g + 170 = -2*u, 0*g = -2*g - c*u + 88. Suppose -60 = g*a - 48*a. Is a a multiple of 12?
True
Let p be (0 - 2)*(6 - (-7352)/(-16)). Let g = p + -577. Is 15 a factor of g?
True
Suppose 2*q - 17951 = -f + 86, -18009 = -2*q + 3*f. Does 11 divide q?
False
Let s(j) = -2*j + 39. Let i be 7/(-4) - 1 - (-1)/(-4). Let z(h) = 3*h - 79. Let l(q) = i*z(q) - 5*s(q). Does 10 divide l(18)?
True
Is (-5 - -2 - -2)/(11/(-6974)) a multiple of 19?
False
Suppose -5*j = 4*r - 38, -j + r + 16 = 6*r. Suppose 0 = 2*p - 14 + j. Suppose -256 - 200 = -p*z. Is 38 a factor of z?
True
Suppose 800*l - 193*l - 6792330 = 0. Does 30 divide l?
True
Suppose 8*n + 12*n = 180. Suppose 4*d = -5*u + 1217, -5*u + n*u = -2*d + 976. Is u a multiple of 7?
True
Suppose 0 = -l + 7*i + 33675 - 6129, -i = -5*l + 137934. Is l a multiple of 19?
True
Let j = -2338 - -1666. Let r = -364 - j. Is 16 a factor of r?
False
Let o(s) = 21*s + 4. Let n be o(4). Let z = n + -83. Suppose -5*l - 154 = -p, 2*p - 6*p - z*l + 716 = 0. Is 29 a factor of p?
True
Is 1 + (878/2 - -14) a multiple of 6?
False
Suppose 5*v - 10 = 0, 2*s + 3*s + v = 10912. Suppose s = -28*q + 19654. Is 78 a factor of q?
True
Let p(g) = 754*g + 9038. Does 76 divide p(7)?
False
Is (13 - 6 - 108/15) + (-60483)/(-15) a multiple of 64?
True
Let g = 56 + -84. Let v = 43 + g. Suppose -v = -f - 1. Is 3 a factor of f?
False
Let r be -108 - ((-56)/30 + (-10)/75). Let p = r - -186. Does 9 divide p?
False
Let p(l) = l. Let k(t) = -8*t + 2. Let h(c) = -k(c) - 10*p(c). Let u be h(-2). Suppose 3*n = -u*a + 265, -a - 2*n + 145 = -3*n. Is 28 a factor of a?
True
Suppose 0*n + 4*n - 224 = 0. Suppose 0 = 922*b - 916*b + 18. Is 19 a factor of 6426/n - b/(-4)?
True
Let u(m) = 188*m**3 + m - 1. Let w be u(1). Let d = 917 - 841. Let a = w - d. Is 14 a factor of a?
True
Let y = -75 - -135. Suppose g = -0*j + 2*j - 12, -2*j - y = 3*g. Is -1*(0 - 15/(-6)*g) a multiple of 15?
True
Suppose 3*n - 4*b = 18595 + 13581, -4*b - 21444 = -2*n. Does 19 divide n?
False
Let t = -17 + 22. Suppose t*w = -5*g - 10, 5*w - 10 = -5*g + 4*w. Suppose g*h + 2*a - 362 = -2*h, 2*h - 152 = a. Is 12 a factor of h?
False
Let m(s) = -53*s - 626. Does 10 divide m(-23)?
False
Let v = 14 - 14. Suppose 3*t - 5*d = 15, 4*t + 4*d - 3*d + 3 = v. Suppose t = g + 4, 5*l - 6 = -5*g + 24. Does 9 divide l?
False
Let h(x) = x**2 - 9*x + 4. Let t be h(11). Is 16 a factor of (t + -5)*(-46)/(-3)?
False
Let q(v) = -7*v + 52. Let m be q(-14). Suppose 78*j = 83*j - m. Does 30 divide j?
True
Suppose -112*h = -213*h + 274114. Is 118 a factor of h?
True
Let k = 856 + -855. Let g(f) = 362*f**3 - 2*f**2 + 8*f - 7. Does 19 divide g(k)?
True
Let j(q) be the third derivative of q**6/120 + 11*q**5/60 + q**4/12 - q**3 - 37*q**2. Is 3 a factor of j(-5)?
False
Let l(z) = 2*z + 11. Let o be l(-4). Suppose 15 = 5*m - 2*x - 600, -o*x = 2*m - 265. Let d = m + -61. Is d a multiple of 8?
True
Suppose 7*s - 56797 - 41322 = 0. Does 107 divide s?
True
Let c(j) be the first derivative of -j**5/30 + j**4/4 + 4*j**3/3 + 5. Let g(n) be the third derivative of c(n). Is g(-4) a multiple of 15?
False
Does 29 divide (824064/1332)/(-1 + (-22)/(-18))?
True
Suppose h - 35 - 76 = 0. Let k be (-2)/(-7) - h/21. Let m(l) = -43*l + 13. Does 14 divide m(k)?
False
Suppose 4*h - 2299 = 30*z - 31*z, 571 = h + 4*z. Let t = 1835 - h. Does 32 divide t?
False
Let o(n) = -10*n**3 + 11*n**2 + 10*n - 1. Does 60 divide o(-6)?
False
Suppose -25*y - 60*y = -131*y + 197248. Is y a multiple of 134?
True
Let m be 23188/66 - 4/3. Let y = 560 - m. Is 21 a factor of y?
True
Suppose -9*h = 10039 - 62923. Is h/30 + 12/270*3 a multiple of 49?
True
Let n(m) = -63553*m - 2324. Does 14 divide n(-1)?
False
Suppose -3*y - 12 = 0, 2*f + 10 = 4*y + 2. Does 43 divide 3 - (2/3)/(f/12330)?
True
Suppose -4*f = 1 - 9, -2*q + 3*f - 12 = 0. Is 12 a factor of (-2 - 12/(-9)) + (-437)/q?
False
Let f(a) = -11*a + 28. Let d be f(2). Is (40*d)/4 + -5 a multiple of 13?
False
Suppose 0 = 2*x - 5*r + 408, 4*x - 3*x - 4*r = -207. Let l = 132 - x. Does 14 divide l?
False
Suppose 48*j + 89951 - 88836 = 222875. Does 22 divide j?
True
Let x(o) = 2*o**2 - 5*o - 16. Suppose -7 = -4*w + 4*g - 43, w = 3*g - 13. Is x(w) a multiple of 9?
True
Suppose 2*p = 2*o + 542, p = 5*o - 2*o + 815. Suppose 4*c - 155 = -879. Let f = c - o. Is f a multiple of 7?
True
Suppose -7026 = 3*g - m - 59945, -5*m = -5*g + 88185. Is 18 a factor of g?
False
Let a(v) be the third derivative of 19*v**4/24 - 5*v**3/3 + 22*v**2. Does 68 divide a(22)?
True
Let q = 19 + 22. Let g = q + -3. Suppose 2*s + 2*v = g, 2*s + v - 5*v = 14. Does 15 divide s?
True
Suppose 0 = 2*t + 2*n - 30, t - 15 = 4*n + 20. Suppose 0 = -t*s - 3*s + 1254. Does 2 divide s?
False
Suppose -149*p - 393344 = -1239068. Is 4 a factor of p?
True
Suppose 5*p + 2*r + 130 = 0, 4*r - 34 = 2*p + 18. Is (p - -47)/(((-10)/12)/(-5)) a multiple of 21?
True
Suppose 2*j + 5*r = j + 131, -3*r = 5*j - 765. Let h = j + -104. Does 8 divide h?
False
Suppose -15 = a + 4*c, 2*a + 3*c = 5*a - 15. Let q be (2/1 - -1) + a. Let b(s) = 8*s + 4. Does 6 divide b(q)?
True
Let n be (3 + -4)*1 - 2. Let u be (n/(-2))/(2/(-12)). Let k(z) = z**3 + 9*z**2 - 3*z - 14. Does 13 divide k(u)?
True
Does 52 divide (81*(-65)/60)/(3/(-32))?
True
Let c = 128 + -124. Suppose -786 = -3*w - c*m, -8*m = -3*w - 13*m + 786. Is w a multiple of 40?
False
Let u(b) = b**2 + 3*b - 20. Let l be u(0). Let d(h) = -2*h**2 - 40*h + 6. Let r be d(l). Suppose r*m - 38 = -8. Is 3 a factor of m?
False
Suppose -4*q - 4*l + 96 = 0, -2*q + 95 = 2*q + 5*l. Suppose -12*v = -q - 155. Suppose -5*m = 5 - v. Is 2 a factor of m?
True
Let s = 20647 - 10988. Does 17 divide s?
False
Suppose 6*n - 3*u = 33177 + 10668, -n + 7312 = u. Does 7 divide n?
False
Let c(i) = 23*i**2 - 74*i + 306. Does 70 divide c(-24)?
True
Let c = 36 + -77. Let q = -46 - c. Does 42 divide (q/2 + 1)/(3/(-152))?
False
Let q(m) be the first derivative of -7*m*