 + 159. Does 8 divide w?
False
Is -18340*(0 - (-4)/50)/(6/(-30)) a multiple of 4?
True
Let c = -40081 + 57376. Is 17 a factor of c?
False
Let n(g) = -22*g**3 - 22*g**2 - 27*g - 62. Is 7 a factor of n(-8)?
True
Let z = 45 - 39. Suppose -5*f = -2*f - z. Suppose r = 2*h - 215, -2*h - 2*h - f*r = -434. Is 17 a factor of h?
False
Let q(m) = -3*m**3 + 9*m**2 - 25*m - 30. Does 95 divide q(-7)?
True
Suppose -2*d + 7*d = -2*t + 97, 4*d - 64 = -5*t. Suppose -d*n + 600 = -13*n. Does 5 divide n?
True
Let s be (-405)/(-30)*(-4 + 2). Let i = 157 + s. Does 26 divide i?
True
Let h = -1193 + 3169. Does 10 divide (h/65)/(4/30)?
False
Suppose 0 = -2*v + 2*i - 34, i + 25 = -v + 2. Let r = -3 - v. Is r a multiple of 8?
False
Suppose 134*f + 245490 - 2737890 = 0. Is 25 a factor of f?
True
Let b be 15/3 + -34 - (1 + 2). Let h = 330 + -186. Let p = b + h. Is 14 a factor of p?
True
Suppose 0 = 45*s - 117855 + 19350. Is 3 a factor of s?
False
Let t = 548 - 923. Let j = t - -217. Does 17 divide j/4*(-36)/9?
False
Let j(i) = i - 25. Let w = 29 - -1. Let b be j(w). Suppose -2*a = -4*l + 3*a + 1037, -l - b*a = -278. Does 25 divide l?
False
Suppose 1919*m = 1936*m - 300934. Does 18 divide m?
False
Let u = 80 + -77. Let o(l) = 68 + l - 38 - 29 + 153*l**3 - u*l**2. Is o(1) a multiple of 12?
False
Let z(b) = b**2 + 5*b + 15. Let u be z(-5). Let a(j) = -j**2 + 23*j + 5. Does 3 divide a(u)?
False
Let u(d) = d**2 + d. Let w(j) = 2*j**3 - 11*j**2 + 4*j - 14. Let f(z) = u(z) - w(z). Let y be f(6). Is 174 + 1 - 0/y a multiple of 35?
True
Suppose 2*s + 3461 = -3*a, 0*s - 15 = -3*s. Let f = -629 - a. Is f a multiple of 24?
True
Let g = 725 + -323. Suppose -28*x = -31*x + g. Is 11 a factor of x?
False
Suppose 33356*u - 33325*u - 357027 = 0. Is u a multiple of 81?
False
Let l(g) = 62*g**2 + 4*g - 20. Is l(2) a multiple of 61?
False
Let i be (-2)/(-11) - (-2236)/429*-378. Let x = -1322 - i. Is 8 a factor of x?
True
Let m(u) = -u - 10 - 22 - 3*u. Let d be (-12)/(-24)*(102/(-3) - 0). Does 9 divide m(d)?
True
Let l = 323 - 221. Let u = l - 16. Does 17 divide u?
False
Suppose 0 = -z + 120 - 35. Does 3 divide (z - (-1 + -4)) + -3 + 5?
False
Suppose -6*r + 4597 = 235. Suppose 5*j - r = -272. Is 9 a factor of j?
False
Let w = -49 - 23. Let u be 2/8 + -1497*30/w. Suppose -28*x = -25*x - u. Is x a multiple of 16?
True
Let g be (-6 + -43)/7 + 22. Suppose -2*o + 7*o - 5 = 0. Is 12 a factor of (-4)/(-1)*g*o?
True
Let a be (28 + 2 + 3)/(-1). Let o = -19 - a. Suppose 2*u - 8 - o = 0. Is u a multiple of 11?
True
Let d(s) = s**3 - 11*s**2 + 12*s - 64. Let l = 523 + -511. Is d(l) a multiple of 28?
True
Let c = -327 - -843. Suppose -c - 189 = -5*j. Is j a multiple of 43?
False
Let x(m) = -m**3 - 2*m**2 + 4*m + 8. Suppose 8*o = 7 + 65. Let u(c) = -c**3 + 9*c**2 - 3*c + 22. Let i be u(o). Is 9 a factor of x(i)?
True
Suppose -5*x + y + 6069 = 4*y, 3*y - 9 = 0. Suppose -x = -34*v + 30*v. Is v a multiple of 9?
False
Suppose 0 = 4*l + p + 3290 - 17854, -14564 = -4*l + 3*p. Is l a multiple of 60?
False
Let m(r) = r**2 + 4*r + 8. Let j be m(-6). Suppose -h + 195 = -2*o, -5 = -5*o - j. Does 9 divide h?
True
Suppose 26*m = 28*m + 3*d - 731, -3*d - 725 = -2*m. Is 26 a factor of m?
True
Suppose 10*x - 16*x + 12 = 0. Suppose -4*f + x*z + 318 = 0, 7*z - 4*z + 77 = f. Is 8 a factor of f?
True
Let w(i) = 60*i + 1 - 62*i - 2 + 21. Suppose -2*p + 24 = -5*p. Does 4 divide w(p)?
True
Let j(k) = -35*k + 13. Let z be j(-20). Suppose -725 = -3*p + 5*y, -3*p - y = -3*y - z. Does 23 divide p?
False
Let p(g) = -5*g + 5. Let v(u) = -u**3 + 7*u**2 + 17*u + 12. Let t be v(9). Let r(k) = 3*k**2 - 11*k - 1. Let z be r(t). Does 3 divide p(z)?
False
Let t(a) = -452*a - 1255. Does 31 divide t(-6)?
True
Let a(i) = -i**2 + 4*i + 47. Let r be a(10). Let l(b) = b**3 + 15*b**2 - b - 15. Is l(r) a multiple of 12?
True
Let k = 67 + -61. Suppose 626 = 4*o - l, o + 777 = k*o - 4*l. Let p = -109 + o. Is 16 a factor of p?
True
Suppose 8 = -4*x + 44. Suppose -5*p = -x - 1. Suppose 4*s + 21 = 3*k - 48, -63 = -p*k - 3*s. Is k a multiple of 27?
True
Let c(n) = 54*n**2 - 11*n - 47. Suppose -6*v + 0 = 18. Does 33 divide c(v)?
False
Suppose 18*i - 657219 = -14*i - 33603. Is i a multiple of 116?
True
Suppose 3460 = -14*v + 16*v + 4*a, -2*v = 7*a - 3445. Is v a multiple of 60?
True
Suppose -143 = -5*w + 2*l, -l + 57 + 2 = 2*w. Suppose w*g = -13*g + 30912. Does 54 divide g?
False
Let s be ((232/(-6))/(-1))/((-12)/54). Let t = s + 109. Is 4/10 - 5369/t a multiple of 15?
False
Let z(d) = -d**3 - 17*d**2 - 20*d - 1. Let o be 126/(-8) - (-3 + 65/20). Let b be z(o). Let s = b - 42. Is s a multiple of 7?
True
Suppose 21 = -3*y, w = 173*y - 172*y + 12691. Does 21 divide w?
True
Is 126 a factor of ((4 - 205/25) + (0 - 7))*-270?
True
Suppose -4*x + 319 = 5*r, r - 2*x = 31 + 30. Suppose 5*k = -i - 2*i + r, -56 = -5*k + 4*i. Is (21 - -66)*4*2/k a multiple of 4?
False
Is (-384732)/(-171) + (-3 - (-236)/76) a multiple of 35?
False
Let g = 662 + -660. Suppose 0 = -5*u + 4*s + 1392, 1705 = 5*u - g*s + 319. Is u a multiple of 14?
False
Let g be (0 - 3)*(-16)/(-12)*-1. Suppose g*w = -108 - 1036. Is 8 a factor of w/(-6) - (-8)/(-12)?
False
Let c = 4 - 3. Let v(g) = g**3 - 10*g**2 - 6*g + 105. Let t be v(6). Does 7 divide ((-3)/9)/(c/t)?
False
Suppose -79*y = -71*y - 3800. Is y a multiple of 33?
False
Let b(a) = -5*a - 20. Let n be b(6). Let z be 5 - n/15*3. Suppose -z*p + 6*p = -729. Is p a multiple of 5?
False
Let z = -10359 - -16151. Is 28 a factor of z?
False
Let p be ((-18)/(-10))/((-4)/(-20)). Does 43 divide (-1 + (-39)/4)/(p/(-540))?
True
Suppose 2*u = 53*p - 56*p + 115720, -p - 5*u + 38569 = 0. Is 44 a factor of p?
False
Suppose -6 - 3 = -d. Suppose 5*c = d*c - 1140. Does 19 divide c?
True
Let k(s) = -497*s - 2664. Is k(-14) a multiple of 5?
False
Suppose -3*r + 4*r = b + 114, 0 = -5*r + 2*b + 564. Let t be (-1 - -61)*(793/(-65) - -15). Suppose 0 = 5*q - r - t. Is q a multiple of 28?
True
Let y(q) be the third derivative of q**5/60 - q**4/2 - 31*q**3/2 + 2*q**2 - 32. Is 5 a factor of y(-11)?
True
Let p(g) = 13*g**2 - 14*g - 44. Suppose -w + 5*b - 24 = 0, -31 + 43 = -5*w - 2*b. Is 22 a factor of p(w)?
True
Let q(g) = -3*g**3 + 4*g**2 + 15*g - 58. Does 27 divide q(-14)?
True
Suppose 5*h = 0, -z + 11526 + 1586 = z - h. Does 59 divide z?
False
Let y = 199 + -160. Does 16 divide (48/(-1))/(0 + (-6)/y)?
False
Let o(s) = -28*s**3 - 73*s**2 + 16. Does 121 divide o(-8)?
True
Let n = 78 + -76. Suppose 74 = -n*d + 154. Is 20 a factor of d?
True
Suppose 311721 = 25*h - 12754. Is h a multiple of 4?
False
Let f(c) = c**2 + 9*c - 4. Let j be f(-5). Let r = j + 156. Is r a multiple of 18?
False
Suppose 526*w = 425*w + 1236543. Is w a multiple of 15?
False
Is 19771 - ((-336)/24 + -7) a multiple of 123?
False
Let x(r) = -r**3 + 37*r**2 + 21*r - 73. Does 9 divide x(33)?
False
Let j = 15325 - -2546. Is 116 a factor of j?
False
Let n be (-70)/(-7) - 2/(-3)*-9. Suppose -5*b - 4*d = -408, -31*b + n*d = -26*b - 432. Does 7 divide b?
True
Let n = 868 + -542. Let k(h) = -16*h + 72. Let s be k(-9). Let w = n - s. Is w a multiple of 11?
True
Is -1 - (-7242 - (-110)/11) a multiple of 50?
False
Let l be (-1692)/15 - (-4)/5. Let r = 323 + l. Is r a multiple of 12?
False
Suppose 0 = g - 0*g - 495. Let x be (6/(-16))/(141/(-752)). Suppose 5*o + 3*t - g = 41, x*o = -2*t + 216. Is 11 a factor of o?
False
Let i be (-42 + -3)*15/(-45). Suppose 5937 = i*o + 237. Does 38 divide o?
True
Let v(m) be the second derivative of -35*m**3/3 + 37*m**2/2 + 10*m - 1. Is v(-7) a multiple of 31?
True
Let p(y) = -20*y + y**2 + 5*y - 42 + 7*y + 0*y**2. Is p(18) a multiple of 10?
False
Suppose -2245*y - 33660 = -2262*y. Is y a multiple of 21?
False
Suppose -5*m = 5*b - 11785, 15*m - 4717 = 13*m - 5*b. Does 89 divide m?
False
Let d(o) = -19 - 84*o + 117367*o**2 - o**3 - 47 - 117407*o**2. Does 34 divide d(-38)?
True
Suppose -83*v + 3096 = -79*v. Is 28 a factor of v?
False
Suppose -270 = -94*p + 89*p. Is 50 a factor of 304 - (8/(-36) - (-228)/p)?
True
Does 31 divide 7 + (-27)/((-540)/5168) + 21/(-15)?
False
Let w(g) = 35*g**2 + 45*g + 567. Does 117 divide w(-10)?
False
Suppose -8*a - 153768 = -51*a. Is a a multiple of 12?
True
Let h(y) = -406*y + 20. Let x(u) = 405*u - 23. Let l(n) = -6*h(n) - 5*x(n). Does 34 divide l(1)?