30 = -c*h, -5*h + 0*h + 5*y = -190. Is 40 a factor of h?
True
Let c(k) = -3903*k - 24900. Is c(-24) a multiple of 132?
True
Let h be -1*499 + 3 + 9/(-3). Let v = h + 804. Let r = -209 + v. Is r a multiple of 8?
True
Suppose 5*l = -2*v + 7338 + 8172, -5*v = -4*l - 38874. Does 70 divide v?
True
Let x(u) = -2*u**2 - 59*u + 13. Let z(y) = -10*y**2 - 294*y + 66. Let p(t) = 11*x(t) - 2*z(t). Does 6 divide p(-27)?
False
Let s(i) = -i**3 - 15*i**2 + 55*i + 33. Let o be s(-18). Suppose -5159 = o*b - 17144. Does 47 divide b?
True
Suppose 2*n = h + 404, -4*h + 9*h - 1010 = -5*n. Suppose -130 = -4*u + n. Is u a multiple of 5?
False
Let j(r) = -2*r**2 + 13*r + 9. Let b be j(7). Suppose 3*s = -5*a + 4*a + 11, -4 = -4*a - b*s. Does 15 divide (a + 14/8)*5*16?
True
Let s(w) = 4 + 11*w - 22*w + 20*w. Let m be s(-8). Is (m/(-6))/((-6)/9)*-1 a multiple of 17?
True
Let u be (-24)/10*(75/(-9) - -5). Suppose -377 = u*z - 2393. Is 14 a factor of z?
True
Does 31 divide 90758347/3412 + 14/(-8)?
True
Is 2 - (9 + 0) - 4/((-16)/10092) a multiple of 6?
False
Let d = 4604 + -1502. Does 10 divide d?
False
Let b(d) = d - 4. Let n be b(4). Suppose 9*c = 686 - 182. Suppose n = 3*i + 5*i - c. Is i a multiple of 7?
True
Let q be 228/40 + 3/10. Suppose 0 = k - 3, -3030 = 2*f - q*f - 2*k. Is f a multiple of 84?
True
Is 99 a factor of 265622/70 - 28/(-70)?
False
Let b(t) = 226*t + 14. Let c be b(4). Suppose 43 - 44 = r, -p - 2*r = -c. Is p a multiple of 56?
False
Let r(q) = -56*q + 363. Let n be r(5). Suppose 22 + 18 = -2*v. Let u = n + v. Does 21 divide u?
True
Suppose 0 = 4*y - 0*y - 464. Suppose 0 = 3*m - 14*r + 12*r - 552, -920 = -5*m + 3*r. Let w = m + y. Does 50 divide w?
True
Suppose 282768 + 132640 = 112*x. Is x a multiple of 11?
False
Let n be (-6)/(-12)*(5 + -5). Suppose 4*z - 9*a + 8*a - 3184 = n, -5*z = -a - 3981. Is z a multiple of 47?
False
Suppose -11147 = -4*m - 4*f - 3155, 4*m = -5*f + 7990. Suppose -23*p + 28*p = m. Is 16 a factor of p?
True
Let n be (2/15*9)/(12/20). Suppose -24*j + n*j + 10032 = 0. Does 12 divide j?
True
Let g = -41811 - -70701. Is 54 a factor of g?
True
Let a be 39/9 + 6/9. Suppose -5*r - 18 = -4*k - 2*r, -a*r = 5*k - 5. Is (-3)/27*-11*k*33 a multiple of 11?
True
Suppose -3*m = -5*w - 345, m + 14 = -2*w - 124. Let c = w - -269. Let i = c + -115. Is 11 a factor of i?
False
Let y = -1540 + 1046. Let i = 736 + y. Is i a multiple of 13?
False
Is 7/(476/8) + (-975930)/(-51) a multiple of 16?
True
Suppose -1161 - 699 = -124*b. Let p = -7 + 12. Suppose -4*x + p = -b. Is x a multiple of 4?
False
Let k(u) = 338*u**2 - 81*u + 331. Is k(9) a multiple of 38?
True
Let l(g) = -2*g**3 - 6*g**2 + 13*g. Let o(k) = 3*k**3 + 6*k**2 - 15*k. Let s(w) = 4*l(w) + 3*o(w). Is s(6) a multiple of 4?
False
Let m(w) be the second derivative of 7*w**3/2 + 66*w**2 - 142*w. Is 5 a factor of m(21)?
False
Suppose -5 = -5*f, -4*f + 6388 = 3*c - 6*f. Suppose 0 = -30*z + 20*z + c. Let r = z + -13. Is 20 a factor of r?
True
Suppose 28*d - 3*d - 165623 = 2*d. Is 19 a factor of d?
True
Suppose 4*z - 3142 = -2*y, y = -2*y + 2*z + 4737. Suppose -y - 1411 = -12*c. Is 6 a factor of c?
False
Suppose 0 = s, -2*o + 6327 + 418 = 4*s - 1375. Is 35 a factor of o?
True
Suppose -4*l + d + 784 = -d, -966 = -5*l - d. Is l a multiple of 69?
False
Let x = 5290 - 4732. Is 71 a factor of x?
False
Does 223 divide 29503 - ((-612)/18 - -20)?
False
Suppose -21 = 17*o - 72. Suppose -o*u + 1168 = -5*t, 5*u + 13*t - 16*t - 1936 = 0. Does 25 divide u?
False
Let l(r) = 8*r**2 - 200*r - 3407. Does 29 divide l(-21)?
True
Suppose 3*o + 9 = 0, 2*v + 3*o - 5 = -0*o. Suppose -1656 = 3*h - v*h. Suppose q = -5*q + h. Is q a multiple of 17?
False
Let x(n) = -1021*n + 666. Does 277 divide x(-41)?
False
Is (((-248992)/(-6))/(-4))/(((-252)/27)/14) a multiple of 62?
True
Let a = -4082 - -5182. Is a a multiple of 100?
True
Let i be 7189 - 58 - (-6 + 0). Suppose -37*p - i = -46*p. Is p a multiple of 62?
False
Let d(t) = -t**3 - 5*t**2 + 3*t + 11. Let a be d(-5). Let q(i) = -i**3 - 3*i**2 - 9. Let v be q(a). Suppose -v*y + 792 = -4*y. Is y a multiple of 24?
True
Let j(f) be the second derivative of -f**5/20 + 5*f**4/12 + 3*f**3 - 4*f**2 - 16*f. Is j(7) a multiple of 8?
False
Suppose -3*u + 23*u = 200383 - 6743. Does 46 divide u?
False
Suppose 323*n + 11152 = 325*n - b, -4*b = 3*n - 16739. Is 13 a factor of n?
True
Does 156 divide 3147 - (36/54 + (-46)/6)?
False
Suppose -9*w + 23609 = 1388. Is 46 a factor of w/3 + -10*5/(-10)?
True
Suppose 9 = f - 2*t, 5*t + 1 + 24 = 3*f. Suppose -x = 5*m - 383 - 172, m = f*x + 85. Is 10 a factor of m?
True
Suppose 0 = -7*m + 461 + 1324. Suppose d = -m + 351. Does 48 divide d?
True
Suppose 0 = 3*k - 0*k - 18. Let b be (-2)/6 - (70/k - 1). Let p = 19 - b. Does 30 divide p?
True
Suppose -j - 2*j - 4*i + 14 = 0, -10 = -4*j - i. Suppose -j*m + 4 + 0 = 0, -m = -g. Suppose -2*p + 328 = g*w - 136, 238 = p - 2*w. Does 18 divide p?
True
Suppose 5*t + 2*y = 1072, -31*t - 2*y - 656 = -34*t. Is t a multiple of 2?
True
Suppose -2759 = -4*k - 3*b + 4*b, 5*b = k - 685. Let c = k - 566. Does 3 divide c?
False
Let a(v) = -v**3 - 10*v**2 - 23*v - 12. Let s be a(-7). Suppose 0*g = 3*o - s*g - 1560, -g = -2*o + 1041. Does 58 divide o?
True
Let j = 11805 - 6664. Does 97 divide j?
True
Let x be 24*(-4)/(-12) + -1. Does 11 divide (-5237)/(-9) + x/63?
False
Is 24 a factor of ((-18)/4*(-721)/21)/((-2)/(-32))?
True
Suppose 2*f - 3*v = 4, f + 6 = 4*f + 3*v. Suppose d = a - 3*d - 13, -f*a - 5*d = 0. Suppose a*z + 3*g = 436, -122 = 4*z - 3*g - 487. Is 9 a factor of z?
False
Suppose -2*g - 330 = -17*g. Suppose -g*t = -16*t. Suppose -3*b + 89 = 5*i, -5*i = -3*b - t*b + 139. Does 19 divide b?
True
Suppose -3*r = 2*j - 1518, 12*j - 10*j = -5*r + 2538. Does 10 divide r?
True
Let z(o) = 520 - 251 - 3*o - 247 + o. Suppose 0*n + 5*n = 0. Is 16 a factor of z(n)?
False
Suppose 59*c = 53*c + 16890. Is 5 a factor of c?
True
Suppose 6*w - 477 = 3*w. Suppose n + 38 = w. Suppose n - 61 = 5*k. Does 11 divide k?
False
Let a(t) be the third derivative of t**5/30 - 7*t**4/12 - 16*t**3 - 38*t**2 + 2*t. Is a(19) a multiple of 12?
True
Suppose -4*t = -3*o + 9, -t - 4 = -o - 2. Let i = t + 79. Suppose z - i = -d, d + 9 = z - 71. Is 39 a factor of z?
True
Let a(f) = -f**3 - 6*f**2 + 14*f + 10. Let m be a(-7). Let o = m + 39. Suppose -2*r + 116 = 2*z, 0 = z - o - 5. Does 18 divide r?
False
Let z be (1 + 0)/3*14*-9. Let w = 49 + z. Suppose -8*d + 18 = -w*d. Does 3 divide d?
True
Suppose -22*p + 61719 = 7*r - 23*p, -2*r - 2*p = -17650. Does 72 divide r?
False
Let v = -43 + 49. Let t(n) = 15*n - 9 - 21*n - v*n. Does 5 divide t(-3)?
False
Suppose 41*n + 8*n = 229031 + 84814. Is 305 a factor of n?
True
Let s be (-2)/(5/((-60)/8)). Suppose 0*o + 15 = s*o. Suppose -o*r - z + 16 + 174 = 0, 4*z = 4*r - 128. Is 4 a factor of r?
False
Let f be (-2758)/(-4) - (11 - 16)/(-10). Suppose 694*k - 3600 = f*k. Does 15 divide k?
True
Does 50 divide 1630/(3/6*4/10)?
True
Is -1 - 23682/((-1 - 0)/(3/6)) a multiple of 296?
True
Let h(x) = 77*x + 65. Let k(l) = -l**3 - 2*l**2 + 11*l + 21. Let i be k(-4). Does 13 divide h(i)?
False
Let j be 8/(-20) + (-6534)/15. Let i = j + 772. Does 24 divide i?
True
Suppose -y + 8942 = -2*h, -5*y = -h - 0*h - 44701. Suppose 20*g + 2780 = y. Is g a multiple of 7?
True
Suppose 313*o - 728621 = 3366358. Is o a multiple of 23?
False
Let n(o) = o**2 + 16*o - 382. Is 13 a factor of n(-45)?
True
Suppose -4*k = 3*n - 4748, -5*n + 7641 = 5*k + 1701. Suppose -k = -4*v + o, 4*v + o - 893 = 291. Does 12 divide v?
False
Suppose 305*i + 34529 = 348*i. Is i even?
False
Is 16 a factor of (2/(-4))/(203/(-1188768))?
True
Let u be 14/((44/20)/11). Does 14 divide 60750/u - (-5)/35?
True
Let g(q) = q**2 - 12*q + 3. Let x be g(12). Let j = -486 - -486. Suppose i - 4*m - 26 = j, -x*i - 5*m + 205 = 2*i. Is i a multiple of 3?
False
Let i(g) = 835*g - 251. Is i(3) a multiple of 46?
True
Suppose -2*i - 35626 = -3*b, 0 = 5*i + 75 - 65. Is 17 a factor of b?
False
Let i(n) = n - 8. Let h be i(7). Let r be ((-4)/6)/(h/(-27)). Is 18 a factor of ((-152)/(-6))/((-3)/r)?
False
Let p(l) = -189*l**3 - 6*l**2 - 8*l + 9. Let h be p(-3). Suppose -13*u + h = u. Is 33 a factor of u?
True
Let z(u) = u + 60. Let s be z(-14). Let k be (-6)/9 + -1 + s/(-3). Let l(h) = h**3 + 20