Let b = 37 + r. Suppose 4*p + 2*p - b = 0. Is p a multiple of 10?
True
Let m(g) = -g**3 - 12*g**2 - 14*g - 36. Let i be m(-18). Suppose 15*o + 0*o - i = 0. Is 22 a factor of o?
False
Let a(d) = 5*d**2 + 6*d - 3. Let o = 5 - 3. Is 29 a factor of a(o)?
True
Let z(j) = 27*j + 22. Is z(4) a multiple of 5?
True
Suppose -9 = a + 5*u, -3*a - 7*u - 17 = -2*u. Suppose 6 = -0*d - 2*d. Is 21 a factor of (a - 2)/(d/21)?
True
Let g = -109 - -146. Is 2 a factor of g?
False
Suppose -2*k - 4*l + 174 = -k, 5*l = -4*k + 707. Suppose 4*a = 5*q + 772, a - k = q + 4*q. Is a a multiple of 20?
False
Let a(c) = -c**3 - 16*c**2 - 16*c - 8. Let k be a(-15). Let t(m) = -m**3 + 11*m**2 - 15*m + 3. Is 14 a factor of t(k)?
False
Let q(h) = -h**2 - 10*h - 8. Let x be q(-9). Is 26 a factor of x*114/(-3 + 4)?
False
Let l = 54 - 49. Let n be (-402)/(-4)*4/6. Suppose -n = -l*j + 58. Is j a multiple of 5?
True
Suppose 0 = -2*q + 8, 2*q = 2*b - 788. Is 19 a factor of b?
False
Suppose 0 = -2*v - 3*y + 2*y + 134, 0 = v + 4*y - 53. Does 3 divide v?
True
Let q = 4386 + -1824. Is 14 a factor of q?
True
Suppose 2 = -4*h + 6*h. Let d(v) = 39*v**3 + 2*v**2 + v - 3. Is d(h) a multiple of 6?
False
Suppose 5*r - 99 = -3*h - h, -2*h = -2*r + 54. Suppose 114 - r = 13*z. Does 3 divide z?
False
Suppose -3*f + 2*v = v - 1497, -504 = -f + 2*v. Is f a multiple of 58?
False
Suppose -z + 6*z = -40. Let b = 28 + z. Suppose 4*x = -8, 3*c - 61 = -2*x - b. Is c a multiple of 6?
False
Suppose 4*z + 32 = 3*r + r, -3*z = 3*r + 6. Let x be 2/r*9/(-6). Is 132/8 - x/2 a multiple of 17?
True
Let f = -32 + 37. Suppose -f*w + 86 = -4*x, 3*w + 5*x = w + 41. Is w a multiple of 7?
False
Suppose 2*q = 3*c + 265, -2*q + 675 = 3*q + 5*c. Is q a multiple of 33?
False
Suppose -9*c = 13 - 40. Does 27 divide (1/(-2))/(c + (-2594)/864)?
True
Let d(t) = -4*t**3 + 9*t**2 + 14*t + 37. Let f(y) = -3*y**3 + 6*y**2 + 9*y + 25. Let c(n) = -5*d(n) + 7*f(n). Let k be 6/(-6) - (0 - -3). Does 17 divide c(k)?
True
Let f be 7816/32 + (-1)/4. Let d = -19 + -1. Does 3 divide (-3)/15 - f/d?
True
Suppose 5*n - 1202 = -2*b, 2*b - 1334 = -4*n - 372. Does 8 divide n?
True
Let h(v) = 34*v + 3. Let r be h(-6). Let z = -89 - r. Is z a multiple of 9?
False
Let y(u) = u**2 + 3*u - 3. Let h be y(-5). Let x be (2 - 4) + 40 + 0. Let l = x - h. Is 29 a factor of l?
False
Suppose -35*t + 530 + 1185 = 0. Is 7 a factor of t?
True
Let g = 70 - 30. Suppose -b - g = -2. Let j = -27 - b. Does 11 divide j?
True
Let a be (4482/24)/9 - 1/(-4). Does 6 divide (-2274)/(-42) - 3/a?
True
Let g(r) = 2*r**2 - 23*r - 47. Does 23 divide g(18)?
False
Let q = 857 - 207. Is 25 a factor of q?
True
Let k(l) = -l**2 - 6*l - 10. Let v be k(-6). Let y = v + 10. Does 15 divide (37 + y)/(-1 + 2)?
False
Suppose -38*p = -4249 - 8291. Is p a multiple of 3?
True
Suppose 0 = -8*q - 962 + 4274. Is 46 a factor of q?
True
Suppose -5*d + 2*d - 5*m = -2600, -d - 2*m + 868 = 0. Is d a multiple of 20?
True
Suppose -575 = -5*u - 2*a, 0 = 4*u + 2*a - 366 - 94. Is u a multiple of 9?
False
Let p(w) be the second derivative of -w**3/2 - 7*w. Does 7 divide p(-3)?
False
Suppose -5*g = -3*o - 14237 - 1987, -12966 = -4*g - 2*o. Is 52 a factor of g?
False
Is 7 a factor of (1525/10)/((-18)/(-4) + -4)?
False
Let v(y) = 27*y**3 + y**2 + 3*y - 2. Let h be v(2). Let s be (-4)/(-7) + (-956)/7. Let g = h + s. Does 15 divide g?
False
Let p be 37/8 - -6*(-6)/(-96). Let h(d) = d**3 + d + 8. Let y be h(0). Suppose y = o + o, 3*b - p*o = 190. Does 22 divide b?
False
Suppose -42 - 18 = t. Let x(q) = q**3 - 12*q**2 + 7*q + 17. Let w be x(11). Let c = w - t. Is 11 a factor of c?
True
Suppose -3*l + 8*l = h + 59, 0 = -2*l + 8. Is 16 a factor of (h/12)/(0 + (-2)/24)?
False
Let d = 54 + 6. Let g be (-396)/d + (-2)/5. Let y(v) = -5*v. Is y(g) a multiple of 9?
False
Let x(w) = -w + 19. Let h be x(-5). Let b(d) = -d**2 + 27*d + 13. Does 24 divide b(h)?
False
Let k = 1061 + -1053. Does 4 divide k?
True
Let u(y) = 102*y**3 + 2*y**2 - y. Does 8 divide u(1)?
False
Is 14 a factor of 333/(9 + -1 + -7)?
False
Suppose 0 = 5*z - 8118 - 7772. Is 14 a factor of z?
True
Suppose 3*q = 4*n - 7 + 53, -n + q - 12 = 0. Is 10 a factor of (5/n + 0)*-120?
True
Suppose t - p = -0*t + 922, 0 = -4*t - 2*p + 3658. Does 45 divide t?
False
Let t(u) = -u - 1. Let b be t(-2). Let a = -109 + -9. Is b/((-120)/a - 1) a multiple of 21?
False
Let u(t) = -51*t**3 - 9*t**2 - 14*t - 4. Is u(-4) a multiple of 52?
True
Let p be ((-51)/2)/(17/34). Let t = 99 + p. Is 29 a factor of t?
False
Is 40 a factor of (-24 - -42)/((-2)/(-36))?
False
Let q be 7 - -2*(-3)/6. Suppose 3*k + 64 = -5*a, 2*a + k + 34 = 4*k. Let x = q - a. Is x a multiple of 10?
True
Suppose 0 = 3*a + 3*n - 51, -2*a = 2*a - 4*n - 44. Suppose -40 = -2*d + a. Is d a multiple of 6?
False
Let p be (-1)/(-2)*8/(-4). Let d(y) = -5*y**2 + 2*y + 4. Let z(h) = -h. Let g(x) = p*d(x) - 3*z(x). Is 14 a factor of g(-2)?
True
Let g be (-1)/3 - (-8 - 64/(-24)). Is 58 a factor of 3704/10 + 3/g?
False
Suppose -2*i - 1744 = -j, 0*j + 2*i = -j + 1744. Is j a multiple of 16?
True
Suppose 7743 = 48*g - 10401. Does 14 divide g?
True
Let m = 447 + 55. Is 12 a factor of m?
False
Let q(f) = f**2 - 6*f + 10. Suppose 0 = 4*z - 3*z - 5. Let y be q(z). Suppose 83 + 52 = y*o. Does 7 divide o?
False
Suppose 0 = -0*m + 3*m + 5*k - 293, -k - 507 = -5*m. Let j = m - 30. Is j a multiple of 7?
False
Let b be 189/15 - (-3)/((-15)/(-2)). Suppose -5 = -5*j - 0. Let p = j + b. Is 3 a factor of p?
False
Let x be (-858)/24 + (-1)/4. Is (x/(-5))/(2/15) a multiple of 18?
True
Let c(p) = 382*p - 7. Is c(1) a multiple of 27?
False
Suppose -14*r = -259 - 1183. Is 103 a factor of r?
True
Is 15 a factor of 1/(3/(-4194))*-1 + -3?
True
Let x be (-4694)/10 - (-22)/55. Let n = 998 + x. Suppose -s + 6 = 2*c - 205, -5*c - 3*s + n = 0. Is c a multiple of 29?
False
Let l(w) = -w**2 - 5*w - 1. Let g be l(-4). Suppose -c = d + g*c - 258, -5*d + 5*c = -1165. Does 14 divide d?
True
Suppose -12 = -4*u, -3*u - 2 = -3*m - 5. Let z = 43 + m. Does 15 divide z?
True
Let g be 11 + -11 + (-11)/(-1). Suppose 0 = 4*s + k - g, 3*k = 4*s + k - 26. Suppose 2*x - 130 = -2*t + 5*t, -x + 54 = s*t. Is 31 a factor of x?
True
Let g(h) = 3*h + 1. Let w be g(6). Suppose -w*s = -22*s + 75. Is s a multiple of 25?
True
Let t be (0/(-1 + 4))/4. Suppose t = -4*d - 7 + 79. Suppose 0 = z - d + 5. Is z a multiple of 7?
False
Let s be 38/9 + (-18)/81. Let f be (-76)/(-18) - (-8)/(-36). Suppose 19 = f*m + 3*n - s*n, -m + 10 = 5*n. Is 2 a factor of m?
False
Suppose -t + 279 = -2*o, -t = 3*o + 467 - 41. Let a = o - -74. Let d = -36 - a. Is 7 a factor of d?
False
Suppose 0 = -m - l + 5, 2*l = 5*l - 15. Suppose m = -4*y - 2*w + 372, 5*y + 2*w = w + 468. Does 14 divide y?
False
Suppose 3*o + 2 = -a - 6, 2*o - 6 = 5*a. Does 39 divide (o/5)/(4/(-1580))?
False
Suppose -5*l + 29 = -21. Does 10 divide (-4 - 21)*(-16)/l?
True
Suppose 56*m = 38*m + 2808. Is 12 a factor of m?
True
Is 27/(-297) + 2773/11 a multiple of 9?
True
Let d(s) = 54*s**2 + 19*s - 10. Let r be d(4). Suppose 44*w - 50*w = -r. Is 31 a factor of w?
True
Let h(s) = 2*s**3 + 13*s**2 - 7*s - 18. Is 3 a factor of h(-6)?
True
Suppose 4*w = 31 - 11. Suppose -w*z + 345 = -0*z. Is z a multiple of 11?
False
Let t(s) = s**3 - 5*s**2 + 7*s - 2. Let z = 6 - 0. Suppose -z + 36 = 6*g. Does 6 divide t(g)?
False
Let p(c) = 2*c**3 - 8*c**2 + 14*c - 9. Let x(t) = 4 + 6*t**3 + 2 - 7*t**3 - 5 - t. Let h(n) = -p(n) - 3*x(n). Is 8 a factor of h(-9)?
True
Let p(k) = 6 + 4 - k - k. Let f = -31 + 21. Is 10 a factor of p(f)?
True
Let o = 28 - 12. Suppose 2*y + i - 53 = 0, -5*i - 19 - o = -2*y. Is 2 a factor of y?
False
Let q(m) = -7*m + 21. Let w be q(-7). Suppose -4 = -2*z + 2*c + w, -4*z = 4*c - 108. Is z a multiple of 16?
True
Let z(f) = -12*f + 30. Let b be z(-8). Suppose -13*d = -4*d - b. Is 3 a factor of d?
False
Let m = -27 + 14. Let h = m - -37. Is h a multiple of 6?
True
Let q(y) = -y**3 + 6*y**2 + 8*y - 1. Let t be q(7). Suppose t*b - 24 = 54. Does 4 divide b?
False
Let w = 701 - 680. Let c(u) = -2*u + 4. Let k be c(5). Let b = w - k. Is 8 a factor of b?
False
Let s = 183 - -20. Is 16 a factor of s?
False
Is 11 a factor of (-31)/31*1/1*-447?
False
Suppose 4*n = n + 6. Suppose 336 = 3*w - 459. Suppose 3*t + n*t = w. Is 29 a factor of t?
Fals