a multiple of 14?
False
Let t be 3 + -1 - (1 - -24). Let c = -10 - t. Is 6 a factor of c?
False
Suppose 0*b - 183 = -3*b. Suppose 14 + b = 5*j. Is 12 a factor of j?
False
Let k(y) = -y**2 + 9*y - 1. Let h be k(7). Let n be (-158)/(-6) + (-2)/6. Let q = n - h. Is q a multiple of 6?
False
Let i be ((-231)/(-22))/((-1)/(-2)). Let z = -7 + i. Is z a multiple of 4?
False
Let p be (-1)/(5 - (6 - 2)). Let l = 6 - p. Is l even?
False
Suppose 2*w = 3*w - 116. Is 31 a factor of w?
False
Let y = -333 - -507. Is 17 a factor of y?
False
Suppose 10 = 5*l - 5*a, 2*l - 3*a + 1 = 3. Let w be 2*-1 + 4/l. Is 7 a factor of (w - -17)*(-3 - -4)?
False
Is 35 a factor of (16/24*8)/((-2)/(-126))?
False
Suppose f + 2*w - 4 = -3*w, -5*w = 5*f - 60. Suppose 34 = 3*j - f. Is 8 a factor of j?
True
Let k = 33 + 23. Is k a multiple of 14?
True
Let l be (-2 - 0/1) + 18. Suppose 3*t + t = l. Is t even?
True
Suppose 6 = 6*r - 3*r. Suppose -5*a - r*d + 18 = -110, -3*a - d = -76. Is 8 a factor of a?
True
Suppose -l - 2*a + 8 = 0, 4*l + l = -4*a + 34. Let m = l + -4. Does 6 divide (-47 + -1)/(-3) - m?
False
Let v be (2 - 2) + (2 - 2). Suppose -3*q - 2*q + 130 = v. Does 13 divide q?
True
Suppose -2*i + 3*i = -7. Let a = 5 + i. Let n = 19 - a. Is 21 a factor of n?
True
Suppose 3*j + 24 = -2*w, -w = 2*j + 2*w + 16. Let t = j - -13. Does 4 divide t + 1 + -2 - -1?
False
Let x be 104/10 - (-6)/(-15). Does 3 divide 14/5 - (-2)/x?
True
Suppose 0 = l + 4*l + 4*x - 304, 3*x = 3. Suppose 120 = 4*w + 4*r, -w + l - 18 = 5*r. Is 18 a factor of w?
False
Suppose 834 = 5*x + 4*p - 97, 935 = 5*x + 5*p. Is 13 a factor of x?
False
Let v(x) = 138*x**2 + 3*x - 2. Does 62 divide v(1)?
False
Suppose 0 = -5*o + o + 3*v + 29, -5*o - 4*v + 75 = 0. Let i(m) = 1 - 2*m + 36*m**2 + 17*m**2 + 18*m**2 - o*m**2. Is 15 a factor of i(1)?
False
Suppose -100*g + 102*g = 484. Is g a multiple of 22?
True
Let b be (-16)/6*(-9)/12. Let m(i) = -i**3 + 4*i**2 + 2*i - 2. Does 2 divide m(b)?
True
Suppose -2*j + 5*j + 2*h - 31 = 0, -j + 22 = 3*h. Suppose -4*b + j*b = -2*r + 32, 0 = 4*b - 3*r - 71. Does 9 divide b?
False
Suppose 90*x = 87*x + 1239. Is x a multiple of 72?
False
Suppose 0 = 5*u, -2*u + 7*u - 80 = -4*q. Is 2 a factor of q?
True
Let j(a) be the second derivative of a**4/6 - a**2/2 + 2*a. Let s be j(-1). Is 13 a factor of ((-25)/s)/(6 + -7)?
False
Let z = 4 - -2. Does 6 divide z?
True
Suppose -5*y = -3*v - 771, y = -5*v + 131 + 12. Does 9 divide y?
True
Suppose 0 = p - 0 - 5. Let s = 10 - p. Suppose -3*h + 48 = 5*v - 10, s*v - 54 = h. Is 9 a factor of v?
False
Suppose -2*q + 1012 = 5*r, -4*r - 2*q + 832 = -6*q. Suppose -2*i + r = i. Is 20 a factor of i?
False
Suppose -5*i + 114 = -326. Does 33 divide i?
False
Suppose -5*h = 2*u - 82, -5*h + 85 = 2*u + 3*u. Is h/3 - (-6)/9 a multiple of 6?
True
Let f(g) = -g**2 - g. Let k be f(1). Suppose 2*m + 3 = -1. Is 2 - m*(1 - k) a multiple of 6?
False
Let p(a) be the first derivative of 4*a**4 + 2*a**3/3 - a**2/2 + 2. Does 10 divide p(1)?
False
Let l(a) = 6*a**2 + 3*a - 3. Does 15 divide l(3)?
True
Let b be ((-2)/(-4))/(1/10). Suppose -x + 53 = -4*y, -b*x + 2*y + 286 = 3*y. Suppose -4*c = -3*r - x, -c - 3*r + 17 = -r. Is c a multiple of 9?
False
Let b(k) = 17*k - 37. Is 18 a factor of b(9)?
False
Suppose 0 = -2*g + 14 + 14. Suppose 7 = -3*i - 4*l, g = 2*i - l - l. Suppose i*n - 4*n + 8 = -4*p, 0 = -p + 5. Is 14 a factor of n?
True
Let x = -14 + 12. Is (-832)/(-39) - x/3 a multiple of 13?
False
Suppose 0 = -4*h - 2*u + 862, -5*h = -2*h + u - 647. Is h a multiple of 27?
True
Let v(t) = -t**3 - 4*t**2 - 4*t + 1. Suppose 0 = -2*q - 4*a - 18, a = 5*a. Let d be 2/2*q/3. Does 2 divide v(d)?
True
Let t(f) = 4*f**2 - 4. Suppose -z - 4 = 2*g, -16 = 4*g - 5*g - 5*z. Is 20 a factor of t(g)?
True
Let f(x) = x**2 - 4*x - 3. Let k be f(4). Does 16 divide 1 - (4 + k) - -48?
True
Let r be 48/28 - (-2)/7. Suppose -l - r = -3*l. Is 2 a factor of 0 + (2 - l - -1)?
True
Let y = 9 - -7. Does 2 divide y?
True
Let u(k) = -k**3 + 4*k**2 + 7*k - 7. Let h be u(5). Suppose -2*v - 58 = 4*a - 18, h*v = -5*a - 56. Is 4/10*(-2 - v) even?
True
Let d(o) be the first derivative of o**3 + 3*o**2/2 - 2*o - 18. Let n(r) = 4*r + 1. Let a be n(-1). Is 8 a factor of d(a)?
True
Suppose -13*w = -8*w - 400. Let c = -51 + w. Is c a multiple of 14?
False
Let a(u) be the third derivative of 0 + 17/24*u**4 + 0*u + u**2 - 1/3*u**3. Is 12 a factor of a(2)?
False
Let v = -14 + 50. Does 9 divide v?
True
Let k(h) = 3*h - h**2 - 2*h - 2*h. Let i(t) = 4*t - 2. Let g(q) = i(q) - k(q). Does 6 divide g(-7)?
True
Let d(h) = h**3 + 8*h**2 - 2*h - 3. Let n be d(-8). Does 5 divide 3 + (n - (-1 - 2))?
False
Suppose 4*p - 1502 = 2*f, -4*p + 1505 = 3*f - 4*f. Does 29 divide p?
True
Let q = -8 + 16. Let g = 14 - q. Suppose -g - 5 = -z. Is z a multiple of 3?
False
Let a(p) = 2*p + 2. Let i be a(-1). Suppose -l - 7 + 41 = i. Is 17 a factor of l?
True
Let w(i) = -i**3 - 8*i**2 - 10*i - 7. Let t(s) = -2*s + 3. Let f be t(5). Is 3 a factor of w(f)?
False
Let n be ((-90)/(-12))/((-6)/(-40)). Suppose 0 = -4*u + 18 + n. Does 7 divide u?
False
Let x be 17/3 - (-10)/(-15). Suppose x*o = 4*o + 17. Is o a multiple of 5?
False
Let x(r) = -r + 2*r**2 - 1 - 3 + 3. Let o(q) = -q - 8. Let h be o(-6). Does 9 divide x(h)?
True
Suppose -5*p - 61 = 74. Let b = -12 - p. Is 14 a factor of b?
False
Let z be 46/12 - 7/(-42). Suppose -z*g = -3*g + 4, 0 = 5*n - 5*g - 305. Is 13 a factor of n?
False
Suppose 0 = -p + 2*p + 39. Suppose -5*m = -9*m - 60. Let o = m - p. Is o a multiple of 12?
True
Let a(x) = x**3 - 18*x**2 + 7*x - 22. Is a(18) a multiple of 26?
True
Suppose 0 = 3*f - 2 - 4. Suppose -h = -f*h + 3. Does 2 divide h?
False
Let r = -2 + 7. Does 2 divide r?
False
Suppose -5 = 6*p - p. Suppose 4 = -2*t + 20. Let r = t + p. Is r a multiple of 3?
False
Let o be 1/6*3*0. Suppose 4*y - 140 = -o*y. Let b = y + -19. Is b a multiple of 10?
False
Let u be ((-10)/(-4))/((-1)/(-2)). Suppose -2*w + 1 = -u. Suppose -4*t - w - 5 = 0, -3*z + 4*t = -62. Is 8 a factor of z?
False
Let z be (-4)/10 - 48/(-20). Does 9 divide 9/(-18) + 19/z?
True
Does 7 divide (-2)/6*-1 - 868/(-42)?
True
Let t = 6 + -4. Does 4 divide t/(-8)*(-28 + 0)?
False
Suppose 0 = 4*o - 39 - 5. Is o a multiple of 11?
True
Let u(p) = -p**2 + 9*p + 11. Let j be (-1)/(0 + -1)*9. Does 4 divide u(j)?
False
Suppose 40 = a + 5*w, 0 = 4*a - 3*w + 2*w - 181. Does 9 divide a?
True
Let u = 4 + -4. Suppose -3*j + 5*j - 226 = u. Suppose 4*y + 33 = j. Does 10 divide y?
True
Let p = 13 - 8. Let c(k) = -6*k - 3 - 3*k**2 - 2 + k**3 + 6. Is c(p) a multiple of 7?
True
Let c = -1 - -2. Let l = 0 + c. Is (-15)/(-5) + (3 - l) a multiple of 4?
False
Let q(k) = -k**3 + 9*k**2 - 2*k - 11. Let i(a) = -2*a**3 + 17*a**2 - 4*a - 21. Let n(l) = -6*i(l) + 11*q(l). Is n(4) a multiple of 9?
False
Let z be 2/8 + (-11)/(-4). Suppose -q + 196 = z*q. Suppose -4*m + q = -3. Does 7 divide m?
False
Let z = 4 - 4. Suppose z = 2*u + 4*b + 36 - 128, 4*b = 5*u - 188. Let h = 58 - u. Does 17 divide h?
False
Let c(k) = -3*k**2 - 3*k - 1. Suppose 5*j = 4*d + 2, 0 = -5*j + d - 5*d - 22. Let v be c(j). Let r = 14 + v. Does 3 divide r?
False
Let y(r) = 7 - 3 - 2 + 2*r - 3. Let w be y(-5). Let q = -1 - w. Is q a multiple of 10?
True
Let b(s) = 3*s + 18. Is b(-3) a multiple of 9?
True
Suppose 0 = -5*p + 96 + 114. Let h = 77 - p. Is 7 a factor of h?
True
Let k be ((-15)/(-10))/((-3)/(-4)). Suppose k*x = 65 + 65. Is x a multiple of 18?
False
Let g(k) be the first derivative of -k**4/12 + 11*k**3/6 + 3*k**2 - 3*k + 1. Let y(s) be the first derivative of g(s). Is 18 a factor of y(5)?
True
Is (6/4 + 2)*14/7 a multiple of 7?
True
Let d(t) = -t - 29. Let k be d(0). Let x = k - -50. Is x a multiple of 13?
False
Suppose 407 = 6*x - 1327. Does 33 divide x?
False
Let g = 17 - -37. Does 18 divide g?
True
Let d(q) = 23*q**2 - 4*q + 2. Is 28 a factor of d(2)?
False
Suppose -117 = -z + 5*a + 2, -2*z + 3*a + 210 = 0. Is 14 a factor of z?
False
Suppose 217 = -l - 2*l - 5*q, 3*l - 2*q + 245 = 0. Let p be 121 - (2 - 0 - 0). Let u = p + l. Does 22 divide u?
False
Suppose t = 3*t + 10. Does 10 divide (-53)/t + 9/(-15)?
True
Let v be ((-5)/2)/((-2)/(-4)). Let x = v + 5. Suppose x = p - 26 + 10. Does 8 divide p?
True
Suppose 3*s - 6 = -0*s. Let c(u) be the second derivative of u*