tor of x?
False
Let n(o) = -o**2 + 7*o - 5. Let p be n(5). Is 13 a factor of 195/(-6)*(-6)/p?
True
Let j be 4/(-6) + (-66)/(-18). Let a(y) = -2*y**j + 5*y**2 - 3*y**2 + 1 - 3*y**2 + 3*y. Does 7 divide a(-2)?
True
Suppose 15*t - 11*t - 284 = 0. Does 7 divide t?
False
Suppose -u - u = -3*r + 123, -r + u = -40. Let q be ((-2)/3)/((-2)/234). Let s = q - r. Does 19 divide s?
False
Let m(o) = -o**3 - 3*o**2 + 2*o - 1. Let x be m(-4). Let z = x - 5. Suppose -z*b = 2*b - 12. Is 2 a factor of b?
False
Let t(u) be the first derivative of u**4/12 + u**3/6 - u**2 - 1. Let m(l) be the second derivative of t(l). Is 3 a factor of m(3)?
False
Let l be 2/(-6) - 24/36. Does 13 divide 2/l + -1 - -31?
False
Let x(f) = 15*f**2 - 2*f - 2. Does 31 divide x(-2)?
True
Suppose q - 39 = -0*q. Is 11 a factor of q?
False
Let o = -16 - -7. Is (-249)/o - (-1)/3 a multiple of 14?
True
Let n be (-1 + 5)*5/(-4). Let l(p) = -4*p + 6. Is 16 a factor of l(n)?
False
Let a(g) = 9*g - 8. Let l be a(5). Suppose -3*y = -l - 200. Is 20 a factor of y?
False
Suppose -441 = -5*f - 2*b, 2*b - 2 = 4. Let y = -35 + f. Is 26 a factor of y?
True
Suppose -2 - 18 = -2*u. Suppose 5*m - 4 = -2*i + u, 4*i - 10 = -m. Let f(d) = 4*d**3 - 4*d**2 + 2*d + 1. Is 13 a factor of f(m)?
False
Let m = 40 + -24. Does 9 divide m?
False
Suppose 0 = -3*q - n + 19, 3*q + 5*n + 8 = 43. Suppose 0 = -l - q*h - 11, 8*l + 5*h = 3*l + 5. Let t = 3 + l. Does 7 divide t?
True
Suppose 2*b + 12 = 2*p, p = 2*p + 3*b - 6. Suppose 216 = -3*v + p*v. Does 15 divide v?
False
Suppose -4*j + 12 = 0, -2*h - 47 = -0*h - 5*j. Suppose -2*m = 3*m - 140. Let n = h + m. Does 11 divide n?
False
Let l(c) = -24*c + 1. Is l(-9) a multiple of 10?
False
Suppose 0 = -s + 31 + 29. Is 9 a factor of s?
False
Does 19 divide (114/1)/((-14)/(-7))?
True
Let f = 5 + -2. Suppose -3*s = -5*l + f*l - 87, -5*s - 5*l + 120 = 0. Is 1*(s - (0 + -1)) a multiple of 10?
False
Let n(v) = 23*v**3 - 2*v**2 - 4*v + 12. Is n(2) a multiple of 30?
True
Suppose -3*w = 5*p + 2*w + 20, -w = -2*p + 4. Suppose p = 8*y - 3*y - 35. Suppose l - 9 = x, -3*x + y = 2*l - 6. Is l a multiple of 4?
True
Let z(q) = 4*q - 49. Let u be z(22). Let k = 4 - 23. Let l = k + u. Is 10 a factor of l?
True
Suppose q + 5*a - 34 = 0, -a = -4*q + 31 - 0. Let m = q - 7. Suppose -m = 5*p - 47. Does 7 divide p?
False
Suppose 2*i + 7*u - 4*u + 6 = 0, -8 = -2*i + 4*u. Suppose 5*s - 4 - 6 = i. Suppose 5*d - s*q = -q + 66, -3*d - 5*q + 34 = 0. Is d a multiple of 6?
False
Suppose -3*x + u = -7*x + 122, -4 = -2*u. Suppose 0 = 6*t - 4*t - 6. Suppose c + 3*c - 23 = f, -t*c + 5*f + x = 0. Is c a multiple of 2?
False
Let o = 24 - 17. Let q = -3 + o. Is 5 a factor of 42/8 - 1/q?
True
Suppose 4*v = -n + 21 + 26, -2*n = -5*v - 29. Is n a multiple of 3?
True
Is 13 a factor of (-5)/((-1)/(76/4))?
False
Let c = -4 + 4. Suppose 5*k - k = c. Suppose -5*w + 13 - 3 = k. Is w even?
True
Is 25 a factor of (5 + 1290/(-18))*(-6)/4?
True
Let t(i) = 2*i - 1. Let p be t(8). Let x = p - 6. Is x a multiple of 8?
False
Let v = 6 + -2. Suppose v*y + 31 = -1. Let d = y + 14. Is d a multiple of 6?
True
Let p(d) = d**2 - 9*d + 9. Suppose 49 = 5*m + 3*b, -4*m = 3*b - 47 + 6. Let t be p(m). Suppose 5*s + t - 71 = 0. Does 7 divide s?
True
Suppose w - 31 - 74 = 0. Is 23 a factor of w?
False
Let a = 6 - 3. Suppose a*o - 7*o + 68 = 0. Does 7 divide o?
False
Suppose 93 = 5*f - 57. Let m be (-92)/(-6)*9/3. Let o = m - f. Does 9 divide o?
False
Suppose -9*i + 4*i = -15. Suppose i*d - 46 + 169 = 0. Let h = d - -67. Does 18 divide h?
False
Suppose 3*z = 0, 3*b + 154 = 4*b - 4*z. Is 22 a factor of b?
True
Let c(t) be the first derivative of 7*t**3/3 + t**2/2 - 3*t - 3. Is c(-2) a multiple of 8?
False
Let p(s) = s**3 + 6*s**2 + 5*s - 4. Let d be p(-4). Suppose -3*x + d*x = 110. Is x a multiple of 22?
True
Let q be 12/(-54) - (-346)/18. Suppose 5*k - 4*k = 1, q = 5*d - k. Suppose 5 = -u + 6*u + 5*w, d*w = -8. Is 3 a factor of u?
True
Let t = -2 - -4. Let j = 23 - 14. Is 14 a factor of 1 + j + 2 + t?
True
Suppose 2*p + 27 = 85. Let r = 55 - p. Does 12 divide r?
False
Suppose 6*p = 2*i + p - 9, -4*p = i - 37. Let q = -5 + i. Is 12 a factor of (0 - 0/(-1)) + q?
True
Let f(y) = y**2 - y - 6. Suppose -7*a = -5*a - 16. Is 15 a factor of f(a)?
False
Let m be -1*1 + 0/(-6). Let w be 27 + 2/(-1 + m). Suppose -22 - w = -3*a. Does 16 divide a?
True
Let c = -67 + 145. Does 26 divide c?
True
Suppose 2*u - 5 = 23. Does 7 divide u?
True
Let h = 8 - 5. Suppose 3*y = 4*g + 9 + 7, 5 = 2*y + h*g. Is y even?
True
Let h(s) = 3*s + 1. Let t = -8 - -15. Does 8 divide h(t)?
False
Let c(g) be the second derivative of -g**4/12 + 7*g**3/6 - g**2/2 + 4*g. Is c(6) a multiple of 5?
True
Let s(q) = -9*q**3 - 1 - q**3 - 4*q**2 + 8*q + 9*q**3. Is s(-6) a multiple of 7?
False
Let s = 328 + -226. Is 34 a factor of s?
True
Suppose 130 = j + 4*j. Does 10 divide j?
False
Let p(h) = -10*h**3 - 12*h**2 + 13*h + 10. Let z(i) = 7*i**3 + 8*i**2 - 9*i - 7. Let x(n) = -5*p(n) - 7*z(n). Is x(2) a multiple of 10?
False
Does 15 divide (-4)/10*(-74 - 1)?
True
Is 5/6*-10*-3 a multiple of 7?
False
Let j(a) = -a**3 - 4*a**2 - 4*a + 4. Is j(-4) a multiple of 7?
False
Let y be (-5)/((-15)/(-18)) + -2. Let t be (82/y)/((-7)/(-28)). Let r = t + 79. Does 13 divide r?
False
Does 5 divide -2*39*2/(-4)?
False
Let g(s) = s**2 - 5*s. Does 3 divide g(8)?
True
Let r be (-4)/(-18) + (-68)/(-18). Suppose -i = i - r. Suppose -6*o + 56 = -i*o. Does 8 divide o?
False
Suppose 240 = 3*k + 30. Is 12 a factor of k?
False
Let d(c) = -c**3 + 15*c**2 + c + 21. Is 23 a factor of d(15)?
False
Let b(p) = p**2 + 3*p - 10. Is b(7) a multiple of 20?
True
Let b(n) = -20*n**2 - 2*n. Let f be b(2). Let y = 48 + f. Let o = y - -64. Is 14 a factor of o?
True
Is 15 a factor of (20/25)/((-2)/(-55))?
False
Let v(p) = -17*p - 66. Does 39 divide v(-12)?
False
Suppose -5*v - 13 = 3*l + 4, 3*l + 10 = 2*v. Let h = v - -4. Suppose h*m = 4*o - 3*o, o + m - 16 = 0. Is o a multiple of 6?
True
Suppose 4 = 4*n - 3*n, 0 = l - 2*n - 90. Let c = l + -53. Is 18 a factor of c?
False
Let y = -160 - -381. Is 17 a factor of y?
True
Suppose 36 = -2*i + 5*i. Is 4 a factor of i?
True
Is -32*108/(-8) - 3 a multiple of 33?
True
Suppose -r + 5*g = 3, -r - 12 = -6*r - 2*g. Let j be (2/3)/(r/(-12)). Does 5 divide 38/6 - j/(-12)?
False
Let a = 9 + -6. Suppose -5*g + 3*p - 4 = 5, p - 3 = a*g. Suppose -4*v = g, 0 = t - 0*t - 2*v - 17. Does 8 divide t?
False
Let q(l) = l**2 + 1. Let t be q(0). Is 10 a factor of (13*t)/(8/8)?
False
Suppose u + 3*u + 4 = 0. Let q be (-22)/8*(7 - 15). Let i = q - u. Is 12 a factor of i?
False
Suppose p = 2*q - 0*q - 36, -3*q + 68 = -5*p. Does 8 divide q?
True
Let c(k) be the second derivative of k**4/12 - k**3/3 + 7*k**2/2 + 6*k. Does 11 divide c(6)?
False
Suppose 15 = -3*q, 0*o = -4*o + 2*q - 46. Let f = -56 + 32. Let m = o - f. Does 6 divide m?
False
Let g(a) = a**2 + 10*a + 18. Is 9 a factor of g(-12)?
False
Let l(p) = p**2 - 2*p - 1. Suppose -7*q + 4*g + 23 = -2*q, -16 = -q - 3*g. Is 11 a factor of l(q)?
False
Let k(t) = 5*t**3 - 2*t**2 - t - 2. Suppose 14 = 4*d + 3*z, 3*d + z - 8 = -0*d. Suppose -5*o + 14 = d*w, -2*o = w - 6*w + 6. Does 12 divide k(o)?
False
Let x(n) = 2*n**2 + n. Let g be x(-3). Let p(u) = -u**2 + 22*u - 12. Is 19 a factor of p(g)?
False
Let u(n) = 3*n**2 + 2*n. Let l = -24 - -36. Let q be -1*2 - l/(-3). Is 8 a factor of u(q)?
True
Suppose 2*z + g = 100, g = -2*z + 3*g + 112. Does 13 divide z?
True
Does 19 divide 4/(0 + -4)*(1 + -191)?
True
Let g be (-1 - -1)*(-3)/6. Suppose g = a - 2*a + 27. Is a a multiple of 9?
True
Does 14 divide 52/39*69/2?
False
Let a be 60/15 + 0/(-1). Suppose 27 = w + 4*r, -w + 31 = -4*r - a. Is 24 a factor of w?
False
Suppose -2*i + 66 = -0*i. Does 3 divide i?
True
Suppose -4*g = -0*g - 24. Does 5 divide 4 - (-4)/g*30?
False
Let j(b) = 2*b**2 + 7*b - 19. Is j(-9) a multiple of 16?
True
Suppose -4*j = 2*z - 3*z + 50, -j = -5*z + 155. Does 30 divide z?
True
Let t = -11 + 21. Let k(z) = 3*z + 4. Does 17 divide k(t)?
True
Suppose 0 = -4*b - 12, q - b + 112 = 6*q. Let d = 7 + q. Does 15 divide d?
True
Let o = 3 + 42. Does 9 divide o?
True
Suppose 2*c = -0*c + 14. Is 7 a factor of c?
True
Let b = -1 + 0. Let x be (1 - b) + (-4 - 1). Let s = 11 + x. Is 4 a factor of s?
True
Suppose 3*v + i