actor of (40/(-60))/(1/(-231))?
False
Does 9 divide 2/((-20)/(-155))*2/1?
False
Suppose 18 = 2*a - 3*c, -4*a + 3*c + 3 = -7*a. Let z be a/9*1*6. Is -4 + z - -8*2 a multiple of 14?
True
Let t be -2*(-2)/((-8)/(-6)). Suppose 4*w = -5*r + 74, -r = -4*w + t + 59. Does 8 divide w?
True
Suppose -4*p + 5*p + 50 = 0. Let t = -34 - p. Is 4 a factor of t?
True
Suppose -5*d = 0, 2*d - 10 = -5*h - 2*d. Let r(v) = v**2 - 1. Let q be r(h). Is 5 a factor of 14/q + 3/9?
True
Suppose 3*a - 3*w - 21 = 0, -a + 3*w + 12 = w. Suppose 3*b + 174 = 3*k, -290 = -5*k + a*b - 6*b. Is k a multiple of 16?
False
Suppose 3*s + 105 + 0 = -4*g, 0 = 4*s + 3*g + 133. Let q = s + 80. Is q a multiple of 17?
False
Let w be (-3)/(-2) - (-6)/(-4). Suppose b + 3*a = -0*b - 3, -b - 2*a = w. Is b a multiple of 2?
True
Suppose 0 = -5*p + 5*s + 20, 4*p + 5*s + 24 = 4. Let q(r) = 14 - 3*r + 2*r - 3 + p*r. Does 5 divide q(6)?
True
Let u = 9 + -4. Suppose 6 = -5*d - 4, u*s - 4 = -3*d. Suppose -4*g + 153 = 2*y - y, s*g - 79 = -y. Is 19 a factor of g?
False
Let l(z) = -2*z**2 - 5*z + 3. Let j(w) = w**2 - 1. Let p(h) = 3*j(h) + l(h). Let k be p(5). Suppose 4*r - 63 - 33 = k. Does 12 divide r?
True
Let k = 4 + 7. Suppose -k = -a - 0*a. Is 4 a factor of a?
False
Does 22 divide (-1 - -7)*(-28)/24*-14?
False
Suppose -1 = x + 10. Let f be x/(-2)*(0 - -6). Suppose v - f = u + 14, -v + 2*u = -50. Is 21 a factor of v?
False
Let d be (-6)/(-1) - (-1 + 2). Suppose -3*b - q + 219 = 0, -d*b + 5*q + 109 = -236. Is b a multiple of 25?
False
Suppose 5*p - 244 = -2*h, 5*h - 141 = -3*p - 6. Does 9 divide p?
False
Let l = -1 - -3. Let s be l + (2 + -10)*4. Is 6 a factor of 6/s + 61/5?
True
Is 19 a factor of (-58)/1*(4 + -5)?
False
Let c(q) = 4*q + 4. Let u = 17 - 13. Is c(u) a multiple of 5?
True
Suppose -192 = -3*m - 3*i, -4*i + 172 = 3*m - 6*i. Let d = 17 - 47. Does 18 divide m/25*d/(-4)?
True
Is ((-3)/2)/((-3)/26) a multiple of 6?
False
Suppose 2*t - 6 = 22. Suppose -2*s + 5*i + t = 0, 6 = 2*s - 0*s - 3*i. Let p(g) = -4*g - 2. Is 3 a factor of p(s)?
False
Suppose 32 = 3*l - l. Does 5 divide l?
False
Let j(r) = -r**3 - 4*r**2 + 3*r + 4. Let m be -8 - (4/4 + -4). Is 5 a factor of j(m)?
False
Is ((-2)/2)/(2/(-24)) a multiple of 12?
True
Let v = 12 + 2. Does 16 divide v + 4 + (-2)/2?
False
Suppose -36 = -l - 2*l. Let w(n) = 2*n - 10. Is w(l) a multiple of 7?
True
Let q = 75 - 36. Is 13 a factor of q?
True
Let r = -231 - -457. Does 34 divide r?
False
Let k(c) = c**2 + 6*c + 7. Let g be k(-6). Suppose -o + g = -3*j, 5*o - j - 23 = 12. Does 3 divide o?
False
Suppose f = -2*x - 30, -5*x = f - 6*f - 105. Suppose 5*g = 4*g - 1. Is 12 a factor of (9/6)/(g/f)?
True
Suppose 396 = 12*c - 3*c. Does 7 divide c?
False
Let u be (-3)/(-4) - 2/(-8). Is (2 - 3) + 3*u a multiple of 2?
True
Suppose 4*f + 4 = -4. Is 4 a factor of f + 0/1 + 8?
False
Let i = -209 - -383. Is 29 a factor of i?
True
Let m(n) = n + 2. Let d(i) = -i - 2. Let l be d(-7). Let t be m(l). Let a(v) = v**3 - 8*v**2 + 9*v + 9. Is 11 a factor of a(t)?
False
Let f(v) = 3*v**2 + 36. Does 36 divide f(0)?
True
Let l = -10 - -108. Let j = 165 - l. Is 17 a factor of j?
False
Suppose -4*q + 216 = -2*q. Does 36 divide q?
True
Let v = -37 - -96. Suppose 3*w = v + 37. Is 11 a factor of w?
False
Let n(r) = r**3 + 11*r**2 + 13*r - 2. Let w(o) = 2*o**3 + 11*o**2 + 14*o - 1. Let z(h) = -3*n(h) + 2*w(h). Is 12 a factor of z(12)?
False
Let a(p) = p**3 + 6*p**2 - 7*p - 9. Does 11 divide a(-6)?
True
Is (-15)/(-2*3/18) a multiple of 7?
False
Suppose 20 = -0*u + 5*u. Suppose 0 = 2*k - 10 + u. Does 2 divide k?
False
Let n = 6 - 4. Suppose -n*v + 93 = -11. Does 13 divide v?
True
Let s be 652/8 - 2/(-4). Suppose g + s = 3*g. Is g a multiple of 14?
False
Let o = 7 + -3. Suppose 7*s - o*s = 9. Is s/((-9)/6) + 32 a multiple of 16?
False
Let q(r) = -2*r**3 + 3*r**2 + 3*r + 3. Let s be q(-2). Suppose -m = 4*m - s. Suppose 27 = 4*y - m. Is 4 a factor of y?
True
Let l(m) = -m - 3 + 10*m**2 + m**3 - 4*m**2 - 1. Let j be l(-6). Does 11 divide (17/j - 3)*4?
True
Let x(r) = -r**2 - 11*r + 11. Let u be 9/((1 - 4) + 2). Does 11 divide x(u)?
False
Let u be 4/10 - 204/(-15). Suppose 3*g + 3 = 18. Suppose 2*x + g*z = 31, z + 19 = x - u. Is x a multiple of 14?
True
Suppose -3*l - 69 = -6*l. Let j = -12 + l. Is 7 a factor of j?
False
Let g(y) = 6*y + 15. Is g(7) a multiple of 15?
False
Let w = 24 + 174. Is 11 a factor of w?
True
Suppose -3*r = -0*r - 90. Suppose r = 4*u - 78. Is u a multiple of 9?
True
Suppose 98 = 5*w - 2*c, 4*w - 68 = -0*c - c. Does 18 divide w?
True
Let x(k) = -k - 10. Let v(y) = -y - 1. Let u(d) = -2*v(d) + x(d). Let t be u(6). Is 12 a factor of (-84 + -3)*t/6?
False
Let o = -21 - -109. Does 22 divide o?
True
Let v(s) = 12*s**2 + 3*s - 4. Does 3 divide v(1)?
False
Suppose -864 = 4*j - 13*j. Is j a multiple of 14?
False
Suppose 0 = 4*t - 10*t + 672. Is t a multiple of 14?
True
Let v(c) = -6 - 500*c + 3 + 2. Let h be v(1). Does 21 divide (-2)/(-8) - h/12?
True
Suppose 0 = -3*k + 2*k - 4*q + 2, 5*k - 10 = -q. Suppose 4*b + 3*g + 135 = k*g, -b = 3*g + 31. Let d = -24 - b. Is d a multiple of 10?
True
Suppose -4*t = -6*t + 50. Let b be 2/7 - -4*(-20)/35. Let u = b + t. Is u a multiple of 14?
False
Let y(a) = 9*a**3 - 3*a**2 - 6*a. Let k be y(5). Suppose 6*o = 3*o, k = 5*z - o. Is 17 a factor of ((-4)/6)/((-8)/z)?
True
Let i be (-10)/(-2)*48/4. Suppose 2*q = 6*q + i. Let h = 12 - q. Is h a multiple of 11?
False
Suppose 28*v - 32*v + 1300 = 0. Is 43 a factor of v?
False
Suppose 3*v - 2*p + 5 = 2*p, -35 = -5*v - 2*p. Let h be (v - 6)/(2/(-34)). Suppose 2*y = 13 + h. Is y a multiple of 5?
True
Let u = 12 - 7. Suppose -a + 3*p = -78, -13 - 394 = -u*a - 2*p. Suppose 0 = w - r - 21, 2*w = -w - 3*r + a. Is 8 a factor of w?
True
Let c = -39 - -30. Let p(y) = y**2 - 5*y - 6. Let t be p(5). Does 7 divide (-5 - c) + t/(-2)?
True
Let t = 148 - 89. Is t a multiple of 6?
False
Let d = 38 - 26. Is d a multiple of 6?
True
Let h = 6 + -2. Suppose -2*y - 3*y = h*b - 23, 0 = -2*y - 5*b + 16. Suppose -4*s - 68 = -4*n, -y*n = -5*n + 5*s + 49. Is 12 a factor of n?
True
Suppose 5*q - 5*y = -4*y + 30, -q + y = -6. Is q a multiple of 2?
True
Let i be (-2 + 1 - -27)/1. Suppose i = 3*g - g. Is 8 a factor of g?
False
Let v be 2/(-3 - -2) + 6. Suppose -2 = -3*w + v. Suppose a = -w*l + 6 + 16, -a - l = -26. Is 13 a factor of a?
False
Suppose -m + 82 = -6. Is m a multiple of 44?
True
Suppose 2*b + 96 = 5*b. Does 4 divide b?
True
Suppose 0 = c - l - 40, -3*l = -5*c - l + 197. Is c a multiple of 12?
False
Suppose 2*g + 662 = 4*m + 4*g, -2*g = -m + 163. Is m a multiple of 27?
False
Does 20 divide (120/(-28))/((-3)/(-84)*-2)?
True
Let k(u) = 3*u**2 - u. Let o be k(-1). Suppose o*n = -0 + 12. Is (-17)/n*(-4 + 1) a multiple of 8?
False
Let a = -4 - -74. Does 10 divide a?
True
Suppose -4*i - 374 = -5*o, 3 = -4*o + 11. Suppose -4*f = 2*q + 222, 2*q + 48 = -0*f - f. Let h = f - i. Does 10 divide h?
False
Let q(v) = v + 375. Let m be q(0). Suppose -3*w + m = -0*w + 3*s, 2*w = 2*s + 246. Suppose -2*j + 3*p = p - 80, 0 = -3*j + 5*p + w. Is j a multiple of 19?
True
Suppose -3*z = -3*j + 2*z + 18, -28 = -2*j - 2*z. Suppose 3*p - w = 5, -4*p + j = -0*p + 3*w. Suppose s + 8 - 4 = 0, h = -5*s - p. Is 13 a factor of h?
False
Let x be -1 + 72/3 + 1. Suppose -3*l = 5*z - 3*z - x, 3 = z. Does 3 divide l?
True
Let q = 20 - 14. Does 3 divide q?
True
Let o(q) = q**3 + 18*q**2 - 8*q - 19. Is 10 a factor of o(-18)?
False
Suppose 0 = 2*l - 5 - 3. Suppose 72 = l*p + 264. Let b = p - -74. Is b a multiple of 20?
False
Suppose -4*t - 20 = -9*t. Suppose t*u + 16 = 5*u. Is 12 a factor of u?
False
Suppose 15*p - 14*p = 76. Does 13 divide p?
False
Let c be (-22)/6 - 5/15. Let i be ((-6)/(-2))/(-3)*c. Let q = i + -1. Does 3 divide q?
True
Suppose -2*a - 3 = 3*u, -5*a + u + 14 + 21 = 0. Suppose -a*c - 348 = -9*c. Suppose -3*t + 7*t - c = -4*o, -5*t - o + 165 = 0. Is 17 a factor of t?
True
Let f be -2*(-3)/(-12)*2. Is 4 a factor of (-3)/f - 5/(-5)?
True
Does 28 divide (21/3*-36)/(-1)?
True
Let j = 63 + -12. Let g = -32 + j. Is g a multiple of 19?
True
Suppose 0 = 2*q + 3*y - 93, -5*q = -q + 3*y - 171. Is 16 a factor of q?
False
Suppose 30 - 10 = 4*q. Let g(y) = -16*y - 5. Let w be g(-15). Suppose -w = -5*d + 5*s, -q = d + 5*s - 22. Is 21 a factor of d?