). Let o(z) = -z - 19. Let d be o(g). Does 17 divide 3*(-104)/d - 1?
True
Suppose -7*d - 2 = -6*d. Is 24 a factor of (d - 10/(-6))/(3/(-3195))?
False
Let a(m) = 422*m + 844. Does 40 divide a(18)?
True
Suppose 53*g = -13*g + 933174. Does 18 divide g?
False
Let z be 1/5 + (7889/(-35))/7. Let g = z + 55. Does 23 divide g?
True
Let o be -2 - 0 - (-10 + 6 - 8). Is (o/2)/(-10)*-58 a multiple of 15?
False
Let q(t) = 1965*t - 4350. Is 4 a factor of q(6)?
True
Let f = 7 + 119. Is 5 a factor of 30984/f + -2 + (-44)/(-21)?
False
Suppose -15*g + 11336 = -6889. Let m = 1817 - g. Is 17 a factor of m?
False
Let h = 3552 + -3109. Is h a multiple of 35?
False
Suppose 3*p - 917 = -5*f + 5744, -3*p = -5*f + 6649. Suppose 5*l - f = 3604. Does 63 divide l?
False
Suppose 33*t - 49*t = -14576. Suppose -5*l - b + 974 = -3536, l + 2*b = t. Is l a multiple of 21?
False
Let r(s) = 3*s**3 - s. Let j be r(1). Let f be (-15*(-20)/(-24))/((-2)/(-4)). Is (6/j - f) + -6 + 5 a multiple of 9?
True
Suppose -35 = -10*g + 3*g. Suppose 700 = g*m + 3*u, -3*u + 153 + 127 = 2*m. Is m a multiple of 7?
True
Let y = -12689 + 18635. Is 6 a factor of y?
True
Let x(j) be the first derivative of 17*j**3/3 + 5*j**2 - 3*j + 91. Is 3 a factor of x(-2)?
True
Let n(v) = v**3 + 13*v**2 + 11*v + 21. Let r be ((-56)/(-8 - -1))/(6/(-9)). Is n(r) a multiple of 3?
True
Let o = 111 - 109. Suppose h - o - 4 = -3*x, 4*x + 5 = 3*h. Does 2 divide h?
False
Let p = 97 - 54. Let h = p - 28. Suppose 2*j = 5*c - 217, -11 = j - h. Is c a multiple of 5?
True
Let y be 144/3*2/(-4). Let w be (93 - 14/2) + -4. Let h = y + w. Is h a multiple of 29?
True
Does 7 divide (-12)/2 - (-1 + 0) - (-19894)/7?
False
Suppose -56*o = -219*o + 969361. Is 150 a factor of o?
False
Let x(m) = -4*m**2 + 28*m - 75. Let r be x(7). Is 56 a factor of 13390/25 + (-5)/(r/6)?
False
Is 40 a factor of (-20144)/(-56) + (-6)/(-21)?
True
Suppose 7*v - 91 + 21 = 0. Let y(t) = -t + 16. Let s be y(v). Does 49 divide (4 - s)*(-2 - 45/2)?
True
Let p = -1750 - -5081. Does 27 divide p?
False
Suppose 13*d = 30 - 4. Suppose 7*r - 11*r = 3*k - 1802, 5*r + 1163 = d*k. Is k a multiple of 35?
False
Let c be 201 - (0 - -1) - 2. Let z be 4/(-6) - (-418)/(-3). Let u = z + c. Is 29 a factor of u?
True
Let b = 3828 - 2809. Does 2 divide b?
False
Suppose 2*t = 3*t - 104. Suppose -3*y - 35 = -t. Suppose 15 = 5*k, -q = k + 7 - y. Is q a multiple of 9?
False
Does 9 divide ((-228)/5)/(81/(-1485))?
False
Let c = -2 - -5. Suppose 3*a + c*p + 5 = -2*a, 4*a - 3*p = 23. Is ((-4)/a - (-25)/10)*50 a multiple of 15?
False
Let o(n) = 28*n + 310. Let f be o(-11). Suppose 2*g + 3*g + f*d = 1033, 418 = 2*g + 2*d. Is g a multiple of 11?
False
Let q be (3/(-2))/(114/(-48) - -2). Suppose 223 = -u + 4*u + 2*d, q*d + 170 = 2*u. Suppose -7 = -3*h + u. Does 14 divide h?
True
Let l = 21868 + -3433. Is l a multiple of 18?
False
Suppose 937 + 518 = 15*b. Let z = b + 74. Is z even?
False
Does 51 divide 10048/56*9/((-63)/(-98))?
False
Suppose -10472 = -48*v + 4*v. Does 7 divide v?
True
Suppose 5*j = -18*g + 20*g + 725, -4*j + 3*g = -587. Is 4 a factor of j?
False
Let i = -59168 - -84920. Does 22 divide i?
False
Let j = -5071 - -5239. Is j a multiple of 24?
True
Suppose 13*c - 2*c = 44. Suppose -2*u + 30 = c*u. Suppose 5*a = -u*p + 275, 5*p - 102 = 4*a + 146. Is p a multiple of 13?
True
Suppose 17*v - 5052 = 8*v + 7188. Does 80 divide v?
True
Let l = 948 - 557. Let w = 697 - l. Is 17 a factor of w?
True
Suppose -9*l = -4*l + 5*q - 1580, -2*q + 311 = l. Let t = l + -50. Does 11 divide t?
False
Let t = -5094 - -5205. Let n be 1 + (-232)/(-2)*1. Suppose -g + n = -5*b, 3*g + b - t = 2*g. Is g a multiple of 14?
True
Suppose 245 = -20*p - 29*p. Let s(l) = 0*l**3 - 4*l + l**3 + 10 - 3*l**3 - 6*l**2. Is s(p) a multiple of 10?
True
Let p(h) = h**2 + 13*h + 4. Suppose 5*s - 3*x + 0*x + 50 = 0, 2*x = 3*s + 29. Let d be p(s). Does 25 divide (-2 + d)*-2 - (-6 - 46)?
False
Let y(x) = x**3 - 13*x**2 + 2*x - 26. Let f be y(13). Suppose w - 3*t = 84, 3*t = -w - f*w + 66. Suppose 2*v = w + 7. Is v a multiple of 6?
False
Let l(q) = -76*q - 15. Let o(h) = -51*h - 10. Let r(j) = 5*l(j) - 7*o(j). Let g be r(-3). Let z = 152 - g. Does 34 divide z?
False
Let k(n) = n**3 + 23*n**2 + 16*n + 72. Let b be k(-22). Let r = -56 + b. Does 37 divide r?
True
Suppose -38*m + 43*m - 10 = 0. Suppose 0 = -2*a - 3*i + 80, m*a - 5*i - 86 + 22 = 0. Is 9 a factor of a?
False
Let j = -48 - -51. Suppose -m = j*m - 2*r - 44, 0 = 2*m + r - 22. Let t(p) = p**3 - 10*p**2 + p - 15. Does 13 divide t(m)?
True
Suppose 12*q - 384 = 192. Suppose q*w - 58*w + 1830 = 0. Does 7 divide w?
False
Let o(g) = 7*g + 63. Let i(a) = 8*a + 64. Let q(b) = -3*i(b) + 4*o(b). Let r be q(-14). Is 4/(((-48)/(-18))/r) a multiple of 3?
True
Let t = -66 + 72. Suppose -t*r = -15 - 3. Suppose -r - 5 = -2*d, 2*k - 116 = -4*d. Is 10 a factor of k?
True
Suppose 0*m + 2372 = -4*c - m, 5*c + 5*m + 2950 = 0. Let x be (-3)/21 + c/(-42). Let v = 173 - x. Is v a multiple of 28?
False
Let l(z) = 4*z**2 - 4*z - 4. Let d be l(-1). Let r be (-8)/5 + d/(-10). Is 21 a factor of 67/(r - 0 - -3)?
False
Let p = 67621 - 37167. Does 11 divide p?
False
Let z = 2002 - 1641. Does 12 divide z?
False
Let o(b) be the first derivative of -2*b**3/3 + 8*b**2 + 2*b + 16. Let h be o(8). Suppose m + 3*l - 91 = 0, h*m = -3*l + l + 194. Is 10 a factor of m?
True
Let o = -1837 + 1932. Suppose 0 = -2*g, -2*r + 7*g = 4*g - 398. Let l = r - o. Is 26 a factor of l?
True
Suppose -5*w - 91 = -d + 5*d, 2*w = 4*d + 98. Let s = d - -21. Is (-456)/(-4) - (1 - -2) - s a multiple of 17?
False
Let y(h) = -h**3 + 17*h**2 - 13*h - 14. Let t(v) = -v**3 - 3*v**2 - v - 4. Let j be t(-4). Let a be y(j). Suppose 0 = -5*u - a + 279. Does 14 divide u?
False
Suppose -3*f - 3 = -9. Let g be 1 - f/((-6)/(-3)). Does 12 divide g/(-1) + 124/2 + 3?
False
Let m = 79 - -104. Let t = m - 148. Is t a multiple of 10?
False
Let w(q) = q**2 - 17*q + 20. Let d be w(16). Let o = d - 2. Is 5 a factor of (-4)/10*(-191 + 1)/o?
False
Suppose -11 - 9 = -20*k. Is 12 a factor of 2 + -8 + k + 107?
False
Suppose -451*h = -297*h - 561176. Does 2 divide h?
True
Let x(n) = -n + 2. Suppose 2*s - d = 28, -s - 4*d + 2*d = -24. Suppose -p + 4*l = 34, -p + 3*p = -5*l - s. Does 17 divide x(p)?
False
Let a(n) = n**2 - 16*n + 16. Let j be a(15). Let v be (-1 + j)/(2 + 0/1). Suppose -s - 4*g + 36 = s, -4*s - g + 44 = v. Is s even?
True
Suppose 6*n + 62239 - 14983 = 0. Let v be (0 - (-4)/(-6)) + n/(-33). Let j = v - 124. Is j a multiple of 22?
False
Suppose -5*z + 3*s = -0*s - 35, -3*z = 3*s + 3. Suppose -1728 = -4*c - z*c. Is c a multiple of 24?
True
Suppose -4*r - 4 = 16. Let k(h) = -8*h**3 + 10*h**2 + 7*h + 9. Let i be k(r). Does 17 divide i/15 - (-4)/10?
False
Is 2 + -1 + (-1694)/28*-22 a multiple of 15?
False
Let p(m) = m**3 + 8*m**2 + 15. Suppose 8*d = 5*d - 18. Let z(k) = k**3 + 7*k**2 + 7*k - 2. Let c be z(d). Does 4 divide p(c)?
False
Let j(b) = -b**2 - 26*b + 61. Suppose 18*k = 10*k - 80. Is j(k) a multiple of 13?
True
Suppose -f + 3 = 5*p - 4, -2*f + 4*p + 56 = 0. Suppose 2*h = -4*i - f, -2*h + 24 = -5*i - h. Does 6 divide ((-2)/(-4))/(i/(-354 + 4))?
False
Let b(c) be the first derivative of -11*c**2 + 112*c + 57. Is b(-7) a multiple of 14?
True
Let i = 13370 - 6908. Suppose -738 - i = -8*k. Is 10 a factor of k?
True
Let g = 147 - 145. Suppose -a + g + 49 = -3*x, -4*x - 220 = -4*a. Is 3 a factor of a?
True
Let i = -8706 - -23454. Is 4 a factor of i?
True
Let a(l) = l**2 + 3*l + 1. Let c be (-1)/2 - 143/(-22). Let m be a(c). Suppose -m = -2*r - 3*r. Is 7 a factor of r?
False
Let q(w) = -w**3 - 7*w**2 + 24*w + 39. Let p be q(-9). Let u(b) = -11*b + 45. Is 10 a factor of u(p)?
True
Suppose -y = -b - 1, -3*b - 18 = -5*y - 5. Suppose -25 = -5*l, 0 = 2*v + l - y*l - 220. Is v a multiple of 24?
True
Let s = 3081 - -975. Does 52 divide s?
True
Let h(v) = -2*v**3 - 33*v**2 + 16*v - 108. Is 113 a factor of h(-29)?
True
Suppose -3*p + 21 = -21. Suppose -4*h - 80 = -p*h. Suppose -h*v + 90 = -2*v. Does 14 divide v?
False
Let w(b) = 3*b + 36. Let l(r) = r**3 - 12*r**2 - 17. Let u be l(12). Let n be w(u). Is 556/(-10)*-1 + (-6)/n a multiple of 11?
False
Let y(d) be the first derivative of d**3 + 16*d**2 - 35*d - 44. Is y(-14) a multiple of 19?
False
Suppose -i -