
True
Let q(a) = a**2 - 8*a + 3. Let f be q(8). Suppose 870 = -f*m + 2520. Does 10 divide m?
True
Let c be -3*(-8 + 60/9). Suppose 9 + 7 = c*y, h - 2*y = 220. Is 4 a factor of h?
True
Is 31 a factor of 1062492/45 + 13/26*(-18)/(-135)?
False
Let a = 10 - 7. Let n(g) = 10*g**2 + 4*g + 2. Does 26 divide n(a)?
True
Suppose 24 = -4*g - 2*m, 3*g + g - 4*m + 12 = 0. Let h be ((-20)/g + -35)/1. Let a = h + 50. Does 6 divide a?
False
Suppose -4*i + 44966 = -3*y - 98027, y = 4*i - 143003. Does 113 divide i?
False
Suppose -b + 2*z + 1545 + 280 = 0, 0 = -5*b - 3*z + 9151. Is 3 a factor of b?
False
Suppose 36*a - 42*a = -18. Suppose 5*h = -5*v + 2240, -a*v = h - 1204 - 132. Is 18 a factor of v?
False
Suppose -4*d - 4*f + 1880 = 0, 7*d - 2*d + 4*f = 2347. Let j = d - 271. Is j a multiple of 3?
False
Suppose 17 = 14*s - 11. Suppose -5*z + 259 = s*o, 9*o = 7*o + 5*z + 229. Is 21 a factor of o?
False
Let k = 2011 - -5469. Does 220 divide k?
True
Let x(l) = -l**3 + 3*l**2 + 8*l - 7. Let p be x(-7). Let w = 260 - p. Let n = -94 - w. Is 28 a factor of n?
False
Let j(v) be the third derivative of v**5/5 + 7*v**4/24 - 13*v**3/2 - v**2 - 6*v. Does 74 divide j(5)?
True
Let a be -51 - (-3 + 9)*(-3)/9. Let c be 86/(-4)*-4 + 2. Is 13 a factor of (c/(-14))/(14/a)?
False
Is (-10)/(-20)*-453*-20 a multiple of 151?
True
Suppose -205 = w + 4*w. Suppose -t = o - 72, 3*o + 0*o - 201 = 2*t. Let b = w + o. Is b a multiple of 5?
False
Let a = -1261 - -1868. Suppose 1003 + a = 10*c. Is 69 a factor of c?
False
Suppose 4*h + 21*x - 26*x - 35 = 0, -4*h + 2*x = -38. Suppose -2*r = 6*q - 4*q - 18, -h = -2*q + 2*r. Is 7 a factor of q?
True
Suppose 5*y + 4*p = 4, 2*p = 5*p - 3. Suppose 4*a + 12 - 20 = y. Suppose 4*k - 200 = -a*i, -4*k - 4*i = -3*k - 43. Is k a multiple of 3?
True
Let i be -5 + 32538/78 - (-6)/(-39). Let j = i - 157. Is 15 a factor of j?
True
Suppose 0 = -31*t + 63 + 61. Let d(w) = w + 12. Let f be d(0). Suppose f = 2*k - 2*j, -4*k - t*j = -14 - 10. Is 4 a factor of k?
False
Let m = -54 + 56. Suppose 2*w + m*s - 31 = 3*s, w = 5*s + 29. Let d(h) = 6*h + 30. Is d(w) a multiple of 19?
True
Let d = -552 + 526. Let j = 138 + d. Is j a multiple of 14?
True
Suppose 4*s - 31 = 4*g - 11, -3*s - 15 = 0. Let c be -5 + g/5 + 507. Let o = -346 + c. Does 22 divide o?
True
Let x(o) = 2*o**2 + 9*o + 9. Suppose -20 = f + 4*f, -4*d + f = 12. Let i be x(d). Suppose -5*l = -i*n - 70 - 35, -3*n - 9 = 0. Does 15 divide l?
False
Suppose -38*m + 307*m - 836341 = 3489717. Does 131 divide m?
False
Suppose -49*p + 2076795 = 56*p. Is 30 a factor of p?
False
Suppose 5*r = k + 82, k = 5*k - 8*r + 304. Suppose 0*l = 3*l + 357. Let f = k - l. Is 14 a factor of f?
False
Let r(j) = j**3 - 24*j**2 + 23*j + 36. Let v be r(23). Let f = v + -22. Suppose -f*w - 93 = -17*w. Is w a multiple of 4?
False
Let z = 102 - -20. Suppose 703 = -5*o - z. Let t = o + 293. Is t a multiple of 24?
False
Suppose -t - 4*t = 2*t. Suppose t = -4*q + 8, b + 0*q = 2*q + 157. Is 4 a factor of b?
False
Let o = 68416 + -40185. Does 14 divide o?
False
Let d(n) = -n**3 + 36*n**2 - 27*n + 76. Let o be d(35). Suppose -2*x = -688 - o. Does 25 divide x?
False
Let d(k) = 10*k**2 + 87*k - 3269. Does 49 divide d(40)?
False
Suppose -34*b + 24 = -26*b. Suppose -6*f = -f, -5*p - b*f + 1260 = 0. Does 12 divide p?
True
Suppose 12*w - 81*w = 371564 - 1194320. Is w a multiple of 22?
True
Let i be (-40)/(-25) - 2/10*-2. Suppose -i*h = 11*h - 3575. Is h a multiple of 25?
True
Suppose -4*g = g + x + 11, 0 = -4*x - 4. Suppose -5 = -0*z - 5*z, 4*z + 4 = -4*f. Is f*(-12)/(g + 5) a multiple of 8?
True
Suppose -109*r + 84*r = -114300. Does 18 divide r?
True
Suppose -4*u = -3*u + 2*l + 5, 0 = 2*u + 2*l. Suppose -43 - 77 = -u*m. Suppose 0*y = 3*y - m. Does 4 divide y?
True
Suppose -3*n + 24*x = 23*x - 5182, -7*n - 5*x + 12106 = 0. Is n a multiple of 64?
True
Suppose 63241*t - 63262*t = -300510. Is 36 a factor of t?
False
Suppose 2*o + 27254 = 5*r, -5*o - 54505 = -4*r - 6*r. Is 70 a factor of r?
False
Let w(a) be the third derivative of a**5/15 + a**4/12 + a**3/3 + 13*a**2. Let o be w(3). Suppose -20*c = -24*c + o. Does 3 divide c?
False
Suppose -21*o + 25 = -16*o. Suppose -33 + 268 = o*k. Does 4 divide k?
False
Let a = 19700 + 472. Does 23 divide a?
False
Suppose -20*v = -24*v + 28. Let s(p) = -14 + 36 + 20 - 3*p - 3. Is s(v) even?
True
Let w be 8 - (-49 - 7)/8. Suppose -r = 2*a - 235, -4*a + w*r = 14*r - 467. Is 13 a factor of a?
True
Let f = -209 + 449. Suppose 10*n = 6*n + f. Let h = 84 - n. Is 12 a factor of h?
True
Let y(x) be the second derivative of x**3/2 - 11*x**2/2 + 2*x. Let f(g) = g**2 + 2*g + 5. Let i be f(0). Does 4 divide y(i)?
True
Is 7/(126/199966) - (-34)/(-153) a multiple of 69?
True
Is 22892/15 - 12/90 a multiple of 32?
False
Suppose -2*y = -2*w + 4, 4*y - 3*y + 12 = 3*w. Suppose -10*i = -w*i - 1275. Is i a multiple of 51?
True
Is 36 a factor of ((-8106)/35)/((-4)/((-360)/(-3)))?
True
Let k(g) = 746*g + 1573. Is 14 a factor of k(0)?
False
Let c be (-25)/10*54/(-45). Suppose -94 + 1152 = 3*f + r, c*r - 342 = -f. Is f a multiple of 40?
False
Suppose 83 = 6*c - 13. Is (4/(c/(-15)))/(2/(-192)) a multiple of 12?
True
Let y(x) = 89*x**2 - 12*x - 360. Does 3 divide y(-9)?
True
Suppose -7697 = -90*r + 171583. Is 6 a factor of r?
True
Let t = 190311 + -100964. Does 29 divide t?
False
Let p(x) = 86*x - 588. Is p(66) a multiple of 97?
False
Let i(w) = 19*w + 25. Let s(r) = 29*r + 37. Suppose -18*z = -15*z - 21. Let q(c) = z*i(c) - 5*s(c). Does 13 divide q(-6)?
False
Let g(i) = i**3 + 15*i**2 + i + 16. Let u(s) = -s**2 + s - 1. Let x = 16 - 17. Let a(t) = x*g(t) - 5*u(t). Is a(-10) a multiple of 41?
False
Let s(x) = -x**3 + 8*x**2 - 12*x + 6. Let m be s(6). Let l(n) = -n**3 + 7*n**2 + 18*n. Let f be l(9). Suppose m*d - 4*d - 420 = f. Does 42 divide d?
True
Let c be 3*5/(-15) + (17 - 4). Suppose c*g = 115 + 185. Does 9 divide g?
False
Let o(h) = -1049*h - 10170. Does 6 divide o(-19)?
False
Suppose 71 = -7*a - 27. Let w = a - -17. Suppose 0 = w*d - 5*b - 247, -d = -b + 6*b - 89. Is 16 a factor of d?
False
Suppose 4*p = -p + 235. Suppose 0 = 2*h + 3*d + 59 - 183, -2 = d. Suppose 2*v = h + p. Is 12 a factor of v?
False
Suppose 0*w - w = 1. Let g be (-143)/3 + (w - (-20)/12). Let l = g + 63. Does 5 divide l?
False
Suppose 60 - 30 = 3*y. Suppose 4*a = -5*z + 354, -z = -y*a + 7*a + 275. Is a a multiple of 33?
False
Let y(c) = c**2 - 3*c + 2. Let t be y(2). Suppose t = -11*j - 157 + 4678. Is 23 a factor of 3/9 - j/(-9)?
True
Suppose 2*x = -3*x + 4*a + 22, -3*a = 3*x + 3. Let g = 628 - 629. Is ((-50)/20)/(g/x) a multiple of 3?
False
Suppose 223639 = 78*a + 80119. Is a a multiple of 80?
True
Let q = -14404 - -27866. Does 3 divide q?
False
Let l = -461 - -484. Suppose 6401 + 16 = l*t. Is t a multiple of 13?
False
Let z(x) be the third derivative of 0 + 0*x + 5/6*x**3 - 17/24*x**4 - 31*x**2. Is 38 a factor of z(-6)?
False
Let d(u) = -11*u**2 - 7*u - 4. Let q be d(-2). Is (-4)/34 - (-25)/q*-400 a multiple of 14?
True
Let f(j) = 2*j - 30. Let x be f(9). Let k = -28 + 19. Does 45 divide (-1029)/k + 16/x?
False
Let j(q) = q**3 - 7*q**2 + 3*q - 13. Let b be j(7). Suppose -3*i = i - b. Suppose 1029 = i*t + 5*t. Is 37 a factor of t?
False
Suppose 31*u - 28700 = -4*u. Is u a multiple of 2?
True
Suppose -187*k + 1062329 = -40*k - 216130. Is 119 a factor of k?
False
Let v(r) = 2*r**3 + 47*r**2 + 46*r - 95. Does 16 divide v(-20)?
False
Suppose z = -b - 1 + 7, 3*b = -4*z + 21. Suppose -2*n + 6 + 3 = -k, b*n = 4*k + 6. Suppose -3*s - 63 = -n*s. Is s a multiple of 3?
True
Suppose -16*j + 51656 = -65848. Is j a multiple of 66?
False
Let p(z) = 9*z - 23. Let v be p(3). Does 5 divide 5 - (4 + v) - -45?
False
Is -1 - -4572 - 0 - (35 + -30 - 9) a multiple of 13?
False
Let d(n) be the second derivative of 21*n**3 - 75*n**2 - 222*n. Does 12 divide d(7)?
True
Let f be -2*(-2)/2*(-162)/(-4). Suppose -2*q - 5*t + 2*t = -71, -t = 2*q - f. Is q a multiple of 7?
False
Is 29 a factor of (1365/4)/(2 - 29932/15008)?
False
Suppose 29 = l - 4*b, -5*b - 109 = -3*l - 36. Suppose -22*g = -l*g - 9. Is g a multiple of 5?
False
Let h = -36 - 124. Let q = h - -335. Does 25 divide q?
True
Let g(f) = -16 - 26*f + 4*f - 3*f**3 + 7*f**3 - 8*f + 30*f**2 - 3*f**3. Does 68 divide g(-30)?
True
Let o(i) = 