r**2 + 3*r**2 - 3*r**2. Suppose 3*w + 43 = 4*t, 54 = 5*t - 0*w - 4*w. Is 21 a factor of d(t)?
True
Let p = -1994 + 4815. Does 13 divide p?
True
Let j(g) = g**3 - g**2 + 2*g - 1. Let c be j(1). Let l be (4/(-16)*-4 + 7)*c. Is 12 a factor of l/(-6) - (-112)/3?
True
Let y(l) = -573*l - 6. Let w = 63 + -65. Does 38 divide y(w)?
True
Let k(j) = -j**3 + 11*j**2 - 9*j + 1. Let u be k(10). Suppose 9*f + 12 = u*f. Does 16 divide 30 - 7/((-21)/f)?
True
Suppose 4*l = -12, 5*g = 3*g - l + 5155. Let k = 3635 - g. Is 32 a factor of k?
True
Let b = -1048 + 1504. Is 1216/b*1/(2/219) a multiple of 20?
False
Suppose 5*s - 9 = -v - 10, 2*v + 2 = 3*s. Let d = 16 + -14. Suppose -d*a + 5 + 15 = s. Is a a multiple of 5?
True
Let j(l) = -l**2 - 53*l + 30. Let f be -16 + -3 + (-6)/3. Is j(f) a multiple of 8?
False
Let b(u) be the first derivative of -3*u**2/2 + 9*u + 2. Let f be b(6). Is 26 a factor of (58/3 - (-5 - f))*18?
False
Does 35 divide 2841/(-1 - 33/(-24))?
False
Let p(k) = k**2 + 8*k + 2. Suppose 34*z = 36*z - 14. Suppose z + 11 = -2*s. Does 4 divide p(s)?
False
Let q(w) = w**3 - w**2 + 1. Let b(h) = -12*h**3 + 3*h**2 - 10*h - 3. Let o(z) = b(z) + 2*q(z). Is 19 a factor of o(-4)?
False
Let l = 114 - 70. Let u = 76 - l. Is 16 a factor of u?
True
Suppose g - 22 = -2*c, g - 2*c = -c + 16. Suppose -g*t + 2275 = -5*t. Is t a multiple of 4?
False
Let p(t) = -2*t + 43. Let c be p(19). Suppose 5*r + 4*q - 5 = 0, 3*q + 10 = -2*r - q. Is 26 a factor of (c - r) + 109/1?
False
Suppose -1 - 15 = 3*b + 4*c, -5*b = 5*c + 20. Suppose -35 = -3*r - 26. Suppose -153 = -b*z - r*z. Does 18 divide z?
False
Let s be (-5)/(1 + -6)*0. Suppose s*y - 7*y = -1169. Let j = y - 107. Is 6 a factor of j?
True
Let i be (0/7)/((1 + 0)*-1). Suppose i = 10*l - 20*l + 12110. Is 46 a factor of l?
False
Let j(c) = c**3 - c**2 - c. Let s(f) = -5*f**3 + 24*f**2 - 29*f + 35. Let v(a) = 4*j(a) + s(a). Does 31 divide v(17)?
True
Suppose 44*i - 46*i = -10. Suppose i*n + 10 = 0, -3*b + 2*n + 338 = 4*n. Is b a multiple of 19?
True
Suppose 5*b + k - 29129 - 11386 = 0, 0 = -3*b + 4*k + 24332. Is 22 a factor of b?
False
Suppose 5313 = 42*z - 9051. Is 18 a factor of z?
True
Let a(d) = -30*d - 19. Let f be a(-4). Let p = f + -69. Suppose 2*m - p - 34 = -4*h, -207 = -5*m + 4*h. Does 4 divide m?
False
Let z = -5865 - -19977. Suppose -25*i + 46*i - z = 0. Is i a multiple of 33?
False
Let l be (-4)/(-22) - 38/209. Suppose 4*c - 282 - 769 = 5*r, -3*r + 3 = l. Does 44 divide c?
True
Suppose 3*n - 45 = 8*n. Let x be (39/n - -3)*-3. Suppose -x*r + 78 = -2*g, 0 = 4*r + g + g - 90. Is r even?
False
Let x(f) = -f**3 - 4*f**2 + 2*f + 1. Let g be x(-4). Let s = 614 + -622. Does 5 divide -10*(-4)/s*g?
True
Is (9/(-18))/((-1)/(-240)*12/(-390)) a multiple of 50?
True
Is 53 a factor of (8/32*-13227)/(24/(-16))*2?
False
Suppose 186080 = 133*h - 227284. Is h a multiple of 21?
True
Suppose 3*r - 5*r = 1472. Let b = r + 1125. Suppose u + u = 3*w - 235, b = 5*w - 4*u. Does 27 divide w?
True
Let a(i) = i**2 - 65*i - 1546. Is a(-109) a multiple of 13?
True
Suppose 3*b + 12 = 4*b. Let t(p) be the second derivative of p**5/20 - 13*p**4/12 + 13*p**3/6 + 17*p**2/2 + 31*p - 2. Does 29 divide t(b)?
True
Let k(a) = 594*a - 78. Let h be k(6). Let t = -1942 + h. Is t a multiple of 20?
False
Let f = -16858 + 17314. Is f a multiple of 22?
False
Suppose -254*p + 449732 - 19202 = 0. Does 262 divide p?
False
Suppose 0 = 4*q + 4*h - 90 - 34, h = -5*q + 147. Suppose 2*x - q - 15 = 0. Does 6 divide x?
False
Suppose -3*a + 618 = 3*f, 4*f - f + 5*a = 618. Let c = -119 + f. Suppose -c = -3*w - 0*w. Is 25 a factor of w?
False
Is 61592/48 - -10*(-7)/420 a multiple of 11?
False
Let p = -154 + 156. Suppose -p*c + 168 = 4*n, 4*c - 5*c = n - 81. Does 3 divide c?
True
Suppose 0 = 5*q - 4*y - 34684, -123*q + y = -121*q - 13870. Does 81 divide q?
False
Let z = 18873 + -12328. Does 5 divide z?
True
Let u be ((-171)/38)/((-1)/240). Suppose u = 10*x - 7*x. Does 18 divide x?
True
Let q(n) = -613*n - 25. Suppose -9*r - 15 = 6*r. Is q(r) a multiple of 14?
True
Let w = 68 + -168. Let y = w + 177. Suppose a + 3*q - 78 = 0, 0 = -a - 0*a - 2*q + y. Does 16 divide a?
False
Suppose 3*a - 11 = 4*o, -4*a - 9 = -6*a + o. Let q be (4/8)/(a/5160). Suppose -q = -13*v + v. Does 10 divide v?
False
Let s(f) = 7677*f - 3774. Is 19 a factor of s(12)?
True
Let u(j) = 14*j**2 - 89*j - 1797. Is 123 a factor of u(54)?
False
Let x be ((-22)/(-99))/(-1) + 9780/27. Suppose 5*u - 363 = x. Is u a multiple of 29?
True
Suppose -3*h + 23 = 5*p - 14, 3*h - 3*p = -3. Let q(m) = 3*m**3 + 3*m**2 + 4*m - 25. Does 7 divide q(h)?
True
Suppose 2*n = -8 + 16. Suppose 168 = 3*h - 4*t, -3*t = n*h + 2*t - 224. Suppose 5*z - i - 258 = -2*i, z = 2*i + h. Is 13 a factor of z?
True
Let b = 647 + -160. Suppose 773 = 6*x - b. Is x a multiple of 14?
True
Let l(g) = -g**2 + 59*g - 728. Let x be l(25). Let w be (-4)/14 + 32/14. Suppose -w*v + 0*v + x = -o, 2*v = -5*o + 122. Does 5 divide v?
False
Let k(d) be the third derivative of 0 + 1/12*d**5 + 0*d + 1/8*d**4 + 1/3*d**3 - d**2. Does 38 divide k(-3)?
True
Is 120 a factor of 2/3 - ((-458150)/42 + -5)?
False
Let w(f) = -f**2 + 30*f - 113. Let b be w(24). Suppose 0 = u - b*u + 3990. Is 8 a factor of u?
False
Let j(t) = -t**3 + 6*t**2 + 25*t + 23. Let a be j(9). Let f = a - -56. Is 21 a factor of f?
False
Suppose -3 = -3*o, 0 = -8*q + 3*q + o + 124. Does 11 divide (4 + (-70)/q)/((-1)/(-120))?
False
Let j(c) = -20*c + 4 + 4*c + 488*c**2 - 476*c**2. Does 17 divide j(6)?
True
Let l = -56388 - -116220. Does 36 divide l?
True
Let t(p) = 43*p - 49. Let k be t(19). Suppose -4*f + 247 + 81 = 2*b, -5*b + 3*f = -k. Does 39 divide b?
True
Let a(m) = 3*m**2 + 13*m - 60. Let y(d) = -13*d - 82. Let q be y(-7). Is a(q) a multiple of 15?
True
Let l = -22293 - -39759. Is 24 a factor of l?
False
Suppose 0 = 53*z + 26531 - 181185. Is z a multiple of 9?
False
Let q(b) = -16*b**3 + 13*b**2 - 16*b - 12. Is q(-6) a multiple of 65?
False
Suppose -4*g + 742 = 3*o, 6*g - 3*g - 559 = -o. Suppose 3*p - 177 = -2*d, -5*d + 7*d = -p + g. Does 4 divide d?
True
Suppose -4*y - t + 64 = t, -20 = -2*y + 5*t. Suppose 5*m + 1603 = 2*u, -4*m = -7*m - y. Let p = 1139 - u. Does 14 divide p?
True
Let x(h) = -9*h + 94*h**2 - 197*h**2 + 102*h**2. Is x(-8) even?
True
Suppose 1531*d - 1533*d + 5*z = -74511, 0 = 4*z - 36. Is d a multiple of 251?
False
Suppose 4*c = 20, 185 = r + 8*c - 3*c. Let m = 313 - r. Is 15 a factor of m?
False
Let c = -78 + 83. Suppose -221 = -4*q - 5*r - 34, -c*r = -5*q + 200. Suppose 146 = 9*b - q. Is b a multiple of 7?
True
Let j(r) = -3*r + 27. Let m be j(14). Let l be (8/(-10))/(m/1200). Suppose 0 = 4*n - 2*i - 216, 4*n + 3*i + l = 260. Is 13 a factor of n?
True
Let c(t) = 8*t - 373. Let y be c(-10). Let j = -328 - y. Does 3 divide j?
False
Suppose f = -f - 8, f = -5*t + 286. Suppose -59*d + t*d - 5 = 0. Is ((-2695)/14)/(-7)*(-16)/d a multiple of 32?
False
Let b be -4 + ((-4)/24 - 44/24). Does 19 divide -57*(0 - (23 + b))?
True
Let o = 26039 + -13895. Does 48 divide o?
True
Suppose -4*w - p = -67 - 8282, 0 = -w + 2*p + 2094. Is 36 a factor of w?
True
Suppose 70*m - 3734 - 74418 = 12148. Is 4 a factor of m?
False
Let u(o) = -31646*o + 3502. Is u(-1) a multiple of 29?
True
Suppose -25743 - 90585 = -74*z. Is z a multiple of 14?
False
Is 83 a factor of 332/(-2)*45981/(-234)?
True
Suppose -9 = 3*a, -2*f + 3*a - 20 - 17 = 0. Is ((0 - f) + -2)*12/2 a multiple of 6?
True
Let n = 318 - 210. Suppose 32*m + n = 35*m. Is m a multiple of 6?
True
Let n(z) = -114*z - 8. Let v(l) = 115*l + 6. Let u(o) = 2*n(o) + 3*v(o). Let s be 0 - (-2 - (1 - 2)). Does 14 divide u(s)?
False
Is (14/(-4))/((-269)/140418) a multiple of 7?
True
Let b(t) = 49*t - 28. Let a(q) = -49*q + 26. Let v(c) = 6*a(c) + 7*b(c). Is 16 a factor of v(6)?
False
Suppose 4*v = 12, -v + 30 + 198 = 5*s. Let z = s - 30. Suppose t + 2*t = -h + 64, 0 = 3*t + z. Is 12 a factor of h?
False
Let m = -506 + 1015. Suppose -m - 157 = -6*a. Is a a multiple of 6?
False
Let v(l) = -9*l**3 - 2*l**2 - l - 4. Suppose 0 = 19*o - 25*o + 84. Suppose 7*k + o = -7. Is v(k) a multiple of 28?
True
Suppose -80189 = 49*p - 237773. Is p a multiple of 16?
True
Let f = -3281 + 5494. Is 42 a factor of f?
False
Let l = 1771 - 1757. Suppose 11 = -2*v + 3*v. Suppose -