/(-2))/(-7))/((-5)/10). Suppose -h*b + 54 = -2*b. Does 3 divide b?
True
Let z(b) = 3*b**2 + b - 1. Let m be z(1). Suppose -171 = -v + m*g, 2*g + 274 = 4*v - 360. Is 13 a factor of v?
True
Let s = 22 + -17. Is (s*-4)/(-4)*11 a multiple of 11?
True
Let d = 165 + 3462. Does 117 divide d?
True
Suppose 0*v = -v - u + 6, 5*v = -4*u + 33. Is 10 a factor of (((-75)/v)/(-5))/((-1)/(-6))?
True
Suppose -2*v + 26 = 5*a - 14, -70 = -3*v - 5*a. Let z = v + -28. Suppose -1 - 3 = -2*q, 66 = z*m - q. Is 17 a factor of m?
True
Is 93 a factor of 4/(-5) - (-41890)/50?
True
Let x = -103 + 678. Is 33 a factor of x?
False
Is 103/((-135)/(-300) + (-2)/8) a multiple of 14?
False
Let t(q) = -3*q**3 - 6*q**2 - 4*q - 91. Is 24 a factor of t(-7)?
True
Suppose 18*p + 10*p - 8988 = 0. Does 63 divide p?
False
Let c be (5/(-2))/(7/(-602)). Suppose -17 = -8*u + c. Is 13 a factor of u?
False
Suppose -8*c - 236 = -4*c + 4*m, 4*m - 74 = c. Is 5 a factor of (-4)/6 + c/(-3)?
True
Suppose 0 = 56*g - 42*g - 7000. Is g a multiple of 20?
True
Let w be (-10)/15 - 232/12. Let b = 12 - w. Suppose -4*f + 188 = 5*n - b, 2*n - 3*f = 65. Is n a multiple of 20?
True
Is ((-31)/3)/(2/(-66)) a multiple of 24?
False
Let m(z) = -z - 9. Let l(n) = 4. Let d(c) = 5*l(c) + 2*m(c). Let q be d(-3). Let o = 17 - q. Is 7 a factor of o?
False
Suppose -3*m - 6*t + 2712 = -3*t, 0 = -2*t - 4. Is 18 a factor of m?
False
Let c be 26/(-10) + 4/(-10) - -6. Suppose -2*d = -3*x + 62, -c*x + 19 + 49 = d. Is x a multiple of 6?
False
Suppose 8*j = -89*j + 37830. Is 13 a factor of j?
True
Let p(c) = 12*c - 84. Does 6 divide p(22)?
True
Let j(b) = -b**3 + b**2 + 3*b + 1. Let c be j(3). Let k be 2/c - 1812/(-16). Let v = k - 21. Is v a multiple of 35?
False
Let h = 21 - 15. Is 44 - 5*1/(15/h) a multiple of 15?
False
Let h(i) = 4*i**2 - 2*i + 7. Let a(y) = -y**2 - 1. Let w(n) = -6*a(n) - h(n). Let v be w(1). Suppose 3*b + 372 = 5*l, -b + v*b = -8. Is 21 a factor of l?
False
Suppose 2*a = 4*u - 836 + 2248, -3*a + 2119 = -5*u. Is 6 a factor of a?
True
Does 15 divide 4 - (-3)/(-6)*-2*15?
False
Is 5094/(-8)*(-28)/21 a multiple of 39?
False
Let t(y) = y**3 - 2*y**2 + 6*y - 13. Let g be t(9). Suppose -2*k + 284 - 42 = 2*a, -2*a + g = 5*k. Is 12 a factor of k?
False
Let r(x) = 44*x**2 + 27*x - 69. Is 68 a factor of r(3)?
True
Suppose -j + 20 = 3*j. Let n be -2*((-5)/(-2) - 2). Is (-1)/(n/(j - -2)) a multiple of 4?
False
Let w(r) = r**2 + r + 1. Let n(t) = -5*t**2 - 9*t - 8. Let m(s) = -n(s) - 6*w(s). Suppose -12 = 16*f - 20*f. Does 2 divide m(f)?
True
Suppose -y + 13 = 2*b - 70, -2*b - 379 = -5*y. Is 7 a factor of y?
True
Suppose -86 = 7*o - 450. Is o a multiple of 5?
False
Suppose 4*r - 2*r - 344 = -4*y, -2*y + 2*r = -178. Let z = 327 - y. Does 40 divide z?
True
Suppose -3*v + 0*v - 57 = -3*l, 5*l - v - 115 = 0. Suppose l - 74 = -m. Is 10 a factor of m?
True
Suppose -33*o + 9682 + 21734 = 0. Does 34 divide o?
True
Let c(k) = -2*k - 50. Let n be c(-26). Suppose -n*o + o + 18 = g, 5*o = -2*g + 75. Is o a multiple of 3?
False
Let g be 3544/52 + 2/(-13). Suppose 7 + 3 = 5*u. Suppose g = u*i + 16. Is 13 a factor of i?
True
Suppose -34 = -2*c + 2*r, c - 5 = r - 3*r. Suppose -3 = c*h - 120. Is h a multiple of 9?
True
Suppose 4*d - 1068 = 52. Suppose t = -t + d. Does 35 divide t?
True
Let d = 189 - 74. Let s = 123 + d. Is s a multiple of 17?
True
Let r be (-5 + 1)*(-1 + (2 - 0)). Is 39 a factor of r*(-5 + (-875)/20)?
True
Suppose 45 = 2*o + 3*o. Suppose -o*p = -12*p + 858. Is p a multiple of 22?
True
Let p(m) = 2*m**2 - 7*m + 6. Let y be p(4). Suppose s = -2*l - 2*s + 16, -5*s = y. Let d = l + 29. Does 10 divide d?
True
Suppose 0 = 3*k + 4*i - 2684, 2*k + 2*i = 1281 + 511. Is k a multiple of 36?
True
Let b(r) = -4*r - 7. Let d be b(-11). Let k(t) = 2 - d*t - 9*t**2 - 4 + 40*t + 54*t**2. Is k(1) a multiple of 13?
False
Suppose 3*m - 571 = -5*n, 21*m = 23*m + 5*n - 379. Is m a multiple of 12?
True
Let c = 4 - -2. Let k = c - -10. Is k a multiple of 16?
True
Suppose 3*s = -0*s + 12. Let w be (13 + -3 + s)*5. Suppose -i + w = 7. Is i a multiple of 9?
True
Suppose -i + 4 = 7. Does 6 divide (2 + 2)/(i/(-24))?
False
Let l = 529 - 374. Is l a multiple of 7?
False
Let q = -131 - -205. Suppose -4 + q = 7*h. Is 224/h - (-12)/(-30) a multiple of 6?
False
Let s(u) = -u + 1. Let g be s(-14). Let f = g + -19. Does 17 divide (-4)/((-16)/f) - -52?
True
Let r(v) = -2 + 0 + 13 + 99*v - 98*v. Let n be r(-6). Is 29 + n + (0 - -1) a multiple of 10?
False
Suppose -125*g + 1302 = -122*g. Does 4 divide g?
False
Suppose b - 21 = -3*i, 3*i = -0*i - 3*b + 15. Is 14 a factor of (-7)/56 - (-113)/i?
True
Is 5 a factor of 466 + -4 + 2/2?
False
Let u = -705 + 1430. Is 29 a factor of u?
True
Let b(w) = -w**3 + 5*w**2 + 4. Let d be b(5). Let k be ((-1)/d)/(2/(-8)). Is 3*5*1/k a multiple of 15?
True
Let t be 2 + (-4 + 17)*(-2 + 7). Suppose -t = -p + 5*u, -u - 363 = -5*p - 4*u. Is p a multiple of 8?
True
Let j = 51 - 6. Is j a multiple of 45?
True
Let o(w) = -11*w + 2. Let x be o(1). Let k be (6/4)/(x/84). Does 8 divide -3 + k*(-5)/2?
True
Let q = 2 + -2. Suppose 2*t + 5*f - 226 = 0, q = 4*t - 6*t + 4*f + 244. Is t a multiple of 25?
False
Let l be 4/(-2 + -2) - -25. Let c = -4 + l. Suppose -z = -c - 22. Does 14 divide z?
True
Does 61 divide 960/35*42/4?
False
Let g = -19 - -21. Suppose -3*d = 5*m - 2*d - 45, 0 = m - 2*d - 20. Suppose -g*s + 6*s = -3*k - 8, 2*s = -m. Is k a multiple of 4?
True
Let q(h) = 245*h - 25. Is 10 a factor of q(3)?
True
Suppose 0 = -2*d - 1 + 89. Let h be (-4 - (-45)/10)/(1/(-34)). Let j = h + d. Is j a multiple of 27?
True
Let v = 15 + -11. Suppose 3*x - g - 148 = 0, g = -5*x + v*g + 252. Suppose 4*r - x = r. Is 9 a factor of r?
False
Let s = -2117 - -2486. Does 49 divide s?
False
Let j = 205 + 555. Is 4 a factor of j?
True
Let h = 18 - 14. Let c(r) = -r**3 + 3*r**2 + 3*r + 4. Let k be c(h). Suppose 3*v + k*v = -z + 54, -2*z = 6. Is v a multiple of 13?
False
Suppose -46*q - 210 = -2*o - 48*q, 315 = 3*o - q. Is 3 a factor of o?
True
Let b = 0 + 0. Let k(v) = 0 - 1 + v**2 - 2*v + 12 + 2. Is 3 a factor of k(b)?
False
Let t(w) = -w + 14. Let n be t(12). Let c be n/3 + (-8)/(-6). Is 17 a factor of (-71)/((-2)/c) - 3?
True
Let x(u) = -4*u + 3. Let b be (-3)/1 - (-45)/5. Let g be -6 + b - (9 - 1). Does 17 divide x(g)?
False
Suppose 0 = 14*x - 20*x + 1008. Does 32 divide x?
False
Let k(b) = -16*b + 387. Is 20 a factor of k(-9)?
False
Let y be 80/(-44) + (-2)/11. Let m be 1 + y + 3 + 3. Suppose 4*p = r + 2*r + 9, m*p + 4*r = 50. Does 3 divide p?
True
Let h be -2 + 1/(-3)*0. Let g(n) = -6*n - 8. Let i be g(-3). Let k = i + h. Is k a multiple of 8?
True
Let z be (-128)/14 + 2/14. Is 3 a factor of -1 - z/(9/16)?
True
Let k be 52/6 - (-8)/(-12). Let h be k/24 + 1/(-3). Suppose h*g - 144 = -4*g. Is g a multiple of 12?
True
Let z(y) = -628*y - 26. Does 82 divide z(-2)?
True
Suppose 13 = 2*y + 3*c, c = -2*c + 3. Suppose -v = -3*k - 2*k - 17, 11 = -y*k + 3*v. Is 15 a factor of 37 + 12/(7 + k)?
False
Suppose 4*a = -a + 15. Suppose -a*h = y - 12, -h - 2*h + 12 = -3*y. Suppose -34 = -z - 3*c, 3*c - 5*c + h = 0. Is z a multiple of 14?
True
Suppose 114 + 67 = j. Suppose j = -6*x + 469. Does 21 divide x?
False
Let c = 1 + 30. Let i = -51 + 35. Let j = c + i. Does 5 divide j?
True
Suppose 7 = -5*t - 23. Let a = t - -13. Suppose -5 = 4*x + a, -2*h - 5*x = -41. Does 8 divide h?
False
Suppose -5*j - 2901 = -2*z, -6*z + 3*z = -9. Is 13 a factor of (-18)/24 + j/(-4) + -1?
True
Suppose -2*f + 2*n = -800, -n - 4*n = 3*f - 1200. Is 8 a factor of f?
True
Suppose -5*o - 5 = -k + 14, -k = -3*o - 11. Let z be -3*4/4*k. Does 6 divide z/1 + (-76)/(-4)?
False
Let n(d) = -7*d - 32. Let f be n(-18). Suppose -f = -2*m + 122. Is m a multiple of 15?
False
Let f = 418 - 334. Does 71 divide f?
False
Let t(j) = -207*j**3 - 3*j**2 + j + 3. Is t(-1) a multiple of 11?
False
Let j be (1*9)/((-18)/(-54)). Let z = 46 - j. Is z even?
False
Suppose 0 = -3*h - 0*h - 5*x + 50, 28 = h - 4*x. Is 4 a factor of h?
True
Suppose 2*h = 5*a - 24, -2*h - 4*a - 27 = 3*h. Let j(b) = -4*b - 1. Does 7 divide j(h)?
False
Let l be -4 + (-4)/1 + 37. Let r = -23 + l. Does 3 divide r?
True
Suppose -2*d = -5*d - 270. Let g = d + 47. Let p = g + 74. Does 8 divide p?
False
Let v be (-7)/(-14) + -14*(-289)/(-4). Let p = 