k?
True
Let r(l) = -135*l**3 + 2*l**2 - 5027*l + 5027*l. Does 48 divide r(-1)?
False
Let u = 7122 + -4863. Suppose 2*o - 3*l - 1513 = 2*l, -u = -3*o - 3*l. Is 30 a factor of o?
False
Let f(j) = -29*j**2 - 12*j - 5. Let w(k) = 56*k**2 + 24*k + 9. Let u(v) = -7*f(v) - 3*w(v). Does 20 divide u(-4)?
True
Let o(i) be the third derivative of -5/24*i**4 + 0 + 1/60*i**5 + 7/6*i**3 - 3*i**2 + 0*i. Is 13 a factor of o(-7)?
True
Let b be 2 - 6/(3 - 5). Suppose 0 = u - 4*i - 74, -b*u + i = 5*i - 274. Is 4 a factor of u?
False
Let j(s) = -5*s**2 - 17*s + 3. Let n(o) = 23*o**2 + 66*o - 11. Let d(m) = -9*j(m) - 2*n(m). Suppose 5*g + 3*p = 59, 0*g + 2*g - 22 = -2*p. Does 9 divide d(g)?
True
Let i(z) = -30*z + 19. Let q(x) = -15*x + 10. Let y(b) = -6*i(b) + 13*q(b). Let w be y(2). Is (w - -5)/(2/(-26)) a multiple of 22?
False
Let d(l) = -l**3 - 6*l**2 + 8*l + 17. Let z be d(-7). Let a(f) = 2*f - 20. Let n be a(z). Is n + (27/(-12))/((-1)/16) a multiple of 9?
True
Let u = -46 + 72. Suppose u = -4*x + 46. Suppose 0 = -x*q - 59 + 464. Is q a multiple of 29?
False
Suppose 441120 = 63*w + 79941. Is 5 a factor of w?
False
Suppose -551*n = -211*n - 3309900. Is n a multiple of 65?
False
Let c = -19263 + 27937. Is c a multiple of 200?
False
Let b be 1/4*(22 + -22). Let l(z) = -z**3 + 7*z**2 + 130. Does 8 divide l(b)?
False
Let n(u) = 15*u**2 + 10*u**2 - 26*u**2 + 3*u**2 - 6*u + 82. Is n(-8) a multiple of 6?
True
Let w(o) = -6*o**2 - 71*o - 6. Let a be w(-12). Suppose 16 = -4*j, -21 - 3 = u + 5*j. Is 3/(u/16*4/a) a multiple of 9?
True
Let d(m) = m**2 - 8*m - 7. Let h be (148/16)/1 + 2/(-8). Let g be d(h). Suppose -3*a = g - 77. Does 9 divide a?
False
Suppose 0 = n + 5*s - 55, -n + 7*s - 5*s = -27. Suppose -o - 40 = -5*o. Let z = o + n. Does 9 divide z?
True
Suppose -607*j + 198*j = -23560445. Is j a multiple of 79?
False
Suppose 950 = -268*b + 278*b. Suppose -b*g + 87*g = -5680. Does 71 divide g?
True
Suppose 57*x + 58*x = 101*x + 26754. Is 3 a factor of x?
True
Let t(u) = 14*u + 2*u - 12*u + 4*u + 2*u. Let a = 4 - 2. Does 4 divide t(a)?
True
Suppose -w = x + 162, 0*x + 807 = -5*w - 4*x. Let z be (2 - 1)/(3/w). Let c = 77 + z. Does 4 divide c?
True
Let x(n) = -3*n**2 - 9*n + 6. Let h be x(-4). Let v = 17 - h. Is v a multiple of 12?
False
Suppose 0 = -2*g - 8, -380 = 4*y + 26*g - 21*g. Suppose 0 = -3*i - 23 - 94. Let l = i - y. Is l a multiple of 17?
True
Let n be ((-31)/(-4))/((-24)/(-3168)). Suppose -5*z - l + n + 51 = 0, -4*z = 2*l - 864. Is z a multiple of 13?
False
Let u be ((-5)/(-1) - 0) + 0. Let i(w) = 10*w**2 - 16*w - 6. Is i(u) a multiple of 13?
False
Let j be (-1032)/14 + (-2)/7. Let x = 59 + j. Is ((-54)/15)/(2/x) even?
False
Suppose 4*z = -12, -o + z + 423 = -47. Let b = o - 423. Is b a multiple of 8?
False
Let n be 0 + 2 + -4 - (-2 - -4). Let w be n/(-10) + (-24)/(-15). Suppose 2*o - 20 = -r, 0 = -2*r - w*o + o + 52. Does 4 divide r?
True
Let s(m) = m**2 + 273. Let z be s(0). Suppose 759 = 6*d - z. Suppose 5*f - f - d = 0. Is 6 a factor of f?
False
Let g(d) = 62*d - 87. Let u(f) = 62*f - 88. Let x(h) = 4*g(h) - 3*u(h). Does 18 divide x(13)?
False
Suppose -2*w = 2*w - 200. Let u(v) = 5*v**2 - 3*v - 6. Let m be u(3). Let r = w - m. Is r even?
True
Let l = 132 + -191. Let z = l - -61. Is ((-255)/102)/(z/20*-1) a multiple of 2?
False
Suppose -2*q - 5*a + 321 = -180, 765 = 3*q + 3*a. Suppose 7*d = 2*d, -3*f + q = -d. Suppose -8*z + 406 = f. Does 22 divide z?
False
Let k(b) = b**3 + b**2 + 14*b + 7. Let j be k(-5). Let r = 181 + j. Is r a multiple of 6?
True
Let z = 33 - 27. Suppose 11*h - z*h - 600 = 0. Does 15 divide h?
True
Let g(w) = 4*w - 22. Let j be g(34). Let t = 190 - j. Is 11 a factor of t?
False
Suppose 5*u + 1 = 6*a - 4*a, -2*u = -3*a + 7. Let j be (a/(-12))/(2/(-152)). Let x = j - -15. Does 17 divide x?
True
Suppose -37*z + 29 = -859. Let p be 2/3 + (-14)/3. Let f = p + z. Is 19 a factor of f?
False
Let o(h) = h + 49. Let q be o(-25). Suppose -q*i = -21*i - 168. Let u = i + -6. Does 10 divide u?
True
Let o(x) = 226*x**3 - 4*x**2 + 9*x - 34. Is 21 a factor of o(3)?
False
Let j(v) = 33 - 21*v - 14*v + 101 - 13*v - 3. Does 12 divide j(-6)?
False
Suppose -553661 = -187*q + 40*q - 131771. Does 5 divide q?
True
Suppose -3*r = 5*f - 30262, -93*f + 50416 = 5*r - 95*f. Is 11 a factor of r?
False
Let c(z) be the first derivative of -z**4/4 + 2*z**3/3 + 4*z**2 - 13*z - 131. Does 20 divide c(-8)?
False
Is 24 a factor of 64/224 - (-2 - (-360464)/(-28))?
False
Suppose -4*i = -0 + 8. Let t = -411 + 271. Is i + 1 + (6 - t) a multiple of 45?
False
Let h = 20106 + -11292. Does 17 divide h?
False
Let b be (-2)/(-9) + 206*48/(-27). Is 7 a factor of b/(-9) + 24/18?
True
Suppose -3*f = 62 - 53, -c - 2*f = -8644. Is c a multiple of 6?
False
Let j(v) = -2*v**2 + 16*v + 43. Let k be j(-11). Let s = k - -543. Does 7 divide s?
True
Does 14 divide ((-712)/(-12))/((-30)/(-2295))?
False
Let x(h) = -10*h + 2 - 16 - 11*h. Is 11 a factor of x(-8)?
True
Suppose -f + 2 = 5*j - 0*f, f = -j + 2. Let s(w) = 11*w + 432. Let x be s(-39). Suppose 2*n + x*z - 101 = j, -4*z = -n - 6*z + 50. Is n a multiple of 13?
True
Suppose 0 = u - 212 - 617. Suppose 2*n - 3*b - u = 0, 5*n + 0*b = -3*b + 2083. Is n a multiple of 8?
True
Suppose 12*t - 2*t + 240 = 0. Let o(l) = l**2 - 5*l - 25. Is o(t) a multiple of 11?
True
Let o = 8916 - 3769. Is 81 a factor of o?
False
Let i(m) = 31*m + 27. Let k(w) = w**2 + 32*w - 100. Let v be k(-35). Is 7 a factor of i(v)?
True
Let u be (2250/21)/3 - 16/(-56). Suppose 4*r + u = 6*r. Suppose -s - r = -96. Is s a multiple of 13?
True
Suppose 6*k = 14278 - 5746. Suppose -1407 = -2*m - i, -k = -2*m + 3*i - i. Does 43 divide m?
False
Let b(f) = 1524*f - 3295. Is 31 a factor of b(8)?
True
Let j be 8 - (1/(-1))/1. Is 4 a factor of (-37)/1*j/(-1)?
False
Suppose 0 = 5*d - 2*u - 53, 0*u = 4*d + 4*u - 20. Suppose 16*x - 140 = d*x. Is 7 a factor of x?
False
Let n be (-6)/21 - (3 - 46/14). Let i(f) = 2*f**2 - f + 10. Let m be i(n). Does 21 divide (3/(-2) + -2)*(-20 - m)?
True
Suppose 57 = -7*l - 83. Is 2798/10 - (2 + 44/l) a multiple of 10?
True
Is 3 a factor of -2*2/18 + 48/54*4543?
True
Let t = 368 - 401. Let p(n) = -30*n + 64. Is 35 a factor of p(t)?
False
Suppose 0 = -22*r + 10761 - 2357. Is r a multiple of 2?
True
Suppose -100*l + 167807 + 114793 = 0. Is l a multiple of 51?
False
Suppose -q - 5*m + 16 = 0, -4*q + 3*m + 64 = m. Suppose -q*t = -19*t + 15. Suppose -t - 71 = -i + 2*n, -335 = -5*i - 5*n. Is 6 a factor of i?
False
Let a = -21578 - -42533. Is a a multiple of 15?
True
Let y(t) = -425*t**3 + 10*t**2 - 5*t - 5. Let s be y(-3). Is 4 a factor of ((-2)/(-10))/(5/s)?
False
Suppose -5*t + x = -7764, 2*x + 1532 = t + 7*x. Suppose t = 6*u - 50. Does 16 divide u?
False
Suppose -4*z - 251*a + 249*a = -30630, -2*z = 5*a - 15343. Is 20 a factor of z?
False
Is ((-1)/3 + -5)*2562/(-8) + 0 a multiple of 7?
True
Suppose 5*o - 4*h = 29757, -296*o + 297*o + 2*h = 5971. Is o a multiple of 26?
False
Let p = -93 - -90. Does 39 divide (0 - 1) + p/((-6)/1172)?
True
Let c be (-2)/(0 + 2)*(18 + -58). Suppose -4*y = -3*y - d - 49, 2*d = -y + c. Suppose -104 = -4*o - g - 3, -2*o = 2*g - y. Is o a multiple of 13?
True
Suppose -3*p = -2*a - 5893, 5*a - 5753 = -4*p + 2089. Is 5 a factor of p?
False
Suppose -5 = -5*o + 5. Suppose -2*x + 7*x + o*t - 15 = 0, -2*x - 5*t + 6 = 0. Suppose -7*l = -a - 4*l + 67, -225 = -x*a - 3*l. Does 7 divide a?
False
Suppose 72*w - 103*w = -136338. Is 6 a factor of w?
True
Let r be 36/45 + (-8)/10. Is 35 a factor of 2 - ((-1685)/5 + r)?
False
Suppose 0 = 27*n - 41*n + 11872. Let j = n - 470. Does 21 divide j?
True
Let g(k) = -5*k + 15 + 0*k + 13*k**2 - 13. Let h be g(2). Let x = -26 + h. Is 5 a factor of x?
False
Let f be 2/((3 - -1)/8). Suppose 44 = 4*j - y, 3*j + 2*j = -f*y + 34. Is 10 a factor of j?
True
Suppose 178*d + 13779 = k + 182*d, -20 = -4*d. Is k a multiple of 76?
False
Is (-6606)/45*-15 + -2 a multiple of 100?
True
Suppose 2955 = 3*f - 4*n - 1164, -5*f + 3*n = -6887. Does 14 divide f?
False
Let r(s) = 15*s**2 + 3. Let b be r(6). Let n = -388 + b. Is n a multiple of 7?
False
Let r(s) = 21196*s**2 + 14*s + 18. Does 25 divide r(-1)?
True
Suppose 6*o + 4540 = 2*u, 11*u + 4*o = 12*u - 2264. Is u a multiple of 12?
False
Suppose 138*v - 571*v = -61320 - 17423