et m(q) = 4*j(q) + 3*p(q). Is m(4) a multiple of 16?
False
Suppose -2*d = -7*d. Suppose 2*w - 3*k = 16, -k + 2 = 3*w - d. Suppose w*g - 3 + 1 = -5*r, -g - 5*r - 9 = 0. Is 11 a factor of g?
True
Let i = 321 - 261. Is 60 a factor of i?
True
Let x be 0 - -9 - (-5 - -5). Is 133/x + 14/63 a multiple of 3?
True
Let s be 4/(-18) - 145/(-45). Let h(v) = 2*v**2 - 3*v - 1. Is 8 a factor of h(s)?
True
Let j(o) = -2*o**3 + 3*o**2 - 5*o. Let p be j(2). Does 5 divide (-1)/(10/(-186)) - p/35?
False
Let b(l) = 778*l - 270. Is b(3) a multiple of 43?
True
Let r = 1247 + -722. Is 21 a factor of r?
True
Let d be -3*2/(-3) + -2. Suppose 3*j - 5*j - 102 = d. Let t = 85 + j. Is t a multiple of 17?
True
Let z(v) = 54*v**2. Is 27 a factor of z(2)?
True
Let w(b) = 13*b**3 - b**2 - b - 1. Let h be w(2). Let d = 370 - h. Does 14 divide d?
False
Let q(z) = 8*z + 11. Let m(t) = t + 11. Let d be (-44)/7 - 2/(-7). Let c be m(d). Does 17 divide q(c)?
True
Suppose 3*h = m - 45, 3*h - 4*h = -m + 53. Is m a multiple of 23?
False
Let v(b) = -b + 1. Let i be v(-2). Suppose 5*q = -3*f - 0*f + 21, -20 = -4*q - 4*f. Suppose -q = -i*d, -k - 4*k + 175 = -5*d. Does 18 divide k?
True
Let d(z) = 5*z**2 + 60*z + 42. Is 7 a factor of d(-19)?
True
Let j be 3 + -1 + (3 - 5). Let z = j - -1. Let b(g) = 60*g + 2. Is b(z) a multiple of 24?
False
Suppose y + 4*i = 4*y - 165, i + 220 = 4*y. Suppose -3*v = 2*v - y. Does 2 divide v?
False
Suppose 0 = -13*x - 27 + 326. Does 2 divide x?
False
Let d(o) = -o**2 - 2 - 3*o**2 + 0*o**2 + 5*o + 3*o**2. Let s be d(3). Suppose -2*c + 60 = s*v, c - 34 = 2*v - 6*v. Is c a multiple of 26?
True
Let z be 968/20 + (-12)/(-20). Let f = z + -13. Is f a multiple of 9?
True
Does 12 divide 18/((18/(-609))/((-15)/35))?
False
Let y(i) = -4*i + 24. Is 17 a factor of y(-11)?
True
Suppose -4*c + 296 = -4*x, 4*c - 2*x + 6*x = 280. Is 4 a factor of c?
True
Suppose -2*y = -3*x - 645, -3*y + 0*x = -3*x - 969. Is y a multiple of 27?
True
Let m(h) = h**3 + 4*h**2 + 4*h + 2. Let d be m(-2). Let p(j) = -2*j - j + 4 - d*j. Is 13 a factor of p(-2)?
False
Suppose 0 = -x - k + 1, -3*x + 5*x - 17 = 3*k. Suppose 0*u - 4*u = 3*w - 200, 2*w - 140 = -x*u. Suppose -w = -4*h + h. Is 8 a factor of h?
False
Let c be (116/6)/((-56)/420). Let i(g) = -9*g**2 + 1. Let n be i(-3). Let r = n - c. Is r a multiple of 13?
True
Does 2 divide (-10)/10*(0 - (2 - -51))?
False
Suppose 8*s - 65 = 127. Let w = -3 + s. Does 3 divide w?
True
Let r(g) be the first derivative of g**3/3 - g**2 - 8. Let u be r(3). Suppose 5*c - u*s = 4*c + 103, -3*c + 5*s + 289 = 0. Does 33 divide c?
False
Let l = -12 - -16. Suppose y + 196 = -0*n + n, l*y - 567 = -3*n. Suppose 0*r + 5*r + 4*k = 169, -n = -5*r + 2*k. Is r a multiple of 5?
False
Let k(b) = -b + 21. Let q be k(14). Suppose 735 = q*s - 2*s. Is s a multiple of 8?
False
Let v be 1 + (-3)/(-1 + -1 - -1). Suppose -5*u - 183 = -4*j, -5*u = -v - 1. Is j a multiple of 7?
False
Let w(n) = -n**2 + 15*n + 14. Let f be w(12). Suppose -3*k - f = -k. Is 18 a factor of ((-30)/k)/((-1)/(-45))?
True
Let c(t) = 5*t**2 - 3*t + 27. Suppose 5*z + 0*h - h - 21 = 0, -h + 14 = 2*z. Does 19 divide c(z)?
False
Suppose -3*r + 9 = 5*g - 12, -5*r - 39 = -4*g. Suppose -f = -g - 17. Is f a multiple of 2?
False
Suppose 4*v - 443 = -3*l, -3*v + l = -l - 311. Is 2 a factor of v?
False
Let a(w) = -2*w**3 - 3*w**2 + 4*w + 6. Let g be a(-3). Suppose -2*j + g = -h, h - 10 = -h. Let u = -3 + j. Does 6 divide u?
False
Let u = -41 + 41. Suppose 690 = -a + 6*a. Suppose u = -2*o + 5*o - a. Does 12 divide o?
False
Let i be (-26)/65 + 104/10. Suppose -3*a + 53 = -i. Is a a multiple of 12?
False
Let z(y) = -325*y**3 - y**2 - 3*y - 2. Is 5 a factor of z(-1)?
True
Let f be (-64)/((-16)/(-4))*3. Let v be 10/6 + (-16)/f. Suppose o - v*s - 16 = 0, 2*s - 21 = -o - 5. Is 6 a factor of o?
False
Is 8 a factor of -3*20/(-330) - (-3287)/11?
False
Suppose -2*r + 4*m + 732 = 0, 3*r - 1795 = -2*m - 729. Does 41 divide r?
False
Let h(f) = -f**3 - 4*f**2 - 9*f. Let z be h(-4). Suppose -57 = -3*u - i - i, u - z = 5*i. Does 17 divide u?
False
Suppose -3*m - 289 = -3*a - 2*m, 2*a + 5*m - 187 = 0. Let r be -11 - ((-6)/(-33) - (-368)/(-88)). Let d = a + r. Is d a multiple of 23?
False
Let k = -63 + 154. Suppose -k = -3*r + 113. Let z = r - 33. Is z a multiple of 7?
True
Suppose 5*t - 4*r - 12 = 233, -r - 48 = -t. Let q = t - -49. Is 48 a factor of q?
False
Let l be (-4 - -6) + -6 - -44. Let j = 43 - l. Suppose 0 = 3*d - 4*u - 55, 0 = -j*d + d - u + 33. Does 16 divide d?
False
Suppose 0 = -0*g - 6*g + 258. Let z = -22 + g. Is 3 a factor of z?
True
Suppose -9*h + 3327 = -16752. Does 18 divide h?
False
Is 24 a factor of 4/(-12) + 1 + (-40430)/(-78)?
False
Let d = -1 - -137. Does 34 divide d?
True
Let f = -130 + 315. Does 17 divide f?
False
Let f = 410 - 115. Is f a multiple of 25?
False
Let d be -1*(2 + -3 + 1). Let u = 0 - d. Suppose 5*k - 4*y = -y + 309, 4*k + 3*y - 258 = u. Is k a multiple of 21?
True
Is (-2)/5 + -12 + (-4080)/(-75) a multiple of 6?
True
Let b(h) = -h**2 - 2. Suppose -2*r + 3*d + 4 = 0, r + 4*d = -0*d + 2. Let o be b(r). Is (-7 - o)*43*-1 a multiple of 10?
False
Suppose 0 = 2*n - 0 - 6. Is 5*((-552)/(-20))/n a multiple of 23?
True
Suppose -74055 - 2918 = -31*h. Is h a multiple of 16?
False
Let u(l) = -175*l**2 - 2*l. Let b be u(-1). Let n = 246 + b. Let r = n - 34. Is 14 a factor of r?
False
Let m(p) = 5*p + 2. Let z be m(-1). Let a be (12/(-8))/(z/(-92)). Let r = a - -80. Does 5 divide r?
False
Let u(b) = 3*b + 8*b + 7 - 5*b. Is u(13) a multiple of 25?
False
Let b(t) = 3*t - 6*t + 12*t**2 + 2*t. Let f be b(2). Suppose f = -2*q + 150. Is q a multiple of 13?
True
Let f(k) = -k - 4. Let z be f(5). Suppose 0 = 4*s - s - 219. Let w = s + z. Is 32 a factor of w?
True
Suppose h - 37 = j - 14, 3*h = -5*j - 131. Let u = j + 23. Is 8*1/u + 53 a multiple of 18?
False
Let u(y) = 2*y**3 - 12*y**2 + 3*y + 6. Let k be u(5). Let o = 51 - k. Is 10 a factor of o?
True
Suppose -11 = 4*l + 1. Let s be -6*(1 - 0/l). Is 3 a factor of (-37)/(-5) - s/10?
False
Let y be 1 - (5 - (0 - -4)). Suppose 4*u - 16 = y, 0 = -i - u - u + 28. Is 3 a factor of i?
False
Let v(j) = -j - 1. Let r(o) = -o + 1. Let l(s) = -2*r(s) + v(s). Let p be l(4). Suppose 4*c - 57 = -p. Is c a multiple of 14?
True
Suppose o + 3*o + 986 = 2*a, 5*o - 3*a + 1234 = 0. Let t = -46 - o. Suppose -65 - t = -6*n. Is 18 a factor of n?
False
Suppose m - 3*j - 606 = 0, -2*j - 25 = -29. Is m a multiple of 34?
True
Let i(n) = -n**3 + 41. Let j(v) = v**2 - 4*v - 2. Let g be j(5). Suppose -3*t + t = -g*x + 10, 3*t + 15 = -x. Is 23 a factor of i(x)?
False
Let u(q) = -q**2 + 10*q + 3. Let m(o) = -o**2 - 7*o - 3. Let t be m(-5). Is 4 a factor of u(t)?
True
Let l(c) = c**3 - 3*c**2 - 4*c - 4. Let r be l(7). Suppose -a + r = 2*b, b - 2*a - 152 = -b. Does 27 divide b?
False
Let i(j) = -j**2 - 3*j + 3. Let c(m) = -2*m**2 - 2*m + 2. Let a(f) = -4*c(f) + 3*i(f). Let n(s) = 3*s + 58. Let g be n(-19). Does 2 divide a(g)?
False
Suppose 0*u + 8 = -2*u, -2*d + 12 = -3*u. Let r(o) = -1 + 24*o - 14*o + d. Is 21 a factor of r(5)?
False
Let k be 66 - (1 + -1 + 3). Suppose -m = 2*m - k. Is 20 a factor of ((-8)/(-3))/(1/m)?
False
Let p = 96 - -185. Does 12 divide p?
False
Suppose -3611 = -20*s + 3389. Does 70 divide s?
True
Let o(r) = -r**2 + 2. Let y be o(0). Suppose 3*b + 21 = v, -v + 17 = b - y*b. Suppose 0 = 5*s + 15, 2 - v = -4*m - s. Is m a multiple of 4?
True
Does 10 divide 20/(5 + 0) + 836?
True
Let o be (-8)/(-6) - (-2288)/(-78). Is (-4 + (-332)/7)/(6/o) a multiple of 48?
True
Suppose 661 = x - 3*p + 250, -4 = -p. Is 11 a factor of x?
False
Let n(g) = 2*g**2 - 2*g. Let v(j) = -j**3 + 2*j**2 + 4. Let r be v(3). Let h be -1*9/15*r. Is 6 a factor of n(h)?
True
Let m = -537 - -612. Is m a multiple of 5?
True
Does 45 divide 18 + -30 - (-3078)/2?
False
Suppose -26 = -v + 2*k, 0 = 7*v - 2*v + 5*k - 130. Suppose 245*r - 249*r = -8. Suppose o = 2*x + r*o - 50, v = x + o. Is 6 a factor of x?
True
Let v(q) = 920*q**2 + 5*q - 9. Is v(2) a multiple of 100?
False
Suppose -2*w = 3*j - 413, -563 = -5*j + w + 147. Is j a multiple of 7?
False
Suppose 5*v + 0*x - 2*x - 29 = 0, 4*x = -8. Suppose -m + 18 = 5*i - 5, -25 = -5*m + v*i. Does 16 divide (-8)/(-32) - (-350)/m?
False
Suppose 3*v + 12*d - 7*d - 1392 = 0,