ctor of ((-100)/(-35))/((-1)/x)?
False
Let h = 717 - 190. Is h a multiple of 15?
False
Suppose -10 = -2*n - 2*a - 2*a, -15 = -3*n - a. Suppose 3*i + n = -4. Let x(u) = -u**2 - 6*u + 2. Is x(i) a multiple of 7?
False
Let s(o) = o + 5 - 5 + 0 + 3. Let r be s(0). Suppose 5 = 4*x - r*x, -4*x + 12 = -q. Does 4 divide q?
True
Let y = 4040 + -2440. Does 100 divide y?
True
Suppose -3*p - 2*p + 3097 = 2*c, 3*p - 7695 = -5*c. Is 24 a factor of c?
True
Let c = 226 - 121. Suppose -6*s - c = -705. Is 15 a factor of s?
False
Let m be (-4)/(-22) + 196/11. Let y = -18 + m. Suppose -v + 5*b + 1 = y, 2*b = -v + 8 - 0. Is v a multiple of 6?
True
Let i(m) = m**3 - 2*m**2 - 6*m - 4. Let q = -14 + 20. Does 26 divide i(q)?
True
Suppose 32*i - 15*i - 2754 = 0. Is i a multiple of 54?
True
Suppose 2*v + 2*q = -18, 3*q - 15 = v - 2*q. Let o(d) = -d**2 - 14*d - 12. Let u be o(v). Does 5 divide ((-15)/2)/((-21)/u)?
True
Let c be (-4)/(-6)*(3 - 0). Suppose -c*i - 1 = 5*s, -3*i + 5*i - 2 = -2*s. Is (3/i)/((-9)/(-30)) even?
False
Let h be 1/2 - 14/(-4). Suppose -5*v = 10, -h*v = -5*c - 104 - 73. Let u = c + 57. Is u a multiple of 20?
True
Does 11 divide (764*(-2)/(-4))/(7/14)?
False
Does 42 divide (-5 + 77/28)/(9/(-2616))?
False
Suppose 4*w - 2*n = 10, n + 7 = 2*w - 2*n. Does 3 divide w/9 - 395/(-45)?
True
Suppose -2*x - 563 = -3*g, -x = g - 203 + 12. Does 4 divide g?
False
Let s(w) = -8*w - 18. Let d be s(-6). Let a = 50 - d. Does 10 divide a?
True
Let w(x) = 14*x**2 - 17*x - 3. Let t be w(9). Suppose -t = -6*r + 3*r + 3*m, -1280 = -4*r - 4*m. Is r a multiple of 36?
False
Let g(f) be the third derivative of f**6/120 + 3*f**5/20 + f**4/6 - 2*f**3/3 - 11*f**2. Does 7 divide g(-8)?
True
Let y = -105 - -26. Let n = -52 - y. Is 3 a factor of n?
True
Let o(k) = 2 - 7 - k + 9. Does 10 divide o(-6)?
True
Let j be (-793)/(-39) - (-1)/(-3). Let u = j - 16. Suppose u*y = -4*p + 156, y + 2 = -1. Does 21 divide p?
True
Suppose -c = -0*d - 4*d + 61, -5*c + 55 = 4*d. Let t = 0 - 15. Is 5 a factor of (t/(-9))/(1/d)?
True
Let f = 0 - -5. Suppose 53 = q + 5*r, -f*q + 3*q - 4*r = -130. Let b = 109 - q. Is b a multiple of 12?
True
Let n = -7 + 12. Suppose -11*z + n*z + 156 = 0. Does 6 divide z?
False
Suppose 19*j + 13*j - 14240 = 0. Does 11 divide j?
False
Suppose -6*a = -4*a - 8. Suppose -q = -a*q. Suppose -4*u + 0*u + 160 = q. Does 20 divide u?
True
Let l(m) be the third derivative of m**6/120 + m**5/6 - m**4/12 - 4*m**3/3 - 32*m**2. Does 11 divide l(-9)?
False
Suppose -c + 4*g = 4*c - 32, -4*c + 19 = -g. Let q(y) = 5*y + 4 + y - y. Is q(c) a multiple of 4?
True
Let h(k) = k**3 + 8*k**2 - 19*k + 17. Let m be h(-10). Is (-326 - 2)/(-1) - 28/m a multiple of 36?
True
Let f(i) = 84*i - 399. Does 7 divide f(10)?
True
Let o(k) = -2*k - 23. Let f(r) = 3*r + 23. Suppose -12 = a + 2*a. Let w(g) = a*o(g) - 3*f(g). Does 12 divide w(11)?
True
Let z = -2 + 16. Let o(r) = r**2 - 15*r + 23. Does 3 divide o(z)?
True
Let b(m) = -m**2 - 6*m + 1. Let f be b(-5). Suppose 4 + 8 = f*n. Suppose -n*t + 15 = -t. Does 8 divide t?
False
Let g(o) = o**3 - 4*o**2 - 2*o + 3. Let k = 8 - 10. Let q be 9/(2 + k/4). Is 24 a factor of g(q)?
False
Let y(l) = -116*l + 6. Does 34 divide y(-2)?
True
Let s(r) = r**2 - 8*r - 7. Let u be s(9). Suppose -3*m + w = -4*w - 40, u*m = 4*w + 30. Suppose 5*a - 70 = -m*y, -78 = -5*y - 4*a + a. Is y a multiple of 18?
True
Let g(q) = q**3 + 5*q**2 + 4*q. Let t(p) = p**2 - 11*p - 15. Let s be t(12). Is g(s) a multiple of 2?
True
Let i(p) = -2*p - 6. Let l be i(-4). Let w be l/4 + (-1)/2. Suppose w = -5*d + 122 + 98. Does 22 divide d?
True
Let z(g) = -g**3 + 30*g**2 - 45*g - 22. Is z(28) a multiple of 10?
False
Let h = 28 + -16. Does 7 divide (-112)/h*(-3 + 1 + -1)?
True
Let y = 8018 + -4805. Is 9 a factor of y?
True
Let j = -645 - -1085. Is 40 a factor of j?
True
Suppose 5*k - 2*s - 235 - 980 = 0, 2*k + 5*s - 515 = 0. Suppose 4*a = -2*m - m + k, -183 = -3*a - 2*m. Is a a multiple of 19?
False
Let c(v) = 99*v + 34. Does 39 divide c(9)?
False
Suppose 27*q - 3550 = 17*q. Is 73 a factor of q?
False
Let k = -100 + 355. Suppose 6*z + k = 11*z. Does 23 divide z?
False
Let t = 63 + -33. Suppose -4*u - t = -2*l, -4*u - u - 50 = -5*l. Suppose 3*r - 30 = -l*d + 189, 3*r = 4*d - 186. Is d a multiple of 15?
True
Suppose 3*n - 2*n = 470. Suppose -5*m = -10*m + n. Does 15 divide m?
False
Let w(b) = 64*b - 80. Is w(21) a multiple of 28?
False
Suppose 0 = -5*c + 13 + 2. Suppose -14 = b - c*b. Is b a multiple of 2?
False
Is 26 a factor of (391 - -5) + 3 + -6 + -3?
True
Suppose -m + 4*m = 36. Does 2 divide (-4)/(-8)*(m - 4)?
True
Suppose 2*w + 12 = -96. Let d = 33 + w. Let y = d - -36. Is 3 a factor of y?
True
Suppose -7 = -5*s - k, 0*s + 4*k = 3*s - 18. Suppose -2*n - s*n = 3*t - 312, 3*n - 3*t = 234. Is 26 a factor of n?
True
Suppose 1014 = 5*r - 5*s - 5081, -4*r + 5*s = -4879. Is r a multiple of 11?
False
Let k(u) = -5*u + 80. Let i be k(-26). Suppose 3*j - 6*j - 3*d + 216 = 0, -3*j = 5*d - i. Does 6 divide j?
False
Let v be 15/(-45) - (-14)/6. Suppose -6 - 14 = v*k. Does 4 divide 16/(-5)*k/4?
True
Suppose -s + 0*s - 2*f = 130, s = -3*f - 135. Let p = -70 - s. Is 5 a factor of p?
True
Let f = 43 - 43. Suppose f = 3*r - 4*o - 22, -2*r - 14 = -4*r + 3*o. Is r even?
True
Let c be 6/(-15) + 17/5. Suppose -2*d + 2*k + 3*k + 83 = 0, -3*k = -c*d + 147. Is d a multiple of 11?
False
Suppose -22*j = -11*j - 3652. Is j a multiple of 5?
False
Let z = 103 + 112. Is 6 a factor of z?
False
Let g(y) be the first derivative of -y**4/4 + 5*y**3 + 13*y - 6. Does 13 divide g(15)?
True
Let t(m) be the third derivative of m**4/24 + 59*m**3/6 + 22*m**2. Is t(0) a multiple of 5?
False
Suppose p = 2*p + 2*p. Suppose -5*u + 2*t + 74 = p, -4*t = -u - 0*t + 22. Is 7 a factor of u?
True
Let r(f) = -f**3 + 8*f**2 - 6*f - 6. Let v be r(7). Let w(m) = 141*m + 2. Does 11 divide w(v)?
True
Let t be 91/2 - 21/14. Let i be 4/8*-2 + t. Suppose -2*d = -i - 23. Is 33 a factor of d?
True
Let a(z) be the first derivative of -z**4/4 + 4*z**3 - 17*z**2/2 + 15*z + 2. Let w be a(11). Is 15 a factor of (-3)/(-3) - (w - 1)?
False
Suppose 3*v = -g + 4 + 1, 4*v = -4*g + 4. Suppose 0 = -4*y - 5*h + v*h - 8, -y = 4*h + 2. Does 31 divide (y + (82 - 1))/1?
False
Let n = -99 - -186. Does 17 divide 5 + -2 + n + 4?
False
Suppose -9*k - 8*k = -1853. Is 4 a factor of k?
False
Let k(p) = -p**3 - 5*p**2 - 4*p. Let y be k(-4). Suppose -3*w + y*w = 0. Suppose -10*a + 5*a + 35 = w. Is 3 a factor of a?
False
Suppose -74*h = -98*h + 11520. Does 15 divide h?
True
Suppose 0 = h - 3*h + 22. Suppose 0 = -h*w + 8*w + 3. Let b(s) = 7*s + 1. Does 2 divide b(w)?
True
Let p(h) = 7*h**2 + 3*h - 1. Let d be p(2). Suppose d - 137 = -4*m. Let v = m + -10. Is v a multiple of 9?
False
Let x(a) = a**3 + 9*a**2 + 14*a - 4. Let s be x(-6). Suppose -2*t + 31 = q - s, -3*t = -q - 74. Suppose 17*n = 12*n + t. Is 5 a factor of n?
True
Is (9/(-6) + 3)*73472/96 a multiple of 41?
True
Suppose s + 3*s + 5 = -5*c, 2*s + 4*c + 4 = 0. Suppose s = o - 3*o + 36. Does 7 divide (-36)/(-12) + 0 + o?
True
Does 4 divide 28*1/(10 + -6)?
False
Suppose 31*u - 67 = 4707. Does 37 divide u?
False
Suppose 0 = -2*t - 3*i + 8 + 3, 3*i - 19 = -4*t. Let f(c) = 2*c**2 - 6*c + 6. Is f(t) a multiple of 13?
False
Suppose -b + h = 8, -2*h - 32 = b + 3*b. Let j = 12 + b. Suppose l - 13 = z, -5*l + j*l - z = -5. Is l even?
False
Let q(o) = 3*o**3 - 8*o**2 - 3*o + 40. Is 100 a factor of q(5)?
True
Let n(b) = 2*b - 5*b + 4 - 4*b + 5*b. Let f be n(3). Let l = f + 79. Is 21 a factor of l?
False
Is 58 a factor of -8 - 3*712/(-6)?
True
Suppose 20*i + 3*y = 21*i - 108, 0 = -4*y. Is 16 a factor of i?
False
Let w be (-546)/(-12) - 6/(-4). Suppose 0 = 9*v - 8*v - w. Is v a multiple of 47?
True
Let m(t) = 3*t - 18. Let z be m(6). Let r = 47 - z. Is 12 a factor of r?
False
Let p = 19 - 29. Is 15 a factor of 2 - 643/(-5) - 4/p?
False
Let p(m) = 3*m**3 + 2*m + 3. Let q be (-3)/(-7) - (-136)/(-56). Let n be p(q). Let y = 42 + n. Does 17 divide y?
True
Is (-63)/(2085/350 - 6) a multiple of 14?
True
Is (-1290)/12*(-70)/25 a multiple of 21?
False
Let n be (5/15)/((-4)/(-60)). Suppose 0 = -2*h + j + 117 + 41, -n*j + 20 = 0. Is 15 a factor of h?
False
Let x(r) = r**3 - 3*r**2 - 14*r + 46. Is 96 a factor of x(10)?
False
Let d(s) = 3*s**3 + 33