9, -2*d + 1495 = 3*j. Is d a multiple of 5?
True
Suppose 4*q - q - 6*f - 2325 = 0, -4*q - 3*f + 3089 = 0. Let a = -767 + q. Does 6 divide a?
True
Let m be ((1 - 1)*-1)/(2 - 3). Suppose 2*y - 2 = -4*s - 0, -s - 4*y + 11 = m. Does 9 divide (3 + s)/(1 + (-11)/13)?
False
Let j(r) = -27*r + 30*r + 10 - 5. Let v = -415 - -427. Is 11 a factor of j(v)?
False
Is 130 a factor of ((-45)/(-10))/(9/(-120))*6240/(-45)?
True
Let s be 0 + 1208 - (-6 - -4)*2. Suppose 0 = 3*b + 60 - s. Is 24 a factor of b?
True
Is (-376)/6*(-231)/4 a multiple of 47?
True
Let t(v) = -3*v - 2. Let b be t(-2). Let p(d) be the first derivative of d**4/4 - d**3 + 2*d**2 + 2*d - 126. Is 8 a factor of p(b)?
False
Let o(x) = 62*x**2 - 11*x + 6. Let b be o(-6). Suppose -12*a + 4*a = -b. Is a a multiple of 48?
True
Let j = -86 - -89. Let c(d) = -d**3 + 3*d**2 + 4*d - 9. Let k be c(j). Suppose -5*s + 156 = -k*s + 3*w, -s + w = -68. Does 5 divide s?
False
Let x(o) = -67*o - 11000. Is x(-168) a multiple of 3?
False
Suppose -8*u = -3*b - 4*u, -b = 5*u - 19. Does 5 divide 15/b*456/18?
True
Let y be (25/(-30)*3)/(1/2). Let j(d) = d**2 - 8*d - 17. Let a be j(y). Is 8 a factor of 4/(-6) - (-1232)/a?
False
Let l(x) = -95*x**3 - 5*x + 42. Is 208 a factor of l(-6)?
True
Let c be 12/66 - 6/(-99)*-3. Let u be 21/35 + (-608)/5 + c. Let b = u + 271. Does 15 divide b?
True
Suppose g - 1646 = -t, 2*t - 5648 = -4*g + 944. Does 24 divide (g/24)/(10/8 + -1)?
False
Let t(p) = 3*p**2 + 3*p + 2. Let j be t(-4). Let y = 18 - j. Let h(q) = -8*q - 27. Is h(y) a multiple of 19?
True
Does 8 divide (-1342367)/(-940) + (-1)/20?
False
Let f(x) = -185*x + 3534. Is f(0) a multiple of 38?
True
Let u(p) = p**2 + p. Let b(x) = 4*x**2 - 41*x - 4. Let v(j) = b(j) - 6*u(j). Let y be v(-21). Let z = -58 + y. Is z a multiple of 5?
False
Let a(y) = -2*y + 14. Let w(x) = x. Let f(h) = -a(h) - 4*w(h). Let u be f(-7). Suppose u = 2*q + 2*m - 74, -2*m + 10 - 2 = 0. Does 3 divide q?
True
Suppose -42 = 113*w - 116*w. Suppose -1094 - 1006 = -w*k. Is 6 a factor of k?
True
Suppose 171*n - 103611 - 759891 = 809904. Is n a multiple of 7?
True
Let p(t) = 4*t**3 + 3*t**2 + 5*t + 8. Let r be p(5). Suppose 2*y - 3*f - 1144 = 77, -y + r = -4*f. Does 17 divide y?
True
Suppose -4*l + 8 = 0, 7*r + 3*l = 2*r + 304121. Is 20 a factor of r?
False
Let k(l) = -l**3 + 0*l - 18*l + 2*l + l**2 - 43. Does 34 divide k(-5)?
False
Suppose t - 5*j - 2998 = 0, 9*t + 15*j = 18*j + 27066. Is t a multiple of 16?
True
Suppose 2*o + 14 = 22. Let p be -124*((-7)/(-2) - o). Does 12 divide p + 4/(-4) + 0?
False
Let o(d) = -3*d**3 + 307*d**2 + 215*d - 132. Is 15 a factor of o(103)?
True
Let t(k) = k**3 - 5*k**2 + 7*k - 6. Let q be t(4). Suppose 0 = -80*g + 36 + 124. Suppose g*b = q + 26. Does 16 divide b?
True
Let x(t) = 2909*t - 66. Does 5 divide x(1)?
False
Let p = 3925 + -1387. Is p a multiple of 94?
True
Let i(y) = 2*y**2 - 6*y + 8. Let f be i(3). Suppose 0 = f*p - 6*p - 230. Is p a multiple of 7?
False
Let i(o) = -3*o. Let c be i(0). Suppose 3*f - f - 76 = c. Suppose 2*h = 3*h - 2*x - f, x = -4. Does 15 divide h?
True
Let f = 18702 + -8490. Is f a multiple of 46?
True
Let z(u) = u**2 + 29*u + 54. Let s be z(27). Let i = -666 + s. Is i a multiple of 13?
False
Suppose -3*r + 18*r = 12360. Does 8 divide r?
True
Suppose -18 = 20*o - 26*o. Suppose -4*z + o*z + 74 = 0. Is 6 a factor of z?
False
Suppose 8 - 18 = 5*z. Is 914/8 - z - 44/176 a multiple of 24?
False
Let m be ((-352)/(-4))/4*(-156)/6. Is 7591/13 - 44/m a multiple of 8?
True
Suppose 14*l - 94458 = 3626. Is 62 a factor of l?
True
Let o(w) = -41*w**2 + w + 1. Let p be o(-2). Let k be 9/(-12) - p/12. Let x(u) = -u**2 + 15*u + 12. Is x(k) a multiple of 9?
False
Let z(k) = -k**2 + 130*k - 575. Does 145 divide z(60)?
True
Let d(w) be the third derivative of 5*w**4/12 - 17*w**3/3 - 19*w**2. Suppose 28*t = 26*t + 32. Is d(t) a multiple of 13?
False
Suppose 0 = -16*c + 13*c + 60. Let m be (1558/(-3))/(c/(-30)). Let v = -527 + m. Does 42 divide v?
True
Let o be (22750/(-45))/(-7) + (-6)/27. Is (-6)/(-27) + 5312/o a multiple of 37?
True
Does 105 divide ((-7)/(364/65))/(3/(-5292))?
True
Suppose 2*j + 19 = -5*i, -i - 2 = 2*j - j. Let t be (-13 + -27)*j/2. Let x = 140 + t. Is x a multiple of 20?
True
Let x = 45 + -31. Let z = 14 - x. Suppose 4*w = 120 - z. Does 15 divide w?
True
Let w(z) = 1844*z + 2455. Is w(4) a multiple of 29?
True
Let t(f) = 28*f**2 + 9*f + 48. Is t(-7) a multiple of 59?
True
Let v = 33019 + -23515. Is v a multiple of 88?
True
Let a be ((-3)/2)/((-4)/(-8)) - 129. Let b be (-26)/65 + a/(-5) + 1. Let g = b + -1. Does 5 divide g?
False
Let u(t) = 2*t**2 + 3*t - 10. Let q be u(-5). Let c be -1*(q/5 + -720). Suppose 3*x - c = -2*x. Is x a multiple of 13?
True
Let a(t) = 11*t + 4*t + t + 11*t - 19. Let c be a(6). Suppose -c*i + 321 = -140*i. Does 17 divide i?
False
Let w = -26517 + 54711. Does 15 divide w?
False
Suppose -113674 = 28*g - 50*g. Is 107 a factor of g?
False
Suppose -4*l + 12 = 4*g, -3*g - 5*l + 21 = -4*g. Let u be (14/g + 3)/((-3)/78). Let m = u + -166. Is m a multiple of 40?
True
Let y be (-17 - 2) + (-6)/(-1 - -3). Let k = y + 26. Suppose k*o = -o + 565. Does 19 divide o?
False
Let n(k) = -k**2 - k. Let r(q) = -2*q**3 + 65*q**2 + 24*q - 16. Let t(l) = -2*n(l) - r(l). Is 48 a factor of t(32)?
True
Let n be 1 + 125/2 - (-1)/(-2). Suppose -2*z = 2*j - 22, -5*j + 4*z + n = 5*z. Suppose 5*x - 21 = -p + j, 3*x + 133 = 2*p. Is p a multiple of 9?
False
Let b = 551 - 45. Is b a multiple of 23?
True
Let c be 1068/84 + (4/14)/1. Suppose c*l - 49 - 237 = 0. Suppose -l + 310 = 2*g. Is g a multiple of 24?
True
Suppose 3*y - y - 438 = -t, 0 = t - y - 432. Let m = t - 308. Does 3 divide m?
True
Suppose -k + z + 6 = -32, -138 = -4*k - 3*z. Let q be (-3)/(k/32)*9/(-1). Does 5 divide q + 1 + 1 - -2?
False
Suppose -5*t - 4 = -t + 4*k, t - k - 1 = 0. Suppose 3*i + 117 = 2*h, -2*h + t*h - i + 129 = 0. Suppose -6*p + h = p. Does 3 divide p?
True
Suppose 2*y - 8226 = 2*z + 22316, 0 = -3*z + 12. Is 178 a factor of y?
False
Suppose 0 = -t - 5*n + 10 - 6, 2*t - 8 = -3*n. Suppose -t*m - 173 + 1133 = 0. Is 8 a factor of m?
True
Let t(o) = o**3 - o**2 - 6*o - 2. Let a be t(-4). Let z = a - -59. Is 33 a factor of 2*34 + (-2)/z?
True
Let o(h) = -69*h + 2492. Does 23 divide o(-34)?
False
Let s = -329 - -319. Let f = 192 + s. Is f a multiple of 14?
True
Suppose -3 = -5*m + 17. Let l(i) = i**3 - 29*i**2 - 39*i + 266. Let a be l(30). Is (1 + a)/(m/(-68)) a multiple of 17?
True
Is 13 a factor of (2/(2/3))/(67/((-9992112)/(-72)))?
True
Let y(j) = -2*j**2 - 26*j + 33. Let a be y(-14). Suppose 148 + 596 = 4*w - 2*v, a*w - 5*v - 920 = 0. Is w a multiple of 11?
False
Suppose -c + 57 = -5*c + w, 2*c - 5*w + 15 = 0. Suppose -330 = -2*q - 0*q. Let t = q + c. Is t a multiple of 8?
False
Let m(y) = 4*y + 16. Let b(h) = h + 1. Let r(g) = -3*b(g) + m(g). Let q be r(-13). Suppose q = -l + 12 + 33. Is 9 a factor of l?
True
Is 11/55 + 589632/90 - 1/(-3) a multiple of 42?
True
Let v be 8/44 - (-328)/11. Suppose 3 = 3*j + v. Does 18 divide ((-48)/j - 4)*90?
False
Suppose -6137 = 3*f - 8707 - 7909. Is 12 a factor of f?
False
Let q(y) be the third derivative of -85*y**4/24 - 8*y**3 - 11*y**2 - 6*y. Is 11 a factor of q(-7)?
False
Let j = 11341 - 3864. Is j a multiple of 54?
False
Suppose 0 = 4*x + 13*h - 17*h - 24, -5*h - 10 = 0. Let t(k) = 5 + 6*k - 5 + 2. Does 13 divide t(x)?
True
Suppose 11*h = -48*h + 323025. Is 25 a factor of h?
True
Let o = -8479 - -14327. Is 8 a factor of o?
True
Let k(a) = 13*a**2 - 44*a + 3. Let m(g) = -6*g**2 + 22*g - 1. Let u(y) = -4*k(y) - 9*m(y). Let z be u(11). Is 10/2 - 27/9 - z a multiple of 5?
True
Let f = 177 - 50. Let m = f - -704. Does 6 divide m?
False
Let w(f) = -f + 69. Let z be w(37). Suppose -i = -6 - z. Is i even?
True
Let y be ((-44)/3)/(34/255). Let i = -108 - y. Suppose a + i*x - 179 = -15, -a + 3*x + 144 = 0. Does 26 divide a?
True
Suppose 0 = -y - 2, -28*y = 4*f - 32*y - 2392. Suppose 0 = i - 752 + f. Is i a multiple of 3?
True
Let j(n) be the first derivative of -13*n + 53*n**2 + 37*n - 61*n**2 + 38 + 19*n. Is 41 a factor of j(-5)?
True
Let p = -13 - -16. Let f(r) = -2*r**2 + 19*r + 33. Let g be f(11). Is 5 a factor of 1 + g - (-50 + 2 - p)?
False
Suppose -5*t + 5*r = -410, -5*t - 3*r + 2*r + 416 =