3 - 9*d**2 - 8*d. Let w be y(-8). Suppose 3*p + j - 426 + 21 = w, 2*p = 3*j + 270. Let s = p - 87. Is 12 a factor of s?
True
Let a = 313 + 27. Does 31 divide a?
False
Suppose -n + 51 = 42. Suppose n*j = j + 368. Does 9 divide j?
False
Let w(s) = 115*s**2 + s + 6. Let u be w(3). Suppose 0 = 5*p - x - u, -p + 5*p - 5*x - 831 = 0. Let h = p - 123. Is h a multiple of 16?
False
Let x = -18 - -34. Let s(l) = -l**2 + 16*l + 21. Is 10 a factor of s(x)?
False
Let n(c) = -8*c + 4. Let f be 231/49 + (-4)/(-14). Suppose f*x = -2*b - 4 - 2, 6 = -2*b + 2*x. Is 14 a factor of n(b)?
True
Let n(l) = -l**3 + 8*l**2 - 9*l + 18. Let g be n(7). Let v = 55 - g. Is 43 a factor of v?
False
Let k(l) = 6*l + 11 + 8*l**2 - 24*l - 4. Does 13 divide k(5)?
True
Is (0 + (-15)/6)*4496/(-10) a multiple of 29?
False
Suppose 237 = p + 81. Suppose -2*d + 4*c = -p, -149 = -4*d + 5*c + 178. Does 22 divide d?
True
Is -1 - (3 + (-560 - -3)) a multiple of 9?
False
Let a be ((-10)/4)/(1/(-2)). Let c = -116 - -116. Suppose -a*g + z + 302 = c, 0*g = 2*g + z - 118. Is g a multiple of 12?
True
Let q = 0 - -8. Let h = 5 + q. Suppose -2*f - x + h = 0, 15 = 5*x - 2*x. Is f a multiple of 2?
True
Let d = -145 - -98. Let p = d + 72. Is p a multiple of 20?
False
Suppose -2*b - 445 + 17 = 3*h, 4*b = 3*h - 820. Is 0*(-5)/15 - b a multiple of 13?
True
Let d(k) = -k**3 + 6*k**2 - 7*k - 1. Let p be d(3). Suppose -5*s = p*n - 455, -s - 3*n + 72 + 9 = 0. Is s a multiple of 19?
False
Let b(h) = -3*h**2 - 3*h - 2. Let p be b(-2). Let o = -36 - -82. Let k = o - p. Is 14 a factor of k?
False
Let r(j) = 4*j**3 - 5*j**2 - 5*j + 10. Let m be (8/28 - 54/(-7)) + -4. Is 11 a factor of r(m)?
False
Let d(a) = 2*a**2 - 9*a - 1. Let z = 25 - 28. Is d(z) a multiple of 6?
False
Does 7 divide (81/36)/(6/896)?
True
Let c be (0 + -1)*(-5 - -2). Suppose -p + c*q = -3*p + 36, 0 = 5*p - 2*q - 128. Does 8 divide p?
True
Suppose -7*i + 20*i - 24843 = 0. Is 49 a factor of i?
True
Suppose 3*c + 4*k = -15 - 4, -k = 2*c + 16. Suppose 0 = -4*h + 4*b - b - 9, -3*h - 2*b = 11. Is h*c/((-12)/(-4)) a multiple of 7?
False
Let i(q) = -12*q**2 - 10*q - 11 + q**3 - 18 + 32*q**2. Is i(-20) a multiple of 19?
True
Suppose 4*q = z - 11, 24 = -4*z - 5*q + 5. Let c be -4 + 3 + (2 - z). Suppose -2*a - 2*k + 82 = 0, 2*a - c*k - 46 = 48. Is 22 a factor of a?
True
Is 60/8*(-110)/(-15) a multiple of 5?
True
Suppose -24 = 9*m - 8*m. Let y = 0 - m. Does 6 divide y?
True
Let x be (-3 - (-34)/6)*3/2. Suppose x*g - 328 = -12. Is g a multiple of 8?
False
Is 3 a factor of (-4382)/(-15) + ((-322)/(-105))/(-23)?
False
Let s = -91 - -353. Does 31 divide s?
False
Let d(m) be the first derivative of -m**4/4 - 10*m**3/3 - 11*m**2/2 + 22*m - 13. Is d(-9) a multiple of 19?
False
Let b = 56 - 50. Suppose -4*l - 88 = -3*f, 16 + b = f - 5*l. Is f a multiple of 2?
True
Let d be (-15 + 14)/(2/(-60)). Suppose 0 = -0*l + l - d. Does 10 divide l?
True
Let q(y) = -y**2 - 13*y + 12. Let w be q(-12). Suppose -2*x + 142 = -4*g - w, -142 = -2*x - 2*g. Is x a multiple of 11?
False
Let p = 24 - 51. Suppose 2*j + 31 = 3*u, 4*u - 4*j - 23 = 21. Is (0 - 3/u)*p a multiple of 6?
False
Suppose 32*c - 64147 = 31181. Is 11 a factor of c?
False
Let p be (-1056)/76 + (-12)/114. Let f(i) = i**2 - 6*i + 3. Let h be f(4). Let v = h - p. Does 9 divide v?
True
Suppose -2*s - s - 2*h = 4, 0 = -s - 5*h + 16. Let x be (-374)/33 - s/(-6). Let d(y) = -y**3 - 13*y**2 - 14*y - 5. Is d(x) a multiple of 19?
True
Suppose -3*n = -7 - 8. Suppose -11 = -n*h + 4. Suppose 3*b - 153 = 5*m, -3*b + 126 = h*m + m. Does 23 divide b?
True
Let o = -551 - -1122. Is o a multiple of 10?
False
Let x(r) = 9*r**2 - 11*r + 17. Let s be x(6). Suppose w = 4*z - s, -195 = -4*z + z + 3*w. Does 7 divide z?
True
Suppose -37*a + 35*a + 1296 = 0. Is 9 a factor of a?
True
Suppose -5*p - 546 = -8*p. Is p even?
True
Let c(s) = s**2 + s + 13. Let i be -2 + 1 + (11 - 10). Does 4 divide c(i)?
False
Does 8 divide 6/(7 - (-13970)/(-2000))?
True
Let a be 30/40 + 43/(-4). Let i be (a - 14)*5/2. Let g = 144 + i. Does 12 divide g?
True
Suppose 5*i - 7 - 3 = 0. Suppose -i*n = -3*n + 91. Suppose n = 3*a - 68. Is a a multiple of 9?
False
Suppose -8*h - 22 + 598 = 0. Is h a multiple of 4?
True
Let w be 2 - -63 - (1 + 0). Suppose d = 5*s - 76, 5*s - w = -0*s + 4*d. Is s a multiple of 8?
True
Suppose -2*m - 7 + 21 = 0. Suppose -k + 0 = -m. Is 7 a factor of 1*k*14/7?
True
Let t = -32 + 38. Does 10 divide (-453)/(-7) - t/(-21)?
False
Let i = 1585 - 811. Suppose o - 258 = d - 0*d, -3*o = d - i. Does 32 divide o?
False
Let n = -1 - -65. Suppose -b + 2*t + 140 = b, b - n = -5*t. Is b a multiple of 40?
False
Let h(b) be the first derivative of -5 + 3*b**2 - 1/4*b**4 - 5/3*b**3 - 16*b. Does 10 divide h(-7)?
True
Suppose 5*b = -2*j + j - 63, b = 4*j + 168. Let w = j - -137. Suppose 12 = -2*h + w. Is 39 a factor of h?
False
Let j(g) = -5*g - 13. Let y(n) = 6*n + 14. Let b(x) = 2*j(x) + 3*y(x). Let o be b(9). Suppose i + 3*f = o, -5*f = -4*i - 39 + 374. Is 14 a factor of i?
False
Let h be (-1278)/(-11) - 6/33. Suppose 3*r - 146 - 20 = -2*x, 4*x - h = -2*r. Is r a multiple of 5?
False
Let n = -6 + 10. Suppose 0*g - 3*f = -g - 4, -18 = -5*g - n*f. Suppose -g*w + 63 = -11. Is 10 a factor of w?
False
Suppose -x + 2 + 2 = -k, 0 = 2*x - 5*k + 1. Let c(l) = 2*l**2 - 4*l + 8. Is c(x) a multiple of 13?
True
Suppose 3*j - j = 0. Let x(v) = -v**3 + v**2 - v - 4. Let k be x(j). Is 2/(4/k) - -85 a multiple of 26?
False
Let p = -27 + 32. Suppose -3*r + p*r = 116. Is 26 a factor of r?
False
Let f = 6 + -6. Suppose f = 4*b + 2 - 18. Suppose -4*t + 262 = -2*r, -b*t + 264 = -4*r - 0*r. Does 20 divide t?
False
Let t(z) = -z**2 + 6. Let b be t(0). Suppose b*a = 188 + 112. Is 5 a factor of a?
True
Let c(s) = 5*s**2 + 17*s - 125. Does 2 divide c(6)?
False
Suppose -22*s + 20 = -18*s. Suppose -d - 2 = -s. Is (-36)/(-3) + d/3 a multiple of 3?
False
Let x(k) be the first derivative of 4*k**3/3 - 9*k**2/2 - 5*k - 10. Does 13 divide x(7)?
False
Let a = 3 - -1. Suppose -1 = -3*j - 3*d + d, a*j + 4*d = 0. Is (-5 - -15)/(j/1) a multiple of 10?
True
Let j(z) = -2*z**2 - 3 - z - 3*z**2 - 9*z - z. Let r(k) = 2*k**2 + 4*k + 1. Let u(o) = 3*j(o) + 8*r(o). Is 2 a factor of u(3)?
False
Let j(a) = -a - 13. Let v be j(-15). Suppose -v*t + 256 = -0*t. Suppose -738 + t = -5*k. Is k a multiple of 22?
False
Suppose -35 = -5*w + 2*n, 0 = -4*w + n - 2*n + 28. Suppose -3*b - 164 = -w*b. Is b a multiple of 4?
False
Let k be 2/(-8)*-2 + (-24)/(-16). Suppose -3 = j - k*j, w - 15 = j. Is w a multiple of 14?
False
Suppose -4*d - 4678 = -5*h, -17*h + 16*h = -4*d - 926. Does 36 divide h?
False
Let h(n) = n**2 - 3*n + 17. Let o be h(12). Suppose 0 = y + t - 84, 3*t = 2*y - o - 23. Is y a multiple of 20?
True
Let f(r) = 123*r + 234. Does 92 divide f(8)?
False
Let i = -424 - -794. Is i a multiple of 43?
False
Let c(a) = -4*a - 7. Let r be c(-6). Let s = -23 + r. Is (504/12)/(s/(-4)) a multiple of 13?
False
Let c(g) = g**3 - g + 1. Suppose -3*i - 4*q + 16 = -9, 17 = -i + 5*q. Does 5 divide c(i)?
True
Let y = -11 - -14. Suppose y*j - 5*j = -2*o + 366, 3*o - 584 = -4*j. Is o a multiple of 47?
True
Let t(z) = -52*z - 21. Is 21 a factor of t(-10)?
False
Let c = -40 - -45. Suppose v - 64 = 5*g, 0*g - 5*g = c*v - 260. Does 25 divide v?
False
Suppose 0*n = 4*n + 32. Let v(u) = u**3 + 10*u**2 - 8*u - 14. Let q be v(n). Let h = q - 70. Is 27 a factor of h?
True
Let i(j) = 257*j**2 - 128*j**2 - 129*j**2 + 4 - 2*j + 24*j**3. Does 8 divide i(2)?
True
Suppose 0*t - t = -67. Let a(s) = 2*s**2 - 10*s - 10. Let p be a(-4). Suppose -t = -3*l + p. Does 14 divide l?
False
Let h(m) = 32*m - 116. Is h(22) a multiple of 42?
True
Let i = -819 - -1736. Does 13 divide i?
False
Let c = -9 - -6. Let q be 2/c - (-85)/15. Is (0 - 2) + 3 + q a multiple of 3?
True
Let d = -316 + 539. Is 54 a factor of d?
False
Let d = -1297 - -1898. Is d a multiple of 36?
False
Suppose 0 = -5*r + r + 124. Suppose -r - 29 = -6*a. Is a a multiple of 10?
True
Let p(t) = t + 7. Let u be p(6). Does 13 divide (0 + u/3)/((-57)/(-342))?
True
Let x = 1 + 2. Suppose -x*z - z = -16. Is (z - 8)*(-26)/8 a multiple of 12?
False
Suppose 11*v - 52 = 9*v. Suppose -v*r + 22*r + 172 = 0. Is r a multiple of 18?
False
Suppose g = 42 - 38. Suppose -g*u = -z - 91, 6*u - 4*u + z 