
Let l = 43509 - -21003. Is 126 a factor of l?
True
Suppose 9*z + 10*z - 5*z = 0. Suppose v + 28*f = 33*f + 546, 4*v - 5*f - 2184 = z. Is 14 a factor of v?
True
Suppose -53382*q + 53395*q = 551590. Is 25 a factor of q?
False
Suppose -109*k - 420817 + 742119 = -647926. Is k a multiple of 18?
True
Suppose 0 = -2*x - 3*v + 9986, 24938 = 5*x - 41*v + 44*v. Is x a multiple of 60?
False
Suppose 8*d + 7*d = 60. Suppose 5*g + 5*r - 75 - 100 = 0, 5*g = d*r + 157. Does 33 divide g?
True
Let h(v) = -v**2 + 27*v + 4. Let w = -249 + 261. Is 10 a factor of h(w)?
False
Let d(g) = g**2 + 3*g + 18. Let u be d(9). Let x = u + -55. Suppose 2*r = -x + 299. Does 19 divide r?
True
Let n(b) = b - 2 - 12*b + 7*b. Let m be n(15). Let k = -43 - m. Does 8 divide k?
False
Suppose -2*c - c = 5*u - 566, u = 3*c - 596. Let f = c + -101. Suppose 3*n - 288 = -2*p, 0 = n - 2*p - 0*p - f. Is n a multiple of 22?
False
Suppose 0 = -w - 85 + 704. Let i = w - 355. Is i a multiple of 44?
True
Let u be (-2)/(-4) + (-209)/38. Let w(d) = -41*d + 86. Is w(u) a multiple of 14?
False
Let y = 18880 + -12014. Is y a multiple of 13?
False
Suppose -r = -m + 3106 - 303, 4*m + 4*r = 11236. Does 11 divide m?
False
Let l(f) = 16*f - 11. Let i(m) = m**2 - 12*m + 18. Let k be (-1)/(-5) + 58/10 + 5. Let v be i(k). Does 13 divide l(v)?
False
Let g = -4287 - -13023. Does 42 divide g?
True
Let a = 2994 - -5010. Is a a multiple of 116?
True
Let q = 101 - 97. Suppose 5*t + 1 = 3*l - q, 3*l + 7 = 2*t. Let h(a) = 3*a**2 + 3*a - 9. Is 3 a factor of h(l)?
True
Let s(x) = -33*x - 255. Let p(r) = 50*r + 382. Let u(b) = 5*p(b) + 8*s(b). Is u(-34) a multiple of 39?
False
Let k(u) = u**3 + 6*u**2 + 8*u + 1. Let p be k(-4). Let g(n) = 5*n**2 - 2*n. Let y be g(p). Let m = y - -10. Is m a multiple of 13?
True
Let f be 8/24 - 2/6. Suppose v + 36 + 0 = f. Let z = v - -44. Does 4 divide z?
True
Let y(m) = m**3 + 9*m**2 - 31*m - 2. Let f be y(-17). Let v = -787 - f. Is v a multiple of 20?
True
Suppose -1 = f - 2*f, -o + 117 = 4*f. Suppose h + 10*h = 803. Let d = o - h. Does 5 divide d?
True
Let g = 758 - -216. Suppose -11*a + g = -13*a. Let v = -172 - a. Is 45 a factor of v?
True
Suppose -10*a = 5*q - 8*a - 6392, -5*a + 3858 = 3*q. Does 58 divide q?
True
Let k = 113 - 51. Let r be (-3)/((-3)/k)*(-30)/(-60). Suppose -2*w - r = -473. Does 13 divide w?
True
Let w = -12195 - -59101. Is 47 a factor of w?
True
Let b(h) = 4809*h**2 + 102*h - 105. Does 18 divide b(1)?
True
Let o(q) = 66*q**2 + 142*q - 1603. Does 125 divide o(11)?
False
Suppose 4*p - 2*v + 3 = v, 2*p + 2*v - 16 = 0. Suppose 20 = p*c - 5*f, 2*c - 6 = -2*f + 2. Suppose 0*n + n = -1, 0 = -2*z + c*n + 133. Is 8 a factor of z?
True
Let t be (-1916)/(-3) + 8/(-12). Let r = -162 + t. Does 17 divide r?
True
Suppose 12*q - 14529 = 832 - 2029. Is 16 a factor of q?
False
Suppose 4*q + 164 = 8*q. Let s = q - -7. Suppose 7*t + s = 23*t. Does 2 divide t?
False
Let l be (-23)/46*(12*-1 - -2). Suppose -o + 4054 = 3*r, 0 = -2*r - 0*r - l*o + 2720. Is r a multiple of 50?
True
Suppose -10*x - 63*x + 1759932 = 176*x. Is 7 a factor of x?
False
Is -5*10896/(-300)*10 a multiple of 51?
False
Suppose 0 = 26130*h - 26153*h + 246560. Is h a multiple of 8?
True
Let d be (993/9)/((-2 - 2)/(-12)). Let a = d - 124. Is 23 a factor of a?
True
Let r be (164/10)/(1 - 3/5). Suppose r*m + 48 = 45*m. Is 7 a factor of (-2 - (-69)/(-6))*(-8)/m?
False
Suppose 0 = 304*t - 301*t - 2664. Let m = t - 376. Does 64 divide m?
True
Suppose -13*u + u = -216. Suppose -6*v = -972 - u. Is 14 a factor of v?
False
Let m(a) = -229*a - 1755. Is m(-17) a multiple of 11?
False
Let u(g) = -40*g + 36. Let b be u(-13). Let m = 511 + b. Suppose 0 = 7*l - m + 87. Does 35 divide l?
True
Is 1665*23/((-414)/(-24)) a multiple of 12?
True
Let w = 74 - 54. Let u be (-432)/(-30) - -4*(-2)/w. Let b = u + 21. Does 10 divide b?
False
Let d(p) = -1982*p - 1956. Does 92 divide d(-6)?
True
Let o = 8390 - 5985. Suppose 0 = 6*r + 7*r - o. Does 37 divide r?
True
Let j(y) = 209*y + 197*y - 382*y + 6*y**2. Does 30 divide j(-10)?
True
Let d(x) = x**3 - 11*x**2 - 29*x + 41. Let k be d(13). Suppose -2*y - 26 = -k*c - 1264, -4*y + 2481 = c. Is 31 a factor of y?
True
Suppose -30 = 7*y - 44. Suppose 0 = z - y - 47. Is z a multiple of 7?
True
Suppose -5*o = -3*v - 12771, 0 = 3*o - 50*v + 55*v - 7649. Is o a multiple of 33?
False
Is (795/212)/(-2*5/(-96200)) a multiple of 62?
False
Let r(w) = 11*w**2 - 22*w + 2. Let m be r(6). Does 13 divide (-99)/6*(4 + m/(-21))?
True
Suppose 5*t - m = 33, -m + 0 = t - 3. Suppose b - 2*b + t = -4*n, b = -5*n - 3. Suppose 5*w - 375 = -2*f, -b*f = -f. Does 7 divide w?
False
Let b be (-3)/2 - (-133)/38. Let v be (-1)/(-5) - 59/(-5). Suppose -b*x = v - 234. Does 10 divide x?
False
Let j(z) = -447*z**3 - 12*z**2 - 58*z - 55. Does 16 divide j(-3)?
True
Suppose 4*l - 22 = 2. Does 4 divide (-44)/(l/(1 - 13))?
True
Let t(k) = -67*k + 33. Let n be t(-9). Suppose -3*g - 4*j + n = -j, 1051 = 5*g - 4*j. Suppose -2*u = a - 9 - 26, g = 5*a - 2*u. Does 6 divide a?
False
Suppose 0 = -3*c + 27*k - 25*k + 159, -5*k - 106 = -2*c. Is c a multiple of 16?
False
Does 43 divide 8/((-280)/(-254325)) + 16/28?
True
Let j = 3263 - 1797. Suppose 3*x - 4*d - j = -5*d, 2438 = 5*x + 3*d. Does 20 divide x?
False
Let u(y) = 3*y**3 - 19*y**2 + 12*y + 4. Suppose -2*g - 1 = -17. Let o be u(g). Suppose -96*d + 92*d + o = 0. Does 15 divide d?
True
Suppose -48 = 169*s - 177*s. Is s/(-9) + 1959/9 a multiple of 8?
False
Let h = -40239 + 75001. Is 13 a factor of h?
True
Suppose 3*w - 1781 = 2*x, -w - 5*x + 27 + 561 = 0. Suppose -w = -7*i + 856. Suppose o - i = -5*g - o, 3*g + o = 125. Does 8 divide g?
False
Suppose -i = 1 - 4. Suppose -i*r + 2*r = -15. Suppose -3*u + m = -5, -2*m - r = -u - 5*m. Does 2 divide u?
False
Let c be (-5)/((-5)/129 + 0). Suppose -4 = -3*d + 3*o + 14, -d = 2*o + 3. Suppose d*n + c = q, -n = -5*q - 0*q + 687. Is 23 a factor of q?
True
Suppose -m - 5 = 4*m. Let j(c) = -11*c**3 - c - 1. Does 11 divide j(m)?
True
Let u(w) = 6*w**3 - 21*w - 152. Is u(11) a multiple of 9?
False
Let f = 65 - 195. Let j = -122 - f. Does 2 divide j?
True
Let z be (-60875)/(-300) + 2/24. Let k = -156 + z. Does 47 divide k?
True
Let p = -132 + 135. Suppose -2*t = -4*t + 4*u + 374, p*t = 3*u + 576. Let v = t - 135. Does 9 divide v?
False
Suppose 0 = -m + 43 - 161. Is (m/5)/((-40)/100) a multiple of 6?
False
Let v(n) = n**3 - 5*n**2 - 4*n + 8. Let q be v(6). Let j(t) = -1 + 2 + q*t + t**2 - 4 - 13*t. Is 39 a factor of j(7)?
False
Let t be (-9*3/(-18) - 2)*4. Is (t/9*-1554)/(11/33) a multiple of 37?
True
Suppose 4532453 = 217*s - 2157223. Is 12 a factor of s?
True
Let m be (-147)/3 + 4 + (-1 - 0). Let u = m - -107. Does 5 divide u?
False
Suppose -3 = -n, 5*n - 21 = -3*v + v. Let t(d) = 5*d**3 + 3 - d - 4*d**3 + 4*d**2 - 2*d**v. Is 8 a factor of t(3)?
False
Let r = -2623 + 8451. Is r a multiple of 124?
True
Let u be (-27)/6*4/(-9). Let w be (34 + -6 + u)*1. Suppose 34*l - w*l = 372. Does 13 divide l?
False
Suppose 19*k - 5*v - 507 = 18*k, -4*k = -v - 1971. Does 13 divide -14*(k/(-8) - 3/(-1))?
True
Let i = 463 - 447. Suppose 23*a - 6272 = i*a. Does 10 divide a?
False
Let s = -820 + 3548. Is s a multiple of 22?
True
Is (-546)/(-2) - (2 + (13 - 12)) a multiple of 4?
False
Suppose -5*s + 10*s = -42*s. Is 38 a factor of s - (56/(-7) + -533)?
False
Is 21 a factor of -17 - -40 - (-62642 - -35)?
False
Let p(g) = 528*g - 1986. Is 7 a factor of p(18)?
True
Let y(f) = 22*f**2 - 2*f + 3. Let w(j) = -21*j**2 + 2*j - 2. Let s be (-18)/10 - 4/(23 + -3). Let n(k) = s*y(k) - 3*w(k). Does 6 divide n(-1)?
False
Let g = 9418 + -6388. Is 5 a factor of g?
True
Let x = 526 - -284. Is 30 a factor of x?
True
Suppose -3*a + 8 = -a, -3*x - 9*a = -258465. Is 78 a factor of x?
False
Let x(y) = -y**2 - y - 1. Let k(c) = -5*c**2 - 11*c - 8. Let f(u) = -k(u) + 3*x(u). Let a be f(-5). Let d(o) = -2*o**2 + 34*o - 15. Is 9 a factor of d(a)?
True
Let z = -75004 + 128014. Is 32 a factor of z?
False
Let w(f) = f**2 - 1085*f + 1088*f + 12 + 27. Suppose t = -5*g - 3*t - 76, -g - 2*t - 20 = 0. Is 55 a factor of w(g)?
False
Suppose -21*m + 251126 = -78868. Does 27 divide m?
True
Let w(o) = 8 + 8*o - 8 + 4*o**2 - 7. Is 14 a factor of w(-6)?
False
Let y(h) = 222*h - 1. Let a = 80 + -75. Suppose 0 = a*u