0*g**2 + 0*g**2 + 12 - 2*g + 3*g**2 - 2*g**2. Is 10 a factor of x(8)?
True
Let h(q) = 6*q**2 - 5*q - 3. Let p be h(7). Suppose 5*o + p = -9. Let m = 98 + o. Does 19 divide m?
False
Let n(k) = 2*k**2 - 12*k + 1. Does 9 divide n(-6)?
False
Suppose 0 = 20*x - 49*x + 3451. Does 16 divide x?
False
Suppose 0 = n - 0*c + c + 7, 5*c - 5 = 5*n. Let q be n - 1*2/(-2). Let s(r) = -8*r - 4. Is s(q) a multiple of 10?
True
Suppose -1195 - 167 = -3*g - 3*q, 4*g - 1816 = -q. Let z = -324 + g. Does 43 divide z?
False
Let d = 16 + -6. Let t = d - 11. Let q(h) = -38*h - 1. Does 13 divide q(t)?
False
Is 25 a factor of (20/12*-15)/((-3)/225)?
True
Let d(l) = l**3 - 2*l**2 - 6*l + 6. Let w be d(4). Let s = w + -25. Let b(t) = -t**3 - 12*t**2 - 13*t - 13. Is b(s) a multiple of 5?
False
Let x = 1919 + 145. Is x a multiple of 9?
False
Is 20 a factor of (-14)/(-6) - 19063/(-33)?
True
Let n(f) = -2*f + 9 + 0*f - f + 2*f. Let p be n(6). Suppose -24 = -a + p*o, 0 = a + o - 2 - 6. Does 12 divide a?
True
Suppose -3*q + 3126 = -3*c, 20*q + c = 18*q + 2090. Does 36 divide q?
True
Suppose -p - 119 = 3*t, -2*p - 5*t = -0*p + 238. Let h = -70 - p. Is h a multiple of 17?
False
Let w(f) = 10*f - 9*f**2 + 3*f**2 + 10*f + f - 11 - f**3. Does 10 divide w(-9)?
False
Suppose -9072 = 3028*t - 3037*t. Does 8 divide t?
True
Let w = -88 - -42. Let j = 68 + w. Is j a multiple of 11?
True
Suppose -368 = f - 1122. Is f a multiple of 29?
True
Let s be (-3 - (0 - 2)) + 21. Suppose i - k - 43 = -i, -4*k + 20 = 0. Suppose u - 3*q - i = -q, -5*q - s = 0. Is u a multiple of 9?
False
Let h = 1 + 0. Let y(g) = 3*g**3 - 4*g**2 - 3*g + 8. Let v(u) = -u**3 - 1. Let i(q) = h*y(q) + 4*v(q). Does 4 divide i(-3)?
True
Let s(m) = m**2 - 2*m - 50. Let i be s(0). Let g = -40 - i. Is g a multiple of 10?
True
Let d(y) = 2 - 4 + 44*y + 36*y. Is 18 a factor of d(1)?
False
Let f(u) = 4*u + 1. Let w be f(1). Let y be (-109)/w - 2/10. Is y/7*-1*7 a multiple of 11?
True
Suppose h = -i + 24, 4*i + 8*h - 5*h - 101 = 0. Suppose -2*y + 49 = -i. Is 5 a factor of y?
False
Let g(v) = v**3 + 3*v**2 - 7*v + 1026. Is g(0) a multiple of 27?
True
Let j be (-2 - -1)*(-1 + 1). Suppose 8*f - 5*f - 9 = j. Suppose a = 2*l + 70, -f*a - a + 295 = -5*l. Is a a multiple of 26?
False
Let s(f) = -f**3 - 12*f**2 + 15*f + 28. Let d be s(-13). Suppose 2*g + d*o = 50, 3*o = 4*g - 96 - 39. Suppose -k + 64 = -4*w, w + 84 = 2*k - g. Does 8 divide k?
True
Let h(z) = z**3 - 4*z**2 - 9*z. Suppose 3*i - 7 = -5*n + 9, -n = -i + 8. Is h(i) a multiple of 14?
True
Let o(y) = y - 3. Let l be o(-4). Let t(z) = -11*z. Does 22 divide t(l)?
False
Suppose -3*v - 3 = 2*d, -4*d + 2*v = v - 29. Let k(g) = 8*g + 6 + 12*g**3 - 4*g**2 - d*g**3 - 7*g**3. Does 15 divide k(-6)?
True
Suppose 3*d + 30 = 5*j, 2*d = -4*j + 3*j - 7. Suppose -21 + 57 = j*h. Does 10 divide h?
False
Suppose -4*p + 2*t - 27 = 39, 0 = p - 2*t + 21. Let u = -10 - p. Suppose 10*a - 20 = u*a. Is 4 a factor of a?
True
Let d(g) = g + 25. Let i be d(-25). Suppose i = -3*n + w + 287, n + 3*w = -6 + 105. Is n a multiple of 32?
True
Suppose h - 5*z = -2*z, 0 = z - 1. Suppose -2*d + 1 = h. Does 10 divide (-4 - -5) + d + 30?
True
Let h = 2935 + -2078. Is h a multiple of 53?
False
Let m(a) be the first derivative of -7*a + 1/4*a**4 - 4 - 5/2*a**2 - 5/3*a**3. Is m(7) a multiple of 8?
True
Suppose -2354 = -8*f - 562. Does 28 divide f?
True
Let b(d) be the third derivative of d**5/60 - 7*d**4/24 - d**3/2 + 15*d**2. Does 10 divide b(9)?
False
Let m = -112 + 112. Suppose 2*d = -m*d - 4*b + 90, 0 = -3*b + 15. Is 8 a factor of d?
False
Let w = -67 + 137. Is 3 a factor of 5 + w/15 - (-2)/(-3)?
True
Suppose 3*y - 881 = -53. Suppose -5*x = -2*x - y. Is 13 a factor of x?
False
Suppose w = 4*w. Let t be w/(-1) + (-504)/(-9). Suppose 0*x = 4*x - t. Is 7 a factor of x?
True
Is (-4)/(-14) - ((-46140)/14 + 11) a multiple of 50?
False
Let p(x) = -6*x**3 + x**2 + 3*x + 1. Let o be p(-1). Let b = o + 79. Is b a multiple of 14?
True
Let l(h) = -6*h**3 + 7*h**2 - h - 1. Let m(v) = -7*v**3 + 8*v**2 - 2. Let o(r) = -3*l(r) + 2*m(r). Is o(4) a multiple of 38?
False
Suppose l + 3*v = 46, 2*v = -2*l + 12 + 92. Is 5 a factor of l?
True
Suppose 16*p + 2*p - 17496 = 0. Does 36 divide p?
True
Let y = -200 - -378. Is 7 a factor of y?
False
Let x(r) = 9*r**2 - r + 3. Let l be (-1 + 3 + -2)/(-2). Suppose -2*a = s + 9, -5*s - 21 = -2*a - l*s. Is 6 a factor of x(a)?
False
Let v = -21 + 23. Suppose 5*r + v*g = 406, 252 = 3*r + 2*g + 2*g. Is 26 a factor of r?
False
Let z = 1 - -4. Suppose -6*i = -15 + 3. Suppose 0 = -z*f + 10, i*f + 2*f = -t + 50. Is 13 a factor of t?
False
Suppose 44 + 1 = 5*l. Suppose 0 = -12*k + l*k + 141. Is 29 a factor of k?
False
Let l = -33 - -37. Suppose -4*j + 3*v = 43 + 78, 0 = 3*j - l*v + 82. Is 20 a factor of j/(-2) - (-15)/5?
True
Suppose -5*b + 443 = -262. Does 11 divide b?
False
Let x = 358 - 128. Suppose 5*r - 85 = x. Is r a multiple of 7?
True
Suppose -7849 = -5*u - i + 579, -2*i + 8426 = 5*u. Is 22 a factor of u?
False
Suppose 0 = -2*t + 7*t - 25. Suppose 83 = b + t. Does 13 divide b?
True
Let v(k) = -3*k + 43. Let o be v(14). Let h(t) = 57*t**3 - t**2. Is h(o) a multiple of 10?
False
Suppose 3*i - 2*i = 112. Let b = i + -62. Is b a multiple of 13?
False
Let w be 946/4*2 + (-2)/1. Suppose 8*k - w = -119. Is 11 a factor of k?
True
Suppose -5*n + 15 = -0*n. Let v be 1 + n + -5 + 27. Suppose 0 = 2*f + 2 - v. Is 12 a factor of f?
True
Let q be (0/2 - -1)/(-1). Is ((-32)/q)/(4/6) a multiple of 16?
True
Suppose f = 3*h + 8, -2*h + 3*f + 20 = -4*h. Is 3 + 36 + h - 1 a multiple of 17?
True
Let g be (-8 - (4 - 3)) + 3. Let l(z) = -z**3 + 6*z**2 - 6*z + 1. Let k(i) = -i**3 - i**2 + i. Let p(y) = g*k(y) - l(y). Is 6 a factor of p(1)?
True
Let m(y) = -57*y - 196. Is m(-25) a multiple of 45?
False
Let k be ((-2)/(-4))/((-2)/4). Suppose 3*v + 3*u + 1 = 28, -v + 27 = -5*u. Does 15 divide ((-9)/v)/(k/60)?
True
Let g be (1/(-2))/((-2)/2)*4. Suppose 0 = -4*v - 20, 387 = 3*p - g*v - 130. Is 13 a factor of p?
True
Suppose -10*c = -3*r - 6*c + 3378, -5653 = -5*r - c. Is 57 a factor of r?
False
Let j = -54 - -55. Let s = -6 - -1. Let r = j - s. Is 4 a factor of r?
False
Suppose 3*y - 3*b - 159 = 0, -5*b + 130 = 2*y + 38. Let v = y - -11. Is 24 a factor of v?
False
Is 8 a factor of (-30)/(-25) + 1554/5?
True
Let a be (-4)/(-3)*15/10. Suppose 0 = a*f - 75 - 29. Is 17 a factor of f?
False
Suppose -94*m + 75330 = -63*m. Is m a multiple of 45?
True
Suppose 3 = -5*x + 58. Suppose 0 = -x*m + 14*m + 12. Is 40/(-2)*(m - -2) a multiple of 12?
False
Suppose -1728 = -10*q + 6*q. Suppose -15*y + 9*y = -q. Is y a multiple of 19?
False
Suppose -2*x = -5*x - 138. Let h = 14 - x. Is 30 a factor of h?
True
Is (-11 + -1)*(-81)/12 a multiple of 14?
False
Let r(b) = b + 14. Let t be r(-10). Let m be (573/9)/(t/12). Let a = m - 95. Is a a multiple of 17?
False
Let o(q) = 4 - 1 + 3 - q. Let j be o(4). Suppose 11 = b + j. Does 6 divide b?
False
Suppose -17*h + 2337 = 535. Is 106 a factor of h?
True
Is (47 - 1)*42/(11 - 4) a multiple of 33?
False
Let v(d) = -d + 6. Let o be v(6). Let i = -337 + 357. Let t = i + o. Does 8 divide t?
False
Let k = 621 - 405. Does 19 divide k?
False
Let f = -11 - -19. Let s = f + -10. Let a(u) = -13*u - 2. Is a(s) a multiple of 16?
False
Let w be (-4)/24*4*-6. Suppose -5*k = 4*b + 3, -w*b + 9 = -0*b + k. Suppose -288 = -b*q - 3*q. Is q a multiple of 16?
True
Let s = -573 + 1296. Is 3 a factor of s?
True
Does 15 divide (-11703)/(-45)*3 - (-2)/(-10)?
True
Let m(p) = p**2 - 3*p + 5. Let t be m(0). Suppose t*u = -z + 127, 0*z + 4*z - 466 = u. Does 8 divide z?
False
Let f(j) be the second derivative of j**4/4 + 2*j**3/3 - j. Does 11 divide f(-5)?
True
Let f(t) = -11 - 5*t + 5 - 11 + 3. Suppose -74*r - 24 = -70*r. Is f(r) a multiple of 8?
True
Let i(p) = 13*p - 9. Let g(x) = -x**3 + 3*x**2 + 4*x + 4. Let r be g(4). Does 18 divide i(r)?
False
Let p = 2135 + -1547. Does 51 divide p?
False
Let q be 10*(25/10 - 1). Let y(r) = -2*r**3 - 5*r**2 - 3. Let u be y(-4). Suppose 0 = -o - q + u. Is 6 a factor of o?
True
Is 5 a factor of 40/(-24)*3 - -31?
False
Let t be (-1)/2*0 - 102. Let k = -105 - 53. Let a = t - k. Does 28 divide a?
True
Let p(n) = 3*n**2 + 3*n + 5. Let o = -91 - -96. Is 19 a factor of p(o)?
True
Suppose -53 + 49 = -2*v.