i**2 - i + 1. Is 5 a factor of t(1)?
False
Let i(f) be the first derivative of -f**2 - 8*f - 1. Let t(w) = 2*w + 2. Let u be t(-5). Is 8 a factor of i(u)?
True
Let u(b) = 58*b + 4. Does 20 divide u(2)?
True
Let t(o) = o**3 + 5*o**2 + 2*o. Let h be t(-3). Is -66*2/h*-3 a multiple of 7?
False
Suppose 13*d - 128 = 5*d. Does 15 divide d?
False
Let n = 1 + -2. Let l be (n + 0)*(-2 + -3). Suppose -l*g + 33 + 12 = 0. Does 9 divide g?
True
Suppose -i = -4*h - h - 23, -5*i = 3*h - 31. Is i a multiple of 5?
False
Suppose 9*c - 4*c + 5 = 0. Let f be 7*c*(-1 + 0). Let s = 12 - f. Is s a multiple of 2?
False
Is 2/(-5) - (-21996)/65 a multiple of 13?
True
Let h(m) = -m**3 - 5*m**2 - 4*m + 3. Let f be h(-4). Let s be f/(12/2)*12. Suppose -3*d - 66 = -s*d. Is d a multiple of 11?
True
Suppose 0*o + 2*o - 3 = f, 4*o - 5*f - 3 = 0. Let a = o - 0. Suppose 5*m = a*r + 63, 3 + 1 = -r. Is 6 a factor of m?
False
Let h(b) = -37*b + 12. Is 39 a factor of h(-6)?
True
Suppose c - 3*f = 3*c + 8, 3*f = -4*c - 4. Suppose 210 = 4*h + u + u, 2*u + 102 = c*h. Is 14 a factor of h?
False
Let h(s) = -8 + 3 + 7*s + 2 - 3*s. Let v be h(4). Let i = v - 7. Does 6 divide i?
True
Is 10 a factor of 1135/10 + 15/6?
False
Let k(y) = 4*y - 9. Let t be k(9). Let a = t + -17. Does 10 divide a?
True
Suppose 9*p - 8*p = 75. Is 10 a factor of p?
False
Let s be 2/(-8) + (-93)/(-4). Suppose 3*j = 95 - s. Is 12 a factor of j?
True
Let o(g) = 3*g**2 + 2*g - 7. Is o(2) a multiple of 9?
True
Let u(q) = q + 4. Let g be u(-4). Suppose g*f - 3*f = -171. Is f a multiple of 15?
False
Suppose 4*w + 2*i - 278 = 0, 2*w - 5*w = 5*i - 205. Is w a multiple of 46?
False
Let z(x) = 7*x - 14. Is 7 a factor of z(7)?
True
Let w(d) = -d - 3. Let b(i) = -3*i - 10. Let z(t) = 3*b(t) - 8*w(t). Let u be z(-9). Suppose -3*k = 2*x - 26, 2*x = u*x + 4*k - 23. Is x a multiple of 5?
False
Suppose 9*i = 8*i + 4. Is i a multiple of 4?
True
Suppose 3*b - 48 = -2*v - b, 3*v + 4*b - 74 = 0. Is 15 a factor of v?
False
Let b(d) = 24*d**2 - 2*d + 1. Is b(-2) a multiple of 23?
False
Let t(h) be the third derivative of -h**4/24 + 5*h**3 - 3*h**2. Suppose 3*j + 4*d + 16 + 0 = 0, 0 = -3*d - 12. Is t(j) a multiple of 13?
False
Suppose 3*o + 2*o = 45. Let d = -6 + o. Suppose c - 2*r + 7 = 3*r, 87 = 4*c + d*r. Does 14 divide c?
False
Let k = 89 + -13. Does 10 divide k?
False
Suppose 3*a - 2*a = 1. Let d be (a + 2 + -2)*46. Suppose 0 = -5*f + d + 34. Is f a multiple of 8?
True
Suppose 4*p - 12 = -4*h, 0*p - 15 = 2*p - 5*h. Suppose -3*g - 8 + 59 = p. Is 11 a factor of g?
False
Let l = -30 - -48. Does 20 divide (-4)/18 + 364/l?
True
Suppose 3*a + 24 = 4*a. Let l be (0 - (0 - a)) + 1. Suppose 0*q = 5*q - l. Is 5 a factor of q?
True
Let t(n) = 9*n**2 - 2*n - 2. Is t(-1) a multiple of 5?
False
Let v(f) = -f**3 - 5*f**2 + 5*f + 6. Let y be -8*(2 + (-10)/8). Let q be v(y). Suppose -q = -x - 2. Does 5 divide x?
True
Let a be 4/(-3 + 28/8). Let g = a - 0. Is g a multiple of 7?
False
Suppose 3*b = 2*l - 85 + 15, -5*b + 125 = 5*l. Does 7 divide l?
False
Suppose 2*i = 5*x - 2*x, 4*i = 0. Let v = x + 3. Suppose 107 = 5*g + v*q, 0*q + 87 = 5*g - 2*q. Does 19 divide g?
True
Let f(c) = -2*c**2 + c - 2. Let m be f(-2). Is 3/(-12) + (-111)/m a multiple of 9?
True
Let g(h) = h**2 - 6*h + 3. Does 22 divide g(12)?
False
Let m = -3 + 2. Let x = m + -9. Let g = x + 37. Is 9 a factor of g?
True
Let z(s) = -2*s + 2*s - 2*s + 15*s**2 + 4*s. Is 28 a factor of z(-2)?
True
Suppose -2*h = -5*h + 243. Let k = -43 + h. Suppose 6*c - 3*c = 0, g - k = -2*c. Is 18 a factor of g?
False
Let g = 8 - 3. Is g*1 - (-3 - 0) a multiple of 4?
True
Suppose k + 2 = 2*k. Let l = 3 + k. Suppose -89 = -4*i - 3*b - 2*b, -5*b - 145 = -l*i. Does 11 divide i?
False
Let i = 3 - 0. Suppose -3*o - 135 = -5*q, -q + 1 = 4*o - i. Is q a multiple of 12?
True
Suppose -2*g + 79 = 5*n, -2*g - 108 = -5*g + 3*n. Is g a multiple of 7?
False
Let z(i) be the first derivative of i**4/4 + i**3/3 + i**2/2 + 5*i + 1. Let g be 0*(2/(-12))/((-2)/12). Does 2 divide z(g)?
False
Let v(l) = -l**3 + 4*l**2 - 2*l - 3. Let b be v(3). Suppose -2*c = -k + 42, 0 = -5*k - 4*c - b + 140. Does 16 divide k?
True
Let i(l) = -37*l**3 - 2*l**2 + 2*l + 3. Does 7 divide i(-1)?
False
Let p(a) = a**3 - 6*a**2 - 2*a - 8. Let n be p(7). Suppose 5*y + 4*w + 106 - 21 = 0, y + 17 = -5*w. Let s = n + y. Does 10 divide s?
True
Let n = 126 + -48. Let w = 0 + 3. Suppose 5*g = w*g + n. Does 24 divide g?
False
Let b(q) = 11*q**2 + 2*q. Does 10 divide b(2)?
False
Does 4 divide (6/1)/((-24)/(-64))?
True
Let i(t) = -13*t - 4. Is i(-4) a multiple of 24?
True
Let i(t) = 11*t - 10. Let k be i(-7). Let l = -37 - k. Is 16 a factor of l?
False
Suppose -5*p = 5*v - 35, 5*v = -p - 5 - 4. Let b = -4 + p. Is 4 a factor of b?
False
Let r be (18/(-15))/((-4)/10). Let n(c) = -2*c + 0*c**2 + c**3 - 2*c**r + 5*c - 3*c**2. Does 3 divide n(-4)?
False
Suppose 3*g + r = -0*r + 229, 308 = 4*g + 2*r. Is 15 a factor of g?
True
Let r = 1 + -3. Let a be r + -2 + 2 + 4. Suppose 4*q - a*q + 2*n - 38 = 0, -3*q + 77 = -n. Is q a multiple of 12?
True
Let k(d) = -2*d**3 + 2*d**2 - 7*d - 2. Is 13 a factor of k(-3)?
True
Let x = 20 + 66. Does 15 divide x?
False
Let q(w) = w**3 + 11*w**2 - 13*w - 1. Does 11 divide q(-12)?
True
Let i(g) = 129*g - 2. Let t be i(-1). Let s = -90 - t. Is s a multiple of 25?
False
Suppose -4*n - n + 10 = 0. Suppose -n*i = -5*i + 117. Does 19 divide i?
False
Suppose 0 = 32*m - 27*m - 400. Is m a multiple of 8?
True
Let f(k) = 55*k**2 - 1. Let b = -1 - 0. Is f(b) a multiple of 17?
False
Let p = -88 - -27. Let t = p + 94. Does 11 divide t?
True
Let b be (1/2)/((-1)/(-2)). Let p(t) = 10*t**3 - t**2 + t. Is 3 a factor of p(b)?
False
Let i(d) = 91*d + 3. Does 29 divide i(2)?
False
Let v(l) = l**3 - l**2 + l - 1. Let r be v(1). Suppose 4*g - 71 - 25 = r. Does 12 divide g?
True
Let h(b) be the third derivative of b**5/60 + b**4/6 - b**3/2 + b**2. Suppose 1 + 14 = -5*y - 2*t, 0 = -2*y + 5*t - 35. Is h(y) even?
True
Suppose 4*o + o - 4*a = 196, 4*a = 3*o - 124. Is 9 a factor of o?
True
Suppose 5*y - 4 = 4*y. Suppose y*u = 5*u - 5. Suppose -u*t + 70 = -100. Is 15 a factor of t?
False
Let g = 0 - 4. Let a = g - -8. Does 2 divide a?
True
Let q = 6 + -4. Let m be (93/9)/(q/6). Does 13 divide (-3)/(-6)*0 + m?
False
Let h = -27 + 43. Does 2 divide h?
True
Suppose 0 = -2*r - 0*r + 2, 602 = 3*t - r. Suppose -3*y + t - 9 = 0. Is 16 a factor of y?
True
Suppose -2*d - s = 8, -s = -4*d - 0*s - 4. Let h be (-56)/9 - d/9. Is (-1)/(0 + 2/h) a multiple of 3?
True
Suppose 1 - 5 = -2*v. Suppose -18 = v*f - 3*f. Does 9 divide f?
True
Let b = 30 - 20. Let l = b - 5. Suppose 4*k = -w + 72 + 27, -l*w = -15. Is k a multiple of 20?
False
Is (3 - (3 + -2) - 1) + 69 a multiple of 12?
False
Is ((-20)/(-2))/(279/(-36) - -8) a multiple of 4?
True
Is 14 a factor of (-9)/6*(-1690)/15?
False
Suppose -14*m + 17*m = 246. Does 40 divide m?
False
Suppose 11 + 14 = 5*y + 2*p, -3*y - 4*p + 15 = 0. Let v = 9 - y. Does 7 divide v/(-1 - -3) - -12?
True
Is (-1088)/(-8) - 3/1 a multiple of 19?
True
Suppose -12*u = -238 + 22. Is 6 a factor of u?
True
Suppose w - 3*q - 2*q - 2 = 0, -5*q = -5*w + 50. Suppose r = -r + w. Does 6 divide r?
True
Suppose 4*l - 3*l = -6. Does 11 divide ((-44)/(-6))/((-4)/l)?
True
Suppose s + 0*s - 63 = -h, 0 = 5*s - 4*h - 315. Is 21 a factor of s?
True
Let h be (-1 - -11) + (5 - 5). Let q(k) = k. Let o be q(5). Suppose -10 = o*v, 4*v + 20 = i - h. Is i a multiple of 11?
True
Let y be -6*-2*(1 + 0). Suppose y = 3*f, -x = 4*x - 3*f - 28. Does 6 divide x?
False
Suppose -4 = -2*u + 4. Suppose u*b - 375 = -b. Is b a multiple of 25?
True
Suppose -70 + 275 = 5*j. Is 7 a factor of j?
False
Let z = -7 + 13. Let i(o) = 6*o + 5. Let h be i(z). Does 11 divide h/4 - (-3)/4?
True
Let k = 160 + -65. Is 19 a factor of k?
True
Suppose -3*u = v - 169, 0*u - 507 = -3*v - 2*u. Suppose 54 = -5*p + v. Is 23 a factor of p?
True
Let g = -64 - -115. Is 11 a factor of g?
False
Suppose 0 = -3*x + x + 2. Is 6 a factor of 9*x*(-5)/(-3)?
False
Let l(p) = 38*p**2 - p + 1. Is 30 a factor of l(1)?
False
Is 46 - 7 - (-3)/3 a multiple of 10?
True
Let v(u) = -u**3 - 16*u**2 + u + 22. Is v(-16) a multiple of 2?
True
Suppose 0*h + 3 = -3*h. Is 175/(-5)*(h + 0) a multiple of 20?
False
Suppose 0 = -3*h - 4*k + 68,