divide y?
True
Let v(y) = y**3 - 7*y**2 + 17*y + 17889. Is 27 a factor of v(0)?
False
Let t(h) = 104*h**2 - 32*h + 38. Does 8 divide t(2)?
False
Let w = 1434 - -5874. Is w a multiple of 2?
True
Suppose -196 = -4*b - c + 57, 3*c - 255 = -4*b. Let v = 66 - b. Suppose v*w - 76 = -w. Is 7 a factor of w?
False
Let i(u) = 24*u - 5. Let a be i(3). Suppose -13 - a = 8*r. Let z(x) = 4*x**2 + 19*x - 9. Is z(r) a multiple of 30?
False
Let l be (-3 + 7 - 1) + -1. Let p(q) = 11 - 5*q**l + q**3 - 8 + 3*q - 8. Is 10 a factor of p(5)?
True
Let c = -18 - -3. Let j = -12 - c. Suppose 0 = 2*d + 5*k - 52, d - 12 - 3 = j*k. Does 7 divide d?
True
Let y be 57 + -2 - -2 - 1. Let a = 70 - y. Suppose -17*h = -a*h - 252. Does 12 divide h?
True
Let g(x) = x**2 - 15*x + 17. Let v be g(15). Let w = -10 + 11. Does 3 divide (v + 2 - -2)*w?
True
Suppose 0 = -374*b + 346*b + 11452. Does 9 divide b?
False
Suppose 2*m = p - 10, 2*p - 10 = 2*m - 0*m. Suppose -4*f - d + 45 = -p*d, -f + 4*d = 10. Suppose -f*i = -27*i + 714. Does 15 divide i?
False
Suppose -4*d + 6*i = i + 22, 0 = 5*d - i + 38. Let u be (-6)/((-3 - -1)/d - 0). Does 12 divide (-108)/u*10/(-12)*-8?
False
Let d(f) = f + 1. Let o(q) = -8. Let v(h) = 3*d(h) + o(h). Let c be v(4). Is (4/c)/((-2)/(-161)) a multiple of 23?
True
Suppose -26*i + 39 = -39. Let j(s) = 51*s - 76. Does 7 divide j(i)?
True
Let v be (-5)/(((-18)/10)/(-9)). Does 33 divide (330/v)/(6/(-195))?
True
Let s(u) = -93*u + 55. Is s(-20) a multiple of 89?
False
Let v = -573 + 568. Does 9 divide (-41)/205 + 1*(-956)/v?
False
Suppose 42711 = -37*k + 14*k. Is 6 a factor of (28/(-16) - -3) + k/(-12)?
True
Let m(k) = -k**3 + 18*k**2 - 16*k - 12. Let s be m(17). Suppose 0 = 5*l + h - 9, 0*h = -2*l + s*h - 18. Is (l/5)/((-16)/(-160)) even?
True
Does 21 divide 29180/11 + (-102)/(-374)?
False
Let u be (2/(-4))/(4 - (-270)/(-68)). Suppose 4*a - 53 = 19. Is 114/a*(-3 - u - 2) a multiple of 19?
True
Is 19 a factor of ((-4256)/(-24) + -5)/((-9)/(-1026))?
True
Let w(q) = 6*q**3 - q**2 + 62*q - 9. Is 16 a factor of w(11)?
False
Let v be -2 - 0 - -2 - (0 - 3). Suppose a = -2*q + 456, 11 - 8 = -v*q. Is a a multiple of 5?
False
Suppose -2*y - 2 = 10. Suppose 87*g - 55*g - 63552 = 0. Is g/36 + 1/y a multiple of 11?
True
Let s be ((-10)/(-45))/(1/9). Suppose -4*j + 4*d + 1076 = 0, j - s*d - 249 = -5*d. Is 15 a factor of j?
False
Suppose -q - 3*q = -1064. Suppose 0 = 5*f - 2*b + 894, -143*b + 140*b = 3*f + 507. Let c = f + q. Is c a multiple of 10?
True
Let o be (-19)/(145/35 - 4). Let i = o - -182. Is i a multiple of 7?
True
Let b be (0 - 8) + 60 - -9. Let i be (-1 - 11)*(-14)/3. Let z = b - i. Does 3 divide z?
False
Suppose -488*j - 5 = -493*j, -r = 5*j - 1865. Does 19 divide r?
False
Suppose -18613 = -2*o + 5*n, 27862 = 40*o - 37*o + 4*n. Is 72 a factor of o?
False
Is 21 a factor of (14019/4)/(525/1400)?
False
Let h = -13 - -13. Suppose 0 = 6*o - h*o - 630. Let p = o - 33. Is p a multiple of 18?
True
Suppose l + p - 4 = 2*p, 0 = -5*l - 5*p - 20. Suppose l = 2*a + q - 29, 4*a + 36 = 5*q + 115. Is 7 a factor of a?
False
Suppose 0*d = 2*d - 6. Let u(c) = -15*c**2 + 6*c + 9. Let x(j) = 32*j**2 - 12*j - 19. Let a(o) = -13*u(o) - 6*x(o). Is 3 a factor of a(d)?
True
Suppose -4*r - 2*n = -2, -r - 5*n - 4 = 18. Suppose r*q = -g + 17, g = -0*q + q + 1. Suppose 2*v + 6 = 3*l - 2*l, 0 = -g*l + 3*v + 30. Is l a multiple of 4?
False
Let l(c) = 4077*c - 617. Does 17 divide l(4)?
True
Let v = -51 + 33. Suppose -1230 = -29*t - 6015. Let q = v - t. Is q a multiple of 21?
True
Suppose 0 = r - 4*l - 16, r + 5*l = -3 + 1. Suppose 0 = 2*x - r. Suppose f - 3 + 35 = 2*h, -4*f = -x*h + 60. Is h a multiple of 11?
False
Let q be (-6 - (-96)/18) + (-34)/(-6). Suppose 2*z = -5*a - 2*z + 826, -2*a = -q*z - 337. Is 13 a factor of a?
False
Suppose -6*a = -25 + 7. Let c be a*(-2 + -2 + 5). Is 16 a factor of (4 - (c - 3))*24?
True
Is (-394)/(-3)*(-27 - -60) a multiple of 45?
False
Let b = 65855 + -37812. Is b a multiple of 61?
False
Let u(a) = 17*a**2 + 59*a + 957. Is 197 a factor of u(44)?
False
Let t = -7836 - -10993. Is t a multiple of 5?
False
Suppose -w + 3*a = -11, -6 - 7 = w + 5*a. Suppose c + g + 0*g = 81, 0 = 2*g + w. Suppose 2 = -5*d + c. Is 16 a factor of d?
True
Let r be (-11)/((-55)/84) + (-5)/(-25). Suppose 0 = -9*l + r*l. Suppose l = 5*f - 4*z - 966, -z - 582 = -3*f + 2*z. Is f a multiple of 19?
True
Let r(t) = -t**2 - t + 151. Let x be r(0). Suppose x + 67 = -2*w. Let m = -51 - w. Is 14 a factor of m?
False
Suppose 4*u + 4*w = 176156, 78*w - 82*w = -3*u + 132152. Is u a multiple of 286?
True
Suppose 0 = -3*l + 5*i + 23973, 15966 = 2*l - 22*i + 24*i. Does 46 divide l?
False
Let g = 891 + 256. Let d = 1711 - g. Is 25 a factor of d?
False
Let f = -115 + 127. Suppose -38 = -2*i - f. Is i a multiple of 4?
False
Let h(n) = 3*n**2 - 1 + n + 4*n**2 - 6*n**2 - 173*n**3. Let g be h(1). Let o = -87 - g. Does 12 divide o?
False
Let w = 104 - 110. Is -2 - (-475 - w - 6) a multiple of 11?
True
Let b be (5 - (2 - -2)) + -462. Let q = -226 - b. Does 33 divide q?
False
Let y(d) = 29*d**3 + 13*d**2 - 343*d + 2425. Does 136 divide y(7)?
True
Let m(v) = -4788*v + 16699. Is m(-6) a multiple of 134?
False
Suppose -2*m + 18461 = -k, 18*m - 5*k = 24231 + 141914. Does 13 divide m?
True
Suppose 320727 = -573*z + 606*z. Does 29 divide z?
False
Let a(g) = 1082*g - 616. Does 71 divide a(7)?
True
Let n(h) = -182*h + 13. Let c(a) = 61*a - 4. Let w(t) = -7*c(t) - 2*n(t). Let g be w(-3). Suppose -11*d = -293 - g. Is 19 a factor of d?
False
Let l = 33917 - 16492. Is l a multiple of 85?
True
Let o be 184/10 + (2/5)/(-1). Let q be 6*40/o*3/1. Suppose 0 = -5*z - 10, q = 2*k - k - 5*z. Does 22 divide k?
False
Suppose 5*f + 4*g = -0 - 1, 2*f - 2*g - 14 = 0. Suppose t - c = -3*c - 82, -242 = f*t + 4*c. Is 17 a factor of -2 + (0 - -1) - (-8 + t)?
True
Let t be 7445 - (-6 + 8 - -1). Suppose 0 = 60*s - t - 17998. Is s a multiple of 8?
True
Suppose 0 = 104*u - 181*u + 393162. Is u a multiple of 111?
True
Suppose 0 = -32*w + 28*w + 5*j + 18131, 3*w - 5*j - 13592 = 0. Does 22 divide w?
False
Let h(q) = 21*q + 1122. Is h(-30) a multiple of 4?
True
Suppose 2*n - 6 = 0, -4*x = -7*x - 3*n - 138. Does 3 divide (-3 - (-90)/35)*x?
True
Let q(o) = -o**2 - 1. Let h(b) = b**3 - 35*b**2 + 22*b + 42. Let j(f) = -h(f) + 5*q(f). Is j(29) a multiple of 7?
False
Suppose 98*h = 94*h + 78768. Does 27 divide 3/12 + h/16?
False
Let s(t) = -78*t - 285. Let c be s(-10). Let f = 13 + -5. Suppose -129 = -f*l + c. Does 13 divide l?
True
Let u = 5 - -23. Suppose -p + 3*p = u. Is ((-100)/70)/(-2*1/p) a multiple of 4?
False
Let b(i) = -5*i**3 + 3*i**2 + 7*i + 3. Let g be -4 - (-1 - (-6)/2). Let v be g/9*90/20. Is 48 a factor of b(v)?
True
Suppose -28 + 33 = y. Suppose -y*w - 3*c = -0*w - 12, 5*c = -5*w + 20. Suppose -5*z - 5*l - 149 + 744 = 0, w = l. Is 7 a factor of z?
True
Suppose 0*s - 3*s + 84 = 0. Let a = s + -32. Does 9 divide (0 + ((-70)/4 - -2))*a?
False
Does 6 divide (2010/(-45))/(3/(135/(-6))) + 0?
False
Let s(o) = 3*o**2 - 17*o - 14. Let t be s(7). Suppose -22929 = -t*r - 9153. Is 24 a factor of r?
True
Suppose 5*o + 235 = 2*h - 964, 5*h + o - 3065 = 0. Is 17 a factor of h?
True
Let b = -173 + 177. Suppose -3*p - 100 = -b*p. Is 25 a factor of p?
True
Let a be (-3)/(-4) + (-1 - (-5)/4). Let v = a - -4. Let t(o) = 6*o - 4. Does 13 divide t(v)?
True
Suppose -15*d = -3731 - 5599. Suppose d - 162 = i. Does 46 divide i?
True
Suppose 10*y = -11*y + 252. Suppose -y*r + 2760 = -3072. Is r a multiple of 86?
False
Let g = 48 + -48. Let f = g - -5. Suppose f = 2*j - 13. Is 2 a factor of j?
False
Let h(z) be the second derivative of -z**4/12 - 14*z**3/3 + 11*z**2/2 + 2*z - 13. Does 32 divide h(-24)?
False
Let n(w) = -w**2 + 20*w - 17. Suppose -5*z + 49 = 4*f, 4*f + 4 = -4*z + 52. Is n(f) a multiple of 28?
False
Let i = 4 - -3. Let f = i + -10. Is ((-4382)/10)/(-7) + f/5 a multiple of 28?
False
Let d = 29040 - 16873. Is d a multiple of 53?
False
Let p(w) = -46*w + 369. Let f be p(8). Let u(t) = 818*t**3 + t**2 - 3*t + 2. Is u(f) a multiple of 65?
False
Suppose 4*b + 605 - 2237 = 0. Let d = -72 + b. Is d a multiple of 16?
True
Does 2 divide 35/(-245) - (-533)/7?
True
Let i(v) = 38*v**2 + 210*v - 4708. Is 32 a factor of i(20)?
False
Does 6 divide ((-84)/210)/((-3)/1