v) + 11*o(v). Does 5 divide w(7)?
False
Suppose -5*p + 7 = -3. Suppose -p*k = -16 - 8. Is k a multiple of 12?
True
Let w be (0 - -1) + 9 + -7. Suppose -t - 23 = -w*t + p, 2*t - 25 = -p. Is 5 a factor of t?
False
Let b = -25 + 15. Let f = -6 - b. Is 4 a factor of f?
True
Suppose 5*w = 4*r + 196, -93 = 5*r - 3*w + 139. Let p = -21 - r. Is 8 a factor of p?
False
Let n = -7 + 6. Is 15 a factor of (27/3)/(n/(-3))?
False
Let s(z) = z**3 + 4*z**2 + 5*z - 1. Let w be s(-4). Is 17 a factor of 6/w + (-480)/(-14)?
True
Let w be -2*(-4 + 0) + -3. Suppose 0 = c - u - 23, -c - w*u + 53 = 2*c. Does 7 divide c?
True
Let l(c) = -c**3 + 9*c**2 - 5*c - 1. Does 12 divide l(6)?
False
Let p = 3 + -1. Suppose -2*s - 23 = -9*n + 4*n, -p*n + 15 = 5*s. Is 0/s - 32/(-4) a multiple of 4?
True
Let m(v) = 2*v + 52. Is m(-6) a multiple of 8?
True
Is 5/2 + 1844/8 a multiple of 28?
False
Let p = 5 - 4. Let x be p*(-2 + 1) + 5. Suppose g = -x*q + 32, -2*g + 4*q = -g. Does 16 divide g?
True
Suppose -4*f + 72 = 4*t, 4*f + f = -4*t + 87. Is f a multiple of 15?
True
Let o be (-2)/(-9) - 8/36. Let c = o + 4. Suppose -f = c - 6. Is f even?
True
Let z = 2 - -2. Let o be -1*(-3)/3*z. Suppose -3*h + 0*r + o*r = -115, 5*h - 190 = 5*r. Is 10 a factor of h?
False
Suppose -z = z + 132. Is z/(-14) - 6/(-21) even?
False
Let i be (-3)/9 - (-7)/3. Suppose -3*s - i*s + 15 = 0. Suppose 2*l + 3*h + h = 56, -3*l + s*h + 66 = 0. Does 12 divide l?
True
Suppose -z - 2 = -1. Is 9 a factor of (1 + -2 + -8)*z?
True
Suppose 53 = 6*x - 13. Does 9 divide x?
False
Let o be (-3 - -9) + 2 - 0. Suppose -4*l + 0 = -o. Suppose -80 = l*u - 7*u. Is u a multiple of 8?
True
Let m(h) = h**2 - 2*h - 1. Let l(o) = o**3 - 5*o**2 + 4*o + 3. Let i be l(4). Let x be m(i). Suppose -3*y + 4*r + 16 = -y, x*y = -3*r + 23. Does 10 divide y?
True
Is 12/15 - (-232)/10 a multiple of 13?
False
Suppose 0 = -s + 5*x - 20, 8 = -3*s + 2*x - 0. Suppose 4*n - 3*l + 7*l - 72 = s, -8 = 2*l. Does 11 divide n?
True
Suppose 2*h + 2*c - 118 = 0, -3*c + 310 = 5*h - c. Is h a multiple of 10?
False
Suppose 4*f - 2907 = -15*f. Is f a multiple of 50?
False
Suppose 4*v = -16, -3*v = -5*s + 4 + 23. Let m be s + (2 - 0 - 0). Let l = 15 - m. Is l a multiple of 4?
False
Let s(c) = 9 - 2*c - 8 + 13. Is 14 a factor of s(-11)?
False
Suppose 4*u - 3*u - 343 = 5*f, -189 = 3*f + 5*u. Let i be 1*(4/(-1) - -39). Does 4 divide f/(-7) + 10/i?
False
Suppose -3*n = 4*n - 1512. Is 24 a factor of n?
True
Is 21/6*(-6 - -24) a multiple of 13?
False
Is 26/(-117) + (-1876)/(-18) a multiple of 26?
True
Suppose 28 = 4*d + 8. Suppose 375 = 2*i + 3*i - d*x, -2*i + 129 = 5*x. Suppose 4*f + 2*l - 4*l - i = 0, 5*f = -4*l + 103. Is f a multiple of 19?
True
Suppose 1202 + 38 = 8*o. Does 13 divide o?
False
Suppose -2 = -3*w + w + 2*o, 0 = 3*w + 5*o - 11. Suppose 0 = -g + 3*h - 2, -g = -5*g + w*h + 12. Is g a multiple of 3?
False
Let w = 8 - 11. Let g = -6 - w. Let j = 14 + g. Is 6 a factor of j?
False
Let r = 1 - -5. Is (232/10)/(r/15) a multiple of 15?
False
Let p(y) = -6*y - 14. Does 10 divide p(-14)?
True
Let x be (3 - (-38 - 4)) + 3. Let f = 6 - 4. Suppose -5*u = -f*u - x. Does 14 divide u?
False
Suppose -5*d - 5*b = -65, 0 = -d + 3*b - 6*b + 23. Let m = d + 10. Is 9 a factor of m?
True
Let g = 486 + -339. Is 60 a factor of g?
False
Suppose -3*o - 2*o = 15. Is 15 a factor of (-3 + (-4)/2)*o?
True
Let w = 29 - 15. Suppose -19*u + 40 = -w*u. Is 4 a factor of u?
True
Let i(u) = -5*u + 9. Let h be i(9). Let a = -8 - h. Is a a multiple of 14?
True
Let x(y) be the third derivative of 0*y - 1/12*y**5 - 5/12*y**4 - 2*y**2 + 0 + 1/120*y**6 - 1/3*y**3. Is x(7) a multiple of 17?
False
Let z(v) = -v**2 + 7*v + 5. Let c be z(6). Suppose 2*d - h - 15 = c, 0 = -5*d - 4*h + 39. Does 11 divide d?
True
Let n be (-2)/(4*(-2)/12). Suppose 304 = n*m + 88. Is 12 a factor of m?
True
Suppose -18*h + 23*h = 95. Does 17 divide h?
False
Suppose 3*d = -0*d + 96. Is d a multiple of 16?
True
Let v(i) = -i**3 + 6*i**2 - 5*i + 4. Let a be v(5). Suppose l = -5*c + 13, 1 = -2*l - a*c + 9. Let x(y) = -4*y**3 - y**2 + 2*y + 1. Does 11 divide x(l)?
False
Suppose -s = -2*j + 2, 3*j + 10 = 2*j - 5*s. Suppose -m - 6 = -2*m - w, -3*w - 9 = j. Does 9 divide m?
True
Let d(s) = 15*s**3 - 7*s**2 + 39*s - 39. Let p(k) = -7*k**3 + 4*k**2 - 19*k + 19. Let m(t) = -6*d(t) - 13*p(t). Does 11 divide m(9)?
False
Let a(p) = p - 2*p - 7 + 59. Let s be a(0). Suppose -4*b + i + 122 = 0, 0 = 2*b - 0*b + 4*i - s. Is b a multiple of 15?
True
Let s = -53 + 105. Is 26 a factor of s?
True
Suppose 0 = -5*r - 15, 4*x + 4*r - 313 = -x. Is 15 a factor of x?
False
Let y = 2 - 2. Let g = 1 - y. Suppose -g = -4*q + 7. Is q even?
True
Let i = -6 + 30. Is 12 a factor of i?
True
Is 4 + (2 - (-10 - 1)) a multiple of 17?
True
Let u = -111 - -200. Does 15 divide u?
False
Suppose 3*p = 3 + 96. Let s = 10 + p. Is 13 a factor of s?
False
Suppose -4*l + 28 = -212. Suppose 0 = y - 4 - 0. Does 3 divide l/y*2/5?
True
Suppose -6*m + 293 = w - 4*m, 273 = w - 3*m. Is w a multiple of 15?
True
Suppose -3 = z - 6. Suppose 2*c - u - z*u - 14 = 0, 16 = 3*c - u. Let j = c - -1. Is j even?
True
Suppose -5*m - 172 = -62. Let r = 38 + m. Is r a multiple of 11?
False
Let i = -2 - -3. Let l be 2/2*(1 - -100). Suppose -5*c = i - l. Does 10 divide c?
True
Let y(k) = k**3 + 14*k**2 + 16*k + 9. Let t be y(-11). Suppose 301 = 3*q + 4*b, 3*q + 5*b - t = q. Does 35 divide q?
False
Is (-1)/((-21)/510) - (-6)/(-21) a multiple of 8?
True
Let x(r) = -r**2 - 4*r - 3. Let t be x(-4). Let c = 8 + t. Suppose 0*k + k - 21 = 3*l, -2*k + c*l = -37. Is 5 a factor of k?
False
Let a(r) = -2*r + 9. Let o be a(7). Let n = o + 5. Suppose n*c + 30 = 3*c. Is c a multiple of 5?
True
Let s(o) = -11*o - 30. Is 5 a factor of s(-8)?
False
Let h = -148 - -220. Does 9 divide h?
True
Let k be -4 + (-2)/(-2) + 12. Let z be (k - 83)/(-2*1). Suppose 5*a - 3 = z. Does 8 divide a?
True
Let y be ((-6)/(-8))/(2/8). Let l be (-92)/(-6) - 10/(-15). Suppose d = y*g + 3*d - 74, -4*d = -l. Does 11 divide g?
True
Let x = -4 + 37. Suppose -4*u + x = -3*u. Does 11 divide u?
True
Is 10 a factor of (1 - 1966/(-18)) + 8/(-36)?
True
Let g(y) = 2*y**3 - 4*y**2 - 4*y. Let x be g(4). Suppose -s = -0*s - x. Suppose f - 3*f = -s. Is f a multiple of 12?
True
Suppose -2*p = -5*m - 39 + 9, -8 = 2*m. Suppose 2*q - p + 43 = 0. Let x = q - -28. Is 7 a factor of x?
False
Suppose -2*s - 18 = -2*t, 0 = -0*t + 2*t - s - 18. Suppose -4*p + 95 + t = -5*k, 2*k = 0. Is 6 a factor of p?
False
Suppose 2 = 2*x - 12. Suppose m = 28 - x. Suppose -5*l + 215 = 5*y, -3*l - 68 = -y - m. Does 27 divide y?
False
Let q be (2 + 9/2)*-4. Suppose 0 = -5*x + 3*x - 34. Let z = x - q. Is z a multiple of 9?
True
Let s(l) = -l**3 - 2*l**2 + l - 4. Let k be s(-3). Suppose t - 15 = 3*j, -6*j + 37 = 5*t - k*j. Does 9 divide t?
True
Suppose l = 6*l. Is 17 + 3 + (-3 - l) a multiple of 9?
False
Let j be (-1 - -2)/((-1)/(-2)). Let h(n) be the second derivative of n**5/5 + n**4/12 - n**3/6 + 5*n. Is h(j) a multiple of 17?
True
Suppose 4*l - 97 = 5*v + 143, 5*v - l = -255. Let t = -132 - -211. Let d = v + t. Is 15 a factor of d?
False
Let r(l) = -11*l**2 - l. Let a(m) = 23*m**2 + 2*m. Let v(g) = 3*a(g) + 5*r(g). Let h be v(1). Suppose -41 = -2*q - 3*b, 0 = 4*b - 9*b - h. Is 20 a factor of q?
False
Suppose u + 65 = 105. Is u a multiple of 10?
True
Suppose i - 6*i + 210 = 0. Suppose 2*b + i = 120. Does 10 divide b?
False
Let k = 231 + -136. Is 17 a factor of k?
False
Suppose -1 = h - 0. Let d = h - -8. Suppose 14 + d = q. Is q a multiple of 9?
False
Let y(v) = -22*v + 1. Let l(d) = -21*d + 1. Let a(n) = -3*l(n) + 4*y(n). Let p be a(-2). Suppose -4*g = -133 - p. Is g a multiple of 14?
False
Let m = 46 - 22. Is m a multiple of 12?
True
Suppose 0*b = 2*r + 2*b - 762, b = -4*r + 1515. Is r a multiple of 18?
True
Suppose -12*w = -9*w - 90. Is w a multiple of 6?
True
Does 28 divide 70*5/((-75)/(-18))?
True
Does 4 divide (-24)/12*(1 - 5)?
True
Suppose -g - 4*g + 2*n - 76 = 0, -12 = -4*n. Let y = 48 + g. Is 17 a factor of y?
True
Let u(p) = -p**2 - 7*p + 1. Let b be u(-5). Suppose -3 = 3*v, 6*a + b = 3*a + 4*v. Let r(j) = j**3 + 4*j**2 - 6*j + 3. Is r(a) a multiple of 8?
True
Let g(z) = -z**2 - 9*z - 1. Let h be g(-9). Let b(j) = -29*j**3 + 2*j + 1. Is b(h) a multiple of 19?
