n) - 2*u(n). Is 10 a factor of p(10)?
False
Suppose 0 = 3*m - 0*f - 3*f - 252, 4*m - 318 = -2*f. Is m a multiple of 51?
False
Let v be 1*(-3)/((-12)/8). Let g be (1 - 0)/((-4)/(-100)). Is (v*g)/(-4 - -5) a multiple of 23?
False
Let w(a) = -78*a + 11. Does 29 divide w(-3)?
False
Let a(r) = -r**3 - 2*r**2 + 11*r - 5. Does 3 divide a(-5)?
True
Let n(o) = -6*o - 5*o + 4*o - o**3 + 7*o**2 + 5. Does 7 divide n(4)?
False
Suppose -u + 30 = 2*u. Suppose -2*d + 3*d + 2*i = 62, 0 = -2*i + u. Is d a multiple of 26?
True
Suppose 5*m = 5*g - 555, -g = -6*g + m + 551. Let p = -29 + g. Does 27 divide p?
True
Let i be (8/(-10))/(12/(-90)). Let w be 6/4*(-64)/(-6). Suppose -w = -n + i. Is 11 a factor of n?
True
Suppose -2*s - 222 = -3*p - 6*s, p = -s + 74. Suppose -y - y = -p. Let m = -23 + y. Does 10 divide m?
False
Let u(o) = -5*o + 4. Let p = 11 + -15. Is 12 a factor of u(p)?
True
Let d be -130*(3 + 26/(-10)). Let w = -33 - d. Is 11 a factor of w?
False
Suppose -6*m + 3*m - 6 = 0, 4*l - 2*m - 844 = 0. Is l a multiple of 42?
True
Suppose 10 = 4*b - 6. Let z = b - -7. Is 7 a factor of z?
False
Let d = 15 + 3. Is 18 a factor of d?
True
Let f be 1*0/(-1) - -1. Let d be (-3 + 10 - 1)/f. Does 14 divide ((-4)/d)/(1/(-54))?
False
Suppose 0 = -2*a + 6*a - 392. Is a a multiple of 14?
True
Let d = -30 + 157. Is d a multiple of 26?
False
Let m(p) = -p**2 - 6*p - 5. Let i be m(-5). Let a = i - -3. Is a a multiple of 3?
True
Suppose 2*u + 1 - 5 = 0, 3*u - 1906 = -5*k. Is 58 a factor of k?
False
Let m be 4 - (4 + 0 - 2). Suppose 0 = -m*h + 6*h - 140. Does 12 divide h?
False
Let j = -10 + 7. Let y be (-1)/(-3)*-20*j. Is (-149)/(-5) - (-4)/y a multiple of 15?
True
Let t(o) = 2 - o - 4 - 2*o. Let m be t(-2). Suppose m*v - 2*k = k + 21, -v = k - 14. Is 9 a factor of v?
True
Suppose -2*i + n + 215 = 0, -i + 102 - 2 = -3*n. Does 32 divide i?
False
Let t(z) = z**2 + 5*z. Let v(i) be the third derivative of i**4/24 - i**3/6 - i**2. Let m be v(6). Does 15 divide t(m)?
False
Is (-144)/(-10)*20/6 a multiple of 12?
True
Let r = -54 - -76. Suppose 5*n + 4*p = 4*n - 2, -5*p + r = 3*n. Does 7 divide n?
True
Let w(c) = -c**3 + 9*c**2 + 9*c - 1. Suppose -t + z = 3*z - 13, 0 = z - 2. Does 14 divide w(t)?
False
Let r = 454 - 284. Is 40 a factor of r?
False
Let r = -5 + 1. Let f(k) = -9*k + 2. Let c be f(r). Let t = c - 22. Does 7 divide t?
False
Let v(d) = 23*d**2 - d - 1. Is v(-2) a multiple of 15?
False
Let a(i) = i**2 - 2*i + 9. Let u be a(0). Suppose -6 = -3*c, k - u - 2 = -c. Is 5 a factor of k?
False
Suppose -5*v = -t + 1, 3*t - 3*v - 3 = -8*v. Let j = -5 - t. Is ((-16)/6)/(j/45) a multiple of 8?
False
Suppose 5*n - g - 27 = -3*g, 3*n + g - 16 = 0. Let r = 7 - n. Suppose 3*l - 45 = -r*l. Does 9 divide l?
True
Let o(l) = -l**2 - 12*l + 2. Does 8 divide o(-5)?
False
Let w = -53 - -29. Let b be w + (3 + -1)*1. Does 12 divide 0 - (-2 + b/1)?
True
Let b(k) = 4*k + 46. Is b(-6) a multiple of 12?
False
Does 4 divide 3/(14/(-5) - (-48)/16)?
False
Let w be (16/(-10) + 2)*-5. Does 20 divide (-25)/4*6*w?
False
Suppose -x + 2 + 2 = 0. Let r(t) = 11*t + 8. Let q be r(6). Suppose 2*f + q = x*f. Is f a multiple of 14?
False
Let p(t) = 4*t - 1. Let z = 2 - 0. Is p(z) a multiple of 2?
False
Let l(p) = -p**3 - 2*p**2. Let m be l(-2). Let j = 1 + -1. Suppose m*b + 4*b - 92 = j. Does 18 divide b?
False
Suppose z + 44 = 102. Let j = -28 + z. Is 8 a factor of j?
False
Let r(k) = k**3 + 10*k**2 - 12*k - 7. Let d be r(-11). Suppose 2*m = -3*s + 71, 1 + 4 = s - d*m. Is 10 a factor of s?
False
Suppose 3*d + 13 + 11 = 5*z, -2*d = -2*z + 12. Suppose -56 = -t - 2*m + m, -z*m + 15 = 0. Does 14 divide t?
False
Let x(i) = i**2 - 8*i + 6. Let z be x(6). Is 13 a factor of 24 - z/(-9)*-3?
True
Suppose -3*b - 36 = 2*y, b + 14 + 9 = 3*y. Does 2 divide (-30)/(-7) - (-4)/b?
True
Let a be (-1 + (-10)/(-4))*-6. Let u(n) = -n**3 - 9*n**2 - 4*n - 5. Does 16 divide u(a)?
False
Let c be 4 + -1 + (-3)/3. Let a = 19 + c. Is a a multiple of 9?
False
Let z(v) = -5*v - 1. Let j be z(-1). Let o(r) = r - j*r - r + 5*r - 2. Does 2 divide o(5)?
False
Suppose -2*r - 5 = -23. Suppose -5*d = 0, 4*d = a - r - 1. Is 4 a factor of a?
False
Let i = 7 + 427. Does 62 divide i?
True
Let q(r) = -2*r + 16. Let o be q(14). Is 5 a factor of 4/o*(1 - 19)?
False
Let g(c) = 4*c**2 - 2*c - 1. Let m be g(-1). Suppose -m*w + 4*a = 2*a - 12, 5*a - 8 = 3*w. Suppose n - 209 = -w*r - r, 2*n = -5*r + 213. Is r a multiple of 18?
False
Suppose 0 = r - 0*r - 4. Is 48/r + 2 + 1 a multiple of 7?
False
Suppose -m - 4*b = -4*m - 24, -2 = 2*m + 2*b. Let l be m/5*(-15)/(-2). Does 2 divide l/5*(-20)/6?
True
Suppose -7*h = -2*h - 25, 100 = 5*m + 3*h. Is 5 a factor of m?
False
Suppose -5*h + 4*v + 527 = v, 3*v + 115 = h. Is 26 a factor of h?
False
Suppose 50 = -5*r - 2*b, 0*r = 2*r + b + 21. Let s(v) = -5*v - 7. Does 33 divide s(r)?
True
Suppose 0 = 4*r - 2*d - 2*d + 164, 0 = -2*r - d - 79. Let p = r - -78. Is p a multiple of 19?
True
Suppose 4*h - 26 - 166 = 0. Does 8 divide h?
True
Let c(v) = 4*v**3 - 5*v**2 + 4*v. Let o(g) = -g + 18. Let r be o(16). Is c(r) a multiple of 20?
True
Let p(k) = -k**3 + 3*k**2 + 2. Let d be p(3). Suppose 5*b - 252 = r - 5*r, 2*b = d*r + 90. Is b a multiple of 16?
True
Let g(w) = w + 11. Let r be g(-8). Let b(h) = -h**2 + h + 3. Let d be b(r). Let m(a) = -8*a - 3. Is m(d) a multiple of 21?
True
Let u(y) = -14*y + 0*y - 3*y**2 + y + 13 + 2*y**2. Is u(-11) a multiple of 15?
False
Let r(g) = -6*g - 8. Is r(-3) a multiple of 5?
True
Suppose 40 = 5*b - 35. Suppose -b = -3*k - 0*k. Suppose 2*p = 4*z + 90, k*p + 2*z - 214 = z. Is p a multiple of 13?
False
Let b = 16 - 11. Suppose b*v = 69 + 1. Let t = 24 - v. Is 10 a factor of t?
True
Suppose -5*s - 5*o = -o - 225, -67 = -2*s + 3*o. Is s a multiple of 4?
False
Suppose -2*f = h - 61, 4*f + 0*f = -3*h + 127. Suppose 0 = z - 28 - f. Is 18 a factor of z?
False
Suppose -2*j + 2*f + 56 = 3*f, -3*f - 84 = -3*j. Does 7 divide j?
True
Let m(t) = 27*t + 25. Is m(7) a multiple of 35?
False
Let r(o) = 14*o - 3. Let q be r(4). Suppose b - q + 4 = 0. Is b a multiple of 13?
False
Suppose -10 = -4*i - d, 2*d + 4 = -2*i - 3*d. Suppose 0 = -2*s + 3 + i. Suppose -s*m + 24 + 17 = j, m - 3*j = 27. Is 6 a factor of m?
False
Let t = -18 + 37. Is 5 a factor of t?
False
Let k be (-10)/(-35) - 38/(-14). Let a = 0 + k. Suppose 2*w - 9 = -f, -2*f = -0*w - a*w - 25. Is 10 a factor of f?
False
Let j = 10 - 9. Suppose 0 = -d - 1, -4*m + 3*d = -32 + j. Is 7 a factor of m?
True
Suppose 3*b = 4*y - 1875, 0 = 6*y - 4*y - 3*b - 945. Is 31 a factor of y?
True
Let z(q) = 2*q**3 - q + 1. Suppose -3 = -5*a + 2*a. Is z(a) even?
True
Let t = 36 + -20. Does 8 divide t?
True
Suppose -98 = -3*a - 23. Let d = 73 - a. Is 16 a factor of d?
True
Let p(r) = r**2 - 7*r + 1. Let z be p(7). Let d be z*(3 + (-6)/2). Suppose 3*t - 26 = 2*t + 2*m, d = 5*t + 3*m - 117. Is 12 a factor of t?
True
Does 9 divide ((-9)/6 - -3)*22?
False
Let c(z) = z**2 + 7*z + 5. Let p be c(-7). Suppose 0 = n + p*h - 30, -n = -2*h + 4*h - 45. Does 18 divide n?
False
Let b be (10/(-2))/(1/3). Let a = 63 + b. Does 23 divide a?
False
Suppose -2*a - 90 = -4*a. Is 15 a factor of a?
True
Let s(g) = 2*g**2 + 5*g - 13. Is s(-6) a multiple of 5?
False
Is 2/8*4*81/1 a multiple of 27?
True
Suppose -12 = -2*j + 6. Does 9 divide j?
True
Suppose -20 = -4*o - 3*f, 0 = 4*o + 2*f - 13 - 7. Let n(i) = i - 5. Let u be n(o). Suppose u*m - 4*m = -160. Is m a multiple of 14?
False
Let d = -2 + 6. Let l(j) = 1 + 3 + j**2 + 0*j**2 + 2 - 2*j. Is 6 a factor of l(d)?
False
Let b(w) = -w**3 - 3*w**2 + 15*w + 8. Does 7 divide b(-6)?
False
Let z = -74 - 43. Is z/(-27) - (-2)/(-6) a multiple of 2?
True
Let w(i) be the second derivative of i**4/12 - i**3 + 3*i**2/2 + 3*i. Suppose 0*d - 14 = -2*d - r, -4*r = -2*d + 4. Is 3 a factor of w(d)?
True
Let x = 6 + -3. Suppose -x*w + w = -12. Suppose 0 = 3*y - w*y + 30. Does 10 divide y?
True
Suppose 2*p + 2*k = 7*k + 112, 0 = 4*p + 5*k - 194. Is 12 a factor of p?
False
Let m(l) = 13*l - 1. Let o be 24/9 - 2/(-6). Is 19 a factor of m(o)?
True
Let i be 30/(-8)*-1 + 2/8. Let a(p) = -1 + 3*p**2 - p**2 - 4*p - 4. Is a(i) a multiple of 11?
True
Suppose 3*d + 2*p - p - 13 = 0, -p = -4. Suppose d*v + 3 = 4*o + 2*v, -13 = -4*o - v. Suppose o*y = -0*y + 64. Is 16 a factor 