 - 5*l - 553, -2*l + l = g*r - 583. Is r a multiple of 17?
True
Does 72 divide (-649)/(-1) - (-3 - -1)?
False
Suppose 8*i - 408 = 2*i. Let f = i + -4. Is 8 a factor of f?
True
Let p = 4 - 4. Suppose p = x + 8 + 14. Let i = x - -45. Is i a multiple of 13?
False
Is 51 a factor of 70/(-84) - 1330/(-12)?
False
Suppose 2*r = -2*r + 16. Let l be r*2/(-4)*-3. Let p = 15 - l. Is p a multiple of 7?
False
Suppose -81*t + 3 = -80*t. Suppose -650 = t*u - 8*u. Is u a multiple of 11?
False
Let w(c) = -6*c**3 + 2*c**2 + 2*c + 2. Let y be w(-2). Let h = 105 - y. Suppose -3*n + 102 + h = 0. Is 9 a factor of n?
False
Suppose -w + 183 + 55 = 0. Is w a multiple of 7?
True
Let f(o) = 9*o**2 - 11*o - 54. Is 62 a factor of f(11)?
False
Suppose -6*d = -d - 90. Suppose -m + y = 13, 3*m = -5*y + y - d. Let x(g) = -3*g - 12. Is 11 a factor of x(m)?
False
Suppose 2*i = -4, 562 + 132 = 4*q + 3*i. Let s = q + 37. Is 11 a factor of s/10 + 3/(-15)?
False
Let x(c) = c + 6. Let h be x(6). Is (-15*(-1 - (-128)/h))/(-1) a multiple of 34?
False
Suppose -2*a + 237 = -g + 772, 4*g = -3*a + 2129. Is g a multiple of 9?
False
Suppose 4*s + 106 + 482 = 4*b, 4 = -4*s. Suppose 182 + b = 2*f. Is f a multiple of 10?
False
Let m(d) = -56*d + 138. Is 119 a factor of m(-34)?
False
Let z = 197 + -203. Let u(c) = c**3 + 7 - c**2 - 4*c + 6*c**2 - 3*c. Does 5 divide u(z)?
False
Let r(a) = -17*a - 10. Let d(u) = -u**3 - 6*u**2 + 14. Let k be d(-5). Is r(k) a multiple of 44?
False
Suppose -6*u + 2*u + 212 = 0. Let w = -83 + 48. Let d = u + w. Is d a multiple of 9?
True
Let b = -1 - -4. Let m(p) = 2*p**3 - 5*p**3 - 4*p**2 - 9*p + 9 + 4*p**b + p**2. Does 21 divide m(6)?
True
Suppose -7 = -4*o + 13, 232 = w - 3*o. Let g = -139 + w. Is 16 a factor of g?
False
Let l = 0 + 0. Let a be l + 0 - (-87)/(-3). Let q = a + 41. Is 6 a factor of q?
True
Suppose -14*q = 108 - 276. Does 3 divide q?
True
Let j(f) = -58*f + 76. Does 74 divide j(-3)?
False
Let w be (-2)/(-6) - ((-6)/9 - 1). Does 13 divide (w + 11)*(4 + 9)?
True
Let j be (-2)/(-7) + (-7165)/(-35). Let c = j + -145. Does 10 divide (5/10)/(1/c)?
True
Suppose 7212 = 10*g - 5*g - 4*v, -v + 5757 = 4*g. Is 32 a factor of g?
True
Suppose -4*i - 8 = 4*t, -7*i + 2*i = 0. Let u(h) = 28*h**2 + 5*h + 5. Does 9 divide u(t)?
False
Let p(x) = 10*x**2 - 21*x - 25. Is 9 a factor of p(-7)?
True
Let o = 38 + -45. Does 4 divide o*2/(10/(-5))?
False
Suppose 16*g - 37*g = -31542. Does 81 divide g?
False
Let k(o) = 7*o**3 - o**2 + 9*o - 13. Is 21 a factor of k(4)?
False
Suppose 15*p = 2125 + 2375. Is 50 a factor of p?
True
Let k(r) = -r**3 + 5*r**2 + 2*r - 2. Let m be k(5). Let n be -1 + (-12)/4 + m. Is (-17)/((-10)/n - -2) a multiple of 17?
True
Let h(q) be the second derivative of q**4/6 + q**3/3 + 6*q**2 - 16*q. Is 46 a factor of h(-8)?
False
Let b(o) = o**2 - 5*o. Let z(k) = -k**3 + 6*k**2 - 3*k - 1. Let f be z(5). Is 12 a factor of b(f)?
True
Let u = -113 + 61. Let v = u + 70. Is v a multiple of 18?
True
Let y = -59 + 61. Does 34 divide (60 - 1)*y + 2?
False
Let w be (-1 - 1) + -1 - -83. Let q = -47 + w. Suppose -f + q = 7. Is 9 a factor of f?
False
Suppose 0 = m - 5, -4*k + 76 = -0*m + 4*m. Suppose 0 = 4*c - 0*c + 8, 5*t + 3*c - k = 0. Suppose -i + 133 = 8*j - t*j, -3*j + 81 = -3*i. Is 8 a factor of j?
True
Let j = 114 + -43. Let x = j + -24. Is 5 a factor of x?
False
Let h(t) = -t**3 + 7*t**2 + 6*t - 9. Let b be h(7). Suppose -d - 4*x = b, -d + 4*d + 4*x = -123. Is (-6 - -1)*558/d a multiple of 19?
False
Let m = -197 - -290. Is 8 a factor of m?
False
Suppose -18*r - 7*r + 4650 = 0. Does 33 divide r?
False
Is (-19586)/(-35) - (-2)/5 a multiple of 41?
False
Suppose 0 = d + 2*d - 234. Is d a multiple of 39?
True
Let b be 4 + (-8)/(-12)*3. Let r be (-8)/(-16) - b/(-4). Suppose 0 = -3*c + 3, 8*t - 3*t + r*c = 162. Does 8 divide t?
True
Let k = -200 + 311. Is k a multiple of 12?
False
Is 25 a factor of 1530/68*(-50)/(-3)?
True
Suppose -3*g = -2*h + 8, -5*h - g - 10 = -30. Suppose 2*a + 82 = n - 0*n, 0 = 4*a + h. Is 16 a factor of n?
True
Let s(t) = t**3 + t**2 + t - 1. Let m(z) = -6*z**3 - 18*z**2 - 14*z + 6. Let g(n) = -m(n) - 5*s(n). Is g(-12) a multiple of 16?
False
Suppose 3*v - 30*p = -27*p + 1044, 372 = v + 5*p. Is v a multiple of 22?
True
Let u be (-1074)/8 - (-14)/56. Let o = -77 - u. Is o a multiple of 27?
False
Let c(z) = -19*z + 138. Is c(-4) a multiple of 21?
False
Suppose -6*m + 65 + 43 = 0. Suppose -m*i = -24*i + 354. Does 16 divide i?
False
Suppose -13*r = -17696 + 3942. Is 70 a factor of r?
False
Let w(q) = 8*q**2 - 2*q + 6. Let h(p) = p**2 + 5*p + 3. Suppose -2*m + 0 = 2, n = -5*m - 8. Let a be h(n). Does 12 divide w(a)?
True
Suppose t - 843 = 3*p, -71 = -2*p - 63. Does 53 divide t?
False
Let i = 819 - 755. Is 16 a factor of i?
True
Let q(w) be the second derivative of 3*w + 1/12*w**4 - 3/2*w**2 + 0*w**3 + 0. Is 2 a factor of q(-3)?
True
Let y be (-7)/28 - (-205)/4. Suppose -2*r + y = 3*p, -5*r - 4*p + 120 = p. Is 6/r - 229/(-7) a multiple of 33?
True
Let u be (-6)/(-12) + 33/(-6). Let d be u/(15/(-12))*2. Suppose 2*p = -d + 28. Is p even?
True
Suppose 46*k + 16 = 50*k. Suppose -191 = -4*n - p, k*n + 4*p - 236 = -n. Is 8 a factor of n?
True
Let s(v) = v**2 + 13*v + 15. Let j be s(-12). Suppose -3*k + 148 = 2*f - 6*k, -4*f + j*k + 284 = 0. Does 15 divide f?
False
Let i = 27 - 22. Suppose 3*n = 4*u - 509, 8*n - i = 3*n. Is u a multiple of 32?
True
Suppose -v - j + 49 = 2*j, 150 = 5*v - 4*j. Let t = v + 26. Is t a multiple of 12?
True
Let l be 4 + (-1140)/(-16) - (-1)/(-4). Let v = l + 8. Is v a multiple of 10?
False
Suppose 9*m - 5*z + 442 = 5*m, -3*z = -6. Let k = -58 - m. Is k a multiple of 10?
True
Let w = -35 - -976. Is w a multiple of 7?
False
Suppose -165 = -d - 4*z + 395, 2240 = 4*d - 4*z. Is d a multiple of 28?
True
Let r be -3 - ((0/4 - 4) + 22). Let b(z) = -z**3 - 22*z**2 - 29*z - 42. Does 14 divide b(r)?
True
Let s(o) = 34*o - 308. Does 47 divide s(45)?
True
Let r = -12 + 0. Let q = r - -36. Suppose 0 = -f + q + 9. Does 15 divide f?
False
Let v(d) be the first derivative of -d**4/4 + 13*d**3/3 + d**2 + 16*d + 24. Is 29 a factor of v(8)?
False
Let y(p) = -16*p**3 - p**2 + p + 2. Let a be y(-2). Suppose -a = -0*v + 4*v. Let x = v + 58. Is x a multiple of 10?
False
Let u(c) be the first derivative of c**5/60 - 5*c**4/24 + c**3 + 5*c**2/2 + 3. Let h(z) be the second derivative of u(z). Is 10 a factor of h(6)?
False
Let g = 50 - -25. Let a = g + -37. Is a a multiple of 38?
True
Suppose 0*r + 7 = z - 3*r, -r - 13 = z. Does 30 divide (0 + -24)*4/z*15?
True
Let i = 450 + 6. Does 12 divide i?
True
Let v = 27 + -37. Let a = v + 56. Is 6 a factor of a?
False
Suppose 2*w - 45 = -115. Let z be (-25)/w - 6/(-21). Is (2/4)/z*14 a multiple of 3?
False
Suppose 0 = -2*s, k + 2 = 4*s + 7. Suppose -4*c + k*c = 4. Suppose -2*r + 149 = 3*b, 251 = 4*r + c*b - 57. Is 27 a factor of r?
False
Let n = 370 + 434. Is 67 a factor of n?
True
Suppose 278 = -3*a - 2*x, 0*a - 4*x - 268 = 3*a. Let i be a/(-21) + 15/35. Suppose j = -i*q + 2*j + 393, 2*q - 5*j = 148. Is 22 a factor of q?
False
Let s be (1/2)/((-16)/128). Is 14 a factor of 40*1 - 4/s?
False
Let v = 191 + -115. Suppose y = -3*p + 101, 4*p - v - 55 = -5*y. Suppose 194 + p = 4*c. Does 22 divide c?
False
Let q = 2939 - 1889. Is 50 a factor of q?
True
Suppose -478*l + 2244 = -475*l. Does 97 divide l?
False
Let u(q) = q**3 - 15*q**2 - 10*q - 9. Let b = -53 + 69. Is u(b) a multiple of 29?
True
Let m(d) = -d**3 - 9*d**2 - 7*d + 9. Let k be m(-8). Let w(x) = -8*x + 113*x**2 + 14*x - 4*x + 0*x - 1. Is w(k) a multiple of 19?
True
Let q = -169 - -286. Let p be 1/(3/q*-3). Let i(k) = -8*k - 24. Is i(p) a multiple of 16?
True
Let b be (9 + -7)*1/(-2). Let w(s) = -s - 1. Let f be w(b). Suppose -t = -f*t - 45. Does 9 divide t?
True
Let l be ((-4)/(-5))/((-10)/25). Is 23 a factor of (-5)/l*444/30?
False
Let g(r) = r**3 + 13*r**2 + 17*r + 3. Let z be g(-13). Let f be (-2 + (-298)/(-4))*-2. Let j = f - z. Is 22 a factor of j?
False
Suppose 20*t = -13*t + 7920. Is t a multiple of 48?
True
Let j be 18*(-4 - 30/(-4)). Let t be 5/15*j/3. Suppose 28 = 2*w + 3*y, t - 1 = -3*y. Is w a multiple of 4?
False
Let w(t) be the third derivative of 2*t**6/5 - t**5/60 + t**4/12 - t**3/6 - 12*t**2. Does 10 divide w(1)?
False
Let b(t) = -5*t**3 - 15*