074. Is d a multiple of 2?
True
Let g(z) = 8*z**2 + 124*z - 32. Let x be g(-16). Let q be 4/(-2 + 108/51). Suppose -x*y = -q*y + 24. Is y a multiple of 12?
True
Let l = 2757 + -2375. Is 4 a factor of l?
False
Let b be 2 + (-12)/9 - 10/(-3). Is (-28 + -12)/((-2)/b) a multiple of 16?
True
Suppose 18*t + k = 13*t + 4086, -8 = 2*k. Is 17 a factor of t?
False
Suppose 0 = -55*f + 88*f. Suppose 11*b - 101 - 548 = f. Is b even?
False
Let d(a) = -a**2 + 5*a + 1. Let m be d(4). Let q(f) = -29*f + 34. Let k be q(1). Suppose -736 - 108 = -4*b - k*x, -2*b = -m*x - 392. Is b a multiple of 26?
False
Suppose -9*t + 87 = -6*t. Let m = t + -37. Is 12 a factor of -6*(m*2 + 0)?
True
Suppose 4*q - 3*q - 4*b = -19, -13 = q - b. Is (3/(-2))/((22/212)/q) a multiple of 53?
True
Suppose 2*n = 4*t - 8460, 0 = -3*t + 107*n - 105*n + 6348. Is t a multiple of 8?
True
Suppose 187030 = 5*j + 5*v, -55913 = -3*j + 2*v + 56325. Is j a multiple of 290?
True
Let h(g) = -18*g**3 - 21*g**2 + 14*g + 105. Is 95 a factor of h(-10)?
True
Let k = 10279 + -9908. Does 31 divide k?
False
Suppose 0 = -7*l + 144 - 39. Is ((-6)/l)/((-2)/(-4680)*-4) a multiple of 18?
True
Suppose 5*w + 5 = -5*c, 8*w = 3*w - 4*c. Suppose 3*t = -5*f + 32, -3*t = w*f - 15 - 13. Suppose 504 = 5*d - t*r, 5*d - 513 = -r + 11. Does 26 divide d?
True
Suppose 252*x - 9805 = 249*x + 4*h, -2*x = h - 6544. Is 4 a factor of x?
False
Let r(p) = -11*p**2 - p. Let l(o) be the first derivative of -32*o**3/3 - 3*o**2/2 + 12. Let j(i) = -6*l(i) + 17*r(i). Does 4 divide j(-1)?
True
Let y be (-6)/(-9) + 126/54. Suppose 5*u - 2374 = 56*g - 59*g, y*g = -u + 470. Does 39 divide u?
False
Suppose -3*k = 5*l - 2766 - 4151, -8 = -2*l. Is 209 a factor of k?
True
Suppose 119*w = 32*w + 370620. Is 10 a factor of w?
True
Let l be (-12)/2 + 2 - 19*51. Is 27 a factor of (-7 - -6)/(l/486 - -2)?
True
Let x = -6522 - -8300. Is 127 a factor of x?
True
Suppose 4*s + 23360 = x, 24*s - 1 = 23*s. Is x a multiple of 22?
True
Suppose 2*p - 19994 = 5*o - 69880, 0 = -5*o + p + 49888. Does 3 divide o?
True
Suppose 5*d = 4*u - 175, -4*d - 41 = u - 2*u. Let p = 37 - u. Let g = 129 + p. Does 40 divide g?
False
Let d(r) = 46*r**2 + 74*r + 587. Is 42 a factor of d(-7)?
False
Suppose 99*x - 303717 - 208608 = 0. Is 52 a factor of x?
False
Let w(j) = j**3 - 14*j**2 - 3*j - 1. Let l be w(14). Let f = 8 - l. Suppose -9*p = -f - 30. Does 6 divide p?
False
Let n(s) = 13*s**2 + 598*s + 122. Is n(-46) a multiple of 3?
False
Suppose -26402 + 97634 = -0*q + 28*q. Is q a multiple of 2?
True
Let b = -548 + 952. Suppose r = 2*i - 0*r - 197, -4*r - b = -4*i. Let c = 234 - i. Does 7 divide c?
False
Suppose 0 = 4*o + 17*j - 13*j - 4, -4*o - j = -7. Suppose 4*w = -2*p + 448, 2*w - o*p = -w + 343. Is w a multiple of 11?
False
Suppose -246*c = -229*c - 24820. Is 21 a factor of c?
False
Suppose 73898 = 27*i - 115237. Is i a multiple of 190?
False
Suppose -4 = 49*h - 50*h. Let l be h + -5 + (2 - -1). Is 21 a factor of (l + 168/20)*5?
False
Let c = -2035 - -2715. Does 4 divide c?
True
Let j(g) = -100*g + 175. Let n(h) = 17*h - 29. Let b(v) = 6*j(v) + 35*n(v). Let q be b(3). Is 4 a factor of (-5)/(-1)*q/2?
False
Let p(t) = 263187*t - t**2 - 263188*t + 1149*t**3 + 1 + 4*t**2. Is 24 a factor of p(1)?
True
Let s = 51 + -50. Let v be s*(1/2 + 36/(-24)). Is 11 a factor of (71 - v - 1)/1?
False
Does 29 divide -49*(-464)/448*(-1 + 5)?
True
Let n(q) = -21*q**3 + q**2 + 10*q - 24. Let a be n(2). Is 3 a factor of 87 + 0 - a/(-21)?
False
Let s = 133 + -131. Suppose 0*u - 187 = -3*u - n, n + s = 0. Is u a multiple of 9?
True
Suppose 29 - 5 = -2*h. Let d be -2*(-1 + (-45)/6). Let q = h + d. Is q a multiple of 5?
True
Suppose 0 = 12421*o - 12417*o - 31292. Does 44 divide o?
False
Suppose -18*c - 14575 = -23*c. Let w = c - 345. Is w/40 + (-3)/(-4) a multiple of 9?
False
Let g(p) = -3*p - 134. Let d be g(-25). Let j = d + 515. Is j a multiple of 38?
True
Let x(y) = 11*y - 4. Let m be x(4). Suppose -2 = -2*l + m. Is 4 a factor of (7/1 - 6)/(1/l)?
False
Suppose -2*t = -4*r + 2, -4*r + 2*r - 5*t - 5 = 0. Suppose 5*m - 8 = 3*m - d, r = m + d - 5. Suppose 3*x - 47 = -5*z, 3*x - m*z = -2*z + 59. Is 4 a factor of x?
False
Suppose 811*y - 827*y = -109120. Is 49 a factor of y?
False
Let v(m) be the third derivative of -m**6/120 - m**5/6 - m**4/24 - 14*m**3/3 + 181*m**2. Is 12 a factor of v(-13)?
True
Let p = -211 - -315. Let i = 209 - p. Is i a multiple of 10?
False
Let z = -210 - -212. Suppose a = 3*k - 671, -z*a - 2*a + 228 = k. Does 6 divide k?
False
Suppose 134*f + 36 = 136*f. Suppose -2*x = -f*x + 3696. Does 7 divide x?
True
Let m = 396 + -392. Suppose 935 = m*g + 3*h, 0*g - 4*g = -2*h - 950. Is 16 a factor of g?
False
Let w(r) = 90*r**3 - 2*r**2 + 25*r + 3. Is 5 a factor of w(3)?
True
Let z(s) = 3 - 3*s + s**3 + 12*s**2 + 0*s + 14*s - 7*s. Is z(-11) a multiple of 8?
True
Suppose 170147 + 34111 = 59*p. Does 3 divide p?
True
Suppose 8*d - 24632 = -3*d + 49981. Is d a multiple of 34?
False
Suppose 2*k - 3*a = 22916, 28*k = 25*k + 3*a + 34383. Is 260 a factor of k?
False
Suppose z = -4*m + 1, -2*z + 0*m - 3*m - 18 = 0. Let j be (z/2)/5*(-2366)/13. Suppose -3*a - y = -235 - 38, 3*a + 5*y - j = 0. Is 12 a factor of a?
False
Suppose 0 = -4*o + 2*p + 91888, 23*p - 21*p + 114864 = 5*o. Does 32 divide o?
True
Let x(a) = a**3 + 8*a**2 - 2*a - 12. Let v be x(-7). Let c = v - -639. Suppose -4*z + 2*l = -c, 6*z - 2*z + 4*l = 684. Is 43 a factor of z?
True
Suppose 383 = -2*t + 3*t - f, t + 5*f = 371. Let p = -281 + t. Is p a multiple of 3?
False
Let a = -1244 + 2612. Does 9 divide a?
True
Let d(s) be the second derivative of -9*s**2 - 10*s - 5/4*s**4 - 13/6*s**3 + 1/20*s**5 + 0. Is d(16) a multiple of 16?
False
Suppose -g + s + 637 = -408, -3*g + 3135 = -4*s. Does 4 divide g?
False
Let u(x) = -16*x**3 + 20*x**2 + 27*x + 195. Is u(-13) a multiple of 39?
True
Suppose -5*c - 5*x - 85 = 0, 5*c - 22 + 83 = 3*x. Is 4/((-16)/c)*(8 + 0) a multiple of 10?
False
Suppose 0*a - 2 = a, -2 = 2*l + 3*a. Let n(v) be the third derivative of 19*v**4/24 + 2*v**3/3 + 2*v**2 + 161. Is 21 a factor of n(l)?
True
Suppose -5*m + u = -36 + 128, 5*m - 4*u + 98 = 0. Is 15 a factor of 2342/12 - m/(-108)?
True
Suppose -12*y - 12*y + 6*y + 231876 = 0. Does 18 divide y?
False
Suppose 391*x - 568*x + 4604301 = 0. Is x a multiple of 29?
True
Suppose 0 = 11*h + 575 - 47. Let a = -47 - h. Let n(q) = 28*q**2 - 4*q + 2. Is n(a) a multiple of 10?
False
Suppose 0*u + 2*u - 3*m - 16 = 0, -4*u - 2*m = 0. Suppose -n = 5*i - 768, n - 3*n = -u*i + 300. Suppose i = 10*v - 27. Is 9 a factor of v?
True
Suppose 4*v - 3*v = -2*v. Suppose v = -n - 0*n - 12. Let s = 20 + n. Is 3 a factor of s?
False
Let m(n) = -n**2 - 16*n + 39. Let s be m(-10). Suppose 2*v = k + 3*k - 130, -3*k + 3*v = -s. Does 8 divide k?
True
Let a(h) = h**3 - 5*h**2 - 10*h + 3. Suppose 2*v - 4 = -5*f - 0*f, 3*v - 25 = 2*f. Is 31 a factor of a(v)?
True
Suppose -4*b + 5*y + 43019 = 0, 3*b - 12693 = -4*y + 19610. Is b a multiple of 17?
True
Let s(l) = -3*l**2 - 268*l + 78. Is 2 a factor of s(-87)?
False
Let z be -1 - (-4)/2 - -2. Let x(d) = d**2 - 6*d - 246. Let o be x(19). Is 51 a factor of z*o*(4 - -200)/4?
True
Does 41 divide (-52)/2*11/(-1)?
False
Is 27 a factor of (-57735180)/1256*(-2)/5?
True
Suppose 0 = 19*p + 5 - 43. Suppose 4*b - f - 621 = -2*f, p*b = -5*f + 315. Is 31 a factor of b?
True
Let i(m) be the first derivative of 14*m**2 - 72*m + 57. Is i(6) a multiple of 12?
True
Suppose 234396 = 60*v + 10*v - 735594. Does 93 divide v?
True
Suppose -5*o + 6*o - 507 = 0. Is o + (-1 - -2 - (-4)/1) a multiple of 49?
False
Suppose 0 = -6*f - 5*f - 55. Let s be 0/(f - -3 - -3). Suppose 0 = -3*n + 3*d + 351, 4*n + s*d = 2*d + 474. Is n a multiple of 20?
True
Suppose 4*v + 0*v = -4*s + 648, -8 = 2*s. Suppose -d + v = -141. Is 8 a factor of d?
False
Suppose -k + 2 = 0, 1042 = 4*u - 19*k + 22*k. Suppose -15*m + 131 + u = 0. Does 13 divide m?
True
Let k(o) = o**2 - 6*o - 17. Suppose -3*v = -2*s + 3, -5*s = 7 + 8. Let u be k(v). Suppose 45 = y + u*h - 7*h, 2*h + 91 = 3*y. Is y a multiple of 11?
True
Suppose 4*q - 21476 = r, 101*r - 97*r - 5386 = -q. Is 48 a factor of q?
False
Let s(l) = -6 - 30*l**3 + 4*l + 16*l**2 + 15*l**3 + 6*l + 14*l**3. Is 37 a factor of s(15)?
False
Let c = 6030 - -1211. Is 13 a f