19 - i. Let s = -7 + g. Does 12 divide s?
False
Let s(y) = -2*y + 6. Let o be s(-9). Suppose 0 = x - 0*x - o. Is x/20*210/4 a multiple of 26?
False
Let z(t) = 12*t**2 - 39*t - 524. Is 29 a factor of z(-14)?
False
Let g = -1396 + 2041. Is g a multiple of 24?
False
Let n(z) = 67*z**3 + 2*z**2 + 8*z - 20. Is n(2) a multiple of 13?
False
Suppose -3 = -7*d + 18. Suppose 0 = -3*f - d*f + 204. Does 17 divide f?
True
Let l(i) = -i**2 + 73*i + 175. Is l(33) a multiple of 13?
True
Suppose 800 = -5*t - 0*t. Let b = 83 + t. Let p = -26 - b. Does 13 divide p?
False
Let b(d) be the first derivative of -d**6/360 - 7*d**5/120 + d**4/3 + 2*d**3/3 - 2. Let c(k) be the third derivative of b(k). Is 7 a factor of c(-7)?
False
Is 435/10*(-5 + 11) a multiple of 11?
False
Let k be (-2)/(-7) - 6/21. Suppose k = i - 101 - 11. Suppose 5*c = -2*p - 14 + 99, -2*p + i = -4*c. Is 24 a factor of p?
False
Suppose 4*q + 138 = 2*o, -q - 2*o + 42 = -2*q. Is 22 a factor of -2*4 - -4 - q?
False
Let v be 2 + (138 - -1) + -2. Let p be ((-9)/(-6))/(14/(-700)). Let j = v + p. Is j a multiple of 20?
False
Let k(g) = -11*g + 1. Let v be k(-1). Let m = v + 2. Suppose 0 = -14*h + 13*h + m. Does 13 divide h?
False
Let s(u) = -7*u**2 - 6*u**2 - u - 2 + 16*u**2. Let o be s(-2). Suppose -m = o - 35. Is 7 a factor of m?
False
Let g(u) = 12*u - 6. Let b be g(7). Let h(d) = -3*d + 23. Let s be h(0). Suppose -b + s = -5*k. Is k a multiple of 11?
True
Suppose 1996 = i + 3*i + 4*t, 0 = -5*i - t + 2483. Is i a multiple of 11?
False
Let b(u) = u**3 - 4*u - 11. Let s be b(6). Let x = s + -109. Is 8 a factor of x?
True
Let w(y) = -22*y + 49. Let a(d) = 11*d - 24. Let t(j) = 9*a(j) + 4*w(j). Is t(7) a multiple of 19?
True
Suppose 5*j = -c + 2*j + 77, -2*j + 398 = 5*c. Suppose -w + c = -0*o + 5*o, 196 = 3*w + 4*o. Does 15 divide w?
True
Suppose 0 = 2*a - 0*a - 4*n + 44, 0 = 5*n - 10. Let x be 8/(-6)*a/12. Suppose -x*o - 37 = -3*o. Is o a multiple of 11?
False
Suppose -p + 312 = 5*i, 0 = 2*p + p - i - 856. Is 9 a factor of p?
False
Let k be 4*((-1)/(-2) + 0). Let b(a) = 8*a - 10*a - a + 3 - a**3 + 5*a**2. Is 3 a factor of b(k)?
True
Suppose 3*j - 3*b - 24 = 0, 2*j + b - 16 = -3*j. Let v(w) = -w**2 + 3*w - 6*w - 7*w + 27 - j*w. Is 12 a factor of v(-11)?
True
Let x be (-8)/(-6) - (-130)/6. Let j = x + -14. Is j a multiple of 4?
False
Let a(i) = i + 8. Let g be a(-4). Let z be g/22 + 1274/11. Let r = 189 - z. Does 24 divide r?
False
Suppose -3*k = -0*k - c - 8957, 0 = 4*c - 16. Is k a multiple of 8?
False
Let p(c) = 2*c + 22. Let q be p(-10). Suppose -33 = -m - q*m. Is m a multiple of 11?
True
Suppose 900 = 7*p - 3*p. Suppose -5*v + 5*z - 25 = -p, -3*v = -2*z - 120. Does 17 divide v?
False
Let d = -43 - -287. Is d a multiple of 61?
True
Let f(v) = 2*v**3 + 11*v**2 - 11*v + 2. Let o(d) = -d**3 - 5*d**2 + 5*d - 1. Let h(m) = -6*f(m) - 13*o(m). Does 7 divide h(2)?
True
Let p(h) be the first derivative of 4 - 1 - h + 7*h**3 + 2*h - 2*h. Is p(1) a multiple of 12?
False
Suppose -5*g = -2*r - 16, -4 = -5*r + 4*g - 10. Suppose 3*l + 2*j - 792 = -r*j, 539 = 2*l - j. Is l a multiple of 33?
False
Let t(a) = -a**2 - 13*a + 1. Let f = 32 - 42. Is 8 a factor of t(f)?
False
Let g = -68 - -72. Let w = 1 - -19. Suppose -g*t + 44 = -w. Does 9 divide t?
False
Let j(y) = 7*y**2 + 15*y + 74. Is 39 a factor of j(-7)?
True
Suppose -1 = 4*q + r - 5, 4*r = -4*q - 8. Suppose -6 = q*j - 5*j. Suppose -j*p - 3*p + 190 = 0. Is 10 a factor of p?
False
Let k = -1958 + 2441. Is k a multiple of 15?
False
Let y(n) = -2*n**2 + 5. Let o be y(0). Let s(r) = 61 + o*r + 3*r**3 - 4*r**3 - r**2 - 55 - 4*r**2. Is s(-6) a multiple of 6?
True
Suppose 2*d = -0*d + 34. Let s(y) = 25*y + 14 - d*y - 14*y. Is 25 a factor of s(-6)?
True
Suppose 17*n = 79 + 6. Is 55 - ((-4)/10 - (-22)/n) even?
False
Suppose -5*b - 925 - 60 = 5*c, 0 = 5*b - 2*c + 1020. Let y = -93 - b. Is 11 a factor of y?
False
Let i = -154 - -160. Let k be (-3)/4 + 1/(-4). Let s = k + i. Is s a multiple of 3?
False
Suppose 0 = 3*q - 654. Does 6 divide q?
False
Let p = -105 - -59. Let f = -16 - p. Is f a multiple of 5?
True
Suppose -9*r + 216 = -792. Is r a multiple of 4?
True
Is 62 a factor of (-1396 - -1)*44/(-55)?
True
Let k(r) = -5*r + 13. Suppose 30 = 4*u - 6. Let t be k(u). Let m = 94 + t. Does 21 divide m?
False
Let a = -164 - -289. Does 5 divide a?
True
Suppose -231 = -3*q + 3*y, 10*q + y = 12*q - 153. Is 2 a factor of q?
True
Let i(w) = w**3 - 8*w**2 - 6*w - 21. Let n be i(9). Suppose -n*d - 140 = -8*d. Does 35 divide d?
True
Suppose 0 = -3*s + 6, 3*s = -2*v + 5487 + 399. Does 49 divide v?
True
Let y(n) = n**3 - 49*n**2 - 21*n + 207. Is 19 a factor of y(50)?
False
Let t be (38 - (1 - -3))*-1. Let c = -29 - t. Is c a multiple of 5?
True
Let c(u) = u**3 - 9*u**2 - 44*u - 8. Is 8 a factor of c(13)?
True
Let p be ((3 - 1) + -3)*-3. Suppose -p*v - 2*i + 70 = 0, 2*i = 6*i + 4. Does 4 divide v?
True
Let o be (8/(-24))/(2/18). Is 7 a factor of (-4)/(-12)*o*-30?
False
Let c(v) = 38*v - 34. Does 44 divide c(9)?
True
Suppose -i + 7 = 5. Suppose 0 = -0*v + i*v + 3*r - 381, 5*v = -3*r + 957. Suppose v - 22 = 2*m. Is m a multiple of 31?
False
Suppose 24*k - 7467 = -3*h + 21*k, 5*k = -3*h + 7477. Is h a multiple of 12?
True
Let g be ((-154)/(0 - 2))/1. Suppose 7*t = -g + 21. Does 29 divide 2/t + 936/32?
True
Let s = -589 - -602. Let j(n) = n**2 - n + 7. Let y be j(5). Let z = s + y. Is z a multiple of 16?
False
Let b = -24 - -57. Let s(l) = l**3 + l**2 - l - 4. Let z be s(-3). Let j = z + b. Is 8 a factor of j?
False
Is 14 a factor of ((-15096)/170)/((-2)/5) - -2?
True
Suppose 3*m + 0 = 3. Let s be 10/(-3) + m/3. Is ((-12)/(-8))/(s/(-144)) a multiple of 24?
True
Suppose 8*t - 1314 - 1006 = 0. Is 29 a factor of t?
True
Is 58 a factor of (2*(-3)/(-2) - -118) + -5?
True
Let i(u) = -u**2 + u - 1. Let j(p) = -6*p**2 + 7*p - 8. Let q(m) = 4*i(m) - j(m). Is 8 a factor of q(4)?
True
Let b = -642 + 348. Is b/(-4) + (-16)/32 a multiple of 30?
False
Let u(v) = -1. Let n(x) = -2*x**2 - 7*x + 4. Let i(m) = -n(m) - 4*u(m). Let h be i(8). Let b = h - 101. Is b a multiple of 28?
False
Is 60 a factor of 11/((-12)/3168*-8)?
False
Let a(z) = 35*z + 3 - 10*z + 15*z**2 + z**3 - 39*z**2. Is 12 a factor of a(23)?
False
Let m = -981 + 1708. Does 56 divide m?
False
Suppose 0 = -8*j + 2 - 26. Does 22 divide j*244/(-6) - (4 - 1)?
False
Let v(g) = 230*g - 276. Is v(6) a multiple of 5?
False
Let j = -728 - -1028. Is j a multiple of 10?
True
Let n(s) = 8*s**2 - 25*s - 3. Let x be n(6). Suppose 59 = -v + x. Is v a multiple of 13?
False
Is 9 a factor of 45 + -51 + 25 + -1?
True
Suppose h = x - 13, h = -x + 4 - 1. Suppose -a - 2*f = a - 28, 0 = 2*f - x. Does 5 divide a?
True
Suppose -5*i - 540 = -5*o - 1615, i - 225 = -o. Let x = i - 150. Is x a multiple of 14?
True
Let s be 2 - (2 + 2 - 19). Suppose t - 45 - s = -2*n, 116 = 4*n - 2*t. Is 15 a factor of n?
True
Let f = -41 + 41. Is (3 - 9)/(-6)*(f - -273) a multiple of 13?
True
Suppose 16 = -6*f - 32. Let o(y) = -y**3 - 2*y**2 + 27*y. Is o(f) a multiple of 28?
True
Is 20 a factor of 7 + (-1037)/153 - 9898/(-9)?
True
Does 2 divide 8*((-95)/(-20) + 1)?
True
Let i(j) = j + 14. Let d be i(-3). Let z(m) = 3*m + 20. Is z(d) a multiple of 3?
False
Suppose -2*i + 3*y = -11, 5*i - 2*y = -6*y + 16. Suppose i*b + 15 = 127. Does 9 divide b?
False
Let d be (-5)/(0 + 1 + (7 - 9)). Let f = 28 - d. Is f a multiple of 11?
False
Suppose 4610 - 1837 = i. Is i a multiple of 59?
True
Is 18 a factor of 3784/6 + ((-28)/6 - -5)?
False
Let d(w) = -2*w**2 - 31*w + 31. Let v be d(-23). Let b = v + 476. Is 11 a factor of b?
False
Suppose 4 = -4*q + 3*q + 4*h, 0 = -3*q - 2*h + 2. Suppose 3*n - c - 245 = q, 4*n + 5*c - 3*c = 320. Does 9 divide n?
True
Let g be -5 + ((0/(-2))/4)/(-2). Let s(o) = -7*o + 13. Does 4 divide s(g)?
True
Suppose 35*v = 32*v + 1626. Is 13 a factor of v?
False
Is 2970/((-10)/3 + 4) a multiple of 27?
True
Let n = 59 + -57. Suppose -d + 90 = 2*i, i = 7*d - n*d - 450. Is d a multiple of 15?
True
Let h(i) = i**3 + 9*i**2 - 2*i - 20. Let p be h(-9). Is 2 a factor of (-3*(-3 - p))/((-3)/(-2))?
True
Suppose 0*r + 20 = 4*r + 4*u, 10 = 2*r + 5*u. Suppose 41 - 21 = -r*q. Is -69*(0 + 3 + q) a multiple of 17?
False
Let r be 72 + (30/(-9) - (-3)/9). Let j = 98 - r. Is j a multiple of 13?
False
