 5*r + 1484, 2237 = -6*y + 5*r. Let o = y - -1189. Is 19 a factor of o?
True
Let m = 65 + -60. Suppose -3*d - m*c = -139, 39 - 132 = -2*d - 3*c. Suppose s + 76 = 3*i, 2*i + 2*s - d = 4*s. Is 10 a factor of i?
False
Suppose -31*n + 2*o + 3538 = -28*n, n - 2*o - 1174 = 0. Is n a multiple of 4?
False
Suppose -2*l - 348 = -436. Is l a multiple of 4?
True
Is 22 a factor of (55*11/55 - -3812) + (6 - 1)?
True
Let y(n) = -9*n - 7. Let s(g) be the third derivative of 11*g**4/24 - g**3/2 - 28*g**2. Let w be s(-1). Is y(w) a multiple of 39?
False
Suppose 789*q - 788*q = 1114. Is q even?
True
Let j(b) = -26*b + 41. Let r(t) = -2*t. Let s(x) = 2*j(x) + 14*r(x). Is 22 a factor of s(-5)?
False
Let q(y) = -2*y**3 + 32*y**2 - y - 36. Let m be q(15). Does 5 divide (-986)/(-19) + 42/m?
False
Suppose 3667 = 27*f - 8753. Is 46 a factor of f?
True
Let a(y) = -y**3 - 6*y**2 + 9*y + 19. Let h be a(-7). Suppose 4*n = 5*m + 5*n - 1425, h*n + 1425 = 5*m. Is m a multiple of 57?
True
Suppose -3*q = 5*w - 245, q = -2*w + 3*w - 41. Let s = 50 - w. Let z(r) = r - 2. Is z(s) even?
True
Let h be ((-1)/2)/((-33)/(-264)). Is 97 + (-2 - h) - (5 + -2) a multiple of 6?
True
Suppose 2*s - n = 3, 0 = -s + 3*n + 1 + 8. Suppose 3*p + 3 = y - s*p, -4*y = -5*p - 5. Suppose -4*a = -h - 54, -5*a - 3*h - 11 + 87 = y. Does 4 divide a?
False
Is 149 a factor of -9 + (226/(-8))/(57/(-42408))?
True
Suppose -3*d + 7*d = 16. Suppose 2*y - 5*n = -19, 21 = -d*y + 3*n + 4. Does 13 divide 40 + (-4 + y - -4)?
False
Suppose 842 = -4*a + 3110. Let c = 763 - a. Is c a multiple of 14?
True
Suppose -2*x + 3*r = -40537, -297*x + 2*r = -294*x - 60798. Does 298 divide x?
True
Suppose 5*r + 3*u - u = 458, 3*u + 95 = r. Let o = -8 + r. Is 2 a factor of o?
True
Suppose -17*d + 46*d = -4430 + 35344. Does 2 divide d?
True
Let q = 3107 + 438. Is q a multiple of 4?
False
Let n = -8806 - -10016. Does 22 divide n?
True
Let r(y) = 14*y + 11. Let g be -2*(-3 + 7 + -5). Suppose -i + 3 = g*s - 0, 3*i = -15. Is 27 a factor of r(s)?
False
Let z(g) = -64*g - 21. Let o = 43 + -49. Is z(o) a multiple of 11?
True
Suppose 8 = 6*q - 10. Suppose -q*y + 2 = -10. Suppose -y*m = -6*m + 612. Is 33 a factor of m?
False
Is 14 + 30/(-6) - 3 - -9221 a multiple of 66?
False
Let x(t) = -t + 19. Let h(w) = -2*w + 33. Let g be h(13). Let i be x(g). Is (-162)/i*(-132)/9 a multiple of 22?
True
Let y(d) = 289*d**2 + 194*d + 732. Does 2 divide y(-4)?
True
Let h be (36/(-42))/(6/(-21)). Let q(z) be the first derivative of 23*z**3/3 + z**2/2 - 6*z + 19. Is 17 a factor of q(h)?
True
Let y(g) = 357*g - 11. Let a(c) = 713*c - 23. Let n(w) = 2*a(w) - 5*y(w). Is 46 a factor of n(-1)?
True
Let a be 8/(64/(-1544)) + (-6 - -2). Let d = 297 + a. Is 2 a factor of d?
True
Let f = -9273 + 79296. Is f a multiple of 15?
False
Suppose -82582 = -2*q - 3140*m + 3139*m, -123906 = -3*q + 4*m. Does 164 divide q?
False
Let x = 477 - 464. Suppose 993 + 86 = x*n. Does 20 divide n?
False
Let q = 3376 + -967. Does 6 divide q?
False
Let j be (2 - 20/8) + (-2)/(-4). Suppose 2*z - 9 - 23 = j. Let k = 76 + z. Is 23 a factor of k?
True
Let x(h) = 488*h**2 - 329*h + 3. Does 2 divide x(-2)?
False
Suppose 0 = -5*r - 0*b + b - 28, -2*r + 4*b = 22. Let h be -4 - 256/(4 + r). Let p = h + -42. Does 12 divide p?
False
Suppose 5*y - 4954 - 2391 = 0. Let v = y + -974. Is v a multiple of 55?
True
Let j(d) = -5*d - 47. Let q be j(-9). Let w(h) = -79*h**3 + h**2 - 2. Let k be w(q). Suppose k = 8*o - 262. Is o a multiple of 19?
False
Suppose 71 - 311 = 12*v. Let s be v/2*(1 - -1). Let u = s + 104. Is u a multiple of 6?
True
Suppose 3*d = -5*d - 8. Let g = d + 713. Is g a multiple of 65?
False
Suppose 161403 = 7*g + 21165. Does 21 divide g?
True
Suppose o - 4*m = -14, 39 = 5*o + 5*m + 184. Does 12 divide o/((21/(-18))/7)?
True
Let z = -374 + 390. Suppose 10*q = z*q - 1848. Does 22 divide q?
True
Is ((34755/10)/(-21) - 7)*-112 a multiple of 21?
True
Let d(v) = v**3 - 9*v**2 - 12*v - 42. Let h be (-6)/10 - (-3016)/260. Is d(h) a multiple of 7?
False
Let m(g) = -5*g + 136. Let f be m(9). Suppose -5*u - 5*o + 0*o = -580, -u + 4*o = -f. Does 16 divide u?
False
Let r = 48 + -41. Let f(d) = d**3 - 8*d**2 + 10*d - 21. Let q be f(r). Suppose q*p - 320 = -4*p. Is 22 a factor of p?
False
Is 44 a factor of (-8)/7 + (-173800)/(-1106)?
False
Let g(p) = 19*p - 58. Suppose 0*f = s + 4*f - 33, 2*s = -3*f + 41. Does 12 divide g(s)?
False
Let c = -6231 + 6236. Suppose -3*m + 5*u + 365 = 57, 188 = 2*m + u. Suppose m = c*d - 119. Is 16 a factor of d?
False
Let s = -225 - -247. Let y(b) = b**3 - 23*b**2 + 23*b - 3. Is 5 a factor of y(s)?
False
Suppose 74 = -7*w + 53. Let a(d) = -118*d + 14. Is 41 a factor of a(w)?
False
Suppose 12 = -3*b + 3*g, -4*b = -g - 7 + 11. Suppose -4*z + 3735 = 3*w, -3*z - 5*w + 2315 + 478 = b. Suppose 0*o - z = -6*o. Is 15 a factor of o?
False
Let u(b) be the second derivative of -5*b**4/24 - b**3 + 11*b**2/2 - 25*b. Let s(k) be the first derivative of u(k). Does 3 divide s(-9)?
True
Let a = -34 + -414. Let p be 3/((12/a)/1). Let v = 253 + p. Is v a multiple of 31?
False
Let v(c) = 351*c - 373. Does 24 divide v(27)?
False
Suppose 2*y + 30 = -3*i + 4*y, 3*y - 3 = i. Let r = i - -166. Suppose 4*h = 6 + r. Is 10 a factor of h?
True
Suppose 0 = 5*c - 70 - 0. Let j(l) = -17*l + 8. Let w(q) = -q**2 + q - 1. Let k(t) = j(t) - 2*w(t). Is 34 a factor of k(c)?
True
Let w(g) = 10*g**2 + 53*g + 307. Is 3 a factor of w(-8)?
False
Let z(s) = -8*s - 132. Let j be z(-17). Let x be 149/(2 - 1) + 1. Suppose 635 = j*g + u, -4*u = 3*g + x - 623. Does 45 divide g?
False
Let y be (-1 + (-6)/(-4))*(11 - 3). Suppose 0 = -2*a - 1 - 3, -y*b - 2*a = 12. Does 6 divide (152/(-10))/(b/5)?
False
Let p(l) = -70*l - 27. Let n(z) = -70*z - 28. Let f(c) = 5*n(c) - 4*p(c). Let g be f(17). Is g/(-6) - 44/(-33) a multiple of 37?
False
Does 15 divide 21/(-28) + 4137*1/12 - 2?
False
Let s(o) be the third derivative of 0*o - 7/60*o**5 + 1/8*o**4 + 10*o**2 - 1/120*o**6 + 0 - 1/6*o**3. Is s(-8) a multiple of 11?
False
Suppose 0 = 2*l - l - 4. Suppose o = l*g - o - 980, o = -g + 242. Suppose 3*u = 682 - g. Is 17 a factor of u?
False
Suppose 52*g - 48*g - 556 = 0. Suppose -5*r + 3*n = -746, 4*r - 5*r + 4*n = -g. Is r a multiple of 4?
False
Let f = 77 + 35. Let o = 5 + f. Does 9 divide o?
True
Suppose -4*i - n - 2*n = -36, 2*i = 5*n - 8. Let g be (-1 - 3)*(i/(-4) - -4). Let d(q) = -5*q - 30. Does 9 divide d(g)?
False
Let t(d) = 6*d**2 + 5*d + 14. Let w be t(-6). Suppose -m = -5*m - w. Does 3 divide ((-48)/5)/(15/m)?
False
Suppose -10*k + 14*k = -5*j + 80594, -2*j + 32234 = -2*k. Is j a multiple of 156?
False
Suppose -14*c = -18*c - 4*a + 7208, -4*c + 7192 = -4*a. Does 31 divide c?
False
Let a be (-564)/9 - (14/6 - 3). Let w = 150 + a. Let b = w - 33. Is b a multiple of 12?
False
Let v be -2*2 + (-8 + -104)/(-4). Does 8 divide (v - 20) + (0 - (2 - 107))?
False
Let g = -644 - -424. Suppose 5*o - 4*z = 1798, 47*o + 364 = 48*o - 3*z. Let f = g + o. Is 9 a factor of f?
False
Let n = -534 + 2102. Is 32 a factor of n?
True
Let c(i) = -489*i + 27983. Is 134 a factor of c(0)?
False
Let a(r) = 18*r + 67. Let p be a(-4). Is -2 - 1042/(-7 - p) a multiple of 28?
False
Suppose 29*j + 8059 + 2903 = 0. Let b = -312 - j. Is 22 a factor of b?
True
Let a = -113 - -123. Suppose a + 20 = 10*c. Suppose 6*m - 914 = -5*q + c*m, 4 = -2*m. Is q a multiple of 33?
False
Let r = -19587 + 19740. Is r a multiple of 15?
False
Let r be 3/(-2)*(2982/(-9))/7. Let y = 64 - r. Let w(k) = 3*k**2 + 17*k + 16. Is w(y) a multiple of 9?
False
Suppose 4880 + 5472 = 8*t. Suppose 0 = -g + 10*b - 9*b + 432, 0 = -3*g + 2*b + t. Does 10 divide g?
True
Suppose 3*x - 2*q - 59893 = 0, 5*q + 0*q - 199690 = -10*x. Is 41 a factor of x?
True
Let u = 11987 - 10134. Is u a multiple of 2?
False
Let i = -953 - -951. Does 12 divide i - 1 - (-4194)/6?
True
Let n be (-1 - 0)/((-15)/11340). Let g = n - 456. Is 10 a factor of g?
True
Let r be ((-15)/(-10))/((-2)/(-4)). Suppose d - 600 = r*w, 2*d = -2*w + 7*w + 1204. Is 68 a factor of d?
True
Let u(l) = 11*l**2 - 2*l - 50. Let p(w) = -21*w**2 + 3*w + 99. Let t(c) = -5*p(c) - 9*u(c). Let k be t(-9). Let b = -217 + k. Is b a multiple of 24?
False
Let q(a) = 35*a - 119. Let k be q(20). Let g = k + -293. Does 9 divide g?
True
Let g be (-18)/(-3)*(