
False
Is 22 a factor of 263 + -2 + 5 - 2?
True
Let f be (8 - 4)/(4/3). Suppose -f*b = -b - 56. Suppose -5*x = -4*g + b + 9, 28 = g + 5*x. Is 13 a factor of g?
True
Let k = 4004 - 1171. Is 6 a factor of k?
False
Suppose v = 3*v - 8. Suppose r - 89 = v*f, -5*f + f = -12. Does 17 divide r?
False
Let o(f) = f**2 - f - 11. Let p be o(9). Suppose 3*u - p = 71. Suppose 106 + u = 3*k. Is 14 a factor of k?
False
Suppose 11*y = 12*y + 86. Let l = -58 - y. Does 7 divide l?
True
Is 19 a factor of (-4)/(-3 + (-3471)/(-1161))?
False
Suppose -2*p = -4*s + 4, 4*s + 4*p + 8 = 9*p. Does 3 divide s?
True
Suppose -5 = -3*l - r + 7, 2*l = -5*r + 8. Suppose x = 5*x - 4, -5*i + 614 = l*x. Is 39 a factor of i?
False
Let o(b) = 45*b**3 - b**2 + b + 2. Let c be o(-2). Is (-3)/((-36)/(-8)) + c/(-6) a multiple of 4?
True
Let o(h) = -h**3 + 8*h**2 + 2*h - 3. Let m be o(4). Let q = 105 - m. Suppose 3*x = 2*x + q. Is 15 a factor of x?
False
Is 34 a factor of 15/(-6)*16/20 + 1664?
False
Is 4 a factor of 8/(-36) + (-7)/(252/(-9872))?
False
Let p(n) = 78*n + 84. Let l be p(6). Suppose -4*b + 6*b = l. Is b a multiple of 23?
True
Let i(u) = -u**2 + 12*u + 22. Suppose -4*j = -15*j + 143. Does 9 divide i(j)?
True
Let s = -54 - -56. Suppose s = -2*x + 20. Does 4 divide x?
False
Let c(k) = k**3 - 16*k**2 + 8. Let z be c(16). Is 1 + (-14)/8 + 678/z a multiple of 14?
True
Let h(l) be the first derivative of -25*l**2/2 + 3*l - 8. Is 14 a factor of h(-1)?
True
Suppose -3*c + 12 = 0, 31*z = 35*z + 5*c - 5396. Does 21 divide z?
True
Let v = 4 - 1. Let m = -12 + 23. Suppose v*n = -5*c + 84 + m, 0 = 2*n. Does 16 divide c?
False
Let b = 283 + 91. Is b a multiple of 41?
False
Let g = -2025 - -2860. Is 16 a factor of g?
False
Let c(i) = -44*i - 37. Let r(b) = 43*b + 36. Let o(j) = 5*c(j) + 4*r(j). Is 12 a factor of o(-4)?
False
Let y(j) = -11*j**2 - 6*j**2 + 7 - j**3 + 0*j**3 - 18*j. Let i be y(-16). Suppose w + 6 - i = 0. Is 11 a factor of w?
True
Suppose 5*x = -61*g + 65*g - 9412, 3*g = -x + 7040. Is 106 a factor of g?
False
Suppose q - 4800 = -14*q. Is 20 a factor of q?
True
Let m = -247 + 604. Is 21 a factor of m?
True
Suppose -5*g - m = -6147, m = -21*g + 18*g + 3687. Is 106 a factor of g?
False
Let z(c) = -26*c + 2. Let k(y) = -2*y**2 - 12*y - 1. Let p be k(-6). Is 7 a factor of z(p)?
True
Is 13 a factor of ((-1805)/(-70) - 2/7)*18?
False
Let a(j) = -j**3 - 2*j**2 - 16. Does 32 divide a(-7)?
False
Let w(p) = -4*p**3 - 19*p**2 - 14*p - 29. Is w(-5) a multiple of 11?
True
Let z be 4/(-2)*(-18)/12. Suppose 2*v - 15 = -z. Is 6 a factor of v?
True
Suppose 5*s + 865 = 2*m, 3*m + 2*s = 4*m - 430. Is m a multiple of 21?
True
Suppose -5*m - 2*r + 11 + 14 = 0, 0 = 3*m + 4*r - 1. Suppose 3*n + 8 + m = 0, 5*v - 3*n = 170. Does 9 divide v?
False
Let q(j) = -5*j**2 + j - 1. Let d be q(1). Let t be 6 + d + (1 - 0). Suppose -3*c = -4*h + 77, t*h = 3*c + 9 + 22. Is h a multiple of 10?
False
Is (-3842)/(-6) - (10 + 512/(-48)) a multiple of 6?
False
Suppose 42 = -5*v - 2*g - 38, 4*g = -20. Let a = 15 + v. Let l(y) = 15*y + 1. Is 14 a factor of l(a)?
False
Let a = 1699 - 551. Does 41 divide a?
True
Let c(k) = k**3 - 12*k**2 + 6*k + 12. Let q be c(12). Suppose -q = -3*a - 4*a. Is a even?
True
Suppose -5*u - 4633 = -3*i, -109*i - 5*u - 6174 = -113*i. Is i a multiple of 10?
False
Suppose a = 5*m + 53, 4*m + 146 = 2*a + 2*m. Let x = -18 + a. Is x a multiple of 15?
True
Suppose -122 = -4*w - 5*i + 871, -3*w + 762 = -2*i. Suppose 80 - w = -2*c. Does 22 divide c?
False
Let i be -1 - (-6)/(-2)*-2. Suppose i*q + 3*z = q + 31, 0 = -3*q + 4*z + 42. Let b = -1 + q. Is 9 a factor of b?
True
Suppose -2*d + 2*s - 4 = -18, -4*s = -3*d + 24. Suppose -10 = -k - d*k. Suppose 5*j + 0*z + z - 253 = 0, -k*z = j - 47. Does 20 divide j?
False
Suppose -3*o - r = 4*r - 40, 2*r = 2*o - 16. Let q = 35 - o. Suppose 0 = -4*l + q + 119. Does 15 divide l?
False
Let u(o) be the first derivative of o**3/3 + 2*o - 2. Suppose 0*s - 16 = 4*s. Is u(s) a multiple of 17?
False
Suppose -361 = -5*t + 2*t + 5*q, -t - 3*q = -111. Suppose 3*k + 165 = -5*x, 0 = -6*k + 2*k - 5*x - 215. Let a = k + t. Does 19 divide a?
False
Let v = 177 - 107. Is v a multiple of 4?
False
Suppose -4*c - 3 = -i - 0*c, -5*c = -2*i. Let q = i - -26. Is q a multiple of 4?
False
Let h = -27 + -117. Let s = h + 222. Does 5 divide s?
False
Let y = -2469 - -5099. Is -2 + 24/13 - y/(-26) a multiple of 20?
False
Let c(m) = m**3 + 2*m**2 - 6*m + 213. Is 35 a factor of c(0)?
False
Suppose -4*t = j - 1028, 4*j = 2*t - 7*t + 4167. Let b = j + -748. Is 47 a factor of b?
False
Let d be (-1)/(-4) - 10716/(-16). Is d/7 + 76/266 a multiple of 33?
False
Let o = 24 - 20. Suppose 8 = -o*c, c = -3*x - 0*c + 16. Does 5 divide x?
False
Let a(q) = -q - 4. Let p be a(-7). Let g be p*((-14)/(-3) - 3). Let u(k) = 6*k + 4. Is u(g) a multiple of 17?
True
Let f(g) = -g**3 + g**2 + 1. Let o(t) = -4*t**3 + 11*t**2 + 6*t + 6. Let c(r) = -5*f(r) + o(r). Let w be c(-6). Let y = 65 + w. Is 15 a factor of y?
True
Let k be 5/(2/2 - 0). Suppose 0 = -2*b - 3*w + 201, k + 0 = 5*w. Is b a multiple of 11?
True
Let l(o) = 482*o**3 + 6*o**2 - 6*o. Is l(1) a multiple of 13?
False
Let d(b) = b**3 + 7*b**2 - 2*b + 336. Is 19 a factor of d(0)?
False
Let x(s) = -s**2 + s - 9. Let b be x(-4). Let w = 50 - b. Is 17 a factor of w?
False
Suppose 36*t - 31*t = -2*c + 25, c = -3*t + 11. Is 7 a factor of c?
False
Let z(k) = 33*k**2 + 7*k - 10. Let u be z(-5). Suppose -18*x - u = -23*x. Is x a multiple of 29?
False
Let r(o) be the first derivative of 3*o**4/2 - o - 1. Let g be r(1). Suppose -g = 2*u - 53. Does 12 divide u?
True
Is (196/(-3))/(753/54 + -14) a multiple of 12?
True
Suppose -178 = -2*n + h, -4*n + 5*h + 578 = 210. Let v = n - 5. Does 13 divide v?
False
Let l(v) = -21*v - 1. Let t be l(1). Let i = t + 11. Is 3 a factor of (i + 15)*15/4?
True
Suppose 4*c - 22 = -p + 16, 2*c - p = 16. Is 11 a factor of (1/3)/(c/4455)?
True
Let c(h) = 1035*h**2 - 22*h - 24. Is 11 a factor of c(-1)?
False
Let v(u) be the first derivative of 5*u**4/2 - u**3 + 2*u**2 - 6*u + 45. Does 21 divide v(3)?
False
Let k = -742 + 1297. Is k a multiple of 13?
False
Suppose 126 = 13*h - 12*h. Suppose 18 = 6*k - h. Is 8 a factor of k?
True
Let n = -1 - -5. Suppose n*c + o - 17 = 0, 5*o = 3 + 2. Is (0 - 6/c)*-46 a multiple of 23?
True
Suppose 27*d = 16*d + 11528. Is 5 a factor of d?
False
Let z = -35 - 4. Is 7 a factor of (-1)/1*(-12 + 9) - z?
True
Suppose -4*t + 5*i + 217 = 0, 2*t + 216 = 6*t - 4*i. Let p = -7 + t. Suppose -p = -2*u - 2*o, -u - 5*o + 13 + 10 = 0. Is u a multiple of 6?
False
Let x(t) = -t**2. Suppose -5*p + 2 = 7. Let i(w) = 15*w**2 - 3*w + 3. Let h(n) = p*i(n) - 18*x(n). Is h(-3) a multiple of 11?
False
Let x = 517 - -893. Is 100 a factor of x?
False
Let r = 15 - -4. Let n = r - 21. Let d = 33 - n. Is d a multiple of 14?
False
Let j(s) = -19*s + 17. Suppose z = 6*z - o + 5, 3*z = -3*o - 21. Is 11 a factor of j(z)?
True
Is 930/279*18/4 a multiple of 15?
True
Is 5 a factor of ((-2154)/10)/(33/(-110))?
False
Let g(f) = 2*f**2. Let a be g(-1). Let u(q) = -q + 4. Let w be u(0). Is 1035/18 + a/w a multiple of 16?
False
Let m be 9*-3*(-4)/12*-30. Let p = -162 - m. Is p a multiple of 23?
False
Suppose 1 = -2*d + 3. Let j = d + 2. Is 4 a factor of 1/(-3*j/(-72))?
True
Let c(f) = 23*f - 1. Let i(y) = -y**2 + 17*y - 15. Let o be i(16). Is 22 a factor of c(o)?
True
Suppose -1505 - 310 = 11*j. Does 11 divide (j/2)/((-30)/80)?
True
Let x(y) = 15*y**2 + y - 2*y - 2*y**2 + 16 - y**3. Let n be x(13). Does 20 divide (-68)/n*3/(-2)?
False
Let u(t) = t**2 + 13*t + 2. Let i be u(-13). Suppose v = -4*v, i*v + 14 = n. Is 7 a factor of n?
True
Suppose -4*y - 615 = -115. Let a = 221 + y. Is 16 a factor of a?
True
Let r = -65 + -68. Let t = 201 + r. Does 35 divide t?
False
Suppose -54*x + 53*x + 368 = 0. Is 16 a factor of x?
True
Let q(o) = 3*o**2 + 13*o + 9. Let h(j) = -j**2 - 6*j - 5. Let x(b) = -5*h(b) - 2*q(b). Let t be x(5). Does 14 divide 1/t*4 - -21?
False
Suppose 6*a - a - 105 = 0. Let m = a + -16. Suppose 5*x - 74 = o + 131, m = -o. Is x a multiple of 10?
True
Let i(f) = -f**3 - 4*f**2 - 4*f + 2. Let j be i(-3). Suppose -327 = -j*o - 82. Is 16 a factor of o?
False
Let u(a) = -240*a + 10. Is u(-2) a multiple of 5?
True
Let q(j) = j**3 + 7*j**2 + 5*j