21*d - 26*d + 2*c = -29323. Does 11 divide d?
True
Suppose 24301 = 4*r + f - 11655, 2*r - 2*f = 17958. Is r a multiple of 43?
True
Let z = -1441 - -2800. Is z even?
False
Let j = 812 - 237. Suppose -j = -5*f + 975. Suppose 5*p - 3*c = c + f, -c = 2*p - 137. Does 22 divide p?
True
Suppose 5*f + 2*d - 6875 = 0, d = -0 - 5. Suppose -4*z - 1169 + f = 0. Does 2 divide z?
True
Let n = 10125 - 8375. Is 31 a factor of n?
False
Suppose 3*w = 3*j, -j - w = w + 9. Is ((-1)/j)/((-33)/(-4356)) a multiple of 22?
True
Let d = 963 + -146. Does 19 divide d?
True
Let j(n) = -30*n + 2. Let r be -2*((-2)/8)/(1/(-2)). Let a be j(r). Suppose 108 = s - a. Is s a multiple of 34?
False
Let t = 240 + -462. Let j = 235 + t. Does 3 divide j?
False
Let z = 5702 + -3852. Is 5 a factor of z?
True
Suppose -10*y + 20 = -15*y. Let n be 8*((-10)/(-30))/(y/(-138)). Suppose 6*b = 2*b + n. Is b a multiple of 10?
False
Let g = 1816 - 1045. Let t = 1225 - g. Does 38 divide t?
False
Let r(j) = 2901*j + 111. Does 12 divide r(4)?
False
Let j be 4/(-18) - (-47)/9. Let o(g) = -14 + 1 + 2*g + 15 + 20*g. Does 28 divide o(j)?
True
Let z(q) = -4890*q - 380. Does 55 divide z(-1)?
True
Let z = 3658 - -506. Is 12 a factor of z?
True
Let z be -3 + (-12)/(-9) + (-95)/(-57). Suppose -177*x + 183*x - 5040 = z. Is 42 a factor of x?
True
Suppose -73*j + 72*j + 2 = -2*f, 0 = -5*f + 2*j - 6. Is 3*f - (-5 - 8768/8) a multiple of 74?
False
Suppose j + 5*n - 28 = 0, 0*j - 3*n = j - 18. Let i be -3 + j + 1 + 2. Suppose 2*f - i = 45. Is f a multiple of 8?
True
Let t(a) = -2*a**2 + 9*a + 17. Let d be t(-7). Does 12 divide 1792/10 - d/180?
True
Let a be (22 - 21) + (1 - 1 - -4). Suppose 1025 = a*z - 295. Is z a multiple of 6?
True
Suppose 8*b + 28237 = 30*b - 14883. Does 56 divide b?
True
Suppose 5*n + n = 6. Let l(j) = 49*j. Let b be l(n). Suppose 4*u - 4*p + 0*p - 92 = 0, -2*u = p - b. Does 7 divide u?
False
Let u(x) = 4*x**3 + 13*x**2 - 76*x + 20. Is 160 a factor of u(14)?
True
Suppose 550 - 26 = -4*l. Let w = l - -300. Is 13 a factor of w?
True
Suppose 0 = 5*n - 5*r - 5580, -2 = -262*r + 263*r. Is 7 a factor of n?
False
Let b(g) = -2 - 34*g**2 - 13*g**3 - g - 16 + 11*g**3. Does 12 divide b(-18)?
True
Let o be (2/4)/((-2)/(-20)). Suppose 0 = -2*w + o*c - 23, w - c - 1 = 2*w. Is 8 a factor of (w*12/(-5))/(6/45)?
True
Let m = -38 - -49. Let c be 1*m - (-19 - -21). Is 10 a factor of 2 + c/(-3) - -111?
True
Suppose -7*d + 36*d + 43413 = 0. Let q = d + 2310. Does 28 divide q?
False
Let b(m) be the third derivative of 0 - 43*m**2 + 0*m - 13/2*m**3 + 3/8*m**4. Is 3 a factor of b(8)?
True
Suppose 138728 = -41*t + 761272. Is 16 a factor of t?
True
Let g = -21551 + 25559. Is g a multiple of 12?
True
Let w = 14327 - 7190. Is w a multiple of 61?
True
Suppose -13 = 4*x + j, 2*x + 2*j + 2*j = -10. Does 3 divide (27/(-6))/(x - (-20)/8)?
True
Let g = 1 + -1. Let f(s) = -4*s**3 - 39*s**2 - 19*s + 6. Let y be f(-11). Suppose g*a - 10*a + y = 0. Is 9 a factor of a?
False
Suppose -2*w + 882 = w. Suppose 291*k + 159 = w*k. Is 24 a factor of k?
False
Suppose 4*w = -2*r + r + 25, 2*w = -r + 15. Suppose r*l + 4*l = 18. Suppose -5*h = -k - 0*k + 88, -5*h - 176 = -l*k. Is 11 a factor of k?
True
Let w(j) = 4*j**2 - 1. Let p be w(2). Let s be (10/p + 2/(-3))/(-1). Suppose 11*i - 12*i + 40 = s. Does 39 divide i?
False
Suppose -4*z + 129040 = 14*z - 14114. Is z a multiple of 33?
True
Let k(r) = r**2 - 2*r. Let m be k(3). Suppose -52*f = -49*f - 126. Suppose -f = -3*w + m. Is 15 a factor of w?
True
Let q(v) = -16*v - 60. Let y be q(-18). Let l = 62 + y. Is 56 a factor of l?
False
Let v(d) = -d**3 - 22*d**2 - 12*d + 22. Let o be v(-22). Suppose 4*b - 456 - o = -g, 0 = -5*g + 3*b + 3618. Does 11 divide g?
True
Let w = -661 + 663. Suppose 0 = -w*c + 32 + 648. Is c a multiple of 10?
True
Let y be ((-189)/36)/(3/12). Let v = y + 51. Suppose 2*q - v = -m + 6*m, 3*m = -3*q + 87. Is 5 a factor of q?
True
Suppose v = 39*o - 44*o - 26, -8*v = -2*o - 86. Let y(g) = 208*g + 494. Let k(l) = 23*l + 55. Let z(b) = 26*k(b) - 3*y(b). Is z(o) a multiple of 13?
True
Let r(q) = 4*q - 36. Let f be r(9). Suppose -20 = 4*s, y - s + 0*s - 33 = f. Is (6444/y)/3 + (-6)/(-21) a multiple of 8?
False
Let j(o) = -o**2 + 91*o - 272. Is 128 a factor of j(48)?
True
Let t(c) = -7*c - c**3 - 17 - 19 - 13 + 5*c**2 + 63. Let w be t(8). Does 39 divide 5/((-25)/(-20))*w/(-8)?
True
Let h = 4484 - 2548. Is h a multiple of 21?
False
Suppose 0 = z - 2*n - 20, -z + 5*n + 21 = -5. Let i(c) = c**3 - 46*c**2 + 240*c + 12. Let a be i(6). Suppose 828 = z*m - a*m. Does 29 divide m?
False
Suppose 0*k - 13*k = 0. Suppose k = 4*c - i - 3*i + 104, -2*c - 58 = i. Is 14 a factor of c*16*(-5)/10?
True
Let h be (20/(-8) - -2)/(-1)*6. Let c(n) = 4 + 2*n**h - 4*n + 12*n**2 - 5 - n**3 - 2*n**3. Is c(6) a multiple of 18?
False
Let m(w) = w**3 + 5*w**2 + 3*w. Let q be m(-4). Suppose -p = -2*k + 22, -p = q*k - 58 + 8. Suppose 0 - 48 = -k*b. Is b even?
True
Suppose 3*s - 4830 = -2*b + 8048, -2*s + 8576 = -b. Is s a multiple of 192?
False
Suppose 0 = 6*l + 82*l - 127952. Is 28 a factor of l?
False
Let f(g) = -g + 6. Let o be f(3). Let q(y) = 6*y**2 - 4*y + 12. Is q(o) a multiple of 6?
True
Let t(h) = -9*h + 390. Let u be t(24). Is 31 a factor of u + 0/(-8)*1?
False
Let q(k) = -3*k**2 + 91*k - 124. Let r be q(35). Let f = r - -665. Is f a multiple of 31?
False
Suppose z - 6*z = -5. Let b be 202 - 2/(-6)*(z - -2). Suppose 81 = -x + b. Does 40 divide x?
False
Let n(q) = 3*q**3 + 106*q**2 - 25*q + 168. Is 12 a factor of n(-33)?
True
Let s(k) = 665*k - 635. Is 50 a factor of s(19)?
True
Let s(d) be the second derivative of d**5/20 - 11*d**4/12 + 11*d**3/3 - 6*d**2 + 2*d + 1. Does 23 divide s(10)?
False
Let f = -40362 - -58746. Is f a multiple of 25?
False
Let x(c) = c**3 - 5*c**2 + 6*c - 6. Let v be x(4). Let u = 47 - 45. Is 3/6*u*v a multiple of 2?
True
Suppose 20079 + 14923 = -37*k. Is k/(-5) - 6/(-60)*-2 a multiple of 63?
True
Let g(c) = c**3 - 70*c**2 - 620*c - 76. Let w be g(78). Let y(o) = -121*o. Let s be y(1). Let f = w + s. Is 16 a factor of f?
False
Let t(p) = 3*p**3 + p**2 - 1. Suppose -62 + 65 = 3*q. Let a be t(q). Suppose -a*j + 7*j + 3*l - 639 = 0, 0 = -4*l + 20. Does 13 divide j?
True
Let i(a) = -15*a - 40. Let y be i(-5). Let u be (4/5)/((42/y)/6). Suppose 0 = u*j - 26 - 182. Does 28 divide j?
False
Suppose 16*l - 15*l = -c + 18, 3*c - 2*l = 29. Let a(s) = s**3 - 15*s**2 + 28*s - 5. Does 5 divide a(c)?
False
Suppose 4*q + 88 = -0*q. Let r = q - -24. Suppose 59 = r*v - 29. Is 22 a factor of v?
True
Let l = 281 + -849. Let v = l + 928. Is v a multiple of 24?
True
Let u be -3*(2/(-3) - 1) + 3. Suppose 5*g = -s + 3849, -6*s = -u*s - 2. Does 77 divide g?
True
Let k(i) = 7*i + 28. Let m be k(-4). Suppose m = 25*c - 30*c + 260. Does 13 divide c?
True
Let j(n) = n**2 + 5*n + 6. Let s be j(-5). Let f be 18*-1*512/(-24). Suppose -12*q + f = -s*q. Is q a multiple of 8?
True
Let w be 181 - (48/32)/((-2)/4). Is 24 a factor of (1 - w/12)*-9?
False
Let o(f) = -15*f**2 + 12*f + 58. Let k(r) = -12*r**2 + 12*r + 57. Let t(s) = -4*k(s) + 3*o(s). Is t(-7) a multiple of 5?
False
Let z = 208 - 178. Suppose -660 = -z*x + 25*x. Is x a multiple of 11?
True
Suppose 9*p + 35*p - 32194 = 879794. Is p a multiple of 44?
False
Let n(y) = y**3 + 75*y**2 - 26*y + 886. Is n(-73) a multiple of 94?
True
Let d = -217 - -419. Let r = -701 - -1039. Let g = r - d. Is 49 a factor of g?
False
Suppose 80*r + 12689310 = -4*r + 594*r. Does 139 divide r?
True
Is (-12045)/(-99)*(-2 + 32) a multiple of 25?
True
Suppose -14*x = -4*x - 50. Suppose -4*y - 424 = -3*c, 2*c = x*c + 3*y - 417. Does 20 divide c?
True
Let o(j) = -j**3 - 22*j**2 - j - 2. Let f(h) = h**3 + 19*h**2 + 4*h + 54. Let s be f(-19). Let c be o(s). Suppose 4*k - 128 = -c. Is k a multiple of 4?
False
Is 84 a factor of 665275/180 + 4/(-18) - (-2)/8?
True
Let t be 6/(-9)*(2 + 1). Let i be t - ((-6)/10 - 316/(-10)). Does 33 divide i*(-6 - (4 - 7))?
True
Let m(x) = 43*x + 28. Let p be m(-4). Let q = 254 + p. Is q a multiple of 11?
True
Suppose -24*l - 8 - 16 = 0. Is 6 a factor of 1 + l - (2 - 140)?
True
Let a = 7 - 10. Let w(n) = 4*n**2 - 17*n - 20. Let c(v) = 5*v**2 - 18*v - 19. Let f(k) = a*c(k) + 4*w(k). Does 28 divide f(17)?
True
Let q(l) be the second derivative of 3*