237. Is h a multiple of 42?
False
Suppose -2*t = 5 - 13. Suppose 0 = t*z + z - 5. Is 20 a factor of (999/5 - 18/(-90))*z?
True
Suppose 2280 - 219 = 3*n. Let j = n + -509. Is j a multiple of 7?
False
Suppose -4*v = 3*a + 2*v - 2*v - 6300, -5*v = 0. Does 25 divide a?
True
Let v(n) = -n**2 - 17*n - 25. Let w be v(-16). Let a be (-2)/(-6) + w/27. Suppose -4*q = -4*z + 200, 5*z + 5*q - 200 = -a*q. Does 15 divide z?
True
Let k(p) = -292*p**3 - 4*p**2 - 5*p - 7. Does 23 divide k(-4)?
False
Let f(c) = -c + 1. Let z(u) = -107. Suppose -3*q + 6 = 3*r, -4*r - 4 = -4*q + 12. Let t(w) = r*z(w) + 3*f(w). Is t(0) a multiple of 22?
True
Let l(y) = -y**3 - 4*y**2 - 18*y + 13. Let z be l(7). Let v = 1031 + z. Is v a multiple of 27?
False
Suppose 2 = 3*s - 2*s. Suppose -3*w = -2*d - 7, s = 2*d - 0*d. Suppose -3*z + 2*z + 4*n = 0, -3*z + 75 = w*n. Is 4 a factor of z?
True
Let x be (4*8)/(4/10). Suppose 158 = 3*k - 5*n, 2*k - 48 = -7*n - 4*n. Suppose k*a + x = 47*a. Is 6 a factor of a?
False
Let x(a) = -a**3 + 18*a**2 + 7*a + 60. Suppose 27 - 117 = -5*c - 2*y, 0 = 4*c + y - 72. Is 3 a factor of x(c)?
True
Suppose k - 412 = -5*t, 21*t - 25*t = -k - 344. Is t a multiple of 5?
False
Suppose -1229*u - 407316 = -1257*u. Is u a multiple of 81?
False
Let r(o) = -11*o - 45. Let d be r(-6). Let z = d + -57. Let w = 49 + z. Is 13 a factor of w?
True
Suppose 6*a - 4*a - 36 = 0. Suppose -3*u + a = -5*g, -4*g = -u - 9*g - 14. Let b(y) = 60*y - 4. Is 13 a factor of b(u)?
False
Let g = 77 + -81. Is 22 a factor of (57/(-6))/(g + (-284)/(-72))?
False
Let a = 26 + -22. Suppose 8976 = a*d + 7*d. Does 22 divide d?
False
Let x(s) = 5*s**2 - 77*s - 82. Is x(-25) a multiple of 18?
True
Let w(q) = 85*q**3 - 6*q**2 + 17*q + 11. Let o(z) = -42*z**3 + 3*z**2 - 8*z - 6. Let y(m) = -7*o(m) - 3*w(m). Is y(3) a multiple of 42?
True
Let q be (((-8)/(-30))/(-2))/(231/(-3465)). Let w(g) be the first derivative of 8*g**3/3 + 5*g**2/2 - 7*g + 2. Does 16 divide w(q)?
False
Let h be 276/161 + ((-12)/7 - -2). Suppose b + 187 = h*b. Does 15 divide b?
False
Let k be 9/2*(7 - 5). Suppose -4*m = -5*b - 1380, -2*m - k*b = -11*b - 688. Is 10 a factor of m?
True
Suppose -9*v = -3 - 240. Let f be (28/(-12))/(-7)*v. Suppose 6*s - f*s + 261 = 0. Does 44 divide s?
False
Let h = 22 + -20. Suppose 0 = -2*s + h, 5*s - 894 - 736 = -5*z. Suppose 0*d - z = -4*d - 5*f, -4*d = -f - 295. Does 25 divide d?
True
Suppose 56*d = 59*d - 4*k - 160495, -4*k = 4*d - 214068. Is d a multiple of 88?
False
Suppose 6157 + 19323 = 8*g. Is 10 a factor of g?
False
Suppose -7*p + 25 - 4 = 0. Suppose -j + 466 = p*a, -3*j + 2 = -1. Is a a multiple of 11?
False
Is 80 a factor of -2*(-35 + 33)/(8/3310)?
False
Let n = 40 + -101. Let v = 661 + n. Does 24 divide v?
True
Let p(t) = 279*t + 561. Let g be p(-2). Suppose -6*r = -r - 20. Suppose k = g, 349 = r*q - 3*k - 74. Is q a multiple of 12?
True
Let f(m) = 12*m + 14. Let c be f(8). Let t = -201 + c. Let a = t + 161. Is 14 a factor of a?
True
Let v(a) = -4*a**2 + 16*a - 23. Let o be v(6). Does 47 divide 15*o*-2*(-8)/(-40)?
False
Suppose -6*r + 177 = -273. Let f = r - 49. Is 2 a factor of (6/(-4) + 0)*(f + -30)?
True
Let y(d) = -4*d**2 - 3*d - 6 + 3*d - 2*d**3 - d + 7*d. Is y(-6) a multiple of 28?
False
Suppose -16*u = -31*u + 13695. Let z = -587 + u. Does 4 divide z?
False
Suppose -5*a + 1524 = -9816. Suppose a = 4*y + 3*y. Suppose 414 = 6*t - y. Is 14 a factor of t?
False
Is (2121/(-404))/(2/368*-1) a multiple of 46?
True
Suppose 716 = s + 3*s. Suppose -18 = -f - 5*w, -2*f = -f - 3*w + 6. Suppose f*j + 149 - 47 = 2*d, 2*j - s = -3*d. Is d a multiple of 7?
False
Let f(l) = 13*l + 25. Let q = -32 + 32. Let y(j) = -j**3 + j**2 + 11. Let s be y(q). Is f(s) a multiple of 18?
False
Let w(i) = -i**3 + 26*i**2 + 7*i + 64. Is w(19) a multiple of 13?
False
Let i = 251 - 251. Suppose -3*d + d + 3*g + 2427 = i, -2*d + 4*g = -2422. Does 37 divide d?
True
Suppose -2*w + 12516 = 3*v, -9*w + 8*w - 4*v + 6253 = 0. Suppose 3*j - w + 785 = b, -5*j = -5*b - 9140. Is 33 a factor of j?
False
Let t be 2/((-4)/16*-2). Suppose 4*p - 474 = -5*i + 536, 0 = -2*i + t. Suppose 6*w = w + p. Is w a multiple of 6?
False
Let v(m) = m**3 + 7*m**2 - 2*m + 5. Let j = 34 - 35. Let f(i) = -4*i**2 - 5*i - 6. Let w be f(j). Is 42 a factor of v(w)?
False
Let n = -1800 + 2535. Does 35 divide n?
True
Suppose -72*y + 79285 = -457691. Is 244 a factor of y?
False
Suppose 4*s - 2*z = -32, 19 = -s - 4*z - z. Let o be (s/(-11) - 1) + (-28336)/(-121). Suppose 0 = 4*g - 2*g - o. Is 9 a factor of g?
True
Suppose 151*t + 130221 = 242*t. Is 27 a factor of t?
True
Let h(l) = -134 - 16*l - 34*l**2 - 9*l + l**3 + l**3 + 138. Does 7 divide h(18)?
False
Suppose -8*d + 6698 = -1038. Suppose 10*a - d = 193. Is a a multiple of 4?
True
Suppose 5*x - 62030 = -5*o, -4*o = -4*x - 3*o + 49594. Is 10 a factor of x?
True
Let u = 23510 - 32992. Does 37 divide 1/((-2)/(-13) - u/(-63492))?
True
Let d(n) = -1309*n - 9652. Is d(-8) a multiple of 205?
True
Let f = 5821 - 4331. Is 149 a factor of f?
True
Suppose 0 = 410*f - 437*f + 191403. Does 61 divide f?
False
Suppose 2*s - 5*n = -493, -5*n + 246 = -s - 3. Let c = s + 286. Does 7 divide c?
True
Let u(m) = m**3 + 7*m**2 + 8*m + 14. Let o be u(-6). Let z(d) = -d - 3*d - 6 + 5*d**o - 7*d. Does 25 divide z(5)?
False
Suppose 45*n - 19*n - 22248 = 17*n. Is n a multiple of 24?
True
Let p = 5235 - -24765. Does 24 divide p?
True
Let a(f) = 2*f**2 + 9*f + 34. Let m be a(-9). Is 26 a factor of (486 - m)/(1*1/1)?
False
Suppose 15043*g - 14999*g = 1579908. Does 53 divide g?
False
Let l(b) = -3*b**3 + 2*b**2 + b + 960. Let f be l(0). Let o = -552 + f. Is 24 a factor of o?
True
Let y(l) = 2*l**2 + 5*l + 4. Let s be y(-2). Suppose -2*u - 123 = -z, 0*z - s*z = 4*u + 250. Let x = 97 + u. Is 3 a factor of x?
False
Let m(z) = -4*z**2 + 30*z + 3. Let x be m(8). Let y(u) = u**3 + 13*u**2 - 8*u - 30. Does 2 divide y(x)?
True
Let p(r) = -28*r - 105. Is 27 a factor of p(-36)?
False
Let f = -2086 + 2156. Is 14 a factor of f?
True
Let r(h) = -20*h - 12*h - 2 + 16 - 8*h. Does 8 divide r(-1)?
False
Let i be (-3)/(66/(-20) - (2 - 5)). Let d be 5/25 + (-701)/i*2. Is 12 a factor of (-42)/2*d/21?
False
Suppose -5*y + 25 = 0, -19*n = y - 279844 - 510067. Is n a multiple of 26?
True
Suppose 0*d + 176 = 2*d. Let l be (-16)/d + 20/(-11) + 3. Is 8 a factor of 4/(-24) - (1209/(-18) + l)?
False
Suppose 7 = -t + 8. Is (-3)/(-3) - (-9 + t) a multiple of 2?
False
Let o = -49 - -90. Let r = o - 37. Suppose -r*c + 5*h = h - 80, c - 5*h = 40. Is c a multiple of 15?
True
Suppose -5*x = -0*x - 270. Let t be 210/(-4)*2/3. Let d = t + x. Is d even?
False
Is 46934/(-93)*(-27)/6 a multiple of 13?
False
Let r = 385 + -704. Does 29 divide (-8)/(-4) - (r - (3 + -5))?
True
Let r(l) = l**2 + 11*l + 25. Let y be r(-10). Let z = 16 - y. Is 7 a factor of 1*-2*(z + (-5 - 20))?
False
Let z(h) = 37*h**3 + 6*h**2 + 88*h - 632. Is 99 a factor of z(7)?
True
Let r(i) = 5*i**2 + 9*i + 137. Suppose -2*g - 4*q = -40, -g + 0*q + q = -14. Is r(g) a multiple of 27?
False
Let x(q) be the third derivative of -5/24*q**4 + 0*q + 1/60*q**5 + 0 + 14*q**2 + 23/6*q**3. Is 7 a factor of x(7)?
False
Let j(s) be the second derivative of 4*s**3/3 - 4*s**2 - 5*s. Let z be j(5). Let b = z + -1. Does 7 divide b?
False
Suppose 163*i - 3165651 = -612419. Is 178 a factor of i?
True
Let f be 575 + -1*(7 - (0 + 5)). Suppose -f = -23*v + 4510. Is v a multiple of 13?
True
Suppose 0 = 48*x - 43763 - 16429. Is 38 a factor of x?
True
Does 63 divide -9 + (-1 - -2) + (859 - 32)?
True
Let r(k) = 257*k + 996. Is 108 a factor of r(9)?
False
Suppose 0 = 4*d + 24 - 20. Is 12 a factor of 2075*3/(-15)*d?
False
Let t(y) = y - 29. Let i(o) = 1. Let s(r) = -3*i(r) - t(r). Let p be s(22). Suppose 6*b = 52 - p. Is 3 a factor of b?
False
Suppose 0*r = -d - r - 41, 2*r = -d - 39. Let x = 37 + d. Is 11 a factor of (x/(-3) - 4 - 20)/(-2)?
True
Let a = 48187 - 30333. Is a a multiple of 79?
True
Suppose 3*o + 6 = -t - 0*t, -6 = -2*t + 3*o. Suppose t = 20*s - 12*s - 480. Is s a multiple of 15?
True
Let z be ((-3)/1)/9 - (-90)/(-54). Does 12 divide (-349)/(-2)*-10*z/10?
False
Suppose 0 = -4*l + 9*z - 5*z + 116248, -3*l + z + 87198 = 0. Does 13 divide l?
True
Suppose -3*k + 208724 = -19207. Is k/231 + (-2)/(-21) a multiple of 12?
