- 2*q = -2*d - 20, -n*q + 15 = 0. Let g(c) = 2*c**2 - 7*c - 11. Does 17 divide g(d)?
True
Let g = -316 - -204. Let n = g - -24. Let r = -6 - n. Is 14 a factor of r?
False
Let k(o) = 4*o**2 - 26*o + 31. Let u be k(7). Let v = u - -17. Is v a multiple of 8?
False
Suppose 164*f + 822592 = 3192556. Does 11 divide f?
False
Suppose -n + 4139 = n - c, 2092 = n - 5*c. Is n a multiple of 13?
True
Does 8 divide 7922/15 + (-278)/2085?
True
Let q(c) = -45*c - 49*c - 1802 + 1814. Is 14 a factor of q(-3)?
True
Let c = 8 + -12. Let m be (-5)/c*(79 + 1). Suppose m = i + a, a = i - 4*i + 292. Is 12 a factor of i?
True
Is (-28)/(-7) - -259 - 11 a multiple of 3?
True
Let q be (3/(-6))/((-4)/48). Suppose 49 = h + q*h. Suppose -5*i + 250 = 4*z, -3*i = h*z - 3*z - 254. Is z a multiple of 13?
True
Let t = 49 + -49. Suppose -2*w - 3*s = 15, -4*w + 15 = -t*s - 3*s. Suppose w = 75*r - 70*r - 105. Does 7 divide r?
True
Let f = 33800 + -16868. Is f a multiple of 249?
True
Let k be (2/4)/(4/40). Let f(q) = 8*q**2 + 11*q - 10. Let m be f(k). Let h = m - 138. Does 10 divide h?
False
Let s(h) = 40 - 17 + 21*h + 2. Let o be s(-9). Let l = -36 - o. Does 11 divide l?
False
Does 11 divide (-92 - 5*(-4)/40)*-22?
True
Suppose 0 = 20*x + 7389 + 291. Let k = -255 - x. Is 28 a factor of k?
False
Let o(p) = p**2 - 22*p + 29. Let f be o(21). Suppose -13*y - 40 = -f*y. Let l(v) = -6*v - 4. Is 25 a factor of l(y)?
False
Suppose -5*j + 20 = 4*m, -3*m + 0*j = 5*j - 10. Suppose s - 3*s - d = -162, -m = -5*d. Is 10 a factor of s/3 - (-2)/6?
False
Suppose 5*u - k = 14988, 0 = 8*u - 7*u - 2*k - 3003. Suppose -7*l + u = -3723. Does 15 divide l?
True
Is 5 a factor of 2624/6*402/268?
False
Let k = 26930 + 624. Is k a multiple of 46?
True
Suppose 3*c = -f - 13, 5*f + 24 = 4*c + 16. Is -2 + -10*(-376)/(-12)*c a multiple of 67?
True
Is 3 a factor of 3759 + -1640 - 2*5*-1?
False
Let y be (-1)/4 + 3431338/232. Suppose -27*i = 7*i - y. Does 87 divide i?
True
Suppose -3*m + 147 = 120. Suppose 3*o - 21 = m. Is o a multiple of 10?
True
Does 149 divide (-52 - 246)/(2/454*-2)?
True
Does 11 divide (-3)/14*-15142 - (-134)/469?
True
Suppose 29*x - 258503 = -35058. Does 115 divide x?
True
Let y(t) = 2*t - 15. Let d be y(9). Let s be (8 - (d + -1)) + (-4)/2. Suppose -q + u + 13 = -s*u, -q + 2*u = -10. Does 4 divide q?
True
Suppose 20 = 2*r - 3*o - 6, -3*o = 4*r - 52. Suppose r*y - 21*y + 1560 = 0. Is y a multiple of 3?
True
Suppose 273*u - 269*u + 2*v = 29892, -u - 5*v = -7455. Does 4 divide u?
False
Let j = -106 + 109. Suppose 972 = j*s - 3*h, -2*s - h = s - 976. Is 25 a factor of s?
True
Suppose -4*w + 146*r - 147*r + 56827 = 0, -w + 3*r = -14197. Is w a multiple of 195?
False
Let y = -129 + 136. Is 49 a factor of (-4 - (y - 4))*(-2 + -26)?
True
Let w(u) be the first derivative of -31*u**4/2 - u**3 - 3*u**2 - 4*u - 20. Is w(-1) a multiple of 15?
False
Suppose 18*c = 677 + 403. Suppose -c = -i - 56. Suppose 0*s - 2*s + 41 = -3*n, i*s = 5*n + 85. Is 13 a factor of s?
False
Let f = 776 - 303. Suppose 0 = -180*o + 179*o + f. Is o a multiple of 43?
True
Let b(f) = 33*f + 328. Is b(30) a multiple of 36?
False
Suppose 0 = 5*b - 129 + 119. Suppose -b*o + 3*l + 372 = 5*l, 2*o - 392 = 2*l. Is o a multiple of 50?
False
Does 25 divide 21218/8 + (0 + 12/8)/(-6)?
False
Suppose -6*m + 3*m = -42. Let v(t) = -12 + 37 - 10 - m + 47*t. Is v(1) a multiple of 5?
False
Suppose 383*p + 2 = 384*p. Suppose 8*r = -p*r + 3000. Is 25 a factor of r?
True
Let q = 21 + -14. Suppose q*l - 209 = -20. Does 17 divide (-2)/(-18) + 3210/l?
True
Suppose -c + 2989 = -b, -5*c - 7*b + 1673 = -13296. Is c a multiple of 44?
False
Let v = 398 + -385. Suppose 16*b = v*b + 561. Is b a multiple of 14?
False
Let s(n) = -23*n + 5. Let w(l) = -11*l + 2. Let z(u) = 6*s(u) - 15*w(u). Let f = -8 + 12. Does 12 divide z(f)?
True
Let o(j) = 30*j**3 + 2*j**2 + 7*j - 13. Let m be o(4). Is 14 a factor of 6/(-45) - m/(-15)?
False
Let f = 9677 + -8858. Is 3 a factor of f?
True
Does 22 divide 6180/1 - 13*(-56)/364?
True
Let n be (60/8)/((-2)/(-4)). Let o(q) = q**2 - 6*q + 12. Let u be o(n). Suppose -3*v + 3*c = -u, 5*c - 13 - 219 = -4*v. Is 4 a factor of v?
False
Suppose 21 = -5*b - 4, 2*b = 4*o - 10. Suppose -5*w + u + o*u + 75 = 0, 0 = -4*w + 5*u + 60. Suppose 3*c + 0*c = w. Does 5 divide c?
True
Suppose 5*w = 2*z + 2*z - 23, -z = 5*w + 13. Suppose 0 = -4*i + t + 1253, 0*i = 5*i - z*t - 1570. Does 24 divide i?
True
Let w = -79 + 87. Let f(d) = d**3 - 9*d**2 + 12*d - 25. Let h be f(w). Suppose -h*v + 33 = -653. Is 6 a factor of v?
False
Suppose 2*h + 83 = -r, -7*r - 304 = -3*r + h. Let p = r + 224. Does 10 divide p?
False
Suppose 3*g - 250843 = 5*z - 87568, 0 = 8*g - 3*z - 435338. Does 15 divide g?
False
Suppose 0 = -r - 4*q - 1, 2*r - 5 = -r - 4*q. Suppose 1 - 7 = -2*j - r*y, 2 = y. Suppose -5*l = -2*p - 836, 2*l + 4*p - p - 342 = j. Is 24 a factor of l?
True
Suppose -z + 5 = 4*o - 7*o, -24 = 3*z + 4*o. Let u = -20 + 47. Let c = u + z. Is 3 a factor of c?
False
Suppose -18 = -13*o + 4*o. Suppose -w - 233 = -o*p, -354 = -3*p - 8*w + 5*w. Let z = p - 91. Does 9 divide z?
False
Let m = -1907 - -2416. Is 2 a factor of m?
False
Suppose -35*k + 44226 = -32*k + 78*k. Is 26 a factor of k?
True
Suppose 3*c = 5*w - 1415, -w + c = -0*c - 281. Suppose 4*v + 16 - 12 = 0, 2*u - 4*v = 406. Let l = w - u. Is l a multiple of 5?
True
Let s(p) be the first derivative of -p**4/4 + 10*p**3/3 - 3*p**2 - 3*p + 1. Let t = -287 + 294. Is 10 a factor of s(t)?
False
Let y = 14411 + -5032. Does 14 divide y?
False
Let l(u) = 3*u**2 + 9*u + 12. Let h(o) = 2*o**2. Let p(y) = h(y) - l(y). Is p(-3) a multiple of 2?
True
Suppose 1 = m - 2*y, 3*y + 15 = 5*m - 2*y. Let c(s) = 40*s - 6. Let a be c(m). Suppose 54 = -7*h + a. Is 10 a factor of h?
True
Let s(u) = -2*u**3 + 25*u**2 + 9*u + 52. Let i be s(13). Let b(h) be the second derivative of -h**4/6 + 12*h**2 - 4*h. Is b(i) a multiple of 14?
False
Let o(h) = 2*h + 33. Suppose -3*j - 1 = -2*y + 17, -4*y = -5*j - 30. Does 10 divide o(j)?
False
Let s = 278 - 274. Suppose 5*o = -3*g + 78, -s*g - 5*o + 109 = -0*o. Does 2 divide g?
False
Suppose -4872313 = -90*k + 2140667. Is 20 a factor of k?
False
Let p(c) = 799*c**3 - 3*c**2 + c + 1. Let h be p(1). Suppose -3*s + 3684 = h. Is 13 a factor of s?
True
Let b = -9043 - -15859. Is b a multiple of 9?
False
Let x(d) = d**2 + 6*d - 41. Let a be x(-11). Suppose 10*u = a*u - 276. Is 3 a factor of u?
True
Let a(o) = -2*o**2 - 37*o + 3. Let x be (-4 - -5)/(4/16). Suppose 4*f = 8*v - x*v - 72, -3*f + v - 52 = 0. Is a(f) a multiple of 9?
True
Suppose 4*i + 4*h - 32 = 0, -22 = -5*i + h - 0*h. Let s(y) = i*y + 2 - 1 - y**2 + 15 + 2*y**2. Is 8 a factor of s(7)?
False
Let g(o) = 5*o**3 + o**2 - o + 3. Suppose -n - 17 = -d + 2*n, d + 3*n + 7 = 0. Let w be g(d). Is 14 a factor of (w/1)/4 + -4?
False
Suppose -r = -f - 3997 + 1017, -5*r - 3*f + 14916 = 0. Does 10 divide r?
False
Suppose -2*c - 4*d = 80, -4*d = -10 - 10. Let p = c - -59. Is (-50)/225 - ((-362)/p - -1) a multiple of 2?
False
Suppose 0 = -c - 5, 5*t - 66*c + 62*c - 190 = 0. Let o(p) = p**2 - 9*p + 3. Let f be o(9). Let a = t - f. Is a a multiple of 28?
False
Suppose 42515 + 154394 = 16*f + 7469. Does 148 divide f?
True
Suppose -46*f + 5905 = -45*f. Suppose -16*r + 4383 = -f. Is r a multiple of 6?
False
Is -1*(-2)/6 - 8452/(-6) a multiple of 3?
False
Does 154 divide 28340/8 - (-7 + (-180)/(-24))?
True
Let w = -147 - -143. Is 36 a factor of (-154)/w*84/49?
False
Let w(p) = p**3 + 9*p**2 - 7*p + 6. Let o be w(-10). Let s = o + 24. Does 18 divide (s - 0 - 144/30)*-30?
True
Let g(l) be the third derivative of -l**6/120 + l**5/12 + l**4/24 - l**3/3 + 8*l**2. Suppose 20 = 4*t - 4*m, 6 = 3*t - t + 2*m. Does 14 divide g(t)?
False
Suppose 0 = -5*b - v + 214699, -4*b + 2*v + 37478 = -134298. Is b a multiple of 106?
False
Suppose 717*d = 720*d - 3537 - 3189. Is d a multiple of 59?
True
Let x(h) = -13*h - 72. Let k be x(-6). Suppose 13*m + k = 10*m, -m = -5*w + 382. Is 4 a factor of w?
True
Let m be (-6 + (-544)/(-20))*(-20)/(-8). Suppose -m*x + 212 = -51*x. Is 19 a factor of x?
False
Let d = -44 - -48. Let m be (2/d - 0)/(13/1040). Let l = m + 12. Is 12 a factor of l?
False
Suppose 34244 = 31*v + 10808. Is v a multiple of 27?
True
Let o(n) = 13*n**3 - n**2 + 3*n - 3. Let z 