r of q?
False
Let k(i) = -75*i**3 + 2*i + 1. Does 27 divide k(-1)?
False
Let q(c) = -5*c + c**3 - 2*c**2 - 5*c**3 + 5*c**3 + 4. Let w be q(4). Let g = 8 + w. Is 12 a factor of g?
True
Suppose 2*l - 7 + 1 = 0. Let o = 12 - 1. Suppose i - l*c + o = 34, i - 4*c = 28. Does 8 divide i?
True
Let f(t) be the first derivative of -t**4/4 - 2*t**3/3 + 3*t**2 + 3*t + 3. Is f(-4) a multiple of 4?
False
Let w = -1 + 2. Does 19 divide w + (1 - 2) - -19?
True
Let h(t) = -8*t**3 + t + 1. Let j be h(-1). Let y = j + -6. Let k = 6 - y. Does 2 divide k?
True
Let o = 68 + -45. Suppose 0 = n + u - 0*u - o, 0 = -5*n + 4*u + 70. Is n a multiple of 9?
True
Suppose 4*h - 277 = 3*h + 5*l, l = 2*h - 545. Is 32 a factor of h?
False
Let u = 67 + -47. Suppose -2*f = -0*f - u. Is f a multiple of 10?
True
Let v(w) = -19*w. Let r(o) = -57*o. Let g(i) = 2*r(i) - 7*v(i). Let a = -8 - -9. Is g(a) a multiple of 11?
False
Suppose h - 29 = 3*x - 2*x, 4*x + 8 = 0. Is 13 a factor of h?
False
Suppose -2*y = 3*y - 990. Is 33 a factor of y?
True
Let i = -8 + 3. Let w(k) = k**2 - 5. Let j be w(i). Let u = 30 - j. Is u a multiple of 5?
True
Let r(s) = -7*s - 3. Let n = -4 - -1. Let t be r(n). Suppose 3*o - 66 = -3*v, 0*v - v + t = 3*o. Is v a multiple of 12?
True
Suppose -15 + 22 = -c. Let x = c + 11. Is x a multiple of 3?
False
Let g be (-12)/(-5) + (-2)/5. Suppose -4*y + 5*x + 60 = -79, g*x = -3*y + 133. Does 15 divide y?
False
Let y be (-4)/14 - 305/35. Let n = 11 + y. Is n even?
True
Let d = 10 + -19. Is d/(-12) - (-117)/4 a multiple of 14?
False
Is ((-4)/(-6) - 444/45)*-5 a multiple of 23?
True
Let h be ((-6)/10)/((-7)/(-35)). Does 26 divide (-1 - h)*(-268)/(-8)?
False
Let o = 52 - -74. Is 18 a factor of o?
True
Let n = 20 + -14. Let j(i) = -i**2 + 9*i - 7. Let v be j(n). Is 4 a factor of v/(-2)*(0 - 2)?
False
Suppose -3*y + 22 + 14 = 0. Is y a multiple of 4?
True
Let y(g) = g**3 - 4*g**2 - g + 4. Let f be y(4). Suppose -3*s - s + 12 = f. Does 3 divide 15*(1 - s/5)?
True
Let w(p) = -p - 8. Let s be w(-7). Is ((-1)/1)/(s/17) a multiple of 6?
False
Suppose 0 = -5*x + 15, -2*l - 2*x - 2*x = 630. Let s be l/4 - 2/(-8). Let p = -47 - s. Is p a multiple of 12?
False
Is 11 a factor of 14 + ((-4)/10 - 13/5)?
True
Let g = 10 + -7. Suppose 0*t + 96 = g*t. Does 9 divide t?
False
Let w = 128 - 84. Is 11 a factor of w?
True
Suppose -3*l - 12 = -5*y, -3*y + 3*l - 12 = 6*l. Suppose y = -v + 24 - 7. Suppose 4*c - 3 = v. Does 5 divide c?
True
Suppose -2 = -r - 2*m, 5*r - 3*m = 33 - 10. Suppose 0*w - r*w + 108 = 0. Is 16 a factor of w?
False
Suppose -4*w + 243 = -417. Is 15 a factor of w?
True
Let v(i) = -i**3 - 7*i**2 - 5*i + 4. Let k = -3 - -3. Let w be k/(-3) + -1*7. Is v(w) a multiple of 17?
False
Let k = 4 + -4. Suppose k*a = -2*a + 72. Does 18 divide a?
True
Let a be (3*4)/(-3 - -4). Suppose -5*h - a = -2*m, 2*h - m + 4 = -0*h. Let v(c) = c + 7. Is v(h) even?
False
Suppose -6*c = -c - 525. Suppose 63 + c = 4*q. Is 14 a factor of q?
True
Let x = -40 - -27. Let s be -1*7 - (-2 - -1). Is -2*(-3)/s - x a multiple of 6?
True
Suppose -20 = -4*i - 5*k, 3*i - 3 = -k + 23. Is 3 a factor of i?
False
Suppose -2*m + 2 = -2*r, -r - m + 0 = -5. Suppose -q + 4*n + 9 = 0, 3*q - q + r = -2*n. Is 4/q - (0 + 1) a multiple of 3?
True
Let d(x) = -x**3 + x. Let b be d(-1). Suppose b = 3*f + 15, -f - 7 = -o + 2. Suppose 2*c = -l - 4*l + 86, 3*l - 158 = -o*c. Does 19 divide c?
True
Let u(w) = 2*w**2 + 3*w + 5. Let o be u(5). Suppose -c - o = c. Let i = -15 - c. Is 10 a factor of i?
True
Let w(n) = 4*n**2 + 10*n + 3. Is w(-4) a multiple of 4?
False
Suppose -3*p = -p - 144. Does 12 divide p?
True
Suppose o - 6*o + 15 = 4*y, y = 5*o - 15. Let t = -1 + o. Suppose -24 = -d - t*d. Is 4 a factor of d?
True
Suppose -4*h - 2*g + 4*g = 6, 5*h + 7 = 2*g. Let y = h + 3. Let o = y + 13. Is o a multiple of 15?
True
Let q = 7 + -17. Let n = q - -21. Does 4 divide n?
False
Suppose 0 = 4*a + a - 25. Suppose -2*q + 0*g - 3*g = -56, 3*g = -q + 22. Suppose -a*d + q = 4. Is 4 a factor of d?
False
Suppose 3*a - 7*a + 40 = 0. Suppose 0*h = 2*h - a. Suppose 0 = -h*n + 34 + 26. Does 6 divide n?
True
Suppose -4*s - 38 = -6*s. Is s a multiple of 19?
True
Let z be 2/(-7) - (-10)/35. Suppose 3*d - 14 - 10 = z. Is 3 a factor of d?
False
Let v be (-2814)/56 - (-6)/(-8). Let p = 7 - v. Is p a multiple of 29?
True
Let t(d) = -d**3 + 3*d**2 + 8*d - 3. Let l be t(5). Let c = -10 - l. Is c a multiple of 3?
True
Let f(v) = 3*v - 1. Let i = 10 + -8. Let g = 3 + i. Does 5 divide f(g)?
False
Suppose 4*f - 26 = -2. Suppose -f*w + w = 0. Let n = w + 4. Does 4 divide n?
True
Let c = 0 + 3. Let v = 7 - c. Is 14 a factor of 2 + -2 - v*-7?
True
Suppose 0 = l - 2*w, w - 1 = 2*w. Let d(m) = 14*m**2 - 7*m + 7. Let y(j) = -9*j**2 + 5*j - 5. Let a(t) = 5*d(t) + 7*y(t). Is 13 a factor of a(l)?
False
Suppose 128 = w + 3*w. Is 16 a factor of w?
True
Suppose -2*j - 3*j = -20. Suppose g + c - 7 - j = 0, -4*g + 52 = 2*c. Does 11 divide g?
False
Is 326 - (38/133)/(2/(-14)) a multiple of 41?
True
Suppose -j - j + 32 = 4*h, -4*h + 5*j + 18 = 0. Let k be 12*1 - (-8 + h). Let o = 22 - k. Does 9 divide o?
True
Suppose 7 + 9 = 2*b. Let h = b - 11. Let u = 29 - h. Is 16 a factor of u?
True
Suppose 3*p + l = 336, -5*p + 6*l = 2*l - 577. Is p a multiple of 19?
False
Let t be -2*1*2*-2. Let z(c) = c - 7. Let y be z(9). Let j = t + y. Is 5 a factor of j?
True
Let i = -15 - -17. Is 1*15 + -1 + i a multiple of 16?
True
Suppose 3*i = 4*i - 3. Suppose 0 = -i*r + 1 - 7. Is (0 - r) + 3 + 2 a multiple of 3?
False
Suppose 0 = 2*s + 5*d + 251, -134 + 468 = -3*s + d. Let h = -70 - s. Does 13 divide h?
False
Suppose -2*m = -7*t + 2*t - 9, 4*m - 4*t = 24. Suppose m*h = 9*h. Suppose i - 5*i + 16 = h. Is i a multiple of 3?
False
Let u be 10*1 + -5 + 4. Let o(f) = -f**3 + 9*f**2 + 2*f - 2. Is o(u) a multiple of 8?
True
Let m(j) = -5*j**2 + j - 1. Let q be m(1). Let i(o) = o**3 + 6*o**2 - 11. Does 5 divide i(q)?
False
Let t(l) = l**3 - 6*l**2 + 5*l + 3. Let f(u) = -u - 1. Let d be f(-6). Let c be t(d). Suppose 8 = 5*p + 18, -p = -c*a + 38. Is a a multiple of 6?
True
Suppose h - 4 - 2 = q, 2*h + 21 = -q. Let r = 16 + q. Suppose 5*c - 41 = r*m + 14, 2*m - 5 = -c. Does 9 divide c?
True
Is 20 a factor of (4*(-1)/(-16))/((-2)/(-248))?
False
Suppose 5 = -f - 3*h - h, -4*f + 6 = 3*h. Suppose -2*t - q = -8, -4*t = q - f - 11. Is 3 a factor of t?
True
Is 34 - (3 + 6/(-2)) a multiple of 20?
False
Suppose 3*u - 3 = j, -3*u + 1 = -2*u + 3*j. Let a(s) = 25*s**3 + 2*s**2 - s. Let c be a(u). Suppose 28 + c = 2*o. Is 9 a factor of o?
True
Suppose -2*k - 2 = -0, -44 = -3*m - k. Does 15 divide m?
True
Suppose 2*x = -0*x + 4*k + 26, -3*k - 47 = -4*x. Let m = x + 3. Is m a multiple of 14?
True
Let o be -3 + (3 - 1) + 5. Suppose -o*y + 0*y + 16 = 0. Suppose 0*h - y*h = -132. Is h a multiple of 16?
False
Let d(r) = -9*r**2 + r - 4. Let f be d(3). Let i = 124 + f. Is i a multiple of 21?
True
Let c be 51/1 + 20/10. Let i = c - 3. Does 25 divide i?
True
Suppose r + 0*v - 4*v - 22 = 0, -2*r + 69 = -3*v. Is 14 a factor of r?
True
Let b be (3 - -3)*((-2)/(-4) - 0). Suppose -5*z - 4*s + 203 = 0, z + s - 54 = -14. Suppose -5*t - z = -b*x + 38, -5*t + 7 = x. Is x a multiple of 11?
True
Suppose -5*h - 2*c + c = -63, 5*h + 4*c - 72 = 0. Let k be 4/h - (-1)/(-3). Suppose -11 - 13 = -z + 5*q, -5*q + 15 = k. Does 14 divide z?
False
Suppose -m = v - 101, m + 0*m = 5*v - 493. Is v a multiple of 11?
True
Suppose -4*u = -3*n - 3 + 5, 5*n - 4*u = -2. Let x(p) = 4*p**2 + 2*p - 2*p - p - p. Does 15 divide x(n)?
False
Let n = -2 + 6. Suppose -5*v + 5*w = -2*v, n*v + w - 23 = 0. Let k(b) = 4*b + 6. Is k(v) a multiple of 17?
False
Suppose d = -2*d + 5*s + 55, 4*s + 23 = d. Does 5 divide d?
True
Let p(z) = -z**2 - 6*z + 15. Does 4 divide p(-7)?
True
Let p(g) = -g + 1. Let l be p(-3). Suppose l*n = 56 + 8. Does 16 divide n?
True
Let c = 4 + -3. Suppose -4*w + c = 9. Is 6 a factor of 14 - (0 - (-3 - w))?
False
Suppose -4*d + 69 + 227 = 0. Suppose -3*b - d = -5*k, 5*b - k = 4 - 164. Let u = -20 - b. Is u a multiple of 5?
False
Is 15/(3 + 29/(-6) + 2) a multiple of 22?
False
Suppose 0 = -4*a + 17 - 1. Suppose -2*j = -4*r - a*j + 40, -30 = -3*r - 5*j. Does 3 divide r?
False
Let r = 5 - -102. Is 14 a factor of r?
False
Is 30 a factor of -16*2*60/(-1