f + 61. Is 9 a factor of y?
True
Let a(p) = p**2 - 2*p. Let l be a(3). Let r be (41/l)/((-4)/12). Let g = -17 - r. Does 10 divide g?
False
Suppose 14 = o + 3. Is o a multiple of 4?
False
Let m(u) = -u - 1. Let x(t) = -12*t - 7. Let d(y) = 42*m(y) - 6*x(y). Let w(p) = -p**2 - 8*p - 6. Let n be w(-7). Is 10 a factor of d(n)?
True
Suppose o = 5*o. Suppose o = 2*u - 248 - 10. Is 16 a factor of (-2)/(1*(-6)/u)?
False
Let f(k) = -k**3 - 25*k**2 + 22*k + 4. Is 27 a factor of f(-26)?
True
Let y(k) = 16*k - k + 0*k. Is y(3) a multiple of 9?
True
Let i(j) = j + 10. Let r be i(-6). Suppose 0*o - o = 3*c - 13, -r*o + 59 = 5*c. Is 8 a factor of o?
True
Suppose 0 = -4*n + 3*n + 95. Does 13 divide n?
False
Let b(z) = -2*z + 28. Is b(-7) a multiple of 5?
False
Let c(m) = -2*m**3 - 2*m - 6. Is c(-4) a multiple of 26?
True
Let m = -77 - -94. Is m a multiple of 2?
False
Let d be (-44 - -1)/(1/(-2)). Suppose -4*v = 16, -3*v = c + 2*v - d. Is c a multiple of 29?
False
Is ((-73)/4)/(2/(-8)) a multiple of 30?
False
Let a = -26 - -27. Is (-3)/(a - 75/66) a multiple of 8?
False
Suppose 4*s - 9 - 49 = -3*w, -5*s + 3*w + 86 = 0. Does 8 divide s?
True
Let v(b) = -b + 9. Let u be v(7). Suppose 2*s + 86 = u*o, 4*o - 81 - 97 = -2*s. Is 13 a factor of o?
False
Let x(f) = f + 4. Let j be x(-4). Suppose j = -5*b + 4*h + 28, -4*b + 2*h - 12 = -38. Does 4 divide b?
True
Suppose -2*a + 335 = 3*f, -3*a + 264 + 181 = 4*f. Is 5 a factor of f?
True
Let m = -3131 + 1415. Let r be (-1 - 23/(-5))*-15. Does 12 divide (-2)/(-9) + m/r?
False
Let a(k) = 2*k**2 + 3*k - 2. Let o(g) = g**3 - 6*g**2 + 5*g + 2. Let z be o(5). Is 8 a factor of a(z)?
False
Let y be 4/(-5) - 2/10. Is (7/y)/(1/(-2)) a multiple of 8?
False
Let s(p) = 2*p**2 + 3*p + 1. Let m be s(-3). Is 9/6*m/3 a multiple of 2?
False
Suppose 0 = 5*b + 3*f - 512, -b + 2*f - 108 = -2*b. Is 10 a factor of b?
True
Is 3/21 + (-498)/(-42) a multiple of 6?
True
Suppose 0 = 4*b - 4*a - 4, -5*b + 3 + 2 = -4*a. Suppose -2*t = -s - 11, -2*t - b = 1. Let p = 39 + s. Is 10 a factor of p?
False
Suppose -5*o - 31 + 1 = 0. Does 2 divide (-8)/(-5) + o/(-15)?
True
Let v(j) = 181*j**3 + 3*j**2 - 10*j - 3. Let i(f) = -60*f**3 - f**2 + 3*f + 1. Let t(g) = 7*i(g) + 2*v(g). Does 14 divide t(-1)?
False
Let y(z) = z**3 + 15*z**2 - 3*z + 3. Is y(-15) a multiple of 13?
False
Let j = 55 - 26. Suppose l - 22 = -2*m - 3*l, 5*l = -3*m + j. Is (38/m)/(6/9) a multiple of 8?
False
Does 18 divide 3/(-4) - (-23826)/88?
True
Suppose 0 = -4*d + 2 + 14. Suppose d*k - 60 = 8. Is k a multiple of 17?
True
Suppose -r + 4*y = -25, -3*y = -3*r - 13 + 43. Let w(g) = -g**2 + 3*g - 1. Let t be w(r). Let d = t + 21. Is d a multiple of 5?
True
Let n(w) = 7*w**3 - 2*w**2 - 2. Does 13 divide n(2)?
False
Let g(f) = -2*f - 2. Let x be g(-3). Suppose s - 21 = 5*a, -x*a = -4*s + 80 + 52. Does 9 divide s?
True
Suppose 0 = -2*k - 5*m + 98, 0 = -4*m + 4 - 12. Suppose -4*r = -50 - k. Is r a multiple of 8?
False
Is 19 a factor of (5 + 1 + -5)*103?
False
Let h = 3 - 5. Let f be 0*-1*(h + 1). Suppose 4*s - 17 + 1 = f. Is s a multiple of 3?
False
Suppose 188 - 643 = -5*y. Does 14 divide y?
False
Suppose -3*b - 2*n + 8 = b, 0 = 5*n + 10. Suppose 7 = 2*h + 3*i, b*i - 25 = -2*i. Is (h/5)/(2/(-75)) a multiple of 12?
False
Suppose -3*l - 5*a + 321 = 0, 2*a = 3*l - 0*a - 342. Is 25 a factor of l?
False
Let n = 198 + -138. Is n a multiple of 16?
False
Let x(b) be the first derivative of -b**4/4 - 4*b**3/3 - 3*b**2 + b + 1. Is 10 a factor of x(-3)?
True
Let j(x) = 17*x**2 - 1. Does 8 divide j(-1)?
True
Let r(j) = -j + 3. Let t(d) = d - 2. Let q(m) = -5*r(m) - 6*t(m). Does 2 divide q(-7)?
True
Let w(g) = 20*g + 69. Is 18 a factor of w(9)?
False
Let i = 692 + -413. Is i a multiple of 31?
True
Let f be 3/(-9) - 114/9. Let w = -7 - f. Is w a multiple of 2?
True
Let x(y) = 11*y + 4. Is 24 a factor of x(4)?
True
Let x = 4 - 4. Let h(m) = -m**2 + m - 16. Let u be h(x). Is (u/10)/(1/(-5)) a multiple of 4?
True
Let m = 5 - 5. Let q(b) = -b**3 - 4 + 9*b**2 + 11 - 7*b + m*b**3. Is 8 a factor of q(8)?
False
Let h(i) = 16*i + 7. Does 13 divide h(6)?
False
Let n be (-3)/(-2 + 165/84). Suppose 2*g + n = 5*g. Does 16 divide g?
False
Let m(t) = t**3 + 5*t**2 + 2*t - 2. Does 2 divide m(-2)?
True
Let h(a) = 7*a + 3. Let u be h(-3). Let z = 44 + u. Is 13 a factor of (2/4 - -1)*z?
True
Suppose 3*r = -o - 13, -3*o + 3*r = o - 23. Suppose -10 = o*l - 3*l - 2*w, 3*l = -w + 55. Is 10 a factor of l?
True
Let w(h) = 2*h**2 - 3*h + 1. Suppose -4*f + 5 = -3. Let y be w(f). Suppose y*j - 104 = -j. Is 13 a factor of j?
True
Does 10 divide (-181)/(-3) + 10/15?
False
Does 3 divide ((-33)/(-9))/((-1)/(-3))?
False
Is 11 a factor of ((-12)/(-10))/((-4)/(-110))?
True
Let l = -10 + 11. Suppose n - 33 = l. Is 11 a factor of n?
False
Suppose -3*b + 4*v + 243 = 0, 3*v = -b - 3*b + 299. Does 22 divide b?
False
Let d be (0 + -1)*6/(-2). Suppose -2*v = d - 11. Is v/6*6*2 a multiple of 8?
True
Suppose -388 = -5*q + 122. Is 17 a factor of q?
True
Let y(x) = 3*x - 2. Let m(b) = b + 3. Let z be m(-1). Does 4 divide y(z)?
True
Let z(i) = i**2 + 12*i + 12. Let s be z(-10). Let q be 20/(-8)*s/5. Suppose m + 78 = q*m. Does 13 divide m?
True
Let n = 20 + 16. Is 36 a factor of n?
True
Let g(d) = -d**2 + 6*d + 4. Let b be g(6). Let i(o) = 10*o - 2. Let x be i(b). Suppose -3*l + 87 = 3*v, l - 2*v = -l + x. Does 12 divide l?
True
Let p(u) = -3*u - 12. Does 6 divide p(-8)?
True
Let i(d) = -d**3 + 4*d**2 + 6*d - 7. Let s be i(5). Let k = s - -4. Is 18 a factor of 41 + (-6)/k + 3?
False
Suppose 18*j = 16*j + 6. Suppose 3*k = -5*x + 128, -2*x + j*x = -5*k + 8. Is x a multiple of 28?
True
Let t(j) = j**3 + 4*j**2 + 3. Is t(-3) a multiple of 3?
True
Is -4 + (28 + -1 - 4) a multiple of 19?
True
Suppose 5*j = -20, -14 = -v + 3*v + 4*j. Does 17 divide (-16)/(v + -2) + 1?
True
Let y = -1 + 16. Is y a multiple of 4?
False
Let m be (-25)/(-10) - (-1)/2. Suppose -m*t = a - 3*a - 68, -3*t + a + 67 = 0. Is t a multiple of 11?
True
Suppose 3*a + 9 = 0, 3*i - 4*a = -4 + 49. Suppose 4*f + i = 207. Is 19 a factor of f?
False
Let p = 3 - -2. Suppose -261 = -4*a + 3*y, 0 = -p*a + y - 19 + 348. Suppose a = 2*m - 2*f - 4, 0 = -5*m - 4*f + 166. Does 13 divide m?
False
Suppose -6*d = -d - 4*c - 35, d + 12 = -3*c. Suppose u = 2*w + d, w + 2*w + 9 = 0. Is (-1)/u + 224/12 a multiple of 19?
True
Let a(m) = -m**2 - 3*m - 1. Let l be a(-8). Let b(n) = -n**3 - 6*n**2 + 6*n - 10. Let z be b(-8). Let u = l + z. Is u a multiple of 10?
False
Suppose 0 = 3*b + 5*j - 26 + 1, 4*b - 3*j = -15. Let l be b*(-2)/6 + -21. Is (-6)/l + 108/14 a multiple of 8?
True
Let l = 24 - 27. Let i = 49 + l. Is 9 a factor of i?
False
Suppose 0 = -5*x + 9 + 1. Suppose -2*r + x = -16. Is r a multiple of 8?
False
Let o(b) = -2*b**2 - 2. Let u be o(4). Let f = 64 + u. Does 10 divide f - ((-4)/2)/(-2)?
False
Does 18 divide (114/(-4))/(6/(-80)) - 2?
True
Let l = 22 + -18. Suppose 4*j - 1 - 11 = 0. Suppose -l*x = -j*x - 32. Does 19 divide x?
False
Suppose 7 - 47 = -5*m - 5*v, -3*m = 2*v - 25. Is m a multiple of 5?
False
Let x(u) = u**3 + 7*u**2 + 6*u + 5. Is 11 a factor of x(-4)?
False
Let r(h) = 19*h**2 - 2*h - 24. Does 42 divide r(-4)?
False
Suppose -3*h + 39 = 12. Suppose 2*d + q = h, 3*d = q + q + 3. Suppose -2*w = -d*o - 33, -72 = -4*w - 3*o + 3. Is w a multiple of 9?
True
Let l(m) = m**3 + 9*m**2 - 10*m. Let w(z) = -z**3 - 5*z**2 - 2*z - 2. Let g be w(-4). Let t be l(g). Let r = t - -27. Does 10 divide r?
False
Let f be (-4)/((-4)/(-3)) + 10. Suppose 8*j = f*j + 13. Is 13 a factor of j?
True
Let p(h) = h**3 - 8*h**2 + 13*h + 2. Is p(7) a multiple of 10?
False
Let y(n) = 2*n - 1. Let j be y(-1). Let r(c) = 5*c**2 + 4*c + 1. Let s be r(j). Let u = s + -21. Is u a multiple of 13?
True
Let m(w) = 4*w**2 + 4*w. Is m(3) a multiple of 16?
True
Let t(u) = u**2. Let k be t(-2). Suppose -k*x = 3*b - 12, -b + 4*x + 4 = 7*x. Suppose w = b - 0. Is w even?
True
Suppose 44 = 5*b - 71. Is b a multiple of 19?
False
Let q = -4 - -7. Suppose q*s = -s + 32. Does 4 divide s?
True
Let a(x) = 15*x + 4. Let g(r) = 29*r + 9. Let z(c) = -9*a(c) + 4*g(c). Let s be (-1)/2 - 1/2. Is 11 a factor of z(s)?
False
Let i(k) = 23*k. Let h be i(1). Suppose 0*z - p = z - h, -3*p = 4*z - 88. Does 19 divide z?
True
Suppose 26 - 12 = -2*j. Suppose 2*h +