 z = -5 + 7. Let t be 2/((-1)/(-1*4)). Suppose -4*p + t = -z*p. Is p a multiple of 4?
True
Let m = 22 - 12. Is 362/m - (-9)/(-45) a multiple of 18?
True
Let t(b) = b + 4. Suppose 0 = -v + 2 - 4. Let x be t(v). Suppose -42 = -x*l - 0*l. Is 14 a factor of l?
False
Suppose -6*c + 159 = -1311. Is c a multiple of 48?
False
Let n be (-46)/(-14) - 8/28. Let l(d) = 0*d**2 + 5*d**2 + n*d**2 - d + 0*d**2. Is 17 a factor of l(-2)?
True
Let j(y) = y**3 + 7*y**2 + 7*y + 6. Let u(p) = 8 - 8*p + p**2 + p - p. Let d be u(6). Is 13 a factor of j(d)?
True
Let j be -1 + 1 + (-3)/(-3). Let p be -2*((-32)/j)/2. Suppose 4*f - p = 28. Is 15 a factor of f?
True
Suppose 2*s + s = 15. Suppose -s*m = -0*m - 30. Is (-32)/(-6) + 4/m a multiple of 3?
True
Let x = 1 - -4. Suppose 93 = 4*u - u - v, 0 = x*v. Does 11 divide u?
False
Suppose 3*c = 31 + 17. Suppose -c + 88 = 4*b. Is 6 a factor of b?
True
Suppose -10 = -m + 6*m. Let w(q) = -q**3 - 4*q**2 + q + 2. Let s(l) = -4*l**3 - 16*l**2 + 4*l + 8. Let x(t) = 2*s(t) - 9*w(t). Is 4 a factor of x(m)?
True
Suppose 21 = k + 77. Is (k/(-10))/(16/40) a multiple of 7?
True
Let s be (58/5)/((-5)/(-25)). Let b = s - 21. Does 21 divide b?
False
Suppose l = 5, -2*n = -5*l + 12 + 7. Suppose -4*m = -n*f + 11, -2*f + 1 = -2*m - 3. Does 14 divide (-28)/f*(-9)/(-6)?
True
Let q(m) = -m - 31. Let w(f) = f + 31. Let u(n) = -3*q(n) - 2*w(n). Is 9 a factor of u(-13)?
True
Let m = -2 + 5. Let x(q) = 17 + 0*q + m + q + 8. Is 19 a factor of x(0)?
False
Suppose 138 = -2*y + 26. Is 14 a factor of y/(-6)*(-3)/(-1)?
True
Let r(u) = 67*u**2 + u - 1. Is 14 a factor of r(1)?
False
Let b = -19 + 48. Is b a multiple of 6?
False
Suppose -3*l + 4*l - 6 = 0. Suppose l*f + 30 = f. Does 10 divide 33/f*(1 + -3)?
False
Let d = 265 - 109. Does 12 divide d?
True
Let s be 1/3 + 74/(-6). Let j = s + 4. Let g = 18 + j. Does 4 divide g?
False
Suppose 225 = 9*x - 4*x. Is 32 a factor of x?
False
Let m(w) = w**3 + w**2 + w + 2. Let t be m(2). Suppose 0*d = 2*d + t. Does 13 divide d/(-3)*(-66)/(-8)?
False
Suppose 1376 = 4*c - 4*v, 3*v - 360 = -c - 0*c. Let h be (4/(-12))/((-2)/c). Suppose -59 = -5*x - i + h, i + 75 = 3*x. Is 12 a factor of x?
True
Let n(l) = -l**2 - 3*l + 3. Let i be n(-3). Suppose -4*x - x = i*s - 250, s + 3*x = 90. Suppose -5*r + 8*r = s. Is r a multiple of 18?
False
Let z = 3 + 1. Let i(g) = 4*g**2 + 7*g + 8. Let c(t) = t**2 + t + 1. Let s(m) = -3*c(m) + i(m). Does 16 divide s(z)?
False
Suppose 0*w - 3*w - 6 = -o, 5*o + w = 30. Let t be (-4)/o + (-310)/(-6). Let b = t - 20. Is b a multiple of 11?
False
Let v(s) = s**3 - 2*s**2 - s + 5. Let m be v(4). Let p = m + -15. Does 16 divide p?
False
Let x(s) = s**2 + 6*s + 8. Is 16 a factor of x(-10)?
True
Let p = -6 + 10. Let h(f) = f**3 - 5*f**2 + 4*f - 9. Let m be h(6). Is 17 a factor of (m/(-2))/((-3)/p)?
True
Suppose -4*o + g + 579 = -128, 0 = -4*o + 3*g + 713. Does 44 divide o?
True
Suppose -j + 56 = j. Is j a multiple of 19?
False
Suppose 210 = 7*n - 14. Does 8 divide n?
True
Let z = 118 + -58. Is 20 a factor of z?
True
Let w(x) = x**3 + 2*x**2 - 5*x + 3. Let q be -6*(-1 + (-2)/(-4)). Is w(q) a multiple of 11?
True
Let h(v) = -v**2 + 11*v - 4. Let g(p) = p**3 - p**2 + p + 9. Let u be g(0). Does 12 divide h(u)?
False
Suppose -2*t - 175 - 45 = -2*s, 0 = -5*s + t + 538. Does 10 divide s?
False
Let q be -3*(-1)/(-2)*-2. Suppose x - 4*x - 27 = 0. Is 12 a factor of 106/q + 3/x?
False
Let b(y) = -y**2 - 15*y - 4. Let x be b(-10). Let u = x + -68. Let g = u - -32. Is 4 a factor of g?
False
Suppose -b = -a + 2*b + 2, 2*a - b + 11 = 0. Let v(r) = -r**2 - 12*r - 8. Is 9 a factor of v(a)?
True
Let r be (2 - 1) + 1 - 4. Does 8 divide 0 + -1 + (-30)/r?
False
Let p = -14 - -4. Let u = -16 - p. Is 18/(-8)*16/u a multiple of 6?
True
Let n(o) = 15*o - 7. Let d(x) = 5*x**3 + 2*x**2 - 2*x + 1. Let i be d(1). Does 27 divide n(i)?
False
Let y(g) = -g - 9. Let c be y(-7). Is (-870)/(-27) - c/(-9) a multiple of 16?
True
Suppose 190 = 4*c + c. Suppose -7 = n - c. Is 12 a factor of n?
False
Suppose -3*j + 416 = j. Is j a multiple of 13?
True
Let s be (42/70)/((-2)/10). Let r = 7 - 13. Is 3 a factor of 11/2*r/s?
False
Let x be 1 - (-3 - (-25 - -3)). Does 9 divide 4/x - (-164)/9?
True
Let j(d) = -5*d**3 - 3*d**2 + 5*d + 7. Let i(r) = 4*r**3 + 4*r**2 - 4*r - 7. Let x(y) = 4*i(y) + 3*j(y). Let b be x(-6). Let g = 58 - b. Is 8 a factor of g?
False
Let g(b) = -8*b + 2. Let j(o) = -48*o + 11. Let x(v) = -34*g(v) + 6*j(v). Let a be (-3 + 0)*(-2)/(-3). Is 12 a factor of x(a)?
False
Let q(u) be the first derivative of -u**4/2 - 2*u**3/3 - u**2/2 - u + 1. Let i be q(2). Let g = 46 + i. Does 13 divide g?
False
Suppose -2*s + 62 = 4*u, 147 = 4*s - 2*u + 3. Suppose 2*x + h = 3, 0*h = -5*x + 3*h + s. Is x a multiple of 3?
False
Suppose l + l = 6. Suppose 4 = l*c - 5. Does 3 divide c?
True
Suppose 1 - 13 = -3*z. Suppose z*y + 8 = -0. Is 3*y/3*-8 a multiple of 8?
True
Let g(o) = 2*o + 2. Let n be g(2). Is (15 - 0) + n + -7 a multiple of 10?
False
Let l be (1/(-2))/(2/(-16)). Suppose 5*g = 2*n - 29, -l*n - 3*g + 21 = 2. Suppose -n + 1 = -2*f. Is f a multiple of 3?
True
Let j = -54 - -95. Is 11 a factor of j?
False
Is 27 a factor of (-105)/(-7)*(-5 - -9)?
False
Suppose -5*t - f - 174 = -520, 0 = 2*t + 2*f - 132. Is 9 a factor of t?
False
Let f = 14 - -8. Does 6 divide f?
False
Let q(v) = -2*v + 22. Does 11 divide q(-18)?
False
Suppose -3*r = -5*s + 4*s + 11, -4*s = -r + 11. Let k = 9 + s. Is k a multiple of 5?
True
Let c(d) = -d**2 + 8*d + 10. Let o be c(9). Suppose -7 + o = p. Is 4 a factor of 28/p*(-6)/4?
False
Suppose 1176 = 4*j + 3*j. Does 12 divide j?
True
Let c be (-2)/6 - (-39)/9. Suppose -5*k - 43 = -3*u, k + 1 = -3*u + 68. Suppose -c*x + u = -x. Is x a multiple of 6?
False
Let c(d) = 4*d**2 + 2*d - 3. Suppose -3*y - y + 29 = -3*t, 4*y - 5 = -5*t. Is c(t) a multiple of 11?
False
Let u = 7 + -1. Does 6 divide 9 - 5/((-15)/u)?
False
Let q be (5 - 13)/(1/(-8)). Suppose 3*s - 5*w = q, 3*w - 124 = -4*s - 0*w. Does 28 divide s?
True
Let a(o) = -11*o + 47. Is 41 a factor of a(-10)?
False
Let m = -161 + 339. Is 20 a factor of m?
False
Let r(p) = p**3 - 8*p**2 + 10*p + 2. Let v(a) = a + 14. Let u be v(-7). Does 16 divide r(u)?
False
Let r(q) = 4*q - 2. Let w be r(1). Suppose 4*n = 5*g + 160, 6*g = 4*n + w*g - 164. Is n a multiple of 13?
False
Suppose n = 2*i - 4*n - 577, i - 296 = n. Does 13 divide i?
False
Let g = -7 + 7. Is g + 3 + (15 - 1) a multiple of 10?
False
Let i = -4 - -11. Suppose 5*x = z + i, -3*z + 12 = 3. Does 15 divide -1*26*x/(-2)?
False
Let j = 63 - -16. Is 20 a factor of j?
False
Let v(h) = 3*h**2 - h - 2. Let d be v(-5). Suppose -1727 + 722 = -5*p. Suppose b = -2*q + d, 0*b + p = 5*q + 4*b. Does 20 divide q?
False
Let o be (2/3*-3)/2. Is 14 a factor of (o - 18/10)*-10?
True
Suppose v - 14 = -3*f - 0*f, -4*v + 2*f = -14. Suppose -q + 4*q - 5*s - 10 = 0, -v*q + 23 = -2*s. Does 5 divide q?
True
Let p = -7 + 9. Let d(z) = -z**2 + 5 + p*z**2 + z**3 + 13 - z. Is 18 a factor of d(0)?
True
Is 3008/48 - 2/3 a multiple of 27?
False
Suppose 4*s - 5*s = 20. Let d be (s/6)/(2/(-3)). Is 14 a factor of 7*2/2*d?
False
Let k = 20 - 16. Suppose -k*b + 70 - 10 = 0. Is b a multiple of 14?
False
Suppose 3*j - 3*u = 195, -5*j = -0*j - 2*u - 322. Does 16 divide j?
True
Let f be ((-2)/3)/((-8)/108). Suppose z + 2*z = f, 4*x - z - 69 = 0. Is 6 a factor of x?
True
Suppose 0 = m + 5*z + 12, -3*m + z - 4 = -0. Is (-3)/3*(0 + m) a multiple of 2?
True
Let j = 16 - 33. Let h(w) = -3*w - 8. Let q be h(9). Let o = j - q. Does 6 divide o?
True
Let a be 1/(-2) - 20/(-8). Suppose 3*o = -a*o + 15. Does 3 divide o?
True
Suppose -700 = -2*s - 3*s. Is ((-16)/10)/((-7)/s) a multiple of 9?
False
Suppose 0 = -2*c - 5*p + 137, 3*p = 2*c - 0*c - 145. Is 3 a factor of c?
False
Let u(n) = -14*n + 12. Is u(-4) a multiple of 38?
False
Let y(i) = -i + 8. Let g(h) = 7*h**2 - h - 1. Let s be g(-1). Let o be y(s). Is ((-1)/3)/(o/(-15)) a multiple of 3?
False
Let r = -73 + 111. Is 19 a factor of r?
True
Let q = -66 - -103. Is q a multiple of 15?
False
Suppose -5*j = -3*k - 3*j + 17, -10 = -3*k - 5*j. Suppose 0 = k*g - 1 - 9, -4*f = g - 14. Suppose f*w - 24 = w. Does 6 divide w?
True
Suppose x - 4*a + 68 = 2*x, 0 = 4*x + 3*a - 220. Is 13 a factor of x?
True
Suppose 2*o = -4*x + 6, 3