x = -16, l*x + 38 = 2*p. Does 6 divide p?
False
Let v = 3 + 0. Suppose v*q = -0*q - 3*t + 36, -3*q - 2*t = -41. Is q a multiple of 12?
False
Let l = 32 - 100. Let s = l - -96. Is 23 a factor of s?
False
Let u = 34 + -53. Let t = u - -10. Let g = 33 - t. Is g a multiple of 21?
True
Let h be -76*((-9)/6 + 1). Is h + -1*(1 - 1) a multiple of 18?
False
Suppose 5*k + 4*x - 30 = 0, -3*k + k + 2*x - 6 = 0. Suppose 4*g + 39 = 3*s, 6*g + s + 35 = k*g. Is 4 a factor of (-32)/(-6) - (-3)/g?
False
Suppose 4*j - 525 = -21. Does 7 divide j?
True
Does 16 divide 2410/75 - (-4)/(-30)?
True
Let p(h) = -18*h**3 - h**2. Suppose -a + 3*a = -4, -4*g - 2*a - 8 = 0. Does 10 divide p(g)?
False
Let n(u) = -u. Let z(l) = l**2 + 18*l - 6. Let j(t) = -6*n(t) - z(t). Let y(v) = -3*v + 6. Let g be y(4). Is 21 a factor of j(g)?
True
Let r = -5 - -7. Suppose i + 2*j + 41 = 3*j, -r*i - 75 = 5*j. Let o = 60 + i. Is 8 a factor of o?
False
Suppose 2*f - 2*x = 43 + 29, 0 = -3*f - 4*x + 129. Let v = -17 + f. Does 15 divide v?
False
Suppose -b - 2*b + 41 = -5*m, 5*m + 47 = b. Is 9 a factor of 204/10 + 4/m?
False
Let z be (-28)/(-8)*(-18)/(-21). Suppose f - z = 4. Is f a multiple of 6?
False
Suppose 3*k + 2*k - 5*b - 295 = 0, -118 = -2*k - 4*b. Let v = k + -39. Is v a multiple of 10?
True
Is 4 a factor of (2/5)/(-1) - (-62)/5?
True
Suppose -53*x + 51*x = -324. Is 18 a factor of x?
True
Is (-1)/(-5) - 2163/(-35) a multiple of 31?
True
Let d(z) = -z**2 - 10*z - 12. Let w be d(-8). Let l = 32 + 17. Suppose -19 - l = -w*y. Does 9 divide y?
False
Let n be (-12)/(-3) - 0/(-3). Suppose -5*u + d - n*d + 198 = 0, -d + 196 = 5*u. Is 13 a factor of u?
True
Let b(h) = -3*h**3 - 2*h**2 + 3*h + 3. Suppose -2*k - 1 = 3. Does 13 divide b(k)?
True
Suppose 0*d = 4*c + 3*d + 31, -2*d = -5*c - 33. Let m(q) = q**2 - 2*q - 8. Let j be m(c). Let n = 91 - j. Does 15 divide n?
False
Let r = 48 + -24. Is r a multiple of 4?
True
Let v = 7 + -6. Let h be ((-1)/(-2) - v)*14. Let u = 4 - h. Does 11 divide u?
True
Let t be (-6)/(-4)*(-3 + 1). Is 1*68/(t - -7) a multiple of 13?
False
Let z(v) = 11*v + 3. Is z(2) a multiple of 9?
False
Let b be 1 + (-1)/2*2. Suppose 0 = -h + 6 - 1. Suppose b*r - 100 = -h*r. Is r a multiple of 8?
False
Let z(p) = -p**3 + 3*p**2 - p + 3. Let m be z(3). Suppose 5*q - 110 = -m*q. Does 11 divide q?
True
Let j(a) = a + 11. Let z be j(-8). Suppose -120 = -z*c - c. Is c a multiple of 11?
False
Suppose -2*d - 3*u = -11, -6*u + 2*u + 17 = 5*d. Let z be d/(2/1)*-2. Does 5 divide z - 2*-7*1?
False
Let h = 364 + -191. Is 11 a factor of h?
False
Let x(m) = -m. Let k(d) = d**3 + 6*d**2 + d + 5. Let u be k(-6). Let r(b) = -4*b + 2. Let q(w) = u*r(w) - 3*x(w). Is 7 a factor of q(3)?
False
Let m = 171 + -99. Suppose 3*a - 2*t = -5*t + m, 4*t - 16 = 0. Is 5 a factor of a?
True
Suppose 7*r - r = 324. Is 2 a factor of r?
True
Suppose 0 = -9*k + 691 + 929. Is k a multiple of 12?
True
Is 14 a factor of (13 - 7)*22/3?
False
Let s(f) = -f**2 + 2*f - 5. Let y = 9 + -4. Let b be s(y). Is 4 a factor of (-16)/b*(4 + 1)?
True
Suppose -l + 20 = -n - 24, -4*l = 5*n + 202. Let k = n + 89. Is 22 a factor of k?
False
Let g be ((-2)/(-6))/((-1)/(-9)). Suppose 5*q - 60 = -5*m, -6*m + 2*q = -g*m - 11. Is m a multiple of 3?
False
Let g(x) = 4*x**3 - x**2 - x + 1. Let i be g(1). Suppose -4 = 2*k - i*k. Is 1 - 4/(k/(-27)) a multiple of 14?
True
Let s(w) = w**2 - 6*w - 7. Let l(r) = -r**2 - 14*r - 5. Let d be l(-13). Is s(d) a multiple of 5?
False
Let i(o) = -o**2 + 4*o + 3. Let c be i(6). Does 11 divide 27 - (1*c)/(-3)?
False
Suppose -4*s = -39 - 101. Is s a multiple of 35?
True
Let c(i) = 5 - 3*i + 2*i - 2*i + 0*i. Let v(r) = -8*r + 12. Let j(g) = 12*c(g) - 5*v(g). Is 16 a factor of j(7)?
False
Does 7 divide (68/(-6))/(8/(-84))?
True
Let l be (3 + (-2)/4)*2. Suppose -l*i = u + 13, -10 = -4*u + 2*u - i. Is 6 a factor of u?
False
Let u(o) = -o**3 + 5*o**2 - 5*o + 2. Let b be u(3). Let n = b - 7. Is (24/30)/(n/(-30)) a multiple of 6?
True
Suppose -5*b + 15 = -0*b. Suppose -b*g + 2*g + 12 = 0. Does 2 divide g?
True
Suppose 3*r = -2*a + 4*a + 984, -4*r - 4*a = -1332. Is r a multiple of 11?
True
Let h be 22/(1 - -1) + -1. Let v = -5 + 6. Let n = h - v. Does 9 divide n?
True
Let k be (-39)/(-15) + (-4)/(-10). Does 3 divide k*2 + (-3 - -4)?
False
Does 3 divide 6/21 + (-412)/(-28)?
True
Let b(n) = -2*n**2 - 2*n + 2. Let o be b(2). Let u be 36/o + 8/(-20). Let w = u + 19. Does 9 divide w?
False
Suppose 0 = 5*m - 20. Suppose -d - 4*s + 7 = -1, m*s = -2*d + 12. Suppose -5*h + d*c + 143 = 0, 0*c - 3*c = 2*h - 71. Is h a multiple of 8?
False
Is 4/(-1)*60/(-3) a multiple of 16?
True
Suppose 5*p = -5*k + 50, p + 1 + 3 = 0. Suppose 3*r - k = 109. Is 12 a factor of r?
False
Let s be (-3)/3*(4 + -1). Let q = 6 + s. Suppose -q*f - 16 = -2*r, -f - 8 = -r + 2*f. Is 3 a factor of r?
False
Suppose -28 = -4*f + 2*f. Suppose 10 + f = 3*a. Does 5 divide a?
False
Let o(v) = 26 + 26*v - 26. Is o(1) a multiple of 7?
False
Does 15 divide 560/7 + (-3)/3*3?
False
Suppose 0 = -2*k + 4*n - 12, -5*n = 2*k - 5*k - 16. Does 3 divide k/(-5) + 56/10?
True
Suppose -5*l = -4*l. Suppose 3*m - 3*q = 66, l = 2*q + 2*q + 20. Does 10 divide m?
False
Let j = 13 - 9. Suppose 20 = j*b - 24. Does 11 divide b?
True
Let p(b) = b**3 + 11*b**2 + 12*b - 7. Does 14 divide p(-9)?
False
Let u be 8*(1 - 2)*-8. Suppose 0 = -h - h + u. Does 16 divide h?
True
Suppose -5*y = 2*w + 4585, -4*y + w + 3*w - 3696 = 0. Let p = y - -509. Does 23 divide p/(-18) - 10/(-45)?
True
Suppose -4 = n - 14. Suppose -i = n - 29. Is i a multiple of 6?
False
Suppose 4*j - 32 - 200 = 0. Suppose -5*b = 3*h + 68, -h = 2*h - 5*b + j. Let v = h + 55. Is 13 a factor of v?
False
Suppose -129 = -2*l - q, 4*l - 60 - 163 = 5*q. Suppose 2*m - l = 5*r - r, -4*m = r - 79. Is 9 a factor of m?
False
Let m = 4 - 2. Suppose r = m*r. Suppose 0 = -r*y - 3*y + 69. Is 23 a factor of y?
True
Let g = -16 + 110. Is 12 a factor of g?
False
Let u(n) = -n**3 - 10*n**2 + 11*n - 16. Is 31 a factor of u(-12)?
False
Suppose 4*p + 4 = 4*o, -2*o = 2*o + 3*p + 10. Does 2 divide -1*5/(0 + o)?
False
Let z = 18 - 136. Is 15 a factor of (-4)/(-8)*z*-1?
False
Let d(k) = -k**3 + 10*k**2 + 11*k + 15. Does 4 divide d(11)?
False
Suppose 0 = -7*s + 4*s. Let b be (-20)/(-15) + 1/(-3). Is 9 + 1 - (b + s) a multiple of 4?
False
Let y be 4*(-1 + (-9)/(-4)). Suppose -y*w = 5*t - 0*t - 90, 59 = 3*w - 2*t. Does 19 divide w?
True
Is 3 a factor of (2/(-5))/((-2)/60)?
True
Suppose -6*r = -7*r + 49. Is 22 a factor of r?
False
Let j be ((-690)/(-25))/((-2)/(-10)). Suppose -z - g - j = -3*z, 2*z - 138 = -g. Suppose -z = 2*m - 5*m. Is m a multiple of 9?
False
Let y = -55 + 76. Is 7 a factor of y?
True
Let i = 98 + 83. Suppose -46 + i = 5*g. Suppose 37 + g = 4*z. Is z a multiple of 8?
True
Suppose 3*y + 5*m - 14 = 0, 0*y - 3*y + 5 = -4*m. Suppose -2*d = -y*d + 40. Is d a multiple of 10?
True
Let k = -165 + 272. Does 15 divide k?
False
Let y = -1 - -1. Suppose y*s - 265 = 5*s. Is 18 a factor of 2/6 + s/(-3)?
True
Let z(c) = c**3 - 6*c**2 + 9*c + 1. Is 11 a factor of z(5)?
False
Let m(b) = b + 9. Let w be m(0). Let j = -5 + w. Suppose -56 - 40 = -j*l. Is 12 a factor of l?
True
Is (3*-21)/((-6)/20) a multiple of 42?
True
Let l(n) = n**3 + n**2 - 3*n - 4. Let t(i) = -i**2 + i. Let j(p) = l(p) - 4*t(p). Suppose 12*k + 18 = 9*k. Is j(k) a multiple of 2?
True
Let s(i) = i**3 - 2*i**2. Let p be s(2). Suppose -3*g + 36 + 0 = p. Does 5 divide g?
False
Suppose 2*p + 12 - 58 = 0. Does 13 divide p?
False
Let l(w) = -3*w - 4. Does 11 divide l(-6)?
False
Is 12 a factor of 30/(-80) + 11468/32?
False
Suppose 2*v = 62 - 2. Suppose -4*d + v = d. Does 3 divide d?
True
Suppose -2 = m - i - 33, -3*m = 2*i - 68. Is 15 a factor of m?
False
Suppose -2*o = -t - 7, 2*t = 5*o - t - 18. Does 15 divide o - 5 - (-19 + 2)?
True
Let x(v) = -v**3 + v + 41. Does 15 divide x(0)?
False
Let d be 15*(-3)/30*-6. Let y = -6 + d. Suppose -2*o + 50 = 3*u, -5*o + 5*u = y*u - 87. Is o a multiple of 9?
False
Let t = -19 - -219. Is 20 a factor of t?
True
Suppose 4*q + 2*w = -6, -q - 6 = q + 4*w. Let j(d) = 12*d**3 + d. Let k be j(q). Let z = 23 + k. Does 5 divide z?
True
Suppose n + 1 = -d - 0*d, 5*d + n - 7 = 0. Suppose 0 = l + 2*a - 23, -3*l - l + 52 = -d*a. Is 15 a factor of l?
True
Let v(f) = 1 + 0*