t c = 0 + n. Is c a multiple of 5?
True
Suppose 4*b - 4*u + 33 = -b, 4*b + u + 39 = 0. Let z(w) = -4*w. Is 12 a factor of z(b)?
True
Suppose 4*f - 38 = -3*x, -5*x + 50 = -f + 2. Is 4 a factor of x?
False
Let g = 39 + 1. Let z = g - 8. Is 16 a factor of z?
True
Let m(b) = -3*b**3 + 31*b**2 + 21*b - 3. Let x(a) = a**3 - 15*a**2 - 11*a + 1. Let n(h) = 2*m(h) + 5*x(h). Is n(-12) a multiple of 11?
True
Let p be 2/(-4)*2*2. Let v(r) = -3*r**3 - 2*r**2 - 2. Let x be v(p). Let g = -2 + x. Does 7 divide g?
False
Let d = -18 + 50. Is 14 a factor of d/2 - 16/8?
True
Is 4 a factor of (5 - (0 + -26))*2?
False
Let x(k) = -k**2 + 14*k - 11. Let j be (11/(-2))/((-3)/6). Is x(j) a multiple of 15?
False
Suppose y + 51 = 4*m - 0*m, 2*m = y + 27. Does 8 divide m?
False
Let r = -204 + 347. Is 8 a factor of r?
False
Let r(x) = 15*x**3 - x**2 + x - 1. Let l be r(1). Let h = 40 - l. Is h a multiple of 13?
True
Suppose -25 = 4*t - 1. Does 22 divide (t/(-9))/((-2)/(-66))?
True
Let w = -19 + 51. Does 8 divide w?
True
Let y = 2 - 4. Let d = 33 + y. Is d a multiple of 9?
False
Let g(x) = x**3 - 2*x**2 + 3*x - 2. Is g(4) a multiple of 14?
True
Let x(q) = -8*q + 3. Let n(v) = 12*v - 5. Let k(l) = 5*n(l) + 8*x(l). Let j be k(-1). Suppose 4*m = 4*g - 60, j*m - 1 = -4. Does 7 divide g?
True
Suppose y + 2*y = 5*c + 57, -19 = -2*y - 3*c. Does 21 divide (18/2)/(2/y)?
True
Is 17 a factor of -4 - -1 - (4 - 90)?
False
Let v be (-12)/3 - -74 - 2. Let h(b) = -b**2 - 5*b - 7. Let s be h(-7). Let g = v + s. Is g a multiple of 19?
False
Let m(w) = -73*w + 2. Does 15 divide m(-1)?
True
Let m(s) = s**3 - 5*s**2 - 3*s - 7. Is 3 a factor of m(6)?
False
Let b(w) = -w**3 + 9*w**2 + 4. Let j be b(9). Suppose -54 = j*c + 26. Let d = c + 28. Does 8 divide d?
True
Suppose 4*u + 2*p = 80, -5*u - 2*p + 14 = -87. Is u a multiple of 21?
True
Let f(k) = 30*k**2 + 4*k + 4. Does 10 divide f(-1)?
True
Suppose 5*m = c + 728, m - 4*c - 177 = -20. Let r be ((-2)/4)/((-2)/8). Suppose -r*h + m = 3*h. Is 22 a factor of h?
False
Let y(a) = 5*a - 14. Is 3 a factor of y(6)?
False
Let c = 2 + -2. Suppose o + o + 14 = c. Let s = 11 + o. Is s a multiple of 4?
True
Let a be 12/(-4)*(-64)/6. Suppose f = 5 + a. Does 15 divide f?
False
Does 15 divide 0 + 1 + (-84)/(-5 + -1)?
True
Let i be (1/(-3))/(2/(-12)). Suppose 3*g + p = 82, 0 = -4*p + 2*p + i. Does 9 divide g?
True
Let k(t) = -t**3 + 23*t**2 + 51*t + 45. Does 5 divide k(25)?
True
Suppose 0 = -2*i - 2*h, -16 = -i + 2*h - 7. Let y be 16 + (-3)/i + -1. Let q = y + -7. Does 7 divide q?
True
Suppose 3*v - 2*d - 152 = 0, 158 = 2*v - d + 56. Is 22 a factor of v?
False
Let p = 543 + -935. Does 22 divide p/(-6) - (-2)/3?
True
Is 33/44 - 306/(-8) a multiple of 9?
False
Let w be 1/(-3)*(-1 - -1). Suppose 5*v = 4*d - 167, -5*d + 0*v - 4*v + 260 = w. Does 24 divide d?
True
Let a = -20 - -22. Suppose -355 = -3*g - a*g. Is g a multiple of 16?
False
Let r be -2 + (0 - -16) + -1. Let z = 4 + r. Does 8 divide z?
False
Let d(p) = p**3 + 3*p**2 - 3*p. Let s be d(-4). Is 16 a factor of s + 6 + 42 + -1?
False
Let o = 2 + 2. Let t = o + -2. Is 22 a factor of t/8 + 348/16?
True
Let f be 2/(-6)*12/(-1). Suppose -5*p - 3*i = -249, 60 = p - 0*p + f*i. Is p a multiple of 7?
False
Suppose 0 = -n - 4*w, 6*n + 18 = 3*n - 3*w. Let h be 2 + n + 0/1. Is (h/(-3) + 10)*1 a multiple of 12?
True
Suppose -4*c + 1 = 3*t, t + 3 = 3*t + 5*c. Let m(x) be the third derivative of -x**6/20 + x**4/24 + x**3/6 - x**2. Does 6 divide m(t)?
True
Let x be ((-2)/3)/((-2)/9). Suppose -112 = c + x*c. Let n = -17 - c. Is 8 a factor of n?
False
Let k(t) = 2*t**3 - 19*t**2 - 4. Does 8 divide k(10)?
True
Let c = 66 - -86. Is c a multiple of 38?
True
Suppose -2*n = -n - 6. Let j(y) be the first derivative of y**2/2 - 3*y - 2. Does 2 divide j(n)?
False
Suppose 147*t - 200 = 143*t. Does 5 divide t?
True
Suppose 0 = -3*n - n. Suppose b + 3*b - 16 = n. Suppose 4*j - 54 = -x, 4*x - 5*x - 58 = -b*j. Is 5 a factor of j?
False
Let t(a) = -9*a**2 - 5*a + 15. Let y(d) = 5*d**2 + 2*d - 8. Let x(u) = -6*t(u) - 11*y(u). Let f be x(3). Let c = f + -1. Does 6 divide c?
True
Suppose 0 = -q + 4*q + n - 6, 15 = 4*q - n. Suppose 2*t + q*t = 25. Does 2 divide t?
False
Let a be 6/9*(-4 - -7). Suppose -l + 143 = -0*w + a*w, w + 2*l = 70. Is 18 a factor of w?
True
Let q = 201 + -143. Does 12 divide q?
False
Suppose 288 = 3*j - 5*c + 53, -2*j - 5*c = -115. Is j a multiple of 14?
True
Let l = 77 + -17. Is 30 a factor of l?
True
Let o(m) = m + 3. Let p be o(-2). Let r = 3 - p. Is 2 a factor of r?
True
Let x = 183 - 63. Is 12 a factor of x?
True
Suppose 12 = -3*a, -4*f + 0 - 8 = 4*a. Let c(r) = 1 + 1 + r**2 + r + 2*r**f. Is 16 a factor of c(2)?
True
Let r(o) = o**2 + 4*o - 5. Let d be r(-4). Let c = d + 15. Is c a multiple of 9?
False
Let y = -6 - -10. Let m(a) = 2*a**2 - 5*a + 4. Does 6 divide m(y)?
False
Suppose 2*j - 41 = 3*a, 5*j + 3*a = 111 + 44. Is j even?
True
Suppose -4*r + 2*b + 3*b + 162 = 0, 0 = -r + 5*b + 33. Does 5 divide r?
False
Suppose 3*z = 2*t - 456, 710 = 5*t - 2*t + 2*z. Does 39 divide t?
True
Let v be ((-2)/(-4))/((-7)/(-42)). Suppose -v*j - 128 = -3*f - 7*j, -f - j = -41. Is 7 a factor of f?
False
Suppose -i + y + 189 = 0, -y + 0 = 5. Is i a multiple of 23?
True
Is ((10 - -1) + 1)/1 a multiple of 2?
True
Suppose 11*k = 9*k + 136. Does 17 divide k?
True
Suppose -c - t - 1 = 21, 3*c + 26 = 5*t. Let z = 59 + c. Is z a multiple of 25?
False
Suppose -3*x - x = 5*g - 871, -3*x - 178 = -g. Is 35 a factor of g?
True
Suppose c = -3*c. Suppose 2*v - 4*w = 16, -3*v + 4*w - 3*w + 39 = c. Is 14 a factor of v?
True
Let v(b) = -9*b - 14. Does 3 divide v(-6)?
False
Let q = -59 + 108. Is 22 a factor of q?
False
Let q(j) = -j**3 + 4*j**2 + 4*j - 4. Is q(4) a multiple of 6?
True
Let d(a) = -a**2 + 6*a + 3. Let u be d(-7). Let x be (6/4)/((-6)/u). Suppose -43 = -5*l + x. Is l a multiple of 9?
False
Is (-10)/15 - (-272)/3 a multiple of 10?
True
Is 92/(3 - 1)*2 a multiple of 27?
False
Suppose 2*t - 14 = 4. Does 2 divide t?
False
Let w = 99 + -149. Let v = -34 - w. Is v a multiple of 16?
True
Suppose -15 = -3*g - 0. Let r(s) be the second derivative of s**5/20 - s**4/4 - s**3 + 2*s**2 - 5*s. Is 12 a factor of r(g)?
True
Let o(x) = -x**3 + 5*x**2 - 4*x + 3. Let g be o(4). Suppose -3*p = -j - 113, 0*j + g*j = 12. Is 18 a factor of p?
False
Is 4 a factor of (-56)/(-2) - (-25 + 21)?
True
Let m(f) = 8*f. Let v be m(1). Let g = 10 + -14. Let d = v + g. Is d even?
True
Suppose i - 16 = -3*i. Let u(k) = 3*k - 9. Is 2 a factor of u(i)?
False
Suppose 5*d - 4*b = 219, -2*d - 3*b = b - 110. Does 5 divide d?
False
Is (-3 - (-6)/2) + 156 a multiple of 26?
True
Let v(r) = 31*r**2 - 4*r - 1. Is v(-1) a multiple of 7?
False
Let v(t) be the first derivative of 3*t**2/2 - 2*t + 3. Let o be v(2). Does 10 divide (45/o)/((-6)/(-16))?
True
Let s = -123 - -248. Is s a multiple of 13?
False
Let d = -26 - -67. Is 14 a factor of d?
False
Is 24*1*8/24 even?
True
Let h(d) = -d**2 - 8*d + 13. Let k be h(-9). Suppose -3*t + t = 0. Let r = k + t. Does 4 divide r?
True
Let x(b) = b + 2. Let t be x(2). Suppose 2*f + 26 = t*g, -f + 41 = -2*g + 6*g. Does 8 divide g?
False
Let t = -2 - 7. Let d(m) = m**3 + 9*m**2 + m + 13. Let j be d(t). Suppose j*r - 2*r - 4 = 0. Is r a multiple of 2?
True
Let u be (2 + -35)*(3 + -2). Let m = -15 - u. Does 9 divide m?
True
Let v(t) = 8*t + 4. Let c be v(-4). Let z be ((-3)/3)/((-1)/c). Is 14 a factor of -1*1*z/1?
True
Let y = -179 - -298. Does 7 divide y?
True
Let n(b) = -b - 1. Let p be n(-2). Does 13 divide 131/5 + p/(-5)?
True
Suppose -k - 4*p + 141 = 0, 0 = -5*k + p - 5*p + 641. Is 13 a factor of k?
False
Let w be (1/(-2))/((-5)/430). Let v = -30 + w. Is 5 a factor of v?
False
Let h(i) = -i**3 + 6*i**2 + 9*i + 8. Is 22 a factor of h(7)?
True
Let p(x) be the first derivative of x**4/4 + 8*x**3/3 - 6*x**2 - 7*x + 1. Is p(-9) a multiple of 10?
True
Suppose -3*p + 2*p = 3*t - 120, p - 118 = -5*t. Is p a multiple of 4?
False
Suppose 0 = -5*v + 2*z + 55, 0 = -2*v + 5*z + 39 - 17. Is 11 a factor of v?
True
Let n be 7 + -3 + 6 + -6. Suppose 2 = -n*x + 18. Is x a multiple of 2?
True
Suppose 42 = h - 33. Suppose 0 = -4*v - w + h, -w = -5*v + 4*w + 125. Does 10 divide v?
True
Let q(f) = -f**3 + 7*f**2. Let l be q(7). Let w be (2 - l) + 1 + 2. Suppose 60 =