-13 + w. Is 21 a factor of t(b)?
False
Let b = 23 + -27. Is 18 a factor of 3 + 8/b - -35?
True
Is (-74)/6*(61 - 67) a multiple of 3?
False
Let p(k) = -66*k + 658. Is p(8) a multiple of 13?
True
Suppose -3*i + 205 = -59. Suppose z + i = 3*z. Suppose 5*q - 4 = -t + 4, -t + 4*q = -z. Is 19 a factor of t?
False
Suppose -688 = -3*k - 5*j + 3*j, -450 = -2*k + 3*j. Does 38 divide k?
True
Suppose h + 69 = 2*h - 2*g, 5*h - 2*g - 329 = 0. Let f be (1/(-3))/(2/(-18)). Suppose 5*a - h = -4*z, 0 = -4*z - f*a + 48 + 15. Is 15 a factor of z?
True
Suppose -5*k = -5*v - 0*v + 995, 5*k = v - 195. Is 18 a factor of 1/((12/v)/3)?
False
Suppose i = 4*i + 6, -2*t = -4*i - 14. Let j = -1 - t. Is 15 a factor of (-149)/j - 4/16?
False
Let r = 149 + -354. Does 14 divide (-3)/(3/r) + 3 + -5?
False
Suppose 0 = -301*b + 293*b + 2408. Is 10 a factor of b?
False
Let n(q) = q**3 - 12*q**2 - 16*q + 67. Is n(17) a multiple of 40?
True
Suppose 0 = 10*n - 4*n. Is 20 a factor of (-206)/(-1) + (-4 + n)/2?
False
Let g(i) = -i + 31. Suppose -5*c + 7*c = 0. Let v be c/(-1)*3/6. Is 11 a factor of g(v)?
False
Suppose 3*l + 471 = 5*r + 17, 6 = -2*l. Suppose 471*v - 465*v = 570. Suppose r = 4*f - v. Does 23 divide f?
True
Let k = -37 + 36. Let b(c) = 30*c**2. Is 15 a factor of b(k)?
True
Suppose -q - 2*c = 4*q + 56, 4*q + 4*c + 40 = 0. Let o = 51 + q. Is o a multiple of 14?
False
Let o(v) = v**2 + 2*v + 12. Let y(n) = -n**3 - 20*n**2 - 19*n + 6. Let g be y(-19). Let p be o(g). Suppose 2*f + f = p. Is f a multiple of 8?
False
Let q(a) = 12*a - 4. Let s be q(-5). Let v(p) = p**3 + 7*p**2 + 3*p - 1. Let j be v(-7). Let n = j - s. Does 10 divide n?
False
Let j = 24 - 22. Suppose -2*u - 3*r + 74 = 0, -3*u - j*r + 116 = -0*u. Does 9 divide u?
False
Is (-3 - (-261)/(-12))/((-13)/572) a multiple of 11?
True
Suppose 4*n - t - 1407 = -0*n, -5*n = t - 1761. Is 32 a factor of n?
True
Suppose -121*n + 116*n - 1542 = -2*r, -3*n - 3855 = -5*r. Is 10 a factor of r?
False
Suppose -3*k + 5*v + 2700 + 2052 = 0, 0 = k + 4*v - 1584. Does 48 divide k?
True
Let k(g) = 2*g - 10. Let p(d) = -d**3 + 12*d**2 + 17*d + 12. Let q be p(13). Suppose 0*b + q = 8*b. Does 4 divide k(b)?
False
Suppose 5*s - 1466 - 13945 = 2*t, s - t = 3081. Let f = s - 9915. Is 12 a factor of 2/7 + f/(-98)?
False
Let u be 69/3 + 4/(-2). Let l = 59 - u. Is 13 a factor of l?
False
Let q be 10/(3/(9/2)). Suppose -q = -0*m - 3*m. Suppose -v + m*v = 40. Does 5 divide v?
True
Let s be 2/(-4)*-2 + 2 + -1. Suppose -102 = -o + 2*g - 5, -3*g + 201 = s*o. Does 9 divide o?
True
Is 10 a factor of (-208)/6*1161/(-172)?
False
Let u = 838 - 439. Is 14 a factor of u?
False
Suppose -4*f = 2*z - 1524, 1908 = 3*f + 2*f + 4*z. Suppose -3*p - 62 = 3*g - f, -2*g + 197 = 5*p. Let y = 213 - g. Does 34 divide y?
True
Suppose 22*h - 402 = 21*h. Is 10 a factor of h?
False
Let p(y) = 264*y - 1088. Is p(6) a multiple of 14?
False
Suppose 19*w = 407 + 1645. Does 9 divide w?
True
Suppose 4*f = -25*v + 21*v + 484, -3*f = -4*v - 391. Does 5 divide f?
True
Let w(o) = 19*o - 11. Suppose 4*d - 3*n - 8 = 0, 0 = -8*d + 4*d - 5*n + 40. Is 8 a factor of w(d)?
False
Suppose 3*p = 0, r - 5*p = -2*p + 200. Let o = -86 + r. Suppose -6*f + 0*f = -o. Is f a multiple of 19?
True
Is 54 a factor of (0 + (-3)/(-6))/((-63)/(-212058))?
False
Let q be (-6)/10*(1 + -11). Suppose q*u - 8*u = -88. Is u a multiple of 30?
False
Suppose f - 24 = -f - 4*n, -2*f = 3*n - 19. Suppose 5*w - f*u + 113 = 22, -4*u - 103 = 5*w. Let a = w + 29. Does 5 divide a?
True
Let f be ((-12)/(-10))/(3/(-90)). Let t be 38/9 - (-8)/f. Is 4 a factor of (-25)/1*t/(-10)?
False
Let q(c) = 2*c**2 - c**2 + 35 - 9*c - 28. Let x be q(8). Does 11 divide ((-2)/3)/(x/33)?
True
Let f = 185 + -55. Is 13 a factor of f?
True
Let b = -774 - -1150. Is 33 a factor of b?
False
Let n(o) = 233*o**2 - 3*o + 2. Is n(-1) a multiple of 14?
True
Suppose 0 = -10*c + 6*c + 20. Suppose -3*o = -c*o + 36. Does 11 divide o?
False
Let f(p) = -p**2 + p + 1. Let w(k) = 4*k**3 + 8*k**2 - 8*k - 4. Let h(y) = -5*f(y) - w(y). Is 18 a factor of h(-3)?
False
Let y = -8 - -13. Let t(b) = -2*b**2 + 11*b - 19. Let q be t(y). Is 4 a factor of 4/q - 1755/(-91)?
False
Suppose 6*w - 15*w + 72 = 0. Does 2 divide w/(-1)*(-60)/24?
True
Let k be ((-21)/12)/((-1)/4). Let o(d) = k*d + 2 - 4 + 8 + 8*d. Is o(2) a multiple of 12?
True
Suppose 0*r - r = d - 8, -5*r + 3*d + 40 = 0. Let c = 6 + r. Is c a multiple of 2?
True
Suppose 4*x = 5*w - 0*x - 39, 2*w = -x + 13. Let d be (-3)/w + (-496)/(-14). Suppose -m + 142 = 5*p + d, -p + 15 = -3*m. Is 7 a factor of p?
True
Suppose -3*o + 5*o = 18. Suppose -4*y - 2*k = -542, -4*k - 11 = o. Let m = 195 - y. Does 19 divide m?
True
Does 29 divide (-4899)/(-18) + 1/(-6)?
False
Let p be (60/9)/(5/(-30)). Let n = 46 + p. Is n a multiple of 4?
False
Let l = 118 + 32. Is 30 a factor of l?
True
Suppose -3*t - 88 = -103. Suppose 0*r + t*r + 2*h - 190 = 0, h = -5*r + 195. Is 5 a factor of r?
True
Suppose -9*t + 10*t = 513. Is 57 a factor of t?
True
Suppose 5*j = 7*j - 20. Let g = j - 16. Is 15 a factor of 1*(-140)/g*3?
False
Let p(a) = a**3 + 5*a**2 - 20*a - 3. Is p(-6) a multiple of 3?
True
Let m(j) = 4*j**3 + 3*j**2 + 3*j. Let x be m(-2). Let n = x - -62. Does 9 divide n?
True
Let s(k) = 6*k + 12. Let g(n) = 6*n + 11. Let r(f) = -3*g(f) + 2*s(f). Is r(-3) a multiple of 9?
True
Let g be (1 + 0)*(7 - 5). Let b be (-1)/g - (-42)/4. Is 1 + -4 + b + 0 even?
False
Is 2 + 264 - (3 + -10) a multiple of 68?
False
Let k(z) be the second derivative of -11/6*z**3 + z + 0 - 1/20*z**5 - 3/4*z**4 - 5*z**2. Is k(-8) a multiple of 14?
True
Let g be (4/10)/(2/10). Suppose 21*j - 95 + 11 = 0. Suppose q - 59 = -g*b, 5*b = -q + 151 + j. Is 9 a factor of b?
False
Let s(y) = y**3 - 9*y**2 - y - 6. Let v(u) = u**3 - u**2 + 1. Let n(g) = s(g) - 2*v(g). Let d be n(-7). Let o = d + 19. Is o a multiple of 9?
True
Let x(u) be the first derivative of u**3/3 - 3*u**2/2 + u - 2. Is 5 a factor of x(6)?
False
Let k(x) = -10 + 14*x - 7*x - 1 + 14*x. Is 23 a factor of k(4)?
False
Is 6 a factor of (-44*7/(-42))/(4/42)?
False
Let y = 91 + -41. Does 4 divide y?
False
Let t be (-5 + 1)/((-8)/36). Suppose -3*q + t = r, -4*r - r + 25 = 2*q. Let i(n) = 7*n**2 + 3*n - 10. Does 16 divide i(r)?
False
Suppose h = 2 - 12. Let l(d) = 2*d**3 - 7*d**2 - 2*d - 9. Let f(t) = 5*t**3 - 13*t**2 - 4*t - 18. Let p(i) = -3*f(i) + 7*l(i). Is p(h) even?
False
Suppose 0 = -5*w + 1835 - 835. Is w a multiple of 40?
True
Suppose -65*x + 3913 = -52*x. Is x a multiple of 7?
True
Let w = 53 - 4. Suppose -z = -a + w - 203, -z + 155 = -2*a. Is z a multiple of 24?
False
Let m(l) = l**3 + 8*l**2 - 7*l - 10. Let r be m(-6). Suppose 6*d - 902 = -r. Does 19 divide d?
True
Suppose 3*o = -a - 22, 0 = 2*a + 3*a - 25. Let i be 131 + o/3 - 1. Let r = -90 + i. Is r a multiple of 13?
False
Suppose -v - 2*v = -3*w - 6, -5*v = 5*w - 40. Suppose -w*b - 920 = -13*b. Does 16 divide b?
False
Does 6 divide ((-39)/5)/((-294)/3430)?
False
Let m(u) = -8*u + 39. Let h be m(-6). Suppose -r - h = -q - q, -r = 5*q - 221. Does 11 divide q?
True
Suppose -b = 5*j - 10, j - 14 - 15 = -2*b. Let g = b - -18. Does 4 divide g?
False
Let c = -218 + 152. Let m be (14/(-28))/(1/c). Suppose -3*l = 2*q - m, 20 = -l - 3*l. Is q a multiple of 6?
True
Suppose 171*w = 155*w + 39200. Is 29 a factor of w?
False
Let k(c) = -52*c**3 - c**2 + c + 2. Suppose 0 = 5*t + 5*m - 15, -8 = 2*t - 2*m + 2. Is k(t) a multiple of 13?
True
Let p(r) = r**2 - 2*r - 14. Suppose 88 = 8*h - 4*h. Suppose -h*d = -26*d + 28. Does 4 divide p(d)?
False
Let a be 3/2*-6 + 2. Let b = 41 + a. Suppose -255 = b*h - 39*h. Is 9 a factor of h?
False
Let v(q) = q - 5. Let t be v(-9). Let b be (-7)/t*2*2. Suppose -b*y + 5*p + 64 = 0, p + 25 = y + 2*p. Is 9 a factor of y?
True
Let f = 15 + -10. Suppose f*k + 15 = 4*z, -4*z + 4*k = -7 - 5. Suppose z = -5*c + 73 + 107. Is c a multiple of 13?
False
Let z(f) be the third derivative of 2*f**4/3 + 7*f**3/6 + 6*f**2. Does 7 divide z(3)?
False
Let t be (-20 + 26)*(-1)/2. Suppose -s + 24 = -0*s. Let x = t + s. Is 6 a factor of x?
False
Suppose -3*l + 60 = -5*w, -w - 5*l = 3*w + 11. Is 11 a factor of (24/w)/(-4) - 62/(-6)?
True
Let v = -93 + -202. Let j = v - -428. Is 22 a factor of j?
False
Let v(m) be the second derivative of -m**3 + 3*m**2/2 - m.