 u - w = 0. Does 17 divide k?
True
Let a be 6/12 - (-7)/2. Suppose a*h = -2 + 18. Suppose h*s - 27 = -3*k + 9, s - 9 = -2*k. Is s a multiple of 2?
False
Suppose 5*m = -0 - 15. Let l be (-1 - -1 - m) + 2. Suppose -n - 120 = -l*n. Does 15 divide n?
True
Suppose -2*s = -z - 56 - 25, 2*s + 4*z = 106. Let g = 79 - s. Is 18 a factor of g?
True
Suppose 2*b - 4*b + 288 = 0. Suppose h - b + 54 = 0. Suppose 3*f - h = -6. Is 7 a factor of f?
True
Let m(c) = 4*c**2 + 5*c - 12. Let k be m(-6). Suppose k*a = 100*a + 496. Does 37 divide a?
False
Suppose 5*y - 4*k = -6, -4*y - 13 = y + 3*k. Let m be y/5 + 22/5. Suppose 4*i + 3*q = 53, -m*i = q - 5*q - 32. Is 4 a factor of i?
False
Let d(u) be the first derivative of u**4/4 + 3*u**3 + u**2 - 4*u + 3. Does 11 divide d(-8)?
True
Let i = -21 + 1. Let u be (i/16)/((-1)/4). Is (93/6)/(u/30) a multiple of 27?
False
Suppose -o = -2*o + 12. Let q be (-224 - 1)*(-8)/o. Suppose -3*z + x = -150, -4*z + 5*x = -7*z + q. Does 25 divide z?
True
Suppose 49 = 2*k + 39. Let s(f) = -f**2 + 4*f + 9. Is 4 a factor of s(k)?
True
Let a = 91 + -3. Suppose 6*m - 8*m + a = 0. Is m a multiple of 7?
False
Suppose 0 = 4*v - 2*v - 10. Suppose v*h + 800 = 5*i + 4*h, 5*h - 640 = -4*i. Is i a multiple of 24?
False
Let m(t) = t**2 - 4*t - 4. Let k be m(7). Suppose 3*b + k = -1. Is 73 - (-4)/(-4 - b) a multiple of 15?
True
Suppose 4*g = 8*g + f - 372, 2*g = -f + 186. Does 3 divide g?
True
Suppose 27*g = 29*g - 24. Is 4 a factor of (-12)/(-9) + 596/g?
False
Let c be 3/((-2)/(-3 - -1)). Suppose s - 2*o = 5*s - 12, 3*s - c*o = 9. Suppose 0 = -s*m - 70 + 442. Does 32 divide m?
False
Suppose -m = -3, 4*y - m = 14 - 1. Suppose y*q - 100 = 100. Is 25 a factor of q?
True
Let f(d) = -d**3 - 9*d**2 - d - 7. Let c be f(-9). Suppose 0*o = c*o + 74. Let p = o - -86. Is 7 a factor of p?
True
Let x = 429 - 261. Is 7 a factor of 1/(((-4)/(-1))/x)?
True
Let v = -300 + 467. Suppose 2*i - v - 59 = 0. Is i a multiple of 27?
False
Suppose 6*b + 5 = 17. Does 26 divide (6/4)/(1985/(-1000) + b)?
False
Let u(p) = 13*p**2 + 1. Let l(f) = f**2 + 6*f - 6. Suppose 3*x = 4 - 25. Let j be l(x). Is 14 a factor of u(j)?
True
Does 20 divide 555/12 + 15/(-40)*-2?
False
Suppose -6324 = -3*l + 4*m, 2*l + 5*m + 539 = 4755. Does 62 divide l?
True
Suppose 3*o - 6*o + 717 = 2*j, 5*o + 4*j = 1195. Is o a multiple of 7?
False
Let h = 0 + -4. Let o = -131 - -161. Let p = h + o. Does 8 divide p?
False
Suppose -2*d = 9*d + 2*d. Suppose d = -7*y + 109 + 150. Does 7 divide y?
False
Let t(l) = -8*l**3 + 2*l**2 + 4*l. Let r be t(-2). Suppose 2*k = -3*u + 96, 0*u - 2*u + r = -2*k. Is u a multiple of 16?
True
Let y(w) = w**3 + 15*w**2 - 19*w + 8. Let b(g) = -g**3 - 11*g**2 + g - 5. Let t be b(-11). Is y(t) a multiple of 14?
True
Let n(f) = f**3 + f**2 - 3*f - 4. Does 16 divide n(6)?
False
Let h = 66 + 110. Let z = -126 + h. Does 50 divide z?
True
Let s = -54 - -52. Does 3 divide ((-4)/s)/(2 - 7/4)?
False
Suppose -68 + 12 = -d - 5*v, 2*v = -5*d + 280. Let b = -8 - -6. Does 7 divide b*2/(-8)*d?
True
Suppose 7*g - 9*g + 212 = 0. Let c = -85 + g. Is c a multiple of 20?
False
Let o(y) = y**3 - 9*y**2 - 16*y + 11. Let g(p) = -p - 4. Suppose -6*u + 15 = -7*u. Let i be g(u). Does 24 divide o(i)?
False
Let p(m) = m**3 - 18*m**2 + 7*m - 77. Is p(18) a multiple of 7?
True
Suppose 0 = -k - 4*k - w - 96, -2*k = -3*w + 52. Is 50 a factor of 8*50/(-4)*k/8?
True
Let t(l) = -78*l + 32. Does 20 divide t(-7)?
False
Let z be 10/(-15) - 2/(-3). Is 365 - (3 + 2 + z) a multiple of 21?
False
Suppose 4*y - 5*j = -3*j - 2, 5*j = 25. Suppose 4*u = y*r + 310, 0 = -u + 6*r - 4*r + 79. Is u a multiple of 11?
True
Suppose -165*h + 170*h - 6020 = 0. Is 43 a factor of h?
True
Let b be 4 - 9*4/(-6). Suppose 0 = -5*s - b, -3*n + s + 224 = -n. Does 14 divide n?
False
Suppose 0 = -o + 2*i + 595, o + 2*o = -4*i + 1825. Does 23 divide o?
False
Suppose 0 = h - 4*g - 22 - 1, 4*g = 5*h - 35. Suppose h*n - 57 = -x, -5*x = 5*n - 2*x - 91. Does 10 divide n?
True
Let t(x) = x - 17. Let w be t(13). Let c(j) = -j**3 - 6*j**2 - 2*j - 2. Let v be c(w). Does 4 divide 67/5 + v/65?
False
Is 6 a factor of (-783)/(-5) + -1 + (-8)/(-20)?
True
Let b(l) = -19*l**3 + 5*l**2 - 8*l - 9. Let v(o) = 18*o**3 - 4*o**2 + 7*o + 8. Let t(j) = -4*b(j) - 5*v(j). Is 38 a factor of t(-2)?
True
Let s be (-44)/(-16) - (-2)/8. Suppose 3*n + 3*k - 7 = n, -k + 21 = s*n. Is 4 a factor of n/4 + 56/4?
True
Let q(n) = n**2 - 10*n - 3. Let p be (22/(-6))/((-12)/36). Let r be q(p). Does 16 divide r/((-7 + 3)/(-8))?
True
Suppose -d = 4*x - 9, -x + 2 + 1 = d. Suppose d = -4*m - 11. Let t(j) = -j + 2. Is t(m) a multiple of 4?
False
Suppose -s + 3*v = -37, 27 = 4*s - 3*s - v. Suppose 2*w - 3*w = s. Is 21 a factor of 12/(-8)*w - 1?
False
Suppose -68996 = -16*d - 16100. Is 58 a factor of d?
True
Suppose 2*x - 408 = -2*x. Suppose 0 = 2*q - 4*q - x. Let r = 87 + q. Is r a multiple of 6?
True
Let j(n) = 157*n - 11. Let p be j(-13). Is 19 a factor of (2/3)/(6 + 12304/p)?
True
Suppose -4*t = j - 54 - 15, 0 = 2*t - 3*j - 17. Does 20 divide -4 + (436/t)/((-2)/(-8))?
False
Let h(g) = 54*g + 319. Does 6 divide h(-5)?
False
Let m(k) be the first derivative of -k**6/60 - k**5/20 + k**4/8 + k**3/2 - k**2/2 + 6. Let r(f) be the second derivative of m(f). Is 7 a factor of r(-3)?
True
Is 41 a factor of (-5)/10*6/(-3)*902?
True
Suppose 1487 = 4*x + 3*n - 8988, -5*x = -n - 13070. Does 77 divide x?
False
Suppose 16*t - 8880 = -8*t. Is 15 a factor of t?
False
Let o = 34 - 26. Suppose -1308 = 2*y - o*y. Is y a multiple of 23?
False
Let t(y) = y**3 - 17*y**2 + 23*y + 9. Let g be t(17). Suppose -7*b + 3*b + g = 0. Is b a multiple of 25?
True
Let v be (-4)/(-6)*(-17)/((-102)/36). Suppose -244 = -4*d - v. Is d a multiple of 33?
False
Let r = 399 + -153. Does 13 divide r?
False
Let v = 16 + -13. Suppose -v*l - 2*x = -28, 2*l + 0*x - 5*x = 25. Does 3 divide l?
False
Suppose 2*y - 5*y + t = -5, 10 = 2*y + t. Suppose 5*m - 268 = m + 4*l, -2*m + y*l + 139 = 0. Is m a multiple of 31?
True
Let d = 214 - -319. Does 35 divide d?
False
Suppose a + 358 = 2*a - 2*w, -2*a + 2*w = -708. Suppose -3*y + 280 = -4*v - 7*y, 5*v + a = 4*y. Let b = v - -151. Is b a multiple of 27?
True
Let x(r) = 16 - 45*r - 7*r - r - 5. Is 34 a factor of x(-3)?
True
Let u be (-146)/30 - 44/330. Is 26 a factor of 103 + (-8 + 3)/u?
True
Let t = -9 - -18. Let q(d) = -6*d + 80. Let p be q(13). Is 186/t + p/(-3) a multiple of 4?
True
Let c = -114 + 142. Does 14 divide c?
True
Let d(r) = -284*r - 106. Is 17 a factor of d(-4)?
False
Let q = -59 + 104. Let x be (q/(-6))/(-3)*-2. Let u = 7 - x. Is u a multiple of 12?
True
Let u(y) = y**3 - 20*y**2 + 42*y + 31. Is u(18) a multiple of 4?
False
Let t = 2 - -2. Suppose t*x + 15 = 5*x. Is (x/(-6)*60)/(-2) a multiple of 18?
False
Does 4 divide (8/10)/2 - (-472)/20?
True
Let k = -23 - -51. Suppose 8*m = k + 204. Is 17 a factor of m?
False
Let b(l) = -l**2 - 14*l + 40. Is b(-14) a multiple of 10?
True
Let b(a) = -167*a + 3. Let q be b(-3). Let l = -341 + q. Is l a multiple of 14?
False
Suppose 6336 = -28*u + 39*u. Does 36 divide u?
True
Suppose -3*z = -2*z - 10. Let a(v) = -2 + 0*v**3 - 4 + z + 3*v**3. Does 10 divide a(2)?
False
Let m = 0 + 1. Let j be 0/m*7/14. Suppose j*z + 2*z + 54 = 3*s, 5*z + 36 = 2*s. Is s a multiple of 18?
True
Let h = 5 + 0. Suppose h*x + 0*t = -4*t + 142, 3*t = -6. Suppose 5*j - x = -0. Is 5 a factor of j?
False
Let i(c) = c**2 + 3*c + 3. Let d be i(-4). Suppose -d*z = -4*z - 6. Suppose a + 9 = 2*p, 2*p - 3 = z*a + 7. Is 4 a factor of p?
True
Suppose 1177 = 3*g + 37. Let z(p) = p**2 - 11*p + 10. Let a be z(10). Suppose -6*x + x + g = a. Does 8 divide x?
False
Let h(m) = 160*m - 327. Is 29 a factor of h(8)?
False
Let l = -226 + 317. Is l even?
False
Suppose -4 = 5*m - 104. Does 15 divide m*((-12)/(-8) - -1)?
False
Let a(u) = u**2 + u + 1. Let b be a(-3). Suppose -5*z + 5*j = -25, -4*z + 5*j + 9 = -b*z. Suppose 0 = -5*p + z*p + 48. Is p a multiple of 9?
False
Let j be 39/12 - 2/8. Let l = 6 - j. Suppose 0*p - 255 = -l*q + 4*p, 2*q + 5*p = 170. Is 21 a factor of q?
False
Let n(f) = -f**3 + 7*f**2 + 8*f + 6. Let h be n(8). Is 22 a factor of (h/(-4))/(12/(-1544))?
False
Does 25 divide (145/6)/(16/96)?
False
Let o be (-2)/6*-1*105. Let i = 29 - o. Does 10 divide (0 + i + -4)*-5?
True
