x*d - 109 = 2*r + r, r + 44 = 2*d. Does 16 divide d?
False
Let p(s) = s**3 + 12*s**2 + 12*s + 13. Is 2 a factor of p(-11)?
True
Let j = -1 - -3. Suppose x - 36 = -4*s - 3*x, 4*s + j*x - 32 = 0. Suppose -2*o - 85 = -s*o. Does 14 divide o?
False
Suppose 3*v - 4*f = 151, -3*v = -2*f - f - 150. Is v a multiple of 13?
False
Suppose -2*x = -5*x. Let t(r) = r**2 + r + 8. Does 4 divide t(x)?
True
Let d = 168 - 324. Is (d/16)/(3/(-16)) a multiple of 11?
False
Let r(q) = 10*q + 2. Is 8 a factor of r(3)?
True
Let g(u) = u**2 + 5*u + 3. Let o be g(4). Suppose 11 = -2*i - o. Let v = 35 + i. Is 5 a factor of v?
True
Let z be (-2)/(-2)*-3*-24. Let j = -121 - -227. Let n = j - z. Does 18 divide n?
False
Suppose 222 - 74 = 4*s. Suppose 2*z - a = -2*z + s, 31 = 3*z - 4*a. Does 9 divide z?
True
Let v = -11 + 23. Let n = 9 + v. Does 9 divide n?
False
Let o = -2 + 5. Suppose 3*w + 2*u - 10 = 0, 0*w = 3*w - 3*u. Suppose 2*g = -l - w, o*l = -5*g + g + 2. Is l a multiple of 4?
False
Suppose -8*o = -4*o - 24. Is o a multiple of 6?
True
Suppose 3*y + 0*h = 2*h + 18, 0 = 2*y - h - 13. Let t be (-1)/(y/(-6) + 1). Suppose 0*p = i - 5*p, -3*p + t = 0. Is 2 a factor of i?
False
Let i(z) = -z**2 - 2*z - 3. Let k be i(0). Let d(p) = -p**3 + 2*p**2 + 3*p + 2. Is d(k) a multiple of 10?
False
Let h(c) = c**3 - 2*c**2 - 5*c + 2. Let j be h(3). Let r be 4*(-2)/j - -1. Suppose -33 = -3*u - r. Does 10 divide u?
True
Let g(u) = 3*u - 12. Let o = -16 + 27. Is g(o) a multiple of 18?
False
Suppose 2*z + 3*a = 28, 0*z - 2*a + 70 = 5*z. Does 7 divide z?
True
Let q be 9/6 - 4/(-8). Suppose -o = q*o - 33. Does 11 divide o?
True
Let k be 13 - 3/(-3)*-3. Let v = -9 + k. Let m = v + 17. Is 9 a factor of m?
True
Let g be 6/10*(-2 - -17). Let l be 6/g*-1*9. Let d = 34 + l. Does 14 divide d?
True
Let m(f) = -61*f**3 - f**2 - 2*f - 1. Suppose 3*o - 5*w + 8 = 0, o + 2 = -0*o + w. Does 14 divide m(o)?
False
Suppose 208 = 2*x + 56. Suppose x - 186 = -5*r. Is 4 a factor of r?
False
Is 23 a factor of (-4)/(-6) - (-134)/6?
True
Suppose -2*t = 2*t + 104. Let y = t + 37. Does 6 divide y?
False
Let s be ((-22)/33)/(4/18). Let x(r) = -10*r - 3. Does 9 divide x(s)?
True
Let m(l) = l**2 - 3*l + 4. Let b be m(3). Let x = -27 + 11. Is 12 a factor of (-30)/b*x/10?
True
Let v(q) = -3*q. Let z be (4/2*1)/(-2). Let r be v(z). Suppose -5*g + 3*y = -104, 0*y + 70 = r*g + 2*y. Is 11 a factor of g?
True
Suppose 6*s - 8 - 202 = 0. Is 8 a factor of s?
False
Let t be (-3)/(-6)*1*-2. Let v be 0/((-3)/t) - -1. Is 23 a factor of 61 + v + (-7 - -10)?
False
Is 4 a factor of 7*(-6*(-2)/(-3) + 9)?
False
Suppose -500 = -12*p + 8*p. Does 23 divide p?
False
Let f(b) = -10*b + 0*b - 3 - 5*b. Is f(-2) a multiple of 14?
False
Let g = 13 - 13. Does 6 divide g + 3 + 0 - -3?
True
Suppose -5*b - w + 205 = 0, 3*b - 130 = -2*w - 0*w. Is b a multiple of 20?
True
Let q be ((-38)/(-4))/((-4)/(-16)). Suppose 3*m + y - q = 2*y, -5*m = -y - 66. Does 7 divide m?
True
Suppose 0 = -5*b + 10, 4*n - 5*b + 4*b = 14. Let x(q) = n*q**2 + 1 + 5*q + q - 5*q. Is 17 a factor of x(-3)?
True
Suppose 2*u + 2*u + 4 = 0. Let m = 1 + u. Suppose m*w - 2*w = -78. Is w a multiple of 10?
False
Let j be 1/(-4) - 27/(-12). Is 10 - (0/(-3) - j) a multiple of 6?
True
Let l(o) = -3*o**3 - 9*o**2 - 7*o + 1. Let n(h) = 7*h**3 + 19*h**2 + 15*h - 1. Let r(t) = -5*l(t) - 2*n(t). Is 14 a factor of r(-5)?
False
Suppose -v + 0 = 3*r + 3, -4*v = -3*r - 33. Let y(d) = -5*d + 3 + 5*d + v*d. Is 16 a factor of y(4)?
False
Let x be (1 - -2)/(5/25). Is ((-24)/x)/(4/(-10)) a multiple of 4?
True
Let x be 126/8 + 2/8. Suppose a - 5 = -3, p = -5*a + x. Does 6 divide p?
True
Is ((-3)/4)/(3/(-216)) a multiple of 27?
True
Let r(a) = 10*a + 7. Does 34 divide r(7)?
False
Suppose 18 - 3 = 5*j. Suppose -276 = j*f - 7*f. Does 23 divide f?
True
Suppose -31 + 7 = -3*o. Is (8 + -4)*38/o a multiple of 17?
False
Suppose -2*d - 18 = -4*a, 4*d = -a + 2*d + 12. Suppose -2*s = -s - a. Let k = 19 - s. Does 13 divide k?
True
Suppose 2*z = 3 - 39. Let x = -6 - z. Let g = 1 + x. Does 13 divide g?
True
Suppose 2*j - 2*v = 264, 2*j + 3*v + 4 - 288 = 0. Is j a multiple of 4?
True
Let g(a) = a**3 + a. Let p(b) = -b**3 + 3*b**2 - 7*b + 2. Let o = 9 + -5. Let q(f) = o*g(f) + p(f). Does 11 divide q(2)?
False
Let u = -4 - 0. Let p be (0 + -1)*(u + 1). Suppose -p - 43 = -c. Is c a multiple of 15?
False
Let w(u) = 18 + 4*u - 3*u + 0*u**2 - u**2. Is 18 a factor of w(0)?
True
Let s(o) = -o**3 + 12*o**2 + 3*o - 14. Let g be s(12). Let r = g + -14. Is r a multiple of 8?
True
Let o(t) = 2*t**2 - 1 + 3*t + 5 + 3 - t**2. Suppose 5*g + 5 = -5*v, 0 = -0*g - 3*g + 3*v - 27. Is o(g) a multiple of 15?
False
Does 27 divide (1/(1 - 3))/(24/(-1968))?
False
Let m = 65 + -43. Is m a multiple of 22?
True
Suppose 63 = -2*d + 5*d. Is d a multiple of 4?
False
Suppose 73 = 2*g - 161. Is g a multiple of 13?
True
Let h = -8 + 5. Let y be (-8)/h + (-7)/(-21). Suppose y*c + 2*w + 2*w = 47, w - 50 = -5*c. Does 9 divide c?
True
Let u = 82 + -12. Does 18 divide u?
False
Let h be ((-5)/(-2))/(1/2). Suppose -k - 3 = -4. Is (8/h)/(k/15) a multiple of 10?
False
Does 4 divide ((-74)/4 + 3)*-2 - 2?
False
Suppose -11*j + 6*j + 960 = 0. Does 48 divide j?
True
Let z(v) = -v - 1. Suppose -l + 16 = -5*f, 4*l - f + 0*f = -31. Is 8 a factor of z(l)?
True
Let h = 44 + -23. Does 21 divide h?
True
Let y = 6 + -11. Let i = y - -29. Is 2 a factor of (6/(-18))/((-2)/i)?
True
Is ((29 - -7) + 9)/((-1)/(-2)) a multiple of 41?
False
Let m be 595/(-102) - (-2)/(-12). Is ((-34)/m)/(2/12) a multiple of 10?
False
Suppose 0 = 4*m - 2*c - 212 - 392, 2*c + 754 = 5*m. Is m a multiple of 32?
False
Suppose -2*s = -a + 5, 0 = 3*a - 2*s - 7. Let d be 1 + a - (3 - 4). Is 8 a factor of 9 - 3*(-3)/d?
False
Let z be 7/((-28)/24) - -3. Let f = 25 + -18. Let j = f - z. Is 5 a factor of j?
True
Let c be (14/(-49))/((-2)/14). Suppose a + 85 = -2*j + 6*j, -c*j + 2*a = -50. Is 5 a factor of j?
True
Let c be 42/(-9)*(0 + 3). Let i = c + 35. Is 13 a factor of i?
False
Suppose 0 = 3*c - 7 + 1. Does 9 divide 13 - 1/(c - 3)?
False
Suppose 3*k - p = 384, -2*k + 257 = -0*k - p. Is 36 a factor of k?
False
Does 13 divide (14/(-4))/(5/(-130))?
True
Suppose -3*y + k + 210 = 0, -3*y + k + 350 = 2*y. Is 5 a factor of y?
True
Does 3 divide (-15)/15 - (-12)/1?
False
Let u be (-3 - -5) + (-6)/(-3). Is u/2 + 1 + 27 a multiple of 10?
True
Let k(p) = -p + 19. Does 15 divide k(-11)?
True
Suppose 3*a - 280 = a. Does 20 divide a?
True
Let l(i) = i**3 + 6*i**2 - 4*i - 12. Is l(-6) a multiple of 5?
False
Suppose 0*i = -3*i. Suppose i = 3*r + 2*r. Suppose r = 3*w + 2 - 26. Does 8 divide w?
True
Suppose 225 = 3*i - 0*i. Is i a multiple of 24?
False
Let v = 0 - -2. Suppose -v*d - 2*d = -72. Is 9 a factor of d?
True
Is 15 a factor of (-8)/2*40/(-8)?
False
Let v(w) = -315*w**2 - 91*w - 91. Let s(y) = -7*y**2 - 2*y - 2. Let p(r) = -273*s(r) + 6*v(r). Is 19 a factor of p(-1)?
False
Suppose -48 = -3*h + 4*y, -3*h + 4*y - y = -48. Suppose -3*o + 14 = -h. Is o a multiple of 10?
True
Let j(x) = -x**3 - 8*x**2 + x + 8. Let s be j(-8). Let a be (-25)/(-3) + (-2)/6. Does 12 divide (s - a)*(1 - 4)?
True
Is 2 a factor of 7/(-1)*(-6 + 5)?
False
Let x be 56/(1*2/3). Let n = x - 41. Suppose n = -2*t + 3*t - 2*k, 4*k = -2*t + 110. Is t a multiple of 13?
False
Suppose 5*a - 22 = -3*p, -4*p = 3*a - 0 - 22. Suppose a*v + 32 = 4*v. Is 4 a factor of v?
True
Let p(n) = -11*n + 0 + 0 - 1. Let j(m) = -3*m**3 + m**2 + 3*m - 2. Let g be j(1). Does 5 divide p(g)?
True
Suppose 3*k + 2*c = -2*c + 48, 15 = k + c. Let x be (k/(-8))/((-3)/6). Suppose 60 = x*y + 2*y. Is 12 a factor of y?
True
Let v be 1 + -2 - 7 - -2. Let x = v - -8. Is x even?
True
Let g be (2 - -1)/(-9)*0. Let v = g + 4. Suppose -102 = -v*j + j. Is j a multiple of 17?
True
Suppose -5*w + 7 = -3*s - 3, 4*s = -5*w + 10. Does 23 divide (-88)/(-4) + (w - 1)?
True
Suppose -70 = -a - 4*a. Is a a multiple of 13?
False
Let q(s) = 12*s**2 + s. Let x be q(-2). Suppose -5*w + x = -9. Does 3 divide w?
False
Let c be 20/1 + (-16)/(-8). Let s = c - 6. Does 8 divide s?
True
Let j(o) be the first derivative of -3*o**4/4 + o**3 - o**2 - 7*o + 4. Let f(g) = -4*g**3 + 2*g**2 - 2*g - 7. Let a(n) = -4*f(n) + 5*j(n). Does 3 divide a(-7)?
False
Let i be (-10 - -13)*32/(-6). Suppose -b + 0*b = -5*p + 145