ide k(b)?
True
Let h = 5641 - 3118. Is h a multiple of 4?
False
Suppose -5*l - 2*o + 14328 = 0, -11444 = -4*l + 3*o - 0*o. Does 12 divide l?
False
Let r(k) = k**3 - 21*k**2 + 61*k - 129. Is r(26) a multiple of 73?
False
Suppose -37*q = -5*s - 32*q + 63485, -2*s - 4*q = -25370. Is 92 a factor of s?
False
Let b = 458 + -422. Suppose b*t - 40*t = -1468. Does 10 divide t?
False
Let t(z) = z**3 - z + 117. Let c(q) = 7*q - 4. Let d be c(-5). Let j = 39 + d. Does 11 divide t(j)?
False
Suppose c - 6*v + 2*v - 65 = 0, 4 = -2*v. Suppose -p - 5*d - 1 + 21 = 0, 0 = -4*p + 3*d + c. Is p even?
False
Suppose -408388 - 226757 = -190*n - 73*n. Is n a multiple of 3?
True
Suppose -9*v = -2*v - 4228. Let l = v - 26. Is l a multiple of 29?
False
Suppose -89 = -14*s - 61. Is -11 + 575 - (0 + s) a multiple of 53?
False
Let z = 1662 + 802. Suppose z = 4*o + 24*o. Does 4 divide o?
True
Suppose 284*r = 296*r + a - 313991, 5*a = 3*r - 78503. Is 98 a factor of r?
True
Let f(y) = 5*y**2 - 23*y - 134. Let c(n) = -14*n - 219. Let w be c(-15). Is 13 a factor of f(w)?
False
Is (56/84)/((-5)/(-10230)) a multiple of 10?
False
Suppose -i = 3*r - 5837, -i - 5 = -10. Does 3 divide r?
True
Let j = 27 + -23. Suppose j*t - 48 = 5*s - s, -4*t + 48 = 2*s. Is 13 a factor of 132/t - -2*1?
True
Suppose -2*j = 4*b - 6644, -8*j + 3*j + 3314 = 2*b. Suppose 0*n + 2*p = -5*n + 2754, -3*n + b = -2*p. Is 62 a factor of n?
False
Suppose -6431 = -51*a - 25403. Let f = -246 - a. Is f a multiple of 14?
True
Suppose 5*z + 3*a - 26 - 6 = 0, -z + 16 = 3*a. Suppose 3608 = 4*g - x, 0 = z*g - g + 2*x - 2695. Is 24 a factor of g?
False
Let c(p) = -9*p**3 - 3 + p**3 - 4*p**3 + 4*p**2 + 4. Let g(f) = 11*f**3 - 3*f**2 - 1. Let l(q) = 4*c(q) + 5*g(q). Is 27 a factor of l(2)?
False
Let b = 5 - 17. Let x be 15/b - 51/(-12). Suppose -5*v - x*d = -244, -5*v - 3*d = -v - 194. Does 7 divide v?
False
Let q(r) be the third derivative of 0 - 1/120*r**6 + 5*r**2 + 17/24*r**4 + 7/30*r**5 + 3/2*r**3 + 0*r. Is 39 a factor of q(15)?
True
Let s(w) = -w**3 + 7*w**2 - 6*w. Suppose 5*y - 111 = -81. Let z be s(y). Suppose 3*t - 12 = z, 18 = o + 2*t - 43. Does 10 divide o?
False
Let g(c) = 12*c**3 + 200*c**2 + 31*c + 29. Is g(11) a multiple of 29?
True
Let y = 27 - -1. Let c be ((-9)/4)/((-7)/y). Suppose 792 = -5*a + c*a. Does 18 divide a?
True
Suppose 6*d = 4*d + 6. Suppose -2*a = i + 13 - 38, a - d*i - 16 = 0. Does 27 divide 1/(-4) + ((-42198)/(-24))/a?
True
Suppose -2*y = 4*v + 62, -4*y - 1 = -v + y. Suppose -44 + 50 = 3*z, -246 = -3*c + 3*z. Does 6 divide (-48)/c + (-778)/v?
False
Let i(u) = 8*u + 26. Let j be i(-4). Is 5 - (4 - (12 + j)) a multiple of 3?
False
Suppose -166*k = -17*k + 54*k - 2499336. Is k a multiple of 25?
False
Suppose -1026634 = -23*z - 320074. Is 160 a factor of z?
True
Let s be (30 - 5)/5 + -10. Let m(h) = -h**3 - 4*h**2 + 3*h + 8. Let d be m(s). Is (23/d - 24/(-108))*82 a multiple of 29?
False
Let f(z) = 6*z**2 - 63*z + 807. Does 30 divide f(-39)?
True
Let x(n) = 31*n + 133. Let t be x(-6). Is (-14)/2 - (t - 16) a multiple of 31?
True
Is ((-35)/(-14))/(6/((-74436)/(-5))) a multiple of 42?
False
Suppose 0 = -372*n + 370*n + 31504. Is n a multiple of 41?
False
Let s = -199 + 445. Suppose 7*y - 83 - s = 0. Is 40 a factor of y?
False
Suppose 20*w = 3*w + 187. Let c = 128 - w. Is 13 a factor of c?
True
Let i = 671 + 3528. Is 20 a factor of i?
False
Let l(a) = a**2 + 3*a - 28. Let h be l(-7). Let m(r) = -28 + 14*r + r**2 + 4*r - 7 + h*r**2. Is 20 a factor of m(-23)?
True
Suppose 0 = -11*v + 15*v + 4*g - 232, -g - 56 = -v. Does 13 divide v?
False
Suppose -11*s - 4*s + 3*i = -66420, i - 13284 = -3*s. Does 17 divide s?
False
Let c(w) = 122*w + 2457. Is 8 a factor of c(66)?
False
Let c = -1226 - -3309. Suppose -2*d + 5*r + 837 = 0, -c = -5*d + 5*r - 2*r. Is d a multiple of 32?
True
Let d(t) = 19*t + 616. Does 33 divide d(23)?
False
Suppose -4*f = -3*z + 3108, -4*z - 38 = -4*f - 4186. Does 8 divide z?
True
Let p = -50 - -72. Suppose -2*n - 5*i + p = -i, 2*i = 4*n - 14. Suppose 173 = n*l + h, -5*l - h = 3*h - 182. Is l a multiple of 4?
False
Let a(t) = -530 - 4*t**2 + 524 + 3*t**2 - 13*t + 2*t**2. Is a(-8) a multiple of 8?
False
Let o(k) = -85*k + 30. Let z(b) = 11 - 2 + 17 - 11 - 42*b. Let n(w) = 3*o(w) - 7*z(w). Is 9 a factor of n(2)?
True
Let s be -6*4/(-24)*151. Let w = s - -4. Is w a multiple of 44?
False
Suppose -3*q + 30 = -q. Suppose -5*v + 45 = -3*s, 0*s - 33 = -4*v + 3*s. Is 3 a factor of (6/(-2))/(-2 + q/v)?
False
Let i be 1 + (1 - 4/1). Let j be 4/(-4) + 4 + i. Is 5*(7 - (-1 + j)) a multiple of 7?
True
Let l = -50 - -52. Suppose -5*p + 4*v + 196 = l*v, -4*v = 4*p - 140. Does 9 divide p?
False
Let u = -2136 + 7085. Is 49 a factor of u?
True
Let n = 40 + -37. Let k = n + 0. Suppose 6*o - o = 2*b + 413, 0 = -5*o - k*b + 418. Is o a multiple of 13?
False
Let j = 22469 + -14117. Does 24 divide j?
True
Suppose -5 = v + 1. Let f(p) = 2*p + 14. Let o be f(v). Suppose -o*x = 12 - 152. Does 15 divide x?
False
Suppose -4*g + 4*j + 4768 = 0, 19*j = 16*j + 6. Is g a multiple of 4?
False
Let x(d) = 2179*d + 1613. Is 10 a factor of x(13)?
True
Let t = 32 + -30. Suppose 0 = t*r - 64 + 8. Suppose -2*i + 152 = -5*s, i - 51 = s + r. Is i a multiple of 9?
True
Let j(t) = 22*t - 185. Let h be j(10). Does 34 divide (40/6)/(h/(-6) + 6)?
False
Let i be 20/30*(-87)/(-2). Let n = i - -1519. Is 101 a factor of n?
False
Suppose 2*j + 3*o - 2210 = 0, -22*j + o = -19*j - 3282. Is j a multiple of 93?
False
Suppose -28104 = -2*k - h, 75*k = 74*k - h + 14056. Is k a multiple of 8?
True
Let o(x) = x**3 + 33*x**2 + 28*x - 44. Let v(a) = -a**3 - 15*a**2 - 14*a - 32. Let n be v(-14). Is 12 a factor of o(n)?
True
Let l = -120 + 624. Is l a multiple of 84?
True
Let r(z) be the third derivative of 0*z + 15/2*z**3 + 25*z**2 + 25/24*z**4 + 0. Does 22 divide r(5)?
False
Let i be 6/(-12) - (-114)/4. Suppose -i = 3*o - 61. Suppose 143 = 4*m + o. Is 3 a factor of m?
True
Let g be (-21)/(-12)*(76 + (-6 - -2)). Suppose -p = -4*q - g, -5*q + 4*q - 378 = -3*p. Is p a multiple of 7?
True
Let d(o) = 957*o + 3102. Is 33 a factor of d(5)?
True
Suppose -294*y + 32 = -286*y. Suppose -y*c + 691 = -1369. Is c a multiple of 5?
True
Let m be 1/(-1) - (-4)/(4 - 0). Suppose 7*j + 24 - 955 = m. Suppose -401 = -4*p - j. Does 10 divide p?
False
Let j = 37 + -37. Is 36 a factor of j + 598/9 - 148/333?
False
Suppose 0 = -5*l - 2*m + 67098, 598*m - 600*m = -8. Does 102 divide l?
False
Let j = -2892 + 1914. Let q = j + 1755. Is q a multiple of 21?
True
Let g = 5 + 4. Let i(v) = 32*v + 12. Let t(q) = 65*q + 25. Let c(z) = g*i(z) - 4*t(z). Does 20 divide c(4)?
True
Let x be (((-40)/15)/4)/(2/132). Let f = x + 72. Is f - (1 + 2 + -3) a multiple of 4?
True
Let x(v) = 56*v - 5. Let u = -72 + 192. Let g be u/75 + 4/10. Is x(g) a multiple of 9?
False
Let u(c) = 9*c**2 + 5*c + 4. Is 3 a factor of u(-4)?
False
Let s = 133 - 130. Suppose 0 = -5*q + s*n + 1383, 6*q - 11*q + 5*n = -1385. Is 26 a factor of q?
False
Suppose u = -3*a - 87, 3*u + 160 = -3*a - 71. Let s = u + 372. Let c = s + -42. Is c a multiple of 14?
False
Suppose -61*y = 162*y - 52*y - 2234628. Does 66 divide y?
True
Let n(d) = -d**3 + 4*d**2 + 4*d + 5. Let j be n(5). Suppose -4*y = -7*p + 6*p - 1027, y + 2*p - 268 = j. Does 10 divide y?
False
Suppose 5*c = 4*b + 17, -4*b - 5 - 2 = -3*c. Suppose 2*i - 2*x = x + 400, b*i + 2*x = 400. Is i a multiple of 25?
True
Let z be (441/(-7) - -8)/(2/(-72)). Suppose 815 = -2*y + 5*a, -4*y - y - z = -a. Let t = -228 - y. Is 14 a factor of t?
False
Let x(v) = v**2 - 8*v + 15. Let l be x(5). Suppose -5*r - 5 = l, 0*r - 3*r - 1983 = -5*c. Is c/60 - ((-4)/10 + 0) a multiple of 2?
False
Let z(d) = 717*d**3 - 7*d**2 - 9*d + 26. Does 170 divide z(2)?
False
Suppose a = 2*h + 4624 + 5644, 4*a - h - 41044 = 0. Is a a multiple of 28?
False
Is 13 a factor of ((35/(-21))/(-1))/(14/48594)?
True
Let t(d) = -196*d - 4987. Does 22 divide t(-96)?
False
Let p = -79 - -118. Suppose 16 = r - 3*b, 0 = -4*r + 4*b - 7 + p. Is r/(-6) + (-1526)/(-21) a multiple of 12?
True
Let n be 1*(-1 + 0)*-3. Let k(x) = -319*x - 5. Let u(d) = -126*d - 2. Let g(m) = -4*k(m) + 10*u(m). Is g(n) a multiple of 9?
False
Let f(h) = -12999*h**3 + 583*h + 584. Is 250 a factor of f(-1)?
True
Suppose 5*l - 878 = -r, -2*r - l