e
Suppose -2*w + 2*t - 2 = 0, 2 = 3*w + 3*t - 25. Suppose -2*u + 36 = x + w*x, -u + 33 = 5*x. Is 10 a factor of (x/(-2))/((-18)/240)?
True
Suppose -7*c = -31*c - 432. Let q(x) = -6*x + 241. Let d(y) = y - 48. Let s(b) = -11*d(b) - 2*q(b). Is 3 a factor of s(c)?
False
Let t be (-4)/4 + 6/2. Suppose 0 = -4*q + 2*r - 4*r - 32, t*r = 0. Let l = 44 + q. Is l a multiple of 9?
True
Is 79 a factor of (-12)/(-1 + 4) + 2586?
False
Let u(q) = 4*q**3 - 5 - 14*q**3 + 2*q**2 - 16*q - q**2 - 2*q**2. Is u(-4) a multiple of 10?
False
Let t(c) = -c - 3*c**3 + 3*c**3 - 6*c**2 - 10 + c**3. Let p = -76 - -83. Is t(p) a multiple of 7?
False
Suppose -837950 = -89*h + 429410. Is 4 a factor of h?
True
Is 31 a factor of ((-276)/(-5))/(546/138320)?
False
Let w be ((-37)/(-185))/(2/20). Suppose -19*x + 9849 = w*x. Is x a multiple of 67?
True
Let p(j) = 22*j**2 - 8*j + 78. Is p(8) a multiple of 9?
True
Suppose 0 = 2*f - 20 + 16. Is 4 a factor of (-784)/(-48) + (f - 21/9)?
True
Suppose 0 = 2*m - 3*m. Suppose -4*s - s + 2*t + 27 = m, 4*s + 4*t = 16. Suppose s*b + 2*d - 703 + 120 = 0, -4*b + 464 = 4*d. Is 9 a factor of b?
True
Let v(y) = -y**3 - 7*y**2 + 9*y + 1. Let l be v(-9). Let d = l + 558. Suppose u + 3*u = d. Is 16 a factor of u?
True
Is -1 + (-1)/((-36)/20406) + (-6)/(-36) a multiple of 10?
False
Let h(n) = 143*n**2 - 221*n + 2446. Is 21 a factor of h(11)?
False
Let w(o) = -5*o**2 - 3*o + 9*o + 0*o + o**3. Let v be w(3). Suppose 13*z - 16*z + 192 = v. Is 16 a factor of z?
True
Suppose 232966 = 29*o - 65792. Is o a multiple of 18?
False
Let u(d) = d**2 + 2*d - 3. Suppose 8*p + 174 + 218 = 0. Let g = p + 41. Is 3 a factor of u(g)?
True
Suppose 0 = 39*l + 103*l - 3403740. Does 102 divide l?
True
Let q(k) be the second derivative of 2*k**5/15 + 3*k**4/4 - 4*k**3 + 13*k. Let u(o) be the second derivative of q(o). Is u(7) a multiple of 13?
True
Let t(z) = -z**3 - 7*z**2 + 27*z - 15. Let x be t(-11). Suppose 0 = 13*p - 9*p - 4*q - x, 0 = 5*p - 2*q - 221. Is 4 a factor of p?
False
Let r = -46 + 50. Suppose -r*d = 16, -2*l - 3*d + 310 = -654. Is 22 a factor of l?
False
Suppose -24 = -4*g - l, 0 = 5*g + 2*l + 2*l - 19. Suppose 2*f - 5 = g*f. Does 4 divide 36/9*(0 - f)?
True
Suppose -37446 = 7*h - 108888. Is 27 a factor of h?
True
Let s(q) = -51*q + 106. Let n(h) = 254*h - 534. Let w(c) = 3*n(c) + 16*s(c). Is 21 a factor of w(-12)?
False
Suppose 4*g - 6 = 6. Suppose v = -4*f + 132, -284 = -5*v + g*v + 2*f. Is v a multiple of 10?
True
Suppose 2196*n + 155856 = 2230*n. Is 285 a factor of n?
False
Is (-812)/(-580) + (-10256)/(-10) a multiple of 13?
True
Is 5 - (-1256)/(-5 + 7 + -1) a multiple of 12?
False
Let l = 255 - 444. Let g = -112 - l. Let y = g - 45. Is 16 a factor of y?
True
Let n(i) be the third derivative of -i**4/24 + 10*i**2. Let k(s) = s**2 - 13*s - 4. Let f(y) = k(y) - n(y). Is f(13) a multiple of 4?
False
Suppose -19584 = 5*t - 13*t. Suppose -i - 3*i + t = 0. Does 68 divide i?
True
Let h = -7272 - -8139. Is 15 a factor of h?
False
Let r be 9*(-10)/(-15)*-1. Let u be 2/r + (-5 - (-86)/6). Suppose -u*y = -26 - 91. Is y a multiple of 3?
False
Let p(c) = -c**2 + 169*c - 292. Is p(91) a multiple of 93?
False
Is 43 a factor of -2*(-1)/(-16) + (-1910195)/(-280)?
False
Suppose 4*i - 135 + 119 = 0. Suppose i*d = 3297 - 1017. Is d a multiple of 15?
True
Suppose 0 = -t - 5*x - 4 - 3, -5*t - 5*x + 45 = 0. Suppose -t*g = -923 - 975. Does 16 divide g?
False
Is 14 a factor of 2 + 33241 + 4 + -11?
True
Suppose -51 = -7*y - 23. Suppose 0 = 2*z + 4*h - 306, y*h + 114 + 216 = 2*z. Is z a multiple of 23?
False
Let p(y) = 2*y**3 - 9*y**2 - 19*y - 11. Let q be p(8). Let a = q - -174. Does 27 divide a?
True
Suppose -3*x + 5*m = -19489, -9025 + 41510 = 5*x - 10*m. Is x a multiple of 17?
False
Is 97 a factor of (173184/2460)/((-2)/(-20))?
False
Let k = 36792 - 11832. Does 87 divide k?
False
Let v = 12629 + -8183. Is v a multiple of 114?
True
Let v be 4/3*7578/24. Suppose -6*f = v - 2095. Is 28 a factor of f?
False
Let t(m) = -m**2 - 25*m + 31. Let i be t(-26). Let k(a) = 3*a**3 + 7*a**2 - 9*a - 12. Is k(i) a multiple of 18?
False
Suppose c = b - 14612, -21*b + 20*b + 2*c = -14616. Is 54 a factor of b?
False
Let l(y) = 2*y + 10. Suppose 0 = 3*i + 5*q - 2*q - 18, 2*q + 4 = 0. Is 26 a factor of l(i)?
True
Let k be (8 - 152/16)*(-4)/3. Does 16 divide 0 - ((-6)/3 - k - 188)?
True
Does 9 divide (3135/(-30) + -20)/((-1)/(-24)*-2)?
True
Suppose 2*f + 13*f - 802191 = -52*f. Is f a multiple of 26?
False
Let t be (270/25)/(-3 - 153/(-50)). Let x(k) = k + 6. Let d be x(7). Suppose t = d*q - 10*q. Is 12 a factor of q?
True
Is 12 a factor of (-1)/(6/(-4)) + 4600476/1458?
True
Suppose 56574 - 14966 = -1979*k + 1986*k. Is k a multiple of 7?
False
Is (-2 - -1) + -1282*(-8)/(192/36) a multiple of 3?
False
Suppose 20*k = 101*k + 50*k - 128380. Is 154 a factor of k?
False
Let v(w) = w**3 + 6*w**2 + 6*w + 8. Let d be v(-5). Suppose -8 = -d*c + c. Suppose -5 = 3*y - 14, -c*o - 2*y = -474. Is o a multiple of 30?
False
Let c be 28384/(-72) - -12 - (-2)/9. Let h = -374 - c. Is 8 a factor of h?
True
Is 19 a factor of -21 + (2 - -11) - -2892?
False
Suppose 36*u = 29*u + 14. Suppose 0*z + 81 = -z - 4*x, 2*z + 132 = u*x. Let y = z - -83. Is 7 a factor of y?
True
Suppose 5*n - 9374 = -132*x + 131*x, 2*n - 3740 = -2*x. Is 28 a factor of n?
True
Let b = 3619 + -3349. Is b a multiple of 5?
True
Suppose 4*z + 8108 = 2*d, -2*z - z = -8*z. Does 2 divide d?
True
Suppose -8 = 2*l + 4. Let r be l/((-6)/2) + -4. Does 17 divide (-1 - r)/(10/460)?
False
Let r(x) = -528*x - 96. Is 50 a factor of r(-7)?
True
Let o = 562 - 568. Is (5424/28)/(o/(-28)) a multiple of 58?
False
Suppose -9 = 4*a + 4*q - 1, -3*q = -5*a - 2. Let n = -2 + a. Is (n*208/(-6))/(10/5) a multiple of 4?
True
Suppose -3*n = 4*h - 138, -116 = -3*h + n + 3*n. Suppose -h*t = -30*t - 36. Suppose -4*u + 54 = 3*v - t*v, -3*v = 4*u - 66. Is 3 a factor of u?
True
Let h(s) = -19*s**2 - 5. Let v be h(4). Let i = 612 + v. Does 11 divide i?
False
Let n be -4*(-1)/(2 + -1). Let l = -1245 + 1250. Suppose l*c + d - 402 = n*d, -c - 5*d + 86 = 0. Is 9 a factor of c?
True
Let j(r) = 2*r + 13. Let x be j(-4). Suppose -p = q - 1, -5*p - 14 - 1 = -x*q. Suppose -b + 153 = 5*a, 15 = 3*b + q*b. Is a a multiple of 15?
True
Suppose 3*k + 86 + 115 = 0. Suppose -4*y = -80 - 420. Let f = y + k. Is f a multiple of 13?
False
Let q(n) = n**3 - 11*n**2 + 3*n + 3. Let b(i) = i**2 + 1. Let x(p) = -6*b(p) - q(p). Let k be 24/4 + (-11 - (0 - 0)). Is 16 a factor of x(k)?
True
Let t(i) = -2*i**2 - 16*i - 5. Let b be t(-7). Suppose -2*w = w - 4*f - 18, b = 3*w - f. Is 31 a factor of (-1 - -3) + 0 + w*30?
True
Suppose -12*r - 26*r + 195887 = -33481. Is r a multiple of 12?
True
Let r(q) = -2*q + 17. Suppose -22*i + 26*i = 32. Let g be r(i). Does 29 divide ((1 - 1)/(-1))/g + 174?
True
Suppose 6 = -5*z - 19, 0 = 3*c + 4*z - 58. Suppose 9*v - 64 = c. Suppose -v*n = -8*n - 54. Is 4 a factor of n?
False
Let s(h) = -h + 124. Let v be s(-6). Is 27 a factor of 30920/v + 2/13?
False
Let j(q) = -3*q - 6. Let k be j(-3). Suppose 0 = -c - 3*i + 241, c + k*i - 497 = -c. Is c a multiple of 8?
True
Let q(b) = b**2 - b - 10. Let o be q(-3). Suppose -2*s = o, -271 + 45 = -5*z + s. Does 15 divide z?
True
Let z(t) = 2*t**3 - 4*t**2 - t + 3. Let n be z(3). Is -308*(0 + n/(-12)) a multiple of 42?
True
Let c be ((-27)/(-81))/((-2)/(-18)). Suppose -2*l + 94 + 76 = 5*n, 3*n - c*l = 123. Suppose -w + 2*v + n = 7*v, 3*w - 72 = -3*v. Is 21 a factor of w?
True
Suppose -3*z = 3*j - 36552, -3*z + 2*z = 2*j - 24368. Is 8 a factor of j?
True
Let q = -194 + 197. Is 14 a factor of 1562/14 - -9*q/63?
True
Let r(f) = f**3 - 15*f**2 + 12*f - 27. Let l(x) = 2*x**3 - 31*x**2 + 23*x - 54. Let k(y) = 2*l(y) - 5*r(y). Let s = 208 - 196. Is k(s) a multiple of 3?
True
Let p be (-7 - 10) + 6 + -60. Suppose -2*a - 3*h - 52 = 0, 4*a - 22 = -h - 136. Let c = a - p. Is c a multiple of 5?
False
Let p(h) = -h**3 + 6*h**2 + 10*h - 7. Let d be p(6). Let a = -50 + d. Suppose 0 = 4*g + a*v + 11 - 133, -2*g - 4*v + 66 = 0. Is 5 a factor of g?
False
Suppose -13 = -3*m - 16. Let q be 1/((-3)/6)*m. Is 1/q + (-7875)/(-42) a multiple of 13?
False
Suppose -92*s + 122038 = 4738. Does 7 divide s?
False
Let h(p) = -p + 32. Let j be h(22). Suppose -6*l + 8816 = j*l. 