 be 4/26 - (-6596)/221. Suppose -2*l - 2*l = -2*v + 12, 5*v - f = 4*l. Is v*10/(-15) - -49 a multiple of 15?
True
Is 4/30 - 2868/(-90) a multiple of 12?
False
Let m be (12 - 13)*(-4 - 0). Does 14 divide m/(-14) + 1182/21?
True
Let w(v) = -2*v - 3 + 0 + 2 + 0*v + 64*v**2. Does 14 divide w(2)?
False
Let n(d) = 30*d**2 + 19*d - 27. Does 13 divide n(2)?
False
Let x(g) = -3*g**3 + 4*g**2 - 2*g - 1. Let r(y) = -3*y**3 + 3*y**2 - y. Let v(d) = 6*r(d) - 5*x(d). Does 7 divide v(-3)?
True
Let j = -14 + 8. Is 33 a factor of 67 + 3 + 2 + j?
True
Let x(n) = -n**3 - 14*n**2 + 3. Let w be x(-14). Suppose 3*d = -2*m - 1, -4*d - 2*m = -w + 1. Does 2 divide d?
False
Suppose 16*p + 6777 = 25*p. Does 3 divide p?
True
Suppose -g = -3*g + 4. Let l be (-12)/4*g/6. Is (l/(-3))/(4/24) a multiple of 2?
True
Does 16 divide ((-81)/12)/(8/(2688/(-18)))?
False
Suppose 2*g - 7*g - 5*v = 55, -5*g + 3*v = 31. Does 9 divide (-2 + (g - -4))/(4/(-30))?
True
Suppose 0 = -2*i + q + 8, -4*i + 4*q = -0*i - 20. Suppose -5*x - 349 = 4*a, -3*a - a = -i*x + 309. Let z = a + 124. Is 11 a factor of z?
False
Let z be 6/4 + 1044/8. Suppose -4*h = -5*o - 104, -3*o - z = -5*h + 11. Is h a multiple of 6?
False
Is 40 a factor of (8 + 11 + -26)*-520?
True
Let u be 2 - (10/55 - 1908/(-33)). Let i = -5 - u. Does 6 divide i?
False
Let x = 372 - 232. Does 8 divide x?
False
Let p(n) = n + 16. Let g be p(-12). Suppose 4*t - 90 = -3*w - 2*w, 2*w = g*t + 64. Is w even?
True
Suppose 1648 = 11*p - 8*p + 2*r, -4*r + 2196 = 4*p. Is 28 a factor of p?
False
Suppose 2*i + 28 = 3*z - 0*i, -z = 3*i - 13. Let k = -5 + z. Suppose 0 = -k*q - 41 + 361. Does 32 divide q?
True
Let b = -29 + -3. Let w = b - -82. Is w a multiple of 14?
False
Let l(t) = -2*t + 7. Let q be l(5). Let u(m) = -m**2 - m + 2. Let y(r) = r**2 + 7*r - 7. Let w(k) = -5*u(k) - y(k). Is 13 a factor of w(q)?
True
Suppose 4*c - 3*y - 458 = 0, 52 = c - 3*y - 58. Is 29 a factor of c?
True
Let h(o) be the first derivative of -12*o**2 + 6*o - 10. Is 27 a factor of h(-2)?
True
Let m(g) = -g**2 - 4*g - 1. Let l be ((-1)/(-2))/((-2)/24). Let x be m(l). Let p = 3 - x. Is 15 a factor of p?
False
Suppose 2*y = -3*o + 493, -2*y - o = 4*o - 503. Is 12 a factor of y?
False
Suppose 1980 = 5*n - 3*l, 0 = -3*n - 0*n + l + 1192. Suppose 3*s - 8*s + 117 = c, n = 3*c - s. Does 8 divide c?
False
Let n be (5 + -7)/((-4)/6). Suppose -4*x = -2*x - 2*o + 8, -2*o = 5*x + 13. Is 13 a factor of 1 + n/x + 38?
False
Suppose 2*r - 4*g - 2 - 2 = 0, r + 4*g - 2 = 0. Let i be (r + -1)*14/(-2). Let f = 16 + i. Is 9 a factor of f?
True
Suppose -5*z + 4*x - 25 = 0, x + 2*x + 33 = -2*z. Let o = z + 16. Is 5 a factor of (-5)/(o - 4 - 4)?
True
Let m(z) = z**2 - 2*z - 11. Let k be m(5). Suppose 3*p = y + p + 17, -k*p = -8. Let i = 29 + y. Is 8 a factor of i?
True
Suppose 0 = -0*a + a - 23. Let b = a - -19. Does 21 divide b?
True
Let j(a) = -93*a + 4. Let y(q) = 32*q - 1. Let d(h) = 3*j(h) + 8*y(h). Let u be (-1)/(0 - (-2)/8). Is d(u) a multiple of 32?
True
Let k be 633/12 + (-4)/(-16). Does 11 divide -2 + (k - (2 + 0))?
False
Let l(i) = -i + 19. Let r be l(23). Let y(u) = -u**3 - 2*u**2 + 2*u - 3. Let n be y(-3). Is 12 a factor of 39 + n/r + -3?
True
Let k(o) = 5*o**3 + o**2. Let l be k(-1). Let s = 6 + l. Is 4 a factor of s + 3*44/12?
False
Let j(g) = -178*g. Let m(s) = 23674*s. Let c(z) = -267*j(z) - 2*m(z). Let k be c(-1). Is 13 a factor of k/(-14) - 6/(-21)?
True
Let o(d) be the first derivative of -5*d**2 + 4*d + 4. Let q(v) = v + 1. Let b(k) = 2*o(k) - 6*q(k). Is b(-1) a multiple of 4?
True
Let k = 40 + 115. Is k a multiple of 31?
True
Suppose -4*z + q = 179, -3*z + 5*q - 113 = -0*z. Let r be -2*(-1)/(-2) - z. Suppose 5*n - r = 60. Is 7 a factor of n?
True
Let y(t) = t**3 + 3 + 2*t - 32*t**2 - 5*t + 38*t**2. Let r = -2 - 4. Is 21 a factor of y(r)?
True
Is 55550/165*((-150)/(-4))/5 a multiple of 25?
True
Suppose -2*j + 522 + 436 = 3*b, -3*b = -2*j - 938. Is b a multiple of 4?
True
Let i be (-94)/(-6) - (-36)/(-54). Let y = 20 - i. Suppose 0 = y*n + 5*h - 0*h - 45, -4*h = 3*n - 28. Is n a multiple of 2?
True
Let x = 148 - 105. Let c be x/9 + (-18)/(-81). Let i(a) = 2*a**2 - 2. Is 12 a factor of i(c)?
True
Is ((-44)/(-8) + -1)*56*3 a multiple of 36?
True
Let o(m) = -m**3 + 5*m**2 - 3*m + 1. Let c be o(5). Let a = c + 5. Does 17 divide (-14)/(-63) - 655/a?
False
Let c be (-16)/6*6/(-4). Suppose c*w - 406 = -98. Suppose 4*t = -w + 221. Does 9 divide t?
True
Suppose -4*s + 342 = -s. Let p = -64 + s. Is p a multiple of 10?
True
Let t(j) = j**3 - 11*j**2 - j - 19. Let g be t(11). Does 57 divide (0 + 0 - 258)/(g/20)?
False
Let f(l) = 1. Let t(i) = 7*i + 23. Let d(y) = -3*f(y) - t(y). Is d(-6) a multiple of 3?
False
Let y(a) = a**3 + 4*a**2 + a - 1. Let h be y(-3). Suppose -275 = -5*i - h*c, -3*c = -i + 61 + 14. Is 30 a factor of i?
True
Suppose -2*x = -4*b + 602, -45 = -2*b - 5*x + 262. Is b a multiple of 9?
False
Let i(g) = 1. Let k(y) = -y + 12. Let x(z) = -2*i(z) + k(z). Let q be x(-6). Suppose 0 = -q*m + 11*m + 145. Does 5 divide m?
False
Suppose -w = -6*w - 935. Let b = -103 - w. Is 14 a factor of b?
True
Does 33 divide 2 + 21/(-6) - (-5271)/42?
False
Suppose 0 = -2*h + 8, h + 10 = 3*v + 2. Let o(t) = -3*t - 4. Let i be o(v). Let c = i + 36. Does 13 divide c?
False
Let i = 13 + -10. Suppose 0 = i*x - 0*t - t - 227, -2*x - t = -153. Does 19 divide x?
True
Suppose 49 + 110 = g. Is 34 a factor of g?
False
Let u(i) = 2*i**2 - 17*i + 169. Is 6 a factor of u(21)?
False
Suppose -55*k + 8995 + 410 = 0. Does 5 divide k?
False
Suppose 0 = -4*h - 3*j + 77 + 448, 0 = -3*j - 15. Does 45 divide h?
True
Let b be (-258)/4 - (-15)/10. Is (-14)/b - (-302)/18 a multiple of 14?
False
Suppose -2*h + 25 = 3*h. Suppose h*c + 10 = -2*g, -g - 15 = 4*c + 2*g. Suppose 0*j - 5*j + 100 = c. Is j a multiple of 5?
True
Let s be (-4)/(-14) - 351/(-21). Let p = s + -14. Suppose -p*u + 8 = -2*u. Is 6 a factor of u?
False
Let g(o) = 21*o - 20. Let d = 49 - 47. Is g(d) a multiple of 11?
True
Suppose 53*b - 55*b = -234. Is 13 a factor of b?
True
Suppose -41 = 4*r - 1161. Is 8 a factor of r?
True
Suppose -2*w - 106 + 406 = 0. Is 25 a factor of w?
True
Does 15 divide 6/(60/9650) - -10?
True
Suppose -24*u = -19*u. Suppose 6*j - 380 - 88 = u. Does 22 divide j?
False
Let s be (150/125)/((-1)/(-5)). Suppose 0 = s*c - 54 - 54. Is 11 a factor of c?
False
Let p(u) = u**3 + 21*u**2 - 10. Let f be p(-21). Let s(h) be the first derivative of 2*h**3/3 + 7*h**2 - 9*h + 2. Is 17 a factor of s(f)?
True
Let f be -3*1/3 - -34. Let j = -18 + f. Is (68/(-5))/((-3)/j) a multiple of 16?
False
Let i = 29 - 33. Is (-470)/(-4) + -1 + 2/i a multiple of 15?
False
Let m be 18/(-24) - 1108/16. Let a = 111 + m. Does 16 divide a?
False
Let n(x) = -1. Let f(s) = -9*s + 3. Let m(b) = f(b) + 2*n(b). Let g be m(1). Does 9 divide 12/g*80/(-6)?
False
Let v = 2 + 4. Let y(q) = -q + 35 - 4*q + v*q + 7. Is 20 a factor of y(0)?
False
Let y(t) = -t**3 + 12*t**2 - 11*t - 24. Let b(k) = -3*k**3 + 37*k**2 - 34*k - 73. Let i(l) = -6*b(l) + 17*y(l). Does 2 divide i(17)?
True
Is 24 a factor of 2/(-6)*3 + 416?
False
Suppose 5*y + 4*m - 895 = -30, 0 = -4*m. Suppose n + 5*q - 19 = 0, -4*n = 4*q + 17 - y. Is 4 a factor of n?
True
Let h = -255 - -135. Let q = 83 + h. Let g = q - -63. Does 13 divide g?
True
Suppose 8*b = 5*b + 24. Is 4 a factor of b?
True
Let l(z) = 30*z + 120. Is 45 a factor of l(8)?
True
Suppose 4*w - 8*m - 1882 = -6*m, 0 = 3*w - 5*m - 1394. Is 11 a factor of w?
True
Let q = -123 - -292. Is q a multiple of 9?
False
Suppose -h + x + 1 = 0, -4*h = -3*x - 0*x - 7. Suppose -h*b + b = -216. Does 9 divide b?
True
Let s = -429 - -909. Does 60 divide s?
True
Let d = -296 + 323. Is d a multiple of 12?
False
Suppose -b - 1 + 3 = 0. Let v(t) = -4*t - b*t + 5*t - 11*t - t**2 + 5. Is v(-10) a multiple of 10?
False
Let y be 3 + (4 - 3)/(-1). Let k = y + 5. Suppose -k = -3*a + 236. Does 27 divide a?
True
Suppose 5*q + 2*i - 16373 = 0, 8*q - 10*q + i = -6551. Does 25 divide q?
True
Let r(v) = v**3 - 16*v**2 - 4*v + 2. Is 59 a factor of r(17)?
False
Let w = 0 - 1. Let t(b) = 247 - b - 45*b**3 - 247 - 2*b**2. Is t(w) a multiple of 26?
False
Let r = 27 + -21. Let d = r + 30. Is 1/(3/d - 0) a multiple of 7?
False
Let u = -37 + 42. Suppose u*v - 820 = 4*h, -249 - 366 = -4*v