)?
False
Is ((-1254)/55)/(2/10*-1) a multiple of 15?
False
Let l = -1 - -18. Let q(p) = 2*p. Let d be q(-1). Let j = d + l. Is 15 a factor of j?
True
Let y = 0 - 0. Suppose -4*p + 20 = -y. Suppose -t = -5*g + 59, 5*t - 43 = -p*g + 2*t. Is g a multiple of 6?
False
Suppose -n - 62 = -2*z + 3*n, 2*z = -n + 37. Is z a multiple of 21?
True
Suppose -5*u + 29 = n, 4*u - 6 = -n + 27. Let z = 40 + n. Does 31 divide z?
False
Let b be (-6)/((-128)/(-44) - 3). Let q = 0 - -3. Is 10 a factor of 1/(q*2/b)?
False
Let x(j) = j**3 - 2. Let c be x(2). Let n(r) be the second derivative of r**5/20 - r**4/3 - 7*r**3/6 + 9*r**2/2 + r. Does 14 divide n(c)?
False
Does 16 divide 1/(-1) + 46 - -3?
True
Let i(p) be the second derivative of -p**5/120 + p**4/8 - p**3/6 - p. Let s(d) be the second derivative of i(d). Does 9 divide s(-6)?
True
Suppose -48 = -2*y - 2*z - 2*z, 3*z + 133 = 5*y. Suppose 2*h + 20 = b, y = -3*b - 5*h + 86. Does 19 divide b?
False
Let l(v) be the third derivative of 11*v**6/120 - v**4/8 + v**3/3 + 6*v**2. Is 5 a factor of l(1)?
True
Let x(u) = u**3 - 3*u**2 + 3*u. Let p be x(2). Let r be p - (1 - 1)/2. Suppose r*q + 0*o = 3*o + 2, 2*o = -2*q + 22. Is q a multiple of 4?
False
Let r(k) = k**3 - 3*k**2 - 2*k - 5. Suppose 0 = t - 4 - 14. Let o be t/5 - (-6)/15. Is r(o) a multiple of 2?
False
Suppose -3*f = -2*f + 79. Suppose 0 = 4*n - 5*n - 44. Let w = n - f. Does 12 divide w?
False
Let b = -44 - -73. Does 6 divide b?
False
Let k(m) = -m**2 - 12*m - 5. Let w be k(-10). Let t be w/4 + (-2)/(-8). Suppose 0*l - t*l = -64. Is l a multiple of 11?
False
Let v be -2 - 1 - (-179 - 1). Suppose v - 61 = 2*t. Is 15 a factor of t?
False
Suppose -5*q - 5*m = -400, -q - 3*m + 70 = -0*m. Does 16 divide q?
False
Let s = -1 + 2. Suppose 5*n - 3*r = s, -5*n - 1 = -r + 2. Does 9 divide 8 + -7 - (n - 15)?
False
Let f(x) = 13. Let g(d) = -d + 12. Let y(o) = 5*f(o) - 6*g(o). Does 13 divide y(6)?
False
Let n(w) = -6*w**2 + 3*w + 4. Let t(r) = -r**2 + r. Let f(l) = -n(l) + 5*t(l). Let o be f(-4). Suppose 0 = -o*a - 0*a + 68. Does 6 divide a?
False
Let g = 9 - 10. Let l be 3 + (2 - g/1). Suppose -2*f - l - 100 = -3*w, 210 = 5*w + 5*f. Is w a multiple of 16?
False
Suppose 0 = -3*w + 4*m + 4, 3*w + m + 10 = 6*w. Does 8 divide (-1)/w + 243/12?
False
Suppose r - 5*w - 63 = 0, 28 = r + 4*w - 2*w. Is r a multiple of 26?
False
Let d(i) = i**3 - 1. Let f = -2 + 3. Let t be d(f). Suppose 3*l + 0*l - 3*p = 15, -2*l - 5*p + 17 = t. Is 6 a factor of l?
True
Suppose 0 = -4*b + 3*b + 7. Let t = b + 8. Is 9 a factor of t?
False
Is 106/1 - (-68)/17 a multiple of 11?
True
Let t be (-1)/2*(-116 + 8). Does 30 divide ((-20)/(-3))/(6/t)?
True
Suppose k + 3*w - 148 = -w, -5*w = -2*k + 283. Is k a multiple of 18?
True
Suppose -y = 4*y - 90. Let b be y/(-12) - (-86)/4. Suppose -5*w - 3 = -4*o, 5*w = 5*o + 2*w - b. Is o a multiple of 7?
True
Let o = -3 - -1. Let m(l) = 3*l**2 + 3*l + 2. Is 8 a factor of m(o)?
True
Suppose -10*l + 19 = -6*l - 3*v, -l - 2 = -3*v. Is l a multiple of 7?
True
Let b(p) be the third derivative of p**5/30 - p**4/3 + 5*p**3/3 + p**2. Is 13 a factor of b(7)?
True
Let c be -3*((-3 - -1) + 1). Let d = 25 + c. Does 14 divide d?
True
Suppose 6*b - 467 - 205 = 0. Is 16 a factor of b?
True
Let n be (70/21)/((-1)/(-3)). Suppose -5*b = n - 30. Is b/8*1*58 a multiple of 13?
False
Suppose n + 127 = 4*n + 5*i, -3*n - 2*i = -121. Let a = 59 - n. Does 8 divide a?
False
Suppose 8*r - 567 = 353. Does 6 divide r?
False
Let p = -11 + 15. Suppose -p = 5*r - 264. Suppose 12 - r = -4*l. Does 10 divide l?
True
Let y be (9 + 0)*1/3. Suppose -2*o + 4*x + 2 = 0, -y*x - 2*x = o - 8. Suppose -2*u - 35 = -p - 0*u, -o*p = 4*u - 65. Does 16 divide p?
False
Let q be (-9*3)/3 + 1. Is ((-26)/q)/(2/8) a multiple of 5?
False
Suppose 0 = -2*p + 3*d + 29, -5*d = 2*p - 4*d - 9. Suppose -5*q - z = -205, p*q - 3*q = 2*z + 150. Is q a multiple of 11?
False
Suppose -31*d + 6 = -30*d. Does 2 divide d?
True
Let v(h) = h**3 - 6*h + 10. Is 21 a factor of v(5)?
True
Let y(p) = -4*p. Let j(z) = z + 1. Let m(g) = -3*j(g) - y(g). Let u be m(10). Suppose 28 = u*s - 3*s. Is s even?
False
Suppose -w + 77 = 3*u - 24, -36 = -u + 2*w. Is 3 a factor of u?
False
Suppose 12 = -x - 2*x. Let l be (-27)/(-3) + -4 + 4. Let y = l + x. Does 5 divide y?
True
Let j(y) = 4*y - 8*y**2 + 7*y**2 + 3 + 0*y. Let m(b) = -2*b**2 + 4*b + 3. Let l(a) = 3*j(a) - 2*m(a). Is l(-5) a multiple of 8?
True
Let u be 7/(-28) + 82/8. Let v = u - -17. Is 8 a factor of v?
False
Suppose 0 = p + p + 2*i - 112, 8 = 4*i. Suppose -6 + p = 4*q. Suppose -3*d + q = -0*d. Is d a multiple of 4?
True
Let q = 312 - 198. Is q a multiple of 57?
True
Suppose -4*m + 6 + 59 = q, -4*m + 59 = -5*q. Suppose 2*r + 0*r - m = 0. Does 5 divide r?
False
Let h(n) = -3*n + 2. Let a be h(6). Let g = a + 40. Is g a multiple of 23?
False
Let g = -58 - -95. Does 12 divide g?
False
Let o(i) = i**3 + 4*i**2 - 7*i - 6. Let u be o(-5). Suppose -u*f + 58 = 3*w, -5*w - 2*f + 16 = -4*w. Let d = w + -13. Does 9 divide d?
False
Let j = 377 + -197. Is 23 a factor of j?
False
Let m(i) = 5*i**2 - 3*i. Let z be m(3). Is -1 + (z - (2 + 1)) a multiple of 16?
True
Let f(t) be the third derivative of -t**6/120 - 11*t**5/60 - 7*t**4/12 - 2*t**3 - 8*t**2. Does 7 divide f(-10)?
True
Let o be 96/(5 + -7) - (-3 - 0). Suppose 0 = -5*c + n - 23, c - 2*n - 5 = 3*n. Is 12 a factor of o/(-6)*(-16)/c?
True
Suppose -4*y = -5*b, -3*y - 2*b - b = 0. Suppose y = -4*u - 7 + 407. Suppose -u = -5*v - 0*v. Is v a multiple of 20?
True
Let n be (-1 + -27)*68/(-16). Let j = n - 71. Does 24 divide j?
True
Let u = -3 + -5. Let k(b) = 7*b**2 + 1 - 11*b - b**3 + 2*b**3 - 10. Does 15 divide k(u)?
True
Suppose 3*b = i + 9, 3*b - 4*i = -8*i - 6. Suppose f = -b*f - 4*a + 88, -4*f + 2*a = -88. Is f a multiple of 8?
True
Is 24 a factor of -384*(-8)/(192/18)?
True
Let v = 2 + -2. Let g(j) be the first derivative of -j**4/4 - j**3/3 + j**2/2 + 41*j + 1. Does 19 divide g(v)?
False
Let m = -112 + 247. Does 9 divide m?
True
Let n(u) = -u**3 - 10*u**2 - 9*u + 3. Let p be n(-9). Suppose 0 = -p*b + 2*i + 87, -2*b + 2*i = 5*i - 45. Does 17 divide b?
False
Suppose -p - 227 = -2*a, p = a + 2*p - 106. Suppose 5*k + w + 3*w - 132 = 0, -4*k + a = 5*w. Is 9 a factor of k?
False
Suppose -2*p + 6*p = -5*r + 270, -4*r = -p + 57. Is 25 a factor of p?
False
Is (27/12)/(15/640) a multiple of 32?
True
Let u = 137 - 65. Does 16 divide u?
False
Suppose -4*x - 1 = -17. Suppose x*j - 8 = 12. Suppose -6*f + 2*f = 4*q - 20, -j*f = -q + 17. Is q a multiple of 7?
True
Suppose 2*a = -4*d + 324, 3*d + a = -2*d + 402. Is d a multiple of 16?
True
Let m(q) = -13*q - 6. Let z be m(-4). Suppose k - 5*k - z = -2*u, 0 = -4*u - 5*k + 53. Does 5 divide u?
False
Let x = 36 - 26. Does 6 divide x?
False
Let q(l) = l**3 - 7*l**2 + 7*l - 1. Let i be q(6). Is i*(0 + 52/10) a multiple of 13?
True
Let y be (46/(-6))/((-2)/36). Suppose -y = -5*v + 57. Is v/((-4)/(8/(-3))) a multiple of 7?
False
Is 7 + 2 + 2 + -3 a multiple of 4?
True
Let x be ((-4)/(-12))/((-3)/63). Let j be (x/14)/((-1)/(-94)). Let p = -33 - j. Is 5 a factor of p?
False
Let y = 11 + -9. Suppose w + y*w = 12. Let g = w - -6. Does 10 divide g?
True
Suppose -5*c + 0*c = -510. Suppose -4*q - c = -346. Let d = -35 + q. Is d a multiple of 19?
False
Let g(z) = z**3 + 7*z**2 - 8*z + 3. Let d be g(-8). Suppose c - 2*c = -4*n + 173, -3*n = -d*c - 141. Suppose 0*y - y = -n. Is y a multiple of 14?
True
Suppose -5*q + 109 + 184 = 3*n, 3*n + 287 = 5*q. Suppose 3*b + q = 2*i, -2*b = b + 6. Is i a multiple of 13?
True
Let g = -7 + 16. Suppose -g = 5*x - 144. Does 9 divide x?
True
Suppose -5*h = -2*h. Suppose 70 = 3*b - 5*q - 0*q, h = 5*b - 2*q - 85. Is 15 a factor of b?
True
Let b = -48 + 22. Let s = 42 + b. Is s a multiple of 11?
False
Suppose -1258 = -10*k - 7*k. Is k a multiple of 4?
False
Let w(z) = z - 8. Let a be w(8). Suppose a = -3*c - 9, 2*t = 3*t + c - 48. Does 19 divide 2/(2/t) - -3?
False
Let o = -63 - -108. Is o a multiple of 15?
True
Let z be 1 - (-23 + (-3)/(-3)). Let u = z - 10. Does 6 divide u?
False
Let t = 5 + -1. Suppose -4*h - 38 = 2*y, t*h = 3*y + 59 - 2. Let o = 45 + y. Does 13 divide o?
True
Let t(s) = -s**2 - 8*s + 7. Is t(-4) a multiple of 6?
False
Let j(t) = -t**2 - 5*t - 4. Let h be j(-4). Suppose h = 2*q 