 r - 61. Is 22 a factor of u?
True
Let j be 32/(-20)*(-5)/(-2). Let c(z) = 2*z**2 + 2*z - 4. Is c(j) a multiple of 6?
False
Let j be (-3 - 7)*2/(-4). Suppose g - 3*l + 3 = 0, -j*g = -3*l - 8 - 1. Suppose -g*i - 125 = -8*i. Is 5 a factor of i?
True
Let t be (3/1)/((-3)/(-65)). Let l = t + 135. Does 40 divide l?
True
Let l(g) = g**3 + 10*g**2 + 8. Let w be l(-10). Is 2 a factor of (-1 - 16)*(-8)/w?
False
Let s(r) = -3 + 0 + 10 + 0 - 4*r. Does 7 divide s(-7)?
True
Is (-6 - (-120)/18)*66*11 a multiple of 11?
True
Let n(m) = 3*m**2 - 26*m + 17. Let a(j) = 4*j**2 - 39*j + 26. Let k(p) = -5*a(p) + 7*n(p). Let w be k(-8). Let i = 102 + w. Is 17 a factor of i?
True
Is 4 a factor of 6/5 + (-222)/(-15)?
True
Suppose 3*q - 2*x - 375 = 391, -5*q = -2*x - 1270. Is q a multiple of 12?
True
Suppose -o = w - 12, -3*w + 3*o + 3 + 3 = 0. Suppose 3*d - 2*a - 10 = 70, 4*d = 4*a + 108. Suppose w*g + d = 8*g. Is g a multiple of 10?
False
Let a(o) = -o**3 - 19*o**2 + 20*o + 4. Let m be a(-20). Suppose 0 = -0*g + g - m*j - 22, 2*g + 2*j = 24. Does 3 divide g?
False
Suppose -y + 2 = 0, 0 = -5*f - y + 6*y + 650. Does 11 divide f?
True
Let r = -266 - -278. Suppose j + 24 = 2*j. Let c = j - r. Does 12 divide c?
True
Let x = 727 + -502. Is 9 a factor of x?
True
Let m(p) = -p**3 + 13*p**2 + 13*p + 16. Let q be m(14). Let a(h) = 6*h**2 - h - 2. Is a(q) a multiple of 5?
True
Let q be -6*(-62 + -5 + 3). Suppose 0 = 32*n - 30*n - q. Does 32 divide n?
True
Suppose -39600 = -14*d - 6*d. Does 10 divide d?
True
Let d(z) = -47*z + 11. Is d(0) a multiple of 8?
False
Let r(x) = x**2 - 10*x - 14. Suppose 2*j - 4*q = -2*j + 36, 0 = 2*j - q - 22. Is r(j) a multiple of 5?
True
Let q(x) = -x**2. Let c(z) = z. Let n be c(1). Let u(k) = -2*k**3 - k**2 - 2*k. Let t(h) = n*u(h) + 2*q(h). Is 11 a factor of t(-3)?
True
Let g be 17/(-2)*8 - 1. Let i(l) = 5*l**2 + 19*l - 11. Let o be i(-7). Let j = g + o. Is 13 a factor of j?
False
Suppose -4*w + 364 = c - 4*c, -w + 5*c = -108. Is 22 a factor of w?
True
Let u(m) = 9*m - 13. Let i be u(4). Suppose -21*a + i*a = 114. Does 13 divide a?
False
Suppose -303*p + 304*p = 230. Does 20 divide p?
False
Suppose -3*p + 4*p - 2*g + 207 = 0, 4*p + 4*g = -828. Let s = -27 - p. Does 36 divide s?
True
Let v(w) = -w**3 - 4*w**2 - 5*w - 6. Let y be v(-4). Suppose -2*d + 0*l = 5*l - 37, -d + y = 4*l. Is d a multiple of 13?
True
Suppose 4*y - s - 4357 = 0, -5*s - 20 = 5. Is y a multiple of 68?
True
Does 70 divide -1575*5/15*-2?
True
Let q(w) = -w**2 - 17*w - 30. Let o be q(-15). Suppose -23*x + 20*x + 756 = o. Is x a multiple of 21?
True
Suppose -t = -4*q - 50, 4*t - 206 = t - 2*q. Is 15 a factor of t?
False
Let t(k) = -k**2 + 9*k + 5. Let g be t(5). Let x = 37 + g. Is x a multiple of 13?
False
Let o = 268 - -692. Does 7 divide o?
False
Suppose -4*w = 5*w + 27. Is -2 + 1 - (-13 - (-8 - w)) a multiple of 3?
False
Let k(t) = t**2 - 2*t + 61. Is k(21) a multiple of 46?
True
Let f be 6/8 + (-10)/(-8). Suppose z - 156 = -f*z. Is z a multiple of 11?
False
Suppose 3*n + 2*a = 6355, -5*n - 8*a = -6*a - 10597. Does 32 divide n?
False
Let h(z) = 10 - 2*z - 6*z + 64*z. Is h(3) a multiple of 10?
False
Is 1 + 0 + (535 - -30) a multiple of 12?
False
Suppose -12*r - 539 = -12815. Is r a multiple of 33?
True
Suppose -5*n + s = -10796, -41*n - 8631 = -45*n - 5*s. Does 55 divide n?
False
Suppose 2*k - t = 17, t = -3*k - 2*k + 53. Let n(r) = -r**3 + 1. Let y(g) = -g**3 - 11*g**2 + 8*g + 7. Let w(f) = 2*n(f) - y(f). Is 12 a factor of w(k)?
False
Let h(f) = f**2 - 1. Suppose 6*c + 4 = 8*c. Let z be h(c). Suppose -k = z*k - 40. Is 10 a factor of k?
True
Let x(r) = 3*r**2 + 103 - 76 - 50. Does 33 divide x(7)?
False
Suppose 2*z + 3*z = b + 405, 0 = b - 2*z + 411. Let m = 602 + b. Is 24 a factor of m?
False
Suppose p - a = 2*a - 14, -2*a = 4*p - 14. Let y be (-2)/(-6)*0*p. Suppose 5*j + z - 241 = 0, y*j = -5*j - 4*z + 244. Is 12 a factor of j?
True
Let o(b) = 31*b + 10. Is o(9) a multiple of 14?
False
Suppose 214*z = 203*z + 38896. Is 104 a factor of z?
True
Let r(s) = s**2 - 3*s + 17. Let q be 118/(-15) + (-18)/135. Is r(q) a multiple of 52?
False
Suppose 1984 - 744 = 5*m + 5*g, -734 = -3*m - 5*g. Does 23 divide m?
True
Let t(q) = q**2 + 15*q + 20. Let f be t(-14). Suppose 0 = f*y - 2*y - 208. Is y a multiple of 19?
False
Suppose 6280 = 4*h + 4*j, 8*j - 3*j = -2*h + 3128. Does 20 divide h?
False
Let q(v) = -v**3 - 6*v**2 - 5*v - 6. Let c be (-20)/3 + 4/6. Is q(c) a multiple of 8?
True
Let q(n) = -n - 1. Let f be q(-1). Suppose f = -3*i + 122 + 34. Is i a multiple of 13?
True
Suppose 3*q + 0*u + u - 709 = 0, 5*u - 1175 = -5*q. Suppose -2*k + 2*z = -k - q, -216 = -k - 5*z. Is 21 a factor of k?
True
Let i(m) = -m**3 - m**2 + m - 2. Let r be i(-2). Let s(a) = -a**3 + a**2 + a + 154. Let k be s(r). Suppose 5*b - 3*b = k. Is 23 a factor of b?
False
Let v(x) = -252*x - 503. Is 66 a factor of v(-15)?
False
Does 10 divide (9/2)/(42/2800)?
True
Suppose 3*z - 3 = 0, -2*z = 3*c + 22 - 0. Let j(o) = -o - 19. Let y(q) = 1. Let v(p) = -j(p) + 2*y(p). Does 2 divide v(c)?
False
Let u = -144 - -148. Suppose -u*z - 104 = -412. Is z a multiple of 9?
False
Let y be -2*(3/(-6) - -3). Let f(q) = q**3 - 5*q - 1. Let u(i) = -i**3 + i**2 + 5*i. Let k(w) = -5*f(w) - 4*u(w). Does 2 divide k(y)?
False
Suppose 0*g + 192 = 4*g. Does 14 divide 665/6 + 8/g?
False
Let z = -62 + 65. Suppose 0 = -5*f - 4*l + 75, z*f + l - 41 = 4. Does 2 divide f?
False
Suppose 23943 + 3243 = 23*d. Does 10 divide d?
False
Suppose -2 = -2*j - 2. Suppose j = -m + 97 + 151. Is 33 a factor of m?
False
Let f(r) = -234*r**3 - 2*r**2 - 2*r. Let j be 2 + -6 - (-9)/3. Is 13 a factor of f(j)?
True
Let d be 8 + -4*9/(-12). Let b = 31 + d. Is 7 a factor of b?
True
Suppose -5*q - 4*y = -91 + 244, 62 = -2*q - 2*y. Let r = q + 34. Is 3 a factor of r?
False
Let h(o) = 15*o + 92. Is 10 a factor of h(21)?
False
Let q = -37 + 36. Is (q - -2) + (-3)/3 + 66 a multiple of 13?
False
Let l = 58 + -32. Let u = l - -6. Does 16 divide u?
True
Suppose 4*o = -4*k - 34 - 102, -3*k + 194 = -5*o. Let u = o - -37. Does 17 divide u - 102/((-8)/4)?
True
Let p(d) = -d**2 + 13*d - 9. Let v be p(11). Is 25 a factor of v/78 + (-3147)/(-18)?
True
Suppose 156 = -3*i - 4*c + c, 4*c - 122 = 2*i. Suppose 3*h = -0*h - 3*w - 261, 0 = 4*h - 2*w + 342. Let b = i - h. Is 9 a factor of b?
False
Suppose -3*w = -4*w + 3. Suppose 0 = w*q + 15, q = t - 4*q - 25. Suppose 36 = j - t. Is 9 a factor of j?
True
Let a(k) = 10*k. Suppose -4*o + 2*x - x = -9, 0 = 4*o + 2*x - 18. Let b be a(o). Suppose i - 38 = -3*s, 2*i = -3*s + b + 10. Does 3 divide s?
True
Let s be (-4)/(-6)*-3 - -4. Let k be (32/2)/(1/(-2)). Does 16 divide -1*(s - 2) - k?
True
Let l(x) = 58*x - 19. Is l(3) a multiple of 3?
False
Let o = 20 - 16. Suppose 114 = -o*u + 146. Is u a multiple of 4?
True
Let z be 3/(-6) - (-87)/6. Suppose -c + 4*n = n + z, 0 = 4*c - 5*n + 21. Is 13 a factor of c + -2 + (-1 - -63)?
False
Let t(g) = 6*g + 6. Let v(f) = -7*f + f**2 + 5*f**2 - 3 - f**3 + 3*f**2. Let x be v(8). Does 12 divide t(x)?
True
Suppose -12 = -w - 7. Suppose -605 = -w*h - 5*u, -2*h + 146 + 97 = 3*u. Is h a multiple of 15?
True
Suppose 168 + 32 = -8*t. Is 37/5 + 10/t a multiple of 3?
False
Let f = -1086 - -1866. Does 60 divide f?
True
Let h be (-1)/3 + 3/9. Let q = h - 0. Suppose -x + 16 - 6 = q. Is x even?
True
Suppose 4*k - 36 = -2*r - 2*r, 4*r = k + 16. Suppose -168 = t - k*t. Suppose 3*a - t - 52 = 0. Is a a multiple of 9?
True
Let w = 145 - 42. Suppose 0 = -3*z + 430 - w. Does 17 divide z?
False
Suppose -3*u = -907 - 413. Is u a multiple of 25?
False
Let h = -9 - -5. Let c be 1*(-9 + -3)/h. Let y(v) = 2*v**3 - v. Does 15 divide y(c)?
False
Suppose 8*s + 25259 = 75*s. Does 29 divide s?
True
Is (-64)/10*(-540)/72 a multiple of 28?
False
Let p(z) = -z**3 + 8*z**2 + 4*z - 16. Let w be p(7). Is w + (-15)/(-10)*-2 a multiple of 8?
False
Let j be 9 - 10 - 12/2. Let k(b) = 3*b**2 + 14*b + 7. Is 14 a factor of k(j)?
True
Let p = 123 + -120. Suppose -p*l + 240 = 5*l. Does 3 divide l?
True
Suppose 86 = 5*l - 104. Is l a multiple of 2?
True
Suppose -9*o + 8705 - 1982 = 0. Does 9 divide o?
True
Let w = -5 - -9. Suppose -p = -w*p - 12. Is 7 a factor of ((-2)/p)/(14/476)?
False
Suppose 4*f = 3*n + 148, -f + 5*n - 100 = -3*f. Let u be 144/f*(-10)/