**3 + 12*f**2 + 10*f - 1. Does 3 divide y(p)?
False
Suppose -3*i + 10 = 2*i. Suppose -3*w + 8*w = -2*l - 104, -l - i*w - 50 = 0. Is 19 a factor of l/(-8)*64/6?
False
Suppose -221 = -4*o - l, -5*o + 0*l + 2*l = -273. Is 3 a factor of o?
False
Suppose 5*n - 15 = 0, 77 = 2*y - 3*n + 2*n. Does 5 divide y?
True
Let z(b) = b**3 + 7*b**2 + 4*b. Let m = 3 - 9. Let q be z(m). Suppose -5*k + 93 = -q. Is 6 a factor of k?
False
Is 28/49 - (-636)/14 a multiple of 19?
False
Let s = -45 - -85. Let j = -22 + s. Is 10 a factor of j?
False
Let o(r) = -7*r + 1. Let m(p) = 6*p - 1. Let l(h) = -6*m(h) - 5*o(h). Let w(g) = -g - 3. Let s be w(4). Is 5 a factor of l(s)?
False
Suppose h + 2*h = 108. Let c be (h/30)/((-3)/(-100)). Suppose 4 - c = -4*m - 4*j, m + 3*j - 1 = 0. Does 4 divide m?
False
Let s(g) = -g**3 + 5*g**2 + 5*g - 6. Let m(i) = -i - 1. Let u be m(-6). Does 19 divide s(u)?
True
Suppose -n = -4*n - 18. Let d = 0 - -4. Does 7 divide (-2 + -13)/(n/d)?
False
Let o(g) be the second derivative of 3*g**5/20 - g**3/6 - 2*g. Let w be o(1). Is (10 - w)*(4 + -2) a multiple of 16?
True
Suppose -5*r + o = -385, o - 4*o = -2*r + 167. Does 19 divide r?
True
Suppose 3*j = -u + 895, -5*j + 0*j = u - 1495. Does 15 divide j?
True
Suppose 1 = 2*b - 3. Let p(d) = 14*d + 4. Does 16 divide p(b)?
True
Let x(y) = -y**2 - 8*y + 3. Let q be x(-7). Suppose -4*h + 10 + 10 = 0. Suppose m - h - q = 0. Is 15 a factor of m?
True
Suppose 66 = 4*q - o, -54 = -3*q - 0*o + 3*o. Suppose 2*d - 77 = -g, d - 2*g = 4*d - 116. Suppose -c - 4*u - d = -6*c, 3*c + u = q. Is 3 a factor of c?
True
Let h = 66 - -18. Suppose -h = -3*n - n. Is n a multiple of 7?
True
Let p(m) be the third derivative of -m**4/2 - m**3/6 - m**2. Let b(f) = -f**2 - 3*f - 3. Let v be b(-3). Does 15 divide p(v)?
False
Let x be ((-2)/3)/((-10)/15). Let l(n) = 16*n**2 + 2 + 50*n**2 - 3. Is 17 a factor of l(x)?
False
Let i(a) = a**3 + 3*a**2 - 4*a + 2. Let w(x) = -5*x**2 - 2*x - 1. Let h be w(-1). Let f be i(h). Does 14 divide (22/(-5))/(f/(-10))?
False
Let x = -15 - -23. Suppose 3*b - x*b = -95. Does 4 divide b?
False
Let a(d) = 2*d + 11. Let k be a(11). Let p = 0 + k. Let o = p - -19. Is o a multiple of 19?
False
Suppose 6*d - 2*d - 112 = 0. Does 4 divide d?
True
Is 27 - 0 - (10 + -12) a multiple of 2?
False
Let p(q) = -q**3 + 2*q. Let v be p(-2). Suppose -g = -v + 1. Does 18 divide 4/(g/54*4)?
True
Is 21 a factor of (2 + 0)/2*57?
False
Let n = 11 - 8. Does 4 divide (n*(-1 + 5))/2?
False
Suppose 7 + 8 = p. Does 15 divide p*1/((-12)/(-44))?
False
Let w = 3 + -1. Let s = w - 5. Let h = s + 22. Is h a multiple of 8?
False
Suppose -4*v - v + 135 = 0. Is 9 a factor of v?
True
Suppose -3*t = -6*t. Suppose 4*n - 5*n - 19 = t. Let y = 38 + n. Is y a multiple of 8?
False
Let v(o) = o**2 + 8*o + 5. Let b be (8 - 0)*(-2)/2. Let g be v(b). Suppose -s + 23 = 2*a, 46 + 7 = g*a - 2*s. Is a a multiple of 11?
True
Let m(g) = 4*g - 3 + 4*g - g. Let n(v) = -7*v + 3. Let i(a) = 4*m(a) + 5*n(a). Does 18 divide i(-4)?
False
Let c = -5 - -7. Suppose -c*i + 4*i = -3*s + 68, -3*s + i = -56. Is s a multiple of 10?
True
Suppose -5*y + 65 = 5*f, 4*y = y - f + 29. Suppose -3*u = -9, -2*h + y = -2*u - 6. Let t = h + -2. Is 5 a factor of t?
False
Suppose 515 = 54*d - 49*d. Is 25 a factor of d?
False
Suppose -2*l + 180 = l. Is 17 a factor of l?
False
Suppose 0 = 3*r - 4*r + 4. Suppose 7*a = r*a. Let o = a + 2. Is o even?
True
Let f = -21 + 203. Let r(b) = b**3 - b**2 - 2*b - 7. Let v be r(3). Suppose 3*s = -v*q + f, 3*q + s - 3*s = 94. Is q a multiple of 12?
False
Suppose -5*s + 37 = -2*c + 5*c, -3*s - 4*c = -31. Suppose 3*d + 2*i - 19 - 40 = 0, 5 = s*i. Does 8 divide d?
False
Let r = -6 - -11. Let s = -1 - r. Is 12 a factor of (1 - -2)/(s/(-52))?
False
Let z be ((-2)/(-6))/((-3)/(-279)). Suppose -59 - z = -5*o. Does 13 divide o?
False
Let c(j) be the first derivative of j**4/4 - 5*j**3/3 - j**2/2 + 6*j - 1. Let k be c(5). Is 2 + 2 + k + -1 a multiple of 4?
True
Let t(h) = -7*h - 86. Is t(-17) a multiple of 11?
True
Suppose 2*y + 4*c = 4*y - 14, 5*y - 15 = 5*c. Let l be 1270/8 - y/4. Is 18 a factor of 1/3 + l/9?
True
Let w(n) = -n**2 - 7*n - 1. Let d be w(-6). Let j = 20 - d. Does 17 divide j - (-1 - (-3)/(-3))?
True
Let j be (-4)/(-9 - 3)*24. Is 4 a factor of (-2 - 1) + j + 4?
False
Suppose -4*a = 3*r - 236, 2*r - 34 = -a + 30. Is 14 a factor of a?
True
Let d be (-22)/(-8) - 3/(-12). Let r(c) be the third derivative of c**5/60 + c**4/24 + c**3/2 + c**2. Does 8 divide r(d)?
False
Suppose 3*l = b + 112, -2*b = -3*l + l + 68. Let j = -21 + l. Let i = j - 9. Does 3 divide i?
True
Suppose -3*z + 76 = 2*f, 5*f - f - 156 = -4*z. Does 14 divide f?
False
Let i(p) = 1 - 9*p - p**3 + 9*p**2 + 2 + 0*p**3. Is i(7) a multiple of 19?
True
Let o(j) = -j**2 + 5*j - 1. Let l = 12 - 9. Is o(l) a multiple of 5?
True
Let d = 3 + 1. Does 7 divide (-2 + d)/1*5?
False
Let v be ((-15)/(-20))/((-1)/(-12)). Suppose v + 2 = x. Is x a multiple of 5?
False
Is 14 a factor of ((-14)/3 - -5)*(85 - 1)?
True
Suppose 8 = -c + 3. Let t be (-163)/c - (-6)/15. Let d = t + -22. Does 11 divide d?
True
Let z(a) = 9*a + 2. Let f be z(-4). Let l = 58 + f. Is 4 a factor of l?
True
Let i(r) = -r**3 + 9*r**2 + 10*r - 3. Let y be i(10). Let x be (1 + y)*1*1. Is 6 a factor of -1 + 3 + (-34)/x?
False
Let y = 6 - 4. Suppose -5*x = 3*u - 110, -22 = x - y*x - 5*u. Does 14 divide x?
False
Let y = -6 + -1. Let z = 43 + y. Suppose 6*m = 4*m - 3*u + 37, 2*m - z = -2*u. Is m a multiple of 11?
False
Let s = 34 - 57. Let i = s - -39. Is i a multiple of 8?
True
Let h(r) = -88*r**3 - 2*r - 1. Let w be h(-1). Let l = w - 54. Is l a multiple of 6?
False
Let k = 10 + -7. Suppose -k*w - 12 = -2*l + 6*l, 0 = -l + 5*w + 20. Is 9 a factor of l + 2 + 100/4?
True
Let s(f) = -6*f**2 + 10*f**2 + 2*f**2 - f**3 - 4. Does 14 divide s(4)?
True
Let l = 5 - 2. Let q = l - 0. Suppose 0 = -5*f + 25, w + f - 6 = q*f. Does 16 divide w?
True
Let f = -7 - -17. Suppose -w - 5*g = -8, -w + 39 = -2*g + f. Does 7 divide w?
False
Let s = -1 + 3. Suppose 0 = -4*h + s*y + 30, 5*h - 59 = -2*y - 17. Let r = h + -1. Does 7 divide r?
True
Let c(q) = 8*q**2 + q + 7. Does 16 divide c(-3)?
False
Is (-5 + (-147 - 2))/(-2) a multiple of 15?
False
Suppose 0*c + c - 3*r + 40 = 0, 285 = -5*c - 2*r. Does 15 divide 0 - c - (-1 + -1)?
False
Let f(z) = -z + 45. Is 4 a factor of f(-19)?
True
Let v(p) = p**2 - 14*p + 16. Is v(14) even?
True
Suppose -7*u + u = -930. Does 18 divide u?
False
Suppose 5*w = -5*y + 113 - 43, 5*w = 2*y - 7. Let m = 26 - y. Is 5 a factor of m?
True
Let c(n) = n - 1. Is c(3) even?
True
Let p(n) = -n**2 + 9*n + 7. Let c = -3 + 9. Let r be p(c). Let z = -17 + r. Is 7 a factor of z?
False
Let m(w) = 4*w - 18. Suppose 3*h = 2*c - 27, -2*c - h = 3*h - 20. Does 13 divide m(c)?
False
Let u be (-9)/3 + -3 + 3. Let c be -1 - 6/u*-61. Let q = -87 - c. Is q a multiple of 21?
False
Suppose 5*m - 23 = 2*r, 3*r - 2*r + 3*m - 16 = 0. Suppose -2*k = -2*a + 2, 0*k = 2*a + 5*k + 5. Suppose a = -l + 12 - r. Is l a multiple of 11?
True
Suppose -2*g - 15 = -0*g + 3*d, -4*g + 2*d + 10 = 0. Suppose g*v - 80 = -4*v. Is v a multiple of 10?
True
Let y = 95 - -1. Does 12 divide y?
True
Let k be 24/14 - (-8)/28. Suppose 0 = -k*i - 3*j - 80, i + 35 = j - 5. Is 4 a factor of (i/4)/(1 - 2)?
False
Let y = -57 - -96. Suppose y = -5*f + 144. Does 7 divide f?
True
Is 15/4*32/3 a multiple of 20?
True
Suppose 0 = 4*j + 2*b - 132, 0*j = -3*j - 3*b + 96. Does 7 divide j?
False
Suppose -2*t = 5*o + t - 41, -4*o - 5*t = -38. Does 7 divide o?
True
Let d(o) = 14*o - 1. Let t be d(3). Suppose -3*m = 5*y - t, 5*m = 2*y - 13 - 22. Does 7 divide y?
False
Let m(w) = 17*w - 1. Is m(2) a multiple of 11?
True
Let i be (0 - -1)*-1 - 4. Let l(y) = -2*y - 5. Is 3 a factor of l(i)?
False
Let l = -8 - -13. Does 13 divide (-12)/30 + 147/l?
False
Let l = 57 - 31. Is l a multiple of 4?
False
Let v(j) = 2*j**2 + j - 3. Let s(l) = l. Let x(g) = 2*s(g) + v(g). Is 16 a factor of x(-5)?
True
Suppose -8*c = -7*c - 32. Does 32 divide c?
True
Suppose 3*c = -4 + 13. Let a be (4/(-10))/(3/(-285)). Suppose c*n = n + a. Is n a multiple of 14?
False
Let f be 2/4 - (-62)/(-4). Let k = 30 - f. Is 21 a factor of k?
False
Let j(k) = 9*k - 5. Let f be j(7). Let a = f + -41. Is 5 a factor of a?
False
Let t = 9 