multiple of 24?
False
Let x = 204 + -360. Let g = x + 319. Let s = 12 + g. Is s a multiple of 25?
True
Let c(x) be the first derivative of -4*x**2 - 2*x - 26. Let d(n) = 65*n + 15. Let g(v) = -25*c(v) - 3*d(v). Is g(3) a multiple of 2?
True
Suppose 4*d - 33*u = -29*u + 7256, 3*u + 9082 = 5*d. Is 58 a factor of d?
False
Let y(i) = 24*i**2 - 2*i - 4. Let x be y(-2). Let g be ((-6)/4)/((-72)/x). Suppose -5*k = 2*m - 474, -5*k - 2*m - g*m = -468. Does 16 divide k?
True
Suppose -2*f + 24 = 5*h, h + 5*f - 26 = -3*h. Let u be h - (-322 + 2)/4. Suppose -u*n = -86*n + 28. Is 14 a factor of n?
True
Let q(s) = -s**3 - 33*s**2 + 58*s + 223. Does 20 divide q(-37)?
False
Suppose 24 - 10 = -14*t. Let i(x) = -39*x + 1. Is i(t) a multiple of 8?
True
Suppose 0 = -41*x + 35 + 47. Suppose -5*d + 3*s + 1412 = -0*d, 3*d - x*s - 848 = 0. Is 40 a factor of d?
True
Let r = -96 + 103. Suppose 0 = -c - 2*x + 92, -r*c - 3*x + 288 = -4*c. Is 6 a factor of c?
False
Let k(b) = b**3 + 2*b**2 - 3*b + 3. Let j be k(-3). Let n(o) = 2*o**3 - 4*o**2 - 3*o + 10. Let s be n(j). Suppose s*r - 6*r = 3159. Does 40 divide r?
False
Let y = 22286 + -11552. Does 193 divide y?
False
Let x = -345 + 372. Suppose 2*p - 20010 = -x*p. Is 15 a factor of p?
True
Let l = -5479 + 12068. Does 37 divide l?
False
Is 1445000/272*6/5 a multiple of 35?
False
Suppose -2*t + 4479 = -3*z - 2127, 5*z = 2*t - 6590. Is 17 a factor of t?
True
Let i(n) = 459*n + 5742. Does 9 divide i(34)?
True
Suppose -4*p + 5*r = 7*r, 0 = p + 2*r + 6. Suppose 2*m - 2*g = 16 - 4, -2*g + p = 0. Suppose m*v - 2*a = 3*v + 164, -4*v - 5*a + 192 = 0. Is v a multiple of 17?
False
Let h(u) = -9*u + 6. Let y be h(0). Suppose -y*z + 1300 = 7*z. Is z a multiple of 5?
True
Let f be ((-25704)/(-595))/((-3)/(-70) - 0). Let a(r) = 3*r + 4. Let t be a(3). Suppose 19*o - t*o = f. Is o a multiple of 21?
True
Let g(o) = -5*o + 33. Let h be g(5). Suppose 4*q + h = 0, -3*l + q + 503 = -3*q. Does 11 divide l?
True
Is 3 a factor of ((-80)/24)/(30/(-42) + 71669/100464)?
False
Let y(q) = -190*q - 47. Let k be y(-3). Let j = k - 219. Does 16 divide j?
True
Suppose 7*l = -3*l - 30. Is 17 a factor of l - -224 - 0*(-4)/20?
True
Suppose 221 = 4*s + 121. Suppose 0*x + s = 5*x. Suppose 0*b = x*b + 2*v - 138, -b + 10 = -4*v. Does 8 divide b?
False
Let m = 524 - 111. Suppose -931 = -6*t + m. Is t a multiple of 21?
False
Let v(m) = -3104*m + 2600. Is 8 a factor of v(-2)?
True
Suppose -6*h - 12 = -42. Let m be 167/4 + -1 + h/4. Suppose 12 = -3*u, 2*y - 4*u = -0*y + m. Is 6 a factor of y?
False
Let v = 101 - -137. Let j = -208 + v. Is j a multiple of 13?
False
Let d(u) = 3*u**3 - 32*u**2 - 8*u + 153. Does 7 divide d(13)?
True
Suppose -35*r - 44*r = -104*r + 155975. Is r a multiple of 8?
False
Let s be (30/(-5) + 5)*0. Let r be -5*(-16)/20 + s. Suppose -8*y + 3*x = -r*y - 343, -y + 92 = -2*x. Is y a multiple of 41?
True
Let s be ((-21)/9)/(4/(-36)*3). Does 8 divide (36/s)/(165/6160)?
True
Suppose 322*z - 1414 = 329*z. Let l = 253 + z. Is 50 a factor of l?
False
Suppose 5*c = y + 25, 3*c + 46 = -5*y + 61. Let m be (20/(1 + 1))/2. Suppose y*d = m*d - 420. Is 21 a factor of d?
True
Does 6 divide 1422 + 192/80*((-60)/8)/(-3)?
True
Let b(g) = g**2 - 20*g + 1401. Does 54 divide b(71)?
True
Let j(b) be the first derivative of -b**3/3 + 6*b**2 + b + 42. Is 3 a factor of j(11)?
True
Let t(d) be the third derivative of -37*d**4/12 + 53*d**3/2 - 48*d**2. Is 28 a factor of t(-9)?
False
Let g be (-8)/(-14) + (-40616)/28 + 11. Let q = 2583 + g. Does 26 divide q?
True
Let i = 9758 + -5170. Is i a multiple of 29?
False
Suppose 2*k = r + 7, -r = 4*k - 2 - 27. Suppose -7*i = -k*i - 36. Does 9 divide i?
True
Let q(v) = v + 45. Let x be q(21). Let f(n) = 79*n - 304*n - x + 65. Does 33 divide f(-1)?
False
Is 12 a factor of 215048/40 - 6/30?
True
Suppose -7*k + 14683 + 12687 = 0. Suppose -16*c + 12646 - k = 0. Is 26 a factor of c?
True
Let v(r) = 42*r**2 + 10*r - 21. Is 78 a factor of v(13)?
False
Let k(j) be the second derivative of j**4/12 - 19*j**3/6 - 5*j**2 + j - 4. Is 28 a factor of k(24)?
False
Suppose 3*p - 148 = 7*p. Let u = p + 41. Suppose -3*f - k = -7, -32 = f - u*f + 4*k. Does 3 divide f?
False
Let i(b) = 3*b + 96. Let t(x) = -2*x - 7*x + 47 + 8*x + 2*x. Let u(g) = -2*i(g) + 5*t(g). Does 10 divide u(-15)?
False
Let a(k) = k**2 - 6*k + 4. Let v be a(6). Suppose 4*f + 678 = 8*f - l, v = 2*l. Suppose -7*p + 957 = -f. Does 10 divide p?
False
Let l(t) = t**3 - 20*t**2 + 12*t - 45. Let d = -80 - -100. Let v be l(d). Suppose -2*a = 3*q - 5*a - v, -3*q - a + 203 = 0. Does 6 divide q?
False
Let q = -303 + 800. Suppose 3*h - q = -4*h. Let i = 146 - h. Is i a multiple of 14?
False
Let l(g) = -g**2 - 51*g - 30. Let u be l(-21). Suppose u = 20*h - 15*h. Is 30 a factor of h?
True
Suppose 12*n + 61815 = 3*o + 9*n, o - 20625 = -3*n. Is o a multiple of 90?
True
Let m = 438 - 184. Let p = 266 - m. Is 2 a factor of p?
True
Let c = -1271 - -2679. Does 64 divide c?
True
Suppose 9*x + 1176 = 16*x. Let h = 283 - x. Suppose 0 = -24*n + 19*n + h. Is n a multiple of 22?
False
Let f(k) = -k**2 + 11*k + 14. Let i be f(10). Suppose 4*h - i = 2*v, 4*h + 6*v - 24 = 2*v. Is 4 a factor of 98/6 - ((-4)/h - -1)?
True
Suppose -a - 4 = 0, 0*b + 4*a = -b - 18. Let t = 404 - 220. Is 3 a factor of b/(-4) + t/16?
True
Let l be -6 - 4/(-2)*1. Let q(x) = 156*x - 3908. Let g be q(26). Let z = g + l. Is z a multiple of 11?
False
Let q(k) = -k**3 - 5*k**2 + 7*k + 6. Let n be q(-6). Let j = 43 + -38. Suppose 0 = -n*w - j*w + 215. Is 13 a factor of w?
False
Let n(o) be the third derivative of o**5/30 - 23*o**4/24 - 3*o**3/2 + 9*o**2. Let c be n(12). Suppose g - c*f + 111 = 4*g, g + 5*f = 57. Is 4 a factor of g?
True
Let d(h) = -2*h**2 + 9*h - 6. Let f be d(3). Suppose 3*g = f*n - 831, -g - 1599 = -4*n - 503. Is 7 a factor of n?
True
Is (-63)/42*(-2048)/12 a multiple of 2?
True
Let r be 0 - (2 + (1 - 3)). Suppose r = 2*b - 4*b + 38. Suppose 0 = -20*i + b*i + 169. Does 9 divide i?
False
Let y(z) = 10*z + 24. Let f be y(-2). Suppose f*p - 2*u = 1036, 4*p = -0*u - 2*u + 1020. Does 13 divide p?
False
Let f be -3 + -1201*4/(-2). Let p be (-11)/(-44) + f/4. Suppose -v + 5*v = p. Does 15 divide v?
True
Suppose -d + 6 = -3*d. Let t be (1/d)/(15/(-90)). Suppose 4*h - 66 = -t*h. Is 2 a factor of h?
False
Does 72 divide (850/(-102) + 11)/(1/3780)?
True
Let y(s) = 20*s**2 - s - 1. Let a(b) = -b**3 - 5*b**2 - 5*b - 2. Let u be a(-4). Let j be y(u). Let x = -55 + j. Is x a multiple of 17?
False
Suppose -5*u - 3*w - 1 = -0, 0 = u + w + 1. Let s be u*(7050/35 + (-4)/(-7)). Suppose -3*q - s = -2*c, -364 = -4*c + q - 5*q. Is 30 a factor of c?
False
Let t(a) be the second derivative of -19*a**7/840 + a**6/360 - a**5/60 + a**3/2 + 6*a. Let k(d) be the second derivative of t(d). Does 21 divide k(-2)?
False
Suppose -f + 376 = -5*h, -522 - 1300 = -5*f - 4*h. Suppose -c - 2*d = -283 - f, -4*c = d - 2631. Does 12 divide c?
False
Is 39 a factor of (26/2)/((-13)/(-21216))?
True
Let m be 807/(-12) + (-5)/(-20). Let u = m + 589. Is 34 a factor of u?
False
Let b(s) = s**2 - s - 14. Let z = 27 - 22. Suppose -4*u + 12 = -z*v - 25, -4*v + u - 23 = 0. Does 5 divide b(v)?
False
Suppose 23*c - 3098100 = -18*c - 34*c. Is c a multiple of 105?
False
Suppose -3*p - 19*d = -16*d - 9, 5*p + d - 23 = 0. Suppose 0 = -k - k + 10. Suppose -v - k*x = -104, -v = p*x - x - 105. Is v a multiple of 20?
False
Let f(m) = -234*m + 5926. Is 3 a factor of f(18)?
False
Suppose -4*q + q = -54. Let s be q/(-1) - 0/17. Let y(d) = d**2 + 14*d - 44. Does 19 divide y(s)?
False
Let t be (-1 - 2)*(-800)/(-15). Let x = 8 - t. Is 24 a factor of x?
True
Is 25904/3 + 1 + 130/(-78) a multiple of 14?
False
Let d = 7169 - 4089. Is 77 a factor of d?
True
Suppose 1430 = 51*b - 6701 - 3650. Does 11 divide b?
True
Let f = 7452 + -7256. Is 28 a factor of f?
True
Let n = 10091 - 7735. Is n a multiple of 14?
False
Suppose 0 = 110*h - 40641 - 535984 - 2661775. Does 92 divide h?
True
Suppose 4*o - 7870 = 5*d, 2613 - 8531 = -3*o - 4*d. Is o a multiple of 10?
True
Let u = -577 + 582. Suppose -513 = -u*o + 177. Does 15 divide o?
False
Let l(z) = z**3 + 12*z**2 - 11*z + 17. Let v be l(-13). Let r(d) = -10*d - 74. Is r(v) a multiple of 3?
False
Suppose -31 - 179 = 3*u. Let q = u + 684. Suppose q = 6*b