e j(1). Suppose -5*p - 1269 + 5094 = 5*i, c*i - p = 2279. Does 22 divide i?
False
Let o(a) = -538*a**3 - 10*a**2 - 14*a + 52. Is 15 a factor of o(-3)?
False
Let g(w) = 2*w**2 + 32*w - 38. Let v = 173 + -191. Is 4 a factor of g(v)?
False
Let a(v) = 227*v**2 - 18*v - 32. Is a(-2) a multiple of 48?
True
Suppose -19*c - 64 = -3*c, 3*d - 6704 = -4*c. Is d a multiple of 40?
True
Let r be 5*-1*(-96)/120. Suppose r*u + 3*z - 931 = 4*z, -4*z = -3*u + 682. Is u a multiple of 26?
True
Is ((-50812)/42)/(-2) + (-154)/(-1617) a multiple of 55?
True
Suppose h - 5*a = 3885 - 1545, 4*h - 9444 = -a. Is 15 a factor of h?
False
Let r = 61 + -59. Suppose -3*x = -2*l + 51, l = -l - r*x + 66. Is l a multiple of 3?
True
Suppose 5*c - 8207 = -f, 16392 = 16*f - 14*f - c. Is 5 a factor of f?
False
Suppose -2378*k - 25650 = -2387*k. Does 25 divide k?
True
Let t(u) = -9*u**3 - 4*u**2 + 3*u + 5. Let k(n) = -12*n - 16 - 53 + 19 - 37. Let y be k(-7). Is t(y) a multiple of 29?
True
Let v(p) = 534*p - 1798. Is v(27) a multiple of 168?
False
Suppose 4285*t - 21896 = 4257*t. Is 23 a factor of t?
True
Let b(h) = 2*h**2 + 18*h - 2. Let w(n) = n**2 - n. Let x(g) = b(g) + w(g). Does 43 divide x(-14)?
False
Let s(a) = -a**2 + 10*a + 24. Let q be s(8). Suppose -12*b = 43 + 29. Does 5 divide (-180)/q*40/b?
True
Let n(d) = 2*d**3 - 55*d**2 - 42*d + 1368. Is 22 a factor of n(32)?
True
Suppose -26*p + 13734 = -17*p. Suppose 47*h + p = 13981. Is 7 a factor of h?
False
Let t be (-3)/9*(0 - 0). Suppose t = -24*n + 5*n + 266. Does 2 divide n?
True
Let m(s) = s**3 + 13*s**2 + 13*s - 5. Let w be m(-12). Is (119 + 16)/(w/10 + 2) a multiple of 25?
True
Let t = -40 + 44. Suppose -5*v = -2*d + t*d - 1452, 5*v = 5*d + 1445. Suppose 0 = n + 5*c - 108, 4*n - n - v = 2*c. Is 14 a factor of n?
True
Suppose -5 = y, -3*x - 4*y + 19 = -6*y. Suppose 9*b - x*g - 243 = 6*b, 0 = g - 2. Is b a multiple of 7?
False
Let a = -21574 + 22928. Does 3 divide a?
False
Let n = 17170 - 13030. Is 46 a factor of n?
True
Let z = 1482 + -579. Let p = z - 647. Is 8 a factor of p?
True
Let f = 3597 + 3396. Does 21 divide f?
True
Does 32 divide (-826)/(-354) - (-27970)/6?
False
Let v(m) = 9 - 60*m + 61*m + 0 + 2. Let s be v(-8). Suppose s*r + 378 = 5*j, r - 169 = -4*j + 147. Is 13 a factor of j?
True
Suppose 11061 = 45*r - 8343 + 4464. Does 2 divide r?
True
Let q(c) = 4*c**2 - 3*c - 2. Let g be q(4). Let l(s) = s**2 - 43*s - 98. Is 9 a factor of l(g)?
True
Does 238 divide (-49 + 0)/(((-264)/3808)/33)?
True
Let k(d) be the second derivative of d**4/6 + 7*d**3/6 - d**2 - 21*d. Does 12 divide k(-5)?
False
Suppose 8*w - 3389 = 2819. Suppose 4*l - 768 = -f, w = f + 3*l - l. Does 49 divide f?
True
Suppose 9*x - 17 = 10. Let i(u) = -4 + 1 + 4*u + x*u**2 - 2. Is 7 a factor of i(-5)?
False
Suppose 708 + 629 = 7*h. Let p = h - 67. Does 15 divide p?
False
Suppose 0 = -a, 2*v = -0*v - 4*a + 714. Let t = v + -240. Is 3 a factor of t?
True
Does 67 divide 71 - -2010 - (-20)/4?
False
Suppose 88*s + 72314 = 126*s. Is s a multiple of 2?
False
Let m = 2140 - -594. Is 13 a factor of m?
False
Let y(z) = 27*z**2 - 6*z + 24. Let w be y(11). Suppose -12*q + 567 = -w. Is q a multiple of 7?
False
Let y be 264/30 + (-16)/20. Suppose 4*w - 4207 = -3*q, 7*w + 5*q + 1046 = y*w. Is 7 a factor of w?
False
Let g(k) = -k**3 + 13*k**2 + 24*k - 51. Suppose -15*r + 92 + 43 = 0. Is g(r) a multiple of 5?
False
Suppose -130*j + 2407832 = -27*j + 43*j. Is 19 a factor of j?
True
Let r be (-1)/((-5)/10 + 0). Let n = 7 - r. Suppose 0 = -9*y + n*y + 12. Does 3 divide y?
True
Let v(m) be the second derivative of -11*m**5/10 + m**4/12 + 5*m**3/6 - m**2/2 + 42*m + 1. Does 95 divide v(-3)?
False
Suppose 7*z - 1568 = 9394. Let d = -906 + z. Is 5 a factor of d?
True
Let q(w) = 2*w**2 + 80*w + 529. Is q(-38) a multiple of 13?
True
Let v(z) = z**3 - 4*z**2 - 2*z + 6. Let g be v(4). Is 17 a factor of 3 + -7 + 755 + g?
False
Let s(m) = 2*m - 41. Let r be s(18). Let t(f) = -6*f**3 - 7*f**2 + 4*f + 16. Let o be t(r). Suppose 4*c - 3*h - 622 = -41, o = 4*c - 5*h. Is 12 a factor of c?
False
Let y(t) = -12*t + 11. Let n be y(-5). Let w = -69 + n. Does 28 divide w/(-4*2/(-316))?
False
Let k be 1*-3 - (-1)/((-1)/(-3)). Suppose 0 = l - m - 2*m - 1, k = 2*l - 3*m - 11. Suppose 15*w - 525 = l*w. Is 15 a factor of w?
True
Let d = 961 + -2128. Let g = -558 - d. Does 35 divide g?
False
Let m = 97 + -99. Does 9 divide -1 + (-75)/(-3) - (-1 + m)?
True
Suppose 3 = 2*y + y. Let r(m) = -m**3 + 10*m**2 - 13*m + 5. Let s be r(7). Let l = y + s. Is 31 a factor of l?
True
Let y(x) = -x**3 + 6*x**2 + 6*x + 13. Let k be y(7). Let n = k - -4. Does 17 divide 4*(95/n + -1)?
True
Let s(w) = 1450*w + 69. Is 9 a factor of s(3)?
True
Suppose 179*p + 58248 = 191*p. Is p a multiple of 72?
False
Is 45654/18 - ((-117)/27)/(-13) a multiple of 80?
False
Is 50 a factor of (-14 + 6 - -4033)*2?
True
Suppose j + 3*y - 6 = 0, 0*y - 3*y + 9 = 0. Is 19 a factor of (16/8 + (-32)/j)*3?
True
Let l be (3/((-15)/50))/1. Suppose 0 = -3*f + 218 + 82. Let m = f - l. Is m a multiple of 11?
True
Let g(k) = -k**3 - k**2 - k + 1. Let m be g(0). Is 3 a factor of (158 + -2)/(-1 - m - -3)?
True
Let p be -5*(-1)/(1/(-4)*-4). Suppose -p*g = 2*z - 25, -2*g + 0*z + z = -10. Does 2 divide g?
False
Let a = -1575 - -5085. Suppose -a = -10*k + 2580. Does 14 divide k?
False
Let z = 78 + 7. Suppose -5*l = -2*t + z - 26, 4*t = -5*l + 133. Is 32 a factor of t?
True
Let y(q) = 87*q - 5. Let a = -19 + 23. Let c be y(a). Suppose -5*o = c - 883. Is 8 a factor of o?
False
Suppose 8658 = 3*k + 6918. Is 29 a factor of k?
True
Suppose 5*b - 31 - 4 = 0. Suppose 4*y = 5*n - 6, -2*n - 2*y + b*y = 1. Suppose 4*x = -n*x + 300. Does 25 divide x?
True
Suppose -49 = -3*h - 40. Suppose f = -4*n + 832, h*n + 248 = -2*f + 877. Suppose -64 = -4*z + m + 221, -n = -3*z + 3*m. Is 12 a factor of z?
True
Let f(w) = 6704*w + 70. Is f(1) a multiple of 158?
False
Let g = 2494 - 1628. Is 4 a factor of g?
False
Let t be 6*(-506)/(-552)*4/1. Is (5 - 2) + (-11)/(t/(-2732)) a multiple of 86?
False
Suppose -16 = 4*s, 3*n - 1060 = -2*s + 3*s. Suppose 5*w - 438 = -3*c, -8*c + n = 4*w - 4*c. Is 22 a factor of w?
False
Let c = 384 + 982. Let r = -267 + c. Is 14 a factor of r?
False
Let a(k) = 1 - 55*k**3 + 56*k**3 + 7*k**2 + 0 - 3*k + 0. Is 6 a factor of a(-5)?
True
Suppose -10 = 2*b, -9*d + 7*d + 4*b + 6168 = 0. Does 17 divide d?
False
Suppose 14*g - 9 = 15*g. Let h(s) = s**3 + 11*s**2 + 20*s. Let o be h(g). Does 8 divide o/(-36) + 30/4?
True
Let m be 7/(-3)*3*-1. Let g be m/(35/(-60)) + 4. Is 6/g + (1281/12 - 0) a multiple of 34?
False
Let a = -119 - -134. Suppose 3*o = -3*w + 30, -5 = -5*o + w + a. Suppose 0 = -5*l + o*m + 535, 0*l - 4*m - 324 = -3*l. Is l a multiple of 11?
False
Let c be (-18)/30 + 15932/20. Suppose 2*y = -5*a - y + 84, -24 = -2*a + 2*y. Suppose a*l - 254 = c. Is 4 a factor of l?
False
Let o(q) = 20*q**3 + 14*q**2 - 30*q + 30. Let v(u) = 7*u**3 + 5*u**2 - 10*u + 10. Let j(l) = 6*o(l) - 17*v(l). Does 9 divide j(7)?
True
Suppose 8688 = -77*b + 125*b. Does 3 divide b?
False
Let z be (24 + -5)/((-1)/(-56)). Let q = z + -331. Does 14 divide q?
False
Suppose 23*x = 38738 + 151458 + 32674. Does 10 divide x?
True
Let x = -910 - -910. Let f(j) = -2*j**2 + 2*j + 2000. Is 80 a factor of f(x)?
True
Let w(i) = -7*i + 51. Let m be w(7). Suppose 17*a - u = 20*a - 1209, m*a - 4*u - 820 = 0. Does 16 divide a?
False
Is 215 a factor of (-6161)/(-1) + -26 + 2 + 23?
False
Let n(d) = 0 - 65*d - 1 + 1 + 7. Let h be n(-7). Let c = h + -276. Is 28 a factor of c?
False
Let b(y) = -3*y**2 - 1. Let h be b(-3). Let r be (-998)/(-8) - (-8)/32. Let x = h + r. Is x a multiple of 24?
False
Let a = -82 - -56. Let d = a + 79. Let g = 7 + d. Is g a multiple of 38?
False
Let z(a) = -7*a + 103. Let v be z(13). Is 15 a factor of v*(-25)/6*1722/(-140)?
True
Suppose -134355 = 12*r - 126*r + 76317. Is 154 a factor of r?
True
Let t be ((-3)/(-6))/(2/(-4)) - -414. Suppose -t + 90 = -b. Suppose b = 4*n - 477. Is n a multiple of 25?
True
Let b(l) = 2*l**2 - 8*l + 10. Suppose -4*u + m = -20, -m = 4*u + 2 - 14. Let o be b(u). Does 7 divide -1 - (-5)/(o/16)?
True
Let a be 4 - 658/6 - (-2)/(-6). Let d = 102 + a. Let f(m) = -37*m + 9. Does 14 divide f(d)?
False
Suppose -128*q = -127*q + 75. Let x = q + 72. Does 4