
False
Let c(g) = -13*g + g + 66*g + 59 - g. Let k be c(7). Let j = k - 277. Is j a multiple of 17?
True
Suppose -2256210 = -85*z - 6*z - 38*z. Is 31 a factor of z?
False
Suppose 4*c + 3*c = 35. Suppose 3*z - c*s - 37 = 0, -s + 15 = -4*s. Suppose 3*o = -5*x + 51, z*o - 4*x - 36 = -0*x. Is o a multiple of 3?
True
Suppose -z - 5*r + 8 = 0, 43 = 3*z + 4*r - 14. Let w(n) = 20*n - 98. Is 23 a factor of w(z)?
False
Let s be (-116)/(-20) - ((-42)/(-15) + -3). Let w be (12 - s) + 0/1. Suppose w*k - 299 - 349 = 0. Does 18 divide k?
True
Let n = -73 + 51. Let p(w) = 41*w - 8. Let g be p(-3). Let u = n - g. Is u a multiple of 24?
False
Let p(q) = 42*q**2 + 49*q - 333. Is p(9) a multiple of 10?
True
Let h(i) = 231 - i**2 + i + 2*i + 2*i - 3*i. Does 77 divide h(0)?
True
Suppose 990*d + 628352 = 1006*d. Is 199 a factor of d?
False
Let m(u) = u**3 + 28*u**2 + 51*u + 9. Let y be m(-25). Let c = -448 + y. Is 17 a factor of c?
False
Let b be (7 - 0)/((-4)/76). Let z = -665 + 675. Let n = z - b. Is 21 a factor of n?
False
Let o(p) = -78*p + 145. Let i be o(10). Let r = -418 - i. Does 7 divide r?
True
Suppose -11*r - 1664 + 4612 = 0. Is 3 a factor of r?
False
Let b(i) = -i**3 - 16*i**2 + 20*i + 55. Let j be b(-17). Is 14 a factor of 75 + (-18)/j + 27/18?
False
Let h = -1572 + 428. Let i be 3/(45/(-6)) - h/10. Suppose -i*q - 450 = -119*q. Is q a multiple of 18?
True
Let i(s) = -136*s - 43. Let l be i(-4). Suppose 497*n - l*n = -904. Is 4 a factor of n?
False
Does 107 divide (-246)/(-328) - 73431/(-12)?
False
Let m(j) = 54*j**2 - 15*j + 213. Does 12 divide m(5)?
True
Suppose 48382 = 15*b - 2948 - 38910. Does 32 divide b?
True
Suppose 55*a - 12257 = 7378. Is a a multiple of 7?
True
Does 77 divide ((-21)/9 + (1 - 0))/(14/(-192423))?
True
Let w(c) = 43*c**2 + 107*c - 1560. Does 162 divide w(15)?
True
Let h = 27371 + -18112. Is h a multiple of 197?
True
Let f be (42 + (-1 - -3))*15/(-12). Let n = f - -52. Let r = 21 - n. Does 6 divide r?
True
Let o(n) be the second derivative of -193*n**5/20 - 11*n**3/6 - 6*n**2 + 2*n + 42. Does 64 divide o(-1)?
True
Let a(y) = y**3 - 6*y**2 + 9*y - 16. Let j be a(5). Suppose -j*b = -8*d + 6*d - 1798, 0 = -3*b - d + 1351. Does 45 divide b?
True
Let g = 90 - 35. Let z be 5/(g/2) + (-5140)/(-44). Suppose 2*p + 2*p - 2*r - 498 = 0, -p + z = 2*r. Is 15 a factor of p?
False
Let f = 267 - -29. Suppose -z + 3*n - f = -6*z, -3*n = 9. Is 61 a factor of z?
True
Suppose 9 = -3*n - 4*j, 0 = 2*n - 0*j + 2*j + 4. Let g be (1 + n - (-2 + 3))*-89. Let b = 257 + g. Is 18 a factor of b?
False
Let a = -36 + 45. Suppose a*b - 13 - 14 = 0. Suppose b*q = -21 + 84. Is q even?
False
Let d = 5330 - 2086. Is 27 a factor of d?
False
Suppose -3426 = -2*q - u, -2*q + 19*u - 17*u = -3426. Let k = -971 + q. Is 53 a factor of k?
True
Let x = 2503 - 2380. Does 3 divide x?
True
Let h(u) = 26*u + 71. Suppose -4 = -a - k, -4*a + 9*a + k - 32 = 0. Is h(a) a multiple of 11?
True
Suppose 4*n = -2 + 14. Suppose 2*c - 5*f = 16, 0*f = 3*c - n*f - 15. Suppose -5*t + k + 404 = 0, -c*t - k = -75 - 169. Does 19 divide t?
False
Suppose -28*x + 312 = -15*x. Let h = 0 - -3. Suppose -h*p + 6*p - x = 0. Does 8 divide p?
True
Let h(a) = 2*a**3 - 9*a**2 - 6*a - 8. Suppose 3*s - 15 = 2*p, -4*p + 1 + 11 = 0. Is h(s) a multiple of 35?
False
Let d = -35751 + 42129. Is 3 a factor of d?
True
Suppose -3*z - 4*t + 1450 = 0, -3*t - 186 = -z + 293. Suppose -650 = 472*d - z*d. Is d a multiple of 2?
False
Let l = -1498 + 1633. Is 9 a factor of l?
True
Let j = 7740 + -3690. Does 15 divide j?
True
Let t = -901 - -509. Let n = t + 826. Does 17 divide n?
False
Suppose -27*d + 28*d = -20*d + 128478. Is d a multiple of 28?
False
Suppose 0 = -4*l - 5*b + 6350, -5*l + 31*b - 29*b + 7888 = 0. Is 4 a factor of l?
True
Let h(k) = 27*k**2 - 46*k - 2743. Is 31 a factor of h(49)?
True
Let r(k) = 5*k**2 - 22*k + 58. Let l be r(14). Let v = l + -380. Is 25 a factor of v?
True
Let o(u) = -2*u - 3. Let m be o(0). Let d(j) = -2*j**3 + j**2 - 2*j - 7. Let g(q) = q**3 + 2*q + 8. Let b(r) = m*g(r) - 2*d(r). Is b(7) a multiple of 24?
False
Let w(b) = 3*b - 22. Let q be w(14). Suppose 2*l + 3*l + 2*c + q = 0, -20 = 5*l + 5*c. Does 59 divide (l + 2)*5/((-10)/77)?
False
Let p be (2/(20/(-6)))/(27/(-945)). Suppose -p*v - 12 = -24*v. Suppose 3*n - a - v*a = 775, -4*n + 1022 = -a. Is n a multiple of 17?
True
Let o = 17544 - 1122. Does 138 divide o?
True
Suppose -5*u + y + 4*y = 45, -y = 4. Let l = 2 - u. Suppose l*q = 10*q + 105. Is q a multiple of 21?
True
Suppose -4252*r = -4287*r + 228480. Is 32 a factor of r?
True
Let w(q) = -3*q + 9. Let u be w(2). Suppose -u*g - 1755 = -16*g. Suppose g = -7*x + 1395. Is 15 a factor of x?
True
Let s(n) = n**2 + 3*n + 4. Let i be s(-4). Suppose -a = 2*y - 11, 0 = -2*y + 7*a - 6*a + 5. Suppose 132 = 3*c - b + i, -y*b = -8. Is c a multiple of 42?
True
Suppose -2*i - 4*k = -30464, 2 = -k - 0. Does 26 divide i?
True
Let k(f) = -f - 13. Let r be k(-19). Suppose r = 3*y, 4*y = -5*i + 174 - 16. Is i a multiple of 6?
True
Let g(r) = -42*r**3 - 2*r**2 + 56*r + 258. Is 107 a factor of g(-8)?
True
Suppose 0 = -v - 2 + 4. Suppose -3*s + 2720 - 466 = v*n, 4*s - 3*n = 2994. Suppose 294 = 12*x - s. Is 43 a factor of x?
False
Suppose c + 5 = 10, -4*c = 2*i - 3400. Suppose d = -2*l + 676, -i = -5*l - 5*d + 10. Is 7 a factor of l?
True
Let u(p) = p**2 - p + 15. Let n(k) = -7*k - 23. Let f(i) = n(i) + 2*u(i). Let m be (-1)/3 + (-75)/(-9). Is f(m) a multiple of 7?
True
Let p(q) = -4*q - 27. Let i be p(-8). Suppose -i = 2*v - 4*t - 127, 3*v - 171 = 3*t. Is v a multiple of 2?
False
Let t be (637/(-234) - (-4)/18)*6. Let a = -13 - t. Suppose -z + 48 + 32 = 5*h, -a*h + 14 = 4*z. Is h a multiple of 17?
True
Is 11 - (-9)/(-3) - (-3634 + 3) a multiple of 20?
False
Let i(v) = -v**3 - 12*v**2 - 6*v - 25. Let x be i(-9). Let l = 263 - x. Is 37 a factor of l?
False
Let d be (7 + 2804/(-12))/(2/(-111)). Suppose 2900 - d = -22*b. Is 11 a factor of b?
True
Is 7 a factor of 7/((-11)/165*3)*-189?
True
Suppose 3*f = -2*z + 282, 2*f - 6*f = 5*z - 705. Let s(b) = 63*b + 67*b - b**2 - z*b. Is 2 a factor of s(-8)?
True
Suppose 111*h + 9152 = 113*h. Is 32 a factor of h?
True
Let r(t) = -7*t - 7. Let j(m) = -13*m - 14. Let k(p) = 6*j(p) - 11*r(p). Let n be k(-8). Is 22 a factor of n + 9/(-6) + 153/6?
False
Suppose 134*v - 69 = 111*v. Suppose 0 = v*x - 1256 - 2671. Is x a multiple of 12?
False
Let s(q) = 3*q. Suppose 3*v + 4 = -2. Let d(b) = -39*b. Let i(a) = v*d(a) - 27*s(a). Is 4 a factor of i(-18)?
False
Let j(n) = 32*n**2 - 498*n + 18. Let z(r) = 33*r**2 - 442*r + 17. Let m(i) = -8*j(i) + 9*z(i). Let d be (-2 - 2)*(-1)/(-2). Is 13 a factor of m(d)?
False
Let g(u) = -u**2 - 2*u + 9. Let w be g(6). Let t = 1134 - 1025. Let l = t - w. Is 32 a factor of l?
False
Suppose 0 = -5*j - 40 + 15, 0 = 5*x - j - 3405. Does 45 divide x?
False
Let b(d) = 3*d**2 - 16*d + 214. Let n be b(12). Suppose -n*p + 5190 = -439*p. Is p a multiple of 13?
False
Let j(u) = u**2 - 37*u + 69. Let o be j(15). Let w = o + 352. Is w a multiple of 3?
False
Let w = -23852 + 37248. Does 72 divide w?
False
Does 18 divide 546/(-63)*(-7254)/12?
False
Let l be (10/6)/(-5) - 133/(-3). Suppose -10*k + l = k. Does 22 divide 8 + k + -9 + 110?
False
Suppose -3*j - 254610 = -85*j. Is j a multiple of 91?
False
Let w = -8664 + 39288. Is 48 a factor of w?
True
Suppose 2*p = 4*x + 2080, p + 0*p - 2 = 0. Let k = -456 - x. Is k a multiple of 9?
True
Is -5 - (-159)/106*4289*6/9 a multiple of 68?
True
Let b = 19207 + -17227. Is 45 a factor of b?
True
Let u be ((-3)/2)/((-2)/4) - 48. Does 84 divide (-10)/u - ((-48368)/18)/4?
True
Suppose -3*z - 6*z = -45. Suppose 2 = -z*n + 217. Does 43 divide n?
True
Suppose -444862 = -57*w + 61982. Does 39 divide w?
True
Is 112 a factor of (-1 - (-119)/2)*(-17)/((-255)/1240)?
False
Is 6 a factor of 100886/6 - (-180 + 170) - 2/6?
True
Suppose 29*y - 183862 = -6556. Does 15 divide y?
False
Let t(m) = 117*m - 3751. Is t(41) a multiple of 8?
False
Let z = -136 - -142. Suppose -z*n - 79 = 413. Let o = -22 - n. Does 6 divide o?
True
Does 3 divide -8 + (-52)/(-6) - 16295/(-15)?
False
Suppose -4*x - 21 = -x. Let l = 21 + -7. Does 12 divide x/l + 73/2?
True
Suppose -21573 = -33*i + 38421. Is i a multiple of 6?
True
Suppose f - 11 = -4*p, 15*p = 18*p - 2