+ 0. Does 4 divide g(4)?
True
Let m(k) = k**3 - k**2 + k + 4. Let u be m(0). Let a be (-334)/(-4) + 2/u. Is 6 a factor of a/10 - (-4)/(-10)?
False
Let s(c) = -114*c + 3. Let w be s(-2). Suppose 2*h - w = -9*h. Does 21 divide h?
True
Let v(n) be the second derivative of 9*n**4/4 - n**3/3 + n**2/2 - 3*n. Let o = 6 + -5. Does 5 divide v(o)?
False
Let g be (-16 + 7)*1/(-3). Suppose 2*q = -g*q + 15. Is q a multiple of 3?
True
Let b be 1 + (0 - (0 + -1)). Let k be 3/2*b/3. Does 10 divide ((1 - 0) + k)*20?
True
Suppose 0 = -5*k + 4*f + 10 - 35, 0 = -3*k + 3*f - 18. Let j = k + 6. Suppose 33 = j*p - 2*p. Is p a multiple of 11?
True
Let f = 77 + -125. Let y = f + 90. Is y a multiple of 5?
False
Let h(p) = p + 6. Let a be h(-4). Let z(x) = 7*x + 72 + x**3 - 8*x - 15 + x**a. Does 19 divide z(0)?
True
Suppose -3*y = 15, 3*y + 2*y = -f + 10. Suppose k - 6*k + f = -5*l, k + 4*l - 27 = 0. Does 11 divide k?
True
Let k(w) = -w + 0 - 1 - 7*w - 6*w. Let y(q) = 28*q + 2. Let s(h) = 7*k(h) + 4*y(h). Is 21 a factor of s(5)?
False
Let k = -21 + 21. Suppose k = -7*b + 10*b - 48. Is b a multiple of 4?
True
Suppose 447 = 5*h - 283. Does 18 divide (-7)/28 + h/8?
True
Let v be 3 + 8/((-32)/12). Suppose v = -4*c - m + 30, -2*c - 4*m + m = -20. Is 7 a factor of c?
True
Suppose -2*q = -5*l + 15, 5*q + 0*l = -l + 30. Suppose -i - f = 4*i - 68, -i + q*f = -24. Does 7 divide i?
True
Is 12 a factor of 492 + 0*7/56?
True
Suppose 3*c = c + 2980. Does 6 divide c/50 - (-2)/10?
True
Suppose 167*j = 164*j + 3975. Does 25 divide j?
True
Suppose -4*s + 0*s + 112 = 0. Let v = -5 + 9. Suppose 6*c - s = v*c. Does 7 divide c?
True
Let i(s) = 54*s**2. Let g be (4 - 1)*2/(-6). Let f be i(g). Let q = f - 10. Is q a multiple of 22?
True
Let p = -9 - -21. Suppose 0*d - 6*d = -p. Suppose 4*o + 122 = d*j, -4*j - o = -2*o - 279. Is j a multiple of 29?
False
Is (-3062)/(-12) - -1 - 28/168 a multiple of 16?
True
Let g(f) be the first derivative of 4*f**3/3 - f**2/2 - f + 1. Let l = 884 + -887. Is g(l) a multiple of 19?
True
Let k(c) = 8*c - 3. Let u be k(4). Let a(g) = g**2 + 22*g + 32. Let x be a(-20). Let y = x + u. Does 12 divide y?
False
Let z(x) = x**3 - 6*x**2 - 9*x + 14. Let r(q) = 9*q**2 - q. Let a be r(1). Is z(a) a multiple of 7?
True
Let l = 237 + -157. Let m = 175 - l. Does 19 divide m?
True
Suppose -5*z + 362 = 2*q, 2*q - 3*q = 5*z - 176. Is 62 a factor of q?
True
Suppose f - 573 = -2*f. Suppose 71 = -4*s + f. Suppose -s - 32 = -2*y. Is y a multiple of 6?
False
Let a(p) = -4*p + 34. Let w be a(11). Is (w/(-20))/(1/84) a multiple of 37?
False
Let v(t) = -8*t + 434. Does 17 divide v(14)?
False
Suppose -p + o = -261, 545 = 3*p + 4*o - 273. Does 14 divide p?
True
Let x(m) = m + 22. Let l be x(-10). Suppose 2*r = 3*o - 127, 0 = -2*r - r + l. Does 11 divide o?
False
Let n(q) = -9*q - 95. Does 46 divide n(-18)?
False
Let l = -34 - -34. Suppose l = -0*p - 7*p - 28. Is (-161)/28*p*1 a multiple of 4?
False
Let i(f) = f**3 + 36*f**2 - 7*f - 38. Let v be i(-36). Suppose 1380 = 4*p + 4*q, 1417 = 4*p + 3*q + 40. Let k = p - v. Does 32 divide k?
True
Does 39 divide (-1)/((-2)/237) + 273/(-182)?
True
Let y be 52*(-3 - 1)/(-8). Suppose i - k - y = 14, 4*i - 5*k - 164 = 0. Suppose -2*f = -5*v + 13 + 17, i = 4*v - 4*f. Does 4 divide v?
True
Let h be (-4)/(-6)*(-43 - -4). Let g = h - -116. Does 21 divide g?
False
Let r = 1088 - 754. Let x = r - 192. Let g = x + -69. Does 24 divide g?
False
Suppose -r = -3*n + 4*n - 1060, -3*n + 3160 = -2*r. Is 16 a factor of n?
True
Let l(p) = -2*p - 9. Let b be l(-6). Suppose -109 = -b*i - 28. Does 20 divide i?
False
Let k(y) be the second derivative of -y**3/6 + 17*y**2/2 - 4*y. Let l be k(12). Suppose 3*d - 60 = -3*f, 11 + 4 = -l*f. Is d a multiple of 7?
False
Does 10 divide -300*(66/18 - 5)?
True
Suppose 65*g - 16*g - 84378 = 0. Does 42 divide g?
True
Let w(k) = -12*k**3 - k**2 + 1. Let c(q) = -q**2 - q + 1. Let l be c(1). Let t be w(l). Does 3 divide t/2*49/42?
False
Let s be (35/(-10))/((-2)/4). Suppose 2*r + 2*c = s*c + 53, c - 71 = -3*r. Is 13 a factor of r?
False
Let d(a) = -35*a. Is d(-10) a multiple of 14?
True
Let m = -236 - -398. Suppose 73 = h + 5*v, 46 = 4*h - v - m. Does 4 divide h?
False
Let s be 2 + (-10)/(-3) + (-3)/9. Suppose s*c + 39 = t, -4*t = -9*t + c + 243. Does 7 divide t?
True
Suppose -4*r = 5*z - 518 - 766, 2*z - 2*r = 528. Suppose -2*y = b + b - 136, -z = -4*b + 2*y. Is b a multiple of 22?
True
Let j(q) = 6*q**2 - 13 - 12*q - 11*q**2 + 4*q**2. Let f be j(-11). Is 16 a factor of f/(-15) + 2874/45?
True
Suppose u = 4, -2*u + 7430 = 4*f - 118. Does 33 divide f?
False
Suppose 26*p = -3*o + 28*p + 65, -5*o - 2*p + 103 = 0. Is 17 a factor of o?
False
Let y = -759 + 1175. Is 52 a factor of y?
True
Let t = 8 + -5. Let c be (-2)/t*(-90)/20. Suppose -c*r = r - 24. Is 5 a factor of r?
False
Let o(z) = -z - 33. Let t be o(15). Let b = t - -118. Is 14 a factor of b?
True
Suppose 4*p - z = 22, 5*z = 5*p + z - 33. Suppose i - 3*v = 66, i + p*v = -3 + 29. Does 14 divide i?
False
Let x(q) = 35*q**2 + 2*q - 2. Let y be x(-3). Suppose 5*z + y = 2*m, 2*z = m - 194 + 42. Does 29 divide m?
False
Let v be 3 + (-4 + 3)*-1. Let y = v - 2. Suppose -y*w - 62 = -4*i, 4*w = -4*i + 61 - 17. Is i a multiple of 14?
True
Suppose -u - 5*z + 33 = 2, 3*z = -2*u + 34. Let o = -9 + u. Suppose o*x = 5*b - 55, 6*b - x = 2*b + 44. Does 11 divide b?
True
Suppose -5*f - 72 = -m, 5*m = 4*f + 34 + 326. Is 4 a factor of m?
True
Is 3 + 1/(-1) - -103 a multiple of 42?
False
Let l be 440/33 - 8/(-12). Let i = 139 - 67. Suppose -l*x = -17*x + i. Does 4 divide x?
True
Let o = -25 - -46. Let y = o + -7. Let j = 22 + y. Does 13 divide j?
False
Let s(q) = q**3 + 9*q**2 - 2*q + 3. Let w be s(-9). Let t be w/(-2)*8/(-6). Let y(i) = i - 11. Is y(t) a multiple of 2?
False
Let r be 2*-2 + (586 - 3). Suppose -r = -5*o + 61. Is o a multiple of 25?
False
Let z(t) = -3 + 3 - 29*t + 2. Is z(-2) a multiple of 12?
True
Let l = -203 + 833. Is 30 a factor of l?
True
Suppose 0 = 3*f + 4*v + 2 + 6, 32 = 3*f - 4*v. Suppose -968 = -f*d + 3*j, -5*d + 1237 = -0*d + 3*j. Is d a multiple of 49?
True
Let h(j) = 5*j**2 - 28*j - 20. Is 11 a factor of h(-5)?
False
Let q = 2019 + -619. Is q a multiple of 50?
True
Suppose 0 = -y + 3*q + 22, -y + q + 16 + 6 = 0. Let o = y - 3. Is 19 a factor of o?
True
Suppose 16*x - 14*x - 2*g = 4490, -5*x + 11207 = g. Is x a multiple of 16?
False
Does 9 divide ((-8)/(-5) + -2)*-35*9?
True
Let m = -13 + 33. Suppose -5*u + 28 + m = 3*j, -u + 4*j = -28. Is 8 a factor of u?
False
Does 13 divide (-93434)/(-217) - 3/(-7)?
False
Is 6 a factor of ((-28)/21)/((-16)/1260)?
False
Let v = 382 - 207. Is 3 a factor of v?
False
Let d = 221 - 149. Suppose 2*b - d = -b. Suppose j = b - 8. Is j a multiple of 5?
False
Let m = 16 + -7. Suppose -5*x = -1 - m. Let k = 50 + x. Does 16 divide k?
False
Let f = 87 + 49. Suppose -m - 3*m = -f. Is m a multiple of 17?
True
Let m(z) = -364*z**2 + z + 4. Let q(a) = 729*a**2 - 2*a - 9. Let g(j) = -5*m(j) - 2*q(j). Let s be g(-1). Does 17 divide s/7 - (-12)/(-21)?
True
Let m = 286 + -265. Does 7 divide m?
True
Let d be -5 + 0/1 + 3. Let n = d + 5. Suppose 3*p = 9, -4*w = n*p + 24 - 141. Is w a multiple of 9?
True
Suppose -h + 4 = -q, 3*h + 30 = -5*q - 2*h. Let s be 1/((q + 2)/18). Is (-2)/(2 + s)*100 a multiple of 25?
True
Let n be 2/(-12) + (-444)/(-72). Let q(m) be the second derivative of 4*m**3/3 - 6*m**2 - 2*m. Does 12 divide q(n)?
True
Suppose 5*k - 18 = 37. Suppose -5*i - 54 = -4*s - k, -2*i + 4*s = 22. Let p(t) = -t**3 - 7*t**2 - 2*t + 4. Is p(i) a multiple of 6?
True
Let r = 49 + 9. Suppose i + 10 = r. Is i a multiple of 17?
False
Let d be (20/(-12))/(-1)*(20 + -5). Suppose -11*c + d*c = 896. Does 14 divide c?
False
Let r = -114 + 219. Suppose t - 166 = -9. Let d = t - r. Is d a multiple of 13?
True
Suppose -10252 = -25*d + 1298. Does 11 divide d?
True
Suppose -3*a - 3 = -15. Suppose a*i - 158 = 22. Is i a multiple of 9?
True
Let h(g) = -g**3 + 5*g**2 + g + 3. Let y be h(5). Suppose 84 + 228 = y*n. Let c = 72 - n. Does 5 divide c?
False
Let i = 132 + -23. Is i a multiple of 5?
False
Let f be (-1626)/(-4) + (-2)/(-4) + -2. Suppose -6*m - f = -11*m. Does 19 divide m?
False
Let t be 36/(-45) - 39/(-5). Suppose 2*y + 152 = t*y + 2*b, 0 = 5*y + 4*b - 154. Does 7 d