 72. Is 33 a factor of (148/10)/(10/c)?
False
Suppose -400 = -11*r + 3*r. Is 12 a factor of r?
False
Suppose 2*l = 163 + 97. Does 12 divide l?
False
Let i = 2 + 0. Suppose y + 0*q = -3*q + 30, i*q = 4. Is y a multiple of 8?
True
Suppose 5*w = 6*w - 95. Is 11 a factor of w?
False
Let g be 10 - 4 - 0/1. Is 18 a factor of 4/g - (-244)/12?
False
Let u = 1 + 4. Is 2 a factor of u?
False
Suppose 5*p = -w + 31, -7*p = 5*w - 2*p - 155. Suppose 5*j - w - 4 = 0. Suppose 3*x - 2 = j. Does 3 divide x?
True
Let j(r) = r**3 + 4*r**2 - 2. Let g be j(-4). Let b(p) = p**2 - 1. Let t be b(g). Suppose -17 - 109 = -t*k. Is k a multiple of 12?
False
Suppose 0*c + 3*c + 78 = 0. Let z(i) = -i - 3. Let s be z(-11). Let m = s - c. Is 17 a factor of m?
True
Let v be ((-2)/3)/(3/36). Let k = v - -14. Does 4 divide k?
False
Suppose 3 = -2*s + 7. Suppose -s*f = 2*h - h - 45, -4*h + 191 = -3*f. Is 21 a factor of h?
False
Suppose 0 = -3*p + p - 16. Let y = 24 - p. Suppose -3*m = -y - 64. Does 16 divide m?
True
Let u(s) = -5*s - 4. Let q = 6 + -2. Let z be (-18)/q*12/9. Is u(z) a multiple of 12?
False
Let k = -7 - -9. Suppose y + 36 = k*y. Is 14 a factor of y?
False
Suppose 4*x + 5*o + 5 - 33 = 0, 3*x - 2*o + 2 = 0. Suppose 15 = s + x*s. Suppose j = -s + 19. Is j a multiple of 7?
True
Let r(h) = 2*h**2 - 9*h + 6. Let i be r(6). Suppose i = 3*z - z. Is 4 a factor of z?
True
Does 7 divide (-387)/(-11) - 2/11?
True
Let j = -2 + 0. Let o(c) = -4*c**3 - 2*c**2 + 2*c + 3. Is 12 a factor of o(j)?
False
Suppose 3*t + 4 = -14. Does 12 divide 2/(-6) - 218/t?
True
Suppose 4 = -y + 18. Let p = 21 - y. Suppose 23 = 2*w - p. Does 4 divide w?
False
Let x = -62 + 236. Is x/21 - (-6)/(-21) a multiple of 7?
False
Let q = -71 - -41. Is ((-48)/q)/((-4)/(-10)) even?
True
Let f(m) = 3*m + 6. Suppose -5*a = j + 21, 4*j - 5*a + 2 = -7. Let s be f(j). Let v = s + 20. Is 4 a factor of v?
True
Let o = 402 - -108. Is o/18 - 2/6 a multiple of 13?
False
Let f(i) = i**2 + 4*i + 6. Let s be f(-4). Let d(p) = p**2 - 3*p - 8. Let v be d(s). Suppose 0 = -0*m + 2*m - v. Is m a multiple of 5?
True
Let p(c) be the first derivative of -c**3/3 + 6*c**2 - 6*c + 2. Let x be (6/(-5))/((-3)/15). Does 10 divide p(x)?
True
Let v = -47 + 27. Let b be (10/(-25))/(2/v). Is 6/b*(-20)/(-6) even?
False
Let h(f) be the first derivative of 0*f + 1/3*f**3 + 1 - f**2. Is 5 a factor of h(4)?
False
Suppose -3*c = 3*q + 528, 2*c = -5*q + 3*c - 856. Is (-2)/6 - q/12 a multiple of 14?
True
Suppose -5*z - 321 = -106. Let o = -30 - z. Does 6 divide o?
False
Let z be (2*-1)/2 - -5. Suppose -t + 30 = z*t. Suppose 2*p = t*p - 96. Is 12 a factor of p?
True
Let f(h) = h**3 + 6*h**2 - 5*h - 13. Is f(-6) a multiple of 4?
False
Is (-1)/(-2) + (-1)/(2/(-375)) a multiple of 56?
False
Suppose 0 = g - 2*t - 11, 5*g - 5*t - 48 = -2*t. Suppose 4*b = 3*d + 19 + g, -2*b = 3*d - 14. Is 2 a factor of b?
False
Let x = -55 + 251. Is 40 a factor of x?
False
Let u(d) = -d**3 - 6*d**2 + 8*d + 1. Let h be u(-7). Is (-3)/h - (-134)/4 a multiple of 17?
True
Let h = -9 - -9. Suppose 0 = -2*p - 4*n + 14, -n - 46 = -5*p - h*p. Does 9 divide p?
True
Does 3 divide (-13)/52 - 49/(-4)?
True
Let g(i) = -i**3 + 8*i**2 - 6*i - 6. Let u be g(7). Suppose s + p = 4 + u, -7 = s - 3*p. Suppose -3*b - 2*j = -j - 30, -s*b + 31 = -3*j. Is 3 a factor of b?
False
Suppose 0*l + 20 = 4*l. Suppose -4*y = -l*y + 2. Suppose 3 - 15 = -y*r. Is r a multiple of 6?
True
Let h(s) = s**2 + 6*s + 9. Does 14 divide h(-7)?
False
Suppose -23 - 25 = -2*l - 5*o, 5*o = l + 6. Does 7 divide l?
True
Suppose p = -6*p + 105. Does 3 divide p?
True
Let c = 5 + -6. Let a be 3/((-2)/4 + c). Is 13 a factor of ((-3)/(-6))/(a/(-104))?
True
Let x(v) = -2*v**3 - 9*v**2 - 5*v - 6. Is x(-6) a multiple of 23?
False
Let n = 6 - 4. Suppose k - 2*y = -0*k, -3*k = n*y. Let p = k - -8. Is 3 a factor of p?
False
Let h be 21/3 + (-2)/1. Let c be (2 - (4 + -1))*h. Let u = c + 37. Is u a multiple of 16?
True
Let l = 4 - -1. Suppose -4*m - l*n = -100, n = -2*n + 12. Is 8 a factor of m?
False
Let t(j) = 60*j**2 + 4*j - 3. Is 10 a factor of t(1)?
False
Suppose -2*p - 6 = -0*p. Is 35 - 0/(p + 1) a multiple of 18?
False
Let h(l) = 5*l - 50. Does 7 divide h(27)?
False
Suppose 4*s - 564 = -4*q, 3*s - 419 = -0*q + q. Is 35 a factor of s?
True
Let g(k) = k**3 - k**2 + 4*k - 17. Is g(6) a multiple of 11?
True
Suppose -2*h + 12 = -22. Suppose -c + h = -0*c. Does 6 divide c?
False
Does 3 divide (-1)/(-1*2/(-24)*-4)?
True
Let i be (-4 - -1) + (3 - -15). Suppose 0*v - 4*v - g + i = 0, 5*v + 2*g = 18. Is 3 a factor of v?
False
Let a(m) = m**2 + 2*m - 6. Is a(-9) a multiple of 19?
True
Let i = 11 - 0. Suppose -4 = -n + i. Is n a multiple of 5?
True
Let o = 68 - 40. Is o a multiple of 14?
True
Suppose 0 = 3*f - p - 59, -3*p + 2*p - 77 = -4*f. Is 3 a factor of f?
True
Is 4/(-64)*-772 - 1/4 a multiple of 11?
False
Suppose -5*b = -5*h + 105, -4*b + 4*h - 69 = 3*h. Suppose d = -3*n + 200 - 54, -4 = -2*d. Let u = b + n. Is 13 a factor of u?
False
Let n(u) be the third derivative of -u**4/24 - u**3/2 - 3*u**2. Is 6 a factor of n(-9)?
True
Suppose 4 = 2*q + 2. Let w = 7 + q. Does 7 divide w?
False
Let j(v) = v - 8. Is 2 a factor of j(15)?
False
Suppose 5*m = 31 + 69. Suppose 0 = -5*d - m. Let h(l) = -2*l + 4. Does 12 divide h(d)?
True
Let w be 7/(0 + (1 - 0)). Suppose 5*o = 427 - 27. Suppose -2*n + w*n - o = 0. Does 16 divide n?
True
Let b(y) = y + 3. Let w be b(-4). Let a be -10*(-2 - w/2). Suppose z - a = -2*l, 3*l - z - 24 = -2*z. Does 9 divide l?
True
Suppose 0 = -4*r - 51 + 399. Is r a multiple of 29?
True
Let o(d) = d**3 + 4*d**2 - 4. Let s be o(-4). Let j be (-10)/s*(33 + -3). Suppose 2*c = -c + j. Is 13 a factor of c?
False
Let w = -23 + 28. Suppose 0 = 5*d - w*t - 12 - 208, d - 44 = -5*t. Is 11 a factor of d?
True
Let i(m) = m**2 - 6*m + 8. Let y(o) = o + 7. Let t be y(-7). Suppose b + b - 14 = t. Is 7 a factor of i(b)?
False
Suppose -2*a - 2*a + 72 = 0. Does 9 divide a?
True
Let w = -2 + 4. Let l(d) = 56*d**2 - d + 1. Let t be l(w). Suppose 5*u = -53 + t. Is 17 a factor of u?
True
Suppose 3*t + 5*j = 34, 7*t = 2*t + 5*j + 70. Suppose t = 3*u - x - 2, 2*u - 4*x - 10 = 0. Does 3 divide u?
False
Suppose 5*u - b = 23, -13 = -u + 4*b - b. Suppose -u*h - 4*y + 76 = -0*y, -4*h + 40 = -5*y. Let n = h - 7. Is 6 a factor of n?
False
Suppose 12 + 12 = 4*i. Suppose 0*x - 104 = -2*x. Suppose -2*g + i*g = x. Does 13 divide g?
True
Suppose -375 = -169*p + 164*p. Does 15 divide p?
True
Let x be -1 + 7 + (0 - 2). Suppose -4*o + 152 = x*h, -3*o - 9 = -4*h - 109. Does 9 divide o?
True
Suppose 4*w - w = -3*n + 12, -12 = 3*w - 3*n. Suppose p + w*p = -9. Let a = -5 - p. Is 2 a factor of a?
True
Suppose -3*o - 16 + 64 = 0. Suppose 6*v - 2*v - o = 0. Does 4 divide (v/10)/((-3)/(-30))?
True
Let l = -10 - -135. Is 8 a factor of l?
False
Suppose -t + 17 = -16. Is 22 a factor of t?
False
Let o(k) = k**3 - 4*k**2 + 4*k - 5. Let c be o(4). Let x(s) = -s**2 + 12*s + 13. Is x(c) a multiple of 6?
True
Let g(u) = -u**2 + 5*u - 2. Let i be g(3). Let z(c) = 2 + 0 + 3*c - 4. Is 10 a factor of z(i)?
True
Let s(t) = -2*t + 4. Let a be s(-4). Let i(k) = -k**2 + 6*k + 2. Let n be i(6). Suppose n*l + 2*l = a. Does 3 divide l?
True
Let o(i) = i**2 - 5*i + 5. Let y be o(-5). Suppose 2*w - y = 5*h, -4*h = 4*w + 19 - 59. Does 12 divide w?
False
Let f = -24 + 24. Suppose 0*w + 4*w - 32 = f. Is 8 a factor of w?
True
Suppose 15 + 0 = 5*b. Suppose 0 = 2*q - b + 7. Is (q - 0)/(10/(-145)) a multiple of 11?
False
Let a = -27 + 77. Is a a multiple of 6?
False
Let p(k) = k**3 - 3*k**2 + 15*k + 12. Is 34 a factor of p(6)?
False
Let y(a) = -2*a**2 + 5*a**2 + 7 - 2*a**2 + 6*a. Does 8 divide y(-7)?
False
Let y = 1 + 1. Suppose 0*o + 15 = 3*o, -1 = -z + y*o. Suppose -5*b + z + 4 = 0. Does 3 divide b?
True
Let t(k) = -k**3 + 9*k**2 - 6*k - 7. Let y be t(8). Suppose 0 = -5*v + y*v - 88. Does 9 divide v?
False
Let r be -1 + 6 + 0 + -1. Let a = -9 + r. Is 1/a - 302/(-10) a multiple of 12?
False
Suppose 0*s + 3*s = -6096. Is s/(-40) - 2/(-10) a multiple of 17?
True
Let u be 546/35*10/4. Suppose -4*j + b - u = 0, -4*j - 7*b + 2*b = 69. Let d = -5 - j. Is d a multiple of 5?
False
Let j(n) = n**2 + 8*n + 9. Suppose 5*r + 7 = 4*r. Let v be j(r). Suppose -8 = -2*c + v*h, 0*h - 6 = -2*h. Is 4 a factor o