8 a factor of z?
False
Let g = 1442 + 39. Is g a multiple of 7?
False
Let a be (21/12 + 2)*180. Suppose a = -5*x + 20*x. Is 15 a factor of x?
True
Let q(r) = -r**2 + 4*r + 2. Let m be q(3). Suppose 0 = 2*w - m*b - 22 + 3, 5*w - b = 36. Let k = w - 3. Is 2 a factor of k?
True
Let q = -10 - -10. Let t = q + 4. Suppose -d - 15 = t*y, -d - 4*y - 5 = 2*d. Is 4 a factor of d?
False
Suppose 3*n = 5*o - 21, 2*n = -4*o + 6*o - 18. Is 10 a factor of 6/8 + (-2391)/n?
True
Let s(x) = 21*x**2 - 5*x + 5. Let q be (40/(-90))/(4/(-18)). Does 35 divide s(q)?
False
Let j(y) = y**3 - 5*y**2 + 5*y. Let d be j(4). Let q(a) = a**2 - 8*a + 18. Let h be q(4). Is 12 a factor of (-12)/d + (h - -37)?
True
Suppose -3*r - 4 = -r. Let x be (-735)/30 + r/(-4). Let y = -14 - x. Is y a multiple of 3?
False
Let a(v) = v**2 + 18. Does 14 divide a(-9)?
False
Let c(m) = 2*m**3 - 8*m**2 + 6*m + 7. Suppose -2*i - 20 = -3*r, -2*i + 6*i + 48 = 4*r. Let j(l) = l**2 + 17*l + 21. Let o be j(i). Is c(o) a multiple of 10?
False
Suppose -5519 = -5*p + 2*r, -4 - 2 = 3*r. Does 70 divide p?
False
Let d(n) = 7*n**2 + 12*n - 34. Is d(5) a multiple of 5?
False
Let o(x) = -x - 2. Let b be o(-2). Let i(t) = -t**3 - t**2 + 3. Let f be i(b). Suppose f*u = u + 8. Does 3 divide u?
False
Let t = -630 + 1360. Is 10 a factor of t?
True
Let o(d) = 86*d - 357. Is o(12) even?
False
Let v(c) = -c**3 + 5*c**2 + 14*c + 3. Let f be v(7). Suppose -f*d - 6980 + 38 = 0. Does 11 divide d/(-39) - (-2)/(-6)?
False
Let k be (-136)/(-6)*(-6)/(-2). Let c = k + -56. Is 4 a factor of c?
True
Suppose -38 = w - 3*w. Is w/(-3)*(2 + -20) a multiple of 38?
True
Let y(u) = -u**3 - 18*u**2 + 4*u + 80. Does 33 divide y(-19)?
False
Suppose 43*d = 31*d + 204. Is 2 a factor of d?
False
Suppose 6*s + 300 = 2*s. Does 9 divide (-7440)/s + 2/(-10)?
True
Let m(q) = -3*q - 1 + 2*q + 7. Let a be m(7). Is (a - 20*3)*-1 a multiple of 21?
False
Let i(q) = 330*q**2 + 3*q + 4. Is i(-1) a multiple of 10?
False
Suppose 0 = -5*o + o - 28. Let a = 41 + o. Is 7 a factor of a?
False
Let l(m) = 3*m + 2. Let p be l(1). Suppose -5*j = 2*g - 4, -g = -p*j + 6 + 7. Does 15 divide (-570)/(-18) - (-2)/g?
False
Let c(u) = 3*u - 12 + 16 - 4*u + 0*u. Let n be c(4). Suppose 2*x = -3*x - 5*l + 110, 5*x + l - 106 = n. Does 7 divide x?
True
Suppose 0 = -2*l - 6*c + 2*c + 352, 0 = c + 4. Is 60 a factor of l?
False
Does 77 divide (-13)/(-26)*-24 + 2301?
False
Let n be (106 - (-3 + 8))*1. Let c = -64 + n. Is 4 a factor of c?
False
Let n = -380 + 527. Does 14 divide n?
False
Suppose 2*p - 284 = -5*b, 4*p - p = 2*b - 125. Suppose 0 = -3*u + b - 10. Is u even?
True
Let h(d) = d**2 + 3*d + 4. Suppose 2*x - 22 = -2*y - 0*y, -3*x = -y - 49. Let w = 9 - x. Is h(w) a multiple of 11?
True
Suppose 3*u - 4*t = 6*u - 28, 0 = -5*t - 10. Does 23 divide 106 + 4/2 - 12/u?
False
Let c(u) = 5*u + 118. Is c(-20) a multiple of 9?
True
Let q = 16 - 18. Let k be 0 + -3*(q + 1). Is 14 a factor of 66/k + 2 - -4?
True
Does 60 divide 2/6 + 139498/114?
False
Suppose 0 = -896*n + 897*n - 1840. Is 8 a factor of n?
True
Is (-2 + 1)/((-19)/7619) a multiple of 15?
False
Let c(h) = 15*h. Let i be 0 - ((-30)/(-2) + 1). Let x be (-4)/i - 21/(-12). Is 10 a factor of c(x)?
True
Let j = 9227 - 6551. Is 20 a factor of j?
False
Suppose -107 = 3*v - 98. Let k(s) = -s**3 + 6*s**2 + 2*s - 3. Does 9 divide k(v)?
True
Let a be ((-28)/(-6))/((-2)/(-24)). Does 11 divide (a/(-16) + -1)/(6/(-88))?
True
Is 3 a factor of ((-616)/20)/(6/(-15))?
False
Suppose 4*q + 0 = 4*i - 8, 0 = -4*q + 2*i - 8. Is 17 a factor of (80 - q) + 5 - -3?
False
Suppose 5*b - 138 = -4*y, 0 = 4*b - y - 70 - 32. Let d = 29 - b. Suppose 2*k - d = o - 2*k, 0 = -3*o - 2*k + 61. Is o a multiple of 17?
True
Let a = -44 - -24. Let g = 20 + a. Suppose g = 3*p + p - 188. Is 11 a factor of p?
False
Let a(c) = 39*c**3 + 14*c**2 - 37*c + 4. Is 19 a factor of a(3)?
False
Let d be (-2)/(-12) - 9230/(-60). Let a = 301 - d. Is 38 a factor of a?
False
Is (-36)/(-9)*51/2 a multiple of 34?
True
Suppose 14*u = 8488 + 1144. Does 4 divide u?
True
Let h(w) = -13*w - 1. Let y be 6 + -3 + 1 - -1. Suppose 3*o + 10 = 2*z - 1, 3*o = -2*z + y. Is 7 a factor of h(o)?
False
Is (-30)/35 - (-1068)/21 a multiple of 3?
False
Suppose -19 + 1 = -4*a - 2*b, -5*b - 25 = 0. Suppose -3*y + 4*v - 27 = 0, -v - a = -2*y - 25. Is 4 a factor of 1*y*-2 + 1?
False
Suppose -5*o + 141 = -3*w, -o + 2*o = 5*w + 15. Is o a multiple of 3?
True
Let u(x) = -x**3 - 23*x**2 + 18*x - 32. Let p be u(-24). Let b = -34 + p. Is b a multiple of 13?
True
Let x(b) = -b**3 + 25 + 15*b - 64 - 10*b**2 - 6*b + 34. Is 12 a factor of x(-11)?
False
Let q(h) = 85*h**2 - 2*h. Let p be q(-1). Let b = 57 + p. Does 6 divide b?
True
Let w(y) = -2*y + 348. Is w(-17) a multiple of 7?
False
Suppose 2*c - 11 - 83 = -5*o, 0 = -2*o - 3*c + 31. Suppose -3*l = 5*z - l + 82, 2*z = -4*l - o. Does 2 divide z/15*(-8 - -3)?
True
Let z(g) = -g**3 - 8*g**2 - 11*g - 26. Is 13 a factor of z(-13)?
True
Let c(j) = j**3 - 4*j**2 - 9*j + 2. Let b(n) = n + 15. Suppose -k = 5*o + 40, -4*k + 49 - 9 = -5*o. Let i be b(o). Is 24 a factor of c(i)?
False
Let o = 14 - 22. Suppose 0*c + 3*q = -5*c + 42, 5*q + 10 = 5*c. Does 18 divide o/c*-1*27?
True
Let q(x) = -x**3 - 12*x**2 - 13*x - 14. Let t = -43 + 32. Is q(t) a multiple of 4?
True
Let i(b) = -b**2 + 45*b - 55. Is i(29) a multiple of 19?
False
Let l = -1029 + 1403. Does 17 divide l?
True
Let s(u) = -u + 13. Let h be s(9). Suppose -5*j + h = -96. Does 8 divide j?
False
Let h(p) = p**2 - 2*p + 1. Let f be 6/8 - (-4)/16. Let q be h(f). Suppose -l = -x - 2*x + 139, q = 3*x + 5*l - 169. Does 17 divide x?
False
Let w be ((-245)/15)/((-2)/6). Suppose 17 + w = 2*q. Is q a multiple of 20?
False
Let j = -437 - -557. Does 3 divide j?
True
Suppose -11*v = 12*v - 3680. Is v a multiple of 4?
True
Let t(z) = 132*z**3 - z + 1. Let f be t(1). Suppose 3*p - 34 = -2*h + 99, -3*h + f = 3*p. Is p a multiple of 20?
False
Let i = 911 + 608. Does 67 divide i?
False
Let o(r) = -5*r**3 - 3*r**2 + 5*r + 14. Is o(-7) a multiple of 13?
True
Let z = 644 + -321. Does 19 divide z?
True
Let v(s) = s**3 - 12*s**2 + 12*s - 6. Let h be v(11). Suppose -3*k - 388 = -h*d, 0*k - 8 = -2*k. Suppose d = 2*u + 3*u. Is u a multiple of 16?
True
Let p(s) = 6*s**2 + 2*s - 4. Let m(u) be the first derivative of -5*u**3/3 + u**2 + 6. Let b be m(1). Is p(b) a multiple of 8?
False
Let w = 33 - 21. Suppose -6*u + 84 = w. Does 6 divide u?
True
Let z(q) = 64*q - 167. Is 3 a factor of z(9)?
False
Let k be (119/(-28))/(2/(-16)). Suppose 5*r + z = 170, 6*z = r + 7*z - k. Is 8 a factor of r?
False
Suppose -3*g - 178 = -p, 2*g + 352 = -0*p + 2*p. Is 25 a factor of p?
True
Suppose 16 = -4*r + 8*r. Suppose 0 = -5*x + 3 + 7, 4*p = -r*x. Is 3 a factor of (-1 + 13)*p/(-4)?
True
Let l be 0/(2/4*(0 - 6)). Suppose 9*u - u - 256 = l. Does 2 divide u?
True
Let b = -391 + 395. Suppose -4*z + 6*z = 4*l + 8, 2*l + 28 = 3*z. Let y = z - b. Is y even?
True
Let j be 25 + (0 - 1) + 1. Suppose 2*a = -2*s + 4*s - 24, j = -5*a. Is 7 a factor of s?
True
Let k(g) = 7*g**2 + 16*g + 12. Does 8 divide k(9)?
False
Let j(k) = -10*k + 110. Is 12 a factor of j(5)?
True
Let v = 1114 + 1142. Is v a multiple of 16?
True
Suppose -4*n = -n - 69. Let r = 20 - n. Does 6 divide 62*(r/(-6) - 0)?
False
Let v = -68 + 113. Let s = v - 22. Does 7 divide s?
False
Suppose 2*s - 10 - 103 = -5*n, -4*n = 12. Is 16 a factor of s?
True
Let f = -82 - -54. Let o(n) = n**3 - 18*n**2 + 7*n - 75. Let t be o(18). Let z = f + t. Does 4 divide z?
False
Suppose 3*s = -3*g + 762, -4*s = -0*s + 5*g - 1018. Is s a multiple of 14?
True
Let s(l) = -l**3 - 2*l**2 + 6*l - 1. Let j be s(4). Let f = j + 46. Let k = f - -51. Is k a multiple of 14?
False
Let h(p) = -2*p**3 + p**2 + 5*p + 4. Let o be h(3). Let m = -19 - o. Is 2 a factor of m?
False
Let j(q) = 5*q**3 - 6*q**2 + 4. Does 4 divide j(2)?
True
Let d(a) = a**2 - 16*a - 1. Is 13 a factor of d(21)?
True
Let s = -96 + 554. Does 14 divide s?
False
Let r(b) = 377*b - 1. Let v be r(1). Suppose 28*z + v = 36*z. Does 7 divide z?
False
Let y be 408/40 + 1/(-5). Let o be y/40 + (-14)/(-8). Suppose 4*c = 2*t - 68, -2*t - o*c - 2*c + 76 = 0. Is 6 a factor of t?
True
Let k(z) = -z**2 - 27*z - 62. Is 2 a factor of k(-23)?
True
Suppose -14 - 1 = -3*i. Suppose i*d + 4*r - 25