+ 62*a - 13303 = -3*x, -4*a + 4*x = -53196. Is a a multiple of 20?
True
Let t = 861 - -777. Is t a multiple of 132?
False
Suppose -6*a = -1279 - 29. Let l = 192 + a. Is l a multiple of 41?
True
Is 1*357 - 30/((-30)/(-6)) a multiple of 39?
True
Let o = 3630 + -1510. Is o a multiple of 40?
True
Let s(l) = 58*l**3 + 2*l**2 + 8*l. Let g be s(-2). Let u = -120 - g. Is 22 a factor of u?
True
Let t be -2 + 2 + (-64)/(-2). Does 3 divide (-4)/(t/(-292)) + 3/(-2)?
False
Suppose -872 = -186*f + 958635 + 810469. Is f a multiple of 6?
True
Let n(l) = -2*l. Let g(x) = 24*x + 19. Let j(k) = -g(k) + 6*n(k). Suppose 19 = -3*s + 2*v, 2*s = -2*s + 3*v - 25. Is j(s) a multiple of 14?
False
Let j(c) = 154*c + 845. Is j(-4) a multiple of 7?
False
Suppose 46*r - 74*r = -94080. Does 43 divide r?
False
Suppose -q = -2*d + 23, -d - 4*q = 9 - 43. Suppose -1536 = -d*s + 2*s. Is 21 a factor of s?
False
Let s = 4071 + -269. Is s a multiple of 57?
False
Let v be 2 + 51420/84 + 2/(-14). Let j = v + -175. Is j a multiple of 13?
False
Suppose 0*k - 2 = k. Let a(v) = 91131 + 91129 - 16*v - 182254. Is 19 a factor of a(k)?
True
Suppose 4*t - 2*x = -4*x + 32, 0 = -3*t - 4*x + 24. Suppose 4*v - 322 = -5*r, 9*v - t*v - 2*r - 74 = 0. Is 5 a factor of v?
False
Suppose -24*s + 11 = -25*s. Let t = s + 26. Is 3 a factor of t?
True
Suppose -37*s = -34*s - 288. Suppose -35 + s = a. Is a a multiple of 10?
False
Suppose 6*s - 4*s + 8 = 0, 3*s - 6 = -t. Let j = t - -29. Let a = -36 + j. Does 5 divide a?
False
Let f = 2932 + 7551. Is f a multiple of 5?
False
Let s(u) = u**2 - 12*u - 16. Suppose 5*f - 80 = 10*f. Let t be 8/(-10)*360/f. Is 19 a factor of s(t)?
False
Let x be -28*((-86)/14 - -6). Suppose 0 = 5*u - 4*r + 4 + 6, r - 13 = -4*u. Suppose -u*g - x*q + q = -255, -5*g + 5*q = -625. Is 18 a factor of g?
True
Let n = 33139 - 26769. Does 11 divide n?
False
Let b(u) = 28*u + 8. Let y be b(-3). Suppose 5*c + 354 = 4*n, -8*n - c = -3*n - 457. Let i = n + y. Is i a multiple of 15?
True
Let l be (16 + -13)*2*5/(-3). Let i be (((-2)/(-1))/(-1))/(l/45). Suppose i*m - 670 + 40 = 0. Does 7 divide m?
True
Suppose 5*r + 12 = 2*o, -2*r - 4*o + 12 = -9*o. Is 9 a factor of (-1 - r)/((-15)/(-620))?
False
Let z be -6 - -4*4/2. Suppose 3*u - z*g - 740 = 0, 504 = -u + 3*u + 4*g. Is u a multiple of 53?
False
Suppose 28 = -v + 15*v. Is 24 a factor of (-6 - 162/(-24))/(v/472)?
False
Let p(c) = -c**3 - 17*c**2 + 11*c + 14. Let v(g) = -g**2. Let o(y) = p(y) - 6*v(y). Let d = 6013 + -6025. Is o(d) a multiple of 2?
True
Let r(o) = 336*o**3 + 4*o**2 - 137*o + 265. Is r(2) a multiple of 35?
True
Let d(o) = -o**2 - 11*o + 1. Let m be d(-30). Let l = 1115 + m. Is l a multiple of 60?
False
Let j be (-105)/(-20) + (-1)/4. Suppose -2*b - 2*v = -1402, j*v = 2*b + v - 1408. Does 9 divide b?
True
Let o(t) = -7546*t - 277. Is 47 a factor of o(-4)?
False
Let v(m) = 14*m + 123. Let j(w) = -9*w - 82. Let s(y) = -7*j(y) - 5*v(y). Let p(t) = -41*t + 602. Let l be p(15). Is s(l) a multiple of 5?
True
Let j be (-68)/51*(-834)/2. Let a = j - 361. Is 15 a factor of a?
True
Let x(r) = 4*r - 18. Let a be x(5). Suppose 4*m - 3 = 3*k + 12, 0 = -5*m + k + 16. Suppose -7*t = -3*y - a*t + 59, m*t = -4*y + 98. Is y a multiple of 23?
True
Let k(p) = -p**3 - 6*p**2 - p + 15. Suppose -10*w - 15 = 65. Is 23 a factor of k(w)?
False
Suppose -2*x + 5*d + 36375 = 0, -5*x + 90946 = 2267*d - 2271*d. Is x a multiple of 214?
True
Let v = 13099 - -1433. Does 244 divide v?
False
Suppose -12*r + 79936 = -24308. Is r even?
False
Let y = -54 + 54. Let v be (-28 - (-8)/(-2)) + 2 - y. Let b = v - -44. Is 8 a factor of b?
False
Suppose 6*v = 5*u + 1551 + 7807, -3*v + u = -4676. Is v a multiple of 109?
False
Let i be 99/(18/6) + -1. Let y = i - 18. Is 10 a factor of y?
False
Let a(l) = -7*l**2 + 12*l + 58. Let z be a(-4). Let o = z + 225. Is o a multiple of 13?
False
Let g(k) be the first derivative of 430*k**3/3 - 19*k**2/2 + 2*k + 142. Is 34 a factor of g(-2)?
False
Suppose 2*f + 11864 = 2*s, 4*s = 113*f - 110*f + 23727. Is s a multiple of 14?
False
Let i(h) = h**3 - 60 + h**2 + 0*h**3 + 15*h - 3*h**2 - h**2. Is i(9) a multiple of 25?
False
Let u = 7 + 351. Let w = 62 + u. Does 15 divide w?
True
Let q(s) = 4*s**2 - 4*s + 26. Let n(p) = 9*p**2 - 10*p + 51. Let m(d) = 3*n(d) - 5*q(d). Does 25 divide m(7)?
False
Let m = -4571 - -7691. Is m a multiple of 8?
True
Let z = -120 + 105. Let i be (-2601)/z + -1 + (-2)/5. Suppose -108 = 4*h - i. Does 8 divide h?
True
Suppose -2*d - 4 = 0, 2*d + 122 = 5*q + d. Suppose q = 6*z - 42. Suppose -3*t + z + 79 = 0. Is t a multiple of 7?
False
Suppose -12*c + 7*c = 5, 3*m - 4*c - 22543 = 0. Is m a multiple of 13?
False
Let z(m) = -1263*m - 260. Is 3 a factor of z(-4)?
False
Let j = 209 + -279. Is 14/4*1 + 105/j a multiple of 2?
True
Let m(a) = 587*a**2 - 31*a + 30. Is 10 a factor of m(3)?
True
Let l = 30536 + 15003. Is l a multiple of 41?
False
Let j(q) = -2*q + 10. Let t be j(4). Suppose t*z = 260 + 244. Is 42 a factor of z?
True
Let l be ((-1)/(-2))/((-3)/42) - 1. Suppose 0*j = j + 2*p + 46, -j = -3*p + 31. Let w = l - j. Is 16 a factor of w?
True
Suppose 3*k = 561 + 939. Suppose -8*q + k = 28. Is q a multiple of 12?
False
Let q(l) = l + 17. Let a be q(-15). Suppose 16 = a*p - 4*i, 5*p - 2 = 3*p - 3*i. Suppose -2*b + 151 = 5*r - b, -p*r + b = -119. Does 20 divide r?
False
Suppose 2229 = -8*q - 867. Let v = 479 + q. Is 23 a factor of v?
True
Does 19 divide ((-243)/6)/((-237)/42028)?
True
Let l = -96 - -60. Let u be (2/3)/(l/54). Is 6 a factor of (-76)/(-24)*(u + 7)?
False
Suppose -4*s + 940 = t, -2*s - 3*s + 4*t + 1175 = 0. Suppose -2*c - 2*a = -4*a - 110, 0 = 4*c + a - s. Is c even?
True
Suppose -205*a + 390327 = -1030205 - 952343. Is 25 a factor of a?
True
Let r(c) = c**2 + 2*c. Let m be r(-3). Suppose 0 = 2*d + i - 8, m*d + 0*d + 4*i - 22 = 0. Suppose 2*p - 85 = -f, 3*p - d*f - 108 = 3*f. Is 6 a factor of p?
False
Suppose 0 = -w - 2, 6*o - o = w + 79797. Suppose 35*i - o = 2241. Is 40 a factor of i?
True
Suppose 4*l = -2*w + 63526, 4*l - 4*w - 79440 = -l. Is l a multiple of 11?
True
Let f = -4539 - -22464. Does 106 divide f?
False
Let v(b) = 9*b**2 + 101*b - 12. Is 58 a factor of v(24)?
False
Let n(a) = a**3 - 19*a**2 + 16*a + 32. Let s be n(18). Let t be 4 - (2 + s + 2 - -2). Suppose -5*c + 288 = t*f, -f - 3*c = -0*c - 142. Is 7 a factor of f?
True
Suppose -36*t - 52793 + 328589 = 0. Is 17 a factor of t?
False
Suppose -5*n + 39 = -3*q, 4*q - 3*q - 3 = -n. Suppose -4 = 4*c - n*c. Suppose 2*t + d - 331 = 0, -650 = c*t - 6*t + 2*d. Is 23 a factor of t?
False
Suppose 4*q - 845 = -77. Does 4 divide (-11)/(-2)*q/24?
True
Suppose -7 = -5*s + 13. Suppose 5*h + 5 = 0, 5*o - s*h - 85 = 149. Suppose -b = b - o. Does 23 divide b?
True
Let i(z) = 9*z**3 - 8*z**2 + 41*z**3 + 7*z**2 + 0*z**2. Let o = 35 - 34. Is i(o) a multiple of 6?
False
Let u(i) = 26*i - 6. Let g be u(-7). Suppose 0 = -2*o - 2*n + 698, -23*o + 8*o + 5*n + 5275 = 0. Let v = o + g. Is v a multiple of 15?
False
Suppose -49*s + 84024 = -1035773. Does 17 divide s?
False
Let r(j) = -j**3 - 18*j**2 - 20*j + 14. Let f(w) = -w + 2. Let a be f(0). Suppose 0 = -3*z - a*h - 59, 5*z - 2*h = h - 73. Does 13 divide r(z)?
True
Let y = 428 - -19. Suppose -1908 = -5*x + 3*f, 0 = -x + f + y - 67. Does 16 divide x?
True
Let q = 31 + -30. Let o be (q - 2) + (10 - 6) + 3. Suppose 5*s - 363 = -4*w, -4*w + o*s = 4*s - 370. Does 20 divide w?
False
Let k(n) = -n**3 - 4*n**2 + 5*n + 5. Let b be k(-4). Let w = b + 64. Suppose q - 44 = 4*d, 0 = -2*q + 2*d + 63 + w. Does 5 divide q?
True
Suppose 20 = 4*y + n - 5*n, 2 = -2*y - 4*n. Let w(z) = 19*z**2 + 217*z - y + 3 - 221*z. Is 21 a factor of w(-3)?
False
Let i be (-48)/(-15)*(-95)/(-2). Suppose 5*c - 5*r = -6*r + 256, 3*c = -r + i. Is c a multiple of 5?
False
Let v = 182 + -202. Let p(o) = -o**2 - 42*o + 24. Is p(v) a multiple of 13?
False
Let n(w) be the second derivative of -w**8/6720 - w**6/720 + 59*w**5/120 + w**4/4 + 11*w. Let r(m) be the third derivative of n(m). Is 17 a factor of r(0)?
False
Let y(i) = i**2 - 21*i + 10. Let c be y(10). Is 30 a factor of c/20 + (0 + 607 - 2)?
True
Suppose 0 = 31*h - 4564 - 59544. Does 22 divide h?
True
Let k(w) = 610*w**2 + 21*w - 2. Let o be k(2). Suppose 3*x + 0*m = -2*m + o, -4*x + m = -3303. Does 14 di