*v. Let j(y) = 5*y**3 + 4*y**2 + 9*y - 2. Let w(c) = -4*b(c) + 7*j(c). Does 12 divide w(-7)?
True
Let t(m) = -m**3 - 3*m**2 + m + 5. Let a be t(-4). Let y = a - 16. Does 6 divide 1/(-2)*-38 - y?
True
Suppose 0 = 2*j + 5*x - 58, x + 4 - 8 = 0. Suppose -99 + j = -4*m. Is m a multiple of 4?
True
Suppose -s = 5*i - 1577, -2*s = 11*i - 9*i - 634. Does 9 divide i?
True
Let w(j) = 208*j + 7. Let q = 15 + -14. Is 38 a factor of w(q)?
False
Suppose 0 = 3*s - 78 - 201. Let y = s + -23. Is 10 a factor of y?
True
Let m be 4/((-48)/(-20))*3. Let l be (m/(-4))/((-3)/12). Suppose -l*f + y + 221 = -0*y, 2*f = -4*y + 84. Is 14 a factor of f?
False
Suppose 15 = 3*z + 3*s, -s + 17 = 2*z + 2*z. Suppose -2*g + z*u - 250 = -3*g, -4*g = -5*u - 1105. Is 16 a factor of g?
False
Suppose -2*g = -2*b + 10, -2*b = 3*b + 5*g + 5. Suppose -l = 5*u - 261, b*u - 115 = -5*l - 6. Is 13 a factor of u?
True
Suppose -2*u + 2 = -5*c + 23, -2*u = 6. Suppose c*t + 2*t - 15 = 0. Suppose -v + 112 = t*v. Does 7 divide v?
True
Let f be (-7 - -88)*2/(-3). Is 38 a factor of (18/f)/((-2)/228)?
True
Let k be -5*(-9)/((-135)/(-6)). Suppose -5*v - k = 2*z - 38, 21 = 4*v - z. Does 2 divide v?
True
Let x(l) = l**3 - 9*l**2 + 6*l - 2. Let t be x(7). Let h be (1*-1)/(2/t). Does 29 divide 0/(6 - 4) + h?
True
Let h(q) = q - 1. Let j = 8 + 8. Does 5 divide h(j)?
True
Let u = 16 - 12. Suppose -u*r + 20 = -4*q, 4*r + 2*q = -q + 20. Suppose -2*o - 80 = -5*x, 5*x - 45 = r*o + 50. Does 6 divide x?
False
Let i(f) = 22*f + 18. Does 54 divide i(9)?
True
Is 5*-38*18/(-60) a multiple of 57?
True
Let l = 4352 + -2549. Is 11 a factor of l?
False
Suppose -6*y = -24 + 6. Suppose 4*b + 114 = 3*z - 182, 378 = 4*z + y*b. Is 20 a factor of z?
False
Suppose s - 121 = -8*i + 3*i, s = -2*i + 112. Suppose -2*n = -2*d + s, -6*n - 10 = -4*n. Is d a multiple of 16?
True
Let q be (-42)/28*4/6. Let a(d) = -76*d + 1. Let y be a(q). Is 10 a factor of (-191)/(-7) - 22/y?
False
Suppose -5*h = 5*z + 125, 5*z - 4 + 21 = -h. Let t = h + 35. Does 3 divide t?
False
Suppose -4*y + 12 + 12 = 0. Let c = y + 27. Is 2 a factor of c?
False
Does 40 divide (557/4)/((-6)/((-72)/3))?
False
Suppose 32*f = 11*f + 47397. Does 61 divide f?
True
Is (-1372)/(-5) - (-82)/(-205) a multiple of 27?
False
Let h(z) = 3*z**2 - 15*z - 192. Does 58 divide h(28)?
True
Let p(t) = -3*t - 15. Let n be p(-7). Suppose i - 4*i - n = 0, -5*i - 511 = 3*w. Let h = 252 + w. Is h a multiple of 17?
True
Let t(c) be the third derivative of c**4/24 + 53*c**3/6 + 6*c**2. Let i be t(0). Let z = -18 + i. Is z a multiple of 8?
False
Is (12 + -9)*24*28 a multiple of 40?
False
Suppose 4*h - 3 = -q + 4, 4*q + 26 = 2*h. Suppose h*a - 256 = a. Is a a multiple of 15?
False
Suppose 3*l = 2*s + 13, 2*s = -3*l - 0*s + 17. Suppose -2*k = -d, -l*d + 3*k + 20 = -d. Is 16 a factor of d/6*117/6?
False
Suppose -3*t = 4*t. Suppose t = q - 4*d - 77, 11*q - 6*q + 5*d = 435. Suppose l + 3*j - q = -j, -5*j - 85 = -l. Is l a multiple of 17?
True
Let w(i) = -i - 17. Let g be w(-11). Let u be (-15)/10*8/g. Is (3 - (-45 - u)) + -4 a multiple of 12?
False
Suppose a - 3*v - 122 = 0, 0 = -2*a - 0*a - 5*v + 255. Is 5 a factor of a?
True
Suppose 0*h + 5*i - 5 = -5*h, -h - 19 = -4*i. Is (-3)/h*237 + 9/3 a multiple of 16?
True
Let p = -3223 + 3594. Is 2 a factor of p?
False
Let n = 501 - 409. Is 5 a factor of n?
False
Let k be (-9)/(6/(-2)) - 0. Suppose 470 = k*p - 88. Is 22 a factor of p?
False
Let f(i) = -i**2 - 11*i - 8. Let p be f(-10). Is 5 a factor of (2 + -1)*17 - p?
True
Suppose 11*t + 3 = 36. Suppose -5*m + 2*y + 402 = 0, m - 315 = -t*m - 5*y. Is m a multiple of 16?
True
Let w(g) = -5*g**3 + 2*g**2 + 2*g + 1. Suppose -5*h + 3*h + 4*x = 12, -x + 5 = 0. Suppose 4*d - 20 = 0, 7 = 2*t - h*t + d. Is w(t) a multiple of 4?
False
Let f(x) = x**3 + 9*x**2 + 10*x + 7. Let h be f(-8). Let w = -4 - h. Suppose 0 = -5*j + w, 2 + 8 = 2*b + 2*j. Is b a multiple of 2?
True
Let b(o) = 5 + 3 - 6*o + o + 11*o**2 - 9*o**2. Does 11 divide b(5)?
True
Suppose 12 = 5*z - 13. Suppose -15*x - 9*x - 336 = 0. Let r = z - x. Does 19 divide r?
True
Let f be (-1155)/7 - (-6)/2. Let h = -91 - f. Is h a multiple of 15?
False
Let x = 92 + -36. Suppose 5*i + 0*i - 5*b - 25 = 0, 0 = 4*i + 3*b - 27. Suppose -i*c - x = -8*c. Is 14 a factor of c?
True
Let b = -583 - -1007. Is 27 a factor of b?
False
Suppose -v + 3*n = -5, 4*v + n - 4 = 3. Suppose v*i = 3*i. Suppose -5*s + 122 + 103 = i. Is 15 a factor of s?
True
Let a be 5/(5*(-5)/(-75)). Suppose 10*z + 60 = a*z. Is 4 a factor of z?
True
Let w be 6/18 - (-653)/3. Let s = 386 - w. Suppose 4*x = -0*x + s. Is 17 a factor of x?
False
Suppose 0 = -2*l + v + 2427, 0 = 3*v - 13 - 2. Does 87 divide l?
False
Let x = -235 - -455. Is 8 a factor of x?
False
Suppose -c - 2240 = -4*o + 3327, 6955 = 5*o - 2*c. Is o a multiple of 9?
False
Let c(t) = 9*t**2 + t. Let j(w) = -w**2 + 10*w - 17. Let z be j(8). Is c(z) a multiple of 3?
False
Suppose -3208 - 488 = -n. Is n a multiple of 23?
False
Let q = -1091 + 1731. Does 34 divide q?
False
Suppose -5*m = 3*k - 53, -5*k - 52 + 7 = -5*m. Does 2 divide m?
True
Let y(n) = -n**2 - 3*n + 10. Let h be y(-6). Let b = h + 41. Is 12 a factor of b?
False
Suppose -z - 118 + 408 = 0. Is 29 a factor of z*(4 - (-14)/(-4))?
True
Suppose -3*a - 3*f = 4 - 28, -3*a + 5*f - 16 = 0. Suppose -102 - 305 = -3*r - h, 0 = 2*r - a*h - 264. Suppose n + 2*n = r. Is n a multiple of 9?
True
Suppose 30888 = 23*t + 49*t. Is 2 a factor of t?
False
Let m(v) = 240*v**2 - 5*v - 4. Is m(-1) a multiple of 3?
False
Let i(x) = x**2 - 6*x + 8. Let q be i(5). Suppose -t = q*t + 4*c - 52, -c + 5 = 0. Does 2 divide t?
True
Let h be (4/(-6))/((-18)/(-27)). Let m(b) = -24*b + 1. Does 25 divide m(h)?
True
Let f(d) = -d**2 + 8*d + 9. Let z be f(8). Let y(k) = k**2 - 9*k + 15. Does 9 divide y(z)?
False
Suppose 2*j - 732 = l, 2*j - 2*l = -7*l + 756. Is 18 a factor of j?
False
Suppose -5*a = 3*k - 32, 2*a - 3 = 3*k - 7. Let r(c) = c**2 + 2*c - 7. Does 4 divide r(k)?
False
Let v(z) = -z**3 - 3*z**2 + 7*z - 1. Suppose 0 = 2*t + 2*i + 2, -8 + 29 = -t + 4*i. Is 3 a factor of v(t)?
False
Let x(z) = -2*z. Let n be x(0). Suppose 0*u - 2*u + 70 = n. Does 5 divide u?
True
Suppose 6*l - l = 0. Suppose -f + 3*f + 294 = 2*a, 5*a + 5*f - 735 = l. Does 18 divide a?
False
Suppose 0 = 4*n - 8, -3*q + q + 12 = 3*n. Suppose 2*r + 44 = q*r. Is r a multiple of 11?
True
Let v = -1379 + 3897. Is v a multiple of 31?
False
Suppose -12892 = -7*x - 4618. Is 7 a factor of x?
False
Let l = 22 + -24. Is l/6 + 340/30 a multiple of 7?
False
Let g = -259 - -795. Does 39 divide g?
False
Let f(h) = 63 + 2*h**2 - 3 + 138 + h. Is 22 a factor of f(0)?
True
Suppose 0 = -37*g + 11237 - 433. Does 6 divide g?
False
Suppose 0 = -18*b + 1697 - 527. Does 22 divide b?
False
Suppose 0*k + 405 = -5*k. Let b(g) = -g**3 - 26*g**2 - 111*g - 9. Let y be b(-21). Let q = y + k. Is q a multiple of 10?
False
Suppose -807 = 35*j - 9207. Is 50 a factor of j?
False
Let j(q) be the third derivative of -q**6/120 + q**5/6 + q**4/8 - 16*q**2. Is j(8) a multiple of 22?
False
Let h(o) = 413*o**2 + 19*o + 46. Is 19 a factor of h(-2)?
False
Suppose -4*v - v - 20 = 0. Let q = v - -6. Let x = 22 + q. Is 6 a factor of x?
True
Suppose 0 = -2*a + 2*n + 4, -4*n = -2*a + 3 - 1. Suppose -4*q + 806 = -a*l, -2*l + 1009 = 5*q - 5*l. Does 31 divide q?
False
Suppose 0 = -12*s + 34*s - 73304. Is s a multiple of 28?
True
Suppose -13 = l - 4*p - 56, 4*p = -8. Is 7 a factor of l?
True
Let w(i) = 2*i**2 + 2*i + 3. Let h be w(-1). Suppose -2*v + h*k = -4*v + 5, -2*v + 5*k + 45 = 0. Does 3 divide v?
False
Suppose -112 - 11 = -3*d. Let t = 105 + -117. Let j = d + t. Is j a multiple of 11?
False
Suppose 0 = -10*p + 14*p - 3808. Is 7 a factor of (6 - p/(-32)) + 6/(-8)?
True
Let v be (4 - (-63)/(-14))*(-4346)/1. Suppose -v = -11*n - 193. Does 30 divide n?
True
Let j(z) = -12*z**2. Let s be j(1). Let v be (-335)/(-15) + (-20)/(-30). Let y = v + s. Does 3 divide y?
False
Suppose 6*c - c - 4*a = 170, 0 = -4*c + 3*a + 137. Suppose 8 = 6*i - 2*i. Suppose -37 = -i*x + 5*m, -2*x - 2*x = 2*m - c. Is 2 a factor of x?
False
Suppose 0 = -3*d + 4*m + 354, -12 = 5*m - m. Let x = -86 + d. Is x a multiple of 12?
False
Let s(m) = m - 6. Let u be s(5). Let y(j) = 1 - 5 + 4 + 1 - 20*j. Is y(u) a multiple of 14?
