 z a multiple of 7?
False
Suppose -9 = -3*o, 0 = 23*p - 27*p - 3*o + 401. Does 2 divide p?
True
Let g(w) = w**2 + 9*w + 3. Let r be g(-6). Let h be 138/4*(-20)/r. Let m = h - 31. Is m a multiple of 14?
False
Suppose -2*z = -z - 53. Let k = -18 + z. Suppose 2*y - 13 = k. Is 12 a factor of y?
True
Suppose -3*h = 4*w - 136, -2*h = -0*h. Suppose 2*p = b + p - 6, -4*b = -5*p - 24. Is 5*b/15 + w a multiple of 8?
False
Let v(o) = -7*o**3 + 3*o**2 + 2*o + 1. Let w be v(-2). Suppose 4*q + 47 + 76 = 5*p, -q - 2*p = 21. Let k = w + q. Is 13 a factor of k?
False
Let v be ((-1)/3)/((-16)/96). Suppose -z + a + a = -77, -v*a - 417 = -5*z. Does 17 divide z?
True
Let n(f) = -52*f**3 - f**2 - 2*f - 1. Let v be n(-1). Let c = 201 - v. Does 11 divide c?
False
Let d = 68 + -111. Let n be (0 + d)/(-1) - 2. Suppose -f + 0*u = u - n, -4*f = -u - 154. Does 23 divide f?
False
Suppose 3*z - 3*h + 8*h - 72 = 0, 0 = -2*z + 5*h + 23. Is 2 a factor of z?
False
Suppose -7*l + 95 = -6*l. Is 12 a factor of l?
False
Suppose -2*y - 5*r + 23 + 0 = 0, -r + 19 = 2*y. Let k = y + -4. Suppose 0*o + 80 = k*o. Is o a multiple of 14?
False
Let v(n) = n + 12. Let d = -28 + 17. Let m be v(d). Does 12 divide -3 - m - -28*1?
True
Let b(o) = 2*o**3 - 12*o**2 + 2*o + 3. Suppose 3*p + 1 - 3 = -4*f, 3*f + 24 = 2*p. Is b(p) even?
False
Let j = 1040 + -77. Does 34 divide j?
False
Let o = -132 - -130. Does 8 divide (0 - o) + -1 + 1*182?
False
Let p(t) = 16*t - 21. Let y be p(11). Suppose -6*j = -y - 1015. Does 9 divide j?
False
Suppose 2*r + w + 4 = 3*r, -8 = 4*r + 2*w. Suppose 2*i - 6 = r, 118 = -0*d + 2*d + 2*i. Suppose -4*p + d = -308. Is p a multiple of 18?
False
Let f be 1/3 - 28/12. Is 13 a factor of (-63 + f)/(-4 - (4 - 7))?
True
Suppose -4*d + 5*d + 2*v - 365 = 0, 5*v = 5*d - 1765. Is d a multiple of 17?
True
Let q be (3 + -18)*44/(-6). Suppose q = 4*a - 2*u + 10, -4*a + u + 102 = 0. Suppose a*m - 25*m = 26. Is m a multiple of 13?
True
Suppose 4*s + 4*d - 4106 - 2714 = 0, -3*s + 5119 = 4*d. Is 22 a factor of s?
False
Let u be (-12)/36*(-60)/2. Let x be (4 - (-3 + u)) + 32. Suppose -5*z + 61 = -x. Is z a multiple of 14?
False
Suppose -862*m + 6786 = -859*m. Is 17 a factor of m?
False
Let c = -4 - 0. Let a be 244/(-16) + c/(-16). Does 15 divide 310/(-4)*12/a?
False
Let s = -3 + 9. Is (s - 5)/(1/11) a multiple of 3?
False
Is 32 a factor of 19/7*355 + (-28)/49?
False
Suppose -f - 10 = -8. Let z(g) = g**3 + 2*g**2 - 3*g - 3. Let a be z(f). Suppose -8*o + 350 = -a*o. Is 10 a factor of o?
True
Let o = 18 + -20. Let w be 55/(-3) - (-2)/(-3). Let d = o - w. Is 9 a factor of d?
False
Let t be (14/(-3))/7*6 + 3. Suppose -n + v = 31, -200 = 5*n + 4*v - 0*v. Does 12 divide (n/16)/(t/8)?
False
Let o = 11 + -8. Suppose -o*s - 32 = s. Does 5 divide (-158)/s + (-1)/(-4)?
True
Suppose -4*l = -0 - 8. Suppose 0 = -3*v + l*a + 104, 2*v + 3*v = -3*a + 148. Is v a multiple of 11?
False
Suppose k - 3*i = -2*i + 117, 0 = 4*k + 4*i - 508. Suppose -4*d = -386 + k. Is 34 a factor of d?
False
Let s(b) = 13*b**3 + b**2 - 3*b + 4. Let q(j) = 3*j + 11. Let o be q(-3). Does 8 divide s(o)?
False
Suppose 0 = -3*x + 2*y + 28, -3*x - 4*y - 8 = -x. Let n be ((-3)/6)/(1/(-96)). Suppose 4*a = -3*z + n, a = -x*z + 2*z + 12. Is a a multiple of 4?
True
Suppose -10*k + 417 = -1533. Is 14 a factor of k?
False
Let n(z) = 7*z**3 - 8*z**2 + 24*z - 42. Is n(6) a multiple of 6?
True
Let d be 1 - ((-24)/20 - (-8)/(-10)). Suppose 6*o = -4*p + o + 64, -48 = -d*p + 2*o. Is p a multiple of 2?
True
Suppose h - s - 4*s + 135 = 0, 5*h + 4*s + 704 = 0. Let c = -32 - h. Suppose -39 + c = q. Is 23 a factor of q?
True
Suppose -z - z + 2 = 0. Let d(u) = 2*u**3 + u**2 - u. Let a be d(z). Suppose -2*i - a*b = i - 206, b = 5*i - 352. Is 23 a factor of i?
False
Let r(w) = -5*w + 5. Let l be r(1). Suppose 3*g = -l*g + 513. Is 30 a factor of g?
False
Suppose -5*f + 7637 = -408. Does 31 divide f?
False
Let n(t) = 2*t**2 + 14*t - 11. Let p be n(-12). Suppose -139 = -4*b + p. Is b a multiple of 39?
False
Let a(g) = g + 9. Let v be a(-9). Suppose -x + 2*x = v. Does 7 divide x + (-2 - (-3 + -6))?
True
Suppose -4*s + 5 = -8*s + c, 0 = 3*c - 15. Suppose s = d - 4*v + v - 57, 3*d + 5*v = 157. Is 18 a factor of d?
True
Let q(n) be the second derivative of 217*n**4/12 - n**2/2 - n. Let u be q(-1). Is 11 a factor of (-6)/(-15) - u/(-10)?
True
Let g = 2728 + -1904. Is g a multiple of 33?
False
Let h = 4 + -2. Let v(n) = n**2 + 5*n + 4. Let k be v(4). Let t = k - h. Does 19 divide t?
True
Suppose -b = -0*b - 5*o - 468, -b + o + 488 = 0. Is 17 a factor of b?
True
Let a(s) = 160*s**2 + 7*s - 2. Does 13 divide a(-2)?
True
Let z be (1 + -16)/(-5)*(1 - -2). Suppose -900 = -z*c - c. Is 18 a factor of c?
True
Suppose 64 - 1324 = -4*u. Suppose -2*f = 3*f - g - 730, -2*f = -5*g - u. Does 30 divide f?
False
Suppose 5*a - 5*r + 2 = -8, 0 = -r + 4. Suppose 0 = -4*y + a*z + 50, 0 = y - 2*z - z - 25. Is y a multiple of 6?
False
Is 48 a factor of (-1268)/16*(-1 + 5 + -8)?
False
Let l be (1 - 71)*(-24)/20. Suppose -4*k + 32 = -l. Suppose 0 = -13*q + 12*q + k. Is 15 a factor of q?
False
Suppose 0 = 9*k - 701 + 44. Does 13 divide k?
False
Let b(s) = -1 - 7*s**2 + 18*s**2 + 7 + 0 - s**3. Is 2 a factor of b(11)?
True
Let w = 8327 - -553. Is (-2)/(-7) - (w/(-35) + 2) a multiple of 25?
False
Suppose m + 2*p - 1203 = 0, 8*p + 5973 = 5*m + 4*p. Is 133 a factor of m?
True
Let i(j) = -101*j + 52*j + 3*j**2 + 43*j. Does 7 divide i(7)?
True
Let z(p) = 76*p + 2. Let h(o) = -37*o - 1. Let x(l) = 5*h(l) + 2*z(l). Is x(-1) even?
True
Let l = -5 - -28. Let t = l - -129. Is 16 a factor of t?
False
Is 11 a factor of 2813/2 + (15 - 32)/34?
False
Let o = 4672 + -3088. Is o a multiple of 18?
True
Let m be 1*-2 + 2 - -67. Let s(j) = -9*j**3 + 5*j + 5. Let l be s(-1). Suppose z + l = m. Is 13 a factor of z?
False
Let i = -38 + 41. Suppose -476 = i*g - 10*g. Does 17 divide g?
True
Let p = 0 + 2. Let c = -13 - -16. Suppose c*v + 24 = 2*q - p*v, q - 6 = v. Does 2 divide q?
True
Suppose 0 = -5*u - 0*u - i + 180, -u + 2*i = -47. Is 3 a factor of u?
False
Suppose 121*d - 108*d = 30212. Does 83 divide d?
True
Suppose 2*p = 23 + 1. Let r be p/(-42) - (-2)/7. Suppose r = -3*d + 6, 4*g - 7*d = -2*d + 26. Is 2 a factor of g?
False
Let o(m) = -m**2 - m + 1. Let c(n) = 3*n**2 + 14*n. Let f(r) = c(r) + 2*o(r). Let x(p) be the first derivative of f(p). Does 5 divide x(8)?
False
Suppose -4*n - 3*z + 2825 = 0, 214 = n - 4*z - 478. Does 8 divide n?
True
Let u = -81 - -88. Does 14 divide 1*(-3)/u + (-1504)/(-14)?
False
Suppose -5*q = -56 - 714. Suppose 206 = 4*p - h + 797, -p - h = q. Let j = -77 - p. Is 23 a factor of j?
False
Suppose 5*t = -87 + 397. Suppose -3*m + t = -67. Suppose -3*n - m = -2*v - 0*n, -5*n = -5. Does 11 divide v?
False
Is (-1571)/(-11) - ((-36)/33)/6 a multiple of 11?
True
Let c = 8 - 10. Does 4 divide (-2 + 5)*(3 - c)?
False
Is -9 + 940 - (-4 - -4) a multiple of 42?
False
Suppose 3*y - 17 = -l, 2*y = -4*l + 14 + 14. Suppose h = -h + 3*b + 98, -5*h + y*b + 259 = 0. Is h a multiple of 23?
False
Let g(k) = 2*k - 8. Let t be g(7). Let b(p) = -p**3 + 7*p**2 - 8*p - 2. Let c be b(t). Does 11 divide (-710)/c + 18/63?
False
Suppose 0 = 12*r - 7*r - 290. Is r a multiple of 12?
False
Suppose -32 - 72 = -4*w. Suppose -w = 2*a - 276. Is 31 a factor of a?
False
Let b be 76/28 + (-6)/(-21). Suppose -260 = -2*m - b*m. Is m a multiple of 26?
True
Let b(p) = -7*p - 6. Let l be b(-5). Suppose -5*o + 95 = 5*u - 10*u, l = 2*o - 5*u. Suppose 2*v + o = d - 6, -d + 3*v + 30 = 0. Is 8 a factor of d?
True
Let w(b) = 2*b**3 + 43*b**2 + 17*b - 8. Does 38 divide w(-21)?
True
Let c(b) = b**2 - 12*b - 1. Is c(-6) a multiple of 3?
False
Suppose -4*b = 4, -4*b = -2*o - 2*b + 14. Suppose -4*r = -o*j + 2*j + 1440, 0 = -4*j + 5*r + 1440. Is 24 a factor of j?
True
Let l be (-33)/(-21) - (3 + 24/(-7)). Suppose -l*t = 6*t - 704. Is t a multiple of 14?
False
Let u(s) = -s**2 + 13*s - 21. Let o be u(10). Suppose -a = -9 - 6. Suppose 3*q = o + a. Is q even?
True
Suppose -5*j - 3*i = -554, -2*i = 19*j - 17*j - 220. Is j a multiple of 28?
True
Suppose o - 325 = -13. Does 24 divide o?
True
Let y(n) = -n + 3. Let u be y(0). Suppose u*o + 65 - 188 = 0. Is 12 a factor of o?
False
Suppose -5*w = 2*f - 0*f - 586, -2*f - w = -570. Does 30 divide f?
