 multiple of 16?
False
Let n = 22 - 17. Suppose -4*y - 76 = -4*o + n*o, -4*o - 38 = 2*y. Is (y - -2 - -4)*-4*1 a multiple of 14?
False
Let b be (84/(-16) - 3)*28/(-21). Suppose 27*c = b*c + 160. Is c even?
True
Suppose 0 = -0*m - m + 6*m - 29050. Does 83 divide m?
True
Let k(w) = 22*w**2 + 35*w - 377. Is k(6) a multiple of 5?
True
Suppose 0 = 5*j + 4*b - 260, -2*b = 3*j + 6 - 164. Let k = j + -41. Is k a multiple of 2?
False
Suppose -3*f + 7*f - 8 = 0. Does 27 divide f*(-9)/48*-12*6?
True
Let j = -4311 - -7499. Does 58 divide j?
False
Let g(x) = -7*x**2 + 6*x + 7. Let n(s) = -8*s**2 + 4*s + 6. Let f(v) = 5*g(v) - 6*n(v). Is f(-3) a multiple of 7?
True
Does 61 divide -4*(2 + 32065/(-20))?
True
Does 8 divide (3191676/(-752))/(((-15)/(-8))/(-5))?
False
Suppose 4*p = 3*c + 1056, 5*p - 1293 = -2*c - c. Let f = p - 131. Suppose x + z - f = 0, 2*z - 6 = -4. Does 43 divide x?
True
Let s = 5147 + -2907. Suppose 14*x = -6*x + s. Does 7 divide x?
True
Let x(m) = 2128*m**2 - 97*m + 97. Does 76 divide x(1)?
True
Suppose 148*v + d = 143*v + 34697, -2*d - 34706 = -5*v. Is v a multiple of 5?
True
Suppose 12 = -3*f + 7*f. Let k = -203 + 202. Is (-9)/(-3)*k*(f + -24) a multiple of 9?
True
Let x(u) = 87*u**2. Let n be x(3). Suppose 297 + n = -5*o. Is -2 - o/(1 - -1) a multiple of 13?
False
Let o = 2365 + -2173. Is o a multiple of 12?
True
Suppose 149 = -3*n + 2*z, -z = -n + 3*z - 63. Let u = n - -287. Is (u/50)/(((-2)/120)/(-1)) a multiple of 28?
False
Let h(n) = -98*n + 2217. Is h(10) a multiple of 8?
False
Let k = 3240 - 1235. Suppose 0 = -3*y - 3*a + 4896, -2*y - 4*a + k = -1261. Does 40 divide y?
False
Let t(g) = -g**3 - 9*g**2 - 8*g + 2. Let v be -6 + 2 - (6 - 2). Let q be t(v). Suppose 5*m - m - 392 = -q*l, -m - 3*l = -98. Is 30 a factor of m?
False
Let j = 1044 - 274. Let m = j + -27. Suppose 2*y = -4*k + 746, 0*k + 5*y = -4*k + m. Is 15 a factor of k?
False
Suppose 34*p - 85148 = 654063 + 30005. Does 137 divide p?
False
Let d(s) = s**3 - 3*s**2 + 3*s - 4. Let t be d(3). Suppose -h + 2*h = 2*w - 1, -5*w = -5*h + t. Suppose -w*x - x + 90 = 0. Is x a multiple of 6?
True
Suppose 0 = -7*x + 95 + 1032. Suppose 4*r + x = 753. Is 22 a factor of r?
False
Is 14 a factor of (-6138)/(-1) + (18 - 13)?
False
Suppose 252 = 3*p - 99. Let f = p - 115. Suppose f*m + 3*j - 382 + 28 = 0, -694 = -4*m + j. Is m a multiple of 15?
False
Suppose -3906*h + 136781 = -3887*h. Does 23 divide h?
True
Is 43201 + (0/(-10) - -10) + 1 a multiple of 26?
True
Let u = 155 - 114. Suppose -27032 = -u*z - 6655. Is z a multiple of 14?
False
Let f(h) = 3*h**2 + 78*h + 265. Does 14 divide f(-28)?
False
Suppose 8*s - 31 = 1. Suppose s*m = 2*a + 1398 - 538, -3*m = -2*a - 643. Does 39 divide m?
False
Let k(t) = -9*t + 31*t - 2*t + 15*t**2 - 1 - 11*t + 37*t. Is k(-8) a multiple of 40?
False
Suppose 5*g - 2*j = 2*g - 2312, 3*g + 2332 = -2*j. Let r = g - -891. Does 7 divide r?
False
Suppose 2*i + 2*i + 20 = 0, 2*a + 5*i - 895 = 0. Suppose 5*b = a + 1655. Does 27 divide b?
False
Let j = 4804 - 3533. Is j a multiple of 41?
True
Let g(n) = -568*n + 7395. Is g(-75) a multiple of 55?
True
Suppose -3*u = 2*u - 560. Let k = u - 40. Suppose -17*y - k = -18*y. Does 18 divide y?
True
Let q = -47 - -58. Let i(z) = -2*z + 39. Let g be i(q). Is 13 a factor of -12*(-3 + (g/(-4) - -2))?
False
Let m = 66 + 88. Suppose 3*r - 4*l - m = 0, -r + 41 = l - 1. Is r a multiple of 4?
False
Let r(a) = 12*a - 3*a + 8 + 4. Let i(v) = -v**2 + 10*v + 303. Let d be i(-13). Is 12 a factor of r(d)?
True
Let f(c) = 3*c**2 + 152*c - 3096. Does 12 divide f(-108)?
True
Let x be ((-40)/(-25))/((-1)/5). Let u(d) be the third derivative of d**5/60 + d**4/6 - 3*d**3 - 12*d**2 - 2*d. Is u(x) a multiple of 7?
True
Suppose -5*l + 15178 = 4*h, -82*h + 9096 = 3*l - 85*h. Is l a multiple of 37?
True
Let b = -15 + 20. Suppose 4*s - 5*a - 33 = 0, 26 = b*s + 3*a - 43. Suppose s*r = 8*r + 196. Is 5 a factor of r?
False
Suppose -14*a + 11498 + 8690 = 0. Is 14 a factor of a?
True
Suppose 5*w + 2*n + 17 = 0, n = -8 + 12. Let t(c) = 12*c**2 + 26*c + 17. Is 6 a factor of t(w)?
False
Let c(t) be the first derivative of -31*t**2/2 - 38*t - 210. Is 21 a factor of c(-34)?
False
Suppose -3*g = -o + 2*g + 5, 4*o + 3 = -3*g. Suppose 0 = -4*w - 8, o*s + 2*s - 2*w - 366 = 0. Let m = -67 + s. Is 31 a factor of m?
False
Let y(r) be the first derivative of r**3 - 5*r**2 + 36*r - 19. Let f be y(6). Suppose -16*b + 23*b = f. Is 12 a factor of b?
True
Let i(g) be the first derivative of -g**3/3 - 4*g**2 + 3*g - 7. Let l(d) = 8*d + 4. Let h be l(-1). Is 19 a factor of i(h)?
True
Suppose -b = 4*z - 5*b - 12, 9 = 3*b. Suppose 0 = z*p - 5*p - 27. Suppose -3*v = -2*d - 6*v + p, 0 = 3*d + 3*v - 45. Is 3 a factor of d?
True
Suppose 240*u - 555504 = 179*u - 2783. Is u a multiple of 24?
False
Suppose 3*x - 5331 + 1287 = 3*i, -4049 = -3*x + 4*i. Does 38 divide x?
False
Suppose 3*r + 2*g = 7*g + 712, 0 = -2*g + 8. Let f be -36*(-4 - r/8). Suppose -4*s - 130 + f = 0. Does 43 divide s?
False
Let r(i) = 2*i**2 - 25*i + 82. Let y be r(6). Suppose -2*w + 1776 = 41*f - 37*f, -3*w - 1756 = -y*f. Is 10 a factor of f?
False
Let z(d) be the second derivative of 7*d**3/6 - 28*d**2 + 9*d + 1. Does 8 divide z(16)?
True
Let x(y) = 15*y + 106. Let k be x(-7). Is (-744)/(-8) - (2 + -3)/k even?
True
Let y = 3456 + -632. Does 8 divide y?
True
Is ((-2)/4 + 886/12)*(58 - 40) a multiple of 3?
True
Let o = 4934 - -3347. Is o a multiple of 169?
True
Let b(v) = 340*v**2 + 4*v + 31 - 322*v**2 - 2*v - 3*v. Is 7 a factor of b(6)?
False
Suppose 3*r + 2*h - 15 = 0, -4*r + 20 = -0*h - 5*h. Suppose 0 = r*u - 9*u + 8. Suppose x + 4*p + 383 = 4*x, u*x - 262 = p. Is x a multiple of 22?
False
Let f(p) = -7*p + 43. Let m be f(6). Is 10 a factor of (-42)/(-18)*(4 - m - -27)?
True
Let l(z) = 4*z**2 - 16. Let a(n) be the first derivative of -n**2/2 + 3*n + 16. Let j be a(-2). Is 12 a factor of l(j)?
True
Suppose 0 = -2*p + 117 - 2063. Let j = -620 - p. Suppose -3*a + 25 = -j. Does 21 divide a?
True
Let g = 3 + -13. Let x be (9 + (-5)/(g/6))*14. Suppose 0 = -v - 6*v + x. Does 4 divide v?
True
Let n = 27586 + -26306. Does 11 divide n?
False
Suppose -161 = -5*b + 34. Does 4 divide (57 - -1) + b/52*-4?
False
Let o be -5*(-4)/((-80)/28). Let g be (1/1)/(o/(-118 - -6)). Is 6 a factor of 604/g + 3/48*4?
False
Suppose 99*v - 49*v - 428022 = -79*v. Does 85 divide v?
False
Let r(p) = p**3 - 20*p**2 - 6*p - 47. Suppose -13*j = -252 - 21. Is 16 a factor of r(j)?
False
Suppose 4*g + 1 = 4*n + 7*g, 5*n - 35 = 3*g. Let u(s) = 2*s + 2. Let b be u(4). Suppose n*d + b - 30 = 0. Is 3 a factor of d?
False
Let s(z) = 2*z**3 - 23*z**2 + 25*z - 7. Let a be s(12). Let u = a - 357. Is u a multiple of 2?
True
Let a = -602 - -606. Suppose 0 = a*c - 5*f - 769, 12*f - 404 = -2*c + 8*f. Is c a multiple of 45?
False
Suppose -223 = -8*g + 369. Suppose -8*k + g = -1286. Is k a multiple of 25?
False
Suppose 0 = -5*n - 5*x + 25, 0 = n - 2*n + 5*x - 7. Suppose -n*r + 2*d = -0*d + 236, -5*d = r + 107. Let u = r + 152. Does 14 divide u?
True
Is 5 a factor of 136/(-884) - (-46284)/26?
True
Suppose 1380246 = 134*y + 39710. Is y a multiple of 82?
True
Let n(v) = v**2 + 20*v - 7. Let m be n(-20). Is 56 a factor of 63*-8*m/42?
False
Suppose i + 5*f - 1347 - 1321 = 0, -2*f = -5*i + 13205. Does 37 divide i?
False
Let x = 10037 + -8717. Does 4 divide x?
True
Let y = -84 - -116. Suppose 0 = -s + y + 55. Does 29 divide s?
True
Suppose -3*l + 175404 = 8*c - 11*c, 3*l - 175402 = 4*c. Does 304 divide l?
False
Let j(m) = 2*m**3 + 12*m - 3. Let u(r) = r**3 - r**2 + r - 1. Let q(g) = j(g) - 3*u(g). Suppose 0 = -4*i + 4*h - 28, 4*h + 9 = i + 25. Is 4 a factor of q(i)?
True
Is 184 a factor of -23*860/30*-12?
True
Suppose 103120 = 25*y + 28*y - 45757. Does 41 divide y?
False
Suppose 4069 = 2*d + f + 117, -2*d - 5*f = -3920. Does 45 divide d?
True
Let b = -305 + 182. Let z be b/(-15) + 2/(-10). Is (-40)/(4 + z/(-20) + -4) a multiple of 37?
False
Let w(b) = -15*b + 227. Let q be w(15). Let h(n) = 503*n + 37. Is 33 a factor of h(q)?
False
Let p(c) = 115*c**2 - 2*c - 2. Let q be p(-2). Let b = 1515 + -1512. Suppose 3*f = b*r + q, 2*r - 622 = -4*f - 0*r. Does 31 divide f?
True
Let i = -3879 + 5559. Is i a multiple of 42?
True
Is 33 a factor of (9/2*8/(-6))/(34/(-9537))?
True
L