-13300. Is t a multiple of 2?
True
Let k = 279 - 300. Let r(g) = -58*g**3 + 2*g + 1. Let a be r(-1). Let l = k + a. Does 9 divide l?
True
Let f(r) = -r**2 - 20*r - 25. Let g be f(-16). Suppose -g + 43 = -4*h. Is 6 a factor of (2/3)/(h/(-48))?
False
Suppose -29*i + 16 = -33*i. Let r = 6 + i. Does 21 divide -21*((-66)/18 + r/3)?
True
Let y be (-2)/(-8) + 1523*(-26)/(-8). Suppose -13*a - y = -3*a. Does 13 divide a/(-2) - 3/(-6)*-1?
True
Is 9 a factor of -21807*33/((-3267)/22)?
False
Let l = 1380 + -772. Suppose 23*m - 19*m = l. Is m a multiple of 42?
False
Suppose -2*v - 4*k + 8840 = 0, 5*v = 7*k + 11621 + 10462. Is v even?
True
Does 4 divide (80/12)/(96/135288)?
False
Suppose -6*i + 25854 = -75690. Is 12 a factor of i?
False
Let h(g) = 2*g**2 - 6*g. Let x be h(4). Suppose -4*a = 3*m - 152, -3*a + 3*m = -x*a + 190. Let t = -7 + a. Is t a multiple of 10?
False
Let o(c) = -c**3 + 11*c**2 - 14*c - 28. Let l be o(9). Suppose 4*q = l*q - 1248. Does 24 divide q?
True
Suppose -4*k = -5*h - 1256, 0*k - 314 = -k + h. Suppose -w - 104 = -k. Is w a multiple of 14?
True
Let f(z) = -z**2 + 14*z + 33. Let s be -7 + 10 + 1 + 2. Suppose -s*g + 71 = -13. Is 11 a factor of f(g)?
True
Let o = -1141 + 608. Let d = 283 - o. Does 48 divide d?
True
Let y = 42 + -42. Suppose 3*n - m - 7 = y, 33 = -n + 3*n + 5*m. Suppose -2*p - 20 = -n*p. Is 4 a factor of p?
False
Let n = -1 + 14. Suppose -12*l = -n*l - 158. Let t = -104 - l. Is t a multiple of 9?
True
Let p(v) = -v**2 + 41*v - 222. Let y be p(33). Suppose y*x - 39604 = -292. Is x a multiple of 104?
True
Let n be (32/10)/((-10)/(-25)). Suppose -13*s = -9*s + n. Let w(c) = -8*c**3 - 2*c**2 - 7*c - 5. Does 34 divide w(s)?
False
Let w(h) = h**3 - 22*h**2 + 18*h - 340. Is w(34) a multiple of 13?
True
Let h(w) = 4*w**2 + 16*w. Let d be h(-7). Is (-6363)/d*(0 + -4) a multiple of 19?
False
Let a = 3849 - 2882. Is 79 a factor of a?
False
Let p(x) be the first derivative of 3*x**3 + 5*x**2/2 - 4*x + 23. Let f be p(3). Suppose -6*t = -f - 148. Does 20 divide t?
True
Let q(j) be the first derivative of j**5/60 - 11*j**4/24 - 8*j**2 - 1. Let w(h) be the second derivative of q(h). Does 12 divide w(12)?
True
Let a = -11 + -84. Let y be ((-5)/(-10))/(3/(-384)). Let s = y - a. Is s a multiple of 14?
False
Let g = 604 - 290. Suppose -g + 44 = -5*p. Let h = p + 44. Is h a multiple of 14?
True
Is (-180)/(-15) + -15 - -11215 a multiple of 15?
False
Suppose 7*v - 70 = -0*v. Let f = v - 8. Suppose 2*h - 130 = -f. Does 10 divide h?
False
Does 8 divide (72/(-6))/(12/(-992))?
True
Let q be (-6 + 66/10)*190. Suppose 0 = -n - 3*b + q, 14*n = 16*n + b - 243. Is 48 a factor of n?
False
Let k be (15 - 10) + 3*-1. Suppose -u = -2*u - c - 1, 5 = -5*u - k*c. Is 20 a factor of u + 4 - 4 - -50?
False
Let v(j) be the second derivative of j**4/6 + 7*j**3/6 + 29*j**2 - 47*j. Is v(16) a multiple of 34?
False
Suppose 3*f - 6558 = -3*d, 5*d = -4*f + 8763 + 2166. Is 5 a factor of d?
True
Suppose -5*t + 2*h = -83299, 5*h = -4*t + 12970 + 53689. Suppose -55*z = -t - 8034. Does 19 divide z?
False
Let q(y) = -y**3 + 5*y**2 - 3*y + 48. Let g be q(6). Is (9 + 186)*g/(-3) a multiple of 30?
True
Suppose 0 = -4*v + 9*v - 360. Let h be (11/33)/(2/v). Is 12 a factor of (-190)/(-2) + h/(-3)?
False
Let o be (-2 - 6/(-9))/((-4)/6). Let b = 2 + o. Suppose -6*a = -b*a - 24. Does 6 divide a?
True
Let u = 3233 + -2012. Is u a multiple of 8?
False
Let m = -3053 + 3214. Is 7 a factor of m?
True
Let d = -10554 - -19928. Does 11 divide d?
False
Suppose -1667368 = -79*v + 283553 + 1305143. Does 14 divide v?
True
Suppose 15 = 5*m - 0. Let h be m/(-1) - (-4 + 6). Is (-2)/(-10) + (-349)/h a multiple of 19?
False
Suppose -5*r = -5*y + 975 + 4040, -5*r + 1992 = 2*y. Is 25 a factor of (-1 + y/1)*21/42?
True
Let u = 8195 - 6411. Is u a multiple of 14?
False
Let n be ((-8)/(-5))/(18/90). Let g be 4*(-2)/n*-4. Suppose 4*i - 3*k = -0*i + 188, g*k - 166 = -3*i. Does 15 divide i?
False
Suppose -22*w - 478 + 38 = 0. Is ((-24)/w)/((-2)/1040*-2) a multiple of 13?
True
Let t(j) = j**3 - 12*j**2 + 25*j - 28. Let q be t(21). Suppose 2*u = 6*u + 2*y - q, 0 = -4*u + 3*y + 4481. Is u a multiple of 86?
True
Suppose 60*i - 59*i = -692. Is 13 a factor of 4 + i/(-1) + -7?
True
Let t be (0 + 0)/((-5)/5). Suppose 0 = 11*k - 6*k - x - 24, -4*k - x + 21 = 0. Suppose t = -4*a + 2*d + 56, -k*d = -2 - 18. Is 9 a factor of a?
False
Let q = 3454 + -1770. Does 29 divide q?
False
Let i = -6579 + 26796. Is i a multiple of 23?
True
Suppose -304*f + 2630 = -299*f - 3*d, -2*d + 513 = f. Does 32 divide f?
False
Let o be 106 + 2 + -1 + -16 + 13. Let l = -92 + o. Does 3 divide l?
True
Suppose -3*g - 2560 = -4*c + 3664, 2072 = -g + 2*c. Let j = -880 - g. Is 15 a factor of j?
True
Suppose 4*g + 4 = -4, 4*h = -3*g + 1038. Let p(j) = -508*j**2 + 597*j + 1. Let y be p(1). Suppose -9*v = -h - y. Is 2 a factor of v?
False
Let j be (-56)/14 + 8*1. Let f be -114 + (-2 - (j - 2)). Let v = f - -198. Does 7 divide v?
False
Suppose 202*i = 198*i + 8. Is (-6258)/(-28)*i/3 a multiple of 10?
False
Let u(w) = -79*w**3 + 6*w**2 - 7*w. Let i be u(3). Let d = i + 3172. Is d a multiple of 16?
True
Let s = 3704 + -1413. Is s a multiple of 79?
True
Let d = 9843 + -3188. Is d a multiple of 14?
False
Let z = -213 + 191. Let y(k) = k + 63. Is 3 a factor of y(z)?
False
Suppose -4*g = -204 - 696. Let w be (g/60)/(2/152). Suppose w = 5*u + 20. Is u a multiple of 9?
False
Suppose -7*m + 18 - 4 = 0. Suppose -d = s - 13, -m*s + d + 22 = -d. Is 4 a factor of s?
True
Is (12/(-15))/((-2)/5) - (-206 - 9765) a multiple of 5?
False
Let c(x) = -6713*x - 1736. Is c(-8) a multiple of 16?
True
Let o(g) = 74*g - 1525. Is 35 a factor of o(60)?
False
Let p(q) = -13*q + 4. Let x(n) = 4 - 13*n - n + 0 - 1. Let z(s) = -4*p(s) + 5*x(s). Does 7 divide z(-2)?
True
Let u = 833 + -186. Let k = u - 461. Is 44 a factor of k?
False
Let l be (30/(-4))/(-2 + (-3)/(-2)). Suppose -l*r = -r - 2128. Is 19 a factor of r?
True
Suppose -28*v + 36240 = 20*v. Is 24 a factor of v?
False
Let w(z) = z**2 + 2*z - 9. Let k be w(-4). Let j be 54/10 - 5/100*8. Is 3 a factor of -4 + k + j + (0 - -13)?
False
Suppose 7*i - 2*i + 15 = 0. Let r(j) = 2*j**3 + 5*j**2 - 3*j - 3. Let n be r(i). Does 17 divide (6/(-24))/(n/1356)?
False
Suppose 3*v + 195 = -81. Let y = -23 - v. Suppose y = -2*l + 5*l - 3*x, l - 3*x = 29. Is l a multiple of 3?
False
Suppose 64*g - 58821 = -10565. Is 15 a factor of g?
False
Let m(y) = -67*y - 35*y + 8 - 4*y + 0*y. Does 26 divide m(-9)?
True
Let b be 147/(-105) + 34/10. Is 5 a factor of b/30*1817 - (-16)/(-120)?
False
Let d(l) = -15911*l**3 - 6*l**2 + 72*l + 78. Is d(-1) a multiple of 6?
False
Suppose 252*s + 3*q = 254*s - 12329, -18492 = -3*s + 4*q. Does 40 divide s?
True
Suppose -26*p - 849 = -3033. Is 67 a factor of (288/p)/((-10)/(-2135))?
False
Is (11/22 - 3)*(-152868)/10 a multiple of 367?
False
Let r = 3 + 3. Suppose 0*l - r = -3*l. Suppose -l*a - 4*u - 58 + 246 = 0, -20 = -5*u. Is a a multiple of 9?
False
Let r = 981 + -972. Suppose 0 = -3*l + a + 3146, -10*l + 4*a + 1034 = -r*l. Is 54 a factor of l?
False
Let o = -115 + 64. Let r = o + 56. Suppose -4*a + 41 = 3*x - 26, -5*x = r*a - 85. Is 16 a factor of a?
True
Suppose 83*c + 43*c = 930384. Is c a multiple of 13?
True
Let j(h) = -62*h + 808. Is 37 a factor of j(8)?
False
Suppose 5*p + o = 25, 15 = -2*o - o. Suppose -p*y + 8*y + 5*t - 218 = 0, -5*y + 518 = -t. Is 6 a factor of y?
False
Suppose -i + 19231 = 3*n, 9*n - 13*n + 4 = 0. Is i a multiple of 76?
True
Let f = -4565 - -8889. Is 47 a factor of f?
True
Let b(v) = 390*v + 792. Does 4 divide b(0)?
True
Suppose 2*s + s = 459. Let t be 16 - 1 - (-31 - -44). Suppose 3*g - 3*v = s, t*v - 174 = -3*g - g. Does 10 divide g?
False
Suppose -8254 = -3*u - t, 99*u - 97*u = -t + 5504. Is u a multiple of 5?
True
Suppose 0 = -c - l - 101, 3*c + l - 4*l = -309. Let y = -88 - c. Let u = y - -50. Is 32 a factor of u?
True
Suppose 3*j - 2*y = 2971 + 1037, 4*y - 6680 = -5*j. Let m = 2369 - j. Does 15 divide m?
False
Suppose 669*w = 698*w - 1009200. Is 240 a factor of w?
True
Suppose -t + 2*i + 25 = 0, -55*t - 3*i - 46 = -57*t. Let s be 18 - (-2 + 2)/1. Suppose t*k = s*k - 10. Is 3 a factor of k?
False
Suppose 4 + 2 = 3*x. Suppose -b - x*a + 2 = 3*b, -1 = b + a. Does 16 divide b/10 + 