1 - 5*g + 0*g + 0*g. Is c(s) a multiple of 21?
True
Let z = 33561 - 12885. Is 51 a factor of z?
False
Let c(m) = m**2 + 4*m + 3. Let a be c(5). Let w = -45 + a. Suppose 258 = 6*y - w*y. Is 27 a factor of y?
False
Let i(x) = 149*x - 351. Suppose 0 = -2*z + 6, l + 3 = 2*z + 5. Is i(l) a multiple of 29?
True
Let v(r) = -9*r. Let x be (28/6 + 0)/((-20)/30). Let h be v(x). Is h + (-3)/15*-5 a multiple of 16?
True
Let z(d) = -5*d - 28. Let b be z(-6). Suppose b*f - 2*s = 0, 4*f - 5*s + 5 = -0*f. Is -91*(1 + -2) + f a multiple of 24?
True
Let u = 462 + -473. Is 249 + -1*(-6 - u) a multiple of 32?
False
Suppose 16*v = 54*v - 532. Is 2 a factor of 260/(-182)*v/(-2)?
True
Let l be (-2 + 5/(-2))/(24/(-32)). Suppose -l*i = -4*q - 3*i + 364, 3*i = 0. Suppose 73*w - 74*w = -q. Does 17 divide w?
False
Let n(x) be the second derivative of -11*x**6/720 - x**5/15 - 7*x**4/6 - 23*x. Let i(j) be the third derivative of n(j). Does 17 divide i(-3)?
False
Suppose 4*a - 7856 = -5*x, 5*x = 2*a + a - 5927. Does 5 divide a?
False
Suppose 12*m - 10 = 17*m, p + m - 10 = 0. Is 45 a factor of p - -492 - (1 - 0)?
False
Let p = -855 + -1876. Let n = -1651 - p. Suppose n = 5*x + 3*x. Is 10 a factor of x?
False
Let v be 4/(-30) + 124/30. Suppose i = 5*u - 3345, -5*u - 9*i = -v*i - 3375. Does 15 divide u?
False
Let d be (-4)/6 - (-1 + 388/12). Let l = -34 - d. Is 24 a factor of ((1 + l)*-69)/1?
False
Suppose -2*z + 2*j = j - 831, 3*z - 1257 = -2*j. Let w = 472 - z. Is 2 a factor of w?
False
Let u(g) = g**2 + 11*g. Let j be u(-6). Does 19 divide (55/j*-21)/((-1)/(-2))?
False
Let m(o) = o**3 - 26*o**2 + 90*o - 46. Let r be m(22). Let u = -473 - -950. Is r*(-3)/2 + u/9 a multiple of 11?
False
Let c = -21388 - -25117. Does 11 divide c?
True
Does 134 divide ((-12836)/(-14))/(21/(2205/30))?
False
Suppose -4*y - 2*i - 6 = 0, 2 + 23 = -5*i. Let q(x) = 521*x**2. Is 33 a factor of q(y)?
False
Let b(y) be the first derivative of 3*y**4/2 - y**3 + 7*y**2 - 8*y + 64. Does 24 divide b(4)?
True
Suppose -j + 2*d + 74 = 0, 4*d + 260 = 4*j - 48. Suppose 4*z - j = -x, z - 20*x + 15*x + 1 = 0. Does 19 divide z?
True
Let m be (-152)/(-26) + 2/13. Suppose 11 = m*u + 5. Is 9*(132/(-90))/(u/(-10)) a multiple of 33?
True
Let q(r) = 6*r**2 + 59*r + 2. Let a be q(-10). Suppose a*h - 6254 = 7186. Is 14 a factor of h?
True
Let d(h) = -11*h**2 + 182*h + 12. Is 12 a factor of d(12)?
True
Let t(i) = 29*i - 73. Let r be t(27). Does 7 divide (r/50)/(1/5)?
False
Let t be -1*(-4 + 4) - -4. Let u(d) be the second derivative of d**4/3 + d**3/2 + d**2 - 4*d. Does 26 divide u(t)?
True
Suppose -5*q - 5*h + 8 = -37, -5*q + 2*h = -73. Suppose -12*c = -q*c + 345. Is c a multiple of 24?
False
Suppose 4*c + 85 = -275. Let k = c - -207. Is 13 a factor of k?
True
Let b be 3 + 72/(-20) + (-104)/10. Let c be b/(-2)*(-10 - -8). Let f(v) = -v**3 - 11*v**2 - v + 19. Does 10 divide f(c)?
True
Let w(u) = u**2 + 5*u + 96. Let b be -18*(3 + -1)*14/(-28). Does 46 divide w(b)?
False
Suppose -4*p + 74*w - 78*w + 8364 = 0, 4*p + w = 8361. Is p a multiple of 6?
False
Suppose 5*m + 24 = 9*m. Suppose -m*f + 17*f - 132 = 0. Is 2 a factor of f?
True
Suppose -314142 = -171*y + 765381. Is 107 a factor of y?
True
Suppose -10*i + 3*y = -5*i - 42, 4*i + 3*y - 12 = 0. Does 18 divide (2 + -119)/(3 - 21/i)?
True
Let i = 67 - 64. Suppose f - 2*b = 17, 32 = 7*f - 5*f - i*b. Let a = f + 37. Is a a multiple of 9?
False
Let h = 2458 - 437. Is h a multiple of 47?
True
Let k be (45/(-10))/(161/(-40) + 4). Does 6 divide (-4 - 39/(-6))/(3/k)?
True
Suppose -6 = t - 2*q, -7*q = 2*t - 2*q - 24. Let a be (-20)/(-70) - (215/(-7) - t). Suppose -6*i + a = -3*i. Is 4 a factor of i?
False
Suppose 0 = -d + 4*b + 115, 0*d = -5*d - 4*b + 455. Suppose -4*l = -2*m - m - 54, l = -3. Let w = d - m. Is 9 a factor of w?
True
Suppose 4*s = 3*q + 214254, -2410*s + 2414*s = -4*q + 214296. Is s a multiple of 54?
True
Suppose -3*n - 1056 = -4*n - m, -m = 5*n - 5304. Is 6 a factor of n?
True
Let z(a) = a**3 - 7*a**2 + a - 7. Let w be z(7). Suppose 0 = -g + 59 - 4. Suppose g = 2*s - 3*m - 72, -4*s - 5*m + 199 = w. Is 14 a factor of s?
True
Let j be 2 - -2 - ((-1206)/(-6) + 3). Let z = j + 234. Is 25 a factor of z?
False
Let u(r) = -10970*r + 41. Let t be u(-5). Suppose -t + 22683 = -33*h. Is h a multiple of 58?
False
Suppose 212 = 4*z - 3*w - 243, -2*z = -4*w - 230. Suppose 6*t - z = -455. Let p = 90 + t. Does 20 divide p?
False
Is 18 a factor of 39/(-45) + 1 + (-477326)/(-255)?
True
Suppose -17*g - 2520 = -23*g. Suppose -11*t - 1671 = -15*t - y, -2*y = -t + g. Is 55 a factor of t?
False
Let z(g) = -g**3 - 4*g**2 + 5*g + 15. Let v be z(-5). Does 39 divide ((-117)/v)/((-16)/80)?
True
Is 32730*((-32)/(-192) - (-3)/6) a multiple of 9?
False
Let q = 26957 + -13269. Does 58 divide q?
True
Let s be ((-32)/(-20))/(2/5). Suppose 0 = 9*j - s*j - 30. Is (4/j)/(30/1530) a multiple of 11?
False
Suppose -52*o + 43651 = -39809. Is o a multiple of 15?
True
Suppose -11*n + 59 = -7. Is n/(-4 + (-1524)/(-378)) a multiple of 21?
True
Suppose 12*m = 39*m - 108. Is m/6 - (-3486)/63 a multiple of 8?
True
Let i(r) = 4*r - 14. Let a be i(8). Let v be 24/(-108) - (-4)/a. Suppose 5*k = -v*k + 345. Is 23 a factor of k?
True
Let c(v) be the first derivative of -v**5/30 - 25*v**4/24 - 2*v**3 - 5. Let z(r) be the third derivative of c(r). Is z(-9) a multiple of 7?
False
Let r(q) = -5*q + 66. Let s be r(13). Let t(h) = 5*h**2 - 2*h + 2. Does 5 divide t(s)?
True
Suppose -s + 6699 = 10*s. Suppose -2*a + 188 = -4*m, 5*m + 124 - s = -5*a. Is 9 a factor of ((-10)/(-4) + -1)/(2/a)?
True
Suppose 0 = 2*x - 0*x + q - 19, 36 = 3*x + 3*q. Suppose -4*k + 27 = -4*u + x, 0 = -2*u + k - 5. Suppose p + t - 47 = u, 2 = -t - 3. Is p a multiple of 13?
True
Let u be ((-62)/(-6))/(-2 + 798/396). Suppose 4*g - 8*g + o + 2690 = 0, -g + 5*o + u = 0. Is 48 a factor of g?
True
Suppose 2*s = v - 0 + 8, 3*v - 3*s + 9 = 0. Suppose n = -2*n - v*t + 881, 5*n - 1483 = 4*t. Is 6 a factor of n?
False
Suppose -232*y = -223*y - 18. Suppose -2*m + y*s = -1006, -4*m - 503 = -5*m + 5*s. Does 9 divide m?
False
Let q be (-43069)/(-195) - 2/(-15). Let a = 1740 - 1162. Suppose 7*j + q = a. Is j a multiple of 4?
False
Suppose 5*f = 2*r + 1, -3*r = -5*f + 2 - 3. Let g be f*(-25)/((-25)/5). Is 31 a factor of g + (275 - (-4)/(-4))?
True
Does 3 divide (41/((-656)/360))/((-5)/204)?
True
Suppose 10 = 5*u - 5*l, -21 = -3*u - 2*l - 15. Is ((-252)/(-98))/(u/(-322)*-1) a multiple of 43?
False
Suppose -56*s = 147592 - 766728. Is s a multiple of 8?
True
Let m = 2425 + -1326. Is m a multiple of 16?
False
Suppose -56 = -4*z - 16. Suppose z*h + 21 = 17*h. Suppose -2*n - h + 7 = 0. Does 2 divide n?
True
Suppose -2*n + 11*p - 15*p = -120, 2*n - 4*p = 152. Suppose -3*z - 3*u + 542 = n, 4*z = 5*u + 641. Is 13 a factor of z?
False
Let a(s) = 18*s**2 - 59*s - 500. Is 117 a factor of a(-44)?
False
Let t = -66 - -86. Suppose -t = 2*z + 4*l, 5*z - 6*l + 4*l = 10. Suppose z*h - 12*h = -3108. Does 13 divide h?
False
Suppose -561*a - 563*a = -1132*a + 8368. Is a even?
True
Let c(o) = 40*o. Let h(p) = -p + 10. Let a be h(6). Suppose -2*r + 2*i - 2 = -10, -a*r + i = -7. Is c(r) a multiple of 10?
True
Let p = 172 + -101. Let d = -48 + p. Is -1 + 1 + -1 + d even?
True
Let w(f) = -f**3 + 26*f**2 + 28*f + 13. Let i be w(27). Suppose -1443 = i*b - 43*b + 2*n, 4*n = -5*b + 2427. Does 76 divide b?
False
Suppose 3*q - i = 10, 6 = -i + 2. Let n be (-2)/(-4)*(4 - (-4)/1). Suppose -q*a - 178 = -n*a. Is a a multiple of 9?
False
Let l be ((-45)/2)/((-129)/1204). Suppose 0 = -211*u + l*u + 500. Is 19 a factor of u?
False
Let m = -22274 + 61737. Is 31 a factor of m?
True
Let f be (-2)/8 - (-1 + (-45)/20). Suppose 4*v - f*g = 262, -4*v - 4*g - g = -246. Is v - (2 - 2) - -2 - -1 a multiple of 9?
False
Suppose 0 = l + 4*t - 309, 2*l + 4*t = 154 + 480. Let z(k) = 4*k - 2. Let v be z(1). Suppose 3*q - l = -v*q. Is 19 a factor of q?
False
Suppose -613*d - 12313 = -620*d. Let h = d + -680. Does 8 divide h?
False
Suppose -149*p + 5781981 + 2217180 = 28*p. Does 6 divide p?
False
Let i be (4/3)/(16/(-1608)). Let d = -78 - i. Does 8 divide d?
True
Suppose 71*l = 73*l + 292. Let c = l - -400. Does 13 divide c?
False
Let f be (-4)/(-6)*(-2)/12*-27. Let u(x) = -2 - f - 8 + 16*x - x**2 - 2. Is u(6) a multiple o