*c + u = 14*c. Is c a multiple of 13?
False
Suppose 2760 = 4*r + 828. Is r a multiple of 69?
True
Let c be (-446)/(1*(4 + -2)). Let p = -111 - c. Is 14 a factor of p?
True
Let a = 344 + -179. Is 15 a factor of a?
True
Suppose y = 2*u - 220, -2*u + 5*u - 320 = -y. Is 490/(-4)*u/(-63) a multiple of 21?
True
Let j be ((-6)/(-12))/((-3)/(-12)). Suppose -3*x = -j*x + 5*p + 12, p + 1 = 0. Let m(c) = -2*c - 2. Is 3 a factor of m(x)?
True
Let g = -12 - -12. Suppose 4*u - 4*t + 13 - 49 = g, -4*t = -2*u + 8. Is u a multiple of 2?
True
Let u(a) = 545*a**3 - 2*a + 1. Let r be u(1). Let w = r + -310. Is w a multiple of 39?
True
Is 1/(27/57786) + (-4)/18 a multiple of 113?
False
Suppose -5 = 5*c, -8 = -3*t + 5*c - 3. Let m be (15 + -1)/((-1 + 5)/(-2)). Let o = t - m. Is o a multiple of 3?
False
Let j(o) = o**2 + 3*o + 4. Let w be j(-2). Suppose -18 = -w*g - g. Is 5 a factor of (-18)/g*44/(-6)?
False
Let o be (2/4)/((-2)/(-516)). Let c = o - 13. Does 8 divide c?
False
Let u = 8 + -15. Let i(m) = 373*m + 10. Let t be i(2). Is 24 a factor of 4/(u/(t/(-8)))?
False
Let l = 279 + 37. Does 51 divide l?
False
Let l = -32 + 39. Suppose -l*a + 6*a = 0. Suppose -4*q + 100 + 380 = a. Does 30 divide q?
True
Suppose 18*i = 19*i + 75. Let v = 139 + i. Suppose 6*d - v = 410. Is d a multiple of 13?
False
Let g(c) = c**3 + 4*c**2 - 3*c - 5. Let r be g(-4). Suppose 3*b - r = 5. Does 29 divide ((-29)/(-4) - 0)*b?
True
Let b be (103 - (-1 - 3))*-1. Let x = b + 169. Is x a multiple of 8?
False
Suppose 693 = 8*w + 53. Suppose -34*x = -32*x - w. Is 10 a factor of x?
True
Let n(p) = -2*p**3 - 23*p**2 + 5*p + 8. Let d be n(-12). Suppose 2*k = -4*v + 5*k + d, -3*v = k - 69. Is 13 a factor of v?
False
Let j = -4344 + 6304. Does 35 divide j?
True
Let u(v) = 13 - 23*v + 31*v + 124*v. Let p be u(-9). Is 19 a factor of (-1)/(-4) + p/(-20)?
False
Does 18 divide (-13000)/(-10) - (-1 - -5)?
True
Let q(g) = -26*g + 433. Is 7 a factor of q(-22)?
False
Let h = -152 - -580. Does 2 divide h/28 + (-2)/7?
False
Suppose -7*s + s = 0. Suppose -2*y + 5*g - 2 = -109, -y + g + 52 = s. Does 24 divide y?
False
Let g(h) = h**3 + 18*h**2 + 10*h - 31. Is 25 a factor of g(-16)?
False
Is (-1 + 5 - 4) + (12 - -373) a multiple of 3?
False
Let d = -89 + 93. Suppose -4*j - 4*n = -248, 0*j + d*n - 187 = -3*j. Does 28 divide j?
False
Let f = 681 - -1799. Does 28 divide f?
False
Is 81 a factor of (891/44)/(6/1512*3)?
True
Let j be -3 + 26*3 - -1. Suppose j = 6*b - 4*b. Is 11 a factor of b?
False
Suppose 3*g + 4*m = 10565, 2*m + 22982 = 5*g + 5391. Does 69 divide g?
True
Let z(k) = -9*k**3 - 2*k**2 - 7*k - 17. Is z(-6) a multiple of 131?
False
Suppose m = -4*x - x + 4735, -3*x + 3*m + 2823 = 0. Does 14 divide x?
False
Let b be 82 - -3*(-6)/9. Let x = -26 + b. Does 9 divide x?
True
Suppose -4*m + 2*r = -5*m + 530, 4*m + 4*r = 2136. Does 17 divide m?
False
Let w(o) = 0*o**2 + 8*o - 6 - 4*o + 6*o**2 - o**3 + 0*o**2. Does 5 divide w(6)?
False
Suppose -62*h + 61960 = -5744. Does 78 divide h?
True
Is 67 a factor of 5632/12 + 12/(-36)?
True
Let w(d) = 15*d - 4. Let y be w(3). Suppose y - 16 = 5*j. Suppose a + a - 4 = -j*z, 5*z = a - 32. Is 12 a factor of a?
True
Suppose -w + 4*q - 3 = 3, 14 = 2*w + 5*q. Let z(p) = -8*p**2 + 4*p + 15*p - 13 + 0*p + 7*p**w. Is z(13) a multiple of 21?
False
Let c = 22 - -16. Let l = c + 87. Is 25 a factor of l?
True
Let f(b) = b**2 + 16*b - 44. Let t be f(-18). Let c(o) = -o**3 - 9*o**2 - 14*o + 12. Is c(t) a multiple of 39?
False
Let t(i) = -3*i - 1. Let s(q) = 13*q + 4. Let n(f) = -6*s(f) - 22*t(f). Let m be n(-3). Let a = 74 - m. Does 20 divide a?
True
Let b = 1952 - 217. Is 17 a factor of b?
False
Let g = 12 + -7. Let r be 0/2 + (-185)/g. Does 19 divide (-1 + r)/(12/(-18))?
True
Suppose j - 70290 = -29*j. Is j a multiple of 71?
True
Let z(m) = 78*m + 6. Is 24 a factor of z(3)?
True
Let r(y) = -y**3 + 9*y**2 - 8*y - 9. Let c be r(8). Let u(z) = -z - 4. Let m be u(c). Let o = m - -3. Is 5 a factor of o?
False
Let t = 811 - 532. Is 9 a factor of t?
True
Let h be 222/11 - (-8)/(-44). Suppose h*c - 19*c = 27. Let p = -12 + c. Does 15 divide p?
True
Let x = 221 - 23. Does 33 divide x?
True
Let c(u) = 4*u**2 + 16*u + 9. Is 9 a factor of c(12)?
False
Let z = 100 + 194. Is 7 a factor of z?
True
Let o(w) = 6 - 14 + 11*w - 4. Does 7 divide o(5)?
False
Suppose 2*o - 4*g = 22, 5*o - 4*g + g = 55. Suppose 0 = o*l - 15*l + 180. Does 5 divide l?
True
Let v(l) = -295*l + 30. Is v(-3) a multiple of 15?
True
Let u = 22 + -6. Suppose 26 + u = w. Does 11 divide w?
False
Let l = -19 + 80. Let t = 181 - l. Does 34 divide t?
False
Suppose -7*i + 19 = -30. Suppose -7*u = -i - 21. Suppose u*t - 5*t + 37 = 0. Is 21 a factor of t?
False
Suppose -3*k = -5*u + 1750, -2*u - 1803 = 3*k - 88. Is 23 a factor of (8/5)/((-10)/k)?
True
Let k = 0 + 7. Suppose 72 = 2*u + 22. Suppose j + k = u. Does 6 divide j?
True
Let l = -22 + 70. Let z = l + 64. Is z a multiple of 28?
True
Suppose 0 = -a - k - 7 + 325, -5*a + 1592 = 4*k. Does 32 divide a?
True
Let w(m) = -m + 1. Let l be w(-1). Let i be (-3)/l*64/24. Is 11 a factor of (-3)/i - 1640/(-32)?
False
Let y(m) = m + 4. Let j be -4 + 3 + (1 - 0). Let b be y(j). Let c(w) = 11*w + 7. Is 17 a factor of c(b)?
True
Suppose 2*g - 4*i - 10 = -0*i, 3*i = 3*g - 21. Let q(p) = -7*p**2 + 8 - 21*p + p**3 + 1 + 8*p. Does 18 divide q(g)?
True
Let h(u) = -u**3 + u**2 + u - 2. Suppose -2*o = -5*k + 3*o - 10, -2*o = -4. Let x be h(k). Does 5 divide (-5)/x*(4 + 2)?
True
Let q be (0 - -5)/((-10)/(-4)). Suppose s - 170 = -4*g, 4*g + 4*s - q = 174. Does 22 divide g?
False
Does 7 divide (665 - 0)*(-80)/(-200)?
True
Does 49 divide (((-8)/(-6))/2)/(11/1320)?
False
Let w = 28 + -17. Let k = 19 - w. Is 4 a factor of k?
True
Let p = -69 - -237. Does 12 divide p?
True
Let a(b) = 8*b + 16. Is a(5) a multiple of 14?
True
Suppose 17*l - 190 = 12*l. Does 19 divide l?
True
Let t(z) = z**3 + 8*z**2 + 4*z - 3. Let a be t(-6). Suppose i = -4*r + 21, 2*r - 4*i = -11 - 1. Let u = a + r. Is 16 a factor of u?
False
Let a(c) be the first derivative of -c**3/3 + 7*c**2/2 + 11*c + 6. Let w be a(8). Suppose -2*q + w*q - 9 = -2*m, 3*q + m - 52 = 0. Does 6 divide q?
False
Let q = -182 - -240. Is q even?
True
Is 3 a factor of -1*(5 - 95)*(-2)/(-3)?
True
Suppose -24*l + 1419 = -13*l. Is 12 a factor of l?
False
Let z(l) = -l + 6. Let p(j) be the second derivative of j**3/6 - 5*j**2/2 + j. Let c(b) = 3*p(b) + 4*z(b). Is c(-15) a multiple of 12?
True
Let y(u) = 26*u + 27*u + u. Does 27 divide y(2)?
True
Let f(a) = a**2 + 3*a - 13. Let i be f(-6). Suppose 2*x + 5*b - 133 = 0, -130 = -3*x - i*b + 82. Does 12 divide x?
False
Suppose -51*p + 55299 = -13806. Is 43 a factor of p?
False
Let n = 830 - 448. Is 6 a factor of n?
False
Suppose -4*x + 10443 - 1475 = 0. Is x a multiple of 38?
True
Suppose 2*d = 3*d - 2. Suppose 40 = -6*t + 2*t. Let m = d - t. Is m a multiple of 12?
True
Suppose -s - 4 = -4*g, 5*s = -g + 6*g + 55. Let x = s + -12. Suppose -x*l + 0*l + 48 = 3*t, -l + 2*t + 23 = 0. Does 9 divide l?
False
Let h be (-12)/(-8)*76/(-6). Let v(d) = -d**2 + 9*d - 4. Let b be v(8). Does 19 divide h/(b/(-3 + -9))?
True
Suppose -30*y + 49039 = 2569. Does 29 divide y?
False
Suppose -5*m = -2*y + 23 - 100, -3*y = 3*m + 168. Let x = y + 56. Is x a multiple of 2?
False
Suppose c - 906 = -q, 0 = 24*q - 20*q + c - 3636. Is 5 a factor of q?
True
Let v(o) = -4*o - 7. Suppose -4*c = u + c + 20, -2*u + c - 7 = 0. Is v(u) a multiple of 8?
False
Suppose -2*m = -2*d + 14, 0 = 2*d - 2*m + 7*m + 7. Suppose 0 = -5*y - 2*a - 3*a + 500, -d*y + a = -425. Does 35 divide y?
True
Let b(k) = 68*k - 86. Is 89 a factor of b(11)?
False
Let p = 186 - 117. Does 23 divide p?
True
Suppose 2*s = -2*x - 3*s + 17, -4*x - 5*s = -19. Let l(j) = 58*j**3 + 3*j - 4. Is 8 a factor of l(x)?
False
Suppose 2*m = -m - 96. Let c = 46 + m. Does 9 divide c?
False
Let f(m) = -8*m - 5*m**2 + 7 + 3*m + 4*m**2. Let p be f(-6). Is (-2 + p)*-3 + 16 a multiple of 11?
False
Suppose -k = -o + 48, 116 = 2*o + 5*k - 2*k. Let v be (-6)/30 + o/10. Suppose 2*m + 12 = 4*p, -2*p + 2*m - v*m = 2. Does 2 divide p?
True
Suppose j + j = 2*i - 12, 0 = -5*i - 4*j + 3. Suppose i*t = 4*t - 4. Is (t + -3)*38 + -3 a multiple of 5?
True
Suppose -4*d + 3*o + 2*o = -123, 0 = -4*o + 4. Suppose -2*r + 2*m + 16 = 