ctor of m?
True
Suppose 0 = 5*u + 5*h - 614 - 341, -3*h = -2*u + 362. Suppose 0*r = -11*r + u. Does 13 divide r?
False
Suppose 9*m - 13*m + 580 = 0. Let k = 35 + m. Is k a multiple of 36?
True
Let o(i) be the first derivative of i**5/20 + i**4/2 - i**3/2 + 4*i**2 + 3*i - 4. Let g(m) be the first derivative of o(m). Does 19 divide g(-6)?
False
Let c = 381 - 54. Suppose i + c + 67 = 5*o, 0 = 2*i - 2. Does 11 divide o?
False
Let u = 623 - 461. Is u a multiple of 6?
True
Let m(k) = 18*k**2 - 4*k + 16*k**2 - 33*k**2 - 22. Is m(-5) a multiple of 5?
False
Let n be (60/(-25))/(1/(-15)*-1). Suppose -r + 396 = v - 5*v, -396 = 4*v + r. Let t = n - v. Is t a multiple of 14?
False
Let v = 1 + 0. Let o(j) be the second derivative of 21*j**5/20 - j**3/6 + j**2/2 - 10*j - 7. Is o(v) a multiple of 8?
False
Let l be (-2)/(-4)*(-5 - 103). Let z = l + 71. Is z a multiple of 17?
True
Let b(w) = 2*w**2 - 11*w + 2. Let p be b(5). Is (-2 - -1)*(-130 + -1) + p a multiple of 32?
True
Let i(v) = -121*v - 256. Does 124 divide i(-27)?
False
Suppose -5*n = 3*q - 2227, 310 = -5*q + 4*n + 4034. Is q a multiple of 54?
False
Suppose -3*r = -v - 44, -r = -3*r + v + 31. Let x = r - 1. Does 4 divide x?
True
Let a = 1205 - 646. Is a a multiple of 56?
False
Suppose 8*l + 17 = 65. Suppose -4*j + 38 = l. Is j a multiple of 4?
True
Suppose 2*g = -n - 39 + 109, -4*n - g + 294 = 0. Let v = n + 42. Is 10 a factor of v?
False
Suppose q - 4*m = -m + 517, 2*m = -8. Does 19 divide q?
False
Let o be (-13)/(-11) - (-2)/(-11). Let t = 3 + o. Suppose 2*q - 14 = 5*b, 1 = q - t*b - 0. Is q a multiple of 8?
False
Suppose -36*t + 44*t = -16. Is 11 a factor of 1541/(-23)*((-2)/t)/(-1)?
False
Suppose -2*j + 7*j - 906 = -2*s, -3*s + 722 = 4*j. Is j a multiple of 14?
True
Let i(o) = 5*o**2 - 4*o + 3. Let h be i(6). Let l = 268 - h. Suppose -3*z + 30 = 5*v - l, -2*v - z + 55 = 0. Does 26 divide v?
True
Suppose 0 = -21*b + 8030 + 37834. Does 65 divide b?
False
Suppose 0 = 8*p - p - 196. Let x = p - 4. Is x a multiple of 6?
True
Suppose -5*l = -0 - 15. Suppose -l*o + 61 = h, h - o = -h + 129. Is 9 a factor of h?
False
Let a be (-5)/(-3) - (-88)/(-33). Is a - (1 - 1) - (0 + -31) a multiple of 6?
True
Suppose -5*p = 2*u - 9156, 89*u - 90*u = -4*p + 7317. Is p a multiple of 30?
True
Let d(m) be the first derivative of -4*m - 1 + 1/2*m**2. Is d(8) a multiple of 4?
True
Let k(s) = 10*s**3 - 2*s + 1. Suppose 5*p - 4 = 2*n, -3*n = -4*p - 1 - 0. Is k(p) a multiple of 7?
True
Let r(g) = g**2 - 70. Let l be r(21). Suppose 3*a - 79 = l. Is 21 a factor of a?
False
Suppose 4*n + 28 - 503 = 3*v, -v - 591 = -5*n. Let m be -4 - n*1/(-2). Suppose -5*o + 135 = 3*z, 2*o - m = o + 5*z. Is o a multiple of 29?
False
Let j = 1152 - 732. Is 85 a factor of j?
False
Suppose 0 = 2*p - 137 - 463. Is p a multiple of 30?
True
Suppose 4*i - 103*n - 1588 = -105*n, 0 = i + 4*n - 390. Is 2 a factor of i?
True
Let u = 751 + -256. Is u a multiple of 33?
True
Let s = -919 + 1673. Is s a multiple of 26?
True
Let r be 6/21 + 165/35. Suppose -h = -5*c - 14, -r*h + c + 70 + 0 = 0. Does 11 divide 96/2 - (h - 10)?
True
Let r = 40 - 38. Suppose z - 3*k - 31 = r*k, -4*k = -4*z + 76. Is 16 a factor of z?
True
Let j(i) = 54*i - 170. Does 57 divide j(5)?
False
Let f(b) = 2*b**2 - 6*b + 4. Suppose -6*p + 9 - 3 = 0. Suppose 4 = -3*v + 4*w, -p - 11 = -3*w. Is 4 a factor of f(v)?
True
Let d = -63 + 45. Let r = 17 + d. Is 18/(r - -2 - 0) a multiple of 10?
False
Is -7 - (-2514)/(30/5) a multiple of 28?
False
Let d(z) = -z**2 - 7*z - 1. Let s be d(-6). Let n(m) = 3*m + 78. Let f be n(29). Suppose 2*u = s*q + f, -2*u + 0*q + 3*q = -159. Does 32 divide u?
False
Suppose -5*y - 3*z + 17 = 0, z - 3 = -2*y - 4*z. Suppose f - 96 = 2*b, -b + 6*b = -y*f + 332. Is f a multiple of 11?
True
Let d = 4 - -1. Let u = d + 16. Suppose -4*a + 77 - u = 0. Is 12 a factor of a?
False
Is 1500/(-5)*7/(-21) a multiple of 50?
True
Let m = 68 - 143. Let c be 10/m - 1322/(-15). Suppose -9 = -w + 5*q, 0 = -2*w - 4*q - 0*q + c. Does 12 divide w?
False
Suppose -6*u = -2*u - v - 5, -4*u = -2*v - 10. Suppose 6*m - 75 - 141 = u. Is m a multiple of 36?
True
Suppose -d + 1 = 5. Let r(g) = -29*g + 28. Does 15 divide r(d)?
False
Let l(o) be the third derivative of -1/60*o**5 - 3*o**2 - 1/2*o**4 - 1/6*o**3 + 0*o + 0. Does 8 divide l(-11)?
False
Let s(p) be the first derivative of p**2 + 16*p + 30. Is 11 a factor of s(2)?
False
Suppose 0 = 7*m - 16 + 23. Is (m - -4) + -19 + 23 a multiple of 7?
True
Is 7 a factor of (-2*4/8)/((-6)/294)?
True
Suppose -20*y + 20554 = -17846. Does 96 divide y?
True
Suppose -2*b = -4*t - 4 - 4, t = -2*b + 8. Suppose -b*p + 16 = 0, 3*y - 49 - 175 = -5*p. Is y a multiple of 17?
True
Let v = -1510 - -1052. Let c = -128 - v. Is c/21 - (-4)/14 a multiple of 8?
True
Suppose -u + 2*a + 564 = 0, -43*a = 5*u - 42*a - 2787. Does 62 divide u?
True
Does 44 divide ((-34)/12 - -3) + (-73906)/(-84)?
True
Does 68 divide (1 - (-1 + 1))/((-77)/(-71071))?
False
Let i be 1/3 - 99/(-27). Suppose -98 = -2*j - 2*x, 0 = -4*x - 0 - i. Is 5 a factor of j?
True
Let i = -116 - -65. Let q be 6/8*(-24)/2. Let y = q - i. Is y a multiple of 14?
True
Let z(m) = -m**2 - 7*m + 4. Let d(x) = x - 9. Let o be d(5). Let p = -11 - o. Is z(p) a multiple of 2?
True
Let y = -14 + 17. Let a = 5 - y. Suppose 5*n - 5 = 2*b, 0 = 3*b - 6*n + a*n - 3. Is b a multiple of 2?
False
Let p be (-560)/(-21) + (-1)/(-3) + 0. Let z = 138 - p. Is z a multiple of 25?
False
Let z be (-2)/16 - 25/(-8). Suppose 4 + 5 = z*s. Is 2 a factor of s?
False
Let n = 1681 - 977. Suppose -5*z = 3*a - n - 115, 6 = 2*a. Is z a multiple of 18?
True
Let i = 5 - 12. Let o(q) = -3*q + 0*q + 12 - 5. Does 14 divide o(i)?
True
Suppose -71 - 8 = -5*b - 2*u, -5*b = 3*u - 81. Let c = b + -11. Does 3 divide c?
False
Suppose 0*d + 2115 = 5*d. Is d a multiple of 16?
False
Let u(p) = p**2 + 6*p - 11. Let n be u(-8). Suppose r - 3*k = 25, -n*r + 4*k = -1 - 69. Let t = 34 - r. Is t a multiple of 8?
True
Suppose 0 = -26*l + 24*l + 188. Let t = l - 64. Does 30 divide t?
True
Let s(h) = -h - 21. Let i be s(-7). Is 4/i + (-4 - (-1968)/28) a multiple of 6?
True
Suppose 1003 = 77*v - 60*v. Suppose -3*q - 5*b + 34 = 0, -2*b - 10 + 35 = 5*q. Let w = v - q. Is 14 a factor of w?
True
Let q(m) = -m**3 - 13*m**2 - 8*m + 33. Let p be q(-12). Is 18 a factor of (60*p)/(-5)*1?
True
Let a(l) = 141*l - 286. Is a(15) a multiple of 31?
True
Suppose -71*m = -74*m - 357. Let r = 139 + m. Is r a multiple of 2?
True
Is (209 - (-3)/3) + 5 a multiple of 43?
True
Let f(b) = -b**3 - 16*b**2 + 13*b + 64. Is f(-17) a multiple of 12?
True
Is 28 a factor of -16*(0 + (-5)/10)*35?
True
Let q(p) = 6*p. Let c(h) = -10*h - 10. Let o(g) = g + 1. Let d(z) = c(z) + 5*o(z). Let s be d(-3). Does 30 divide q(s)?
True
Let z(n) = -n**3 - n**2. Let p(x) = -3*x**3 - 18*x**2 - 7*x - 4. Let k(y) = -p(y) + 2*z(y). Is 31 a factor of k(-15)?
True
Let m(d) = -33*d - 3. Suppose -10 = 4*o - 3*k, 5*o + 7 = k - 0*k. Is m(o) a multiple of 15?
True
Let y(l) = l. Let v be y(0). Suppose v*u - 86 = 2*c - u, 0 = -u. Let i = c - -82. Is 11 a factor of i?
False
Let u = 18 + -22. Let j be (-9)/u*4/3. Suppose j*w + 5*w - 512 = 0. Does 16 divide w?
True
Is 36 a factor of ((-756)/(-49))/(2/28)?
True
Suppose -3*y - 2*j + 153 = 0, -153 = -3*y - 2*j - 2*j. Does 23 divide y?
False
Suppose x + 45 = -2*x. Let i = x + 33. Let v = i - 1. Is v a multiple of 17?
True
Suppose -4*a = -4*u - 3912, a - 986 = u - 2*u. Suppose 3*g = 5*z + 416, 268 = -5*g - 2*z + a. Does 13 divide g?
False
Suppose -8*r = 10*r - 2106. Does 9 divide r?
True
Let b = 5 - 17. Let s(h) = -3*h - 15. Let k be s(b). Suppose -33 = -2*c - k. Does 4 divide c?
False
Let f = -33 - -900. Is f a multiple of 25?
False
Let b = 16 - 16. Let k(c) = -2*c + 3. Let z be k(b). Suppose m - 23 = -z*t, -m = -5*m + 4*t + 172. Does 19 divide m?
True
Suppose -4*n = -3*f - 500, 0 = 4*n - 2*f + 4*f - 480. Is n a multiple of 6?
False
Let m(s) = -s**3 - 16*s**2 - 22*s - 4. Let g = -100 + 85. Is 50 a factor of m(g)?
False
Let f(q) = 42*q + 63. Let b(p) = 1. Let r(k) = -84*b(k) + f(k). Is r(7) a multiple of 42?
False
Let n = -23 - -25. Suppose -5*i - 21 = -5*c - 116, -i + 16 = n*c. Is 16 a factor of i?
False
Let o = 93 - 92. Is 34/2*(o + 8) a multiple of 17?
True
Suppose 4*o - 6*s - 550 = -0