s 20 a factor of a?
True
Let t be 144*4/8*1. Let j = t + -22. Is 36 a factor of j?
False
Let k be -6*(2/(-17) + 2730/(-204)). Let y = k - 56. Does 25 divide y?
True
Is 13 a factor of (-12)/(-18) - 350/(-6)?
False
Let l(m) = m**2 - m + 4. Let j be 4/(-6) - (-44)/12. Let r be l(j). Suppose 0 = -2*h + r, 3*y - 5 = -4*h + 36. Does 2 divide y?
False
Let q(k) = 7*k - 52. Let n be q(8). Suppose -3*m - 704 = -4*o, n*o - 463 - 241 = -2*m. Is 29 a factor of o?
False
Suppose v - 783 = 12. Is v a multiple of 31?
False
Let k(x) = x**2 - 2*x - 5. Let a be k(-3). Let b = -773 + 449. Does 7 divide (-2)/a - b/20?
False
Suppose 47*t + 15 = 50*t. Let u be (-1)/3 + 26/6. Suppose t*q = -3*h + h + 145, 140 = 2*h + u*q. Is 10 a factor of h?
True
Let p = 4697 - 3235. Does 86 divide p?
True
Let k = -247 - -411. Is k a multiple of 3?
False
Let g = -78 - -708. Is g a multiple of 45?
True
Suppose 0*o - o = 118. Let j(x) = -7*x + 3. Let z be j(12). Let h = z - o. Is h a multiple of 9?
False
Suppose 2*l - 3*l = -2*b + 498, 5*l = -4*b + 982. Is 31 a factor of b?
True
Let f(u) = 96*u + 12. Let c be f(-3). Let j = c + 416. Is 35 a factor of j?
True
Let t be (-2 + 3)/(2/38). Suppose o = 4*r - 14, -t = -4*o - r + 2*r. Suppose -4*u + 32 = 4*g, -5*g = -o*g. Does 8 divide u?
True
Let j(k) = -3*k**2 + 2*k**3 + k + 4*k**2 - 4*k**2. Let z be j(2). Let t = z + 2. Is 8 a factor of t?
True
Let h = -21 - -27. Let k be -3*211*h/(-18). Let l = -138 + k. Is 22 a factor of l?
False
Suppose 2*r + 8 = 6*r. Does 43 divide 43 + 0*-4*r/(-16)?
True
Let p(z) = -10*z - 37. Let t be p(-16). Is 37 a factor of (14/6 - 2)*t?
False
Let y = 9 + -1. Let s = -15 - -23. Let r = s + y. Is 16 a factor of r?
True
Let z(f) = f**2 + 5*f - 3. Let i be z(-6). Let s(d) = -d**2 + 10*d + 3. Let o be s(10). Suppose o*x = 0, 3*y + 0*y - i*x - 138 = 0. Is y a multiple of 11?
False
Let f(l) = -7*l**3 + 27*l**2 + 12*l + 1. Let q(k) = -3*k**3 + 13*k**2 + 6*k. Let t(g) = -2*f(g) + 5*q(g). Is 32 a factor of t(11)?
True
Let l(o) = 11*o + 11*o**3 + 6*o**3 - 7*o**2 - 5*o**3. Does 21 divide l(3)?
True
Let w(g) = 36*g**3 - 37*g**3 - 6*g + 0 + 4 - 6*g**2. Suppose n + i = -5, -3 = n - 5*i + 2. Does 7 divide w(n)?
False
Suppose 132 = 15*z - 4*z. Is 24 a factor of (280/15)/(2/z)?
False
Let x be (-2)/(-6) - (70/21 - 5). Suppose 2*n = -6*m + x*m + 92, -3*n = 2*m - 146. Is n even?
True
Let r = -40 + 39. Does 8 divide 50 + r*(4 - 3)?
False
Let f be 8/60 - (-7166)/30. Suppose 3*y - 1025 = -5*r, -3*r + 4*y + f = -405. Is 16 a factor of r?
True
Suppose q - 1 = -6, -3*b - 64 = 2*q. Let r = b - -23. Suppose -9 = r*i - 59. Is i a multiple of 2?
True
Let l = -24 - -14. Let j = -8 - l. Does 3 divide -2*(j - -2)*-1?
False
Let k(w) = w**3 - 11*w**2 + 21*w - 5. Let t be k(9). Suppose -f - 3*l = 2*f - 12, t = 4*f + l. Let j(c) = -c**3 + 5*c**2 + 10*c - 15. Is j(f) a multiple of 9?
True
Let d(k) = -3*k**3 - 2*k - 7. Suppose 2*n + 2*n = -12. Is d(n) a multiple of 16?
True
Suppose 3*h - 85 = 5*b - 360, -110 = -2*b + 5*h. Let z = 40 + b. Is z a multiple of 19?
True
Suppose -3*a + f = -2*f - 6, -a - 5*f + 2 = 0. Suppose 0 = 2*u + a*u + 36. Let p = 0 - u. Is 4 a factor of p?
False
Suppose -6*x + 8224 = 2*x. Does 92 divide x?
False
Suppose -2*c - 12 = -2*n, -3*n = 4*c - c + 30. Is (-255)/(-10) + (-4)/c a multiple of 13?
True
Let h be (-4)/(16/4) + 1*-99. Let s = h - -154. Is 10 a factor of s?
False
Let q = 16 - 11. Suppose 178 = q*s - 3*s. Suppose -r + 2*h = -s, 3*h = 6*r - 4*r - 181. Is 12 a factor of r?
False
Suppose -2 + 12 = 2*o. Suppose -5*f = 3*z - o, 0 = -2*z - f - 2*f + 4. Suppose -30 = -r - z. Is r a multiple of 19?
False
Suppose 7*c - 2*c = 100. Is 2028/c - ((-6)/(-15) + -1) a multiple of 34?
True
Let a = 0 + 0. Suppose a = 6*y - 213 - 183. Does 22 divide y?
True
Let r(t) = t**2 + 4*t + 5. Let h(s) = 5*s**3 + s. Let o be (-22)/18 + 18/81. Let b be h(o). Is 9 a factor of r(b)?
False
Let m(u) = -u**2 - 14*u. Let x(r) = -3*r**2 + r - 1. Let z be x(2). Let a be -1 + z - (-3 - -2). Is m(a) a multiple of 11?
True
Suppose 3*x = -2*v + 76, 5*v - 3*v = 4*x - 92. Suppose 4*g - h = 27, -5*g - 2*h + 37 = -0*h. Suppose m = g + x. Does 13 divide m?
False
Suppose -s - 2 = -2*s. Let f be 0/(1 + s) - -3. Let v = 11 - f. Is v even?
True
Let b(a) = 3*a**2 - 9*a + 54. Does 3 divide b(13)?
True
Suppose 3*s = -3*w - 12, 11 - 33 = 4*s + w. Let x(l) = -8*l + 6. Is x(s) a multiple of 8?
False
Let b(q) = -q**2 - 2*q - 61. Suppose 3*l = 2*l. Let o be b(l). Let u = 124 + o. Does 21 divide u?
True
Let l be 476/(-77) + (-4)/(-22). Let v(j) be the second derivative of -j**3/6 + 5*j**2/2 + 7*j. Is v(l) even?
False
Does 11 divide (-14)/2*6*(-84)/24?
False
Let i(u) = -3*u**3 - 3*u**2 - u. Let p(g) = -6*g**2 + 1. Let t(y) = 5*y**2 + y - 2. Let c(o) = -6*p(o) - 7*t(o). Let d be c(5). Does 8 divide i(d)?
False
Let f(w) = w**2 + 5*w - 5. Let g be f(-6). Suppose -s + 0 = -g. Is 2 a factor of 4*(s/(-1) + 2)?
True
Suppose -3*k + 670 = -k. Suppose -3*g + k = 101. Does 13 divide g?
True
Let g(f) = 71*f - 297. Does 25 divide g(7)?
True
Suppose -3*o = -k - 13, 2*k + 0 - 4 = -4*o. Does 3 divide ((-455)/k)/5 + (-11)/(-44)?
False
Let b = 3042 + -2133. Is 39 a factor of b?
False
Let a(y) = -3*y + 8. Let f be a(3). Let t be (-60)/f - (-8)/(-4). Suppose g = -g + t. Is 6 a factor of g?
False
Let f be ((-1)/(-2))/(4*2/928). Suppose -f = -7*y + 75. Does 10 divide y?
False
Let i = 29 - 27. Suppose 5*g = 2*v - 28, i*v = g + 7 + 5. Does 2 divide v?
True
Suppose 4*c - 3*u + u - 16 = 0, 4*c + 3*u - 6 = 0. Let y be c - (-2 - -3) - 0. Suppose y*r = -2*a - 3*a + 21, a + 97 = 4*r. Is 23 a factor of r?
True
Let w be -6*(-5)/10 - 3. Suppose n - 20 - 45 = w. Does 13 divide n?
True
Is (-57)/38 - 405/(-6) a multiple of 14?
False
Suppose -18*x = -54 - 36. Suppose x*d - 355 = 3*w, 4*d - 2*w - 82 - 204 = 0. Is 8 a factor of d?
False
Let r be -6*(1 - (-20)/(-12)). Let u = -3 + 7. Suppose -h = -r*y + 259, u*h = 8*h - 20. Does 22 divide y?
True
Suppose -392 = 2*d - 9*d. Does 28 divide d?
True
Let w(o) = -4*o**3 - 3*o**2 - o + 14. Let y be w(-7). Suppose -6*u + 8 = -y. Does 19 divide u?
True
Suppose -48726 = 9*x - 27*x. Is x a multiple of 11?
False
Let i = 46 + -27. Suppose 0 = g + 5*q + 22, -2*q = -4*g + g + i. Suppose -p + 3*s + 87 = -s, -225 = -g*p + 3*s. Is 16 a factor of p?
False
Let c be ((-64)/(-80))/((-1)/(-5)). Suppose c*k + 2*u - 806 = 0, -7*k + 5*u - 415 = -9*k. Does 20 divide k?
True
Let y be (-2)/7 - 16/(-7). Suppose -2*p - y*p = 4. Is 22 a factor of 259/5 - p/5?
False
Let k be (-2)/3*1206/12. Let x = k + 103. Is 6 a factor of x?
True
Let z(d) = -5*d**2. Let y be z(-1). Is (-1 - (y - -3)) + 43 a multiple of 10?
False
Suppose 0 = -0*p + 4*p, -100 = 5*s + 4*p. Let n = -58 + 42. Is 19 a factor of (3 + 84/n)*s?
False
Suppose -d + 4071 = 3*a, -9*d + 14*d + a = 20397. Does 85 divide d?
True
Let y(v) = 6*v**2 - v - 1. Let x be y(1). Suppose -7 = -x*j + 209. Does 6 divide j?
True
Suppose 24 = 2*d - n, 4*d - 3*n + 10 = 58. Suppose 76 = d*b - 8*b. Is 19 a factor of b?
True
Let l = 146 + -7. Suppose -3*i - 2*o = 64 - 431, -i + l = 4*o. Is i a multiple of 27?
False
Suppose 3*m - 37 = -2*m - g, 4*g - 12 = -3*m. Let f(u) = -u**2 - 6*u**2 - 17 + 12*u + 9*u**2 - 3*u**2. Does 10 divide f(m)?
False
Let u(v) = v**2 - v - 3. Let y be u(2). Is 7 + -3 + 12/(y + 2) a multiple of 4?
True
Let b be (-61)/6 + (-3)/(-18). Let x(h) = -5 + h**2 + 1 - 11*h - 2*h**2. Is x(b) a multiple of 2?
True
Let m(j) = -4*j - 16. Let w be 122/4 + (-2)/4. Suppose 2*d - 4*f = -w, 6*d + 5*f + 47 = 2*d. Is 12 a factor of m(d)?
True
Suppose 6*m = 4945 + 1919. Suppose -5*i + 3*z + m = 4*z, -476 = -2*i - 5*z. Is 12 a factor of i?
True
Suppose -12*l - 4100 = -22*l. Is 42 a factor of l?
False
Suppose 0 = 30*b - 37*b + 2926. Is b a multiple of 10?
False
Let g be -1 + (-3)/(-1) - -3. Suppose g*v - 51 = -6. Let p(l) = l**3 - 9*l**2 + l + 2. Does 11 divide p(v)?
True
Let v = 452 - 251. Let r = -80 + v. Is r a multiple of 23?
False
Let o(z) be the second derivative of z**4/12 + 5*z**3/6 - z**2/2 + 4*z. Let d be o(-4). Does 14 divide ((-14)/(-5))/((-1)/d)?
True
Let p(o) = 0 - 21 - 13 - 2 - 16*o. Does 46 divide p(-8)?
True
Let j = 281 - -195. Is 14 a factor of j?
True
Suppose 7973 = 47*w - 40*w. Is 67 a factor of w?
True
Let v = -9 + 4. Let a = v - -12. Let m(t)