12 + 69073 - 476397 = 0. Does 55 divide u?
False
Suppose 5*z + 2*o = -665, -126 - 273 = 3*z + 3*o. Let a = z - -23. Let i = 264 + a. Is 14 a factor of i?
True
Let d = -1676 - -2092. Let t = 16 + -10. Suppose t*u - 346 = d. Does 12 divide u?
False
Let g(r) be the first derivative of 280*r**3/3 + r**2/2 - r - 6. Let c be g(1). Let f = -142 + c. Does 18 divide f?
False
Suppose -2*m + 2 = 0, 3*f + 4*m - 3873 = -347. Is f a multiple of 5?
False
Suppose -v = 30*v + 5*v - 632808. Does 47 divide v?
True
Let m = 115 + -98. Suppose -m*t + 1 = -16*t. Is 16 a factor of (298/4)/(t/2) - -3?
False
Does 59 divide 2 + -2 - (-2136 + 17)?
False
Suppose 0 = 4*a - 12, m - 64*a + 67*a - 11949 = 0. Does 30 divide m?
True
Let a(v) = 39*v - 23. Let t(h) = 3*h - 12. Let w be t(6). Does 12 divide a(w)?
False
Suppose -14*z = -2617 + 153. Suppose 167*a = z*a - 10260. Does 60 divide a?
True
Suppose v - 3*l = 7047, 0 = -19*v + 17*v - 5*l + 14105. Is v a multiple of 11?
False
Let h(q) = q**2 + 6*q + 12. Let y(p) = p - 20. Let a be y(16). Let n be h(a). Suppose 4*d + 441 = 3*b + 113, 0 = -n*b + d + 446. Is 14 a factor of b?
True
Suppose 3403*l - 3429*l + 447848 + 7464 = 0. Is l a multiple of 8?
True
Let n be -51 + 19 + (-2 - 2/(-2)). Suppose 2*f + 5*t + 64 = 19, 2*f = 2*t - 66. Let i = f - n. Is 3 a factor of i?
True
Let r(k) = 8*k**2 + 10*k + 16. Suppose -2*g - 18 = q - 2, -5*g + 3*q - 40 = 0. Is 10 a factor of r(g)?
False
Suppose -20*i - 39681 = 6*i - 944897. Does 35 divide i?
False
Suppose 30*w - 28307 = 40663. Is 20 a factor of w?
False
Suppose -4*p - 11181 = -2*g + 13091, g = -2*p + 12140. Does 14 divide g?
True
Let c(w) = 3*w - 19. Let s be c(5). Is 13 a factor of 836/6*(-12)/s?
False
Suppose -387 = -2*i + 4*p - 29, 5*i = 4*p + 919. Suppose b + 5*m = i, 0 = -8*m + 11*m + 3. Is b a multiple of 13?
False
Is 114/1539 - 519904/(-108) a multiple of 343?
False
Let g(r) = -73*r**2 - 7*r - 2. Let s(k) = -k**2 + k. Let h(z) = -g(z) - 6*s(z). Let t be 2*(-2)/(-1) + -5. Is h(t) a multiple of 16?
True
Let k = -171 + 167. Is 14 a factor of -138*(k/4 - 12/9)?
True
Let h(o) = 3*o**2 - 7*o - 1. Let u be h(5). Suppose 64 - 16 = 3*c. Let b = u - c. Does 10 divide b?
False
Suppose t - 105 = -4*t. Let u(s) = -5*s**3 + s**3 + t + 18*s**2 + 6*s**3 - 3*s**3 - 14*s. Does 12 divide u(17)?
True
Let g be -4*4/104 + 10020/65. Suppose 150*y + 396 = g*y. Does 33 divide y?
True
Suppose 0 = -9*a + 8*a + 5. Suppose b = -a*b. Suppose 5*i - 175 = -5*g, -g + b + 41 = -2*i. Does 25 divide g?
False
Let z = -460 + 4200. Suppose -583 = -3*s + 4*x + 1661, 0 = -5*s + x + z. Is 44 a factor of s?
True
Let z = 211 - 209. Suppose -4*w = -i + 49, z*i + 3*w - 24 = 30. Is 33 a factor of i?
True
Suppose 4595390 = 115*l - 18*l + 60*l. Is 15 a factor of l?
False
Let f = -12666 - -20443. Does 77 divide f?
True
Suppose -k - 2 = -l, -2*k + 6*k + 4*l - 16 = 0. Let d = k + 35. Let g = -12 + d. Does 4 divide g?
True
Let q = -177 - -92. Let t = q + -14. Let h = -64 - t. Is h a multiple of 11?
False
Suppose -3971 = -15*d + 2749. Suppose -3*m = 2*i - 181, -5*i + 12*m - 15*m + d = 0. Does 7 divide i?
False
Let p(o) = 6*o**2 + 109*o - 13. Is p(13) a multiple of 39?
True
Let q = 2988 + -792. Is 2 a factor of q?
True
Let l = -43576 + 56302. Does 6 divide l?
True
Let l be (216/45)/12 + 56/10. Does 15 divide (16/(-12))/(-1) - (-1432)/l?
True
Let j = 45753 - 25038. Is 110 a factor of j?
False
Let i be 18/1 + (-21)/3 + 5. Let h(j) = -j**2 + 21*j - 13. Is 7 a factor of h(i)?
False
Let l = -3354 + 13155. Is l a multiple of 9?
True
Suppose -5*p + 544*o + 9679 = 543*o, -3*p - 4*o + 5812 = 0. Does 14 divide p?
False
Suppose -10*l + 667 = -723. Let v = -94 + l. Does 38 divide v?
False
Suppose 0 = -4*o + 5*k + 3833, -o - 4*o + 3*k + 4775 = 0. Suppose o*l = 945*l + 1827. Is l a multiple of 9?
True
Suppose z = -p - 2*p - 60, 3*p = -3*z - 60. Let n be 1/(-4) - 85/p. Suppose -l + 111 = -n*w, 0*w + w = -3*l + 359. Is l a multiple of 17?
True
Let r(t) be the third derivative of t**6/120 + 11*t**5/60 - t**4/3 - 7*t**3/6 + 233*t**2. Is 6 a factor of r(-9)?
False
Let d be 24/7 - 15/35. Suppose 11*m - d*j = 6*m + 21, 2*m - 4*j - 14 = 0. Suppose -3*w - 291 = -g - m*g, 2*g - 143 = -w. Does 25 divide g?
False
Let s be (-98)/(-5) - (-3 + 39/15). Suppose 0 = -u, 5*u + 163 = z + s. Let n = -105 + z. Does 38 divide n?
True
Let v(m) = 19*m**2 - 24*m + 18. Let c be v(10). Suppose -1683*h + 60 = -c*h. Does 3 divide h?
True
Let h be 23409/54 + 3/6*-3. Suppose h = 10*p - 7*p. Is 72 a factor of p?
True
Suppose -7*l = -4*l - 5*d - 12138, -7*d = -42. Is 39 a factor of l?
True
Suppose 15*o + 114*o - 534576 = 0. Is o a multiple of 28?
True
Let g = 95 + -35. Suppose -t + 62 = g. Suppose -5*m = -5*p - 465, -m + 83 = -t*p - p. Is 14 a factor of m?
True
Suppose -8 = 3*t - 7*t. Let o = 744 - 610. Suppose t*u - 138 = -5*d, 5*d + u = -0*d + o. Is 13 a factor of d?
True
Suppose 9*u + 67992 = -12*u + 214404. Is u a multiple of 196?
False
Let i be 6*(-7)/(84/(-8)). Suppose i*c - h = 189, -c - 7*h = -2*h - 21. Suppose -162 = -4*f + k - 0*k, 3*k + c = f. Is f a multiple of 14?
False
Let a = 148 + -148. Suppose a = 10*q - 144 + 14. Is 2 a factor of q?
False
Suppose 9 = -0*k - k + n, n + 11 = -4*k. Does 5 divide k/(-6) - 1180/(-30)?
True
Let b = 8016 + -1631. Let s(a) = 37*a + 6384 - 2*a**2 - b + 9*a. Is s(22) a multiple of 20?
False
Suppose -131*x = -121*x - 10. Is 36 a factor of 6 + 146 - (x*4)/2?
False
Suppose 5*a = 3*s - 6*s + 4545, -6*s + 3618 = 4*a. Is 19 a factor of a?
True
Suppose 0 = w + 17 + 43. Let l = w - -234. Suppose 586 - l = 4*n. Is 14 a factor of n?
False
Let a = 10077 - 3382. Is 13 a factor of a?
True
Let f(y) = 7*y - 13. Let h(i) = 3*i**2 - 4*i - 9. Let j(d) = 4*d**2 - 6*d - 14. Let u(c) = 7*h(c) - 5*j(c). Let l be u(0). Is f(l) a multiple of 12?
True
Let s = 42235 + 1610. Does 237 divide s?
True
Let m(r) be the third derivative of 25*r**4/24 + 155*r**3/6 - 58*r**2. Is m(7) a multiple of 22?
True
Suppose -n = -q + 6*n + 8096, 4*n - 32544 = -4*q. Is q a multiple of 47?
True
Let s(w) = 2*w**2 - 7*w - 50. Suppose g + 42 = -3*g - 2*a, 3*a - 37 = 4*g. Is s(g) a multiple of 22?
True
Suppose 0 = -2*y + 632 - 576. Suppose 22*k = y*k - 4638. Is 66 a factor of k?
False
Let u(d) be the third derivative of 311*d**6/120 + d**5/30 + d**3/6 + 135*d**2. Is u(1) a multiple of 13?
False
Suppose -2*r + 60 = 4*v - 164, 4*v = 4*r - 448. Let b = 112 - r. Suppose -f - 4*l + 184 = 0, f + b*f + 3*l = 181. Is f a multiple of 25?
False
Let i = 3 + -3. Suppose v = t, 4*v + t - 2*t - 15 = i. Suppose g - 3*g = -v*f - 196, -g - 5*f = -128. Is g a multiple of 15?
False
Suppose 2*m - 7*m + 82720 = 3*m. Is m a multiple of 22?
True
Suppose -1204 = -3*f + 2*f + 1245. Is f a multiple of 31?
True
Let u(j) = j**2 + 8*j - 414. Is 2 a factor of u(36)?
True
Let z = -113 - -119. Suppose z = 5*v - s - 18, 5*s - 30 = -5*v. Suppose m = -3*w + 50, -4*w - 53 + 248 = v*m. Does 19 divide m?
False
Let t(k) = 2*k - 22. Let i be t(4). Let d(n) = n**2 + 12*n - 29. Let r be d(i). Let o = 10 - r. Is o a multiple of 11?
True
Let u = 57 + -56. Let n be (u/(-3) - 1)/((-2)/(-21)). Does 14 divide 37*((-36)/48 - n/8)?
False
Suppose 2321 + 17005 = 40*w - 1314. Is w a multiple of 43?
True
Let k(j) = -j**3 - 2*j + 96. Let r(d) be the second derivative of -d**3/6 + 11*d**2 + 12*d. Let h be r(22). Is k(h) a multiple of 6?
True
Let h(z) = z**3 - 71*z + 10. Let c be h(8). Suppose 4*i - 8 = -0. Is (c/6 - -1)/(i/(-75)) a multiple of 35?
False
Suppose 3*v - 13 = -2*m, 0 = -0*v + 4*v - 12. Let s(y) = -3*y**m - 3*y + 17 + 2*y**2 - 2*y - 4*y. Is s(-6) a multiple of 12?
False
Does 79 divide 6700/12*15 + ((-12)/(-4) - -1)?
False
Suppose -21*b = -18*b + 6. Is 8 a factor of 275 + 0 - (30/6 + b)?
True
Let b(c) = 951*c**2 - 291*c - 1744. Does 82 divide b(-6)?
False
Let r(k) be the first derivative of k**3/3 - 3*k**2 + 8*k - 6. Let d be r(4). Suppose -4*u + d*u = -456. Is 19 a factor of u?
True
Let i = 12263 + -6127. Does 146 divide i?
False
Let l(z) = z**3 - 15*z**2 - 58*z + 78. Let u be l(18). Is 51 a factor of 0 + u - -1121 - 5?
True
Suppose s - 20*s + 456 = 0. Suppose 27*k - s*k = 1767. Does 19 divide k?
True
Suppose -25*k - 1258800 - 542904 = -148*k. Does 47 divide k?
False
Let c(n) = 13*n**3 - 36*n**2 + 3*n - 101. Is c(8) a multiple of