 Let x be (o - -4) + (19 - 0). Is (x/20)/((-2)/(-215)) a multiple of 13?
False
Suppose -3*k + 4 = 2*s - 13, 3*k - 9 = 0. Suppose 2*n = f + 2*f - 333, 439 = s*f - n. Let m = 26 + f. Does 27 divide m?
True
Let y(q) = -103*q + 3. Let v be y(-1). Let b = -219 + v. Is 3 a factor of 2/5 - (-3 + b/5)?
False
Suppose 5*m + 5*s = 2*m - 208, s = 2*m + 117. Let w = 61 + m. Suppose 2*v - 74 - 42 = w. Is 22 a factor of v?
False
Let z be ((-464)/(-174))/((-2)/3)*-2. Let x = 3 + 3. Let q = x + z. Is q a multiple of 14?
True
Let l(k) = -k**2 - 7*k - 1. Let r be l(-1). Suppose -16*v + 5 = -17*v, -4*f + r*v + 369 = 0. Is f a multiple of 26?
False
Let l be 40/20 + (1 - 1). Suppose 6*q = b + 3*q + l, 0 = b + 4*q - 5. Is 10 a factor of ((4/(-5))/b)/((-14)/280)?
False
Suppose -3*z - 167 = 2*r, 4*z = 4*r + 304 + 60. Let h be (-16296)/r - 4/22. Suppose h + 376 = 3*q. Is q a multiple of 17?
True
Suppose -222*c - 149470 - 76675 = -253*c. Is c a multiple of 100?
False
Let n be 3*(-9 - (-9 + 1)). Is 41 a factor of (98*104/24)/((-2)/n)?
False
Suppose -12 = -11*d + 10*d. Suppose -d*w = 304 - 832. Is 11 a factor of w?
True
Let j(f) = 2*f**2 + 4*f - 2. Let p be j(-3). Suppose 5*y = -10, 0 = -2*n + p*y + 11 + 7. Suppose -3*r + 44 = b, -3*b + 2*r - n*r + 156 = 0. Is 8 a factor of b?
True
Let h(m) = -m**3 + 46*m**2 + 131*m - 32. Does 18 divide h(46)?
True
Suppose 23*d - 20*d + 2*z - 782 = 0, 256 = d - 4*z. Is d a multiple of 13?
True
Suppose 78*a - 30*a = 169824. Does 9 divide a?
False
Let k = 7013 + -319. Is 119 a factor of k?
False
Let m(g) = 1035*g**2 + 296*g + 1200. Is 39 a factor of m(-4)?
False
Does 26 divide ((-13)/(-3) - 0)/(341/693594)?
True
Let w(s) = 2*s**2 - 12*s - 13. Suppose -y = 5*x + 36, 19 = -4*x + 2*y - 7. Let q be w(x). Let m = q - 93. Is m a multiple of 13?
False
Suppose -h + 7324 = 5*y, 5*y - 14638 = 42*h - 44*h. Is h a multiple of 6?
True
Let z(r) = -r**2 + 9*r + 4. Let v be z(8). Suppose 2*p = 34 - v. Suppose -p*o - 760 = -16*o. Is o a multiple of 38?
True
Suppose -2*a = 33*a - 176715. Is 99 a factor of a?
True
Let g = 2527 - 266. Is 17 a factor of g?
True
Let b = 39 + 5. Suppose -b = -10*u + 36. Suppose 640 = 18*g - u*g. Is g a multiple of 16?
True
Suppose 10*v - 8*v = -2*q - 2268, -4*v = -4*q + 4536. Let i = 1848 + v. Is i a multiple of 42?
True
Let y = 33 - 9. Let n = 390 + -366. Suppose 25*a = y*a + n. Does 7 divide a?
False
Let q(u) = u + 21. Let h(r) = -2*r - 152. Let g(x) = -h(x) - 5*q(x). Suppose -2*s - 2*s = 0. Does 12 divide g(s)?
False
Let r = -180 + 384. Let h = -12 + r. Let a = h - 135. Is 19 a factor of a?
True
Suppose -8*x = -3*x + 5. Let p be x + (-1 - -4) + -3. Let i(v) = -112*v**3 + v**2 + v. Is i(p) a multiple of 28?
True
Let x(b) be the second derivative of 17*b**3/6 - 3*b**2/2 - 3*b. Let k be (8/(-60))/(1/(-15)). Is 2 a factor of x(k)?
False
Suppose 7*u + 24 = 3*u. Let m(h) = h**3 + 6*h**2 - 8*h + 3. Let k be m(u). Suppose 52*d - 96 = k*d. Does 24 divide d?
True
Suppose 2*y - 3 = 2*t + 37, 3*t + 110 = 5*y. Suppose 0 = -n + 11 + y. Does 18 divide n?
True
Let a(f) = -f**2 + 16*f + 420. Let s be a(-15). Does 6 divide (-6)/s - 18939/(-45)?
False
Does 58 divide (-101787)/(-15) + (-19)/(-95)?
True
Suppose -36*o - 15 = -33*o. Let k(d) = d + 3. Let t be k(o). Does 23 divide (t*17/(-4))/(12/264)?
False
Let s = 166 + -374. Let b = 490 + s. Is b a multiple of 15?
False
Suppose -3*s + 1 = 2*v + 3, 5*v = -2*s + 17. Let k = -255 - -343. Suppose v*h - k + 23 = 0. Is h a multiple of 4?
False
Let o(a) = -23*a**3 + a**2 + 7*a - 4. Let f(n) = -n**3 + n**2 - n + 1. Let w(c) = -2*f(c) - o(c). Does 3 divide w(2)?
True
Let w = 9 + -10. Let h(r) = 51*r**3 - 2*r**2 + r + 3. Let q(b) = 24*b**3 - b**2 + b + 2. Let o(c) = 2*h(c) - 5*q(c). Is o(w) a multiple of 18?
True
Suppose 35*y - y + 14*y - 2192688 = 0. Is 25 a factor of y?
False
Let g be (3 - -23)*1/(-2)*1. Let n be (6/(-5))/((-4)/190). Let h = g + n. Is 32 a factor of h?
False
Let q be -9*(3/(-1) - (-140)/60). Suppose 5*c + q = 2266. Let w = -260 + c. Is 24 a factor of w?
True
Let o(j) = -j**2 - 4*j + 24. Let s be o(3). Let t be ((-4)/5)/(4/(-5930)). Suppose -4*c - 2*n = -t, 879 = 3*c + n - s*n. Does 59 divide c?
True
Let n be 9/63 + (-8)/7 + 95. Suppose n*d + 243 = 103*d. Is 27 a factor of d?
True
Let f = -8362 + 16561. Does 125 divide f?
False
Let r be (-1*-5*2)/2 - 0. Let u be 1/(-3)*135/r. Is 9 a factor of 2*(24/u)/(1/(-3))?
False
Suppose -13*a - 3*l - 23631 = -14*a, -3*a + 70963 = l. Is 81 a factor of a?
True
Let k = 4531 + 6129. Does 8 divide k?
False
Let l = 343 + -413. Does 33 divide (7/l*-5)/(2/2932)?
False
Suppose -2*h + 8 = -24. Suppose c - 5*b = 2*c - h, 2*c = 3*b + 32. Suppose 64 = 4*x + c. Does 3 divide x?
True
Suppose 0 = 4*i - 3*g + 6, 5*g - 2*g = 6. Suppose 3*n = 5*u - 8*u + 996, i = 2*n - 3*u - 689. Is 7 a factor of n?
False
Let k(w) = w**3 + 13*w**2 + 11*w + 24. Suppose 2*a = 3*a + 3*y + 18, -4*a + y - 46 = 0. Let s be k(a). Suppose -s = -42*c + 38*c. Is c a multiple of 9?
True
Suppose -26*q = 15*q - 23534. Is 5 a factor of q?
False
Let l = 1689 + -495. Suppose -2*j + 3*d = -4*j + 1202, d + l = 2*j. Is j a multiple of 18?
False
Let s be (-180)/(-40)*(-12)/(-27). Suppose -6*q + 2*q = -5*k - 994, 4*q = -s*k + 980. Does 5 divide q?
False
Let m(z) be the first derivative of z**2 - 31*z - 3. Let b be m(17). Is (b - 7) + (-125)/(-1) a multiple of 18?
False
Let z = 14881 - 8406. Does 25 divide z?
True
Let p be ((-1)/((-4)/1766))/(3/6). Let l = -503 + p. Suppose 0 = -2*k + 3*b - 0*b + l, 2*b = 8. Does 14 divide k?
True
Let q be 292/74 + (-6)/(-111). Let p be -66*(-5)/((-10)/(-108)). Is 50 a factor of q/5 - p/(-20)?
False
Suppose 12*b + k + 117 = 15*b, -3*b + 117 = -2*k. Suppose 3718 = b*l - 17*l. Is l a multiple of 13?
True
Let r = 1075 - -7075. Is 25 a factor of r?
True
Let j(m) = 192*m**2 + 10*m - 30. Let y be j(3). Suppose y = 21*o - 2766. Is 45 a factor of o?
False
Suppose -b - 3*b - 12 = 0. Let c be ((b - -3)/(-1))/(-1 + 3). Suppose c*g - 5*g + 80 = 4*w, -12 = -3*g. Is w a multiple of 3?
True
Let p = -34 + 147. Let z be (p/2)/((-7)/56). Does 14 divide z/(-14) + (-20)/70?
False
Let z(f) = 7119*f**3 + 2*f**2 - 110*f + 108. Is z(1) a multiple of 253?
False
Suppose 0 = -5*r + v + 60, -3*v = -v + 10. Let t(q) = 5*q**2 - 37*q + 15. Let f be t(r). Suppose 5*o - f - 397 = 0. Is o a multiple of 29?
False
Let y(s) = -288*s**3 + 3*s**2 + 10*s + 2. Does 44 divide y(-3)?
False
Let p = 23007 + 4869. Is 69 a factor of p?
True
Suppose 4*t - 2*s - 18170 = 1804, 5*t - 5*s = 24960. Does 27 divide t?
True
Let j = 6 - 3. Let x be ((3 - j)/4)/1. Suppose -2*u = -3*g + 23, -5*g - 4*u - u + 55 = x. Is g a multiple of 2?
False
Let f(j) = -j**3 + 3*j + 1. Let d be f(-2). Let c = 1 + d. Is ((-4)/(-10))/(c/160) a multiple of 3?
False
Suppose 23*r - 51080 = 18*r - 5*m, -m = -2*r + 20417. Is 42 a factor of r?
False
Let b(h) = -h**3 + 14*h**2 + 5*h - 28. Let g be 1 + 2 + 1 + -4. Suppose g = 24*y - 23*y - 14. Is 21 a factor of b(y)?
True
Suppose 0 = 32*c - 50*c - 2826. Let s = 170 + c. Does 2 divide s?
False
Suppose 5*v = -2*t + 19761 + 22369, 0 = -6*t + 30. Does 138 divide v?
False
Let l = 6028 - 5989. Is 39 a factor of l?
True
Suppose 3*v - 31 = 4*b, 5*v - 6*b - 33 = -4*b. Is 5 a factor of (962 + 7)/(15/v)?
False
Let a(g) = 2119*g - 1151. Does 137 divide a(3)?
True
Suppose 192 = -4*p + 5*k + 45, -k + 37 = -p. Let d = p + 38. Let h = 22 + d. Is 22 a factor of h?
True
Suppose -4*d + 4*v = -12, -4*d + 2*v = 1 - 13. Suppose -i - 3*m + 156 = 0, -4*m = -d*i + 124 + 396. Is 24 a factor of i?
True
Let a = -28 + 42. Suppose -4*r - 2*g + 9 = -3*r, 3*g = 4*r - a. Let b(s) = s**3 - 3*s**2 - s - 6. Is 25 a factor of b(r)?
False
Let j(a) = a**3 - 5*a**2 - 12*a + 19. Let z be j(9). Let q = -168 + z. Is 5 a factor of q?
False
Let c(h) = 210*h - 56. Let r be c(4). Suppose -4*o + 1120 + r = 0. Does 17 divide o?
True
Let k be 6*1*6/4 + -2. Suppose 0 = k*y - 2*y - 25. Suppose 3*h = 9, j - y*h = 3*j - 329. Is 18 a factor of j?
False
Suppose 12609 = 3*i + 3*g, 137*i - 139*i = 4*g - 8396. Is i a multiple of 16?
True
Let s(d) = -2*d**2 + 30*d - 58. Let y be s(14). Is 3 a factor of (-2 + 938/4)*y/(-45)?
False
Let t be (2 + 0 + 470)*(2 - 0). Suppose -t = -3*b - 53. Is 15 a factor of b?
False
Let p = -655 - -662. Let x(l) = -7*l + 22. Let d(n)