. Let g be (k/(-2) + 0)*-2. Suppose -90 + g = -2*p. Does 9 divide p?
True
Suppose -m + 592 = 3*m. Suppose 0 = -3*b + 197 + m. Does 13 divide b?
False
Let f(d) = d**2 + d - 5. Let l(s) = 3*s**2 + 2*s + 6. Let q(o) = -o**2 - o + 1. Let w(j) = l(j) + 4*q(j). Let k(y) = 5*f(y) + 2*w(y). Is 15 a factor of k(5)?
True
Let b(v) = 16*v**2 + 7*v + 42. Is 11 a factor of b(-3)?
True
Is 24 a factor of 2874/24 - 2/(-8)?
True
Let n(b) = 75*b - 208. Does 16 divide n(6)?
False
Let t(r) = 3*r**2 - 23*r - 10. Let v be t(8). Is 47 a factor of -1*((-47)/(-2))/(v/8)?
True
Let y(u) = 2*u**2 + 16*u - 8. Let f(q) = -q**2 - 7*q + 5. Let d(j) = 5*f(j) + 2*y(j). Suppose -12 = 2*p - 4. Is d(p) even?
False
Suppose -319 - 61 = 2*w. Does 9 divide w/(-4) + 15/10?
False
Let n be 2/(3*2/(-15)). Let i(g) = -2*g**2 - 12*g + 7. Is 2 a factor of i(n)?
False
Suppose 24*p + 2 = 25*p. Suppose p*b + 186 = 2*d, 0 = -0*d - 5*d - 2*b + 444. Is 30 a factor of d?
True
Suppose 0 = -18*g + 20*g. Let y(v) = -v**3 + v**2 + v + 198. Is 32 a factor of y(g)?
False
Suppose n + 5 - 9 = 0. Suppose 3*z + 4 = 5*a - z, -3*a + n*z = 4. Suppose -o - a*w = o - 24, -3*o = -3*w + 9. Is 2 a factor of o?
True
Let v = 210 + 110. Does 12 divide ((-12)/(-5))/(2 + (-634)/v)?
False
Let q(r) = 2*r**3 - 8*r**2 - 7*r + 11. Let x(l) = l**3 - 1. Let h(m) = q(m) - 3*x(m). Is h(-7) a multiple of 2?
True
Let g(w) be the third derivative of -w**4/6 - 23*w**3/6 - 15*w**2. Is g(-17) a multiple of 45?
True
Let b be 6/((-20)/12 + 1). Let u(a) = a + 11. Let h be u(b). Suppose h = -f + 13. Is 11 a factor of f?
True
Suppose -12*l + 196 - 976 = 0. Let s = -17 - l. Does 16 divide s?
True
Suppose -3*g + 401 = -133. Let q = 106 - g. Let b = q - -143. Is 24 a factor of b?
False
Let r be (-4 + 56)/4 + -1*1. Suppose 0 = -3*y + r + 267. Is y a multiple of 31?
True
Let v(f) = -25*f - 2. Let k(s) = 75*s + 6. Let i(x) = 6*k(x) + 17*v(x). Is 26 a factor of i(2)?
True
Suppose -a + 3*w - 3 = 0, 0*a = -5*a + 5*w + 35. Is 9 a factor of (27/a)/(4/(-576)*-4)?
True
Suppose -5*h = -2*h - 465. Let t = 25 + h. Suppose -l = -5*l + t. Is 15 a factor of l?
True
Suppose 2*s = -26*s + 2884. Is s a multiple of 2?
False
Suppose 3312 + 288 = 9*k. Is k a multiple of 16?
True
Is 28 a factor of 5 - (4 + (-3 - 299))?
False
Let c(z) = -z**2 - 11*z. Let j be ((-6)/8)/(4/48). Is 18 a factor of c(j)?
True
Is (1 + 4)/(25/420) a multiple of 28?
True
Let w(k) = -k**2 + 10*k - 13. Let l be w(8). Let p(h) = 2*h**2 + h. Is 5 a factor of p(l)?
False
Suppose 7*h + 336 = 9*h + 5*p, 2*p = -5*h + 798. Is 19 a factor of h?
False
Suppose -5*t = 5*v - 15 - 20, 0 = -5*v + t + 23. Suppose 9 + 6 = v*m. Let n(u) = 16*u + 4. Is 13 a factor of n(m)?
True
Let t = 19 + -7. Suppose -5*k - 3*n - 1450 = 0, 2*k + 5*n + 52 = -528. Does 29 divide (t/(-20))/(2/k)?
True
Let d(u) = -u**3 - 42*u**2 + 30*u - 9. Does 49 divide d(-43)?
False
Suppose 6 = 34*a - 31*a. Is (-4)/a + (205 - 20) a multiple of 31?
False
Let v(y) = y**3 - 3*y**2 - 3*y. Let f be v(4). Suppose -2*t - b + f*b + 127 = 0, 4*t + 5*b = 221. Suppose -2*r = -r - t. Is r a multiple of 12?
False
Let z(u) = -5*u - 12. Let j be z(-5). Suppose 0 = b + b - 12. Let g = j - b. Is 7 a factor of g?
True
Suppose 4*j + 13 + 3 = 0, 0 = -3*b - 5*j + 1408. Let x = b - 273. Is x a multiple of 31?
False
Let d = -55 + 103. Let r = 130 - d. Does 41 divide r?
True
Let y = -192 - -243. Is y a multiple of 17?
True
Let x(o) = 209*o + 263. Does 48 divide x(5)?
False
Let d = 24 - 34. Let n(i) = -3*i - 13. Let x(c) = -80*c - 350. Let l(v) = 55*n(v) - 2*x(v). Is l(d) a multiple of 7?
True
Let w(j) = j**3 + 4*j**2 + 4*j + 3. Let n be w(-2). Suppose 2*o + 6*k - 61 = n*k, -2*k - 82 = -4*o. Suppose -4 = -3*p + o. Is 3 a factor of p?
True
Suppose 0 = 2*l + 2*d - 14, -2*l - d = -6*d - 7. Let f(s) = s**3 - 7*s**2 - s + 7. Let m be f(7). Does 28 divide l + -8 + (39 - m)?
False
Let o(n) = -5*n**3 - 5*n**2 + 3. Let t be o(-4). Suppose 0 = -16*z + 13*z + t. Suppose 3*l - 3*b - z = -12, 3*b - 36 = -2*l. Is 16 a factor of l?
False
Let g be (102/9)/((-2)/3). Let y(r) = -r**2 - 21*r - 29. Is y(g) a multiple of 13?
True
Let d(g) = -g + 8. Let t be d(8). Suppose -s - 119 = -t*s. Let m = s - -191. Does 18 divide m?
True
Suppose 0 = -5*b - 2654 + 749. Let j = b - -551. Does 43 divide j?
False
Let u = 242 - 236. Is u a multiple of 3?
True
Let i(q) = 5*q - 23. Let m be i(7). Let c = m + 4. Is c a multiple of 4?
True
Suppose 0 = 61*m - 22587 - 8279. Is 23 a factor of m?
True
Let a(b) = -4*b**2 + 10*b + b**2 + 4*b**2 + 21. Is 8 a factor of a(-11)?
True
Suppose -1185*s + 14993 = -1174*s. Does 29 divide s?
True
Let l(i) = -151*i + 73. Is l(-5) a multiple of 31?
False
Let v(k) = 26*k**2 - 16*k - 9. Is v(-4) a multiple of 18?
False
Let u(x) = 177*x - 9. Is 18 a factor of u(3)?
True
Let x(z) = 1. Let r(s) = -9*s - 7. Let o(b) = -r(b) - 5*x(b). Let c be o(-13). Let u = c - -175. Is u a multiple of 20?
True
Let i be ((-10)/(-40))/(2/40). Suppose 2*a + 0*m - 3*m - 591 = 0, 4*m + 1488 = i*a. Is 3/6 - a/(-8) a multiple of 13?
False
Suppose 0 = 7*o + 804 - 5844. Is o a multiple of 12?
True
Suppose -23*l + 33*l = 5190. Is 11 a factor of l?
False
Let j be 9/(-18) + (-7)/(-2). Suppose -3*f = -2*x - 42, 2*x = f + j*x - 9. Does 12 divide f?
True
Let o(d) = 3 + d - 1 + 3 + 2. Let z be o(-7). Suppose z = j - 96 + 36. Is 24 a factor of j?
False
Let w = -663 - -3975. Does 16 divide w?
True
Let i be 4 + 15 - (-18)/(-3). Suppose 3*g = -2*k + 52, 2*k + 0*g = -4*g + 56. Suppose -7 = -a - h + i, -5*h = k. Is 12 a factor of a?
True
Let v(a) = a**2 - 2*a - 3. Let p be v(3). Suppose 0 = -p*w - 3*w - y + 142, y = -5*w + 238. Is w a multiple of 16?
True
Does 15 divide 3935/15 + (-7)/((-84)/(-16))?
False
Let n = 22 - 20. Is -3 - (-52)/(6 - n) a multiple of 10?
True
Let i be (-4 - -7)/(2 - 1). Suppose 2 = t, -i*t = g - 6*g - 6. Suppose l = -4*l - 2*s + 408, g = 5*l - s - 396. Does 16 divide l?
True
Let u = 1225 + -11. Does 46 divide u?
False
Let s(d) = -57*d - 39. Let q be s(8). Is q/(-6) + (-24)/16 a multiple of 25?
False
Suppose 12167 = 62*t - 8293. Does 5 divide t?
True
Suppose -n = 3*n - 616. Let t = -79 + n. Does 15 divide t?
True
Let y be 5/(5/583) - -1. Suppose -3*r + 7*r = y. Suppose 3*a - r = -3*s + 7*s, -a + 52 = -2*s. Does 14 divide a?
True
Let u(l) = l**3 + l. Let b be u(1). Let a(i) = 16*i + 1. Is a(b) a multiple of 12?
False
Suppose 0 = 5*x + 2*x - 4536. Suppose -4*k + x - 100 = 0. Does 21 divide k?
False
Suppose -4*o + 3235 = 5*f + 883, 3*o + 2331 = 5*f. Is f a multiple of 36?
True
Suppose -10508 = -4*p - 2*r + 4186, 0 = -5*p + 3*r + 18340. Does 48 divide p?
False
Let z(i) = -i**2 - 16*i - 1. Let w be z(-16). Let k(x) = 54*x**2 + 1. Does 11 divide k(w)?
True
Let o(u) = 8*u**2 + 6*u - 10. Let d be o(3). Suppose 2*t + 3*h = 40, 5*t + 3*h - d = t. Does 6 divide t?
False
Let l = -8 - -11. Suppose 4*f + l*h = 1049, -3*h + 2*h = -3. Suppose 3*j - w = -0*w + f, 90 = j - w. Does 17 divide j?
True
Let q be 1*(3 - (2 - 1)). Is (q + 1)*46/6 a multiple of 15?
False
Let h(x) = -x**3 - 5*x**2 + 2*x - 12. Let n be h(-7). Suppose -7*i + n = -4*i. Is i even?
True
Let u(w) = -w**3 + 16*w**2 - 8*w. Is 26 a factor of u(10)?
True
Suppose 84*i = 41820 + 103164. Is i a multiple of 41?
False
Let n(m) = -m**3 + 8*m**2 + 10*m + 11. Is 8 a factor of n(5)?
True
Let a be (-28)/(-21) + 260/(-6). Let p = a - -190. Suppose p = 5*c + 5*u - u, c = 2*u + 24. Does 14 divide c?
True
Let n(x) = -3*x - 62. Let h(l) = 1. Let p(d) = -3*h(d) - n(d). Is 19 a factor of p(19)?
False
Suppose 3*i - 279 = 309. Is i even?
True
Let s be 4494/8*(-16)/(-6). Suppose -s = -6*x - 556. Is 28 a factor of x?
False
Let d be 224/36 - 2/9. Let n = -1 + d. Suppose 0 = -n*h + 4*h + 30. Is h a multiple of 10?
True
Let a be (-116)/(-30) - (-12)/90. Suppose 4*s + a*w = 176 + 48, 0 = -s - 2*w + 52. Is 10 a factor of s?
True
Let o(p) = 5*p**2 + 2*p - 3. Let x be o(-3). Let h be 22/132 - (-35)/6. Suppose -2*w = a - 8, -h - x = -3*a + 3*w. Is 4 a factor of a?
True
Suppose 235*i - 5*y = 233*i + 5156, 4*i + 5*y - 10252 = 0. Is 24 a factor of i?
True
Suppose 183 = 3*z - 2*n, -121 = -5*z - 4*n + 184. Suppose -27 = -3*m + 60. Suppose -m - z = -3*t. Is 11 a factor of t?
False
Let x be -8 + (-2 - (-6 - -2)). Let t be (29 - -1) + x/2. Does 19 divide (t/(-2))/((-2)/8)?
False