 factor of q?
False
Suppose 3*c - 5*s = -42, -4*c - 45 = -3*s + 11. Let j = c - -73. Let h = 165 - j. Is 16 a factor of h?
False
Let d be 2*5*38*(6 - 5). Suppose d = 3*x + 2*h, 0 = 2*h + 5 + 5. Is x a multiple of 65?
True
Suppose -323947 + 29208 = -25*x + 216911. Is 13 a factor of x?
False
Let y be 3/(-6)*-694 + -3. Suppose 8 = 4*t, 4*t - y + 0 = -2*k. Does 21 divide k?
True
Let g = 12032 + -7125. Is 7 a factor of g?
True
Suppose l + l = -3*b + 744, -4*l + 4*b = -1528. Let y be (-108)/l - 3/(21/(-86)). Suppose -4*r - y = -v - 9*r, v + r = 4. Is 2 a factor of v?
True
Let g = 514 - 319. Let m = g + -80. Does 23 divide m?
True
Let x = -3195 + 6543. Is 6 a factor of x?
True
Let l(o) = 9*o + 3. Let s(p) = 1. Let q = 37 - 39. Let w(i) = q*s(i) + l(i). Is w(1) even?
True
Suppose -52739 = -10*s + o + 11263, -4*o + 25592 = 4*s. Is s a multiple of 160?
True
Let p = -202 - -207. Suppose 1478 = 5*g - 0*u - u, p*g - 1472 = 4*u. Is g a multiple of 31?
False
Suppose 4*k + 2*a = 1206, -3*k - 139*a + 137*a + 906 = 0. Is k a multiple of 5?
True
Let h(u) = u**3 - 34*u**2 + 33*u + 6. Let d be h(33). Suppose -1723 = d*n + 299. Let x = -235 - n. Is x a multiple of 17?
True
Let a(l) = -l**3 - 6*l**2 - 5*l + 5. Let x(c) = -c**3 - 8*c**2 - 7*c - 5. Let p be x(-7). Let u be a(p). Let k = 150 - u. Does 15 divide k?
False
Suppose 0 = -12*z + 14*z + 4. Is 65 a factor of (z + -11)/((-2)/50)?
True
Suppose -3*q = -2*k - 3287, 453 = -q - 2*k + 1538. Is 40 a factor of q?
False
Let x(g) = 29*g - 41. Let s = -111 + 117. Does 7 divide x(s)?
True
Let d be ((-14)/6)/(14/(-12)). Suppose 3*y - 740 = -4*t, -d*y + 3*t = -y - 225. Does 6 divide y?
True
Let y = -84 - -82. Is (186/(-12))/(-1*y/(-48)) a multiple of 31?
True
Let w = 24822 - -7240. Does 46 divide w?
True
Suppose 2*h - 16 = 3*q, 4*q = -2*h - 0*h - 12. Let a be (-3 - -1) + (q - -4). Does 4 divide -2*(a + (1 - 1))?
True
Suppose -133059 = -15*a - 48669. Is a a multiple of 58?
True
Is (-158494)/(-42) + (-56)/(-24) a multiple of 8?
True
Let x = -47832 + 78735. Does 25 divide x?
False
Suppose -3*h + 66662 = 5*b, -24*b + 29*b - 44443 = -2*h. Suppose 18*i - i = h. Is 23 a factor of i?
False
Let b(g) = g**3 - 15*g**2 - 17*g + 12. Suppose -13*m + 9*m + 64 = 0. Let p be b(m). Is ((-783)/54)/(2/p) a multiple of 23?
False
Let f(v) = -v**3 - 51*v**2 + 87*v - 173. Is f(-53) a multiple of 3?
True
Let i = 284 + -261. Suppose -i*v = -17*v - 4782. Does 50 divide v?
False
Suppose 31 = 3*a + 4*w, 7*a - 13 = 2*a + 3*w. Suppose 1069 = -a*v + 3704. Suppose 1049 = 4*t + k - 4*k, -k - v = -2*t. Is 38 a factor of t?
True
Let w = -30 + 93. Is 7 a factor of 57/21 + -3 - (-4113)/w?
False
Suppose -16*m + 31152 = -14656. Is 19 a factor of m?
False
Let l = 31 - -1051. Suppose 127 = 3*c - l. Is 13 a factor of c?
True
Let b = 423 + -390. Let l(n) = -n**2 + 7*n - 5. Let x be l(5). Suppose 0 = -x*a + 47 + b. Is a a multiple of 4?
True
Let i(y) be the first derivative of y**4/4 + 3*y**3 + 5*y**2/2 - 20*y - 132. Is 10 a factor of i(4)?
False
Let j = -24084 - -37962. Does 54 divide j?
True
Let q = 1188 + 4947. Is q a multiple of 138?
False
Suppose -u + 7246 = p - 10841, -90429 = -5*p - 3*u. Is p a multiple of 274?
True
Let g(y) = -6*y + 73. Let f = -96 - -106. Does 13 divide g(f)?
True
Let z = -167 - -158. Let c = 4 - 3. Is 11 a factor of (6 - 15)/(c*1/z)?
False
Suppose -9*f - 49*f + 56840 = 0. Is f a multiple of 140?
True
Let l(k) = 83*k**2 + 53*k + 25. Is l(8) a multiple of 25?
False
Let w be 87/(-232) + (-54)/(-16). Suppose w*t - 1827 = -609. Is t a multiple of 58?
True
Let l(b) = -45523*b + 184. Does 36 divide l(-1)?
False
Does 2 divide (-39683)/(-35) - 30/(-150)?
True
Let x = 12346 - 6682. Is x a multiple of 32?
True
Let g(n) = -n + 9. Suppose -53 = -8*v + 11. Let c be g(v). Is -1 + c - 80/(-10) even?
True
Let m be (-1 - -4) + (9 - 7). Let k(x) = -x**3 + 3*x**2 + 2. Let z be k(3). Suppose 2*u - 3*f - 84 = 0, m*u - 232 = 4*f - z*f. Does 24 divide u?
True
Is (-6)/(-9) - 7/((-63)/22980) even?
True
Let j = 51 + -14. Let s = -33 + j. Suppose -4*h + 44 = 2*l, -28 = -s*l + h + 33. Does 4 divide l?
True
Suppose 71*c - 288161 - 635318 - 121641 = 0. Is 137 a factor of c?
False
Suppose -113*y + 821208 = -21772. Does 5 divide y?
True
Let a = 522 - 636. Let d = a + 721. Is 26 a factor of d?
False
Let o = 106 + 2660. Does 3 divide o?
True
Let o(n) = 81*n**3 - n**2 + 18*n - 19. Does 11 divide o(6)?
False
Let l = -38 + 49. Let x(t) = 3*t**2 + 4 + 13 + t - 11 - l*t**3. Is x(-3) a multiple of 21?
False
Let t(g) = 5*g - 7. Let w be t(3). Let x(z) = z**3 - 9*z**2 + z + 15. Let k be x(w). Let l = 71 + k. Is 15 a factor of l?
True
Let d(f) be the first derivative of -7*f**5/60 - 13*f**4/12 + 9*f**3 + 2. Let x(w) be the third derivative of d(w). Is 11 a factor of x(-8)?
False
Let r = -2306 - -397. Let t = -514 - r. Is t a multiple of 31?
True
Let x(y) be the second derivative of 40*y**3/3 + 13*y**2 - 11*y - 1. Is x(3) a multiple of 9?
False
Let o = -3 - 0. Let g(f) = -34*f**3 + 2*f**2 + 4*f - 7. Let m be g(1). Is 2 - (-3 - o) - m a multiple of 21?
False
Let y be 16/88 - 251/(-11). Suppose -19*l = -y*l. Suppose 213 = k + k + 3*x, l = -x - 1. Is k a multiple of 27?
True
Suppose 9*g + 5*g - 1943 = 9257. Does 40 divide g?
True
Suppose z - 230764 = -6*j - 4*z, 153846 = 4*j + 5*z. Is j a multiple of 279?
False
Suppose 0 = -61*w + 148007 + 184278 + 133816. Does 77 divide w?
False
Suppose 12*l + 3697 = 58873. Does 45 divide l?
False
Let t = 1665 + -1167. Let c = -148 + t. Does 10 divide c?
True
Let i = 2991 - -41404. Is 117 a factor of i?
False
Let a = 33 - 29. Suppose 157 = a*y - 0*w + w, 3*w = 5*y - 175. Is (-2)/(-19) - (-5810)/y a multiple of 38?
False
Let c(p) = 74*p**2 + 6*p + 9. Let j(b) = 221*b**2 + 17*b + 25. Let m(u) = -11*c(u) + 4*j(u). Does 23 divide m(-1)?
True
Let p(g) = 39 - 30 + 19*g + 25*g. Is p(10) a multiple of 23?
False
Let k be (6 - 1) + 1055 + -14. Let s = 2239 - k. Is s a multiple of 54?
False
Let i be (-47)/(-9) + (-48)/216. Suppose -4*s + 3496 = i*c, -2*s - 3504 = -5*c + 2*s. Is 28 a factor of c?
True
Let r = 256 - -1170. Is 5 a factor of r?
False
Is 8 a factor of (634/3)/((-5)/6 + 348/232)?
False
Let u(s) = s**3 - 47*s**2 + 173*s - 46. Let h be u(43). Let p be (-82)/4*-2 - 0. Let q = p - h. Is 11 a factor of q?
True
Let h(r) = 4*r + 25 - r + 7*r + 2*r. Let b be h(-4). Let m = -17 - b. Is m a multiple of 2?
True
Suppose 2*s - 94 = -k, 5*k + 5 = 5*s + 445. Suppose -k + 570 = a + q, 5*a - 2408 = 3*q. Is 37 a factor of a?
True
Suppose 3*n - 7085 = -4*b, 24*b - 2*n - 7090 = 20*b. Does 3 divide b/28 - (-2)/7*-1?
True
Let g(p) = -1405*p**3 - p**2 - 4*p - 3. Let y be g(-1). Let c = y + -740. Suppose -6*z + z - 2*w + c = 0, -4*z = -4*w - 532. Is 15 a factor of z?
False
Let o = -26415 - -34950. Does 50 divide o?
False
Suppose 4*p - 44595 = -5*p + 64089. Is 7 a factor of p?
False
Let u be (9/12)/((-81)/(-20) - 4). Suppose -43 = -2*q - u. Suppose 5*i - q = 106. Is 2 a factor of i?
True
Let o(j) = 263*j - 1155. Is o(19) a multiple of 12?
False
Let p be (-10)/(-60)*6 + 1 + -17. Let i(b) = -14*b + 183. Is 19 a factor of i(p)?
False
Let i be 9 + -11 + 1*4. Suppose g - x = -4*g + 261, -x + 110 = i*g. Is 5 a factor of g?
False
Let g = 31510 - -3242. Does 96 divide g?
True
Suppose -32*n + 36 = -44*n. Is 23 a factor of 673/(-4*n/12)?
False
Let r be (-33)/(-7) + (-18)/(-63). Suppose -c = -r*i + c + 276, -c = i - 58. Let t = 84 - i. Is t a multiple of 11?
False
Let t(n) = 2013*n - 5885. Is 12 a factor of t(25)?
False
Suppose d - 6 = -2*d, 2 = 5*k - 4*d. Let p(f) = -2*f + 5. Let q be p(k). Is (-8)/(-12)*-3*-4*q a multiple of 3?
False
Let p be (-2)/(-10)*(-195)/(-13). Suppose p*b = 42 + 63. Is b a multiple of 7?
True
Let o(p) = -3*p - 14. Let g be o(-6). Suppose -54 = -g*u + 146. Does 29 divide u?
False
Let k = 2 - 47. Let j = -41 - k. Suppose 6*h = h - 2*f + 460, j*h - 340 = 4*f. Is h a multiple of 15?
True
Let d(o) = -15*o - 1. Let w be d(0). Is (-20)/(-1 - -6) + 278 + w a multiple of 39?
True
Let v(z) = -3*z**2 + 23*z - 2. Let p be v(7). Let j be ((-20)/p - -1)/(8/(-36)). Suppose 0 = -4*x - 3*m + 252, -128 = j*x - 5*x - m. Does 25 divide x?
False
Let d(v) = 3*v + 20. Let o be d(0). Suppose i - 30 = 5*z, 3*i + 4*z - 71 = -0*i. Suppose o = -5*b, -3*b = -5*a + i + 12. Does 5 divide a?