0 = -g - 4*g. Let k be g/70 + 1200/(-14). Is 10 a factor of k/(-3) + (-8)/(-6)?
True
Suppose -50*l = -53*l + 21. Suppose 166 = 5*p + 3*f, -4*f - 38 = -p - l*f. Is p a multiple of 8?
True
Let q be 4 + 2 + (1 - 2). Let m(t) = 3*t**2 - 5*t + 11. Let c be m(-4). Suppose v = -q*o + 402 - c, 2*v - 134 = -2*o. Does 12 divide o?
False
Let p(c) = 2*c**3 + 122*c**2 - 20*c + 5. Does 16 divide p(-61)?
False
Suppose 2*r = -4*q + 1966, 4*q + 1189 = -3*r + 4130. Is 13 a factor of r?
True
Suppose 0 = -8*n + 12700 - 3676. Is 8 a factor of n?
True
Let k be 96*1 - (3 - -2). Suppose y - k = -43. Is 9 a factor of y?
False
Let p be (-9 - -4 - -4) + 274. Suppose v + 0*v = p. Let m = v - 160. Does 15 divide m?
False
Let x(i) = 8*i - 25. Let w be x(14). Suppose 94 = w*a - 85*a. Is 2 a factor of a?
False
Let o be (-1 - -5) + -1 + 18. Suppose -o + 168 = 7*q. Is 7 a factor of q?
True
Suppose -4*l = 4*a + 8, -4*a = -0*a - 5*l - 10. Suppose -108 = -3*z - a*z. Is z a multiple of 9?
True
Let m(l) = -l**3 - 16*l**2 - 2*l - 8. Let o be (-36 - -18) + (0 - -2). Does 3 divide m(o)?
True
Let s(f) = -f**2 - 6*f - 2. Let h be s(-4). Suppose -h*v + 2*v = -16. Suppose -3*p + 3*m + 66 = 0, 0*m - 4*m - v = 0. Does 21 divide p?
True
Suppose 0 = 2*p + 2*p - 2*r - 14, 4*p + 7 = -5*r. Let x(o) = -19 - o - p*o - 2*o + o. Is x(-7) a multiple of 7?
False
Suppose 12*y + 3*q - 14 = 11*y, 2*q = 3*y + 2. Suppose -y*r = -46 - 70. Is 3 a factor of r?
False
Let l = 9 - 13. Let u(o) = 4*o**3 + 4*o**2 + 11. Let f(z) = -7*z**3 - 7*z**2 + z - 21. Let g(y) = 3*f(y) + 5*u(y). Does 5 divide g(l)?
False
Is 21 a factor of ((-11319)/14)/(-7)*(-4 - -8)?
True
Suppose 82*p - 5170 = 69696. Is 33 a factor of p?
False
Does 7 divide -12*((-392)/(-48) + -11)?
False
Let c(k) = k**2 + 8*k - 2. Let j be c(-6). Let a = j + 30. Is a a multiple of 4?
True
Let w = 13 - 25. Let k(o) = -o**2 - 13*o + 6. Let v be k(w). Let d = v + 18. Is 15 a factor of d?
False
Let p be 1 + 2/(-2)*-1. Suppose 0 = d - 1, 0 = -5*t - 0*t - 3*d + 373. Suppose 4*i = -2*s - i + 46, p*s - 2*i = t. Is s a multiple of 13?
False
Let s = 10585 + -6875. Does 61 divide s?
False
Let n(z) = 63*z + 471. Does 20 divide n(3)?
True
Suppose 5*u - 4*x - 12205 = -9*x, 4*u = -x + 9776. Suppose -9*a + u = 105. Is 44 a factor of a?
False
Suppose 80*j - 92*j + 13452 = 0. Is 59 a factor of j?
True
Let m be 4 + (-2 - -2) + -2. Suppose -3*z + 622 = -2*g, g - 428 = -m*z - g. Is 25 a factor of z?
False
Is 4*(-222)/84*-7 a multiple of 5?
False
Suppose -11*f - 35 = -6*f. Is f/(-70)*-4 + (-2394)/(-10) a multiple of 11?
False
Does 27 divide 2/9 + 17755/9 - 2?
True
Let t(n) = -n**3 + 3*n**2 - 2*n + 2. Let x be t(3). Let z = x - -5. Suppose a - 7 = -z. Does 6 divide a?
True
Let z = -5 + 2. Let l be z/2*36/(-27). Suppose 3*y + 99 = l*f, 64 + 50 = 2*f + 2*y. Is f a multiple of 18?
True
Suppose 826 + 2266 = 2*i - s, i = -3*s + 1560. Is i a multiple of 36?
True
Suppose -2*l = -11 + 1, 0 = -5*v + 4*l + 20. Is (2376/(-96))/(2*(-1)/v) a multiple of 35?
False
Suppose 2*b - 6*b = 5*g - 346, -5*b = 5*g - 350. Is 16 a factor of g?
False
Let s(a) = 8*a**3 + 2*a**2 - 14*a - 16. Let u(l) = 3*l**3 + l**2 - 5*l - 5. Let i(g) = 4*s(g) - 11*u(g). Is i(-4) a multiple of 3?
False
Suppose -5*d = 3*d. Let j(g) = 6*g + 30. Does 2 divide j(d)?
True
Let i(u) = 185*u**2 + 5*u + 1. Is i(-2) a multiple of 43?
True
Is (-2)/17 + (-49380)/(-102) a multiple of 44?
True
Suppose 4*w = 4, 7*q - 2*w = 4*q + 631. Is 12 a factor of q?
False
Let m be ((-1 + 454)/(-3))/(-1). Suppose 4*o - 519 = -5*q - m, -214 = -2*o + 5*q. Suppose 0*a + 5*r - o = -4*a, 50 = 2*a + 2*r. Is a a multiple of 20?
False
Let l = 24 + -26. Let h be (259 - (-2 - -3)) + l. Let r = h - 173. Is r a multiple of 19?
False
Let q = -5 - -5. Suppose 3*a - k + 24 = q, 5*k + 24 = -2*a - a. Let h(l) = -l**2 - 8*l + 5. Does 3 divide h(a)?
False
Let y(j) = 1152*j + 6. Is y(1) a multiple of 25?
False
Suppose 0 = -3762*h + 3755*h + 7504. Is h a multiple of 47?
False
Let c(b) = b**3 - 13*b**2 - 60*b + 74. Is 26 a factor of c(17)?
False
Suppose -2*r - 3*r + 15 = 0. Suppose -3*j - 311 = -4*a, -2*a - r*j = -7*j - 168. Is a a multiple of 9?
False
Suppose 3*q = 4*c + 3 + 14, c + 2*q - 4 = 0. Let r = c + 14. Does 2 divide r?
True
Suppose 4*a - 14 = 3*x - 43, -x = 4*a + 1. Suppose 0 = -x*y + 4*y. Suppose -5*g = s - 44, 0*s - 3*s + 2*g + 98 = y. Does 17 divide s?
True
Let s(n) = n**3 - 6*n**2 - 12*n - 4. Let w be s(9). Let r = w + -43. Suppose 4*g + r = 4*y, 2*g = -4*y + 69 - 11. Is y a multiple of 16?
False
Let x be (-69)/(-18) - 2/(-12). Suppose -i + 116 = -0*i + 2*d, -x*d = 5*i - 556. Suppose 2*a - 3*f = i, f = -a - 4*f + 28. Is 16 a factor of a?
True
Is 6 + (-21)/7*-141 a multiple of 12?
False
Suppose h = -f - 0*h + 3, f - h - 3 = 0. Suppose -y + f = -2. Suppose 205 = y*c - 15. Does 22 divide c?
True
Let o = 193 + -157. Is o a multiple of 4?
True
Let g = -65 + 100. Is 8 a factor of (-88)/(-5) + (-21)/g?
False
Suppose -3*u = -0*k + 3*k - 9120, -u - 3034 = -k. Does 80 divide k?
False
Is (-35 - -1791)*(-3)/(-4) a multiple of 70?
False
Is 7 a factor of (-280)/6*(-990)/275?
True
Let r be (-2 + 364)/(4 + -2). Suppose -5*o + v + r = 0, -2*o + 54 = -6*v + v. Suppose -2*a - 5*g + 2*g = 2, 3*g = 5*a - o. Does 3 divide a?
False
Let n be (-4)/3*(-9)/2. Let p(j) = 2*j + 52. Is 16 a factor of p(n)?
True
Suppose -36*n + 6890 = -11074. Does 8 divide n?
False
Let c = -67 - -63. Is 2/(c + (-3750)/(-935)) a multiple of 31?
False
Let j be (3*18)/3 - -3. Let x = 54 - j. Does 20 divide x?
False
Let k(x) = 10*x**2 - 7*x + 6. Let f be k(-7). Suppose 2*l = 6*l + 4*u - 520, -4*l + f = -u. Does 15 divide l?
True
Suppose 2*z = -2*i + 5*z + 413, -4*i + 861 = z. Suppose -110 = -6*g + i. Does 27 divide g?
True
Let p(k) = -k**2 + 31*k - 24. Is p(28) a multiple of 20?
True
Suppose -3*i = -14*i + 3366. Does 9 divide i?
True
Suppose 246*z + 38675 = 259*z. Is z a multiple of 17?
True
Suppose 5*d = -b - 4*b + 860, -9 = 3*b. Suppose -6 = -3*m + 12. Suppose 3*n = 2*w + d, -n + w = -53 - m. Is n a multiple of 19?
True
Let y(a) = 4*a + 19. Let k be y(-7). Let l = k - -17. Is 2 a factor of l?
True
Does 22 divide -3*5/(-3) + 149?
True
Suppose 2*q = -2*u + 42, -117 = -5*u - 0*q + q. Suppose 14*z - u*z = -1386. Does 14 divide z?
True
Let r(n) = -n**3 + 17*n**2 + 3*n + 14. Let q be r(17). Let u = q - -73. Does 23 divide u?
True
Is 50/3*(1170/12)/13 a multiple of 19?
False
Let b(k) = -39*k**3 - 3*k**2 - k - 4. Let i(j) = -40*j**3 - 2*j**2 - 3. Let y(t) = 2*b(t) - 3*i(t). Does 5 divide y(1)?
False
Let l(k) = 16*k - 37. Let g be 24*5/(1 - -9). Is 31 a factor of l(g)?
True
Suppose 0 = 12*m - 1860 - 1308. Is m a multiple of 8?
True
Let u(p) = -24*p - 40. Is u(-6) a multiple of 2?
True
Let w be 60/2*8/5. Suppose -11*t = -10*t - w. Does 4 divide t?
True
Let u = 685 - 218. Let o = u - 232. Is o a multiple of 23?
False
Let n be -2*(-1)/(-2) + -12. Let c = n + 141. Is c a multiple of 33?
False
Suppose 6*h - 47 - 19 = 0. Suppose 2*a - h*a = -288. Does 4 divide a?
True
Let y = -466 - -470. Does 4 divide y?
True
Let g = -640 - -1121. Does 13 divide g?
True
Suppose -6*r + 6 = -8*r. Let o be 7/4 + r/(-12). Suppose 0*t - 4*j + 106 = 3*t, -o*t = 2*j - 68. Is t a multiple of 19?
False
Let i(r) = r + 50. Is i(-24) a multiple of 13?
True
Let g = 745 - 1066. Does 5 divide (-5)/40 - g/8?
True
Suppose p - 4*m = -48, 0 = p - 5*m + 19 + 25. Let q = p - -81. Does 4 divide q?
False
Suppose -5*i = 98 - 473. Suppose -5*k = 4*h - 400, 3*k - 4*h - 197 = i. Is 11 a factor of k?
False
Let w = 38 + -7. Let p be w*-1*4/4. Is 14 a factor of (-7)/((-7)/(-3)) - p?
True
Suppose 24 = 5*b + 2*c, -4*c + 18 = -2*b + 7*b. Let d(l) = l**3 - l**2 - 3*l + 6. Let y be d(b). Suppose -s - 2*s + y = 0. Is 19 a factor of s?
False
Suppose 1 = z + 4, 0 = -2*f - 5*z + 89. Suppose -5*u + u = f. Let i(l) = l**2 + 13*l + 12. Is 6 a factor of i(u)?
True
Let p(a) = a - 2*a + 0*a + 1 + 0*a. Let c(h) = -24*h + 11. Let q(j) = 2*c(j) - 22*p(j). Does 13 divide q(-1)?
True
Is (3/18)/(((-171)/38826)/(-19)) a multiple of 9?
False
Suppose 557 = 3*d + 2*i, 0*i - 940 = -5*d - i. Is d a multiple of 16?
False
Let s(j) = -10*j + 59. Is s(-7) a multiple of 6?
False
Let g(b) = b**3 - 6*b**2 + 6*b + 5. Let i be g(7). Let w be (-2)/(-15) + i/(-45). Let f = 4 - w. Is f a multiple of 