 Let y be c(-4). Let g be 324/(-729)*90/(-4). Suppose -762 = y*x - g*x. Does 17 divide x?
False
Suppose 0 = 6*a + 941 - 2969. Suppose -4*k = -a - 338. Let h = -118 + k. Is h a multiple of 17?
True
Suppose -55*m + 53*m = -208. Suppose q - m = 2*h + 36, 0 = 4*q - 4*h - 556. Is 19 a factor of q?
False
Suppose -4*i = -c + 43, -i = 4*i - 3*c + 52. Let o = -8 - i. Suppose -l = 2*y + 3 - 29, -105 = -o*l + 3*y. Is l a multiple of 14?
False
Let t(u) = -6*u - 2*u**2 + 17*u**2 - 2*u**3 + 0 + 0. Is 12 a factor of t(6)?
True
Let d(g) = g + 13. Let x be d(-9). Suppose 3*h = 3*t + 12, x*h + 4*t - 2 = 14. Is (-3)/(-6) + 66/h a multiple of 17?
True
Suppose 5*y - 3*q - 12 = y, 0 = 2*q. Suppose y*a = 12, -5*j + 2*a + a = 12. Does 10 divide 9 - (-4 - (j + -3))?
True
Suppose 7*r - 16 = 3*r. Let h be 26*r/(4 - -4). Suppose -h*i + 68 = -11*i. Is 17 a factor of i?
True
Let o(i) = 4*i - 10. Let l be o(-5). Let j = l - -32. Is 6 a factor of j/8 + (-207)/(-36)?
True
Let i(a) be the third derivative of -a**5/60 + a**4/4 - a**3/6 + 12*a**2. Let w = 10 - 6. Is 7 a factor of i(w)?
True
Suppose 0 = 5*o + 5*p + 290, 3*o + 4*p + 186 - 14 = 0. Let h = 107 + o. Does 3 divide h?
False
Is 287 - -1*(2 - (-5 - -2)) a multiple of 20?
False
Let d(f) = -7*f - 2. Let m be d(-1). Suppose -638 - 112 = -m*y. Is 10 a factor of y?
True
Suppose 5*n - 19 = 2*z - 7, -n - 4*z - 2 = 0. Let f(b) = -11 + n*b - 5*b - 1 + b. Is f(-9) a multiple of 6?
True
Let c = -8 - -10. Let x be (-50)/4*(c + -6). Suppose -4*k - 4 = -2*r - x, 0 = 2*r - 2. Is 6 a factor of k?
True
Let y = -163 + 223. Does 4 divide y?
True
Suppose -2*m + 177 = m - 3*a, -2*m + 121 = a. Suppose 0 = -0*x + 5*x - m. Suppose -14 = -2*r + x. Is 4 a factor of r?
False
Let c(i) = -i**2 - 9*i - 9. Let j be c(-6). Let x(n) = -3*n - 27. Let s be x(-10). Let y = j - s. Is y even?
True
Let w(r) = 22 + 4*r**2 - 5*r - 14 + r**2 - 4*r**2. Is w(10) a multiple of 35?
False
Let u(d) = -d**2 + d - 1. Let m(w) = 3*w. Let b(n) = m(n) - 2*u(n). Suppose 11*g + 12 = 8*g. Does 12 divide b(g)?
False
Let j(b) = 0 - 42*b + 38*b - 1 - 3*b**3 + 2*b**3. Let s be j(3). Is (-1670)/s + 6/(-8) a multiple of 8?
False
Suppose 3*z = 2*z + 4*z. Does 32 divide (z + 3)*(1 - (-29)/3)?
True
Let w(f) = 16*f**3 + 2*f**2 + 2*f + 1. Suppose -3*c + 12 = -5*x, 4*x = c + 2*c - 9. Let q be w(c). Does 12 divide (-1)/((-2)/(-6)) - q?
True
Suppose 5*l + 13 = -4*y, -2*y + l = -3 + 6. Let p = y + 24. Is p a multiple of 14?
False
Does 7 divide ((-152)/(-6))/(26/78)?
False
Let g = 18 - 22. Let n(f) = f**2 + 3*f - 1. Let y be n(g). Suppose 68 = y*i + i. Does 17 divide i?
True
Let p be (1/(-10)*-6)/(12/300). Suppose p*j - 268 = 11*j. Is 26 a factor of j?
False
Does 10 divide (-2)/7 + (-4035)/(-35)?
False
Does 66 divide 27590/22 + 1/(-11)?
True
Let o(q) = -60*q + 244. Is 34 a factor of o(-5)?
True
Let g be 6*(-6)/(-36)*(1 + -1). Suppose 4*v - s = 630, 2*s + s - 6 = g. Does 32 divide v?
False
Let h be (-23)/46 - (-122)/(-4). Let o = 71 + h. Is 17 a factor of o?
False
Let k(z) = z**3 + 8*z**2 + 9*z + 8. Let u be k(-7). Let m = u + 21. Let w = m + 42. Is w a multiple of 22?
False
Suppose -7*v = -2658 - 128. Suppose v = 8*w - 6*w. Is 13 a factor of w?
False
Let w be (-4)/10 + (-370)/(-50). Suppose 0 = 4*n - 5*u - 123, 3*n - 4*u - 99 = -w*u. Let h = n + -24. Does 4 divide h?
True
Suppose 7*p - 4108 = -6*p. Does 6 divide p?
False
Suppose 4*n + 2021 = 3*h, -2*h - 2*n + 572 + 752 = 0. Is 20 a factor of h?
False
Let g = -73 + 64. Let b(w) = w**3 + 9*w**2 - 3*w - 20. Is 7 a factor of b(g)?
True
Is 1*1258 + ((-30)/(-5) - 6) a multiple of 37?
True
Suppose -3*z = -0*z. Suppose 5*g - 2*b + 4 = 0, z*b + b = -g - 5. Does 10 divide g/(-6) + (-890)/(-30)?
True
Suppose y + 4*t = 41, 4*y - 74 = 2*t - 0. Suppose -33 - y = -5*a + m, 0 = -m + 1. Does 4 divide a?
False
Suppose 4*i - 3*i = -6*i. Suppose 3*w + 2*j - 268 = 0, i*w + j = w - 86. Is 8 a factor of w?
True
Let r(a) = -a + 6. Let i be r(3). Suppose 287 + 4 = i*t. Is t a multiple of 7?
False
Let g(m) = -m**2 - 26*m - 7. Let x be g(-11). Suppose -x = -5*i + 52. Suppose -4*w + i = 2*w. Does 2 divide w?
False
Let x(u) = -14*u. Let p be x(-3). Let h(w) = 3*w - w - 4*w + p + 5*w. Is 41 a factor of h(0)?
False
Is 5 a factor of 25*15/(-150)*(0 - 82)?
True
Suppose -3*y - 488 = -4*s, -4*s - 2*y = s - 633. Is s a multiple of 32?
False
Let y(t) = -3*t - 3. Let d = 12 + -25. Let h = 5 + d. Is 12 a factor of y(h)?
False
Suppose 3*s = -5*l + 667, 404 = 4*s + 5*l - 482. Let n = 330 - s. Is 32 a factor of n?
False
Let v = 24 - 21. Suppose d + u = 35, -v*d = d + 3*u - 140. Is d a multiple of 6?
False
Suppose 4*w + 0*w - s = 266, 270 = 4*w - 3*s. Is 22 a factor of w?
True
Suppose -s + 1302 = 5*s. Suppose -8*t + 583 = -s. Is t a multiple of 25?
True
Suppose -2*o = -g - 0*g, 4*o - g = 0. Suppose -3*p + 0*p + 9 = o. Suppose 4*i = 4*m - 252, -4*m + 98 = p*i - 119. Is m a multiple of 13?
False
Let t(m) = -m**3 + m - m**3 - 5*m - 8*m**3 - 2 - 2*m**2. Is 26 a factor of t(-2)?
True
Suppose 0 = -m - y - 41 - 31, 5*m - 3*y + 368 = 0. Let j = -1 - m. Does 12 divide j?
True
Suppose 5*t = -0*c + 2*c - 71, 0 = -c - 5*t + 28. Let z = c + -22. Suppose 0 = 3*a + 5*h, a - 3*h - 3 = z. Is a a multiple of 2?
False
Is 3 a factor of 130 + (8 - 18) + 3?
True
Let j(q) = 2*q**2 - 16*q - 13. Let g be j(9). Suppose 6*w - g*w - 493 = -5*x, 8 = -4*w. Does 11 divide x?
True
Suppose 5*n - n - 76 = 0. Suppose 23*y - n*y - 432 = 0. Is y a multiple of 27?
True
Suppose 0 = -0*l - 3*l. Let i be (-1)/(-1)*(-1 + 4). Suppose -q - i*q + 108 = l. Does 16 divide q?
False
Is 126004/170 + (-4)/(-5) a multiple of 36?
False
Let q(j) = -31*j - 30. Let y = 69 + -75. Is q(y) a multiple of 21?
False
Let d = -151 + 236. Suppose 4*h - 584 = -2*j, 3*h - 5*j - 445 = -3*j. Let w = h - d. Is w a multiple of 16?
False
Let n(s) = -46*s - 22. Is n(-7) a multiple of 12?
True
Let v(r) = -2*r + 31. Let f be 16/4 - (-6)/2. Is v(f) a multiple of 5?
False
Let f be (-3 - -3) + 0 + 12. Let y = 86 - f. Does 35 divide y?
False
Let v(r) = -r**2 - 7*r - 2. Let b be v(-6). Does 11 divide (-16)/(-4) - b - 60/(-3)?
False
Suppose -8*f = -3*f - 45. Suppose v - 3 = 0, f*o + 4*v = 6*o + 66. Is 18 a factor of o?
True
Let n = -9 - -21. Let m = n + 1. Suppose -3*i - 2*o + 26 = 0, -5*i - 4*o = m - 59. Is i a multiple of 6?
True
Suppose 36 = -3*a + 8*a + 4*l, 28 = 2*a + 5*l. Suppose 2*i - 594 = -a*i. Does 9 divide i?
True
Suppose -8*x = -5*x - 861. Suppose -q + x = -8*q. Let r = 119 + q. Is 26 a factor of r?
True
Let b = -104 - -4. Let m = 125 + b. Does 25 divide m?
True
Let y = 4149 - 2888. Does 10 divide (-8)/56 - y/(-7)?
True
Let y(x) = 5*x**2 - x - 9. Suppose 4*t + t + 2*w = -38, -2*t + 5*w = -8. Is 12 a factor of y(t)?
False
Let g(s) = 233*s**2 - 8*s + 7. Let a be g(1). Suppose -35*p + a = -34*p. Is 13 a factor of p?
False
Let n(i) = 3*i - 9. Suppose -3*z + 14 = -4. Is 6 a factor of n(z)?
False
Let s(d) = 2*d - 10. Let z(g) = -g**3 - 11*g**2 + 12*g + 12. Let j be z(-12). Is 7 a factor of s(j)?
True
Suppose 7428 = 21*p - 6495. Is p a multiple of 13?
True
Let u(g) = g**3 + g**2 - 7*g + 329. Is 47 a factor of u(0)?
True
Let y = -885 - 143. Does 19 divide 4/(-36) - y/18?
True
Suppose -3*d - 3 = 87. Let l be (3 - (-64)/(-6))*6. Let b = d - l. Is 16 a factor of b?
True
Does 35 divide (-63)/6*(-3000)/90?
True
Let s be (-8)/(-24) - 10/(-6). Suppose 4*o - 2*c - s = 0, -4*o - 13 = -6*o - 3*c. Suppose 4 = o*r - 46. Is 5 a factor of r?
True
Suppose 0 = o + 4*g - 23, 0 = -4*o + 3*o + g + 13. Let b(d) = 4*d + 25. Is b(o) a multiple of 17?
True
Let h = 13 - 10. Suppose -3*i - 15 = -i - 5*f, h*i = 4*f - 12. Suppose 2*s - 3*s + 40 = i. Is s a multiple of 13?
False
Let a = 437 + -234. Is 26 a factor of a?
False
Let u be (-6)/8*(12 + -4). Let z be 4/u*(-75)/10. Suppose -5*r - 245 = -z*t, -5*t + 265 = 6*r - r. Is t a multiple of 17?
True
Let i be ((-12)/14)/((-20)/70). Does 6 divide ((-2)/i)/((-1)/9)?
True
Is 19 a factor of (-6232)/(-16)*(-5 - -11)?
True
Let u(h) = 54*h - 18. Does 10 divide u(3)?
False
Suppose -5*h - 9*h + 56 = 0. Is (144 + -3)/3 + h a multiple of 14?
False
Let m(f) = 11*f**2 + 8*f + 20. Let w be m(-4). Let x = w + -74. Does 10 divide x?
True
Suppose -28 + 348 = 4*j. Let h = j + -68. Is h a multiple of 2?
True
Let s be (-18)/(-12)*8/12. Does 26 divide (