. Let g(j) be the third derivative of y(j). Is g(1) a multiple of 3?
False
Suppose 6*i - 32 - 40 = 0. Is -3*4/(-3)*126/i a multiple of 14?
True
Let b = 22 + -28. Let t = b + 10. Is 0 + (t - -5) + -2 a multiple of 5?
False
Let b be -1*((-5)/5 + -2). Is (-3 + 0)/b + 62 a multiple of 7?
False
Suppose -5*y - 4*d + 182 = 0, 4*y + 3*d - 139 = 2*d. Does 17 divide y?
True
Suppose -4*u - 5*d = -3*d + 98, -u + 3*d - 35 = 0. Let r = u - -39. Is 6 a factor of r?
False
Suppose -22*c - 226 = -6144. Is c a multiple of 61?
False
Suppose 2*a - 353 - 599 = 0. Is a a multiple of 28?
True
Let t = 4997 + -2039. Is 51 a factor of t?
True
Suppose -990 = -20*x + 17*x. Does 30 divide x?
True
Let a be 97 - 4/(-6)*3. Let l = 59 + a. Is 16 a factor of 2/10 + l/10?
True
Suppose 0 = -4*o + 5*n + 937, 5*n = -3*o + 630 + 99. Is o a multiple of 19?
False
Suppose -32*s + 3*f = -30*s - 615, 0 = -4*s + 4*f + 1236. Is s a multiple of 12?
True
Suppose -39*v + 36*v = -420. Is v a multiple of 14?
True
Let s(l) = 3*l + 5. Let j be s(-5). Let b be ((-8)/j)/((-8)/(-20)). Suppose p = -2*h + 5*p + 46, -b*p - 57 = -3*h. Is h a multiple of 17?
True
Suppose 11 = 4*r + 3*m, 4*r - m + 1 = 8. Suppose 7*c - r*t - 142 = 2*c, 2*c = 5*t + 40. Suppose n - c = -n. Does 9 divide n?
False
Suppose 3*g - 4*c - 4258 = 0, 8*g + c = 5*g + 4253. Is g a multiple of 7?
False
Let n be (-4)/10*(-6 + 131). Let l = 94 + n. Is 7 a factor of l?
False
Let g(y) = 5*y**2 + 7. Let n be g(5). Let q = n - 57. Does 11 divide q?
False
Let y(j) = j**2 + 21*j + 8. Let a(f) = 2*f**2 - 25*f - 10. Let x be a(12). Does 6 divide y(x)?
True
Is 7 a factor of ((-155)/(-62))/((-2)/(-28))?
True
Suppose -2*d - 1 = -3*p - 0*d, 0 = 2*p + 4*d - 22. Is (22/8 + -1)*24/p even?
True
Suppose 220 = 2*n + 5*l - 9*l, 0 = -3*n + 4*l + 340. Is n a multiple of 20?
True
Does 10 divide (2 - -2) + 9/((-27)/(-816))?
False
Let i be 4 + 0/1 + -4. Let z be 4/2 - (-2 - i). Suppose -z*y - y = -300. Is 22 a factor of y?
False
Let p(j) = 35 + 1 + 2 - 34*j + 2 - 2*j**2. Is p(-17) a multiple of 40?
True
Let u = -41 + 41. Suppose u = 3*x - 8*x + 335. Is 5 a factor of x?
False
Let o = 76 - -8. Let t = o - 147. Let k = 113 + t. Is 25 a factor of k?
True
Let c = -1581 + 1989. Is 24 a factor of c?
True
Suppose 3*o - 52 = o. Let q be o + -4 + 6 + 1. Suppose y = 30 + q. Is 13 a factor of y?
False
Let c = -100 + 245. Is 7 a factor of c?
False
Suppose c - 4*l - 406 = 0, 3*c + l - 1988 = -2*c. Is 18 a factor of c?
False
Let x = -8 + 13. Suppose -3*t - 5*i = 13, -4*t + 3*i + x = 3. Is 22 a factor of (-3 - t) + 2 + 92?
False
Let a(d) = 3*d**3 - 4*d**3 + 30 + 0*d**3 + 14*d**2 + 9*d. Is 13 a factor of a(14)?
True
Let p = 316 + -143. Let t(u) = 92*u**3 - u**2 + 1. Let x be t(1). Let w = p - x. Is w a multiple of 27?
True
Let k(l) = -l**3 - 8*l**2 + 10*l + 13. Let t be k(-9). Suppose t*h = -2*u + 14, 5*h = 2*h - 12. Let q = 26 - u. Does 3 divide q?
False
Let g be 0 + -3 + 1 + 2. Suppose -n - 3 - 1 = g. Let j(o) = o**2 - 6*o - 1. Is 13 a factor of j(n)?
True
Suppose 4*t - 7680 = 4*m, 3183 = 3*t + 4*m - 2577. Is 64 a factor of t?
True
Let i(h) = -9*h - h**2 + 2*h**2 + 6*h - 9*h - 8. Is 14 a factor of i(14)?
False
Let x = -186 + 398. Does 40 divide x?
False
Let r(a) = a**3 - 12*a**2 - 15*a - 22. Let u be r(13). Let j be 0 - u/(8/2). Let y(o) = -o**2 + 15*o - 18. Is y(j) a multiple of 18?
True
Let t(n) = 2*n**2 - 18. Let q(g) be the third derivative of g**5/12 - 53*g**3/6 - 3*g**2. Let z(h) = -3*q(h) + 8*t(h). Does 15 divide z(0)?
True
Let b(s) = 1031*s**2 + 4*s + 6. Is b(-1) a multiple of 47?
False
Let m(q) = 3*q - 1. Let l be m(-9). Is 8/l + (-142)/(-7) a multiple of 20?
True
Let y(s) = -22*s - 25. Suppose 4*u - n - 8 + 31 = 0, 3*n - 14 = u. Is y(u) a multiple of 7?
False
Let p = 12 - 23. Let i(b) = b**2 + 10*b + 3. Is i(p) a multiple of 7?
True
Suppose -17*l - 994 = -3*l. Let y = l - -215. Is y a multiple of 12?
True
Let o(n) = n**3 - 8*n**2 + 8*n - 3. Let j be o(7). Suppose 1 = 3*q + 2*x + 2*x, -4*q + 3*x + 43 = 0. Suppose 216 = -j*v + q*v. Is v a multiple of 36?
True
Let n = 3299 + -1874. Is n a multiple of 57?
True
Suppose 0 = 2*d + m - 89, 0*d + 107 = 2*d - 5*m. Is d a multiple of 23?
True
Suppose 3*y - a = 39, 4*y = -3*a - 2*a + 71. Suppose 3*v + 40 = 7*v. Let l = y + v. Is l a multiple of 12?
True
Does 10 divide ((-9)/(-2))/(10/(-4320)*-6)?
False
Suppose 23*w - 25*w + 144 = 0. Does 6 divide w?
True
Let t(h) be the first derivative of -4*h**3/3 - 33*h**2/2 - 10*h + 39. Does 2 divide t(-7)?
False
Suppose 18 = n + 3*h, 9*n - 30 = 4*n - 3*h. Does 32 divide 644/2 - (-4 - (n + -9))?
True
Let y(x) = -4*x + 1. Let z be y(-1). Suppose 2*f + u - 20 = 5*u, z*u = 2*f - 23. Suppose -2*n + 0*n + 44 = -f*v, -4*n + v + 60 = 0. Is 7 a factor of n?
True
Let u be (-10)/55 + (-4)/(-22). Suppose u = 3*p - 11 - 1. Suppose -5*z - q - p*q = -95, 45 = 5*z - 5*q. Is 12 a factor of z?
False
Let q(g) = -g**3 + 21*g**2 + 101*g - 25. Is 45 a factor of q(24)?
False
Let t(s) = 32*s + 3. Let u be t(4). Suppose -37*n - u = -38*n. Does 8 divide n?
False
Suppose 5*g - 72 = -4*c - 6, 28 = 2*g + 2*c. Let p be 20/(-50) + (-6)/g. Is 0 + p + 56/4 a multiple of 4?
False
Let k = 2 - 1. Let n be 0 + 2 + (k - 0). Is 4 a factor of (7 - n)*(1 + 2)?
True
Suppose 3*s + d - 1713 = -669, 0 = -5*d. Does 3 divide s?
True
Let o be -2 - (-16)/12*3. Let u(g) = -27*g**2 + g. Let a(q) = -53*q**2 + 2*q. Let h(j) = o*a(j) - 5*u(j). Does 15 divide h(-1)?
True
Suppose v = -2*v + 15. Let h(y) = -y**3 + 4*y**2 + 6*y - 3. Let b be h(v). Is 4 a factor of b/(-5) + 186/15?
True
Suppose 2*l - 5*l = 5*d + 3, 0 = 3*d + 2*l + 2. Suppose -4*x - y + 19 = d, -2*y = -x + 8 - 1. Suppose -1 = w + x*t, -2*t = w + t - 3. Is w a multiple of 9?
True
Let i(l) be the second derivative of -3*l**5/20 - l**4/6 + l**3/3 + 7*l**2/2 - 21*l. Does 32 divide i(-3)?
True
Let b(y) = y**3 + 6*y**2 + 4*y - 5. Let w be b(-5). Suppose 4*x = w, 5*z - 280 = -0*z + 5*x. Does 14 divide z?
True
Suppose q + 2 - 4 = 0. Suppose o - q*o = -4*x + 263, -3*o = -2*x + 129. Is x a multiple of 22?
True
Suppose -5*n = 5*p - 395, 2*n - 179 = 2*p - 9. Let y = n - 53. Suppose -5*b - y = -2*m - 88, -3*m = 4*b - 61. Is 3 a factor of b?
False
Let v = -484 - -532. Is v a multiple of 12?
True
Let i(f) = 4*f + 5. Let w be i(-5). Let m(o) = 5*o + 0 + 8*o + o**2 + 0*o**2 - 8. Does 11 divide m(w)?
True
Let t(o) = -o + 4. Let d be t(8). Let g be -6*d/(-8) + 96. Suppose 2*n + 5 = n, -2*f = 3*n - g. Is f a multiple of 27?
True
Let y(l) = 27*l**2 + 4*l + 2. Let s be y(-1). Let f = 58 - s. Does 11 divide f?
True
Suppose -2*j = 2*j - 196. Suppose 5*y - j = -4*k, 5*k - 34 = k - 2*y. Is 10 a factor of (-5 - -2) + k - -7?
True
Let j be ((-20)/28 + 6/(-21))*-82. Suppose -3*d + 316 = j. Is d a multiple of 39?
True
Suppose 5*i - 4*t = 40, -i + 3*i = -3*t - 7. Suppose 0*b - 5*j - 17 = -b, -4*b + i*j = -116. Let n = b - 20. Does 12 divide n?
True
Suppose 3*i = -5*l - 570, -3*i = 3*l - 6*i + 366. Let r = -65 - l. Does 26 divide r?
True
Suppose 0 = 4*h - 5*f - 799, 18*f - 14*f + 398 = 2*h. Is h a multiple of 30?
False
Let q = 244 - 42. Is 42 a factor of q?
False
Let j be 1/(-3) - (-241)/3. Suppose -q - 5*i - 65 = 0, 3*q + 165 = -2*i - 3*i. Let b = j + q. Is b a multiple of 10?
True
Suppose -5*f - 6*s + 115 = -10*s, 0 = 3*s. Is 5 a factor of f?
False
Let c = -54 + 31. Let t = 20 + c. Does 4 divide (-4)/(-6) - 46/t?
True
Let p(f) = -13*f - 11*f + 2 - 52*f. Is p(-3) a multiple of 46?
True
Suppose -11 = b + 4. Let s = -10 - b. Suppose -4*n - s*v + 92 = 7, 2*v = -n + 25. Does 5 divide n?
True
Suppose -w + 0*w - 1 = 0, -5*w = z + 17. Let p = z - -18. Is p a multiple of 2?
True
Let m(s) = -75*s**3 + s**2 - 2*s + 1. Let o be m(1). Let n = 135 + o. Is n a multiple of 12?
True
Suppose -6 - 42 = 4*s. Let x = -7 - s. Suppose 9 = x*u - 306. Does 13 divide u?
False
Let v = 131 + 49. Does 6 divide v?
True
Is 14945/21 + (-21)/(-9) a multiple of 42?
True
Suppose t = -4*d + 5772, -3*t + 4*t - 4330 = -3*d. Is 14 a factor of d?
True
Let v(p) = 5*p**2 + p - 1. Let z be v(1). Suppose 8 - z = -3*x. Is 23 - ((-2)/x - 2) a multiple of 8?
False
Let p = 298 + 921. Does 13 divide p?
False
Suppose 0 = s - 5*b - 321, 0*b = -2*s + b + 606. Suppose 7*d - s = -0*d. Is d a multiple of 20?
False
Let a(u) = 5*u + 21 - 17 - 6*u. Let h be 10*1*2