iple of 6?
True
Suppose -441 = 17*i - 1818. Suppose 5*n - c = 72, 10*n - 15*n + i = 2*c. Does 3 divide n?
True
Let b(s) be the second derivative of 29*s**3/3 - 2*s**2 + 13*s. Let x be b(2). Suppose -4*d - 16 = 0, x = 4*q + 3*d - d. Does 15 divide q?
True
Let m = 1444 + -750. Let k = 359 - m. Is (-2)/(k/(-85) - 4) a multiple of 14?
False
Suppose 0 = -10*y - 16 + 6. Does 3 divide (3 - y)*27/6?
True
Let x(l) = -l**3 + 4*l**2 + 3*l - 8. Let v be x(4). Suppose 5*g - 483 = -3*r - 0*g, 0 = -v*g. Does 14 divide r?
False
Suppose 127*s - 13670 = 117*s + 3620. Does 5 divide s?
False
Suppose 3*b + 11 = 20. Suppose 0 = -b*m + 7*m - 16. Suppose -m*s + 140 = -2*s. Is 29 a factor of s?
False
Is (364/156)/((-2)/(-378)) even?
False
Let i(m) = m**2 + 1 - m**2 + 3*m**2 + 20*m + 0. Let h be i(-9). Let r = h - 28. Is r a multiple of 5?
False
Let t(p) = 13*p - 117. Let z be t(9). Suppose 19*q - 97 - 891 = z. Is q a multiple of 5?
False
Suppose 96 = 21*p - 22*p. Let s = p + 95. Is 6 a factor of (-111)/6*s*2?
False
Suppose 2*d - 8451 - 4287 = 0. Let u = d - 4540. Is u a multiple of 16?
False
Let w(a) = -a**2 + a. Let z(c) = -2*c**2 - 3*c + 155. Let k(h) = -5*w(h) - z(h). Is 50 a factor of k(-15)?
True
Let v(q) be the second derivative of -q**3 + 16*q + q**2 - 2*q - 8*q**2 + 3*q. Does 6 divide v(-11)?
False
Let t(z) = 21 + 71 + 58 + 16*z - 48. Is t(-5) a multiple of 8?
False
Let a(q) = -183*q + 35. Let r be a(-7). Suppose 2*w + 652 = k, 14*k = 12*k + w + r. Is 15 a factor of k?
True
Is (-1476)/(-46) - (-42)/(-483) a multiple of 2?
True
Suppose 73*f = 22706 + 163590. Does 11 divide f?
True
Let t(l) = 12*l**2 - 5*l + 67. Let x be t(11). Let r = x + -962. Is r a multiple of 35?
False
Let v(i) = 7*i**2 + 4*i - 1. Let l be v(1). Let n(o) = 40*o + 125. Does 22 divide n(l)?
False
Let q = 244 - 164. Let t be (-1002)/167 - (0 + 22). Does 16 divide 3 + q/(-28) - 3608/t?
False
Suppose -900*c - 6 = -897*c. Let a be (0 - 2)*(-2)/4. Is 10*(4 + c)*a a multiple of 10?
True
Suppose -x + 1 = -a, -3*x + a = 2*x - 1. Let h(c) be the third derivative of c**6/120 + c**4/12 + 35*c**3/3 - 65*c**2. Is h(x) a multiple of 14?
True
Suppose -61*r + 113*r + 99288 = 73*r. Does 197 divide r?
True
Let m(x) = x**2 - 3*x - 2. Let j be m(3). Let t(n) = -22*n + 1. Let p be t(j). Suppose o + 3 = p. Does 7 divide o?
True
Let p(i) = 6*i**3 + i**2 - 2*i. Let f be p(1). Suppose -f*d + 7*d = 656. Suppose -5*l + 7*l = d. Is 17 a factor of l?
False
Is 216 a factor of 24/(-132) + 2140810/187?
True
Let p = 79 + -77. Suppose 0*z - q = 3*z - 44, 5*z = -p*q + 75. Is 10 a factor of 10/(-65) - (-535)/z?
False
Let k(j) = -2451*j + 747. Does 50 divide k(-3)?
True
Let z(g) = 4*g**3 - 2*g**2 + 43*g - 149. Does 25 divide z(3)?
False
Suppose 9*p + 1010 = 14*p. Suppose 0 = 196*j - p*j + 4566. Does 32 divide j?
False
Let a = 33 - 42. Let y = -5 - a. Suppose 0 = -0*f - 5*f - 4*j + 5, -y*f + 2*j = -30. Is f a multiple of 5?
True
Suppose 5*y + 3 = 4*o, 3 = 5*y - 2. Suppose -14 = -o*d - 170. Let f = d - -87. Is f a multiple of 6?
False
Let y = 12326 - 6342. Is y a multiple of 88?
True
Suppose 0 = -2442*b + 2405*b + 905945. Is b a multiple of 59?
True
Suppose -126*r = -122*r - 8368. Is 39 a factor of r?
False
Is 60/(0 + 12) - (-3589 + 0) a multiple of 3?
True
Suppose 2*f - 29566 = x, -17*f + x = -14*f - 44350. Is f a multiple of 77?
True
Let f(n) = 27*n + 2942. Is f(40) a multiple of 3?
False
Suppose 0 = 3*v - 2*i + i - 450, 5*i = 0. Suppose -v - 175 = -l. Suppose -l = x - 6*x. Is x a multiple of 18?
False
Let x(h) be the second derivative of -h**3 - 2*h**2 + 14*h. Let y be x(-5). Suppose -y + 11 = -j. Is j a multiple of 6?
False
Let m(c) = -162*c + 95. Does 103 divide m(-56)?
True
Let l = 0 - -2. Suppose 4*s + 3*j = 24, 3*s + j + 18 = 6*s. Let x = s - l. Does 2 divide x?
True
Is 5 a factor of (-18241)/(-19) - -25*(-26)/12350?
True
Let h = 61 - 57. Suppose -2060 = -4*t + 4*l, 14 - 2 = -h*l. Is t a multiple of 28?
False
Let h = 26 + -30. Let f(d) = -d**3 + d**2 + 9*d - 5. Is 13 a factor of f(h)?
True
Suppose -122*r + 1815935 = -25*r + 40*r. Is 11 a factor of r?
True
Let o(t) be the second derivative of 47*t**3/6 + 15*t**2 + 11*t. Let h be o(-8). Let r = 574 + h. Does 38 divide r?
True
Suppose -116*k - 25*k + 11985 = 0. Suppose -2 + 5 = -o, -o = -5*p - 362. Let d = k + p. Is d a multiple of 3?
True
Let k(i) be the third derivative of i**4/12 + 89*i**3/6 + 84*i**2. Is k(14) a multiple of 9?
True
Let g = -6642 - -11946. Is 78 a factor of g?
True
Let h be (-1)/6*-2*30. Suppose -3 + 3 = h*d. Suppose d = -4*t + 8*t - 96. Is t a multiple of 4?
True
Let h be (-1 - 0/(-4))*23. Let x = 23 + h. Suppose 0 = -4*s - a - 2*a + 283, 4*s + a - 281 = x. Does 7 divide s?
True
Suppose 6778 = -14*j + 21361 + 30707. Does 44 divide j?
False
Suppose -3*r + 4*c + 1 + 19 = 0, 3*r - 4 = -4*c. Let p be (r - -2) + 3*-1*-1. Let k = 57 + p. Is 6 a factor of k?
True
Let h(u) = -15*u + 12 + 11*u**2 + 38*u - 18*u. Does 8 divide h(-3)?
True
Let i be 260/12 - (-4)/12. Suppose -19*d + i*d - 8739 = 0. Does 18 divide d/(-42)*-2 + (-2)/(-7)?
False
Let x be (-8*4/(-48))/(2/9). Let t(k) = -197*k - 4*k**2 - 4*k**x + 3*k**3 + 9 + 204*k. Does 3 divide t(-6)?
True
Let j be 6/(-2) + (-48)/(-8). Let u = 15 - j. Is 4 a factor of ((-3)/u)/((-1)/172)?
False
Let y be (5 + -9)*(4 - 5). Does 7 divide (42/y)/((-18)/(-24))?
True
Let y = -3420 - -4215. Is 13 a factor of y?
False
Suppose -b + 8793 - 4165 = 0. Is b a multiple of 6?
False
Let j = -1 - -8. Let b(q) = 2*q**2 + 0 - 3 + 9*q - 2 - 3*q**2. Is 2 a factor of b(j)?
False
Let v be (12/18 + -2)*-12. Suppose -10211 - 669 = -v*d. Does 4 divide d?
True
Let l(d) = -11*d - 3. Let p be l(-1). Is 53/(-212) - (-5458)/p a multiple of 11?
True
Suppose -3*i + 24 = 2*t + i, 2*i = 5*t. Let n(k) = k**3 - 8*k**2 + 2*k - 13. Let o be n(8). Suppose -o*u + 31 = -w, -t*u + 2*w = 11 - 37. Is u a multiple of 8?
False
Let q be (-28)/3 - -5*(-4)/12. Is 20 a factor of (5*16)/(q + 285/25)?
True
Let j(a) = 14*a**2 - 221*a + 275. Does 5 divide j(25)?
True
Let t = -26 + 32. Suppose 84 = -0*o + t*o. Suppose 5*i + 2*u - 364 = -o, -184 = -3*i + 4*u. Is 17 a factor of i?
True
Let c(w) = -w + 10. Let h be c(8). Suppose 12*d - 5*d = 826. Suppose -4*l + d = 2*f - f, -3*l - h*f + 86 = 0. Is 10 a factor of l?
True
Let k(m) = -m**3 + m**2 + 11. Let l be k(0). Let q(y) = 115*y - 8. Let x be q(9). Suppose -x = -l*u - 345. Is 31 a factor of u?
True
Suppose 3595 = -41*k + 45169. Is k a multiple of 3?
True
Suppose 18274485 + 7003912 = 634*y + 4867401. Is 81 a factor of y?
False
Let h = -7 + 12. Suppose h*y - 3*y = -5*y. Suppose -3*a + 552 = 4*t, -2*a + 6*t - t + 368 = y. Does 43 divide a?
False
Let q = -9185 - -19025. Is 48 a factor of q?
True
Let o = -110 + 121. Suppose 9*k - o = 52. Suppose 72 = k*b + b. Is 3 a factor of b?
True
Let t(i) = 32*i - 34. Let p(r) = 33*r - 34. Let u(b) = 3*p(b) - 2*t(b). Does 14 divide u(8)?
False
Let y be 2 - (172/6)/((-32)/(-144)). Let b(i) = -31*i**3 - 2*i**2 + i + 1. Let z be b(-2). Let o = z + y. Is 28 a factor of o?
True
Suppose 4*g + 3*i = -2461, -5*i - 3075 = 8*g - 3*g. Let y = g - -919. Is y a multiple of 17?
False
Let n = 117 - 105. Suppose -5*o + n*o - 1792 = 0. Is 32 a factor of o?
True
Let f = 98107 + -57466. Does 173 divide f?
False
Let m(a) = -a**3 - a**2 - a - 1. Let k be m(-1). Suppose k = -20*i + 6*i + 1680. Does 11 divide i?
False
Let d(v) = 1836*v**2 + 41*v + 3. Does 51 divide d(1)?
False
Let x(n) = -9594*n + 3904. Does 16 divide x(-6)?
False
Suppose -179*i + 2*y + 104266 = -177*i, 52141 = i - 3*y. Does 77 divide i?
True
Let f(z) = -5*z**2 + 3*z. Let k be f(-4). Let x = k + -416. Is 21 a factor of ((-3)/5 - x/(-20))*-8?
False
Let w = 798 - 778. Let z(u) = 37*u - 448. Is z(w) a multiple of 15?
False
Let u be 9/((-18)/4) + 4. Suppose -u*t - j = -1009, -2*t - 6*j = -4*j - 1010. Is t a multiple of 72?
True
Let y be (4 - 28/8)*6. Suppose -419 = o - 0*r + r, -5*o - 2079 = -y*r. Let a = -294 - o. Is 18 a factor of a?
False
Is 33/(-5)*(-268 + 193) a multiple of 19?
False
Is (-22)/((-176)/72) - -8227 a multiple of 18?
False
Let y(b) = -8*b - 61. Let v be y(-8). Suppose 0*k = -4*x - v*k + 63, -2*k + 62 = 4*x. Suppose -5*w + 10 = -x. Is 5 a factor of w?
True
Let h(z) = 2573*z + 1775. Is h(7) a multiple of 26?
True
Let r = -1983 + 631.