 a multiple of 47?
False
Suppose 2*t - h - 10 = 0, -3 = -5*t - 11*h + 8*h. Let q be (-3 + (-1)/3)*-36. Suppose 3*g + 5*k = 120, -t*g + k = -4*k - q. Is g a multiple of 10?
True
Let p be -1*((-2)/5 - 599784/40). Suppose -31*k + 3264 = -p. Does 47 divide k?
False
Suppose 5*q = 2*x + 450, -2*q + 0*x + 199 = 3*x. Let l(i) = 5 + 19 + 99*i - q*i. Is 30 a factor of l(14)?
False
Let x(d) be the third derivative of 0 + 0*d - 2/3*d**3 - 14*d**2 + 1/12*d**4 - 1/60*d**5 - 1/40*d**6. Does 31 divide x(-3)?
True
Suppose 6*j - 57 - 81 = 0. Suppose 315 = -18*i + j*i. Is 7 a factor of i?
True
Let u be (-4)/3 + 448/12. Suppose 2*z = 2*n + 106, -2*n - 4*z = 136 - u. Let v = 92 + n. Is v a multiple of 40?
True
Let a(z) = -28*z**3 + 56*z**2 - 62*z + 2. Does 77 divide a(-10)?
False
Let w(h) = -h**3 + 9*h**2 - 12*h + 34. Let p be w(8). Let x(b) be the third derivative of 17*b**4/6 - b**3/2 - b**2. Is 27 a factor of x(p)?
False
Suppose -117 = -0*g - 3*g. Suppose 27*r + 264 = g*r. Does 20 divide r?
False
Let j be 19 - (2 + 2 + -4). Suppose 0 = 4*h + 2*a + 368, 6 - 2 = 2*a. Let r = j - h. Is 18 a factor of r?
False
Let u be 3 + (1831/(-13) - (-2)/(-13)). Does 10 divide u/161 - 4703/(-7)?
False
Let k(u) = 21*u**3 + 13*u**2 - 34*u + 6. Is 38 a factor of k(5)?
False
Let n(c) = 147*c**3 - c**2 + 2*c - 1. Let i be n(1). Is -18*7/(i/(-497)) a multiple of 71?
True
Let p be (-780)/(-96) + 2/(-16). Let h(k) = 46*k + 48. Does 8 divide h(p)?
True
Let z = 16 + -14. Is 12 a factor of ((-168)/z + -5)/(-1)?
False
Let f = 68 - 65. Suppose 3 = -3*a, 3*a - f + 50 = -4*m. Let x(c) = -4*c - 30. Is 7 a factor of x(m)?
True
Let f = 1 - -7. Let c(n) = 41*n - 90. Is 13 a factor of c(f)?
False
Let y(h) = 7*h - 1. Let q be (2/(-10)*2)/(1/10). Let p be -2*(6/q + -1). Is y(p) a multiple of 17?
True
Let s = -3527 + 3549. Let x(v) = -215*v. Let k be x(-1). Suppose -k = -s*i + 17*i. Does 18 divide i?
False
Suppose 3*n = -v + 139, -2*n + 35 = 5*v - 75. Let y(q) = q**3 + 5*q**2 - 6*q + 1. Let b be y(-6). Is (n/(-12))/(b/(-32)) a multiple of 19?
False
Suppose 113*h = 4*h + 46761. Is h a multiple of 143?
True
Let n be (-15)/(-4) - (-8 - (-245)/28). Suppose 2*u - 2226 = -3*q, q = n*u + u + 756. Is 12 a factor of q?
True
Let c(b) = 5*b**2 - 70*b - 2081. Does 14 divide c(-50)?
False
Suppose 2*v + 8 = -3*g + 5*g, 4 = g + 4*v. Suppose g*t - 233 - 103 = 0. Is t a multiple of 6?
True
Suppose x - r + 18 = 0, 3*x - 2*r + 12 = -46. Let t = 17 + x. Is 12 a factor of (-916)/(-16) + t/20?
False
Suppose 74*s = 1213127 + 978013. Does 176 divide s?
False
Suppose -4*t = r - 188, 2 = 4*t - 2*t. Let d = 304 - r. Is 10 a factor of d?
True
Let z(x) = 247*x - 286. Does 13 divide z(14)?
True
Let x = -49 - -58. Let f be 4/12 + (-417)/x. Let n = f - -78. Does 9 divide n?
False
Let p(f) = -6*f - 20. Let k be p(-4). Suppose 2*r = -4*h + 32, 6*h + 108 = k*r + 3*h. Suppose 3*u + 3*t + 50 = 7*u, 2*u - t - r = 0. Does 7 divide u?
False
Let p be (-1*(93 - -1))/((-222)/555). Let s = 430 - p. Is s a multiple of 15?
True
Let r(h) = 949*h - 2335. Is r(15) a multiple of 34?
True
Suppose 3*t - 1150 = -4*g + 794, -2*t + 5*g + 1296 = 0. Let x = t + -451. Is 6 a factor of x?
False
Suppose -3*o = 2*o + 5, -4*y - 3*o = -21. Suppose -x + b + 8 = 0, 0 = -x + y*x - 4*b - 35. Suppose -2*q - x*w + 111 = q, -w = 0. Is 6 a factor of q?
False
Let d = -2271 - -3893. Let g = d + -1047. Does 23 divide g?
True
Let b(x) = -17173*x - 1576. Does 3 divide b(-1)?
True
Let h = -409 - -829. Suppose 89*m - h = 83*m. Is m a multiple of 35?
True
Let w = -518 + 284. Let n = 391 + w. Is 12 a factor of n?
False
Let f(j) = -j**3 - 12*j**2 + 7*j - 18. Suppose 49 + 120 = -13*a. Is f(a) a multiple of 33?
False
Suppose 5*u - 15 = 0, 2*f + 17 = 4*u + 5. Let q(n) = n**2 - n + 115. Does 9 divide q(f)?
False
Let v(r) be the third derivative of 1/12*r**4 + 1/15*r**5 + 0*r + 0 - 2*r**3 - 36*r**2. Is v(6) a multiple of 26?
False
Is -47*8/(96/(-372)) a multiple of 47?
True
Let o = -3883 + 9133. Does 125 divide o?
True
Let t be 4/2 - (-63 + 63). Let o(d) be the third derivative of 11*d**5/30 - d**4/12 + 2*d**3/3 - 3*d**2. Does 11 divide o(t)?
True
Let o(i) = -8741*i - 9. Let a be o(-4). Does 38 divide ((-198)/(-48) - 4) + a/40?
True
Let o(r) = -r**2 + 19*r - 55. Let p be o(15). Suppose 8*d - 7*d = -p*x + 2770, 2*d = -x + 563. Is 40 a factor of x?
False
Let h(v) = 31*v**2 - 44*v + 3. Does 3 divide h(-8)?
False
Let y be -14 + 11 + (-3)/(0 - 1). Suppose -5*d - 88 - 42 = y. Let x = d + 38. Does 4 divide x?
True
Let j = -219 + 249. Suppose -39*f = -37*f - j. Is 2 a factor of f?
False
Let q = 9042 - 6917. Is 2 a factor of q?
False
Suppose 16163 = -15*m + 17*m + l, -5*m - 3*l = -40408. Is 73 a factor of m?
False
Suppose 0 = 35*j - 83322 - 197623. Is j a multiple of 15?
False
Let q be 6/(-27) - (-1660)/18. Let w = q + -87. Suppose 26 = -w*j + 7*j. Is 9 a factor of j?
False
Let c = 1526 - 968. Let t = c + -222. Does 7 divide t?
True
Suppose 4*u = -74 + 374. Let v(l) = 2*l**2 - 22*l + 52. Let o be v(8). Suppose 7*z - o*z - u = 0. Is z a multiple of 25?
True
Let j = -1194 - -1250. Suppose -3*y = -2*y + 12. Does 9 divide (-8*y/j)/(2/119)?
False
Suppose 168*w + 2001 = 237*w. Is 2 a factor of w?
False
Let k(l) = -l + 14. Let t(n) = 4*n - 70. Let d be t(20). Let c be k(d). Suppose 8*p = -3*w + c*p + 86, 4*w - 117 = -3*p. Is 15 a factor of w?
True
Let f be 0 + 14 - (0 + 0). Suppose 3 + 2 = 3*g - o, 0 = -3*g + 5*o + 25. Let r = f - g. Does 14 divide r?
True
Let u(d) = -9345*d + 2967. Is 17 a factor of u(-6)?
False
Let j = 13 + -9. Suppose -j*k = k. Suppose k = -a + 37 + 41. Is 26 a factor of a?
True
Suppose -37*p = 57*p + 28*p - 2031788. Is p a multiple of 35?
False
Let c(g) = 3*g**3 - 31*g**2 + 41*g + 13. Let w be c(12). Suppose 0 = 3*x - 5*a - w, -3*x + 17*a + 1190 = 19*a. Is x a multiple of 13?
False
Let u(y) = 2*y - 51. Let m be -2 + 3 - (-10)/15*39. Let z be u(m). Suppose z*p - 285 = -2*p. Is 13 a factor of p?
False
Let d(z) = z**3 + 22*z**2 - 8*z + 18. Let o be d(-20). Let w = 1406 - o. Does 21 divide w?
False
Suppose 146*s = 627146 + 668166. Is s a multiple of 32?
False
Let j = 51 - 41. Suppose -j*l + 16*l = 66. Let v = l + 28. Is v a multiple of 13?
True
Suppose 20*z = 36 + 84. Suppose -z*w = -9*w - 6, 2*w = 2*j - 580. Does 24 divide j?
True
Suppose -21*b + 651159 = 56*b + 4*b. Is 14 a factor of b?
False
Let g(z) = 6 + 3*z**2 - 2 - 2*z + 4*z**2 - 4*z**2. Is 24 a factor of g(-4)?
False
Let z be 0 + (2 + 2 - -4). Let x be z*12/8*1/(-2). Is 218*(x/4)/(-3) a multiple of 11?
False
Suppose -n + 331 = -5*c, 0 = 3*c - 7*c + 2*n - 266. Let l = c - -101. Is 2 a factor of l?
False
Let q be ((-2)/(-4))/(1/126). Suppose -3*w + 3*z + q = 0, 41 = -0*w + w - 5*z. Suppose -13*k - 774 = -w*k. Is k a multiple of 25?
False
Suppose 0*c + 593 = y - c, 5*y - 2*c = 2980. Suppose y = -27*m + 29*m. Is m a multiple of 13?
True
Let d be 8*-4*(-3)/24. Suppose 3*c = 5*l - 20, c - 5*c = -d*l + 16. Suppose 649 = 3*i + 6*u - l*u, 0 = -5*u + 10. Is i a multiple of 28?
False
Suppose -2*c + 2*x = -15 - 1, 4*c - x = 17. Let v(z) = 59*z**2 + 8*z + 4. Is v(c) a multiple of 13?
True
Suppose 3*o + 54 = 5*g + 7*o, 0 = 3*g + 5*o - 35. Let b(a) = -g + 4*a + 2*a - 28 - 16. Does 12 divide b(21)?
True
Suppose 9 + 189 = 6*t. Let o = t + -31. Suppose -2*m - o*u + 200 = 0, -5*u + 146 = 3*m - 158. Does 14 divide m?
True
Let f(t) = 8*t + 10*t + 24*t. Suppose 67*h + 30 = 73*h. Is 30 a factor of f(h)?
True
Let g be (1/(-3))/((-2)/18). Suppose w - 461 = 4*u, g*u = 3*w - 114 - 1269. Is 18 a factor of w?
False
Let s(u) = u**3 + 31*u**2 - 70*u - 112. Is s(-19) a multiple of 75?
True
Let u = 18 + -13. Let v(w) = w**3 - 5*w**2 + 2*w - 7. Let o be v(u). Let k(i) = 7*i**2 - 2*i + 10. Is 6 a factor of k(o)?
False
Let u = -2576 - -9205. Is 13 a factor of u?
False
Let n(f) = -96*f**3 - f**2 + 76*f + 405. Is n(-5) a multiple of 60?
True
Let r(h) = 123*h**2 + 17*h + 27. Does 4 divide r(-2)?
False
Suppose -270*u + 313*u - 113821 = 0. Is 8 a factor of u?
False
Let d be -4 + -2 + 1 + -2 + 1. Let z be (-188)/(-6) - 4/(-6). Let o = d + z. Is o a multiple of 13?
True
Let j = 146 + -266. Let a = -234 - j. Is -3 + (3/9)/((-1)/a) a multiple of 5?
True
Suppose u - 2149 = -3*g, 0 = -3*g + u + 1857 + 302. Is 97 a factor of g?
False
Let w = 4480 - 2036. Is 13 a facto