274, 4*v - 2*y - 348 = 0. Suppose n + n = 5*w - 344, -w - 5*n = -v. Suppose w = g + 4*g. Does 12 divide g?
False
Suppose -1598767 + 545554 = -82*l + 3359371. Is l a multiple of 20?
False
Suppose -2*b = 3*g - 0*b - 44, -b + 28 = 2*g. Suppose -g*d + 671 - 251 = 0. Suppose 175 = 5*a + d. Does 12 divide a?
False
Suppose 3*u - 10*u + 21 = 0. Is 2 a factor of 11*((u - -1) + (-3 - 0))?
False
Let d(j) = -4*j + 16. Let h be d(10). Let q = h + 53. Let x = q - 14. Does 3 divide x?
True
Suppose -o + 10 + 2 = 0. Suppose -o*v = -4*v + 1104. Let n = -48 - v. Is 15 a factor of n?
True
Let d(n) = 2*n**3 - 8*n**2 + 9*n - 4. Let m be d(5). Let x = 99 - m. Suppose -6*t = -x*t + 56. Does 4 divide t?
True
Let x = -395 + 74. Let m = -259 - x. Is 3 a factor of m?
False
Let t(l) = l**3 + 23*l**2 - 52*l - 45. Let n(o) = o**2 + 14*o + 24. Let j be n(-6). Is 15 a factor of t(j)?
False
Let d = 120 - 66. Let x(a) = -2*a + 103. Let f be x(28). Suppose -j + d = f. Is j even?
False
Let r(h) = 13*h + 44. Let u be r(-3). Suppose 372 = -u*c + 552. Is 6 a factor of c?
True
Let n(f) = -f**2 - 6*f + 2. Let c be n(-5). Suppose 7 = c*k - 798. Is 5 a factor of k?
True
Suppose -4*o - 67 = 34*r - 37*r, -3*o = 3*r - 39. Let y(h) be the second derivative of -h**4/6 + 20*h**3/3 - 11*h**2/2 - h. Is 7 a factor of y(r)?
True
Is 14 a factor of 121840/80 - (-1 - 9)?
False
Is 132 a factor of 1597377/51 + -10 - (-13)/(1768/(-16))?
False
Suppose 4348798 - 1297090 = 32*n + 100*n. Is 15 a factor of n?
False
Suppose 2*c - 4573 = -15*c. Let f = 491 - c. Does 5 divide f?
False
Let u(i) = i**3 + 11*i**2 + 5*i + 26. Let m(h) = -2*h**3 - 22*h**2 - 9*h - 52. Let w(s) = -6*m(s) - 11*u(s). Is w(-11) a multiple of 5?
False
Let m = 57 - 61. Let j(u) = -32*u - 38. Let d(s) = -65*s - 77. Let b(g) = -6*d(g) + 13*j(g). Is 8 a factor of b(m)?
True
Suppose 0 = 2*f - 27 + 19. Suppose -f*i = 3*d - d - 16, -2*i = -d + 16. Is 14 a factor of ((-279)/4)/(-1) + 3/d?
True
Let j = 869 - 837. Suppose -12*c = -j*c + 18900. Is 69 a factor of c?
False
Let l(c) = -857*c - 873. Is l(-19) a multiple of 46?
True
Let u = -499 + 504. Suppose -1202 = -2*j + u*s, -j - 2*s + 474 = -127. Is j a multiple of 25?
False
Let d = -57 - -45. Let o be (9/d)/(6/(-24)). Suppose -o*j + 96 = 3*h, -4*j = -2*j - 2*h - 56. Does 15 divide j?
True
Let o(n) = -2*n**2 - 6*n - 7. Let r be o(-2). Let g be r/4 - (30/(-8) - 1). Does 34 divide 75 - (1 - g - 1)?
False
Let p be (10/(-20))/((-2)/28). Let m(g) = 46*g - 34. Is 8 a factor of m(p)?
True
Let q be 6/8*1*-12. Let r(o) be the first derivative of -o**4/4 - 10*o**3/3 - 4*o**2 + 21*o - 1043. Is r(q) a multiple of 5?
False
Let z = 162 - 138. Let x(a) be the third derivative of a**5/60 - 19*a**4/24 - 10*a**3/3 - a**2. Does 25 divide x(z)?
True
Suppose -67*s = -69*s. Let u be 9 + (-1)/(-3)*s. Suppose -7*k = -u*k + 24. Does 4 divide k?
True
Suppose -1716 = -3*v + 3252. Suppose v = 30*g - 22*g. Is g a multiple of 23?
True
Let r be (7139/(-22))/(1/(-4)). Suppose -4*w + 70 + r = 0. Does 28 divide w?
False
Let d = 246 + 1953. Is 86 a factor of d?
False
Suppose 3*c - 20 = -c. Suppose 3*z - 41 = -2*n, -n + 4*n = c*z + 14. Suppose -n*w = -18*w + 60. Does 12 divide w?
True
Let n be 2 - (2 - (105 - 1)). Suppose 0 = 101*x - n*x + 402. Is x a multiple of 5?
False
Let x(g) = 7*g - 91. Let o be x(12). Is 597 + -1 + (-7)/o + 2 a multiple of 55?
False
Let p = -17941 - -19445. Is 2 a factor of p?
True
Suppose -4*l + 5*w = -9135, -2*w - 11406 = -16*l + 11*l. Is 40 a factor of l?
True
Let p = 32 - 252. Suppose -19*h + 6035 = -2*h. Let s = p + h. Does 23 divide s?
False
Let w(l) = 1273*l - 2024. Does 9 divide w(7)?
False
Let h be -562 - (-2)/(-1) - 3. Let o = -207 - h. Is 17 a factor of o?
False
Let k = 297 + 2321. Does 119 divide k?
True
Let u = 78 + 190. Let g = u + -89. Suppose q + 4*w = 47 + g, 3*w + 1176 = 5*q. Is 14 a factor of q?
False
Suppose -10*c + 5 = -9*c. Suppose -c*m + 3*w = -529, m = -0*m - 2*w + 111. Is m a multiple of 17?
False
Let n(k) be the third derivative of -k**6/60 - k**5/60 + k**4/24 + k**3/3 + 37*k**2. Let w be n(-3). Let p = w + 31. Is 25 a factor of p?
True
Let w(x) = -2799*x + 6408. Is w(-7) a multiple of 81?
True
Let w be (6/(-9))/(8/(-48)). Let s(n) = 2*n + 8. Let m be s(w). Suppose 20*j - m*j = 112. Does 5 divide j?
False
Suppose 22*i = 813 - 43. Is (2 - 4) + -3 + (i - -3) a multiple of 15?
False
Suppose a + 3*d = 9970 + 5637, 62414 = 4*a + 5*d. Is a a multiple of 208?
False
Suppose -10 + 18 = -4*t. Let z(u) = 4 - 4 - 2 + 11*u**2. Is z(t) a multiple of 10?
False
Let y(c) = -25*c + 27. Let t = 172 - 172. Is y(t) a multiple of 3?
True
Let z(t) = t**2 - 12*t + 31. Let w be z(9). Suppose -5*h + 106 = -w*c, -12 = -2*c + 5*c. Does 9 divide h?
True
Let v(s) = -s**3 + 8*s**2 - 5*s - 12. Let a be (-5)/(-1) + (-16)/(-12)*3. Suppose a*i = 6*i + 4*q + 35, 5*i - 2*q = 35. Does 4 divide v(i)?
False
Let x(w) = -168*w - 199. Let i(n) = -n**3 + 5*n**2 - 11*n + 24. Let o be i(4). Does 31 divide x(o)?
False
Suppose -98*d = 34*d - 3118111 + 1077919. Is d a multiple of 56?
True
Suppose 0 = 197*z - 192*z - 70. Is 9 a factor of z*(-5 + 52)*1 - 0?
False
Let z be 1*(-32)/((-8)/2). Let d(h) = h**3 + 2*h**2 - 13. Is 72 a factor of d(z)?
False
Let z(u) = -13*u**3 - 10*u**2 + 20*u + 15. Let j(t) = -6*t**3 + 2*t. Let n(f) = -2*j(f) + z(f). Let g(i) = i**3 + i - 2. Let d be g(-2). Does 42 divide n(d)?
False
Suppose -5*u = 2*r - 2*u - 170, 5*r - 3*u = 425. Let b = 92 - r. Let j = b + 29. Is j a multiple of 3?
True
Suppose 315*b - 5142272 = -109*b. Is b a multiple of 16?
True
Let j(z) = z**3 - 10*z**2 + 21*z - 26. Let p be j(8). Let l(o) = 8*o + o**2 - 6 + 9*o - p*o. Does 4 divide l(2)?
True
Let p = 789 + -463. Let v = p - 212. Is v a multiple of 15?
False
Let v = -19324 + 66931. Does 214 divide v?
False
Let u(w) be the third derivative of -8*w**2 + 1/60*w**5 + 11/24*w**4 + 0*w + 5/3*w**3 + 0. Does 13 divide u(-14)?
True
Let g = -4336 + 5532. Does 52 divide g?
True
Let a = 12160 - 6410. Does 115 divide a?
True
Let u be (2 + -7)/(-1) + -7 + -24. Let f(j) = 3*j**2 + 66*j + 10. Does 14 divide f(u)?
True
Let u(h) = -h - 2. Let b be u(-6). Let f(k) = 5*k**2 - k**2 + k - 4 + b*k**2. Does 6 divide f(2)?
True
Let h = -18 + 14. Let t be 3 + h + (-2 - -7). Does 16 divide (-136)/85*(-330)/t?
False
Suppose 0 = -143*n + 139*n - 396. Let v = -79 - n. Suppose v*t - 258 = 18*t. Is t a multiple of 36?
False
Let b = 545 + -540. Suppose -9*k - 2775 = -3*p - b*k, 3*p - 2796 = -3*k. Is 21 a factor of p?
False
Suppose -42*h + 835227 = -678009 + 25386. Is 91 a factor of h?
False
Let g = -15661 - -38259. Does 21 divide g?
False
Let q = 1332 + 3121. Is q a multiple of 15?
False
Let h(r) = -51*r**3 - 40*r**2 - r - 30. Does 191 divide h(-6)?
False
Let y(i) = -i**3 + i**2 + i + 126. Suppose 2*p - 5*u = -p + 25, 4*p - u - 5 = 0. Let t be y(p). Suppose t = 2*o + 5*o. Is 4 a factor of o?
False
Let u be 304/6*(-147)/(-28). Suppose -2*o + 3*w = -w - 84, 5*o + 4*w = u. Is 6 a factor of o?
False
Let j(m) = 48*m**2 + 13*m - 4. Let n be 4/(-14) - ((-18)/14 - -3). Let u(d) = 12*d**2 + 3*d - 1. Let l(b) = n*j(b) + 9*u(b). Is 11 a factor of l(3)?
True
Let x = 320 - 89. Let o = 437 - x. Is 12 a factor of o?
False
Let h(f) = -5*f + 20. Let t(x) = -x + 1. Let k(n) = h(n) - 3*t(n). Suppose 0 = 2*o - 2*c - 2 - 2, -16 = -2*o + 4*c. Is 3 a factor of k(o)?
False
Suppose y - 3 = 1. Suppose 9*w = 28*w. Is w - ((-124)/y - -2) a multiple of 15?
False
Is 1017 - (-24)/(-104)*13 a multiple of 26?
True
Suppose 4*b + 5*k - 6321 = -728, b - 2*k - 1421 = 0. Is b a multiple of 21?
True
Let o(k) = k**3 + 27*k**2 + 42*k + 157. Is o(-17) a multiple of 102?
False
Let q = 43 + 714. Does 42 divide q?
False
Let s = -88 + 91. Suppose -5*u + l + 25 = 581, -s*u = -3*l + 324. Let d = u + 161. Does 49 divide d?
True
Let p(b) be the first derivative of b**3/3 - b**2/2 - 1. Let t(u) = 4*u**2 + 22*u - 6. Let y(c) = -6*p(c) + t(c). Does 20 divide y(11)?
True
Suppose -2*b + 5 = -2*i + 3, -3*i + 12 = 2*b. Suppose 2*w + 2*n + 2 - 6 = 0, -i*n - 31 = -5*w. Suppose -2*y = 5*v - 133, 0*v + w*v = -3*y + 137. Is v even?
False
Suppose -s - 1209 = -2*m + 741, 0 = 4*m - s - 3894. Does 27 divide m?
True
Let g = -463 - -207. Let z = -208 - g. Is 3 a factor of z?
True
Is (-196523712)/(-7084) - (-4)/46 a multiple of 1