11*u - 10. Is s(1) a multiple of 3?
False
Let d(p) = 27*p**2 + 5*p + 6. Is 8 a factor of d(3)?
True
Let o be (-64 - -3 - -2)/1. Let g = -48 - o. Is g a multiple of 11?
True
Let g(c) = -3*c - 12. Let p = -27 - -18. Does 11 divide g(p)?
False
Let z be 2/(-6)*-11 + 6/(-9). Suppose 67 = f - 2*x - 6, 2*x = 2*f - 144. Suppose -2*o - f = -z*o. Is 21 a factor of o?
False
Let c(p) be the second derivative of -3*p**3 + 7*p**2/2 - p. Let d be c(-6). Let q = -24 + d. Is 13 a factor of q?
True
Suppose 135 = k - 6*k. Let o = 30 + k. Suppose 5*y - 111 = -o*u, 69 = -3*y + 6*y + u. Is 12 a factor of y?
True
Suppose -3*z = 3*a - 297 - 90, 2*a - 270 = 4*z. Suppose 0 = 5*p - a - 44. Does 5 divide p?
True
Suppose 2*r = -l + 1055 + 770, -5466 = -3*l + 3*r. Is 12 a factor of l?
False
Let m = 142 + 189. Let g = -146 + m. Is 27 a factor of g?
False
Let a(u) = u**2 - u + 17. Suppose 0 = -0*f + f. Let y be a(f). Suppose -y = -2*z - 1. Is z a multiple of 4?
True
Suppose -10*f + 9 + 21 = 0. Let c(s) = 54*s - 2. Is 20 a factor of c(f)?
True
Let y be 0*8/24 + (-5 - -1). Does 15 divide (-70)/y*(-1728)/(-180)?
False
Let x(c) = -2*c - 11. Let p be x(-4). Is 2 a factor of (3 + (-46)/6)*p?
True
Suppose 4*w = 5*x - 0*w, -3*x = -5*w + 13. Suppose -5*o + 3 + 1 = -x*s, 2 = -o - 2*s. Suppose -199 = -5*d - 4*j, j - 1 + o = 0. Is d a multiple of 13?
True
Let c be (-85)/(2/6*(2 - 3)). Let g = -55 + c. Is 22 a factor of g?
False
Let w = -9 - 1. Let x(k) = -k**2 - 11*k + 8. Is 3 a factor of x(w)?
True
Suppose -784 - 816 = -20*p. Is 16 a factor of p?
True
Is 5/10*-7*-38 a multiple of 20?
False
Let s(z) = 21*z + 3. Let j be s(3). Suppose 2*t = 4*r - j, -2*r + 7*r + 5*t = 90. Suppose 0 = b + r - 48. Is 13 a factor of b?
False
Let m = -196 + 369. Is 13 a factor of m?
False
Suppose -2512 = -4*a + 4*c, 2 = c - 0*c. Is 21 a factor of a?
True
Let o be 9/6 - (-1053)/6. Let m = o - -80. Is 20 a factor of m?
False
Let t be 17 - (9/3 - 2). Suppose -t = -5*n - 4*z + 4, -2*z = -4*n - 10. Suppose n = -s - 0*s + 11. Does 5 divide s?
False
Let a be 2/(-6) - (-16)/3. Does 14 divide (47 + 10/a)/1?
False
Let l be 23/(-4)*(-4 + 0). Suppose -i = -5*x + 58, x - 2*x + 4*i = -l. Suppose x*d - 13*d = -148. Is d a multiple of 21?
False
Let j(b) = -5*b + 133. Is j(11) a multiple of 13?
True
Let w be -21 + (-1 - 4/(-4)). Let x = -37 - w. Is (-75)/(-6)*x/(-10) a multiple of 8?
False
Suppose 4*i - 4*p - 1933 - 455 = 0, 2*i = -p + 1191. Is i a multiple of 77?
False
Let q be 5 + -2 - (-9)/3. Let z = q + -4. Let s = z - -8. Does 5 divide s?
True
Suppose -18 = -4*n - 6. Suppose n*a = -a + 16. Does 4 divide a?
True
Suppose 5*z - 633 = 3*y, y = 4*z + z - 641. Let u = -89 + z. Is 20 a factor of u?
True
Suppose -5 = 3*g - 14. Suppose 2*t - 5*t - 3*n + 3 = 0, 3 = 5*t + g*n. Suppose 0 = 5*l + 3*a - 185, 4*a = -t*a. Does 16 divide l?
False
Suppose 5*y - 11*y + 24 = 0. Suppose t + 33 = y*t. Is t a multiple of 2?
False
Suppose 3*c + 843 = 6*c. Suppose -v + 2*v - 379 = -3*g, 5*v + c = 2*g. Is g a multiple of 26?
False
Let t = 0 - -4. Suppose x + 1 = t. Suppose x*g = 4*g - 5*m - 9, 3*m = -3. Is 2 a factor of g?
True
Let g be 1/(-2)*1*76. Suppose 4*j = j + 12. Does 15 divide (2 + g/j)*-2?
True
Let w(i) = i**3 - 5*i**2 - 7*i + 12. Let k be w(6). Suppose 2*a + 372 = k*a. Is 31 a factor of a?
True
Let y = 74 + -41. Is y even?
False
Suppose -4*h = w - 41, -w + 45 = 3*h + 15. Suppose 50 = l - h. Suppose -59 = -g + 5*u, 4*g - u = 80 + l. Is 15 a factor of g?
False
Is (-1014)/(-8) + 54/(-72) a multiple of 26?
False
Let k = 1 + 6. Let q(p) be the third derivative of -p**5/60 + 5*p**4/12 - p**3/3 + 24*p**2. Is 4 a factor of q(k)?
False
Let t = -3452 + 4982. Is 18 a factor of t?
True
Suppose 4*g = 23 + 9. Let v(q) = q**3 - 9*q**2 + 8*q + 6. Let x be v(g). Suppose i - 4*i = -x, -3*i = 4*b - 146. Is 35 a factor of b?
True
Let x(j) = -3*j**2 - 6*j - 3. Let f(z) = -4*z**2 - 5*z - 3. Let t(p) = 2*f(p) - 3*x(p). Let r be t(-7). Is 4 a factor of (-1)/r - (-354)/24?
False
Let c be 2/((-6)/(-4) - 1). Suppose a + 2*m - 4 = 0, 2*a - c + 0 = -2*m. Is (-33*(-2 - a))/1 a multiple of 21?
False
Let y(i) = 2*i + 2*i - 9*i - 7 + 2*i**2 + i. Is 9 a factor of y(-3)?
False
Let s be -5 + (5 - 1) + 285. Let g = s - 68. Does 42 divide g?
False
Let i = -190 - -69. Let u = -45 - i. Is u a multiple of 19?
True
Suppose 3*n = 4*b - 24, 0*b + 3*b + 5*n = 18. Suppose -4*r = -b*r + 64. Is 11 a factor of r?
False
Suppose 0 = -3*n + 3*b + 28 - 1, 5 = n + b. Suppose -1478 = -n*s - 155. Is 9 a factor of s?
True
Let u(y) = -y**2 + 4*y + 1. Let x be (6 - 8)/((-2)/4). Let s be u(x). Let p = s - -95. Is 32 a factor of p?
True
Let b(f) = 4*f**2 - 9*f - 38. Is b(-4) a multiple of 4?
False
Let b be 0 + (-12)/(-4) - 0. Suppose 2*p + 129 = c, -b*c + 249 = -c + 5*p. Is c a multiple of 16?
False
Let a(r) = -r**2 + 5*r + 27. Let f be a(8). Suppose -2*g - f*u + u + 20 = 0, -5*u = 3*g - 30. Is g a multiple of 8?
False
Suppose -l + 8 = -c, -3*l = 3*c - 0*c + 6. Suppose 5*q + 18 = l*q. Is (-6)/q - (-472)/12 a multiple of 10?
True
Suppose -5*o - 24 = -11*o. Suppose -o*q + q = z - 158, -46 = -q + 3*z. Does 28 divide q?
False
Suppose -3*o + 15 = -0. Suppose w = -z - 35 + 267, 0 = -o*w - 2*z + 1172. Does 30 divide w?
False
Let w = -591 + 1675. Does 43 divide w?
False
Suppose 12*q + 2 = 11*q, 3*q = -5*m + 954. Is m a multiple of 32?
True
Suppose -48 + 176 = 3*c + g, -3 = 3*g. Let n = c + -34. Does 9 divide n?
True
Let v = 3672 - 2312. Does 25 divide v?
False
Suppose -l = 7*l - 1128. Is l even?
False
Let r(u) = -u**2 - 22*u - 36. Let w be r(-22). Let l = -6 - w. Is l a multiple of 10?
True
Let x(o) = o - 9. Suppose -2*h + 3*n = 6*n, 3*h - 3*n = 30. Let q be 18/((-3)/h*-3). Does 2 divide x(q)?
False
Let v = -41 - -41. Suppose v*o + 3*o - 4*z = 82, 28 = o - z. Does 15 divide o?
True
Suppose 5*t + 330 = 5*j, 11*j - 7*j = t + 261. Is 13 a factor of j?
True
Suppose 0 = -5*z + 449 - 64. Does 11 divide z?
True
Let f(w) = w**3 + 3*w**2 + 5*w - 2. Let c(h) = h**3 + 2*h**2 + 5*h - 2. Let i(v) = -5*c(v) + 6*f(v). Suppose 3*q - 2*q + 4 = 0. Is 18 a factor of i(q)?
False
Let a = -1402 - -5325. Is 19 a factor of a?
False
Is 10 a factor of (-83)/(-2) - 39/26?
True
Let y(m) = -m**3 + 7*m - m - 6 - m**2 + 1 + 2. Let n be y(-6). Suppose 0 = -5*w - 3*f + 351, n = w + w + f. Is 19 a factor of w?
False
Let t be (24/(-18))/((-3)/((-747)/2)). Let i = t - -238. Is i a multiple of 36?
True
Let q be (-2898)/33 + 12/(-66). Is 9 a factor of (-2 + 3)*-3 - q?
False
Let p be (-8)/(-12) - (-932)/6. Let j = -7 - -11. Suppose -3*i = -3*t - 156, i - j*i + p = -5*t. Is i a multiple of 10?
False
Suppose y - 2*y = 2*a + 10, -y + 20 = -4*a. Let q = 5 - y. Suppose 0*j - 3*r = 2*j - 41, q*j + 3*r = 80. Does 13 divide j?
True
Let j be 22*1 - (-2 - -3). Suppose 3*m = 6*m + j. Is 439/8 - m/56 a multiple of 13?
False
Let g(o) = 6*o**3 - 2*o**2 - o. Let y be g(-1). Let v(j) = 20*j + 24*j - 5 + 3*j**2 - 4*j**2 - 53*j. Is v(y) even?
False
Suppose 3*v + 117 = 510. Suppose 3*w - v = 259. Is 26 a factor of w?
True
Let w(y) = 4*y**2 + 2 + 5*y**2 - 22*y + 21*y. Suppose -3*m + 5 = -4. Is 22 a factor of w(m)?
False
Let a be (-12)/(-42) - 716/7. Let n = a + 221. Does 33 divide n?
False
Is ((-1)/(-2))/((-9)/(-954)) a multiple of 12?
False
Does 4 divide ((-12)/36)/((-2)/132)?
False
Is 2 a factor of (-5 - -6)*-7 + 687?
True
Is (-11 - -10)/(2/(-698)) a multiple of 68?
False
Is 2 a factor of (1742/3)/13*3?
True
Is 160/(-5)*22/(-2) a multiple of 8?
True
Let k(s) = s**3 + 7*s**2 - s + 2. Let x be k(5). Suppose -4*i + 95 = -x. Does 14 divide i?
True
Suppose 4*u = 8 - 0. Suppose -2*p + 6 = 0, -u*p + 241 = 4*z - 7*p. Is 26 a factor of z?
False
Let k = -524 + 626. Is 17 a factor of k?
True
Let s = 307 - 217. Suppose 5*o - s = -o. Is 12 a factor of (2 - o)/(-4 - -3)?
False
Let f = -38 - -20. Let s be (-3)/3*f - -1. Let z = 61 + s. Is z a multiple of 16?
True
Is 35 a factor of (6 - 23176/(-56)) + (-1)/(-7)?
True
Does 15 divide 1*6*-4*(-945)/252?
True
Let v be (0 + 0)*1/(-2). Suppose q = -1 - v. Is 18 a factor of 0 + 1 - q - -23?
False
Let a(s) = -2*s - 19. Let u be a(-8). Does 4 divide 40 + (-2 - u) + -3?
False
Let y(t) = 2*t**2 - 3*t + 4. Let r be y(2). Let l be (-246)/36 + (-1)/r. Does 16 divide (16/3)/(l/(-21))?
True
Let n = 34 - 32. Is 67 + 6 + (n - -1) a mult