 = 0. Suppose -399 - 141 = -a*y. Does 18 divide y?
True
Let a be 0*1/2 + 38. Let n be (-10)/((1 - -4)/10). Let i = a + n. Is 6 a factor of i?
True
Let r be (-28)/(-4)*1/2*-2. Let o(p) = p**2 - 4*p - 16. Does 19 divide o(r)?
False
Let p(m) = 10*m**2 + 5*m + 76. Is p(7) a multiple of 39?
False
Suppose 952 = 42*d - 38*d + 4*y, 2*y - 1181 = -5*d. Is 11 a factor of d?
False
Suppose -5*y = j - 1665, 6*j - 1635 = 5*j + 5*y. Does 15 divide j?
True
Suppose j - 711 + 505 = 0. Does 6 divide j?
False
Let i = -490 + 2380. Is 45 a factor of i?
True
Let n be (4/2)/((-4)/(-10)). Let u(x) = -2*x**2 + 5*x**2 - n*x + 10 - 2*x**2. Is 16 a factor of u(-5)?
False
Let d(s) = -s**2 - 11*s - 12. Let i be d(-8). Let j be (-1*46 - 0)*-1. Let r = j - i. Is 14 a factor of r?
False
Is 16 a factor of ((-2944)/40)/((-2)/10)?
True
Suppose 2*i - 6*i + 4*o + 8 = 0, -4*i - 4*o + 16 = 0. Suppose i*s - s = 220. Suppose h = -h + s. Does 8 divide h?
False
Let g(i) = -16*i**3 + 66*i**2 + i + 31. Let x(v) = -3*v**3 + 13*v**2 + 6. Let s(y) = -2*g(y) + 11*x(y). Is s(10) a multiple of 14?
True
Suppose 5*f - 2667 = 4*p, -6 = 4*p + 6. Is 6 a factor of f?
False
Let g be 1/(-1)*(0 - 1). Let v(w) = -7*w - 3 + 1 + g. Does 9 divide v(-2)?
False
Let d(x) = -6*x**3 + 7*x**2 - 4*x + 7. Is d(-3) a multiple of 18?
False
Let o(i) = 4*i - 16. Let h be o(4). Suppose h = 5*k + 151 - 811. Is k a multiple of 12?
True
Suppose -8 + 5 = -f. Does 29 divide 2 - 3 - (f - 1 - 71)?
False
Let m = 1605 + -870. Is m a multiple of 6?
False
Let a(f) = f + 73. Is 4 a factor of a(-27)?
False
Suppose -5*y + 4 - 34 = 0. Let j be 2/y + (-40)/(-30). Does 7 divide (-3)/1 + j + 20?
False
Does 37 divide 7 + -8 - 2538/(-3)?
False
Let p(v) = -v**3 - v + 1. Let d be p(1). Let i be 6 + -99 - (-1 + d). Let h = -40 - i. Is h a multiple of 25?
False
Let z be (-3 - -1)/(-1) + 504*1. Suppose 334 + z = 10*o. Does 4 divide o?
True
Suppose -133*r + 137*r - 1092 = 0. Is 17 a factor of r?
False
Let j = -3152 - -5664. Does 30 divide j?
False
Suppose -220 = -5*b - 5*t, -47 = b - 2*b + 2*t. Suppose b = -3*l + 4*l. Is l a multiple of 12?
False
Suppose 7*n + 4272 = 31*n. Does 10 divide n?
False
Let m(k) = -k**3 + 16*k**2 + 6*k + 22. Suppose 3*b - 53 = -5*j, -7*b + 8*b - 19 = -3*j. Does 12 divide m(b)?
False
Suppose 0 = -4*i - 20, -14*a - i - 817 = -18*a. Is a a multiple of 45?
False
Let g = -10 + 10. Suppose -5*p - z = -5, 5*p + g*p + 2*z = 0. Suppose 6*j - j - p*o - 207 = 0, -4*j = -4*o - 156. Is 12 a factor of j?
False
Let a(d) = 8*d**3 - d**2 - d + 1. Let o be (-2 - (-2 - 1))/1. Let s be a(o). Does 20 divide s*(-2)/(6/(-27))?
False
Suppose -43*z + 51*z = 4616. Does 58 divide z?
False
Let h = -32 - -62. Is 25 a factor of h?
False
Let t(p) = 126*p + 65. Does 39 divide t(2)?
False
Suppose -x - 5 = 3. Suppose 48*d = 54*d - 12. Does 26 divide d/x - (-315)/12?
True
Let i = -6 - 0. Let h = i - -9. Suppose 108 = -0*v + h*v. Is v a multiple of 9?
True
Let f be (-1653)/(-21) + 2/7. Suppose -8*w - u = -4*w - 106, 75 = 3*w + 3*u. Let o = f - w. Is 13 a factor of o?
True
Suppose 0 = 3*u - 6, 2*p - 3487 = 2*u + 1163. Does 19 divide p?
False
Let z = -22 - -22. Does 8 divide 20 - z - (-10 - -6)?
True
Suppose -4*r - 1780 = 6*r. Let o = r + 311. Does 19 divide o?
True
Suppose -5*v = -104 + 34. Suppose v = -2*b + 10. Is 11 a factor of (-176)/(-4)*(-1)/b?
True
Let j(n) = 14*n**2 - 4*n + 6. Let p(z) = 8*z + 19. Let o be p(-2). Does 12 divide j(o)?
True
Suppose -s + 76 = -3*y - 118, 3*y = 3*s - 552. Is s a multiple of 10?
False
Let k be 4/(-14) + (-204)/21. Let q(g) = -4*g**3 + g**2 - g - 1. Let n be q(-1). Let m = n - k. Is 7 a factor of m?
False
Let c(r) = r**2 - 16*r + 5. Let j be c(16). Suppose -799 = -j*f + 96. Let y = f - 105. Is 37 a factor of y?
True
Let j(z) be the second derivative of z**5/20 + 7*z**4/6 + z**3 + 23*z**2/2 - 32*z. Is 38 a factor of j(-13)?
True
Let y(s) = s**2 - 5*s - 8. Let m be y(7). Suppose 8 = -2*n + m*n. Suppose 3*u = n*i + 3*i + 116, u - 20 = -3*i. Is u a multiple of 14?
False
Let z = 1613 + -1550. Is 63 a factor of z?
True
Suppose 2*p = -i - 0*i, 0 = 3*p - 5*i - 26. Suppose -2*r = p*r + 56. Is (r/6)/((-1)/3) a multiple of 3?
False
Let m be 5*(16/5 + -3). Let j(d) = 41*d**3 + d**2 + d - 1. Let f be j(m). Is f/9 + 8/(-12) a multiple of 4?
True
Suppose 0 = -3*i - 32 - 94. Let g be 5/(-20) + i/(-8). Suppose -28 = -6*f + g*f. Does 6 divide f?
False
Suppose 8*b + 844 = -356. Let g = b + 218. Does 17 divide g?
True
Let l(o) = 19 - 11 + 3 + 0*o - o. Is 16 a factor of l(-21)?
True
Suppose 6*q - n + 1065 = 8*q, 2*q - n = 1071. Is q a multiple of 9?
False
Let c(f) = -f**3 + 3*f - 81. Is 33 a factor of c(-10)?
False
Let x(b) = -b**3 + 9*b**2 + 4*b - 16. Let l be x(9). Let s = -6 + l. Is 7 a factor of s?
True
Does 8 divide (18 - 18) + 237/3?
False
Let u = 87 + -99. Is (-279)/(-4) - (-5 + (-57)/u) a multiple of 20?
False
Suppose 16 = r + 4*u + 4, u - 3 = -3*r. Suppose r = v + 3*v - 52. Suppose -216 = 9*n - v*n. Is n a multiple of 13?
False
Let l(w) = -w + 4*w - 3 + 2*w - 2*w. Is 10 a factor of l(9)?
False
Let r = 9 - 12. Let n be (-16 - 13) + (-8)/2. Let u = r - n. Is 6 a factor of u?
True
Suppose 3*o + 13*o - 4608 = 0. Is 36 a factor of o?
True
Let w = -17 + 20. Suppose 3*o + o - 433 = -w*t, t + 4*o = 139. Suppose p - 4*p = 4*i - 117, 0 = -4*i + 3*p + t. Is i a multiple of 33?
True
Let g = -6 + 1. Does 27 divide (5/g)/(1/(-125))?
False
Let v = 301 - 80. Is 17 a factor of v?
True
Suppose m - 3*m = -106. Suppose -4*q = s + 26, 2*q = 3*s + m - 17. Let x = -6 - s. Is x a multiple of 2?
True
Let z(b) = -b**2 + 9*b - 2. Suppose 29 = 4*i + 9. Suppose 0 = x + i*a - a - 24, 5*a = 5*x - 20. Does 6 divide z(x)?
True
Let x(c) = 6*c**3 + 6*c**2 - 24*c + 7. Does 12 divide x(5)?
False
Suppose -23704 - 14256 = -20*s. Is 26 a factor of s?
True
Let v(o) = -5*o. Let w be (-3 + 5)/((-2)/7). Let x be v(w). Suppose t - 6*t + 4*c = -x, t - 7 = -2*c. Is t even?
False
Suppose -2*b + 88 = -2*c, 5*b - 3*c = 111 + 113. Is b a multiple of 12?
False
Let q(r) = -r + 4. Let p be q(-8). Let m = p + 1. Is m a multiple of 8?
False
Let l(c) = 3*c + 13. Let o be l(-3). Suppose o*u - 717 = -q, 2*u + 4*q = q + 351. Is u a multiple of 28?
False
Suppose -22*t + 8*t = -9744. Does 12 divide t?
True
Let g(s) = 78*s**2 - s - 34. Does 29 divide g(-4)?
True
Suppose 633 = 5*u + f - 293, 0 = -3*u + 2*f + 553. Does 32 divide u?
False
Suppose -m = -3, -62 = z - 2*z - 2*m. Suppose 350 = -51*n + z*n. Is n a multiple of 10?
True
Let w(k) = 14*k + 198. Does 3 divide w(-10)?
False
Let s be -3 - (0 - -2) - 1. Let g(l) = l**2 + l. Let k(q) = 5*q**2 - 9*q - 13. Let i(y) = s*g(y) + k(y). Is i(-13) a multiple of 4?
False
Let d be (88/40 - 1)/(4/170). Suppose 3*q + c - 204 = -d, -2*c - 6 = 0. Is 13 a factor of q?
True
Let r(n) = n + 13. Let u be r(17). Let a = 57 + u. Is a a multiple of 29?
True
Let x be ((-2)/6)/(4/24). Let k be ((-22)/1)/x + -1. Let m = 16 - k. Is m a multiple of 6?
True
Let w(j) = -j + 32. Let y be w(15). Suppose -5*k = o - y, 5*k + 4 = -1. Is o a multiple of 4?
False
Suppose -2*j + 3*f - 2 = -0, 6 = 2*j - f. Does 59 divide (j + -64)/((-1)/2)?
True
Let x = 1784 - 696. Is x a multiple of 16?
True
Suppose 0 = 15*u + 15720 - 66885. Does 96 divide u?
False
Suppose -7*l = -4*l - 156. Suppose -87 = -5*x - 4*r, 3*x - 2*r - l = 9. Is 5 a factor of x?
False
Let h = -16 + 21. Suppose n = 4, 4*p - h*n = -103 + 423. Is 17 a factor of p?
True
Let q(g) = -1. Let a(n) = -13*n + 7. Let p(c) = -c - 1. Let y(i) = a(i) + 2*p(i). Let d(w) = 4*q(w) + y(w). Does 8 divide d(-1)?
True
Let d(r) = -r + 2. Let l be d(-1). Let h = 42 + l. Is 8 a factor of h?
False
Suppose -q - 10 = 4*x, -2*q - 4*x - 6 - 2 = 0. Suppose 0 = -r - 3, 5*h - 96 = 2*h + q*r. Suppose 12 = -a + h. Is 5 a factor of a?
False
Suppose -7 + 5 = -2*m. Let k be (m - (-3 - -1)) + -1. Suppose -5*t = k*h - 90, 0*h + 68 = 3*t + 4*h. Is t a multiple of 8?
True
Let z(c) = -c**2 + 13*c - 32. Let r be z(9). Suppose -2*a - 98 = -r*w, -67 = -4*w + 4*a + 29. Is 25 a factor of w?
True
Let h(s) = 5*s - 27. Let r be h(6). Is (-2)/r - 922/(-6)*1 a multiple of 22?
False
Suppose 0 = -o - 4*f + 50, 3*o + 0*o - 2*f = 80. Let n = o - 12. Does 3 divide n?
True
Let a(g) = -82*g**3 + 16*g**2 + 27*g + 5. Is a(-2) a multiple of 11?
True
Is 18 a factor of ((-648)/7)