37 - q. Is 18 a factor of n?
False
Suppose -7*a - 5*t = -4*a - 5, -3*a = -3*t + 3. Let s be (a - 1/(-1))*4. Is 13 a factor of (-26)/(12/(-2) + s)?
True
Suppose x - 3 = 0, 5*p - 3*x - 7506 = 8140. Is p a multiple of 28?
False
Let p(f) = f**2 + 11*f - 69. Let h be (6/(-4))/(9*3/396). Is p(h) a multiple of 12?
False
Suppose -5*f + 30 = 5*n, 11 = 2*n + 4*f - 9. Does 17 divide n/(-2)*(-194 - 8)?
False
Let b = 665 - 657. Is 2 a factor of b?
True
Let d(y) = -y**2 + 4*y. Let f be d(2). Let b be ((-1)/(-1))/(f/20). Suppose 4*a = -2*k + 22, b*k + a = 66 - 11. Is k a multiple of 5?
False
Suppose -2*n + 22 = 4*f, 0*n + n - 5 = 0. Suppose -12*t + 630 = -f*t. Is 14 a factor of t?
True
Let n(z) = z**3 + 20*z**2 - 5*z - 38. Is n(-11) a multiple of 28?
False
Let i(k) = k - 189. Let v(r) = 1. Let g(y) = -i(y) + 6*v(y). Is 39 a factor of g(0)?
True
Let z = 193 - -62. Is z a multiple of 51?
True
Let q = -57 - -57. Suppose -2*f - 4*t + 148 = 0, -4*f + q*t = -3*t - 329. Does 40 divide f?
True
Let x(y) be the third derivative of y**4/24 + y**3 - 8*y**2. Suppose 4*s = i, -i = -2*s + s. Does 2 divide x(s)?
True
Is (46/(-5))/(17/(255/(-6))) a multiple of 2?
False
Suppose 19 = 5*y + 4*j, -2*y + 5*j = -1 - 0. Suppose 14*i = 15*i - y. Does 3 divide i?
True
Suppose 361 - 9 = -8*v. Let h = v - -101. Does 7 divide h?
False
Suppose -4*u + 37 - 3 = 5*w, -2*u - 3*w + 18 = 0. Suppose -16 + u = 2*h. Is (-2 - 2)/(1/h) a multiple of 11?
False
Let f(d) = 2 - 3*d**3 + 2*d + 2 - 6. Let i(a) = -2*a**3 + 2*a - 2. Let g(q) = -6*f(q) + 7*i(q). Is 9 a factor of g(2)?
False
Suppose 28 = 2*o + o - 5*g, -3*g + 76 = 4*o. Let d(n) = -n**2 + 19*n - 4. Does 22 divide d(o)?
True
Suppose -2*j - 2*b + 2338 = -0*b, 1 = -b. Suppose 12*p + 18 - j = 0. Does 12 divide p?
True
Let t be ((-426)/(-9))/(2/3). Let w = t + 95. Suppose 2*k = -0*q + 2*q - 156, 2*q - 4*k - w = 0. Is 18 a factor of q?
False
Let f = 3 - -1. Let n(d) = -1 - f*d - 5 + 4 - 5. Does 7 divide n(-7)?
True
Let p(q) = q**2 + 19*q + 26. Let y be p(-18). Let d be (y/1)/((-4)/8). Does 2 divide 1*2 - 32/d?
True
Suppose 9 + 11 = 4*f. Suppose -189 = -i - y, 0*i + i = -f*y + 209. Suppose 4 - i = -5*c. Is 15 a factor of c?
False
Let s = 12 - 9. Suppose -3*p = -2*g + 89, p = -2*g + 74 + s. Is g a multiple of 40?
True
Let u(w) = 17*w + 0*w**2 + 9 - 3*w**2 - 20*w + 6*w**2. Is 20 a factor of u(-4)?
False
Let t = -19 - -65. Does 2 divide t?
True
Let x be ((-2 - -2)/(-4))/(-1) + 1. Is 4 a factor of -5*x + 55 + -18?
True
Let x(d) = -5*d**3 + 5*d**2 + d. Let r(b) = -11*b**3 + 10*b**2 + b + 1. Let l(q) = 4*r(q) - 9*x(q). Let s be l(6). Does 4 divide s + -4 + 3 - -4?
False
Let d = -580 + 810. Does 15 divide d?
False
Suppose 0 = 3*w - 2*s + 3, 2*s = w + w. Let u = w - -6. Let d = u - -5. Is 3 a factor of d?
False
Suppose 11*h = 55 + 121. Does 2 divide h?
True
Let v(m) = 15*m**2 - 3*m + 1. Let t be v(-3). Let h = t + -97. Is 16 a factor of h?
True
Does 7 divide -57*(-1)/2*364/21?
False
Let t(y) = 4*y**2 + 13*y + 23. Is t(6) a multiple of 49?
True
Let w = 759 + -631. Is 16 a factor of w?
True
Suppose 3*m = 7*m + 3*j - 560, -j + 420 = 3*m. Let z = m - 90. Is z a multiple of 15?
False
Let d(u) = 2*u**3 + 26*u**2 - 33*u - 18. Is 9 a factor of d(-14)?
False
Let n = 127 - 28. Does 8 divide n?
False
Let w(d) = -d**3 - 3*d**2 + 4*d. Let x be w(-5). Let p be ((-3)/(-5))/((-6)/x). Let h(r) = 7*r**2 + 3*r - 4. Is 16 a factor of h(p)?
False
Let t(h) = 63*h**2 - 18*h - 131. Is t(-7) a multiple of 5?
False
Suppose 4*z = 9*z - 1125. Is 9 a factor of z?
True
Let v(n) = 22*n**2 - 91*n + 3. Is 21 a factor of v(7)?
False
Let w(q) = -q + 4. Let n be w(10). Let z = -9 - n. Is -3 - (z - -2) - -8 a multiple of 3?
True
Suppose 0*l = -6*l + 180. Is 6 a factor of (-18)/4*(-200)/l?
True
Does 4 divide (-1760)/33*(-12)/10?
True
Suppose -p + 128 = 7*p. Suppose -p*h = -4*h - 1296. Does 9 divide h?
True
Suppose 0 = -7*j + 4*j + 204. Suppose -2*l = -4*a + j, a - 3*l - 12 = 15. Does 3 divide a?
True
Suppose 5*x - 3*q = -32 + 470, -5*x - 2*q + 433 = 0. Let s = x + -49. Is s a multiple of 7?
False
Suppose 5*c - 3966 = 14*o - 17*o, -4*c - 4*o + 3168 = 0. Does 18 divide c?
False
Let o be (87 - 0)*(0 - (6 - 4)). Suppose 3*p - 2*p + 30 = 3*r, p + 20 = r. Does 15 divide o/(-10) - (-6)/p?
False
Let o be -33 + 4/(4/(-2)). Let b = o + 63. Is b a multiple of 11?
False
Let w(t) = -t**2 + 14*t - 37. Let b be w(7). Is (2/(-9) - 29/(-9)) + b even?
False
Let c(k) = k**2 + 5*k + 2. Let a be c(-5). Let s(p) = -2*p**2 + 2*p + 0*p**2 - a + 3*p**2. Is s(-5) a multiple of 3?
False
Suppose -1084 = -7*f - 776. Is 3 a factor of f?
False
Suppose -8246 = -2*l - 8200. Is l a multiple of 4?
False
Let b(n) be the first derivative of -34*n**2 + 4*n - 7. Let l be b(-2). Suppose 5*f - 260 = 4*m, -m = 2*f + 49 - l. Does 16 divide f?
True
Let w be (-26)/5 + 11/55. Let t be (-8)/w*10/4. Suppose t = -3*c + 43. Is 13 a factor of c?
True
Suppose 2*z - 7*g = -2*g - 17, 0 = z - 2*g + 11. Let a = 43 + z. Is a a multiple of 13?
False
Let m(t) = -27*t**2 + 4*t - 4. Let s be m(-3). Let f = -51 - s. Does 26 divide f?
True
Suppose 5*t = 2*t + 3*w + 9, -3*t - 5*w = -49. Suppose -2*g = -2*c + 12, 4*c - 10 = 5*g + 9*c. Is 3 a factor of t/g - -10 - 4?
False
Suppose -3*m - 4 + 0 = -l, 5*l + 5*m = 100. Does 11 divide ((-12)/l)/(2/12)*-12?
False
Let z = -2 + 2. Let j(r) = -r**2 - r. Let d(g) = g**3 - g**2 - 4*g + 13. Let p(k) = d(k) - 2*j(k). Does 13 divide p(z)?
True
Suppose 2 = -3*y + 4*y. Suppose 1 = -c + y. Does 9 divide 10 + c*3/1?
False
Let w(l) = -l**3 - l - 6. Let t(p) = 3*p + 14. Let q be t(-8). Let o = q + 7. Is w(o) a multiple of 24?
True
Suppose -4*x - 64 = -2*x. Let h = 42 + x. Is 2 a factor of h?
True
Suppose -242*a - 18216 = -275*a. Is 94 a factor of a?
False
Suppose -h + 6 = 18. Let u be (-48)/9 - (-8)/h. Let w = u - -16. Is w a multiple of 6?
False
Suppose 0 = -36*q - 16*q + 3536. Is q a multiple of 2?
True
Let a = -212 - -408. Is a a multiple of 28?
True
Let f(g) = -4*g - 21. Let q be f(-6). Is 9 a factor of 58 - q/(-6)*-8?
True
Suppose 4*p - 416 = 816. Is 87 a factor of p?
False
Let n(i) = 3*i**2 + 9*i + 12. Let h be n(-11). Suppose -5*x = -8*x + h. Suppose -5*v + 337 = x. Is 14 a factor of v?
False
Suppose -4*r - 8 = -p - 2*r, 5*r + 5 = 0. Suppose p = -s + 51. Does 15 divide s?
True
Suppose 10*k + 164 = -136. Let v(l) = -l**3 - 29*l**2 + 31*l + 45. Does 3 divide v(k)?
True
Let r(w) = -w**3 + 5*w**2 - 5*w + 4. Let d be r(4). Suppose -2*a + 0*a = d. Suppose j = -3*h - a*j + 74, -4*h = 2*j - 102. Is h a multiple of 7?
False
Let j(t) = -t**2 - 10*t - 15. Let q be j(-7). Let l = -2 + q. Let a = 16 + l. Does 13 divide a?
False
Let x be (2 + 0)*6/(-12). Let u(r) = -126*r. Does 28 divide u(x)?
False
Let i(c) = c + 2. Let r be i(0). Is 4 a factor of 3 - ((r - -1) + -42)?
False
Does 4 divide ((-240)/(-5))/(-1)*(-5)/3?
True
Suppose 5*g = -4*i + 5024, -8 = -32*i + 34*i. Is 14 a factor of g?
True
Suppose -28*y = 38*y - 76692. Is 10 a factor of y?
False
Suppose n + 3*n + 204 = 0. Let b be (-2)/6 - 272/n. Suppose 0 = -b*y - 4*w + 92 - 6, 0 = 4*y - 4*w - 76. Is y a multiple of 9?
True
Let o = -681 - -1191. Does 34 divide o?
True
Let v = -24 + 26. Suppose v*x - 280 = -8*x. Is 10 a factor of x?
False
Let q(o) = -o**3 - o**2 - o. Let w be q(0). Let z(u) = -5 + w - 6*u + 13*u. Does 22 divide z(12)?
False
Suppose 3*a + 1785 + 1678 = 5*z, 4*z = 3*a + 2771. Is 31 a factor of z?
False
Let x(m) = 15*m + 14. Let c = 13 + 2. Let p be x(c). Suppose -3*q = -b + 105, -4*q + 245 = 4*b - p. Is 39 a factor of b?
True
Does 12 divide 2488/16 - 3/(-6)?
True
Suppose -371*y + 20988 = -360*y. Does 20 divide y?
False
Let d be 0 + (-4)/(-4) - -4. Suppose -101 = d*f + 444. Let r = f + 245. Does 34 divide r?
True
Let n(t) = -7*t + 17. Let j be n(2). Suppose 4*l + m = -m + 202, -j*m + 147 = 3*l. Does 26 divide l?
True
Is (-451)/(-9) + 10/(-180)*2 even?
True
Let c(g) = -3*g + 2. Let w be c(-5). Let t = w + 6. Let v = t - 8. Does 7 divide v?
False
Let j be (-4)/(-22) - 68/11. Let z(x) = -x**2 - 5*x + 6. Let m be z(j). Suppose -r = -m*r - 22. Is r a multiple of 6?
False
Let p be 432/18*(-1)/(-3). Let s(j) = -6*j + 7 - 1 + p - 3 + j**2. Is 31 a factor of s(14)?
False
Let m(p) = p**2 + 17*p + 22. Is 10 a factor of m(-18)?
True
Let a = 5395 + -3767. Is a a multiple of 37