se 4*l - j = 115, -l = -j - k*j - 31. Does 13 divide l?
False
Suppose x = 35 - 34. Let m be (-73)/(-1)*(x + 0). Let v = -37 + m. Is 6 a factor of v?
True
Let y = 135 + -135. Suppose 3*i - 2*j - 1392 + 375 = 0, y = -2*i - 2*j + 688. Is i a multiple of 14?
False
Let x(d) = 4*d - 39. Let l be x(11). Let n(k) = -k**3 + k**2 - k. Let q be n(0). Suppose 0*m + l*m - 165 = q. Is m a multiple of 12?
False
Suppose 19*q - 14*q = -5*k + 85, -2*q + 55 = -5*k. Let n(d) = -12*d**2 - d + 1. Let y be n(1). Let g = y + q. Is g a multiple of 4?
True
Let i(k) = 190*k**2 - k. Is i(1) a multiple of 19?
False
Let a(y) = -6*y**2 - 2*y - 19. Let g be a(7). Let i = g + 510. Does 16 divide i?
False
Suppose -3*c - 4*a + 994 = 0, -2*c - 4*a = 337 - 997. Is c a multiple of 24?
False
Suppose 3*h - h - 4 = 0. Let t(j) = 8 + 0*j - h - 3*j. Does 17 divide t(-9)?
False
Does 2 divide (-1)/(-10)*764 + (-4)/10?
True
Let k be (1 - -1)*(-3 - 27). Suppose -4*y = 320 + 32. Let d = k - y. Is 15 a factor of d?
False
Let f(y) = y**3 - 28*y**2 + 3*y - 20. Is 64 a factor of f(28)?
True
Suppose 8*i - 2958 = 3538. Is 14 a factor of i?
True
Suppose n + 5*u - 1056 = 0, -8*n - 1071 = -9*n - 2*u. Is 38 a factor of n?
False
Suppose 0 = -3*c - 7*c + 50. Suppose -46 = -4*h + 3*p + 55, -3*p + 106 = c*h. Does 2 divide h?
False
Let a(u) = -u**2 - 6*u - 1. Let q be a(-5). Suppose -12*f + 53*f - 82 = 0. Suppose -8 = -f*t, t - q*t = -4*v. Does 3 divide v?
True
Let g(b) be the first derivative of -5 - 6*b - 3*b**2 + 1/3*b**3. Is 3 a factor of g(8)?
False
Let y be ((-8)/4)/2 - (0 + -505). Let n = y - 313. Does 13 divide n?
False
Suppose 20*o - 1200 = 15*o. Is 16 a factor of o?
True
Let i be (-45)/(-6)*(-44)/(-3). Suppose -y - 196 = -3*s, -5*y - i - 38 = -2*s. Is s a multiple of 32?
True
Let x(s) be the first derivative of 4*s**2 + 5. Suppose -w - 10 = -6*w. Does 4 divide x(w)?
True
Let a(s) = -15*s + 7. Let z be a(11). Let r = z - -213. Does 24 divide r?
False
Suppose -k = 2*z, -6*k + 9 = -5*z - 4*k. Let r be (-3 - z)/(30/(-45)). Suppose -2*h = -r*h + 8. Does 8 divide h?
True
Let d = 2812 + -1885. Is d a multiple of 64?
False
Let m be 4/(-22) + 84/(-22). Let a be (28 + -34)*2/6. Is 12 a factor of (m - a)/(-1) + 12?
False
Suppose 0 = -5*u + 5, 15*m = 11*m - 5*u + 12037. Is 94 a factor of m?
True
Suppose -3*f = 3*d - 2729 + 452, -2*f + 2*d + 1522 = 0. Is f a multiple of 78?
False
Suppose 0 = -4*z + 5*r + 17, -3*r + 11 = 4*z + 2. Suppose z*v = 2*v + 28. Does 14 divide v?
True
Let z = -974 - -1706. Is 8 a factor of z?
False
Let x(s) be the first derivative of -s**4/12 + 5*s**3/3 - s**2 + 9*s + 10. Let z(u) be the first derivative of x(u). Is 4 a factor of z(6)?
False
Suppose 4876 = 6*c + 47*c. Does 23 divide c?
True
Does 42 divide (-14)/(-35) - 1490/(-25)?
False
Let f = 95 - 99. Let z(m) be the first derivative of -m**4/4 + m**2/2 - 4*m + 1. Is 14 a factor of z(f)?
True
Let p(u) = u**2 - 2*u - 11. Let x be p(8). Is 1 + x - 28/7 a multiple of 11?
False
Let j(t) = -t**2 - 6*t - 9. Let k be j(-4). Let w be (-26)/2*k/1. Suppose -6*q = -w*q + 63. Is q a multiple of 4?
False
Let z(u) be the second derivative of -11*u**3/3 - u**2/2 + 31*u. Is 5 a factor of z(-3)?
True
Let h(y) = 2*y**2 + 5*y + 4. Let a be h(-2). Suppose 7*g + 20 = a*g, 2*f + 5*g - 52 = 0. Does 7 divide f?
False
Let a(h) = 14*h**2 - 10*h + 3. Does 36 divide a(4)?
False
Suppose -3*w - 2187 = 6*w. Let d = -91 - w. Is d a multiple of 8?
True
Suppose -7*k + 1116 = -844. Is k a multiple of 28?
True
Suppose -w - 56 = 3*w. Let k(b) = b**2 + 15*b - 1. Let u be k(w). Does 13 divide 5/(u/(-84)) - 2?
True
Let f(a) = 16*a**2 + 12*a - 32. Is f(4) a multiple of 48?
False
Let g(w) = 2*w + 4. Let o = -12 + 7. Let k be g(o). Let h(x) = x**3 + 6*x**2 - 2*x - 2. Does 7 divide h(k)?
False
Let o be 7/(-14) - 1/(-2). Suppose -s + o*s + 4 = 0, 2*h + s = 92. Is h a multiple of 11?
True
Let s(m) = 3*m**3 + 15*m**2 + 3*m - 5. Let p(b) = b**3 + 7*b**2 + b - 2. Let t(u) = 5*p(u) - 2*s(u). Let d be t(4). Suppose -d - 93 = -5*z. Is 21 a factor of z?
True
Suppose 9*i + 90 = 14*i. Is 10 a factor of (33*(-4)/i*6)/(-2)?
False
Let z = 769 - 357. Suppose l - 5*l + z = 0. Is l a multiple of 10?
False
Is 29 a factor of 1288 + 96/40*-5?
True
Suppose -10*w = -5*w - h - 830, 4*h - 310 = -2*w. Does 55 divide w?
True
Let o(g) = g - 7. Let m be o(-5). Is 15 a factor of (498/m)/((-2)/4)?
False
Let b(r) = 2*r**2 - 17*r + 100. Is b(20) a multiple of 56?
True
Suppose 2*y + 4*j = -10 - 6, 45 = -4*y + 5*j. Let v be (-15 + 11)*y/8. Suppose -w = w, -5*w - 75 = -v*a. Does 8 divide a?
False
Let u be ((-1)/5*-2)/((-3)/(-435)). Let j = -49 + u. Is 7 a factor of j?
False
Is 52 a factor of ((-30)/(-25))/(-4*(-3)/720)?
False
Let k(w) = -1 - 2*w**2 - 3 + 7*w - w**2 + 2*w**2. Let x be k(6). Is (x - 0)/(-1) + 17 a multiple of 5?
True
Is 44 a factor of 5 + (437 - ((-12)/2)/(-2))?
False
Suppose -5*b + 8*b + u - 572 = 0, -2*u + 376 = 2*b. Does 8 divide b?
True
Is (-45)/(-4)*448/112 a multiple of 9?
True
Let d(x) = x**3 + 3*x**2 + x + 54. Is 69 a factor of d(6)?
False
Let x be ((-4)/(-6))/(2/30). Let w(a) be the second derivative of a**4/12 - 5*a**3/6 + 2*a**2 + 31*a - 2. Is 17 a factor of w(x)?
False
Let q = 806 - 260. Is q a multiple of 27?
False
Let d = 39 + -37. Suppose q = d*t - 65, 0*t - 4*q = -2*t + 50. Is t a multiple of 7?
True
Suppose -4*w + 11 = 4*r + 3, 5*w - 4*r - 19 = 0. Let b(n) = 18 - w*n - 2*n - 13 + n**3 - 6*n**2. Is 6 a factor of b(7)?
False
Suppose d + 5*w - 213 = 7*w, -846 = -4*d + 5*w. Is d a multiple of 22?
False
Is (-21)/(-2)*(-7728)/(-252) a multiple of 11?
False
Suppose -4*q = -q - k - 715, -q = 5*k - 233. Suppose m - q = 101. Is 12 a factor of m?
False
Let g(m) = -m**3 + 15*m**2 + 4*m - 17. Let z = 22 + -8. Let v be g(z). Suppose -2*b + 221 = 5*d, 5*d = b + 4*b + v. Does 15 divide d?
True
Let r = 93 + -79. Let y(c) = c**3 - 13*c**2 - 3*c - 11. Is 25 a factor of y(r)?
False
Let v be 58*((-3)/1 - -5). Suppose 29 = 5*p - v. Suppose 51 = 5*c - p. Does 8 divide c?
True
Suppose -20 = 5*f, -5*z + 4*f = -0 - 31. Suppose 6 + z = r. Is 4 a factor of (-3)/r - 37/(-3)?
True
Suppose -33 = -8*b + 207. Does 10 divide (-40)/b*(-14 - 1)?
True
Let o(h) = -h**3 + 4*h**2 - 6*h + 5. Let y be o(4). Let c = y - -61. Does 7 divide c?
True
Suppose 0 = -k - 10*k + 165. Does 7 divide ((-3)/k - (-227)/(-15))*-3?
False
Does 39 divide 5*5/125 + 5458/10?
True
Suppose -1290 = 3*z + 3*j - 3735, 0 = 5*z - 5*j - 4025. Is z a multiple of 45?
True
Let y(j) = j**3 - 13*j**2 + 16*j - 14. Suppose 2*z - 10 = -0*z. Suppose -z*x + g = -g - 70, -3*x + g + 41 = 0. Is y(x) a multiple of 12?
False
Suppose 17*w = 14764 + 3596. Does 120 divide w?
True
Let i be 0 + 9/(-3) - -4. Is (-21 - i)/((-22)/44) a multiple of 11?
True
Let a(o) be the first derivative of 25*o**2/2 + 21*o + 4. Is 17 a factor of a(6)?
False
Is (1 - -5) + (58 - -2282) a multiple of 50?
False
Suppose 5*u = -5*i + 650, 0*i = -u + 3*i + 134. Let j = -61 + u. Is 5 a factor of j?
True
Let x = 13 - 17. Does 11 divide (6/(-4) - x)*10?
False
Let g(t) = -456*t**3 + 4*t**2 + 6*t + 4. Does 14 divide g(-1)?
False
Suppose 4*u + 4*v + 0*v = -3980, 3*u = -2*v - 2986. Is (-15)/(-9) + -1 + u/(-18) a multiple of 11?
False
Suppose 4*a + 0*a - 848 = 0. Let t = a + -113. Does 33 divide t?
True
Let i be 4/((-16)/(-4))*(-3 + 8). Suppose 436 = i*p - 69. Is 15 a factor of p?
False
Let m be (3*(-2 + 3))/((-3)/243). Let h = -125 - m. Is h a multiple of 14?
False
Let t(d) = -19*d**2 + d**3 - 2*d - 17 + 14*d**2 + 15*d**2. Does 18 divide t(-7)?
True
Let j be (6 + 2)*5/10. Suppose j*n - n = 3. Does 21 divide n - 3/((-12)/164)?
True
Let f be (-8)/10*(-4585)/(-14). Let g = -5 + f. Does 10 divide (-2)/3 - g/9?
False
Let f(w) = -187*w + 17*w**3 - 80*w**3 + 189*w + 3*w**2. Is 8 a factor of f(-1)?
True
Suppose -42*k + 106*k - 2944 = 0. Does 8 divide k?
False
Let o be (-1 - -1)/(1/1). Suppose 6*y - 2*y = -2*x - 12, -4*x - 4*y - 12 = o. Suppose 3*i - 4*i + 3 = 4*g, x = i - 5*g - 12. Is i even?
False
Suppose -3*s - 315 = 5*j, 0*s - 2*s - 190 = 3*j. Let t = -44 - j. Is t a multiple of 3?
False
Let m = 21 + -12. Let x = -9 + m. Suppose x*d = 4*d - 36. Does 3 divide d?
True
Suppose 0 = -h + 5, -4*s + 0*h + 10 = 2*h. Suppose s = x - 69 - 9. Is x a multiple of 26?
True
Suppose -3*b = 3*a - 4410, 9*a = 7*a - b