?
False
Let q(n) = n**3 - 3*n**2 - 5*n - 20. Is 94 a factor of q(14)?
False
Let q be 7/(-35) - 266/(-5). Let t = q - 35. Is t a multiple of 6?
True
Suppose -6930 = 40*b - 61*b. Does 11 divide b?
True
Let v be (-378)/5 + (-8)/20. Let i = -207 - -92. Let p = v - i. Is p a multiple of 13?
True
Suppose -4*t + 835 = 2*u + 185, -180 = -t - 4*u. Does 10 divide t?
True
Let t = 24 - 21. Let u be (t - -1) + -1 + -7. Let o(n) = -13*n - 8. Is o(u) a multiple of 11?
True
Let i be (4 - (3 - -3))*2. Let s be i/(-6) - 170/(-6). Suppose s = 5*q - 41. Does 3 divide q?
False
Let c(o) = -10*o**3 - 2*o**2 + o + 7. Let a(l) = -l**2 - 7*l + 5. Let j be a(-8). Does 32 divide c(j)?
True
Let i = -49 - -99. Suppose 1 = -a + 2*b + i, -4*b = 2*a - 66. Is 33 a factor of a?
False
Suppose -3*k - 3*v = -8*k - 531, v = 3*k + 317. Is 4 a factor of 2/9*-3*k - -2?
True
Is 44394/231 - (-2)/(-11) a multiple of 61?
False
Let z(j) = 2*j**2 - 6*j - 3 + 0*j - 10 - 2*j. Does 21 divide z(-4)?
False
Let i be (-6)/(-45) + 3246/(-45). Is ((-26)/(-26))/((-1)/i) a multiple of 9?
True
Suppose 5431 = 15*w - 4694. Is w a multiple of 15?
True
Let s(l) be the second derivative of -l**5/20 + l**4/2 - l**3 + l**2/2 + 26*l. Suppose -5*x + 16 = -x. Is 8 a factor of s(x)?
False
Suppose 4*w = -g + 1394 + 222, 0 = 5*w - 2*g - 2020. Does 15 divide w?
False
Is 2*205/10*7 a multiple of 7?
True
Suppose 0 = -5*v + 3*j + 2389 + 2381, 4*v + 3*j - 3843 = 0. Is v a multiple of 33?
True
Suppose -4*q - 2*c + 6*c + 60 = 0, q - 3*c = 17. Is 2 a factor of q - ((8 - 4) + -1)?
False
Let t be (-2 - 0) + -3 - (-17 - -15). Let o(u) = 2*u**3 - 3*u**2 + 3*u - 1. Let f be o(2). Let x = f - t. Is 12 a factor of x?
True
Suppose 4*q + 31 = y, q - 125 = -4*y + 84. Let o = y + -10. Let k = o - 23. Does 18 divide k?
True
Suppose -v - 21 = -z + 85, 2*v + 5*z + 233 = 0. Let w = v - -168. Does 8 divide w?
False
Is 55896/84 + ((-34)/14 - -3) a multiple of 37?
True
Let v = -19 + 24. Suppose 16 + 11 = 2*r - n, 3*r + v*n - 73 = 0. Does 3 divide r?
False
Suppose -4*o - 242 = -2*z + 190, -2*z + 414 = 2*o. Is z a multiple of 21?
True
Suppose -31*j + 54*j - 667 = 0. Does 29 divide j?
True
Suppose 126 = s - 98. Let g = s + -104. Is 15 a factor of g?
True
Suppose 0*i + 12 = 2*i. Let h = i + -2. Is h*(-3)/(-8)*30 a multiple of 15?
True
Let p be 24/4 + 6/3. Let w = 9 - p. Is -19 + 21 + 124*w a multiple of 29?
False
Let o(y) = y**3 + 48*y**2 - 4*y - 95. Does 36 divide o(-48)?
False
Let h be (-4)/(-10) - (-790)/25. Let j = h - 6. Is j a multiple of 6?
False
Let l(b) be the first derivative of b**6/120 - 7*b**5/60 - 13*b**4/24 + 2*b**3 + 11*b**2/2 - 8. Let n(i) be the second derivative of l(i). Does 8 divide n(9)?
False
Suppose -8 = 2*f, k + 316 = 3*k - 5*f. Is k a multiple of 7?
False
Let v(f) = 63*f**2 + f + 1. Let n be v(2). Let h = n + -171. Is 13 a factor of h?
False
Does 16 divide 9020/9 - 12/54?
False
Suppose -2*k = -14 - 4. Let r(x) = -x**3 + 10*x**2 - 14*x + 10. Let f be r(k). Does 39 divide (-4711)/f + (-2)/(-5)?
False
Let x(b) = -5*b**2 + 6*b + 7. Let t be x(-4). Let n = t - -172. Does 25 divide n?
True
Let y(q) = q**2 - 2*q + 5. Let s be y(5). Let t = -16 + s. Suppose 36 = -0*u + t*u. Is 3 a factor of u?
True
Is 4 a factor of 156/(-11*8/(-88))?
True
Suppose 144 = -23*b + 7*b. Let p(n) = -2*n**2 + 3*n**2 + 0 - 5*n - 6. Does 19 divide p(b)?
False
Let v be 26/(-91) - 37/(-7). Does 3 divide (-3 + v - -19) + 1?
False
Suppose -p - 3*z - 1 = -0*p, -3*p - z + 5 = 0. Suppose -m + 33 = -2*t, p*m - t = 51 + 15. Is 11 a factor of m?
True
Let u be 4/4 - 187*-1. Suppose 0 = 3*p + p - u. Does 9 divide p - (-1 + 7)/3?
True
Let u(l) = l**2 - 4*l - 2. Let t(n) = 2*n**2 - 4*n - 2. Let b(o) = 2*t(o) - 3*u(o). Let m be b(-3). Is (-25 + m)*(-28)/8 a multiple of 23?
False
Suppose -u - 14 = -94. Let n = 0 + 2. Suppose -u - 24 = -n*y. Is 26 a factor of y?
True
Suppose -3*y = g - 178, 0 = -2*y + 2*g + 63 + 61. Does 29 divide y?
False
Let j = -6 - -3. Let y = j + 5. Suppose -38 = b - y*b. Is 19 a factor of b?
True
Let l(v) = 2*v**2 + 63*v + 34. Is l(-32) a multiple of 7?
False
Let n be (0 + 1)/(7/35). Suppose 399 = n*g - 246. Is g a multiple of 9?
False
Let o = -1017 - -2708. Is 89 a factor of o?
True
Let x be 6/(-9)*(-1 + -2). Suppose -x*j = -4 - 2. Suppose 4*b + 4*t - 260 = 0, 57 = -j*b + 4*t + 245. Does 28 divide b?
False
Suppose -12 = 2*c + c. Is 2*(c + (-137)/(-2)) a multiple of 9?
False
Suppose 105 - 15 = 6*f. Let n(i) = -i**2 + 8*i - 4. Let z be n(7). Suppose z = b - f. Does 18 divide b?
True
Suppose 2*p - 6 = 4*p. Let h = p + 88. Is h a multiple of 19?
False
Let g(a) = 7*a**2 - 2*a - 12. Is 4 a factor of g(-6)?
True
Let w = -240 + 367. Is 38 a factor of w?
False
Let s = 91 - 66. Suppose 5*j + s = 0, d + j - 81 = 4*j. Does 22 divide d?
True
Let p(o) = o**3 - 15*o**2 + 10*o + 4. Let b be p(15). Let a = -106 + b. Let m = 88 - a. Is m a multiple of 22?
False
Does 23 divide 1538 - (26/(-7) - 2/7)?
False
Does 118 divide ((-4)/10)/((-46)/81420)?
True
Let u(f) = 1050*f**3 + f**2 - 3*f + 4. Does 12 divide u(1)?
False
Let a = 462 - -6. Is 26 a factor of a?
True
Let w be 12/(-8)*3/((-18)/8). Suppose -k + w*k - 121 = 0. Is 29 a factor of k?
False
Let w(g) = -2*g**3 + 44*g**2 - 78*g - 12. Does 84 divide w(19)?
True
Let i(y) = 29*y**2 - 3*y - 2. Let p be i(-1). Does 13 divide ((-70)/p)/(2/(-36)) + -3?
True
Let d(j) = -j**2 + 7*j + 8. Let z be d(6). Let q be 66/z + 4/14. Suppose 3*r - 131 = -2*g, -4*g + 225 = q*r + g. Is 13 a factor of r?
False
Let l(k) = 7*k**2 - 2*k - 1. Let o be l(-1). Let h(z) = 3*z**2 - 3*z + o - 8. Is h(2) even?
True
Let l = 682 + -289. Is 10 a factor of l?
False
Suppose 9*k = -99 + 8280. Does 19 divide k?
False
Suppose -5*q = 2 + 8. Let v = q + 6. Suppose v*w - 166 = 74. Is w a multiple of 30?
True
Suppose -18 = v - 3*v. Suppose v*h = 4*h. Suppose r - 20 = -h*r. Is 7 a factor of r?
False
Let b = -92 - -212. Is b a multiple of 15?
True
Is 5 a factor of (-11 + -3)/((-2)/8) + -6?
True
Suppose 0 = 5*w - 0*w - 35. Let s = w - 5. Suppose -s*u + 7*u + 27 = 3*y, -2*y + 31 = u. Is y a multiple of 8?
False
Suppose -2*g + 3*g - 2*q = 2, 4*q = 5*g - 4. Suppose -89 = -4*l + v, -l + g*l = 5*v - 17. Is l a multiple of 11?
True
Suppose -r = -6*r - 10, -2*c - 5*r = -24. Let l = c - -7. Does 18 divide l?
False
Let v(x) = -4*x - 18. Let b be v(-5). Suppose 2*a + b*q + 20 = 3*a, -24 = -a + q. Is a a multiple of 14?
True
Suppose -2*o = -190 - 600. Is 4 a factor of o?
False
Suppose -s = -4*d - 276 - 28, 5*d - 1570 = -5*s. Does 52 divide s?
True
Let g be -346*(-2)/16 + 4/(-16). Suppose -a = -2*o + 70, 113 = 4*o + 2*a - g. Is 11 a factor of o?
False
Suppose 0*q = 2*q - 7*q. Is (-104)/(q/2 - 1) a multiple of 13?
True
Let x = -25 + 28. Suppose 3*w + 5*f - 36 = 0, f - x*f = -w + 12. Does 12 divide w?
True
Suppose 0 = -3*h - 2*f + 1088, -3*f = 5*h + f - 1814. Is h a multiple of 7?
False
Let l(b) = 35*b**2 + 2*b + 1. Let g be l(-1). Suppose u + 8 = -2*i, 5 - 10 = 5*u + 3*i. Suppose -10 - g = -u*x. Is x a multiple of 6?
False
Is 107 a factor of ((329346/12)/(-19))/((-3)/8)?
True
Let y = -123 - -231. Suppose 17*n - 19*n + y = 0. Is 9 a factor of n?
True
Let x = -965 + 2555. Is 15 a factor of x?
True
Suppose 16 = 2*z - 5*o, z - o + 0 - 8 = 0. Suppose 342 + 306 = z*s. Is 21 a factor of s?
False
Suppose -2*o + 926 = f + 2*f, f + o = 307. Is f a multiple of 8?
True
Let f be (2 + -43)/(6/18). Is f/(-6) - (-3)/(-6) a multiple of 9?
False
Let n = -106 + 109. Suppose 0 = -3*x, 3*i + 108 = 6*i + n*x. Is 18 a factor of i?
True
Suppose 20*u = 22*u - 30. Let j(w) = 3*w**2 + w - 1. Let h be j(1). Suppose h*t = 8*t - u. Is 3 a factor of t?
True
Suppose 3*c - 16 = 4*m, 2*c - 3 = -9*m + 4*m. Suppose -8 = -2*j + i - 0*i, j = i + 6. Suppose -j*f + 5*v + 540 = 3*f, -c*v - 222 = -2*f. Is f a multiple of 28?
False
Let r = -3 - -15. Let u(k) = 2*k + k - 5 - 2. Is 8 a factor of u(r)?
False
Let k be (-15)/3*(4 - 5). Suppose 5*h + 29 = -0*z + z, 0 = k*z + 4*h. Suppose -116 = -z*s + 12. Is s a multiple of 10?
False
Suppose 182*n - 74970 = 140*n. Does 17 divide n?
True
Let q(k) = -k**3 + 16*k**2 + 2*k - 23. Let w be q(16). Let h = -8 + w. Is 3 a factor of h - (-30)/((-3)/(-1))?
False
Suppose -6*b = -4*b + 50. Let a = b + 22. Is 14 a factor of a/12 + 257/4?
False
Let q = 1 - 1. Let v = 342 + -252. Su