+ 123?
True
Suppose 0 = -q - 2 + 4. Is (-33)/9*(q + -5) a multiple of 3?
False
Suppose -312 + 33 = 3*u - 5*f, 0 = 4*u - f + 389. Let y = -55 - u. Is 13 a factor of y?
False
Let h = 94 - 89. Does 2 divide h?
False
Suppose -3*d + d + 30 = -4*c, 4*c = d - 7. Is d a multiple of 10?
False
Suppose 7 + 2 = 3*z - w, -3*w + 6 = 2*z. Suppose 0 = 2*v + 2*t - 10, v = -z*v + 4*t + 52. Is v a multiple of 9?
True
Let v be 1 - 7*-5 - 0. Suppose v = -2*s + 3*s. Does 18 divide s?
True
Let d = -45 - -53. Is 2 a factor of d?
True
Let d be (2 - -2)*9/12. Let y(j) = j**2 + 3*j - 4. Let n be y(-4). Suppose n = -d*q + 4*q - 42. Is 14 a factor of q?
True
Let l(d) = -d**3 - 2*d**2 + 5*d + 12. Does 21 divide l(-6)?
True
Let r(o) = 2*o**2 - 3*o + 1. Is r(4) a multiple of 13?
False
Let j = 18 - 14. Suppose -o + 150 = j*o. Does 10 divide o?
True
Suppose 0 = -3*k + 3*o + 30, -2*k - o = o - 40. Is (-3)/(-6) - k/(-2) a multiple of 8?
True
Let k(q) = -5*q**2 - 38*q - 5. Is 5 a factor of k(-5)?
True
Let h = -172 + 352. Suppose 4*i - 12 = h. Suppose i = p + 2*p. Is p a multiple of 6?
False
Let o(x) = 20*x + 1. Let h be o(3). Suppose -h = -5*n + 64. Is 7 a factor of n?
False
Let f = 460 - 40. Is f a multiple of 60?
True
Let n(r) = -4*r - 3. Let a be n(-2). Suppose a*j - 7 = 18. Is 5 a factor of j?
True
Let f = -151 + 304. Suppose -f = -2*c - c. Is c a multiple of 17?
True
Let h = 19 + -13. Is 48 + -2*h/(-4) a multiple of 24?
False
Let t be ((-8)/6)/((-8)/12). Suppose -t*i = i + 12. Let v(b) = -12*b - 2. Is 15 a factor of v(i)?
False
Let s = -18 - -23. Is s a multiple of 4?
False
Suppose -q + 3 + 30 = 0. Is q a multiple of 11?
True
Suppose -4*n + 2*k = -0*k + 58, -2*k + 34 = -2*n. Let o(a) = -a**2 - 14*a - 6. Is 9 a factor of o(n)?
True
Let b(l) = l**2 - 7*l + 10. Is 7 a factor of b(-9)?
True
Let u = -3 - 0. Let p(i) = -43*i - 3. Let c be p(u). Let t = -67 + c. Is t a multiple of 15?
False
Let j(x) = x**3 + 6*x**2 - 5*x + 14. Let o be j(-7). Suppose 4*b + 74 - 194 = o. Is b a multiple of 15?
True
Let p(r) = -r**3 + 19*r**2 + 24*r - 2. Is p(20) a multiple of 26?
True
Let d(s) = s**2 - s - 1. Let c(j) = -j**3 - 2*j**2 - 4*j - 4. Let a(i) = -c(i) + 3*d(i). Let n be a(-5). Let p(t) = t**3 + 4*t**2 - t + 4. Does 8 divide p(n)?
True
Let j(y) = -56*y - 4. Let d be (-36)/10 + 4/(-10). Let q be j(d). Suppose -2*r + l = 4*l - 111, 4*l + q = 5*r. Does 16 divide r?
True
Suppose -2*g - f = 35, 35 = -4*g + g + 2*f. Let i be (-6)/g + (-7)/5. Does 10 divide i/3 + (-183)/(-9)?
True
Let m(j) = -2*j + 27. Is m(10) a multiple of 7?
True
Let y(o) = -o**3 - 3*o**2 + 2. Suppose 4 = -2*g - 4. Does 9 divide y(g)?
True
Suppose -4*p + 32 + 8 = -5*y, 2*y = p - 10. Does 15 divide (p/(-2))/(8/(-24))?
True
Suppose -2*i + z = -3*z + 12, 4*z = -3*i + 32. Suppose 5*f + 92 = 7*f - i*v, 0 = -4*f - 4*v + 148. Is 14 a factor of f?
False
Suppose 5*z - 4 - 51 = 0. Does 4 divide z?
False
Suppose -2*q - 10 = 3*q. Is 14 a factor of 39 - (-3 + 2 - q)?
False
Let i(t) = 4*t**2 + 7*t + 6. Suppose 3*m - x + 4 = 2*m, -3*m - 12 = -5*x. Is i(m) a multiple of 15?
False
Let m(z) = 8*z**2 + 2*z - 5. Does 7 divide m(-3)?
False
Let u = 5 - -33. Does 12 divide u?
False
Is (-2280)/(-36)*(-3)/(-2) a multiple of 16?
False
Let p(a) = a**2 + 8*a + 6. Let o be p(-7). Let n(s) = 10*s**2 + s. Is 9 a factor of n(o)?
True
Suppose -4*b - 155 + 951 = 0. Is b a multiple of 9?
False
Let t be (-3 + 4)/(2/14). Suppose -4*p + 13 + t = 0. Suppose 19 = -3*q + 4*q + p*i, -8 = 2*i. Is 16 a factor of q?
False
Suppose 2*k + 5*d + 4 = 0, 6*k = 3*k - d - 32. Let m be (-44)/k + (-4)/6. Suppose -m*u + 2*u = -4. Does 2 divide u?
True
Let t be (-56)/2*(-5)/(-10). Does 30 divide 2 + 7/(t/(-176))?
True
Suppose -8 = -5*w + 2. Suppose -w*v - v - 30 = 0. Let i(b) = -5*b - 11. Does 14 divide i(v)?
False
Suppose -2*b + 12 = -6. Let i(c) = -c**3 + 9*c**2 - c + 13. Let j be i(b). Suppose -4*g - g = q - 26, 5*q = -j*g + 25. Does 2 divide g?
False
Suppose -3*j - w + 13 = 0, -j - 5*w + 9 = -0*j. Does 4 divide j?
True
Suppose v - i = 169, 3*v - 2*i - 282 - 230 = 0. Suppose 4*k + 2*c - v = 0, 16 = -k - 4*c + 63. Is 11 a factor of k?
False
Let l(j) = 8*j**2 - 2*j - 1. Let v(o) = -7*o**2 + 2*o + 1. Let y(f) = -6*l(f) - 7*v(f). Suppose -4 = 4*h + 4*c, 0*h + 7 = -h + 2*c. Does 9 divide y(h)?
False
Suppose 0 = -3*z - 2*m + 465, z + 3*m - 775 = -4*z. Does 31 divide z?
True
Let h(s) = -2*s**3 + s**2 + 3. Is 33 a factor of h(-3)?
True
Let j(q) = -q**3 + 7*q**2 - 8*q + 9. Let a be j(6). Is 5 a factor of a/2*(-16)/3?
False
Suppose 61 = 3*q - 5*i - 11, q = i + 24. Is q a multiple of 12?
True
Does 21 divide ((-756)/(-48))/((-6)/(-32))?
True
Suppose 2*t - 2*q = -5*q + 75, t - 2*q - 48 = 0. Let w = 62 - t. Does 10 divide w?
True
Let l(o) = -o**2 + 10*o - 10. Let s be l(9). Let x be 23 - ((-1)/s + -1). Suppose 3*f = x - 5. Is f a multiple of 6?
True
Does 2 divide ((-4)/(-6))/((-6)/(-81))?
False
Let j = 34 - 29. Does 2 divide j?
False
Suppose -v + 15 = -5*l, v + 2*l - 4 = -3. Suppose -3*a - v = -17. Does 22 divide (a/6)/((-2)/(-108))?
False
Let r(p) = p**2 + 8*p + 7. Let w be (-3 - 0)*(-40)/(-12). Is 13 a factor of r(w)?
False
Is 4*34/(-8)*-2 a multiple of 17?
True
Let c be (1/2)/((-3)/12). Let z be (3/(-6))/(c/8). Suppose -5*b = -3*m - 2, -m - 2*b = -z*m - 2. Does 2 divide m?
True
Suppose 5*h = n + 13, -2*h = -4*n + 2*h - 4. Suppose 13 - 3 = n*p. Suppose p*b - 78 - 22 = 0. Does 10 divide b?
True
Let w(n) = -5*n - 83. Is 2 a factor of w(-19)?
True
Let z(i) = 18*i**2 - i + 1. Let c be z(1). Suppose -u + c = -19. Is 17 a factor of u?
False
Let x = 120 + -204. Let v = -52 - x. Is 16 a factor of v?
True
Let x = -31 - 11. Does 3 divide (-176)/(-14) - 18/x?
False
Suppose -k = 25 - 205. Suppose -4*g = 5*y - 20, -2 = -y - 2*g + 8. Suppose r + l - 36 = 0, 5*r - 5*l + y*l - k = 0. Is r a multiple of 16?
False
Let q(y) = -y - 2. Let h be q(-6). Let x(f) = -h*f + 5 - 2*f - 3. Does 14 divide x(-2)?
True
Let i = -155 + 258. Is i a multiple of 17?
False
Suppose 3*m + 4*v = -51, -3*m - v - 54 = 4*v. Let w = 28 + m. Is 16 a factor of 6/w*8*10?
True
Is 20 a factor of ((-88)/55)/((-2)/75)?
True
Let g = -10 + 2. Is 13 a factor of 17/2*(-4 - g)?
False
Let b = -6 + 3. Is (b/(-2))/((-9)/(-132)) a multiple of 22?
True
Let h = -78 - -46. Let w = h + 76. Is 15 a factor of w?
False
Suppose 3*k = -5 - 1, -l - 12 = 5*k. Let f be ((-2)/(-2))/(l/4). Does 14 divide -6*((-40)/6 - f)?
True
Suppose -2*f - 4*v - 24 = -5*f, 35 = 5*f - 5*v. Suppose f*d = s + 290 - 41, 0 = d - 5*s - 67. Is d a multiple of 27?
False
Let a(o) = -o + 34. Does 9 divide a(0)?
False
Let a(v) = v**3 + 7*v**2 - 10*v - 5. Let m = 20 - 28. Is 11 a factor of a(m)?
True
Let z be (-4)/(-10) + (-4)/10. Suppose 0 = -2*d + 5*c - z*c + 3, 4*d - 12 = 4*c. Suppose 3*k = d*k - 15. Is 10 a factor of k?
False
Let c(o) = -5*o + 16. Is c(-9) a multiple of 14?
False
Let b = -6 - -4. Let x be (72 - 2) + (b - -1). Suppose 0 = o - 2*o + 4*n, -5*o - 3*n + x = 0. Does 11 divide o?
False
Let m(x) = -x**3 + 7*x**2 + x - 3. Let u(i) = -i**3 - 8*i**2 - 7*i + 3. Let t be u(-7). Let c be m(t). Is (-1)/(33/c + -1) a multiple of 6?
True
Let d be (-1311)/6*10/(-5). Suppose -3*v + 311 = -3*w + 50, 5*v - 3*w - d = 0. Is 13 a factor of v?
False
Let a = 28 + -13. Does 3 divide a?
True
Suppose -4*n - 4*p + 36 = 0, -n + 1 = p - 2*p. Suppose -q - n + 26 = 0. Is q a multiple of 10?
False
Suppose 3*l - 36 = 87. Suppose -l = -4*d + 119. Does 11 divide d?
False
Let s(y) = -3*y**3 - y - 1. Let q be ((-1)/3)/(4/12). Let o be s(q). Suppose -o*k + g = k - 67, -3*k - 5*g = -33. Does 10 divide k?
False
Suppose 2*x = 7 - 3. Suppose 5*p - x = 208. Does 11 divide p?
False
Suppose 0 = -5*u + 62 + 388. Is 15 a factor of u?
True
Suppose r - 5*r + j = -2406, 2*j + 598 = r. Let l = -396 + r. Is l/6 - 6/(-9) a multiple of 21?
False
Let v = -402 - -600. Is 20 a factor of v?
False
Suppose -2*i = 2*g - 3 - 1, g - 7 = 4*i. Suppose -g*f = 2*f - 75. Does 15 divide f?
True
Suppose i + 3*k = 0, i - k - 11 = 5*i. Is 13 a factor of 15 - i/((-3)/1)?
False
Does 13 divide 8588/44 - 2/11?
True
Let f = 15 - 11. Suppose v + 42 = f*v. Suppose 3*c + 24 = 4*q - 2*q, -3*q = c - v. Does 6 divide q?
True
Let q(g) = -24*g - 6. Does 24 divide q(-4)?
False
Let v = 195 - 119. Suppose 5*l = b + 37 + 58, 4*l - v = -4*b. Is l a multiple