54 a multiple of 10?
False
Suppose 2*m - 4 = -0. Let h = -5 - m. Does 17 divide -14*1/(2/h)?
False
Let i be 6/4 + (-9)/6. Suppose 2*s - 1 = -5*u, i = -s + 2*s + 2*u - 1. Is 5 a factor of 3*(0 + 5/s)?
True
Is (1089/6)/(3 + 36/(-16)) a multiple of 11?
True
Let l(d) = -5*d - 3. Let r be l(-4). Let s = -14 + r. Is 3 a factor of s?
True
Let d(m) = -m**2 + 18*m + 18. Is 20 a factor of d(16)?
False
Suppose -2*b - h + 28 = 0, -b + 5 = -h - 9. Let v be b/(-18) - 8/36. Let g(s) = -54*s**3 + 2*s**2 + 2*s + 1. Does 21 divide g(v)?
False
Let n = -8 + 64. Is n a multiple of 8?
True
Is 3 a factor of (-156)/91*35/(-2)?
True
Let m = -3 + 6. Suppose 0 = m*k - 0*k - 6. Suppose -i + 29 = -4*j, -7*j + k*j - 70 = -5*i. Is 5 a factor of i?
False
Suppose -9*r + 2288 = -r. Is r a multiple of 30?
False
Suppose -4*r = -m - m - 22, -3 = 4*r + 3*m. Let t = 8 - r. Suppose -y - 3*o + 2 = -6*o, -t*o = -4*y + 36. Does 14 divide y?
True
Suppose -4*o + o = -84. Is o a multiple of 20?
False
Let h(w) = 2*w**3 - 3*w**2 + w + 1. Let a be h(3). Suppose 53 = 3*r - 0*r + 5*i, r + 5*i = a. Does 11 divide r?
True
Suppose 0*w + 4*w - 68 = 0. Suppose 2*g - w = 5. Let l = g + 13. Is l a multiple of 12?
True
Let s(f) = -f**2 - 5*f. Let x be s(-6). Is 7 a factor of -28*(3 + 21/x)?
True
Let h(n) = n**3 - 5*n**2. Is h(6) a multiple of 18?
True
Let d = -15 - -25. Let v = 2 - d. Let p = 21 + v. Is 7 a factor of p?
False
Let l(q) = 28*q**3 - 2*q**2 + 0*q**3 + 8 - 7. Let m be l(1). Suppose 4*d + m - 107 = 0. Is d a multiple of 8?
False
Let y(t) = -2*t + 4. Let f be y(4). Let o be -5 - f - 7/(-1). Let p = o - -1. Does 6 divide p?
False
Let q = -74 - -53. Let n = -12 - q. Is 9 a factor of n?
True
Suppose 3*a + 2*i - 102 = 0, 2*a = -0*a - i + 67. Suppose 5*w - 30 = -r + 14, -5*w = -3*r + a. Is 19 a factor of r?
True
Let g = -290 + 420. Does 18 divide g?
False
Suppose -2*l + 74 = -l. Suppose -l = -3*w + 58. Is w a multiple of 11?
True
Let w(v) = -v**2 - 8*v - 15. Let p be w(-10). Suppose 22 - 132 = 5*h. Let a = h - p. Is a a multiple of 10?
False
Suppose -21*f - 247 = -22*f. Is 13 a factor of f?
True
Suppose 4*h = 5 + 11. Suppose w - h*w = c - 20, -36 = -5*w - c. Is 11 a factor of 2/(-4)*(-352)/w?
True
Let x be (-12)/(-8)*(-14)/(-1). Let u = 39 - x. Is 13 a factor of 7*6*u/21?
False
Let i(h) be the first derivative of h**4/12 - h**3/3 + 2*h**2 + 3*h + 1. Let x(z) be the first derivative of i(z). Is 12 a factor of x(6)?
False
Let s(l) = 8*l. Does 16 divide s(14)?
True
Let f(v) = -v - 3. Let z be f(-3). Let r = 1 + z. Is 3 a factor of 11*(-2 + r + 2)?
False
Is 13 a factor of (-357)/(-27) - (-4)/(-18)?
True
Let o be 0/(2 + 0) - -2. Suppose 11 = 3*i + o. Is 3 a factor of i?
True
Suppose -3*q + c = -c - 310, c = 5*q - 505. Is q a multiple of 50?
True
Suppose 2 = 2*l, 3*l + 10 = 3*c - 2. Let x(u) be the third derivative of -u**6/120 + u**5/10 - u**4/8 - 7*u**3/6 + u**2. Does 3 divide x(c)?
True
Is (-1 - -2)*(10 + 61) a multiple of 16?
False
Let b(k) = -5*k**2 - k + 5. Let f(t) = 14*t**2 + 4*t - 14. Let v(x) = -17*b(x) - 6*f(x). Let l be v(6). Is (-2)/(-1) - l*2 a multiple of 7?
False
Is 9 a factor of (34*(-5)/2)/(-1)?
False
Let u = 0 + 0. Let s = 13 + -9. Suppose u*j + 28 = o + s*j, 0 = 3*o - 3*j - 9. Is 4 a factor of o?
True
Suppose -3*g + 5 = -2*g. Let f = g - -7. Does 11 divide f?
False
Suppose -4*j + 3*p = -2*p - 8, 2*j - p - 4 = 0. Let x(v) = -v**2 + 9*v + 1. Let d be x(8). Let o = d + j. Is o a multiple of 5?
False
Suppose -193 = -2*p - 0*p - 3*h, 0 = 5*h - 25. Is 29 a factor of p?
False
Suppose -5*t = -f + 43 + 13, f + 4*t - 56 = 0. Suppose -l - 4*c = -4*l + f, l - 5*c = 37. Is l a multiple of 12?
True
Let h = -16 + 53. Is h a multiple of 7?
False
Let b(r) = -10*r + 2. Is 9 a factor of b(-7)?
True
Let x(o) = o**2 + o + 2. Let q be x(-2). Let f = 1 + q. Is f a multiple of 5?
True
Let q(n) = -2*n - 9. Let h be q(-6). Suppose -h*z + 416 = 2*z + 2*u, -3*u + 162 = 2*z. Does 28 divide z?
True
Suppose -22*u + 10*u = -4152. Does 18 divide u?
False
Suppose -2*k = 3*k + s - 220, -2*s + 125 = 3*k. Is k a multiple of 9?
True
Let b be (-4)/3*(3 - 6). Suppose 3*q - b*q = -15. Is q a multiple of 5?
True
Suppose 55 = 5*g - 4*d, 2*d - 3 = -2*g + 1. Suppose 3*t = -3*b + t - g, -5*b = 5*t + 20. Is (-2 - b) + (3 - -16) a multiple of 11?
False
Let a = 10 + -4. Is 2 a factor of a?
True
Let m(i) = 6*i**2 + 2*i + 7. Is 17 a factor of m(-3)?
False
Let t(h) = -4*h - 14. Let s be t(7). Let m = s + 85. Is 24 a factor of m?
False
Suppose -2*r = -6, 0*r - 4*r - 416 = -4*p. Does 6 divide p/5 + (-9)/(-15)?
False
Suppose p + 4 = y, -5*p + 13 = -3*p + 5*y. Let m(o) be the second derivative of -13*o**5/20 - o**3/3 - o**2/2 - o. Is m(p) a multiple of 5?
False
Let l = 530 + -118. Does 47 divide l?
False
Let p be (-5)/10 + (-1)/(-2). Does 14 divide -3 + -2 + (61 - p)?
True
Suppose 0 = w + 3 - 32. Is w a multiple of 16?
False
Let v(p) be the second derivative of -p**3 + p**2/2 - p. Suppose -4 + 8 = -f. Does 11 divide v(f)?
False
Is 14 a factor of (-2)/(-9) - (-2232)/162?
True
Let b(i) = -7*i**3 - 2*i**2 + i + 2. Let a be b(2). Let d = 84 + a. Does 8 divide d?
True
Suppose -2*a + 66 = 2*m, 2*a = -m - 3*a + 41. Suppose -1 - m = -2*r. Is r a multiple of 16?
True
Let s(i) be the second derivative of i**5/20 - i**4/3 + i**2 + 4*i. Is s(4) a multiple of 2?
True
Suppose 0 = -0*y + y. Suppose y = -o + 19 + 6. Is 23 a factor of o?
False
Let r be 2/5 + 1335/(-25). Let o = 79 + r. Is 13 a factor of o?
True
Is 13 a factor of 6/(-4*12/(-544))?
False
Suppose -5*y - 4*f + 68 = 0, -6 = -y + f + 4. Let z = y - -10. Let b = z + -4. Is 9 a factor of b?
True
Suppose 0 = 6*s + 22 - 118. Is s a multiple of 8?
True
Let l(d) = 5*d**2 - 3*d + 2. Is 14 a factor of l(3)?
False
Let n = 6 + -7. Let q(a) = 79*a**2 + 3*a + 2. Is 23 a factor of q(n)?
False
Let a(u) = -u**3 - 12*u**2 - 14*u - 14. Is 11 a factor of a(-12)?
True
Suppose 3*v - 2*d - 66 = 0, -d + 4*d = 4*v - 87. Is 18 a factor of v?
False
Let v = 7 + -5. Suppose v*s + y - 16 = -2*s, -2*y - 16 = -4*s. Suppose 30 = 6*t - s*t. Does 6 divide t?
False
Let f be 16/10 - (-10)/25. Is 11 a factor of f + (10 - 1)*1?
True
Let k(p) = -9*p + 15. Let u be (5/(-3))/((-5)/(-15)). Let z(y) = 5*y - 8. Let d(n) = u*z(n) - 3*k(n). Is 9 a factor of d(7)?
True
Let q(c) = -c + 4. Let u be q(9). Let w(a) = 2*a**2 + 4*a + 12. Is w(u) a multiple of 14?
True
Let c be ((-284)/5)/(6/(-15)). Suppose -4*s = s + 3*d - 191, 4*s - 3*d = c. Is 14 a factor of s?
False
Suppose 2*i = -2*i - 4*m + 84, -4*i - 2*m + 74 = 0. Let r = -11 + i. Suppose -2*p = -n - 17 + r, 0 = -4*p - n + 18. Is 2 a factor of p?
False
Suppose 2*b - 63 = 1. Is 12 a factor of b?
False
Suppose 3*u + 3*d - 3 = 0, 7*d - 4*d + 21 = 3*u. Suppose u*f - 198 = q + 2*q, 4*f - 214 = -5*q. Is f a multiple of 9?
False
Let j = -2 + 6. Suppose g = -5*h + 20, j = 2*h - h + g. Is 4 a factor of h/10*20/2?
True
Suppose t - 10 = 6. Does 2 divide t?
True
Suppose 3*y - 6*a = -a + 493, 795 = 5*y + 5*a. Let h = y - -63. Suppose 0 = 4*g - 0*g - h. Does 22 divide g?
False
Let r(p) = p**2 - 7*p + 6. Let y be (0 - -1)/((-3)/(-27)). Does 12 divide r(y)?
True
Let r(v) = -18*v - 21. Is r(-6) a multiple of 27?
False
Does 44 divide (2*((-423)/6)/3)/(-1)?
False
Suppose 4*j - 4*i - 9 - 19 = 0, 4*i + 8 = -j. Suppose -2*x + 34 = 4*q, -j*x + 77 = -3*q + 8*q. Is 17 a factor of x?
False
Let y = 367 + -212. Is 11 a factor of y?
False
Let p be (6*8)/(-2 - -1). Let t = p + 21. Let i = t + 53. Is 13 a factor of i?
True
Suppose 0*i + 2*i = 0. Suppose 4*z - 6 = 2*z. Suppose 151 = z*s + 5*b, -16 = 4*b - i*b. Is s a multiple of 20?
False
Let l = 5 + 1. Let w = 54 - l. Does 16 divide w?
True
Let b = 312 - 200. Is b a multiple of 28?
True
Let c be 5*4/15*3. Suppose i - c = 15. Does 15 divide i?
False
Suppose 5*m + r - 284 = -3*r, -m + 2*r + 54 = 0. Is m a multiple of 25?
False
Let w = 1 - 5. Let l(a) = -6*a - 4. Is 15 a factor of l(w)?
False
Let q = -2 + 5. Suppose 4 + 5 = q*n. Suppose 0*y - 57 = -n*i + y, -i + 5*y = -5. Is 8 a factor of i?
False
Let d(x) = 5*x**2 + 3*x**2 + 7*x - 5*x**2 + 17 - 4*x**2. Is 4 a factor of d(7)?
False
Suppose -3 = 2*o - 9. Let s be 4/o*(-126)/(-4). Suppose -2*z = -0*z - s. Is z a multiple of 16?
False
Let s(b) = b**2 + 6*b + 6. Let h be s(-5). Let l be -1 - (0 - h - 0). Suppose -2*f + f