 u be (-36)/10 + 1*q/(-10). Is 21 a factor of 66 + (-4 - u - 3)?
True
Let z be 3/(24/776)*-1. Is 19 a factor of (1*z)/(1*(8 - 9))?
False
Let p = 7391 + -6712. Is p a multiple of 64?
False
Does 14 divide (12351/(-9) + (-6)/(-18))*(-16)/8?
True
Let x = 15906 + 3804. Is 73 a factor of x?
True
Let r = 8869 - 674. Is r a multiple of 52?
False
Suppose 2*g - 235 = -3*g. Let o(a) = -a**3 + 11*a**2 - 14*a + 9. Let j be o(10). Let p = g + j. Is p a multiple of 2?
True
Suppose -i + 36 = -5*i. Is 36 a factor of (-194)/(-2) - (i + 64/8)?
False
Let b(s) = -80*s**2 - 10*s - 9. Let c(y) = 80*y**2 + 8*y + 8. Let j(x) = 3*b(x) + 4*c(x). Is j(2) a multiple of 53?
False
Suppose -4*b = -4*k, b + 4*k = k + 16. Suppose 5*p = -5*n + 152 + 333, 0 = -b*n - 5*p + 389. Suppose -4*w = -0*w - n. Is w a multiple of 3?
True
Let g(u) = -33*u + 101. Let k be g(3). Suppose 0 = -3*y + 3*r - 0*r + 1035, 5*y = -k*r + 1739. Does 20 divide y?
False
Let b be (-14 + 13)/(2/18). Let d be (-62)/5 + -4*(-7)/70. Let i = b - d. Is i a multiple of 3?
True
Let j = -71 - -234. Let d be 6/15 - 2277/(-45). Let p = j - d. Is p a multiple of 8?
True
Suppose -239 = 2*h + 401. Is (3567/(-4))/(-3) + 80/h a multiple of 11?
True
Let w(v) = -v**2 - 9*v - 11. Let r be w(-7). Suppose 65 + 61 = r*y. Suppose 56*a = 58*a - y. Is a even?
False
Suppose 0 = 2*r - 4*m - 340, -335 = 7*r - 9*r + 5*m. Let p be (-3)/(-6) + 193/(-2). Let i = r + p. Does 14 divide i?
True
Let g(w) = 15*w - 87. Let u be g(6). Suppose 4625 = 4*j - u*f, 4*f + 5781 = 31*j - 26*j. Does 45 divide j?
False
Let q = -123 + 127. Is 131 + (q/(-22) - 78/(-66)) a multiple of 11?
True
Suppose -3*i + 195 = -24. Suppose -4*h = -i - 263. Does 21 divide h?
True
Suppose 4535 = 4*q - 4*n - 6277, 3*q - 2*n = 8105. Suppose 0 = 5*d + 4*x - q, -10*d + 6*d - 3*x = -2159. Does 11 divide d?
True
Suppose -130 = -2*o - 124. Let y be (o/(-9))/(3/(-774)). Let f = y - 8. Is 6 a factor of f?
True
Let s be (-6)/(-9)*(-3 - (-6765)/10). Let l = s - 319. Does 65 divide l?
True
Does 224 divide (789 - -1)*(100251/(-54))/(-47)?
False
Let x(g) = 2*g**2 + 22. Let d(o) be the first derivative of o**4/4 + 2*o**3/3 - 5*o**2/2 + o + 16. Let i be d(2). Is 40 a factor of x(i)?
True
Let s = 42 + -34. Suppose s*l = -19 + 67. Suppose -3*a - t + l*t + 305 = 0, -3*a - 2*t + 340 = 0. Is 15 a factor of a?
False
Let i = -162 + 150. Does 19 divide 16/i - (-1486)/3?
True
Let a be 5*(-15)/(-12) - 55/44. Suppose 13*f = -a*f + 5022. Is f a multiple of 17?
False
Suppose -2*y - a - 428 = 0, -y = -5*a + 7*a + 217. Let q = -100 - y. Is 14 a factor of q?
False
Suppose 1578 = -27*r - 10167. Let y = 1299 + r. Is y a multiple of 69?
False
Let t = 397 - 268. Let o = -126 + t. Suppose o*u = -q + 178, -4*q + 92 + 80 = 3*u. Is 7 a factor of u?
False
Suppose -2*t = 4*u + 34, -47 = 4*t - 4*u + 81. Let k be (-2)/(-3)*27/1. Is 23 a factor of (k/t)/((-2)/723)?
False
Let u(k) = k**3 + 9*k**2 + 5. Let b be u(-9). Suppose 340 = 2*l + 4*s, -b*l + s = -4*s - 925. Suppose -6*c + l = -3*c. Does 12 divide c?
True
Suppose -3*n = 16 - 22. Suppose -2 = u + n. Does 30 divide 0 + u + (-3 - -87)?
False
Let q = 17737 + -9858. Is 146 a factor of q?
False
Let i be (-90)/(-24) + 6/(-8). Suppose 0 = -i*w - 2*r + 1, -2*w + 3 = -5*w - 3*r. Suppose -4*d - 258 = -8*d + 3*s, -w*d = s - 200. Does 22 divide d?
True
Suppose 0 = 3*u - 6*z - 12828, -5*u + 19842 = 4*z - 1636. Does 78 divide u?
True
Let b = -953 - -1364. Suppose -419*j = -b*j - 2584. Does 35 divide j?
False
Suppose 5*z = 118 - 58. Suppose 221 + 227 = 3*d + m, -z = -3*m. Is 17 a factor of d?
False
Suppose -85020 = -825*k + 786*k. Is k a multiple of 5?
True
Let j(m) = 119*m + 17. Is j(11) a multiple of 26?
True
Suppose -16*r - 26*r + 58013 + 2299 = 0. Is 4 a factor of r?
True
Let a(k) = -6*k - 10. Let g(u) = -18*u - 30. Let q(i) = -i**3 - 3*i**2 + 10*i - 5. Let v be q(-5). Let z(y) = v*g(y) + 16*a(y). Does 11 divide z(-5)?
False
Let c be 3/(3/5)*1. Suppose c = k - 15. Does 32 divide 10*k - (3 + (8 - 7))?
False
Let a(u) = 132*u**2 + 10*u - 9. Suppose 0*f + 8 = 8*f. Is a(f) a multiple of 19?
True
Suppose -5*j = 26 - 1. Let y(p) = -13*p - 60. Let f be y(j). Is (2 - f) + (-87)/(0 - 1) a multiple of 4?
True
Suppose 12*w = 7*w + 400. Is 93 a factor of ((-112)/(-6))/((w/348)/10)?
False
Let x(f) = f**3 + 54*f**2 - 32*f - 970. Is x(-47) a multiple of 17?
True
Suppose -2*z + 1160 = -96. Does 33 divide z?
False
Is 127 a factor of 240/180*68190/4 - (-6)/2?
True
Does 4 divide (-4)/(-6) + 535502/303?
True
Let z = -8317 - -15443. Is 61 a factor of z?
False
Suppose 2834 = 5*i - 3*h, -3*h + 12 = -7*h. Suppose 2*w = 7*w - 5*b - i, 5*w = -5*b + 585. Does 2 divide w?
False
Let k(d) = d**3 - 35*d**2 + 83*d - 169. Is 8 a factor of k(35)?
True
Suppose -4 = m, 4*r - 3*m + m = -172. Let x be (-378)/r + 3/5. Let n(b) = -b**3 + 10*b**2 - 6*b - 13. Is n(x) a multiple of 2?
True
Suppose 5*g = -4*d + 6 + 4, -2*g + 4 = -4*d. Suppose -2004 = -5*x + 5*c - 159, d = -5*c + 5. Is 37 a factor of x?
True
Suppose -59334 = -5*x + i, 5*x = -9*i + 7*i + 59352. Does 92 divide x?
True
Let d(a) = -2*a**2 + 35*a - 5. Let j = 116 - 101. Is 70 a factor of d(j)?
True
Suppose 315 = 3*g + 6*g. Suppose 5*l + g = -2*b, -3*b - l + 5*l = 41. Is -3*(4/36 + 1)*b a multiple of 8?
False
Let c be (1 - -9)*(-40)/(-100). Let g be (-590)/(-8) + 1/c. Suppose -z + g = 3*z - 2*f, 0 = z + 3*f - 29. Is 7 a factor of z?
False
Let i be (9 - 2)*(1 + -2). Let s(u) = 14*u**2 + 44*u + 58. Let l(b) = b**2 + 3*b + 5. Let p(x) = -12*l(x) + s(x). Does 11 divide p(i)?
False
Let u(c) be the third derivative of c**6/60 + 71*c**5/60 + 4*c**4/3 + 38*c**3/3 - 228*c**2. Is u(-35) a multiple of 11?
False
Suppose -3*l + 5*r = -10, -r - 2 = 9*l - 13*l. Suppose -3*d + 4*c + 645 = l, -3*d + 86 + 553 = -2*c. Does 9 divide d?
False
Let j(r) = -r**3 + 49*r**2 - 3*r - 18. Let z be j(30). Does 4 divide z/648 + (22/(-18) - -1)?
False
Let l(a) = 34*a**2 - 4. Suppose 9 = -5*h + 544. Let v = -109 + h. Is 12 a factor of l(v)?
True
Let z(i) = -i**3 + 14*i**2 + 3. Let h be z(14). Suppose -h*a + 15 = 2*a. Suppose 4*w - 179 = -5*g, 233 = 4*w + w - a*g. Is w a multiple of 16?
False
Let b = -91 + 111. Is 11 a factor of (-108)/(0 - 1) - b/4?
False
Suppose 3*k + 4*z = -556, 0 = 6*z - z - 10. Let h = 404 + k. Does 26 divide h?
False
Suppose -11*m - 6*m + 236 = -1311. Is m a multiple of 5?
False
Let m be -54*((-70)/(-20) + 3*-1). Let w = m + 58. Suppose w*x - 60 = 28*x. Does 5 divide x?
True
Does 5 divide (-6)/(-42) - (1157/(-13))/(7/46)?
True
Does 73 divide (1480/(-160))/(2 + (3507/(-876) - -2))?
True
Let q(i) = 5*i - 10. Let z be q(11). Let s = -10 + -3. Let c = z + s. Is 4 a factor of c?
True
Suppose 10*n - 8167 = 11473. Does 29 divide n?
False
Is ((-5)/(-4))/(57*(-63)/(-37920960)) a multiple of 55?
True
Is (50791/5)/(2310/175 + -13) a multiple of 90?
False
Suppose -2*q - 5*c + c + 52 = 0, 98 = 3*q + 2*c. Suppose 8*a + a - q = 0. Suppose 5*k - a*k = 78. Is k a multiple of 13?
True
Suppose 302*s + 12 = 305*s. Suppose 0 = s*t - 10*t + 2736. Is 19 a factor of t?
True
Does 85 divide 1 + 2 - 1189*(-9)/12*4?
True
Let v = -3 - -5. Let u = -3 - -258. Suppose -4*p + p - v*l = -204, -u = -4*p + 3*l. Is p a multiple of 11?
True
Suppose 3*l + 9 = -3*q, 5*l - q = -3*q. Let j(v) = 6*v - 16*v**l + 5 + 63*v**2 - 25*v**2. Does 7 divide j(-1)?
True
Let p(k) = 7951*k + 71. Is p(1) a multiple of 6?
True
Suppose 0 = -19*w + 24*w - 1275. Suppose 4*y - 2*z - w - 143 = 0, 0 = 4*y + z - 383. Does 26 divide y?
False
Let w be (15/(-45))/(2/4236). Let h = w + 1887. Is h a multiple of 95?
False
Let u = -108 - -63. Let o = u + 43. Is 28 a factor of o/13 + 13122/117?
True
Let s be -12*((-32)/6 - -5). Let g be -1*s*(-225)/6. Let j = 268 - g. Does 6 divide j?
False
Let t = -1298 + 5428. Is 23 a factor of t?
False
Suppose -2*f = l + 2*f, -5*f = -2*l - 26. Let j be l/68 + 4/34 + 4. Suppose -4*z + z + 2*g = -205, 0 = 5*z + j*g - 305. Does 13 divide z?
True
Let v(c) = 4*c**3 + 2*c**2 - c. Let x be v(1). Suppose -3*l + 0*b - b = -1662, l - 538 = x*b. Does 21 divide l?
False
Suppose 5*k + 5*w - 95 = 0, 4*k + 5*w + 9 = 87. Let i = -14 + k. Suppose -r = 2*v + i*v - 318, 2*v = 3*r + 117. Is 21 a factor of v?
True
Suppose -3*j = 6, -4*a - 3*j + 2321 + 909 = 0. Is a a multiple of 22?
False
Let r be (1 + -5)*77/(-22). S