*2 + 2 - 3 - 4*o + 30*o**3. Is 12 a factor of s(u)?
False
Suppose 49144 - 12916 = 4*t + 4*f, f + 45249 = 5*t. Is 127 a factor of t?
False
Let g(j) = -j**2 - 6*j + 210. Suppose -20 = -4*w + 4*d, 4*w - 3*d - 12 - 5 = 0. Let h be 0/(2*(1 - w)). Does 21 divide g(h)?
True
Let x = 28087 + -19823. Does 169 divide x?
False
Suppose 11 = 7*h + 18. Is 47 a factor of ((-434)/(-6))/(11/(-99)*h)?
False
Let m be (-6)/4 + 87235/10. Let t = m - 4789. Is 6 a factor of t/133 - (-6)/14?
True
Let d(n) = -5. Let s(z) = z**2 + 3*z - 5. Let f(p) = -d(p) + s(p). Suppose b - 2 = -0*b, 0 = -2*t + b - 12. Is 5 a factor of f(t)?
True
Let z be 1 - -164*24/16. Is 6 a factor of z/(-5 - -2 - -4)?
False
Suppose -3*y - 33 = -3*a, 2*a - a + 49 = -4*y. Let m be 2 + -5 + 188 + -85. Let z = m - y. Does 14 divide z?
True
Suppose 2*z = 15*p - 11*p - 2086, -z + 3 = 0. Suppose 0 = -14*r + 2931 - p. Is r a multiple of 4?
True
Let d(s) = 4*s**3 - 31*s**2 + 17*s - 115. Does 43 divide d(15)?
True
Let a be 5 - 0*(-2)/4. Suppose -5*j + 0*j = -4*z - 194, -2*z + 4*j - 100 = 0. Let u = a - z. Is 6 a factor of u?
False
Let c be ((-6751)/129)/(1/(-9)). Let y = c - 453. Is 3 a factor of y?
True
Suppose 16*y - 1478 = 1322. Suppose 2*o - 11*h - 180 = -7*h, -5*h = -2*o + y. Is o a multiple of 10?
True
Does 82 divide (4 - -7)/(-66) + 415996/24?
False
Let l(j) = 3*j**3 - 21*j**2 + 6*j - 18. Is l(11) a multiple of 25?
True
Let n(h) = -11*h**2 + 3*h - 1. Let w be n(2). Let f = w + 21. Is 23 a factor of 0 + (-426)/f + (-2)/3?
True
Suppose 5*j = -5*w + 55455, j + 4*w - 11178 = -93. Does 18 divide j?
False
Let k(a) be the second derivative of -a**5/20 + 5*a**4/4 - 5*a**3/6 + 13*a**2 - 76*a. Does 38 divide k(14)?
True
Is 33 a factor of 7/((-14)/(-20))*(-6735)/(-30) - 1?
True
Let k = 12958 - 7438. Is 40 a factor of k?
True
Is (((-42566560)/120)/86)/(1/3*-1) a multiple of 21?
False
Let c = 4693 + -1218. Is 52 a factor of c?
False
Is 9 a factor of (2/6)/(78/(-27) - -3) - -13895?
False
Let n(z) = -z**2 + 15*z - 29. Let q be n(13). Is (584/(-3))/(2/q) a multiple of 13?
False
Let n(t) = 28*t**2 + 18*t + 69. Let v be n(-8). Let a = 2408 - v. Is 72 a factor of a?
False
Suppose -1222*v + 549720 = -1198*v. Does 4 divide v?
False
Suppose 25 = -8*s + 3*s. Is 15 a factor of (30/4)/(s - (-71)/14)?
True
Suppose 0 = -21*q + 51 + 54. Suppose -4*h - 218 = -5*p - 8*h, -224 = -q*p - 2*h. Is p even?
True
Let c(p) = -p**3 - 10*p**2 - 32*p - 43. Let n be c(-6). Let x be 182/(-9) - (-2)/9. Does 25 divide n/x - (-901)/4?
True
Let j = 8 - 8. Suppose -2*n - 2 = j, -5*o = -8*o + 3*n + 9. Suppose 0 = -4*u - 3*w + 190, 73 = o*u - 4*w - 11. Is u a multiple of 8?
False
Let b(c) = -3*c**3 + 3 + 4*c - 4*c**3 - 21*c**3 - 2*c**2 + 5*c**2. Is 14 a factor of b(-1)?
False
Is (8734/18)/(284/7668) a multiple of 51?
False
Suppose -15 = 3*m - 6*m. Suppose p = -2*x + m*x + 497, 0 = -4*p + 2*x + 1958. Is p a multiple of 4?
True
Is 14865 - -8*(11/(-2))/11 a multiple of 45?
False
Suppose -3*z + 5*z = 0. Let b be z*((-10)/15)/2. Suppose b = -7*s + 5*s + 224. Is s a multiple of 14?
True
Suppose -j + 9*q + 3210 = 7*q, 2*q + 6408 = 2*j. Is 39 a factor of j?
True
Let u = 1888 - 1094. Is u + (9 - (-18)/(-6)) a multiple of 25?
True
Suppose 0 = -1059*h + 1047*h + 60. Let v = 66 + -37. Suppose -h*q + v = -231. Does 13 divide q?
True
Let q(w) = 44*w + 42. Let k be q(-4). Let i = k + 162. Does 14 divide i?
True
Suppose 0 = 3*v + 15, 2*w + 5*v - 31 = 136. Let p = w - 42. Is 18 a factor of p?
True
Let s(t) = -7*t - 88. Let x(v) = -20*v - 266. Let k(z) = 14*s(z) - 5*x(z). Is k(-25) a multiple of 16?
True
Is 6 a factor of ((-442)/(-91) - -14)*434*(-1 - -2)?
True
Suppose -153980 = -4*m - 6*u + 10*u, -3*m + 115541 = 5*u. Does 203 divide m?
False
Let y = -44 - -46. Suppose -7 = -4*q + 5. Suppose -2*a - q*k = -175, 4*k = y*a + 2*a - 300. Does 10 divide a?
True
Let a(d) = 5*d**2 + 14*d - 26. Let b be a(-21). Let i = -967 + b. Is i a multiple of 27?
True
Let p(c) = -24*c + 19. Suppose 26*z - 34 = -86. Is p(z) a multiple of 2?
False
Let z(b) be the third derivative of 5*b**4/12 + 7*b**3/3 - 5*b**2. Let c(a) = a**2 + 24*a + 142. Let y be c(-10). Does 34 divide z(y)?
True
Let p(g) = -g**2 - 2*g - 1. Let b(a) = 13*a**2 + 35*a + 1. Let q(k) = b(k) + 2*p(k). Does 17 divide q(-5)?
True
Suppose -4*r + 1086 = 2*z - 3*z, 3*r - 4*z = 821. Let v = 312 - r. Does 3 divide v?
False
Let s = 75 - 180. Let j be ((-6)/7)/(15/(s/2)). Suppose 5*q + j*x = 1415, q - x + 0*x = 291. Is 22 a factor of q?
True
Suppose 10*s + 2*s + 34813 = 211453. Does 10 divide s?
True
Suppose 0*u - 24 = 3*u. Let v be (-6338)/u - (-1)/(-4). Suppose -v = -82*w + 76*w. Is 44 a factor of w?
True
Let t(o) = 4*o + 89. Suppose -60 - 66 = 6*y. Let g be t(y). Is 10 a factor of 1/(g/(-500)*-5)?
True
Let r(d) = d**3 + 5*d**2 + 3*d - 3. Let w be r(-4). Let c be (12*w/7)/((-2)/(-189)). Let v = c + -22. Is v a multiple of 28?
True
Let p = -281 + 169. Is 1/2 + (-8)/(p/4389) a multiple of 56?
False
Let d(g) = -24*g + 411. Is 8 a factor of d(-57)?
False
Let m = -1 - -15. Suppose -414 = -m*x + 5*x. Let a = 95 - x. Does 12 divide a?
False
Let a(w) = 110*w**2 + 1184*w + 26. Is a(-17) a multiple of 15?
False
Let i = 13204 + -8732. Does 43 divide i?
True
Let m(b) = 541*b - 6. Let x be (-12)/(-27) - ((-5)/9)/1. Is 34 a factor of m(x)?
False
Let u(m) = 38*m + 562. Let v be u(0). Let r = 604 - v. Is 14 a factor of r?
True
Let w = -146 + 237. Let q = w + 38. Is 3 a factor of q?
True
Let d(f) be the first derivative of -f**4/4 - 4*f**3/3 - f**2 + f - 19. Let z be d(-4). Suppose -3*v = z, 2*y - 336 = -y - 2*v. Is y a multiple of 19?
True
Let r(v) = 10*v**3 + 18*v**2 - 40*v - 72. Is r(11) a multiple of 52?
True
Suppose -12*j - 40 = -22*j. Let w = -1 - -6. Suppose 2*f = -2*q + 26, j*q - 8 = w*f + 8. Is q a multiple of 2?
False
Let x be (-3)/2 + (-49812)/(-8). Suppose -4*o - o = -x. Suppose -285 + o = 5*j. Is 24 a factor of j?
True
Suppose 36 = -0*u + 9*u. Let t be (-2)/u - 18/(-4). Is 186/t - (-10)/(-4) a multiple of 10?
False
Let q(s) = -232*s - 25. Let i be q(-4). Let m = i + -283. Does 31 divide m?
True
Suppose -7*j - 23 = -9. Is 1 - j*308/8 a multiple of 13?
True
Let s be (544/(-5))/((-8)/40). Let i = -313 + s. Does 21 divide i?
True
Let n = -7302 - -8663. Is n a multiple of 9?
False
Let l(d) = d**3 + 18*d**2 + 9*d - 16. Let j be l(-17). Let k = 209 - j. Let u = 131 - k. Is u a multiple of 7?
True
Let s(k) = 11*k**2 + 4*k + 5. Let o be (-3 + 1 - -5)*8/6. Is 32 a factor of s(o)?
False
Suppose 3*r + 75 = 3*f, 56 = 2*f - r + 2*r. Let d(l) = -2 - 2*l + 86*l**2 + 1 + 3 - f*l**2. Is d(1) a multiple of 13?
False
Let m be (-5 - -9)*2 + -4. Suppose t - m*a - 10 = 5, t - 6 = a. Suppose t*y = 17*y - 2016. Does 16 divide y?
True
Suppose -4*r + 4*i - 179 = -7*r, 2*i = 3*r - 185. Let n = 59 - r. Does 3 divide n*12/(-8) - -4?
False
Suppose 3*f = g - 11, 4*f = -5*g + 1 - 3. Suppose 0 = -h + g*n + 298, -5*h + 1501 = -4*n + 5*n. Is h a multiple of 10?
True
Let j(g) = 623*g**3. Let v be j(-1). Let s = -346 - v. Let i = 438 - s. Does 23 divide i?
True
Let d(z) = z**2 - 33*z - 99. Let i be d(36). Suppose i*p - 522 - 1575 = 0. Is p a multiple of 9?
False
Let b(j) = -40*j - 2. Let z be b(-3). Let q = 48 - z. Let i = q + 121. Does 23 divide i?
False
Let g = -13 - -19. Suppose -g*n + 636 - 216 = 0. Is n a multiple of 35?
True
Let z(a) = 10*a**2 - 3*a + 25. Let s(o) = -5*o**2 + 2*o - 13. Let u(q) = -5*s(q) - 2*z(q). Let x be u(5). Suppose 0 = -15*r + 12*r + x. Is r a multiple of 5?
True
Suppose 4*i = 3*i + 3. Suppose 0 = 26*f - 41*f + 45. Suppose -i*p - 2*r + 20 = 0, 14 = -p + 2*p - f*r. Is p a multiple of 4?
True
Let j = 472 - 332. Suppose -j - 70 = -3*c. Is 26 a factor of c?
False
Suppose 0 = 4*a - 8, -5*a - 3446 = -13*s + 9*s. Does 9 divide s?
True
Let b be 8/2 - (3 + 1). Suppose b = -6*v + 37 + 17. Suppose h = -v + 80. Is 23 a factor of h?
False
Suppose -833 = 5*g - 3368. Let w = 696 - g. Is w a multiple of 7?
True
Suppose 2*m + 4*j + 5 = -7, -12 = m + 4*j. Suppose 0*w + 294 = w - x, m = -4*w - 3*x + 1169. Is 29 a factor of w?
False
Suppose -2*w - 672 = 26*w. Is (318/w)/(2/(-8)) - -4 a multiple of 29?
False
Suppose -32*r + 226629 - 63289 = -12*r. Is r a multiple of 275?
False
Let y(v) = -v**3 - 7*v**2 - 9*v - 20. Let a be y(-6). Let s be 1/(a - 17/(-8)). Supp