 Does 13 divide j?
False
Suppose 2*a - g = -2*a + 180, 3*g = -2*a + 76. Is 4 a factor of a?
True
Suppose -3*s - 5 = 1. Is 11 a factor of s*(-5 + -3 + 0)?
False
Let l be (-6)/1*(-2)/4. Suppose -135 = -3*a - k, -k = -0 + l. Is a a multiple of 23?
True
Suppose 2*j + 5*o - 17 = 0, 4*j + 0*j - 29 = -5*o. Suppose -20 = p - j*p. Suppose 7*i - 96 = -p*l + 3*i, l + 3*i - 32 = 0. Is 10 a factor of l?
True
Suppose -y = 4*x - 40, 2*y + 50 = 5*x + 7*y. Suppose 5*a - k - 28 = 0, a + k + k = x. Does 4 divide a?
False
Let n = -11 + 23. Does 12 divide n?
True
Let w(r) = -r + 18. Suppose 4 = -3*y + 4*a, -5*y + 0*a + 1 = a. Does 6 divide w(y)?
True
Does 18 divide ((-152)/6)/(12/(-18))?
False
Let b(o) = o**2 + 13*o + 17. Let z be b(-12). Suppose -3*q + 134 = -5*x, 3*x + 106 = z*q - 144. Is 15 a factor of q?
False
Suppose -5*c + 36 + 39 = 0. Is (c/10)/(6/40) a multiple of 10?
True
Suppose 6*l - 2*l = 216. Is l a multiple of 9?
True
Let o(x) = -x + 8. Let w be 32/6 + (-1)/3. Let u = w + -5. Does 7 divide o(u)?
False
Does 15 divide 327/21 - (-9)/21?
False
Let j(u) = 0*u**2 + 7*u - u**2 + u + 3*u. Is j(8) a multiple of 6?
True
Suppose -3*p - 13*p = -1024. Is 6 a factor of p?
False
Let t(q) = q**2 + 10*q - 15. Let a be t(-12). Does 18 divide 8/36 - (-322)/a?
True
Is 3 a factor of 2 - (1/(-1))/1?
True
Let s = 5 - -75. Is s a multiple of 8?
True
Let f(o) = o**3 - 7*o**2 + 7*o - 2. Is 8 a factor of f(7)?
False
Suppose 108 = 10*t - 8*t. Is t a multiple of 26?
False
Let f be (-5)/5 - (0 - -1). Let r = f + 0. Is (-8)/16 + (-39)/r a multiple of 7?
False
Suppose 113 = q - m, -q = 3*m - 5*m - 112. Suppose 3*c - q = 4*b - 6, 2*b + 2*c + 54 = 0. Let w = -14 - b. Does 12 divide w?
False
Let y(f) = f**3 + 2*f**2 + f - 1. Let s be y(3). Let c = 79 - s. Does 19 divide c?
False
Let i(o) = o**3 - 5*o**2 + 4*o + 7. Is i(7) a multiple of 28?
False
Suppose -2*v - 2*r - 12 = -3*v, 3 = 3*r. Does 7 divide v?
True
Suppose -g = -1 + 5. Is 7 a factor of g/14 + 357/49?
True
Suppose -3*n + 4*x + 77 = 0, 5*x - 64 = -4*n - 13. Is n a multiple of 11?
False
Let g be (6/(-8))/((-2)/(-96)). Does 18 divide g/(-1 - (4 + -4))?
True
Suppose 21 = i - 4*s - 50, -5*s + 281 = 3*i. Does 9 divide i?
False
Let q(d) = -d + 4. Let o be q(4). Is 5 a factor of (-2 + -36)/(-2 + o)?
False
Suppose -g - 384 = -5*g. Let x = g - 55. Suppose -x - 114 = -5*a. Is a a multiple of 9?
False
Let r = 10 + -6. Suppose -5 = -r*b + 7. Suppose -b*w + 54 = -3*a, -3*w + a - 82 = -7*w. Does 20 divide w?
True
Let j = 2 + 24. Does 13 divide j?
True
Let t(m) = m**3 + 6*m**2 - 9*m - 2. Does 12 divide t(-7)?
True
Let g(r) = 2*r + 11. Let z be g(-4). Let i = 27 + z. Is i a multiple of 10?
True
Let l(u) = -u**3 + 5*u**2 - 4*u. Let h be l(5). Is 20 a factor of ((-12)/h)/(3/285)?
False
Suppose 2*a - 96 = -2*a. Is 9 a factor of a?
False
Suppose 5*k + 132 = 482. Does 12 divide k?
False
Let w(k) = -7*k**2 + k**3 + 3*k**2 + 2*k - 6 + k. Suppose -5*l - 2 + 22 = 0. Does 3 divide w(l)?
True
Let z(y) = y + 7. Let w(j) = j**2 - 5*j - 6. Let v be w(6). Let r be z(v). Is r + 3 + (1 - 2) a multiple of 9?
True
Let v(n) = -n**2 + 2*n - 1. Let k be v(-2). Let j = k + 11. Is 2 a factor of j?
True
Suppose -6*s + 107 + 19 = 0. Is s a multiple of 21?
True
Let f(d) = d**2 + 2*d + 1. Let v be f(-3). Let u(g) = 2*g**2 - 6*g + 3. Is u(v) a multiple of 5?
False
Suppose o - 3*o - 16 = -v, -5*v + 66 = -3*o. Does 4 divide v?
True
Suppose -4*t = -h, -h - 3*t = -12 - 23. Suppose -4*i + h = -16. Is 2 a factor of i?
False
Let x(u) = 4*u**3 + 3*u**2 - 2*u - 1. Suppose 0 = 2*f + f - 24. Suppose 0 = 5*d - d - f. Is x(d) a multiple of 18?
False
Let r(k) = 5*k - 4. Is 10 a factor of r(5)?
False
Does 10 divide ((-335)/10 - 3)*-2?
False
Let h be ((-18)/(-5))/((-10)/(-25)). Let o = -1 + h. Does 8 divide o?
True
Suppose -3*d + 2*b + 244 - 51 = 0, d - 71 = 2*b. Suppose -5*m + 4*m + 55 = 4*g, -5*m - d = -4*g. Is g a multiple of 14?
True
Let w be 1 - (-1 + 1 + -8). Does 7 divide (21/w + -3)*-21?
True
Let z = -1 + 4. Let n(a) = 8*a - 1. Let m be n(z). Suppose 0*g - 24 = -4*d + 2*g, -m = -3*d + 4*g. Is 3 a factor of d?
False
Suppose 49 = l + 2*c, 145 = 3*l + 4*c - 0*c. Let t = l + -28. Does 19 divide t?
True
Let s = 94 - 44. Suppose -7*g + 2*g = -s. Does 7 divide g?
False
Suppose 4*f + f - 200 = 0. Is 21 a factor of f?
False
Let h = 106 + -58. Is h a multiple of 8?
True
Let g(s) be the third derivative of -s**6/120 - s**4/12 + 2*s**2. Let n(w) be the second derivative of g(w). Does 15 divide n(-5)?
True
Let g(d) = d + 14. Let l be g(-7). Suppose -4*o = -6 - 62. Let z = o - l. Is 10 a factor of z?
True
Suppose -3*y + 8*y - 25 = 0. Suppose -4*w = -y - 3. Suppose 4*z = 2*i - 7*i + 22, 36 = 4*z - w*i. Does 7 divide z?
False
Let j = 9 + -5. Let n = 1 + j. Is n a multiple of 2?
False
Let u(j) be the second derivative of -j**4/12 + 7*j**3/3 + j**2 - 2*j. Is u(12) a multiple of 13?
True
Let u(b) = 76*b**2 - 4*b - 1. Does 19 divide u(-2)?
False
Suppose 0 = -5*l + 17 + 78. Let w = -13 + l. Does 2 divide w?
True
Suppose q = 4*f - 11, 5*q + 72 = -0*q + 3*f. Let c = -11 - q. Suppose 25 = c*t + t. Is t a multiple of 5?
True
Let b = -6 - -10. Suppose 0 = -2*o - 3*z - 59, -16 - b = 4*z. Let y = 36 + o. Is 7 a factor of y?
True
Let h = 9 - 4. Suppose h*d - 47 = -v, -5*v - 3*d + 147 = -0*d. Does 9 divide v?
True
Suppose -3*i - 8*v + 3*v = -335, -5*v = -5*i + 505. Is i a multiple of 15?
True
Let d(w) be the second derivative of w**4/12 + 5*w**3/6 + 4*w**2 - 3*w. Is d(-8) a multiple of 16?
True
Let s = -76 - -113. Suppose s = -3*g - 194. Let i = -55 - g. Does 12 divide i?
False
Suppose 12 = 2*i + i. Suppose i*t + 3*k + 0*k = 12, -2*k = 5*t - 22. Suppose 3*c + 70 = t*n - n, -3*n + 8 = 5*c. Is n a multiple of 11?
True
Let v(q) = q - 7. Let b be v(10). Suppose b*r = 3*t + 54, -5*r + 4*t - 30 + 119 = 0. Is 7 a factor of r?
False
Does 12 divide (64/(-24))/((-8)/252)?
True
Suppose -5*l = 5 - 270. Does 20 divide l?
False
Let q = 87 - -5. Does 7 divide q?
False
Let c = -36 + 65. Is c a multiple of 6?
False
Suppose 1 = -5*g + 26. Suppose g*u + 12 = 87. Is 15 a factor of u?
True
Let m = 6 + -6. Let j be 1 - -16 - 0/(-2). Suppose m*r - j = -r. Is r a multiple of 7?
False
Suppose 3*g = -3*d + 40 + 29, 0 = -4*g - 5*d + 96. Let f(u) = -u**2 + 7*u + 8. Let z be f(8). Suppose g = t + t - 5*n, z = -3*n + 3. Does 6 divide t?
True
Let h(j) = -j**2 - 16*j - 35. Does 2 divide h(-11)?
True
Suppose -78 = -3*r - 0*r. Let b = -5 + r. Is 10 a factor of b?
False
Suppose -4*f + a = -3*f - 59, -3*f - 3*a + 183 = 0. Suppose 5*c = -h + 132, f = 2*c + h + 3*h. Is 13 a factor of c?
True
Let q be 34 + (-4)/2 + 2. Let n = 92 + q. Suppose 3*r + 39 - n = 3*x, 4*x + 90 = 3*r. Is r a multiple of 13?
True
Let q be (-2 - -2) + (-1 - -8). Let y(z) = -1 - 5 - 1 + 5*z + 1. Is y(q) a multiple of 15?
False
Let g = -5 - -8. Suppose -40 = -2*a + g*q, 7*a = 3*a - 4*q + 40. Is a a multiple of 10?
False
Suppose -i - 3 = 1. Let g be (14/(-8))/(i/16). Let h(z) = z**2 - 5*z. Does 14 divide h(g)?
True
Suppose a + a = 3*j - 43, a = 1. Suppose -4*u = q - j, -u + 6*u + 4*q - 5 = 0. Does 2 divide u?
False
Suppose -8*n + 625 = -3*n - 2*b, -n + 103 = 4*b. Suppose -d + n = 4*q, -2*d = -3*q - 0*q + 84. Does 15 divide q?
True
Suppose 0 = -5*w - 5 + 30. Is 3 a factor of w?
False
Let w = 18 + -25. Is 12 a factor of 1*6/w*-42?
True
Let z be (1 - 8 - -3)*-1. Suppose 29 = z*w - 7. Does 3 divide w?
True
Suppose 3*d - 2*m - 48 = m, 2*m + 53 = 3*d. Is 5 a factor of d?
False
Let g = 464 + -260. Is 12 a factor of g?
True
Let f(n) = 21*n**2 + 3. Is 35 a factor of f(3)?
False
Let u be (-12)/(-5) + 4/(-10). Let n = u - -2. Let g(i) = i**3 - 3*i**2 - 3*i + 6. Does 10 divide g(n)?
True
Suppose 3*i - 211 = -4*l, 3*l - 217 = -4*i + 69. Is i a multiple of 2?
False
Suppose 4*a = g - 45 + 162, 0 = g - 3. Is 14 a factor of a?
False
Let h(s) = s. Let w be h(4). Suppose -4 = 2*o - w*o. Suppose -5*z + 2*u + 44 = 0, -2*u - 10 = -o*z - 5*u. Does 3 divide z?
False
Let p = 417 + -220. Let r = p + -129. Is 17 a factor of r?
True
Suppose 5*h + 0 = 25. Suppose -3*p + 110 = -2*g, h*p - g - 74 = 100. Is p a multiple of 11?
False
Suppose -b + 1 = 2. Let m(w) = -59*w**3 + 2*w**2 + 2*w + 1. Is m(b) a multiple of 20?
True
Suppose 2*t - 8 = -2*t. Suppose -2*n = -t*r + 4, -34 = -r - r - 4*n. Is r a multip