 = -16*c - 4*q - 4268. Is 8 a factor of c?
True
Suppose -2*s + 25 = 4*z - 3*s, -4*z = -3*s - 19. Suppose 40 = -l + z. Let o = -27 - l. Is o a multiple of 6?
True
Suppose 0 = -3*n, 6*y - 80 = 2*y + 4*n. Let x = 7 - 5. Does 6 divide y - (0/x + -4)?
True
Let t be (-658)/(-6) + (-2)/(-6). Suppose -3*x + 100 = -t. Is x a multiple of 35?
True
Suppose b - 81 = -8*b. Does 18 divide -2 - (-3)/(b/210)?
False
Suppose 7 = -3*t - 3*j - 29, 0 = 5*t - 5*j + 50. Let b(x) = -x**2 + 6 + 0 + 7*x - 20*x. Is 11 a factor of b(t)?
False
Let n(a) = -24*a + 19. Does 5 divide n(-9)?
True
Suppose 0 = -7*z - 112 - 0. Let x = -6 - z. Is (-3 + 38/x)*80 a multiple of 24?
False
Let x(h) = -h**3 + 12*h**2 + 11*h + 12. Let c be x(12). Suppose 3*j = -2*g + 126, 4*g = 2*j + j - c. Does 11 divide j?
True
Let n(l) be the third derivative of 0*l + 6*l**2 - 1/3*l**3 + 0 - 3/8*l**4 + 7/60*l**5 - 1/120*l**6. Is 9 a factor of n(4)?
False
Suppose -4*f = -2*f + t - 258, t = 2*f - 250. Let w = -33 + f. Is 7 a factor of w?
False
Let i = -28 - -54. Let f = i + 30. Does 14 divide f?
True
Let a = 0 + 5. Suppose 0 = -5*b + 4*p - 2*p, a = p. Suppose b*f + 80 = -h + 4*h, 80 = 4*h + 4*f. Is h a multiple of 8?
True
Let b be 44/66 - 62/(-6). Let k(h) = 26*h + 42. Is k(b) a multiple of 22?
False
Let s(n) = -4*n**2 + n**3 + 5*n - 4 + 0 + 2*n**2. Is 5 a factor of s(4)?
False
Let l be 9/6*(-78)/(-9). Let u = l - 8. Suppose -c + 63 = -4*f + 6*f, u*c + 3*f - 315 = 0. Does 21 divide c?
True
Let i(f) = 231*f**3 + 10*f**2 - 27*f + 8. Does 40 divide i(2)?
False
Does 5 divide (3*(-71)/(-9))/(10/30)?
False
Let c(p) = -15*p - 6*p + 249 - 2*p**2 + p**3 + 29*p - 11*p. Is 10 a factor of c(0)?
False
Suppose -67*c = -74*c + 5670. Does 3 divide c?
True
Let o be 4 + 2 + -1 + 3. Suppose 0 = o*j - 9*j + 4. Suppose 4*q - 11 = -j*r + 25, -3*r = q - 31. Is r a multiple of 11?
True
Is 4 a factor of (-67 - -73)*(1 + 7)?
True
Suppose 9*f = 8*f + 3*q + 276, 0 = 5*f - 5*q - 1380. Is 23 a factor of f?
True
Let g be (-21)/(-2)*(0 - 4/(-6)). Suppose v + g = 5*v + t, -4*v = -4*t - 32. Does 2 divide v?
False
Let t(l) = 3*l**2 - 2*l - 5. Let b = 17 + -12. Let f = 1 - b. Is t(f) a multiple of 17?
True
Suppose 41 = v - 13. Suppose v = -0*j + j. Let x = j - 13. Does 14 divide x?
False
Is 9 a factor of ((-3)/(-4))/(-1*(-1)/540)?
True
Suppose 106*p - 97*p = 1161. Does 5 divide p?
False
Let h = 20 - -42. Suppose -5*q = -3*p + 101, 0*p + 4*q - h = -p. Does 14 divide p?
True
Let y(f) = -f**2 - 4*f + 11. Let s be y(-8). Let j = 7 - s. Does 5 divide j?
False
Let y = 71 - -28. Is 3 a factor of y?
True
Suppose 0 = 3*c - 3*a - 1206, -2*c - 3*c - 4*a + 2055 = 0. Let k = c + -259. Is k a multiple of 11?
False
Let i be 4 + (-1 - 3) + -4. Is -4*(i - -3) - -10 a multiple of 14?
True
Let l(s) = -3*s - 45. Does 6 divide l(-23)?
True
Let t(v) = -10*v**3 - 6*v**2 - 8*v - 6. Is t(-4) a multiple of 2?
True
Let j(a) = 39*a - 13. Let r(d) = -10*d + 3. Let v(t) = -t**2 + t - 3. Let z be v(0). Let u(i) = z*j(i) - 13*r(i). Is 13 a factor of u(1)?
True
Let f be -2 - 2 - (27/(-3) + 0). Let t = f - -37. Is t a multiple of 7?
True
Let f(j) = -2*j**3 + 22*j**2 + 7*j - 34. Is f(11) even?
False
Let p(z) = z**3 + 11*z**2 - 12*z + 12. Let f be p(-12). Does 11 divide 261/f*32/12?
False
Does 37 divide (-7)/(462/(-51270)) + (-6)/(-33)?
True
Suppose 3*g = 7 + 14. Suppose -g*s = -4*s. Suppose -4*k + t + 245 = s, 4*k - 4*t = 133 + 103. Does 9 divide k?
False
Let b be ((-16)/(-24))/(3/18). Suppose -b*c + 90 = -3*c. Does 30 divide c?
True
Suppose 9492 = -33*t + 29127. Is 12 a factor of t?
False
Let w be 7 + 8/(-2) - -73. Suppose w = -2*b - 34. Is 16 a factor of ((-66)/b)/(3/160)?
True
Let v(t) = 4*t**2 - 2*t - 10. Let y be v(-6). Suppose 5*g = -5, r - y = 4*g + 47. Is 9 a factor of r?
True
Suppose -2*r + 108 = -222. Is 28 a factor of r?
False
Let k(u) = -3*u + 42. Let z be k(13). Suppose -2*v + 80 = z*g + 2*v, -5*g = -5*v - 145. Does 14 divide g?
True
Suppose -x - 5 = -5*s - 22, 2*s = x - 8. Let m(o) = 0*o - 7*o + 9 + 6*o**2 + 6*o**x - o**3. Does 32 divide m(11)?
False
Let a(g) = g**3 + 3*g**2 - 7*g + 11. Let p be a(-5). Suppose -5*i + 0 + 12 = 3*x, 4*x = 2*i + 16. Is 26 a factor of 84 - (p + i - -4)?
False
Let h be (1135/10 - 5) + (-2)/4. Let g = -12 + h. Is 7 a factor of g?
False
Suppose u + 3 = 0, 3*g - 4*g - 4*u + 146 = 0. Is g a multiple of 11?
False
Is 8 a factor of (-4 - (4 + -4 + 3)) + 151?
True
Let s(d) = 62*d - 224. Does 15 divide s(37)?
True
Let t(q) = 3*q - q - 5*q + 4*q + 4. Let f be t(-4). Suppose 166 = 5*b - 4*m, -3*m - 11 - 1 = f. Is 10 a factor of b?
True
Does 73 divide 7 - (-10)/(-10) - -1527?
True
Let u be (2*-1)/(-3 + 56/24). Suppose -u*h + k + 247 - 31 = 0, -2*h = 4*k - 144. Does 6 divide h?
True
Suppose 8*k = 6*k. Let d be k + (4 + -4 - -112). Let b = 175 - d. Is b a multiple of 20?
False
Suppose -2*i - 6 = -6*i - 3*z, -i = -z - 5. Suppose -5*k + 390 = 5*n, 3*k - 400 = -2*n - i*n. Does 29 divide n?
False
Let w(m) = 5*m**2 - 57*m - 21. Is 33 a factor of w(27)?
False
Is 8 + (25*32)/8 a multiple of 54?
True
Let s(d) = -d**2 - 2*d + 2. Let x be s(-2). Let g = x + 3. Suppose 49 = g*m - 6. Is 3 a factor of m?
False
Suppose 23*s = 5*s + 3690. Does 8 divide s?
False
Let u = -7 - -9. Let v(h) = -h + 16 + u*h + 0*h. Is v(10) a multiple of 13?
True
Suppose 5*w + 4*q = -194, 2*w + 0*q = 4*q - 100. Is 9 a factor of (-6 - w/4)/((-2)/(-28))?
True
Suppose -2610 = -41*p + 36*p. Is 15 a factor of p?
False
Let f(g) = -19*g**2 + 1 - g**3 - 17*g - 17 + 3*g**2. Does 14 divide f(-15)?
True
Suppose -3*k = 3*y - 7*y + 14, -3*k = -5*y + 16. Suppose 3*x - 3*v = 327, -y*x - 3*v + 50 = -193. Does 19 divide x?
True
Suppose 2*f = 4*f - 2, w - 13 = -4*f. Let n(h) = h**2 - 10*h + 7. Let i be n(w). Let x(b) = -2*b**3 - 3*b**2 - 2*b + 2. Is 5 a factor of x(i)?
True
Let z = 12 + -10. Suppose -3*y - 50 = z*n, 0*n - 58 = 3*n - 4*y. Does 11 divide (2 + -1)/((-1)/n)?
True
Let k be 3*(-1 + (-7)/(-3)). Suppose 16 = -k*a, -3*a = g + a - 140. Is 13 a factor of g?
True
Suppose 0 = 3*x + 4*u - 4136, -5*x - 10*u + 7*u + 6897 = 0. Does 31 divide x?
False
Let b(u) = u**2 + 1. Let h be b(-4). Let f = h - 24. Let o(s) = -4*s - 1. Is 9 a factor of o(f)?
True
Let f be -18*(3/12)/((-1)/22). Suppose 5*n = 216 + f. Is n a multiple of 16?
False
Let n(d) = d + 10. Let i be n(-5). Suppose 0 = i*j - u - 50 - 26, -4*u - 34 = -2*j. Is 6 a factor of j?
False
Suppose 3 = -4*r + 11. Suppose 0 = -5*h + 3*b + 366, 3*b + 0*b = -2*h + 138. Suppose 2*j = -2*p - 2*j + h, 0 = -r*j + 4. Is 21 a factor of p?
False
Suppose -4*v - 7*p = -3*p, v + 8 = -3*p. Suppose u - 114 = -2*t, 0*u = v*t + 3*u - 232. Is t a multiple of 11?
True
Let m be 5/(30/4332)*(-1)/(-2). Suppose -8*g + m = -279. Is 10 a factor of g?
True
Let y(l) be the second derivative of 0 + 1/6*l**4 - l**2 + 7/6*l**3 + 5*l. Is y(-5) a multiple of 13?
True
Let f = -132 - -130. Is (-6252)/(-30) - ((-16)/20)/f a multiple of 16?
True
Suppose -239*n = -240*n - 97. Let s = -30 - n. Does 14 divide s?
False
Suppose -5*f - 185 - 470 = 5*r, 4*f + 653 = -5*r. Let j = r - -206. Suppose -1 + j = c. Is c a multiple of 12?
False
Let g(u) = 3*u - 10. Let v be g(5). Suppose v = 4*z - 15. Suppose -236 = -z*q - 3*h, -q + 75 = -3*h + 17. Does 21 divide q?
False
Let x = 494 + -408. Is x a multiple of 3?
False
Let t be ((8*-5)/2)/(4/(-80)). Is t/18 - (-9)/((-486)/12) a multiple of 18?
False
Let u be (-3)/(572/144 + -4). Suppose 5*l + x = l + u, 118 = 5*l - 3*x. Is l a multiple of 13?
True
Let t(y) = y**3 + 2*y**2 - 4*y. Let f be t(3). Suppose -4*u = u + 4*v - f, 4*v = 3*u - 7. Suppose -2*i - 17 - 221 = -3*h, -5 = -u*i. Does 21 divide h?
False
Let l(w) = 0*w**2 - 2*w**2 - 5 + 10*w + w**3 - 5*w**2 - 4*w**2. Let t be l(10). Let s = t - -29. Does 6 divide s?
True
Let w = 35 + 0. Suppose 0*i = -5*i - w. Let q = i + 40. Does 29 divide q?
False
Suppose 19 = -5*k + 44. Suppose 128 = -3*w + 7*w + 2*m, -k*w - m + 154 = 0. Is 10 a factor of w?
True
Suppose 3*p + 71 = -52. Let a be 2/2*308/4. Let b = p + a. Is b a multiple of 18?
True
Let y(q) be the first derivative of -q**4/4 - 2*q**3 - q**2 - 6*q + 9. Suppose 0 = -f - 5*a - 26, -2 = f - 4*f + 5*a. Is 2 a factor of y(f)?
True
Suppose 2*v - 5*y - 400 = 0, 0*y + 1000 = 5*v - 2*y. Suppose -24 = 4*h - v. Is h a multiple of 11?
True
Let k be (84/70)/(2