- 5*k = 4368, -5*z - k = -w*k - 5460. Is 12 a factor of z?
True
Let o(l) = 4*l + 29. Let z(u) = -4*u - 6. Let c be z(0). Let q be o(c). Is 21 a factor of (-14 - -26)*(q - 0)?
False
Let q(n) = -2*n**3 + 4*n**2 + 4*n + 9. Suppose 4*h - 248 = 4*s, -3*s = 5*h + 198 - 52. Let y = s + 53. Is 21 a factor of q(y)?
False
Suppose 5*a = -2*z - 4, -z - 3 + 1 = 2*a. Does 25 divide (a + 21)*(-4 - (-336)/9)?
True
Let x = -1284 - -2292. Is x even?
True
Let l(k) = -k**2 + 26*k + 6. Let g be l(27). Is 2 a factor of (-3 - -2)*(g + -46)?
False
Let l be 4/(-6)*450/(-100). Suppose -4*r + 3*y - 1044 = -4197, -3939 = -5*r + l*y. Does 16 divide r?
False
Let x = 6295 - 3160. Is x a multiple of 55?
True
Let f(k) = 47*k**3 - 3*k**2 + k + 1. Let a = -37 - -39. Is f(a) a multiple of 33?
False
Suppose 0 = 2*m - 3*a - 19, 4*a + 0*a = -20. Is 2 a factor of 5*-1*(m - -17)/(-1)?
False
Let f(r) = -r**2 - 21*r + 21. Let w be f(-15). Let s = 200 - w. Does 17 divide s?
False
Let k(w) = 2*w**2 + 22*w + 3. Let u be k(8). Let n = 703 - u. Is 36 a factor of n?
True
Let j be (8/12)/((-1)/3*-1). Let u = j - -342. Suppose 2*t + 116 - u = 0. Does 19 divide t?
True
Let t = 6238 + -91. Is t a multiple of 2?
False
Suppose 20*a = 27*a - 28. Suppose 0 = i - 3*i - 4*t + 26, 3*i = -a*t + 47. Suppose -3*b + i + 63 = 0. Is b a multiple of 14?
True
Let s(g) = 2*g - 8. Let u be s(5). Suppose 6 = -2*i + u*a - 4*a, 3*a + 11 = -2*i. Suppose w + 670 = 5*k - 3*w, -2*k = i*w - 286. Is 23 a factor of k?
True
Let w(r) = 28*r + 91. Let q be w(6). Suppose 5*h = p + 1975, 4*p + 436 + 1539 = 5*h. Let d = h - q. Is d a multiple of 26?
False
Let x = 7207 + -5377. Does 10 divide x?
True
Let c be (-42)/(-42) - (-5)/1. Suppose 2*x = 4*j - 360, 3*j - c*x = -x + 270. Is j a multiple of 22?
False
Let w be (4/24*-4)/((-2)/9). Suppose -2*b - 24 = -2*q, w*q - 2*b = 5*q - 36. Is q a multiple of 5?
True
Suppose 0*v + 8*v = 4*v. Is (6 + v + -337)*-4 a multiple of 40?
False
Suppose 0 = i + 4*i - 2050. Suppose -3*s - 283 = -6*s + 5*c, -5*s + i = 4*c. Is 18 a factor of s?
False
Suppose 15519*p = 15474*p + 1187010. Is 109 a factor of p?
True
Suppose 0 = 3*h + 5*t - 9, -15*t + 16*t = h - 11. Does 17 divide (-4 - 550/(-6)) + h/6?
False
Let q = 4922 - 1908. Suppose -q = -25*k - 439. Is 31 a factor of k?
False
Let r(f) = 123 - 39 + f**2 + 9. Let a be r(0). Suppose -a = 3*y - 282. Is y a multiple of 21?
True
Let x = 91 + -87. Suppose -15 = 3*l, -l = x*p - 0*p - 1219. Suppose -2*h - 10 = -p. Is h a multiple of 37?
True
Let s = 5709 + -1180. Is 7 a factor of s?
True
Let r = -139 - -145. Suppose -23*y + r*y + 8109 = 0. Does 53 divide y?
True
Suppose 4*p - 1826 = -1794. Let v = -36 + 62. Let m = v - p. Is 6 a factor of m?
True
Let w(g) = -72 - 15*g**2 - 67 + 140 + 11*g - g**3 + g. Is w(-17) a multiple of 25?
True
Suppose 1148*f - 1026*f - 3301320 = 0. Is f a multiple of 165?
True
Let x = 177 - 913. Let c = -148 - x. Does 12 divide c?
True
Suppose 3*n + 5*h - 44670 = 0, -6*h + 29788 = 144*n - 142*n. Does 36 divide n?
False
Let c(r) = r**2 - 8*r - 106. Let t be c(-7). Is 13 a factor of 65*(-5 - 2)*t?
True
Suppose -4368 = -5*o + 7692. Does 34 divide o?
False
Let z(n) = -485*n - 113. Is z(-11) a multiple of 72?
False
Suppose 2*a + 58 - 194 = 0. Let x = a - -25. Let s = x - -87. Is s a multiple of 34?
False
Suppose -2*t + 15 = 3*t. Let j(v) = -20 - 6*v**2 - t*v**3 + 2 + 4*v**3. Is 22 a factor of j(8)?
True
Let m(o) = -8*o + 15. Let b be 9/6*1 - 9/2. Let k be m(b). Let c = k - -87. Is 9 a factor of c?
True
Does 117 divide (207 - 441)*5/(-2)?
True
Suppose 0 = 5*a - 2*o - 773, o = 5*a + 3*o - 777. Let h = a + -84. Suppose -r = r - 6, -4*q + 3*r + h = 0. Is q a multiple of 20?
True
Suppose d - 995 = -5*i, -4*i + i + 610 = -2*d. Let f = i - 392. Let b = 360 + f. Does 12 divide b?
True
Let t = 991 - 117. Let y = -738 + t. Does 3 divide y?
False
Let l(v) = 4*v - 1090*v**2 + 2171*v**2 - v**3 + 34 - 1092*v**2. Does 26 divide l(-12)?
True
Let w = 3 - -38. Let x = w + -42. Let d = x - -10. Is 2 a factor of d?
False
Let o = 394 + -379. Suppose 12*s - 918 = -o*s. Does 17 divide s?
True
Suppose 0 = -7*r + 160455 + 54755 - 46930. Is 40 a factor of r?
True
Suppose -3*f + 3*s = -1 - 14, 7 = -f - 5*s. Suppose 80 + 206 = 2*k + f*u, -3*k = -2*u - 455. Does 68 divide k?
False
Let t = 24 - -90. Suppose -35*s = -34*s. Suppose -k + 3*h + t = 0, -2*h = -2*k - s*k + 220. Is 9 a factor of k?
True
Let h(x) be the first derivative of x**3/3 + x**2/2 + 483*x - 267. Is 21 a factor of h(0)?
True
Let i(w) = -w - w - 9*w**2 + 6*w + 7*w**2 + 17*w**3. Does 8 divide i(2)?
True
Let b = 534 - 769. Let t = -226 - b. Does 2 divide t?
False
Suppose 0 = 8*c - 30*c - 330. Let s = 26 + c. Is s a multiple of 3?
False
Let x = -1952 + 1141. Let w = 1277 + x. Is 10 a factor of w?
False
Is 68 a factor of 4 - 12 - (11 + -1117 - -10)?
True
Is 12 a factor of -8 - ((-15786)/(-27) - -4)*-12?
True
Let b(g) = 71*g - 698. Is b(14) a multiple of 160?
False
Let v(s) = 3*s**2 + 11*s - 27. Let k be v(-12). Let j = 301 - k. Is 2 a factor of j?
True
Let b(r) = r + 7. Let x be b(-8). Let f = 34 + x. Suppose f*d - 96 = 32*d. Is 24 a factor of d?
True
Let o be ((-25)/20)/(1*(-2)/248). Suppose -59 = 4*v - o. Does 23 divide v?
False
Suppose 5*f + 3*i = 10, 4*f - 7*i + 3*i + 24 = 0. Let c be -78*(0 + f)/2. Let k = c - 2. Is 37 a factor of k?
True
Let l(p) = 312*p - 1274. Is l(22) a multiple of 86?
True
Let i(r) = -66*r**2 - 59*r + 12. Let d(v) = 68*v**2 + 71*v - 14. Let t(h) = -5*d(h) - 6*i(h). Suppose 5*c - c + 4*x = -12, -3*c - 11 = 5*x. Does 16 divide t(c)?
True
Suppose -20*y + 12936 + 13383 = -15741. Does 82 divide y?
False
Suppose -73*d + 22*d + 10622 + 35380 = 0. Is d a multiple of 20?
False
Is (-26)/(52/10) + 10026 a multiple of 9?
False
Suppose 0 = 50*j + 542 - 142742. Is j a multiple of 36?
True
Is ((-8)/(-5))/((-538)/(-2344335)) a multiple of 27?
False
Let y(u) = -u**3 - 3*u**2 + 2*u + 1. Let f be y(-3). Let t be ((0 + 5)/f)/(-1). Is t + (-3)/(((-4)/58)/2) a multiple of 8?
True
Let c = -1058 + 2001. Let a = c + -727. Does 6 divide a?
True
Let t = 1017 - 1054. Let y be (6/10)/((-2)/(-10)). Let w = y - t. Does 9 divide w?
False
Suppose 3*s = 4*l, l + 1 = -0*s + s. Suppose -2*r - 1737 = -s*g - 5*r, 4*g = 4*r + 1716. Suppose -a + g = 5*a. Does 12 divide a?
True
Let q(w) = 67*w + 10. Let z be q(6). Suppose -z = -29*t + 25*t. Suppose 0 = 3*h - 95 - t. Is h a multiple of 19?
False
Let f(r) = r**3 + 17*r**2 - 38*r - 40. Let k be f(-19). Suppose 0*s + s = 124. Let m = k + s. Is m a multiple of 12?
True
Let s(h) = 11*h + 53. Let v(l) = 5*l + 26. Suppose -p + 13 + 2 = -2*z, -3*z = 3*p. Let i(n) = p*v(n) - 2*s(n). Is 9 a factor of i(0)?
False
Let z = -36 - -41. Suppose z*y + 3*f = 21, y - 4*f + 3 = -2. Does 22 divide y - (-2)/(-2) - -81?
False
Let d(l) = 4*l**2 + 14*l + 11. Let m(k) = -5*k**2 - 13*k - 11. Let a(q) = 6*d(q) + 5*m(q). Suppose -v - 3*r = -0*v - 7, 5*v - 59 = -3*r. Does 29 divide a(v)?
False
Suppose 4*k + k + 2*v - 10041 = 0, k = 3*v + 2015. Is k a multiple of 52?
False
Suppose 7*u + 4*q - 50565 = 0, 2*u - 11805 = -2*q + 2637. Does 73 divide u?
True
Suppose -62567 = -37*x + 111851. Does 7 divide x?
False
Let q be (25 - -32) + -1 + 6. Is (1 + q/(-8))/((-9)/216) a multiple of 36?
False
Let q be (-819)/(-33) - (-22)/121. Suppose -3*m = -o - 5*m + 89, -5*m = -q. Is 5 a factor of o?
False
Let d = 5441 - 149. Does 127 divide d?
False
Suppose -4*h - 3*y = -3579, 13*y = 9*y - 12. Does 37 divide h?
False
Let s(j) = 2*j + 19. Let c be s(-9). Let d(k) = -c + 22*k - 17*k + 10*k. Is 5 a factor of d(1)?
False
Suppose 3*h + 57 = 2*w, 4*w - 3*h - 106 = -5*h. Let d = w - 23. Does 5 divide ((-18)/(-5))/(d/10)?
False
Let j(q) = -5*q + 13*q + 3*q. Let z be j(2). Suppose -2*m + 44 = 2*t - 4*m, -m = t - z. Is 17 a factor of t?
False
Suppose 0 = -f - 3*x, 1 + 7 = 3*f + x. Let y be (-182210)/(-411) + 8/(-6). Suppose f*g - 304 + 34 = -3*p, 0 = 5*p + 3*g - y. Is p a multiple of 15?
False
Suppose 1250 = 6*v - 94. Let m = 1110 - v. Suppose 3*x + x - 874 = -3*c, 4*x - 3*c = m. Does 44 divide x?
True
Suppose 37*p - 29568 = -2928. Let m = p - 311. Does 48 divide m?
False
Is -328004*8/(-80) + (-18)/(-30) a multiple of 18?
False
Is (-92)/(-230) + 6006/10 a multiple of 47?
False
Let w be (-2)/3 + ((-17)/3)/(-1). Let j be 2/w - (0