?
True
Let i(b) = -2*b + 23. Let u be i(10). Suppose 5*n + m - 676 = 0, n = -3*n - u*m + 543. Suppose 2*h + 4*g = n + 215, 2*g = 10. Is h a multiple of 32?
False
Suppose -12*f - 30 = -66. Suppose 298 = 2*n - 2*s, -3*s + 6*s - 417 = -f*n. Does 2 divide n?
True
Suppose 172236 = 5*k - 4*d, 103329 = 170*k - 167*k - d. Does 56 divide k?
True
Suppose -4177*t = -4191*t + 39732. Is t a multiple of 66?
True
Suppose -3*c + 164 = -1. Let s = c - -46. Suppose 3*f - 5*j = s, -4*f - j + 188 = 3*j. Is 7 a factor of f?
True
Let l(n) = 935*n - 2443. Does 7 divide l(4)?
False
Suppose -f - 2*k - 246 = f, 3*f - k = -369. Let l = 150 + f. Is l a multiple of 3?
True
Suppose 139 = -5*q - 96. Let r = 23 + q. Let t = 52 + r. Is t a multiple of 3?
False
Let b(n) = 1344*n**2 - 11*n - 31. Is 13 a factor of b(-3)?
False
Let h be 78/5*(-8 + 3)*-4. Suppose -3*d + 12 = 0, 2*d - h = -4*w - 0*d. Is 19 a factor of w?
True
Suppose -14*d + 22*d - 16 = 0. Suppose 0 = 4*k - 12, 0*q + 278 = 4*q + d*k. Let s = 163 + q. Is s a multiple of 33?
True
Suppose -3*a - 65 + 71 = 0. Let i(g) = -22*g**3 + 9*g**a - 3 - 25*g**3 + 48*g**3 + 4*g. Is i(-5) a multiple of 21?
False
Let y = -59 + 74. Suppose 5*d = d - 5*f + 5, 3*f = y. Is 9 a factor of 938/8 + (d/20)/1?
True
Suppose -22*b + 2466 = -16*b. Let n = 112 + b. Does 15 divide n?
False
Suppose 0 = -2*h + 4*t - 8, 30 = -5*h - 3*t + 10. Let q be ((-2)/4)/((h + -4)/48). Suppose -12 = q*s, 236 = 5*k + 5*s - 9. Is k a multiple of 23?
False
Let m(a) = -86*a**3 + 10*a**2 + 3*a + 2. Is m(-4) a multiple of 299?
False
Let t(a) = -a. Let v(g) = -43*g - 28. Let q(w) = -t(w) - v(w). Does 29 divide q(4)?
False
Let n(s) = s**2 - 16*s - 13. Let g be n(14). Let p = 11 - g. Is 26 a factor of p?
True
Let w be (-32)/(-5 + (-68)/(-12)). Is 55 a factor of w/14*(-27 - 1)?
False
Let k = 3903 - 2831. Is k a multiple of 6?
False
Suppose -b - 4*q = 4*b - 2, 12 = 2*b - 4*q. Suppose b*h - 9*h = -378. Is 27 a factor of h?
True
Suppose 13*z - 18*z = -1595. Let w = 210 + z. Is w a multiple of 17?
False
Let o = -4826 + 12898. Is 172 a factor of o?
False
Suppose 4*n + 69 = -3*z, -66 = 4*n + 4*z - 2*z. Is 11 a factor of (597 + -1)*(n/(-10))/3?
False
Let g(w) = 3*w**3 + 6*w**2 - 6*w + 1. Let a = 30 - 29. Suppose u + 3 = -2*p, -3*u + 2*p = a - 16. Does 12 divide g(u)?
False
Suppose -s + z = 9, 2*z = -0 + 6. Let a be (-1)/(-1) - 4 - s. Suppose a*i + p - 607 + 194 = 0, 4*p = 5*i - 677. Is i a multiple of 9?
False
Suppose 17161 = 57*s - 14075. Is (2 - s)*(-1)/2 a multiple of 63?
False
Let m(g) = -g**2 - 11*g + 27. Let y be m(-14). Let a be ((-84)/15)/(-1 - 13/y). Suppose -2*u - u + a = 0. Does 4 divide u?
False
Let s = 13097 + -10112. Does 44 divide s?
False
Let r = -16 - 153. Let m = 17 - r. Is 11 a factor of m?
False
Let g(d) = 2*d**2 + d - 20. Let c be g(-9). Is 344/19 + (-14)/c a multiple of 9?
True
Let j be ((-17)/34)/(2/(-28)). Does 13 divide 123 - -47 - (j + -1)?
False
Let t(a) = 166*a + 4618. Is 11 a factor of t(-8)?
False
Let q(t) = 265*t + 490. Is q(38) a multiple of 44?
True
Suppose 891 = 5*f + d, f - 2*d = -4*f + 903. Suppose 176*o = f*o - 324. Is 7 a factor of o?
False
Let g(o) = -18*o - 108. Let f be g(-6). Is (-229 + f)*(8 - 9) a multiple of 47?
False
Let h(f) = 2 - 44 - 33 + 3 - 17*f. Does 15 divide h(-21)?
True
Let p be (40*4/56)/(2/14). Is p/30*(-2766)/(-4) a multiple of 6?
False
Suppose 2 = -7*z + 9*z, -5*q + 5485 = -5*z. Is 18 a factor of q?
True
Suppose -2*h = 5*h + 56. Let r(k) = k**2 + 7*k - 5. Let o be r(h). Let y(n) = 36*n - 12. Is 8 a factor of y(o)?
True
Suppose 5*q + 2*x = -1281, -25*q - 5*x = -23*q + 504. Let g = q - -357. Does 5 divide g?
True
Suppose 0 = -6*r + 1458 + 3912. Is 5 a factor of r?
True
Let c be (-4)/(-10) - (-3 - (-292)/(-20)). Let x = 30 - c. Suppose d + 259 = 5*o - o, -4*d - x = 0. Is 16 a factor of o?
True
Let i = 33 + -31. Let f be (146/4)/(i/(-4)). Let k = f - -121. Is k a multiple of 12?
True
Suppose -4*c - 25 = a + c, 5*c + 5 = 3*a. Let t(p) = p**3 + 6*p**2 + 3*p - 5. Let r be t(a). Suppose -h + 2*h = -x + 33, -20 = -r*x. Is 3 a factor of h?
False
Let t(n) = 8*n - 10. Let u = 131 - 118. Let a be t(u). Does 10 divide (-1 - 3) + a - 4*1?
False
Suppose -32*a - 55*a + 50974 = -10*a. Is a a multiple of 7?
False
Let k(l) = 6*l**3 + 6*l + 4. Let z be k(-2). Is (z/(-140))/((-2)/(-610)) a multiple of 8?
False
Suppose -43*x + 42*x + 112 = 0. Suppose q + 95 = x. Is 4 a factor of q?
False
Let i(z) = -10*z + 82. Let m be i(8). Suppose -375 - 577 = -m*b. Does 28 divide b?
True
Let g(f) = f. Let y(n) = 8*n + 20. Let h(q) = 2*g(q) - y(q). Let p be h(-7). Let u = p + -1. Does 11 divide u?
False
Suppose -2*j = 3*m - 14, m + 3*m + 3*j = 19. Suppose -m*h + 3 = -o - 9, -3*h + 22 = -4*o. Does 7 divide 16/4*(h - (2 + -31))?
False
Suppose 50 = 4*h + 34. Suppose -h*w = 3*g - 188, -3*w = -5*g + g + 209. Does 8 divide g?
True
Let q(f) = 803*f**2 + f. Let z be q(1). Suppose -154*s + 213 + 2097 = 0. Suppose -3579 = -s*y - z. Is y a multiple of 32?
False
Let j = 1044 + 1622. Does 8 divide j?
False
Let b = -173 + 179. Is -5*(-58)/5*b a multiple of 38?
False
Let j(s) = 5773*s + 6711. Is j(9) a multiple of 109?
False
Let v be ((-63)/105)/(12/(-15) + 1). Is 15 a factor of 6/(-4)*(v + 16024/(-24))?
False
Let z(t) = -105*t + 76. Let a be z(-15). Suppose 2*u + a = 3*k - 273, -k = 2*u - 636. Is 8 a factor of k?
True
Let c be (-14)/21 + 1 + (-68)/(-12). Suppose -c*g + 493 = -563. Does 11 divide g?
True
Let r = 20515 + -15540. Is r a multiple of 25?
True
Let y(p) = -p**2 - 10*p + 15. Let v be y(-11). Suppose 2*s - 573 = -5*r + 8*r, -1126 = -v*s + 2*r. Is s a multiple of 34?
False
Let h = -40 - -88. Let t(v) = 30*v - 726. Let p be t(27). Let d = p - h. Does 12 divide d?
True
Suppose -8*d = -13*d - 955. Let y = 74 - d. Does 24 divide 13/(-13) + y/1?
True
Suppose 96 = -4*g - x, -6*g + g - 120 = 5*x. Does 37 divide (-221 - 1)*16/g?
True
Suppose 0 = 4*m + 3*m - 105. Suppose 9*l - 357 = -m. Suppose -34*u = -l*u + 480. Is 10 a factor of u?
True
Suppose -k = 3*k - 4154 - 6118. Is k a multiple of 107?
True
Let c(t) = 315 - 98 - 108 - 11*t - 99. Let u = 25 - 35. Does 20 divide c(u)?
True
Is 5 a factor of (-135)/6*(-14960)/120?
True
Suppose 14*o + 336 = 7*o. Let m be (7/3)/((-2)/o). Let v = m - 42. Is 14 a factor of v?
True
Suppose 0 = -3*s + 19 + 5. Suppose 9*z = s*z + 184. Is 20 a factor of z?
False
Suppose -28*c + 2*i - 10393 = -31*c, -3476 = -c - 3*i. Is 12 a factor of c?
False
Let t(n) = -n**3 - n - 29. Let k be t(0). Suppose r + 2*y = 133, 2*r - y - 4*y = 266. Let v = k + r. Is 8 a factor of v?
True
Suppose -35*x = -32*x - 6. Suppose -x*y = 3*p - 367, -5*y - 5*p + 3*p + 934 = 0. Does 14 divide y?
False
Let q = 166 + 258. Suppose 536 = 20*o - q. Is 12 a factor of o?
True
Suppose 85*v - 83*v + 702 = 2*z, 5*v + 355 = z. Suppose 344*x = 349*x - z. Does 25 divide x?
False
Suppose -58322 = -95*v + 756778. Is 15 a factor of v?
True
Let u(x) = -x**3 + 13*x**2 + 121*x + 37. Is u(15) a multiple of 28?
False
Let q = -126 - -130. Suppose 3*g - 21 + q = -k, -4*k - g + 13 = 0. Is (58 - 11)*(k - 1) a multiple of 6?
False
Suppose 3*f + 3 = -v - f, 4*f + 16 = 0. Does 8 divide (-2)/(-3)*(v/(-13) - -337)?
True
Let g(p) = -p**2 + 10*p + 114. Let y be g(16). Suppose -y*l = 43 - 1159. Does 31 divide l?
True
Suppose 0 = -4*x - 0*x + 3*k - 458, -5*x = -2*k + 576. Let a = -232 - x. Let n = 50 - a. Is 16 a factor of n?
False
Suppose 0 = 5*x - 5*c - 11665, -710*c + 709*c + 9367 = 4*x. Is 39 a factor of x?
True
Is 3 a factor of 5/((189/15480)/21)*1?
False
Is -9 + 7428 + (-4 - 3) a multiple of 30?
False
Let u(k) be the third derivative of 0*k + 7/60*k**5 - 7/6*k**3 + 0*k**4 + 0 + 8*k**2. Does 18 divide u(4)?
False
Suppose 0*z - 2*z = -4*b, 0 = -2*b - 5*z - 12. Let k be (1 - b)*(-9)/(-9). Let p = k - -38. Does 40 divide p?
True
Suppose 3*p + 8 - 20 = 0. Suppose 0 = -5*f - 3*a + 2*a + 712, 0 = -3*f + p*a + 418. Does 9 divide f?
False
Let w(q) = 82*q + 2864. Let g be w(-35). Let s = 89 - 22. Let j = s + g. Is 26 a factor of j?
False
Let l(t) = 2*t**3 - 7*t**2 + 4*t - 7. Let d be l(3). Is 7 a factor of (342/6)/(d/(-12))?
False
Suppose -10310 = -4*u + x, -23*x - 12 = -25*x. Is 45 a factor of u?
False
Suppose 2311 = -5*b + 4*u, -2*u - 1016 = 3*b + 375. Let t = b + 715. Is t a multiple of 14?
True
Is 103 a