 - 2*f - 102, -d - f + 0*f = -51. Does 19 divide d?
False
Suppose -4*n = 14 - 42. Suppose 4*p + 75 = -4*t + n*p, -3*t = 4*p + 75. Does 17 divide (-476)/t*(-3)/(-2)?
True
Let a be (-56)/(-12) + (-1)/(-3). Suppose 4*n = 5*v + 15, -a*v + 0*v + 45 = 2*n. Is 5 a factor of n?
True
Suppose u + 7 = -0*u. Let g = 13 + u. Does 3 divide g?
True
Suppose -2 = -n - 1. Suppose n = y + 2. Let s = 4 - y. Does 5 divide s?
True
Let f = 20 + -31. Let s be (-2)/(-11) - 75/f. Let j(o) = 3*o - 1. Is j(s) a multiple of 10?
True
Suppose 6*q = 3*q. Suppose -2*w + 16 = 3*y, q*w + 2*y - 40 = -5*w. Is 8 a factor of w?
True
Let y be (-3)/(-9)*7*3. Let h = 1 + y. Is h a multiple of 4?
True
Let r(y) = -y**3 + 14*y**2 + 32*y - 35. Does 44 divide r(15)?
True
Let b = 43 - 4. Is b a multiple of 7?
False
Let h be (-10 + 250)*(-2)/(-4). Suppose 6*c + h = 9*c. Does 10 divide c?
True
Let i = 337 - 171. Is i a multiple of 18?
False
Let y be 3*((-16)/(-6) - 2). Suppose 0 = -y*h + 2 + 12. Does 5 divide h?
False
Suppose -5*o = -b - 2175, -3*o - 3*b = b - 1328. Suppose -o = -5*m + m. Suppose z + 23 = -3*x + m, 0 = -2*x - 5*z + 79. Is x a multiple of 9?
True
Let k = -22 - -46. Let q = -13 + 0. Let z = k + q. Does 8 divide z?
False
Suppose 80 = 5*a - 145. Is 15 a factor of a?
True
Let x(w) be the third derivative of -3*w**2 + 0*w + 11/6*w**3 + 1/60*w**5 + 0*w**4 - 1/120*w**6 + 0. Is 5 a factor of x(0)?
False
Suppose -3*p + 50 = a, -p = -0*a + 4*a - 24. Is 8 a factor of p + -6 + (1 - 0)?
False
Suppose 2*q = 4*f - 2*f, 2*q = 0. Let i be 2/2 + 10/(-5). Does 16 divide 19/((f - i)/2)?
False
Suppose -2*l + 15 = 3*l. Suppose -4*d - 3*g + 32 = -4*g, 40 = 5*d - l*g. Does 7 divide d?
False
Suppose 0 = -13*x + 16*x - 441. Does 21 divide x?
True
Let k(z) = -z**2 - 5*z - 1. Let g be k(-4). Suppose 14 = g*j - 2*j. Is 7 a factor of j?
True
Does 3 divide (-6)/12 - 51/(-6)?
False
Let m(z) = 3*z - 10. Is 11 a factor of m(9)?
False
Suppose 0 = -f - 2*z - 3 - 2, f = 4*z + 25. Suppose -3*n = -4*n, -350 = -f*h - 3*n. Does 19 divide h?
False
Suppose 3*j - 2338 = -4*j. Is 48 a factor of j?
False
Let s(r) = -r**2 - 11*r - 5. Is 13 a factor of s(-7)?
False
Let h = -2 + -3. Let n = -2 - h. Suppose -24 - 42 = -n*r. Is r a multiple of 12?
False
Let l(o) = -12*o. Let m be l(-4). Suppose -m = -0*t - t. Is 16 a factor of (t/9)/(2/6)?
True
Suppose 4*d - 427 = -31. Let h be 3*(15/9 - 2). Is d/6 - h/2 a multiple of 6?
False
Let n(b) = -3*b - 6. Suppose -3*r = -3*i - 4*r - 29, 2*i - 4*r = -38. Is 12 a factor of n(i)?
False
Suppose 3*x = -3*i - 2*i + 210, 4*i - 168 = -4*x. Is 21 a factor of i?
True
Let p(b) = b**2 + 16*b - 50. Is p(-21) a multiple of 7?
False
Let l(f) = -f**2 + f**3 + 0*f**2 + 0 + 0*f - 2*f - 4. Does 2 divide l(3)?
True
Suppose 2*h = 9 + 47. Let w = -16 + h. Is 6 a factor of w?
True
Suppose 6*l - 11 = 1. Suppose 6*q - l*q - 5*z = 156, 0 = 3*z. Does 13 divide q?
True
Let x(w) = -w**2. Let c(b) be the second derivative of 37*b**4/12 + b**2/2 + b. Let j(p) = c(p) + 2*x(p). Is 14 a factor of j(-1)?
False
Let t = -35 - -49. Suppose -8*p = -6*p - t. Does 3 divide p?
False
Suppose -g - 20 = -y - 6*g, 3*y = 3*g + 6. Suppose -6*w + y = -w. Does 18 divide (-2 + 8/w)*6?
True
Suppose 5*o - 6 = -46. Let x(q) = -q**3 - 7*q**2 + q - 2. Is x(o) a multiple of 27?
True
Let s = 8 - 5. Suppose -g = -s*n + 34, 3*n - 29 = 3*g + 7. Does 6 divide n?
False
Suppose 327 - 63 = 4*v. Suppose -5*q - 6 = -v. Is q a multiple of 6?
True
Let o = 357 - 191. Is o a multiple of 33?
False
Suppose -2*p + 20 = 3*p. Is 2 a factor of p?
True
Let x = 18 + -26. Let g(o) = o**3 + 9*o**2 + o + 4. Let a be g(x). Suppose -3*r = 3*k - a, -3*r = -k - k - 80. Is r a multiple of 12?
True
Is ((-544)/(-48))/((-2)/(-3)) a multiple of 17?
True
Let t(n) = -n**2 - 9*n - 6. Let x be t(-8). Let f(j) = 4*j - 2. Let u be f(x). Is (-7 + 1)/(u/(-21)) a multiple of 14?
False
Suppose -2*j = 1 - 5. Suppose -d - j*d = 126. Does 21 divide -1 + 2 + (-1 - d)?
True
Let m = 2 + 27. Does 19 divide m?
False
Suppose 5*b - 2*u - 875 + 211 = 0, 5*b = -u + 673. Suppose b = r + r. Suppose -4*w + 5*s = -r, 29 = -3*w + 2*s + 81. Does 7 divide w?
False
Suppose 2*y - 208 = -2*y. Is y a multiple of 14?
False
Let k(l) = 5*l + 7. Is 11 a factor of k(3)?
True
Suppose -3*i + 181 - 11 = 2*k, i - 55 = -k. Suppose 0 = 2*n + n - 2*w - i, -2*w = -n + 24. Is 5 a factor of n?
False
Does 16 divide (-2)/6 + 446/6?
False
Let k = 12 + -4. Let x be (-193)/4 + (-6)/k. Let t = x - -79. Is t a multiple of 17?
False
Let p = 58 + -48. Is p a multiple of 5?
True
Is (32/6)/(6/9) a multiple of 7?
False
Suppose 2*k + 3*k = 90. Let f = k + 16. Let j = 60 - f. Is j a multiple of 13?
True
Suppose 682 = 9*y + 2*y. Is 14 a factor of y?
False
Suppose -2*v + 17 = -73. Is v a multiple of 3?
True
Let y = 5 - 1. Suppose -5*o + 2*o - y*r = 11, -5*o - 5 = 4*r. Is 3 a factor of o?
True
Suppose 18*z - 10*z = 688. Does 7 divide z?
False
Does 12 divide (-282)/(-8) + (-3)/(-4)?
True
Does 12 divide 33 - ((-2 - 0) + -1)?
True
Let q(a) = a. Let w be q(2). Let r = w - 0. Does 16 divide 36/r*(-5)/(-3)?
False
Let k = 3 - 1. Suppose k*j - 14 = 52. Is j a multiple of 21?
False
Let p(d) be the first derivative of -d**3/3 - 9*d**2/2 - 4*d + 3. Is p(-5) a multiple of 8?
True
Suppose 0 = 4*x + 5*i - 608, i = 3*i + 8. Is 33 a factor of x?
False
Suppose -4*p + 72 = -4*m, 2*p + 4*m - 24 = -0*p. Let v = p + 2. Does 10 divide v?
False
Let h(z) be the first derivative of z**4/4 + 4*z**3/3 - 2*z**2 - z - 3. Let k = -3 + 0. Is h(k) a multiple of 20?
True
Let v be 2*(-3)/(-18)*6. Suppose i = -2*i - v*m + 31, 5*i + 4*m - 55 = 0. Is i a multiple of 6?
False
Suppose k - j + 3 = 2*k, -4*k - 3*j = -17. Is k a multiple of 8?
True
Suppose -228 = 3*t - 6*t. Does 13 divide t/6 - 3/(-9)?
True
Let t = -30 + 44. Let o = -17 - -45. Let c = o - t. Is c a multiple of 7?
True
Suppose -2*p = -384 + 144. Suppose 7*d = 3*d + p. Does 10 divide d?
True
Does 11 divide 531/24 - 2/16?
True
Let a(k) = -2*k**3 - 2*k**2 + k. Does 3 divide a(-2)?
True
Let v be (-92)/(-2) - 6/2. Suppose 3*j - v = 29. Is 12 a factor of j?
True
Let d(s) = 3*s**3 + s**2 - 1. Let o be d(1). Suppose -o*i + 60 = 2*i. Does 14 divide (6/i)/((-1)/(-64))?
False
Let h be (4/(-10))/((-2)/40). Let u = h - 6. Suppose -2*d - u*d + 2*k + 46 = 0, 5*k = 2*d - 27. Is d a multiple of 11?
True
Suppose -2*n - 80 - 38 = 4*v, -n + 151 = -5*v. Suppose 4*m + 82 - 310 = 0. Let x = m + v. Is x a multiple of 9?
True
Suppose -13 = 4*d + n - 4, 4*d = 4*n - 4. Let v be d/7 - (-120)/28. Suppose 4*f - 3*y = 48, v*y = -5*f + 36 + 24. Is 6 a factor of f?
True
Let g(h) = h**3 + 12*h**2 + 14*h - 2. Is g(-10) a multiple of 4?
False
Let t = 14 + 423. Is t a multiple of 19?
True
Suppose 3*j - 46 = 4*j. Let d = j - -74. Is d a multiple of 16?
False
Let l(g) = g**3 - 15*g**2 - g + 22. Let p be l(15). Is 10 a factor of -7 + p + (-25)/(-1)?
False
Suppose 5*m - 3*b = 9 + 47, -5*b = 10. Suppose -2*o = -0*o - m. Does 4 divide o?
False
Let b be -6*(3/2)/(-3). Is 14 a factor of ((-5)/b + 2)*69?
False
Let s(t) = 5*t + 16. Does 17 divide s(7)?
True
Suppose 0 = -4*c + c. Let a = 0 - c. Let x = 21 + a. Is x a multiple of 15?
False
Let c = 105 - -12. Is c a multiple of 9?
True
Is 31 a factor of (3/(-2)*31)/(15/(-10))?
True
Let d(m) = -m**2 - 7*m + 9. Let x be d(-8). Let g be (x/2)/(2/(-4)). Does 6 divide 1*13 + 0 + g?
True
Let v be (-110)/(-15) + (-2)/(-3). Suppose 0 = i - s - 2 - v, 4*i + 5 = -5*s. Suppose -2*y - 6 = 2*l - 0*l, -i*y = l - 5. Is 2 a factor of y?
True
Suppose a = -3*v + 74, v + 2 = 3*a + 10. Does 18 divide v?
False
Let f = -109 + 117. Is f a multiple of 2?
True
Let r(m) = 192*m - 1. Let n be r(1). Suppose 5*p - n = 89. Is p a multiple of 22?
False
Suppose -2*b + 3 = b + p, -3*b + 5*p + 21 = 0. Suppose -3*d + 2*d + b = 0. Is 26/d*(-6)/(-2) a multiple of 15?
False
Is 3765/30 + (-3)/(-2) a multiple of 26?
False
Let o = 15 - 10. Suppose -1 = o*y + 4. Is (y - 7)*3/(-2) a multiple of 12?
True
Let i(t) = 2*t**2 + 6*t + 8. Let k be ((-12)/(-14))/((-3)/(-21)). Let n(h) = -5*h**2 - 17*h - 23. Let v(g) = k*n(g) + 17*i(g). Is v(-2) a multiple of 14?
True
Does 15 divide ((-210)/14)/(2/(-8))?
True
Let m be 1/2 - 5/(-2). Suppose -m*u - 37 = -115. Is 12 a factor of u?
False
Let q(a) = -2*a - 9. Let v be q(-6). Let g(h) = h + 4. Is 3 a factor of g(v