. Does 39 divide j?
False
Let w = -84 + 110. Suppose 0 = a + 23 - w. Suppose -y = 4*h - 768, 5*h - 2*h - a*y - 576 = 0. Is h a multiple of 15?
False
Suppose 3*n + 35 + 4 = 0. Let g = 13 + n. Suppose 0 = -5*v - g*v + 55. Is v a multiple of 6?
False
Let p(j) = -9*j**3 - 5*j**2 + 5*j - 7. Let h(x) = 4*x**3 + 2*x**2 - 2*x + 3. Let r(c) = 5*h(c) + 2*p(c). Let w be r(-1). Is 144 - 0/(w - 3) a multiple of 12?
True
Let b(z) = 7*z**2 + 4*z + 3. Let w be b(-2). Let y(r) = r + 5. Let a be y(13). Suppose -a*l - 140 = -w*l. Does 28 divide l?
True
Suppose q = -0*q - q. Let k be (-2)/(q - -1) - 524/(-2). Is 26 a factor of k/(-15)*(90/(-4))/5?
True
Let h be 24/(-12) + (-10)/(-1). Suppose -x = 2*z - 3, 3*z - 2*x - h = 7. Suppose 5*p = 4*y - 852, 0*y + 4*y - z*p = 852. Is 45 a factor of y?
False
Suppose -68 = u - 5*u. Let r = u + 43. Let n = r + 0. Is 10 a factor of n?
True
Let y(p) = p**3 + 13*p**2 + 5*p + 10. Let b be y(-13). Suppose 12*j - 10*j - 158 = 0. Let z = b + j. Is 6 a factor of z?
True
Suppose -56*p + 145045 + 1036891 = 0. Is p a multiple of 61?
True
Let h = 894 - 1172. Is 48 a factor of h/1946 + ((-20162)/(-14) - 0)?
True
Suppose 3648 - 5673 = -5*i + 4720. Is 8 a factor of i?
False
Is 7 a factor of ((-13890)/40)/(27/(-36))?
False
Let w(f) = -f**3 - 2*f**2 - f + 4. Let q be w(-3). Suppose -5*r + q = -r. Suppose -a = r*a - 165. Is 29 a factor of a?
False
Let n be 2 + (1 - (6 + -5)). Suppose n*g - 26*b - 76 = -30*b, 4*g + 3*b - 157 = 0. Is 3 a factor of g?
False
Suppose 99452 - 32177 = 25*p. Suppose 15*s = 4509 + p. Does 38 divide s?
False
Let k be (117/(-27) + 4)/(1/(-12)). Suppose 33*w - 20967 = k*w. Is 27 a factor of w?
False
Let c be (62/(-6))/((1/(-30))/(-1)). Let w = c + 612. Let l = -149 + w. Is 17 a factor of l?
True
Let f = 47 - 52. Does 2 divide 19/(-3)*(f + 2)?
False
Let u = -622 + 11149. Does 29 divide u?
True
Let a = -1178 + 2065. Let w = -491 + a. Is 22 a factor of w?
True
Suppose -4*d + 128 = -3*y - 154, 5*d - 352 = 4*y. Let z = 541 + d. Does 18 divide z?
False
Let x = 262 - 257. Is 216*(x + (-2)/((-30)/(-65))) a multiple of 9?
True
Let t(k) = -420*k**2 - 22*k + 20. Let c be t(1). Let w = c + 437. Does 2 divide w?
False
Is -55*(504/40 + -13)/((-1)/(-30)) a multiple of 5?
True
Suppose 0 = 4*g - 3*b + 384, 3*g + 6*b = 5*b - 288. Let t = 517 + g. Does 14 divide t?
False
Let b(h) = h**3 - h**2 + 5*h - 2. Let s be b(4). Suppose 3*z + 38 = -124. Let i = s + z. Is 2 a factor of i?
True
Let y = 15 - 11. Let o be 402/14 + y/14. Suppose -o + 123 = i + 2*p, -5*i = -5*p - 545. Does 27 divide i?
False
Is 72 a factor of (6/((-36)/405*-10))/(1/1652)?
False
Let b(z) = -z**3 - 11*z**2 + 12*z + 2. Let a be b(-12). Let r(v) be the third derivative of 11*v**5/60 - v**4/12 + v**3/6 - 16*v**2. Is 11 a factor of r(a)?
False
Is 27 a factor of 4/(-3) - ((-37130)/15 + (14 - 7))?
False
Let d be 0/2 + (-1)/1. Let t be d + (-92)/2 + -1. Is t/(-14)*189/6 a multiple of 13?
False
Suppose -30 = -15*x - 0. Suppose 0 = 2*a - v - 597, -2*a = x*a - 5*v - 1203. Does 33 divide a?
True
Suppose -4*l = 5*p, -5*p + 40 = -5*l + l. Suppose 2*v - p*u - 124 = 0, 81 + 48 = 2*v + u. Is v a multiple of 64?
True
Let m = 60 + -32. Suppose b + 6*b = -m. Is 11 a factor of 1*2/b*26/(-1)?
False
Suppose 5*w - 63*j = -59*j + 49248, 0 = 4*w - 3*j - 39399. Is 3 a factor of w?
True
Let c = 3127 + 16151. Is c a multiple of 63?
True
Suppose -3*u - 27 + 268 = 4*p, 2*u = -3*p + 161. Suppose u + 35 = 2*g. Does 7 divide g?
False
Let i = -316 - 40. Let a = 660 + i. Does 20 divide a?
False
Let v(r) = -15*r**3 - 3*r**2 + r - 9. Suppose 0 = -2*x + 2*c + 2, 4*x + 5*c - 3 = -35. Is v(x) a multiple of 18?
False
Is 13 a factor of 3295 - (-10)/(-20)*(-11 - -1)?
False
Is 167 a factor of 179164/26 - 0 - 244/(-3172)?
False
Suppose h = 5*z - 3*z + 268, -3*z - 267 = -h. Suppose 4*r = h + 458. Is r a multiple of 13?
True
Let c(x) = -3 - 3*x - 20 - 2*x - 2*x. Let v be c(-5). Let n(a) = a**3 - 12*a**2 + 11*a - 28. Does 13 divide n(v)?
True
Let h(d) be the second derivative of 23*d**5/30 - 7*d**4/24 + d**3/3 - 9*d**2/2 + 16*d. Let b(n) be the first derivative of h(n). Does 29 divide b(2)?
False
Let g(j) = -3*j**2 - 2. Let d be g(0). Let z be (5 + -9)/(-8) + (-9)/d. Does 15 divide (-317 + z)*(-3)/6?
False
Let g(s) = -73*s - 9. Let n be -7 + 2 - (-3 + 1). Does 10 divide g(n)?
True
Let b(k) = k**3 - 5*k**2 + 6*k - 7. Let o be b(4). Let w be (-10)/(-4 + (3 - o)). Suppose -521 = -w*y - 51. Does 12 divide y?
False
Let c = -135 - -139. Suppose -c*v + 12 = -12. Does 7 divide (-198)/(-12)*((-80)/v)/(-4)?
False
Is 5 a factor of (0 + 793)*3 - (-2 - 4/(-4))?
True
Let t(j) = 5*j**2 - 78*j - 29. Let u be t(16). Let p = 67 + -31. Let w = p - u. Is w a multiple of 6?
False
Suppose 240*p = -647546 + 1807261 + 1471165. Is 54 a factor of p?
True
Suppose -5*u = -3*a - 15887 + 29, 2*u + 4*a = 6338. Does 21 divide u?
True
Let v = -4045 - -7939. Does 59 divide v?
True
Let v(i) = -77*i + 42. Suppose 40 = -16*j - 56. Does 28 divide v(j)?
True
Let x = -9186 - -19050. Does 8 divide x?
True
Let j(a) = a**3 + 6*a**2 - 13*a - 35. Let l be j(-7). Suppose 0 = -5*y + n + 1258, -239 = -y + 3*n + l. Is y a multiple of 20?
False
Let u(k) = k**3 + 2*k**2 - k - 1. Let m(l) = 4*l**3 + 28*l**2 - 22*l - 11. Let j(r) = -m(r) + 6*u(r). Is j(7) a multiple of 5?
False
Let b(o) = 249*o - 3031. Is b(98) a multiple of 170?
False
Let h be (-2 - 155/(-5)) + -1. Suppose 4*v - h = -l - l, 0 = 5*v + 4*l - 38. Let q(y) = y**3 - 5*y**2 - 6*y + 14. Is q(v) a multiple of 3?
False
Let g(u) = 9*u + 18. Let t be g(10). Let n = t + -108. Suppose 38*z - 35*z - 63 = n. Does 21 divide z?
True
Let a be (52/(-24))/((-4)/24). Does 41 divide (a/2)/(8/(-16))*-41?
True
Suppose -7*f + 424 = -2859. Does 3 divide (f + -7 + 0)/2?
True
Let i = 35 + -63. Let d = i - -25. Is (-97)/(-4) + -3*d/(-36) a multiple of 3?
True
Suppose -2*h = 2*h + 2*y - 528, -5*y - 264 = -2*h. Is (10/(-4))/(-5) + h/8 a multiple of 17?
True
Let u be (24/(-20) + (-20)/(-50))*5. Let n = -3505 + 2030. Does 6 divide (u/20)/(5/n)?
False
Suppose -5*v = 3*r - 1192 - 5728, -5*r + 1406 = v. Is 3 a factor of v?
False
Suppose 3*x + 4*g - 2719 = 0, 3*g = -1 - 14. Let u = -346 + x. Is u a multiple of 21?
True
Let g(b) = -10744*b**3 + 3*b**2 + 17*b + 15. Is g(-1) a multiple of 200?
False
Suppose c = -0*x - 2*x + 28, 4*x - 24 = -c. Is 26 a factor of ((-308)/(-16) + -3)*c?
True
Suppose 3*a - 1127 = 3*g - 4*g, -1129 = -3*a - 2*g. Let n = a + -69. Is 40 a factor of n?
False
Suppose -70 = 25*t - 15*t. Let s(c) = c**3 + 16*c**2 + 35*c + 13. Is s(t) a multiple of 63?
False
Suppose -76*w + 11050 = -110*w. Let l = w - -734. Does 6 divide l?
False
Is 5357 - (-12 - (-108)/12) a multiple of 67?
True
Let v(d) = -21*d - 22. Let i be v(-7). Let u = 124 - i. Is (-16)/4 + 80 - (u + 1) a multiple of 41?
False
Let a(t) = 355*t - 2199. Is 8 a factor of a(15)?
False
Is 2177 + (-12 - (-102)/17) a multiple of 2?
False
Let k(a) = -a**3 - 3*a**2 + 4*a - 5. Let h be k(-4). Let q = h - -1. Let m(y) = -y**3 - 5*y**2 - 6*y - 5. Is 3 a factor of m(q)?
True
Let h be 0*(-5 + 4) - 9. Let d(l) = l**3 + 9*l**2 - 3*l - 15. Let i be d(h). Let r(m) = m**3 - 14*m**2 + 23*m + 21. Is r(i) a multiple of 9?
True
Suppose -8*l = -3*v - 6*l + 2146, 0 = -2*v + 5*l + 1449. Let o = v - -87. Is o a multiple of 17?
True
Let k = 11212 - 6777. Does 9 divide k?
False
Let g(w) = -11*w - 16. Suppose 20*q = 23*q + 12. Is 4 a factor of g(q)?
True
Let b(t) = -t - 37. Let x be b(-32). Let g(o) = -47*o + 41. Is g(x) a multiple of 12?
True
Let x be 2 + (1 - 5 - -4). Does 10 divide (-3118)/(-14) + 4*x/28?
False
Let q(f) = -16*f - 58. Let r(a) = -14*a**3 + 1. Let s be r(1). Let l be q(s). Let c = -85 + l. Is 30 a factor of c?
False
Let i(k) = -39*k - 22. Suppose 5 = -a - 3*q + 10, 5*a + 65 = 3*q. Is i(a) a multiple of 38?
False
Let v = -49 - -53. Suppose -4*o + 460 = -3*y, -v*o - y = 3*y - 460. Is 3 a factor of o?
False
Let a = 147 - 17. Let j = a + -55. Let f = j + -35. Is f a multiple of 10?
True
Let l be (-6)/(-15) + 2248/5. Let n = 1147 + -1136. Suppose n*u - l = 8*u. Is u a multiple of 15?
True
Let a(j) = 21*j + 124. Let k be a(-6). Let c(h) = 80*h**2 + 6*h + 2. Is c(k) a multiple of 31?
True
Suppose -2*b - 38 = -5*d, -3*d + 18*b - 23*b - 2 = 0. Let g = 16 - -1. Suppose g + 79 = d*s. Do