?
True
Suppose -4*h + h = -3. Let m be h/(1/8) + -2. Let d = m - -1. Is d a multiple of 3?
False
Suppose 0 = -c + 5*g + 16, 0 = c - 3*g - g - 14. Suppose -j - 2 = -c, 0 = -5*k + 5*j - 40. Does 4 divide 3/(-4) - 19/k?
True
Let j(x) = -x**2 + 22. Let t be j(0). Suppose 50 + t = 4*i. Does 9 divide i?
True
Let v(w) = w**2 + 3*w + 6. Does 8 divide v(-5)?
True
Suppose 4*g + g - 2*q - 216 = 0, 3*q - 117 = -3*g. Is 21 a factor of g?
True
Let i(u) = 70*u**2 - u + 1. Does 9 divide i(-1)?
True
Let q(y) = -y**3 + 6*y**2 - 3*y - 6. Let p be q(5). Let v = p - 11. Let a = v - -25. Is 18 a factor of a?
True
Is (-171)/(-1) - (9/3)/(-3) a multiple of 43?
True
Let o = 82 - 40. Does 12 divide o?
False
Suppose -5*c = -2*h - 3*h - 510, 2*c + 2*h = 212. Is c a multiple of 10?
False
Suppose 16*x - 942 = -366. Does 4 divide x?
True
Let h(d) = -5*d. Does 12 divide h(-12)?
True
Suppose 0 = -j - f + 3, -4*f - 24 = 2*j - 7*j. Suppose -4*g + j*h + 396 = 0, g + 2*h = -3*g + 402. Suppose -g = 2*b - 7*b. Is b a multiple of 10?
True
Let v = 15 + -10. Let d = -2 + 7. Suppose -118 = -v*n - 3*w, 0 = -d*n + 3*w - 8*w + 110. Does 7 divide n?
False
Let f = 6 + -3. Suppose -5*k + f*k = 78. Let g = -22 - k. Does 10 divide g?
False
Suppose 0 = 5*y - 8*y + 219. Does 14 divide y?
False
Does 10 divide (-18 - -20) + 1*29?
False
Is 80 + 1/(-1) - (-16 - -16) a multiple of 8?
False
Does 27 divide 33/(-22) - (-129)/2?
False
Let a = -2 + 2. Suppose a = 4*d + 8 - 28. Let z = d - -1. Is z a multiple of 6?
True
Let z(d) = 18*d**2 - 2*d - 4. Is 9 a factor of z(-2)?
True
Does 32 divide ((-12)/30)/(1 - (-723)/(-720))?
True
Let o be 2362/8 + 1/(-4). Suppose 0 = -4*m + 297 + o. Suppose 4*n = -f + m, -n + 2*f + 28 = -0*f. Does 18 divide n?
True
Suppose -m - 4*j = -14, -3*m + 98 = -0*m - 2*j. Is m a multiple of 6?
True
Let h = 12 + -18. Let x = 20 + h. Does 4 divide x?
False
Let k(m) = -7*m**3 - m**2 - m + 1. Is k(-2) a multiple of 18?
False
Let f = 14 + -9. Suppose 0*s - 2*s - r + 77 = 0, f*s + 5*r = 205. Is 18 a factor of s?
True
Let w(t) = t**2 + 10. Let u = -10 + 10. Is w(u) a multiple of 4?
False
Let z(y) = -y**3 + 23*y**2 - 20*y + 50. Is 17 a factor of z(22)?
False
Suppose -6 = 2*v, -v = -h - 6*v - 67. Does 10 divide (1/2)/((-2)/h)?
False
Suppose -83 = -4*c - 15. Does 23 divide (2 - -5)*(c - 6)?
False
Let m(b) = b**2 - 5*b + 3. Let g be m(4). Let c be -6 + -1 + g*3. Does 7 divide (-3 - c) + -1 + 1?
True
Let f = 30 - -2. Is f a multiple of 8?
True
Suppose 20 = 2*o - 5*n, n = 3*o - 0*n - 17. Suppose o*u = f - 88, 0*f + 3*f - 246 = -3*u. Suppose 5*b + 13 - f = 0. Does 7 divide b?
True
Let v(y) = 3*y**3 + 22*y**2 - 8*y - 14. Is v(-7) a multiple of 32?
False
Does 23 divide -1*195/(1 + -6)?
False
Is 5 a factor of 5/3*(5 - -4)?
True
Is 6 a factor of (-2 - -14)/(3/27)?
True
Suppose v - 4*t + 2 = 0, -2*t + 5 = -3. Suppose n + 3 = v. Is 5 a factor of n?
False
Let p(n) = 0*n**3 - 3*n - n**2 - 4*n**3 - 3 + 5*n**3 - 3*n**2. Is 7 a factor of p(5)?
True
Suppose -d = -2*n - 4, 4*n = 5*d - 0 - 2. Let u(f) = f**3 + f**2 - 2*f + 1. Let l be u(d). Suppose -2*v - l + 9 = -3*b, -12 = -3*b. Is v a multiple of 5?
True
Suppose 31 - 7 = c. Let o(d) = -d**2 + 6*d + 6. Let g be o(8). Let f = g + c. Does 14 divide f?
True
Let u = 4 + -2. Suppose 2*l + u*w + 6 = 0, -4*l = 5*w + 3 + 12. Does 17 divide 2 + -4 + 19 + l?
True
Let o(n) = -8*n - 13. Is 12 a factor of o(-8)?
False
Is 3 a factor of (-12)/((-3 - -2) + 0)?
True
Suppose 4*d - 62 = -2*i, 5*d - 33 = 3*i + 39. Does 11 divide d?
False
Let l be 4/6 - (-49)/3. Let x = 37 - l. Does 16 divide x?
False
Let m(q) be the first derivative of q**3/3 + 9*q**2/2 + 8*q - 2. Let h be m(-6). Is 27/(h/8 - -2) a multiple of 12?
True
Let t(n) = n**3 - 7*n**2 + 6*n + 4. Let d be t(6). Suppose d*f = f - 39. Let l = -4 - f. Is l a multiple of 9?
True
Suppose -5*s + 4*w - 6 = 0, 2 = -4*s - s + 3*w. Suppose -s*n + 2 + 0 = 0. Let p = 6 + n. Does 7 divide p?
True
Does 27 divide (29/2)/((-5)/2 - -3)?
False
Let c(p) = -p + 8. Let b be c(5). Suppose -b*g = -3*t + 42, -5*t + g + 71 - 5 = 0. Does 5 divide t?
False
Let s(u) be the third derivative of u**5/6 - u**4/8 + u**3/3 + u**2. Let w be s(3). Let x = w - 53. Is 14 a factor of x?
False
Let t = 5 - 3. Suppose -z - t*l = -30, 5*z + 3*l - 82 = 61. Is 10 a factor of z?
False
Suppose -2*q + 52 = 4*l, -q = -l - 17 - 6. Is 12 a factor of q?
True
Let p(j) = -j**2 - 6*j + 4. Let c be p(-7). Let m be c/6 - 3/(-2). Let s(u) = 21*u**2 - u. Is s(m) a multiple of 20?
True
Let j(r) = 29*r - 37. Is j(6) a multiple of 13?
False
Suppose 26*d + 1958 = 37*d. Is 24 a factor of d?
False
Suppose -5*a + 2*c = -145, 0 = -4*a - c + 5*c + 104. Let p = -12 + a. Is 13 a factor of p?
False
Let j(o) = o + 16. Let x be j(-8). Is -12*(-44)/x*1 a multiple of 19?
False
Let z(v) = -1. Let w(q) = q**2 + 6*q + 11. Let n(y) = w(y) + 2*z(y). Let c be n(-9). Let j = c + 4. Does 16 divide j?
False
Let s be (-14)/(-77) + (-2469)/(-33). Suppose s = -0*j + 5*j. Is j a multiple of 15?
True
Suppose -275 = -4*k - 7*k. Does 5 divide k?
True
Let b(s) = -s**3 + 15*s**2 + s + 11. Is 14 a factor of b(15)?
False
Let o = -39 - -54. Is o a multiple of 15?
True
Let o(a) = 5*a - 3. Let v(r) = 11*r - 6. Let k(f) = 9*o(f) - 4*v(f). Let q be k(0). Does 2 divide 0 + (9/(-1))/q?
False
Let l(s) = -s**3 + 7*s**2 + 21*s + 13. Is 5 a factor of l(9)?
True
Let i = 75 + -36. Is 13 a factor of i?
True
Let s(b) be the first derivative of -b**4/2 - 3*b**3 - 3*b**2/2 + 2. Let g be s(-6). Is 4/3*g/12 a multiple of 7?
True
Suppose -3*f + f + 48 = 3*o, 1 = -o + 5*f. Suppose 2*h = -0*h + 36. Suppose -h = -4*z + o. Is 4 a factor of z?
True
Let d(p) = 1 + 3*p + p**2 - p - 3*p + 2. Let r be d(-4). Let s = r + -14. Is 3 a factor of s?
True
Suppose 0 = -f + 30 + 36. Does 22 divide f?
True
Let f(r) = -r**2 + 15*r - 10. Does 16 divide f(13)?
True
Let c(w) = 5*w - 91. Is 6 a factor of c(29)?
True
Suppose 5*d = -2*b - 3, -5*b + 2*b - 5*d = -3. Let s(j) be the second derivative of j**5/20 - j**4/3 - 4*j**3/3 - 5*j**2/2 - 13*j. Does 7 divide s(b)?
False
Let b(p) = -p + 3. Does 3 divide b(-3)?
True
Let h(x) = -46*x - 3. Is h(-1) a multiple of 17?
False
Suppose 3*d - 15 = 0, -f + 3*d - 7 = 26. Is 22 a factor of (-3)/(-18) + (-393)/f?
True
Let c be 1/(((-15)/36)/(-5)). Suppose c = g - 48. Does 17 divide g?
False
Let p(t) = -t**2 + t + 13. Let d = 6 + -6. Is p(d) a multiple of 3?
False
Let c be (0 - 6)/(3/(-2)). Suppose n + 44 = c*m, -2*n + 56 = 5*m - 3*n. Let f = 23 - m. Does 4 divide f?
False
Let f = 99 + -59. Does 35 divide f?
False
Suppose 7*a - 95 = -2*l + 2*a, 3*a = -2*l + 101. Is 12 a factor of l?
False
Let p = 0 + 1. Let f = 1 + p. Suppose -c - 2*n + f = -26, -c + 4*n = -58. Is 13 a factor of c?
False
Let g = 32 - 24. Does 5 divide g?
False
Let k(a) = -a**3 + 2*a. Let x be k(2). Let g be (-2)/4 + (-2)/x. Suppose -3 = -i - g. Is i a multiple of 3?
True
Let l = -6 + 1. Is 9 a factor of (-1 + l)/2 - -21?
True
Suppose -14 = 2*a - 34. Is 144/a - 14/35 a multiple of 7?
True
Let j be ((-1)/3)/(4/516). Let t = j + 78. Is 15 a factor of t?
False
Suppose -t + 10 + 6 = 0. Let g = 29 - t. Does 4 divide g?
False
Let s be ((-3)/2)/((-12)/16). Suppose -s*h + 29 = -11. Suppose -w + 3*i = 0, w - 2*i - h = -w. Is w a multiple of 10?
False
Suppose -3*z + 417 = 3*x, 10*x - 2*z - 716 = 5*x. Does 16 divide x?
False
Let b = -293 + 485. Does 26 divide b?
False
Let j(g) = 4*g**2 + 2*g - 1. Let m be j(1). Suppose -9 = m*c - 6*c. Is c a multiple of 9?
True
Let p(r) = 8*r**2 - 15*r + 18. Is 8 a factor of p(6)?
True
Let w(i) = -i**2 + 17*i. Is w(15) a multiple of 8?
False
Let o = 16 + -11. Suppose o*i - 45 = 30. Is i a multiple of 7?
False
Is 16 a factor of 96*(14/6 - 2)?
True
Suppose 5*g - 9*g = -220. Is g a multiple of 25?
False
Suppose 3*h - 3*a = -a - 16, 4*h + 4*a = 12. Let m(g) = 9*g**2 + g + 2. Is 14 a factor of m(h)?
False
Let m(i) = -i**2 - 16*i - 10. Let d be m(-8). Does 27 divide 0 + (0 - d)*-1?
True
Let a(i) = i**3 + 16*i**2 + 12*i - 12. Let r be a(-10). Let y = r + -263. Suppose -y = -5*f - 55. Is f a multiple of 15?
True
Suppose -261 = -3*x - 21. Let d = x + -39. Does 13 divide d?
False
Is 24 a factor of 10/(-3)*1080/(-75)?
True
Suppose 4*x - 6 = c, -2*x + 2 = -2*c + x. Suppose -c*m + 78 = g, -6*m + m + 4*g + 195 = 0. Is m a multiple of 13?
True