 multiple of 5?
True
Suppose -4*f + 156 = -4*r, 0*f - f = r - 43. Let q = -42 + f. Let t(b) = 91*b**2 + 5*b + 6. Is t(q) a multiple of 16?
False
Let a(m) = 1 + 32*m - 21*m - 12*m + 96. Is a(-4) even?
False
Let n(v) = -v**3 + 9*v**2 + 10*v + 13. Let m be 40/(-12)*(-2 - 1). Let o = 0 + m. Does 11 divide n(o)?
False
Let c = 1 + 0. Let o be (-5)/(2/(-8) + (-400)/(-2880)). Is ((-168)/(-63))/(c + (-43)/o) a multiple of 24?
False
Let d(i) = 5*i**3 - 50*i**2 + 23*i - 236. Let l be d(10). Let j(w) = -5*w + 1 + 19 - 5*w. Is 20 a factor of j(l)?
True
Let x = 3080 - 2026. Suppose -2*k = 3*y + x, 3*y = -y. Let h = k + 759. Does 42 divide h?
False
Let n = -91 + 475. Does 26 divide (((-455)/14)/5)/((-3)/n)?
True
Suppose -7*m + 555 = -271. Is m a multiple of 46?
False
Let a(d) = -229*d + 1992. Does 63 divide a(-14)?
False
Let t be 4/2 - 5/(-15)*0. Suppose 6*x - t = 22. Suppose 0 = -3*v + x*g + 81 - 8, -4*g = -20. Is 14 a factor of v?
False
Let n = 10619 + -4068. Suppose -19*b + 897 = -n. Is 7 a factor of b?
True
Let u be (-52)/9 + (-14)/315*5. Let t be (-3 - (-30)/9) + (-544)/u. Suppose -t = -3*p - 28. Is 13 a factor of p?
False
Let c(f) = 5*f + 55. Suppose -6*h = 2*h - 248. Does 35 divide c(h)?
True
Let y be (-2)/(-4) - (-130)/20. Suppose -y*t = -274 - 475. Is 15 a factor of t?
False
Suppose -4*q + 2*l = -8, 7 = 2*q - 3*l - 5. Suppose q = -6*u + 9*u - 2601. Is u a multiple of 51?
True
Let y(d) = 3*d**3 - 10*d**2 + 7*d - 1. Let q = -247 + 253. Does 30 divide y(q)?
False
Let k(s) = s**2 + 4*s + 3. Let r be k(-2). Let w be r*(43 + (-3 - -2)). Let d = w + 88. Is d a multiple of 3?
False
Is (13146871/1114 + -1 + 2/4)*1 a multiple of 9?
False
Suppose -4*g - 2*x + 122716 = 0, -61352 = -2*g + 6*x - 10*x. Is g a multiple of 295?
True
Suppose b - 4*b + 99 = 0. Suppose -5*f - 65 = -5*y, 45 + 11 = -4*f + 2*y. Let x = b + f. Is 9 a factor of x?
True
Let j be 72 - 69 - (-13)/2*4. Suppose -4*p + 1528 = 4*u, -2*u + 762 = 32*p - j*p. Is 34 a factor of u?
False
Suppose -4*g = -2*u - 2*u - 152, 0 = u - 2. Let x = g - 29. Suppose 66 = 14*r - x*r. Is 22 a factor of r?
True
Suppose 3*p - p + 3*j = 33, -26 = -4*p + 2*j. Suppose -p*d + 3584 = 5*d. Is 32 a factor of d?
True
Suppose -8*v - 13 = -45. Let j(g) = 19*g + 7. Let y be j(v). Let a = -62 + y. Is a a multiple of 7?
True
Let p = 45 + -89. Let r = p - -29. Does 7 divide (-1146)/r - 6/10*-1?
True
Let t(k) = -18*k**2 - 5*k + 20. Let h(s) = 19*s**2 + 5*s - 18. Let w(q) = 3*h(q) + 2*t(q). Does 18 divide w(4)?
True
Suppose -23 = -d + 6. Let c = d - 1. Does 8 divide c?
False
Let j(k) = 27*k**2 + 8*k - 8. Let c be 24/9*10/((-80)/(-6)). Does 6 divide j(c)?
False
Let j(d) = 381*d - 4138. Does 40 divide j(70)?
False
Let l be (4/3 - 1/3)*1. Does 26 divide 2/5 - (l - 1179/15)?
True
Does 23 divide (-2253449)/(-253) + (-10)/(-115)?
False
Let v(q) = 4*q + 36. Let k be v(-6). Let i be 13/(-4) - ((-99)/k - -8). Is i - (2 + 0 + -2) - -112 a multiple of 18?
False
Let p be (1 - 53/3)*4704/(-70). Is 14390/16 + 10/(p/(-42)) a multiple of 31?
True
Suppose 0 = 145*x - 20*x - 2000. Is 4 a factor of x?
True
Let i(w) = 3*w**2 - 4*w - 36. Let a(c) = -c**2 + c + 12. Let o(u) = -8*a(u) - 3*i(u). Let d be o(6). Let f(s) = -2*s**2 + 2*s + 198. Does 22 divide f(d)?
True
Let t(x) = 3*x**2 + 19*x + 31. Let h = 86 + -98. Is 31 a factor of t(h)?
False
Suppose 2*r - 5*j = 1248, -3*j + 839 = -3*r + 2702. Is r a multiple of 5?
False
Suppose -301522 = -67*r + 119171. Is r a multiple of 69?
True
Let b(k) = 1754*k + 9. Let h be b(1). Suppose -j - h = -3*m, -3*j = 3*m - 2*j - 1765. Suppose -2*y - 78 = -m. Does 13 divide y?
False
Suppose -3*i + 3*m + 12430 + 11657 = 0, -4*i + 32111 = -5*m. Does 6 divide i?
True
Is 16 a factor of 10502/16 - 3/10*10/8?
True
Suppose s - 4*s = -k - 1, -k - s + 7 = 0. Suppose 2*t + 187 - 64 = b, -k*b = 2*t - 591. Is b a multiple of 7?
True
Is 7*((-13014)/(-63) + -1) a multiple of 7?
False
Suppose -5*v - 659 = -4*h, -48 = -5*v - 23. Let o = h + 13. Is 40 a factor of o?
False
Let p = -59 + 64. Suppose 12*s - p*s = 2443. Does 24 divide s?
False
Let j(o) = -o**3 + 6*o**2 - 4*o - 3. Let x be j(5). Suppose 0 = -4*m + 2*l - 13 + 37, 0 = x*m + 2*l - 24. Is (-598)/(-6) + m/6 a multiple of 34?
False
Let m = 6 + 5. Let a = 12 - m. Does 13 divide -1*a*(-13)/1?
True
Let a(o) = -o - 12. Suppose 51*u = 47*u - 48. Let n be a(u). Suppose -3*j = -n*j - 153. Is j a multiple of 12?
False
Suppose -2657 = -3*v + 5*x, -2 = -x - 0. Suppose 0 = 3*q - v - 293. Does 19 divide q?
False
Let v = -110 - -134. Is v a multiple of 8?
True
Let v be -3*4/(-6)*2. Let k(q) = q + q - v*q**3 + 0 - 4 - 4*q**2 - 6*q. Is k(-3) a multiple of 8?
True
Suppose -13*z + 50 = -3*z. Let n = 30 + z. Let l = n - 9. Is 7 a factor of l?
False
Suppose 0*d = 4*d - 4020. Suppose -779 = -4*v + d. Is (-7)/(-14) - v/(-4) a multiple of 16?
True
Let o = -179 + 188. Suppose -o*n = -722 - 250. Is 9 a factor of n?
True
Let u(g) = -4512*g - 9158. Does 140 divide u(-10)?
False
Suppose 0 = -28*f + 16*f - 5568. Let o = -260 - f. Does 39 divide o?
False
Let h be 3*1297/12*(-56)/(-7). Suppose 2*c = -3*m + h, 4*c + 4*m - 5420 = -236. Does 27 divide c?
False
Suppose -5*x = 5*f - 145, -3*f + 18 = -4*x - 55. Suppose -f*a + 14*a = -20319. Does 25 divide a?
False
Let k(b) = -18*b**2 - 1656*b - 101. Is 7 a factor of k(-57)?
False
Let b = 13842 - -16687. Is b a multiple of 107?
False
Suppose 3*m + 3*h - 960 = 0, 4*m - 2*h - 1279 = -5*h. Suppose -320*r + 985 = -m*r. Does 12 divide r?
False
Let x(u) = -2. Let w(p) = 7*p + 18. Let z(i) = 2*w(i) - 22*x(i). Is z(15) a multiple of 18?
False
Suppose -17*h = -13*h - 964. Let b = 415 - h. Is b a multiple of 19?
False
Suppose 23*o - 98495 + 12306 + 11554 = 0. Is o a multiple of 55?
True
Let d = 9986 + -6450. Does 13 divide d?
True
Suppose -4*o - 5*f = -6561, 5*f + 332 + 1302 = o. Is 107 a factor of o?
False
Does 123 divide ((-2)/12)/(-1) - 3182234/(-132)?
True
Let f(s) = -278*s + 227. Is 77 a factor of f(-5)?
True
Let x(k) = 3*k**3 - 82*k**2 + 99*k - 81. Is x(29) a multiple of 5?
True
Is 25/(375/6345) - 16 a multiple of 114?
False
Let s(n) = -10*n - 154. Let h be s(-10). Is 76 a factor of (-2)/18*1 + (-5028)/h?
False
Let k(c) = c**2 + 30*c + 30. Let g be k(-29). Is 47 a factor of (-4)/12 - (g - (-12792)/(-9))?
False
Suppose -276 = -32*g + 29*g. Let p = 216 - g. Is p a multiple of 4?
True
Suppose -51*j - 6401 - 24574 = -110*j. Is 5 a factor of j?
True
Suppose x - 2*q - 68280 = 0, -11*q - 68280 = -x - 7*q. Does 120 divide x?
True
Let r(z) = z - 2. Let n be r(6). Let s(d) be the third derivative of -d**6/120 + d**5/10 - d**4/6 - d**3 - 81*d**2. Is 10 a factor of s(n)?
True
Does 17 divide ((-689)/(-26) - 27)/((-2)/38760)?
True
Suppose 4*b - 47 = 13*x - 18*x, b + 3*x = 3. Suppose -b*n + 7764 = -6*n. Is n a multiple of 19?
False
Suppose -229*z + 232*z = 4*f + 12833, 2*f = -4. Is 8 a factor of z?
False
Let n(x) be the third derivative of x**5/30 + x**4/12 + 15*x**3/2 - 19*x**2. Let y(d) = d**2 + d - 6. Let j be y(-3). Is n(j) a multiple of 45?
True
Let w(g) = 16*g - 2. Let n be w(2). Suppose -3*z + 69 = -27*u + 24*u, -3*u + 87 = 3*z. Suppose z*c = n*c - 168. Does 9 divide c?
False
Let b = 152 + -148. Suppose -5*c + 3617 = -b*j, -33*c + 32*c = 3*j - 731. Is c a multiple of 47?
False
Suppose 2*d - 64924 = 2*t, 0 = 3*d - 0*d - 5*t - 97368. Does 74 divide d?
False
Suppose 6 = -577*d + 575*d. Let q = -4453 - -1081. Is (d/(-15) - 1) + q/(-15) a multiple of 14?
True
Let a be (-1)/(-7) + (-172)/28. Is 38 a factor of (5/(100/(-36)))/(a/1340)?
False
Is 224 a factor of (5/(-35) + 153/(-105))*53165/(-14)?
False
Suppose 0 = -5*w - 6*w + 1782. Let s = w + -12. Is s a multiple of 47?
False
Suppose 137*w = 135*w + 42. Does 10 divide 82 - 28/w*3/2?
True
Let n(a) be the third derivative of 59*a**4/12 - 143*a**3/6 + 238*a**2. Does 78 divide n(10)?
False
Let c(a) = -a**3 + 9*a**2 + 14*a + 16. Suppose -6*p + 8*p + 30 = 2*i, 3*p + 55 = 4*i. Is 4 a factor of c(i)?
True
Let c(z) = 201*z**2 + 22*z + 10. Let n be c(5). Suppose 5*d + 5*m = n, -4*d - m - m + 4110 = 0. Is d a multiple of 19?
True
Suppose 16*y = -2*y + 342. Suppose 0 = y*i - 347 - 432. Does 14 divide i?
False
Suppose -20*o - 4*w = -24*o + 15836, -o + 3964 = 4*w. Suppose 0 = -24*p + 6*p + o. Does 20 divide p?
True
Suppose 5*j + 5*a - 6 + 1 = 0, 5*