 of z?
False
Let q(t) = -13*t + 12. Is q(-4) a multiple of 4?
True
Let i = -2 + -3. Let o = 10 + i. Let h(b) = 2*b**2 - 4*b - 6. Is h(o) a multiple of 12?
True
Let c be 320/(-30) - (-1)/(-3). Let r = c - -18. Suppose 0 = 3*t + 4*p - 16, -t - p = -0*t - r. Does 5 divide t?
False
Let y(z) = z**3 + 6*z**2 - 6. Let w be y(-6). Let k(c) = -34*c + 20*c + 9*c - 2. Does 8 divide k(w)?
False
Let q = -774 + 454. Let k be 4/6 - q/15. Suppose -4*l = t + 6 - k, -3*l - 11 = -5*t. Does 2 divide t?
True
Let r = 1786 + -1531. Does 17 divide r?
True
Let t(u) = 5 + 2 + 2 + 16*u - 6. Let h be (-3 + 1)/(6/(-15)) - -1. Does 28 divide t(h)?
False
Let i(v) = -v**3 - 7*v**2 - 7*v + 2. Let t be i(-6). Let h = t + -4. Suppose -23 + 5 = -m - 3*g, -2*m = -2*g - h. Is 3 a factor of m?
True
Let c(r) = -11*r - 4. Let z(x) = -x - 12 - 4*x + x**2 - 5*x + x. Let o be z(10). Is 14 a factor of c(o)?
False
Let y = 234 - 100. Is y a multiple of 2?
True
Does 18 divide 467/2 + ((-1)/(-2))/(-1)?
False
Suppose -12*r + 68 = -16*r. Let x(m) = -m**3 - 15*m**2 + 26*m + 14. Is x(r) a multiple of 30?
True
Let a be 1/(-2)*-4 - 0. Suppose -4 = -r + a*d - 5*d, -3*r = -4*d + 27. Does 16 divide ((-64)/r)/(8/20)?
True
Let b(x) = 4*x**2 - x - 11. Is 7 a factor of b(4)?
True
Let p be (-2 - -3) + (1 - -2). Let x(a) = a**2 - 5*a + 9. Let y be x(p). Suppose -4*k - 3*q = -95, k + y*q + 0 = 11. Is 23 a factor of k?
False
Let i(y) = y**3 - 7*y**2 + 6*y + 2. Let v(r) = r + 12. Let z be v(-6). Let c be i(z). Suppose -a = 3*m - 54, c*a + 6*m - m - 107 = 0. Is 17 a factor of a?
True
Let b be -4 - (-2 - (25 - 2)). Let t = -19 + b. Suppose t*y + a + a - 130 = 0, -3*a = 0. Is 14 a factor of y?
False
Suppose -5*n - 1798 + 438 = -3*g, -5*g = -n - 2274. Is g a multiple of 27?
False
Let t = 150 + 93. Is t a multiple of 9?
True
Let b be (-12)/30 + (-1 - (-261)/15). Is 5 a factor of b/2 - (0 + 1)?
False
Suppose 0 = -b - i - 11, 4*b + i + 11 = -27. Let z(n) = 7*n**2 - 11*n - 8. Let k(p) = p**3 - p - 1. Let j(v) = -k(v) - z(v). Is j(b) a multiple of 21?
True
Let f(u) = u**3 + 5*u**2 - 3*u - 5. Suppose 2*j + 5*b - 15 = 0, -3*j + 0*b - 3*b = 0. Is 10 a factor of f(j)?
True
Let s = -8 + 14. Let c be (-1 - (-8)/s)*0. Suppose c = m - 4*m + 51. Is m a multiple of 10?
False
Let a(z) = 2*z**2 - 25*z + 7. Let t be a(13). Suppose t = -4*k, 0*k - 90 = -5*q - 3*k. Does 5 divide q?
False
Suppose -o - 275 = -q - q, 5*q + 3*o - 693 = 0. Let p = q - 51. Does 29 divide p?
True
Is 15 a factor of (-3862)/(-6) + (-208)/(-156)?
True
Let r = 262 + 5536. Does 123 divide r?
False
Let k(q) = -2. Let h(c) = c - 1. Let z(j) = j**3 + 6*j**2 + j + 12. Let i be z(-6). Let u(g) = i*k(g) - 5*h(g). Does 4 divide u(-3)?
True
Let c be 1*(-5)/(15/(-738)). Suppose 2*o + c = 4*o + 2*z, 2*o = -3*z + 249. Is 40 a factor of o?
True
Suppose 9 - 6 = 3*m. Suppose 4*u + m = 57. Is 8 a factor of u?
False
Let v(u) = u - 1. Let k be v(4). Let o = 111 + -108. Does 4 divide (-8)/o*k/(-2)?
True
Let t(c) = 2*c**3 - 5*c - 5. Let j(g) = 6*g**3 + g**2 - 15*g - 14. Let k(s) = -6*j(s) + 17*t(s). Is k(-5) a multiple of 25?
False
Suppose 0 = z - 5*d - 191, -2*z + d = 3*d - 442. Does 9 divide z?
True
Let s(n) = -n**3 + 7*n**2 + 8*n - 7. Suppose 2*r + 3 - 15 = 0. Let g be s(r). Is (g/(-33))/((-1)/54) a multiple of 16?
False
Let z(g) = -2*g - 7. Let m = -23 - -16. Does 4 divide z(m)?
False
Let a = -929 - -642. Let p = -64 - a. Suppose p = 5*d - 82. Does 21 divide d?
False
Let f(x) = x**3 + 31*x**2 - 37*x - 52. Is 8 a factor of f(-32)?
False
Let k = 48 - -442. Does 7 divide k?
True
Let p(m) = 2*m + 20*m**3 - 3 + 0*m - 10*m**3 + 1. Does 2 divide p(1)?
True
Let n = -23 - -149. Does 63 divide n?
True
Let r(o) = 2*o**3 - 40*o**2 + 43*o + 15. Is r(19) a multiple of 22?
True
Suppose -11*h + 7*h + 167 = -5*r, 4*h = -2*r - 50. Let o = 15 - 1. Let q = o - r. Is q a multiple of 8?
False
Let v(z) be the second derivative of z**8/2240 - z**7/840 + z**6/360 - z**4/6 - 3*z. Let p(s) be the third derivative of v(s). Is 8 a factor of p(2)?
True
Is 8 a factor of (-142)/71 + (662 - 0)?
False
Suppose 11*s + 166 - 551 = 0. Does 14 divide s?
False
Suppose -9*s - 8*s = -1020. Suppose 9*z = 7*z + s. Is z a multiple of 16?
False
Let t(c) = c**2 + 20*c + 2. Let i be t(-17). Let p = -44 - i. Is p a multiple of 2?
False
Let g = 17 + -12. Suppose 107 + 53 = 3*o + 4*r, 4*o - 265 = g*r. Does 32 divide o?
False
Is 4 a factor of (-4)/36*-3*120/8?
False
Suppose 32 = 11*u - 3*u. Suppose -24 = -u*o - 12. Does 3 divide o?
True
Suppose 30*j - 29164 + 2824 = 0. Is j a multiple of 5?
False
Let r(i) = -5*i - 33. Is r(-11) a multiple of 9?
False
Let k = 83 - 33. Does 9 divide k?
False
Suppose -4*f - 120 = -0*f. Let o be 4/1*f/(-4). Does 10 divide (o/4)/5*22?
False
Suppose -1176 - 24 = -16*v. Is 25 a factor of v?
True
Let h(c) be the first derivative of c**3 + 2*c**2 + 43*c + 3. Is 8 a factor of h(-7)?
False
Let i(t) = -287*t + 73. Does 46 divide i(-5)?
False
Let t(f) = -10*f + 2. Let w be (-3)/(-6) + 54/4. Let y be (w/(-21))/(2/6). Is t(y) a multiple of 11?
True
Does 5 divide (36/(-63) + 415/(-21))*-33?
False
Let y(o) = o**3 - 5*o**2 + 2*o - 1. Let m be y(4). Let h = m - -3. Let v(r) = r**2 + 7*r + 9. Is 3 a factor of v(h)?
True
Let b(a) = 76*a + 2. Is b(6) a multiple of 16?
False
Let l(d) = 5*d + 90. Does 3 divide l(-12)?
True
Suppose -73 = -11*o + 862. Does 29 divide o?
False
Suppose -n + 2*y + 1 = 0, -4*n - 5*y - 37 = 24. Let f = 37 + n. Is 14 a factor of f?
True
Suppose 239*d = 237*d + 156. Does 6 divide d?
True
Suppose z + 2*n + n = 145, -z + n = -125. Does 5 divide z?
True
Let u = 627 - 151. Does 14 divide u?
True
Is 297 - (-5 - -7) - 9 a multiple of 3?
False
Let w be (-1*(0 - (-2 - -2)))/(-2). Suppose -4*o + o + 60 = w. Is 3 a factor of o?
False
Suppose -773 = 4*y - 2*p - 67, -3*p + 184 = -y. Let k = -151 - y. Does 12 divide k?
True
Let j(c) = -c**3 + 13*c**2 - 11*c + 26. Suppose -4*g - 2*m = -m - 53, -m = 3*g - 41. Is j(g) a multiple of 38?
True
Let f(a) = 6*a + 1. Let h be f(3). Let x = -16 + h. Suppose 0 = 3*s - x*y - 153, 0 = 3*s - 0*s + 2*y - 178. Is 25 a factor of s?
False
Let k(a) = -a**2 - 12*a - 3 + 2 - 3. Let z be (6 - 8)*6/2. Is k(z) a multiple of 16?
True
Let y be (3 + -6)*136/(-6). Let d = y + 58. Is d a multiple of 18?
True
Let r = 33 - 13. Suppose 0 = 3*d - 73 - r. Is d a multiple of 4?
False
Suppose 14 = -k + 4*t, t - 4 = -2*k + 4. Suppose -5*u + s = -277, 4*u - 97 = k*u + 5*s. Is 21 a factor of u?
False
Let p = -142 + 472. Is 50 a factor of p?
False
Let n(j) = 3*j + 2. Let x be n(5). Let i = x - 12. Suppose -18 = -t - i. Is t a multiple of 5?
False
Suppose -15*z + 6981 = -5649. Is z a multiple of 5?
False
Let w = 272 - 180. Is 4 a factor of w?
True
Is 5/((-5)/(-54))*(28 - 25) a multiple of 81?
True
Let f(k) = 11*k**2 + 11*k + 21. Does 5 divide f(-3)?
False
Suppose 2 = c + 4. Let n be c/(-8) - 130/8. Let z = 40 + n. Is 8 a factor of z?
True
Suppose -432 = -44*g + 41*g. Is g a multiple of 12?
True
Let v(x) = -76*x**3 + 4*x**2 + x - 2. Let d(y) = -y**2 - y + 1. Let g(l) = -3*d(l) - v(l). Let r be g(1). Suppose r - 28 = 4*w. Is w a multiple of 12?
True
Suppose -5*x + 10*x - 2*h = -640, 5*x = 5*h - 625. Let t = x - -339. Let j = -146 + t. Is 21 a factor of j?
True
Suppose 0 = p - 3*c - 19, -p + 3*c + 2*c + 29 = 0. Suppose 5*n + b - 2*b = 161, -123 = -p*n - 5*b. Does 12 divide n?
False
Let a = -111 + 377. Suppose 0 = -4*u + 230 + a. Does 31 divide u?
True
Suppose 2*y = 3*z + 8042, 2*z - 4*y = 4*z + 5388. Does 8 divide (-2)/(-14) - z/28?
True
Let g(c) = 5*c + 29 + c - 5*c + 14. Does 6 divide g(7)?
False
Let l = -45 - -47. Suppose l*g - 178 = 4*b, -2*g - 19 + 188 = -b. Is g a multiple of 28?
False
Let r(b) = -25*b + 2. Let j be r(-3). Let a = j + -48. Is 11 a factor of a?
False
Let s(f) = -f**3 + 6*f**2 - f. Let j be ((-3)/6)/((-3)/54). Suppose 5*a = 8*a - j. Is s(a) a multiple of 12?
True
Is (30/45)/((-6)/9)*-516 a multiple of 26?
False
Let f(r) be the third derivative of r**6/120 - 7*r**5/30 + r**4/4 - 2*r**3 - r**2. Does 18 divide f(14)?
True
Let b = -75 - -82. Suppose 0 = 3*p + 5*c - 124, b*c - 3*c = p - 13. Is 11 a factor of p?
True
Suppose 5*z - 63 = -53. Suppose 0 = 9*l - z*l - 35. Is 2 a factor of l?
False
Let j(h) = 3*h**3 - h**2 + 1. Let x be j(1). Suppose x*w - 29 + 2 = 0. Suppose -a = -68 