e of 6?
False
Let b = -193 - -1540. Is b a multiple of 2?
False
Let s = 35 - 34. Let r be s/1 + 5/(25/5). Suppose -r*h = 5*f - 5*h - 613, 3*f - 369 = 3*h. Is 21 a factor of f?
False
Suppose 3*q + 46*c - 4350 = 44*c, 0 = 5*q - 3*c - 7212. Is 62 a factor of q?
False
Suppose -10*g = -20 - 110. Suppose -292 + 58 = -g*a. Suppose a*d - 13*d - 1345 = 0. Is d a multiple of 10?
False
Suppose -4*m + 3*m = -476. Suppose -3*h + m = -2*h. Does 17 divide h?
True
Let v = 87 + -77. Suppose -22*m = v*m - 4288. Is m a multiple of 13?
False
Let n = 83185 - 47344. Is 13 a factor of n?
True
Let w = 30 - 28. Suppose w*u + 0 = -4*v - 4, 0 = -3*v + 9. Let s(t) = t**3 + 9*t**2 - 12*t + 8. Is 43 a factor of s(u)?
False
Let p(t) = 514*t + 2393. Is 6 a factor of p(3)?
False
Let w = -74 - -77. Suppose -3 = -w*g - 6. Let y(i) = -97*i - 3. Is y(g) a multiple of 19?
False
Let c(d) = -63*d + 73. Suppose 9*h = -11*h - 40. Is c(h) a multiple of 10?
False
Let w be ((-20)/(-6))/((-2)/6). Let s(a) be the second derivative of a**4/6 + 5*a**3/3 - 9*a**2/2 - a - 58. Is 7 a factor of s(w)?
True
Suppose -48*b = -21*b + 2403. Let a = -47 + -20. Let x = a - b. Is 11 a factor of x?
True
Let j(c) = 7*c - 17. Suppose 22 + 160 = -7*b. Let l be b/(-3) + (-4)/6. Does 3 divide j(l)?
True
Let a be (-7909)/(-33) + ((-4)/3)/2. Suppose 19*c + 5*b = 17*c + a, 4*c + 3*b = 471. Does 2 divide c?
False
Suppose 0*u - 3*u + 4 = s, 0 = 2*u - 2*s - 8. Suppose 2*h + 212 = -u*h. Let x = h + 84. Does 4 divide x?
False
Suppose 536*u - 28141555 = -127*u + 9638837. Is 19 a factor of u?
False
Let f be (7 + 18/(-3))*3. Is ((-319)/(-87))/(1/f) a multiple of 7?
False
Does 44 divide ((-7)/(-7) - (-3)/(-6))*352248/12?
False
Let u = 14605 + -3772. Is 23 a factor of u?
True
Suppose 8*f - 162705 - 20119 = 0. Is 83 a factor of f?
False
Let m = -50 + 110. Let i be (m/25 + -4)*-335. Let f = -376 + i. Is f a multiple of 13?
False
Suppose 4*c + 21 = 2*b - 5, b - 11 = c. Let a be (-105)/2 + 2 - b/(-18). Let i = 65 + a. Does 5 divide i?
True
Let v = -1 + 1. Let j be (34/(-51))/((-2)/42). Suppose v = -0*t + t - j. Is t a multiple of 7?
True
Let r(u) = 371*u**2 - 256*u + 2064. Does 45 divide r(8)?
True
Let d = 6653 - 1910. Is 128 a factor of d?
False
Let v be 3/15 - 48/(-10). Suppose -v*r + s = -136, 2*r + s = 23 + 37. Suppose -r = -h + 44. Is 17 a factor of h?
False
Let l(b) = 50*b + 9. Let z be ((-27)/(-18))/(6/4). Is l(z) a multiple of 5?
False
Let d = 1250 + 406. Is d a multiple of 9?
True
Suppose -128 = -0*r + 4*r. Let l = 35 + r. Suppose -z = 5*f - 46, -l*z - 2*f + 174 = f. Does 28 divide z?
False
Is (-92)/(-138) - (-3342)/9 a multiple of 25?
False
Let d(w) = -8*w + 464. Let x = -734 - -704. Is 44 a factor of d(x)?
True
Suppose 175*a = 165*a + 20. Suppose 0 = 2*z + 3*j - 1899 - 725, 5*z + a*j = 6538. Does 19 divide z?
False
Is (-8178)/30*-5 - 14 a multiple of 142?
False
Suppose 58*s - 5*m = 63*s - 70, 2*s - 2*m - 28 = 0. Suppose 0 = r - 3 + 2, -r = 2*b - 39. Suppose s*v = b*v - 190. Is 19 a factor of v?
True
Let h(m) = -50*m + 1172. Does 168 divide h(-74)?
True
Suppose -35*h + 411460 = -141015. Is 11 a factor of h?
True
Let t = 8 + -8. Suppose 5*h + 4*n - 3104 = t, 2*h + 0*h - 1260 = 3*n. Does 12 divide h?
True
Is 121 a factor of (-2418 + (1 - (2 + 1)))*120/(-96)?
True
Let z(q) = 2*q**2 - 6*q + 2. Let y(s) = -s**2 + 0*s**2 + 0 - 10*s + 8. Let t be y(-11). Is 23 a factor of z(t)?
False
Suppose -922923 - 408914 = -49*n - 173379. Does 19 divide n?
False
Let j = 11 - 7. Suppose -70*n = -6*n + 53*n - 32175. Suppose j*m + 83 = n. Does 8 divide m?
True
Suppose 14*i - 99 - 41 = 0. Suppose 0 = 11*v - 1805 - i. Is v a multiple of 6?
False
Suppose 73952 = 4*a + 4*t, 22552 = 6*a - 2*t - 88360. Is 36 a factor of a?
False
Let m = -786 + 1228. Let b = m + -190. Does 12 divide ((-2)/(-3))/(7/b)?
True
Let j be (-19)/((-95)/(-10)) - -8. Is (j/(-9))/((-28)/77826) a multiple of 109?
True
Suppose 23*y - 41382 = -0*y + 5*y. Is y a multiple of 16?
False
Suppose -2*c + 48 = 6*c. Let z be (0/c)/(2*(-2 + 1)). Is 90/2 + (z/(-5))/(-2) a multiple of 5?
True
Is (-7884)/(-1533)*301/2 a multiple of 30?
False
Let a(h) = h**2 + 6*h - 35. Let l be a(4). Suppose 7*k = -l*k + 2268. Is k a multiple of 21?
True
Let s(y) = 3*y + 82. Let w be s(-16). Is 3 a factor of w/(-1 + 0 - 42/(-36))?
True
Suppose 1612 + 31198 = 5*z + 5*f, -z + f = -6572. Is 38 a factor of z?
False
Let n(d) = 40*d + 9 - 14*d - 11*d + d**3 - 34*d**2 + 73. Is 40 a factor of n(34)?
False
Let d(j) = 529*j**2 - 85*j + 404. Is d(7) a multiple of 40?
False
Let r(o) be the second derivative of o**4/4 - o**3 + 4*o**2 - o. Let g = 91 + -83. Is 24 a factor of r(g)?
False
Is 2984 - (9/(-18))/(2/8) a multiple of 17?
False
Let l be 130/80 - (-6)/16. Let k = -99 + -33. Is 19 a factor of ((-2)/6)/(l/k)?
False
Let j be 7*((-25)/7 + 4). Let z = j - 1. Suppose -12 = z*x - 3*x. Is x a multiple of 6?
True
Suppose 1182*c = 1207*c - 564200. Is 52 a factor of c?
True
Suppose 0 = -4*s + 8, k - s - 1 - 2 = 0. Suppose -5*o = 5*c - 4*o - 394, k*o + 370 = 5*c. Is c a multiple of 13?
True
Suppose -232779 = 193*v - 2468356 + 54677. Is 8 a factor of v?
False
Let p(z) = z + 90. Let y be p(-14). Suppose 8*l = y + 52. Does 3 divide l?
False
Let s(c) = -18*c**2 + 4*c - 2. Let k be s(1). Let u be 1660/35 - k/28. Is 26 a factor of (u/28)/(1/91)?
True
Let t = -47 + 48. Let a be 3/27*6*(t - -2). Suppose -a*i = -68 - 236. Does 21 divide i?
False
Let x(s) be the first derivative of -s**4/4 + 11*s**3/3 - 5*s**2/2 + s + 24. Does 12 divide x(7)?
False
Let u = -16 + 46. Suppose u + 84 = 2*d. Let o = 83 - d. Is 3 a factor of o?
False
Suppose -85*n = 17*n - 68144 - 604240. Does 32 divide n?
True
Let f = -231 + 235. Let d be 0/((-6)/9*3). Suppose d = -f*j + 32 + 52. Is j a multiple of 6?
False
Let r be -2 - (-126 + 0)/2 - 1. Suppose -9*w + r = w. Suppose w*d - 66 - 102 = 0. Does 4 divide d?
True
Let i(r) = 201*r**2 - 14*r + 57. Let h be i(7). Suppose -h = -18*n - 3760. Does 24 divide n?
True
Let h be (-30)/15 - (41 + 0)*-4. Suppose -h = -8*m + 326. Does 39 divide m?
False
Let k = 329 + -308. Suppose -k*t = -37*t + 5600. Is t a multiple of 35?
True
Let v = -7681 + 21411. Is 56 a factor of v?
False
Suppose 15*v + 8*v - 45036 = 17*v. Is 27 a factor of v?
True
Suppose 5*x - 9839 = j, 5*x - 2*j - 8808 - 1030 = 0. Is x a multiple of 31?
False
Let n(j) be the first derivative of j**6/180 - 41*j**5/120 - 17*j**4/24 + 44*j**3/3 + 2. Let x(b) be the third derivative of n(b). Is x(22) a multiple of 24?
False
Let x(v) be the second derivative of v**4/6 + 31*v**3/6 + 19*v**2/2 - 20*v. Let y be x(-15). Suppose 2*k + 2 = -6, y*k - 36 = -4*t. Is 9 a factor of t?
False
Suppose 3*y + 22*y - 38*y = -78416. Is 104 a factor of y?
True
Let f = -225 - -212. Let z(w) = 2*w**3 + 25*w**2 - 26*w - 16. Does 3 divide z(f)?
True
Suppose 4*c - 4173 = -5*q, -5*q + 2*q - c + 2508 = 0. Suppose 6*j + q = 15*j. Suppose j = 8*w - 3. Does 3 divide w?
True
Suppose 7*t - 12027 = -12*t. Let q = 1128 - t. Does 9 divide q?
True
Let m(y) = -4*y + 27. Let k be m(6). Suppose -l + 75 = -k*v + 2*l, -5*l = 3*v + 99. Let b = 79 + v. Does 23 divide b?
False
Let d(a) = -a**3 + 5*a**2 + 15*a - 3. Suppose 0 = 6*i + 3*i - 54. Is d(i) a multiple of 17?
True
Let x(p) = 2*p**3 - 157*p**2 - 69*p + 1547. Is x(81) a multiple of 21?
False
Let l(c) = -10 + 2*c + 5*c**2 + 19*c**3 - 4*c - 18*c**3. Let f be l(-5). Suppose f = 37*a - 41*a + 288. Is 8 a factor of a?
True
Let j be (-28 + 33)*(-2 - -4). Does 3 divide (-1679)/(-115) - (-4)/j?
True
Let w = -3 - -7. Suppose 4*j = 3*b - 1033, w*j + 2*b = 4*b - 1030. Let v = j - -398. Is v a multiple of 11?
False
Let k(f) = f**3 + 7*f**2 + 11*f - 1. Let c be k(-4). Suppose 0 = 4*q - c*h + h - 1158, -2*h - 297 = -q. Does 30 divide q?
False
Let r(t) = -17 + 5 - 2*t + 11 - t**3 + 65. Let b be r(0). Let o = -35 + b. Is o a multiple of 15?
False
Let w(u) = 4*u**3 - 12*u**2 + 6*u. Let f(a) = a**2 + a. Let i(g) = 4*f(g) + w(g). Does 19 divide i(5)?
False
Suppose -584*a + 30 = -579*a. Is 37 a factor of (296/a)/((-6)/(-63))?
True
Let g(o) = 15*o - 79. Let t(k) = -8*k + 40. Let b(w) = 3*g(w) + 5*t(w). Let p = 4173 + -4164. Is 4 a factor of b(p)?
True
Suppose -2*u = -4*y - 1018, 2*y - y + 1542 = 3*u. Suppose 4*h + 123 = -4*a + u, 3*a - 5*h = 318. Is a a multiple of 4?
Fa