(z) a multiple of 3?
True
Let h(w) = w - 1. Let n(f) = f**2 - 5*f - 26. Let k(o) = -2*h(o) - n(o). Let j be k(9). Is 8/(-52) - 1460/j a multiple of 8?
True
Let a(u) = 12*u**2 - 7*u + 1. Let n be a(4). Does 37 divide (-2 + (-872)/(-6))/(110/n)?
False
Let u(x) = -7*x**2 + 45*x + 113. Let o(i) = -3*i**2 + 22*i + 57. Let c(j) = 9*o(j) - 4*u(j). Does 9 divide c(-18)?
False
Let d be (-12)/(-16) + (-3835)/20. Let u = 488 + d. Suppose -5*y + 6 = 4*p - 390, -2*y = 3*p - u. Does 11 divide p?
True
Let z be 8/20*30/4*1. Suppose 1015 = z*b - 677. Is 11 a factor of b?
False
Let q(l) = -l + 1. Let g(t) = 104*t - 36. Let d(v) = g(v) + 3*q(v). Is 10 a factor of d(3)?
True
Let g = -8626 + 17056. Does 10 divide g?
True
Let g = 5460 - 4386. Is 40 a factor of g?
False
Is 52 a factor of (12/7)/((-268)/(-2479)*1/154)?
False
Let u(k) = -k**3 - 14*k**2 - 93*k - 686. Does 4 divide u(-13)?
False
Let p = 140508 + -81946. Is 47 a factor of p?
True
Is 12 a factor of 5/5 + -4 + (-17 - -1592)?
True
Let i(y) = -550*y + 10. Let h be i(-3). Suppose 5*g = -5*z + h, -3*z + 4*g - g = -972. Is 26 a factor of z?
False
Let x = 3605 + -1851. Suppose -2*c - 2*h = -x, 0 = 2*c - 3*h - 1872 + 93. Is 21 a factor of c?
True
Let t be -2 - -5*2 - (-18 - -16). Let u(y) = y**3 - 8*y**2 + 10*y + 18. Does 58 divide u(t)?
False
Let h(j) = -j**2 - 4*j**2 + 3*j**2 - j**3. Let v be (-14 - (-61)/7) + (-2)/(-7). Is 9 a factor of h(v)?
False
Let k be ((-240)/360)/((-2)/15). Suppose -k*p + 4833 = 1413. Is 19 a factor of p?
True
Let c be (180/40)/((-2)/(-12)). Suppose 6663 + 168 = c*p. Is 11 a factor of p?
True
Let t be (80/15)/(-4)*-30. Let f be t*-1*44/(-10). Suppose 2*h + 8 = 0, -2*r - 2*h = -4*h - f. Is r a multiple of 16?
False
Is 9206 - ((-12)/15)/((-3)/(-15)) - 3 a multiple of 33?
True
Suppose 73 = -27*d - 62. Is 50/75 - (-2600)/6 - d a multiple of 91?
False
Let a = 43 - 38. Suppose 4*u - 92 - 111 = a*j, 0 = 3*u + 3*j - 159. Let t = u + -42. Is 2 a factor of t?
True
Let a = 1593 + -1295. Is a a multiple of 7?
False
Let b(o) = -80*o + 2476. Is 4 a factor of b(26)?
True
Let r = 927 + 2373. Does 100 divide r?
True
Let q = 11164 - 2664. Is 17 a factor of q?
True
Let y = -188 + 228. Is 15 a factor of (6/5*2)/(y/500)?
True
Suppose -16*k - 14099 + 81067 = 6*k. Does 61 divide k?
False
Let t = 227 + -223. Suppose -4*i + 112 = v, -10*v + 6*v - t*i = -508. Is 11 a factor of v?
True
Let w be (-696)/(-180) - (-4)/30. Suppose -n + w*d + 5 = -1, -80 = 5*n + 2*d. Let c = 20 + n. Is c a multiple of 6?
True
Suppose l - 31 = 2*q - 6*q, 9 = 3*l. Suppose 0 = -q*g - 695 + 114. Let f = g - -313. Is f a multiple of 23?
True
Suppose -o = 3*j - 1416, -2 = -3*j + 5*j. Let b = 2231 - o. Is 30 a factor of b?
False
Let p = 90 - 82. Let b(a) = -a + 12. Let i be b(p). Suppose c - 13 = 5*v, -5*c - i*v + 55 = -10. Does 8 divide c?
False
Let q = 152 - 147. Suppose q*w = -3*o + 704, 2*o - 3*o + 232 = w. Does 10 divide o?
False
Suppose -21*h - 6*h = 133407. Is 1/1*h/(-9) a multiple of 12?
False
Let b = 1659 - 459. Does 25 divide b?
True
Suppose 431*q = 424*q + 18704. Is q a multiple of 16?
True
Let h(i) = -635*i + 2115. Is h(0) a multiple of 5?
True
Let t(n) = -281*n + 365. Let o be t(1). Let p be 12/(-1*(-2)/(-8)). Let m = o + p. Is 12 a factor of m?
True
Let l = 16814 + 1402. Does 72 divide l?
True
Let m(l) = -16*l**2 + 6 + 20*l - 14*l**2 - 2 + 33*l**2. Is 6 a factor of m(-8)?
True
Let n be ((-14)/(-10) + -1)*1555/2488*16. Let w(a) = 0*a**2 + 2*a**2 + 3*a**3 - 8*a**2. Does 24 divide w(n)?
True
Suppose -244459 = -67*l + 12821. Does 16 divide l?
True
Let n(u) = -4*u**3 + 2*u**2 - 1. Let s be n(-1). Suppose 4*l - 35 = 3*m - 7, -5*m = s*l. Is l + (3 - 8) - -42 a multiple of 6?
False
Suppose 11*q = 14*q - 366. Let x = q - -31. Does 9 divide x?
True
Suppose -5*f + 1196 = -1404. Suppose b + f = 6*b. Is 8 a factor of b?
True
Let h(x) = x**3 + 13*x**2 - 52*x + 49. Does 25 divide h(-13)?
True
Let t(a) = -a**2 - 12*a - 12. Let k be t(-11). Let b(i) = -864*i**3 + i**2 + i + 1. Let j be b(k). Suppose 653 = 6*c - j. Is c a multiple of 23?
True
Let d(o) = -6*o - 107. Let k be d(-23). Suppose 0*r - k*r = -18352. Is 12 a factor of r?
False
Let q(h) = -2*h - 4. Let d be q(-9). Let x = 1 + d. Is 3 a factor of 6*5/(-10) + x?
True
Suppose 4 = 4*g + 2*b, 3*g + 11*b + 11 = 6*b. Suppose 16 = g*r - 50. Suppose -3*q = -4*n + 320, -3*n - r + 262 = -2*q. Is 5 a factor of n?
True
Let l(h) = 2*h + 49. Let m be l(-23). Let o(b) = 3*b - 10. Let q be o(9). Suppose 0 = -p - 2*u + m*u + q, 0 = 3*p + 3*u - 69. Is 10 a factor of p?
True
Let a(h) = -540*h - 8. Let l be a(-2). Suppose z + 1045 = 5*z - 5*r, 4*z + 4*r = l. Is z a multiple of 8?
False
Let c be 341 - (0/(-2) + -3). Suppose 0 = 7*s + 15 - c. Is 47 a factor of s?
True
Let q be 0*((-20)/(-4) - 12/3). Suppose 16*b - 20*b + 1160 = q. Is 10 a factor of b?
True
Let d = -30494 - -39988. Is 11 a factor of d?
False
Let h = -4 + 7. Let c(f) = -f**2 - 21*f + 1396. Let a be c(27). Suppose y - a = -h*y. Does 15 divide y?
False
Suppose -14*z = -49*z + 400890. Is z a multiple of 46?
True
Suppose 3*q - 8005 = 48008. Is 54 a factor of q?
False
Suppose 3*l - 2*l = 553. Let c = l + -288. Suppose -4*f - 104 = o - c, 5*f + 3*o = 203. Is 8 a factor of f?
True
Let r(m) = 254*m - 694. Is r(31) a multiple of 10?
True
Let t be (-10)/(-6) + 44/(-3). Let j(w) = -3*w**2 - 54*w + 9. Does 17 divide j(t)?
True
Is 67 a factor of 476/280*3704 + 12/10?
True
Suppose -50*c = -3*k - 51*c + 9266, 4*c = -4*k + 12336. Does 11 divide k?
True
Suppose 0 = -3*b + 2*u + 64 + 28, -u = 2*b - 52. Let j be (-185)/(-35) - 8/b. Does 14 divide j/(150/6) - (-908)/10?
False
Let b be (-10)/(-8)*(-11)/(22/(-24)). Let c(m) = m**3 - 13*m**2 - 14*m - 36. Is c(b) a multiple of 13?
False
Is 53 a factor of (1 + -3)*255/(-20)*507740/958?
True
Let f be 1*-3 + (700/5)/(-7). Let t = f - -33. Is 6/t - 2724/(-60) a multiple of 11?
False
Suppose -11*h = -2*h + 10260. Is h*6/36*-3 a multiple of 15?
True
Let b(u) be the first derivative of 8*u**3/3 - 16*u**2 + 71*u - 167. Does 29 divide b(10)?
True
Suppose -2*k - 3*x - 29 = 0, -4*x - x + 110 = -5*k. Let l = -16 - k. Suppose -l*y = -9*y + 24. Does 2 divide y?
True
Suppose -f = 4*f - 115. Suppose -2*m - 353 = -111. Let r = f - m. Is 36 a factor of r?
True
Let g = 11 + 3. Suppose -u + 2*u = g. Is 9 a factor of u/28*(2 + 322)?
True
Let s(m) = -m + 17. Let o be s(6). Let v = o + 9. Does 20 divide (21/(-2))/((-10)/v)?
False
Suppose 0*n + 7*n - 2*n = 0. Suppose n*a = 2*a - 7*a. Suppose a = 3*g - 2*o + 6*o - 94, 4*g + 2*o = 142. Is 38 a factor of g?
True
Let y(b) be the second derivative of b**4/12 - 2*b**3/3 - 3*b**2 - 6*b. Let o be y(7). Is (-3)/(-15)*-2 + 81/o a multiple of 5?
True
Suppose 24 = -3*l + 11*l. Suppose -4*c = -5 - l, a + c = -89. Let t = 160 + a. Is 16 a factor of t?
False
Let f(k) = -11*k - 36. Let x be f(6). Let h = -142 - x. Let i = h + 100. Is i a multiple of 5?
True
Let t be 1*(3 + 59) - (1 - -1). Let k = 58 - t. Is 20 a factor of k/2 - (-38 + -5)?
False
Is 35 a factor of ((-16)/(-7))/(226/791) - -30092?
True
Let y(s) = 10*s**2 - 6*s - 6. Let v(z) = -z**2 + 27*z - 23. Let x be v(26). Suppose -3*h = -0*b - b + x, -4*b = -5*h + 2. Is 46 a factor of y(h)?
True
Suppose i + 0*y + 19 = -5*y, -39 = 5*i - 3*y. Let m(v) = -v + 1. Let a(q) = 9*q - 6. Let s(n) = -a(n) - 5*m(n). Is 4 a factor of s(i)?
False
Suppose 0 = 2*l + 49 - 11. Suppose -4*k = -5*v + 376, -99*k + 102*k - v = -293. Let o = l - k. Is 20 a factor of o?
True
Suppose 242*h = 200*h + 29064. Does 35 divide h?
False
Let a = 28 - 28. Suppose 4*h - h + 1047 = a. Let x = -232 - h. Does 13 divide x?
True
Let t be (-77)/22 - (10/(-4) + 2). Let c be 4*t/(-24)*92. Let l = c + -44. Is 2 a factor of l?
True
Let z(m) = 149*m**2 + 38*m + 134. Does 14 divide z(-4)?
True
Let r = -106 + 107. Suppose -5*d - r = -16. Suppose -d*z - 3*u + 143 = z, 3*z - 106 = -u. Does 35 divide z?
True
Suppose -3*b + 270 = 2*b. Let c = 78 - b. Suppose 10*d = c*d - 3360. Is d a multiple of 24?
True
Suppose 6*r = 7*r - 17046. Suppose -22*j - 5914 = -r. Is 11 a factor of j?
True
Let x = 7246 - 995. Is 9 a factor of x?
False
Let m(r) = 3*r**2 + 4*r - 59. Let b(h) = -2*h**3 - h**2 + 4*h + 4. Let q be b(-2). Let y(g) = -g**2 - 2*g + 20. Let c(n) = q*y(n) + 3*m(n). Does 4 divide c(-9)?
True
Suppose -