a multiple of 2?
True
Let z = -94 + 169. Let r be -2*z/24*(-6 - 2). Suppose y - 158 = -5*x, -4*y = -2*x + r - 0. Is 7 a factor of x?
False
Let g(m) = -m**2 + 5*m - 2. Let q be g(3). Let j(t) = -t**3 + 20*t**2 + 78*t + 15. Let p be j(21). Suppose -2*v + p = q*v. Is 31 a factor of v?
False
Let a(f) = -409*f - 22. Let l be a(-3). Does 17 divide 7/63 - (l/(-9) - 2)?
True
Suppose 3*c - s = 164504, -4*s + 159501 = 3*c - 4963. Is 23 a factor of c?
True
Suppose 0 = 52*f - 44*f - 152. Let k(z) = 2*z**2 - 38*z + 23. Let o be k(f). Suppose 0 = -2*w + 127 + o. Is w a multiple of 26?
False
Let t(n) = -5*n**3 - 30*n**2 + 63*n - 70. Let d(w) = -11*w**3 - 61*w**2 + 126*w - 139. Let z(f) = -4*d(f) + 9*t(f). Is 6 a factor of z(-29)?
False
Let i = 4534 + -2340. Suppose 2328 = 19*k - i. Is k a multiple of 8?
False
Let g(r) = 18*r - 44. Let c be g(9). Let s = c + -59. Is s a multiple of 8?
False
Does 134 divide ((-2 + 0)/2 - -2)*17327?
False
Let q(o) = 9*o**2 + 2*o + 3 + 1 - 11 + 4. Let j be q(6). Suppose -3*z - 3*g - 107 = -4*z, 3*z - 3*g = j. Is 20 a factor of z?
False
Suppose -4*s + 149*l - 154*l = -178967, -5*s + 223785 = -9*l. Is 18 a factor of s?
True
Suppose -43*s + 27*s = -127680. Is s a multiple of 14?
True
Suppose d = 3*d + 3*u - 877, -2*d = u - 879. Let g = 480 - d. Is 5 a factor of g?
True
Let y be 1/(((-286)/95 + 3)*-1). Suppose -312 = -2*x + 2*b, -x - b + y = -61. Is x a multiple of 13?
True
Let o = -89 + 151. Let t be (-3)/6 - 495/10. Let f = o + t. Is f a multiple of 6?
True
Let j = -373 - -393. Suppose 0 = -l - 3*z + 1112, j*l + 5*z = 15*l + 5610. Is 10 a factor of l?
False
Let p(m) = 160*m**2 + 2*m + 4. Let j = 31 - 29. Is 27 a factor of p(j)?
True
Let d be (-2)/(-8)*(6 + (6 - 12)). Suppose -f + 779 + 540 = d. Is 16 a factor of f?
False
Suppose -47*j - 58409 = -60*j. Is 2 a factor of j?
False
Suppose 7*h + 7208 - 39506 = 0. Suppose 23255 + h = 29*j. Is j a multiple of 20?
False
Let q = 544 + -541. Suppose -4*c = -q*r + 1958, 2*c + 34 = 36. Is r a multiple of 12?
False
Let r(x) = x**3 - 3 + 5*x - 6*x + 1 - 2. Let b be r(0). Is 6210/50 + (-1)/5*b a multiple of 13?
False
Let z(k) = 47*k - 52 + 50 - 83 + 8. Does 7 divide z(4)?
False
Does 34 divide ((-544)/(-56))/(12/1302)?
True
Suppose 48 = 2*d - 4*l, 80 = 3*d - 0*d - 4*l. Let x = d - 30. Suppose q + 136 = x*a, 2*a + 0*q + 4*q - 156 = 0. Is 36 a factor of a?
False
Let p(o) = 38*o + 1011. Is p(12) a multiple of 2?
False
Let h be (-13 + 11)*38/(3 - 4). Let p be 40/1 + 6 + -7. Let k = p + h. Does 6 divide k?
False
Let u be 13 + (3 - (-1 + (2 - -4))). Let x be 6 + 1 + -15 + u. Suppose -x*y + 4*m = -2, -m + 6 = 3*y - 16. Does 2 divide y?
True
Suppose -6*z + 20*z - 8624 = 0. Let h = -321 + z. Is 18 a factor of h?
False
Is -3 - 12/(6/(-3))*284 a multiple of 50?
False
Is -9 - -2 - 53/(530/(-45420)) a multiple of 290?
False
Let d = -69 + 67. Let z be (-9 + 10)/((-1)/d). Suppose 5*u - 272 = -2*v, -z*v + 4*v - 244 = 2*u. Is 6 a factor of v?
True
Let i be 2 + (-40)/18 + (-570)/(-135). Suppose x - i = -x. Suppose 4*z + 258 = 7*z + 4*h, 4*z - 322 = x*h. Is z a multiple of 17?
False
Suppose 43*v - 21*v = 46*v - 188832. Is v a multiple of 151?
False
Let f(o) = 33*o**2 - 27*o**2 - 23 - 10*o + 7. Let d be 1*9 + -3 + 2. Does 16 divide f(d)?
True
Let b = -53 - -48. Let d be 0/(b - (3 - 7)). Suppose 2*a + d*w - 57 = -5*w, 0 = 4*a - 2*w - 78. Is a a multiple of 6?
False
Is -10 + (4096750/105 - 3/(-9)) a multiple of 99?
False
Let k(m) = m**2 - 15*m. Let f be k(15). Let n be (f/(-3 - -4))/(-2). Suppose n = -0*q - 2*q + 280. Does 35 divide q?
True
Let p = 4392 - -1066. Does 7 divide p?
False
Let x = 2443 - 500. Is 29 a factor of x?
True
Suppose -3*f + 2*b = -8609, -f - 93*b + 96*b + 2865 = 0. Is f a multiple of 11?
True
Let l(w) = w**2 - 5*w - 40. Let g = -16 + 31. Let o be (-3 + 2)*(g - 4). Is l(o) a multiple of 34?
True
Let x = 1041 + -626. Let a = x - 297. Is 14 a factor of a?
False
Let v be -10 + 7 - (-16)/2 - -361. Is -2 - v/(-4) - (-4)/8 a multiple of 9?
True
Let z(a) = -a**3 + 4*a**2 - a - 4. Let l be z(2). Suppose 4*j - 75 = -l*h + 209, 0 = -5*h + 10. Let x = j - 36. Is x a multiple of 20?
False
Suppose 5*c - 134 = 2*o + 261, 4*c - 2*o = 314. Let f = 147 + c. Is 17 a factor of f?
False
Suppose 5390 = 2*v - 2*f, -2223 = -v - 5*f + 478. Does 84 divide v?
False
Let m(t) = t**3 - 12*t**2 - 32*t + 11. Let k be m(-7). Let u = k - -1007. Does 12 divide u?
False
Suppose 215083 = 5*j - 3*c, 7*j + 8*c + 172072 = 11*j. Does 283 divide j?
True
Suppose i + 2*v = -0*i - 664, v + 5 = 0. Let r = i + 864. Does 15 divide r?
True
Let r = -357 + 364. Suppose -r*h - 5*i = -4*h - 265, 0 = -i - 1. Does 6 divide h?
True
Suppose -22*m - 24*m + 41*m = -14655. Is 29 a factor of m?
False
Let j = 54 + -88. Let a = 14 + j. Let y = a - -130. Does 23 divide y?
False
Let a(f) = 6778*f + 26. Is 139 a factor of a(5)?
True
Is 100 a factor of (7 + (-23310)/(-12))/(1/(-2) - -1)?
False
Let p(u) = -465*u - 127. Is p(-2) a multiple of 11?
True
Let v(k) = -k**3 + 19*k**2 - 17*k - 14. Let m be v(18). Suppose 105 = 5*t + 3*x, m*x - 56 = -0*t - 2*t. Suppose o - 8 = t. Is o a multiple of 5?
False
Let p(r) = -5923*r + 753. Is p(-3) a multiple of 18?
True
Suppose 5*h + 0*j = 4*j - 8, -4*h - 5*j = 31. Does 4 divide 858/9*(-6)/h?
False
Suppose -t = -3, -2*t + 21 + 8 = a. Let y = -21 + a. Suppose -y*g - 6*g + 392 = 0. Is g a multiple of 16?
False
Let j = 49 - 45. Does 41 divide (650 + 6)/(j + -2)?
True
Let m(q) = 2*q**2 - 267*q + 2265. Is 10 a factor of m(125)?
True
Suppose 36*q - 21*q = 100560. Is 16 a factor of q?
True
Let z(k) = 0*k**2 - 28*k + 7*k**2 + 2*k**2 + 4*k**2 + 108 - 14*k**2. Does 4 divide z(-22)?
True
Let i = 25 - 81. Suppose 60*y - 3*y + 2337 = 0. Let z = y - i. Does 2 divide z?
False
Let b = -3628 + 8908. Is 23 a factor of b?
False
Let x(r) = -r**2 - 6*r + 3. Let d be x(-6). Suppose -d = 2*j - 7. Suppose -2*h + 2*a + j*a = -56, 4*a = -h + 16. Is h a multiple of 12?
True
Suppose 4*v = 42 + 18. Suppose -4*j = v*j - 38. Is 22 a factor of ((-22)/(-3))/(215/105 - j)?
True
Let k(c) = -2*c**3 + 9*c**2 - 7*c + 4. Let w be k(4). Let u be w/28 - (-5260)/35. Suppose -7*l + u = -4*l. Does 6 divide l?
False
Let s(t) = 7*t**2 - 14*t + 7. Let c(m) = -20*m**2 + 41*m - 22. Let r(d) = 6*c(d) + 17*s(d). Let h be r(3). Is 4 a factor of h*4 - 3/2*-2?
False
Let k = -7691 + 10679. Does 4 divide k?
True
Is ((-1086)/21)/((-14)/4214) - -10 a multiple of 77?
False
Let v = 14 - 15. Let r be v/(-5) + (-13595)/(-25). Let a = r + -380. Is 24 a factor of a?
False
Let a be 144/24 - 36/(-2). Suppose -13*p - 8448 = -a*p. Does 72 divide p?
False
Suppose 0 = -3*k + 3*z - 2 + 20, -3*k = z - 10. Let u be 3/(6/k)*-7. Let m = u + 27. Is 13 a factor of m?
True
Let a(d) be the third derivative of -35*d**4/24 + d**2. Suppose p - 2*u + 5 = 0, -5*u = 5*p - 9*u + 19. Does 21 divide a(p)?
True
Let p(c) = -c**2 + 34*c + 33. Let o be p(35). Is 658/6 - o*4/24 a multiple of 29?
False
Suppose 42*q - q - 82809 = 38*q. Does 21 divide q?
False
Let b(v) be the second derivative of -v**5/12 - 5*v**4/12 + 25*v**3/6 + 16*v. Let x(n) be the second derivative of b(n). Is 36 a factor of x(-19)?
True
Let z(x) = 19*x**2 + 6*x - 8. Let j(d) = -40*d**2 - 11*d + 16. Let n(y) = 2*j(y) + 5*z(y). Is 37 a factor of n(5)?
True
Suppose -5*a + 5 = 5*p, -2*p + 30 = -4*a + 16. Suppose p*y = 3, 4*w + 5*y - 966 = 1163. Is 36 a factor of w?
False
Let m(n) = -3*n**3 + 28*n**2 + 2*n. Let i be m(10). Suppose -2*r + 4*r + 5*f + 115 = 0, 1 = f. Let j = r - i. Is 14 a factor of j?
False
Let c(u) = -53*u**2 - 3*u - 13. Let w(b) = -2*b**2 - b + 1. Let k(g) = -c(g) - 3*w(g). Is k(-3) a multiple of 17?
False
Let p(u) = -93*u + 707. Does 5 divide p(-7)?
False
Let l(k) = -243*k - 807 + 2*k**2 + 227*k + 812. Suppose -14 = f + 5*a, -3*a = -3*f - 2 + 50. Is l(f) a multiple of 33?
False
Let o(p) = -41*p**3 + 4*p**2 - 8. Let u = 97 - 99. Is o(u) a multiple of 21?
True
Suppose 30*t - 27950 = -2450. Is t a multiple of 25?
True
Is 12 a factor of -7 + (-4 - -8) - (0 + (-1 - 17845))?
False
Let k(c) = 2*c**3 + c**2 + 6*c + 7. Suppose -8*z = -11 - 29. Is 13 a factor of k(z)?
True
Suppose -200*l + 241*l - 987321 = 0. Does 23 divide l?
True
Let r = -575 + 3837. Is r a multiple of 28?
False
Suppose 8262 - 16102 + 67780 = 6*r. Is 15 a factor of r?
True