 4*y = -v. Suppose w = -12*h + 13*h. Is h a multiple of 15?
False
Let c be (-4)/1 + 1 + 1 + -12. Let f be (-2)/c - 1312/(-28). Suppose 0 = -5*d + 2*p + 1052, 4*p + 377 + f = 2*d. Does 31 divide d?
False
Let d(n) = 1036*n**2 - 33*n - 448. Is d(-6) a multiple of 18?
False
Suppose r - 2*r = z - 4, 4*r - 4 = 2*z. Let n be ((-557 - r) + 4)*-1. Suppose -2*o - o + n = 0. Does 23 divide o?
False
Let w be (42/18)/((-1)/(-3)). Suppose -12*b = -w*b - 175. Is b a multiple of 5?
True
Let j(w) = -w**3 + 6*w**2 + w - 9. Let q(m) = 4*m**2 + 2*m. Let h be q(1). Let l be j(h). Is 8/l*-132 + -2 + 0 a multiple of 50?
True
Let v = 132 - 91. Suppose -4*t + v = 1. Is 31 a factor of (6/t)/(4/1180)?
False
Let j = -20580 + 44565. Is 34 a factor of j?
False
Let k(g) = 2*g**3 - 98*g**2 + 135*g. Does 44 divide k(51)?
False
Suppose 0 = 96*l - 38*l + 90*l - 989824. Does 22 divide l?
True
Let a(r) = 3*r**2 + 4*r + 2. Let s be a(-4). Suppose 0 = 6*b + s + 236. Is 9 a factor of ((-27)/2)/(b/120)?
True
Let t = -2170 + 5010. Is 34 a factor of t?
False
Suppose q = 2*g - 6*g + 2378, g = 4. Suppose 10*d = 38 + q. Is 24 a factor of d?
True
Let x = 1146 - -900. Is x a multiple of 53?
False
Let d(u) be the first derivative of u**4/4 + 2*u**3 + 11*u - 14. Let v be d(-8). Let p = 215 + v. Does 10 divide p?
False
Let i(v) = 37*v**2 + 6*v - 17. Let w(o) = 37*o**2 + 5*o - 17. Let y(s) = -5*i(s) + 6*w(s). Is 11 a factor of y(3)?
False
Suppose -32 + 7 = -5*h. Let w(y) = -y**2 - 19*y - 70. Let a be w(-12). Suppose -4*j - a = -h*j. Is j a multiple of 7?
True
Suppose 2*b + 512 = 2*v, 5*v + 150 = -4*b + 1421. Suppose 4*z = 0, 2325 = -3*a + 8*a + 4*z. Suppose -a - v = -9*j. Does 10 divide j?
True
Is 10 a factor of 11431 + -10 + 3*11/(-3)?
True
Let r = -27 + 27. Suppose 51*m - 59*m + 832 = r. Is 13 a factor of m?
True
Suppose -5*j + 4*j = 32. Let t be (1 - j/(-6))*15. Let g = t - -299. Is 18 a factor of g?
True
Let t = 72 + -68. Suppose 4*u + 4*n - 15 = -3, 2*u - 24 = t*n. Suppose -u*r - 171 = -9*r. Is 27 a factor of r?
False
Suppose 8*w = 3*b + 3215, 0 = -2*w + 4*b + 53 + 767. Is 5 a factor of w?
True
Let v(o) = -187*o - 17. Let x be v(-9). Let t = x - 892. Is t a multiple of 43?
True
Suppose 0 = 22*c - 20*c - 952. Let l = -76 + c. Is l a multiple of 50?
True
Does 16 divide 4/(-7) + 1012/7?
True
Is 34 a factor of 0/((-75)/5) - -7344?
True
Let r = -187 + 189. Suppose 0 = 3*y + 5*g - 176, -r*y - 5*g = -36 - 78. Does 3 divide y?
False
Let k = 251 - -5. Let i = k + -193. Does 21 divide i?
True
Let c = 474 - 474. Suppose 1344 - 286 = 5*p + 2*h, c = -2*h + 8. Is 5 a factor of p?
True
Suppose 29*v = 4*u + 30*v - 8173, 0 = -3*u + 3*v + 6141. Is u a multiple of 7?
True
Let k be 47 - -3 - 3/3. Suppose -4*v + 3*v - 9 = -5*p, -3*v - 5 = -4*p. Suppose p*z - k = 35. Is 21 a factor of z?
True
Let t(i) = 0*i**2 + 17 + 8*i - i**2 - 3*i**2 + 5*i**2. Let j be t(-8). Is 323/j*2*1/2 a multiple of 19?
True
Suppose -3*l - 2*b + 19 = 0, 3*l + 3*b - 12 = 12. Suppose l*z - 5*x - 235 = 0, 2*z + 3*x = -0*x + 125. Is 4 a factor of z?
False
Suppose 11*f = -185 + 493. Suppose 32*d - 1938 = f*d + 2*w, -5*d = w - 2433. Does 27 divide d?
True
Let z = 3671 - 2257. Is z a multiple of 10?
False
Let d = 3755 + -2643. Suppose 5*z - 2*b - d = 0, 39*b + 888 = 4*z + 37*b. Is 8 a factor of z?
True
Let u be (-27*(-6)/9)/2. Suppose -u - 4 = -j. Is 2 + -1 - (-1222)/j a multiple of 19?
True
Suppose 2*u + 6*u - 24288 = 0. Is u a multiple of 23?
True
Let x(q) = -q**2 - 6*q + 28. Let o be x(3). Is 28 a factor of o + (2 + 81 - (1 + -1))?
True
Suppose -48 + 12 = 9*x. Does 39 divide (-10)/20 + (-1562)/x?
True
Suppose 18 = 13*n - 21. Suppose -5*h + 2*l = -78, l = n*h - l - 50. Does 7 divide h?
True
Let h(b) = 4*b + 33. Suppose -5*k = 2*t + 43, 5*k = 4*k + 4*t - 13. Let m be h(k). Does 11 divide ((-308)/63 - (-4)/18)*m?
False
Is 171 a factor of ((18/(-4))/((-9)/(-39)))/(14/(-7980))?
True
Does 33 divide ((-4)/((-4)/(-1011)))/(1 - 64/56)?
False
Suppose 4*m - 83 = 245. Suppose 60 + m = -2*v. Let g = v + 197. Does 21 divide g?
True
Let y be 122/(-10) - (0 - 4/20). Let p be (-2)/((y/(-200))/(2*-3)). Let m = 342 - p. Does 31 divide m?
False
Suppose -n + 3*z + 1419 = 0, 3*n + 2*z + 586 = 4799. Is 82 a factor of n?
False
Suppose 0 = -111*w - 215*w + 4850228. Is 8 a factor of w?
False
Let o = -1404 + 3590. Suppose 20*g + 2*t = 16*g + o, -5*g = 4*t - 2734. Is g a multiple of 42?
True
Suppose 0 = 3*j - 3*b - 3, 3*j - j + 10 = 5*b. Suppose -l + 296 - 1079 = -5*c, 639 = 4*c - j*l. Let k = -106 + c. Does 5 divide k?
True
Let v be 1*3/((-9)/24). Let b be 5096/(-77) + (v/(-22))/2. Let m = -56 - b. Is 4 a factor of m?
False
Let w = 6638 + 9673. Does 4 divide w?
False
Let u = 3827 - 1783. Is u a multiple of 4?
True
Let x(m) = 276*m + 2542. Does 115 divide x(28)?
False
Suppose 0 = 2*c - 0*c + 2*z - 8, 0 = -5*z - 5. Suppose 0 = c*m + 296 - 476. Does 4 divide m?
True
Suppose 193088 = 55*m - 44292. Is 52 a factor of m?
True
Let r = 81 - 76. Suppose r*g - 13*g = -2040. Is g a multiple of 17?
True
Let y(l) = -4*l + 44. Let z be y(-2). Is (-65)/z - (-7625)/20 a multiple of 76?
True
Suppose -7*x - 68331 - 65649 = 0. Is 90 a factor of -5*1/4 - x/16?
False
Let c be (-11772)/(-27) - (4 + -1). Let r = -311 + c. Is 26 a factor of r?
False
Let j = -10848 + 16402. Is 121 a factor of j?
False
Let a = -12468 - -24490. Is a a multiple of 11?
False
Suppose -5*c - 19 = -2*c - 5*a, -3*c = -2*a + 4. Is ((-129)/c)/((-29)/290) a multiple of 15?
True
Let d(p) = 9*p - 13 - 4 + 18*p. Let c = 2974 + -2970. Is d(c) a multiple of 7?
True
Suppose -3*f = 212 + 1504. Let c = -409 - f. Let v = -64 + c. Is 17 a factor of v?
False
Suppose 119 = 2*z - 3*s, 3*z + 4*s - 111 - 25 = 0. Suppose -z*m = -54*m + 492. Suppose -4*a = -m - 66. Is 7 a factor of a?
False
Let l(y) = -168*y - 415. Suppose -2*g = -2*s - 0*s + 32, -4*g = 4*s + 24. Is l(g) a multiple of 67?
False
Suppose -3*c - 252 = -3*a, -4*a - 3*c + 312 = -c. Let x = a + 88. Is 14 a factor of x?
True
Let u(d) = 7*d**2 - 61*d + 1482. Is u(29) a multiple of 8?
True
Suppose 4*m - m - 2*a + 27 = 0, 18 = -2*m - a. Let u = 43 + m. Suppose 7*d + 6 = u. Is 4 a factor of d?
True
Let f = 44 - 44. Suppose -u - 3*l = -233, f = -l + 4 - 3. Is 18 a factor of u?
False
Let g be 10/25 + (-32)/(-20). Does 16 divide (2877/(-3) - -5)*g/(-4)?
False
Let c(n) = 118*n**2 - 40*n + 1016. Is 14 a factor of c(12)?
True
Let o(b) = -289*b**2 + b - 1. Let a be o(1). Let p be -6 - ((-6)/(-10) + 7/(385/6677)). Let f = p - a. Is f a multiple of 25?
False
Let k = -263 + 267. Suppose k*v = 18*v - 5992. Is v a multiple of 56?
False
Let o(x) be the third derivative of 13*x**4/12 + 2*x**3 - 55*x**2. Is o(6) a multiple of 56?
True
Let p(n) = n**2 + 86*n + 8381. Is 34 a factor of p(-103)?
True
Let b = -22 + 26. Suppose b*q = -d - 43, -13 = q - 5*d + 6*d. Is 11 a factor of (-33)/(((-4)/q)/((-6)/5))?
True
Let v = 13369 + -8501. Is 10 a factor of v?
False
Suppose -h = -5*p + 2*p - 2475, -2*p + 9886 = 4*h. Is h a multiple of 24?
True
Suppose -2*y = 2*n + y - 3104, -3*y = 5*n - 7742. Suppose -5*k = 3*w + n, -5*k = 4*w + 913 + 1145. Let m = w + 747. Is m a multiple of 47?
True
Suppose -4*z + 23 - 11 = 0. Suppose 0 = -2*p - j + z, 0 = -2*p + 6*p - 3*j - 1. Is p/((-20)/105)*-4 a multiple of 10?
False
Let f(o) = 15*o**2 + 268*o - 434. Does 31 divide f(-53)?
True
Let a(c) = 337*c + 114. Let g be a(3). Suppose 4*y - g = -3*z + 1420, 1915 = 3*y + z. Is 32 a factor of y?
True
Let t = -121 - -83. Let x = t - 19. Let p = 83 + x. Is p a multiple of 13?
True
Let d = -28 - -18. Let k be 0/(2*5/d). Does 30 divide 117 - 2 - (k + -4)/(-4)?
False
Suppose -283*g + 2*o + 662 = -282*g, 0 = -3*g + 5*o + 1982. Is g a multiple of 26?
False
Let n(h) = 314*h + 97. Let b(o) = -318*o - 96. Let z(r) = -4*b(r) - 3*n(r). Is 10 a factor of z(2)?
False
Let f be (10/4)/(-5 + (-93)/(-18)). Suppose 19*k = f*k + 72. Is 6 a factor of k?
True
Let k(v) = 4*v - 18. Let x(g) be the third derivative of g**5/30 + g**4/3 - 7*g**2. Let f be x(-5). Does 11 divide k(f)?
True
Let k = 923 + -920. Is (-10)/(10/k) - -1 - -1286 a multiple of 30?
False
Let a = 10543 + -10369. Is 7 a factor of a?
False
Suppose 0 = 19*d - 6*d - 3809. Suppose -4*h = -d + 65. Is h a multiple of 3?
True
Is 10155/(6492/(-504) + 13) - (-2 - -6) a multiple of 47?
False