be s(-3). Is (-19)/(1/2*(-12)/g) a multiple of 17?
False
Suppose 3*l + 43 = f + 4*f, f + 5*l - 3 = 0. Is (30/f)/(-1 + (-105)/(-96)) a multiple of 18?
False
Let y be (-4)/2*4/(24/285). Is 12 a factor of y/(-2) - (-7)/14?
True
Suppose -5*s - 5*r = -90, -r = -s + 51 - 31. Is s a multiple of 2?
False
Suppose 2*w - 2*m + 14622 = 0, w + 2*m = -m - 7323. Does 44 divide (8/(-10))/(w/(-1830) + -4)?
False
Suppose 5*x - 264 = x. Suppose -5*t + x = -3*t. Let i = t + -3. Is i a multiple of 10?
True
Let s be 6/1*(-5)/(-45)*12. Is (86/s)/((-14)/(-56)) a multiple of 15?
False
Let t be 3 + 11 - (0 + -2). Suppose 0 = -14*b + t*b - 42. Does 11 divide b?
False
Suppose 5*g = -2*g. Suppose g*l = 4*l. Suppose 4*h - 62 = -0*h - 2*w, w + 3 = l. Is h a multiple of 15?
False
Let k(d) = -11*d + 3. Let m be k(-2). Suppose -29*x + 548 = -m*x. Does 25 divide x?
False
Suppose -3*u - 1210 = -3553. Is 71 a factor of u?
True
Suppose -7*g + 6*g = 0. Suppose 10*u + 0*u - 620 = g. Is u a multiple of 42?
False
Suppose 2*g - z - 5 = 0, -7*g = -2*g + 3*z - 29. Let k(t) = t**2 - 4*t + 5. Let b be k(g). Suppose -j + 5*h = -13, -b*j = -4*j - 2*h - 16. Does 6 divide j?
True
Suppose -3*l - n = 387, -3*l + 3*n - 2*n = 387. Let y = l - -261. Is 22 a factor of y?
True
Let i(j) = j**3 + 7*j**2 - 9*j + 3. Does 2 divide i(-7)?
True
Let k(y) be the second derivative of y**4/6 - 2*y**3/3 - 4*y**2 + 11*y. Is 8 a factor of k(-6)?
True
Let c = -6 - -10. Suppose -5*y = -u - c*u - 15, -5*y = 4*u - 15. Suppose -v + 62 = 4*x + v, -5*x = -y*v - 50. Is x a multiple of 5?
False
Let d = 53 - -15. Suppose b = 16 + d. Does 28 divide b?
True
Suppose -5*u = 2*n - 1781, 0 = 3*u - 0*n - n - 1073. Does 60 divide u?
False
Suppose 8 = -0*z + 4*z, -5*z = -2*u + 8. Let b = -12 + u. Let l = b + 14. Is l a multiple of 9?
False
Let g(m) = m**3 + 5*m**2 + 6*m + 12. Let n be g(-4). Is 36 a factor of (14/n)/(2/44)?
False
Suppose -5*m - 29 = -2*a - 4*m, -2*a + 27 = m. Let t be (-4)/(-2) - 14/a. Is t - 1 - 50/(-2) a multiple of 7?
False
Let s = -83 + 82. Is 7 a factor of 4 + -2 + s/1 + 18?
False
Let q be -2 + (-5)/5 + 283. Suppose 5*y = -2*s + q, 3*s + 73 = 4*y - 3*y. Does 12 divide y?
False
Let b = -3539 + 6673. Is b a multiple of 21?
False
Let a(c) = 30*c**2 + 11*c + 20. Is 40 a factor of a(-5)?
False
Is 94/(2 + 6 + -7) a multiple of 47?
True
Let d(x) = -8 + 13 - 7*x + 13. Does 15 divide d(-8)?
False
Suppose 20*a - 25*a + 10 = 0. Let f(t) = -11*t - t**3 + 2*t**3 - 4*t + 4 - 3*t**a + 1. Is f(6) a multiple of 9?
False
Suppose 5*p + 1333 = k, 0 = -k + 13*p - 15*p + 1340. Does 16 divide k?
False
Let o(d) = -8*d**2 + 23*d - 25. Let v(i) = -3*i**2 + 8*i - 8. Let u(q) = -4*o(q) + 11*v(q). Let c be u(-6). Does 20 divide 105/(c + (-3)/(-2))?
False
Let g(d) = 3*d**2 - 11*d - 9. Let f(y) = 4*y**2 - 12*y - 9. Let h(q) = 4*f(q) - 5*g(q). Let p be h(8). Let o = p - 52. Is 23 a factor of o?
False
Suppose -182*u + 188*u = 8076. Is u a multiple of 9?
False
Is 43 a factor of 120/24 - -1*1803/3?
False
Let h(v) = v**2 - 4*v - 6. Let k be h(5). Let m be (-3)/((2 - 1)/k). Let x = 5 + m. Is 7 a factor of x?
False
Suppose x + 3*x = 0. Let y be 52 - (-4 - (x - 2)). Let z = 30 + y. Does 14 divide z?
True
Let r be 17/3 + 4/(-6). Let w(q) = -q**2 - 2*q**2 - q**3 - 4 + 9*q**2 + q**2 - 5*q. Is w(r) a multiple of 21?
True
Let q(k) = -k - 5. Let j be q(-9). Let m be -1*27/3*-1. Suppose -3*p - m = -j*p. Does 9 divide p?
True
Let x(n) = -n**3 - 2*n**2 + 14*n. Suppose 3*i = -5*i - 48. Does 15 divide x(i)?
True
Let n(g) = -3*g**2 - 5*g + 4. Let j be n(-5). Let y = 80 - j. Is 21 a factor of y?
True
Suppose 11*r = -12 - 10. Let j(o) = -9*o**3 - o**2 + o + 2. Does 6 divide j(r)?
False
Let t(h) be the second derivative of h**4/3 - h**3 + 5*h**2/2 - 2*h. Does 15 divide t(5)?
True
Does 6 divide -3 - (-8205)/25 - (-3)/(-15)?
False
Let s = -58 - -60. Is (2 - (43 + s))/(-1) a multiple of 16?
False
Suppose 0 = -4*w + y + 1660, -24*w + 422 = -23*w - 2*y. Is 25 a factor of w?
False
Suppose -2*q - y = -4*y + 2, 5*q + 2*y = 14. Suppose 4*o = 2*s + 70, 7*o + 3*s = q*o + 82. Is o a multiple of 14?
False
Is 13 a factor of (-4)/36*(0 - -3)*-195?
True
Let w(t) = -t - 3. Let r(d) = d**2 - 5. Let y be r(0). Let v be w(y). Suppose 7*l - 125 = v*l. Is 10 a factor of l?
False
Does 6 divide -5*(20/(-16) - 894/40)?
False
Is (1/(-2))/((-3)/2958) a multiple of 26?
False
Suppose -8 = -3*n - 2. Is (n - 1 - 28)/((-6)/30) a multiple of 27?
True
Let d(t) = -t**2 + 9*t + 8. Let s be d(8). Suppose -3*v + 2*a + s = 0, 0*v + 5*a = 5*v - 30. Let r(f) = f**2 + 4. Is r(v) a multiple of 6?
False
Let v = -947 - -1588. Is v a multiple of 16?
False
Suppose -4*d = -9432 + 1296. Is 18 a factor of d?
True
Suppose 2*k + 3*k - 10 = 0, -1306 = -5*f - 3*k. Suppose -4*x - f = -2*g - 0*g, -5*g + 695 = -x. Suppose g = 2*w + 2*w. Is 9 a factor of w?
False
Suppose 2*h - 2*v - 4 = 4, -18 = -3*h + v. Suppose -2 = 5*b - h, -4*b = 5*z + 76. Let f = 23 - z. Is 13 a factor of f?
True
Let y = -503 - -795. Suppose 0 = -2*x - 3*h + 584, -x = -6*h + 4*h - y. Is x a multiple of 22?
False
Suppose 7 - 23 = -4*c. Suppose -108 = 3*s - c*s. Does 12 divide s?
True
Suppose 47 = -5*c + 82. Is c a multiple of 2?
False
Suppose 0 = 4*b - 0*b + 24. Is (18/40)/(b/(-16))*35 a multiple of 5?
False
Suppose -3 = -2*r - 1. Let n(q) = -9*q. Let j be n(r). Is 13 a factor of (39/4)/(j/(-48))?
True
Is 6 a factor of ((1050/(-35))/((-2)/70))/1?
True
Let l(j) = -4*j**3 + 2*j**2 - 5*j + 14. Is 14 a factor of l(-4)?
True
Suppose -u = -3*q - 914 - 1105, -2*q = 5*u - 10078. Is u a multiple of 21?
True
Is 21 a factor of ((-6)/33 + (-786)/(-88))*48?
True
Is 494/39*3 + -10 a multiple of 14?
True
Suppose 0 = -3*s + 24 - 0. Let k be s*(2 + (-28)/16). Is 9 a factor of -1 - k - (-11 - 7)?
False
Let d(z) = -16*z + 417. Does 70 divide d(0)?
False
Suppose -3*g = 4*q - 4814, g = -0*g + 4*q + 1594. Does 18 divide g?
True
Is 40 a factor of 378/35*(57 - -3)?
False
Let p = 578 + -17. Is p a multiple of 51?
True
Let s be (-16)/(-18)*15/20*6. Suppose 4*c = -5*b + 177, 5 = s*b - 15. Is 11 a factor of c?
False
Suppose -4*g = 4 - 0, -2*a - 5*g = 5. Suppose -3*k - 6 + 63 = a. Is k a multiple of 3?
False
Let b = 102 - 73. Is b a multiple of 8?
False
Suppose 5*p + v - 75 = 0, 0*v + 4*v + 22 = 3*p. Let q = 11 - p. Does 8 divide (0/(-4))/q - -12?
False
Let d(r) = r**2 + 4*r + 75. Let o(j) = -j + 1. Let u(p) = d(p) + 5*o(p). Let k be u(0). Suppose -i + 3*z - 1 = 3, 5*i - k = -5*z. Is i a multiple of 11?
True
Suppose 0 = -236*c + 231*c + 1050. Does 22 divide c?
False
Suppose 4*b = -5*z + 2036, 0 = 3*z - 4*b - 0*b - 1196. Is z a multiple of 28?
False
Let i be (20/6)/(2/258). Let b = -173 + i. Does 46 divide b?
False
Suppose -4*u + 36 = -7*u. Let a = -8 - u. Suppose a*q - 5*q + 54 = 0. Does 18 divide q?
True
Suppose -4*c = -3*p + 39, -2*p + 3*p + 4*c = -3. Is 47 a factor of (3 - p)/(1*1/(-47))?
True
Let p(b) = 2*b**2 - 2*b + 5. Let t be p(3). Let q = 19 - t. Suppose 0*w = q*h + 5*w - 74, -2*w - 46 = -2*h. Does 10 divide h?
False
Suppose 8*a = 3*a + 125. Let x = 58 - a. Does 11 divide x?
True
Suppose -94*i + 92*i = -2508. Is i a multiple of 66?
True
Let u(b) = -2*b**2 + 5*b + 108*b**3 - 109*b**3 + 0 + 6. Is 4 a factor of u(-4)?
False
Suppose 3*x + 0 - 15 = 0. Suppose -5*n - 5*h = -55, x*n - 110 + 43 = -h. Does 7 divide n?
True
Suppose 2708 = 9*g - 2071. Is g a multiple of 8?
False
Let m = 333 - 217. Is 15 a factor of 4/(16/m) - -1?
True
Let h(g) = 3*g**2 + 2*g + 8. Let w(z) = z**3 - 11*z**2 + z - 5. Let d be w(11). Does 16 divide h(d)?
True
Suppose -3*y - 1 = 4*v - 24, -3*v + 14 = -y. Suppose 3 = -u - 2, -u - 5 = 2*c. Suppose c = 6*f - v*f - 18. Is 10 a factor of f?
False
Suppose v - 530 = -5*k, -5*v - k + 2716 = 2*k. Is v a multiple of 8?
False
Let t = -1620 - -1799. Does 10 divide t?
False
Let q be (-2)/(-2) - 0 - -1. Suppose 4*j + 5*k + 31 = -20, q*j + 3*k = -25. Does 3 divide 4/(-8)*j - 2?
False
Suppose -1374*a + 10530 = -1361*a. Is 5 a factor of a?
True
Suppose 2*k + 4*f + 26 = 0, -4*k - 34 = -4*f + 3*f. Does 3 divide (12 + k)/(2 + (-10)/6)?
True
Let b be (-378)/(-91) + 5/((-195)/6). Let d = 1 - 1. Suppose 3*n = n + 4*o + 48, d = -5*n + b*o + 120. Is n a multiple of 9?
False
Let h(r) = 92*r - 316. Is 3 a factor of h(4)?
False
Let s(k) = k**3 - 4*k**2 + 2*k + 5. Let p = 58 