e of 3?
False
Let w(g) = 2*g**2 + 4. Is 11 a factor of w(-3)?
True
Let i be (-8)/(1/(1 - 2)). Let a be i/(-4)*(-16 - 0). Does 11 divide a + (-1)/((-1)/(-2))?
False
Let n(v) = v**2 + 7*v + 2. Let i be n(-7). Let q be 27/12 - 1/4. Suppose 2*x + q*x - 114 = i*s, 135 = 5*x - 4*s. Does 11 divide x?
False
Let s(m) = -8*m + 7. Is 20 a factor of s(-3)?
False
Is 26 a factor of -7 - -59 - 1*-3?
False
Suppose -5*k + 300 = -140. Let r be (-3)/(-2)*k/3. Suppose -2*d + d + r = 0. Is 22 a factor of d?
True
Let k(m) = -m + 4. Let q be k(0). Is (1 - 40)/((-6)/q) a multiple of 13?
True
Is (-27*6/(-9))/(6/8) a multiple of 2?
True
Let b be (14/3)/(8/24). Let l be 52/12 - (-4)/6. Suppose 0 = 2*m + 3*s - 1, 4*m = s - l + b. Is 2 a factor of m?
True
Let a(t) be the second derivative of 4*t**3/3 - 5*t**2/2 + 2*t. Let u be a(4). Let z = -16 + u. Does 5 divide z?
False
Let g(d) = -2*d - 6. Let p be g(-6). Let n = p - -5. Is 9 a factor of n?
False
Let u be (-8)/3*(-6)/4. Let z = u + -4. Suppose t + 2*t - 102 = z. Does 13 divide t?
False
Is 19 a factor of (228/10)/((-2)/(-5))?
True
Let n = -29 - 10. Let r = n + 65. Does 13 divide r?
True
Suppose -6*s + 8*s = 8. Suppose l + 142 = 3*r, l - s = -l. Is r a multiple of 19?
False
Let f = 29 - -16. Does 23 divide f?
False
Let o = 8 + -12. Let q = 7 + o. Suppose -5*h = -67 - q. Is h a multiple of 8?
False
Let c = -124 + 243. Suppose -2*l + 4 = t - 1, 3*l - 2*t + 10 = 0. Suppose l = -2*f - y + 68, -3*f + 5*y - 43 + c = 0. Is f a multiple of 13?
False
Suppose -5*j + 45 = 5*u, -4*u + 6 = j - 3*j. Suppose -u*y = -5*m + 61, 0 + 30 = 2*m + 4*y. Is 9 a factor of m?
False
Let d(k) = k**3 - 18*k**2 + 20*k - 15. Is d(17) a multiple of 9?
True
Suppose 2*j + 2*z - 492 = 0, 2*j - 322 = -4*z + 166. Does 14 divide j?
False
Let k(r) = -r**2 - 9*r + 7. Let g(m) = 3*m**2 + 26*m - 22. Let u(a) = -3*g(a) - 8*k(a). Does 10 divide u(-6)?
True
Suppose 2*u + 3*a = 6, 10 = -3*a - 2. Does 5 divide u?
False
Let m(n) = 2*n**3 + 2*n**2 + 12*n - 8. Let r(l) = 3*l**3 + 5*l**2 + 23*l - 15. Let j(u) = -5*m(u) + 3*r(u). Let v = 35 + -29. Does 10 divide j(v)?
False
Let d be 716/10 - 6/10. Suppose 2*g + d = 15. Let q = g + 42. Is 5 a factor of q?
False
Let r(f) = -f**2 - 8*f - 5. Let k = -6 + 11. Let j = k + -11. Does 7 divide r(j)?
True
Let j be 20/(-8)*(-12)/15. Does 7 divide ((-3)/(-2) + 2)*j?
True
Let h = 39 - 28. Let j(z) = 3*z**3 + 4*z**2 - 5*z. Let m(w) = -16*w**3 - 20*w**2 + 24*w. Let l(r) = h*j(r) + 2*m(r). Is 6 a factor of l(-5)?
False
Let l be 1 - (-2 + (-1 - -4)). Suppose w = -l*w - 26. Let k = 38 + w. Is k a multiple of 6?
True
Let a = -20 - -35. Let n be 1/(-2 - a/(-6)). Is 8 a factor of -32*(-2 - (-3)/n)?
True
Let v be -2 - (-4)/1*41. Suppose -4*f + v = 30. Is 17 a factor of f?
False
Let m = 76 - -74. Is m a multiple of 30?
True
Let y(c) be the third derivative of 1/3*c**3 + 0 - 5/12*c**4 + 0*c - 2*c**2. Is 11 a factor of y(-3)?
False
Let c(h) = h**3 + 22. Let u = 13 - 6. Suppose 4*x = t, -u*t + 3*t = -5*x. Is c(t) a multiple of 13?
False
Let i be (-2)/3 - (-52)/6. Suppose 3*z - 4 = i. Is z a multiple of 4?
True
Let m = 40 - 4. Let w be (1 + -36)*m/(-42). Suppose -w = -2*z + 16. Is 19 a factor of z?
False
Let r(l) = -l**3 - 10*l**2 - 3*l - 14. Is 20 a factor of r(-11)?
True
Suppose -9*n + 5*n + 12 = 0. Suppose -n*y = -2*y - 4. Suppose u = -y*u + 100. Is u a multiple of 10?
True
Suppose -2*r + 322 = 5*o - 310, -r = 4. Suppose 0 = 4*n - 0*n - o. Does 16 divide n?
True
Let l(x) = 8*x**2 - 5*x - 7. Is 28 a factor of l(5)?
True
Let c = 21 + -17. Suppose 0 = 5*v - 0*a + 4*a - 130, -3*v + c*a = -46. Does 11 divide v?
True
Suppose 0 = -b - b + 394. Let t(w) = w**2 - 7*w - 14. Let m be t(9). Suppose m*d = b - 9. Is 22 a factor of d?
False
Let i(p) = -4 + 0 - 2*p**3 - 4*p + 3*p**3. Let q be i(5). Suppose q = 5*x - 49. Is 15 a factor of x?
True
Suppose -2*v - 2*b + 126 = 0, 0 = 3*v + 2*v + b - 327. Let r = v + -38. Does 28 divide r?
True
Let s be 0/(-3)*2/4. Let w = 1 + s. Is 4 a factor of -1*(w - 5) + 0?
True
Let u = -12 + 22. Suppose 10 = 5*z - u. Does 2 divide z?
True
Suppose -5*r = -r - 80. Let d be r/16 + 6/8. Suppose 2*j - 20 = -d*j, -2*z + 4 = -2*j. Is 6 a factor of z?
False
Suppose 5*h - 12 = -4*w + 24, -5*h = w - 24. Suppose c + 3*c - 2*r = 288, -c = -5*r - 54. Suppose -30 + c = h*t. Does 11 divide t?
True
Let c(p) be the second derivative of p**4/2 + p**3/2 - 2*p**2 + 2*p. Let n be c(-3). Suppose r = -4*s + n, -12 = r - s - 38. Is r a multiple of 11?
False
Let u be 36/16 - 1/4. Suppose r + 1 = -3*i, 43 = u*r - 5*i + 2*i. Does 14 divide r?
True
Let n(z) = z**2 + 3*z**2 - 3*z**2 + 2. Let d = -6 + 12. Does 19 divide n(d)?
True
Suppose -2*z + 49 = 4*s - 1, 5*s = 2*z - 50. Let g = z + -14. Suppose 5*k - g = -3*h, -25 = -4*h - 3*k - 3. Does 3 divide h?
False
Let n(d) = d**3 + 7*d**2 - d - 7. Let z be n(-7). Let w be 2*(1 + z)*1. Suppose -w*t - t + 66 = 0. Does 11 divide t?
True
Suppose -4*i = -2*i - o - 248, -12 = 3*o. Is 14 a factor of i?
False
Does 36 divide -21*(-1 + 29/(-7))?
True
Let x be 2/6 - 224/(-3). Suppose -3*o + x = 3. Is o a multiple of 12?
True
Let i(r) be the third derivative of 17*r**4/12 - r**3/6 + 2*r**2. Let m be i(1). Suppose 12 - m = -x. Is x a multiple of 8?
False
Let v(t) be the first derivative of -15*t**2/2 + 4*t - 2. Let y be v(-6). Suppose -24 = -2*a + 5*z + 14, z = 4*a - y. Does 8 divide a?
True
Let x(d) = -4*d - 32. Is 10 a factor of x(-13)?
True
Let k(t) = -4*t**3 - 5*t**2 + 7*t - 7. Let p(x) = -20*x**2 + 18*x**2 - 2*x**3 - x - 3 + 4*x. Let g(b) = -4*k(b) + 9*p(b). Is 9 a factor of g(-2)?
True
Let v(u) = -4*u**3 + 6*u**2 - 7*u - 8. Let o(a) = a**3 + a + 1. Let g(i) = 5*o(i) + v(i). Let x = 18 - 22. Is g(x) a multiple of 20?
False
Let i(b) = 3*b - 1. Let x be i(2). Suppose 0 = -2*h + 4*m + 100, 3*h + 0*m - 153 = x*m. Is 14 a factor of h?
True
Suppose 0 = -4*t + 5*k + 14, 2*t - 2*k + 22 = 5*t. Is t a multiple of 6?
True
Let a(u) = 22*u - 8. Is 14 a factor of a(8)?
True
Suppose i - 128 = -3*i. Let g = 53 - i. Is g a multiple of 21?
True
Let y = -5 - -8. Suppose -y = k + m, 4*k + 4 = -2*m - 0*m. Is (3 - -2) + k + -1 a multiple of 2?
False
Let z(d) = -2*d**3 - 3*d**2 - 2*d + 3. Is 52 a factor of z(-6)?
False
Let u = -256 + 448. Let q = -280 + u. Is (-2)/7 + q/(-14) a multiple of 6?
True
Let q(h) = -h**2 + 3*h - 2. Let n be q(4). Let g be (-14)/(-18) + n/(-27). Suppose i = 6 - g. Does 5 divide i?
True
Suppose -4*l + 73 = z, 2*z - 57 = -3*l - z. Is 6 a factor of l?
True
Let m(q) = -2*q + 10. Is 7 a factor of m(-9)?
True
Is 14 a factor of (-1*8)/4*-7?
True
Let z = -6 + 9. Let y be 1 + 1 + -2 + z. Suppose -4*k = 2*o - 90, y*o + 66 = 4*k - 39. Is 12 a factor of k?
True
Let a(q) = 2*q**2 - 5*q + 4. Let z be a(2). Suppose -z*d - 17 = -3*d. Is d a multiple of 7?
False
Let i(v) = v**3 + 7*v**2 - 21*v - 17. Is 2 a factor of i(-9)?
True
Let n = -26 - 6. Let g = n + 56. Suppose d + d = g. Is 9 a factor of d?
False
Let v(d) = d**3 + 8*d**2 - 4*d + 6. Is 20 a factor of v(-6)?
False
Let s be (-279)/(-6) + 3/(-6). Let a = 66 - s. Is a a multiple of 9?
False
Let c(n) = -n**3 + 6*n**2 + 3*n - 10. Does 5 divide c(5)?
True
Suppose 2*q = 84 + 94. Is q a multiple of 39?
False
Suppose 0*v - 3*v = 0. Let u be (-3)/(9/(-24) + v). Suppose -n + 3 + u = 0. Does 11 divide n?
True
Let r(m) = 15*m**3 + 10*m**2 - 16*m - 26. Let x(l) = 3*l**3 + 2*l**2 - 3*l - 5. Let u(i) = 2*r(i) - 11*x(i). Is u(-3) a multiple of 21?
True
Suppose 6*o + 42 = 9*o. Is 7 a factor of o?
True
Let n be 1897/28 - (-1)/4. Suppose -3*m - m = -n. Is 17 a factor of m?
True
Let p be (-54)/(-8) - 1/(-4). Let c(b) = -4*b**2 + 9*b. Let k(m) = 11*m**2 - 27*m + 1. Let j(a) = -8*c(a) - 3*k(a). Does 5 divide j(p)?
False
Suppose i + 2*t = -i - 2, -4*i + t = -11. Suppose 4*n - 154 = i*a, -5*n + 2*a + 195 = -0*a. Let b = n - 27. Is b a multiple of 8?
False
Let w(o) = -o**2 - 3*o - 4. Let a be w(-7). Let x = -19 - a. Does 6 divide x?
False
Let n be ((-65)/10)/(3/6). Let s = 65 + n. Is s a multiple of 13?
True
Let n = 31 + 73. Is 35 a factor of n?
False
Let z(h) = -3*h - 3. Let s be z(-2). Suppose s*b - 13 = 2. Let f(c) = 2*c + 1. Does 11 divide f(b)?
True
Suppose -7*q + 96 = -3*q. Let f be (5 - 6)*(-20)/(-1). Is (1*f)/((-16)/q) a multiple of 15?
True
Suppose -190 = -30*g + 28*g. Is g a multiple of 5