(q) + 5*l(q). Is 35 a factor of r(0)?
True
Suppose 0 = 30*g - 15*g - 38025. Does 92 divide g?
False
Suppose 0 = -5*g - 9 + 4. Let p(w) = w. Let r(l) = 71*l + 1. Let z(k) = g*r(k) - 2*p(k). Does 18 divide z(-3)?
False
Let l = 3006 + -1479. Suppose 0 = -4*c + v - 4*v + l, v = c - 387. Is c a multiple of 12?
True
Is 12315 - 6/((-13)/(-2 + -11)) a multiple of 59?
False
Let k(w) = -712*w + 473. Let g be k(-14). Suppose 0 = -28*j + 54009 - g. Does 15 divide j?
False
Let q be 1*(-6 + 2 + -10 + -197). Let i = q - -598. Is i a multiple of 14?
False
Let g = -14703 - -22263. Suppose -9*o - g = -29*o. Does 63 divide o?
True
Let h(r) = -r**3 + 16*r**2 + 2*r - 29. Suppose -4 = g - 20. Let k be h(g). Suppose -k*j = 7 - 211. Does 17 divide j?
True
Let l(c) = -31567*c - 608. Does 83 divide l(-1)?
True
Let y be 1 - (12/6 + -643). Suppose -9*s + 177 = -y. Is 4 a factor of s?
False
Does 8 divide 13850/(-100)*(-22 - -6)?
True
Suppose 0 = 92*w - 9*w - 32536. Is w a multiple of 8?
True
Let a = -9300 + 13045. Is 74 a factor of a?
False
Let f be 115/35 - (-2)/(-7). Suppose 5*o + 56 = f*m - 39, m - 45 = -o. Does 8 divide m?
True
Let n = -153 + 171. Is 11 a factor of (9/2)/(n/246)*2?
False
Suppose -3*y = -y - 140. Does 12 divide (294/y)/((-1)/(-25))?
False
Let t(q) = -24*q**2 - 287*q - 45. Does 11 divide t(-8)?
True
Let x(b) = -b + 33. Let a be x(17). Suppose -13*v = -a*v - 12. Does 9 divide (2 - 208/6)/(v/6)?
False
Let b be ((-5)/10)/((-18)/8 + 2). Suppose 3*i = -2*r - 10, 4*i - b*r = 5 + 5. Suppose -983 = -4*y - k, -k = 2*y - i*k - 489. Does 14 divide y?
False
Let r(d) be the third derivative of d**5/120 + 13*d**4/24 + 5*d**3/2 + 19*d**2. Let q(w) be the first derivative of r(w). Does 3 divide q(-4)?
True
Let l(q) be the second derivative of -2*q**3 + 116*q**2 - 6*q - 17. Is 13 a factor of l(-24)?
True
Let t = 59 - -5116. Is 75 a factor of t?
True
Let m = 8 + 3. Suppose 13*z - m*z = 8. Suppose 0 = -4*o + 20, 0*o = -z*b - o + 221. Does 9 divide b?
True
Let a(i) = 62*i - 18 - 290*i - 161*i. Does 6 divide a(-2)?
False
Let f(w) = 2*w**2 + 23*w - 7. Let j be f(-12). Let d be ((-70)/42)/(j/(-3)). Does 4 divide 0 + 4 - d/((-3)/36)?
True
Let o(p) = -10*p - 1. Let x be o(-1). Suppose -x*n + 396 = -3*n. Suppose 2*w = 4*i + n - 248, 5*i - 5*w = 215. Is 8 a factor of i?
True
Let w = -1451 - -1472. Let f(k) = -k**3 + 8*k**2 + 4*k - 3. Let u be f(8). Let s = u + w. Does 5 divide s?
True
Let o(w) = -w + 3. Let i be o(0). Let a(x) = 4 + 168*x**2 - i*x - 164*x**2 - 2*x. Is a(6) a multiple of 24?
False
Let x(a) = -724*a - 10669. Does 2 divide x(-16)?
False
Suppose 26*u = 29*u - 2*y - 49307, 15 = 3*y. Is 34 a factor of u?
False
Let r(a) be the first derivative of 31*a**2/2 - 32*a + 112. Is 8 a factor of r(16)?
True
Let c(y) = -2*y**2 + 21*y + 10. Let i(r) = 6*r**2 - 62*r - 30. Let d(t) = -8*c(t) - 3*i(t). Let z be d(-13). Is 10 a factor of z/(-8) + 9/12?
False
Let b(x) be the third derivative of -x**4 - 23*x**3/6 - 257*x**2. Is 5 a factor of b(-7)?
True
Suppose -2*x - 10 = 0, -x - 2*x + 15 = 3*y. Let g be (-14)/y*-71 + (-10)/25. Suppose 3*p - g = -2*r - 7, -p + 4*r = -26. Does 30 divide p?
True
Suppose 16*z + 2018 = -1598. Let o = 305 + z. Is 12 a factor of o?
False
Let s(d) = -d**3 + d**2 + 9*d + 3. Let k be s(4). Does 35 divide k/((-144)/140)*8?
True
Let x(z) = z**2 + z + 11*z - 2*z**2 + 2. Let r be x(12). Suppose 60 = 3*u - 5*s, -u = r*s - 5*s - 24. Does 11 divide u?
False
Let a(x) = 15*x - 72. Suppose 0 = -26*s - 12*s + 304. Does 4 divide a(s)?
True
Let s(i) = 3*i**2 + 11*i - 4. Let r(w) = 9*w**2 + 32*w - 11. Let d(m) = 2*r(m) - 7*s(m). Let c be d(-6). Is 7 a factor of (-1 - -9)*(486/c)/(-9)?
False
Suppose 41 = 18*m - 85. Suppose -276 = -2*p + 3*x, -5*p - m*x + 677 = -8*x. Is 5 a factor of p?
True
Suppose -1 = 2*z - 7. Suppose 2*y - 2*q - 10 = 2*q, -2*y - z*q + 24 = 0. Is 362/8 + y/12 a multiple of 18?
False
Let z(r) be the third derivative of 11*r**5/60 + 25*r**4/24 + 53*r**3/3 - 31*r**2 + 5*r. Is z(-8) a multiple of 5?
True
Suppose -589*k + 235380 = -569*k. Is 27 a factor of k?
False
Let z = 18228 + -17524. Is z a multiple of 3?
False
Let r(q) = -132*q + 3. Let a(i) = -265*i + 7. Let y(h) = 3*a(h) - 5*r(h). Let d be y(-3). Suppose 4*g - 221 - d = 0. Is 27 a factor of g?
False
Suppose 91333 = 17*f - 25117. Is f a multiple of 191?
False
Is (4 - 481312/(-16)) + -19 a multiple of 107?
True
Let g(u) = -4242*u + 2457. Does 7 divide g(-3)?
True
Does 8 divide (6214/65)/(9/45)?
False
Let d(x) = 6*x - 78. Suppose -76 = -2*y + 11*t - 8*t, -3*t + 84 = 3*y. Is 19 a factor of d(y)?
True
Let q(g) = -g**2 + 19*g - 24. Let j(n) = 6*n**2 + 40*n - 1. Let s be j(-7). Does 9 divide q(s)?
True
Suppose -6*f + 3578 = -30952. Is f a multiple of 44?
False
Let m be (-5 + 1 - -1) + 26 + -2. Let c be (44/10)/(792/(-795) - -1). Suppose 0 = -32*v + m*v + c. Is 13 a factor of v?
False
Suppose -5*w + 3*c + 3 = 0, -3*w - 3 + 1 = 2*c. Suppose -5*s + 18 = h, -2*h + w*s + 4 = 2*s. Does 11 divide 8/20*(43 - h)?
False
Let a = -341 + 636. Suppose 2*l - 69 = a. Does 13 divide l?
True
Let h be 31/(644/(-324) - -2). Suppose -12*r = -3*r - h. Does 31 divide r?
True
Let d = -66 + 71. Suppose 0 = t - 24*l + 29*l - 256, 2*t - d*l - 482 = 0. Is t a multiple of 14?
False
Let g(x) be the second derivative of -x**6/60 - x**5/10 - x**4/8 + x**3/3 - 2*x**2 + 15*x. Let p(k) be the first derivative of g(k). Is 11 a factor of p(-4)?
False
Let c(g) = -14 - 96 - 86 + 128*g - 440*g. Does 10 divide c(-4)?
False
Let k be -16*1/((-4)/14). Suppose 7*r = 5*r + k. Does 28 divide r?
True
Let r = -618 - -622. Suppose -r*b = -584 + 176. Is 3 a factor of b?
True
Let m(r) = 17*r + 29. Let t(g) = -20 - 27 - 17 - 50*g - 23. Let z(s) = -11*m(s) - 4*t(s). Does 40 divide z(17)?
False
Let n be (79 + 258)/(1*(-1 - 0)). Let t = 79 - n. Is t a multiple of 32?
True
Let z = -15056 + 32368. Is z a multiple of 32?
True
Let o(q) = q**3 - 37*q**2 - 81*q + 77. Let g be o(39). Is (-2910)/(-8) + (-11 - -1)/g a multiple of 5?
False
Let f = -259 - -264. Suppose l - f*s + 35 = 156, -2 = -2*s. Is 42 a factor of l?
True
Let u = -364 - -369. Suppose -g - 676 = -3*b - 0*g, u*g = -5*b + 1160. Is b a multiple of 5?
False
Suppose 0*z - 2958 = -2*z. Suppose -6*n - z = -23*n. Is 8 a factor of n?
False
Suppose -3*r + s = -4, 0 = 5*r - s + 5*s - 18. Let q(v) = 6 + 11 + 13*v - v**3 - 3*v - 8*v**r. Does 6 divide q(-9)?
False
Let v(r) = 45*r**2 - 2*r - 5. Let o be v(-2). Let i = 393 + o. Is i a multiple of 13?
True
Let y(u) = 55 + 4*u - 3*u + 14 + 4*u. Is y(21) a multiple of 29?
True
Let r be (-480)/78 - -1 - (-6)/39. Does 14 divide 348*(r - (26/(-4) - -1))?
False
Let c(b) = -b**3 + 8*b**2 + 21*b - 6. Let n be c(10). Suppose 518 + 326 = 2*a - 3*v, 4*a = n*v + 1684. Does 11 divide a?
False
Suppose 5*n - 10 = 3*l, 4*n = -3*l - 0*l - 19. Is 3 - (-355 - (0 + l)) a multiple of 20?
False
Let u be ((-1296)/189)/((-1)/7). Let w = u - 40. Let d(f) = 2*f**2 - 14*f + 26. Does 10 divide d(w)?
False
Does 19 divide (36/24)/((-2)/(-1204))?
False
Suppose -9*d + 6123 + 5736 + 6870 = 0. Does 7 divide d?
False
Suppose 48*b - 45*b - 31851 = 2*l, 0 = -4*b + l + 42463. Does 55 divide b?
True
Suppose -3 = -3*u - 3*n, 5*n - 1 + 36 = 5*u. Suppose 2*m - m - u*r - 529 = 0, -536 = -m - 3*r. Does 13 divide m?
True
Let u = 8622 - -7057. Suppose -u = -15*c + 5021. Is 46 a factor of c?
True
Let o(t) = t**3 + 3*t**2 + 12*t - 12. Suppose 39*g - 26*g = 78. Does 16 divide o(g)?
True
Suppose 4*z + 3*i = 2*z + 14219, -21291 = -3*z + 3*i. Is 53 a factor of z?
True
Suppose -11*l + 8*l = -168. Let k = l + 1. Is 10 a factor of k?
False
Let d = -44 + -116. Is 21 a factor of ((909/6)/(15/d))/(-2)?
False
Suppose -572*a = -575*a - 15, -4*z + 9551 = 5*a. Does 38 divide z?
True
Suppose -3*p = -o + 1407, -2*o - 5*p + 3596 = 749. Is 5 a factor of o?
False
Let b(p) = p - 16. Let k be b(19). Suppose 0*z - 39 = -3*t + 4*z, 2*t + k*z - 26 = 0. Suppose t*w - 11*w - 78 = 0. Is w a multiple of 13?
True
Let j = 78 + -56. Let h = -45 + j. Let t = 73 + h. Is t a multiple of 25?
True
Suppose 306 = -4*d + 5*d. Let m = -33 + d. Is m a multiple of 13?
True
Suppose 20*w + 7285 = 23*w - r, -3*w + 3*r = -7275. Does 15 divide w?
True
Let i(p) be the third derivative of 7*p**4/24 - 61*p**3/6 + 33*p**2. Let h be i(9). Suppose 0 = h*t + 5*c - 107, 