 11 a factor of s?
False
Let k = 14 + -11. Suppose -k*j = 4*a - 26, -a - 2*a + 30 = 3*j. Is j a multiple of 7?
True
Let u = 191 - 146. Does 45 divide u?
True
Let l = 112 + 14. Is l a multiple of 18?
True
Suppose -2*n + 126 = n - 5*j, -42 = -n + j. Does 7 divide n?
True
Suppose -2*n = n + 3. Let j = 9 + n. Is 4 a factor of j?
True
Let x(n) = -17*n + 1. Let w be x(3). Is 11 a factor of (110/w)/((-2)/10)?
True
Let m(h) = 2*h**3 + 2*h + 5. Is 13 a factor of m(3)?
True
Let i be -9*(1 + 0 - 2). Let n be 11/i - (-4)/(-18). Does 2 divide (12/8)/(n/2)?
False
Let u(q) = -2*q + 4. Let b be u(-3). Let c = 18 - -4. Let m = c - b. Does 11 divide m?
False
Let x(j) = -1 + 6*j + 3 - j**2 + 6 + 0. Let q be -12*((-3)/6)/1. Does 8 divide x(q)?
True
Let x(b) = 3*b + 14*b**2 - 2*b + 4*b**2. Let t = 3 + -2. Does 8 divide x(t)?
False
Let j = 42 - -27. Suppose 7*w = 4*w - j. Is w/(-3)*(-15)/(-5) a multiple of 9?
False
Let u be 16/(-10)*10/(-4). Suppose -7*w + 2*w + 27 = 2*n, -6 = n - u*w. Is n a multiple of 6?
True
Suppose -i + 2*o + 6 = -2, 0 = -3*i + 4*o + 16. Is 16 a factor of (15 + -19)*(i - 4)?
True
Let j(l) = -2*l + 1. Let z be j(-2). Suppose 0 = -z*s - n - 0*n - 30, 4*s + 24 = n. Does 13 divide s/33 + (-343)/(-11)?
False
Let x(m) = -5*m + 34. Is 18 a factor of x(-22)?
True
Let q(k) = -6*k**3 + 6*k**2 + 5*k - 4. Let j(s) = -s**3 - s**2 + s. Let w(u) = 5*j(u) - q(u). Let b be w(11). Is 10 a factor of b/6*33/2?
False
Let v = -24 - -6. Let a(k) = -5*k - 22. Is a(v) a multiple of 17?
True
Suppose -4*p = h - 330, 4*h - 172 = -2*p - 0*h. Suppose 0 = 6*g - p - 326. Is g a multiple of 17?
True
Suppose 0 = -3*p + 52 - 10. Does 11 divide p?
False
Suppose -4*h + 157 + 467 = 0. Does 26 divide h?
True
Is 18 a factor of (36/24)/((-2)/(-72))?
True
Let j = 0 - -2. Suppose 0 = -r - j*r + 177. Suppose 1 = -2*p + r. Does 10 divide p?
False
Suppose 5*s = 41 + 209. Is 13 a factor of s?
False
Let p be (-2)/(-8) + 614/8. Let j be p/(2 - 7/4). Is 4/(-14) - j/(-49) a multiple of 3?
True
Let w = 168 - 81. Does 6 divide w?
False
Let m(x) = -x - 2*x - 4*x + x + x**2 - 5. Let s be m(6). Is 2*1 + (-3 - s) even?
True
Let i be 11/(-4) - 3/12. Let u be ((-15)/(-2))/(i/(-6)). Suppose 3*t - u = a, 3*t = 5*a - 6*a + 9. Is 3 a factor of t?
False
Suppose 66 = l + 16. Is 25 a factor of l?
True
Let v = 65 - 29. Is 6 a factor of v?
True
Let t = 76 - 115. Let m = -15 - t. Does 23 divide m?
False
Let p = -7 + 1. Let i(j) be the second derivative of j**4/12 + 5*j**3/6 + 4*j**2 + 8*j. Is 14 a factor of i(p)?
True
Suppose 16 + 20 = 2*k - 3*q, -3*k = -5*q - 52. Is k a multiple of 8?
True
Is ((-16)/10)/(2/(-60)) a multiple of 16?
True
Let j(u) = 7*u**2 + 16*u - 3. Let g(k) = 13*k**2 + 31*k - 6. Let r(t) = -6*g(t) + 11*j(t). Let w be r(-9). Is ((-114)/w)/(2/(-4)) a multiple of 19?
True
Let q = 6 + 2. Suppose 0 = -2*z - 3*w - 3, z - 2*w = -7*w + 9. Let d = q - z. Does 14 divide d?
True
Let d = 2 + -2. Suppose -4*k + 97 = -k + j, d = -k + 3*j + 29. Is 16 a factor of k?
True
Suppose 6 = 2*u - 60. Is 7 a factor of u?
False
Let d(m) = 120*m**2 + m + 1. Let u be d(-1). Suppose -3*x + c = -2*c - u, -3*x - 2*c + 145 = 0. Does 15 divide x?
True
Let d(v) = 2*v - 15. Let o be d(10). Let n be 0/5 + -1 + o. Suppose -n*z + 7*z = -j + 96, -4*z + 147 = -5*j. Does 11 divide z?
True
Let g(i) = i**3 - 5*i**2 - 6*i + 4. Let d be g(6). Suppose 3*b + 5*x - 35 = 0, -d*b - 9 = x - 33. Let n(t) = -t**3 + 4*t**2 + 7*t - 3. Is 6 a factor of n(b)?
False
Let b(w) = -w**3 + w**2 - 2*w + 158. Does 21 divide b(0)?
False
Suppose -10 = -5*f + 145. Let u = 36 + f. Is 16 a factor of u?
False
Suppose 5*l - 4*c = 89, 64 = 4*l - 0*c - 5*c. Let b = l + -12. Is b a multiple of 9?
True
Suppose -5*u - 3*b + 1840 = 0, -3*b = -4*u + 1346 + 153. Does 15 divide u?
False
Suppose -5*p + 42 = -5*x + 2, 0 = -2*p + 5*x + 28. Let n = p - 1. Suppose 0 = i + 2*o + n*o - 40, 4 = o. Does 20 divide i?
True
Is (-3)/(-3) + (1 - -44) a multiple of 23?
True
Let l be (32/(-40))/((-4)/10). Suppose -d - 5*k - 7 = -29, l*d = -5*k + 54. Does 12 divide d?
False
Let k be (18/4)/(6/(-8)). Let m = 14 + k. Does 4 divide m?
True
Let v = 9 + -5. Suppose -33 = j - v*j. Does 6 divide j?
False
Is 147/15 + 8/(-10) a multiple of 2?
False
Suppose 19 = 2*f - 65. Is 9 a factor of f?
False
Suppose q + 2*p - 5*p = 10, -4*q - 2*p - 16 = 0. Does 11 divide 1 - -11 - (q - 0)?
False
Suppose -5*w = -3*w - 14. Is w even?
False
Suppose -2*p - 3*p + 85 = 4*k, -55 = -3*k + 5*p. Does 2 divide k?
True
Let s(t) be the first derivative of -t**4/6 + t**3/3 - t**2/2 - 1. Let w(j) be the second derivative of s(j). Does 7 divide w(-3)?
True
Suppose -k + 33 = -24. Is k a multiple of 12?
False
Suppose 5*a - 33 - 14 = 3*c, -2*c - 4*a = 68. Let o = c - -43. Does 18 divide o?
False
Let b(f) = f**2 - 6*f + 5. Let a be b(4). Let l = 2 - a. Is 5 a factor of l?
True
Let s(u) = -80*u**3 + 2*u**2 - u - 2. Does 27 divide s(-1)?
True
Suppose -2*k + 2*p + 20 = 2*k, -5*k + 3*p + 26 = 0. Suppose 0 = 3*c - k*c + 4. Suppose 50 = c*x + x. Is 5 a factor of x?
True
Suppose -16 = -5*c + 3*u, 0 = -0*c - 4*c - 4*u + 32. Suppose 5*l = 5*g - 35, c*g + 5*l - 23 = 2. Is 6 a factor of g?
True
Let j = -5 + 3. Suppose -f + 12 = z, 2*z - 4*f - 6 = 6. Let n = z + j. Does 3 divide n?
False
Let i be (-2 - -5) + (-1)/1. Let g(h) be the first derivative of 2*h**3 - h**2/2 - h + 1. Is g(i) a multiple of 21?
True
Let k = 21 - 16. Suppose -35 = -3*l + k*j, -l + 44 - 9 = 3*j. Is l a multiple of 10?
True
Is 26 a factor of 393/3 + (-4)/4?
True
Is (-1*1 - 0)/(8/(-1776)) a multiple of 37?
True
Let h = -6 + 6. Suppose h = -z - z + 20. Is 5 a factor of z?
True
Suppose -18 - 2 = -2*u. Is 2 a factor of u?
True
Let u(a) = a**2 - 7*a - 8. Is 22 a factor of u(10)?
True
Let n(a) = -26*a**3 + 3*a**2 - a + 4. Let t(q) = -27*q**3 + 4*q**2 - q + 5. Let j(m) = -4*n(m) + 3*t(m). Let h be 1 + 0 + 1 + -1. Is 23 a factor of j(h)?
True
Suppose n = -0*n + 4. Is n a multiple of 4?
True
Let h(m) = m**2 - m + 1. Let b(t) = t**3 - t**2 + 6*t - 6. Let p(v) = b(v) + 6*h(v). Let d be p(-5). Is d/(-4) - 36/(-1) a multiple of 13?
False
Is 10 a factor of (-24)/84 + 284/14?
True
Suppose -4*a + w = -0*a, 8 = -2*w. Let u(o) = -30*o**3 - 2*o - 1. Is 14 a factor of u(a)?
False
Let b(t) = -9*t**2 - t**3 + 0*t**2 + 2*t**2 - 8*t - 5 - 3. Is 24 a factor of b(-7)?
True
Let u(b) = -b**2 - 6*b - 7. Let g be u(-5). Let p be (0 + -2 - g) + 7. Suppose p = -2*a + 3*a. Is a a multiple of 3?
False
Suppose -2*n + 9 = 3*s - 8, 0 = 5*n + s - 23. Suppose -5*h + i = -26, -2*i - 8 = -n*i. Is h a multiple of 6?
True
Suppose 18 = -0*h + 3*h. Suppose -2*v = -h*v + 60. Is v a multiple of 15?
True
Suppose r = 3*r - 3*w - 10, 3*r - 4*w = 14. Let k be 1 - (-3)/r*10. Suppose z - k = -0*z. Is z a multiple of 8?
True
Let p = 24 + 6. Does 6 divide p?
True
Suppose -2*f + 38 = 3*p + 14, -5*f + 60 = 2*p. Is 16 a factor of 213/f + 2/8?
False
Let y(r) = 4*r**2 + 3*r - 2. Let p be y(3). Suppose 0 = 2*t - 5*w + 57, -2*w = -2*t + 4*t + 36. Let x = p + t. Is 16 a factor of x?
False
Let u = 33 - 16. Does 17 divide u?
True
Is 9 a factor of ((-6)/9)/(2 + (-219)/108)?
False
Let x(r) = -2 + 2 + 1 + 6*r. Is x(1) a multiple of 3?
False
Let t = 72 - 42. Is 5 a factor of t?
True
Let h(a) = -a**2 + 10*a + 8. Let p be h(10). Is 138/p + (-3)/12 a multiple of 11?
False
Let d(h) = -h**2 + 3*h - 1. Let b be d(2). Let z = b + 2. Is z even?
False
Let i be (3 - 1)*(0 + 1). Suppose i*z - 54 = -z. Does 8 divide z?
False
Suppose k = 2*k + 2. Let c = k - -38. Suppose 0 = h + h - c. Is 12 a factor of h?
False
Is (-3 - 479/(-4)) + 1/4 a multiple of 30?
False
Let s(h) = 7*h**2 - 6*h + 3. Is s(4) a multiple of 28?
False
Suppose 0*r = 3*r - 15. Suppose 0*b + r*b - 75 = 0. Is b a multiple of 15?
True
Let u(a) = -a**2 + a + 1. Let s be u(1). Does 2 divide 0 - (4 - s)*-1?
False
Let r(j) be the third derivative of j**6/120 - j**5/12 - 7*j**4/24 + j**3/2 + 3*j**2. Let t be r(7). Suppose -b = 3*b - t. Does 13 divide b?
True
Let u = -6 - -12. Suppose 0 = -u*y + y + 10. Suppose y*c - 37 = -5*g, 16 = 2*c + 2*g - 4*g. Is 9 a factor of c?
False
Suppose i = 2*u + 21, -58 = -2*i + 5*u - 18. Is 5 a factor of i?
True
Let u = 10 - 39. Let g = u - -67. Is 19 a factor of g?
True
Let b = -137 - -234. Is b a multiple of 19?
False
Let y = 13 + 1. Suppose -4*d = -y - 6