et s(t) = -11*t - 33. Is 15 a factor of s(-10)?
False
Let q = 2 - 2. Suppose 2*f - 3*v = -2, q = -f + 3*v - 1 - 3. Suppose f*z = 3*z - 6. Is z a multiple of 4?
False
Suppose -5*x = 2*k - 0*x - 163, 4*x = 20. Let z = k + -39. Is 10 a factor of z?
True
Suppose 0 = -w + 6*w - 1050. Does 30 divide w?
True
Suppose 0 = 2*w - 5*z - 347, 0 = 3*z - 4 - 5. Is 29 a factor of w?
False
Suppose 5*f + 0*f - 425 = 0. Is 32 a factor of (3/(-3))/((-1)/f)?
False
Let t = -20 - -88. Is 6 a factor of t?
False
Does 10 divide -1 + (-4662)/28*(-4)/6?
True
Let u(a) = 6*a**2 + 2*a + 1. Let v be u(-1). Let x = -7 + v. Does 5 divide 4/(-6)*33/x?
False
Let b(w) = -43*w + 13. Let p(v) = 21*v - 7. Let t(u) = -6*b(u) - 11*p(u). Let x be ((-2)/(-4))/(2/4). Does 13 divide t(x)?
True
Suppose -3*m = -0*m - 39. Is 2 a factor of m?
False
Let v = -83 - 0. Let k = v + 118. Suppose 0 = -5*b + 105 + k. Is 14 a factor of b?
True
Suppose -2*w - 2 + 10 = 0. Let n = w - 4. Suppose -r - 3*r + 28 = n. Is r a multiple of 7?
True
Suppose 0 = 4*s - 5*n - 42, -2*s + 3*n + 59 = 3*s. Does 13 divide s?
True
Suppose a = -0*a + 4*m + 10, -2*a = 2*m. Is a/2*(3 + 20) a multiple of 10?
False
Let j = -15 - -17. Suppose 2*m - j = 10. Is m a multiple of 3?
True
Suppose 0 = 4*o - 2*w - 296, w = -3*o + 59 + 158. Is o a multiple of 23?
False
Let p(i) = -18*i**2 - i + 1. Let u be p(1). Let g be 182/9 + 4/u. Suppose 0*m + 4*m = g. Is m a multiple of 3?
False
Let f be (5/1)/((-2)/(-2)). Suppose f*i - 4*w - 5 = 0, -2*w + 11 + 4 = i. Suppose -g + i*g = 84. Is g a multiple of 7?
True
Suppose 49 = 4*z - 87. Is z a multiple of 8?
False
Suppose 4*i - 2 = 10. Suppose -2*t = i*t - 480. Suppose -4*s = 8 - t. Is 13 a factor of s?
False
Let s(l) = -l**3 - 6*l**2 + l + 9. Let x be s(-6). Let w be -22*(-2)/5*5. Suppose 4*i + 8*m - x*m - 47 = 0, 4*m = -4*i + w. Does 6 divide i?
False
Let l = 34 + -12. Is l a multiple of 10?
False
Suppose -562 = -4*k - 4*b + 250, 201 = k + 3*b. Is k a multiple of 13?
False
Suppose d - 4*o = 29, 5*o - 95 = -5*d - 0*o. Does 9 divide d?
False
Suppose 6 = 3*n - 15. Does 5 divide n?
False
Suppose -k - u - 19 = 0, -3*k - 4*u - 15 = 47. Is 6 a factor of (1 - k)/((-1)/(-1))?
False
Is (-30)/10*2*-5 a multiple of 18?
False
Suppose -3*y - 7 + 37 = 0. Is y a multiple of 10?
True
Suppose -4*z = 186 + 38. Is (5*6)/((-21)/z) a multiple of 24?
False
Suppose 0*t - 18 = -3*t. Let v = t - -34. Let r = v - 16. Is 17 a factor of r?
False
Let u(i) be the second derivative of i**5/20 - 5*i**4/12 + 5*i**3/6 + i**2/2 - i. Is u(4) a multiple of 3?
False
Suppose -m + 26 = 5*j - 3, -4*j + 40 = 5*m. Suppose -5 = j*l + d - 4, -2*l = -4*d + 18. Does 9 divide (-55)/(-3) - l/(-3)?
True
Let n be 60/7*42/(-6). Is ((-2)/(-3))/((-4)/n) a multiple of 5?
True
Suppose 5*o - 368 - 12 = 0. Suppose 3*b - o = m - 13, -51 = -3*b + 5*m. Does 5 divide b?
False
Suppose 0*v + 2*v = 80. Does 8 divide v?
True
Suppose 2*d + 2*d = 32. Suppose 4*y - 3*b - d = 21, 4*b = -4*y + 64. Is 11 a factor of y?
True
Let k be (-8)/(-12)*(0 - 3). Is 1/((k/154)/(-1)) a multiple of 18?
False
Let m(u) = u**3 + 8*u**2 - 11*u. Let w be m(-9). Let o = w - -10. Does 8 divide o?
False
Suppose 4*v = -2*h + 46, -4*v + 2*h - 10 = -68. Suppose z + c = 15, 4*c + 2 - 22 = 0. Suppose 0 = -n - 5*u + v, u + 27 + z = n. Is 13 a factor of n?
False
Suppose 5*q - 1131 = -131. Is q a multiple of 50?
True
Suppose 3*k = -k + 20, 4*k - 5 = -5*u. Let w = u + 6. Is 14 a factor of (-58)/(-2) + w/(-3)?
True
Let u = 40 - -119. Is u a multiple of 53?
True
Let c = 73 + -35. Let q = c + -18. Is 12 a factor of q?
False
Let p(j) = -6*j - 4. Let m be -7 + 1 + (-7 - -6). Is 11 a factor of p(m)?
False
Is 15 a factor of (-6)/(24/(-532)) + (-2)/(-1)?
True
Let l(u) = u**3 + 2*u**2 - 4*u - 1. Let o be l(-3). Let d be 0/3*o/(-2). Suppose d*r - 4 = -r. Is r a multiple of 2?
True
Suppose -8*p + 4*r = -3*p - 695, -p + 139 = -2*r. Suppose 3*o = 2*q + p, 0 = 3*o - 2*o - 5*q - 42. Does 27 divide o?
False
Let u(v) = 3*v**2 + 13*v + 4. Is u(-7) a multiple of 23?
False
Does 9 divide ((-3)/6 - 0) + (-889)/(-14)?
True
Let p(t) = t - 2. Let m be 9/(-6)*(-10)/3. Let s be p(m). Suppose 0 = -3*f - 0*u + 5*u + 23, -5*u = s*f - 73. Is 7 a factor of f?
False
Let g(o) = -2*o - 8. Let h be g(-7). Suppose -h*w + 250 = -w. Is 25 a factor of w?
True
Let a be (-2)/9 + 2/9. Let r = 3 + a. Suppose -r*c - 9 = -159. Is c a multiple of 17?
False
Let x be 3 - (-42 - (-1 + -3)). Is -1 + (2 + 0)*x a multiple of 18?
False
Suppose -5*y + 0*y + 370 = 0. Suppose 3*v = v + y. Let w = v - 1. Is 18 a factor of w?
True
Is (10 + -8)/(-4*2/(-140)) a multiple of 3?
False
Suppose u - 4*z = 10 + 9, -u + 2*z + 17 = 0. Does 7 divide 6/u - (-206)/10?
True
Let g(o) = 21*o**3 + 0 - 3 + 2*o + 2. Does 11 divide g(1)?
True
Suppose -323 = -3*v + 5*x, 5*v + 0*x - 575 = x. Suppose 2*r - v - 82 = 0. Is r a multiple of 26?
False
Suppose -j - f = 4*j - 121, 0 = 3*j + 4*f - 76. Is j a multiple of 3?
True
Suppose r = 40 - 4. Is r a multiple of 9?
True
Suppose 0 = 4*g - 0*d - d - 226, 3*g = -4*d + 160. Suppose -5*i - 7*n = -2*n - 55, -g = -4*i - n. Is i a multiple of 8?
False
Suppose -2*l + 303 = l. Is l a multiple of 30?
False
Let z(f) = 3*f**2 - 5*f + 4. Let s be z(4). Suppose -13*w = -3*w - 250. Suppose -3*y = -m - s, -m + w = -6*m. Is 9 a factor of y?
True
Suppose -71 - 87 = -2*f. Is 25 a factor of f?
False
Let i = 2 - 2. Let r = i + -1. Is 5 a factor of (r/(-3))/((-1)/(-21))?
False
Let i(q) be the second derivative of -2/3*q**3 + 6*q**2 + 2*q + 1/12*q**4 + 0. Is i(9) a multiple of 25?
False
Suppose 5*b + 21 = 206. Is b a multiple of 8?
False
Suppose 4*i = 2*i + 80. Is 11 a factor of i?
False
Let k = -4 - -7. Let y = k - -6. Let x = y + -5. Is x even?
True
Suppose 0 = 4*b + 5*x - 177, -21 = -3*x - 6. Is b a multiple of 19?
True
Let q(w) = w**2 + 6*w + 4. Let i be 1 + (1 - (2 - 22)). Suppose -30 = 4*n - 3*a, -2*n - 4*a + 9*a - i = 0. Does 2 divide q(n)?
True
Let b be ((-6)/9)/(6/9). Let l be (-1)/(b/40*1). Is (-4)/6 - l/(-6) a multiple of 3?
True
Let q be (-120)/(-25) - (-1)/5. Suppose q*b - 120 - 165 = 0. Is 19 a factor of b?
True
Let b = 3 + -1. Suppose 5*i - b*i = 0. Suppose i = 3*f - 2*f - 12. Is f a multiple of 12?
True
Suppose -2*m + 5 = -3. Suppose -5*j - 3*y = -45, -y - m*y - 45 = -5*j. Is 3 a factor of j?
True
Suppose 4*q = 80 + 112. Is q a multiple of 4?
True
Let c = -40 + 72. Is 8 a factor of c?
True
Let a(h) = 3*h**2 + 4*h + 8. Let u(j) = -1. Let s(r) = a(r) + 4*u(r). Is s(-4) a multiple of 9?
True
Suppose -44 = 4*i - 2*i. Let u = i + 50. Is u a multiple of 7?
True
Suppose 2*x = -3*x + 70. Suppose 2*l - 2 = x. Is l a multiple of 6?
False
Is 29 a factor of (-2)/(-4) - 171/(-6)?
True
Let b = -18 + 11. Let n be 7*3/1 + 0. Let f = n - b. Does 14 divide f?
True
Let k(z) = 2*z**2 - 10*z - 2. Let y be k(7). Let m = 36 - y. Suppose -4*w + 42 = m. Is 8 a factor of w?
True
Let s = -255 - -379. Let m = s + -71. Is 18 a factor of m?
False
Suppose 0*f - f + 4 = 0. Suppose -f*r = -0*r + 16, -4*r = 4*o - 8. Is o - (2 - 1)*-2 a multiple of 5?
False
Let z = 2 - 0. Suppose 0 = 2*s - z*x - 198, -s - 214 = -3*s - 2*x. Suppose -113 = -4*d + 5*y, d - 5*d + 3*y + s = 0. Is d a multiple of 11?
True
Let r(t) = t**2 - 5*t. Is 10 a factor of r(10)?
True
Let r = -3 + 5. Let j(l) = 23*l**2 - l**2 - 6*l**r. Is j(1) a multiple of 12?
False
Let a be (-4)/(1*(2 - 4)). Suppose -5*o + a*z + 85 = z, -2*o = 2*z - 46. Is o a multiple of 18?
True
Let a be (-42)/(-3)*1/(-2). Let m = 3 + a. Let o(l) = -4*l - 5. Does 6 divide o(m)?
False
Suppose -190 = -4*h + 2*h. Is h a multiple of 19?
True
Let z = 2 - -2. Suppose 27 = -z*j + 103. Does 13 divide j?
False
Let z = 62 + 10. Is 24 a factor of z?
True
Let h = -8 - -11. Suppose -46 = -h*u + 53. Does 11 divide u?
True
Let n(y) = 20*y**2 + 7*y + 37. Does 47 divide n(-4)?
True
Suppose -4*j + 456 = -2*v - 2*v, 2*j + 2*v = 220. Is 14 a factor of j?
True
Let b(g) be the third derivative of -g**6/120 + g**5/15 - g**4/24 + 6*g**2. Is 6 a factor of b(3)?
True
Let h be 3/6*4*8. Suppose -5*o + 4*o - 10 = 0. Let j = o + h. Is j a multiple of 2?
True
Let z(y) = 4*y + 16. Is 18 a factor of z(14)?
True
Suppose -c = -5*a + 26, 0*a - c + 9 = 2*a. Suppose -3*o + 140 = 5*i, -o + 90 + 40 = a*i. Is i a multiple of 21?
False
Let y(o) = -o**2 - 7*o - 8. Let p b