e
Let s = -1 - -1. Suppose 0 = -3*x + 5*o + 23, s*o + 4*o = 8. Is 11 a factor of x?
True
Suppose -3*u - u = -120. Is 13 a factor of u?
False
Is 3 a factor of ((-2)/16*-14)/(4/32)?
False
Let u(g) = 5*g - 12. Let f(s) = -4*s - 21. Let b be f(-9). Does 21 divide u(b)?
True
Let f be 16 + 1*(-3)/3. Suppose -5*s = -0*d + d - 12, -2*d - f = -3*s. Let u(c) = -3*c + 3. Does 12 divide u(d)?
True
Let c = -29 - -106. Is 11 a factor of c?
True
Suppose 2*v = 8 + 4. Does 16 divide 4*4*12/v?
True
Suppose -3*t + 6 = -4*t. Is 10 a factor of 35/1 - t/(-6)?
False
Suppose p = -2*v + 2, -p + 2*v = -2 + 16. Let o = p + 11. Let w(c) = c**2 - 4*c + 1. Is 6 a factor of w(o)?
True
Let l(n) = n**2 + 3*n - 2. Let u be l(-3). Does 3 divide u*(1 + 10/(-4))?
True
Suppose 0 = -d - 3*d - 32. Let t = d + 13. Suppose 5*y + 4*w - 25 = 0, -t*y - 5*w = -14 - 11. Does 2 divide y?
False
Let f(j) = 3*j**3 - j - 1. Let o(d) = -d**2 - 5*d + 8. Let q be o(-6). Does 12 divide f(q)?
False
Let p(r) = r**2 - 6*r - 3. Let u be p(3). Let m = 10 - u. Is m a multiple of 10?
False
Suppose -4*h = 4*j - 160, -4*h = h + 4*j - 196. Is 8 a factor of h?
False
Let y(l) = -l**3 - 6*l**2 - 6*l - 2. Let i be y(-5). Let h(q) = 7*q + 4. Does 22 divide h(i)?
False
Let z = -105 + 189. Does 6 divide z?
True
Does 6 divide (-8)/(-6)*-27*2/(-6)?
True
Let h(c) = -c + 5. Let n be h(5). Let s be -7 - -9 - (2 - n). Suppose l - 1 - 2 = s. Is 3 a factor of l?
True
Let w = 5 + 4. Is 7 a factor of w?
False
Let j = 1 + -6. Let p(u) = -3*u + 4. Does 19 divide p(j)?
True
Let v = -2 + 2. Let h = v + 3. Suppose u - 3*f = h*u - 78, -f = 2. Does 21 divide u?
True
Suppose -8*w + 218 = -262. Is w a multiple of 30?
True
Suppose -2*t - 3*t = 0. Suppose 0 = -4*v - 4*f + 61 + 19, t = -v - 3*f + 22. Is v a multiple of 6?
False
Let b(q) = q**3 - q**2 + q + 20. Let k be b(0). Suppose 4*s = 43 + 5. Suppose o - s = k. Is o a multiple of 11?
False
Suppose 9*y = 4*y + 15, -2*y - 18 = -2*q. Suppose d - 4*u + q = 4*d, -5*u + 20 = 5*d. Is (-1)/(2/d)*-4 a multiple of 8?
True
Suppose 3*q + 74 = 224. Does 10 divide q?
True
Suppose -p = 1 + 4. Let s(i) = -9*i - 6. Let v be s(p). Suppose -v + 109 = 5*t. Is 7 a factor of t?
True
Let h(t) = -t**3 + 9*t**2 + 1. Let u be h(9). Let i be 8 - (2 + 0)*u. Suppose -100 = -i*d + d. Does 10 divide d?
True
Is 3 a factor of (2/(-4))/((-11)/88)?
False
Let b be 2*2*3/4. Suppose -2*t - b*t + 96 = 2*y, 3*t - 57 = -y. Is 6 a factor of t?
True
Let g(a) = 15*a**3 + 2*a**2 - 1. Suppose 2*l = 4*p + 14, 4*l - 6*p + p = 25. Suppose -2*r = 2*r + o - l, -2*r - o = -3. Does 8 divide g(r)?
True
Let h be (-2157)/(-9) - 1/(-3). Suppose q = -3*q + h. Suppose 5*a - 2*a - 84 = -3*l, -2*a + q = 3*l. Does 24 divide a?
True
Is (-12868)/(-24) - 2/12 a multiple of 42?
False
Let q(y) be the first derivative of y**5/30 - y**3/2 - 3*y**2/2 - 1. Let t(d) be the second derivative of q(d). Is t(3) a multiple of 9?
False
Let l be (-2)/3 + 1/(-3). Let d(x) be the third derivative of -11*x**4/8 - x**3/6 + x**2. Is d(l) a multiple of 16?
True
Suppose 10*m = 5*m. Suppose 0 = -m*v - 2*v + 60. Does 15 divide v?
True
Suppose d + 48 = 2*o, 0*d - 4*d + o = 185. Does 13 divide (d/6)/(2/(-12))?
False
Let o = 34 - 48. Let n(z) = z**3 + 15*z**2 + 12*z - 15. Is 4 a factor of n(o)?
False
Let h(k) = -12*k - 1. Does 7 divide h(-1)?
False
Let a = 0 - -3. Let c be -1*(0 + (1 - a)). Suppose 5*n = 25, c*n - 5*n = -3*z + 15. Is z a multiple of 10?
True
Suppose 3*t = 5*t - 22. Let d be (-10 + 7)/((-1)/t). Suppose 4*p - 39 = d. Is 6 a factor of p?
True
Let t(p) = 2*p**2 + 10*p - 12. Let b(g) = -3*g**2 - 21*g + 25. Let x(u) = -3*b(u) - 5*t(u). Is 7 a factor of x(11)?
True
Suppose 0 = h - 2, 0*h + 5*h - 253 = -3*y. Is y a multiple of 10?
False
Suppose 0 = -2*i + 5*i - 5*q - 469, 0 = -2*i - 4*q + 276. Is i a multiple of 21?
False
Suppose -r + 32 = -55. Does 27 divide r?
False
Suppose 3 = 2*v - v. Let r be (-4 + 1)*-1*v. Let q(y) = 2*y + 10. Is q(r) a multiple of 14?
True
Let v(n) be the second derivative of -n**5/15 - n**3/6 - 3*n. Let p(u) be the second derivative of v(u). Is 8 a factor of p(-2)?
True
Is 0/(4 - -1) - -52 a multiple of 26?
True
Let n(d) = 136*d**2 - 4*d - 3. Is 12 a factor of n(-1)?
False
Suppose -268 + 988 = 5*o + 5*h, -h = 0. Does 24 divide o?
True
Suppose -5*v - 4*g = -280, -5*g + 20 + 195 = 4*v. Is 20 a factor of v?
True
Let w(t) = -10*t + 2. Let c be w(-2). Let p = -9 + c. Is 5 a factor of p?
False
Suppose 2*h + 5 = 1. Let i(t) = -1 + t - 4*t - 2 + 2*t**2. Does 11 divide i(h)?
True
Suppose 0*f - 5*f = -2*o - 18, o - 21 = -5*f. Suppose -z = 3*h + 4 - 3, f*h = z + 8. Does 13 divide h/(2/156*3)?
True
Suppose -4*a = 4 + 4, 3*g - 85 = -4*a. Is g a multiple of 19?
False
Let y be 8/36 - (-22)/(-18). Let m = y - -9. Is m a multiple of 8?
True
Let c = 134 - 29. Does 7 divide c?
True
Suppose 5*p + 37 = u - 0*u, 4*u + 2*p = 82. Suppose 0 = 3*g - 5*x + 1 - u, -4*g - 2*x = -28. Does 7 divide g?
True
Let b be (-2)/(-5) + 486/10. Suppose b = w - 0*w - 5*n, 4*w - 211 = 5*n. Suppose 0 = d - 4*d + w. Does 14 divide d?
False
Let c(z) = -z + 48. Let o be c(0). Suppose -4*u + 4*t = -o, -4 + 12 = 2*t. Is 14 a factor of u?
False
Suppose 28*x - 99 = 25*x. Is x a multiple of 7?
False
Let k(h) = h**2 + 4*h - 3. Does 18 divide k(-7)?
True
Suppose 0 = -5*a - w + 287, a + 5*w + 305 = 6*a. Does 29 divide a?
True
Let q(j) = -j**2 - 7*j - 6. Let p be q(-5). Suppose -5*x + p = 9, -2*l + 3*x + 51 = 0. Is l a multiple of 6?
True
Let p = 6 - -14. Does 18 divide (-15)/p + 147/4?
True
Let l = -44 - -107. Does 13 divide l?
False
Suppose 92 = -2*a + p - 94, -8 = 2*p. Let j = -67 - a. Let o = 42 - j. Is 10 a factor of o?
False
Does 25 divide -2*5/(-15)*195?
False
Let i = -4 + 9. Suppose -308 = -i*a - 58. Does 11 divide a?
False
Suppose -6*a = -2*a - 44. Does 11 divide a?
True
Let f(p) = -39*p**3 + p**2. Let o be f(-1). Is 90/20*o/6 a multiple of 12?
False
Let o(z) = -110*z + 1. Let v be o(1). Let w = -40 - v. Is 28 a factor of w?
False
Let n = -5 - -8. Suppose -h + 16 = n*h. Suppose v = -h*v + 190. Does 19 divide v?
True
Suppose g + 32 = 3*t, -2*t + 15 - 101 = 4*g. Let f = g - -36. Is (0/2 - -1)*f a multiple of 13?
True
Suppose -2*v + 15 = -5*u - 7*v, 3*v + 9 = -5*u. Suppose u = 2*p - p - 82. Suppose -86 = -4*m + p. Is 14 a factor of m?
True
Let s(l) = 44*l**3 + l**2 - l + 1. Let y be s(1). Suppose -5*i = -d - 67, 5*i - 2*i - 3*d - y = 0. Suppose 4*g - 57 = -i. Does 11 divide g?
True
Let f(z) = z**3 + 8*z**2 + 6*z + 6. Let x be f(-5). Let u(o) = o**2 - 9*o - 1. Let s be u(5). Let i = s + x. Does 12 divide i?
False
Let c = -243 + 547. Is c a multiple of 16?
True
Suppose -3*q + z = -115, -4*z + 110 = -0*q + 3*q. Does 15 divide q?
False
Suppose -6 = -2*f + 4. Suppose -f*a - 5*c = 60, 3*c - 12 = 5*a - 2*a. Does 9 divide (-70)/a + (-3)/(-12)?
True
Suppose -2*a - 4*i = -4*a - 8, 0 = -a - i + 5. Let m = a + 6. Suppose -19 = -x - 5*g, 3*x = 4*g + 122 - m. Is 14 a factor of x?
False
Let t be (-2)/4*0 + 5. Suppose 0 = l + s - 10, -15 + 71 = t*l - s. Is 5 a factor of l?
False
Suppose -5*v = -3*v + 5*w - 154, -3*v = -4*w - 208. Does 9 divide v?
True
Suppose -5*w + 968 = 293. Is 27 a factor of w?
True
Suppose -16*t + 18*t - 42 = 0. Does 10 divide t?
False
Let v be 18/4*8/6. Suppose -4 = -5*h + v. Is 6*(14/4 - h) a multiple of 9?
True
Let z = 9 + -2. Is 8 a factor of 25 - (-3 + z)/4?
True
Suppose -2*h + 14 = 2*o - 8, -41 = -3*o + 5*h. Is 3 a factor of o?
True
Is 298 - 3/(-12)*0 a multiple of 23?
False
Let z be 6/(-15) + (-124)/(-10). Suppose -3*g + 8 = -3*j - 13, -35 = 5*j + 5*g. Let i = j + z. Is 3 a factor of i?
False
Let r = 155 + -43. Does 14 divide r?
True
Let p(n) = 2*n**2 - 2*n + 1. Let c = -11 + 13. Does 5 divide p(c)?
True
Let f be (3 - 3) + -2 + 4. Suppose 4*r - 2*l - 20 = 0, -3*r + 5*l - 13 = -f*r. Suppose 0 = r*m - 5*m - 64. Is 24 a factor of m?
False
Let l(i) be the first derivative of i**2/2 - 5*i + 1. Let b be l(5). Suppose b = 4*x + 2*d - d - 103, -4*x + 3*d + 107 = 0. Is 10 a factor of x?
False
Let q be (-3)/(-4) + 7/28. Let a be -2 + (0 - (2 + q)). Is (a - -3) + (48 - 1) a multiple of 15?
True
Let d(r) = -3*r**3 - 6*r - 5. Is 17 a factor of d(-3)?
False
Let i = 91 + -57. Is i a multiple of 17?
True
Suppose 3*m = 5*g + 5, 2*m + g = 7 + 5. Is 13 a factor of 192/5 - 2/m?
False
Let m(