t c be p(-4). Suppose -c*i = i + 3*s - 159, -5*i + 266 = 4*s. Is i a multiple of 18?
True
Suppose 9*v + 264 - 111 = 0. Is 23 a factor of v/(-3)*87 - 8?
False
Suppose 5 = 3*w - 2*w. Suppose w*i = -316 + 936. Is 15 a factor of i?
False
Suppose -5*t = -16 - 9, 7 = -3*s + 2*t. Let j be (-3)/(s - 2) - 3. Suppose -3*y = -j*y - 240. Is 20 a factor of y?
True
Suppose 8*t - 738 = 2*t. Suppose -24 = 7*u + t. Let l = u + 29. Does 4 divide l?
True
Let j = -7 - -12. Suppose -11*z - 543 = 14*z - 1468. Suppose a - z = -j. Does 5 divide a?
False
Let i(y) = 16*y**2 + 194*y - 1462. Is 4 a factor of i(8)?
False
Let h be 3/(-4) + (-15775)/(-20). Suppose 0 = -31*p + 29*p + h. Is p a multiple of 18?
False
Let z(l) = l**2 + 30*l + 30. Let s be z(-30). Let n = s - 12. Is 3 a factor of n?
True
Let v(q) = 41*q**2 - 453*q - 138. Is v(38) a multiple of 131?
False
Is 28/350 - ((-1548438)/(-12))/((-75)/6) a multiple of 39?
False
Let h = 1450 + -307. Does 6 divide h?
False
Let d(l) be the second derivative of -l**3/6 + 13*l**2/2 - 5*l. Let g = -192 + 196. Is d(g) even?
False
Suppose 0*i = -2*i - 2*t + 10, -2*t + 10 = -3*i. Suppose -6*j + 92 + 370 = i. Does 7 divide j?
True
Does 137 divide (-2 + 6/(-15))/((-278)/553915)?
False
Let z = 11 + -17. Let y(u) be the second derivative of -11*u**3/3 + 45*u**2/2 - 47*u. Is y(z) a multiple of 46?
False
Let w(x) = 25*x**2 - 6*x - 14. Let i be w(-6). Suppose i = 2*c - 366. Does 46 divide c?
True
Let a(j) = -j**3 + 44*j**2 + 68*j - 292. Is a(44) a multiple of 20?
True
Suppose -6*h - 955 = 4*u - 7*h, -4*h = -4*u - 952. Suppose n - 6*n = 2*v + 1772, -4*n = -v + 1415. Let i = u - n. Is 9 a factor of i?
False
Let d be ((-5)/10)/(3/(-9174)). Let o = -1067 + d. Is 18 a factor of o?
False
Let t(v) = 11*v + 31. Let h be t(-3). Is 24/(h - 91/(-42)) a multiple of 48?
True
Suppose 3*y = -32*y + 79380. Is y a multiple of 81?
True
Let z be (-1195)/(-15) + (-8)/(-6). Suppose 1391 = 10*c + z. Let g = c - -121. Is 33 a factor of g?
False
Suppose 13*m + 3200 = 5*m. Let q be (0 - 4) + m/(-8). Suppose 0 = -24*o + 25*o - q. Is o a multiple of 37?
False
Let a = -3593 - -5271. Is 87 a factor of a?
False
Suppose -12*g + 10 - 82 = 0. Let z = 312 - g. Does 44 divide z?
False
Let y(a) = 7*a**2 - 7*a - 3. Let h be y(4). Suppose h*o - 1350 = 66*o. Is 9 a factor of o?
True
Let a = 95 - 90. Suppose 0*k + k = a*u + 211, 2*k = -u + 389. Suppose -k = -6*v - 88. Is v a multiple of 3?
True
Let o be (-90)/(-12)*(-2 + (-48)/(-9)). Suppose -5*n + o = w, 2*n = -3*w - n + 15. Suppose 2*a + 4 = -w, 4*d + 3*a - 442 = 0. Is 13 a factor of d?
False
Let y(r) = r**2 - r + 10. Let b be y(5). Let a = b + 111. Is 8 a factor of a?
False
Let h = 20647 - 12121. Is 21 a factor of h?
True
Let a(y) = 3*y**2 + y + 5. Let d be a(3). Let t = -11 + d. Suppose 0 = t*r - 20*r - 60. Is r a multiple of 3?
True
Suppose -30366 - 23100 = -21*v. Does 134 divide v?
True
Let k(b) be the third derivative of b**6/120 + b**5/6 + b**4/4 - 11*b**3/3 + 4*b**2. Let s be k(-9). Suppose -s*j + 72 = j. Is 4 a factor of j?
True
Let g = -3259 - -6567. Suppose -3*a = 2*m - 6*a - g, 4*m - 4*a = 6624. Is 20 a factor of m?
True
Suppose 1012*k + 48906 = 1050*k. Is k a multiple of 9?
True
Let n(o) = 3*o**2 + 1. Let u be n(2). Suppose 29*v + 5*f + 10 = 27*v, -4*f - 8 = 0. Suppose -w - 4*a + 10 = v, -2*a - 15 = -w + u. Is 3 a factor of w?
False
Let r(n) = 2*n**2 - 58*n + 656. Is 4 a factor of r(31)?
True
Suppose 0 = -75*a + 74*a - 3*d + 7, 36 = 4*a + 4*d. Does 2 divide a?
True
Suppose -1751*l + 1745*l + 9372 = 0. Is 71 a factor of l?
True
Suppose 0 = -5*g + 490 + 1775. Suppose 3*f - g - 267 = 0. Suppose -2*n - n = -f. Is 15 a factor of n?
False
Let y = 9328 - 6732. Is y a multiple of 111?
False
Suppose 5*b = -4*u + 867, 2*u + 0*u = -4*b + 690. Is 99 - (12/(-15) + b/45) a multiple of 7?
False
Let u be (-2 - (-15)/6)*6. Let b be (-771)/((-10)/(-30)*-3). Suppose u*p - b = 2*t - t, 2*p - t = 514. Is 25 a factor of p?
False
Does 15 divide (-2 + (1965/(-10))/3)/((-195)/217100)?
True
Let i(r) = 3399*r**3 - r**2 + 8. Is 14 a factor of i(2)?
False
Suppose 4*q + 16 = 2*x, -3*x + 4*q + 13 = -3. Suppose -3*h + 304 + 11 = x. Is 9 a factor of h?
False
Suppose -3*c - 137*a + 142*a = -2539, 0 = 4*a - 4. Does 53 divide c?
True
Suppose -41 = -5*h - 11. Suppose t = -3*l + 41, -35 = 5*t - h*t - l. Is t a multiple of 2?
True
Suppose -3*i - 13 = -22. Suppose -i*v + 172 = -v. Suppose -v = -2*h - 26. Does 10 divide h?
True
Suppose 0 = 35*i + 10*i - 224631 + 66321. Is i a multiple of 6?
False
Suppose 64*m = 59*m + 10. Suppose -3*j - d + 342 = 0, -m*j + 4*j - 228 = d. Let t = j + -18. Does 12 divide t?
True
Suppose 42 = 16*i - 4246. Suppose 5*z - i = 4*z + 3*d, 0 = 5*z - 2*d - 1314. Does 12 divide z?
False
Let g(r) be the third derivative of -r**6/120 + r**5/4 + 13*r**4/8 - 27*r**3/2 - 64*r**2. Does 8 divide g(15)?
True
Suppose -a = -6*a + 80. Let x(h) be the third derivative of -h**6/120 + 7*h**5/30 + 4*h**4/3 + 7*h**3/2 - 5*h**2. Is x(a) a multiple of 7?
True
Let z(l) = -3*l + 6. Let u be z(2). Suppose u = -4*p - 5*r + 224, -2*p + 64 = 4*r - 42. Let y = p - -17. Is y a multiple of 39?
True
Let l(v) = v + 1. Let b(y) = 4 - 4 - 12*y - 4*y**2 + 6 - 3*y. Let g(m) = -b(m) - 4*l(m). Does 37 divide g(7)?
False
Let u(n) = 4*n**2 - 9*n + 5. Suppose 3*f = -12, 0 = -0*w - 2*w + 4*f + 26. Is 6 a factor of u(w)?
True
Suppose -2*c = -1594 + 258. Suppose 5*b - c + 8 = 0. Does 4 divide b?
True
Suppose -14*q + 258 + 28260 = 0. Let r = -1391 + q. Does 57 divide r?
False
Let j(h) = 78*h**2 - 25*h + 31. Does 16 divide j(4)?
False
Does 13 divide ((-85734)/165)/(0 + 6/(-20))?
False
Let p(n) = -60*n - 31. Let w be p(-6). Suppose -5*t - 5*l + 890 = 0, 3*t + 2*l - w - 203 = 0. Does 44 divide t?
True
Suppose -333202 - 195458 = -60*u. Does 37 divide u?
False
Let j = -27817 + 43507. Is j a multiple of 15?
True
Suppose 19 - 13 = 3*u. Suppose -13*y + u*y = -1089. Does 25 divide y?
False
Suppose 15 + 17 = 4*q. Let o be q/(-32) - 1554/(-8). Suppose -3*g - 2*v = 3*v - 178, -3*g - v = -o. Is g a multiple of 10?
False
Let s(q) = 102*q**2 + 186*q + 1724. Is s(-10) a multiple of 8?
True
Is (288/20)/(-3 - (-22328)/7440) a multiple of 144?
True
Let f = 75 + -19. Suppose -696 = -2*y - f. Is 32 a factor of y?
True
Let z be ((-2)/(-4))/(19/114). Suppose -z*g = 9*g - 72. Is 6 a factor of g?
True
Let h = -58943 + 113970. Is 23 a factor of h?
False
Let v = -4062 - -4341. Is 5 a factor of v?
False
Suppose 0 = -h - 5, x + 91 = -93*h + 91*h. Suppose 2*d - 126 - 50 = -y, -2*d = -3*y + 536. Let n = x + y. Is 18 a factor of n?
False
Let n(y) = 256*y**2 + 64*y - 128. Does 16 divide n(6)?
True
Let z(g) be the first derivative of -61*g**2/2 - 22*g - 17. Let q be z(-7). Suppose -3*h = 4*s - 229, 5*h = -0*h - 2*s + q. Is 6 a factor of h?
False
Let g(c) = 7*c**2 - 6*c + 4. Let s be g(4). Let w = -74 + s. Suppose -w*o - 132 = -22*o. Is 5 a factor of o?
False
Is 24 a factor of (108 - 109)*331*-23?
False
Let f(v) = 18*v**3 + 2*v**2 - 24*v + 320. Is 10 a factor of f(10)?
True
Let p(d) = 80*d - 1680. Is 5 a factor of p(60)?
True
Suppose 3*g - 2*s = -3*s + 1323, -3*g - 2*s = -1320. Suppose 12*o = g + 50. Is 6 a factor of o?
False
Let j be 308/17 + (-24)/204. Does 32 divide -30*(-2)/(j/123)?
False
Suppose -5*s + 710 = 3*u, -2*u = 3*s - 6*u - 455. Suppose -s = 2*w - 9. Let x = -14 - w. Does 27 divide x?
True
Suppose -32 = -b - 15*b. Suppose -b*h = 205 - 985. Does 65 divide h?
True
Let y(u) be the third derivative of -u**8/20160 - u**7/420 - u**6/72 - u**5/15 - 22*u**2. Let j(w) be the third derivative of y(w). Is j(-10) even?
True
Suppose 5*r = -j + 7739, -r = -61*j + 65*j - 31051. Is j a multiple of 55?
False
Suppose 302 + 190 = 6*q. Suppose -4*r = q - 46. Is 31 a factor of (-9)/(r/(-4)) + 159?
True
Suppose 3*s = 3*p + 363, -2*s + 0*p + 266 = 4*p. Suppose -12*k = -391 - s. Is k a multiple of 5?
False
Let v(l) be the second derivative of 5*l**3/2 - 2*l**2 - 4*l. Let x(t) = -31*t + 9. Let b(m) = -14*v(m) - 6*x(m). Is b(-2) a multiple of 22?
False
Suppose 348 = -4*h + 10*h. Suppose h*b - 84 = 51*b. Does 6 divide b?
True
Suppose -17*k = -13*k - 12. Suppose -d - s = 3*d + 50, -5*d + k*s = 54. Let j(z) = -4*z + 40. Is j(d) a multiple of 22?
True
Let x = 3756 - 3331. Is 17 a factor of x?
True
Let r = 4771 + 2139.