f (-2)/(-16) + (3198/16 - -12)?
True
Suppose 7*a + 10 = 2*a, 5*u - a + 988 = 0. Let v = u - -282. Suppose 4*b = v - 24. Is 11 a factor of b?
False
Let y(i) = 11*i**2 - 4*i - 21. Does 14 divide y(-4)?
False
Let l be 315/(-30)*(-16)/6. Suppose 0 = -4*f - x + 69, 3*x = -f + l + 3. Is 4 a factor of f?
True
Let w(r) = -r**2 - 16*r - 10. Let x be w(-13). Let v = x - 27. Suppose -v*l + 7*l = 100. Is l a multiple of 4?
True
Let n(p) = 210*p + 8. Let l be n(10). Is l/6 - 12/9 a multiple of 14?
True
Suppose 3*i = 3*l - 51, l + i = -3*i - 3. Let p = 10 - l. Is p*105/(-9) + 0 a multiple of 17?
False
Suppose 5*c - 14 = -2*c. Suppose 5*h - 450 = c*h + 3*s, -3*h + 450 = -4*s. Is 25 a factor of h?
True
Suppose 4 = 4*g, g - 21 = -4*n - 0. Suppose n*j = -5, 2*j = 4*p - 41 - 53. Suppose -p = -i + 2. Is 7 a factor of i?
False
Does 11 divide (-49)/(-147) + (14920/6)/4?
False
Let j be -17*((-16)/88 + 24/11). Let w = 52 + j. Does 6 divide w?
True
Let d(g) = 8*g + 5. Let n be d(-6). Let x = -31 - n. Does 12 divide x?
True
Suppose -6 = 15*d - 16*d. Suppose 738 = d*r + 108. Is r a multiple of 21?
True
Let m be ((-8)/6)/((-10)/975). Suppose 5*s - 20 - m = 0. Is s a multiple of 12?
False
Suppose 0 = 2*c, -3*k = -k + 3*c + 12. Let j be 965/20 - k/8. Is j + -1 + (6 - 3) a multiple of 13?
False
Suppose 5*j - 579 = -y, 3*y + 4*j = y + 1164. Does 8 divide y?
True
Let l = -526 + 743. Suppose 3*c - l = 86. Does 19 divide c?
False
Does 17 divide 345/(-6)*(1127/(-35) + 5)?
True
Suppose -r = -g + 2, 4*g - 10 = 2*r + r. Suppose c - 14 = -4*i + 3, -r*c = 3*i - 9. Suppose s = h - 13, h = s - i*s + 23. Does 5 divide h?
True
Suppose -5*j + 611 = -2*s + 154, -4*j - 4*s = -388. Is 3 a factor of j?
True
Suppose -5*i + 3*m - 5 = -0, 5*i = -3*m + 25. Suppose -i*t + t = -135. Suppose -d = -5*d - h + 125, t = 4*d + 3*h. Is 10 a factor of d?
True
Let k(o) = 7*o - 84. Does 49 divide k(26)?
True
Let o be (0 - 3)/((-15)/10). Let i(k) = o*k - 4*k + 2 + 8*k**2 + k**3 + 5*k - 5*k. Does 5 divide i(-8)?
False
Let o = 59 - 57. Is 4 a factor of 1*(1 + o + 1)?
True
Suppose 328 = 5*b - 3*b. Suppose 4*s - b = -4*f, -4*f + s + 117 = -22. Is 5 a factor of f?
False
Let o(p) be the first derivative of p**6/90 - p**5/40 - 5*p**4/24 - 4*p**3/3 - 8. Let g(a) be the third derivative of o(a). Does 21 divide g(4)?
False
Let s be (27/(-6))/((-1)/(-2)). Let r be (2 - 3)/(s/(-378)). Does 5 divide (231/r)/(1/(-2))?
False
Does 17 divide (-4)/1 + 150*12/8?
True
Let n be (0 + 1)/(20/80). Let w = -37 + 53. Suppose n*i + 14 = 2*v, w = 3*v + 3*i - 41. Is v a multiple of 6?
False
Let p(a) be the first derivative of -a**4/4 - 7*a**3/3 + 3*a - 3. Let b be p(-7). Suppose 0 = w - b - 14. Does 8 divide w?
False
Suppose 10 = -2*x + 7*x. Let d be 64/6*3/x. Suppose -2*c + a = -4*a - 22, 0 = 4*a - d. Does 21 divide c?
True
Let m(r) = -7*r + 227. Does 9 divide m(22)?
False
Is 51 a factor of 2/4*-3 - (-6165)/30?
True
Suppose -4*o + p + 119 = -o, -2*p - 115 = -3*o. Is 0 + o + 1 + (1 - 1) a multiple of 31?
False
Let t(z) = 7*z**2 - 16*z + 9. Is t(6) a multiple of 24?
False
Suppose 0 = 5*u + 2*t - 775, 2*u - 3*u + 5*t = -155. Does 5 divide u?
True
Let r = -3 - -9. Let o be (-12410)/(-11) - r/33. Does 9 divide (-8)/(-14) + o/84?
False
Let b(j) = j**3 + 6*j**2 + j + 14. Suppose 2*r - 8 = -2*r. Suppose -30 = 7*l - r*l. Does 4 divide b(l)?
True
Suppose -2*a - 5*v = -41, 5*a + 0*v = 4*v + 20. Let h = -3 + a. Suppose -h*r + 52 = 12. Is 4 a factor of r?
True
Is (127 + -149)/(6/8 - 1) a multiple of 8?
True
Let p(v) = 38*v**2 - 9*v - 46. Does 63 divide p(-4)?
False
Suppose -52*p = -78*p + 24336. Does 36 divide p?
True
Let x = -963 - -1017. Does 6 divide x?
True
Let x(q) = 6*q**2 - 6*q + 5. Let r(o) = o**2 + 10*o + 16. Let s be r(-7). Does 39 divide x(s)?
False
Let b = 4243 + -2273. Is 8 a factor of b?
False
Suppose -4*b = -20, 3*r + 7 = -b + 21. Suppose -f = r*c - 154, -c - 159 = -f - 5*c. Is f a multiple of 54?
False
Let t = 48 - 45. Suppose -3*k + 55 + 153 = -2*q, t*k = 4*q + 212. Is 4 a factor of k?
True
Suppose 24*z = 8987 + 26653. Is z a multiple of 26?
False
Let o(x) = 9*x**2 - 20*x + 44. Is o(5) a multiple of 4?
False
Suppose -2100 = -3*i - 4*i. Is i a multiple of 6?
True
Let s be ((-10)/15)/(4/(-264)). Let c = s + 125. Is 36 a factor of c?
False
Suppose -4*a - 5*i = -3*a + 14, -a - 4*i = 11. Let l(s) = 11*s. Let n be l(a). Suppose -q + n + 17 = 0. Does 14 divide q?
True
Suppose 2*n = p + 140, -6*n + n - 5*p + 350 = 0. Is 14 a factor of n?
True
Is 47 a factor of 4083/9 + (-5)/3?
False
Let x be ((-525)/10)/(-7)*2/3. Suppose 5*k - 286 = -3*z - 23, -3*z - 257 = -x*k. Does 22 divide k?
False
Suppose -4 = -5*b + 21. Suppose -3*j + 7 = -u, b*j = -5*u - 0*u + 25. Suppose j*z - 4*z + 10 = 0. Does 10 divide z?
True
Suppose 0 = c - 0*c + 11. Let k = 7 + c. Does 13 divide k/1*65/(-10)?
True
Let a be -8*(0/(-4) + -1). Is 20 a factor of (-2*7)/(((-16)/14)/a)?
False
Suppose -27*o = 5*o - 20768. Does 11 divide o?
True
Is 1/((1/63)/(30/7)) a multiple of 15?
True
Let n(k) = -k**3 - k**2 - 3*k + 3. Let v(g) = g**3 - g**2 - g + 1. Let d(j) = -n(j) + 3*v(j). Does 9 divide d(2)?
False
Suppose 15 = -g + 3*m, -m + 1 + 4 = -4*g. Suppose 6*o - 434 - 142 = g. Is 15 a factor of o?
False
Suppose -60 = 15*j - 17*j. Suppose -5*l - 5*u + 10*u + 50 = 0, 0 = 3*l - u - j. Does 5 divide l?
True
Let r = 2 - -5. Let f be -5 + (r - 3) - -3. Suppose 0 = 3*m + u - 101, -3*m = u + f*u - 93. Is m a multiple of 35?
True
Let q be (1/1)/((-1)/29). Let m = q - -44. Does 6 divide m?
False
Let s be -2 - (-1 - (327 + 4)). Let f = s - 232. Is f a multiple of 13?
False
Is 3 a factor of ((2 - 5) + -17)*6/(-5)?
True
Let d be (2/2)/(1 + 0). Let y(c) = 149*c + 255*c - 295*c. Is y(d) a multiple of 30?
False
Suppose -x + 12 = 10. Suppose 3*d + d - 20 = -4*m, 3*d - x*m - 15 = 0. Suppose 111 = 8*c - d*c. Is 16 a factor of c?
False
Let y be ((-5)/(-15))/((-1)/(-6)). Let d be ((-68)/10)/(y/(-10)). Suppose 74 + d = 3*v. Is 12 a factor of v?
True
Suppose 18 = 2*n + 2*r + 2, n = 2*r + 20. Does 31 divide 3*((-21)/(-14) - (-502)/n)?
False
Suppose -25 + 75 = 5*p. Does 8 divide p?
False
Let m(l) be the third derivative of l**5/12 + l**4/8 + 5*l**3/6 + 4*l**2. Is 6 a factor of m(-3)?
False
Suppose -5*f + 747 = -2133. Is 8 a factor of f?
True
Let b = -299 + 667. Let j = -171 + b. Is j a multiple of 39?
False
Is 3 a factor of ((-28)/3)/(-7)*6?
False
Suppose -3*c = -8*c + 1110. Suppose 3*k + 2*j = -j + c, 4*k - j = 301. Is 15 a factor of k?
True
Suppose -4*o + 22 = 5*k, -2*k = -k - 3*o + 7. Suppose -6*b + 7*b + 3*y - 70 = 0, y = -k. Does 7 divide b?
False
Let i be -28 + (0 - 1)*3. Let y = i - -117. Is 11 a factor of 9/36 + y/8?
True
Let o = 4 - -2. Suppose -6*z + 4*z = -o. Does 2 divide z?
False
Let k = 1 - -3. Suppose 2*t - 3*m = -k*m + 185, 170 = 2*t - 2*m. Is t a multiple of 15?
True
Let x(z) = z**2 + 8*z + 2. Let c be x(-4). Is 8 a factor of 18*7/(c/(-8))?
True
Suppose -7 = h - 2. Is 6 a factor of (h/(-2) - 1) + (-290)/(-4)?
False
Let j(m) = 199*m**2 + 24*m - 48. Is 56 a factor of j(2)?
False
Is (-15)/(-6) - 958/(-4) a multiple of 22?
True
Let s be 9/6*32/(-6). Let y = 20 + s. Suppose 2*a = y + 6. Is a a multiple of 2?
False
Let q(h) = -4*h**2 + 15*h + 23. Let p(f) = 2*f**2 - 7*f - 12. Let v(g) = 7*p(g) + 3*q(g). Is v(-6) a multiple of 23?
False
Let j = 11 + -10. Let i(k) = -k**2 + 7*k + 15. Let y be i(9). Does 13 divide 1*24 - y - j?
True
Let d(f) = -174*f - 232. Is d(-12) a multiple of 32?
True
Is 13 a factor of (605/15)/((85/(-30))/(-17))?
False
Suppose -2*z - 7*d + 3*d - 1246 = 0, -z - 608 = -d. Let x = -403 - z. Is x a multiple of 30?
True
Let z(a) = -10 + 16 + 0 + 6*a. Is 18 a factor of z(5)?
True
Suppose 0 = -3*i - 4*w + 5204, -209*i + 207*i - w = -3461. Is 36 a factor of i?
True
Let o = -41 + 78. Suppose 3*s = 5*f + o, 2*s = s - 4*f - 16. Suppose -s*w = 5*a - 250, -3*w + 105 = -2*a - 94. Is w a multiple of 13?
True
Let i be 2/8 + 52/(-16). Let v be 9/(-6)*8/i. Let d(w) = w**3 - 2*w**2 + w. Does 18 divide d(v)?
True
Does 8 divide ((-365 - 4) + -3)/(12/(-8))?
True
Let l(s) = 81*s**3 - 2*s + 1. Let d be l(1). Suppose 3*a + 2*k = 48, 0*k = -5*a - k + d. Is 4 a factor of a?
True
Suppose t + t + 92 = 0. Let l be (-4)/(-4) + 1 + t. Let w = 116 + l. Is w a multiple of 15?
False
Suppose 70*v + 21 = 67*v. 