t + -19. Let z(w) = 9*w**2 - w - 2. Does 8 divide z(p)?
True
Let z be 5 + 10/(-2) + 2. Suppose z*h - 2 = 0, 6*v - 2*v = 3*h - 39. Does 5 divide 40/15*v/(-4)?
False
Suppose 2*h + 3*s - 3681 = 0, -4*h + 5*s + 7377 = 8*s. Is 28 a factor of h?
True
Let w be (2 + (-11)/4)*-20. Suppose 0 = -3*l - 16*l + 57. Suppose q + w = z - q, l*z - 2*q = 45. Does 15 divide z?
True
Suppose 3*f = 2*t + 5060, -3*f - t = t - 5044. Is 130 a factor of f?
False
Suppose 4*l + 5*f - 37 = 0, 2*l + f = 6*f - 19. Let d = l + 22. Is 8 a factor of d?
False
Let z be 2/(-6) + (-32)/(-6). Suppose -13 + 43 = z*t. Is t a multiple of 2?
True
Suppose -839 = c - 5*c - 5*u, 3*c = -u + 621. Does 6 divide c?
False
Let v = -26 - -30. Suppose 0*t - v = -t. Does 6 divide -3 - ((-82)/2 + t)?
False
Let r be ((-246)/5)/(1/5). Let j = 427 + r. Is 16 a factor of j?
False
Let q(w) = -w**2 - 1 - 3*w**2 + 6*w**2. Let y be q(-1). Let p = 26 + y. Is 8 a factor of p?
False
Suppose 0 = -4*a - k + 1691 + 329, 0 = 4*a + 5*k - 2004. Is 51 a factor of a?
False
Let i = -46 + 38. Does 27 divide 4/i*-2*27?
True
Suppose -5*c = w - 3530, 1614 - 4439 = -4*c - w. Is 11 a factor of c?
False
Suppose h + 15456 + 5174 = 5*s, 0 = -4*s - 4*h + 16504. Is s a multiple of 22?
False
Let k be 5/(-2)*-11*2/1. Suppose -65 = -4*b + k. Does 4 divide b?
False
Let y be 2/6*-3 - (-4 - 912). Does 11 divide (-5)/(-30) - y/18*-1?
False
Let x(t) = 4*t**3 - 5*t**2 + 5*t - 10. Let l be x(4). Suppose -2*v + 7*q = 5*q - 66, 5*v - l = -2*q. Does 9 divide v?
True
Let z(q) be the first derivative of q**4/4 - 2*q**3 - 5*q**2/2 - 2*q - 20. Is z(8) a multiple of 43?
True
Suppose -18*n - 234 = -31*n. Is n a multiple of 6?
True
Let s(k) = -38*k + 1. Let n = -32 + 59. Let d be (-2)/11 + n/(-33). Is s(d) a multiple of 13?
True
Suppose 76*f = 67*f + 198. Let s(k) = k**3 - 4*k**2 + 3*k. Let z be s(4). Let n = f + z. Is 17 a factor of n?
True
Suppose -1490 - 770 = -10*m. Is m a multiple of 17?
False
Let b be (-10)/(-15)*7*-6. Let d = -3 - b. Does 8 divide d?
False
Let w = -3121 + 4777. Is w a multiple of 93?
False
Suppose -4*y + 4*d = -8, -3*y - 6*d = -d - 38. Suppose 2*o - 200 = -3*m, -2*m - y*o = -o - 137. Suppose -5*w - 39 = -b, b - m = -3*b + 2*w. Does 14 divide b?
True
Does 9 divide 76905/54 + (-2)/12?
False
Suppose -60 = 6*w - 8*w. Suppose -y = -0*d - 5*d - w, -25 = -3*y + 2*d. Suppose 4*s - 293 + 93 = y*z, -3*z - 100 = -2*s. Is 10 a factor of s?
True
Suppose -p + 4 = -6. Suppose 0 = k - 1 + p. Does 13 divide 49 + 1 - (6 + k)?
False
Suppose 0 = -2*c + 5*t + 21, 4*c + 0*t = -t + 9. Suppose 1 = -k, -a = a + 3*k + c. Is 7 a factor of 2 - a - 360/(-9)?
True
Let r(n) = -n**3 - 14*n**2 - 12*n - 23. Let a be r(-13). Is 7 a factor of a/(-54)*(-294)/(-4)?
True
Let f = -8 - -9. Let z = f + -1. Suppose p - 4*g = 20, -4*p - 6*g + 3*g + 61 = z. Does 4 divide p?
True
Suppose -5*h + 87 - 72 = 0. Suppose 2*y + y = -3*o + 369, -h*y = -o - 357. Does 30 divide y?
True
Let x(s) = -195*s**3 - 2*s**2 - 3*s - 2. Let b be x(-1). Let j be b/(-6)*(-1 - 2). Suppose 0 = -2*u + 53 + j. Is u a multiple of 25?
True
Let y be (-5)/(-10) - (-27)/2. Let b = y + 11. Suppose 0 = 5*z - 140 - b. Does 11 divide z?
True
Suppose 5*p = -3*c - 19, -2*p - 3*p - 35 = -5*c. Let s be (-8 + 6)/(c/(-16)). Suppose s*d - 19*d + 81 = 0. Is d a multiple of 9?
True
Suppose -3*z - 15 = -4*b + 2*z, 3*b + 15 = -5*z. Suppose -3*p + 2*v + 158 = 0, -v = 4*p - b*v - 218. Is 54 a factor of p?
True
Let n = -3 + -37. Is (-5)/n - (-398)/16 a multiple of 4?
False
Let i = 916 - -834. Is i a multiple of 50?
True
Let u = 22 + -20. Suppose -u*p = 4*j + 8 + 224, 3*p + 344 = -4*j. Let k = 196 + p. Is 28 a factor of k?
True
Suppose 15 = -5*s + 10*s. Let i(a) = -4*a**2 + 8*a - 2*a**3 + a**s + 0*a + 0*a. Is 8 a factor of i(-6)?
True
Let i(d) be the second derivative of -d**4/12 + 10*d**3/3 - 23*d**2 + 10*d. Is 3 a factor of i(11)?
False
Let q(x) = 238*x**2 + 2. Let d(r) = r**3 - 7*r**2 - 19*r + 8. Let s be d(9). Is 10 a factor of q(s)?
True
Let r(d) = 10*d**2 - 3*d - 65. Does 30 divide r(-5)?
False
Is 22 a factor of (0 + 1)*(2 - -174)/8?
True
Suppose -4*a - 72 = -2*o, -a + 58 - 6 = 2*o. Is o a multiple of 28?
True
Let r(a) = 4*a**2 - 32. Suppose 3*h + 2*l = 9, 5*h = 5*l - 0*l + 40. Is r(h) a multiple of 17?
True
Let n(m) = -3 - 12*m + 10 - 5*m**2 + 4*m**2. Is n(-11) a multiple of 7?
False
Let i = -22 + 24. Suppose 191 + 109 = i*c. Is c a multiple of 50?
True
Let u(v) = -9*v + 1. Let z be u(2). Let h(w) = w**2 + 12*w + 19. Is 26 a factor of h(z)?
True
Suppose 0 = 4*m + 8, -3*p - m = -2 - 5. Suppose -5*d = 4*i - 277, 5*d - p*i - 141 = 115. Let j = 77 - d. Is 8 a factor of j?
True
Is (2046/42 - 0) + (-8)/(-28) a multiple of 9?
False
Suppose -b - b - 8 = 0. Let y = -2 - b. Suppose 0 = 4*x - 2*l - 90, 0 = -4*x + y*l - 5*l + 65. Does 5 divide x?
True
Suppose 2*n - 3*n + 191 = 3*z, -5*n - 261 = -4*z. Let r = 9 + -4. Suppose 0 = a - r*a + z. Is 13 a factor of a?
False
Let x be 100/(-26) + 4 + 290/(-26). Let k(d) = 0 - d - 1 + 2. Is 12 a factor of k(x)?
True
Suppose -4*h + 3*h = 99. Suppose -2*m - 122 = 16. Let c = m - h. Is 9 a factor of c?
False
Let r be 0/(-2 - 1 - (-18)/9). Suppose 13*h - 17*h + 496 = r. Is h a multiple of 31?
True
Let y be 6/(-27) - 152/(-36). Does 16 divide 96 + (3/y - (-44)/(-16))?
False
Suppose 18*u - 3141 - 8955 = 0. Is u a multiple of 8?
True
Suppose 3*r - 6647 = -4*m, 4*m + 0*r - 6641 = -5*r. Suppose -m = -12*t + 136. Is 25 a factor of t?
True
Suppose -64*g + 62 = -62*g. Suppose -7*t + 459 = -g. Is t a multiple of 13?
False
Let g(r) = r**2 + 6. Let n be g(0). Suppose 4*c = n*c - 52. Is 12 a factor of c?
False
Let n(g) = -9*g**3 + g**2 + 5*g + 3. Let k be n(-3). Suppose -3*c - 5*m + 188 = 0, 4*c - 4*m + 8*m - k = 0. Is c a multiple of 7?
True
Let o(v) = -3*v - 3. Let i be o(-1). Suppose -f - 47 = -5*w, 2*w + i*w - 4*f = 26. Is 2 a factor of w?
False
Let s = 582 + -193. Is s a multiple of 41?
False
Let m be 714/8 - (-3)/(-12). Let y = m - 39. Is y a multiple of 7?
False
Let t(m) = 9*m - 14. Let p be t(5). Suppose j = 40 + p. Does 15 divide j?
False
Let x = -4 + -3. Let w be (-2)/x + (-2)/7. Suppose -2*n + 5*n - 84 = w. Does 14 divide n?
True
Suppose m = 4*s - 7, s + 2*m = -0 + 4. Suppose 2*g - 285 = 5*d, s*g = -g - 4*d + 393. Is g a multiple of 27?
True
Let l(j) = -2*j**3 - 2*j**2 - j + 1. Let y(g) = -5*g**3 - 3*g**2 - 3*g + 3. Let p(k) = 7*l(k) - 3*y(k). Let n be p(4). Does 10 divide (-316)/n - 14/(-35)?
False
Let g = -9 - -14. Suppose -5*a + 243 = -2*a - o, -g*a + 2*o = -406. Suppose -h = -5*h + 3*j + a, 0 = -4*h - j + 80. Is 18 a factor of h?
False
Is 34 a factor of (1 + 18/2)*64124/410?
True
Suppose 35 = 3*s - 1834. Suppose -481 - s = -3*y. Is (-8)/2 - y/(-4) a multiple of 22?
True
Suppose -17*s + 9*s = -600. Let o = -35 + s. Is 40 a factor of o?
True
Suppose 0 = 33*m - 29*m - 312. Is (-11)/(-22) - m/(-4) a multiple of 10?
True
Is 23 a factor of 2/(-5) + (5 - 15908/(-20))?
False
Let h(a) = 5*a**2 + 8*a + 4. Let g(t) = -t**3 - 5*t**2 - 3*t + 4. Let s be g(-3). Let v be h(s). Suppose -6*j - 11 = -v. Does 13 divide j?
True
Does 12 divide (-12)/30 - 852/(-30)?
False
Suppose q - 6 = 3*q. Let u(z) be the first derivative of -z**4/2 - 4*z**3/3 - 5*z**2/2 - 3*z - 58. Is 8 a factor of u(q)?
False
Let x(d) = 6*d + 543. Is 3 a factor of x(-31)?
True
Suppose -d + 5 = 2. Let s be (-3063)/(-33) + (-6)/(-33). Suppose -d*z = -0*z - 3*n - s, 26 = z - 2*n. Is 12 a factor of z?
True
Let g(w) = 24*w. Let x be g(-19). Is 3/(-6) + x/(-16) a multiple of 7?
True
Let g = 30 + -30. Suppose g = 4*p - 3*p - 60. Is p a multiple of 15?
True
Suppose 2*n - 18 = -14. Suppose 3*l = -n*l + 150. Is l a multiple of 5?
True
Let j = 44 + -41. Suppose j*u = 76 + 215. Is u a multiple of 13?
False
Let o = 6 - -9. Let s = o + 0. Is 20 a factor of (-24)/(-5)*250/s?
True
Let p(n) = -9 - 17*n + 67*n**2 + 6*n - 40*n**2. Is 14 a factor of p(-3)?
False
Let o = 354 + 11. Does 11 divide o?
False
Let k = -13 - -43. Does 2 divide k?
True
Suppose s = 39 + 69. Is s a multiple of 12?
True
Let y(j) = -j**3 - 11*j**2 + 11*j + 3. Let n be y(-12). Suppose -a + q = -275, 2*a + 4*q = n + 517. Is 4/(-10) - a/(-5) a multiple of 15?
False
Suppose 2*z + 4*y - 4 = -38, -2*z - 5*y = 34. Let n = z + 37. Does 10 divide n?
True
Let s(h) = -44*h**2 - 4*h + 5. Let 