3*r, -3*y = y + 3*r - a. Does 24 divide y?
True
Suppose 0*g = -2*g + 10. Suppose -f = -g*f + 12. Is -1*(-28)/(f + 1) a multiple of 6?
False
Let g = -128 - -300. Is 6 a factor of g?
False
Let y be -7*(185/(-35) - -5). Suppose -4*x = -5*n - 870, -n - 2*n + 5*x - 535 = 0. Does 21 divide ((-20)/25)/(y/n)?
False
Let f be 10/(-3)*3*-1. Let b = 4 - -1. Suppose b*h = f*h - 55. Is 3 a factor of h?
False
Suppose 8*o + 327 = 9*o - 2*q, -1303 = -4*o + 3*q. Is 51 a factor of o?
False
Let c = -7 - -13. Let i = c - 2. Suppose -i*n + 5*m = -218, -2*n = -n + 2*m - 61. Is 19 a factor of n?
True
Suppose -3*p - 3*t = -4212, -5*t + 0*t = -3*p + 4180. Is p a multiple of 50?
True
Let l(i) = -5*i + 300. Does 15 divide l(27)?
True
Let r(q) = -q**2 - 10*q + 6. Let c be r(-10). Suppose -5*j = -5*v - j + c, -4*v - 24 = 4*j. Does 21 divide v/(-9) - (-748)/36?
True
Let w(c) = -c**3 - 11*c**2 + 15*c + 41. Does 4 divide w(-12)?
False
Let v be (35/20)/(2/8). Let b be (v + -3)*9/6. Suppose -46 - b = -4*z. Is 13 a factor of z?
True
Is 38 a factor of 4/6 - ((-175490)/(-21))/(-5)?
True
Let j(v) = 35*v**2 + 67*v - 349. Is j(6) a multiple of 53?
False
Let h be (-2)/(-7) - (540/(-14))/5. Suppose -11*v = -h*v - 252. Is 12 a factor of v?
True
Suppose -5*h + h + 72 = 0. Let o = -12 + h. Is 29 a factor of (-845)/(-26) + o/(-4)?
False
Let r = 1238 - 1141. Is r a multiple of 3?
False
Let l = -12 + 16. Suppose l*j = 75 + 21. Is j a multiple of 19?
False
Suppose 20 = -5*n, -48*s + 49*s - 3*n = 2629. Does 12 divide s?
False
Let m(c) = 308*c - 13. Let n(s) = -206*s + 9. Let j(q) = -5*m(q) - 7*n(q). Is 33 a factor of j(-2)?
True
Let m = 356 + -213. Does 12 divide m?
False
Let f = -904 + 1777. Is 4 a factor of f?
False
Let t = -45 - -1026. Is t a multiple of 56?
False
Let x be -4 - (3 - 4) - -5. Let w be (x/(-5))/((-6)/1260). Suppose 7*q = 4*s + 2*q - w, 5*q + 68 = 3*s. Is 11 a factor of s?
False
Suppose 3*a + 58 = -2*s, 2*a + a = -5*s - 163. Let p = 0 - 8. Let x = p - s. Is x a multiple of 27?
True
Suppose 0 = -7*m + 2*m + 40. Suppose -2*t + m = -6*t, -3*q + 5*t = -40. Is q a multiple of 8?
False
Let k = -505 - -550. Does 5 divide k?
True
Let s = 10 - 9. Suppose 0 = -c + 4 + s. Suppose c*p = 3*g - 218, 0 = g + 2*p - 3*p - 70. Does 28 divide g?
False
Let o(d) = -d**3 + 12*d**2 + d - 3. Is o(9) a multiple of 14?
False
Let d be (-34)/(-8) - (-33)/44. Suppose 4*x = d*x - 105. Is x a multiple of 25?
False
Suppose 2*k + z + 26 = 0, 0 = -3*k + 2*z - 47 - 6. Let v = -12 - k. Is v a multiple of 2?
False
Let a(v) = -61*v + 240. Does 32 divide a(-6)?
False
Suppose 3 = 2*a - 1. Let c be ((-5)/((-10)/52))/2. Suppose a*j = j + c. Does 6 divide j?
False
Let f(u) = -4*u - 14. Let a be f(-6). Let n(z) = -z**3 + 10*z**2 + 2*z - 8. Does 12 divide n(a)?
True
Let l(i) = i**2 - i. Let k be l(2). Let j be -2*((-12)/k)/3. Suppose -10 - 86 = -j*g. Is g a multiple of 17?
False
Let o be 1 + (-4)/(4*-1). Let x(j) = 6 - 9*j - 4 + 3 + 2*j**2 + o. Is 14 a factor of x(7)?
True
Let j be (8 - (-1 + 5))/1. Suppose -t = -z + 18 - 51, 0 = j*t - 2*z - 126. Is t a multiple of 15?
True
Let d(p) = -23*p + 1. Let g be d(-1). Suppose 0 = -28*o - 888 - 680. Let h = g - o. Is 16 a factor of h?
True
Suppose -r + 0*t + 52 = -2*t, 0 = 2*r + 3*t - 76. Suppose -z = 3*z - r. Is 5 a factor of z?
False
Let p(w) = w**3 - 8*w**2 - 12*w + 5. Let l(b) = -b**2 - b + 30. Let u be l(4). Does 17 divide p(u)?
True
Let r(j) be the third derivative of j**6/120 - j**5/15 - j**4/12 - 5*j**3/6 - 4*j**2. Let y(l) be the first derivative of r(l). Is 23 a factor of y(6)?
False
Let k = -791 + 1583. Is 44 a factor of k?
True
Suppose -42*k + 44*k - 945 = -3*j, 4*k = 0. Does 15 divide j?
True
Let i(d) = d**3 + 4*d**2 + 6*d + 4. Let m be i(-2). Let s = m + 24. Is s a multiple of 6?
True
Let i = -66 + -27. Let a(o) = -116*o - 23. Let k be a(-2). Let h = k + i. Is 29 a factor of h?
True
Let q = 182 + -12. Is 54 a factor of q?
False
Suppose -6*n - 3*n + 630 = 0. Let g = n + -40. Is g a multiple of 10?
True
Let g = -39 + 15. Let k = 6 - g. Does 9 divide k?
False
Let q = -125 + 171. Is 23 a factor of q?
True
Suppose -5*i - n = -191, -4*i + 2*i - 4*n + 62 = 0. Suppose -j - 123 = 4*s, 2*s + 5*j = -0*s - i. Let o = s + 54. Does 6 divide o?
False
Let j(r) = -5*r**2 + 6*r - 14. Let q(w) = -16*w**2 + 19*w - 43. Let g(u) = -7*j(u) + 2*q(u). Let i be g(5). Let m = i - 47. Is 6 a factor of m?
False
Suppose 3*w + 15 = -5*v, -v - 5 = 4*w - 2. Suppose 5*k + 4*r - 280 = w, 2*k + 2*r + 48 = 158. Is 4 a factor of k?
True
Let f be -2 + (-46)/(-4) + (-3)/2. Suppose -6*v - 251 = -3*k - f*v, 4*v = -8. Is k a multiple of 11?
False
Let p be ((-3)/(-2) + 0)/(12/80). Suppose 8*n - p*n = -16. Is n a multiple of 2?
True
Suppose -100 = 5*b - 700. Is b a multiple of 12?
True
Suppose 4*c - 30 = -22. Suppose -2*t = 5*x - t + 23, -x + c*t + 2 = 0. Is (x/6)/((-2)/12) a multiple of 4?
True
Suppose -w - 722 = -3*d, 3*d + 4*w - 706 = 9*w. Let j = d + -103. Is j a multiple of 18?
False
Let m(c) = c**2 + 7*c + 3. Let x be m(-7). Let q be (-9 + -10)/(-2 + 1). Suppose -277 = -x*d - q. Is d a multiple of 14?
False
Suppose 3*q + 10 = 5*q, -3*h - 4*q = -29. Suppose -2*x + 6*x - 202 = -h*s, 3*x + 5*s = 146. Is x a multiple of 11?
False
Suppose -w - s = -4*w + 52, -4*s = -2*w + 28. Let y = w + 5. Suppose -2*g + y = -7. Is 5 a factor of g?
True
Let h(o) = o**2 + 6*o + 5. Let v be h(-5). Suppose v = -5*g + 3*j - 136, 4*j = -5*g - j - 160. Let i = g + 41. Is 5 a factor of i?
False
Suppose 3*d + 8 = -d - g, -2*g = 8. Let i be ((13 + -1)/(-4))/d. Suppose 4*k + 0*k - i*b - 41 = 0, -5*b + 60 = 5*k. Is 11 a factor of k?
True
Suppose -2*h + 4*z + 158 = 0, -2*z - 150 = -5*h + 237. Is 7 a factor of h?
True
Suppose 0 = 13*z + 21*z - 12852. Is 9 a factor of z?
True
Suppose 8*s = 5*s + 75. Suppose -16*g + 17*g - s = 0. Is g a multiple of 25?
True
Let n = -5 - -12. Is 7 a factor of (-49)/((n + -2)/(-5))?
True
Is 1141/4*(2/2 + 3) a multiple of 3?
False
Let y = -287 - -557. Does 13 divide y?
False
Let o(f) = 3*f**2 + 2*f - 5. Let r = 26 + -22. Suppose 0 = -r*n + n - 9. Does 10 divide o(n)?
False
Does 17 divide (1718/10)/(3/15)?
False
Let c = 17 - 12. Suppose -5*b = c*z - 215, -5*b = -2*z - 2*z + 172. Does 18 divide z?
False
Let o(b) = b**2 - 26*b + 56. Is o(25) a multiple of 31?
True
Suppose -4*v - 5*o = -10*o - 541, 3*v + 4*o - 367 = 0. Suppose 0 = 3*k - 7*k - 328. Let s = k + v. Does 14 divide s?
False
Let d = -30 - -28. Is 67 - (-4)/(4/d) a multiple of 18?
False
Suppose 4*r + 87 = -2*v + 433, -v - 167 = -2*r. Is 3 a factor of r?
False
Suppose 6*w = -4*c + w + 745, -c + w = -193. Is c a multiple of 10?
True
Let i = -70 - -38. Let k = 78 + i. Does 19 divide k?
False
Suppose 7*v - 4 = -18. Is 13 a factor of 95/v*(3 + -5)?
False
Let x = -18 + 28. Suppose -x*s = -5*s - 110. Let h = -16 + s. Does 6 divide h?
True
Is 46 a factor of 2 + (179 - 0) - (15 - 17)?
False
Suppose -2*x + 5*z - 299 = -4*x, -3*z + 297 = 2*x. Is 21 a factor of x?
True
Suppose -4*v + 104 - 46 = o, 4*o - 156 = 3*v. Is o a multiple of 21?
True
Is 22 a factor of (66/7)/(2/(-756)*-6)?
True
Let t be (2/(-5))/(-1)*70. Let o = 44 + t. Does 11 divide o?
False
Let n = -2018 + 3135. Is 57 a factor of n?
False
Does 12 divide 279 - -1*(4 - 7)?
True
Is 16 a factor of (44/(-6))/((-4)/66)?
False
Let d(w) = -w**2 - 16*w + 14. Let k(l) = -l**3 - 6*l**2 - 3*l + 3. Let h be k(-4). Let x be d(h). Is 9 a factor of 0 + 51 + (-9)/x?
True
Let h(l) = l**2 + 7*l + 10. Let k be h(-5). Suppose -j + 4 + 4 = k. Is ((-70)/(-8) - -1)*j a multiple of 26?
True
Suppose c - 2 = 0, u - 2*u + 3*c + 609 = 0. Suppose -u = -8*x + 345. Is 30 a factor of x?
True
Let p be (10/25)/(10/125). Does 10 divide 92 - (7 + p/(-1))?
True
Let i be 1*((-4)/(-20))/(4/20). Is 11 a factor of ((-5)/15)/(i/(-213))?
False
Suppose 25 + 83 = n. Let r be ((-2)/(-6))/(9/n). Is 35 + -7 - (r + -1) a multiple of 15?
False
Let r = -50 + 52. Suppose 156 = -r*b + 3*b. Is 46 a factor of b?
False
Suppose -5*p + 3443 = -3*l, 5*p + 188*l - 192*l = 3444. Is p a multiple of 16?
True
Let u(w) = -w**3 - 8*w**2 + 9*w + 5. Let y be u(-9). Suppose v + 1140 = -4*d, y*d - 3*v + 1425 = -5*v. Let a = -197 - d. Does 20 divide a?
False
Let s(z) = -z**2 - 5*z - 3. Let w be s(-3). Suppose -w*u - 366 = -6*u. Does 37 divide u?
False
Suppose k - 6*k -