True
Let y(m) = m**2 + 4*m + 2. Let n be (-4)/12 - (-11)/(-3). Let g be y(n). Suppose h = g*i - 30, 0 = i + 2*h - 9 - 1. Is 14 a factor of i?
True
Let t = 337 + -235. Let w = t - 53. Suppose -4*f - 6*m = -m - w, -2*f + 2*m = -2. Does 6 divide f?
True
Let d(k) = -9*k**3 + k. Let n be d(-1). Suppose -2*w + 5*s - n = 0, -2*w - 3*w = 4*s - 46. Does 6 divide w?
True
Suppose -2*g + 4*g = 12. Let x = 33 + g. Suppose 4*u - 76 = -3*f, -x = -4*u + f + 53. Is 11 a factor of u?
True
Suppose 0*w - 22 = -5*w - 4*q, -4*w = 2*q - 20. Is 5 a factor of (-24)/9*(-63)/w?
False
Is 2 a factor of 38*1 - (1 - (-3)/(-3))?
True
Does 24 divide (16/6)/(8/540)?
False
Suppose -2*v = -v + 9. Let w(g) = -5*g - 12. Does 11 divide w(v)?
True
Let v be (-1)/1*-3*1. Suppose 128 = v*w + w. Does 16 divide w?
True
Let u(x) = -31*x + 5. Is u(-1) a multiple of 21?
False
Let t(n) = n**2 - n - 1. Let s(m) = -m**2 - 4*m + 1. Let u(f) = -s(f) + t(f). Does 6 divide u(2)?
True
Let b be (2/2 + -2)/1. Let z(c) = 18*c**2 + 2*c + 2. Is 11 a factor of z(b)?
False
Suppose -3*h + 353 = 119. Does 13 divide h?
True
Let k(m) = m**3 - m**2 + 4*m + 2. Let o be k(4). Suppose 2*x + s - o = 0, -4*x - 5*s + 136 = -2*s. Is 16 a factor of x?
False
Let a = -6 - -3. Let k be (-92)/7 - a/21. Let z = k + 23. Does 3 divide z?
False
Suppose 5*d + 9205 = -6*z + z, z + 1811 = 5*d. Is 2/7 - z/42 a multiple of 14?
False
Suppose 0 = -2*d + y + 67, 2*d - 55 = 4*y + y. Suppose 4*p = 2 + 6. Does 12 divide p*d/(-4)*-2?
False
Suppose l + 5*w + 16 = 4*l, 4*w + 11 = 3*l. Let g be -3*(l/(-9) + 1). Let i(t) = -t**2 - 5*t + 2. Is i(g) a multiple of 6?
True
Let v = -127 - -244. Does 13 divide v?
True
Suppose 0*i - 20 = 5*i. Let w = -1 - i. Is 3 a factor of w?
True
Let f(u) = u**3 - 6*u**2 + 3*u. Suppose 2*o + 9*g - 7 = 4*g, 3*g + 3 = 0. Let d be f(o). Is (-4)/6 + 192/d a multiple of 9?
False
Suppose -5*o + 2*x - 39 = 0, 0 = -2*x + 5 - 1. Let l = 21 + o. Is 7 a factor of l?
True
Let l = 5 + 1. Let z be l/(-3)*-30*1. Suppose 0 = -4*b + b + z. Does 10 divide b?
True
Suppose 5*x = -22 + 2. Let r = x - -13. Suppose -17 - r = -2*w. Is 8 a factor of w?
False
Let t(d) = -11*d - 106. Does 20 divide t(-20)?
False
Let d(h) = -8*h + 3. Let v be d(5). Let g = 2 - v. Is g a multiple of 8?
False
Let t(d) = d + 2. Let h be (0 + 1)/(2/14). Is t(h) a multiple of 9?
True
Suppose 4*r - 184 = -36. Does 11 divide r?
False
Suppose 5*q - 6*q + 27 = 0. Is q a multiple of 7?
False
Suppose 3*y + 16 = i, i + 4*y = -2*i + 100. Is i a multiple of 14?
True
Let g = 7 - -1. Let x = -8 + g. Suppose -4*p - 5*r + 14 = -3, x = 2*p - 2*r - 22. Does 4 divide p?
True
Suppose -2*i = i - 6. Let u(j) = 6*j**2 - 2. Does 13 divide u(i)?
False
Does 13 divide 6/15 + (-256)/(-10)?
True
Let o(h) = -h**3 + 10*h**2 + 12*h - 9. Let p be o(11). Let r(w) = 2*w + 8. Let f be r(-6). Is 9 a factor of (3/p)/(f/(-24))?
True
Let n(x) = x**2 + 5*x - 10. Let p be n(-7). Suppose 3*v = -v - 632. Does 17 divide 2/p - v/4?
False
Let v = 25 - -1. Does 15 divide v?
False
Let h(c) = 9*c**2 + 4*c + 6. Let o(s) = -5*s**2 - 2*s - 3. Let k(m) = 3*h(m) + 7*o(m). Let n(l) be the first derivative of k(l). Is n(-2) a multiple of 15?
True
Suppose 0*g = -g + 26. Does 7 divide g?
False
Let u = 51 - 45. Is u even?
True
Let c(u) be the third derivative of -u**7/840 + u**6/72 - u**5/120 + u**4/12 - u**3/2 - 2*u**2. Let r(k) be the first derivative of c(k). Is 7 a factor of r(4)?
True
Suppose -3*s = 0, 0 = -u - 3*s + 5 + 57. Suppose r - u = -3*k, 2*k = -3*k + 2*r + 107. Suppose -4*o + k = 3*t - o, 0 = 2*t - 5*o. Is 5 a factor of t?
True
Let x(c) be the first derivative of -c**4/4 + 8*c**3/3 - 7*c**2/2 + 6*c - 7. Is 9 a factor of x(6)?
True
Let n = 9 + -9. Suppose -3*o - 31 + 151 = n. Is 14 a factor of o?
False
Suppose -8*n = -6*n - 5*a - 95, -a = 3. Is 10 a factor of n?
True
Suppose 5 + 19 = 4*n. Suppose -3*d - 2*g - 11 - 3 = 0, -3*g = 12. Let j = n - d. Is j a multiple of 8?
True
Let r be ((-3)/2)/(2/(-4)). Suppose 2*f = r*f - 8. Suppose 2*q = q + f. Does 3 divide q?
False
Does 16 divide (-1)/(-5) - 2552/(-40)?
True
Suppose 5*p = 201 - 31. Is p a multiple of 17?
True
Let g(x) = -5*x - 9. Let f be g(7). Let k = 66 + f. Is k a multiple of 11?
True
Let u be (2 - (3 + -2))*5. Let n = 27 + u. Does 15 divide n?
False
Let z be 0/(2*(-2 - -3)). Suppose z = 3*s + 5*o - 13, o + 1 = -s + 2*o. Is 21 a factor of 167/4 - s/(-4)?
True
Suppose -2*m + 4*k = 10, 3*m - k = -2*m + 20. Is 4 a factor of m?
False
Let c(m) = -m**2 - 11*m - 10. Suppose 0 - 3 = s. Let h be (-21)/2*(-2)/s. Is c(h) a multiple of 5?
False
Suppose 0 = 4*u + 4*t - 8, 3*u = 5*t - 0*t - 10. Suppose 5*f - 16 + 1 = u. Suppose 3*d - 3*o = -2*d + 163, d - 35 = f*o. Does 16 divide d?
True
Suppose 8*o = 4*o + 84. Is o a multiple of 2?
False
Is 26 a factor of 208/(-12)*(-45)/10?
True
Let f(q) be the first derivative of -4*q**2 + 12*q - 2. Let d(g) = 7*g - 11. Let l(r) = 3*d(r) + 2*f(r). Is l(7) a multiple of 13?
True
Let u be 2/4*(1 + 5). Suppose -2*w - w = 0. Suppose 2*d = z + 17, 19 = -w*d + 4*d + u*z. Does 4 divide d?
False
Suppose f - 4*f - 30 = 0. Suppose -5*q = -q + 96. Is (-5)/(-1)*q/f a multiple of 12?
True
Does 5 divide 20/((3 - 2)/(-1)*-2)?
True
Does 16 divide 10808/52 + 1*(-6)/(-39)?
True
Suppose 3*d - 3*j + 4*j + 7 = 0, j = -4. Let k(c) = 28*c - 1. Let u be k(d). Is (2 - 1)/(-1) - u a multiple of 14?
True
Let h(b) = b**2 - 3*b + 2. Let q be h(2). Suppose q = -7*l + 346 + 263. Is 21 a factor of l?
False
Suppose 0 = -148*n + 146*n + 72. Is n a multiple of 12?
True
Let q = 99 + -4. Is 5 a factor of q?
True
Let i be 96*3/(-1 + 4). Suppose 0*l - i = -3*l. Is 8 a factor of l?
True
Does 11 divide ((-40)/(-3))/(5/15)?
False
Is 20 a factor of (-90)/((-5)/2 + (4 - 3))?
True
Suppose -5*a - 15 = -70. Is 11 a factor of a?
True
Let s(g) = g**2 - 8*g + 7. Let b be s(8). Is (b/7)/((-2)/(-56)) a multiple of 14?
True
Suppose 4*j - 2*v = 31 + 7, j - 20 = 4*v. Is 4 a factor of j?
True
Suppose 5*l = 2*z - 121, -z + 56 = -3*l - 5. Suppose z = 5*w + 3. Is 4 a factor of w?
False
Let h(x) = x**3 - 4*x**2 + 5*x - 4. Does 8 divide h(4)?
True
Does 24 divide 132 - (1 - (4 - 0))?
False
Let k = 53 + -50. Let l(s) = -4*s**3 + 2*s**2 + 2*s + 1. Let a(j) = -3*j**3 + j**2 + j. Let i(f) = -5*a(f) + 4*l(f). Is i(k) a multiple of 13?
True
Let o = 8 + 6. Suppose -3*x + 4*k + 82 = 2*x, 2*k = x - o. Does 12 divide x?
False
Suppose -6*w + 5*w = -39. Is w a multiple of 13?
True
Suppose 2*z + z = -33. Let r = z - -26. Does 9 divide r?
False
Suppose -3*d + 1 = -11. Let a = d - 0. Suppose 3*q = 2*q + 3*l + 7, a*l = q - 4. Is q a multiple of 10?
False
Is 5 a factor of (34/4)/((-17)/(-68))?
False
Let l be 3/((-84)/(-81) - 1). Let u = -45 + l. Is 17 a factor of u?
False
Suppose 10 + 10 = 5*t - 5*p, -4 = -t + 5*p. Suppose -t*y = -4*w + 48, 0 = -3*y - 2*w + 2 - 28. Is 15*1*y/(-25) a multiple of 6?
True
Suppose 4*j - 19 + 79 = 0. Does 4 divide 4/(-10) + (-216)/j?
False
Let y(h) = -36*h - 1. Let d be y(-3). Let i = d - 55. Does 26 divide i?
True
Suppose 4*l = 5*l - 4. Does 4 divide l?
True
Let y(u) = u**3 - u**2 - 2*u + 2. Let l be y(2). Let j(r) = r**3. Is j(l) a multiple of 4?
True
Let b be 5/3*21/7. Suppose -3 = 2*i + b*j, 7 + 2 = -i - 4*j. Is 11 a factor of i?
True
Suppose -4*q = -3*o - 3, 0*o + 4*o + 4 = 4*q. Let d = o - -16. Is 15 a factor of d?
True
Let a = 30 - -15. Is a a multiple of 18?
False
Let a = 18 + 110. Is a a multiple of 14?
False
Let l(a) = a - 4. Let c be l(7). Suppose f + 17 = 4*m, c*f = -2*f + 3*m. Suppose -f*o = o - 144. Does 14 divide o?
False
Suppose r + 54 = -7. Let o = r + 91. Is o a multiple of 8?
False
Let g = -8 - -26. Let a = -11 + g. Is a a multiple of 4?
False
Suppose d - 3 = -0*d. Does 5 divide d/(-21) + 106/7?
True
Is -13 + 11 + 69/1 a multiple of 8?
False
Let m(x) = 41*x**3 - x**2 - 3*x + 2. Is 3 a factor of m(1)?
True
Let x(j) = 7*j. Let q be x(-1). Let w = 19 - q. Is w a multiple of 9?
False
Let p = 78 - 24. Does 13 divide (p/45)/(2/80)?
False
Let l = -7 + 13. Let m(r) = -2*r - 6. Let q be m(l). Let u = q - -33. Is 11 a factor of u?
False
Let k = 6 - 4. Suppose -4*w = 3*i - 75 - 93, -k*i = 3*w - 113. Is 13 a factor of i?
True
Let t be ((-12)/9)/(4/(-6)). Suppose 0*h = -i - t*h + 58, -179 = -3*i - h. Suppose 4*f - z - i = -2*z, f = 2*z + 24. Does 8 divide f?
True
Le