 = f + 205. Is 18 a factor of s?
False
Let v be (-52)/(-24) + (-2)/12. Let a(c) = -c**3 + 2 + 3*c**2 - 4*c + 2*c**v + 0*c**2. Does 5 divide a(3)?
False
Let u be 2/(-6) + (-50)/(-6). Let z be (u/6)/((-4)/(-6)). Suppose -3*t + 190 = z*t. Is 11 a factor of t?
False
Let g = 10 - -34. Is g a multiple of 4?
True
Suppose -b - 2*w + 94 = 0, 3*w + 247 = 4*b - 184. Is b a multiple of 13?
True
Let p = 106 + -31. Is 11 a factor of p?
False
Let x(j) = j**2 - 2*j - 23. Does 57 divide x(10)?
True
Suppose -2*l - 5*z + 19 + 16 = 0, 4*z + 37 = l. Let h = -6 + 2. Let b = h + l. Is b a multiple of 17?
False
Suppose -4*k - 23 = -2*s + k, 5*s - 145 = -5*k. Let y(o) = -o - 11. Let h be y(0). Let m = h + s. Is m a multiple of 5?
False
Let o(h) = h - 5. Let q be o(8). Suppose -5*y + 159 = -q*c, c = -4*y + 10 + 107. Does 10 divide y?
True
Does 12 divide 6/4*(28 - 2)?
False
Let j = 16 - 14. Suppose 57 = 4*h + h + r, j*r - 4 = 0. Is 3 a factor of h?
False
Let a be 14/(-63) - 58/(-18). Suppose 5*t = 3*m + 11 + 4, 0 = -a*t - 5*m + 9. Is t a multiple of 3?
True
Suppose -4*f + 2*f + 4 = 3*w, 0 = 3*w + 3*f. Suppose 3*m + 9*v + 44 = w*v, -64 = 5*m - v. Let a = m + 20. Is 7 a factor of a?
True
Let o = 122 - 89. Is 6 a factor of o?
False
Let x = -49 + 5. Let c = x - -78. Does 17 divide c*-2*(-2)/8?
True
Let n = 82 + -22. Is n a multiple of 18?
False
Let l(o) = 3*o + 11. Let w be l(-5). Let d = w + 11. Is d a multiple of 2?
False
Suppose 11 = x + 6*o - 2*o, 0 = 5*x - o - 34. Suppose -150 = -x*k + 2*k. Is k a multiple of 16?
False
Let q = -34 - -86. Let t = -23 + q. Suppose 5*f + 4 = t. Is 2 a factor of f?
False
Let x(u) = -u**3 - 9*u**2 - 10*u - 8. Is x(-8) a multiple of 3?
False
Is 8 a factor of (-3)/((-60)/(-4)) + (-1364)/(-20)?
False
Is 19 a factor of ((-152)/5)/(47/(-15) - -3)?
True
Let a = 116 + 196. Suppose 0 = m + m - a. Suppose -5*c + 6*s + 279 = 3*s, -2*s = 3*c - m. Is 27 a factor of c?
True
Let y = 79 - 37. Is 27 a factor of y?
False
Let o = 0 + 3. Suppose -6*i = -o*i - 24. Does 4 divide i?
True
Let r = 53 + -13. Is 8 a factor of r?
True
Let s = 2 + -4. Let o be s/6 - 10/6. Does 5 divide o*((-5)/2)/1?
True
Let v = -170 + 457. Is v a multiple of 41?
True
Let k(q) = -2*q**3 - 4*q**2 + 7*q + 5. Does 15 divide k(-5)?
True
Let q(b) = 7*b**2 - 3*b + 3. Let x be q(5). Suppose -5 = -3*w + 10. Suppose -13 + x = w*v. Is 15 a factor of v?
True
Is 87*1*(-1)/(-3) a multiple of 29?
True
Let d be (2 - -2)*(-15)/10. Let s = d + 4. Does 9 divide 16/(s*2/(-4))?
False
Let y(l) = l**3 - 10*l**2 - 3*l - 15. Is y(11) a multiple of 8?
False
Let v be (12/10)/((-30)/(-100)). Is v - -43 - (2 - 5) a multiple of 25?
True
Let a be -6 + 0 + -2 - 1. Let f be (a/6 + 2)*4. Does 12 divide (-1*2)/f + 18?
False
Suppose -q + 6*q = -4*l - 44, -q - 3*l = 0. Let x = q - -17. Suppose 0 = -5*g - 3*v + 10, g - x = -4*g - 4*v. Is 5 a factor of g?
True
Suppose -37 = -4*r - 3*g - 2*g, 27 = 3*r + 3*g. Let x(o) = -o**2 + 6*o + 4. Let q be x(6). Suppose r*s - 40 = q*s. Does 6 divide s?
False
Let w = 3 - 3. Suppose -2*l + w*l = 28. Let f = 26 + l. Is f a multiple of 6?
True
Let x = 174 - 102. Does 6 divide x?
True
Let n(k) = -7*k + 3*k**2 - 1 + 14*k - 1. Let z be n(-5). Is 13 a factor of z*(0 - 1/(-1))?
False
Suppose -4*d = 5*y + 43, 3*d = 4*y + 6 - 46. Let x = d + -6. Is 10 a factor of (-4)/18 + (-688)/x?
False
Suppose 0 = -6*q + q + 1650. Is q a multiple of 15?
True
Let f(d) = -d**3 + d**2 + 2*d + 2. Is 2 a factor of f(-2)?
True
Suppose 4*f = -5*d + 38 - 2, -5*f + 4*d = -4. Is 4 a factor of f + (3 - 0)/1?
False
Let z = 4 + -4. Suppose z = -p + 3*p. Suppose 4*h + h - 110 = p. Is 14 a factor of h?
False
Is 8 a factor of (-18)/(-1) - (-2 + 4)?
True
Suppose 0 = -2*l + 2*h + 46, -3*l + l - 5*h = -67. Is 6 a factor of l?
False
Let h = -6 + 10. Suppose -2*i - h*u + 124 = 3*i, i - u = 32. Suppose i = 2*z - 0*z. Does 7 divide z?
True
Let a(x) = -63*x - 3. Let g(t) = -32*t - 2. Let j(y) = -3*a(y) + 5*g(y). Let k = -2 - -3. Does 18 divide j(k)?
False
Let j(q) = -4*q - 1. Suppose 2*k - k + 5 = -z, -z - 13 = 3*k. Let r be j(z). Is (85/15)/(1/r) a multiple of 17?
True
Suppose -39 = 2*i - 381. Does 12 divide i?
False
Let i be (-904)/(-16) + 2/4. Let m = i - 31. Does 9 divide m?
False
Suppose 5*f = 9*f - 188. Is 16 a factor of f?
False
Let v = 70 - -55. Is 14 a factor of v?
False
Let l = -12 + 21. Is 2 a factor of l?
False
Suppose 10 = 2*v - 0. Suppose 11 = -2*i - 5*a - 0, 4*i = v*a + 53. Suppose -8 = -q + i. Is q a multiple of 15?
True
Suppose -3*d + 4 = -c + 18, -4*c - 4*d = -8. Suppose 12 = 3*i, -v - c*i + 34 = 6. Is 4 a factor of v?
True
Let a = -48 - -118. Does 20 divide a?
False
Let c be (16/20)/((-2)/(-5)). Let x be c/(-7) + 115/35. Suppose 4*d - 35 = x*d. Is 14 a factor of d?
False
Let d = 1 + 18. Suppose -d = -3*v - 2*q, 5*q + 21 + 35 = 4*v. Does 2 divide v?
False
Suppose -2*m - 23 = -s, 5 + 0 = m + 5*s. Does 9 divide (-406)/m - (-3)/(-5)?
False
Suppose 0 = -q - 2*q + 57. Does 4 divide q?
False
Let d(i) = i**3 + 12*i**2 + 8*i - 10. Does 8 divide d(-11)?
False
Let g(r) = 33*r**3 + 2*r**2 - 3*r + 1. Does 6 divide g(1)?
False
Suppose 4*d + 26 = 106. Is d a multiple of 5?
True
Suppose -547 = -2*t + 5*g, t - 4*g + 2*g - 272 = 0. Does 11 divide t?
False
Let v be (-216)/(-20) - 2/(-10). Suppose -4*h + 5 = x - 17, -2*x + 3*h + v = 0. Does 5 divide x?
True
Let a(z) be the third derivative of -z**4/12 - 4*z**3/3 - 8*z**2. Is a(-6) a multiple of 2?
True
Let t = -10 - -7. Does 17 divide 13 - (2 - 3) - t?
True
Let o be (1*4)/(2/(-3)). Suppose 8 = 5*g + 3. Is 3 a factor of (o - 3)*(-2 + g)?
True
Let p(i) = -i**2 + 11*i - 11. Let c be p(9). Let a = 7 - c. Suppose 2*f - 6*f + 48 = a. Is 11 a factor of f?
False
Let w = 48 - -42. Is 15 a factor of w?
True
Suppose 5 = -2*r + 23. Let b = r - 5. Suppose b*t = -23 + 115. Does 10 divide t?
False
Let s = -6 + 11. Suppose g = -4, s*g - 310 = -0*k - 5*k. Is 22 a factor of k?
True
Let w be 6 + -4 + (1 - 1). Is 12 a factor of (-1353)/(-44) - w/(-8)?
False
Let r = 0 + 4. Suppose s - 12 = r*s. Is s/2 - 54/(-2) a multiple of 12?
False
Let i = 141 - 75. Suppose b - 3*b + i = 0. Is 15 a factor of b?
False
Let f be (-10)/4*4/(-5). Suppose -119 = 4*n - 5*h - 289, 4*h = -f*n + 72. Is 17 a factor of n?
False
Let a(v) be the second derivative of v - 3/2*v**2 + 1/3*v**3 + 0. Is 4 a factor of a(5)?
False
Suppose 7*b = 5*b + 24. Does 6 divide b?
True
Let z = 44 + -31. Is 4 a factor of z?
False
Let m = -35 + 83. Let c be (m/28)/((-2)/(-119)). Let n = c + -58. Is n a multiple of 15?
False
Let d be 28/20 - (-4)/(-10). Let v be (-2)/(0 + d)*-1. Suppose 4*u - 10 = v*u. Does 2 divide u?
False
Suppose 0 = 3*i - 7*i. Suppose i = 5*a + h + 23 - 156, 0 = -2*h + 6. Does 13 divide a?
True
Let j(r) = -r**3 - 8*r**2 + 10*r + 10. Let z be j(-9). Let k be z*2/2*0. Suppose -w + k*v - 3*v + 37 = 0, -5*w + 2*v = -236. Is 23 a factor of w?
True
Let o(d) = d**3 + 6*d**2 - 8*d - 2. Let b(v) = v**2 - v + 1. Let j(p) = -b(p) + o(p). Let c be j(-6). Does 11 divide (1 + c)*11/2?
True
Let s = 54 + -38. Is s a multiple of 5?
False
Let u = 289 + -177. Is 16 a factor of u?
True
Suppose 5 = 3*r + 2*r. Let g be (-2)/(-1) - -11 - r. Suppose -3*f - g = -a + 7, -5*a = -3*f - 59. Does 10 divide a?
True
Suppose -u = -2*h - 12, u - h + 0 - 8 = 0. Suppose -4*s - 8 = -3*r, -u*r = -s + 8 - 36. Suppose 80 = -3*l + r*l. Is l a multiple of 8?
True
Let c(u) = 6*u + 4. Let t = 25 + -18. Is c(t) a multiple of 23?
True
Let d = 290 + -584. Does 4 divide d/(-24) - 1/4?
True
Let a = 107 + -10. Suppose 4*k = -33 + a. Is k a multiple of 11?
False
Let h(z) = 4*z**2 - 2*z - 4. Does 2 divide h(3)?
True
Let b be ((-2)/3)/((-1)/(-39)). Let t = b + 46. Is 5 a factor of t?
True
Let i(n) = n**3 - 6*n**2 - 7*n + 3. Let c be i(7). Suppose 0 = -3*p + c. Suppose 0 = f - p, -2*r - 2*f + 1 = -33. Is r a multiple of 16?
True
Suppose 0 = 3*t - 2*t. Suppose -4*u - 2*f + 44 = 0, t = 3*u - 5*f - 16 - 4. Suppose u = w - 0*w. Is 3 a factor of w?
False
Suppose 0 = -2*q + 8 - 22. Suppose 0 = -a + 3*s + 16, 4*a + 6*s = 3*s + 139. Let p = q + a. Does 9 divide p?
False
Is 24 a factor of (-4 - (-2)/(-2) - -1) + 85?
False
Let g = -4 - -3. Let w = g + 1. Suppose -5*h + 0*h + 120 = w. Is 12 a factor of h?
True
Suppose -4 = h - 10. Is 6 a factor of h?
True
Suppose -236 = 8*c - 1556. Is c a m