). Let a = -362 - n. Does 22 divide (-1)/3 + a/(-3)?
False
Suppose 0 = -5*u + 5, 1998 - 8508 = -4*r + 2*u. Is 11 a factor of r?
True
Let z be 1 - 16*-1 - (-16 - -15). Let p be 0 - 6621/27 - z/(-81). Let m = 414 + p. Does 19 divide m?
False
Suppose 230328 = 21*o + 33*o + 9*o. Is o a multiple of 8?
True
Let b = -9289 + 10829. Does 22 divide b?
True
Let j(g) be the first derivative of g**4/4 - 5*g**3/6 + 2*g**2 - 7*g + 7. Let h(a) be the first derivative of j(a). Is h(-5) a multiple of 27?
False
Suppose m - 3*g = 15, -g - 15 - 18 = -5*m. Let c(b) = -b**2 + 9*b - 9. Let y be c(m). Suppose -p + 4*a - 4 - y = 0, 16 = 4*a. Is 2 a factor of p?
False
Let x(k) = k**3 - 14*k**2 + 15*k - 16. Let f(s) = -2*s**3 + 5*s**2 - 2*s + 3. Let j be f(5). Let i be j/(-12) + (2 - 0). Is x(i) a multiple of 2?
True
Let r(q) be the first derivative of 63*q**2/2 + 271*q + 280. Is 116 a factor of r(27)?
True
Let k = 60 - -1. Suppose 4*m - k = 2*g + 227, 0 = -m + 5*g + 72. Does 12 divide m?
True
Is (0 - -2)*((-90)/9 + 4042) a multiple of 18?
True
Let h(j) = j**3 + 12*j**2 - 3*j - 5. Let x(i) = -3*i - 64. Let n be x(-15). Let q = -31 - n. Is 6 a factor of h(q)?
False
Let g = 26 + -38. Let h be 3/6 - g/8. Suppose -151 = -6*i + h*i + 3*x, 5*i + 2*x = 160. Is i a multiple of 17?
True
Let d(z) be the second derivative of 1/20*z**5 + 4*z - 2 - 17/3*z**3 + 7/6*z**4 - 11*z**2. Does 10 divide d(-15)?
False
Let v(h) = -6*h - 9. Let m be v(-2). Let b(y) = -y**2 - 5*y + 5. Let o be b(m). Let u = 4 - o. Is 3 a factor of u?
False
Let b = 2155 + -597. Let c = b - 259. Is 25 a factor of c?
False
Let k(q) = -2*q + 2812. Does 48 divide k(-106)?
True
Let a(p) = 4*p - 3. Let l be a(2). Suppose l*b = 1 - 6. Is 8 - (3 + -5 + b) even?
False
Let s(r) be the first derivative of 595*r**3/3 + 2*r**2 - 5*r + 101. Is 33 a factor of s(1)?
True
Suppose 1 = -w + 5. Suppose -5*y - 2*c + 10 = -7, w = 4*c. Suppose -4*t + 308 = 4*j - y*t, 4*j - 2*t - 320 = 0. Is j a multiple of 12?
False
Suppose x + g + 1639 = 6*x, 981 = 3*x - 3*g. Suppose 0 = -4*s - 4*u + 424, 2*s = 5*s + 5*u - x. Is 32 a factor of s?
False
Suppose 56 + 25 = 9*r. Is 24 a factor of r/(-15) - (-19224)/40?
True
Suppose o - 3590 = d + 6250, -d - 49208 = -5*o. Is o a multiple of 38?
True
Let d = -162 + 171. Is 5 a factor of -21*((-5)/(15/(-9)) - d)?
False
Does 39 divide (-1)/(3/57)*(86 + -359)?
True
Suppose -310428 = -87*d + 143451. Is d a multiple of 4?
False
Let x(u) = -418*u**3 - 4*u**2 - 8*u - 8. Let r(l) = -419*l**3 - 5*l**2 - 9*l - 9. Let i(j) = -5*r(j) + 6*x(j). Is 23 a factor of i(-1)?
True
Let h = 14 + -18. Let k be (-91)/h - (-9)/(-12). Suppose -5*z + k = -148. Does 17 divide z?
True
Suppose 21*a - 770 - 280 = 0. Let c = -37 + a. Is c even?
False
Let o = -125 + 271. Let b = o + -82. Is 8 a factor of b?
True
Suppose 0 = -29*k + 46946 + 16054 + 85625. Does 41 divide k?
True
Suppose -11*j = -8*j + 24. Let d = j - 31. Let o = 92 + d. Is 10 a factor of o?
False
Suppose 13165*t - 7924 = 13151*t. Does 44 divide t?
False
Let d(v) = -2*v**3 - 7*v**2 + 3*v - 4. Let p be d(-4). Suppose p = 3*l - w - 1444, -27 = -3*l - 4*w + 1397. Does 17 divide l?
False
Let q = -349 + 491. Let s = -79 + q. Suppose 3*z + 3*m = s, -m = -0*m - 3. Does 3 divide z?
True
Let d be (-4)/(-18) + 160/90. Suppose -3*n + 8 = d. Suppose n*z - 94 = -y, 0 = -4*y + z + 82 + 276. Does 9 divide y?
True
Let c = -28 + 31. Is 5/10*-1244*c/(-6) a multiple of 16?
False
Suppose -8*q + 6*q + 14015 = -5*w, 0 = 5*q - 4*w - 35080. Is 30 a factor of q?
True
Let x(g) = -g**3 - 5*g**2 + 42*g - 198. Does 9 divide x(-19)?
False
Let n = 450 + -445. Suppose n*l + 5*l - 1960 = 0. Is l a multiple of 7?
True
Suppose 792*o - 810*o = -18972. Does 34 divide o?
True
Suppose 371*t = 515*t - 708768. Is t a multiple of 23?
True
Suppose -21*u = -24*u - c + 525, -4*u - 5*c = -678. Is u a multiple of 3?
True
Let q(l) = 96*l**2 + 9*l - 24. Let i(h) = h**2 - 38*h + 167. Let s be i(5). Is 22 a factor of q(s)?
False
Let c be (-13)/26 - 5/2 - -5. Does 15 divide 114*(1/c + 7)?
True
Let b be 1 - (10 + 0) - 2. Let j(g) = 13*g**3 - 18*g**2 - 14*g - 19. Let x(o) = 7*o**3 - 9*o**2 - 7*o - 10. Let r(s) = b*x(s) + 6*j(s). Does 26 divide r(10)?
True
Let v = -8202 - -14492. Is v a multiple of 34?
True
Suppose -25220 = -2*v - 5*y, -429*v + 427*v = -y - 25196. Is v a multiple of 8?
True
Suppose -20*p = -21*p + 5*k + 10314, 3*k + 30918 = 3*p. Is p a multiple of 137?
False
Suppose -4*s + 53750 = 2*k, -419 = 4*s - 3*k - 54194. Does 24 divide s?
True
Let p(u) = 3*u**2 + 37*u + 11. Is 36 a factor of p(28)?
False
Let j(r) = -r**2 - 58*r - 38. Let w be j(-13). Suppose 2*c = -6*o + 370, o - 2*o = 3*c - w. Is 13 a factor of c?
True
Let q(c) = -24*c - 135. Let u be q(-15). Suppose 4*b = r - u, 4*b = -r - 0*r + 193. Is r a multiple of 19?
True
Suppose 71527 + 19738 + 29491 = 29*s. Is s a multiple of 6?
True
Let z(d) = 2*d**2 - 290*d - 267. Is z(-57) a multiple of 17?
False
Let c = 337 - -198. Let g = 616 - c. Is g a multiple of 7?
False
Suppose 5*j = 4*v + 60734, 5*j - 49548 = 3*v + 11190. Is j a multiple of 15?
True
Suppose -1230*s + 1277*s - 120305 = 211327. Does 39 divide s?
False
Suppose -g - 4*g + 20 = 0. Let h(r) = -5*r + 24. Let x be h(g). Let f(j) = -j**3 + 5*j**2 + 5*j. Is 10 a factor of f(x)?
False
Let c(p) = -10*p**3 - 3*p**2 + 24*p + 143. Does 149 divide c(-5)?
False
Let y(p) = -2*p**2 - 10*p - 4. Let f be y(-3). Suppose 10*c - 9*c - f = 0. Suppose 3*x = c*x - 1740. Does 58 divide x?
True
Suppose 2*i - 76 = 32. Suppose 4*q - i = 6. Is ((-147)/(-9))/(5/q) a multiple of 33?
False
Let g(a) be the first derivative of 11*a**4/2 + a**2 + 288. Let j be (-3 + -1)*3/(-6). Is 10 a factor of g(j)?
True
Let j(u) = 104*u - 223. Let s be j(4). Is 97 a factor of s + -1 + (-152)/(-76)?
True
Let j be (108/(-21))/(2361/(-1176) - -2). Suppose 1032 = 12*l - j. Does 19 divide l?
False
Let y = -46876 + 72126. Does 30 divide y?
False
Suppose 8680 = 30*p - 10*p. Suppose -3*f = -2*z - 2*f + p, -5*z + 3*f + 1083 = 0. Is z a multiple of 11?
False
Let d = 3136 + -1779. Does 27 divide d?
False
Let o = -24579 + 47529. Is 165 a factor of o?
False
Does 35 divide (-567453)/(-30) + 2/14 + (-68)/280?
False
Suppose -1130 = -4*d - 5*a - 117, 2*d + 8*a = 512. Does 5 divide 9*(-5)/(-90)*d?
False
Let g = -46 + 59. Let o = 18 - g. Suppose 2*n - 268 = -4*x, -x = o*n - 61 + 3. Is x a multiple of 16?
False
Suppose 213*q - 197*q - 3408 = 0. Is 37 a factor of q?
False
Let h be 0 - ((-10)/30)/(2/30). Suppose h*s + k = -110 - 193, -3*s - 193 = -5*k. Let i = -3 - s. Is i a multiple of 9?
False
Suppose 3816 = -16*h + 14568. Suppose -h = -11*p + 8*p. Does 7 divide p?
True
Suppose 527*g - 362*g - 3260400 = 0. Does 20 divide g?
True
Let d(u) = 4514*u**2 + 7*u + 17. Is 52 a factor of d(-1)?
True
Suppose -89*z + 3799807 = 62*z - 1358655. Is z a multiple of 29?
True
Suppose 3*j = -3*q + 39807, 0 = 5*j - 82 + 77. Does 62 divide q?
True
Is 10 a factor of -5*(-4)/(-10) + 62?
True
Suppose 2*q - 3*q + 33 = 2*v, 0 = q - 4*v - 69. Is q a multiple of 3?
True
Suppose -1 = -5*b + 4, 0 = 5*t - 4*b - 266. Is t a multiple of 18?
True
Let n(r) = 10*r**2 + 52*r + 12. Let f be n(-5). Does 34 divide (6666/(-12) + 2)/((-1)/f)?
False
Let v(z) = 5*z + 39. Let a(c) = -3*c + 1. Let q(w) = -2*a(w) + v(w). Is q(10) a multiple of 24?
False
Let a = 47306 - 22026. Is 150 a factor of a?
False
Let o = -1861 + 4217. Does 19 divide o?
True
Let f = -72 - -81. Suppose 16*h - 798 = f*h. Is 19 a factor of h?
True
Is 26139/(1 - -6 - (229 + -223)) a multiple of 124?
False
Is 121 a factor of -363*(-35 - -34)/(1/5)?
True
Let w(r) = 12*r + 54. Let d(y) = -6*y + 72. Let k be d(11). Is 21 a factor of w(k)?
True
Let b(o) = 2*o**2 + o - 19. Let x(k) = k**3 - 4*k**2 - 19*k + 37. Let d be x(6). Does 13 divide b(d)?
True
Suppose 2*w = -3*z + 5, -z = -3*z - 3*w. Suppose -5*h + 16 = z*i, -6*h + h + 30 = 5*i. Does 9 divide 18/1 + -7 + i?
True
Suppose 0 = -23*x + 44*x - 12684. Suppose x = 7*s + 135. Does 2 divide s?
False
Suppose 0 = -b + 47 + 7. Suppose -22*v + b = -13*v. Let y = 28 + v. Is y a multiple of 17?
True
Let y = -154 + 448. Suppose 0 = 5*l + 114 - y. Is l a multiple of 4?
True
Let v = -420 + 231. Let o = v + 567. Does 14 divide o?
True
Suppose 3*t = 5*b + 38589 + 826, -3*t - 5*b + 39425 = 0. Does 219 divide t?
Tru