 = 44 - q. Is 10 a factor of (6/12)/(f/(-140))?
True
Let n = -303 + 317. Is 26 a factor of (-3914)/(-14) - 8/n?
False
Suppose 5*p + 2*g = 4*g + 19, -p + 5*g + 13 = 0. Is 12 a factor of (-4)/6*-319*p/1?
False
Let l(y) = -17*y + 13. Let q be 18/45 + (-1)/(5/17). Let x be l(q). Is (0 + x/12)*21 a multiple of 16?
True
Let s(i) = -i**3 + 9*i**2 - 4*i - 18. Suppose u - 5*p - 15 = 0, 3*u + p = 20 - 7. Suppose 2 = -v - 1, -1 = -2*f - u*v. Is 10 a factor of s(f)?
False
Let h be (-1249)/(-8) + (-7)/56. Is 393/4 + 117/h a multiple of 30?
False
Suppose -4*q = -q - 453. Suppose -4*y - 3*m + q = 0, 2*y + 3*y - 203 = m. Suppose 134 = 2*j + y. Is j a multiple of 5?
False
Is 7 a factor of (-4)/(2/(-148)*(8 + (-5808)/732))?
False
Let v(b) = -6*b + 16. Let r(s) = 7*s - 13. Let i(q) = 8*q - 12. Let j(g) = -2*i(g) + 3*r(g). Let k(x) = -7*j(x) - 6*v(x). Is 3 a factor of k(11)?
False
Suppose 11*v = -3*x + 194498, 6*x - 12 = 4*x. Is 208 a factor of v?
True
Let q(l) = -1148*l + 51. Does 16 divide q(-6)?
False
Suppose -3*i - 34020 = -5*m - 12149, 5*m - 21878 = 4*i. Does 76 divide m?
False
Let a(q) = 3*q**2 - 25*q - 157. Let v be a(-18). Suppose 2*n = -5*c - 3*n + v, n = 5*c - 1241. Does 10 divide c?
False
Let c(v) = v**3 - 35*v**2 - 62*v - 113. Is 4 a factor of c(37)?
False
Suppose -25*a + 49361 = -79364. Does 19 divide a?
True
Suppose 10*v + 3*t = 9*v - 7, -4*t = 5*v + 2. Suppose -4*m - 340 = -4*f, v*m - 439 = f - 6*f. Is 10 a factor of f?
False
Is (-984 + -2)/(220/(-1430)) a multiple of 106?
False
Suppose -3*i + 2*y = -5, 2*i + 2*y + 3 = 3*i. Let m be (-2 + -2)*-2*i/2. Suppose m*h = -3*l + 89, -2*h - 2*h = -l - 77. Is 5 a factor of h?
True
Let x(m) be the second derivative of m**4/4 + m**3/2 - 12*m**2 + 2*m + 29. Is 32 a factor of x(8)?
True
Let r = -416 - -629. Let i = r + -128. Suppose -c = i - 246. Is c a multiple of 23?
True
Suppose g - 19408 - 2134 = 3168. Is 52 a factor of g?
False
Suppose -150 = -3*y - 0*p + 3*p, -y - 5*p + 56 = 0. Let x = y + -39. Is 4 a factor of x?
True
Suppose -269*u = -300*u + 7812. Let y be (-165 - (-2 - -1))/1. Let d = u + y. Is 11 a factor of d?
True
Suppose -a - 3*v - 13 = 0, v = 4*a + 4 + 9. Let n be 0*(a - -2)/(-2). Suppose -4*t + 7 + 17 = n. Is t a multiple of 4?
False
Let h(u) = -u**3 + 5*u**2 + 14*u + 1. Let s be h(7). Let k(g) = 42*g + 70*g + 81*g + 5. Is 23 a factor of k(s)?
False
Does 250 divide -3 + (-5)/(-3) - 9769812/(-234)?
True
Let m(p) = -p**3 - 7*p**2 - 7*p + 6. Let g be m(-6). Suppose 3*i - i - g = 0. Suppose 0 = -3*w + 15, i*l = 2*l + 2*w + 110. Is l a multiple of 3?
True
Suppose -236 = 5*a + 64. Does 14 divide (40/6)/(-8*1/a)?
False
Let r be (-2)/(-6) + -2*(-1684)/(-6). Let i = r + 577. Is 16 a factor of i?
True
Let a = 4849 + -514. Is 11 a factor of a?
False
Let f be 0 - 19 - (-19 + 14). Let l = 27 + f. Suppose z + 10*m - l = 6*m, -2*z - 3*m + 36 = 0. Is 3 a factor of z?
True
Let s = 17 + -11. Let b(d) = -13*d + 46. Let w be b(1). Suppose -k - t - 3 = -s*t, 4*k - 5*t = w. Is 11 a factor of k?
False
Let u = -6100 + 9564. Is u a multiple of 7?
False
Let s(d) = 23*d**2 - 27*d - 930. Does 96 divide s(-18)?
True
Let i(v) = -v**3 + 11*v**2 - 19*v - 52. Is 11 a factor of i(-15)?
True
Let g = 9051 + -1853. Is g a multiple of 24?
False
Let a be (-18)/3 + -15 + 19. Let c(l) = -85*l**3 + 3*l**2 + 2*l - 9. Is c(a) a multiple of 54?
False
Let i(b) = 100*b - 269. Let n be i(25). Suppose 5*h = 3*v - n + 502, v + 4*h - 599 = 0. Is v a multiple of 14?
False
Let y be -40*((-6)/8)/1. Suppose 2*c + 10 = 2*d, 2*c + 2 = -3*d + 12. Let q = c + y. Does 4 divide q?
False
Let f = -310 - -455. Let t = 103 + f. Is 15 a factor of t?
False
Let w = 8384 - 3769. Does 106 divide w?
False
Suppose 45*c + 202107 - 532962 = -92*c. Is c a multiple of 5?
True
Let u(j) = 861*j**3 - 26*j**2 + 50*j + 11. Does 35 divide u(2)?
True
Suppose -g = -o + 5311, -51*o + 26604 = -46*o + 2*g. Is o a multiple of 16?
False
Let a(k) = 46*k**2 - 9*k + 20. Let r be a(2). Suppose -r = -4*g + 174. Is 10 a factor of g?
True
Let v = 8623 - 4762. Does 27 divide v?
True
Suppose -8*y = -4*y - 8. Suppose -3*l + 11 = y. Suppose 2*b - 140 = -4*g, b = 3*g + l*b - 104. Does 25 divide g?
False
Does 71 divide -7 - (-165)/25 - 54624/(-10)?
False
Let o = -28739 - -70688. Is 102 a factor of o?
False
Suppose 58*v - 5285952 = v - 95*v. Is v a multiple of 14?
True
Let u(r) = 5*r**2 - 11*r - 4. Let p be u(3). Let i(g) = 6 + p*g - 24*g + 3*g**2 + 6. Is 3 a factor of i(6)?
True
Suppose 0 = -154*w + 143*w + 11209. Is w a multiple of 14?
False
Let y(b) be the second derivative of b**5/20 - b**4/12 + 3*b**3/2 + 9*b**2/2 + 19*b. Let d be y(7). Suppose 5*r = d - 126. Is r a multiple of 10?
False
Suppose 1416*c + 2*y = 1420*c - 4652, 1172 = c + y. Does 22 divide c?
True
Suppose -v + 5*v - 576 = 0. Suppose 2*p - 38 = -n, p - v = -3*n - 35. Suppose -q = -4*s + n, -s + q + 9 = -0*s. Is 8 a factor of s?
False
Let m(s) = -18*s**3 + 32*s**2 + 147*s - 18. Is 18 a factor of m(-6)?
True
Suppose -278 = -5*q - 68. Let n = q - 12. Suppose 4*b - 3*b = n. Is 10 a factor of b?
True
Suppose 0 = 3*j + 1 - 25. Let y = 160 - 155. Suppose -z - 175 = -6*z - 2*o, z = y*o + j. Does 18 divide z?
False
Let q be (35 - 37) + 8*-57. Let h = q - -500. Is 7 a factor of h?
True
Let y(l) = 4*l**3 - 424*l**2 + 229*l + 53. Is 159 a factor of y(106)?
True
Suppose -27058 = -4*h + 3*i, 23*h = 18*h - 2*i + 33788. Is h a multiple of 52?
True
Let b be (1 + -1 - 0)/(-1). Let z(k) be the second derivative of k**3/2 + 65*k**2/2 - 167*k. Is 13 a factor of z(b)?
True
Let c(g) = g**2 - 9*g + 2. Let j be c(9). Suppose -r + 2*s = 47 - 6, 2*r + j*s = -76. Is (r/(-33) - 1) + (-10772)/(-44) a multiple of 49?
True
Suppose 5*d - 140 = -5*w, 0 = 4*d - 6*w + 7*w - 124. Suppose f - d + 9 = 0. Is f a multiple of 4?
False
Suppose 2*w - 8 = -2*k, -5*k = w - 5*w + 25. Let s(d) = -28*d**3 - 2*d - 1. Let z be s(k). Suppose 0 = t - z - 16. Does 9 divide t?
True
Let u(j) = -2*j + 4. Let d be u(2). Suppose -5*l + 3344 - 524 = d. Suppose l = -2*y + 5*y. Does 47 divide y?
True
Let l be (-6 - (-275)/45) + 3530/(-18). Let p = l + 238. Is 14 a factor of p?
True
Suppose 0 = 74*a - 107474 + 33475 - 103157. Is 266 a factor of a?
True
Suppose 0 = 3*b + 3*t - 2175, 2*b - 2*t - 819 - 651 = 0. Let l = b - 256. Suppose -7*s = 117 - l. Is 31 a factor of s?
False
Suppose 0 = 107*q + 85*q - 631296. Is 6 a factor of q?
True
Let y(q) = 12*q**2 + 60*q + 11. Let o be y(-6). Let s = -6 + 6. Suppose 2*j = 6, s*m + 2*m + j - o = 0. Does 5 divide m?
True
Let g(r) = -15*r - 33. Let v(q) = -7*q - 16. Let b(f) = 3*g(f) - 7*v(f). Let k be b(-5). Is (-25 + k)/(-1 + 0/2) a multiple of 16?
True
Let o = -5259 - -7417. Is o a multiple of 13?
True
Let c = -3813 - -11995. Is c a multiple of 141?
False
Suppose 0*v - o = -3*v + 29, 0 = -v + 3*o + 23. Suppose 0 = -11*z + 15*z + v. Is 4 a factor of (-57)/z - (-7)/(-14)?
True
Suppose -660 = -5*s + 420. Let i be (-50)/15*s/(-15). Suppose 9*j - 8*j = i. Does 16 divide j?
True
Suppose -13*t = -19*t + 282. Suppose 49*w - t*w - 10 = 0. Suppose 5*g - 55 = w*y, 0 = -g + 5*y - 10*y + 23. Is 5 a factor of g?
False
Let r = 1816 - 1111. Let c = 1660 - r. Is 32 a factor of c?
False
Let y(z) = 5*z - 38. Let s be y(6). Let o be (-5 - 4)/((-12)/s). Is 3 a factor of (o/(-9))/((-2)/(-63))?
True
Suppose -y + 7*y = 72. Let f be ((-8)/10)/(y/(-30)). Suppose -2*s - f*s + 109 = n, -319 = -3*n - 4*s. Is n a multiple of 15?
True
Suppose 39 = -2*l - 67. Let q = l - -56. Let i(s) = 29*s + 11. Is 49 a factor of i(q)?
True
Suppose -2*n = -13*y - 34189, 0 = 4*n - 3*y + 12796 - 81289. Is 99 a factor of n?
True
Let t = 242 - 194. Suppose -4*p + 4*m = -t, 11*m - 9*m + 6 = 0. Is p a multiple of 3?
True
Is (2248/(-12))/((-2299)/759 - -3) a multiple of 51?
False
Let i(p) = 973*p - 1746. Is i(6) a multiple of 44?
True
Suppose -h - 3*r + 2*r + 5702 = 0, 5*h - 5*r = 28490. Suppose -78*z + 58*z = -h. Is 5 a factor of z?
True
Let k(o) = -26*o**3 - 32*o**2 - 2*o + 12. Does 9 divide k(-3)?
True
Suppose 11428 = 12*t + 41848. Does 9 divide t/117*(-1 - 32)?
False
Let j be (-738112)/(-342) - (-2)/(-9). Suppose -j = -5*c - 2*u - 243, -4*c + 3*u + 1555 = 0. Is c a multiple of 34?
False
Let b(x) = -64*x**3 + 4*x**2 - 60*x - 412. Is 14 a factor of b(-6)?
True
Suppose -10*r + 25266 = -17614. Is r a 