s y a multiple of 7?
False
Let s = 81 + -77. Does 4 divide 34 - (-5)/((-5)/s)?
False
Let b(y) be the second derivative of y**6/45 + y**4/12 + y**3 + 4*y. Let o(f) be the second derivative of b(f). Is 13 a factor of o(2)?
False
Let n = 594 + -256. Is n a multiple of 21?
False
Suppose 0 = 4*z - 58 - 214. Let o = -33 + z. Is o a multiple of 8?
False
Let m = 6 + -2. Suppose 0 = 10*s + 7*s - 4250. Suppose -m*a = 3*g - s, 1 + 3 = 2*g. Is a a multiple of 21?
False
Let f = -11 + 1. Is (5 - 20)*(-3 - 2/f) a multiple of 35?
False
Suppose 9*u - 3919 = 1652. Does 54 divide u?
False
Suppose 4*a + 0*a = 8. Suppose 2*c + a = 3*c. Suppose c*u - 82 = -10. Is 9 a factor of u?
True
Suppose i - 16 = -x, 4*i - 49 + 2 = -3*x. Suppose -96 - x = r. Let p = r + 182. Does 18 divide p?
False
Let d(t) = 3*t**2 + 13*t - 16. Suppose 8*g + 8 = 7*g. Is d(g) a multiple of 24?
True
Suppose -8015 = -5*n + 4*q, -3*n + 7975 = 2*n + 4*q. Is 41 a factor of n?
True
Suppose -5 + 25 = 5*p. Suppose 4*a - 3*g = -p*g + 42, -4*a + 54 = -5*g. Does 8 divide a?
False
Suppose -2*v = -p + 244, -2*p = -5*v - 50 - 434. Let i = p + -152. Does 32 divide i?
False
Let c be (-1 + 10/3)/(16/(-2496)). Let w = c + 679. Is w a multiple of 15?
True
Suppose -265 = -5*b + 2*c, b + 18 = 5*c + 48. Does 32 divide b?
False
Let m(x) = -5*x + 160. Does 12 divide m(-16)?
True
Suppose -5*x + 46 = -354. Is x/3 + (-16)/(-12) even?
True
Let a(w) = 71*w. Let q be a(2). Suppose 0 = -3*m - 0*m. Suppose n - 47 = -k, 5*n - 4*k - q - 66 = m. Does 14 divide n?
False
Is 66 a factor of 1*990*10/25?
True
Suppose 3*c - 4196 = a, -4*c = 6*a - 8*a - 5598. Is 45 a factor of c?
False
Let b(i) = i**2 + 12*i + 7. Let z be 4/8 - 23/2. Let r be b(z). Is r/((1/2)/(-1)) a multiple of 4?
True
Let w(j) = -15*j**2 - 3*j - 2. Let s be w(-1). Let i(r) = r**3 + 13*r**2 - 13*r + 19. Let p be i(s). Does 8 divide (p/(-2))/((-4)/48)?
False
Suppose 18*r - 2*r - 42864 = 0. Is 63 a factor of r?
False
Let q = -4246 + 7282. Does 138 divide q?
True
Let s = 14 + -24. Let v be ((-12)/s)/((-4)/(-40)). Suppose 3*t + 3*g = -0*t + 36, v = t - g. Is 10 a factor of t?
False
Let a(q) = -10*q - 36. Let x be a(-4). Is (-72)/(x + (-25)/5) a multiple of 18?
True
Suppose 8*l = 13*l - 65. Let u(q) = 4*q**2 - 5*q - 1. Let s be u(4). Let a = l + s. Is a a multiple of 20?
False
Let o(s) = 45*s - 1. Let d(r) = r + 7. Let f be d(-4). Let b be o(f). Suppose -55 = -3*l + b. Is l a multiple of 16?
False
Suppose 0 = 4*v - 8, 3*c + 72 = 7*c - 2*v. Does 3 divide c?
False
Let c(x) be the third derivative of -3*x**4/8 - 37*x**3/6 - 17*x**2. Does 23 divide c(-10)?
False
Let l = 30 - 27. Suppose l*m = 38 + 238. Is 21 a factor of m?
False
Let g(w) = 2*w**3 - w**2 + 3*w + 3. Let m be 1/3*(13 + -1). Suppose -5*a - 3 = -m*l, a = -l - 0*a + 3. Does 7 divide g(l)?
True
Let t(o) = -47*o**2 - 1. Let p be t(1). Does 5 divide (-248)/p + 2/(-12)?
True
Suppose -3*p = 3*k + 291, 0*k - 4*p + 72 = -k. Let r = k + -68. Is ((-6)/5)/(3/r) a multiple of 16?
True
Is 3*37/(-3)*1406/(-38) a multiple of 14?
False
Let p = 42 + 49. Let h = p + -35. Is h a multiple of 14?
True
Let o be (-26070)/(-48) + 1/(-8) + 0. Suppose 2*r = 3*g + o, 174 = 3*r + 2*g - 634. Is r a multiple of 11?
False
Let j = 41 + -45. Let y(g) = -g**3 - 2*g**2 - 3*g - 8. Is 14 a factor of y(j)?
False
Suppose 2*u = 4*c + 10, 0 = -c + u + 4*u - 25. Suppose 2*o - 2*r - 162 = c, 0 = -5*r + 12 + 8. Is 8 a factor of o?
False
Is 17 a factor of -2 + (374 + 0)*(-6)/(-12)?
False
Let u(a) = -2*a**2 - 5*a - 4. Let w be u(-3). Let t = w + 131. Suppose 5*v - t = 81. Is 9 a factor of v?
False
Let i(v) = 190*v + 46. Is 7 a factor of i(5)?
False
Let k be ((-55)/35 + 2)/(3/21). Does 15 divide k/12*4*360?
True
Suppose 1908 = 15*t - 11*t. Is t a multiple of 65?
False
Let m = -120 + 936. Is 24 a factor of m?
True
Let t = 78 - 78. Suppose -4*q - 40 + 136 = t. Is q a multiple of 3?
True
Let s = 415 + -417. Let f = -3 - -2. Is s*(f - (-93)/(-6)) a multiple of 11?
True
Suppose 576*t = 566*t + 5320. Is 38 a factor of t?
True
Let w(i) = 5*i + 13. Does 10 divide w(14)?
False
Suppose -4*n = -5*m - 102, -n + 31 + 0 = -4*m. Is n a multiple of 2?
False
Let w(d) = d**2 - 7*d + 7. Let q be w(10). Let i be q + (-3 - -4) + -2. Suppose 5*h = 3*n + i + 105, 69 = 2*h + 3*n. Does 30 divide h?
True
Suppose -3*m + 2227 = 2*n + 2*n, 4*n - 2964 = -4*m. Is 18 a factor of m?
False
Let f = 2 - -190. Does 28 divide f?
False
Let b(c) = c**2 - 5*c + 13. Let k be b(-15). Suppose 4*s - 8*y - k = -3*y, 0 = 2*s - 3*y - 159. Does 8 divide s?
True
Suppose b = -2*w + 3, 0*w = -w - 2*b - 6. Suppose 4*s - 8 = 5*s + 4*x, -w*s + 4*x = -8. Suppose 2*o - 72 = -s*o. Is 24 a factor of o?
False
Let i = -186 + 236. Is 10 a factor of i?
True
Suppose -21*j + 19*j + 18 = 0. Is 15 a factor of 362/9 - 2*1/j?
False
Suppose -2*a = 27 - 99. Suppose a + 504 = 3*w. Is w a multiple of 30?
True
Let v be 2/(-1 + -1) + 6. Let h(d) = -d**2 + 5*d + 3. Let r be h(v). Suppose -r*l + 150 + 39 = 0. Does 25 divide l?
False
Is (-80)/(-1) - (-11 - -4) a multiple of 29?
True
Let j = 1583 - 1033. Suppose 16*x - j = 11*x. Is 15 a factor of x?
False
Suppose -5*k + 19 = -36. Suppose 0 = -5*p + 26 - k. Suppose -3*b + 96 = o - 62, -282 = -5*b + p*o. Is b a multiple of 18?
True
Let k(r) = r**3 + 10*r**2 + 10*r - 1. Let n be k(-8). Suppose -n = 7*x - 131. Is 12 a factor of x?
True
Let d(k) = 36*k - 37. Is 13 a factor of d(50)?
False
Let w be (4/(-10))/((-13)/(-260)). Is 38/(-2*4/w) a multiple of 19?
True
Let l = -25 + 34. Let k = 54 + l. Is 21 a factor of k?
True
Let z(k) be the second derivative of -k**6/144 + k**5/12 + k**4/12 + 6*k. Let x(q) be the third derivative of z(q). Does 8 divide x(-5)?
False
Suppose o - 5 = 2*o, -655 = -z + 5*o. Is 4 a factor of z?
False
Is (-25564)/(-70) - (-18)/(-15) a multiple of 26?
True
Let g(p) = -p**3 + 19*p**2 + 24*p - 3. Does 3 divide g(20)?
False
Let v = -36 + 42. Let p(j) = 20*j + 24. Is 18 a factor of p(v)?
True
Let n be 71 + (-2 - -3 - 5) + 8. Let i = n + -43. Is 2 a factor of i?
True
Let m(o) = -2*o - 4. Let z be m(-3). Let w be ((2 - z)*1)/2. Let q = 33 + w. Is 11 a factor of q?
True
Is (10052/16)/(-3 - 175/(-56)) a multiple of 45?
False
Let k be (-111)/(-12) - 1/4. Let o(f) = 16*f - 20. Does 31 divide o(k)?
True
Suppose 0 = -a - 4*a - 10. Does 23 divide 94 - -2 - 6/a?
False
Let m(u) = -2*u**2 + 2*u + 6. Let h be m(-4). Let j be h/(-2) + 1 + -1. Suppose -4 - j = -s. Is s a multiple of 21?
True
Let s(l) = 5*l**3 + 3*l**2 - 6. Is s(2) a multiple of 4?
False
Let l = -15 - -17. Suppose -l*g + 18 + 2 = 0. Does 3 divide g?
False
Let x = -8 - 20. Does 27 divide (-14)/(-7) - (3 + x)?
True
Let h = -153 + 223. Let b = h + -48. Is 4 a factor of b?
False
Let s(q) = q**3 - 5*q**2 - 4*q - 2. Let n be s(5). Let j = -8 - n. Let f = j - -36. Is 14 a factor of f?
False
Let x = -391 - -802. Let c = -239 + x. Is 32 a factor of c?
False
Suppose -3*r - 6 = 0, 5*k - 37 = 2*r - r. Let d(z) = 18*z - 56. Is d(k) a multiple of 10?
True
Is ((-51)/(-2))/((-2472)/832 - -3) a multiple of 34?
True
Let j(l) = -40*l + 0 + 50*l + 2. Is j(3) a multiple of 16?
True
Suppose 17*a = 15*a + 366. Is a a multiple of 8?
False
Let n(g) = -7*g + 24. Is n(-3) a multiple of 15?
True
Suppose -y + 37 = 4. Does 33 divide y?
True
Is (-2 + 5)*3/(45/190) a multiple of 3?
False
Let o(g) = -2*g + 69. Is 4 a factor of o(0)?
False
Suppose 0 = 15*p - 32 - 28. Let x(d) = 2*d**2 - 5*d + 4. Is x(p) a multiple of 4?
True
Let h = 705 - 650. Is h even?
False
Suppose -323 = 8*d - 27*d. Is d a multiple of 10?
False
Let u be 2/13 - 14336/(-104). Is (u/4)/((-3)/(-8)) a multiple of 23?
True
Let a(g) = -g**2 + 13*g - 22. Let i be a(9). Let l(z) = z**2 - 10*z + 16. Let d be l(i). Suppose 0 = 3*b - 6*b + d. Is b a multiple of 9?
False
Let m be ((-6)/(-8))/(10/(-80)). Let t be m/(-10) + (-15)/25. Suppose t*r - 168 = -2*r. Is 28 a factor of r?
True
Suppose i + 12*i - 8710 = 0. Is 67 a factor of i?
True
Let n(f) = 7 - 3 + 3 - 6*f. Does 13 divide n(-14)?
True
Let h = 1537 - 1059. Is h a multiple of 49?
False
Suppose -7*g = -20*g + 9984. Is 24 a factor of g?
True
Suppose 39*m = 23*m + 8320. Does 65 divide m?
True
Let x be 735/9 - (-2)/6. Suppose 0 = 3*q + 15, -q + 5 = -2*k - 2*q. Suppose 5*z - x - 13 = k. Is 14 a factor of z?
False
Let y = 67 - 20. Suppose -3*j = 