 a factor of (-60)/(-12) + 489*z/(-9)?
False
Let f = 225 + -130. Suppose 93*o + 2316 = f*o. Is o a multiple of 21?
False
Let h = -13 + 7. Let k be ((-18)/(-3))/(h/6). Is (k/(-18))/(1/57) a multiple of 9?
False
Suppose 4*y = -7*n + 9*n, -n - 4*y = 0. Suppose n = -7*h + 4*h + 795. Does 53 divide h?
True
Suppose 28119 = -394*g + 415*g. Is 19 a factor of g?
False
Let c = 167 + -217. Is ((-268)/5 + 20/c)*-8 a multiple of 18?
True
Suppose -2*g - 4*f + 2*f - 22 = 0, 2*f + 29 = -3*g. Is (-33)/(g + (-603)/(-90)) a multiple of 11?
True
Suppose 8*j - 5*j = 9. Suppose -3*y + j*z = 79 - 214, -90 = -2*y - 4*z. Does 5 divide y?
True
Suppose t + 3098 = 2*n, -90*t = 4*n - 87*t - 6206. Is n a multiple of 41?
False
Suppose 133 - 9 = 31*r. Suppose r*h = -3*j + 1525, j = h + 4*j - 388. Does 24 divide h?
False
Let i = -1166 + 1168. Let q = -21 - -29. Is (3 - 20/q)/(i/48) a multiple of 3?
True
Let b(l) = -308*l + 1461. Is 19 a factor of b(-10)?
True
Suppose -106 = -3*n - 16. Is 15 a factor of n/(6 + -11)*(-73)/3?
False
Let o(r) = 2163*r - 1404. Is o(8) a multiple of 24?
False
Suppose 0 = -6*m + 38*m - 12642 - 67230. Is m a multiple of 26?
True
Let a(f) = -f + 2. Let h(u) = u**3 - 10*u**2 - 9*u - 7. Let o(y) = 2*a(y) - h(y). Let d be 6/(1 + -4) + 12. Is o(d) a multiple of 35?
False
Suppose 0 = 2*k - 4*u - 3414, -2*k = 18*u - 23*u - 3410. Is k a multiple of 6?
False
Suppose -2*h + 411 = s, 3*h + 842 = 7*h - 2*s. Is 13 a factor of h?
True
Let f(l) = -2076*l - 1044. Is f(-5) a multiple of 24?
True
Suppose -15 = 3*f + 2*j - 45, -15 = 5*j. Let w(b) = 19*b - 2 - 2 + 8*b - 2*b**2 - 2. Does 6 divide w(f)?
True
Suppose 25*s - 13*s - 6300 = 0. Suppose -4*f - s = -o + 490, 2*f - 1045 = -o. Does 69 divide o?
True
Suppose -31*h + 30*h = -733. Suppose 5*g - 587 = h. Is g a multiple of 44?
True
Let w(m) = -5*m - 22. Let b be w(-6). Suppose -y - 1 = h, -16 = -4*h + 3*y + b. Suppose -73 = h*a - 181. Is a a multiple of 4?
True
Let f be (184/(-5 - -9))/((-2)/(-3)). Let m = 265 + f. Is 27 a factor of m?
False
Let d be 5 + (-3)/(-3) + (-14)/(-7). Suppose -d*a = -5*a + 12. Is 3 a factor of (1 - -3) + 5 + a?
False
Let i = 402 - 409. Is (1 - (6 + i))*121 a multiple of 5?
False
Let r(w) = 184*w - 643. Is 34 a factor of r(36)?
False
Let x(f) = 17*f**2 + 46*f - 308. Is x(12) a multiple of 15?
False
Let q(p) = -72*p - 2. Suppose -3*m = -0*m. Suppose m = -5*x + 2*x - 3. Is 14 a factor of q(x)?
True
Suppose 2*r - 9 = z - 2, 0 = -4*r + 12. Does 21 divide (1252/(-8))/z + 4/(-8)?
False
Let c = -129 + 377. Suppose 3*v = 5*v - c. Is 11 a factor of v?
False
Let i(w) = -4*w - 11. Let u be i(-4). Suppose 96 = u*q - 699. Is 13 a factor of q?
False
Let z = -10296 - -16458. Is 26 a factor of z?
True
Let g be 4 - (1 + (-2 - 15)). Suppose -g = 3*u + 70. Let d = -2 - u. Is d a multiple of 28?
True
Let t = 174 - -1079. Let p = t + -671. Is 26 a factor of p?
False
Suppose 1352 = -6*f + 8*f. Suppose -37*i = -39*i + f. Does 42 divide i?
False
Suppose 83*r + 28337 = 85*r - 13*g, 0 = -4*r + 3*g + 56697. Does 21 divide r?
True
Suppose 4*y - 16916 = x, 5*y + 3*x - 9130 - 12032 = 0. Does 10 divide y?
True
Is (-43948)/(-14) - 4*(78/(-168))/(-13) a multiple of 21?
False
Let t = 4686 - -1674. Suppose -15*n - 1035 = -t. Does 36 divide n?
False
Let s(v) = v**3 - 7*v**2 - 5*v - 10. Let a be s(8). Suppose a*r = 5*r + 3429. Suppose -6*w = -9*w - 3*q + r, 2*w = 5*q + 247. Is w a multiple of 14?
True
Suppose 5*f - 2*y - 843 = 1309, 862 = 2*f - 2*y. Suppose 10*u + f = 6230. Is u a multiple of 45?
False
Suppose -92 = -7*z - 16*z. Suppose 0 = -5*w - 5*p + 310, -z*p - 207 = 9*w - 12*w. Does 4 divide w?
False
Does 80 divide 32530 - (-3 + 21 + -20)?
False
Let x(b) = -b**3 - 25*b**2 - b - 70. Let u be x(-25). Let a(k) = k**3 - 7*k**2 + 7*k - 11. Let y be a(8). Let l = u + y. Does 10 divide l?
False
Suppose 0 = -3*d + 736 + 557. Let t = d - 279. Does 8 divide t?
True
Let m = 35 - 27. Suppose 5*u = 3*s + 69, m = 3*s + s. Let v(i) = 9*i - 25. Does 22 divide v(u)?
True
Suppose 3*m + 25 = -3*a - 26, -5*a - 73 = 4*m. Let h(k) = 5*k + 63. Let s be h(m). Suppose p = 3*w + s*p - 6, -4*w + 5*p = -8. Is w even?
True
Suppose -2*m - 5*m = -8*m + 22372. Is m a multiple of 17?
True
Suppose -668352 = 228*w - 324*w. Is w a multiple of 59?
True
Let k = 334 + -123. Suppose 122*c - 291 = 125*c. Let d = k + c. Is 19 a factor of d?
True
Let i(m) be the third derivative of 11*m**5/20 + m**4/24 - m**3/2 - 3*m**2. Let l be -5 - ((-6)/(24/20) + 2). Does 13 divide i(l)?
False
Let t = -6833 + 8419. Does 10 divide t?
False
Let a(p) be the second derivative of 2*p**3/3 + 368*p**2 + 49*p. Is 23 a factor of a(0)?
True
Is 3 + (-8 - -1) + (-244584)/(-36) a multiple of 35?
True
Let g(f) = 45*f - 2463. Does 14 divide g(64)?
False
Let p = 168 + -165. Suppose -3*w - u + 355 = 0, p*u = w - 18 - 117. Is w a multiple of 2?
True
Let l = -15464 + 18164. Is 20 a factor of l?
True
Suppose 5*l = -4*n + 6628, 0 = 5*n + 62*l - 67*l - 8330. Is n a multiple of 95?
False
Suppose -45 = -0*x - 15*x. Is 6 a factor of (-3)/((-1748)/(-584) - x)?
True
Let t be 1/(-3) - (-155)/15. Suppose 4*m - 4 = 2*m. Suppose -j = -c - t, m*j + 5*c = 3*c + 40. Is j a multiple of 2?
False
Let c(k) = 2*k**2 - 26*k - 4. Let t be c(12). Let f be ((-455)/t)/(2/8). Let i = -42 + f. Does 23 divide i?
True
Suppose 15*n + 569 = 1212 + 6557. Is 6 a factor of n?
True
Let f(x) = -x**3 - 23*x**2 + 90*x + 69. Let c be (-5064)/180 - (1 + 17/(-15)). Is f(c) a multiple of 89?
False
Let r(o) = 11*o**2 + 58*o + 47. Is 41 a factor of r(33)?
True
Suppose 6*x + 12 + 0 = 0. Let r be (210/28)/((-1)/x). Is 4 a factor of (r - -4) + 1 + -4?
True
Let m(i) = 2*i**2 + 5*i + 37. Let s be (160/96)/((-10)/(-48)). Does 6 divide m(s)?
False
Does 5 divide (2/(-4) + (-892)/(-24))*(1 + 5)?
True
Let s(l) = -l**2 - 16*l - 20. Let r be s(-15). Let c(d) = d + 5. Let m be c(r). Let f(z) = -z**2 + 24. Is 10 a factor of f(m)?
False
Let h be (-3 - (-3 + 5))*-1. Suppose 5*w + h*q = 20, 9*q - 4*q = 0. Suppose 3*k - w*k + 52 = -4*i, 4*k - 195 = 3*i. Is 8 a factor of k?
True
Let c(d) = -d**2 + 13*d + 35. Let w be c(15). Suppose 2 = -l, 2*t = -2*t + w*l + 50. Is 8 a factor of t?
False
Suppose -3*m = -3*q - 945, 391 = 2*m + q - 224. Suppose 5*a - 177 + 954 = 3*v, 2*a = 2*v - m. Let d = -128 - a. Is 28 a factor of d?
True
Let l(j) = 3*j**2 - 4. Let r be l(-2). Suppose 0 = r*c + 2*c - 20. Let f(s) = 9*s**3 - 2*s**2 + s + 4. Is f(c) a multiple of 18?
False
Let p = -488 + 492. Let x = -33 + 141. Suppose p*q + 8 = x. Does 5 divide q?
True
Let u(j) = -4*j**2 - 21*j - 75. Let d be u(-3). Let t(o) = -11*o**3 + o**2 + 2*o + 2. Let q be t(-2). Let a = d + q. Is a a multiple of 14?
True
Suppose 6*s - 1 = 5*s. Suppose -5 = -f - w, -f + 5*w = 2*w - s. Suppose -j - 116 = -f*y - 6*j, 5*y - 150 = -5*j. Does 11 divide y?
False
Suppose 4*c - 5*k = -6169, k = 3*c - 3*k + 4628. Let s = -703 - c. Is s a multiple of 55?
False
Let r = 841 + 6222. Is 16 a factor of r?
False
Let o(t) be the first derivative of t**3/3 + 4*t**2 - 36*t + 16. Is 24 a factor of o(-18)?
True
Let j(q) = 225*q - 7713. Is 149 a factor of j(76)?
True
Let g = 16375 - 8535. Is 35 a factor of g?
True
Suppose 83*q = 139*q - 657440. Does 101 divide q?
False
Let i(f) = 13*f**2 + 156*f + 121. Is 6 a factor of i(-47)?
False
Let t(x) = 34*x - 11. Let r be t(2). Suppose -r*a + 1980 = -52*a. Is a a multiple of 36?
True
Does 28 divide (11 - 3) + (196333/68)/(2/8)?
False
Let a(w) be the third derivative of w**6/40 + w**5/30 - w**4/6 + w**3/2 - 2*w**2 - 17*w. Does 10 divide a(3)?
True
Let z = -26 - -59. Let o = -36 + z. Let d = 18 - o. Is d a multiple of 4?
False
Let k(s) = -61*s - 2. Let g be k(-2). Suppose -3*h - 4*y = -1 - 11, 4*h = 3*y - 9. Suppose -2*b + 5*x + g = -h*x, -3*x = 0. Does 15 divide b?
True
Does 14 divide 98/(-35)*(-287 - 6 - -1*3)?
True
Suppose -26*i + 1 + 11 + 14 = 0. Let p(a) = 15*a**2 - 2 - 5*a - 1 + 2. Is p(i) a multiple of 9?
True
Let t = -17 - -22. Suppose c + 4*f + 21 = 0, t*f + 61 = -3*c + 19. Is (840/c)/(-7)*66/4 a multiple of 54?
False
Let h(z) = -z**2 - 21*z + 3. Let g be h(-17). Let q = -38 + g. Suppose b - k - q = 2*k, 5*k = 10. Does 13 divide b?
True
Let q(f) = 4*f - 5. Let i be q(19). Let l be (i + 4)/(0 + -1). Let c = -43 - l. Is c a multiple of 8?
True
Let j = -443 - -466. Suppose -7