ose 462 = k*x - 0*x. Is 36 a factor of x?
False
Suppose 5676 = -96*z + 99*z. Does 79 divide z?
False
Let i(s) = -s - 72. Let o be i(0). Let q = -33 - o. Does 11 divide q?
False
Let z(w) = w - 14. Let m be z(9). Let j(i) = 4*i + 12. Let o be j(m). Does 17 divide (22/o)/(2/(-32))?
False
Let t(d) = -d**2 - 13*d - 12. Let b = 16 - 27. Is 4 a factor of t(b)?
False
Suppose -3*r + z = -702, -r + 0*r + 234 = 2*z. Suppose -3*y + r = 4*c, 0 = -0*y + 3*y + c - 243. Is 41 a factor of y?
True
Let v be 2/(-9) + (2 - (-66)/54). Suppose -p - v*p - 4*h + 76 = 0, -5*h = -5*p + 85. Is 18 a factor of p?
True
Let k(x) = x**3 + 25*x**2 + 23*x - 22. Let t be k(-24). Let d(l) = 6*l**2 - 1. Does 10 divide d(t)?
False
Suppose -z = 3*b - 1880, 6*z - 4*z = 4*b - 2500. Does 14 divide b?
False
Let j be (-2)/(1 - 3)*4. Suppose 4*t + 1 = 9, 5*n + 3*t = 16. Suppose j*p = n + 18. Is p a multiple of 4?
False
Let g = 577 - -391. Does 11 divide g?
True
Suppose 48 = -o - 3*f - 93, -2*o - 290 = 4*f. Let v = o - -198. Is v a multiple of 5?
True
Suppose 0 = 2*k + 3*k - 4*x - 191, -120 = -3*k - 3*x. Does 4 divide (-6)/k + ((-660)/(-65) - -2)?
True
Is (-2075)/(-100) - (-1)/4 a multiple of 2?
False
Let l(h) = -h**2 - 2*h + 5. Suppose 0 = -4*f + 3*n - 28, -f + 2*n + 0*n - 12 = 0. Let z be l(f). Let a = -1 - z. Does 2 divide a?
True
Let x(q) = -q**3 - 32*q**2 + 34*q + 57. Does 2 divide x(-33)?
True
Let u(c) = -5*c**2 - 16*c - 36. Let x(k) = -6*k**2 - 15*k - 36. Let y(h) = -7*u(h) + 6*x(h). Does 6 divide y(23)?
False
Let f be 4/(-12) - (-52)/12. Let t be (1870/(-33))/(f/(-6)). Suppose 3*h - 58 = -2*w + h, -t = -3*w - 5*h. Is w a multiple of 23?
False
Suppose 32*t = 34*t + 2*o - 700, -4*o = 8. Is 8 a factor of t?
True
Suppose 0 = -4*b + 8 + 4. Suppose 1 = -2*r + b. Let o(f) = 42*f**2 - 2*f + 1. Is o(r) a multiple of 17?
False
Let q(b) = b**3 + b**2 - b + 7. Let r be q(4). Let t = 111 - r. Is t a multiple of 7?
True
Let c(s) = s + 7 - 3*s + 3*s + 25. Let h be c(-19). Suppose r = -3*b + 39, h = 3*b + 5*r - 38. Does 2 divide b?
True
Suppose -4*g - 16 = -2*r, 3*g - 2*g + 2 = 0. Suppose -159 = -r*m + 369. Is 12 a factor of m?
True
Let q(j) = -66*j - 1. Let f be q(-1). Let i be -3 - (-4)/6*132/8. Suppose -f + i = -p. Is 20 a factor of p?
False
Let f(u) = -4*u**2 + 14 + 13*u**2 - 5*u**2 + u - 3*u**2. Is f(0) a multiple of 6?
False
Let j be (35 + 28)/((-50)/56 + 1). Suppose -7*z + 98 + j = 0. Is z a multiple of 13?
False
Suppose 56*c - 35566 = 174490. Does 10 divide c?
False
Suppose -334 - 434 = -3*u. Suppose -23*q + 15*q = -u. Is q a multiple of 16?
True
Suppose -59*r = -53*r - 1068. Is 7 a factor of r?
False
Suppose -8 = q - 5*p + 22, 4*p = -2*q - 46. Let j = q - -28. Does 5 divide (102/(-18))/((-1)/j)?
False
Let n(m) = 15*m**2 - 66*m - 12. Does 7 divide n(12)?
False
Is 57 a factor of -2 + (-6021)/(-21) + 32/112?
True
Let y(j) = j**2 - 14*j - 20. Let x be y(14). Is 20 a factor of (-8)/x*-18*-10?
False
Suppose -g = -4*z + 78, z - 177 = 2*g - 0*z. Let q = -66 - g. Is q a multiple of 24?
True
Let o = -51 - -248. Let p = -121 + o. Suppose -6*v + p = -4*v. Is 10 a factor of v?
False
Let h be (-27)/9*2/(-2). Let w(i) = 7 + 9*i**2 + 2*i**2 + 8*i - i**h - 17*i. Does 6 divide w(10)?
False
Suppose -58799 = -52*t + 6721. Is 7 a factor of t?
True
Let k(r) = -13*r - 7. Let h(y) = y**2 + 8*y + 2. Let l(x) = x**2 + 2*x - 7. Let n be l(0). Let f be h(n). Does 29 divide k(f)?
True
Is 48 a factor of (2 - (-4 - -5))*(3 - -788)?
False
Let q = -1 - -4. Let h = -9 + 13. Suppose h*w = -3*l + 171, w - 43 = -q*l + 2*l. Is 11 a factor of w?
False
Let j(r) = -6*r**3 - r**2 + r - 1. Let p be j(1). Let o = p - -35. Does 6 divide o?
False
Does 8 divide (0 + 10/3)/((-18)/(-2592))?
True
Suppose -4*v = -3*b + 11, 0*v - 14 = -3*b + v. Let s be (-17)/b + 18/(-30). Is 23 a factor of ((-134)/s)/(1/2)?
False
Let w(v) = 20*v + 16. Let k be w(19). Suppose -4*f + k = -36. Does 36 divide f?
True
Let u = 5 - 10. Let b(m) = m**2 - 6*m - 1. Let z be b(u). Is 28 a factor of z + -2 + (0 - 2)?
False
Suppose -b + 704 = 4*n, -n + 60 = b - 656. Is b a multiple of 20?
True
Is 19 a factor of 0 - 5 - (-277 - -6)?
True
Is 36 a factor of (1194/(-4))/((-20)/40)?
False
Let u = 166 - 31. Suppose 3*o + 3*i - u = 0, 0*o + 3*i = 2*o - 95. Does 11 divide o?
False
Let z = 556 - -32. Does 42 divide z?
True
Suppose 0 = 2*a - 4*a - 62. Let v = a - -92. Let f = 2 + v. Does 17 divide f?
False
Suppose b - 13 = -4*w + 1, 5*w = 5*b + 30. Does 18 divide 0 + 240/w - 2?
False
Let j = -66 + 71. Let d(y) = 6*y + 2*y**2 - y + 0*y - 7. Is d(j) a multiple of 21?
False
Let i(u) = -u**3 + 10*u**2 + 25*u + 30. Is 21 a factor of i(12)?
True
Let w(s) = 10*s**3 + 2*s**2 - 1. Let p be w(-1). Let x(i) = -i - 5. Let c be x(p). Suppose c*j = -5*f + 91, -j - 8 = -f + 12. Is 9 a factor of f?
False
Suppose -9*v = -13*v + 84. Is v a multiple of 21?
True
Let y be 2/(3*2/15). Suppose -211 = -o - y*u, -3*o = -7*u + 5*u - 616. Is o a multiple of 23?
False
Let u be ((-45)/(-10))/(-9)*(-372)/(-2). Let l = u - -182. Does 16 divide l?
False
Suppose 4*s = -s + 50. Suppose 0 = -4*z + 2*b + 26, -z - 2*b + s = 4*z. Is 3 a factor of 100/8 - (-6)/z?
False
Suppose u + 5*j = -0*j + 12, 4*j = 20. Let m = u + 18. Suppose -2*l - 8 = 0, -v + m*l + 27 = -23. Is 9 a factor of v?
False
Let y be (4 + 9/(-3))*-51. Let c = 22 + -57. Let m = c - y. Is 8 a factor of m?
True
Suppose 7*c = -17 - 4. Let a be (-11 - c)*(-21)/4. Suppose z + z = a. Is 6 a factor of z?
False
Let o = -1220 - -2218. Is o a multiple of 12?
False
Let k(h) = -h**3 - 14*h**2 - 16*h - 1. Let z be k(-14). Is 55/33 - z/(-3) a multiple of 19?
True
Let q be (2 + (-14)/6)*-111. Suppose -2*i + 5*b = -q, 0 = -i - 5*b + 14 - 3. Does 6 divide i?
False
Suppose -6*l + 408 = -4*l. Let a = l - 135. Is 20 a factor of a?
False
Let h(d) = d**2 + 15*d + 8. Let u be h(-15). Is 1*6*u/12 a multiple of 3?
False
Let a(d) = d**3 - 8*d**2 + 6*d + 10. Let o be a(7). Suppose 3*x + 21 = 2*w, 4*w - 14 = o*w - 2*x. Suppose -j + 18 = 4*k - 2*j, 2*j + w = 2*k. Is k even?
True
Let v(l) = 5*l**2 - 27*l - 8. Does 30 divide v(-4)?
True
Let x = -27 + 48. Let i = x - -15. Is i a multiple of 6?
True
Let z(y) = -y**2 - 6*y + 13. Let d(r) = -r**2 - 13*r + 27. Let g(m) = 2*d(m) - 5*z(m). Is 27 a factor of g(-7)?
True
Suppose 2*h + h = 15. Suppose 796 + 1954 = h*u. Is u/14 - (-2)/(-7) a multiple of 13?
True
Does 28 divide (-2331)/(-12)*(-7)/63*-48?
True
Suppose 37 = 2*z - z. Suppose 3*q - 3*k = -z - 53, 0 = -4*q + k - 120. Let h = -22 - q. Does 4 divide h?
True
Suppose 5*d - 1340 = -430. Suppose 5 = -2*o - 3*o, 0 = 3*h - 2*o - d. Is h a multiple of 5?
True
Suppose -x + 959 = 5*w, -x + 0*x = -5*w - 949. Is x a multiple of 53?
True
Does 59 divide 45056/192 - (-8)/6?
True
Let h(d) = -8*d**2 - 5*d + 7. Let g be h(-6). Let j = g + 443. Is j a multiple of 17?
False
Let k = 397 - 127. Is k a multiple of 27?
True
Does 3 divide (-7 - -31)*38/8?
True
Suppose i + 5*d - 741 = 0, -33*d + 2265 = 3*i - 32*d. Is 28 a factor of i?
True
Let z be 2755/(-38) + 2*2/8. Let j(a) = a - 2. Let d be j(2). Is 19 a factor of d + z/(-4) - -1?
True
Let f(d) = -d**3 - 5*d**2 - 4*d + 4. Let m be f(-4). Suppose 5*v + 3*g = 350, 3*g = -3*v + m*g + 196. Does 8 divide v?
False
Let j = 376 + -70. Is j a multiple of 17?
True
Is 22 a factor of (52/(-78))/((-2)/1473)?
False
Suppose -5*p + 3 = -17. Suppose -144 = -p*f + f. Does 6 divide f?
True
Suppose 4687 - 1842 = -5*o. Let d = 831 + o. Is d a multiple of 22?
False
Let x(y) be the second derivative of 1/2*y**2 + 0 + 1/12*y**4 - 1/10*y**5 + 3*y + 1/2*y**3. Does 8 divide x(-2)?
False
Let d = 7 - 5. Suppose d*f + 0*f = 0. Is 6 a factor of (-2 - f)/(4/(-42))?
False
Let c be (1/3)/((-4)/(-108)). Let d be (-3)/c*-9*-263. Is 10 a factor of d/(-15) + 8/20?
False
Let i = 945 + -868. Is 11 a factor of i?
True
Suppose -98 = -12*u - 38. Suppose u*h - 370 = -5*m, 5*h - 256 = -3*m - 30. Is m a multiple of 18?
True
Let f be (-1)/((-1)/(-3)) - (-5 + 2). Does 18 divide (36 - -1)*(f + 3)?
False
Let q(w) = -w**2 - 10*w + 20. Let i be q(-11). Does 13 divide (-3)/i + (-916)/(-12)?
False
Suppose 384 = -15*t + 27*t. Does 18 divide t?
False
Suppose -5*h - 7 = 18, -4*h = 3*k + 11. Suppose -3*r - 8 = -4*l, -4*r = k*l + r - 35. Let u = 24 - l. Does 9 divide u?
False
Let s(a) = -a**3 + 5*a**2 + 6. 