actor of w?
True
Let d(a) = -a**2 - 8*a - 3. Suppose -2*f = -4*l + 4 + 2, 0 = 5*f - 3*l - 13. Suppose -3 = 6*t - f*t. Does 3 divide d(t)?
True
Suppose 5*d = -3*j - 499, -j + 2 + 0 = 0. Let g = 231 + d. Is g a multiple of 19?
False
Let q be ((-10)/6)/(-1*(-6)/(-18)). Suppose -108 = -q*b - 3*n, b - 10 = n + 10. Is b a multiple of 21?
True
Suppose -y + 8 = -o + 23, -3*o + 28 = -2*y. Let p = -22 - y. Is 14 a factor of 2556/45 - (-4)/p?
True
Suppose -222*i + 227*i = -155. Let g = i + 171. Is g a multiple of 20?
True
Let a(t) = 2*t - 8. Let d be a(4). Let q(b) = b**2 + 34. Does 20 divide q(d)?
False
Suppose -y - 5 + 2 = 0. Is 0/(3/y) - -66 a multiple of 22?
True
Suppose -q - 4*q - 1539 = -3*m, 3*m - 1545 = 3*q. Suppose 1728 = 11*i + m. Does 47 divide i?
False
Suppose 17*i = 37*i - 3960. Does 37 divide i?
False
Suppose 0*l = -l - 5*z - 4, 0 = l - z - 2. Let x be -62 + 1 + -4 + l. Let j = -4 - x. Is 20 a factor of j?
True
Let o(h) = h**2 + 4*h - 1. Let p(b) = -2*b**2 + 6*b - 1. Let x be p(5). Let j be ((-14)/(-3))/(14/x). Is 6 a factor of o(j)?
False
Suppose 103*g + 190 = 108*g. Is 23 a factor of (5 - 1)*437/g?
True
Suppose 16*w + 576 - 24480 = 0. Is w a multiple of 11?
False
Let i(r) = -r**3 - r**2 - r + 1. Let v(c) = -2*c**3 - 6*c**2 - 10*c + 8. Let z(u) = 3*i(u) - v(u). Is z(4) a multiple of 2?
False
Let v be (-4)/3*81/2. Let x = v - -98. Is x a multiple of 6?
False
Is 2964 + (5 - (-8 + 7)) a multiple of 33?
True
Let t(o) = -10*o - 44. Does 94 divide t(-21)?
False
Let m(w) = -246*w - 27. Does 5 divide m(-2)?
True
Suppose -13*q + 1999 = -4046. Does 9 divide q?
False
Let n(q) = -9*q - 27. Let l be n(-3). Suppose 5*m + 38 - 73 = l. Does 7 divide m?
True
Let t(a) = a**2 + 8*a + 34. Is 17 a factor of t(9)?
True
Let z be 579/7 + (-2)/(-7). Suppose -277 - z = -9*s. Does 5 divide s?
True
Let u(v) = 544*v**2 + 7*v + 17. Is u(-2) a multiple of 75?
False
Suppose 3*v - 485 - 391 = 3*a, -2*v + 3*a + 583 = 0. Is v a multiple of 46?
False
Suppose 96*k - 108*k + 8256 = 0. Is k a multiple of 13?
False
Suppose 28*h - 31*h + 4*x = -5536, 0 = 4*h + x - 7356. Is 21 a factor of h?
False
Suppose -8*h = -3*h - 10. Suppose 100 = l + 3*l - a, 8 = h*a. Is l a multiple of 13?
True
Let f be (-4)/(-14) - 12/42. Suppose -2*x + 34 + 6 = f. Is x a multiple of 9?
False
Suppose 0 = -2*r + 53 - 41. Suppose 0 = -2*f - 4*o + 122, -2*f = -r*f - 5*o + 232. Does 6 divide f?
False
Is 12 a factor of 513/(((-60)/90)/(4/(-9)))?
False
Let h be 2/6 + (-182)/(-39). Suppose 5*u - 4*b + 7 = 43, h*b = -4*u - 4. Is 16 a factor of (-16)/(-64) + 63/u?
True
Let n be 6/((18/32)/(18/24)). Suppose 4*d + 37 = -3*t + n*t, t - 1 = 4*d. Is 2 a factor of t?
False
Let u(z) = 113*z**3 + 6*z**2 - 5*z - 6. Let t(o) = -112*o**3 - 7*o**2 + 6*o + 7. Let h(j) = -6*t(j) - 7*u(j). Does 20 divide h(-1)?
True
Suppose -3*f = 4*l - 406, -4*l + 8 = -8. Suppose 0 = 2*j - 3*x + x - f, 0 = 5*j - x - 329. Is 11 a factor of j?
True
Suppose -4*g + 9*g - 80 = 0. Let i = 32 - g. Is i a multiple of 16?
True
Suppose 0 = -3*n + 4*z + 8107, 2*z + 10796 = -8*n + 12*n. Is n a multiple of 93?
True
Let o(d) = -4*d + 3. Let w(s) = -s + 1. Let r(p) = o(p) - 5*w(p). Let j be r(-6). Let t(a) = -a**3 - 8*a**2 - a - 2. Is t(j) a multiple of 3?
True
Let s(y) = -2*y**2 + 14*y + 7. Let d be s(10). Let o = d + 101. Does 15 divide o?
False
Let k(i) = -17*i + 4. Let u be k(-4). Let w be 2 - (-2 + -21)*2. Let r = u - w. Does 24 divide r?
True
Suppose -r + 38 = -5*r + 3*i, 3*r = 3*i - 30. Let s = 13 - r. Suppose s - 72 = -3*a. Does 5 divide a?
False
Suppose -q + 5*q - 8 = 0. Suppose 2*b = -3*d + 414, -2*b + d = q*b - 842. Suppose -204 = -3*s - 0*n - n, -n - b = -3*s. Is 23 a factor of s?
True
Let p = -908 - -1823. Is 42 a factor of p?
False
Suppose 80 = 68*o - 67*o. Is 3 a factor of o?
False
Suppose 36*k + 607 = 3*g + 37*k, -3*k = -2*g + 412. Is g a multiple of 7?
True
Let b(d) = -d**3 - 4*d**2 - d + 1. Let x be 120/(-28) - 6/(-21). Let j be b(x). Suppose -5*k = -2*f + 19, f + 4*k - j = 2*k. Does 7 divide f?
True
Let c be 4 - (2 - 3 - -3). Suppose c*g = 3*g. Suppose g = -o - 4 + 17. Is 5 a factor of o?
False
Let o = -18 - -34. Suppose 0 = o*y - 14*y - 86. Is y a multiple of 18?
False
Does 9 divide (-38)/(-399) + 12092/42 + 7?
False
Suppose 380 = -0*g - g. Let u be g/(-16) + (-5)/(-20). Suppose b = 2*b - 5*l, -3*b + 3*l + u = 0. Does 6 divide b?
False
Let r(w) = w**3 + 8*w**2 - 10*w - 10. Let k be (-1)/(-2)*8 + -13. Let p be r(k). Is 2 a factor of 5 + (-8)/(p - 1)?
False
Is 63 a factor of 16316/14 - 36/84?
False
Let y = -40 - -661. Is 27 a factor of y?
True
Let m(w) = -w**2 - 7*w + 7. Let c = -3 - 5. Let t be m(c). Is (-2 + -2 + t)*-9 a multiple of 15?
True
Suppose -169 - 431 = 6*m. Let x = m + 196. Is x a multiple of 6?
True
Suppose 4*i + 3*t = 3444, 0 = -2*i - 4*t + 1475 + 247. Does 48 divide i?
False
Let c(z) = 3*z**3 - 21*z**2 - 4*z - 14. Is c(10) a multiple of 94?
True
Suppose 5*p - 40 = q - 0, -2*p + 85 = -5*q. Suppose 6 = s - 2*d - 20, 0 = -4*s + 2*d + 128. Let g = s + q. Is 5 a factor of g?
False
Let s(y) = 2*y**3 + 32*y**2 - 4*y + 46. Is 14 a factor of s(-11)?
False
Let w(k) = -119*k + 192. Is w(-3) a multiple of 9?
True
Let m = 707 - -1868. Is m a multiple of 25?
True
Let o(b) = b**3 - 5*b**2 - b + 7. Let u be o(5). Suppose 6*m - 560 = u*m. Suppose 12*s - 7*s = m. Is s a multiple of 7?
True
Is 6 a factor of (-5876)/(-20) - 13/(-65)?
True
Let h(w) = 19*w**2 - 183*w - 3. Does 61 divide h(14)?
True
Let v(n) = -n**2 - 13*n + 9. Let z be v(-12). Let x = 41 - z. Is x a multiple of 5?
True
Let g be 51*4/3 + 2. Let j be g + 0 - 0/3. Suppose -5*r + 105 = -j. Is 8 a factor of r?
False
Let s be (10/8 + -5)/(2/(-144)). Let g = s - 120. Is g a multiple of 11?
False
Let w = -21 + 21. Let n be 0 + (4 - w - 4). Suppose n = -5*t + 3*t + 80. Does 10 divide t?
True
Let a(u) = 8*u - 16. Let l(t) = -t**3 - 11*t**2 - 12*t - 17. Let y be l(-10). Is a(y) a multiple of 3?
False
Let x(y) = -y**3 + 23*y**2 - 24*y + 36. Is x(20) a multiple of 54?
True
Is 3 a factor of 6/27 + (-1230)/(-54) + 4?
True
Let j = -36 + 44. Suppose j*y - 66 = 30. Is y a multiple of 12?
True
Suppose 466 = 6*m - 170. Suppose 0 = -t - 2, 3*u - 5*t - m = -u. Let i = u + 34. Is 19 a factor of i?
False
Does 20 divide (6/5)/(8/860)?
False
Let n = -477 + 1364. Does 54 divide n?
False
Let a be 554/22 - (-38)/(-209). Let u = 24 - a. Is (0 + 0 + u)*-41 a multiple of 11?
False
Suppose -273 = 210*x - 217*x. Is x even?
False
Suppose 735 = -19*j + 21*j + 3*c, 0 = 5*j - 3*c - 1869. Is 31 a factor of j?
True
Suppose -2 = -5*h + 4*s, 0*h + 3*s = 3*h. Suppose -5*a = -l + 35, -2*l + a + h*a = -49. Does 9 divide l?
False
Let w(o) = 8*o**2 - 6*o + 8. Let m(g) = 8*g**2 - 7*g + 9. Let l(f) = -5*m(f) + 6*w(f). Is 18 a factor of l(3)?
True
Let q = 72 - -36. Let o = q + -52. Suppose 0 = 2*l - o - 74. Is l a multiple of 11?
False
Does 15 divide (22/(-44) + 9/(-2))*-12?
True
Let g(s) be the first derivative of -s**4/4 - 4*s**3/3 - 3*s**2 - 12*s + 22. Is g(-6) a multiple of 8?
True
Let h(a) = 2*a**2 + 33*a + 5. Let x be 248/(-16) + 3/(-2). Is h(x) a multiple of 22?
True
Suppose -4*t + 165 = 3*l, 0*l + 4*t + 192 = 4*l. Is 3 a factor of l?
True
Let h = 454 - 326. Is h a multiple of 16?
True
Suppose q - 4 = -q. Suppose -4*w - 2 = -q*b - 18, -2*b = 4*w - 24. Is 5 a factor of w?
True
Let f(u) = -6 - 7*u**3 + 6*u**3 + u - 2*u. Let g be f(0). Let y = 21 + g. Is 10 a factor of y?
False
Let p = 20 + -15. Suppose 2*c - 44 = 5*u - 16, -p*c + u = -24. Does 11 divide c - (-5)/((-10)/(-84))?
False
Let g = 759 + -354. Let j = g + -167. Is j a multiple of 22?
False
Suppose 0 = n - 0*n - 2. Let h(p) = p**3 - 2*p**2 + 2*p + 60. Let y be h(0). Let l = n + y. Is 28 a factor of l?
False
Suppose -h + 5 + 2 = 0. Is 11951/119 + 4/h a multiple of 35?
False
Let v be (-3 - -2)/(1/25). Is 3 a factor of 15/v + (-252)/(-20)?
True
Let t = 94 + 23. Let x be (-1375)/20 - (-9)/12. Let v = t + x. Is v a multiple of 16?
False
Suppose 10*q = 13*q - 294. Let t = 214 - q. Does 28 divide t?
False
Suppose -v + 2 - 13 = -3*j, 5*v + 15 = 5*j. Let f(k) = 24*k - 6. Let u be f(j). Suppose 0 = -2*p - 3*p - s + 191, 2*p - 3*s = u. Is 8 a factor of p?
False
Let g(w) = 8*w**2 + 15*w - 61. Is g(4) a multiple of 35?
False
Suppose 0 = -4*a - 0*j - 5*j - 33, 0 = 2*a + 2*j + 