 g(u). Does 10 divide i(v)?
False
Let b be (-6)/4 + 3/2. Suppose b = -6*p + 1034 - 110. Does 22 divide p?
True
Let t be 2*(-1 - 1) - (23 + -31). Suppose -2*f - 6*i = -9*i - 482, -3*i - 958 = -t*f. Is 14 a factor of f?
True
Let b(c) = 82*c - 210. Let y be b(25). Suppose -y = 7*h - 8700. Is 14 a factor of h?
True
Let j(p) = 9*p**2 - 21*p + 138. Let q(a) = -3*a**2 + 7*a - 46. Let i(z) = 3*j(z) + 8*q(z). Is 32 a factor of i(-10)?
True
Is (-2)/3 - ((-121888)/78 - 25) a multiple of 100?
False
Let b = 7866 - 3519. Is b a multiple of 30?
False
Let k(c) = 3 - 1 - c + 0*c**2 + 1 + c**2. Is k(14) a multiple of 48?
False
Let i(v) = -5 + 9 - 14 + 220*v. Let j(p) = -p**3 + 5*p - 1. Let s be j(2). Is 30 a factor of i(s)?
True
Suppose -1767*m = 5*x - 1763*m - 5959, 4*x - m - 4784 = 0. Is 10 a factor of x?
False
Is 100 a factor of -6*(-444)/9 + (5 - 1)?
True
Let d(q) = 8*q**3 + 3*q**2 - 4*q - 1. Let w be d(2). Let g = -715 + 828. Suppose -4*u - g = -5*i - 0*i, 2*u = 3*i - w. Is i a multiple of 2?
False
Let t = -148 + 151. Suppose t*w - 3 - 92 = -d, 4*w = -d + 92. Does 8 divide d?
True
Let x(y) = 4*y**3 + 8*y**2 - 25*y + 132. Is 90 a factor of x(10)?
False
Let l(y) = -3*y**3 - 4*y**2 + 662. Is 3 a factor of l(0)?
False
Suppose 46 = 2*c + 4*p - 50, -142 = -3*c - 4*p. Suppose -z = -12 - c. Suppose -95 - z = -a. Is 45 a factor of a?
False
Let f = 638 + 556. Is f a multiple of 17?
False
Does 14 divide (56005/10 - 1) + 7/14?
True
Let v = -7012 + 10866. Is v a multiple of 82?
True
Suppose 64*s = q + 62*s - 6, -14 = 5*q + s. Is 13 a factor of q + 39012/78 + (-4)/26?
False
Let y(g) be the first derivative of 35*g**2 + 10*g + 22. Is y(1) a multiple of 10?
True
Let i(y) = -y**2 + 19*y + 7. Let k be i(19). Suppose 5*g = -2*l + 72, -3*l - 37 - k = -2*g. Suppose 0*x + g = 2*x. Is 2 a factor of x?
True
Let t(u) = u**3 + 10*u**2 + 17*u + 11. Let i be t(-8). Suppose -i*o - 466 = -1315. Is 45 a factor of o?
False
Suppose -4*h = -5*j + 13920, -5*j + 5*h + 16898 = 2983. Does 17 divide j?
True
Suppose 3*l - 11937 = -3*i, -3*l + i = -2905 - 9012. Is l a multiple of 21?
False
Let d = -89 - -91. Let w(l) = l**3 - 2*l**2 + 2*l. Let n be w(d). Suppose 11*x = n*x + 385. Is x a multiple of 11?
True
Let i(s) = -2*s**2 - 2*s + 10. Let q be i(0). Suppose q*b - 14*b + 24 = 0. Suppose -b*f = 5*f - 1056. Is f a multiple of 8?
True
Suppose 5*r + 6 = -4, 3*r = 4*d - 66. Let b(z) = -z**3 + 16*z**2 + 18*z - 36. Let s be b(d). Suppose 3*n - s = -3*g + 6*g, 5*g + 614 = 4*n. Does 9 divide n?
False
Let r = -14604 + 38364. Is r a multiple of 48?
True
Suppose 3*p + 4*d - 11 = 0, 0 = p - 3*d + 8*d. Let q(y) = -y**3 + 7*y**2 - 12*y + 13. Is 3 a factor of q(p)?
True
Suppose -8*n - 1806 = -6534. Let l = n - 420. Is l a multiple of 34?
False
Let y(g) = -631*g + 1617 + 1624 - 3226. Is 10 a factor of y(-1)?
False
Suppose -5*k + 4*a + 19561 = 3959, -3*k + 5*a = -9356. Is k a multiple of 5?
False
Let x(g) = 67*g**2 + 50*g - 18. Does 86 divide x(-12)?
True
Suppose -4*x - 13 - 39 = 0. Let p = 13 + x. Suppose -120 = -p*j - 4*j - 4*g, 0 = -3*j - 5*g + 96. Is 6 a factor of j?
False
Let j(o) = 130*o**3 + 4*o**2 - 75*o + 325. Is j(4) a multiple of 15?
False
Let x(p) = 2*p**2 - p - 1. Let m be x(2). Is (3 + m/(-2))*536 - -2 a multiple of 45?
True
Let s = 1131 - -101. Is s a multiple of 16?
True
Let i(q) = -2452*q - 8. Does 51 divide i(-2)?
True
Let o be (15 + 0)*((-160)/(-25))/8. Suppose -2*p = p - o, -d = 2*p - 292. Suppose 2*c - d = 4*v + 32, 0 = -2*c - v + 296. Is c a multiple of 39?
False
Let o(w) be the third derivative of 175*w**4/24 + 7*w**3/6 - 51*w**2. Is o(3) a multiple of 19?
True
Suppose -4*i + 90 = v, i = 3*v - 3*i - 286. Let h = 581 + v. Does 25 divide h?
True
Suppose 86*o - 13083 = -58*o + 597. Does 4 divide o?
False
Suppose 5*p + 3*q = 2*q + 10, p + 2 = -q. Suppose -p*t - 9 = -5*n - 168, 0 = -5*t - n + 293. Is t a multiple of 3?
False
Let s be (1 + 599)/1 + 0/(-11). Let k = 876 - s. Is k a multiple of 12?
True
Let x(c) = 37*c - 58. Let y(h) = h**2 - 13*h + 33. Let w be y(10). Is 7 a factor of x(w)?
False
Suppose -23*y + 22*y = -6. Let i be ((-77)/14)/(1/y). Let q = 40 + i. Is q a multiple of 7?
True
Suppose -3*u + 729 = -12*u. Let s = 96 + u. Suppose 173 = 2*l + s. Does 10 divide l?
False
Let b = -243 - -243. Suppose b = -c + 358 - 23. Is 50 a factor of c?
False
Let b(t) = -3*t + 1198. Is b(39) a multiple of 8?
False
Let y = -107 - -124. Suppose y*q - 96 = 14*q. Does 17 divide q?
False
Let w = 25 + -20. Suppose 60 = -o + w*o. Is 20/(-6)*(-72)/o a multiple of 4?
True
Let l = -167 - 517. Does 57 divide l/(-7)*(-49)/(-7)?
True
Let n = -56 - -72. Suppose -n*j + 11*j + 410 = 0. Let p = j + -45. Is p a multiple of 28?
False
Let a = -31 + 34. Suppose a*r + 3*d - 327 = 0, -5*d + 9*d = 20. Is 13 a factor of r?
True
Let l = -137 + 145. Is 8 a factor of 3/12 + (1530/l)/3?
True
Let j(q) = -2*q**3 + 12*q**2 - q + 8. Let i be j(6). Suppose -5*l + 2749 = -0*l - i*n, 4*n = 12. Let b = l + -376. Does 25 divide b?
True
Does 12 divide 4957/(84/104 - (-84)/(-273))?
False
Let o = 10 - -4. Suppose -o*c = -8*c - 228. Suppose 0 = -c*w + 39*w - 50. Is 25 a factor of w?
True
Let t be (0 + 7)*19/(1064/32). Suppose -4*x + 7166 = 5*p, 5*p = -x + t*x + 7138. Is 22 a factor of p?
True
Let i(g) = -25*g + 94. Let l be i(4). Does 2 divide (14/l)/(3/(-27))?
False
Let w(r) = -r**3 - 3*r**2 - 5*r - 2. Let v be w(-5). Let c = -404 - -439. Let u = v - c. Does 8 divide u?
False
Let n(g) = -516*g - 385. Does 37 divide n(-11)?
True
Suppose -16*f = -567 + 39. Let t = -11 + f. Suppose t*b + 735 = 27*b. Does 11 divide b?
False
Suppose 5*v = 4*w - 122973, 13668 = w - v - 17074. Is 142 a factor of w?
False
Let y = -25971 - -35143. Is 24 a factor of y?
False
Let p = 53 + -53. Suppose p = -2*z - 2*z + r + 396, 212 = 2*z + 3*r. Suppose 0 = -37*h + 42*h - z. Does 14 divide h?
False
Is 11 a factor of -14*3/(-6) - (-5375 - 140)?
True
Suppose -4*j - 4*y - 2 - 10 = 0, y + 3 = -3*j. Suppose j*v - 7*v + 280 = 0. Is 20 a factor of v?
True
Let m be 231/(-12) + 3 - 1/(-4). Let a be m/(-7 + 3) + -1. Suppose -a*z = -16*z + 585. Is 10 a factor of z?
False
Suppose -8*o = 7*o - 1753 - 2927. Does 26 divide o?
True
Let p(l) = 4*l**3 + 6*l**2 - 17*l - 16. Does 6 divide p(8)?
True
Suppose 416640 = -16765*h + 16807*h. Does 10 divide h?
True
Suppose 4*w - 3*f + 776 = 0, 187 = -2*w + w - f. Let c = -104 - w. Suppose -75*n = -78*n + c. Is n a multiple of 9?
False
Let i = -2585 - -1201. Let b = -986 - i. Let k = b + -246. Is 20 a factor of k?
False
Suppose -c + 47 + 20 = 4*i, -2*i - 2*c = -38. Is (13 - i) + (22*18)/2 a multiple of 13?
True
Let f be (-5066)/26 + 20/(-130). Let d = -99 - f. Is 27 a factor of d?
False
Let y(j) = j**2 - j + 1. Let s(k) = -150*k**2 + 13*k - 12. Let l(i) = -s(i) - 6*y(i). Is l(1) a multiple of 2?
False
Let x(y) = -495*y - 610. Does 31 divide x(-15)?
False
Is 32 a factor of 2/10 - 0 - (-632687)/565?
True
Suppose 49*x - 480639 - 39104 = 0. Is x a multiple of 11?
False
Let n = 5200 - -2069. Is 15 a factor of n?
False
Let d = 712 + -707. Suppose -6*a + 3*a + 1558 = -5*f, a - d*f - 536 = 0. Is 29 a factor of a?
False
Let n be (-4)/(-14) - (6993/(-49) - 5). Let z = -100 + n. Is z a multiple of 8?
True
Suppose -w - 19 = -3*l - 4, -3*w + 20 = 4*l. Suppose 2*x = i + 6*x - 12, -l = x. Is i a multiple of 2?
True
Does 3 divide ((-3)/2)/((-140)/42840)?
True
Let j(g) = 3*g**2 + 61*g - 817. Is j(16) a multiple of 173?
False
Suppose 19*y - 3*b = 24*y - 55518, -b + 6 = 0. Is y a multiple of 148?
True
Suppose 3*s + 474 = 9*s. Suppose 131 + s = 2*k. Is 15 a factor of k?
True
Does 3 divide 14 + (-4 - (-2068)/4)?
False
Is 6 a factor of 10/(200/790)*32*(-15)/(-10)?
True
Let s = -212 - -211. Does 8 divide -6 + ((-5)/s - -388)?
False
Let c(u) = 637*u**2 - 252*u + 2. Does 52 divide c(-6)?
False
Let l = -204 - -209. Let y = 2 + 6. Suppose 0 = 3*x - l*b - 98, -y - 4 = 3*b. Is x a multiple of 13?
True
Suppose 0 = 5*p - 15, -6*k - 5*p = -2*k - 1091. Let f = 380 - k. Suppose 3*n + l - f = -2*n, -4*l = 5*n - 114. Is n a multiple of 11?
True
Suppose -4445 = -2*m - f + 2281, -16854 = -5*m + 4*f. Is m a multiple of 11?
True
Suppose -9396 - 774 = 40*x - 42*x. Is 3 a factor of x?
True
Suppose -18*d + 14*d = 268. Let s = 69 + d. Is 23 a factor of s/(-6)*-3 - -105?
False
Let s(l) =