 o?
True
Let k(a) = -14 + 9 + 6*a - 3*a. Is k(16) a multiple of 34?
False
Let s(u) = -322*u - 10. Does 16 divide s(-5)?
True
Let k = 6 + -12. Let f be (-30)/k*(-1 - -16). Suppose -f = -4*b - b. Is b a multiple of 7?
False
Suppose -2*m + 16 = -266. Suppose -20*z + m = -19*z. Is 24 a factor of z?
False
Is 27 a factor of (15 - 5593/(-17))*(1 - 0)?
False
Does 16 divide (-5 - (-20)/(-5)) + 1937?
False
Let w(x) = x**3 - 2*x**2 + 3*x + 3. Let a be w(3). Suppose 2*c = -5*y - a, c + y - 1 = -4. Suppose -f = c*f - 63. Is f a multiple of 6?
False
Suppose -5*t + 2*x + 55 = 0, 2*t + 7 = -0*t - 5*x. Let m(o) = o**3 - 9*o**2 - o + 13. Let v be m(t). Is 2 a factor of (-6)/v - (-9)/2?
False
Let a = -3032 - -5041. Does 47 divide a?
False
Suppose 4*t - 5*t = -178. Suppose -9*p + t = -119. Is 33 a factor of p?
True
Let q(o) = -o**2 + 11*o + 14. Let l be q(12). Suppose 3*r - r - 8 = 0, -l*t - 3*r + 278 = 0. Does 21 divide t?
False
Let m be 3 + (1 + 1)/2. Suppose 0 = -7*i + 2*i, 3*i = m*d. Suppose -5*c + 0*c + 75 = d. Is 5 a factor of c?
True
Let g(u) = -u**2 + 7*u - 4. Let n be g(6). Suppose -18 = 2*k + m - 127, -5*k + 275 = n*m. Suppose -2*v = -2*d - 5*v + 43, -3*d = 2*v - k. Is d a multiple of 5?
False
Suppose -5*q = -5*x + 6*x - 196, 4*x - 784 = 2*q. Is x a multiple of 29?
False
Let g(a) = a**3 - 5*a**2 - 14*a - 3. Let b be g(8). Suppose -2*t + 5*x + 14 = 0, -t + 2*x = 4*t - b. Is t a multiple of 2?
False
Let w = 5 - 3. Suppose 5 = 5*t, 3*n - 514 = 2*t - 27. Suppose -3*q + 0*b + 4*b + n = 0, 0 = 3*q + w*b - 175. Does 19 divide q?
True
Suppose p + 4*d + 22 = 2*p, 10 = 3*p + 2*d. Suppose 0 = -z - 4*h + p, -5*z + 5*h + 3 = -2. Suppose 4*u + 6 = z*v - 3*v, -55 = -5*v - 3*u. Is 8 a factor of v?
False
Suppose 5*u - 190 + 170 = 0. Let q be (-2)/(-8) - 87/(-4). Suppose -u*g - q = -114. Is 15 a factor of g?
False
Let r(p) = 5*p**2 + 3*p + 1. Let c be r(-1). Suppose 0 = d - 3*d + 68. Suppose 3*j + c*f - d = j, -5*j + 2*f = -104. Is j a multiple of 11?
False
Suppose -511 = -2*x + 301. Is 26 a factor of x?
False
Let h(y) = 14*y + 6. Suppose -3 = -3*d - 9, 4*d = 2*l - 12. Let g be h(l). Suppose i - g = 12. Does 10 divide i?
False
Suppose 0 = -0*k + 5*k + 15. Let w be (11/2 + k)*2. Suppose -i + 40 - 9 = 4*b, 5*b - 95 = -w*i. Does 15 divide i?
True
Let n(z) = 6*z**2 + 13*z + 14. Is n(-10) a multiple of 44?
True
Is 3102/(-11)*(68/(-12) + 1) a multiple of 25?
False
Let v(u) = u**2 + 19*u - 40. Let a be v(-21). Suppose 5*k - 196 = -j + a*j, 2*j - 48 = -k. Is 6 a factor of k?
False
Suppose -28*f = -13*f - 375. Is f a multiple of 2?
False
Let q(g) = 5*g - 21. Let k(w) = 2*w - 7. Let f(m) = 8*k(m) - 3*q(m). Does 4 divide f(11)?
False
Suppose 30 = 4*w + 10, 2*f + 2*w = 194. Is 5 a factor of f?
False
Let c(f) = 99*f**3 - 4*f**2 + 4. Is c(2) a multiple of 24?
False
Suppose -236 = -5*y - k, 5*y + 52 = 6*y - k. Is 8 a factor of y?
True
Let t(d) = 12*d**3 + 2*d**2 - 5*d + 6. Is 8 a factor of t(3)?
False
Suppose 44*d - 32928 = -12*d. Is 8 a factor of d?
False
Does 18 divide 24/(-30) + 4602/15?
True
Let d(l) = 7*l - 7. Let v(x) = -15*x + 15. Let y(i) = 9*d(i) + 4*v(i). Let c be y(2). Suppose c*s = 4*s - 31. Does 14 divide s?
False
Let m = -6 + 9. Suppose 3*p - 9 = 3*z, m = -2*p + 1. Does 2 divide z*(-3 + -1)/4?
True
Is 7 a factor of (-5 - -4)*(7 + -1596)/1?
True
Let j(a) = 36*a + 4. Let w(f) = -37*f - 4. Let z(n) = 4*j(n) + 5*w(n). Let l be z(-6). Suppose 5*p - q + 3*q = l, -p - 2*q = -50. Is p a multiple of 12?
True
Let h(u) = -2*u**2 - 2*u + 4. Let q be h(0). Let z = 77 + q. Is 20 a factor of z?
False
Let l(i) = 464*i**2 - 10*i - 9. Does 5 divide l(-1)?
True
Let c = 7 - 5. Suppose -l - 3*g + 7 = -0, g - 1 = 0. Suppose c*k + l = 66. Is k a multiple of 12?
False
Let s(f) = -f**2 - 5*f + 11. Let n(v) = -v + 1. Let p(x) = -3*n(x) - s(x). Suppose 5*q + 16 = -34. Is p(q) a multiple of 3?
True
Let v be (-4618)/(-7) + 16/56. Suppose 0 = 7*i + 4*i - v. Is i a multiple of 15?
True
Suppose -w + 178 = w. Suppose 291 = 5*q - w. Suppose 2*i + 4*n - 8 = q, -126 = -3*i - 5*n. Does 14 divide i?
True
Let u = -1 - 8. Is (u - -5) + 2/(4/202) a multiple of 12?
False
Suppose 52*x - 20095 = 44645. Is x a multiple of 116?
False
Let z(g) = 5*g - 10. Let p be z(3). Suppose 2*b + 2*q - 301 = 141, p*q = -5. Does 37 divide b?
True
Let u(b) = -5*b + 1. Let r be u(-4). Let q = -18 + r. Suppose -40 = -q*m + 5. Does 5 divide m?
True
Let g = -1982 + 3495. Is g a multiple of 89?
True
Let f(p) = p**2 - 2*p + 1. Suppose 3*s + 2*t - 20 = 0, 0 = s - t - 2*t - 25. Does 27 divide f(s)?
True
Let m = 9 + 40. Let h = m + -6. Is h a multiple of 10?
False
Let c be (-2)/(-6)*-86*(3 + 0). Let q = 103 + c. Does 2 divide q?
False
Let y be (-1)/((-2)/(-7) - 50/126). Is 11 a factor of (0 - 219/(-6))/(y/36)?
False
Let h(o) = o - 23. Let z be h(17). Is 21 a factor of (1134/(-90))/(z/20)?
True
Let c be (-3)/(1 + (-15)/14). Let b = -12 + c. Let t = b + 32. Is 31 a factor of t?
True
Let b = 205 - 54. Let c = b + -99. Does 11 divide c?
False
Let j(c) = -8*c**3 - 6*c**2 - 12*c - 10. Is 38 a factor of j(-4)?
False
Is (-6)/(-12)*-6*(-1178)/6 a multiple of 31?
True
Let k be -3 - (-1)/1 - -3. Let h be k/3 + (-10)/(-6). Suppose -4 = -a + j, -5*a + h*j + 20 = -j. Is a even?
True
Let d(u) = u**2 + 16*u - 23. Suppose 0 = -2*g - 0 - 38. Does 6 divide d(g)?
False
Suppose -5*t = -4*k + 14, -3*t - 3*k - k = 2. Let p = t + 5. Is p/12 + 345/12 a multiple of 9?
False
Suppose 6*o + 8*o = -112. Let z(r) = 2*r**2 - 58. Does 7 divide z(o)?
True
Suppose 2*q = f + 217, -8*q + 3*f = -3*q - 541. Suppose 0 = -z + 6*z - q. Does 13 divide z?
False
Let p = 143 + -140. Is 2 a factor of p?
False
Let k(p) = p**3 - 19*p**2 + 6*p + 7. Suppose 10 = -2*h, 4*h - 2*h = -2*o + 28. Is k(o) a multiple of 11?
True
Let g(c) = -174*c - 272. Does 4 divide g(-7)?
False
Suppose 0 = 5*h - k - 571, 164 = 4*h + 3*k - 289. Does 19 divide h?
True
Suppose 19*s - 15 = 22*s. Let o(z) = -22*z - 25. Let y(a) = 11*a + 12. Let k(n) = -6*o(n) - 13*y(n). Does 40 divide k(s)?
False
Let h = 228 + -135. Let q = -27 + h. Is 28 a factor of q?
False
Is (-34)/(-629) - 960358/(-259) a multiple of 12?
True
Is 15 a factor of 53/((8/232)/1)?
False
Let w = -12 - -20. Let o be (-44)/6 - (-1)/3 - -6. Is ((-14)/w)/(o/16) a multiple of 28?
True
Let i(p) = 304*p + 152. Does 12 divide i(4)?
True
Let x = 249 + -79. Suppose -4*b + 12 = -4, -d - 4*b = -x. Is d a multiple of 11?
True
Suppose -1958 = -29*n + 2015. Does 32 divide n?
False
Let x(u) = -2*u**2 - 11 + 4*u + 4*u**2 + 7 - u**2. Is x(6) a multiple of 11?
False
Let i be (-460)/(-45) - (-2)/(-9). Let c(k) = -k**2 + 14*k + 8. Is 20 a factor of c(i)?
False
Let p = -2 + 18. Suppose p = -11*u + 15*u. Is 2 a factor of u?
True
Let r(t) = 219*t**2 - 2*t - 3. Let i be r(-1). Is 44 a factor of i + 2 + (-4)/16*0?
True
Let t(s) = -24*s - 224. Does 4 divide t(-30)?
True
Let b(m) = -m**2 - 5*m + 3. Let y be b(-6). Let j(o) = 3 + 3*o + 1 - 6*o - o**2. Is j(y) a multiple of 4?
True
Suppose 12176 = 10*i + 3896. Is 46 a factor of i?
True
Let u(z) = -z**3 - 10*z**2 + 10*z - 11. Let g be u(-11). Suppose 0 = 2*d - g*d - 288. Does 24 divide d?
True
Let s = -9 + 11. Suppose -2*i = s*i - 40. Does 8 divide i?
False
Let b(t) = -360*t - 11. Is b(-5) a multiple of 76?
False
Let g(w) = w - 42. Let j(n) = 5*n - 210. Let r(b) = 33*g(b) - 6*j(b). Let c be r(0). Is 12 a factor of (4/(-6))/(3/c)?
False
Let x(h) = -17*h + 4. Suppose 0 = -2*d + 2*u - 18, -5*d = -2*d + 4*u - 8. Is x(d) a multiple of 28?
False
Suppose 4*l + 4 = 16. Suppose l*u - 300 = -2*u. Is u a multiple of 15?
True
Let p be (1 - (-2 + 2)) + 9 + 58. Suppose -23*y + 27*y = p. Is 9 a factor of y?
False
Suppose -3*y - 4 = -2*r, 4 = -2*y - 5*r - 5. Let s = y + 92. Is s a multiple of 18?
True
Suppose -q = -5*k - 296, 37 = q - 3*k - 251. Is 92 a factor of q?
True
Suppose -3*k = -4*d + 28, 0 = -2*k - 2*k + d - 59. Let i be (k/36)/((-4)/18). Suppose i*c - 14 = 22. Is c a multiple of 9?
True
Let b(f) = f**2 - 5*f - 29. Suppose 68 = 5*w + 4*r, 18 = 2*w - 4*r + r. Is b(w) a multiple of 4?
False
Let j be 28/2*3/(-2). Let k be (-6)/j - 488/(-7). Suppose -l + k = 22. Is 16 a factor of l?
True
Let n = 50 - 104. Let k = 90 + n. Is 28 a factor of k?
False
Suppose -4*s + 968 = -0*s. Does 22 divide s?
True
Suppose -3*p - 2*p - 3*s - 2 = 0, 6 = -3*p +