- (-4)/(-26)?
True
Suppose -f - 10 = 4*t - t, 0 = -3*f + 2*t + 14. Let l be 56/(-26) + f + (-108)/(-26). Suppose -591 = -l*q + q. Does 13 divide q?
False
Let f be (-63)/(-28) - (14/8)/7. Suppose -3*t - 14 + 274 = -4*p, 4*t - 350 = f*p. Does 11 divide t?
True
Suppose 12 = 3*w - y, 5*w - 4*y - 4 = 16. Suppose -u = 5*s - w*u - 1270, -u + 5 = 0. Suppose 0 = 2*d + 5*k - 186, -s = -5*d - 2*k + 229. Does 14 divide d?
True
Suppose -2*u - 951 + 9392 = 3*o, 3*u - 3*o = 12699. Does 14 divide u?
True
Let j(u) = u**3 + 5*u**2 + 384*u - 12186. Does 16 divide j(37)?
True
Suppose x = -3*s - 734, 984 = -4*s - 7*x + 11*x. Let k = 260 - s. Is k a multiple of 22?
False
Let b be ((-32)/48)/(4/(-42)). Let y = 3 + b. Suppose y*w - 27 = 9*w. Does 9 divide w?
True
Suppose -213*l = -473*l + 1832480. Is l a multiple of 32?
False
Let r = 68 + -36. Suppose -99 = -r*n + 29*n. Suppose n + 162 = 5*h. Is 3 a factor of h?
True
Is 2 a factor of ((-1895)/20)/(1/6*(-24)/16)?
False
Suppose -5*x = 4*r + r - 35, 0 = -r + 2*x + 16. Let u(y) = 3 + 12*y + 18 - 4 - y**2. Is u(r) a multiple of 4?
False
Suppose i + 146 = -4*q - 551, 326 = -2*q + 4*i. Let b = q - -458. Does 19 divide b?
True
Let q = -59 - -6. Let x = q - -53. Suppose g - 38 - 62 = x. Does 25 divide g?
True
Let r(l) = 63*l. Let b be r(2). Suppose 5*c - 4*k - 955 = 0, 51 = c + 2*k - b. Suppose 6*d - d - 169 = -2*x, -5*d + c = -4*x. Is 5 a factor of d?
True
Suppose 3*n + 16123 = c, 20*n - 80729 = -5*c + 16*n. Is c a multiple of 170?
False
Let s be (((-63)/(-4))/3)/((-21)/(-560)). Suppose c - s = 148. Does 39 divide c?
False
Let h(k) = 5*k**3 + 134*k**2 + 22*k + 14. Is h(-23) a multiple of 11?
True
Is (-47 + 46)*(-132 + 1) a multiple of 2?
False
Let x = -6 - -15. Let u(f) = x*f - 3*f - 9 - 3*f. Is u(9) a multiple of 5?
False
Suppose 2*l + 4*c = 22, -35 = -5*l - 0*l - 5*c. Suppose -l*x - 3*t = -12, -t = 5*x - 5*t - 65. Suppose 34 = -7*f + x*f. Is f a multiple of 17?
True
Let z be (-138)/(1 - 4) - (0 + -2). Let b(m) = -6*m**2 + 3*m + 4. Let y be b(3). Let f = y + z. Is f a multiple of 3?
False
Let d(h) = h - 26. Let x be d(26). Suppose 5*w + 336 + 514 = x. Let g = w + 240. Is g a multiple of 10?
True
Suppose 6*y + 120 = 18*y. Is (-1848)/(-10) + 4 + (-8)/y a multiple of 7?
False
Suppose 12*s - 3809 - 1591 = 0. Suppose 3*x - s = -4*t, -137 = -3*t - 3*x + 199. Is 3 a factor of t?
True
Let c(y) = y**3 + 56*y**2 - 9*y + 508. Does 11 divide c(-56)?
True
Does 21 divide (1 + -805 + 90 + -87)*(0 + -1)?
False
Suppose 7*z + 2*n = 4*z - 10, 3*n + 15 = -2*z. Suppose -3*g - 12 = z, 5*g = -2*l - 3*l + 9160. Is 51 a factor of l?
True
Suppose 11*n - 30*n + 160987 = 0. Is n a multiple of 4?
False
Let f(u) = -8*u + 28. Let w be f(18). Let a be (-1)/(1 + 2/(-4)) + w. Let h = -101 - a. Is 9 a factor of h?
False
Suppose 0 = -23*i + 6*i + 5236. Let t = i - 39. Is t a multiple of 35?
False
Suppose -2*i + 37626 = 2*j, -5*i = -15*j + 11*j - 94092. Does 28 divide i?
True
Is ((-353890)/(-50) - (-1 - -11)) + 2/10 a multiple of 182?
False
Let g(s) be the second derivative of -58*s**3/3 + 5*s**2/2 + 3*s. Let k(r) = r**3 + 13*r**2 + 40*r + 14. Let l be k(-4). Is g(l) a multiple of 30?
False
Let d = -3 + 20. Suppose -4*j - 13 = -2*p + d, 5*p = 3*j + 54. Suppose 55 + p = 4*k. Is 7 a factor of k?
False
Suppose 1348 = 4*d - 444. Is (30/35)/(1/d) a multiple of 17?
False
Let l(h) be the third derivative of h**5/60 - h**4/12 - 13*h**3/6 + 45*h**2. Is l(26) a multiple of 13?
True
Let w be (-3)/(-6*(-1)/(-14)). Let r(k) = 2*k**3 - 12*k**2 + 17*k - 17. Is 25 a factor of r(w)?
True
Let s be 3/2*(11 + 7). Suppose 5*i = r - 2 - 10, -i = 5*r - 8. Suppose -r*g = -5*w + 42, s = 2*w + 2*w + 5*g. Does 5 divide w?
False
Suppose 3*j - 91339 = 2*h, 5*j + 4*h - 52954 = 99285. Is j a multiple of 51?
True
Let w(t) = 3*t + 29. Let z be w(-9). Suppose -4*r - 2*v = z*v - 112, 4*r = 3*v + 140. Suppose 0 = -3*n + r + 88. Is n a multiple of 20?
True
Suppose -3*i + 1842 + 1028 = 2*d, -3*d - 2895 = -3*i. Is 8 a factor of i?
True
Let m be (40/12)/(7/21). Suppose 9*w + 5 = m*w. Suppose -w*u = -3*y - 255, -12 = -5*y + 13. Does 5 divide u?
False
Suppose 38*k - 738296 + 228488 = 0. Is 26 a factor of k?
True
Let n(d) = -142*d + 185. Let s(k) = -71*k + 92. Let m(l) = -6*n(l) + 13*s(l). Does 43 divide m(-3)?
False
Let c(p) = -p**3 + 12*p**2 + 28*p - 3. Let z be c(14). Let w(k) = 22*k + 5. Let a be w(z). Let n = -58 - a. Is 3 a factor of n?
True
Let x(s) = s**3 - 19*s**2 - 12*s + 7746. Is x(0) a multiple of 3?
True
Let p be (4/((-32)/12))/(3/(-6)). Let n be 30/p*(-1)/(-2). Suppose 0 = a + n - 61. Does 26 divide a?
False
Let n(t) = 86*t - 384. Is 32 a factor of n(16)?
True
Suppose -4*i + 0*q + 79 = q, q = -3*i + 60. Is 68 a factor of (-19)/i - ((-2)/1 - 135)?
True
Let b(l) = -28*l + 17. Let h be b(4). Let s = h - -201. Suppose 0 = -4*c + s - 6. Is 5 a factor of c?
True
Let r(g) = -9*g - 18. Let l be r(-10). Let z = 290 - l. Let x = z - 122. Does 24 divide x?
True
Let d = -146 - -157. Suppose d*g + 333 = 3*q + 14*g, 3*q - 317 = g. Does 18 divide q?
False
Let l(j) = -8*j**2. Let a be l(-2). Let t be (a/(-12))/(-1) - 1/3. Let b(w) = 13*w**2 + 3*w + 2. Is 10 a factor of b(t)?
True
Let k(i) = -47*i - 58. Let f be 1 - 18 - (1 - 6). Is 22 a factor of k(f)?
True
Suppose -2092 = 5*b - 3*c, c - 840 = 2*b + 3*c. Let s = 777 + b. Does 15 divide s?
False
Suppose 3*l - 10 = -2*s, -2*s - 22 = -3*l - s. Suppose w - 5 = 0, -7*w + 770 = 5*u - l*w. Is 51 a factor of u?
True
Let n be -3 + 2/((8/(-66))/(-2)). Is 3 a factor of (5/(n/(-36)))/((-1)/13)?
True
Let q(w) be the first derivative of -w**3/3 - w**2/2 + 106*w + 32. Let a = 5 - 5. Does 13 divide q(a)?
False
Suppose -22*j - 1944 + 30478 = -7326. Is j a multiple of 12?
False
Suppose 5482 = 111*i - 109*i. Is 34 a factor of i?
False
Suppose 0 = 4*m + 529 - 3805. Let l = m + -484. Let p = -196 + l. Is 21 a factor of p?
False
Suppose 0*p + p - 2*b = 10, -4*p + 4*b + 20 = 0. Suppose -h + 3*h = -10, -a - 4*h - 4 = p. Suppose a*t = 14*t + 16. Does 8 divide t?
True
Suppose 5*g - 4*g = -40. Does 12 divide 1008/(-20)*g/6?
True
Let r = -306 - -306. Suppose r*x = -y + 3*x + 390, 4*y - 1592 = -4*x. Does 22 divide y?
True
Let b be 404 - (-2 - 22)/4. Let c = b + -272. Is 6 a factor of c?
True
Let p(n) = -2*n**3 + 4*n**2 + 12*n - 12. Let w(a) = -2*a**2 + 83*a - 47. Let k be w(41). Is p(k) a multiple of 15?
False
Suppose -4*u + 13 = 5. Suppose -4*s = -h - h + 4, -u*h + 13 = 5*s. Is (-1 - -81)*(s + 6/(-10)) a multiple of 16?
True
Let n = -54 + 46. Let v(f) = -f**2 - 9*f - 8. Let l be v(n). Suppose l = h + 5*s - 90, -14 - 6 = 5*s. Is h a multiple of 46?
False
Let r be 40/(-140) + (-198)/(-7). Suppose -3*b = -i + r, -4*i + 17 = 3*b - 170. Let c = i + -28. Does 15 divide c?
True
Let b(t) = t**2 - 2*t**2 + 4 - 9*t + 1. Let v(k) = 9*k - 122. Let l be v(13). Is 10 a factor of b(l)?
False
Let n(s) = 22*s - 14. Let g be n(7). Suppose 0 = 42*t - 47*t - g. Let u = 26 - t. Is u a multiple of 27?
True
Let b(n) = -6*n + 10. Suppose 4*p = -k + 10, 2*k = -0*k - p + 6. Suppose 2*r + 6 = 2*y, 4*r + 9 = 3*r - k*y. Is b(r) a multiple of 10?
True
Let t(r) be the second derivative of r**3/6 + 3*r**2 - 4*r. Let a be t(-3). Suppose -a*x + 140 = 2*x. Is 14 a factor of x?
True
Suppose 1767 = 3*w - 2*i, -55*w = -57*w + 3*i + 1188. Is 9 a factor of w?
True
Suppose m = 5*d - 23, -d = -m - 7 + 4. Is 300/20*57/d a multiple of 9?
True
Let r(z) = 7*z**2 - 12*z + 118. Is r(8) a multiple of 8?
False
Let q(l) = -l**2 - 7*l + 16. Suppose 3*r = -2*j + 14 + 1, r = 3. Suppose b - 14 = j*b. Does 3 divide q(b)?
False
Let k = -910 - -1460. Suppose 0 = 11*v - 16*v + k. Suppose v = 5*c - 3*c. Is 11 a factor of c?
True
Let d = -13892 + 34772. Is 145 a factor of d?
True
Suppose 192 = 5*t - 2*o, t - 24 - 16 = 2*o. Suppose -42*l + 2600 = -t*l. Is l a multiple of 13?
True
Let u = -6913 - -12608. Is 17 a factor of u?
True
Suppose -4*k = 2*v - 2718, -2*k + k - 3 = 0. Does 4 divide v?
False
Let s(p) be the second derivative of -45*p**4/8 + p**3/6 - 8*p**2 + 6*p. Let f(z) be the first derivative of s(z). Is f(-1) a multiple of 35?
False
Is 18155 + -14 + -14 + -1*(5 - 0) a multiple of 41?
True
Let v(g) be the third derivative of 3*g**5/10 + 4*g**4/3 - 4*g**3/3 - 20*g**2. Is 65 a factor of v(-7)?
True
Let k = 63 + -58. Let o be (-2 - (