(-12)/(-16)) a multiple of 9?
False
Let v(d) = -5*d**2 - 61*d - 2. Does 20 divide v(-7)?
True
Let p = 253 - -946. Is 72 a factor of p?
False
Does 12 divide (300/105)/(1/70)?
False
Suppose -657 = -5*p - 4*r - 145, 4*r = -8. Suppose -10*c = -8*c. Suppose 3*n + n - p = c. Does 8 divide n?
False
Let j be 3 - -3*(2 + 56/(-12)). Let r = 33 + j. Does 14 divide r?
True
Let g(q) be the first derivative of -q**2/2 + 4*q + 1. Does 5 divide g(-7)?
False
Suppose -5*s = -171 - 89. Suppose -y - y + s = 0. Is y a multiple of 13?
True
Let o = 0 - -17. Let x = -96 - -149. Let r = x - o. Is 12 a factor of r?
True
Suppose 0 = v - 185 - 53. Is (1/2*2)/(2/v) a multiple of 17?
True
Let h = 25 - 20. Suppose -a = f - h*f + 18, -5*f + 2*a = -24. Let b(m) = 7*m**2 - 2*m - 4. Is b(f) a multiple of 26?
False
Let m = 9 + -14. Let n(f) = -20*f - 4. Let v be n(m). Let i = 149 - v. Is i a multiple of 18?
False
Suppose d = -5*b + 75, 2*b + 3*d - 1 = b. Suppose -18*g + 320 = -b*g. Is 32 a factor of g?
True
Suppose g + 5 = 0, -5*w = 5*g - 9*g - 120. Let l = 67 - w. Is 47 a factor of l?
True
Let p be (-3)/18*4 - (-28)/6. Let x be 114 + (0 + 2 - 2). Suppose p*l = x - 18. Does 9 divide l?
False
Let x(q) = -35*q**2 + 2*q + 10. Let c(t) = -12*t**2 + t + 3. Let f(i) = -7*c(i) + 2*x(i). Does 32 divide f(-2)?
False
Let s = -17 + 19. Suppose p = -s*p - 54. Is 12/p - (-574)/6 a multiple of 20?
False
Let h be (6/(-8))/((-6)/24). Suppose -p = h - 60. Is 19 a factor of p?
True
Suppose 2*q + 1086 = 2*k, 8*k + 2*q - 1609 = 5*k. Is k a multiple of 77?
True
Let v(r) = -r - 4. Let i be v(-6). Suppose -4*w - 336 = -4*z, -2*w = -z + i*w + 90. Is z a multiple of 26?
False
Does 60 divide (2 + (-16)/6)*-465?
False
Suppose 4*a - 3*a + 3*n - 306 = 0, 5*a = -3*n + 1494. Suppose 4*f = -h + 4 + 73, -4*h - 5*f = -a. Suppose 3*k - h + 1 = 0. Is 6 a factor of k?
True
Suppose -5*o - 1 + 26 = 0. Suppose -5*s + 2*c = -c - 587, -5*s = -o*c - 595. Is s a multiple of 26?
False
Suppose 5*k - 5 = 0, -3*m - k + 2577 = m. Is 92 a factor of m?
True
Let d(p) be the third derivative of -199*p**4/24 + 2*p**3/3 - 22*p**2. Is d(-1) a multiple of 29?
True
Let y(l) be the first derivative of 1/4*l**4 - 1/2*l**2 + 72*l + 0*l**3 - 1. Is y(0) a multiple of 26?
False
Let b be -3 - (-377 - (-6 + 3)). Let f = b - 212. Let x = f + -105. Is x a multiple of 11?
False
Let i = 2 - 2. Suppose 2*d = -i*d + 4. Suppose d*f - 15 = -f. Is f even?
False
Suppose -86 = 2*x - 0*x. Let s(q) = -8*q + 93. Let v be s(0). Let r = x + v. Does 13 divide r?
False
Let t(l) = l + 96. Is 7 a factor of t(-12)?
True
Let h(x) = -21 - 3*x**2 - 19*x + 6*x**2 + 4 + 6. Is 14 a factor of h(14)?
False
Let p = 73 + -17. Suppose p + 344 = 4*u. Is u a multiple of 25?
True
Let u(y) = 45*y - 42. Is u(2) a multiple of 24?
True
Suppose 9 + 3 = 3*c. Let v = 9 - c. Let k(p) = 3*p**2 - 7. Is k(v) a multiple of 22?
False
Suppose 0 = -4*n + 154 + 1050. Is n a multiple of 5?
False
Let g be 2/(((-20)/8)/(-5)). Suppose -2*r - r = -810. Suppose g*s = t + 261, -4*s + r = -0*s + 2*t. Is 22 a factor of s?
True
Let h(d) = 14*d + 2 + 7 - 3 - 13*d. Does 11 divide h(5)?
True
Is 45 a factor of (36/(-21))/((-1)/420)?
True
Suppose -h = 4*h - 5*m - 1330, -2*h - 3*m = -532. Does 14 divide h?
True
Suppose 2 = -2*v - 16. Let h(x) = -x**2 - 7*x + 22. Let j be h(v). Suppose -j*g = 2 - 10, -2*a + 10 = -g. Is 2 a factor of a?
True
Let r(m) = -m**3 + 4*m**2 + 31*m - 6. Is 3 a factor of r(5)?
False
Let i(o) = -3 - 13 - o + o**2 - 3*o - 18*o. Does 4 divide i(24)?
True
Let t be (-24)/(-180) + 1256/30. Suppose 718 = 4*v + t. Is 39 a factor of v?
False
Let q(j) = -2*j**2 - 7*j + 9. Let i be q(-5). Let r(z) = 11*z + 76. Is r(i) a multiple of 10?
True
Suppose -4*t - 3*w - 2*w - 40 = 0, -5*w - 55 = 5*t. Let f = -11 - t. Suppose f*x - 3*x - 20 = -3*v, 30 = 2*x + v. Does 4 divide x?
False
Let a be 0*(-1)/4 - -119. Let o be 26/5 + (-8)/40. Suppose y + o*p + 6 = 0, a = 5*y - 4*p + 4. Is 19 a factor of y?
True
Let n = 4 - 1. Suppose 2*b = -3*l + 15, -5*l + l - 14 = -n*b. Suppose b = -d + 19. Is d a multiple of 13?
True
Suppose 6*n - 1458 = -252. Suppose -3*k + n + 18 = 0. Is 11 a factor of k?
False
Let l(c) = -c + 2. Let u be l(1). Suppose 0 = 76*q - 71*q + 110. Is 3 - u - (q + -4) a multiple of 14?
True
Suppose -s + 5*c + 7 = 19, -5*c = -15. Suppose s*d - 34 = 5. Let u(n) = n**3 - 13*n**2 + n - 10. Is u(d) even?
False
Suppose -6*n - 1 + 19 = 0. Let a be 2/4 - (-1107)/6. Suppose -8*r = -n*r - a. Is r a multiple of 8?
False
Let n(i) = 5*i**3 + i**2 - 3*i + 5. Let x(l) = -11*l**3 - 3*l**2 + 6*l - 10. Let j(r) = -13*n(r) - 6*x(r). Let b be j(-4). Is 20 a factor of 2*(-150)/(b - 2)?
True
Let x(b) = -b**3 - 5*b**2 - 4*b - 3. Let t be x(-4). Let q be (15/6 + t)*-6. Suppose -47 = -q*n - 5. Is 14 a factor of n?
True
Let p = 653 - 545. Is p even?
True
Is 6 a factor of 11000/56 - (-9)/(-21)?
False
Let v(i) = -494*i + 108. Is 116 a factor of v(-8)?
True
Let v(i) = -i. Let f be v(-2). Suppose -3*z = 2*z - 15. Is (f + 10)*8/z a multiple of 16?
True
Let o be (16/(-6))/((-2)/(-3)). Let y be (o/5)/((-2)/5). Suppose -i + 47 = -y*x + 4*x, -57 = -2*x - 3*i. Is 21 a factor of x?
True
Let l = 465 + -218. Does 9 divide l?
False
Let f = -295 - -403. Does 30 divide f?
False
Suppose 2212 = 7*l - 903. Is 60 a factor of l?
False
Let s = -87 - -94. Let d be 121/2 - 1/(-2). Suppose -2*a - s = -d. Is a a multiple of 10?
False
Let x = 39 - -265. Is x a multiple of 19?
True
Suppose f + 6 = -3*j, 5*j = -14 + 4. Let n be 1*(-1)/(-1)*f. Suppose n = -2*c - c + 15. Is 3 a factor of c?
False
Suppose -7*y + 816 = 10*y. Does 12 divide y?
True
Suppose 7*r = 8542 + 187. Is r a multiple of 27?
False
Let t(j) = 11*j + 11. Let a be t(4). Let p = 147 - a. Is p a multiple of 46?
True
Suppose 0 = -2*c - 3*i - 6, 5*i + 2 = -3*c - 9. Suppose c*w - 175 = -0*w - 5*l, w - 62 = 2*l. Suppose 20*v - w = 16*v. Is 3 a factor of v?
True
Let m(b) = -35*b + 66. Suppose 0 = 2*n - 6*f + 9*f + 18, 0 = -f - 2. Does 12 divide m(n)?
True
Suppose 3*f - 4*w = 29, 3*w + 2*w = 3*f - 34. Let l be 64/(f - (3 - 1)). Let i = l + -22. Is i a multiple of 14?
True
Suppose -528 + 3080 = 29*n. Does 22 divide n?
True
Suppose -5*s = 3*k - 2753, 4*s - 3*k - 227 - 1997 = 0. Is 44 a factor of s?
False
Suppose 4*a + 44 = -4*k - 260, 5*a + k = -360. Let n = 6 - a. Let p = n - 19. Does 29 divide p?
True
Let k = 88 - 81. Does 5 divide (38/10)/((-3)/(-105)*k)?
False
Let i(t) = -4*t + 12. Let w be i(4). Let y(s) = 2*s**2 + 4*s + 2. Is y(w) a multiple of 2?
True
Let u(d) = 102*d + 272. Does 14 divide u(8)?
False
Let q(r) = 87*r + 2. Let g be q(1). Suppose x - g - 68 = 0. Does 33 divide x?
False
Let u(v) = v**2 - 71*v - 472. Does 8 divide u(79)?
True
Let s = -63 - -23. Is 10*(-5)/s*28 a multiple of 11?
False
Let z = 4 - 2. Suppose 0 = y + 3*d - 20, -3*y - z*y + 2*d + 100 = 0. Suppose 0 = -0*m + 2*m - y. Is 3 a factor of m?
False
Let f(g) = g**3 + 6*g**2 + 4*g - 4. Let t be f(-4). Suppose -t*b + 18 = -9*b. Does 6 divide b?
True
Suppose 0 = -3*n - 2*r + 15, -r - 10 = -2*n - 5*r. Suppose -4*k + n*y = 4*y - 1097, -4*k = 2*y - 1082. Is k a multiple of 9?
False
Suppose 5*h + 414 = y, 0 = y + 1. Let t = 100 + h. Is 5 a factor of t?
False
Let j = 699 + -387. Is 52 a factor of j?
True
Suppose -t = -3 + 1. Does 8 divide (-2)/((6/465)/(-1)) + t?
False
Suppose -4*x - 712 = 656. Let i = -187 - x. Does 31 divide i?
True
Let q = -16 - -148. Is q a multiple of 4?
True
Let m(o) = -190*o - 1131. Does 8 divide m(-15)?
False
Suppose -312 = -3*j - 78. Suppose p - 3*i - 82 = 0, -5*p = 3*i - 488 + j. Does 13 divide p?
False
Let m(v) = 87*v - 30. Does 18 divide m(32)?
True
Let g = -12 + 22. Let m be (-75)/g*(2 + -4). Is 8 a factor of -1 + 6/3 + m?
True
Let w = 21 - 12. Let i(q) = q**3 - 9*q**2 + 1. Let l be i(w). Does 2 divide ((-12)/3)/(-4) + l?
True
Suppose 0*h + 30 = h. Let n(a) = a**3 - 3*a**2 - 2*a - 5. Let i be n(4). Let v = h + i. Is v a multiple of 11?
True
Suppose 3*m - 457 = -4*s, -1 = 3*m + 14. Suppose 0 = 2*v - 5*v + g + s, 2*v = -3*g + 86. Is v a multiple of 40?
True
Let t(z) = 9*z**2 - 2*z + 3. Let u be t(1). Suppose 2*n - u = -2. Is (-29 - (n + -5))*-4 a multiple of 16?
True
Let f(a) = -a**3 - 13*a**2 - a - 9. Suppose 12 + 27 = -3*u. Let b be f(u). Suppose -6 = -2*m - 0*m - b*o, 0 = o. Does 2 divide m?
False
