 l?
False
Let q be 6/2*8/12. Is 11 a factor of q + (-41)/(-1) - 1?
False
Let n = 122 - 82. Is n a multiple of 8?
True
Let c = -31 + 55. Let d = c + 2. Is 13 a factor of d?
True
Let w(o) = -o**2 + 9*o + 4. Let t = 4 - -4. Is w(t) a multiple of 3?
True
Let s(p) = 2*p. Let i be s(-4). Let m = 5 + i. Is 3 - (1 + m + 1) a multiple of 4?
True
Let r be 0 - (510/(-3))/2. Suppose 4*i - 12 = -2*m, -41 = -3*i - 2*i + 4*m. Suppose i*j + 17 = t, -j + 5*j + r = 5*t. Does 9 divide t?
False
Let d be -5 - (-4 + 1) - 2. Is 1 - (-67 + -4 - d) a multiple of 17?
True
Let k(i) be the first derivative of i**3/3 + i - 3. Let p be (-2)/2 - (1 + -4). Is k(p) a multiple of 5?
True
Let w(g) = -96*g**3 + g**2 + 9*g + 8. Does 32 divide w(-1)?
True
Let c(a) = a**3 - 15*a**2 + 19*a - 10. Suppose 5*p - 26 = -3*h + 26, 5*p - 24 = -h. Does 12 divide c(h)?
True
Let y = -1 - -3. Suppose -y*k = k. Suppose -5*p = -4*f + 37 - 113, k = -2*p + f + 31. Is p a multiple of 8?
True
Let n be 1/2 - 10/(-4). Suppose j - 8 = -n. Is j a multiple of 2?
False
Suppose -111 = -5*v + 2*j, -v - 5*j = 2*v - 79. Does 10 divide v?
False
Let c(a) = -a**3 + 6*a**2 - 3*a - 4. Let w = 4 + -1. Let o be c(w). Let b = 34 - o. Is 20 a factor of b?
True
Suppose -102 = -16*s + 14*s. Is s a multiple of 17?
True
Let h be 1/(-4 + 3)*-75. Suppose w + 102 = 4*m + 3*w, 3*m + w = h. Is m a multiple of 8?
True
Let l be (-1 + -4)*(-36)/20. Suppose b = 17 + l. Is b a multiple of 14?
False
Suppose 0 = -4*w + 191 + 21. Let j = w - 36. Is 8 a factor of j?
False
Let g be ((-35)/3)/((-1)/3). Suppose w - 5*w + 12 = 0. Suppose 2*q - 25 = o, 5*o - o + g = w*q. Does 13 divide q?
True
Let f(w) = -w**2 + 5*w - 6. Let j(r) = -r**2 + 4*r - 5. Let q(i) = -5*f(i) + 4*j(i). Does 2 divide q(8)?
True
Suppose -40 = 5*n - n. Is (-2)/10 + (-212)/n a multiple of 20?
False
Let m = -63 - -39. Does 3 divide (m/30)/((-2)/10)?
False
Let r = 3 + 1. Suppose -i - r*i = -40. Is i a multiple of 4?
True
Suppose 3*d - 33 = 6. Let x(m) = -d + 2*m**2 - m**2 + 5*m - 3*m - 4*m. Is x(9) a multiple of 18?
False
Is -1 - (-1 + 102)/(-1) a multiple of 5?
True
Let r = -3 + 5. Let u(k) = 2*k**3 - 3*k**2 + 2. Let n be u(r). Suppose -2*j = -n*j + 24. Is j a multiple of 3?
True
Let a = 39 + -35. Is a even?
True
Let z(k) = k**3 - k**2 + 1. Let t(m) = 18*m**3 + m**2 + m - 1. Let u(f) = t(f) - z(f). Let n be u(2). Is (2/4)/(4/n) a multiple of 18?
True
Let k(r) = -r**2 + 8*r - 10. Let b be k(7). Let j be b*((2 - 3) + 0). Suppose 2*v = -3*f + 46 + 7, j*v - 52 = f. Is 5 a factor of v?
False
Suppose p + b - 1 = 0, 3*b + 2 = b. Suppose -o - p*o = -3. Suppose 10 = u + o. Is u a multiple of 9?
True
Let n(b) = b**3 + 6*b**2 + 4*b - 3. Let s be n(-5). Let m be 9/2 + 15/30. Let v = m + s. Does 7 divide v?
True
Let v(w) = -w**2 - 13*w + 2. Is 27 a factor of v(-9)?
False
Suppose -2*x - 6 = -4*x, -4*x + 10 = g. Is 19 a factor of (2/(-2))/(g/70)?
False
Let v be 2*27 - 0/2. Let b(s) = s**3 + 17*s**2 + s + 21. Let w be b(-17). Suppose 77 = w*l + 3*o, l - 4*l + v = o. Is l a multiple of 6?
False
Let r = -4 + 5. Let n be (0 + -2 + r)*-28. Suppose 3*s + 4*i - 4 = 0, -2*i + n = 4*s + 6. Is 5 a factor of s?
False
Let x(a) = -22*a + 3. Is 22 a factor of x(-4)?
False
Let w(m) = -m + 1. Let v(c) = c - 5. Let y be v(3). Let z be w(y). Suppose z*d = 40 + 8. Does 8 divide d?
True
Let f(h) = 4*h + 9. Let i be f(-6). Let l = i + 30. Does 13 divide l?
False
Does 36 divide (2/(-3))/((-22)/2541)?
False
Let o = 155 - 67. Does 31 divide o?
False
Let d(q) be the first derivative of 1/2*q**2 + 1 + 0*q. Is d(6) a multiple of 6?
True
Suppose -98 = 2*g - 370. Is 14 a factor of g/(-12)*(0 + -3)?
False
Let s = -3 - -8. Suppose s = h - 8. Does 7 divide h?
False
Suppose -9*a + 35 = -4*a. Let b = 4 - 2. Let w = b + a. Is 8 a factor of w?
False
Suppose 3*l = 2*l - 2*k + 30, -5*l - 5*k + 155 = 0. Is 26 a factor of l?
False
Let b(z) be the second derivative of 2*z - 2*z**2 - 3/2*z**3 + 0. Is b(-4) a multiple of 12?
False
Suppose 0 = p + 4, -4*d = -10*p + 5*p - 576. Is d a multiple of 21?
False
Let w = -44 - -141. Is 26 a factor of w?
False
Let a = 68 - 15. Let n = a + -37. Is n a multiple of 5?
False
Suppose 0 = -42*h + 31*h + 2904. Does 8 divide h?
True
Let m(c) = -7*c**3 + 5*c**2 + 9*c + 2. Let v(r) = 3*r**3 - 3*r**2 - 5*r - 1. Let o(s) = -2*m(s) - 5*v(s). Is 12 a factor of o(5)?
True
Let i = 4 - 12. Let x be 27/(-18)*i/3. Is 28 a factor of x/18 - 1992/(-27)?
False
Let x(j) = -j**3 - 3*j**2 + 6*j + 3. Is x(-6) a multiple of 25?
True
Let k = 20 - 12. Let x be 36/k*(3 - 1). Suppose 0 = 3*p + x - 60. Is p a multiple of 8?
False
Let b(t) = -5*t**3 + 10*t**3 - 2*t - 2*t**2 + 2*t + 2*t. Does 21 divide b(2)?
False
Suppose -c - 3*c + 177 = 3*f, 0 = -3*c. Suppose -f = -7*a - 17. Is 3 a factor of a?
True
Suppose -3*o - 3 + 0 = 0, 249 = -5*d + o. Let m(k) = -10*k + 6. Let q be m(4). Let t = q - d. Is t a multiple of 8?
True
Does 27 divide (283 - 9)*-1*1/(-2)?
False
Let h(n) = -n**2 + 4*n + 3. Let m be h(4). Suppose 0 = 4*x + m*y - 41, 5 = x - 2*y + y. Is x a multiple of 4?
True
Let g(j) = j**3 + j + 1 + 0 + 8*j**2 + 2*j. Is g(-6) a multiple of 21?
False
Suppose 5*x = 3*x - 3*v + 47, 0 = -3*x + 4*v + 96. Is x a multiple of 14?
True
Let u = 1 - 1. Let n(v) = v**3 - v**2 + 54. Is n(u) a multiple of 9?
True
Let y be ((-12)/30)/(1/(-5)). Suppose y*u - 70 = -3*u. Does 7 divide u?
True
Suppose 0*m = -3*m - 12. Let k be -2*1 - (m - -3). Is 3 a factor of (-28)/(-6) - k/3?
False
Let r = 0 + 2. Let n be 56/6 - r/(-3). Does 6 divide ((-6)/5)/((-1)/n)?
True
Let t(x) = -11*x**2 + 7*x + 17. Let f(i) = -5*i**2 + 4*i + 9. Let z(w) = 9*f(w) - 4*t(w). Let d be z(9). Suppose d*c = -9 + 57. Is 12 a factor of c?
True
Let t be (2 + 1)/((-3)/24). Let m = 9 - t. Does 11 divide m?
True
Let d = -104 + 281. Suppose 49 = r - 2*n - 0, -4*n + d = 3*r. Is r a multiple of 12?
False
Let k(w) = -41*w**3 + w**2 - w - 1. Let f be k(-1). Suppose 4 = -2*v, 4*n = -5*v - f + 212. Is 15 a factor of n?
True
Let g = -114 - -121. Is 5 a factor of g?
False
Let y(x) = x**3 - 10*x**2 - 12*x - 15. Let k be y(12). Suppose -38 = -5*m + 5*c + 97, 0 = -5*m - c + k. Is 13 a factor of m?
True
Let m(k) = -2*k + 2. Let p be m(-4). Suppose -2*r + p = -5*l, -2*l = -r - l + 8. Suppose d + i - 13 = 0, -5*i + r + 7 = -d. Is d a multiple of 5?
False
Let v(l) = l + 3. Let s be v(0). Suppose -4*n + 14 = -s*n. Is n a multiple of 7?
True
Let c be (-2)/6 + (-1288)/(-21). Let y = -28 + c. Is y a multiple of 11?
True
Let h(j) = -32*j**3 - 2*j**2 + 2*j - 1. Let w be h(1). Let l = 3 - w. Does 13 divide l?
False
Let q(d) be the second derivative of -1/20*d**5 - 7/2*d**2 - 4/3*d**3 + 2*d + 0 - 7/12*d**4. Is q(-6) a multiple of 3?
False
Let d(j) = -43*j - 4. Does 5 divide d(-1)?
False
Suppose -3*r - j + 2 = -0*r, r - 22 = 5*j. Suppose -k - 2*k = 0, -5*v + 110 = -r*k. Is v a multiple of 7?
False
Let r(v) = 4*v**2 + v + 1. Let q be r(-1). Suppose 0 = -0*u + q*u + 4, 5*u = 3*p - 5. Let b = p + 9. Does 4 divide b?
False
Suppose q = -2*q + 9. Suppose 13 + 32 = q*a. Does 15 divide a?
True
Let i(n) = n - 6. Let c be i(8). Suppose -5*d = -c*d - 108. Is d a multiple of 13?
False
Let q(h) = -h**2 + 5*h + 3. Let u be q(5). Suppose -4*v = -u*v - n - 23, 19 = v - 5*n. Does 20 divide v?
False
Suppose -340 = -14*d + 10*d. Does 17 divide d?
True
Suppose -u = 4*u. Suppose 3*t + u*t = 0. Suppose -7 = -t*g - g. Does 3 divide g?
False
Suppose 4*d - 2*g + 6 = 0, 2*d = 6*d + g - 9. Let m be -23*d - 12/6. Is 456/10 - 10/m a multiple of 23?
True
Suppose -4*b - 25 + 9 = 0. Let g(s) = -s**3 - 3*s**2 + 4*s + 3. Is 2 a factor of g(b)?
False
Let x(g) be the first derivative of -g**2/2 + 11*g + 1. Is x(-11) a multiple of 14?
False
Let x(y) = y + 16. Is x(-12) a multiple of 4?
True
Suppose -215 - 157 = 4*l. Is -5 - -1 - (l + -1) a multiple of 18?
True
Let r(a) = -21*a + 1. Is 31 a factor of r(-2)?
False
Suppose 0 = 3*i - 4*i - 5*r + 5, -i + 12 = -2*r. Suppose 3*f = 2*f + i. Is 10 a factor of f?
True
Suppose 5*t - 4*t - 181 = 0. Is t a multiple of 17?
False
Let k(t) = -2*t - 6. Let p be k(-4). Let w(a) = -a - 6*a + a**3 - 3*a**p + 4*a**2 - 4*a**2 - 2. Does 13 divide w(5)?
True
Suppose -2*m + 186 = -m - 3*f, -3*m + 3*f = -528. Let z be (m/(-12))/((-1)/4). Let c = -33 + z. Is c a multiple of 13?
False
Let n(k) = k**3 + 4*k**2 - 