. Is l a multiple of 12?
True
Let d(x) = 3*x**2 + 9*x + 11. Does 2 divide d(-5)?
False
Let c = 5 - 3. Suppose c*z = -4*v + 26, -2*v - z + 25 = 3*v. Does 3 divide v?
False
Let d = -92 - -138. Does 17 divide 0 + 4 + d + -16?
True
Suppose w - 32 = 30. Is 16 a factor of w?
False
Let l = 0 - -1. Suppose -y - 3*y = 12. Let h = l - y. Is h even?
True
Suppose -758 = -4*x + 5*v, -2*v = -5*x - 6*v + 968. Suppose 3*a = -21 + x. Does 19 divide a?
True
Let v(t) = t**3 - 4*t**2 + 9*t + 2. Let h(q) = q**3 + q**2 + q + 1. Let p(i) = -2*h(i) + v(i). Let g be p(-7). Is -2 - 52/(-2 + g) a multiple of 15?
False
Let w be (-2)/(-6) - 60/18. Does 4 divide -1*w/(9/24)?
True
Suppose 3*a + 24 = 4*a. Is 10 a factor of a?
False
Let u = -15 + -9. Let j = 45 + u. Is j a multiple of 11?
False
Let i = 0 - 0. Let p(v) = 5 - 1 - 10*v + i. Does 12 divide p(-3)?
False
Let h = 6 - 3. Suppose 0*g = h*g - 54. Is g a multiple of 6?
True
Suppose 3*f + 637 = 10*f. Is f a multiple of 9?
False
Let q = -17 - -160. Is 10 a factor of q?
False
Let i be (6/4)/((-1)/4). Let j(b) = b**3 + 8*b**2 + 7*b - 2. Is 28 a factor of j(i)?
True
Let i(j) = -8*j + 2. Suppose -5*t + 12 = -3, 3*w + 5*t = 18. Let f be w/(3/6*-1). Is 9 a factor of i(f)?
True
Let j(n) = -3*n**2 + 2 + 6*n - 6*n**2 + 2*n**2 + n**3 - n**2. Does 16 divide j(8)?
False
Suppose -2*f + 240 = f. Suppose 5*d - f = 2*a, 0 = d - 7*a + 2*a - 16. Is d a multiple of 7?
False
Suppose -4*t = -0*t - 4752. Suppose 0 = 3*v + 363 - t. Suppose -l = 4*l - v. Is 14 a factor of l?
False
Let p(a) = a**3 - 12*a**2 + 15*a - 15. Is p(11) a multiple of 4?
False
Suppose -5*c + k = -240, 0 = c + 2*k - 22 - 26. Is c a multiple of 16?
True
Let r(b) = b**3 + 6*b**2 + 4*b + 20. Does 3 divide r(-5)?
False
Let l(r) = -r + 1. Let h be l(-4). Suppose h*a + 8 = -2. Does 14 divide 4/8 - 55/a?
True
Let v(r) = r**3 - 5*r**2 + 5*r + 10. Does 14 divide v(4)?
True
Let y(i) = i**3 + i**2 - i + 12. Let x be y(0). Suppose 5*s + 2*f = x, -2*f + 0 = -2. Suppose -2*v + h + 6 = 0, -4*v + s*h = -h - 10. Does 4 divide v?
True
Let s(b) = -b**3 + 11*b**2 + 8*b - 10. Is s(11) a multiple of 12?
False
Let d(r) = -2*r + 2. Let t = -12 + 10. Is 3 a factor of d(t)?
True
Suppose 2*h - h + 1 = 0, -5*o + 3*h = -18. Suppose 0*t - 6 = -o*t. Let z = 1 + t. Does 2 divide z?
False
Is 3/(-5) - 1938/(-30) a multiple of 16?
True
Suppose -4*y = -n - 17 - 3, 4*n - 10 = -2*y. Let v = -21 - -31. Does 12 divide ((-34)/y)/((-2)/v)?
False
Let q be ((-4)/6)/(4/(-18)). Let o = 12 + 16. Suppose q*r = o + 8. Does 12 divide r?
True
Let j = -30 - -50. Let k = 0 + 3. Suppose -2*u = k*u - j. Is u a multiple of 2?
True
Let g(p) = p**2 - 5*p - 6. Suppose 5*w - 3*z - 25 = 0, w + 7 = -0*w + 3*z. Let d be g(w). Suppose d = 3*i - 36. Is 6 a factor of i?
True
Let k be 1*(1 - 1 - -1). Is 14*(18/21)/k a multiple of 11?
False
Suppose 260 = 8*q - 292. Is 23 a factor of q?
True
Let a be (-3 - 0)/(-3)*0. Suppose a*y + y - 11 = 0. Is 3 a factor of y?
False
Suppose -5*z - 2*w + 83 = -0*w, -86 = -5*z + w. Let s = 33 - z. Does 8 divide s?
True
Let n = -9 + 16. Let j be n + 1 - (6 - 3). Suppose -j*w - 2*x + 32 + 59 = 0, -w + x + 21 = 0. Is w a multiple of 12?
False
Does 9 divide 32*(2 + (-1 - -1))?
False
Let w = 6 + -2. Suppose -w*b - 6 = -22. Suppose -16 + 6 = -k + b*t, -k - t + 20 = 0. Does 9 divide k?
True
Suppose -3*j + 2*j = -3. Is 4 a factor of 1/3 + 23/j?
True
Let q be (-1)/((-3 - 0)/15). Suppose 3*c + q = 23. Suppose -y + 20 + c = 0. Is 13 a factor of y?
True
Let m(v) = 17*v - 2. Suppose 4*g - 2 = 6. Is m(g) a multiple of 16?
True
Suppose 2*a - 30 = -4*v, -10 = -5*v + 5. Let m be 5/15*1*a. Suppose k - 5 - m = 0. Is 5 a factor of k?
False
Suppose 0 = -2*g + g + 1, -4*w - 4*g = -16. Suppose w*n - f = -3*f + 4, -2 = 3*n - f. Suppose -q - 3*q + 28 = n. Does 3 divide q?
False
Suppose 0 = h - 0*h. Let m be h - 0 - (-5)/1. Suppose -2*f + m*o + 39 + 45 = 0, 2*f - 104 = -5*o. Is f a multiple of 17?
False
Let j = -130 + 229. Is j a multiple of 20?
False
Let c(u) = -1. Let r(x) = x - 11. Let k(z) = 14*c(z) - 2*r(z). Let w be k(7). Does 3 divide (-2)/3*45/w?
False
Let a = -7 + 9. Suppose -2*g + 280 = a*g. Is g a multiple of 21?
False
Let u(b) = 61*b**3 + b**2 - 26*b**3 + 0*b**2 - b. Let j = 4 + -3. Does 12 divide u(j)?
False
Suppose -4*k + 5*k + 7 = 0. Is (-2)/(-7) - 334/k a multiple of 12?
True
Let r(u) = 2*u + 6. Let n be r(-5). Let x be (-4 - n)/(-3 + 1). Suppose x = 4*q - 15 - 5. Is q a multiple of 3?
False
Let g = 127 - -23. Is 25 a factor of g?
True
Let x(q) = q**3 - 4*q**2 - 4*q - 16. Does 16 divide x(6)?
True
Let i = -57 - -89. Is i a multiple of 16?
True
Suppose 2*j = -0*j + 24. Is 3 a factor of j?
True
Does 15 divide 498/9 - (-12)/18?
False
Is 6 a factor of 89/4 - (-2)/(-8)?
False
Let j(z) = z**3 - 3*z**2 - 6*z + 7. Let q be j(5). Suppose q - 3 = 4*w. Is (-8)/(-1 + 3/w) a multiple of 16?
True
Suppose 4 = 3*s - 2*s. Suppose s*k - 37 - 11 = 0. Suppose 6 = y - k. Is 11 a factor of y?
False
Let i(k) = 2*k + 40. Let d be 2 + 1 - 6/2. Does 20 divide i(d)?
True
Let t(d) = 169*d + 7. Is t(2) a multiple of 24?
False
Suppose 0 = -2*v - 6 + 38. Suppose 3*q + 8 = -v. Does 10 divide (-102)/q - 12/16?
False
Let j(x) = 4*x**2 - 12*x - 12. Is 50 a factor of j(7)?
True
Let l(p) = 0*p - 4*p - 11 + 2*p + 4*p. Let m be l(8). Suppose -m*t + 2*t + 12 = 0. Does 4 divide t?
True
Let n be (-2 - (-9)/6)*-2. Suppose -c = -2*c - n. Let o = c - -11. Is 6 a factor of o?
False
Suppose -o = -5*x - 38, -x - 2 = o + 2*x. Is 7 a factor of o?
False
Let g(b) = b**3 + 10*b**2 + 12*b + 2. Does 6 divide g(-8)?
False
Let j = -36 - -70. Is j a multiple of 17?
True
Let a(f) = f + 1. Let c be a(2). Suppose 0*p = -4*s - 3*p + 71, -4*s + c*p = -65. Let v = -9 + s. Is v a multiple of 8?
True
Let a(n) = -n**3 + 3*n**2 + 4*n - 2. Let d be a(3). Suppose -4*h = -d - 2. Is 3 a factor of h?
True
Let o = 316 + -153. Is 26 a factor of o?
False
Let b = -6 + 10. Suppose 2*r + 4 = -b. Is 3 a factor of r/6 + 44/12?
True
Let h = 3 - 68. Let p = h + 108. Is p a multiple of 13?
False
Suppose -2*s + 1 = -9. Suppose -4 = s*d - 14. Suppose 0 = v - d - 21. Is v a multiple of 9?
False
Suppose 6*z = 157 + 419. Is z a multiple of 24?
True
Is 16 a factor of ((-436)/6)/(80/15 - 6)?
False
Let q be (12/((-4)/1))/(-1). Suppose -360 = -4*d + 4*i, q*d + 6*i = 4*i + 270. Does 30 divide d?
True
Suppose 0*t + 10 = 2*t. Does 5 divide t?
True
Let o = 14 - -3. Let u = -9 + o. Is u a multiple of 4?
True
Is 87/2*(240/18)/10 a multiple of 29?
True
Let p(r) = r + 8. Suppose 4*x + 5*g = 0, 4*x - 3*g + 11 = -21. Is p(x) even?
False
Suppose 0 = -n - 1, 5*n = -3*a - 0 + 547. Suppose -6*m + a = -2*m. Is 23 a factor of m?
True
Suppose -2 = -2*z - o - 3, 5*o - 6 = z. Let b(v) = -5*v**3 + 1. Is 3 a factor of b(z)?
True
Let m(i) = i - 5. Let u be m(7). Suppose -11 = -u*q + 21. Is (q/(-10))/(1/(-15)) a multiple of 8?
True
Suppose 8*v = 4*v + 500. Is v a multiple of 25?
True
Let v(g) = -19*g. Let q be v(-6). Let y = 170 - q. Is 14 a factor of y?
True
Let h(s) be the second derivative of s**7/840 - s**6/360 + s**5/120 + 13*s**4/8 - s**3/6 - 2*s. Let o(u) be the second derivative of h(u). Does 17 divide o(0)?
False
Suppose -19 + 75 = 2*s + 2*b, -s - 4*b = -22. Is s a multiple of 10?
True
Suppose 5 + 5 = 2*i. Suppose 24 = i*b + 4. Let v = b + 2. Does 3 divide v?
True
Let r(o) = o**2 + 5*o + 2. Let u = 2 - 5. Let n be r(u). Is 6 a factor of (-2)/n*(1 - -31)?
False
Let p(q) = -q**2 + 17*q + 12. Is 18 a factor of p(14)?
True
Is 43 a factor of 4/10 + (-1863)/(-5)?
False
Suppose 46 = 2*j + 8. Let p = -9 + j. Does 3 divide p?
False
Let a be ((-51)/9 - -4)*-3. Suppose -20 - 220 = -a*q. Is 12 a factor of q?
True
Suppose -5*j + 580 - 30 = 0. Suppose -3*b = -j + 32. Is 14 a factor of b?
False
Suppose -76 = -c + 2*k - 24, -5*c = -3*k - 267. Does 27 divide c?
True
Let l(f) = 5*f**2 + 11*f + 8. Let j(u) = u + 1. Suppose 5*y = 2 + 3. Let d(p) = y*l(p) - 6*j(p). Is 11 a factor of d(-3)?
False
Let x(a) = a**2 - 3*a + 1. Let d = -1 - 8. Let z = 13 + d. Is 5 a factor of x(z)?
True
Suppose 4*z = 18 + 26. Is (-10)/(-55) - (-229)/z a multiple of 7?
True
Let i be (-1 - -3)/(2/3). Suppose -2*l + 3*l = -i*h - 12, 5*h + 22 = -l. Is 3 a factor of l?
True
Let o(y) = -4*y**3 - y**2 - 2*y - 1. Let q(t) = t**2 - 2*t - 1. Let z be q(2). Let c be o(z)