of (4/18 - 375720/(-54)) + (-70 - -73)?
False
Suppose -4*j + 38 = -0*j + t, -j + 4*t = -18. Suppose j = -2*d - 4. Does 5 divide d*((-36)/(-14) + -4)?
True
Suppose 28*l = 123*l - 63*l - 686848. Does 17 divide l?
False
Suppose 4*a - 73455 = 3*q, 47*a + 5*q = 46*a + 18404. Is a a multiple of 201?
False
Let g(a) = 482*a**2 + 29*a + 12. Is g(4) a multiple of 80?
True
Let j(r) = -34*r**3 - 15*r**2 - 265*r + 37. Is 309 a factor of j(-12)?
False
Let y(p) = 66*p**2 - 7*p + 4554. Is y(0) a multiple of 11?
True
Let z(v) = -80*v. Suppose -4*x - x - 30 = -5*p, -2*p - 9 = 5*x. Let n be z(x). Does 5 divide (4/5)/(n/(-125) + 2)?
True
Suppose 0 = -2*c + 4 - 12. Does 32 divide (220/(-8))/(c/136)?
False
Let n = -502 + 543. Suppose -352 = 30*s - n*s. Does 24 divide s?
False
Let j(r) = 8186*r**2 + 1626*r + 3253. Is j(-2) a multiple of 185?
True
Suppose 2*v - d - 8400 = 0, 3*v = -7*d + 11*d + 12590. Is 22 a factor of v?
True
Suppose -100 - 21 = -11*i. Let q(k) = 10*k + 1. Let f be q(3). Suppose -y - i = -f. Is y a multiple of 4?
True
Let h be 3 + (25/(-15))/((-4)/36). Suppose -h*q + 23*q - 505 = 0. Is q a multiple of 16?
False
Suppose -49613 + 12137 = -36*h. Does 7 divide h?
False
Suppose -171*n + 198*n = -61*n + 295152. Is n a multiple of 43?
True
Let z(p) = p + 17. Let h be z(4). Suppose 5*r = h + 4. Suppose -i = -r*t + 319, -2*i - 8 = -0. Does 21 divide t?
True
Let a(w) = -21*w**3 + 13*w**2 - 7*w + 15. Let z be a(-11). Does 15 divide z/120 + 4/(-5)?
False
Is ((-76)/6)/(((-2)/24)/(-3 - -18)) a multiple of 30?
True
Let n(f) be the first derivative of 371*f**2/2 + 23*f + 146. Does 28 divide n(2)?
False
Let w be (-2)/9 - (-112)/18. Suppose 5*p = -w - 4. Let m(j) = -60*j + 1. Does 11 divide m(p)?
True
Let h be (-44)/(-10) + 1/15*9. Suppose -3*s + o + 5524 = 0, h*o = -4*s + 2*o + 7387. Is 30 a factor of s?
False
Let n(a) = 59*a + 19. Let t = -136 + 139. Is n(t) a multiple of 44?
False
Let t be (-187 - -1) + (8 - 13). Let f = 271 + t. Suppose 15*u - f = 13*u. Does 20 divide u?
True
Suppose -2*q = -3*r - 0*r - 2123, 1072 = q + 2*r. Suppose -5*m = -49 - q. Let t = -47 + m. Is t a multiple of 13?
False
Suppose -161 = -5*t + 9. Let n(m) = 2*m**3 - 67*m**2 - 30*m + 28. Is 19 a factor of n(t)?
False
Let x = 3099 + -3093. Suppose 110 - 37 = n + h, 2*n = 5*h + 118. Suppose -3*c = x - n. Does 4 divide c?
False
Suppose 30*k = 29*k. Is 393/(-2)*((-2)/3 - k) a multiple of 9?
False
Is (-6 - -1) + ((-3)/2)/(11/(-121242)) a multiple of 8?
True
Let g = 41 - 24. Suppose 2*v = 2*z - g - 375, z - 4*v = 202. Suppose -2*a + 114 = -2*f, 0 = -5*a - 5*f + z + 41. Does 26 divide a?
True
Let k(a) = -22*a**2 + 7*a + 4. Let u be k(-6). Let n = u - -1430. Does 6 divide n?
True
Let q(f) = 6*f**3 + 3*f**2 + 2*f - 62. Is 20 a factor of q(7)?
False
Let o(p) be the first derivative of 51 - 9 + 6*p**2 - 10*p + 0*p + p**3. Is 22 a factor of o(-12)?
False
Let g(v) be the third derivative of v**6/120 - v**5/3 + 5*v**4/6 - 8*v**3/3 - 97*v**2. Is g(19) even?
False
Suppose -2*z - 2 = 2*y, -3*z - 1 = -6*z - 5*y. Let p be (5/(-2))/(z/((-18)/(-3))). Suppose 0 = 2*c - p*c + 42. Is c even?
True
Suppose 26*o - 56*o = -576971 - 1909. Does 24 divide o?
True
Let q(l) = 126 - 3*l - 60 + 120*l**3 - 64. Is 27 a factor of q(1)?
False
Let v(b) = -11*b - 1. Let j be v(4). Let q(r) = 70*r**2 - 11*r - 10. Let n be q(-1). Let f = j + n. Is f a multiple of 26?
True
Suppose -25*o + o = 3384. Let m = 207 + 114. Let h = o + m. Does 15 divide h?
True
Suppose -5*w + 4*w - 3*k + 31 = 0, 0 = 3*k + 12. Suppose 0 = -w*g + 35*g + 384. Does 12 divide g?
True
Suppose 580 = 13*d - 18*d. Let y = 378 - 208. Let x = y + d. Is x a multiple of 9?
True
Let h = -48 - -84. Let w = h - 50. Is (w + -1)/(2*(-4)/8) a multiple of 5?
True
Suppose -13 = -k + o, 0 = -k + 2*o + 11 + 5. Let f(n) be the first derivative of n**3/3 - 5*n**2/2 + n + 6. Does 17 divide f(k)?
True
Let f(y) = 4*y**3 - 55 + y**3 + 7*y**2 + y**3 - 59 + 116. Is f(4) a multiple of 19?
False
Suppose -v - 7*f - 120 = -6*f, 4*v = -3*f - 475. Let n = v + 159. Is n even?
True
Let q = 5157 - 5169. Let v(g) = 5 - 3 - 3*g - g. Is 7 a factor of v(q)?
False
Suppose 5*b - 6859 = 3*l + 2651, 3*b - l = 5706. Let u = 3102 - b. Does 30 divide u?
True
Suppose -364*w + 334*w = -233100. Does 21 divide w?
True
Suppose -9*j + 5*j = j. Let a be (j*(-1)/2)/(2 - 0). Suppose a = 4*r + r - 770. Does 13 divide r?
False
Suppose -l = 5*o - 9654, -40*l + 44*l - 5*o - 38566 = 0. Is 179 a factor of l?
False
Does 40 divide 17605 + ((-228)/(-48))/19*44?
False
Suppose -2*x = -0*x - 4. Suppose -2*u = x*h - 52, -u + 4*u + 4*h - 82 = 0. Does 4 divide (2 - (1 + 0)) + u?
False
Suppose s = -4*u + 3248, 6496 = 2*s - 218*u + 213*u. Is 16 a factor of s?
True
Let g = 47369 - 17594. Is g a multiple of 14?
False
Let u(m) = 7*m**3 + 12*m**2 + 46*m + 19. Is u(10) a multiple of 20?
False
Let v(d) = d**3 + 2*d**2 - 8*d - 5. Let z be v(-5). Let m = z - -45. Suppose a = -m*a + 324. Is 27 a factor of a?
True
Suppose 40*w - 30725 = -3*w - 4366. Does 5 divide w?
False
Suppose -290366 = -20*v - 27*v. Does 11 divide v?
False
Suppose -9*c - 12 = -5*u - 7*c, 4 = -2*u + 3*c. Suppose u*t - 1352 = -4*l, 2*t + 4 = t. Does 57 divide l?
True
Suppose 5*z + 5*s + 2 = -13, -4 = 2*z + 3*s. Let h(g) = g**3 + 4*g**2 - 7*g - 2. Let l be h(z). Suppose 23 = -l*n + 119. Is n a multiple of 12?
True
Let j = 5313 - 3753. Is 39 a factor of j?
True
Does 13 divide (-16)/8*87191/(-38)?
True
Let a = 1336 - 749. Let t = -468 + a. Is t a multiple of 19?
False
Let v(l) = -2*l**3 - 9*l**2 - 14. Let u = -284 - -275. Is 65 a factor of v(u)?
True
Let k(a) = 6*a**2 + 78*a - 3393. Is 33 a factor of k(53)?
False
Suppose -3*l - 8*l + 12192 = -3*l. Is l a multiple of 2?
True
Suppose 199 = -z + 1646. Suppose 4*x + z - 463 = 0. Let s = -142 - x. Is s a multiple of 13?
True
Let j(i) = 3*i**3 + 11*i**2 - 24*i + 35. Suppose 30 = 3*g - 3*t, t + 5 = -5*g + 31. Is 42 a factor of j(g)?
False
Let l(v) = 73*v**2 + 87*v + 430. Is l(-11) a multiple of 180?
False
Suppose 5*b = 43*b - 1216. Is 12 a factor of 1752/2 - (b/4 - 9)?
False
Let g(z) = -z**3 - 14*z**2 - z + 10. Let d = 37 + -54. Let r = -31 - d. Does 10 divide g(r)?
False
Let f be (-11 - -11)/((-6)/(-3 - 0)). Suppose f = 4*u - 2*h + 7*h + 112, -5*h = 20. Let z = 58 - u. Is z a multiple of 27?
True
Suppose -1287*v + 1272*v + 25740 = 0. Does 26 divide v?
True
Suppose 4*k - 4*z - 6698 = k, k - 2226 = -2*z. Suppose 4*a + 5*r = k, -r + 2777 = 5*a - 0*a. Is a a multiple of 37?
True
Suppose 0 = -14*x + 11*x + 18. Let v(u) = 17*u + 54. Does 12 divide v(x)?
True
Let p = 78 - 80. Let i(g) = -25*g - 4. Is i(p) a multiple of 23?
True
Let z(k) = -k**3 + 4*k + 5. Let n be z(-2). Let l(w) = w**2 - 2*w + 3. Let j be l(2). Is 3 a factor of 3/j + 0 - (n + -21)?
False
Suppose -4*z + z = 0. Let g(i) = -i - 149. Let c(w) = 4*w + 449. Let l(m) = -2*c(m) - 7*g(m). Does 29 divide l(z)?
True
Suppose -5664*g = -5676*g + 67704. Is 42 a factor of g?
False
Let k(s) = 57*s + 26. Let h(y) = y**2 - 2*y - 25. Let u be h(7). Suppose u + 6 = 4*l - 4*q, l = -3*q + 12. Is k(l) a multiple of 46?
True
Suppose 8*m + 9 = 41. Suppose 0 = -t + c + 3028, c + 12100 = m*t - 0*c. Suppose 0*o - 18*o + t = 0. Is 28 a factor of o?
True
Suppose 3*f - 5*n - 8185 = 0, 4*f - 6*n = -8*n + 10922. Suppose -21*b - 18*b + f = 0. Does 5 divide b?
True
Let v(q) = -q**2 - 8*q - 5. Let o(i) = -i - 8. Let y be o(-3). Let f be v(y). Is 6 a factor of (18/(-15))/((-2)/f)?
True
Let w(h) = 5756*h - 987. Does 49 divide w(5)?
False
Let j(k) = -4*k + 0*k + 385 - 21*k - 212. Is j(5) a multiple of 9?
False
Suppose -18*v + 464 = 2408. Does 9 divide (2574/312)/((-1)/v)?
True
Let v be 30/(-4)*(168/30)/(-7). Suppose -42 = 3*z - v*z. Suppose 21*d - z*d = 203. Is d a multiple of 16?
False
Let f(i) = i**2 - 260*i + 32. Is f(-16) a multiple of 46?
False
Suppose -5*o - 5 = 0, 4*o - 4 = -3*x + 4. Suppose x*s + 23 = 5*t, 0*s = s - 5*t + 2. Does 21 divide -1*(s + 2)*25?
False
Is 3 a factor of (-19019 - -15)/(-4) - (1 - -7)?
True
Suppose q + 22*q + 391 = 0. Let y(a) = a**2 - 25*a + 65. Does 11 divide y(q)?
False
Let r(t) = -t**2 - 6*t - 4. Let a be r(-2). Suppose -185 = a*z + 55. Let v = z - -66. Is v a multiple of 3?
True
Suppose 0 = 17*g - 262 - 248. Suppose -28*m = -g*m + 190. Does 16 divide m?
False
Suppose 2*h 