alse
Is 8 a factor of (-101)/(14/(-20) - (-12)/60)?
False
Suppose 2 = -h + 2*h. Suppose -4*m - 5*j = 27, j = 4*m - h*j + 3. Does 4 divide (3/6)/(m/(-48))?
True
Suppose -6*l + 3*l + 6 = 0. Is (15/(-6) + l)*-66 a multiple of 17?
False
Let w = -9 - -10. Let j = w + 4. Does 2 divide j?
False
Suppose -4*v - 3*o = -160 + 20, 0 = -5*o. Does 4 divide v?
False
Let h(j) = 10*j - 3. Let g be h(-3). Let z = g + 62. Is z a multiple of 12?
False
Suppose 0 = -i + 43 + 5. Does 12 divide i?
True
Let j(l) = 4*l**2 + 6*l - 16. Let k(m) = 3*m**2 + 5*m - 16. Let w(z) = 4*j(z) - 5*k(z). Is 7 a factor of w(0)?
False
Let q = -216 - -456. Does 48 divide q?
True
Does 24 divide (29/3)/(2/18)?
False
Let o = 375 + -232. Is 13 a factor of o?
True
Suppose -2*r = 2*r - 16. Let q be (222/12)/(2/r). Let b = q + -17. Does 10 divide b?
True
Let x = -181 - -257. Does 19 divide x?
True
Let a = -12 + 12. Is -22*12/(-8) - a a multiple of 11?
True
Is 18 a factor of 2*(-3)/(-12) - 244/(-8)?
False
Is 27 a factor of -1*(48/(-5))/((-14)/(-280))?
False
Let i(q) = q**2 - 8*q + 5. Is 21 a factor of i(10)?
False
Suppose 4 = 2*t, f - 3*t + 4 = -0*t. Let x(i) = 3*i**2 - 5*i + 8. Let d(p) = 7*p**2 - 9*p + 17. Let n(w) = f*d(w) - 5*x(w). Is 3 a factor of n(4)?
True
Is 19 a factor of 5540/25 - (-10)/25?
False
Suppose 0 = 3*d + d. Suppose -5*b + 40 = 4*g, -2*b + 28 = -d*g + 4*g. Suppose -g*q = 6*v - v - 35, 0 = -5*v - 2*q + 47. Is v a multiple of 4?
False
Let t = -12 - -37. Does 25 divide t?
True
Let m(s) = s**3 - 5*s**2 - 6*s + 5. Let r = -7 - -13. Let u be m(r). Suppose u*p = p + 40. Is p a multiple of 5?
True
Let h = 458 - 318. Is 35 a factor of h?
True
Suppose -3*t + 6 = -12. Is 17 a factor of (-3)/(t/(-136)*2)?
True
Suppose -4*v - 10 = g - 1, -3*g + 15 = -2*v. Let x = 11 - v. Does 3 divide (x/(-4))/(1/(-2))?
False
Does 9 divide ((-23)/(-6))/23 + 1618/12?
True
Let h = 726 - 422. Is h a multiple of 19?
True
Let f(j) = 2*j**2 - 3*j - 2. Let w = 14 - -15. Suppose 5*k - 11 = l, -3*k + w = 6*l - l. Does 18 divide f(l)?
True
Is 40 + (-4)/(-2) - 2 - -4 a multiple of 22?
True
Suppose j = -l - 181, l + 545 = -2*l - 2*j. Is 6 a factor of 3/(2 + l/96)?
False
Let y be ((-25)/20)/((-2)/8). Suppose y*u = -0*u + 40. Does 8 divide u?
True
Let z(j) = 7*j - 2*j**2 + 2 + j**2 - 3 + 0*j**2. Does 11 divide z(3)?
True
Suppose 0 = 5*f + 3*y - 34 + 122, 5*f - 2*y = -83. Let j = f - -59. Is j a multiple of 18?
False
Suppose -3*a - 14 = -a. Let i(v) = v**2 + 5*v. Is 7 a factor of i(a)?
True
Let u = 23 - -5. Let a be 540/21 - 4/(-14). Suppose a = 3*v - u. Is 10 a factor of v?
False
Let q = 1 + 0. Does 2 divide 3/6*10*q?
False
Suppose 3*p - 15 = -5*z + 5*p, 5*z - 5 = 4*p. Let y(d) = 2*d**2. Let u be y(3). Suppose 5*v = z*x + u + 2, 5*x - 16 = -4*v. Does 2 divide v?
True
Let b(t) = 6*t**2 - 2*t + 1. Does 10 divide b(3)?
False
Let o(a) = a**3 + a**2 - 2. Let v be o(0). Let n = v + 0. Does 5 divide (n/(-6))/(8/192)?
False
Let w be 2/4*0/2. Let q = w - -5. Suppose b = q*b - 16. Is 4 a factor of b?
True
Let q = 9 + -17. Let k = -4 - q. Is 3 a factor of k?
False
Suppose -8*c = -4*c - 176. Is c a multiple of 26?
False
Suppose 0 = 2*g + 5 - 11. Let s(b) = b**3 - b**2 + 3*b. Is 27 a factor of s(g)?
True
Let o = 570 + -400. Does 34 divide o?
True
Let o be 66/4*(-16)/12. Let z = o + 35. Is z a multiple of 13?
True
Let m = -166 - -327. Does 9 divide m?
False
Suppose 0*m + 59 = -m. Let d = -41 - m. Does 14 divide d?
False
Let w(z) = -z**3 - 3*z**2 - 4*z + 3. Suppose 4 = -3*t + 2*t. Does 22 divide w(t)?
False
Let x be 18*(-3 + 14/4). Suppose x*o + 118 = 3*a + 4*o, -a - 3*o = -44. Let l = a + -28. Is 13 a factor of l?
True
Let h = -14 - -8. Let b = 9 + h. Suppose b*v = -x - 3, 0 = -7*x + 3*x - 3*v + 6. Is x a multiple of 3?
True
Let u = 30 + -14. Suppose l - 2*l = -u. Does 16 divide l?
True
Suppose -i = 4*z + 88, 0 = -z + 4*i - 4 - 1. Let f(c) = -c**3 + 3*c**2 + 3*c - 9. Let n be f(4). Let g = n - z. Is 4 a factor of g?
True
Let m = -24 + 98. Suppose 2*l - m = -2*l - 3*b, -68 = -3*l + 4*b. Is l a multiple of 10?
True
Suppose 4*m = 3 - 15. Does 3 divide (m/(-3) - -3)*1?
False
Suppose d = -d + 4. Suppose -d*r + 166 = -2*p, -2*r + 7*r + 5*p = 375. Is r a multiple of 19?
False
Let u be (1 - -30)/(-8 + 9). Suppose 41 + u = 2*g. Is g a multiple of 12?
True
Let f = 10 + -6. Suppose -t + 2*t + 14 = -5*b, -f*b = -4*t + 40. Let d(q) = -q**3 + 6*q**2 + 3*q - 5. Is 12 a factor of d(t)?
False
Let l(m) = -5 + m**3 - 9 - 3*m + 2 - 6*m**2. Let a(n) = n**2 + n. Let u(k) = -4*a(k) + l(k). Is 16 a factor of u(11)?
True
Suppose 180 = 2*b + 3*b. Suppose -2*y - 4*n = -3*n - 20, -n - b = -5*y. Does 5 divide y?
False
Let x(r) = -33*r + 3. Is 30 a factor of x(-3)?
False
Let d = 3 - 1. Let f be 1*(-75)/(-3) - d. Let k = 33 - f. Does 4 divide k?
False
Suppose 3*h + 19 = -3*n + 4, 3*n - 4*h = -43. Let r(q) = q**2 - 11. Is 15 a factor of r(n)?
False
Suppose 4*m + 10 = -6. Let u = m - -8. Is u a multiple of 2?
True
Let v = 9 - 5. Is 6 - v - (-23 + 1) a multiple of 17?
False
Let h(b) = b**3 - 8*b**2 + b - 6. Let y be h(8). Suppose 4*k - m = 47, -y*m - 12 - 10 = -2*k. Is k a multiple of 7?
False
Let c(n) = n - 12. Let p be c(6). Let h(b) = b**3 + 7*b**2 + 5*b + 4. Is h(p) a multiple of 10?
True
Suppose 44 = 4*n + w, 4*w - w - 22 = -2*n. Is 7 a factor of n?
False
Suppose 0 = 3*k + 3*p - 331 + 115, -4*p - 144 = -2*k. Suppose -3 = l, z - 5*l - k = -l. Does 30 divide z?
True
Let w be (-7)/(-2) - 3/(-2). Suppose -w*r - 27 = -127. Is r a multiple of 6?
False
Let m(a) = -a**2 + 21*a + 4. Is 7 a factor of m(16)?
True
Let a = -9 + 15. Suppose -a*q = -2*q - 12. Suppose -2*d - 6 = 0, -53 = -k + q*d + d. Does 14 divide k?
False
Let l(g) = g**2 - 6*g + 2. Let i be l(6). Suppose c - 4 = i*v - 0, -3*c - 9 = v. Let p(x) = 3*x**2 + 4*x + 2. Does 6 divide p(c)?
True
Suppose -5*g + 40 = -5*a, 0*a = g - 3*a - 12. Suppose k = g*k - 180. Suppose -r = 3*r - k. Is r a multiple of 7?
False
Suppose -5*v - 12 = -2. Let s = v + 22. Is s a multiple of 13?
False
Suppose 3*t - 9*v - 108 = -12*v, 5*v - 112 = -3*t. Does 17 divide t?
True
Suppose -4*u = 2*m - 3*m + 20, 15 = -3*m - 3*u. Suppose -2*x + m*x - 34 = -2*z, x - 93 = -4*z. Is 11 a factor of z?
True
Let a(g) = 5*g + 3. Suppose 0 = 2*b - 5*y - 1 - 7, 0 = 4*y. Let k = b - 1. Is a(k) a multiple of 18?
True
Let d(t) = -t + 13. Is 8 a factor of d(-11)?
True
Let j be ((-156)/65)/((-2)/5). Suppose j*g + 5*p - 31 = 2*g, -p = -5*g + 75. Is 13 a factor of g?
False
Let m = 1 + 31. Is 16 a factor of m?
True
Suppose 3*j - u - 9 = -4*u, j + 5*u + 5 = 0. Suppose 4*i - j*o - 45 = -0, 16 = 2*i + 4*o. Is i a multiple of 7?
False
Suppose 15*a - 505 = 10*a. Is a a multiple of 15?
False
Let i(y) = -7*y + 3. Let m(p) = -27*p + 12. Let n(s) = -9*i(s) + 2*m(s). Does 10 divide n(2)?
False
Suppose -4*t + 20 = 0, -y + 4*y + 4*t - 116 = 0. Does 16 divide y?
True
Let u(h) = 14*h**2 - h - 10. Is 30 a factor of u(4)?
True
Let l(g) = -g**2 + 5*g - 2. Let p be l(3). Suppose -3*n + 5*c = 13, 4*n + 2 + 2 = p*c. Suppose n*k = -3*h + h, 3 = -3*k. Is 2 a factor of h?
True
Let w = -6 - -6. Suppose 2*f - 3*u = -5*u - 6, w = -5*u + 10. Is (-10)/(-2)*(-4)/f even?
True
Let h(y) be the second derivative of y**3/3 - 3*y**2 + y. Does 3 divide h(7)?
False
Suppose 3*k - l - 48 = 0, 5*k - 9 - 82 = -2*l. Suppose -26 - 4 = -5*b. Let x = k - b. Is 6 a factor of x?
False
Suppose -6*c + 2*c = -8. Let z be 64/(-6) + c/(-6). Let s = z + 22. Does 6 divide s?
False
Let o be 6/(-4) - 305/10. Let q = o - -59. Does 9 divide q?
True
Does 6 divide 2 + (-126)/(-28) + (-2)/4?
True
Suppose -3*w - 2*k = -1 - 10, 0 = -3*w - 3*k + 12. Does 7 divide (11 - w)/(1/2)?
False
Let g(b) = 2*b - 1. Let m be g(6). Suppose -2*t - t - 15 = -5*i, 2*i - 6 = 3*t. Suppose -a + 3*j + m + 4 = 0, a + i*j = 3. Does 9 divide a?
True
Let p(r) = r**3 - r**2 - 5*r + 2. Let t be p(3). Suppose 0*g - 36 = -4*g + 2*u, t*u - 60 = -5*g. Suppose 5*c + w = c + g, 2*w - 8 = -4*c. Does 3 divide c?
True
Let a be ((-18)/(-4) + 1)*2. Suppose -4*b + b = -u - a, b + 18 = -4*u. Does 3 divide 4/6*18/b?
True
Let f = 137 + -73. Is f a multiple of 7?
False
Let i(b) = -b + 2. Suppose 2*d - 4*p = 16, -6*p - 8 = -2*p. Let v be i(d). Does 15 divide 98/3 + v/3?
False
Let k(m) = 1 - 2 - m**3 - 4 + 10*m + 5*m**2 + m**2. Does 8 divide k(7)?
True
Suppose -5