f 21?
False
Suppose 5*w + 0*w = 0. Suppose 3*h = -w*h + 12, 29 = 3*r + 5*h. Suppose 0*b - r = -b. Is b a multiple of 2?
False
Suppose r = -4*c + 31, 4*c + 6 = 3*r + 41. Let n(k) = -k**2 + 23*k - 26. Does 16 divide n(c)?
False
Let f be (-6)/(-27) - (-6)/(-27). Suppose f*x = -10*x + 850. Does 16 divide x?
False
Let y(b) = b**3 - 3*b**2 - 3*b - 1. Let d be y(4). Suppose 5*q + 13 = -4*f + 57, -d*f = -q + 5. Is q a multiple of 4?
True
Let f = 29 - 4. Let r = 0 + f. Is r a multiple of 25?
True
Let o(i) = -4*i**3 - 21*i**2 + i - 3. Is o(-7) a multiple of 9?
True
Let c = 3178 - 817. Is 113 a factor of c?
False
Suppose -6*m = -3*m - 108. Does 3 divide (3 + -2)/(4*1/m)?
True
Let l(x) be the first derivative of 17*x**2/2 - 4*x + 29. Is l(9) a multiple of 14?
False
Let u be 8/(-2)*15/4. Let m(s) = -18*s + 23. Let k(b) = -8*b + 12. Let a(z) = 5*k(z) - 2*m(z). Is a(u) a multiple of 33?
False
Suppose -20*u - 128 + 2388 = 0. Is 63 a factor of u?
False
Let d = 342 - 605. Let a = -188 - d. Is 25 a factor of a?
True
Let t(o) = -o**3 - 4*o**2 - 2*o + 1. Let i be t(-4). Let a(m) = m + 18. Let q be a(-15). Is (224/24)/(q/i) a multiple of 27?
False
Let y(z) = z**3 + 3*z**2 - 10*z + 5. Let l be y(-5). Suppose 0 = l*x - x - 72. Suppose 0 = -2*g - g + x. Is g a multiple of 5?
False
Let n(u) = 20*u - 2. Suppose 2*h + 0*h - 10 = 0. Does 20 divide n(h)?
False
Let p(d) = 2*d. Let z be p(3). Let w(q) = 2*q**3 - q**2 + q - 2. Let i(o) = 5*o**3 - 9*o**2 + 4*o + 9. Let v(j) = -i(j) + 2*w(j). Is 11 a factor of v(z)?
True
Suppose -2*k - 4*k = -624. Suppose 107*c - 72 = k*c. Does 5 divide c?
False
Suppose 25728 = -1052*i + 1064*i. Does 39 divide i?
False
Is 15 a factor of (-9)/(54/42) + 457?
True
Let y(a) = 22*a**3 - a. Suppose 0*z = 2*z - 2. Let h be y(z). Let w = h + 15. Is w a multiple of 12?
True
Suppose 2*m - 3*m + 4*g + 39 = 0, -m - 5*g = 6. Let p = m - 16. Does 8 divide (48/p)/((-4)/(-8))?
True
Let m be 6 + 0 - 2 - 0. Let x be m/(-5) + 360/75. Does 16 divide (6/15 + x)*5?
False
Let a = -5 + 12. Suppose a*d - 11*d = 108. Let c = -12 - d. Is 15 a factor of c?
True
Let n(v) = 14*v**3 - 2*v + 1. Let w be n(1). Let p be -3*(w/3 - 3). Is p*(-2 - (-12)/8) even?
True
Let o(h) = h**2 + 30*h + 18. Is 21 a factor of o(15)?
True
Let g(r) = -r**2 - 14*r - 15. Let h be g(-14). Let j(v) = v**2 + 8*v - 27. Is j(h) a multiple of 6?
True
Let y = -59 - -32. Let o = -6 - y. Is o a multiple of 18?
False
Let w(f) = 13*f**2 + 6*f + 3. Let g be w(-2). Let r = g + -15. Does 14 divide r/(3*(-6)/(-45))?
True
Let i(p) = 34*p**2 - 25*p - 104. Is 33 a factor of i(-6)?
False
Suppose 0*n + n - 15 = 4*v, 0 = -n + v + 30. Suppose 32*m + 552 = n*m. Is m a multiple of 20?
False
Let w be 780*((-2)/10)/(1/(-5)). Suppose -3*p + 5*s + w = s, -s = -3*p + 789. Is 56 a factor of p?
False
Let i be -4*1 - (-130 + -4). Let z be i/15 + 4/3. Is z*1/3*3 even?
True
Let a(y) be the third derivative of y**5/10 - 5*y**4/24 - 5*y**3 - 35*y**2. Is a(-6) a multiple of 21?
False
Let k = 152 - -453. Is k a multiple of 5?
True
Let d be -1*6/(-15)*20. Let p be (d - 9)/((-2)/(-8)). Is 19 - 2*2/p a multiple of 13?
False
Suppose c = -b + 23, 4*c - 3*b - 94 = 12. Let y be 1 + (-17)/1 + 2. Let i = c + y. Does 11 divide i?
True
Let j(d) = -d**3 + 5*d**2 + 35*d + 12. Let w be j(9). Suppose 0 + 2 = 2*o, -5*n + 5 = -5*o. Suppose -w*h - 39 = -q, -n*q = 2*q - 5*h - 156. Is 24 a factor of q?
False
Does 6 divide ((-6)/(-8))/(16/3200)?
True
Let q(b) = 17*b + 83. Does 10 divide q(11)?
True
Let n = -60 + 58. Is (-7)/(n + 75/39) a multiple of 7?
True
Does 13 divide ((-208)/20)/(4 + 426/(-105))?
True
Let g(w) = 191*w**2 + 2*w - 7. Is 15 a factor of g(2)?
False
Let d(k) = -k**2 - 43*k + 97. Is d(-31) a multiple of 42?
False
Is 7 a factor of 824/6 + 12/18?
False
Let y = 97 + -33. Suppose 2*p + 4*d - 4 = 0, -5*p + 2 = -4*d - y. Let m = 19 - p. Is m a multiple of 4?
False
Let r = -29 - 6. Let v = 15 - r. Is 10 a factor of v?
True
Suppose 8*q = 5*q + 108. Is 5 a factor of (-236)/6*(-54)/q?
False
Suppose -11*y = -14*y + 24. Suppose 924 = y*z + 3*z. Does 14 divide z?
True
Let v(k) = -k**3 - 7*k**2 + 4*k + 10. Let o(n) = n**2 + n - 1. Let j(m) = 4*o(m) + v(m). Let q be (-3)/(-2) + (-26)/4. Is j(q) a multiple of 7?
False
Let q be -1 - (-2 - (-18 - -3)). Let l be 144/63 + 4/q. Is l/(-8) + 65/4 a multiple of 14?
False
Suppose 19294 = 35*g - 7236. Is g a multiple of 5?
False
Suppose -5*o + x + 108 = 0, o + 8 = -4*x + 17. Does 7 divide o?
True
Let m be (-5)/35 + 66/21. Let g be 2/m*9 - 1. Suppose g*k - 4*q = 48, 0 = -k - 3*q + 2*q + 15. Does 12 divide k?
True
Suppose -5*w + 47 = -4*t, -2*w + 4 - 2 = 4*t. Suppose 16 = w*n + 2. Suppose -4*u + 96 = n*u. Does 15 divide u?
False
Suppose -726*b + 728*b - 448 = 0. Is b a multiple of 7?
True
Suppose -11*y + 98 + 12 = 0. Is ((-244)/y)/((-13)/((-455)/(-14))) a multiple of 23?
False
Let z = 8 - 4. Let k(c) = -2*c**3 + 8*c**2 - 2*c + 9. Let v be k(4). Does 6 divide (1 - -31) + z/v?
True
Let v = 1376 - 571. Does 115 divide v?
True
Let m be 1/(-5) - 476/70. Is ((-4 - m) + -2)*35*1 a multiple of 8?
False
Let r(i) = -i**3 + 7*i**2 + 10*i - 12. Suppose -6 = -t - 3*z, -z = 2*t + z - 4. Suppose -3*j - n + 28 = t, 5*j = n - 6 + 42. Is 4 a factor of r(j)?
True
Let z(n) = -15*n**2 - 12 - 75*n + 3*n**3 + 0*n**3 + 38*n + 41*n. Does 10 divide z(6)?
True
Suppose 4*z - 73 = -5*l + 508, -2*z = -3*l - 285. Let s = 305 - z. Suppose -3*q + 22 = -s. Is 27 a factor of q?
False
Suppose 0 = 3*z + 8*h - 13*h - 370, -2*z + 3*h + 245 = 0. Is 12 a factor of z?
False
Let s = 101 + -71. Suppose s = g - 6. Is 12 a factor of g?
True
Suppose -2*c + 108 = 2*c - 4*g, 2*g = -c + 36. Is 14 a factor of 387/30*(-25)/c*-4?
False
Let p = -19 + 7. Let v = -56 + 77. Let h = p + v. Is 9 a factor of h?
True
Let x be 6/21 + 7690/35. Suppose 4*b - 220 = -0*r - 3*r, -2*r = 4*b - x. Does 11 divide b?
True
Let k(n) = -n + 9. Let p be k(5). Suppose -17 = p*j - 5. Is 9 - (15/(-5))/j a multiple of 8?
True
Let f(w) = -w - 5. Let r be f(8). Let c = r + 29. Does 3 divide c?
False
Suppose -3*h - 3*m = -33 + 3, 4*h = 3*m + 19. Is 15 a factor of ((-20)/h)/5 - 529/(-7)?
True
Let t = 7 - 84. Let d = t - -210. Is d a multiple of 20?
False
Let g be 0/(2*1/2). Let w(c) = -3 + 5*c**2 - 3*c**2 + c**2 + 4*c + g*c**2. Is w(2) a multiple of 7?
False
Suppose 3*w - 1386 + 84 = 0. Is w a multiple of 14?
True
Let v(n) = -2*n**2 - 7*n + 4. Let s be v(-4). Suppose 0*y - 3*y + 119 = -4*a, s = -4*y - 3*a + 117. Does 4 divide y?
False
Suppose 2*w + q - 207 = 0, -2*w - 3*w + 2*q = -495. Let m = w + -51. Does 25 divide m?
True
Let l = 1 - -2. Let c = l + 3. Suppose -c - 10 = -r. Does 16 divide r?
True
Let c(r) = 12*r - 12. Let y(d) = -2*d**2 + 3*d - 3. Let w be y(3). Let h be ((-6)/w)/((-2)/(-20)). Is 24 a factor of c(h)?
True
Let r = 1435 - 805. Does 18 divide r?
True
Let t = -928 - -1220. Is 4 a factor of t?
True
Is -4*457518/(-504) + 4/(-42) a multiple of 19?
False
Let q be 3 + -4 + -3 + -18. Is 10 a factor of (-18)/(-99) + (-2240)/q?
False
Suppose -2*j + 10*j - 40 = 0. Suppose 0*o + o - 182 = -j*z, 0 = z - o - 40. Is 4 a factor of z?
False
Is 15 a factor of (-6)/((-2)/150*-4)*-4?
True
Suppose -k - k = 3*t + 3, -3*t = 5*k + 3. Is (t - 46/10)*(-325)/65 a multiple of 17?
False
Let k(o) = o**3 + 2*o - 1. Let u be k(0). Let x = 15 - u. Is 8 a factor of x?
True
Suppose -45 = -5*a - 2*s + 6*s, -a + 4*s + 9 = 0. Let k = a - 9. Suppose k*m = -3*m + 21. Is 4 a factor of m?
False
Let z be (-1)/3*(-12 - 3). Suppose -z*d + 267 = -68. Does 12 divide d?
False
Let v = -14 - -3. Let j be (-57)/v + (-18)/99. Suppose 0*b + 135 = j*b. Is b a multiple of 20?
False
Suppose -8*d + 7104 = -432. Is d a multiple of 33?
False
Let j(g) = -g**3 - 14*g**2 + 16*g + 19. Let i be j(-15). Suppose 113 = 2*r + n, 0 = -3*r + n - 4*n + 174. Suppose i*h - 191 + r = 0. Does 11 divide h?
False
Suppose -7*j + 2 = -9*j. Is -108*(j - 1/(-2)) a multiple of 27?
True
Suppose 0 = 4*a - 0*a - 168. Let h = a - -25. Suppose 6*j - 3*j = -5*b + 79, 5*b = j + h. Does 6 divide b?
False
Let k(p) = -2*p - 5*p - 1 + 5*p. Let b be k(-2). Suppose -3*n - b*g + 16 = -2, -3*n = g - 18. Is n a multiple of 6?
True
Let n(b) = 9 + b - 15 + 7. Let l be n(3). Suppose 3*g - l*i - 34 - 34 = 0, 2*g - 2*i - 46 = 0. Is 8 a factor of g?
True
Let s(q) = 1128*q**2. Is