Is b*((-2 - -6) + -3) a multiple of 21?
False
Let n(t) = 6*t. Let h(m) = -5*m + 1. Let i(r) = 4*h(r) + 5*n(r). Let b be i(6). Suppose -c + f + 24 = 4*f, 5*f - b = -3*c. Is 6 a factor of c?
True
Suppose 0*m = -6*m + 30. Let l(a) = a - 1. Let j be l(m). Suppose -j*t + 167 + 5 = 0. Is 26 a factor of t?
False
Let g = -443 + 554. Is 4 a factor of g?
False
Let z(d) = d**2 + 16*d - 7. Suppose 8*j - 5*j + 51 = 0. Is 10 a factor of z(j)?
True
Suppose -3*v + 1 = -3*c + 34, -v = c - 5. Is (-2)/(7/((-532)/c)) a multiple of 2?
False
Suppose -30*p + 22568 = -60922. Does 121 divide p?
True
Does 56 divide 1180 - (-1)/(0 + 2/(-8))?
True
Let z(s) = 9*s - 8. Suppose 5*v + 4*a = a - 114, -4*a = v + 16. Let k = -18 - v. Is z(k) a multiple of 12?
False
Suppose 5*n - p - 7138 = 0, 2*n + 4*p - 2854 = 5*p. Is n a multiple of 68?
True
Let v(k) = 37*k - 2 - 50*k - 2. Is 24 a factor of v(-7)?
False
Let g(c) = 73*c + 74. Does 5 divide g(2)?
True
Suppose 60*o = 63*o - 180. Suppose -3*k = -5*l + 60, 3*l + 2*l + k = o. Is l a multiple of 8?
False
Let q(d) = d + 12. Let f be q(-12). Suppose f = 5*r - 2*r + 3*y - 102, 100 = 3*r + 4*y. Let l = r + -12. Does 11 divide l?
False
Suppose -2*v + 18 = -5*x, -v + 8 = 2*x + 2*v. Let b(q) = 4*q**2 + 2*q. Let p be b(x). Is 22*(-4)/((-32)/p) a multiple of 11?
True
Let w be (1 + -2 + 0)*21. Let z be ((-344)/(-6))/((-7)/w). Suppose -3*u = -7*u + z. Is 14 a factor of u?
False
Let q = 4 - -1. Suppose z + a - 10 = -3*a, -3*z + q*a = -47. Does 2 divide z?
True
Let m(a) = -65*a + 148. Does 44 divide m(-4)?
False
Is -1 - (-3)/6 - (-45500)/56 a multiple of 28?
True
Let k be (3/18*3)/(3/(-24)). Is 2/k + -134*(-9)/36 a multiple of 5?
False
Suppose -5*x + 20*x - 53865 = 0. Does 63 divide x?
True
Let x(i) = 12*i - 6. Let f be x(5). Suppose 4*h - 120 = 4*p, -f = -5*h + 2*p + 96. Let u = 56 - h. Is u a multiple of 8?
False
Suppose -5*w + 5231 + 707 = -g, -3*w = 5*g - 3574. Does 33 divide w?
True
Let l = -869 + 2237. Is 38 a factor of l?
True
Let y = -68 + 194. Does 17 divide y?
False
Is ((-414)/10)/((-16)/40)*2 a multiple of 9?
True
Let p = -588 + 1666. Does 98 divide p?
True
Suppose -5*q + 263 = -562. Does 16 divide q?
False
Let q(i) = -2*i + 49. Let s(y) = -y + 24. Let d(f) = -3*q(f) + 7*s(f). Let a be (-38)/171 - (-79)/(-9). Does 6 divide d(a)?
True
Let v(i) = -2 - 3*i**2 + 5*i**2 - 5. Is v(-6) a multiple of 12?
False
Let t = -8 - 13. Let n be (-12)/(t/9 - -3). Is (n/4)/(3/(-40)) a multiple of 16?
False
Let f(l) = -13*l. Let m be (6/5)/((-3)/10). Let r be f(m). Let i = r - 31. Does 7 divide i?
True
Let j(r) = -33 + 0*r - 16*r + 12*r + 13*r. Is 24 a factor of j(9)?
True
Let c = -2760 - -4140. Is c a multiple of 20?
True
Let x(z) = -z**3 - 5*z**2 + 18*z - 4. Let q = 8 + -16. Is 11 a factor of x(q)?
True
Suppose -2*y + 429 = -1013. Does 22 divide y?
False
Let t(i) = i**3 + i + 0*i**3 - 2*i**3 - 8 + 10*i**2. Let n be t(10). Suppose 77 = n*m - 185. Does 36 divide m?
False
Let z(y) = 110*y. Let i be z(1). Suppose 56 = 2*u + 2*c, 4*u - c - i = 7. Let w = u - 4. Is 25 a factor of w?
True
Suppose -275 - 349 = -8*q. Is q a multiple of 5?
False
Suppose 4*h = 52 + 4. Let x be h + 5 - -1*2. Suppose 0 = -2*a + 23 + x. Is a a multiple of 11?
True
Suppose 7*f + 9*f - 96 = 0. Suppose 126 + 48 = f*g. Is g a multiple of 29?
True
Let f(p) = p**2 - 2*p + 3. Let d be f(3). Let b(l) = 11*l**2 - 2 - 2*l - 3*l + 11 - 10*l**2. Is 13 a factor of b(d)?
False
Let a(p) = -2*p**3 + 2*p - 2. Let c be a(-4). Suppose 5*m - 62 = c. Is m a multiple of 17?
False
Let j(h) = -4*h - 6. Let r = 4 + 1. Let m be ((-8)/r)/((-3)/(-15)). Does 26 divide j(m)?
True
Let m be 2/(1*(2 + -2 + 1)). Suppose 3*j = 4*j - 180. Suppose -m*q + j = q. Is q a multiple of 15?
True
Let q(b) = 3*b + 16. Let m(g) = 4*g + 15. Let s(l) = 6*m(l) - 7*q(l). Let f be s(12). Let r(w) = 3*w - 3. Is r(f) a multiple of 13?
True
Let z be (-4)/(-3)*(-72)/(-32). Let u(p) = -p**2 - 10*p - 16. Let t be u(-7). Suppose 4*c + 3*k - 89 = 0, z*c - t*k = 107 - 4. Is c a multiple of 13?
True
Let m(z) = -5*z**2 + 21*z - 21. Let o(c) = -c**2 + c. Let u(h) = -m(h) + 6*o(h). Is u(-14) a multiple of 2?
False
Let y = -261 - -365. Is y a multiple of 21?
False
Suppose -2*w + 2 = f - 7, w - 3 = 0. Suppose -f*g + 341 = 140. Is g a multiple of 5?
False
Suppose 4*k - 67 = 5*h, -3*k - 4*h = -74 - 15. Let a = k + -65. Does 7 divide (0 - -3)/((-9)/a)?
True
Suppose -4*m - m + 653 = -2*z, -3*z = 4*m - 527. Is (-12)/60 + m/(-5)*-1 a multiple of 8?
False
Let j be 4 + -2 + (6 - 4) + 197. Let a = j - 65. Does 8 divide a?
True
Suppose 0 = -6*r + 8*r - 6. Let h(l) = r + l**2 - l**2 - 2*l - 13 + l**2. Is 6 a factor of h(-7)?
False
Let j(w) = 21*w + 5. Let v(o) = -357*o - 84. Suppose 2*x - 10 = 2*q + 3*q, x + 3*q + 17 = 0. Let f(a) = x*v(a) - 84*j(a). Does 7 divide f(2)?
True
Let k(d) = d + 1. Let s(m) = -20*m - 20. Let x(n) = 4*k(n) - s(n). Is x(4) a multiple of 24?
True
Let u = -9 + 9. Suppose -3 = -3*j - 3*q, j = -u*j + 5*q + 7. Suppose 0 = -j*t - 3*t + 500. Is 15 a factor of t?
False
Suppose u = 3*d - 12416, -4*d - u - 1609 + 18173 = 0. Suppose -9*q + d = 6*q. Is 23 a factor of q?
True
Let h(o) = o**3 + 5*o**2 - 7*o - 2. Let g = -4 - 2. Let v be h(g). Does 27 divide 44/(-2)*(-6)/v?
False
Suppose 0 = -33*i + 36*i - 1185. Does 11 divide i?
False
Suppose 0 = 2*o - 9 + 7. Suppose 0 = w + w - 3*v + o, 2*w + 5*v - 23 = 0. Suppose -79 + 23 = -w*r. Does 7 divide r?
True
Let a(u) = -3*u + 2. Let s be a(-2). Let x be (-85)/(-20) + 6/s. Suppose -3*g = -6*k + 3*k - 114, -x*g = k - 178. Is 6 a factor of g?
True
Let b be (24/10)/(8/280). Let r = -49 - b. Let g = -80 - r. Is g a multiple of 25?
False
Let w(u) = 5*u + 12. Let q be w(4). Does 8 divide 148/14 - q/56?
False
Suppose -612 = -12*b + 16*b. Let f = -114 - b. Is 5 a factor of f?
False
Suppose -2*j - 24 = j. Is (7/1)/((-2)/j) a multiple of 7?
True
Let m(q) = q - 4. Let b be m(8). Suppose -b*z = 3*z. Does 36 divide -1 - (-4 + z - 100)?
False
Let g(z) = -z**2 + 35*z + 1. Is g(34) a multiple of 5?
True
Suppose -p + 0*p = -2. Suppose -2*c - k = 3*k + 16, 0 = -4*c - p*k - 32. Is c/44 + 365/11 a multiple of 11?
True
Let w = -241 - -408. Let t be (2/4)/(3/(-654)). Let l = t + w. Is 25 a factor of l?
False
Let p(d) = -8*d - 3. Let y be p(-4). Let z = 32 - y. Is 14 a factor of -14*1/z*-3?
True
Let m be (0 - 10/15)/(2/(-27)). Suppose -m*x = -4*x - 105. Is x a multiple of 3?
True
Is 3/24 - 5/(-40)*3127 a multiple of 17?
True
Suppose -i - i - 2*o = -44, -3*i = 5*o - 58. Let a = 89 - i. Let w = a + -28. Does 14 divide w?
False
Let l(t) = -t + 2. Let j be l(-3). Suppose -2*r + 35 = -j*r - g, 0 = 3*r - 5*g + 23. Is (17/4)/(r/(-88)) a multiple of 10?
False
Suppose 3*m = 15, -2052 - 827 = -f - 2*m. Is f a multiple of 10?
False
Let m be (-14)/(-21) + (-68)/(-6). Let k(j) = -5*j + 1. Let a be k(-5). Let f = a - m. Does 12 divide f?
False
Let g = 35 + -21. Is 124/7 - g/(-49) a multiple of 5?
False
Let v(i) = -i + 17. Let r be v(22). Is 11 a factor of r/10*(-1 - 681)?
True
Suppose -3*m = l - 492, 10*l + 3*m = 6*l + 1959. Is l a multiple of 47?
False
Suppose -3*z = p - 1346, -3*z + 6*p - 2*p + 1336 = 0. Suppose 4*a - 2*v - z = 0, -3*a = -6*a - 4*v + 336. Does 18 divide a?
False
Is (-207)/138 - (-4938)/4 a multiple of 5?
False
Let f be 101/(-9) + (-4)/(-18). Let d = 26 + f. Let g = d - 9. Does 3 divide g?
True
Is (-30)/(-18)*(56 + 1) a multiple of 8?
False
Let t = 362 - 287. Is 22 a factor of t?
False
Let v = -10 + 13. Let p be (-29)/((-7)/v + 2). Suppose -3*l + 5*u = -4*l + 45, -p = -3*l + u. Is 15 a factor of l?
True
Let u(b) = 10*b. Let a be u(2). Does 13 divide (-208)/a*(-5)/2?
True
Let n = 28 - 28. Suppose 3*x + 108 = 3*a, 4*x = -n*a - 3*a + 108. Is a a multiple of 8?
False
Let y(d) = -8*d - 21. Let t be y(-3). Suppose 0 = 2*g - 8, -8*l + t*l + 211 = 4*g. Is 18 a factor of l?
False
Let q be 2/(-3) + 10/15. Suppose q = -4*b + 123 + 349. Is b a multiple of 26?
False
Let a = -12 + 15. Suppose 2*x = w - 127, -w - a*x + 137 = -0*w. Is 23 a factor of w?
False
Suppose 0 = 4*f + 2*m - 4434, 3*f - 3*m - m - 3342 = 0. Is (-48)/40*(f/(-9) - 0) a multiple of 37?
True
Let y = 143 + -240. Let g = 289 + y. Is 32 a factor of g?
True
Let f = 237 - -428. Is f a multiple of 38?
False
Suppose -4*o - 4*v = -3*o - 40, -v - 137 = -5*o. Let k = o - -7