alse
Let o(u) = u**2 - 17*u - 6. Let a be o(-13). Suppose -7*j = -j - a. Is j a multiple of 32?
True
Suppose -3*l + 193 = -1667. Suppose 4*u + u = l. Is u a multiple of 19?
False
Let a(m) = 2*m - 3. Let k be a(10). Let x(q) = -q**2 + 21*q - 14. Is 10 a factor of x(k)?
False
Suppose 0 = -b - 2*x - 13, -4*b = -2*x + 34 - 2. Let n(w) = -3*w - 15. Does 4 divide n(b)?
True
Let z(c) = c**3 + 4*c**2 + c - 10. Let o be z(-3). Is 13 a factor of 206 - (o - -2) - (-1 + 0)?
False
Let d be ((-10)/(-3))/(4/6). Suppose -t = d*h + 4*t - 10, 0 = -5*h - 3*t + 18. Suppose h*c - 5 - 91 = 0. Does 6 divide c?
False
Let m(g) = -4*g**3 - 5*g**2 - 2*g**3 - 5*g - g - 3 + 0*g**3. Does 14 divide m(-2)?
False
Let r = 68 - 48. Does 7 divide 49/((-5)/r*-4)?
True
Let y = 219 - -532. Is y a multiple of 42?
False
Let y = -376 - -355. Let s(i) = -9*i**3 + 2*i - 1. Let p be s(1). Let h = p - y. Does 4 divide h?
False
Let m(a) = a**3 - 11*a**2 + 19*a - 12. Is 5 a factor of m(11)?
False
Let h be ((-18)/8)/((-13)/52). Let k(i) = i - 9. Let y be k(h). Let c(x) = x + 19. Is 10 a factor of c(y)?
False
Suppose 26*g = 10251 - 1619. Is 38 a factor of g?
False
Let g = -11 - -5. Let r = g + 9. Suppose 0 = -r*h - 2*h + 150. Is 10 a factor of h?
True
Let q = 472 - 246. Let y = q + 3. Is 31 a factor of y?
False
Let n be ((-3)/9)/(3/(-45)). Suppose 0 = n*q - 2*q - 54. Suppose 6*u - q = 5*u. Does 15 divide u?
False
Let m be 4*((-48)/(-3) + 1). Let o = m - 28. Is 10 a factor of o?
True
Let o(l) = -2*l**3 - l**2 - 2*l + 18. Let n be 5/(-3) + 2 - 5/15. Is 18 a factor of o(n)?
True
Let s(p) = 7*p - 15. Let c be s(8). Let b = 82 - c. Is b a multiple of 13?
False
Let p(g) = 4*g**3 - 72*g**2 - 50*g + 38. Is 53 a factor of p(19)?
False
Suppose 4*v - 6*v = 8, 11668 = 4*z + 2*v. Is z a multiple of 7?
True
Let c = 20 - 14. Let j be (10/(-3))/((-1)/c). Suppose 0*p = -p + j. Does 20 divide p?
True
Let p = -10 + 15. Suppose 0 = -r - 0*r + p*s - 60, 2*s + 231 = -3*r. Let j = -39 - r. Does 9 divide j?
True
Let x = -59 + 145. Is x a multiple of 3?
False
Let i(c) = 3*c**2 + 22*c + 28. Is 9 a factor of i(-10)?
True
Suppose -77 + 13 = -2*k. Is 14 a factor of k + 3 + 5 + -2?
False
Let m(k) = k**3 + 6*k**2 + 4*k + 3. Let x be m(-3). Let j be x + -14 - 2/2. Suppose -4*s + 4 + j = n, n = 3*s + 28. Is 4 a factor of n?
False
Let f = 5 + 4. Let d = f - 13. Is 14 a factor of (14/d)/((-6)/72)?
True
Suppose -14 = -2*l + 26. Suppose q = 5*q + l. Does 3 divide 5 + -3 - (q - -2)?
False
Suppose -3*f = -5*f + 510. Suppose 30 - f = -3*c. Does 15 divide c?
True
Let z = 8 + -5. Suppose 3*j = z*r + 230 - 38, 2*r = 3*j - 129. Let w = -18 - r. Does 11 divide w?
False
Let j = 621 - 554. Does 2 divide j?
False
Let i be 2 - 628/(-4 - -6). Let l = -182 - i. Is l a multiple of 34?
False
Let x(c) = 131*c**2 - 83*c + 4. Does 76 divide x(-4)?
True
Let k be (-10)/(-6) - (-8)/24. Suppose -5*v - 25 = 0, 4*v = -k*q + 2*v - 26. Is 12 a factor of (-28 + 0)*(q - -7)?
False
Let j = 1566 + -720. Does 47 divide j?
True
Let n = 51 - 18. Let f = 73 + 32. Is (-2)/11 + f/n even?
False
Let f be (-14)/(-3) - (-12)/9. Suppose 7*q - f*q = 2. Is (17/17)/(q/118) a multiple of 11?
False
Suppose -867 = -15*v + 4308. Is 5 a factor of v?
True
Let w(k) = -k**2 + 22*k + 61. Let s be w(21). Suppose i - 113 = s. Is i a multiple of 13?
True
Let j be (1 - -3)/(-2) - -20. Suppose 3*r - r = j. Suppose 2*y + 18 = 2*o, 5*y + 8 = o - r. Does 7 divide o?
True
Let d = -45 - -50. Suppose -4*o = -d*y + 66 + 44, 53 = 3*y - 5*o. Is 13 a factor of y?
True
Let r(i) = -2*i**3 - 11*i**2 + 2*i - 27. Does 4 divide r(-7)?
False
Suppose -q = -5*t - 208, 17 - 166 = 4*t + 5*q. Let j = t + 57. Does 7 divide j?
False
Let r(o) = 28*o - 2. Let v = -29 + 31. Suppose -6*g + v*g + 8 = 0. Is r(g) a multiple of 27?
True
Let m(c) = -c**2 - 31*c + 2. Let l be m(-15). Let o = -134 + l. Does 9 divide o?
True
Is 2006 + 290/60 + 10/(-12) a multiple of 49?
False
Let h(v) = 64*v - 429. Is 9 a factor of h(16)?
False
Suppose 36 = -4*s - 2*r, -8 = -4*r + 2*r. Let t = 15 + s. Suppose t*q = -2*y + 38, -5*y = 3*q + 2*q - 100. Does 21 divide y?
True
Let l(u) be the third derivative of u**4/8 - 10*u**3/3 + 5*u**2. Is 7 a factor of l(18)?
False
Suppose i = 2*o + 2*o - 7, -2*o - 4*i + 8 = 0. Let h be (3/6)/(o/8). Is 13 a factor of (-2)/h + 3 + 50?
True
Let r(a) = -a**3 + 4*a**2 - a + 8. Let n be r(4). Suppose u = -n*u. Suppose i + 3 - 38 = u. Does 7 divide i?
True
Let h be (90/(-2) - -5)*-1. Suppose f - 69 = -h. Is 29 a factor of f?
True
Suppose 4*o = 2*o + 5*w + 366, 5*o + 2*w - 915 = 0. Is 23 a factor of o?
False
Let g = 3740 + -2453. Is 38 a factor of g?
False
Let u(j) = -j**2 - 13*j - 11. Let p be u(-7). Suppose -3*m + p = 4*o - 629, 3*o - 657 = -3*m. Is 27 a factor of m?
True
Is 47*-4*1196/(-368) a multiple of 52?
False
Is (107/321)/((-2)/(-8166)) a multiple of 12?
False
Let n(a) = 29*a**2 + 5*a + 28. Does 4 divide n(-4)?
True
Let q(c) = -c**2 + 4*c + 2. Let d be q(4). Suppose -2*u = 3*a, a - 2*a - d*u = 0. Suppose a = -3*k + 5*k - 48. Does 24 divide k?
True
Suppose 0 = -3*x - 3 + 9. Suppose 2*a = r - 8, -24 = -5*r + 4*a - x*a. Suppose -2*o = -r*o + 46. Does 23 divide o?
True
Suppose -12 + 0 = 3*z. Let c(p) = -p**3 - 4*p**2 - 3*p + 6. Is c(z) a multiple of 3?
True
Is 27 a factor of 3/((2/(-4))/((-1215)/10))?
True
Does 11 divide -1*(-1)/(7/1309)?
True
Let j be 86/2*-1*5. Let w = 305 + j. Is w a multiple of 18?
True
Let r be ((-12)/14)/((-66)/308). Suppose 0*f = f + 3*m, -f - r*m = 4. Is 12 a factor of f?
True
Suppose 3*a - 185 - 256 = 0. Let r = -71 + a. Does 19 divide r?
True
Suppose 2*l + 4*x = 722, -6*l = -l + 5*x - 1810. Is l a multiple of 33?
True
Let u = -564 + 1371. Does 15 divide 14/(-21) - u/(-9)?
False
Suppose 0 = -2*g + 431 + 469. Does 30 divide g?
True
Let u = -70 + 98. Does 16 divide u?
False
Let s(d) = d**2 - 10*d + 16. Let o be s(8). Suppose o = 4*z - 95 - 17. Is 7 a factor of z?
True
Is 12 a factor of ((4 - 0) + -762)*(-6)/4?
False
Suppose z - 2*z = 3*m - 10, 2*m + z - 8 = 0. Let a = 0 - -2. Is a*1*4/m a multiple of 2?
True
Suppose 3*a - 357 = -18*w + 21*w, -2*a + 3*w + 237 = 0. Is 6 a factor of a?
True
Let d(o) = 9*o - 5. Suppose -4*i = 5*m - 2*i - 16, -4*m + 4*i - 4 = 0. Does 13 divide d(m)?
True
Suppose -4*d + 70 = -534. Does 7 divide d?
False
Let w = 25 + -20. Suppose -35 + 225 = w*p. Does 38 divide p?
True
Let n = -43 + 44. Is -4 + (n - 1) + (352 - -4) a multiple of 32?
True
Let l(q) = -6*q**3 + q**2 - q - 1. Suppose -10*v - 4 = -6*v. Does 4 divide l(v)?
False
Suppose -u + 3 = 4. Let c = -11 - -48. Does 10 divide (5 - 6)/(u/c)?
False
Let x be -4*(-4)/20*(4 - -1). Suppose -3*w + 178 = x*q, 210 + 28 = 4*w + 5*q. Does 5 divide w?
False
Is 18 a factor of 29346/54 + (-36)/81?
False
Let a be 2/(-9) + (-47)/(-9). Suppose -5*k + 5*u + 155 = 0, -k + 47 = -0*k - a*u. Is k a multiple of 12?
False
Let q be ((-1142)/5)/((-6)/15). Let a = -395 + q. Does 18 divide a?
False
Let s be 5/25 + (38/10 - 2). Suppose -5*v - 84 = -3*p, 3*v + s*v = 4*p - 117. Is 33 a factor of p?
True
Let j(k) = k**2 - 9*k + 7. Suppose 2*t + h = 14, -t + 5*t - 24 = -3*h. Let g be j(t). Let s(d) = d**3 - 6*d**2 - 5*d. Is s(g) a multiple of 7?
True
Let n(a) = -26*a - 176. Does 28 divide n(-13)?
False
Suppose 1238 = -8*l + 9*l + 5*n, -n = 2*l - 2467. Is 76 a factor of l?
False
Let d(r) be the third derivative of r**5/30 - 5*r**4/24 - 5*r**3/3 - r**2. Let q(j) = j**2 + 28*j + 103. Let y be q(-24). Does 15 divide d(y)?
False
Let m(i) = 12*i**2 - 4*i - 6. Let o be m(-4). Suppose 0 = h - 2 - 3. Suppose h*t - 68 = o. Is t a multiple of 12?
False
Let q(p) = -17*p - 20. Let t be q(-7). Let s = 171 - t. Does 17 divide s?
False
Let p = 32 - 42. Does 24 divide (-964)/p + (-10)/25?
True
Suppose 4*g = 2*t - 54, -t + 5*g = 7 - 19. Does 37 divide t?
True
Let v = -31 + 20. Let a(b) = 2*b - 4*b + 22 - 6. Is a(v) a multiple of 19?
True
Let s = -289 - -493. Does 4 divide s?
True
Suppose 2*c + o = 334, 5*c + 127 = 3*o + 973. Does 42 divide c?
True
Let u(g) = -26*g - 2 - g + 6*g + 4*g. Let a(h) = -34*h - 4. Let s(p) = -4*a(p) + 7*u(p). Does 30 divide s(5)?
False
Suppose t + 2*t = -192. Let y be t/24*6/(-2). Is y/(-2 - -4) - -4 a multiple of 5?
False
Let d be (-3)/(-6)*(8 - 0). Suppose -4*w - d = -0*w. Is 58*(1 + w + 1) a multiple of 18?
False
Suppose -f