+ r + 328 = 0. Does 25 divide o?
False
Suppose 5*c - 184 = -4*b, 3*c - c = 3*b + 69. Is 16 a factor of ((-108)/(-5))/(c/480)?
True
Let n(u) = 6*u**2 + 6*u - 25. Let f be 35/42 - 1 - 106/12. Is n(f) a multiple of 37?
True
Suppose 0 = 4*k - 3*l - 2891, -3*k - k + 2856 = 4*l. Does 10 divide (-4)/12*(2 - k)?
False
Let y = 101 - 97. Suppose -3*c + 12 = 0, -w = y*w + 4*c - 181. Let p = w + 24. Is p a multiple of 10?
False
Is 66 a factor of 100136/20 - (-78)/65?
False
Let c(k) = k**2 + 2*k - 34. Let i be c(6). Suppose -3080 = -8*b - i*b. Is b a multiple of 20?
True
Let m = 18609 - 10093. Does 26 divide m?
False
Suppose -4*f = -2*i - i + 76, -i + f + 24 = 0. Suppose -g + i = 4*g. Suppose g*o = -5*q + 69, 0*q - 3*q = -4*o - 35. Is q even?
False
Suppose -12*a + 6*a = 0. Let c be a - ((-30)/9)/(-5)*-3. Suppose -6 = 4*d - c, -251 = -3*j + 2*d. Is 14 a factor of j?
False
Let n(q) = 754*q - 5330. Is n(56) a multiple of 74?
False
Let a(k) = 13*k**2 - 63*k - 501. Is a(-11) a multiple of 5?
True
Suppose 16 = 4*n + 2*v + 2*v, 2*v - 6 = -4*n. Let x be 0 - (0 + 4) - n. Is (26/x)/((-17)/51) a multiple of 13?
True
Let t(v) = 2*v**2 + 169*v + 1087. Is t(-80) a multiple of 5?
False
Is 7 a factor of ((-162324)/(-1))/27 + 1*(4 - -2)?
False
Let a(z) = -25*z - 31. Let w(h) = -3*h - 4. Let m(i) = -6*a(i) + 51*w(i). Let b be m(-6). Suppose b = -2*l - 2*l + 444. Does 18 divide l?
False
Suppose 125143 = 4*x - 3*p, 3*x + 39*p = 37*p + 93887. Does 70 divide x?
False
Suppose -40*j + 46*j = 12. Suppose -2*b - 4*f + 1736 = 0, -3*b - j*f = -8*b + 4292. Is b a multiple of 42?
False
Let b = 713 + -437. Suppose 0*v - b = -12*v. Is 4 a factor of v?
False
Suppose t - 81 = -2*n, 4*t + 0*t - 372 = 4*n. Suppose t = 2*u - u. Let g = u - 6. Is 32 a factor of g?
False
Suppose 2384 + 894 = 2*r. Does 11 divide r?
True
Let k = 436 - 436. Suppose -4*l + 4052 - 692 = k. Does 28 divide l?
True
Let a(j) = -61*j + 1. Let s be 1/(-3) + -2 + 11/33. Is a(s) a multiple of 41?
True
Let k = -2012 - -3463. Is 23 a factor of k?
False
Let d(s) = -s**3 - 6*s**2 + s + 11. Let z be d(-6). Suppose 0*m - z*m - 255 = -5*h, -5*h - 4*m = -210. Let x = h - 23. Does 13 divide x?
False
Let y(g) = g**2 - g - 3. Let s be y(4). Is 36/162 + 2158/s a multiple of 30?
True
Let v(h) = h**3 - 35*h**2 + 289*h - 36. Does 34 divide v(31)?
False
Let t(n) be the second derivative of n**6/120 + n**5/6 + n**4/3 - 4*n**3/3 - 19*n**2/2 + 14*n. Let w(g) be the first derivative of t(g). Does 17 divide w(-6)?
False
Let i(n) = 4*n + 42. Let t be i(-9). Suppose 2*j + 5*y + 3 = j, 2*j = 2*y - t. Is j/(8/((-104)/3)) a multiple of 6?
False
Suppose -24*j + 44121 = -20463. Suppose j = 5*w - 3*q, 3*w = 38*q - 34*q + 1608. Is 60 a factor of w?
True
Suppose 0 = 2*a - 0*a - 2*f + 34, -2*a - 62 = 5*f. Let b be 3/a - (-5832)/56. Suppose -13*r = -15*r + b. Is r a multiple of 8?
False
Suppose -2*j + 10458 = -2*u, -17925 = -5*j - 3*u + 8204. Is 21 a factor of j?
False
Let j(s) = -2*s - 101. Let r(l) = -l - 34. Let g(y) = -6*j(y) + 17*r(y). Let d be g(5). Let a(v) = v**3 + v**2 + v + 1. Is a(d) a multiple of 20?
True
Let b be (-2)/(-4)*-1*-14. Let r(q) = -4*q - 12. Let t(i) = -5. Let x(p) = -4*r(p) + 12*t(p). Does 20 divide x(b)?
True
Suppose -6*t = -799 - 5333. Let g = t - 335. Is g a multiple of 60?
False
Let w be 3974/2 - ((-80)/(-10))/(-4). Suppose -2*o + 3*z + w = 0, -3*z + 497 + 484 = o. Is 45 a factor of o?
True
Suppose -6*y + 6889 = 1273. Is 107 a factor of y/(-20)*(-585)/18?
False
Let y(p) = -p - 269. Let m be y(0). Is -1*5 - (14 + m) a multiple of 25?
True
Let i = -37 + 41. Suppose 2*q - i = 0, -2*f + q = -0 + 2. Suppose -3*w = 6*u - 7*u + 65, 2*u + 3*w - 85 = f. Is u a multiple of 10?
True
Suppose -5*n - 6 = 4*u, 2*n + 2*n - 5*u - 28 = 0. Suppose 5*j - 93 = 2*i, -n*j = -2*i - 0*i - 36. Suppose 22*y - 105 = j*y. Does 7 divide y?
True
Suppose 0 = -69*j + 67*j - 190. Let x = j + 90. Is 14 a factor of ((5/(-3))/(-5))/(x/(-510))?
False
Let y(g) = -g**3 - 16*g**2 - 14*g + 18. Suppose -2*p = -10*p - 120. Let i be y(p). Suppose -2*a - 4 = -i*a, -3*k + 220 = a. Is 13 a factor of k?
False
Let l be (1 + (-1 - -2))*(104 + -101). Let j(x) = 6*x**2 - 4*x - 10. Does 26 divide j(l)?
True
Suppose 0*j + 4*z = j + 246, -4*z - 738 = 3*j. Let d be (21*18/147)/(3/(-21)). Is 13 a factor of j/d + (-2)/3?
True
Let w = 200 - 107. Let r(t) = -10*t - 3. Let z be r(5). Let a = z + w. Does 8 divide a?
True
Let i(s) = 7*s**3 - s**2 - 4*s. Suppose -7*u = -3*u - 240. Let m be (-12)/u - 32/(-10). Is i(m) a multiple of 30?
False
Let c be -1 + -4 + 493/34 + 12/8. Suppose 0*t + 4*t = 2*y - 196, 0 = -2*y. Let n = c - t. Is 15 a factor of n?
True
Let w(s) = -67*s - 2185. Is 4 a factor of w(-48)?
False
Let x(q) = -17*q - 82. Let t be (-5 - (2 - -4)) + 1 + 3. Is x(t) a multiple of 5?
False
Let r(m) be the first derivative of -311*m**4/4 + m**3/3 + m**2 - 2*m + 17. Let f be r(1). Does 4 divide 1/4 + f/(-8)?
False
Suppose 0 = -11*t - 7*t + 54. Suppose -1947 = t*s - 14*s. Suppose 3*x - s = -2*i - 3*i, 82 = 2*i + 4*x. Does 21 divide i?
False
Does 16 divide -12*(14 + 49532/(-42))?
True
Suppose 31*j + 103*j - 476802 = -115538. Does 75 divide j?
False
Let b(r) = -2*r - 20 + 18 + 3*r + 23*r**2. Let o = -5 + 6. Is 3 a factor of b(o)?
False
Suppose -2*o + 0*n + n - 148 = 0, -2*o = 5*n + 136. Let k = -70 - o. Suppose -k*a + 392 = 3*j - 58, 4*j - 608 = -2*a. Is j a multiple of 14?
True
Let o(k) = -21*k**3 - 2*k**2 - 78*k - 477. Does 29 divide o(-8)?
False
Suppose 3*m - 2*m = 36. Suppose 0 = -m*l + 31*l + 2420. Is 48 a factor of l?
False
Suppose 3859 + 711 = 5*b. Suppose -10*q + b = -326. Suppose q = 8*s - 1156. Does 17 divide s?
False
Suppose 0 = -k + 2*r - 2, -2 = k - 4*r + 2. Let f(a) = a**3 - 21*a**2 + 39*a - 16. Let p be f(19). Suppose 4*v - p*v - 64 = k. Is 8 a factor of v?
True
Suppose -6*f - 200 = -2*f. Let j(x) = 74*x**2 - 1. Let c be j(-1). Let g = c + f. Is 23 a factor of g?
True
Let t = 19703 + -11610. Is 19 a factor of t?
False
Let r be 1/(9/(-5283)*(1 - 2)). Let h = r - 356. Is 33 a factor of h?
True
Let q = -48816 - -69453. Is q a multiple of 38?
False
Is 21 a factor of (8 + -1)*((-4)/10*-35 - -7345)?
True
Suppose -96*k + 101*k = 35. Suppose -k*a = -2857 - 832. Is a a multiple of 17?
True
Suppose -92 = 7*j + 104. Let v = -23 - j. Suppose -626 = -5*s - o - o, -s = v*o - 139. Is 19 a factor of s?
False
Suppose 22507 + 5141 = -80*m + 107*m. Does 16 divide m?
True
Let s(b) = 259*b**2 - 38*b + 101. Does 19 divide s(3)?
True
Let x = 92 + -70. Suppose 8*d - x = -6. Is 33 a factor of 1*(d + (-2 - -3 - -129))?
True
Let h be (147/(-9) - -6)/((-1)/3). Suppose h*k - 2565 = 22*k. Is 67 a factor of k?
False
Suppose 2 = 2*c + 5*l - 2, 0 = -c + 3*l - 9. Let r be (7 + -4)*c + -3. Is 475/75*(r/(-2) - 0) a multiple of 14?
False
Let p(u) = -38*u**3 - 20*u**2 - 100*u + 27. Does 23 divide p(-6)?
False
Let w(y) = -4*y**3 + 4*y**2 + 36. Let z be w(5). Is z/63 + 6 - (-10524)/27 a multiple of 4?
False
Let s = 28759 - 24092. Does 15 divide s?
False
Suppose 0 = 5*k - 1151 - 5209. Suppose -3*y = -y - k. Is y a multiple of 18?
False
Let t be (831/9)/((-3)/(-27)). Let d = t + -181. Is 57 a factor of d?
False
Suppose h - 7088 = -3*a, -15*a + 17*a - 5*h = 4714. Is 8 a factor of a?
False
Let m = 29325 - 19020. Does 10 divide m?
False
Let d(l) = l**3 - 6 - 11*l - 7*l**2 + 9*l**2 + 6*l**2. Let j be d(-9). Is 2 a factor of 3/(57/j + -4)?
True
Does 29 divide 186/496 - (-18087)/24?
True
Suppose 30*u = 137*u + 26*u - 1214024. Is 163 a factor of u?
True
Let a be (-21)/(-3) + 0 + -3. Suppose 0 = a*f + 4*f - 392. Does 7 divide (2 - 4 - 2) + f?
False
Let r(a) = -5*a - 16. Let v = -5 + 1. Let k be r(v). Suppose -2*b + 131 = -3*j, 0 = k*b + b + j - 285. Does 29 divide b?
True
Is (-3)/48 - 27/((-11232)/1980602) a multiple of 87?
False
Suppose 5*g + 764 = -4*z, 56 - 72 = -4*z. Is 3 a factor of g/(-20)*(-2*20)/(-8)?
True
Suppose 4*p - 5*d = 15552, -7*p - 3888 = -8*p - 5*d. Is 12 a factor of p?
True
Let b be ((-1 + 1)/7)/1. Does 24 divide 362/4*(4 - b/(-4))?
False
Suppose -f - 1 = 1. Let u be 1/((-3)/f) - (-680)/6. Suppose -3*z - u = -321. Does 19 divide z?
False
Suppose 17*o - 5264 = 68329. Does 111 divide o?
True
Let u(g) be the second derivative of g**3/2 + 654*g**2 + 31*g - 2. Is 47 a factor of u(0)?
False
Let z(w) = -w**3 