 -3?
True
Suppose 0 = 46*g - 28748 + 6530. Does 23 divide g?
True
Is (7 + 35/(-3))/((-2)/24) a multiple of 14?
True
Let g = 78 + -43. Let q be (-2)/7 - (-920)/g. Does 13 divide (q/5)/(2/10)?
True
Suppose -5*h + 19461 - 881 = 0. Does 84 divide h?
False
Suppose -4*t + 245 = 5*q, 2*q + 4*t - 115 = -t. Is ((-4)/(-3))/(10/q) even?
True
Suppose 2*x - 486 = x. Let b = -304 + x. Is 16 a factor of b?
False
Let j = -43 + 410. Is j a multiple of 7?
False
Let s(t) = 2*t**3 + t**2 + t + 2. Suppose 5*x - 11 = -b, 3*x = -0*x - b + 7. Let w be s(x). Suppose 3*v - 29 = -h, -3*v + v + w = -4*h. Does 5 divide v?
True
Suppose 0 = -x + 5, 2*v + 2*x - 14 = 0. Suppose 0*o + 13 = 2*p - o, v*p = -4*o + 18. Suppose 24 = p*n - 4*n. Does 8 divide n?
True
Does 43 divide 71*14 + (-7 - (0 + -2))?
True
Suppose 1095 = 10*r - 345. Is 12 a factor of r/10*(-150)/(-20)?
True
Suppose q - 515 = -4*q. Let n = q + -50. Is 4 a factor of n?
False
Let q(f) = f**2 - 16*f - 27. Let s be q(18). Suppose s*p + 275 = 14*p. Is 10 a factor of p?
False
Suppose -33*u + 66*u = 31779. Is 62 a factor of u?
False
Let v = 51 - 45. Let r(y) = 11*y - 17. Is 17 a factor of r(v)?
False
Suppose q - 20 = -h, 4*q + h + 0*h - 65 = 0. Suppose -2*f + 33 = 5*l, -f - 5*l + 4*l = -q. Suppose f - 2 = 2*m. Is 6 a factor of m?
True
Let o = 1111 - 136. Does 13 divide o?
True
Suppose -u + 0 + 4 = 0. Suppose -u*h + 0*h + 12 = 0. Suppose -3*b - 246 = -5*v - 5*b, -h*b = 6. Is 30 a factor of v?
False
Let o(c) be the first derivative of c**2/2 + 9*c - 6. Does 4 divide o(3)?
True
Let b(d) = 10*d**2 + 4*d + 2. Let x be b(-2). Suppose x*m - 60 = 30*m. Does 5 divide m?
True
Let x = -643 + 1657. Is 13 a factor of x?
True
Let q(v) = -v**3 - 10*v**2 + 4*v + 10. Let l be q(-10). Is 35 a factor of ((-28)/(-8))/((-3)/l)?
True
Suppose -3*v - v = 16. Let c(k) = -k**3 - 3*k**2 + 5*k + 4. Let f be c(v). Suppose f = 4*r - 20, 5*n + 2*r - 273 + 83 = 0. Is 16 a factor of n?
False
Suppose 6 = -n + 4*z, z + 4 = -3*n + 6*z. Suppose -6*g - n = -7*g. Suppose -g*d = 6*p - p - 93, -9 = 3*p. Is 18 a factor of d?
True
Suppose -6*p + 149 = -643. Is 33 a factor of p?
True
Let g(s) = -3*s + 81. Is g(-25) a multiple of 26?
True
Suppose -4*g - g + 12795 = -k, 3*k + 10247 = 4*g. Is g a multiple of 71?
False
Let f be (13 - 7)/(3/(-4)). Let p be (47 + f/4)*-3. Is ((-15)/9)/(3/p) a multiple of 15?
True
Let p = 9 - 4. Suppose 125 = 2*i - 0*f + 3*f, 0 = -3*i + f + 171. Let v = i - p. Does 19 divide v?
False
Let n be (-3)/3 + (-1 - -233) + 1. Suppose -18 - n = -5*b. Does 5 divide b?
True
Let r = -43 - -42. Is 10 a factor of 315/30 + r/2?
True
Let z(r) = -r - 4. Let t be z(11). Let x = -9 - t. Is 3 a factor of x?
True
Let l(c) = 5*c**2 - 22*c - 167. Does 10 divide l(-18)?
False
Suppose -2*i + 19 = 3. Does 5 divide ((-60)/i*-1)/(1/12)?
True
Suppose 0 = t + t - 10. Suppose 0*h - 230 = -4*n - 2*h, 3*h - 285 = -t*n. Does 28 divide n?
False
Is 12 a factor of 2*4/12*51?
False
Let q(r) = 14*r**2 + r. Let c be q(1). Does 53 divide -4 + 50/c - (-322)/6?
True
Let f be 2556/21 - (-8)/28. Suppose 5*a + 4*y - 115 = -y, -5*a + 2*y + f = 0. Is a a multiple of 8?
True
Let h(g) = 6*g**2 - 3*g + 2. Let d be h(1). Suppose 32 = d*s - 618. Does 26 divide s?
True
Let h(l) = 5*l**2 - 11*l + 51. Is h(5) a multiple of 11?
True
Let f(m) = 8*m + 1. Let o(a) = -9*a - 1. Let p(x) = -9*x - 1. Let z(j) = 6*o(j) - 7*p(j). Let q(b) = 6*f(b) - 4*z(b). Is 24 a factor of q(2)?
False
Let b(j) = -12*j**3 + 10*j**2 + 4*j - 37. Is 129 a factor of b(-7)?
False
Let a(c) = 4*c**2 + 48*c + 42. Is a(-21) a multiple of 110?
False
Suppose -4*x + 18 - 2 = 0. Let l(a) = a**3 - 2*a**2 - 7. Let g be l(3). Suppose 4*w - 80 = g*b - x*b, -5*w = 4*b - 103. Is 19 a factor of w?
True
Let h(m) = 2*m**2 + 4. Suppose -2*x + 3*w + 1 = -4*x, 4*x = -w + 13. Let c be h(x). Let p = 56 - c. Is p a multiple of 20?
True
Let n be -5 - (-2 + 0) - -5. Let r(p) = 5 + 0*p**n + p**2 + 3*p + 2*p. Does 9 divide r(6)?
False
Is 6 a factor of 14/(-1 + 5 + (-92)/24)?
True
Let r(d) be the third derivative of d**6/120 - 2*d**5/15 - d**4/6 - 5*d**3/2 + 9*d**2. Is 15 a factor of r(9)?
True
Let x = -140 + 283. Does 24 divide x?
False
Let t be 3 + 1 + -2 + -142. Suppose -8*w - 10 = -42. Is (6/w)/((-15)/t) a multiple of 3?
False
Let z(n) = -n**2 - 88*n + 137. Does 28 divide z(-43)?
True
Let j(p) = -p**2 + 5*p + 4. Let x be j(5). Suppose -x*y + 2*h + 0*h = -46, -4*y = -h - 45. Let t = 59 - y. Is 24 a factor of t?
True
Suppose -3 + 1 = -o. Let v be (-2)/9 - o/(-9). Is 14 a factor of 4*21/3 - v?
True
Let z(c) = c**3 - 4*c**2 - 10*c + 10. Let l be z(6). Let s = l + -14. Is (1 - 3)/(s/(-36)) a multiple of 3?
True
Let c(z) = 3*z**2 + z**2 - 1 + 10*z**3 - 2*z**2 - 4*z**3. Suppose -2 - 1 = -3*w. Is 4 a factor of c(w)?
False
Let c(i) = 8 + 4*i - 2*i**2 - 2*i**2 + 2*i**2 + 6*i**2. Is c(-2) a multiple of 4?
True
Suppose -7 - 15 = 2*z + 4*f, z = 5*f - 39. Let b = z + 24. Suppose b*l = -4*v + 341, v = 3*v - 3*l - 143. Does 20 divide v?
False
Let k be ((-8)/(-1))/(7 + (-5 - 0)). Suppose 5*n = 2*u - 39 - 4, 20 = -k*n. Is 9 a factor of u?
True
Let c(k) = k**3 + 5*k**2 - 7*k + 2. Let w be c(-6). Suppose -3*h - 6 = -0*h - 4*m, -2*m = h - w. Suppose 44 = g + h*y, 23 + 75 = 2*g - y. Is 16 a factor of g?
True
Let j(p) = -2*p - 2. Let z(s) = -9*s**2 - 7*s + 4*s**3 + s**2 + 3*s**2 - 3*s**3. Let l be z(6). Is 5 a factor of j(l)?
True
Suppose -3*b = -2*r - 681, -b = 3*r - 118 - 109. Is b even?
False
Let z = 302 + -202. Let c = -206 + z. Let i = c + 148. Does 12 divide i?
False
Let l be 19*-2 - (-2 + 1). Let r = 151 - 96. Let b = r + l. Does 6 divide b?
True
Let g be 6/(-27) - 7/9. Let o = 4 - g. Suppose 4*z - 13 = -t + 5, -3*t + 33 = o*z. Is 6 a factor of t?
True
Suppose 5*n + 21 + 194 = 5*o, 5*n - 114 = -2*o. Does 6 divide o?
False
Is 18 a factor of 9 - -2 - 9 - -89?
False
Let n = -2 - -7. Suppose n*o = 3*o + 4. Suppose -3*u - 26 = -2*i + o*u, 2*i = 3*u + 30. Does 9 divide i?
True
Let m be 1914/30 + 2/10. Let a = m + -43. Is a a multiple of 7?
True
Is (164/20 + -4)*4*15 a multiple of 3?
True
Let v(q) be the second derivative of 70*q**3/3 + 10*q. Let y be v(3). Suppose -218 = -2*d + 3*w, 2*d - 2*w = 6*d - y. Is d a multiple of 24?
False
Let a(m) = -20*m**3 - 3*m**2 - 2*m. Let t(b) = 2*b**2 + 3*b + 1. Let p be t(-2). Suppose -l - l + w + 3 = 0, -w = -p*l + 2. Does 4 divide a(l)?
False
Suppose 4*n + 4780 = -4*s + 26108, 0 = -3*s + 2*n + 15986. Does 70 divide s?
False
Suppose -3*a + 14 - 5 = 0. Suppose 7*m = a*m + 60. Is (0 + 13)/(5/m) a multiple of 25?
False
Let v(k) = k. Let q(z) = -2*z + 1. Let c(g) = 2*q(g) + 3*v(g). Let n be c(0). Suppose 2*y - 24 = -4*w, 49 + 11 = 4*y + n*w. Does 4 divide y?
True
Let o(v) = -35*v + 1. Let f be o(-1). Let s = -50 + f. Let j = 24 + s. Is 3 a factor of j?
False
Let u be -1*(-2)/3*-3. Let o(t) be the third derivative of -t**6/120 + t**4/6 + t**3/2 + 4*t**2. Is 2 a factor of o(u)?
False
Let a(d) = 23*d**2 - d - 1. Let v be (-18)/(-4)*(1 - 3). Let q(s) = -s - 10. Let r be q(v). Is 23 a factor of a(r)?
True
Suppose 21*l = 27*l - 252. Is l a multiple of 21?
True
Does 7 divide (200/35)/4*98?
True
Let y(p) = -8*p - 1. Let u be y(-5). Suppose -3*o - 4*h - 12 + u = 0, -o = 2*h - 9. Is 6 a factor of o?
False
Is ((-23)/(-3) + -1)*(-80 - -83) a multiple of 5?
True
Let x = -25 + 29. Suppose x*f = -5*o + 312, 2*f + f = -o + 69. Is 13 a factor of o?
False
Suppose 0*p = p + 4*y - 15, 3 = y. Let n be 81/6*4/p. Suppose 7 + n = j. Is 25 a factor of j?
True
Let j(z) = 6*z**2 - 13*z - 40. Is 40 a factor of j(8)?
True
Let y(r) = -2*r**3 - r**2 + 3*r + 1. Let s be y(-2). Is 366/s + -4 - 4/14 a multiple of 8?
True
Let a = -3 + -3. Let s be a/(-15) + 8/(-20). Suppose -3*l + 24 = 3*u, -4*u + 5 = l - s*l. Does 5 divide l?
False
Let c(h) = -2 + 2*h**2 - 9 - 11 + 24 + 3*h. Is c(-3) a multiple of 8?
False
Let x(j) = -j**3 - 24*j**2 - 48*j - 28. Does 5 divide x(-22)?
True
Suppose 23*w - 17*w - 312 = 0. Is 26 a factor of w?
True
Let u be (-37)/(-3) + 5/(-15). Let r = 127 - u. Is 26 a factor of r?
False
Let v(f) = -f**3 + 11*f**2 - 11*f + 10. Let w be v(10). Suppose -4*n + 5*c = -7, -4*c + 1 + 3 = w. Suppose 0*g - 105 = -n*g. Does 7 divide g?
True
Let j be 4 + (1588/14 - 16/(-28)). Suppose -5*m = -2*h + 102, 0 = h + 3*h + 16. Let f = j + m. Is 16 a factor of f?
True