2*j, -3*y = -6*y - n*j + 6. Does 5 divide y?
False
Let k(y) = -5*y - 5. Is 12 a factor of k(-4)?
False
Let x(j) = j**2 - 14. Let n be x(0). Let k = n - -18. Does 2 divide k?
True
Suppose 0 = -2*m - 2*m + p - 44, -3*m - 44 = 2*p. Let q be 4/18 + 223/9. Let v = m + q. Is v a multiple of 13?
True
Let w(j) be the first derivative of -j**6/120 - 7*j**5/60 - j**4/4 + 7*j**3/6 - 2*j**2 + 1. Let l(s) be the second derivative of w(s). Does 4 divide l(-6)?
False
Suppose -4*n + 8 = -2*n. Let t(v) = -v + 7. Does 2 divide t(n)?
False
Let r(q) = -3*q**2 - 4*q - 1. Suppose 4*x = 5*x + 5. Let o be r(x). Let z = o - -80. Does 12 divide z?
True
Let g(a) = -2*a + 22. Let h be g(7). Suppose -2*d + h = -d. Does 2 divide d?
True
Suppose 4*q = 2*v - 268, -670 = -5*v + 2*q + 2*q. Is 6 a factor of v?
False
Suppose 4*l - 12 = -4*h, 6*l = 2*l - 4. Suppose 5*n + h*m - 150 = 0, 61 = 4*n + 3*m - 59. Let k = n - 10. Does 19 divide k?
False
Suppose 0 = 3*w + w - 128. Suppose -4*p = 4*i - 0*i - 32, 4*p + 5*i = w. Is p a multiple of 4?
True
Let o(j) = j**3 - 5*j**2 - 5*j - 7. Let z be o(7). Suppose -z = -4*w + 2*w. Is w a multiple of 9?
False
Suppose 4*f - p - 3*p - 328 = 0, 0 = 3*f + p - 250. Does 9 divide f?
False
Let l(s) = -s + 1. Let c be l(-2). Suppose -c*a = 5*t - 46, 4*a = -t - a + 18. Does 5 divide t?
False
Does 11 divide (33/(-5))/1*-5?
True
Suppose 0 = -4*c + 5*d - 80, -3*c - d = -0*c + 79. Let r = 0 - c. Does 12 divide r?
False
Let j be 1/5 - 3606/30. Let p be j/(-32) - (-1)/4. Suppose -p*l + 8*l = 120. Is 17 a factor of l?
False
Suppose 4*p = 2*n - 128, 0*n + 2*n - 144 = -4*p. Is 17 a factor of n?
True
Let l be 86/18 + 2/9. Suppose 3*f + w + 7 = 5*w, 4*w - 4 = 4*f. Suppose 0*s + j = -2*s + 43, 45 = f*s - l*j. Is 20 a factor of s?
True
Let r(w) = -5*w - 29. Is r(-11) a multiple of 6?
False
Let c = -7 - -10. Suppose 0*q = -c*q + 135. Is q a multiple of 15?
True
Is 52/(-91) - (-1236)/7 a multiple of 16?
True
Let w(s) = s**3 + 5*s**2 - 3*s - 4. Let i = -27 - -22. Is 11 a factor of w(i)?
True
Suppose -6*o - 10 = -o. Does 10 divide ((-14)/2)/(1/o)?
False
Let h be ((-351)/(-18))/((-1)/(-2)). Let f = 62 - h. Does 23 divide f?
True
Let f(i) = 20*i. Does 40 divide f(10)?
True
Let d(y) = -y**2 + 11*y - 1. Let a be d(10). Suppose -a*q + 240 = -4*q. Let z = q - 26. Does 13 divide z?
False
Let x(r) = -13*r + 12. Is x(-12) a multiple of 11?
False
Let x(z) = z**2 + 10*z - 3. Let v(c) = -c**2 - 9*c + 3. Let q(i) = -6*v(i) - 5*x(i). Is q(4) a multiple of 7?
False
Suppose -680 = -11*d + 123. Is d a multiple of 10?
False
Let d(u) = -1 - u**2 + 0*u**2 - u + 3*u. Let z be d(1). Suppose 4*w - 24 = 3*c, z*c = -2*c + 8. Does 3 divide w?
True
Let h = -2 - -4. Suppose h*x - 9 = -x. Does 3 divide x?
True
Let j = 31 + 5. Suppose 3*z - 60 = j. Is 10 a factor of z?
False
Let q = 190 + -155. Is 17 a factor of q?
False
Let q = 8 - 94. Is q/(-6) + 4/(-12) a multiple of 12?
False
Let v = -9 + -5. Does 8 divide ((-36)/v)/(3/28)?
True
Is 7 a factor of (-10)/(-4) + -2 + 1002/12?
True
Let y = 75 + -54. Is 9 a factor of y?
False
Let x = 13 + -25. Let z = 18 - x. Is z a multiple of 14?
False
Suppose -13 = -5*c - 3. Is 34 a factor of (-170)/c*8/(-10)?
True
Let a = 101 - 41. Is 15 a factor of a?
True
Let k = 0 - -9. Let m = k - 6. Is m a multiple of 2?
False
Suppose 4*h = -6*h + 340. Is h a multiple of 17?
True
Let q be (-69)/6 - (-9)/(-6). Let f = 11 - q. Does 9 divide f?
False
Suppose 5*g - 3*i = -217 + 897, 0 = -i - 5. Is 19 a factor of g?
True
Let s = 31 + -55. Let m = 50 + s. Let o = 47 - m. Does 11 divide o?
False
Suppose 38 - 2 = 4*i. Let t be (-1)/(-2)*(i + -1). Suppose u + 9 = t*u. Is 3 a factor of u?
True
Suppose -v = -3 - 2. Suppose v*q - 28 = 27. Does 11 divide q?
True
Let p = 17 - -7. Let y = p + -4. Suppose h = 2*l + y, -5*h - l + 88 = l. Is 18 a factor of h?
True
Suppose -1 - 3 = -2*r. Let x = 79 - 133. Is 18 a factor of (x/21)/(r/(-14))?
True
Let h be (-2)/15 - 959/(-105). Let w(u) = 1 + 6*u**2 - 8*u - 5*u**2 - u**3 + 9*u**2. Does 4 divide w(h)?
False
Suppose q - 19 = -0. Does 13 divide q?
False
Suppose -3*n + 255 = x - 2*x, 255 = 3*n + 3*x. Is 12 a factor of -1*4/(-10)*n?
False
Let y = 91 - 70. Does 21 divide y?
True
Let h(c) = -6*c - 31. Is h(-9) a multiple of 20?
False
Let u(d) = -4*d**2 + 12*d + 17. Let a(w) be the first derivative of w**3/3 - 3*w**2/2 - 4*w - 2. Let m(j) = 9*a(j) + 2*u(j). Does 9 divide m(7)?
False
Let j(v) = v - 3. Let d(l) = 1. Let z(g) = -d(g) - j(g). Does 2 divide z(-3)?
False
Suppose -7*a + 238 + 42 = 0. Is a a multiple of 10?
True
Suppose 5*w - 33 = 2*i, 4*w + i - 40 = 6*i. Does 3 divide w?
False
Let c = 69 + -1. Does 22 divide c?
False
Suppose 3*k - 9 = 4*k. Let z be (-79)/k + (-2)/(-9). Does 4 divide 6/z + 38/6?
False
Let z be 12/(-8) + 57/6. Suppose z*n - 52 = 4*n. Does 4 divide n?
False
Suppose -4*r + 257 = -31. Does 24 divide r?
True
Let o = -1 + 7. Suppose -2*h - o = p - 54, -3*h + 182 = 4*p. Suppose l = 3*g - 148, 4*g + p - 256 = 5*l. Is 19 a factor of g?
False
Suppose -7*l + 3*l + 24 = 0. Suppose l*b - 135 = b. Let s = b + -13. Is 14 a factor of s?
True
Let k(z) = z**3 + 4*z**2 + z + 2. Let o be k(-3). Suppose 2*l + 5*j = 16, -3*l - o = -4*l + j. Is 8 a factor of l?
True
Let z be (-25)/20*(-8 - 0). Suppose 4*r - 78 + z = 0. Does 14 divide r?
False
Let t = -18 - -13. Let d(s) = -s**2 - 9*s + 6. Does 10 divide d(t)?
False
Let b = -111 - -500. Is 8 a factor of b/9 - (-2)/(-9)?
False
Suppose 1 + 29 = 2*v. Is v a multiple of 2?
False
Suppose -4*u + 0*u - 24 = 0. Is 3 - (-162)/(u/(-2)) a multiple of 22?
False
Does 14 divide ((-28)/8 - 0)*-4?
True
Let k(z) = 50*z + 4. Is k(1) a multiple of 23?
False
Is 9 a factor of ((-4)/12)/(2/(-78))?
False
Let h(f) = f**2 + 7*f - 3. Let i be h(-8). Let b(q) = 5*q - 3. Does 17 divide b(i)?
False
Let m(n) be the third derivative of -n**4/24 + 52*n**3/3 + 2*n**2. Let t be m(0). Let i = t + -68. Is 13 a factor of i?
False
Is 5*-2*5*(-4)/8 a multiple of 3?
False
Is 5/(15/(-2))*-48 a multiple of 16?
True
Is 2 a factor of 3/9 + (-20)/(-12)?
True
Suppose 0*u = 2*h - 4*u - 50, 121 = 4*h - u. Is h a multiple of 10?
False
Let l(o) = 2*o - 2. Let r be l(-4). Let f be 172/r - 2/(-10). Let y = 41 + f. Is 8 a factor of y?
True
Let h(z) = z**3 + 7*z**2 + 3. Let k be h(-7). Suppose 5*j = -2 + 17. Suppose -12 + k = -j*i. Is 2 a factor of i?
False
Let p be -3 - -1 - (-35 + 0). Suppose -4*t + 5*v + 111 = 0, 0*v = t - 3*v - p. Is t a multiple of 8?
True
Suppose -3*y + 541 = -4*b, -5*y - b = -3*b - 883. Does 25 divide y?
True
Let o(v) = -2*v + 12. Does 2 divide o(-2)?
True
Suppose 233 = 4*t - 35. Is t a multiple of 10?
False
Let y(b) = -10*b - 15. Let f be (-3 - -2)/(-1)*-10. Let p be y(f). Let t = p - 30. Does 14 divide t?
False
Let s = 30 + -21. Is 9 a factor of s?
True
Let o(z) = z + 1. Let b be o(-1). Suppose -q - 2*q = b. Suppose 2*c + q*c + 2*y = 130, -2*c + 139 = 5*y. Is c a multiple of 25?
False
Let x(k) = -k**3 + 46. Let m be x(0). Let w = -27 + m. Does 5 divide w?
False
Let i be (-1025)/(-4) + 6/(-24). Suppose 0 = t - 4*z + 69 + 35, -4*z = 2*t + i. Let q = -79 - t. Is 28 a factor of q?
False
Let q be (156/(-10))/((-3)/10). Suppose q = 5*j - 3. Is 11 a factor of j?
True
Let k be 13/(-65) - (-1)/5. Suppose 3*t + t - 48 = k. Does 5 divide t?
False
Let h(t) = 36*t**2. Let r be h(1). Suppose -i - 6 = -6*m + 2*m, -2*i = -4. Suppose 0 = -m*j - j + r. Is 6 a factor of j?
True
Let a = 23 - 3. Is 9 a factor of a?
False
Suppose 10 = -5*j, 3*k + k + 2*j + 12 = 0. Let a(w) = -17*w - 9. Let r(m) = -9*m - 4. Let n(f) = -6*a(f) + 13*r(f). Is n(k) a multiple of 16?
True
Let q(m) = 3*m**2 - 4*m + 1. Does 13 divide q(-3)?
False
Is 28 a factor of 6/(-2)*(-3 - (-290)/(-6))?
False
Let u(x) be the first derivative of x**3/3 - 11*x**2/2 + 5*x - 2. Does 2 divide u(11)?
False
Let a(z) be the third derivative of 17*z**4/24 - 2*z**3/3 + 18*z**2. Let t = -2 - -5. Is a(t) a multiple of 21?
False
Suppose 5*i + 217 = 17. Let p be 15/4*i/(-3). Suppose 0 = -z - 4*z + p. Is 5 a factor of z?
True
Let o(x) = x - 13. Let v(i) = 3*i - 26. Let m(f) = -5*o(f) + 2*v(f). Let s be m(-8). Suppose -4*t + s + 19 = 0. Is 4 a factor of t?
False
Suppose 0*j = -j. Suppose -3*a + 12 = -j. Let c = 2 + a. Does 2 divide c?
True
Let o = 0 - -3. Let w be 5/(-2 + o)*-1. Let n = 15 - w. Is 