 divide d?
True
Suppose -8*s + 647454 = 82*s + 84*s. Does 7 divide s?
False
Suppose 0 = -223*m - 494361 + 2117578. Does 38 divide m?
False
Is 17 a factor of (-110)/(-11) + (4988 - -1)?
False
Let q(m) be the third derivative of -m**6/5 - m**5/60 - m**4/12 - m**3/2 + 12*m**2. Let z be q(-2). Suppose -4*i + 131 = -z. Is i a multiple of 20?
True
Let s = 36710 + 42922. Is 36 a factor of s?
True
Let t be -255*(8/(-7) - (-5)/35). Suppose -t - 237 = -6*s. Does 10 divide s?
False
Let v(l) = 18*l**2 - 3*l - 241. Is v(-19) a multiple of 53?
False
Let g = -42619 - -62361. Is 130 a factor of g?
False
Suppose t = -3*x + x + 9, 0 = -2*t + 5*x. Suppose g + 4 = 3, -t*o + 3*g = -2423. Is 18 a factor of o?
False
Suppose 404522 + 111679 + 73071 = 129*l. Is 8 a factor of l?
True
Suppose -4*a = 4*q - 9*a - 229, -3*a - 3 = 0. Does 7 divide ((-7)/(-1))/(8/q)?
True
Let l(p) = 6*p**2 + 25*p + 11. Let u be l(-4). Is 25 a factor of 13110/u + 2 - (-7)/49?
True
Let m(r) = -17*r + 0 - 4 + 1 + 7 + 67*r**2. Is m(4) a multiple of 21?
True
Let f = -79650 + 164673. Is 141 a factor of f?
True
Suppose 95837 = 4*q + 3*j, 0 = 4*q + 4*j - 142263 + 46431. Is q a multiple of 168?
False
Let s(u) = 8214*u**2 - 126*u + 126. Is 313 a factor of s(1)?
False
Suppose 1530 = 6*z + 9*z. Let c = z - 12. Is c a multiple of 11?
False
Let c(h) be the third derivative of 13*h**4/24 - 2*h**3/3 + 80*h**2. Is c(4) a multiple of 12?
True
Let s(v) = v**3 + 52*v**2 - 64*v - 3130. Is 11 a factor of s(-36)?
True
Suppose 12*p = 11*p. Let y be p + 1 + -5 + 4. Suppose 2*g - f - 297 = y, 4*f = 5 + 7. Is g a multiple of 25?
True
Let a be (36/(-60))/(3/(-10)). Suppose -a*b - 108 = -796. Is 47 a factor of b?
False
Suppose 6*v + 2*z + 137 = 7*v, 3*z - 711 = -5*v. Does 108 divide 235/1*(v/15 - 3)?
False
Suppose -3*p - 6 = 0, 199*p = 3*d + 204*p - 38672. Is d a multiple of 15?
False
Let z(d) = -7*d**3 + 2*d**2 + 4*d + 2. Let l be z(-1). Suppose 15*m - 152 = l*m. Does 19 divide m?
True
Let n(i) = i**3 - 13*i**2 + i + 15. Let t be n(9). Let q = 449 + t. Is q a multiple of 55?
False
Suppose 0 = -3*z + 4*s - 416, 672 = -6*z + z - 4*s. Let a = 86 + z. Let x = 4 - a. Is x a multiple of 5?
False
Suppose 3478 = 3*t + 4*l, -3*t + 155*l - 157*l + 3476 = 0. Is t a multiple of 8?
False
Let i = -106 + 99. Let s be 0 + 2/(-7) + (-23)/i. Suppose s*a = -4*d + 526, -a - 2*a + 561 = -3*d. Is 14 a factor of a?
True
Let x = -6 + 20. Suppose 8 = 3*i - n - 4, i - x = -3*n. Suppose i*k - 21 = 4. Is 2 a factor of k?
False
Let p = -232 + 125. Let l = 376 - p. Does 71 divide l?
False
Suppose 7425 = -5*b + 4*g + 23519, 0 = 3*b + 5*g - 9686. Suppose -3*u + 4*f = -b, 15*u - 12*u - 3*f - 3219 = 0. Is 55 a factor of u?
False
Suppose 4*l - 28 = -3*n, 4*l - 5*n + 10 = 38. Suppose -l*g + 4163 + 1465 = 0. Is g a multiple of 12?
True
Let l = 3409 + -689. Does 170 divide l?
True
Let x = -32 - 165. Let o be 7239/19 - (-1 + -3). Let f = o + x. Is f a multiple of 17?
False
Suppose 460380 = 184*i - 241869 + 218697. Is 9 a factor of i?
True
Suppose 3 = 5*m - 8*m, 3*m = -4*s + 5. Is 31 a factor of (-2530 - (s + -7))*4/(-10)?
False
Let y(t) = 559*t**2 + 141*t - 28. Is y(7) a multiple of 126?
True
Does 19 divide (31255/105)/(12/36 - 1/4)?
True
Let i(k) = 3*k**2 - 37 - 4*k - 8*k - 4*k**2 + 53. Let j be i(-13). Does 18 divide 93 - (j/(-1) - -6)?
True
Let m(b) = -b**2 + 5*b - 2. Let o be m(-6). Does 34 divide (o/6)/(64/(-1152))?
True
Let w(v) = v**3 - 5*v**2 - 105*v + 56. Does 24 divide w(14)?
False
Suppose -24*z + 172236 = 108736 - 254740. Does 26 divide z?
True
Let g(f) = -f**2 + 4*f + 30. Suppose 2*v - 7*v = -35. Let b be g(v). Does 6 divide ((-200)/10)/((-6)/b)?
True
Let u = 35910 + -18854. Is 35 a factor of u?
False
Suppose 5*i - m + 98 = 0, -2*i - 53 = -0*i - 5*m. Let a be (0 - (3 + -1)) + i. Let j = 34 - a. Does 11 divide j?
True
Let h(f) = 3*f**3 + 83*f**2 + f + 51. Is h(10) a multiple of 25?
False
Suppose -z = -4*n - 5 + 12, -21 = 3*z + 2*n. Let i(y) = 8*y + 8*y**2 - 4*y**2 + y**2. Does 18 divide i(z)?
False
Let z(i) be the first derivative of -213*i**2/2 - 4*i - 3. Let b be z(1). Let a = b + 309. Does 23 divide a?
True
Let g(i) = -i**3 + 6*i**2 - 9*i + 9. Suppose 4*x + 2*b = 20, -23 = x - 2*x - 5*b. Let f be g(x). Let a = f + 48. Is 34 a factor of a?
False
Let p(l) = 21*l - 244. Let a be p(-9). Let r = a - -609. Does 32 divide r?
False
Suppose -3*c - 63 = -4*g - 0, c - 93 = -5*g. Suppose g*v = 184 + 176. Is ((-88)/(-5))/(8/v) a multiple of 11?
True
Let a = -48 + -22. Let i = 207 + a. Is i a multiple of 13?
False
Let w = 230 - -297. Let b = w + -266. Does 29 divide b?
True
Let t(f) = -2*f**2 - 30*f + 70. Let j be t(-17). Suppose -c + 23 - 867 = -4*r, r - j*c = 218. Does 5 divide r?
True
Let k(s) = -3*s**2 - 19*s + 6. Let p be k(-7). Is 24 a factor of 362 + -8 + (-40)/p?
False
Let j(r) = 142*r - 93. Let g be j(11). Suppose -10*w + 3501 = -g. Is w a multiple of 23?
False
Does 29 divide ((-135)/(-12))/(-13 + (-187117)/(-14392))?
False
Let i = 16 - 34. Let r = i + 20. Suppose r*q = -4*q + 168. Does 6 divide q?
False
Let m = -5331 + 9803. Does 185 divide m?
False
Suppose 2*d + 0*v = 2*v + 162, 0 = 3*d + 4*v - 264. Suppose d = -5*f + 249. Does 33 divide f?
True
Let x = 10498 + -5421. Is 118 a factor of x?
False
Let m(b) = -2*b - 41 - 5*b + 57 + b**3 + 6*b**2. Let o be m(-7). Does 9 divide (2/(-3))/(o/(-288))?
False
Suppose -3*q + 35*q - 1591700 = -18*q. Is 22 a factor of q?
True
Suppose 32*z - 15941 + 4901 = 0. Does 23 divide z?
True
Suppose -d - 5*x = 4*d - 720, -5*x = -10. Suppose d = 2*y + 2*v, -12 = -5*y - 3*v + 333. Does 6 divide y?
True
Let d = 26558 + -24297. Does 4 divide d?
False
Suppose 112*c = 117*c - 2645. Let x = -485 + c. Does 7 divide x?
False
Let b be 124/(-12)*-3 - 3. Let n(j) = j**2 - 7*j - 10. Let x be n(7). Let i = b - x. Does 10 divide i?
False
Let y(m) = m**3 - m**2 + 2*m - 2. Let q be y(1). Let d(o) = o - 19. Let i be d(9). Does 20 divide i/5 - q - -185?
False
Let f(j) = -1011*j - 3869. Is 15 a factor of f(-10)?
False
Let k = 39 - -51. Is 4 a factor of k + 4 + 36/(-6)?
True
Is 5001556/357 - 2/(-51) a multiple of 15?
True
Let u = 17662 - 15484. Is u a multiple of 6?
True
Let c(n) = -3*n**3 + 132*n**2 - 8*n - 58. Is c(41) a multiple of 69?
False
Let n = -2066 + 3294. Does 7 divide n?
False
Let c = -12881 - -14676. Is c a multiple of 42?
False
Let s(a) = -a**2 + 14*a - 15. Let d(w) = w + 1. Let v(z) = 4*d(z) - s(z). Let x be v(8). Suppose -x*m = l - 679, 0 = -4*m + 6*l - 2*l + 916. Does 28 divide m?
False
Let c be (6 - 2)*(-19)/38. Is 34 a factor of 1428/(2 - (-1)/c)?
True
Let q be 1*((-10438)/(-6) - (-5)/15). Suppose 5*m + 0*o = o + 4350, -2*o + q = 2*m. Suppose m = -13*u + 18*u. Is u a multiple of 29?
True
Let v be (-22)/11 + (0 - 108). Let t = 119 + v. Does 36 divide t/42*-4*-28*3?
True
Suppose 3*v = -15, 0 = -2*i + 5*i + 3*v + 27. Does 16 divide (-330)/(15/5 + i)?
False
Let o = 2 - 0. Let c(j) = -25*j**2 + j - 1. Let z be c(o). Let w = z + 270. Does 29 divide w?
False
Suppose 0*p + 2*p - 18 = -2*z, z - 24 = -4*p. Suppose c - 4*b + 82 = 242, p*c - 5*b = 830. Is 28 a factor of c?
True
Let t(h) be the first derivative of h**4/4 - 11*h**3/3 - 72*h - 124. Is t(13) a multiple of 23?
False
Let q = -132 + 54. Let d = -84 - q. Does 30 divide 20/d*(-225)/6?
False
Let p be 525/15*(0 + (-2 - -85)). Let f = p - 2021. Is 17 a factor of f?
True
Suppose 0 = -24*s - 1221 + 6837. Let m = s + -164. Is 15 a factor of m?
False
Let d = -69 - -74. Let r(w) = -w**2 + 6*w + 10. Let l(q) = 1. Let n(p) = d*l(p) - r(p). Does 10 divide n(9)?
False
Suppose -o = -60 + 4. Suppose o = -4*v + 204. Suppose 0 = 5*f + 3*w - 81, 3*f - 3*w - w - v = 0. Is 9 a factor of f?
False
Is 16 a factor of (4664/(-33))/(2/(-36))?
True
Let g be (-3 - -3) + (-1 - 1). Let q(d) = -25*d + 11. Let s be q(g). Suppose 0*u + s = 3*w - u, 59 = 3*w + u. Is 3 a factor of w?
False
Let t(a) = -a - 2. Let f(r) = -166*r + 20. Let b(n) = f(n) - 4*t(n). Is b(-4) a multiple of 13?
True
Suppose -22*r = -14*r - 3032. Suppose 0 = -2*m + 139 + r. Is m a multiple of 37?
True
Let a(u) = u**3 - 10*u**2 + 3*u - 25. Let o be a(10). Suppose -12*s + 987 = -o*s. Does 28 divide 16/(4/1) + s?
False
Suppose 2*n = 5*s + 5, -3*n = -4*n - 4*s + 22. Let x be 6/30 + 3778/n. Suppose 48 + x = 3*z. Is 21 a factor of z?
Fals