tor of h?
False
Let b(f) = -f**2 + 1773*f + 33390. Is b(0) a multiple of 45?
True
Let r = 1673 + -519. Does 19 divide r?
False
Is 30 a factor of (12 + 210/(-20) + 98)*256?
False
Let w be (7 + 10)/(-1 - (-96)/94). Suppose 5*n + 835 = 5*f, -4*n + w = 5*f - 0*n. Is f a multiple of 6?
False
Suppose -3*o - 4*v + 64 = 0, -o + 2*v + 8 + 10 = 0. Let i be 7/3 + -1 + o/12. Suppose i*f + 2*y + 754 = 8*f, 3*f - y = 452. Is 30 a factor of f?
True
Suppose 2*g - 3*t = 5071, 3*g - 3*t - 2916 = 4683. Suppose 13*m = 1138 + g. Suppose 0*c + 3*c - m = 0. Does 11 divide c?
False
Let x be 1050/(-28)*12/(-10). Suppose -87*a = -88*a + x. Suppose 5*i + v - a = 573, -2*i = -3*v - 254. Is 29 a factor of i?
False
Let w(u) = u**3 - 38*u**2 - 41*u + 81. Let x be w(39). Suppose 3*z - 1823 = -5*i, 0*z - 2*i = x*z - 1811. Is 11 a factor of z?
False
Let v be (1 + -5 - -5)/(2/4). Suppose -70 = -3*r + w, r + 0*w - 21 = -v*w. Suppose -j + 120 = t + r, 0 = -3*t - 2*j + 287. Is 31 a factor of t?
True
Suppose -w - 149 = -6*k + 11*k, -2*w + 79 = -3*k. Let s(h) = -11*h - 132. Is s(k) a multiple of 6?
False
Suppose 2*w - 2*i = -80 + 142, -3*i + 131 = 5*w. Suppose 4*n = 5*l + 5095, 32*n - 5099 = w*n + l. Is n a multiple of 17?
True
Suppose 3*q - 530 = -2*q. Suppose -4*u = -20, -3*k + u + q = 402. Let m = k - -161. Is m a multiple of 8?
True
Let c = 41992 - 10025. Suppose 11233 + c = 32*y. Is 18 a factor of y?
True
Suppose -4*a = 3*b - 32, 0 = 3*a - 4*b - 0 + 1. Suppose r + r - 73 = -y, -3*r = -a*y - 116. Let i = 77 - r. Is i a multiple of 5?
True
Let w(p) = -26*p**3 + 555*p**2 - 32*p + 52. Is w(20) a multiple of 43?
False
Let p = 103 + -106. Is ((-39)/(-9)*5)/(p/(-36)) a multiple of 10?
True
Suppose -4*l + 2*z + 219472 = 0, -4*z - 274346 = 1175*l - 1180*l. Is 14 a factor of l?
True
Let u(z) be the third derivative of 23*z**4/24 + 89*z**3/6 - 102*z**2. Does 20 divide u(7)?
False
Let s(w) = 9*w**3 - 593*w**2 + 351*w + 61. Is 49 a factor of s(66)?
False
Suppose 2*p - 609 - 845 = 0. Let l = p - 295. Is l a multiple of 9?
True
Let n be (-2 + 16/6)*(2 + 151). Suppose j - n - 54 = 0. Suppose -64*i + 58*i + j = 0. Is i a multiple of 7?
False
Suppose 4*j = -16, -13*k + 15*k - 5*j = 88. Suppose k = 2*f - 380. Does 23 divide f?
True
Let u = -2485 + 10357. Is 5 a factor of u?
False
Let x be (-38)/3 - -12 - (-5)/3. Let a(n) = 16*n**2 - n + 2. Is a(x) a multiple of 2?
False
Let w = -61935 - -115215. Is 240 a factor of w?
True
Let n(t) = 101*t + 147. Let s be n(31). Let f = s + -2234. Is f a multiple of 58?
True
Is 12 a factor of (12*8/(-144))/((-3)/58626)?
False
Let d be 1992/(-15) - (-24)/30. Let l = 252 + d. Does 24 divide l?
True
Let g(w) = -2*w + 1. Let t be g(0). Let v(a) = -2 - 2*a + 3 - t + 4. Does 2 divide v(-3)?
True
Let d(n) = 9 + 1 + 24 + 61 - 3*n. Is 8 a factor of d(21)?
True
Is (-241238)/(-14) + (240/5880)/(2/(-14)) a multiple of 65?
False
Suppose 34*s - 10 = 29*s. Suppose -o + 8 = -4*y, -s = -3*o + 4*o - 2*y. Let d = 61 + o. Is d a multiple of 7?
True
Suppose -255*h + 4680999 = -4922301. Is 269 a factor of h?
True
Is 25 a factor of ((-6)/4)/(33/(-4)) + 1467284/638?
True
Let n(z) be the third derivative of -z**6/120 - z**5/10 - z**4/6 - 5*z**3/3 - z**2 - 251. Let x(y) = -y - 6. Let k be x(0). Does 3 divide n(k)?
False
Suppose 52*j - 56*j = -424. Suppose -5*d + 224 = -j. Does 11 divide d?
True
Let j = -99 - -96. Let q be 27/6 - j*(-2)/(-12). Suppose 3 = i + b - 11, -60 = -4*i - q*b. Is i a multiple of 5?
True
Let d(k) = -k**3 - 18*k**2 + 53*k + 27. Let g(v) = -v**2 - 10*v + 98. Let l be g(-17). Is d(l) a multiple of 14?
False
Suppose 9*w = -6*w - 11*w + 116714. Is w a multiple of 5?
False
Let x = 241 + 117. Suppose 8 + x = -3*z. Let k = z + 192. Does 35 divide k?
True
Let x(z) = -z**3 - 10*z**2 - 16*z + 4. Let u be x(-8). Suppose 3*q + 8622 = 4*c, -c - u*q = -6*c + 10778. Is 9 a factor of ((-12)/10)/(-6 + c/360)?
True
Let o be ((-4)/(-12))/(5*4/16620). Does 20 divide (-18)/(-12) - o/(-2)?
True
Let k be (-4 + 2 - 9) + -1. Let w = 6396 + -6402. Is 13 a factor of (w/(-3) - -1)/(k/(-232))?
False
Let i = -3005 + 4517. Is 63 a factor of i?
True
Suppose -4*a + 4539 = -b, 399*b = -2*a + 401*b + 2280. Does 3 divide a?
False
Let l be (-6)/8*2*-4. Suppose l = -4*v + 6*v. Does 5 divide 2 + 111/3 - 3 - v?
False
Suppose -2*j = 2*v - 30858, -605*v = -604*v - 3*j - 15465. Does 83 divide v?
True
Let o(p) = -p**2 - 6*p + 3. Let b be o(-6). Suppose -3*n + 0*n + 282 = 5*q, b*q = n - 80. Is n a multiple of 37?
False
Does 11 divide 76382/14 - (8 + (-6)/(-56)*-76)?
True
Let c = -59 - -49. Let p be (-15)/(-35) - c*(-262)/(-28). Suppose 0 = 5*m - p - 6. Is m a multiple of 20?
True
Let d(o) = 4*o**3 + 64*o**2 + 92*o + 23. Let l(u) = u**3 + 21*u**2 + 31*u + 8. Let z(i) = 2*d(i) - 7*l(i). Let j be z(20). Let x = j + 584. Does 19 divide x?
False
Let o = 23227 - 14313. Is o a multiple of 22?
False
Suppose -4*r - 4 = 0, 5*x - 1197 = 4*r + 2622. Let a = x + -354. Does 35 divide a?
False
Suppose -1 - 284 = 3*p. Is (-844)/(-10) + 0 + 38/p a multiple of 14?
True
Suppose 46*i - 142*i = 163913 - 611369. Is i a multiple of 79?
True
Let s(f) = f**3 - 8*f**2 + 9*f - 27. Suppose 10*i = 32 + 38. Let a(o) = -4*o**3 + 24*o**2 - 26*o + 81. Let q(g) = i*s(g) + 2*a(g). Is q(-10) a multiple of 9?
True
Let t = -40 + -2. Let k = t + 71. Let s = 6 + k. Is s a multiple of 17?
False
Let a = 199 - 193. Let v(d) = 160*d - 40. Is v(a) a multiple of 10?
True
Let o = 842 - 792. Suppose -37*n = -o*n + 780. Is n a multiple of 6?
True
Let m(g) = g**2 + 2*g - 3. Let t be m(1). Suppose t = 3*i - 3*x + 7*x - 12, 5*i + 3 = x. Suppose i = -b + 86 - 36. Is 13 a factor of b?
False
Let w = 67409 - 19409. Is 40 a factor of w?
True
Let u = -583 - -511. Is u/168 - (-1641)/7 a multiple of 9?
True
Let p(u) = 4*u**3 - u**2 - 2*u - 10. Let g be ((-16)/6)/(-3 - 11/(-3)). Let a be (-38)/(-14) + g/(-14). Is 10 a factor of p(a)?
False
Let h = -5541 + 17417. Is h a multiple of 96?
False
Let x(u) = -20*u + 3992. Does 9 divide x(16)?
True
Let h = -548 - -1479. Suppose -7*b = 5*k - 4*b - h, 382 = 2*k - 2*b. Does 8 divide k?
False
Suppose -5*t + 1103*n + 5196 = 1104*n, -5*n - 3140 = -3*t. Is 5 a factor of t?
True
Suppose -48*r - 35*r + 257040 = -56*r. Is 26 a factor of r?
False
Is 40 a factor of 174/(-4)*((-98)/6 + 13)*32?
True
Let h(k) = -k**3 - 10*k**2 + 10*k + 1. Let g(n) = n**3 + 11*n**2 - 11*n. Let d(o) = -5*g(o) - 6*h(o). Suppose 0 = 3*b + 13 - 1. Is d(b) a multiple of 5?
True
Suppose -10*t - 39945 = -15*t + 5*x, -3*t + 4*x = -23964. Is t a multiple of 18?
True
Let m(a) = -3*a**3 - 54*a**2 - 6*a - 23. Let o be m(-18). Let f = o + 29. Is 4 a factor of f?
False
Suppose -580*c - 58362 = -3*j - 584*c, -2*j = -c - 38930. Does 37 divide j?
True
Let u(d) = -2*d**2 + 32*d + 12. Let h(k) = 43*k - 207. Let i be h(5). Does 12 divide u(i)?
False
Suppose 0 = 35*d - 40*d + 75. Let v(r) = 14*r**2 - 12 - 15*r - 4 - d*r**2. Is v(-13) even?
True
Suppose 4*y - 420 = 3*z, -4*z = y + y - 188. Suppose 0 = -5*r + 4*v + 81 + 429, 0 = r + 5*v - y. Suppose -g + r = 2*l, -l + 2*l - 51 = g. Is l a multiple of 20?
False
Suppose -5*l + 35 = -0*l. Let a(h) = 12 - 8 - 8 - 3 - 15 + 10*h. Is a(l) a multiple of 16?
True
Let b(n) = -n**2 - 15*n + 22. Let c be b(-18). Let h be 4/(c/(-6) - 4). Suppose 22 = x + h. Is x even?
False
Suppose 2376 = b + 10*b. Suppose -b - 270 = -9*z. Is z a multiple of 54?
True
Does 73 divide 2/(-4)*-6*11/132*64552?
False
Let d be 1450/10 + (1 - (-3 - 1)). Let t be -70*(3 + (-36)/8). Let u = d - t. Is u a multiple of 9?
True
Let z be -60*(-5 + 0 + (-115)/(-25)). Does 18 divide 9980/(-8)*z/(-30)?
False
Let n(c) = c**3 + 9*c**2 - 10*c + 3. Let m be n(-10). Suppose -3*z - 4*a = -16, a - m = z - 6. Does 4 divide z?
True
Let p(n) = 294*n**2 + 22*n + 8. Does 7 divide p(-1)?
True
Is 32482/8 + 1254/1672 a multiple of 131?
True
Let x = -348 - 2193. Let b = x - -3612. Does 21 divide b?
True
Let n(v) = 2*v**3 + 33*v**2 + 21*v + 48. Let l be n(-14). Let q = l - 200. Is 36 a factor of q?
False
Let k = 8049 + 2220. Does 14 divide k?
False
Is 24 a factor of (2 + 6091)*(-48)/(-144)*1?
False
Let a(q) = -461*q + 29666. Does 137 divide a(0)?
False
Let p be 111/8 - (-9)/72. Suppose p = 4*o - 2, 3*o + 151 = d. Is d a multiple of 56?
False
Suppose 65736 = -8*j + 32*j. Does 83 divide j?
True
