v)?
True
Suppose -p - 4*c + 103 = 0, -2*p + 239 = c - 4*c. Suppose 0 = -122*w + p*w + 364. Is 2 a factor of w?
True
Let x = -16415 + 20741. Does 103 divide x?
True
Suppose -5*d - 2*c = -7*c + 15770, -3*d + 5*c = 9452. Let i = -1806 - d. Suppose -5*t = -i + 473. Does 11 divide t?
True
Let s(j) be the third derivative of 2*j**6/45 + j**5/40 + j**4/12 - 3*j**2. Let i(r) be the second derivative of s(r). Is i(1) a multiple of 5?
True
Suppose 9*l - 36672 = 13008. Is 57 a factor of l?
False
Let i be (-2)/(-7) - ((-225)/21 + 5). Let s = i + -3. Is 6/(-4)*(-214)/s a multiple of 15?
False
Let n be (30/75)/((-1)/(-10)). Let u(w) = -w**3 + 5*w**2 - 5*w + 4. Let v be u(n). Suppose 0 = 3*b - 4*l - 320, v = 4*b + 4*l - 263 - 201. Does 28 divide b?
True
Let c = 374 - -200. Suppose -182 = -k - y, y + 3*y + c = 3*k. Is k a multiple of 10?
False
Let y = 73 - -25. Suppose 3*o = -4*b + 900, y = 3*o + 5*b - 799. Is 38 a factor of o?
True
Let h be 8 + 20 - (-4)/(-1). Let a be ((-4)/(-3))/((-16)/h). Does 8 divide ((-16 - -3) + 3)*a?
False
Let m(a) = 39*a + 2 - 32 + 44*a - 63*a. Is m(10) a multiple of 10?
True
Let h = -460 + 464. Suppose 0*f - 3*f + 228 = 0. Suppose h*w - f = -44. Is w even?
True
Suppose -2*s + 5*s = -6. Let n(t) = 119*t**2 + 13*t. Is n(s) a multiple of 18?
True
Suppose -2*h - 2*h + 12 = 0, -2*n = -4*h - 36. Is 18 a factor of 6/n - (-14790)/40?
False
Let f be 15/(-12)*2*(-968)/10. Let z = -224 + f. Does 3 divide z?
True
Let p(f) = 294*f**2 - 52*f - 13. Is p(-4) a multiple of 50?
False
Let j be (-29)/(-3) + (-5 - 96/(-18)). Suppose -j*r = -2095 - 215. Is r a multiple of 21?
True
Let k(m) = m**3 - 2*m**2 - 11*m + 15. Let f be k(4). Suppose -f*x = 27*x - 3120. Does 10 divide x?
False
Suppose -3 = 2*r - 3. Let a(o) = -o**2 + 3*o - 3580. Let d be a(r). Is 22 a factor of 2/(-10) + d/(-25)?
False
Let h(r) = -r**3 - 18*r**2 - 8*r - 119. Let d be h(-19). Let b = 2028 - d. Is b a multiple of 39?
False
Let f(m) = 5*m**3 - 94*m**2 - 21*m + 15. Is 6 a factor of f(21)?
False
Let k(j) = 6*j**2 - 3*j - 4. Let q be -4 + 1 + (9 - 3). Let i be k(q). Let r = 164 - i. Is 31 a factor of r?
False
Suppose -7*l = -4*l - 39. Suppose -l*x = -0 - 39. Suppose 5*a + o = x*a + 132, 0 = -5*o + 20. Does 8 divide a?
True
Let m be 0 + -6*(-8)/24. Suppose 345 = m*q - 3*s - 176, -4*q + 4*s + 1044 = 0. Is 3 a factor of q?
False
Suppose -1287*l + 1291*l = 5348. Is l a multiple of 20?
False
Suppose 0 = -4*z + 2*z + 8. Suppose -3*v - z*t + 11 - 4 = 0, -3*v + 13 = t. Suppose v*a = 2*d - 100 - 172, 2*d = 3*a + 264. Is 14 a factor of d?
True
Let q = 145 + -30. Let i = q - 110. Suppose -i*n + 150 = -4*n - 5*r, 4 = -r. Is 26 a factor of n?
True
Suppose 5*c = -0*x - 5*x + 20, -3*x = -2*c - 2. Suppose -y = -q + 134, -7*q + c*q = -2*y - 682. Does 21 divide q?
False
Let b(d) = 22*d**3 + 2*d**2 - d - 22. Let k be b(-3). Let h = -391 - k. Is 4 a factor of h?
True
Let d = 11087 - 5013. Suppose 0 = 23*u - 13154 - d. Is 76 a factor of u?
True
Let y be -118*((-6)/(-4) - 4) + 3. Suppose 5*w - 2018 = -y. Is w a multiple of 41?
False
Suppose 5*i = -5*c, 0*i + 2*c + 3 = -i. Suppose i*k - 49 = 35. Let z = 49 - k. Does 9 divide z?
False
Let u be (3 + 18)/7 + 1. Suppose -4*f = u*a - 9*a + 231, -4*f = 16. Is a a multiple of 9?
False
Let m(f) = -33*f**3 - 4*f + 4. Let d(l) = -66*l**3 - 8*l + 8. Let w(z) = 3*d(z) - 7*m(z). Is 2 a factor of w(1)?
False
Let c = 3081 - 2904. Does 2 divide c?
False
Does 5 divide -1229*2*(-3)/6?
False
Let r be (1 + 0)/((-2)/(-558)). Suppose -5*q = -r - 31. Is 31 a factor of q?
True
Let m(d) = -3*d**2 + 20*d + 13. Let h be m(7). Is 40 a factor of 6/h*326/((-2)/(-1))?
False
Is ((-233400)/(-60))/(4/2) a multiple of 81?
False
Suppose 0 = 5*i + 2*x - 74, -3*i = 3*x + 2 - 41. Let v = i + -13. Suppose -3*r + 6*r + 285 = v*s, 3*s = 2*r + 280. Does 15 divide s?
True
Let k be (48/102)/4 + 642/34. Suppose -25*w = k*w - 8052. Does 3 divide w?
True
Let y = 43632 - 39400. Is y a multiple of 23?
True
Let c(q) = 2*q + 10. Let a be c(-4). Suppose -2*o + 7*n = 4*n - 159, a*o + 3*n - 177 = 0. Is o a multiple of 14?
True
Suppose -1985 - 1231 = -z + 3*q, 3*q + 12864 = 4*z. Is z a multiple of 24?
True
Is (-6)/7 + (-1023300)/(-210) a multiple of 6?
True
Suppose -2*u + 4*o = 2, 2*u + 65 = -3*u - 2*o. Does 6 divide 161 + u - 4*(0 + -1)?
False
Let h = 115677 + -73998. Is h a multiple of 99?
True
Suppose 5*o = 2*b - 65, 3*o - 55 = -2*b + 2. Does 74 divide ((-10293)/15 + -1)*b/(-12)?
False
Let l be (-153 - 2)*(9 + -7). Let w = l - -565. Is 51 a factor of w?
True
Let j be ((-4340)/(-1))/7 + (6 - 2). Suppose j = 105*u - 93*u. Does 5 divide u?
False
Suppose -4*s = f - 21894, -s = 3480*f - 3479*f - 5472. Is 34 a factor of s?
True
Suppose 2*i - 4*r = 6858, -r - 275 = -i + 3151. Is i a multiple of 6?
False
Let c be ((8/(-10))/((-8)/280))/2. Let d = c - -25. Does 13 divide d?
True
Let c(d) = -d**2 - 5*d - 2. Let z be c(-5). Let p(r) be the second derivative of r**4 - r**3/3 + 3*r - 4. Is 4 a factor of p(z)?
True
Let g(s) = -s**2 + 13*s - 10. Let w be g(8). Let l be (72/w)/(((-108)/(-40))/(-9)). Let y(m) = m**3 + 10*m**2 + 7*m + 14. Is 43 a factor of y(l)?
True
Let i(k) = 135*k - 354. Let w(v) = -68*v + 180. Let z(h) = -4*i(h) - 7*w(h). Does 13 divide z(-21)?
False
Let o = -58 + 27. Let y be (3/2)/((-300)/(-4600)). Let c = y - o. Does 22 divide c?
False
Let b(f) = -f**2 + 8*f + 7. Let h be b(8). Suppose 0 = -2*j - 3 + h. Suppose 3*q = 12, 5*q - j - 2 = 4*u. Is u a multiple of 4?
True
Let u = 5505 + -2311. Is 61 a factor of u?
False
Let k be (-10)/(-1 - 203/(-189)). Let c = k - -1407. Is 81 a factor of c?
False
Let o = -141 + 133. Let x(t) be the second derivative of -2*t**3/3 - 9*t**2 - 3*t. Is 2 a factor of x(o)?
True
Suppose 4*q = -4*r + 12, -4*q + 8*r - 13*r + 13 = 0. Suppose 5*h - q*h = 5*w - 181, 5*w = h + 177. Is w a multiple of 7?
True
Is 292 a factor of 21176/14*(2414/68 - -3)?
False
Suppose -503525 - 883165 = -51*v. Is v a multiple of 60?
False
Let d = 7701 + 3684. Is 207 a factor of d?
True
Suppose 0 = d - 2*t + 7*t - 647, 0 = -5*t - 25. Let c = d + -248. Is c a multiple of 31?
False
Let o be 56/(-3)*(-1347)/(-2). Let h be o/(-35) + (-8)/(-10). Suppose x - h + 108 = 0. Does 30 divide x?
False
Let u(g) = g - 97. Let n be u(16). Is 61 a factor of -1 - -4 - (-9)/(n/(-7659))?
True
Let h = -1913 - -1101. Let w = -375 - h. Is w a multiple of 12?
False
Suppose -6*f - 22 + 190 = 0. Let p = 68 - f. Is p a multiple of 5?
True
Let y be 1/(-3) + 1/3. Suppose y*k = 10*k - 100. Is 2 a factor of k?
True
Let l = 1036 + 16362. Is l a multiple of 179?
False
Let y = 428 - 375. Suppose -60*l = -y*l - 1456. Is l a multiple of 26?
True
Let s = 7413 + -2261. Is 14 a factor of s?
True
Let g(o) = 24*o**2 - 3*o + 7. Let z be g(2). Let k = 102 - z. Suppose -204 = -k*h + 321. Does 21 divide h?
True
Suppose -38*p + 3*t + 94186 = -34*p, -p + 2*t = -23544. Is (-6)/(-39) - (7 - p/52) a multiple of 16?
False
Suppose -33*o = -138833 + 6701. Is o a multiple of 154?
True
Suppose 0 = -2*r - 2*y - 566, 5*y - 587 = 6*r - 4*r. Let k = 391 + r. Is k a multiple of 35?
True
Let q(f) = 48*f**2 - 35*f - 31. Does 6 divide q(6)?
False
Suppose 117 = 22*j + 337. Let n(h) = 7*h**2 + 6*h - 26. Is 47 a factor of n(j)?
False
Suppose -68*c + 64*c - l = -5830, -7296 = -5*c + 3*l. Is 17 a factor of c?
False
Suppose -2*b = -0*b + 3*f - 10, b = -f + 4. Suppose 5*k - b*k = -3, -5*u + 4*k = -69. Let t = 68 - u. Is t a multiple of 55?
True
Suppose -36 = -5*r - w, 3*r + 19 = 6*r - 2*w. Let k be ((-128)/48)/(2/(-3)). Suppose -k*v = -r*v + 660. Is v a multiple of 22?
True
Suppose -216 = -8*m + 72. Suppose m*c - 1675 = 11*c. Is 7 a factor of c?
False
Let w be (-186)/8 - (5 + 51/(-12)). Let y = w - -159. Is 31 a factor of y?
False
Let o = 29 - 27. Let h(v) = -5*v**2 + v**3 + 8*v**2 - 16*v**o - 17*v - 16 - 2*v**3. Is h(-12) a multiple of 4?
True
Let r(h) = -h**3 + 51*h**2 - 219*h - 120. Is 25 a factor of r(43)?
False
Let d(l) = 583*l - 28. Let o = 149 + -148. Is d(o) a multiple of 22?
False
Let v(r) = -r**2 - 11*r + 16. Let n be v(-12). Let p be -1*(-3 - -2 - 2). Suppose 4*g - u = -3*u + 114, -p*u + 119 = n*g. Is 5 a factor of g?
False
Suppose -3*o + r = -56946 + 16887, 2*r + 26714 = 2*o. Is o a multiple of 169?
True
Let x(s) = 49*s + 67. Let y be x(4). Suppose 3*g + h - y