e of 5?
True
Let w(x) = -x**2 + 32. Let y(b) = -b**2 + 3*b. Let o be y(3). Let i be w(o). Suppose i*m - 223 = 31*m. Does 41 divide m?
False
Let l = -238 + 382. Suppose -6*v - 50 = -11*v. Suppose v*n = 4*n + l. Is n a multiple of 12?
True
Suppose 6*f = -g + f + 1, 0 = -2*g + 5*f + 47. Suppose -4*p = -0 - g, 5*m - 3*p - 3948 = 0. Is m a multiple of 44?
True
Suppose 7399 - 47379 = -41*f + 9958. Does 6 divide f?
True
Suppose -3739 = -11*l + 10*l - 10*b, -3*b - 18695 = -5*l. Is l a multiple of 3?
False
Let s(j) = -j**3 - 6*j**2 + 12*j - 26. Let b be s(-9). Let h = b - 33. Does 4 divide h?
True
Suppose -u - 5*t - 44 = 0, 24*u + 82 = 21*u - 5*t. Suppose 577 = -4*k + 2*p + p, -5*k - 723 = -2*p. Let z = u - k. Is z a multiple of 14?
True
Let q = 86 + -86. Suppose q = 11*h - 192 - 853. Suppose 0 = x + 3*d - 91, 0 = x + 2*d + 3*d - h. Is x a multiple of 46?
False
Let b(p) = -4*p**2 + p - 1. Let k be b(1). Let h be k - 2*45/(-10). Suppose h*t - 174 = 126. Is 7 a factor of t?
False
Suppose 205 = 241*m - 242*m. Let o = m - -345. Does 28 divide o?
True
Let j = -12 - -58. Suppose -7*m = -j + 11. Suppose m*q - 18 = 12. Is 2 a factor of q?
True
Let c(d) = -d**3 - d**2 + 29*d + 11. Let f be c(5). Let r(u) = u**3 - u**2 + 2*u + 5. Is 72 a factor of r(f)?
False
Let f(m) = -16*m**3 - 107*m**2 - 32*m + 106. Is 27 a factor of f(-13)?
False
Suppose -1490 = -5*w + s, 0*w + 4*s = 3*w - 894. Let q = -168 + w. Does 2 divide q?
True
Suppose 153*q + 24454 + 373615 = 194*q. Is q a multiple of 169?
False
Let i = -36 + 57. Let b = 39 - i. Suppose 0 = -b*t + 13*t + 225. Is 15 a factor of t?
True
Let t = 73 + -72. Suppose 5*h - m - 19 = 0, -m + t = -0*m. Suppose -2*a = -h*a + 254. Does 18 divide a?
False
Suppose -103*k + 4*p = -102*k - 860, 5*k + p = 4426. Is k a multiple of 13?
True
Suppose 2*t + 5*x - 35 = -48, -5 = x. Suppose -4*f + 11*u + 5361 = t*u, -3*f = -2*u - 4026. Is f a multiple of 28?
True
Suppose -12*q - 40*q = -8268. Is 2 a factor of q?
False
Let k = 516 - 344. Is ((-3)/2)/((-3)/k) a multiple of 14?
False
Let t = 21 - 23. Let v be 3 - (t - 0) - (6 + -3). Suppose v*y = -3*g + 404 - 15, 2*y + g = 379. Is 21 a factor of y?
False
Suppose -5*l + 25 = -0*l. Suppose 0 = 5*n - 2*j - 1491, 3*j - 882 = -l*n + 2*n. Let h = n - 144. Is h a multiple of 12?
False
Let x(m) be the third derivative of 7/24*m**4 + 7/6*m**3 + 0*m + 1/120*m**6 + 0 - 15*m**2 + 2/15*m**5. Is 5 a factor of x(-6)?
False
Let o = 4911 + -3447. Is o a multiple of 48?
False
Suppose 42263 + 9559 = 7*u - 93498. Does 120 divide u?
True
Suppose -11*q + 240873 + 281998 = 21535. Does 211 divide q?
True
Let f = 31 - 34. Is (-3)/(-2)*7/f*-8 even?
True
Suppose o + 111*w = 113*w + 515, 0 = -4*o - 3*w + 2093. Is o a multiple of 59?
False
Let c(d) be the first derivative of 95*d**2 - 213*d - 139. Is c(6) a multiple of 47?
False
Let z = -2819 + 3333. Does 14 divide z?
False
Let q = 10438 - 2486. Is q a multiple of 16?
True
Suppose 30 = 41*b - 35*b. Let y(j) = j**3 - 4*j**2 + 6*j - 8. Does 12 divide y(b)?
False
Let j(s) = -22*s**3 - 4*s**2 - s + 4. Suppose -44 = 6*f + 100. Let l(p) = -p**2 - 25*p - 26. Let u be l(f). Does 14 divide j(u)?
False
Suppose 2*y = 8, -4*j + 13 = 2*y - 11. Suppose j*r - 3*a = 1248, -a + 0*a = -5*r + 1571. Let c = r + -203. Is c a multiple of 43?
False
Suppose -4*i + 15*i = 0. Let s(u) = u**2 + 206. Let a be s(i). Suppose 2*w = 4*z - a, -3*w + 0*w - 258 = -5*z. Is 17 a factor of z?
True
Suppose -2*y + 3*j + 46 = 59, 10 = -2*y + 2*j. Let s(o) = -9*o - o + 2*o + 1. Does 7 divide s(y)?
False
Suppose -3*q = 2*q. Suppose 0 = 3*o - t + 22, 2*o - 4*t + 0*t + 8 = q. Is o/(-16) + 7/(-2) - -88 a multiple of 21?
False
Let p(n) = n**2 - 3*n - 7. Let w be p(3). Let f(c) = -28*c + 74. Is 15 a factor of f(w)?
True
Suppose -p = 4*z - 58852, -2*z - 625*p + 628*p + 29454 = 0. Is z a multiple of 14?
False
Let x(q) = -83*q**3 + 30*q**2 + 76*q - 21. Does 39 divide x(-3)?
True
Let z(k) = 56*k**3 - 4*k**2 + 6*k - 4. Let h be z(2). Let a = h - 4. Suppose l - 101 = 4*w, 3*l - a = -2*l - 3*w. Is l a multiple of 13?
False
Suppose 2*j = 5*z - 50, 4*z - 12 - 45 = 5*j. Suppose 1584 = z*o + 3*o. Is 18 a factor of o?
True
Let a(f) = 10*f**2 - 5*f - 2. Let j be a(5). Let d = -284 - -283. Let x = d + j. Is x a multiple of 37?
True
Suppose 2*z + 3*z - k = 9, -2*z + 5 = k. Suppose -15 = y + 2*b, 3*y + z*b = -0*y - 29. Does 29 divide (0 - 940/y) + 8/(-28)?
False
Let n = -115 - -119. Suppose 2*u + 4*r = r + 95, -2*r + 170 = n*u. Is 8 a factor of u?
True
Let a(g) = 767*g**2 + 12*g + 13. Let p = 851 - 852. Does 16 divide a(p)?
True
Suppose 0 = -4*m + 4*j + 16004, -2*j = -5*m - 6*j + 20023. Suppose m + 3287 = 15*z. Is 18 a factor of z?
True
Let w = 9604 - 3884. Does 88 divide w?
True
Let k = -155 - -145. Is 12 a factor of ((-1525)/k - (-15)/10) + 2?
True
Suppose 2*f + 729 - 1783 = 20028. Is f a multiple of 11?
False
Let z(c) = 12*c + 35. Let k(o) = -48*o - 138. Let v(t) = 4*k(t) + 15*z(t). Is 46 a factor of v(-13)?
False
Suppose -22*w + 26559 = 4559. Suppose -x + 291 = 2*z, -z - 209 = -4*x + w. Is x a multiple of 43?
True
Suppose 0 = 2*l - 39 + 27. Let o(u) = 15*u**2 + 9*u - 4. Is 33 a factor of o(l)?
False
Let p = -1236 + 1164. Suppose 397 = -2*y - 0*y - 3*m, -3*m = -3. Let l = p - y. Is 32 a factor of l?
True
Let y be 18/((-16)/6 + 2). Let r(i) = -2*i - 54. Let g be r(y). Suppose -4*t + 5*a + 305 = g, -7*t + 3*t = 2*a - 298. Is 9 a factor of t?
False
Suppose -5*a + 1 = -3*t - 12, -3*t + 2 = -2*a. Suppose -5*k - 19 - 6 = -3*l, -l - 5 = a*k. Suppose -l*c + 119 = -461. Is 28 a factor of c?
False
Suppose -225 = -30*l - 45. Is 17 a factor of (-8)/96*-4 + 8872/l?
True
Let t be -1 + 78/18 + 10/15. Suppose -t*o + 1774 - 2 = 0. Is 53 a factor of o?
False
Let x = -336 + 975. Suppose 8*r - 5*r - x = 0. Is 6 a factor of r?
False
Suppose c - 62 = -y - 11, -y + 3*c = -71. Suppose 2*m = -y + 268. Does 14 divide m?
False
Let k(o) = 2*o**2 - 3*o + 9. Let x be k(8). Let w = x - -37. Is 30 a factor of w?
True
Suppose 7*n - 6*n - 416 = 0. Suppose -5*x = -3*x - n. Does 3 divide x?
False
Let l(h) = 34*h**2 - 111*h + 2435. Is 148 a factor of l(20)?
False
Is (161/46)/(2/4) + (-2842)/(-2) a multiple of 34?
True
Suppose -2*d = -15 + 5. Suppose -d*r = 14*r - 10336. Is 17 a factor of r?
True
Let n = 563 - 313. Let h = n + 545. Suppose -11*o = -6*o - h. Does 31 divide o?
False
Let t be (-3 - -2) + 3 - 2. Let d be (6/(-4) + t)*(-8)/6. Suppose d*l + 23 - 181 = 2*y, -391 = -5*l + y. Does 33 divide l?
False
Let x be (-3)/((-3)/5)*1. Suppose 0 = -x*b + 73 + 242. Is b a multiple of 21?
True
Let p(l) = l**3 - 3*l**2 + 20*l + 2120. Is 212 a factor of p(0)?
True
Let p = -139 - -123. Does 4 divide (-88)/p + -6 + 290/4?
True
Let r = 62 - 18. Suppose -2*j - 5*y = 2, r = 4*j - 0*y - 2*y. Suppose -5*x + 131 = -j. Is 11 a factor of x?
False
Is (14/(-5))/2 + 312022500/9375 a multiple of 149?
False
Let s(l) be the third derivative of -l**6/120 + 4*l**5/15 + l**4/6 + l**3/3 + 3*l**2. Let u be s(17). Let q = 345 + u. Is q a multiple of 42?
True
Let h(u) = 15*u - 76. Let y be h(-7). Let v = y - -217. Is v a multiple of 3?
True
Suppose -6530*n + 6481*n + 808108 = 0. Is n a multiple of 124?
True
Let n(w) = -w**3 - 3*w**2 - w + 2. Let d be n(-3). Suppose d*j - 1320 = -j. Suppose 3*s - j - 77 = -3*m, -m = -s + 103. Does 17 divide s?
False
Let u(y) = 3*y**3 + 6*y**2 - 22*y + 22. Let b(a) = -7*a**3 - 11*a**2 + 43*a - 45. Let d(r) = 2*b(r) + 5*u(r). Is d(-9) a multiple of 4?
False
Suppose -1584*j + 14125 = -1471*j. Is 5 a factor of j?
True
Let a = -31988 - -64826. Does 78 divide a?
True
Suppose -12*s = -2550 - 1674. Suppose -2*o - s = 2*j, 5*o = 5*j + 352 - 1202. Let r = o + 243. Is 7 a factor of r?
True
Suppose 3*j + 4*x - 59 = 0, j + 0*x = -2*x + 17. Suppose -35 = 2*c + 5*t + 30, 0 = 2*c - 3*t + j. Is 29 a factor of (-30)/c*268/6?
False
Suppose -55*s + 173*s - 23691 = 137379. Is s a multiple of 39?
True
Let k(v) = -23*v + 50. Let c be k(-14). Let t = c + -170. Is 11 a factor of t?
False
Suppose -h = 2, 3*v + 19*h - 20102 = 17*h. Is 9 a factor of v?
False
Is 8 + (2 + 2 - -11290)*10/4 a multiple of 85?
False
Suppose -3*w + 6 = 0, 47377 = 3*h - 109*w + 105*w. Is h a multiple of 81?
True
Suppose 0 = 3*x - 4*f - 55127, x - 20954 + 2562 = -f. Is x a multiple of 17?
False
Suppose 0 = 9*m + 1