x?
False
Let v(y) = -y**3 + 7*y**2 - 4*y + 7. Let n be v(6). Suppose n = 4*p - 137. Is 13 a factor of p?
True
Suppose 5*a - 12 - 43 = 0. Is a a multiple of 11?
True
Let x(k) = 6*k + 6. Is x(6) a multiple of 14?
True
Suppose 5*o - 1 = v - 11, -9 = 3*o. Let l(m) = -2*m + 4. Is 7 a factor of l(v)?
True
Let m(n) = 70*n - 2. Let u be m(1). Suppose 2*v - u = -2*v. Is v a multiple of 8?
False
Let j = 356 + -100. Does 13 divide j?
False
Let y(m) be the first derivative of 3*m**4/2 + m**3/3 + m**2 + 1. Is y(2) a multiple of 14?
True
Suppose -5*d - 2*p - 52 = 83, 3*d = -3*p - 72. Let s = d + 48. Is s a multiple of 6?
False
Suppose 0 = -y + 4*y. Let x be y/((-1)/((-3)/3)). Suppose 4*h + 7 - 99 = x. Is h a multiple of 14?
False
Let n(b) be the second derivative of -b**3/3 - 3*b**2 - 3*b. Is 6 a factor of n(-9)?
True
Let z = -87 + 141. Is z a multiple of 18?
True
Suppose -4*d + k - 2*k = 5, 0 = -3*k - 15. Suppose -10 - 20 = -5*g. Suppose g*x - 2*x - 56 = d. Is x a multiple of 7?
True
Let x be 1 + 15 - 2 - 3. Suppose -3 = m - x. Is 8 a factor of m?
True
Suppose 0 = -5*a - 3*q - 4, -2*a + 4*q - 18 = 3*a. Is (-56)/(-14) + (-98)/a a multiple of 21?
False
Let y = -3 - -9. Let k(o) = -7*o**2 - 20 + 8*o - 3*o**3 + 4*o**3 + 15. Is 7 a factor of k(y)?
True
Suppose 4*f + 4*b = 4, b + 5 + 6 = f. Let y(p) = 2*p - 2. Does 10 divide y(f)?
True
Suppose -12 = -3*z, -5*m + 226 = -z - 340. Is 19 a factor of m?
True
Let v(t) = 3*t - 6. Let z be v(4). Suppose 2*k = -0*k + z. Suppose 36 = -a + k*a. Is 8 a factor of a?
False
Suppose 2*a - 29 = -3*l, 5*a - 98 = -2*l + 3*l. Let x = 45 - a. Does 16 divide x?
False
Let j(s) = s**2 + 4*s + 4. Let r be j(-8). Suppose 0 = 4*o - 7*o + r. Suppose -3 = -3*b + o. Is 2 a factor of b?
False
Let z be 2/(-10) + (-278)/10. Let k = z + 94. Is 23 a factor of k?
False
Let q be (-2)/(-5) - (-138)/30. Suppose -q*d - r + 35 = -0*r, -d - 9 = -3*r. Is 3 a factor of d?
True
Suppose -d + 17 = -i, -i = -0*d + 3*d - 55. Is d a multiple of 9?
True
Let g(k) = -k**3 + 7*k**2 + 10*k - 12. Suppose -22 = -4*i + 10. Let m be g(i). Suppose 0 = m*c - 20. Is c even?
False
Let b(t) be the second derivative of -t**5/20 - t**4/12 - t**2/2 + 2*t. Let y be b(-2). Suppose 0 = 5*a - y*i - 25, -a - a + 21 = i. Does 4 divide a?
True
Let r(w) = -w**3 - 7*w**2 - 8*w - 7. Let t be r(-7). Suppose 2*h - t = 65. Does 13 divide h?
False
Suppose 3*m = 10 + 158. Does 10 divide m?
False
Let w(o) = -4*o**3 - o**2 - o - 2. Let n be (-33)/77 - 22/14. Is 15 a factor of w(n)?
False
Let n = 32 + -9. Is 8 a factor of n?
False
Let z be 2/(-3)*12/4. Let t be 1 - (-4)/z - 2. Is (-2)/6*t*23 a multiple of 15?
False
Let q = 36 + -5. Let h = q - 3. Suppose 4*a + 16 = 4*f, 0*f - h = -3*f - 5*a. Does 6 divide f?
True
Suppose 4*u = -11 - 41. Let l(q) = -3*q + 15. Is 18 a factor of l(u)?
True
Suppose -f + 5 = 10. Is (12/f)/(1/(-30)) a multiple of 12?
True
Let z(y) = 7*y**2. Let f be z(-1). Suppose 5*l - 82 + f = 0. Is l a multiple of 7?
False
Let g(m) = m**2 - 7*m + 3. Let v be g(7). Suppose v*z - 167 + 32 = 0. Does 15 divide z?
True
Suppose 4*i = -3*l + 104, 2*i - 19 = -5*l + 145. Does 7 divide l?
False
Let f(v) = v**2 - 3*v - 4. Does 24 divide f(-4)?
True
Let a(i) = 2*i**2 - 5*i + 2. Let x(z) = -z**3 - 7*z**2 + 8*z + 3. Let n be x(-8). Let y be a(n). Does 4 divide 2/y - 73/(-5)?
False
Does 16 divide (6 + -8)/((-243)/240 + 1)?
True
Suppose 5*f - 66 - 29 = 0. Is 6 a factor of f?
False
Let b(m) be the third derivative of -1/12*m**4 - 1/10*m**5 - 1/60*m**6 + 0*m - 1/2*m**3 + 0 - m**2. Is 15 a factor of b(-4)?
False
Let f(s) = -2 + 0*s - 2*s + 0. Let z(d) = -d - 6. Let r be z(0). Is f(r) a multiple of 5?
True
Let x = -1 + 11. Suppose 3*d - x = 41. Is d a multiple of 7?
False
Suppose 0 = 3*x - 4*x + 2, 2*l - 122 = -x. Is 12 a factor of l?
True
Is 7 a factor of (208/(-65))/((-2)/5)?
False
Let w be (-148)/(-18) - (-2)/(-9). Let s be 222/w + 3/12. Let m = 44 - s. Does 6 divide m?
False
Let p be 6 - 7 - 1/1. Is (-322)/(-6) - p/6 a multiple of 27?
True
Suppose 72 = 6*q - 36. Is 18 a factor of q?
True
Does 15 divide (4/(-3))/((-6)/783)?
False
Suppose 0 = 2*u + 3*a - 3 - 3, -a + 2 = -u. Suppose 75 = 3*q - u*q. Is q a multiple of 13?
False
Let b be ((-35)/(-28))/((-1)/8). Let w(p) = -7*p - 7. Is w(b) a multiple of 21?
True
Let r be 28 - (-2 - -4*1). Let v = r + 8. Is v a multiple of 17?
True
Suppose -2*n = -1 + 25. Does 10 divide 6/(-4) + (-378)/n?
True
Let l(a) = 22*a + 1. Does 16 divide l(3)?
False
Suppose i + 10 = 3*u + 64, -140 = -3*i - 2*u. Is i a multiple of 12?
True
Suppose 2*z = z + 20. Suppose 4*i = z, -a + 4*i + 0 = 3. Suppose 3*j + a = 50. Does 3 divide j?
False
Suppose 2*g - 25 = 63. Let x = 78 - g. Is x a multiple of 14?
False
Let p(l) = l**3 - l**2 + 4. Let o be p(0). Suppose o*c = 4 - 0. Does 6 divide (20/(-15))/(c/(-9))?
True
Suppose 4*z = -z. Let n(l) = -l**2 + l - 3. Let b be n(z). Let h(m) = m**2 + 3. Does 12 divide h(b)?
True
Suppose 2369 = -5*u + k, -3*k + 439 + 980 = -3*u. Let c be (-1 + (-8)/(-6))*6. Is 7 a factor of u/(-66) - c/11?
True
Let l = 159 - 87. Does 24 divide l?
True
Suppose 0 = 2*v + 2*v - 88. Suppose -3 = 5*k + v. Does 12 divide (-61)/k + 2/(-10)?
True
Suppose -5*l - 3*h = -412, -l + 47 + 17 = -4*h. Is 20 a factor of l?
True
Let g be -2 - (0 + 0 + 1). Let w be g/1*14/(-6). Let d = w + -4. Is d a multiple of 2?
False
Suppose 6*t = 2*t + 124. Does 8 divide t?
False
Let q be (3 + 1)*(-4 + 5). Suppose 0 = s - 0*y + q*y - 27, s - 3*y - 6 = 0. Is 15 a factor of s?
True
Suppose -5*m - 74 = -434. Is ((-2)/4)/((-2)/m) a multiple of 9?
True
Suppose -w = -2 - 1. Suppose 3*s + 0*s - 24 = -i, -w*s = -i. Is i a multiple of 12?
True
Suppose 4*r - 3*f = 225, 5*r + f - 172 = 2*r. Does 8 divide -14*(1 + r/(-21))?
True
Let f be ((-12)/(-10))/((-2)/20). Let v(n) = 6*n**2 + 2*n. Let z be v(2). Let l = z + f. Is l a multiple of 16?
True
Suppose -2*p = 3*p - 5. Let o = 8 - p. Let q = 22 + o. Is q a multiple of 13?
False
Suppose 0 = 5*r - 2*r + 426. Let g = r - -87. Does 11 divide ((-8)/10)/(2/g)?
True
Let v(n) = n + 1. Let b(c) = -2*c**2 - c - 2. Let j(i) = -b(i) + 4*v(i). Is 13 a factor of j(-5)?
False
Let t = -56 + 106. Does 13 divide t?
False
Suppose 2*n = -0*n - 56. Let v = -40 - n. Let m = v - -19. Is m a multiple of 4?
False
Let h be (2 + 1/(-2))*2. Let z(i) = i**2 - 1. Let a be z(h). Let c = -2 + a. Is c a multiple of 3?
True
Suppose -204 - 120 = -9*c. Let l be (-1)/2 + (-3)/(-6). Suppose 2*s - s - c = l. Is 17 a factor of s?
False
Let g = 1 - 22. Let i(s) = 3*s**2 - 4*s - 3. Let j be i(4). Let f = j + g. Is 4 a factor of f?
True
Let h = 7 + -2. Suppose 3*k + h*a = 6*k + 7, 5*a - 10 = 0. Is 14 - (1 - 0 - k) a multiple of 7?
True
Let c = 15 - 21. Let u(d) = -2*d - 9. Let j be u(c). Suppose 0 = -j*n + 4 + 50. Is 14 a factor of n?
False
Suppose 284 = 4*t + f - 0*f, f - 212 = -3*t. Is 22 a factor of t?
False
Let m = -1 - -3. Suppose 0 = -5*h + m*h + 78. Does 8 divide h?
False
Suppose 6 = a + 11. Let g(o) = o**2 + 4*o + 5. Is 3 a factor of g(a)?
False
Suppose 3*k = 2*k + 3. Suppose -160 = -k*t - t. Is 11 a factor of t?
False
Suppose 21*w + 12 = 23*w. Is w a multiple of 3?
True
Suppose -4*c + 22 = 3*j, 4*c - j = -3*j + 20. Suppose -y + 5*y = 0. Suppose y = 3*h - 26 - c. Is h a multiple of 5?
True
Let d(i) = 81*i**2 - i. Let v be d(1). Let r = v + -32. Is r a multiple of 16?
True
Let b = -73 - -110. Does 14 divide b?
False
Let l(r) = -8*r**3 + 3*r**2 - 2. Let g be l(2). Is (-9)/(g/(-100))*-3 a multiple of 10?
True
Suppose 15 = 4*p - 3*c - 0, 2*p + 3*c - 3 = 0. Is 3 a factor of p?
True
Let i(y) = 2*y**2 + 3*y - 5. Is 32 a factor of i(7)?
False
Suppose 0 = 6*r - r - 2*c - 31, 2*c = -r - 1. Suppose 6*g + r*i - 164 = 2*g, -4*g + 148 = i. Does 12 divide g?
True
Suppose 3*u - 3*d = -8*d + 30, -2*u + 20 = d. Does 3 divide u?
False
Let l(u) = u**3 - 4*u - 2. Let c be l(-3). Let x = c - -31. Does 7 divide x?
True
Let r(q) = 6*q + 3. Does 15 divide r(6)?
False
Let o(v) = -1. Let x(f) = f + 1. Let g(s) = -6*o(s) + x(s). Let n be 0*(-1)/(1*-2). Does 7 divide g(n)?
True
Let z(h) = 5*h**2. Let y be z(-1). Let l(x) = 16*x**2 + x. Let u be l(-1). Suppose -t + a = 2*a - u, y*t = 4*a + 57. Is t a multiple of 13?
True
Suppose 4*w - 17 = 7. Suppose 0 = 2*n - 0*n - w. Suppose -n*o - 4*h + 58 = 0, -o - 2*h + 4*h = -6