2*g + i*d - 45, -2*d + 114 = f*g. Is g a multiple of 10?
True
Let d be 1 + 60/(-42) + (-19900)/(-14). Let q = 2180 - d. Is 14 a factor of q?
False
Let s = 9794 + 658. Is s a multiple of 12?
True
Suppose 2*b = -3*y - 898, 8*b + 276 = -y + 12*b. Let j = -192 - y. Is j a multiple of 13?
True
Suppose 3*m + 78 = -3*u, -3 = 4*m - 2*u + 71. Let k be 10/8 - (2 - m/(-12)). Is 10 a factor of k + 65 + (-11)/(-11)?
False
Suppose -408*h + 2*g = -409*h + 3505, 0 = -5*h - 5*g + 17530. Is 21 a factor of h?
True
Suppose 4*c + 42 + 78 = 0. Is 15 a factor of (0 + 18/(-12))*c?
True
Suppose 0 = 4*m - 5*l - 10074, m - 1087 = -5*l + 1419. Is 16 a factor of m?
False
Suppose 5180 = d + 2*h, -32*d + 31*d = -5*h - 5152. Is d a multiple of 23?
False
Let n = 110 + -100. Does 10 divide n/(-8)*(8 + -2)*-4?
True
Suppose b = 39 + 81. Suppose 3*i + 7*i - b = 0. Let a = i - 4. Is a even?
True
Let u(v) = 8*v**2 + 81*v + 20. Is u(8) a multiple of 63?
False
Suppose 27*y = 12964 - 2191. Is y a multiple of 23?
False
Let o(y) = 3*y**2 + 12*y - 156. Does 129 divide o(61)?
True
Let d be 4 - -5 - (-962)/(-2). Let h = d - -918. Does 33 divide h?
False
Let y(q) = -167*q + 5894. Is y(-35) a multiple of 39?
True
Let n = 131 - 126. Suppose -w - 2*w - 2198 = n*b, -4*b = 3*w + 2197. Let c = 1030 + w. Does 11 divide c?
False
Does 10 divide 6*-8*(-3230)/51?
True
Let r = 836 - 843. Let x = r - -931. Is 30 a factor of x?
False
Let n(v) = -5*v + 42. Let p be n(8). Suppose -p*t - 3*t + 990 = 0. Is t a multiple of 11?
True
Let l = 15939 - 8706. Is l a multiple of 93?
False
Let u be (-3 - -5)/2*(46 + 1). Let j = 49 - u. Suppose 6*r - 312 = j*r. Is 14 a factor of r?
False
Let n(d) = 833*d**3 - d**2 - 16*d + 29. Is n(2) a multiple of 19?
False
Let k(b) = 902*b**2 - 9*b - 18. Is 27 a factor of k(-2)?
False
Suppose 4*k + 4*r - 36 = 0, k = -4*k + 5*r + 95. Let u(y) = -y**2 + 50*y - 40. Does 64 divide u(k)?
False
Suppose 5*n - 72 = h + n, 4*n = -4*h - 208. Let q be 8/h - 2649/(-21). Suppose 0 = -3*b + 273 + q. Is b a multiple of 30?
False
Suppose 22*w + 1587 = -1141. Let b = w + 358. Is 13 a factor of b?
True
Let q be 7/5*5 - -213. Suppose 4*r - 4*c - q = 0, 3*r - 4*c = 119 + 41. Is 6 a factor of r?
True
Suppose 6*i = -875 - 631. Let p = 356 + i. Does 93 divide p?
False
Let i(h) = 6*h**2 + 15*h - 310. Let z be i(10). Let o(m) = -37*m - 3. Let c be o(5). Let l = c + z. Is l a multiple of 18?
True
Let x(o) = 16*o + o + o**3 - 6*o. Let i be (-4 - (-13)/2)*2. Is 37 a factor of x(i)?
False
Suppose 4*u - 6888 = -m, 2*m + 5*u = 3743 + 10042. Is 25 a factor of m?
True
Let a be 4/(-3)*((-405)/18 - 3). Suppose -z + 39*o - a*o = -555, 3*o - 547 = -z. Is 57 a factor of z?
False
Does 16 divide -1*(-8609 + -2) + 18*13/234?
False
Let k = 434 - 126. Suppose y = 3*y - k. Suppose 3*o - 38 = -w, -5*w + o + 2*o = -y. Does 16 divide w?
True
Let g(o) = o**3 - 42*o**2 + 383*o + 25. Is g(10) a multiple of 130?
False
Suppose -2*h - 23545 = -7*x, 2*h + 4238 = 5*x - 12577. Is x a multiple of 32?
False
Let h be 159/33 + 171/33 + -5. Let p be 277 + 1/(-3) + h/(-3). Suppose 2*c - p = -5*t - 2*c, 240 = 5*t - 3*c. Is t a multiple of 17?
True
Let d = -138 + 83. Let q be (d/(-10))/(-11)*158. Let k = -63 - q. Does 2 divide k?
True
Suppose -o - 68 = -72. Suppose 1913 = k + o*k - 3*s, -4*s = -2*k + 754. Is 11 a factor of k?
True
Let a(r) be the third derivative of 3*r**4/8 - 7*r**3/2 + 4*r**2. Let x = -799 - -805. Is a(x) a multiple of 11?
True
Let w be -5 + 4 - (-2)/((-2)/(-1479)). Suppose w = -5*b - 6*a + 2*a, -890 = 3*b + 4*a. Let c = -132 - b. Does 27 divide c?
True
Let v = 35 - 28. Let c be -3 + v - -1*67. Suppose -6*d = -37 - c. Is 18 a factor of d?
True
Does 145 divide 1515*(-14 + 16 + (7 - 2))?
False
Suppose -2*h - 3*i + 9462 = 0, -13*i + 18*i + 23605 = 5*h. Suppose -h = -30*x + 3*x. Does 4 divide x?
False
Suppose -3*h + 3*u - 3 = 0, 2*h - u - 4*u - 4 = 0. Let x be (h - 14/(-6))*-6. Suppose -x*i = 62 - 446. Is i a multiple of 32?
True
Let k(n) = n**3 - 5*n**2 + 14*n + 18358. Does 17 divide k(0)?
False
Suppose -2*l + 80 = 3*l. Let m be 215 - 3 - l/(-4). Suppose 0 = -2*z - z + m. Does 12 divide z?
True
Let k = -16 - -21. Suppose -2*h = h - 3*g - 3, h - k*g = -3. Suppose 0 = -h*p + 13*p - 55. Does 2 divide p?
False
Let o(d) = -4 - 15*d**3 + 3*d**3 + 2*d**2 - 13*d + 17*d + 7. Is 11 a factor of o(-2)?
True
Let r = 3240 - 2367. Is r a multiple of 19?
False
Suppose -18 = -3*o, 555*n + 41832 = 558*n + 5*o. Does 10 divide n?
False
Let z = -5552 + 26994. Does 225 divide z?
False
Let h = 12 - 6. Let j be (132/(-18))/((-14)/h - -2). Suppose -j = -6*n + 4*n. Is 7 a factor of n?
False
Suppose b - f = 21483 - 6050, 32 = -4*f. Does 22 divide b?
False
Suppose 61*g = 66*g + 15. Does 22 divide (132/7)/(g + 642/210)?
True
Is 13 a factor of 50*(2329 - 4 - 8)*(-5)/(-10)?
False
Let s(u) be the second derivative of u**3/2 - 47*u**2/2 - 44*u. Is 2 a factor of s(27)?
True
Let n be (2/(-5))/(-4 - 1339/(-335)). Let l = n - 77. Does 4 divide l?
False
Suppose 0 = -58*f + 174*f - 3374788. Does 223 divide f?
False
Let l(n) = 4*n**3 - 2*n**2 + 2*n - 4. Let d(h) = -h**2 - h - 1. Let y(z) = -2*d(z) + l(z). Let o be (-2 + (-20)/(-12))*-6. Is 14 a factor of y(o)?
False
Suppose -2*u = -4*m + 27790, 5*m + 9697 = 5*u + 44437. Is m a multiple of 116?
False
Let o(p) be the second derivative of -p**5/20 - 7*p**4/4 - 23*p**3/6 - 16*p**2 - 6*p. Does 28 divide o(-20)?
True
Let g(v) = 94*v**2 - 180*v**2 + 93*v**2 - 2 + 5*v. Does 35 divide g(5)?
False
Let b = 3638 - 1422. Does 27 divide b?
False
Let x = -133 + 135. Suppose -2*j - 52 + 1006 = d, -x*j + 5*d = -942. Is j a multiple of 17?
True
Is 32 a factor of (-78658)/67*14/(-2) + -1?
False
Suppose 3*w = -2*b + 316, 20*w = 16*w - 4*b + 428. Suppose -w*z = -96*z - 3918. Does 21 divide z?
False
Let b(n) = -2*n**2 + 14*n + 16. Let y be b(8). Suppose 13*x - 21*x + 4920 = y. Is x a multiple of 41?
True
Suppose -4*u + h + 793 = 0, 2*h + 3*h = -u + 193. Suppose -4*l + 26 = u. Let d = l - -56. Does 2 divide d?
False
Suppose -3*o + 3233 - 142 = 5*u, -4*u = -20. Does 146 divide o?
True
Does 109 divide (3 + 1281/9)/(-9 + (-6695)/(-741))?
True
Let n(x) be the first derivative of -x**4/2 - 8*x**3/3 - 5*x**2/2 + 6*x - 7. Let b = 72 - 78. Is n(b) a multiple of 12?
True
Suppose 3*p + 5*i = 33, -5*p - 7*i = -10*i - 21. Is (-285)/p*(-116)/10 a multiple of 37?
False
Suppose 1317 = 5*n - 2*p, 5*n + 50*p - 49*p - 1299 = 0. Does 5 divide n?
False
Suppose 13 = -x - 12*x. Is 18 a factor of (-12 - (x - 4))*-131?
False
Suppose 5*v - 848 = 3*c, 5*v - 4*c + 3*c = 856. Let h = v - 87. Is 2 a factor of h?
False
Let d(r) = r**2 - 12*r - 108. Let m be d(-7). Suppose -m*l - 4*y - 1461 = -30*l, y - 1 = 0. Does 5 divide l?
False
Let j be (2*3/(-18))/(2/6). Let q be j - ((-2 - -4) + -329). Let r = q - 200. Is r a multiple of 9?
True
Let w be ((-9)/6 - (-6)/4)/(-2). Let u be 121/22 + (-1)/2. Suppose w*r + 217 = u*j - 2*r, 5*j - 209 = 4*r. Is 6 a factor of j?
False
Let o(q) = q**3 - 21*q**2 + 15*q - 16. Suppose -d = 2*y - 43, -5*y + 35 = -3*d - 56. Let f be o(y). Is (1 - f/10)/((-3)/(-15)) a multiple of 9?
True
Let m be 15/(-3) + 11 + -4. Suppose 648 = m*p + 6*p. Suppose 4*l = 3*i - p, -2*i + 0*i = 2*l - 54. Does 9 divide i?
True
Suppose -c + 2 + 3 = 0. Suppose -4*l - 829 = -2*q - 143, -c*q - l = -1693. Does 33 divide q?
False
Suppose z + 4*c + 38 = 0, -z - 19 - 15 = 3*c. Let t = 21 + z. Does 12 divide 0 - t/(5/335)?
False
Suppose -6*g - 4*o = -4*g - 806, 5*g + 3*o - 1994 = 0. Let k = 457 - g. Is k a multiple of 9?
False
Let f be 0 - 12/42 - 6176/(-7). Suppose -80*t + f = -73*t. Does 13 divide t?
False
Suppose -23*d = 222*d - 12030725. Does 29 divide d?
False
Let r(q) = q**3 - 6*q**2 + 6*q - 8. Let a be r(5). Let j be (-4)/8*(a + -1). Let n(i) = 14*i**3 - 3*i. Does 16 divide n(j)?
False
Let q = -2930 - -3194. Is q a multiple of 7?
False
Suppose -u - 6 = -v - 0*v, -5*u - 20 = 0. Suppose v*q = -k + 238, -2*k - 702 = -5*k - 3*q. Is 42 a factor of k?
False
Let l(w) = w**3 - 20*w**2 - 68*w + 617. Does 20 divide l(23)?
True
Suppose -b - 2*k + 1 = k, -4*b = -4*k - 20. Let q(l) = 14*l - 18. Is 8 a factor of q(b)?
False
Let n be 1666/(-8) - (-30)/(-40). Is (-22)/n + 2183/19 a multiple of 23?
True
Suppose -2*y + w + 72 = 0, 2*y = 2*w + 114 - 38. Is (91/2)/(y/68) a multiple of