
Let p(x) = 2*x**2 - 7*x + 10. Let u = -99 + 105. Does 4 divide p(u)?
True
Let y = 132 - 77. Suppose k - y = -12. Is 43 a factor of k?
True
Suppose 8*w = 14*w - 2130. Suppose -2*c - 4*v = -272, 5*c - w = v + 369. Does 18 divide c?
True
Let z(k) = -23*k**3 + 2*k + 4. Suppose -2*p - 5 - 11 = -3*r, -20 = -5*r. Is 8 a factor of z(p)?
True
Let m(r) = 29*r - 159. Is m(27) a multiple of 39?
True
Suppose -3*q - 21 = -6. Does 18 divide (-181)/q + 26/(-130)?
True
Let j = 283 + 3. Suppose 5*l = 3*z + 349, -j = -5*l + l - z. Does 5 divide l?
False
Let h(m) be the first derivative of -3*m**2/2 + 13*m - 2. Does 10 divide h(-9)?
True
Let j(t) = t**3 + 7*t**2 + 5*t - 6. Let s be j(-6). Let z(r) = -14 - r + r**2 + s*r**2 + 13. Is 10 a factor of z(-5)?
False
Does 7 divide ((-7)/3 + 3956/(-48))*-4?
False
Does 7 divide 593/5 - (-15)/(150/4)?
True
Suppose 0 = -237*y + 243*y - 2868. Is y a multiple of 17?
False
Let z(g) = 18*g**2 - 5*g**2 + 20*g**2. Does 12 divide z(-1)?
False
Does 41 divide (-1*(-14)/(-7))/(5/(-7380))?
True
Suppose -6*k = 5*k - 968. Is k a multiple of 11?
True
Suppose 153 = 3*g - q, 2*g = -2*g - 2*q + 194. Suppose 52*b - g*b - 44 = 0. Is b a multiple of 22?
True
Let b be 10/4*(-4)/(-1). Let w be 32/b*525/42. Let q = 117 - w. Is 9 a factor of q?
False
Suppose 0 = 13*l - 0. Suppose 4*u = -3*r + 825, l = u - 3*r + 8*r - 185. Does 35 divide u?
True
Suppose 160 = -10*d + 5*d. Let z = -16 - d. Is z a multiple of 8?
True
Let a be 5/(-1)*4/(20/(-3)). Suppose 2*m + o - 4*o = 21, a*m + o - 48 = 0. Is m a multiple of 15?
True
Let f(d) = d**3 - 19*d**2 - 10*d + 30. Is 28 a factor of f(20)?
False
Is 17 a factor of 1708 - (-13)/((-39)/(-15))?
False
Let j(p) = 5*p**2 + 29*p - 4. Let r be j(-6). Suppose 3*u = r*u + 136. Is u a multiple of 34?
True
Let q(o) = o**2 - o - 2. Suppose -24 - 6 = -5*t. Let w be q(t). Let f = -24 + w. Is f even?
True
Suppose 106*w - 107*w + 409 = 2*p, -p = 0. Is w a multiple of 41?
False
Let f = 123 - 57. Is ((-28)/(-8))/(3/f) a multiple of 34?
False
Let v(l) = -2*l + 1. Let c(d) = -d**3 + 6*d**2 + 8*d - 6. Let g be c(7). Let z be v(g). Is (z/2)/(1/(-98)) a multiple of 13?
False
Does 21 divide ((-6345)/(-30))/((-12)/(-56))?
True
Let i(z) = 115*z**2 - 20*z + 67. Does 21 divide i(4)?
True
Suppose p - 2 = 1. Suppose -3*f + 464 = 4*d - 6*f, p*d + 4*f - 348 = 0. Is d a multiple of 29?
True
Let q(h) = h - 7. Let i be q(0). Let r = 28 + i. Is 5 a factor of r?
False
Suppose 2*b + 178*f - 2640 = 176*f, -2*f - 10 = 0. Does 53 divide b?
True
Let m(v) = v**3 + 21*v**2 - 13*v - 75. Is 4 a factor of m(-18)?
False
Suppose 223 = 2*a - 5*r, 6*a - 2*a + 3*r = 433. Does 4 divide a?
False
Let p(w) = 29*w**2 + 18 - 57*w**2 + 27*w**2 + 27*w. Is 24 a factor of p(21)?
True
Let x(h) = 2*h**3 - 23*h**2 + 15*h + 12. Is x(13) a multiple of 34?
True
Let i(q) = -q**2 + 14*q - 16. Suppose -2*g + 10 = h - 13, 4*h + 52 = 4*g. Does 4 divide i(g)?
True
Let p(h) = 2*h + 6. Let q be p(-2). Suppose l = 2*k - 60 - 23, -4*k + 154 = q*l. Does 11 divide k?
False
Let n(u) = u**3 + 8*u**2 + 7*u + 3. Let h be n(-7). Suppose h*z = 14 - 5. Suppose -43 = -2*x - z. Is 20 a factor of x?
True
Suppose -5*d = -3*o + 32, -d + 4*d = 5*o - 32. Let f(r) = -72*r + 31. Is f(d) a multiple of 22?
False
Suppose -12 = -3*j - q + 2*q, 3*j + 2*q = 21. Suppose -j*h + 141 = -149. Is h a multiple of 29?
True
Suppose -d + 5*n = -45, -5*d + 0*n + 144 = 2*n. Does 29 divide (-12)/d - (-437)/5?
True
Let b(w) = 93*w - 6. Does 16 divide b(11)?
False
Let z(d) = -2*d**3 + 15*d**2 + 14*d + 26. Let j(s) = -s**3 - s**2 + 1. Let u(m) = j(m) - z(m). Let w = 45 - 28. Is 26 a factor of u(w)?
True
Let z = -43 - -29. Let o = 90 - z. Is 26 a factor of o?
True
Let u(j) = 0 - 4 + 4*j - 5. Let k = -386 + 393. Is 8 a factor of u(k)?
False
Suppose 73 + 554 = 2*b - s, 633 = 2*b - 3*s. Does 23 divide b?
False
Suppose -20 = -6*z + z. Suppose -3*l + 34 = 5*s, -z*s - 70 + 1 = -5*l. Does 6 divide l?
False
Suppose 0*n + 5*g = 4*n + 226, -n = -5*g + 64. Let c be (n/(-8))/(12/224). Suppose -2*h = -4*h + c. Is 21 a factor of h?
True
Suppose -6*v - 60 = 120. Does 10 divide ((-45)/v)/((-6)/(-160))?
True
Let p = -4 + 4. Suppose p = 2*m + 7*m - 1305. Is m a multiple of 29?
True
Let c(l) = -l**2 + 23*l - 68. Let m be c(20). Does 5 divide (1 - -48) + (m - -5)?
False
Let r = -83 + 87. Suppose -m - 3*i + 11 = -7*i, r*i = -2*m + 58. Is 3 a factor of m?
False
Suppose -66*q - 804 = -68*q. Is 67 a factor of q?
True
Let c(v) = -v**3 + v**2 - v + 4. Let g be c(0). Suppose i + 192 = g*i. Is i a multiple of 8?
True
Let g = 677 + -42. Is 32 a factor of g?
False
Let s(q) = -167*q + 1. Let y be s(-1). Let i be y/77 - 2/11. Suppose -z = i*m - 12, -m + 41 = 4*m - 3*z. Is m a multiple of 6?
False
Suppose 5 = -2*r - 1. Let u(l) = -l**3 - 3*l**2 - 3*l - 3. Let g be u(r). Is 13 a factor of g - 9 - (1 - 60)?
False
Let o be ((-928)/12)/(2/(-3)). Suppose -4*r = -0*r - o. Does 29 divide r?
True
Let u(y) = y - 16. Suppose 80 = 12*q - 7*q. Let m be u(q). Suppose -2*t - 5*f + 58 = m, 3*t - 2*f + 3*f = 100. Does 23 divide t?
False
Suppose 0 = -2*t + 2*q + 8, 5*t + 2*q = 3*q + 12. Suppose 4*f + 6 = -t. Does 9 divide 15 - -6*f/(-4)?
True
Let n(q) = -q**2 + 1 - 4*q**3 + 6 - 3*q**2 - q - 1. Does 21 divide n(-3)?
False
Suppose -26 + 201 = c. Suppose -3*d - 6*w + c = -w, -4*d + 185 = -3*w. Does 25 divide d?
True
Suppose 4*y - 3*y = 175. Suppose 0 = -5*h + 2*d + 302, -y = -h - 2*h - 5*d. Does 12 divide h?
True
Let g be (-140)/(-160) - (-2)/16. Is 189/(-6)*(g + (-10)/6) a multiple of 11?
False
Let p be 6/9 - (-91)/21. Suppose p*n = 370 + 185. Is n a multiple of 23?
False
Let j(q) = -2*q + 11. Let x be j(8). Let t(z) = -z**3 + 1. Let g(y) = 2*y**3 + 4*y**2 + 2*y - 2. Let m(i) = -g(i) - t(i). Is m(x) a multiple of 18?
True
Let h(r) be the second derivative of -r**5/20 + 2*r**4/3 - 2*r**3/3 + 2*r**2 + 4*r. Let p(j) = -j + 14. Let c be p(10). Is h(c) a multiple of 13?
True
Suppose -k + 20 = 16. Let f be k*(-4 - -3) - -2. Is 2 a factor of (-330)/(-114) + f/(-19)?
False
Let j = 427 + -116. Is 40 a factor of j?
False
Let f(k) = 74*k - 50. Does 39 divide f(7)?
True
Let n = 2218 - 782. Is 63 a factor of n?
False
Suppose -384*t - 1340 = -394*t. Does 5 divide t?
False
Let z = 73 - 52. Let f = z - -42. Does 25 divide f?
False
Suppose -x - 49 = -8*x. Let k(t) be the second derivative of t**4/6 - t**3/2 - 3*t**2 + 2*t. Is k(x) a multiple of 22?
False
Suppose -4*o + 164 = -5*o. Let v = o - -362. Suppose 5*f = 3*k - 102, 5*k - f + 2*f - v = 0. Does 23 divide k?
False
Suppose 3*d - 4*t - 19 = 0, 5*d + 3 = -0*t - 2*t. Is 52 a factor of (8/(-10))/(d/(-325))?
True
Suppose 3*r - 23 + 5 = 0. Suppose 3*c + 0*c - 4*h - 31 = 0, 5*c - 13 = -3*h. Suppose -c*w + 65 = 3*b, -5*w - 2*b = -r*b - 30. Is 10 a factor of w?
True
Suppose -57*g + 1008 = -51*g. Is g a multiple of 14?
True
Let y(f) = 12*f**2 - 180*f - 56. Is y(19) a multiple of 115?
False
Let n = -4 - -8. Let d(i) = 2*i**3 + 5*i**2 - 2*i + 4. Let c(a) = 3*a**3 + 9*a**2 - 3*a + 8. Let l(t) = -3*c(t) + 5*d(t). Is 12 a factor of l(n)?
True
Let h(c) = -3*c + 61. Let t be h(19). Suppose t*j + 770 = 2090. Is 15 a factor of j?
True
Suppose 12*n = 7*n + 510. Is 17 a factor of n?
True
Suppose 3*g - u + 2*u - 1299 = 0, 2*u - 6 = 0. Is 16 a factor of g?
True
Let t be 2/10 + (306/(-30) - -6). Is 19 a factor of -5*285/(-50)*t/(-2)?
True
Let s(t) = 4*t**3 - 7*t + 33. Is s(5) a multiple of 17?
False
Let d be (-3 + 5)/((-4)/(-30)). Is 199 - (d/5 + 0) a multiple of 36?
False
Let a = -4 - 6. Let q(g) = -g**3 - 6*g**2 + 6*g - 2. Let u be q(-7). Let j = u - a. Does 4 divide j?
False
Suppose 8*c = 35 + 29. Let n(u) = 3*u**2 - 7*u. Does 30 divide n(c)?
False
Suppose 0 = y + 2*w, -2*y + 5*w - 1 = -19. Suppose -y*b = -u - 21, -u - 14 - 4 = -3*b. Let x = u + 16. Is 3 a factor of x?
False
Suppose 0 = 12*s - 4715 - 4033. Does 62 divide s?
False
Let p = -18 - -22. Suppose p*m + 273 = 21. Does 7 divide m/(-6)*4/3?
True
Let s be 6/(-4) + (-321)/(-2). Suppose a + 3*v = -0*v + s, 5*a + 2*v = 821. Is a a multiple of 15?
True
Let w = -443 + 1793. Is 10 a factor of w?
True
Let q(y) = -y + 156. Is 6 a factor of q(54)?
True
Let m = 461 - 105. Suppose -m = -0*i - 4*i. Let x = 176 - i. Is 29 a factor of x?
True
Suppose 2*a + 204 = 840. Let i = a - 90. Does 38 divide i?
True
Let f = 3