
Suppose -54*b + 24 = -52*b. Let n = 5 + -2. Let u = b + n. Does 5 divide u?
True
Let k = 189 - 7. Is 13 a factor of k?
True
Does 129 divide (-2)/10 - 2468880/(-900)?
False
Let u = 14 + -22. Let o be (2 + u)*1/(-3). Suppose 5*p - p = -4*j + 204, -3*j - o*p + 156 = 0. Is 18 a factor of j?
True
Let g(d) = 70 + 4 + 4*d**2 - 3*d**2 - 17 - 3*d. Is 6 a factor of g(0)?
False
Let l(w) = -w + 2. Let r be l(5). Does 26 divide (-39)/(r*(-3)/(-48))?
True
Let t(v) = v**2 + 2*v - 24. Let r be t(-7). Suppose 3*p - r*p + 840 = 0. Is p a multiple of 13?
False
Let c be -5 - -1 - (3 - -70). Let k = 153 + c. Does 19 divide k?
True
Suppose 4*x - 876 = -4*h, -2*h + h - 211 = -x. Is 4 a factor of x?
False
Suppose -2*d = -2 - 8. Suppose c + 20 = d*c. Suppose -4*m - c*w + 117 = 0, 0 = -m + 4*m - 4*w - 80. Is 14 a factor of m?
True
Suppose 3*z = 2*z. Suppose 16 = -4*h, d - 426 = -z*d + 3*h. Suppose -5*p + d = 119. Is 13 a factor of p?
False
Suppose 7*b = 116 + 52. Is b a multiple of 2?
True
Let a = -2380 + 3780. Is a a multiple of 20?
True
Suppose 4*j - 16 = -0. Suppose j*y = -y. Suppose -2*o + y*o + 10 = 0. Is o even?
False
Suppose u - 35 = 6. Is u a multiple of 28?
False
Let i(l) = -l**2 + 4*l - 3. Let s be i(3). Suppose -45 = -2*j - 5*q + 6, 3*j - 2*q - 29 = s. Is j a multiple of 10?
False
Let a = -1608 - -1716. Does 6 divide a?
True
Let x(s) be the third derivative of -s**6/120 + 7*s**5/60 + s**4/3 + 7*s**3/6 - 13*s**2. Does 4 divide x(8)?
False
Suppose -w = -0*w - 3. Let h(t) = 2*t - w*t**3 + 3 + 5*t**2 + t**2 + 0*t**2 - 10*t**2. Is h(-3) a multiple of 14?
True
Let o = 531 - 297. Is 15 a factor of o?
False
Suppose 0 = 4*u + 34 - 218. Suppose -5*b = 14 + 6, -w = 4*b - u. Suppose -5*s + 7*i - 3*i = -112, -3*s + 5*i = -w. Is s a multiple of 6?
True
Is (-39614)/(-406) - (-6)/14 a multiple of 39?
False
Let g be 7/105*6 + (-3986)/(-10). Suppose -165 = -m - u, 5*m - g = u + 444. Is 13 a factor of m?
False
Suppose 2795 = -11*l + 13234. Does 39 divide l?
False
Let y(f) = f**3 + 15*f**2 + 14*f - 5. Does 94 divide y(-5)?
False
Let d(i) = -2*i - 17. Let b be d(-8). Does 69 divide (-340)/(-5) + b/(1 + -2)?
True
Let s(y) = -7*y**3 - 37*y**2 + 5*y - 11. Let x(r) = -3*r**3 - 18*r**2 + 2*r - 6. Let d(g) = 4*s(g) - 9*x(g). Does 19 divide d(14)?
True
Let i be (8/(-3))/(8/432). Suppose -497 = -5*f + 508. Let w = i + f. Is 16 a factor of w?
False
Let x = 155 + -153. Let o(l) = 25*l**2 - 3*l + 2. Does 8 divide o(x)?
True
Let s be -4 + 2 + 1*-5. Is (-4 - s)*-1 - -55 a multiple of 9?
False
Suppose 62*m - 8577 = -3*j + 65*m, 3*m = -3*j + 8589. Is 9 a factor of j?
False
Let b = -44 - -48. Let y = 4 - -1. Suppose 3*a = y*a - 3*d - 46, -88 = -b*a + 4*d. Does 6 divide a?
False
Let k = 7 - 1. Let o be (-6)/4 - k/(-4). Suppose o = -3*d + d + 102. Is d a multiple of 14?
False
Let x = 115 - -67. Is x a multiple of 13?
True
Suppose 0 = -5*x + 3*y + y + 685, y = -3*x + 428. Does 5 divide x?
False
Suppose 7*l - 1303 = 1217. Suppose -l = -4*c + k - 75, -3*c = k - 212. Is c a multiple of 5?
False
Let t(q) = 2*q**2 + 10*q. Let p be t(-6). Let l = p + 10. Is 3 a factor of l?
False
Let j(w) be the first derivative of 2*w**3/3 + 3*w**2 - 17*w + 18. Is 11 a factor of j(8)?
False
Is (1212/(-7))/(100/(-350)) a multiple of 19?
False
Let t(a) = 82*a**3 + a**2 - 2. Let g(p) = -81*p**3 - p**2 + 2. Let c(u) = -5*g(u) - 4*t(u). Is c(1) a multiple of 5?
False
Let x(v) = v + 5. Let g be x(4). Suppose -2*d = -2*q + 8, q - g = -3*d - d. Is 3/((-8)/(-5) - d) a multiple of 2?
False
Is 7 a factor of 6*5/6 - -720?
False
Let y(s) = 6*s - 34. Is 16 a factor of y(19)?
True
Let r(t) = -t - 3. Let a(n) = 2*n + 8. Let h(j) = 3*a(j) + 8*r(j). Let q be -9 - (3/1 - 3). Does 18 divide h(q)?
True
Let w(s) = 3*s - 4. Let h be w(6). Suppose 2*l + 14 = -h. Is 89/7 - l/49 a multiple of 7?
False
Let d be 9360/(-70) - (-4)/(-14). Let y = 334 + d. Is y a multiple of 19?
False
Suppose -4*y + 767 = 143. Is 3/2*(y/9 + -4) a multiple of 16?
False
Suppose -3*p + t = -5*p - 3, 4*p - t = 3. Suppose 4*r - 451 = -r + l, 5*r - 2*l - 452 = p. Is 30 a factor of r?
True
Suppose 0 = -t + 2, -2*q + 22 = -4*t. Suppose 3*f - 8 = -z, 4*z + 3*f - q = -1. Suppose z*a - 128 = -2*a. Is a a multiple of 16?
True
Let o(f) = f**3 + 1. Let c be o(1). Suppose -4*p = c*z + 4, 0*z + p + 1 = 3*z. Suppose 0 = -r - z + 9. Does 7 divide r?
False
Suppose 2*n + f - 153 = n, -3*f = -4*n + 577. Is 19 a factor of n?
False
Suppose -3*h + 0*h + i + 28 = 0, 4*i + 24 = h. Let k(r) = -r + 11. Let q be k(h). Suppose -q*x + 48 = -x. Is x a multiple of 6?
True
Let l(t) = -32*t - 60. Does 60 divide l(-15)?
True
Does 11 divide 66/(-4)*(-10580)/138?
True
Let d(w) = w**3 - 5*w**2 + 3*w + 3. Let r be d(4). Let s = 51 - 37. Let g = r + s. Does 13 divide g?
True
Suppose 40*n - 188 = 38*n. Suppose 4*i - 3*d = d + 24, -i - 4*d = -1. Suppose -31 + 266 = 5*u - s, 0 = 2*u + i*s - n. Is u a multiple of 17?
False
Let r(y) = 2*y**3 + 7*y**2 - y + 23. Does 16 divide r(8)?
False
Let i = -168 - -181. Is i a multiple of 11?
False
Suppose 7 = -v - 3*h, -v + 5*h - 4*h = -1. Let d(t) = -48*t + 3. Is d(v) a multiple of 17?
True
Let p = -16 + 47. Suppose 0 = 5*a - p - 29. Let u = a - -2. Is 8 a factor of u?
False
Suppose 5*a + 3*k - 10595 = 0, 8473 = -5*a + 9*a + 3*k. Does 44 divide a?
False
Let o be 30/12 + 2/(-4). Suppose -n - 4*t = 2*n + 4, -1 = o*n + t. Does 7 divide 1/(-1 + n) + 15?
True
Let w(p) = -p + 1. Let a be w(-3). Suppose -3*m = -0*m - 4*q - 142, -192 = -a*m + 4*q. Does 25 divide m?
True
Suppose w - 26 + 6 = 0. Let v be (-132)/15 + (-4)/w. Let b(d) = -5*d - 17. Is 23 a factor of b(v)?
False
Let x = -64 - -50. Let s(d) be the first derivative of -d**3/3 - 21*d**2/2 - 7*d - 1. Does 23 divide s(x)?
False
Let t(c) = -c**2 - 5*c + 10. Let l(s) = -s**3 - 11*s**2 - 10*s - 7. Let d be l(-10). Let w be (-28)/6 + d/21. Does 4 divide t(w)?
False
Is (-104)/6*13500/(-720) a multiple of 2?
False
Let k(v) = -15*v**2 - 1. Let o be k(-2). Let z = 90 - o. Is z a multiple of 12?
False
Let d(s) = -16*s + 15. Let k be d(10). Let m = -101 - k. Suppose -w - 6 = -m. Does 19 divide w?
True
Let d = 157 + 24. Suppose -4*z + 5*i = -197, 5*z - d = -3*i + 93. Is z a multiple of 30?
False
Let p be (3 - -2 - 2) + 0/(-5). Let u = 32 - p. Is 29 a factor of u?
True
Suppose 1567 = 5*b - 1733. Suppose -b = -15*i + 3*i. Does 7 divide i?
False
Suppose f - 3*f = 0. Suppose 2*o + i = 95, o - 47 - 4 = -4*i. Suppose -5*z + o + 43 = f. Does 6 divide z?
True
Suppose 5*w + 56 = 4*o, w + 10 = o - 4. Is 17 a factor of (o/2)/((-1)/(-30)*6)?
False
Let p = 1055 + -340. Is 65 a factor of p?
True
Is (12614/(-17))/(14/(-21)) a multiple of 30?
False
Let i(a) = -a. Let h be i(-4). Is 11 a factor of -4 + h + -4 + 15?
True
Let r = 2 + 17. Let s = r - 15. Suppose 0 = -9*u + s*u + 60. Is 12 a factor of u?
True
Let t(h) = 0 + 3 + 2*h - 4 + 20*h. Let z be t(-2). Is 16 a factor of 12*5/(z/(-24))?
True
Let f be (-1)/2*(-17 + 3). Suppose 108 = f*c - 396. Is c a multiple of 19?
False
Let c be 100 - (0 - 4/2). Suppose 0 = 2*i - 2*a - c, 0*i - a = 3*i - 169. Does 11 divide i?
True
Let h(t) be the first derivative of 16*t**3/3 - 5*t**2 + 15*t - 4. Let a be h(10). Does 13 divide 4/(-14) + a/35?
False
Let c(q) = q**2 + 13*q + 17. Let l be c(-12). Suppose 4*f = l*x - 31, -x - 8 = 3*x + 5*f. Suppose y + 122 = 2*d - 3*y, 259 = 4*d - x*y. Is 21 a factor of d?
False
Suppose 3*f - 2*f - 19 = -2*h, 2*f - 13 = h. Suppose f*o - 96 = o. Is 4 a factor of o?
True
Let g = -200 - -256. Is 14 a factor of g?
True
Suppose 31*k - 30*k = 0. Suppose k = 5*v + 2*u + u - 134, 3*u + 6 = 0. Is 4 a factor of v?
True
Let w = 812 + -614. Is w a multiple of 2?
True
Suppose 0 = 2*n - 5*i - 35, 3*i + 3 = -2*n - 2. Suppose 3*u = 2*m - 171, -4*u - u = n*m - 440. Does 36 divide m?
False
Suppose 3*h - 2*o + 94 = 0, 6*o = -h + o - 54. Is (3 + h)/((-3)/(-12)*-2) a multiple of 15?
False
Let a = -131 - -127. Does 18 divide (a - 1)*1 - -159?
False
Suppose -8 = 4*s - 0*y + 2*y, -5*y = 3*s + 13. Let d(h) = -132*h**3 + h + 1. Is 13 a factor of d(s)?
False
Let y be (-20)/6*-6*(-4)/(-20). Let p be 60/14 - 2/7. Suppose -y*n + 3*t + 50 = -3*n, -p*n - t = -135. Is n a multiple of 10?
False
Does 16 divide (10/((-100)/(-10)))/((-1)/(-752))?
True
Is 268 + (2/(-2) - -3) a multiple of 30?
True
Suppose -3*g + 23 