se
Suppose 3*o = 59 + 94. Is o a multiple of 17?
True
Let f be 1 + -3 + 2/1. Let a be 2/((0 - 1) + f). Let s(p) = -13*p - 1. Is s(a) a multiple of 10?
False
Let t = 43 + -16. Let k = t + -12. Is k a multiple of 10?
False
Let q(l) be the second derivative of -l**5/40 - l**4/6 - l**3/6 - 2*l. Let c(k) be the second derivative of q(k). Is c(-6) a multiple of 12?
False
Let g(z) = -2 + 5*z**2 + z**2 + 0*z**2 + 2*z. Is g(-2) a multiple of 9?
True
Let j = 26 + -13. Suppose j = q - 1. Does 6 divide q?
False
Let r(y) = 13*y + 6. Let d(f) = 4*f + 2. Let s(i) = -7*d(i) + 2*r(i). Let a be s(-3). Let q = a + 4. Is 8 a factor of q?
True
Suppose -5*a = -4*l - 453, 2*l + 271 = -2*a + 5*a. Let v = -42 + a. Is v a multiple of 7?
False
Suppose 8 = -0*t - 2*t. Let m(o) = o**3 + 4*o**2 - 2*o - 6. Let y be m(t). Let x = y + 1. Is x even?
False
Suppose 57 = 4*c + 5*o, 3*c + 2*o - 39 = -3*o. Is 6 a factor of c?
True
Let d = -38 + 80. Is d a multiple of 21?
True
Suppose -4*q + 33 = p - 34, 2*q = -2*p + 140. Is 16 a factor of p?
False
Suppose y - 6 = 74. Does 40 divide y?
True
Let a(o) = 2*o**2 - 5*o + 6. Suppose -f = -0*y - y + 9, 2*y - 3 = -3*f. Let c be a(y). Suppose 4*r = 3*k - 40, 6*k - k - 2*r = c. Does 4 divide k?
True
Let n = 29 + 24. Is 6 a factor of n?
False
Let a(q) be the second derivative of q**3/3 - q**2/2 + 4*q. Is a(3) a multiple of 2?
False
Suppose -4*i + 6*i = -12. Does 14 divide i/4*176/(-6)?
False
Let m(k) = -k**3 - 5*k**2 + 5. Is 41 a factor of m(-6)?
True
Let w = 18 + 7. Let x = 42 + -55. Let l = w + x. Is l a multiple of 4?
True
Let q(v) = 2*v**3 - 4*v**2 + 2*v - 3. Let i(m) = 2*m - 1. Let b be i(2). Let r be q(b). Suppose 9 = -3*f + r. Is f a multiple of 4?
True
Suppose 3*x - y - 29 = 0, 2*y = 5*x + 5*y - 53. Is 10 a factor of x?
True
Suppose 3*a - 3*s = 81, -6 = -4*a + s + 96. Is 8 a factor of 1*3 - (12 - a)?
True
Let y be (-4)/(-5)*(1 - 6). Is 11 a factor of (-2)/y - (-195)/6?
True
Let z(w) = w**2 - 5*w + 0*w**2 + 2*w + 2 - 3. Is z(7) a multiple of 9?
True
Suppose -a = -s - 3, -4*a + 3 = -2*s - 3. Let b = a - 0. Suppose 3*j = 2*t - 0*t + 38, b = 3*j + 5*t - 31. Does 6 divide j?
True
Let u = 12 - -2. Is ((-48)/(-56))/(3/u) a multiple of 4?
True
Suppose 44 = -3*a + 2*a. Let n = -9 - a. Does 11 divide n?
False
Let s be (-8)/44 - (-35)/11. Suppose s*o + 12 = 6*o. Suppose 3*a - 57 = 4*i, -o*i - 9 = -a + 18. Is 15 a factor of a?
True
Let d = 28 + -13. Does 17 divide 2 - 0 - d*-1?
True
Let g(h) = 10*h - 2. Is 16 a factor of g(5)?
True
Let h be 310/6 - (-10)/(-15). Suppose 0 = -4*d + h + 105. Is d a multiple of 11?
False
Suppose 0 = r - c + 2*c - 64, -3*r - 5*c + 184 = 0. Is 4 a factor of r?
True
Let x(s) = -4*s + 6. Let b be x(-7). Let q = b + -4. Is 15 a factor of q?
True
Let q(c) = -c**3 - 6*c**2 + 7. Does 2 divide q(-6)?
False
Let h(q) = -7*q + 13. Let n be h(-6). Let l = -37 + n. Is l a multiple of 9?
True
Let f be (-1 - -1) + (-2)/(-2). Let p be (49/2)/(f/(-2)). Let c = -31 - p. Is 18 a factor of c?
True
Suppose 0 = -4*k - p - 133, -2*k - 49 = -k - 5*p. Suppose -v = -5*v - 2*x - 248, 0 = 5*x - 10. Let j = k - v. Is j a multiple of 16?
False
Let m(l) be the first derivative of -l**4/4 + 5*l**3/3 + 4*l**2 + 2*l - 2. Is m(6) a multiple of 6?
False
Let k(b) = -15*b - 1. Let g be k(-1). Let f(n) = 8*n + 2. Let t(q) = 17*q + 5. Let j(p) = g*f(p) - 6*t(p). Does 11 divide j(2)?
False
Let u(i) be the third derivative of 0 + 0*i + 2*i**2 - 1/4*i**4 - 4/3*i**3. Is u(-6) a multiple of 14?
True
Let s = 7 + -5. Let g be 3/(-2)*2*-5. Suppose o - g = -s*o. Is 2 a factor of o?
False
Suppose 4*c - 188 - 148 = 0. Does 23 divide c?
False
Is 10 a factor of (-1)/2 - (2 + (-145)/2)?
True
Let z be ((-6)/(-10))/(2/10). Let q(p) = 7 - 1 + 2*p**2 - p + 3*p + z*p. Does 9 divide q(-4)?
True
Let v be ((-12)/10)/(1/(-10)). Suppose -v*i + 180 = -7*i. Is 18 a factor of i?
True
Let d(r) = r**3 + 6*r**2 + 2. Let i be d(-6). Let q = i + 11. Is q a multiple of 13?
True
Is ((-64)/5)/((-24)/60) a multiple of 16?
True
Let k(b) = 23*b**3 + b**2 - b - 1. Let v be k(2). Suppose -4*c + v = 5*q, -2*c + 85 = 5*q - 90. Is 20 a factor of q?
False
Suppose 0 = z - 3*z + 28. Suppose 4*c - 58 = z. Does 6 divide c?
True
Suppose -4*a = 3*x - 0*x + 46, -3*a + 53 = -4*x. Suppose -3*l + 4*n = -130, -3*n + 115 = 2*l - 0. Let y = l + x. Is y a multiple of 14?
False
Suppose a + 4 = -4*s + 9, -4*a = -4*s - 60. Let h = a + -7. Is 13 a factor of -13*h/(-3) + 0?
True
Is 8 a factor of ((-8)/16)/(2/(-116))?
False
Let s(k) = k**2 + 3*k - 7. Does 3 divide s(-5)?
True
Is ((-3)/(-9))/(1/57) a multiple of 6?
False
Suppose -5*s + 2 = 3*d - 35, s + 5*d = 25. Suppose -t + s*h = -1, -3*t + h + 36 + 23 = 0. Does 19 divide t?
False
Suppose -4*n = -3*f - 354 + 38, -n + 79 = -5*f. Does 11 divide n?
False
Suppose -7*q = -179 - 150. Is q a multiple of 47?
True
Let u be 2*3 + -6 + 4. Suppose -3*c - 5*v - 18 = 0, -3*c + 3*v + 10 = -u*c. Is 8 a factor of c/(((-2)/1)/38)?
False
Is 31 a factor of (2/(-1) + -595)*(-10)/15?
False
Is ((-1752)/9)/(((-8)/3)/4) a multiple of 31?
False
Let q(b) = -b**2 - 5*b. Let t be q(-4). Suppose 3 = t*r + 11. Is (-2)/(-1)*(-18)/r a multiple of 18?
True
Let q be (-8)/(-28) - (-33)/7. Suppose -q*c - 4*h + 180 = 0, -h - 66 = -2*c - 7. Let b = c - 18. Is 14 a factor of b?
True
Let n(q) be the first derivative of -1/2*q**2 + 9*q - 2. Is n(-7) a multiple of 8?
True
Let g(p) = p - 5. Let w be g(6). Is 12 a factor of (w/(-3))/((-5)/390)?
False
Let l(h) = 20*h**2 - 1. Let n(i) = 41*i**2 - 2. Let q(c) = 7*l(c) - 3*n(c). Suppose -4*k = 2*s, 3*k + 2*s + 3*s - 7 = 0. Is q(k) a multiple of 14?
False
Suppose -10*x + 4*x + 120 = 0. Is x a multiple of 5?
True
Let x(g) = -g**2 - 4*g - 1. Let w be x(-5). Suppose 0 = -5*v - 6 - 9, 0 = 4*j + 4*v + 340. Is j/w + (-3)/(-9) a multiple of 7?
True
Suppose 157 = 3*k - 2*d, 87 + 19 = 2*k - 2*d. Does 17 divide k?
True
Suppose 4*p - p - 864 = 0. Is 13 a factor of p/8 + 1*3?
True
Suppose 2*k - 26 = 3*p, 2*k = p - 2*p + 10. Let y = k + -3. Is y a multiple of 4?
True
Is 26 a factor of (-156)/9*(-6)/4?
True
Suppose 0*t - 3*t = 0. Let b(s) = s + 9. Let m be b(-5). Suppose -30 = -m*h + r + 10, 3*h - 2*r - 25 = t. Is 7 a factor of h?
False
Let h = -21 - -71. Suppose -h = -5*o - 0*o. Suppose j - o = -m, m = 5*j - 2*m - 90. Does 10 divide j?
False
Suppose 0 = -u + 1 - 4, 7 = -4*w - 5*u. Suppose 0*q + w*q = 14. Is q a multiple of 7?
True
Suppose 0 = -2*w - 1 + 5. Suppose -4*y + 38 = -2*q, -w*y - 3*y + 2*q = -45. Does 2 divide y?
False
Let g = -5 + 15. Let u = g - 6. Is u even?
True
Let s(k) = k**3 - 3*k**2 - 2*k - 8. Is s(5) a multiple of 8?
True
Suppose -w + 54 = -2*g, 5*w + 0*w - 3*g - 277 = 0. Is w a multiple of 15?
False
Let q(p) = 2*p**2 + 8*p - 1. Is 8 a factor of q(-8)?
False
Suppose -93 - 27 = -4*y. Is ((-8)/10)/((-3)/y) a multiple of 8?
True
Suppose -4*z - 3*f + 1 = 41, 2*f + 8 = 0. Let j(i) = 2*i**2 + 6*i + 5. Let l be j(z). Suppose 0 = 3*v - l - 14. Does 10 divide v?
False
Suppose 5*q - 3*q + 12 = 2*o, 5*o = -2*q + 9. Suppose 3*z - 3 = k + o, -5*k = -2*z - 9. Suppose 5*x - 47 - 14 = k*c, -55 = -5*x + 5*c. Is x a multiple of 4?
False
Suppose 4*y + 3*i = 471, 343 + 10 = 3*y + 2*i. Suppose 6*b = 3*b + y. Does 13 divide b?
True
Let b = -17 - -42. Is b a multiple of 8?
False
Suppose -2*f + 2 + 8 = 0. Suppose -4*r + 18 = w, -2*r - 3*r - 215 = -f*w. Is 19 a factor of w?
True
Let u be (-24)/(1 - (-39)/(-30)). Is 16 a factor of ((-12)/(-10))/(3/u)?
True
Let p(v) = -59*v - 24. Is 33 a factor of p(-6)?
True
Let g = 788 - 356. Does 16 divide g?
True
Suppose 2 + 2 = -4*s. Let k be ((-9)/6)/(s/2). Suppose x - 4*u + 62 = 6*x, -4*x = -k*u - 31. Is 8 a factor of x?
False
Let h = -13 - -11. Is (205/15)/(h/(-6)) a multiple of 14?
False
Let m be -3 + 1 + (-2 - -2). Let a be (123/12)/(m/(-8)). Suppose 0 = 2*o - a - 3. Does 21 divide o?
False
Suppose r - 6*r = -60. Does 4 divide r?
True
Let n be -2*(2 + (-3)/2). Let w = 1 + n. Suppose 4*m - b = -2*b + 10, 4*m - 5*b + 2 = w. Does 2 divide m?
True
Let q = 90 + -26. Is q a multiple of 14?
False
Let c = 35 + -13. Is c a multiple of 11?
True
Is (-778)/(-8) - (-5)/(-4) a multiple of 16?
True
Suppose r + 4*r - 40 = 0. Let q = r + 1. Is -1*-2*q/6 even?
False
Let w(c) = 4*c + c**2 - 9 + 5*c - 3. Is w(-13) a multiple of 11?
False
Does 13 divide (104/14)/