
Is ((-163)/(-2))/(2 - 7/4) a multiple of 11?
False
Let m(w) = w**3 - 5*w**2 + 4*w + 5. Let y be m(4). Suppose y*n = -5*i - 90, -20 = 2*n + 2*i - 4*i. Let z = 0 - n. Is 6 a factor of z?
False
Is 2/(-13) - 1391212/(-533) a multiple of 29?
True
Let s = 634 - 402. Does 4 divide s?
True
Suppose v = -7*r + 2*r + 5, -2*r - 4*v + 20 = 0. Suppose r = -2*m - m - 33. Does 8 divide -4*(m + (-3)/(-1))?
True
Suppose 3*l - 120 = -l. Suppose 5*x - l = 20. Does 13 divide (-195)/x*-2*1?
True
Let s(u) = -17*u**3 - 3*u**2 + 5. Let y = 40 - 42. Is 23 a factor of s(y)?
False
Let y = -276 - -493. Does 15 divide y?
False
Let p(y) = 1 - 3*y - 2 - 1 + 0 + 95*y**2. Suppose 5*w + 3 + 2 = 0. Is p(w) a multiple of 16?
True
Let n(g) = -g - 1. Let i(t) = -4*t + 4. Let f(d) = -i(d) + 2*n(d). Is f(5) even?
True
Let k be (-2 + (-4)/8)*-2. Let g be 1/(2 - (3 + 0)). Does 10 divide 135/k + g + 4?
True
Suppose 303*z + 14308 = 317*z. Does 75 divide z?
False
Let q(k) = k**3 - 13*k**2 + 19*k - 11. Suppose -13 = -9*n + 8*n. Let h be q(n). Suppose 0 = -3*d - 6*r + 2*r + 152, 4*d - 3*r - h = 0. Is d a multiple of 15?
False
Does 5 divide (3284/(-6))/(24/(-36))?
False
Let s(i) = i**3 - 20*i**2 - 8*i - 11. Let d be s(21). Suppose -2*x + d = 22. Is x a multiple of 20?
True
Let m(u) = u**2 - 12*u - 24. Is m(16) a multiple of 20?
True
Let r(s) = 11*s**2 - 2*s - 10. Is r(6) a multiple of 19?
False
Let p(a) = 2*a**2 + 0*a**2 + 2*a**2 - 3*a**2. Let n be p(2). Is -2*(162/n)/(-3) a multiple of 18?
False
Let u(o) = -73*o + 92. Is u(-4) a multiple of 6?
True
Suppose 10*m - 19*m + 6426 = 0. Does 27 divide m?
False
Let q be ((-25)/(-5))/(-10)*0. Suppose q = -4*v - 18 + 82. Is v a multiple of 4?
True
Let d(u) = -u**3 - 2*u**2 - 2*u - 4. Let v be 45/(-6)*(-2)/(-3). Let y be d(v). Suppose -2*k + y = 9. Is k a multiple of 7?
False
Suppose 5*a - 4*m + 7*m = 573, -367 = -3*a + 4*m. Does 13 divide a?
True
Suppose 41 = c - 5*v, 13*v - 145 = -4*c + 14*v. Is 20 a factor of c?
False
Let g(d) = -d**2 + 3*d + 118. Suppose 0 = -b - 6*b. Does 8 divide g(b)?
False
Does 24 divide ((-14364)/285)/((-6)/20)?
True
Suppose -2*p + 1 = -3. Suppose -3*u = -b - 13, 0*b = 2*u - p*b - 14. Suppose -2*k - u*k = -50. Does 10 divide k?
True
Let g be 2 - ((-1552)/(-4))/(-4). Let a be g/12 - 2/8. Suppose -a*i = -7*i - 20. Does 10 divide i?
True
Suppose -1095 - 3495 = -5*x. Is 17 a factor of x?
True
Let i(p) = -p**3 - 31*p**2 - 38*p - 1. Is 7 a factor of i(-30)?
False
Let b = 828 + -618. Is 21 a factor of b?
True
Does 5 divide ((-34030)/123)/(4/(-6))?
True
Let v(o) = -o**3 + 11*o**2 + 15*o - 20. Is v(10) a multiple of 26?
False
Suppose 0 = -139*z + 133*z + 2016. Is z a multiple of 9?
False
Suppose j - 5*k + 16 + 2 = 0, -4*j + 5*k - 12 = 0. Is 2 a factor of (-306)/(-27)*3/j?
False
Let n(r) = r**2 - 12. Let b = -5 + -3. Let u be n(b). Let f = u + -34. Does 18 divide f?
True
Let g(v) = -v**2 - 10*v + 1314. Is 96 a factor of g(0)?
False
Suppose -3*f + 734 + 616 = 0. Suppose -2*i = -126 - f. Is i a multiple of 27?
False
Let u = -1 + -2. Let z be 0 + -1 + u/(-1). Is 17 a factor of (102/9 + z)*3?
False
Suppose 0 = -9*j + 36. Let x be 2*((-135)/(-2))/1. Suppose 130 = 4*m + j*v + 30, 5*v = 5*m - x. Is m a multiple of 13?
True
Let y = -504 + 675. Is y a multiple of 11?
False
Suppose 25*i + 1035 = -990. Let g(o) = -3*o**3 - o**2 + o - 1. Let v be g(-4). Let m = v + i. Is 30 a factor of m?
True
Let y = 3 + -2. Suppose 0*z - z + 2*h + 12 = 0, h = y. Let p = 17 - z. Does 2 divide p?
False
Suppose -11383 = -67*x + 26271. Is x a multiple of 3?
False
Suppose -2*n + 65 = 3*a - 8*a, 2*n = -5*a + 75. Suppose -n = -4*y + 173. Suppose 2*b + 0*b = y. Does 14 divide b?
False
Let f = -46 - -21. Let r = 135 + f. Suppose r = 4*k - 2*n + 22, -110 = -5*k - 5*n. Is 11 a factor of k?
True
Suppose -3*c + 4*q = -67, 3*c - 4*c = 4*q - 17. Does 3 divide c?
True
Let w = 3752 - 2602. Does 23 divide w?
True
Suppose -5*j + 30 = -10*j. Let v(s) = -s**3 - 3*s**2 + 8*s - 1. Is v(j) a multiple of 34?
False
Suppose -i - 5 = -3*g - 16, 2*i - 1 = -g. Suppose -i*k - 4*s - 20 = 0, -3*k = -2*k + 4*s + 20. Suppose k = -c - 43 + 62. Does 19 divide c?
True
Let w(p) = 153*p**2 - 16*p - 51. Is 41 a factor of w(-3)?
False
Suppose 2*j - 2*d - 200 - 140 = 0, -3*j + 515 = -4*d. Is j a multiple of 15?
True
Let t(p) = -p**2 + 13*p + 26. Let y be t(-9). Let v = 305 + y. Is v a multiple of 7?
True
Let x(m) = -48 - 6*m + 37 + 2*m. Suppose -2*i + 10 = -2*v + i, -i = 0. Does 9 divide x(v)?
True
Let h(c) = 2*c - 3. Let q be h(-8). Let d be (11 - 0/(-1))*3. Let a = d + q. Is 9 a factor of a?
False
Let l(b) = 3*b - 14. Let s be l(6). Suppose -51 = -2*x - s*a + 3*a, 5*x + a = 126. Is x a multiple of 14?
False
Let x = 1622 + -897. Is 25 a factor of x?
True
Let i(h) = -45*h - 252. Is 9 a factor of i(-11)?
True
Suppose 0 = -h + 2*v + 1146, 16*v + 4564 = 4*h + 12*v. Does 71 divide h?
True
Suppose 2*d + d - 3*m = 21, -2*d + 8 = 4*m. Is ((-40)/6 + 4)/(d/(-135)) a multiple of 45?
False
Let s = -90 + 228. Suppose -s = -2*m + 44. Is m a multiple of 38?
False
Suppose 0 = 3*m - 3*h - 1233, 0*h - 1680 = -4*m - 5*h. Is 2 a factor of m?
False
Let c = 266 + -136. Is 3/1 + 5/10*c a multiple of 17?
True
Let y(i) = 8*i - 7. Let m(z) = 2*z + 5. Let x be 18/12 - (-3)/(-2). Let k be m(x). Does 6 divide y(k)?
False
Suppose 20831 = 14*m - 13385. Is m a multiple of 26?
True
Let c = 25 + -25. Suppose -5*y - a + 58 = -c*y, -5*y + 67 = 4*a. Is 11 a factor of y?
True
Let f(r) be the second derivative of -r**5/2 + r**3/2 + r**2 + 7*r. Does 2 divide f(-1)?
False
Let v be (-5)/20 + 3090/8. Suppose 3*x = -o + 45 + 45, 0 = -4*o + x + v. Is 11 a factor of o?
False
Let l = 561 - -855. Is 6 a factor of l?
True
Suppose -3*h = -5*h + 120. Let t be (-26)/91 + h/14. Is 49 - (-1)/(t/8) a multiple of 17?
True
Let l = -6 - -8. Let w(r) = 17*r**3 - 6*r**2 + 3*r + 6. Let z(h) = -16*h**3 + 5*h**2 - 2*h - 5. Let y(x) = -3*w(x) - 4*z(x). Is 16 a factor of y(l)?
True
Suppose 0 = -4*p - 0*p + 152. Let d = p - 24. Is 14 a factor of d?
True
Suppose 42*q = 13449 + 663. Is q a multiple of 12?
True
Let c(x) = x**2 + 11*x - 2. Suppose -3*f = 2*s + 2*f + 39, 0 = -f - 3. Let d be c(s). Let n = d - 4. Is 6 a factor of n?
True
Let f be 2 + 3 + -6 + 3. Suppose -f*z - 2*z + 24 = 0. Is z/(-12) + 73/2 a multiple of 18?
True
Let a be (-322)/77 - 2/(-11). Does 9 divide (-444)/(-18) - a/3?
False
Let f be 7/14*(-1 + 1). Suppose -4*z - 5*z + 315 = f. Is z a multiple of 5?
True
Suppose -3*m - 5*z = -302, 2*m + z + 32 - 231 = 0. Is m a multiple of 6?
False
Suppose -2*y = -3*m - 18, 9*y = 2*m + 4*y + 23. Suppose -31 = -x + l, 2*x - 16 = -2*l + 34. Let p = m + x. Does 6 divide p?
True
Let b be ((-12)/2)/(-6 + 4). Suppose -4*j + 66 = -2*m, 9*m + 39 = b*j + 4*m. Suppose 6 - j = -2*f. Is 6 a factor of f?
True
Let y(g) be the second derivative of 0 + 3*g**2 + 1/6*g**3 - 3*g. Does 12 divide y(13)?
False
Suppose -9*s + 702 = -819. Is 9 a factor of s?
False
Let x(d) = -226*d + 344. Is x(-15) a multiple of 97?
False
Let c(g) = -g**3 + 4*g**2 + 7*g - 5. Suppose -3*r + 15 = -0. Suppose -3*p = 4*h - 0 - 5, -5*h = r*p. Is c(h) a multiple of 5?
True
Suppose -2*q + w + 270 = 0, 0 = 4*q + 2*w + 2*w - 540. Does 45 divide q?
True
Let o = 2783 - 1770. Does 48 divide o?
False
Suppose -4*n = 5*p - 1011 - 31, 0 = 2*n + 4. Does 12 divide p?
False
Let w be -5 + 3/(15/12200). Suppose 0 = 15*d - w + 875. Is d a multiple of 9?
False
Let p(h) = 2*h - 12. Let c be p(7). Suppose c*m = 57 + 53. Let g = m + -30. Is 20 a factor of g?
False
Suppose 3*l + 6 = 4*l. Let o = l - 16. Is 0/(-2) + 1 - o a multiple of 11?
True
Let k = 156 + -10. Does 16 divide k?
False
Suppose 3*h + 11 = -5*l, 0*l + 5*l = 5*h - 35. Suppose 0 = 2*s, -i - 5*s + h*s + 212 = 0. Is i a multiple of 22?
False
Suppose 4*b - 3*b = 0. Suppose s = -3, f + 5*s + b*s = -5. Does 8 divide (-184)/f*(-10)/4?
False
Let o = 36 - -59. Suppose 0 = 2*u + 3*u + o. Let c = 23 - u. Is c a multiple of 7?
True
Let g = 81 - 75. Let y be 6/4*80/(-12). Is g/y - 5280/(-50) a multiple of 15?
True
Let c be (35/(-5))/(-1 - 0). Let z(n) = 4*n - 22. Let b(u) = 5*u - 23. Let w(k) = 6*b(k) - 7*z(k). Is w(c) a multiple of 7?
False
Let x be (-2)/(-8) - 30/(-8). Let u be (5 - 3) + 2 - 7. Is (x/u)/((-4)/138) a multiple of 21?
False
Let m = -21 - -20. Does 19 divide 10