 n(q)?
True
Is -5 - (49410/(-300) - (-6)/(-20)) a multiple of 20?
True
Suppose -4*k = 20, -75*k + 13710 = 5*x - 74*k. Let l = -1449 + x. Does 66 divide l?
False
Suppose 4*h + 2*p - 136 = 0, 5*p + 32 = h - 2. Let q be 31 + 5/(3 - -2). Let b = h - q. Is 2 a factor of b?
True
Let t(j) = 61*j**3 + j**2 + j + 21. Does 48 divide t(3)?
True
Let o be (-13)/(-3)*(7 - 4). Let y be 8 - -1 - (-9 + o). Suppose 0 = y*p + 4*w - 38, -3*w + 6 = -0*w. Does 6 divide p?
True
Does 31 divide 11730 + (3 + -7 - 4) - 3?
False
Let w = 185 - 183. Is 2 a factor of (236/295)/(w/5)?
True
Suppose s + 4*m = 3907, 2*m + 54 = 11*m. Is s a multiple of 11?
True
Let w(d) = 4*d - 60. Let u be w(15). Let f be -2 - (25 + u + 0). Is 8 a factor of 5 + -1 - -1 - f?
True
Let g(m) = 3*m**2 - 125*m + 705. Is g(-30) a multiple of 27?
True
Suppose 15 = -o - 8*w + 3*w, -2*w - 6 = o. Suppose 3*b = -2*b - 2*a - 14, -3*b - 2*a - 10 = o. Is (3/(3/b))/((-4)/150) a multiple of 15?
True
Suppose 1345421 = 131*f - 5546358. Is 33 a factor of f?
False
Suppose -66*m + 73*m - 3836 = 0. Is 9 a factor of m?
False
Suppose 29*o + 12*o = 13*o + 485072. Does 122 divide o?
True
Let s(q) = 781*q**2 + 69*q - 326. Is 11 a factor of s(6)?
True
Let s = 3864 - 1348. Is s a multiple of 3?
False
Suppose 11744 - 1502 = 3*p. Suppose 7*w - p = 2564. Does 74 divide w?
False
Let j be (-2 - (-15)/5) + 0. Suppose -2*r = -2, 2*r - r = -4*x - 31. Is 5 a factor of (-8)/20*-5 - x/j?
True
Let o(c) = 2*c**3 - 4*c**2 + 7*c + 4. Let r(n) = 4*n**3 - 9*n**2 + 14*n + 7. Let x(p) = -5*o(p) + 2*r(p). Suppose 480 = -132*m - 48. Does 12 divide x(m)?
False
Suppose -51559 = -5*d + 72*v - 75*v, 6 = -3*v. Is d a multiple of 173?
False
Let i(b) = 7*b**2 + 6*b + 9*b**2 + 0 - 8*b**2 + 2. Let x be i(6). Suppose 6*z + 32 = x. Is z a multiple of 7?
True
Let v(y) = 6*y**3 - 4*y**2 + 23*y - 9. Let g be v(6). Is 37 a factor of (g/35)/(9/45)?
False
Suppose 3*x - 5*r + 3 = 0, -2*r = 2*x + 18 - 32. Suppose 0 = -5*o - 3*b + 777, 0*o = -x*o + 4*b + 628. Does 13 divide o?
True
Let u be (-1)/(((-32)/(-28))/8). Is u/(21/(-1185)) + -7 + 4 a multiple of 27?
False
Let c = -249 - -249. Suppose c = -2*v + 16*v - 6454. Does 48 divide v?
False
Is -8*6/12 + (-614)/(-1) a multiple of 61?
True
Suppose -3*h - 830298 = -67*h - 254*h. Is 5 a factor of h?
False
Let s(b) = -b**2 + 10*b - 14. Let a be s(8). Suppose 0 = -3*n - a*n + 3*h + 1114, -4*n - 2*h + 900 = 0. Is n a multiple of 16?
True
Suppose -8*b = -b - 77. Suppose u + 2 = p + b, -4*u = -2*p - 16. Does 10 divide p*(48/10)/((-6)/20)?
True
Let b(u) be the second derivative of -53*u**3/6 - 13*u**2/2 + 23*u. Let o be b(-4). Suppose -o = -2*v - 3. Is 7 a factor of v?
True
Let h(y) = 40 - 12*y + 44*y - 11*y - 7*y + 23. Let b = -10 + 17. Does 23 divide h(b)?
True
Let w = -3 - -1. Suppose 4*c = 5*r + 6*c - 4, 0 = 5*r - c - 13. Is (-82)/(-3) + (w/r)/3 a multiple of 6?
False
Suppose -3*d - 630 = -3*x, -5*d = 2*x - 199 - 221. Let k = x - 150. Is 60 a factor of k?
True
Let j(b) = b**3 + 112*b**2 - 465*b + 674. Does 130 divide j(-111)?
True
Let z(i) = 4*i**3 - 6*i**2 + 6*i - 1. Let o be z(1). Suppose 4*g - o*v = 4384, 4*v - 1946 - 1342 = -3*g. Is g a multiple of 75?
False
Suppose -4*l - 5 = -5*y, -4*y - 8 = -3*l - 12. Suppose l = -20*v + 897 + 903. Is v a multiple of 6?
True
Suppose 35 = 5*p + 5*x, -8 = -p - 5*x + 7. Suppose 0 = -3*s - 2*r + 687, -3*s + 216 = -2*s + p*r. Does 12 divide s?
False
Let r = -40 + 85. Let k = r - -27. Let v = k - 68. Does 2 divide v?
True
Let f be -1*(0 + 1)*-3. Let g(v) = 39*v**2 - 5*v. Is g(f) a multiple of 14?
True
Let s = -56 + 56. Suppose 2*h = 6, 0 = -s*f - 4*f + 3*h + 15. Does 19 divide 40 - (-2)/f*3?
False
Let p = 3619 - -6013. Is p a multiple of 28?
True
Suppose -y - 5*f + 1247 = -6*f, -1257 = -y + 3*f. Is y a multiple of 54?
True
Suppose 0 = -v - 4*z + 15, -2*v + 3 = -z - 0*z. Is (v/9 - 1)*6594/(-28) a multiple of 18?
False
Suppose 10*k + 250 = -0*k. Let m = k + 31. Suppose 17*c - 19*c = -m. Is c even?
False
Suppose 5*m = -u + 112, 3*u - 336 = -27*m + 22*m. Let o = u + 6. Does 8 divide o?
False
Let y = -163 - -184. Suppose -y*o + 19*o + 22 = 0. Is 3 a factor of o?
False
Suppose z - 2*f = 8097, 123*f - 128*f - 16199 = -2*z. Does 32 divide z?
False
Let h be -80*(0 + (-3)/4). Let k = h + -56. Suppose -2*u + 127 = -0*r - r, k*u + 3*r - 239 = 0. Does 17 divide u?
False
Let j(n) = 153*n**2 - 56*n - 75. Does 31 divide j(-5)?
True
Let k = -785 + 1433. Let j = -518 + k. Does 7 divide j?
False
Let u = 295 - 321. Does 33 divide 1 - u/(-22) - (-209247)/209?
False
Let l(p) = -48*p + 626. Is l(-36) a multiple of 7?
False
Suppose -n + 3 - 11 = -3*m, -4*m - 2*n + 24 = 0. Suppose -p + m*z + 11 = 0, -19 = 4*p - 5*p - 4*z. Is 16 a factor of 5/(3/15*3/p)?
False
Let x = -7270 + 8773. Is 5 a factor of x?
False
Let p(h) = 6*h - 50. Let v be p(9). Suppose -v*z + 2010 = -850. Does 65 divide z?
True
Let m(s) be the third derivative of s**4/12 + 29*s**3/6 - 4*s**2 - 5*s. Does 8 divide m(21)?
False
Suppose 30 = 69*i - 63*i. Let z(h) = h**3 + h**2 + 7*h + 2. Let s be z(5). Suppose -5*t + 3*w + 79 = -127, -i*w + s = 4*t. Does 11 divide t?
False
Suppose -2*a + 3*a - 3*x - 30 = 0, 12 = a + 3*x. Suppose a*l - 14*l - 602 = 0. Is l a multiple of 2?
True
Suppose -35*u + 26*u - 1025442 = -27*u. Is u a multiple of 142?
False
Suppose 2*p - 56 = 9*p. Let u(i) = -i**3 - 8*i**2 - 7*i - 14. Let x be u(p). Let s = 70 - x. Does 14 divide s?
True
Let t = -163 - -98. Let y = -47 - t. Suppose -4*x - y = -7*x. Is 3 a factor of x?
True
Suppose 44*n + 150226 = -5*n + 710737. Does 32 divide n?
False
Let j(o) = o**3 + 66*o**2 + 158*o - 273. Does 48 divide j(-63)?
True
Suppose 5*k = 5*q + 90, 33*k - 36*k - 4*q = -26. Is 3 a factor of 2*(k - 1 - (-6 + 6))?
False
Suppose -4*t = -2*y + 36, -3*y + 0*t - 2*t + 30 = 0. Let n be (62/4)/(-1 + 9/y). Let m = 36 - n. Is 17 a factor of m?
False
Suppose 8*v = 359 + 1601. Suppose -4*b + j + v = 0, j = 3*b + 3*j - 170. Suppose -9*k = -12*k + b. Does 5 divide k?
True
Let d(l) = l**3 - 6*l**2 - 20*l + 3. Let f be d(8). Let b = f + 123. Is 5 a factor of b?
False
Suppose -69*m + 108 = -81*m. Let k = 135 + m. Is k a multiple of 18?
True
Let x = 5102 - 5025. Is 11 a factor of x?
True
Suppose -4*c = 5*m - 4037, 3*c - 3229 = -7*m + 3*m. Suppose 6*f + 73 = m. Is 7 a factor of f?
False
Suppose 3*i = h - 116, -14*h + 17*h - 396 = -3*i. Does 3 divide h?
False
Let h = -7546 - -66924. Does 21 divide h?
False
Suppose 32*s + 19*s = 376727 + 493384. Is s a multiple of 47?
True
Let r(v) be the third derivative of -1/120*v**6 + 0 + 0*v - 3/2*v**4 - 3*v**2 - 19/60*v**5 + 7/3*v**3. Is r(-17) a multiple of 4?
True
Is ((-783)/58)/(((-25)/(-2440))/(-5)) a multiple of 18?
True
Let v(r) = r**2 + 3*r - 4. Let i be v(-6). Let n(z) = z**3 - 10*z**2 - 15*z - 8. Let o be n(i). Suppose 6*m + 14 = o. Does 14 divide m?
False
Let p = -4 - -22. Let v(a) = -a + 21. Let g be v(p). Does 18 divide (-4 - (-109)/1) + g?
True
Let o(f) = 61*f - 15. Let n be o(9). Let a = n - 440. Is 8 a factor of a?
False
Let s be (2 - (-51 + -2)) + -1. Let t be s*((-30)/12 + 3). Suppose 120 = b + t. Is 56 a factor of b?
False
Let m(t) = 1099*t**2 - 7*t + 5. Let x be m(1). Suppose 5*w + 3*y = -1578 + 4319, 2*w + y - x = 0. Does 36 divide w?
False
Let l(b) = -29*b + 90. Let c be l(-8). Let a = c + -318. Is a a multiple of 4?
True
Let c = -6701 - -6827. Is c a multiple of 38?
False
Suppose -u + 50 = -4*t, -6*t = u - 2*t - 10. Suppose -u*q + 15463 = -18377. Does 49 divide q?
False
Let j(d) be the second derivative of d**5/20 + 29*d**4/12 + 19*d**3/6 - 4*d - 1. Let s be j(-28). Suppose 0 = 13*u - 7*u - s. Is u a multiple of 6?
True
Let b(z) = -261*z + 315. Is 34 a factor of b(-7)?
True
Let u = -113 - -85. Is (-29 - 0)*28/u a multiple of 18?
False
Let o(g) = 301*g**2 + 3*g + 10. Let v be -5 - (-7 - (-8 - -4)). Is o(v) a multiple of 29?
False
Let g = -1987 - -3767. Is g a multiple of 89?
True
Suppose -13*a = -445 + 2681. Let k = 303 + a. Suppose 4*v = -5*x + 697, 0*x = x + 5*v - k. Is x a multiple of 12?
False
Suppose -2*y + t + 31986 = 0, -31*t - 15997 = -y - 30*t. Is y a multiple of 13?
False
Is 391/(13 + 91/(-14) - 3*2) a multiple of 28?
False
Suppose v - 2709 + 1884 = 2573. Is v a multiple of 322?
False
Let i(a) be the second derivative of -19*a**3/6 - a**2/2 + 5*a. L