actor of k?
True
Suppose -3*l = -1181 - 367. Is l a multiple of 43?
True
Suppose w - 73 = 863. Suppose -8*x = -w - 88. Is x a multiple of 10?
False
Suppose -6*v + 7*v - 5*h - 479 = 0, h + 2443 = 5*v. Is v a multiple of 3?
True
Let d(w) = 4*w**2 + w - 16. Does 31 divide d(-9)?
False
Let x = -305 + 845. Is x a multiple of 30?
True
Let r(n) = n**3 - 14*n**2 + 11*n - 9. Let v be r(5). Let s = -131 - v. Is s a multiple of 48?
True
Suppose -8*s + 5*s = -42. Suppose 4*i = i - a - 19, 7 = -4*i - 5*a. Let p = i + s. Is p a multiple of 6?
True
Suppose -d = -4*a - 0 + 1, 0 = -5*d - a - 110. Let b = 23 + d. Suppose 192 = 4*s + b*s. Is 8 a factor of s?
True
Is 34 a factor of (-874)/6*-3 - -5?
True
Let x(i) = 2*i**2 - 8*i - 10. Let s be x(5). Is -6*(-13 - s - 0) a multiple of 16?
False
Suppose -9*u + 7*u - 410 = -g, 5*g - 2*u - 2042 = 0. Is g a multiple of 6?
True
Let l(d) = -32 - 18*d + 5 + 9 + 11. Does 7 divide l(-2)?
False
Let p = 301 - 197. Let m = p + -6. Suppose n = 3*n - m. Is 10 a factor of n?
False
Let v be (-540)/6*(-8)/(-6). Let u = -81 - v. Suppose 2*z - u - 25 = 0. Is z a multiple of 26?
False
Let w(o) = -40*o + 393. Let z be w(11). Let n be (-5)/(-2)*(-48)/(-3). Let x = n - z. Is 28 a factor of x?
False
Let n = 48 - 44. Suppose -3*i + 358 + 313 = n*z, -5*z - 3*i + 835 = 0. Is z a multiple of 26?
False
Suppose -2 = -3*t - 5, -3*x + 3*t = -1191. Is 18 a factor of x?
True
Suppose 38*b = 33*b + 2055. Let p = b + -255. Does 30 divide p?
False
Suppose 0 = -3*j + 148 + 59. Let v(b) = -b**2 + 3*b + 62. Let w be v(-9). Let o = w + j. Is 19 a factor of o?
False
Is 60*((-22)/77)/((-6)/399) a multiple of 12?
True
Let k = -130 + 82. Is 12 a factor of (-1 - 2)*880/k?
False
Let s = 41 - 37. Let m(p) = p + 6. Let o be m(-6). Suppose -s*g = -o*g - 72. Is g a multiple of 10?
False
Let f(l) = 129*l. Let h be f(1). Suppose -4*k + 350 = k. Let t = h - k. Does 19 divide t?
False
Let b(t) = -t**3 + 8*t**2 - 3*t - 4. Let f be b(6). Let n = 104 - f. Is 18 a factor of n?
True
Suppose -161 - 264 = 5*l - 5*h, 0 = -l + 2*h - 81. Let r = l + 110. Is r a multiple of 2?
False
Let h = 3 - 1. Suppose -3*c = h*u - 5, 0*u + 3*u - 45 = 3*c. Is u a multiple of 10?
True
Suppose -2*a + 129 + 351 = 0. Suppose -3*h = 3*b - a, 3*b - 240 = -0*b + 5*h. Is b a multiple of 5?
True
Let v(p) = -3*p - 2 - 2 + p**2 - 2*p. Let y be v(-4). Let i = 50 - y. Does 5 divide i?
False
Let h be (2/3)/(6/(-45)). Let i be h*(-1 - 12/(-15)). Does 5 divide i + 9/((-27)/(-42))?
True
Suppose m - 2*d - 1345 = 0, 5*d + 2688 = 3*m - m. Is 71 a factor of m?
True
Let y = -433 + 979. Is 26 a factor of y?
True
Suppose -419*y + 411*y + 8960 = 0. Is 35 a factor of y?
True
Let t(k) = 3*k**2 + 15*k + 24. Suppose 3*z + 33 = -0*z. Let h be t(z). Let f = -126 + h. Is f a multiple of 29?
False
Suppose -4*z + 3*f = -4 + 19, 2*f + 24 = -3*z. Let r(j) be the second derivative of -j**5/20 - j**4/2 - j**3/6 + 3*j**2/2 + 2*j. Is 3 a factor of r(z)?
True
Suppose -4*j - 3*s + 461 = 0, 0 = -4*j - 5*s - 170 + 621. Suppose 118*z = j*z - 6. Does 6 divide z?
True
Let t = 22 + -12. Let h(f) = f - 10. Let y be h(t). Suppose y*l + 5*l - 40 = 0. Is 4 a factor of l?
True
Let k = -9 - -15. Let h(x) = -2*x + 32. Let l be h(14). Is 10 a factor of k - (l + -8*1)?
True
Let t(u) = -u + 31. Is t(11) a multiple of 20?
True
Is 27 a factor of (2 + -17)*1/((-6)/54)?
True
Let w = -44 - -105. Suppose 0 = 2*h - 3*d - w, -2*h - d = 4 - 61. Is 29 a factor of h?
True
Suppose 2*s - 1137 - 3574 = 5*u, -4*s = -3*u - 9415. Is 13 a factor of s?
True
Let d = 75 + -31. Does 11 divide d?
True
Let b be ((-4)/(-3))/(3/9). Suppose 0*x + 196 = b*x. Is 10 a factor of x?
False
Suppose 12 + 90 = h - 2*r, -4*h = 5*r - 447. Suppose 15*p - 12*p = h. Is 3 a factor of p?
True
Let p(i) = i + 21. Let y be p(-13). Let c(g) = 2*g**2 - 5*g - 7. Does 18 divide c(y)?
False
Suppose -2*j = -12 + 10. Let w = 74 - j. Does 33 divide w?
False
Does 15 divide (-105)/(-63)*(55 - 1)?
True
Suppose -2*z + 1510 = 2*c, 2652 = 4*c + 3*z - 367. Does 26 divide c?
True
Let k = 93 + -64. Let g = -29 + k. Is 8 a factor of (g + 15)*24/15?
True
Let s = 1241 + -525. Is 12 a factor of s?
False
Suppose -b = -4*b - 42. Let p = b - -20. Suppose -36 + p = -5*v. Is v a multiple of 3?
True
Let v(u) = u**2 + 3 - 7*u + 2*u + 4*u**3 - 3*u**3. Let o(l) = l**3 + 15*l**2 - 35*l - 14. Let i be o(-17). Does 8 divide v(i)?
True
Suppose -4*l = 3*h - 509, h + 17*l = 18*l + 165. Is 65 a factor of h?
False
Suppose 504 = 43*n - 39*n. Is 14 a factor of n?
True
Does 63 divide -1 + 27916/(-63)*(-36)/8?
False
Let w = 515 + -223. Does 20 divide w?
False
Suppose -5*r = -5*x - 10*r + 170, 5*r + 118 = 3*x. Suppose 0 = -0*a - 4*a + 8, 4*a = 3*f - 4. Suppose f*g - x = -4*q, g + g = 4*q - 54. Is q a multiple of 4?
True
Suppose -2*a - 28 = -2*l, 3*a - 5*a = l - 2. Suppose -l*t = 7*t - 2125. Is t a multiple of 55?
False
Suppose -17*d + k = -18*d + 130, 2*d + 4*k - 268 = 0. Is 14 a factor of d?
True
Let m be (-24)/(6/1) + -311. Let g = -220 - m. Is 21 a factor of g?
False
Let u = -2403 + 3791. Is u a multiple of 11?
False
Let r be (-2)/(-4) + 189/2. Suppose r*h = 92*h + 240. Is 20 a factor of h?
True
Suppose 3*o = 2*n - 0*n - 2, -4*n - o = -18. Suppose 0 = -3*x + 2*i + 3*i + 54, 4*x + n*i = 72. Suppose x = 3*q - 2*q. Is 18 a factor of q?
True
Let v(x) = -3*x**2 + 12*x + 12. Let o(b) = 9*b**2 - 35*b - 37. Let a(l) = 3*o(l) + 8*v(l). Does 35 divide a(-5)?
True
Let a = -576 - -1143. Does 8 divide a?
False
Let k(d) be the third derivative of d**4/4 - 3*d**3 - 2*d**2. Is k(12) a multiple of 6?
True
Let g(j) = j**2 + j - 2. Let s be (-8)/6*2/((-6)/(-9)). Is g(s) a multiple of 10?
True
Let s(u) = -u + 3. Let x be s(2). Let a be (x*-75)/(3/2). Let w = -30 - a. Is w a multiple of 20?
True
Suppose 12*f = 903 + 2625. Is 21 a factor of f?
True
Suppose 2*o - 49 = d, -3*o + 54 = -d - 18. Suppose 0 = 3*w - o - 1. Is 10 a factor of (w/6)/((-8)/(-60))?
True
Suppose -6*b - 8 = -8*b. Suppose b*w - 7*w = -183. Is 13 a factor of w?
False
Suppose l - 3*l = 0. Let s be -3*(10/(-6) + l). Suppose -s*v + v + 252 = 0. Is 17 a factor of v?
False
Let r = -142 + 150. Let y(m) = m**2 + m + 1. Let h(t) = -2*t**2 - 8*t + 3. Let u(d) = 2*h(d) + 6*y(d). Is 15 a factor of u(r)?
True
Let i be 12/8 + 3/(-2). Suppose 3*d + i*d = 87. Is 3 a factor of d?
False
Suppose 48 - 50 = -u. Does 26 divide (61/(-2) - u)*(-32)/40?
True
Suppose 8*q - 24 = 6*q. Let t = -13 + q. Let i = 19 - t. Does 10 divide i?
True
Suppose -5*j - 712 = -2*n, -284 = 3*n - 5*j - 1357. Is n a multiple of 14?
False
Suppose -4*z = c - 92, -3*c = -4*z - 405 + 49. Does 15 divide c?
False
Suppose -2*z = -2*r - 756, z + 13*r - 10*r = 378. Is 9 a factor of z?
True
Suppose -s - 16*i + 13*i + 85 = 0, 4*s = -2*i + 390. Does 2 divide s?
True
Suppose 2*g - 9 + 3 = h, 15 = -5*h - 5*g. Let v(c) = 3*c**2 - c + 8. Is 15 a factor of v(h)?
True
Let z = 657 - 460. Is z a multiple of 13?
False
Let u(h) = -2*h**2 - 21*h + 16. Is u(-11) even?
False
Does 13 divide (-43)/(-86) - (-830)/4?
True
Suppose -48*j + 47*j = 1, -t - j + 141 = 0. Is t a multiple of 12?
False
Suppose 0 = -2*d - 2*d + 8. Suppose 0 = l - d*m + 5, -4*l - 8 = -0*l - 5*m. Suppose 5*c = -4*w + 89, -l*w + 72 = c + c. Is w a multiple of 16?
False
Let w be -3 + (16 + -2)*4. Suppose 55 + w = 3*x. Is 12 a factor of x?
True
Let d(g) = g**3 - 2*g**2 - 4. Let u be -2*1 + (-4 - -10). Let z be d(u). Suppose -2*r - 3*r = -n + z, -3*r = 4*n - 20. Is 5 a factor of n?
False
Let o(w) = 14*w + 1. Does 9 divide o(12)?
False
Suppose 0 = -133*k + 130*k + 1140. Is 6 a factor of k?
False
Let x be (-10 - -4)*(6/(-4) - 0). Suppose -38 = x*t - 10*t. Does 12 divide t?
False
Let k be (-5)/15*((0 - 0) + 0). Suppose k*u - 350 = -5*u. Is u a multiple of 30?
False
Suppose -143 = -2*w + w - 4*i, -3*w + 395 = -5*i. Is w a multiple of 27?
True
Suppose -2*g = 2*z - 617 - 223, -4*g + 1680 = -5*z. Does 15 divide g?
True
Is 10 a factor of (-1 + 2)/((-3)/(-60))?
True
Let z = -128 - -207. Suppose 7*r - 19 = z. Is 7 a factor of r?
True
Suppose -2*j = -2*a + 108, 114 + 102 = 4*a - 3*j. Let h = -40 + a. Does 7 divide h?
True
Let o be (4 - 6) + 121/1. Is (1/(-2))/(1/(-2)) + o a multiple of 10?
True
Let c be (-2 + -15)*1 + 3. Let p = -13 - c. Is 37 a factor of (-2 + p)/(11/(-407))?
True
Suppose z + 4 = 0, 0*