ive of 6*r**2 - 5*r + 2. Is 13 a factor of i(4)?
False
Let v = -34 - -59. Is 5 a factor of v?
True
Suppose 3*h = -3*a + a - 111, h + 47 = -4*a. Let k be 2/7 + 10/h. Suppose 0 = -5*y + 3*b + 127, -2*y - 3*b + 55 + k = 0. Does 13 divide y?
True
Suppose -z = 2*i - 25 - 20, 5*z = i - 17. Is 9 a factor of i?
False
Does 14 divide (-7 + 0)*90/(-35)?
False
Let d(l) = 53*l**2 + 7*l - 7. Does 53 divide d(1)?
True
Let u be (2/(-3))/(2/(-15)). Let g be (-1)/(((-5)/(-16))/u). Let b = g - -37. Is 7 a factor of b?
True
Suppose -36 = -c - 3*c. Let d = -25 + 28. Suppose -d*f + 2*y + 96 = 0, -c - 9 = -f - 4*y. Does 14 divide f?
False
Suppose -5*s = -0*s + 5*p - 325, 4*p + 12 = 0. Is 34 a factor of s?
True
Let b be (-3)/(-9) - 555/(-9). Let l = 98 - b. Is l a multiple of 12?
True
Suppose 0*v - 5*m = -4*v + 23, -m = -5*v + 13. Does 21 divide 6/v*(16 + 4)?
False
Let a be 4/10 - 26/(-10). Let c = a + -1. Suppose 1 - 21 = -c*i. Is i a multiple of 8?
False
Let l be (-3)/(-12) - 2/8. Suppose l = -p - 0*p + 7. Is 7 a factor of p?
True
Suppose 0 = x + 4*x - 25. Suppose 1 = -2*b - x. Is -4*((-2)/2 + b) a multiple of 16?
True
Suppose -4*z - 2*b = -0*b - 1238, 0 = 3*z - 2*b - 932. Does 31 divide z?
True
Is 15 a factor of (-2 - 44/8)*-4?
True
Let m(d) = 3*d - 1. Let r be m(8). Let x = 42 - r. Let i = 45 - x. Is 13 a factor of i?
True
Let b be ((-4)/(-2) - 1)*13. Let y be 2/6 + 136/6. Suppose y = 3*v - b. Does 7 divide v?
False
Let d = -60 + 97. Let k = d + -11. Is k a multiple of 13?
True
Is 17 a factor of 1 + -5 - (-92)/1?
False
Let c(x) = 3*x**2 - x + 2. Suppose 3*s + 12 = 3*d, -5*d + s - 5*s + 2 = 0. Suppose -3*v = d*v + 15. Is 16 a factor of c(v)?
True
Let s be (-168)/(-18) + 2/(-6). Does 17 divide (1 + 3/s)*51?
True
Let u be 2*(1 + -2) + 2. Suppose -5*p + 132 + 28 = u. Does 7 divide (-2)/(-8) + 792/p?
False
Suppose 4*x + 1770 = 10*x. Does 59 divide x?
True
Suppose -54 + 19 = -5*g. Does 3 divide g?
False
Does 2 divide 8/40 + (-88)/(-10)?
False
Let f(h) = -h**2 - 6*h + 3. Let l be f(-4). Let o = -17 + l. Is 9 a factor of (-186)/(-10) + o/10?
True
Suppose -5*h = 4*s - 154 - 179, -4*h - 324 = -4*s. Does 18 divide s?
False
Is 7/21 - (-670)/6 a multiple of 28?
True
Let i = 0 + 4. Is 3 a factor of 1/(-6)*i*-9?
True
Suppose 2*x - 136 = -6*x. Does 9 divide x?
False
Let u(j) = j - 1. Let k be u(1). Suppose -5*g + 115 = 2*q + 3*q, k = q + 2*g - 22. Is q a multiple of 8?
True
Let h(i) = -i**2 + 2*i - 1. Let y be h(3). Let s = 7 + y. Suppose m = 3*m + s*c - 51, 0 = -3*m - c + 59. Does 9 divide m?
True
Suppose -253 = -5*w - 2*l, l + 33 + 12 = w. Does 13 divide w?
False
Suppose -2*p + s + 62 = 0, 3*p - 3*s = 33 + 63. Let i = -4 + p. Let b = i + -6. Is b a multiple of 11?
False
Suppose r + 34 = 3*y, 148 = -0*r - 5*r + 4*y. Let k be (-3 - -1) + r/(-4). Is 9 a factor of (4 - 1)*(1 + k)?
True
Let w(m) = m**2 + 5*m + 4. Let l be w(-3). Is 5 a factor of (-23)/l + 6/(-4)?
True
Let r = 100 + -45. Is 27 a factor of r?
False
Let z(o) = -o**2 + 4*o - 1. Let h(m) = -m**2 - 5*m - 1. Let x be h(-4). Let t be z(x). Suppose 4*q = t*q + 52. Is q a multiple of 13?
True
Suppose -5*c + 0*c = -240. Is 24 a factor of c?
True
Let j(y) = 2*y**2 - 3*y - 3. Let q = -22 + 16. Let m = q + 11. Does 16 divide j(m)?
True
Let j = 5 - 3. Suppose j*x - 3 + 43 = 0. Let l = x + 47. Is l a multiple of 17?
False
Let x(g) = g**2 + 15*g + 9. Let k be x(-12). Is 0/(2/(-1)) - k a multiple of 14?
False
Let k be 0 + (-24)/(0 - 3). Suppose -d - 3*n + 5*n + 7 = 0, 2*d - 2*n = k. Is 6 + d/((-2)/(-4)) a multiple of 3?
False
Let a(g) = 3*g + 8. Is a(8) a multiple of 11?
False
Let x = 9 + -4. Suppose x*l - 3 = 7. Suppose l*v - 11 = 11. Does 8 divide v?
False
Let k(r) = -21*r**2 - 2*r - 7. Let u(v) = -21*v**2 - 2*v - 6. Let g(o) = 5*k(o) - 6*u(o). Suppose -3*w - 4 + 1 = 0. Is g(w) a multiple of 10?
True
Let o = 2 + -2. Suppose o*p + 42 = p. Is p a multiple of 9?
False
Let o = -73 + 168. Suppose -w + o = 4*w. Does 5 divide w?
False
Let m be (-16)/(-7) + (-2)/7. Suppose -3*j + 19 = -4*j - 5*o, 6 = -m*j - 2*o. Let n = j - -11. Is n a multiple of 5?
False
Let t(g) = -10*g + 8. Is 11 a factor of t(-6)?
False
Let m = -50 + -55. Let u = -56 - m. Is u a multiple of 13?
False
Let a(b) = b - 7. Let z be a(7). Suppose 5*p - 48 = q, -4*q + 38 = 3*p - z*q. Is p a multiple of 10?
True
Suppose -4*f + 0*f = -32. Is 2 a factor of f?
True
Let c(v) be the first derivative of -v**2/2 - 5*v + 6. Is c(-10) a multiple of 5?
True
Suppose -3*s = 2*c - 87, 2*s - 6*s = c - 36. Is 14 a factor of c?
False
Let k = 7 + -5. Suppose 5*x + k*q = 77, 2*q + 43 = 2*x + x. Does 15 divide x?
True
Let o = 16 + -16. Let h(j) = j + 40. Is h(o) a multiple of 20?
True
Let b(h) = -h**3 + 10*h**2 + 16*h - 14. Is b(11) a multiple of 17?
False
Is (-78)/9*(-279)/6 a multiple of 31?
True
Let x(c) = c**2 + 8*c + 4. Let d(q) = 7*q + 3. Let o(w) = -3*d(w) + 2*x(w). Let m be o(5). Let f = 71 - m. Is f a multiple of 15?
False
Suppose -11 = -g + 4*h, 44 = 3*g + h - 2*h. Is g a multiple of 10?
False
Let v(h) = h**2 + 8*h + 4. Suppose -4*g = 20, 3*j - 4*g - g + 20 = 0. Let w = 6 + j. Is 13 a factor of v(w)?
True
Let a be 1*-12*(-5)/20. Suppose 0 = a*b + b - 20. Is 2 a factor of b?
False
Suppose -3*a + 6*a = 21. Does 2 divide a?
False
Let t(n) = -7*n**2 + 5*n - 15. Let d(r) = 8*r**2 - 6*r + 16. Let b(f) = -6*d(f) - 7*t(f). Suppose -3*a - 4*q - 7 = 9, 0 = 5*a - 2*q - 8. Is 6 a factor of b(a)?
False
Suppose -104 = -20*k + 18*k. Does 26 divide k?
True
Let x be (-5)/(-10)*2/1. Is -4 + x + (-76)/(-4) a multiple of 5?
False
Let m(n) = 2*n**3 + n**2 - 1. Let w be m(1). Suppose 81 = 5*j + w*k, 3*k - 10 = -1. Suppose 0 = -5*b + 5*v + j, -6 + 30 = 3*b + 2*v. Is 6 a factor of b?
True
Let u be (-3)/(-12) + (-150)/(-8). Let g = -12 + 7. Let r = u + g. Is 7 a factor of r?
True
Suppose -4*k = k - 5*s - 370, 166 = 2*k + 4*s. Does 10 divide k?
False
Let y(s) = -3 + 0*s**2 + 6 - s**2 - 18*s. Is 17 a factor of y(-13)?
True
Suppose -5*z + 350 = 5*k, -3*z - 6*k + 212 = -k. Let c be (-2)/((-6)/(-27)*-3). Suppose -z = -c*t - 4*o, 3*o - 6*o + 72 = 3*t. Is 9 a factor of t?
True
Let s be 1*3 - (-3 - 0). Let h = -2 + s. Let p(r) = 2*r**2 + r - 4. Is 16 a factor of p(h)?
True
Suppose 2*w = -0*w + 8. Suppose -w*u - 36 = -4*t, 0 = t - 2*u - 13 - 0. Suppose 3*m - t*m + 14 = 0. Does 3 divide m?
False
Suppose -16*h + 12*h = -24. Is h a multiple of 6?
True
Let y = 58 - -40. Is 14 a factor of y?
True
Suppose -2*c + 3*d + 315 = 0, 2*d = -0*c + 3*c - 460. Is c a multiple of 25?
True
Let g be (28/6)/((-10)/15). Let z = -2 - g. Suppose s = t - 19, z*s - 6 = 3*s. Is 6 a factor of t?
False
Let g(s) = -68*s - 2. Does 11 divide g(-1)?
True
Let d be 4*((-1860)/(-16))/5. Let i = 2 - -2. Suppose 3*u + 36 = -i*n + d, -4*u = -2*n + 34. Is 5 a factor of n?
True
Let i(j) = 4*j**2 - 2*j + 1. Let p be i(1). Suppose -p*u = -64 + 4. Does 7 divide u?
False
Let s = 15 - -15. Suppose -s = -2*x - x. Suppose -5*a = 0, -i + 2*a = 4*a - x. Is i a multiple of 10?
True
Suppose -4 - 2 = -3*c. Suppose i = -c + 6. Suppose -x = -5, i*q - 8*q + 127 = 3*x. Does 10 divide q?
False
Suppose -22 + 262 = 4*l. Suppose -l - 24 = -i. Is i a multiple of 24?
False
Let y(t) = 5*t**3 + 7*t**2 - 4. Let k(m) = -m**3 - m. Let x(j) = -6*k(j) - y(j). Does 4 divide x(6)?
True
Let h = -66 + 92. Is h a multiple of 11?
False
Let o(n) = n**2 + 8*n + 21. Is 6 a factor of o(-8)?
False
Suppose 5*c - 87 = -3*k, 5*k + 15 = -2*c + 46. Does 18 divide c?
True
Let l = -56 - -101. Suppose q = 6*q + l. Is 13 a factor of (12/q + 1)*-75?
False
Suppose -f + 105 = -i, -f - 3*i + 185 = f. Does 25 divide f?
True
Let b = 114 - 58. Is b a multiple of 26?
False
Let u(n) = 4*n + 3. Let y be u(3). Suppose -5*a - 33 - 42 = -3*x, x - y = 5*a. Does 15 divide x?
True
Suppose 13*g = 17*g - 224. Does 14 divide g?
True
Suppose -t = 2*t - 6. Suppose -t*o = 3*k - 4, -3*k + 3 = 3*o - 0. Let s(h) = 2*h**3 - 2. Is s(k) a multiple of 7?
True
Suppose 7 + 9 = 4*t. Suppose -t*m = -7 + 3. Does 10 divide (-4)/((-34)/30 + m)?
True
Let y(w) = 3*w**2 + 55*w + 10. Is y(-22) a multiple of 18?
True
Let j(b) = b**3 - b - 1. Let k be j(2). Suppose 4*y = k*y + 6. Does 12 divide (y/(-6))/((-2)/(-28))?
False
Let u(a) = -a**2 + 5*a + 8. Let f be u(6). Is 24 a factor of ((-118)/(-4))/(f/4)?
False
Suppose s - 3 = -3*v + 2, -4*s 