- -1))/(-2). Let f = x - d. Is f a multiple of 5?
True
Suppose -4*q = 4*j - 104, 3*j + 17 = q + 3. Is 6 a factor of q?
False
Suppose 5 - 23 = -2*i. Let q be 5 - 2/(-4)*-2. Suppose q*u - 73 = -i. Is 6 a factor of u?
False
Let g = -36 - -68. Is g a multiple of 16?
True
Let o = -17 - -8. Does 9 divide (-12)/o*(1 - -26)?
True
Suppose -4*s + 5*f = -6 - 1, -s - 5*f + 8 = 0. Let u = s + 2. Suppose u*a = 22 + 143. Is 18 a factor of a?
False
Suppose -2*w + 3*k = -128 - 94, -2*k + 476 = 4*w. Is w a multiple of 39?
True
Suppose -m + 3*m = 156. Suppose 5*r - 3*r = m. Is 12 a factor of r?
False
Suppose -2*p = w - 6*p + 8, 5*p = w + 11. Suppose 0*s = w*s - 104. Is 12 a factor of s?
False
Suppose 399 = -4*p - 3*a, -4*p - 2*a = 377 + 17. Let u = 151 + p. Suppose -5*t - 9*k = -4*k - u, 2*k + 4 = 0. Is t a multiple of 13?
True
Let v(u) = -u**3 + 14*u**2 - 10*u - 1. Does 10 divide v(13)?
False
Let v = 16 + -12. Suppose -307 = -v*j - 115. Is 16 a factor of j?
True
Suppose -19*b + 13*b = -480. Is b a multiple of 16?
True
Suppose 4 = q + 2. Let c(h) = h**3 - 9*h**2 + 2*h - 12. Let m be c(9). Suppose -3*j + 34 = 2*l + m, -5*j + 40 = q*l. Does 3 divide j?
True
Let h = 1 + 0. Let q be 3/(-1) + h + -16. Let a = 41 + q. Is 13 a factor of a?
False
Let f(k) = k + 9. Let x be f(-4). Suppose 268 = 5*g + 4*h, x*h - 196 = -3*g - 30. Suppose 0*t = -t + g. Is 15 a factor of t?
False
Suppose 2 = -3*a + 5. Let q(y) = -7 + a + 2 - 6*y. Is 14 a factor of q(-3)?
True
Let i = 4 - 2. Suppose -3*z - 8 = -i*f + z, f = -5*z - 3. Suppose f*u - u = 5. Does 4 divide u?
False
Let m(u) = u**2 + 2*u + 1. Let x be m(-2). Let k(c) = c + c - 1 + 15*c**2 - 3*c**2 + 0*c. Does 13 divide k(x)?
True
Suppose 0 = -v + 5 + 30. Is v a multiple of 15?
False
Let v be -1*6/(-2) + -1. Suppose 5*k + 3*a - 23 = 0, -2*a - v*a = 4*k - 20. Suppose 99 = 3*g + k*m, -2*m = -5*m. Is 9 a factor of g?
False
Let w = -92 - -161. Does 5 divide w?
False
Is (3 + (-16)/12)*15 a multiple of 25?
True
Let y(o) = o**2 + 2*o - 5. Let d be y(3). Is 5 a factor of (-1)/(((-1)/d)/1)?
True
Let t be ((-14)/6 - 2)/((-3)/9). Suppose 2*v - 16 = x, 0 = -0*x - 5*x + 10. Let n = t - v. Is n a multiple of 2?
True
Let p = 4 + 3. Let w(i) = i**3 - 7*i**2 + 3*i - 2. Is w(p) a multiple of 5?
False
Let v(z) = -z**3 + 7*z**2 + 3. Let b be v(6). Suppose -3*i = -3*j - j + b, -j + 2*i = -11. Is 3 a factor of j?
True
Let t be (-3 - -11)/(2/1). Suppose t*q - 126 = -5*v, 2*q + q + 55 = 2*v. Does 13 divide v?
True
Is 16 a factor of 34/(2/(-10)*115/(-46))?
False
Let j(d) = 12*d + 9. Is 21 a factor of j(6)?
False
Let u = 11 - 16. Is 1 + u/(10/(-12)) a multiple of 3?
False
Let j be (-3)/9 + (-2523)/(-9). Suppose -3*n - j = 2*n. Let l = -1 - n. Does 25 divide l?
False
Let o(z) = -z**3 + 4*z**2 + 6*z + 4. Let h = 3 + 2. Does 5 divide o(h)?
False
Let b(t) = -t - 5. Let j be b(-7). Suppose 0*d - 2*d - 3*h = -35, -5*d + j*h = -97. Does 6 divide d?
False
Let b = -12 - -10. Does 5 divide b + 0 + 132/11?
True
Suppose 3*p = -4*a + 148, -p + 5*p + 5*a = 197. Does 16 divide p?
True
Let d = -3 - -3. Let g(c) = 3*c**3 - c**2 + c + 7. Let v be g(3). Suppose -2*z + 43 = -l, 5*z - 2*z + 2*l - v = d. Does 24 divide z?
True
Let v = 3 + -1. Let n = v + 0. Suppose -4*m + 118 = -m - n*o, 3*o + 15 = 0. Does 13 divide m?
False
Suppose 5*o + 0 - 7 = -n, 0 = 3*n - 2*o - 4. Is (4 - (0 + -1))*n a multiple of 10?
True
Is 19 - 2/2 - 0 a multiple of 18?
True
Let p(w) = -w - 13. Let c be p(-7). Let s(l) = l - 1. Let f be s(-1). Is 7 a factor of ((-21)/c)/((-1)/f)?
True
Let v be (-9 - 4)/(0 - -1). Let a = -10 - v. Suppose 0 = -2*g + 2*d + 58, -g - a*g - 5*d = -107. Does 9 divide g?
False
Suppose -2*t - 5*i = -t + 4, 29 = 4*t + 5*i. Suppose -8 = -0*n - n - 2*c, 0 = -n + c + t. Is n a multiple of 10?
True
Let o = 106 + -75. Is o a multiple of 12?
False
Suppose 0 = -5*i - 5*n + 38 - 3, -i + n - 3 = 0. Let c be i - (-2)/(-2)*-1. Suppose -60 = -r - c*r. Is 4 a factor of r?
False
Let r(g) = 3*g**2 - g - 3*g**2 - g - 6*g**3. Is 17 a factor of r(-2)?
False
Suppose 0*q = 4*q - 144. Is q a multiple of 18?
True
Let a(h) = -134*h + 1. Let l be a(-2). Suppose l + 111 = 5*p. Let y = p + -34. Is y a multiple of 14?
True
Let l = 179 - 59. Is l a multiple of 26?
False
Let m = 33 - 0. Suppose -u + 3 = -m. Let p = 71 - u. Is 15 a factor of p?
False
Suppose -5*v = 2*t - 6 - 21, -4*t = -4. Suppose 0 = j + 12 + 18. Is 4 a factor of v/(j/4)*-15?
False
Let k = 18 + 24. Suppose k = -2*h + 4*h. Does 7 divide h?
True
Let i(g) = -g**2 + 0*g - g + 2*g**2. Let o be i(2). Is 24/5*10/o a multiple of 10?
False
Suppose -5*s - 12 = o, -5*s - o - 9 = o. Let j = -2 - s. Let g(u) = 23*u - 1. Is g(j) a multiple of 15?
False
Let t(a) = 3*a**3 - 2*a**2 - 5*a + 3. Is 17 a factor of t(3)?
True
Does 16 divide 15/5 + (46 - 1)?
True
Let f(g) = -11*g - 4. Is f(-2) a multiple of 6?
True
Suppose -25 = -5*i, -2*d - 2*d - i = 19. Suppose 15 + 3 = 3*m. Let p = m - d. Does 10 divide p?
False
Let d = 28 + 56. Is 6 a factor of d?
True
Suppose -l = -3*l + 10. Let j = -3 + l. Is j even?
True
Suppose 0*b + 44 = 2*b. Is 6 a factor of b?
False
Let q(h) = -h**3 + 4*h**2 - 3*h + 1. Let p be 4 - (1 + 0/(-3)). Suppose 0*m - p*m = -6. Does 3 divide q(m)?
True
Let u = -18 - -42. Is 12 a factor of u?
True
Let c be (-20)/6*(-9)/(-2). Let m be (12/c)/((-2)/5). Suppose 0 = -m*o + 74 - 22. Is o a multiple of 16?
False
Let s = 35 + -26. Is s a multiple of 3?
True
Suppose -43 = h + 2. Suppose 5*y - m - 390 = 0, 2*m + 134 = 2*y + 6*m. Let j = h + y. Does 11 divide j?
False
Let c = 8 + -6. Suppose c*d = x - 11, -3*x - 1 = -3*d - 37. Does 5 divide x?
False
Suppose 0 = 3*t - 5*k - 16, 4*t - k - 18 = 4*k. Suppose 0 = t*y - 60 - 18. Suppose 0 = -3*u + y + 12. Does 6 divide u?
False
Suppose -2*r = -0*q - 4*q + 122, -63 = r - 4*q. Let j = r - -163. Suppose 3*f - j = -4*o, 0 = 5*o - 3*o + f - 50. Does 8 divide o?
False
Suppose -4*l + 8*d - 4*d = -60, -2*l + 4*d + 30 = 0. Does 15 divide l?
True
Let j be 25 + (-2)/(-1) - 2. Suppose -5*u - 5*z + 45 = 0, 3*u + 2*u + z - j = 0. Let t = 8 - u. Is 4 a factor of t?
True
Suppose -g - r = -4*r - 32, 0 = g - r - 30. Let y = g + -10. Does 16 divide y?
False
Let g = 68 - 47. Does 21 divide g?
True
Let v be (8/(-10))/(3/(-15)). Suppose -72 = v*u - 6*u. Is 18 a factor of u?
True
Let r = -2 - -2. Let a(c) = c**2 + c + 54. Does 18 divide a(r)?
True
Suppose 4*r = 7*r - 15. Is (75/9)/r*3 a multiple of 4?
False
Let n(s) = -s**2 - 9*s - 11. Let j be n(-8). Is (-16)/(-3) + j/9 a multiple of 5?
True
Suppose -2*t + t - 4*m + 119 = 0, 4*m = 3*t - 309. Suppose -w - j - t = -4*w, 136 = 4*w - 3*j. Is w a multiple of 21?
False
Suppose -f + l = -4*f - 16, 0 = -4*l - 16. Let q(a) be the first derivative of a**4/4 + 5*a**3/3 - 2*a**2 - 5*a + 1. Is 9 a factor of q(f)?
True
Suppose 0 = 2*m + r - 7, 2*m + 4*r - 4 = 6. Suppose -4*f = 5*w - 29, -2*f = -m*w - 24 - 7. Does 14 divide f*(-3)/(-1) + -2?
False
Let i(u) = -5*u**2 + u - 1. Let s be i(1). Is 28 a factor of (s/10)/(1/(-168))?
True
Let d = -11 - -11. Suppose 2*m + 0*m - 20 = d. Is m a multiple of 10?
True
Suppose -8 = -5*f - 5*u + 17, 0 = 5*f - 5*u - 55. Is f a multiple of 6?
False
Suppose 3*n + 36 = 3*d + 12, 5*n = d - 24. Suppose 9*t - 90 = d*t. Is 18 a factor of t?
True
Let g = -20 - -14. Is 6 a factor of (-20)/(-3) + 4/g?
True
Suppose 5*i - 1 = -y, 0*y + 4*y + 30 = -3*i. Let z(q) = -3*q + 9. Is z(y) a multiple of 13?
False
Is 8/((-132)/140 + 1) a multiple of 14?
True
Suppose 3*p + 86 = 143. Is p a multiple of 19?
True
Suppose -5*b - 3*h + 249 = 0, 8*h = 7*h + 3. Is b a multiple of 6?
True
Suppose g = -2*r + 11, 2*r - r + 22 = 5*g. Suppose 0 = 4*v, -r*z - 9*v = -4*v - 144. Is 20 a factor of z?
False
Suppose 5*v - 3*r - 57 = -0*r, 3*v - 7 = -5*r. Let p(l) = 7*l - 11. Is p(v) a multiple of 15?
False
Let a = 2 + 0. Suppose -3*p = a*p - 140. Does 8 divide p?
False
Let c(d) = -d**3 - 7*d**2 - d + 7. Let v(z) = -z**3 + 3*z**2 + 3*z - 3. Let s be v(4). Does 14 divide c(s)?
True
Let i(n) be the second derivative of -n**5/10 - n**4/3 - n**3/2 + 3*n**2/2 + 7*n. Is 10 a factor of i(-3)?
True
Let l(j) = -3*j + 23. Is l(7) a multiple of 2?
True
Suppose i + 4 = 0, 3*l - 3*i = l + 52. Is l a multiple of 17?
False
Let s(l) = l**2 + 4*l. Let g be s(-3). Let x be (-25)/(g + 2)*1. Suppose -5*q + x = -15. Is q a 