5)/(40/(-12) - -3) a multiple of 10?
False
Suppose r = -2*r + 30. Is r a multiple of 10?
True
Let h be ((-8)/6)/(1/(-3)). Is 1 + (h - (-2 + -3)) a multiple of 10?
True
Suppose -48 = 3*w + 3*p, 3*w - 4*p + 26 + 15 = 0. Is 208/(-20)*w/6 a multiple of 26?
True
Suppose 5*g - 5*y = 6*g - 158, 4*y - 156 = -g. Is g a multiple of 10?
False
Suppose -y = y - 8. Suppose -y*u + 4 = -2*u. Is u a multiple of 2?
True
Let o(d) = 4*d**2 + 3 - d - 8*d**2 - 2*d**3 - 2. Let g be (-22)/6 - (-2)/3. Does 8 divide o(g)?
False
Suppose 5*m + g - 7 - 12 = 0, 23 = m + 5*g. Let u be m + 2 + (-1 - 1). Suppose s = -s + 5*f + 9, -2*f = u*s - 23. Does 3 divide s?
False
Let u = 122 + -86. Is u a multiple of 18?
True
Let x(q) = 4*q**2 + 3*q. Is 23 a factor of x(5)?
True
Suppose 4*g - 35 = -4*v + v, 16 = -4*g. Is (v/1)/((-4)/(-4)) a multiple of 17?
True
Let z(m) = 3*m**3 - 2*m - 1. Let a(t) = -t**2 + 4*t - 4. Let j be a(3). Let v be z(j). Is 13 a factor of 25 + (2 + v - -1)?
True
Suppose 0 = 4*o - 4*k - 69 + 29, -5*k - 5 = 0. Does 3 divide o?
True
Let d(n) = -n**3 - 13*n**2 - 12*n + 18. Is d(-12) a multiple of 2?
True
Let k(c) = 5*c**2 - 3*c + 9 - 3*c + c - 4*c**2. Is k(8) a multiple of 11?
True
Let o(s) = 7*s**2 + 3*s + 4. Let j be o(-3). Let z = 124 - j. Suppose -2*y = -8, 2 = 3*p + 5*y - z. Is 8 a factor of p?
True
Suppose 0 = -4*o + 2*y - 32, -o = -0*o - 5*y + 8. Let q = 6 + o. Is 7 a factor of -2 - 29/2*q?
False
Suppose -238 = -6*o + 14. Does 21 divide o?
True
Let o(d) = -d**2 + 10*d - 6. Let z be 1 - (1 - 1) - -7. Is 4 a factor of o(z)?
False
Let n = 12 + -1. Suppose 2 = 2*f - 4*j, -4*j + n = -5. Does 4 divide 3 - (0 - (f - -2))?
False
Let c be (-2)/((-12)/21)*10. Let v = -12 + c. Is v a multiple of 7?
False
Let g be 1*(1 + (-5 - -4)). Is 2/1 + g - 0 even?
True
Suppose 5*z + k - 5*k - 266 = 0, -4*z = 2*k - 218. Is 9 a factor of z?
True
Suppose 8 + 80 = 2*n. Does 11 divide n?
True
Let v = 11 - 9. Suppose -v*s + 66 = z + 4, -3*z + 181 = 5*s. Is 18 a factor of z?
False
Let p = 0 + 21. Is p a multiple of 7?
True
Let g = -9 + 2. Let i = 11 - g. Is i a multiple of 6?
True
Suppose -5*g = -8 - 2, 2*w + 4*g - 148 = 0. Is w a multiple of 18?
False
Suppose 0*k + 3*q + 351 = 3*k, -5*q - 473 = -4*k. Does 16 divide k?
True
Let r be -1 - (2 + (-12)/3). Let v = 3 + r. Let u = 8 + v. Is u a multiple of 12?
True
Suppose -23 = -5*d + 77. Is d a multiple of 4?
True
Let l(v) be the second derivative of -v**3/2 + 2*v**2 - v. Let r be l(-6). Suppose 3*n = r + 35. Is 14 a factor of n?
False
Let n be ((-12)/(-15))/(4/50). Let l(w) = 12*w + 9*w**2 - w**3 - 2*w**3 - 8 + 2*w**3. Is l(n) a multiple of 12?
True
Suppose -2*z = -137 - 47. Is 7 a factor of z?
False
Let g = -57 + 82. Is 5 a factor of g?
True
Let i = 3 - 0. Suppose -9 = -i*a - 3. Suppose -a*c - 2 = -3*t, 0 = 4*c - t - 0 - 16. Is 2 a factor of c?
False
Let i = 73 - -11. Suppose -m = m - i. Does 21 divide m?
True
Suppose 0 = 4*w - w - 285. Does 5 divide w?
True
Let t(x) = -11*x - 2. Is t(-2) a multiple of 5?
True
Let p(a) = -6*a - 12. Does 4 divide p(-4)?
True
Suppose 3*d - 24 - 9 = 0. Is 6 a factor of d?
False
Let g = 1 - -2. Suppose -2*v + 2*c + 141 = -c, 5*v - 357 = 3*c. Suppose g*j - v = -j. Is j a multiple of 9?
True
Let c = -74 + 118. Is c a multiple of 11?
True
Let h(q) = q**2 - 8*q - 3. Suppose -5*w - x = -50, 3*w - x - 48 = 2*x. Does 15 divide h(w)?
True
Let x(f) = -f**3 + f**2 + f. Let q(i) = 11*i**3 + 2*i**2 + 2*i - 1. Let r(t) = -q(t) + 3*x(t). Let a be r(-1). Let z = -2 + a. Does 10 divide z?
False
Suppose 4*n - 3*t = -6*t - 3, -14 = 2*n + 4*t. Suppose -m - 121 = -4*u, 6*u = n*u - 4*m + 67. Is 15 a factor of u?
False
Suppose 7*t - 8 = 3*t. Suppose t*w - 4 = w. Suppose i - 53 = -w*c + 2*c, 5*c - i = 129. Does 9 divide c?
False
Suppose 15*l + 2*l - 918 = 0. Is l a multiple of 6?
True
Let d be 2/(1 + -3) + -1. Let q be ((d - -13) + 1)*-6. Let g = q - -119. Is g a multiple of 18?
False
Let p = -11 + 8. Let k be (1/p)/((-1)/69). Suppose -k = -3*g + 13. Is 4 a factor of g?
True
Let k be (-4)/(-6)*(-93)/(-2). Let f = -14 - k. Does 21 divide (-18)/f - (-208)/5?
True
Suppose 8*u = 374 - 30. Is 9 a factor of u?
False
Let v(d) = -d**2 + d + 1. Let b be v(-1). Is 2 a factor of b/(2*2/(-16))?
True
Suppose -4*s + 5*m = -26 + 6, -5 = -s - 3*m. Suppose -8 = 2*z - 4*x, z - s = -2*x + x. Suppose -z*a - 3*a = 15, -4*u + 42 = -2*a. Is u a multiple of 8?
False
Let b(h) = h - 6*h + 2*h + 1 - 3*h. Let x be 2/1*1 - 3. Is 5 a factor of b(x)?
False
Let s = 14 - 18. Is 23 a factor of ((-138)/s)/((-3)/(-4))?
True
Suppose 4*b = -4*i + 276, 154 + 158 = 4*i - 5*b. Does 8 divide i?
False
Let y(f) = f**3 + f**2 + 1. Let s(w) = -4*w**3 - 10*w**2 + w - 2. Let x(j) = -s(j) - 3*y(j). Does 6 divide x(-7)?
True
Suppose -2*x + 2*f = -48, -8 - 40 = -2*x + 5*f. Does 12 divide x?
True
Suppose -11 - 1 = 4*l. Let d be 4/l*102/(-4). Let y = d + -16. Is y a multiple of 9?
True
Let i(d) = d**2 + 9*d - 7. Let b be i(-10). Suppose -2*m - b*m = 4*y - 64, 5*y = 4*m - 84. Is 15 a factor of m?
False
Let h(n) = -30*n + 1. Let u = 2 - 1. Let z be h(u). Let b = z + 45. Is 9 a factor of b?
False
Let x be 3282/18 - 2/(-3). Suppose -5*g - b = -x, -3*g + 187 = 2*g - b. Does 33 divide g?
False
Suppose -512 = -3*d - o, -8*d + 860 = -3*d - 5*o. Is 41 a factor of d?
False
Suppose -5*z + 2*o + 10 = 3, 0 = 3*z + o - 2. Let g be 0 - z - (3 + -4). Does 2 divide (-1 + g)/(1/(-5))?
False
Suppose 2*b - 8 = 68. Is b a multiple of 18?
False
Let n(r) = 20*r + 2. Let j be n(2). Suppose j = 2*q - 40. Suppose g = -4*w + 27, 5*w - q = -2*g + 1. Is 11 a factor of g?
True
Let h(k) = 7*k + 3. Let c = -14 + 21. Let v be h(c). Suppose 0*s - 3*s + v = -2*y, 4*s - 81 = 5*y. Is s a multiple of 7?
True
Suppose -61 - 5 = -u. Is 14 a factor of u?
False
Let h be 1/((-2)/16*2). Let p be 3*h/(-6) - -143. Suppose -4*q = -5*a - 175, 0 = -4*q - a - 4*a + p. Is q a multiple of 20?
True
Suppose 0 = -0*l - 5*l + 30. Let w(c) = 7*c**2 - 4*c + 10. Let h(q) = 20*q**2 - 11*q + 29. Let t(m) = l*h(m) - 17*w(m). Is 18 a factor of t(6)?
False
Suppose 0 = 4*f + y - 18, 2*f = -f - 5*y + 22. Suppose 0 = -l - b + 2 + 3, -l - 4*b = f. Does 8 divide l?
True
Suppose -7*r + 140 = -2*r. Is r a multiple of 14?
True
Let n be ((-2)/(-3))/((-4)/72). Let p = 21 + n. Is 3 a factor of p?
True
Let t(a) = 10*a - 2. Suppose 4*k - 1 = 15. Is 19 a factor of t(k)?
True
Suppose 4 = x - 4. Let t(o) = o**2 - 7*o + 8. Is t(x) a multiple of 16?
True
Suppose 5*b + 16 = 2*s, -2*b - 3*b = -4*s + 22. Suppose -5*u + s*u + 12 = 0. Does 2 divide u?
True
Let i be 23/(-3) - (-4)/6. Let z(k) = 9*k - 5*k**2 - 2 - 7 - k**3 - 2*k. Does 14 divide z(i)?
False
Let p(f) = 17*f + 1. Suppose -5*n + 3 = -3*j, 2*n - 4*n - j + 10 = 0. Is p(n) a multiple of 22?
False
Let f = 141 - 82. Let p = -6 - -11. Suppose -p*k + 3*n = -f, -3 = -k + 2*n + 6. Is k a multiple of 13?
True
Suppose 0 = s - f - 81, -3*f + 512 = 5*s + 83. Suppose 5*p = -s + 504. Is p a multiple of 12?
True
Let w = 20 - -4. Is 14 a factor of w?
False
Let p = 8 - 7. Let t be (-3 + -17)*p/(-2). Suppose -4*b + 5*b - t = 0. Does 5 divide b?
True
Let v = -6 - -11. Suppose -v - 2 = -l. Is l a multiple of 7?
True
Let b(c) = c - 7. Let q be b(6). Let i = q - -1. Suppose i = 2*y - 0*g - g - 64, -2*y + 3*g = -72. Is 15 a factor of y?
True
Suppose -h + 8*h = 931. Is 11 a factor of h?
False
Let t be -2*(33/6 + -2). Let v = 26 + t. Does 9 divide v?
False
Suppose 0 = -3*a + 251 - 44. Is a a multiple of 15?
False
Let k = -61 - -33. Let n = 120 + k. Does 23 divide n?
True
Let i(t) be the second derivative of t**5/20 + t**4/12 + t**3/6 + 5*t**2/2 + 5*t. Does 3 divide i(0)?
False
Let y(x) be the second derivative of x**5/20 + x**4/2 + x**2 - x. Let v be y(-6). Is 6 a factor of v/1 - (-1 + -11)?
False
Let j(o) = -o**2 + 20*o - 48. Does 19 divide j(12)?
False
Let v(k) = -11*k + 9. Let q(u) = -6*u + 5. Let i(a) = 3*a - 2. Let t be i(2). Let b(j) = t*v(j) - 7*q(j). Is 9 a factor of b(-4)?
True
Let x(k) = 7*k + 10. Is x(7) a multiple of 12?
False
Is 15 a factor of (-1 - -1) + 73 + 2?
True
Let d = 3 - 4. Is (3 - 4)/(d/19) a multiple of 14?
False
Suppose 197*r + 144 = 199*r. Is r a multiple of 18?
True
Let n(v) = -v**2 + 8*v + 21. Is n(9) a multiple of 6?
True
Suppose -4*n = -3*n - 2. Suppose 0 = 5*c + 2*g - 102, 2*g - 6*g - 60 = -n*c. Is c