b(c) = 4*d(c) + 5*u(c). Does 16 divide b(5)?
False
Suppose 4*z + 29 = 533. Suppose 3*d = -d + 2*j + z, -120 = -4*d + 4*j. Suppose -5*o + d = -67. Is 20 a factor of o?
True
Suppose 0 = -m + 2*m - 115. Suppose -4*o + 2 + 0 = -i, -3*o - 5*i - 10 = 0. Suppose o = -3*x + m - 34. Is x a multiple of 9?
True
Let j(l) = 84*l. Let w(s) = 85*s + 1. Let g(r) = 3*j(r) - 2*w(r). Let h be g(2). Suppose v + 2*i = 59, 3*v - h = -4*i + i. Does 9 divide v?
False
Suppose -1123*t + 54675 = -1098*t. Does 29 divide t?
False
Let c(z) = 17*z**2 + 4*z - 1. Suppose 5*f + 11 = -b, 0 = -2*f - 2*b - 0 + 2. Does 30 divide c(f)?
False
Let o be 14 + (-2 + -1 - -5). Suppose 17*l - o*l = 168. Is 28 a factor of l?
True
Suppose -4*z + 7 = 31. Let s(v) = v**2 - v + 8. Let n be s(z). Suppose -200 = -5*b - n. Is b a multiple of 15?
True
Suppose 27*d = 20*d - 175. Let s be 6/3 - (0 - -9). Let t = s - d. Is 5 a factor of t?
False
Let u(j) = -4*j**3 + 40*j**2 + 15*j + 4. Does 7 divide u(10)?
True
Let n(w) = 2*w**2 + 110. Is 22 a factor of n(0)?
True
Suppose 5*h + 2*p - 283 = -778, -91 = h + 2*p. Let v(b) = -2*b - 49. Let d be v(10). Let l = d - h. Is l a multiple of 16?
True
Let o = -1 + 4. Let s(l) = -l**3 - 3*l**2 - 2*l + 4. Let v be s(-2). Suppose o*b = -4*t + 51, -b - 31 = -v*t - 0*b. Is 3 a factor of t?
True
Suppose 25 = 15*p - 10*p. Suppose -p*h + 281 = -274. Is h a multiple of 33?
False
Let c(n) = n**3 + 4*n**2 + 2*n - 3. Let b = -17 + 14. Let g be c(b). Suppose g = -l + 3 + 8. Is l a multiple of 11?
True
Let y(d) = 20*d**2 + 14*d. Is 49 a factor of y(-5)?
False
Suppose -3*t = 5*d - 0*t - 74, -4*d + 58 = 2*t. Suppose l + 3*i - d = 1, 13 = 5*l - 4*i. Suppose y - 5 + 14 = k, 2*k + 3 = -l*y. Is 2 a factor of k?
True
Let i(z) = -z**3 + 11*z**2 + 14*z - 11. Let b be i(12). Suppose 4*h = -4*p + 12, p = -h - 4*h - b. Let l(x) = -x**3 + 9*x**2 - 9*x - 7. Does 16 divide l(p)?
False
Suppose 20*p - 7*p = 15678. Does 9 divide p?
True
Let f = -91 - -84. Is 108/15 + f - 99/(-5) a multiple of 2?
True
Suppose 6*d + 3 = 7*d. Suppose 5*j - 2*a - 26 = 0, 0*j - 5*a = -d*j + 8. Suppose j = -z + 36. Is 6 a factor of z?
True
Suppose 17*q - 10*q = 2408. Does 25 divide q?
False
Let s = -602 - -845. Let q = s + -37. Is q a multiple of 33?
False
Let q(t) = t**2 - t + 70. Let c be q(0). Suppose 3*d = -4*d + c. Does 5 divide d?
True
Let m(x) = -2*x - 24. Let o be m(-18). Suppose 16*t - o*t = 188. Is t a multiple of 5?
False
Let g = 3 + 4. Suppose 0 = 2*n + 4*t + t + g, 2*n = t + 11. Suppose -36 = r - n*r. Does 4 divide r?
True
Suppose 59*c + 1650 = 114*c. Is c a multiple of 3?
True
Let o(y) be the first derivative of -1 + 0*y - 1/4*y**4 + 4*y**3 - 9/2*y**2. Is o(11) a multiple of 13?
False
Let l = 29 + -18. Suppose l = -5*i + 161. Does 15 divide i?
True
Let j(a) = -a**3 - a**2 - 2. Let i be j(-2). Suppose 222 = i*m + 92. Is m a multiple of 3?
False
Let h = -399 + 539. Is h a multiple of 4?
True
Let y(h) = h**2 + 11*h - 148. Is y(22) a multiple of 17?
True
Let u(n) = n**3 - 11*n**2 - 8*n + 5. Suppose 3*t - 36 = -0. Is u(t) a multiple of 7?
False
Suppose 3*n - 15 = 0, 0 = -3*i - 6*n + 2*n + 17. Let b be (-3 + 4 + -3)*i. Suppose -b = -2*s + s. Is s a multiple of 2?
True
Let a(d) = 247*d**2 + d + 12. Does 5 divide a(-2)?
False
Let k(f) = 18*f**3 - 6*f**2 - f + 9. Is 18 a factor of k(4)?
False
Let g(x) = 2*x**2 - 1. Let r(d) = -d**2. Let a(w) = w**2 + 7*w - 2. Let o be a(-7). Let l(j) = o*g(j) - 5*r(j). Is 3 a factor of l(3)?
False
Let s(f) = f**3 - 3*f**2 + 7*f - 3. Let u be s(3). Is 2 a factor of (-4)/(-8)*(u - 4)?
False
Let d = 6268 - 3109. Is d a multiple of 27?
True
Let q = 483 + 414. Is 13 a factor of q?
True
Suppose 3*h - 124 = -2*f, f + 0*f - 2*h = 69. Does 13 divide f?
True
Let i(l) = 10*l**2 - 6*l + 6. Does 14 divide i(-3)?
False
Suppose -3*z + 6849 = 4*p - 4917, 0 = -5*p - z + 14713. Is p a multiple of 12?
False
Suppose 4 = x + x. Let b = -1 - -5. Is x/4 - (-42)/b even?
False
Suppose 0*z - 52 = -4*z. Suppose -16*l + z*l + 54 = 0. Is 9 a factor of l?
True
Let n(y) = -3*y**2 + 1. Suppose -t + 0 = 1. Let p be n(t). Let k = p - -17. Is k a multiple of 5?
True
Let c(g) = 26*g - 131. Is c(15) even?
False
Let b(u) = u - 10. Let o be b(6). Let a = o - -11. Let v = 20 - a. Is 3 a factor of v?
False
Suppose 0 = -5*y + 3*h + 2674, 5*y - 913 = 2*h + 1758. Does 39 divide y?
False
Let w(f) = -f + 1. Let v(n) = n**3 + 2*n**2 - 7. Let i(d) = v(d) + 4*w(d). Let a be i(-3). Suppose a = -p - 2*p + 219. Does 16 divide p?
False
Let x(p) = 2*p**2 - 2*p - 1. Let o = 2 + -5. Let z be o*3/((-9)/3). Is x(z) a multiple of 3?
False
Is 3 a factor of 15 + -15 - (-92 - -1)?
False
Is 16 a factor of (6 + (-1764)/6)*(1 - 2)?
True
Let b(m) = -1 - 2 - m + 7. Is 13 a factor of b(-10)?
False
Let k = -285 + 459. Suppose -22*m = -28*m + k. Does 3 divide m?
False
Suppose s - 1377 = -3*j, 2*j - 448 = 5*s + 453. Is j a multiple of 36?
False
Suppose 4 = i - 16. Suppose -4*h = h - i. Suppose 2*x + 52 = h*x - 2*d, 4*x - 5*d = 106. Is x a multiple of 10?
False
Let h(c) be the first derivative of -22*c**2 + 8*c - 22. Does 25 divide h(-3)?
False
Suppose 4*b + 3*k = 912, -5*b - 309 = -k - 1449. Is b even?
True
Let z(m) = -m + 9. Let q be z(9). Suppose 0 = w - 2, q = 3*y - 4*w + 17. Is 7 a factor of (-85)/y + (-10)/30?
True
Suppose 3*d - 1137 - 738 = 3*y, 0 = 3*d + y - 1875. Is 56 a factor of d?
False
Let g(t) = -3*t**2 - 39*t + 20. Does 2 divide g(-12)?
True
Let i be (-13504)/(-18) + 56/(-252). Suppose -n + 4*n - i = 0. Is 15 a factor of n?
False
Suppose -3*t - 2032 = -8032. Let k be (6/5)/(15/t). Suppose 0 = -3*g - 6, -2*r - r + k = -2*g. Is r a multiple of 26?
True
Let s be (-7)/21 - (-4)/3. Let i be 3 - 3/s*25. Let y = -36 - i. Does 12 divide y?
True
Let y(o) be the third derivative of 19*o**4/24 - 13*o**3/3 + 20*o**2. Is y(2) even?
True
Let k = 92 + -26. Does 66 divide k?
True
Let v be (-1)/(52/(-10) + 2 + 3). Suppose -5*o - v*i + 10 = -100, 2*o = 3*i + 39. Is 7 a factor of o?
True
Let b(f) = -f - 6. Let r be b(10). Let k be (36/r)/((-3)/8). Let o = k - -44. Is 15 a factor of o?
False
Let b(o) = 342*o**2 - 3*o + 2. Is 18 a factor of b(1)?
False
Is (7616/(-6))/(54/(-162)) a multiple of 32?
True
Let i(g) = 504*g - 45. Is 15 a factor of i(5)?
True
Is 12 a factor of 867/3 - (-6 + 7)?
True
Let x be (-1)/(-3) - (-70)/15. Let n = 1 - x. Is 5 a factor of ((-32)/12)/n*27?
False
Is 12 a factor of ((-1752)/(-9))/4 - 10/15?
True
Suppose -5*l - 4 = -2*x - 2, 0 = -2*x - 3*l + 2. Let n = x + 44. Is n a multiple of 7?
False
Is 5 a factor of (9/(-18))/(5/(-340))?
False
Let k be 2/6*36/4. Let n(a) = -9*a**3 + 10*a**k + 6*a**2 - 2*a + 3*a + 7. Is 8 a factor of n(-5)?
False
Let k = 1373 + -981. Does 15 divide k?
False
Let n(t) = 72*t - 68. Is n(5) a multiple of 15?
False
Suppose 5*m = 883 + 62. Suppose 4*t - 448 = 3*h + h, 2*t - m = -5*h. Suppose -3*k - t + 314 = 0. Is k a multiple of 23?
True
Suppose 475 = -11*c + 30615. Is 6 a factor of c?
False
Let f(d) = 2*d - 3. Let v be f(2). Let s be -17*v + -6 + 5. Let n = 9 - s. Is n a multiple of 9?
True
Let l = -102 - -105. Suppose -2*z + u = -220, -z + 2*u = l*u - 107. Does 21 divide z?
False
Suppose -9 = d + 42. Let j = 95 + d. Is j a multiple of 11?
True
Let g = 560 - -7. Is g a multiple of 81?
True
Let v = -55 + 49. Does 11 divide -15*(v/8)/((-18)/(-176))?
True
Suppose -27*k = -26*k - 160. Suppose 40 = -2*b + k. Is b a multiple of 12?
True
Let k be (2 - 3/((-6)/(-4)))*1. Suppose -3*p + 61 - 1 = k. Is 12 a factor of p?
False
Suppose -15 = -5*t, 4*l + 2*t + 2*t - 232 = 0. Suppose i + 3*i + l = x, -2*x + 2*i = -110. Let k = x + -27. Does 11 divide k?
False
Suppose -7 = a + 5*m - m, -44 = -4*a + 2*m. Suppose -184 = -a*j + 257. Is j a multiple of 11?
False
Let i be 2 - 3788/(-10) - 3/(-15). Suppose -41 = -2*f + i. Is 16 a factor of f?
False
Let s be (48/(-36))/((-4)/6). Suppose 0 = -3*t + 2*h + 93, 62 + 2 = s*t - 2*h. Is t a multiple of 11?
False
Let g(x) be the second derivative of x**3 + 7*x**2/2 - 29*x. Is 6 a factor of g(3)?
False
Let c(k) = 38*k. Let w be c(-1). Let y = -86 + -7. Let r = w - y. Is r a multiple of 17?
False
Suppose -95*h + 94*h = -434. Is 14 a factor of h?
True
Let c(o) = -2*o**2 - 3*o + 3. Let m be c(-4). Let t be (-1)/(30/2210) + 2/(-6). Let y = m - t. Is y a multiple of 14?
False
Let d(y) = 9*y