)*-28 a multiple of 4?
False
Suppose 5*b - 24 = -3*w + 105, -4*b - 204 = -4*w. Let u = 122 - w. Does 10 divide u?
False
Suppose 0 = -2*g - a + 271, g + 6*a - 122 = a. Is 10 a factor of g?
False
Suppose 142*n = 147*n - 1975. Is n a multiple of 30?
False
Suppose -5*l + 8 = -4*l. Suppose m - 5*m = -l. Suppose -i + m*i = -2*a + 23, -16 = -a - 2*i. Is 10 a factor of a?
True
Let u be ((-20)/(-30))/(2/24). Is 39 a factor of u*(195/5 - 0/1)?
True
Let h(o) = o**2 - 8*o + 2. Let t be h(6). Suppose -9*q + 14*q - 120 = 0. Let a = q - t. Is 16 a factor of a?
False
Suppose -144*l + 146*l - 222 = 0. Is 37 a factor of l?
True
Suppose 10174 = 12*p - 2846. Does 155 divide p?
True
Suppose 5*y = -3*y + 416. Is y a multiple of 4?
True
Is 6/(-7 + 24574/3509) a multiple of 63?
False
Let q = 952 + 516. Does 29 divide q?
False
Suppose 3*h - 6*h + 183 = -3*l, -5*l = 25. Is h even?
True
Suppose -c + 0*g - 4*g + 1810 = 0, 4*c - 3*g = 7145. Is c a multiple of 10?
True
Suppose -3*h - 8 = -2. Is 41 a factor of h/3*93/1*-1?
False
Let d be (-72)/(-39) + (-2)/(-13). Suppose -327 = -d*m + l, -3*l + 8*l = -4*m + 619. Suppose -3*q + m = -4*v, 104 = -q + 3*q - v. Is q a multiple of 23?
False
Let o be (8/(-12) - -1)/((-4)/(-24)). Does 20 divide 302/5 + o*(-4)/20?
True
Let v(r) = r + 247. Does 13 divide v(26)?
True
Suppose -11*d + 609 = -117. Suppose -16 = -4*z, d = b + 5*z - 70. Does 29 divide b?
True
Suppose -107*w + 2024 = -106*w. Does 11 divide w?
True
Let j = 645 - 382. Is 47 a factor of j?
False
Let r(k) = -17*k - 2. Suppose 2*q - 22 = 3*q. Let i be q/14 - 20/(-35). Is 7 a factor of r(i)?
False
Suppose 2*v + 3 = 5. Let t be (v - 0)*(-8)/(-2). Suppose f = -c + 28, f = -t*f. Does 9 divide c?
False
Suppose -26*b = -1606 - 1202. Does 54 divide b?
True
Let b(c) be the third derivative of c**5/60 + c**4/8 - 5*c**3/6 - 8*c**2. Let x = -25 + 18. Does 5 divide b(x)?
False
Suppose 534 = n + 2*d, -n + 24*d - 27*d + 535 = 0. Does 28 divide n?
True
Let v = -159 + 554. Does 21 divide v?
False
Let w = -263 - -686. Is w a multiple of 33?
False
Let a(m) = 3*m**2 + 36*m - 445. Is a(8) a multiple of 2?
False
Let b = -739 - -1376. Does 57 divide b?
False
Let a be -5 - -9 - (2 - (1 - 0)). Suppose a*w + 79 - 493 = 0. Is w a multiple of 20?
False
Let g(u) = -2*u + 1. Let b = 1 + 13. Suppose f - 8 = -b. Is 13 a factor of g(f)?
True
Let h be (2 - 0)*-19*(-3)/(-6). Let a be (-2)/(-1 - 118/(-122)). Let v = a + h. Does 21 divide v?
True
Let i = -13 + 10. Is 3 a factor of 0 + i/12 + 37/4?
True
Let d(r) = -r**3 - 4*r**2 + 4*r - 1. Let g be d(-5). Suppose z = g*z - 168. Suppose -p + 5*p = z. Is 4 a factor of p?
False
Suppose 2*z - 7*z - 5*d = 140, -22 = z + 3*d. Let y = z + 60. Is 18 a factor of (y/2)/(1/4)?
False
Suppose -7 - 1 = 4*i. Let b be i + -3*(-20)/12. Suppose 175 = 5*p + d, -p + b*d = -0*p - 19. Does 9 divide p?
False
Let g = 0 + 0. Suppose -3*y - 5*n - 17 + 118 = g, -8 = 4*n. Is y a multiple of 12?
False
Suppose -5*s + q + 3*q = -2321, 0 = -3*s + 4*q + 1391. Is 31 a factor of s?
True
Let p(j) = -j - 10. Let a be p(-9). Let v be (a + 0)/((-10)/(-20)). Is (-19)/v*(-4 + 8) a multiple of 15?
False
Let s be 4*(3 - 1086/8). Let y = s - -746. Is y a multiple of 26?
False
Is 13 a factor of -6*8/84 - (-4827)/7?
True
Suppose 6412 - 24682 = -6*d. Is 29 a factor of d?
True
Let x(o) = -o**2 - 5*o + 3. Let m be x(-5). Suppose -3*u - c = -24, 5*c + 22 = m*u - 20. Is u*(-5)/((-15)/21) a multiple of 15?
False
Is 5654/6 + (-7)/(189/(-72)) a multiple of 7?
True
Suppose 6*q = -3*i + 2*q - 16, -5*i - 42 = -q. Let c be 63/(-28) + (-2)/i. Is 6 a factor of (-32)/c*35/20?
False
Let g = 67 - -211. Let f = g + -163. Does 23 divide f?
True
Suppose 173*j = 175*j + 4*n - 1296, 2*j - 2*n - 1296 = 0. Is 36 a factor of j?
True
Let z be 21*(-4)/(-6) + 6 + -4. Suppose z*p - 1263 - 161 = 0. Does 10 divide p?
False
Does 65 divide (4 + 937 + 5)/1?
False
Is 14 a factor of (-2 - 40)*(-184)/12?
True
Let t = 121 - 83. Is t/(-95) + 177/5 a multiple of 6?
False
Let x(c) = c**3 + 4*c**2 - 7*c - 5. Let s be x(-5). Suppose -s*f + 5*y - 22 = -f, -f - 2*y + 1 = 0. Does 5 divide 2/(1/(-12)*f)?
False
Let g(l) = -l**2 + 6*l + 3. Let b be g(6). Suppose n + b*n = 3*y - 49, 3 = -3*y. Let j = 18 + n. Does 5 divide j?
True
Suppose -20 + 8 = 3*i. Is 37 a factor of ((999/(-12))/(-9))/((-1)/i)?
True
Let m(i) = -13*i**2 - 3*i. Let j be m(-2). Let q(r) = 17*r - 17. Let u be q(6). Let a = j + u. Is 13 a factor of a?
True
Suppose z - 329 = -5*n, -3*n + 3*z - 2*z + 191 = 0. Suppose -51*h - n = -56*h. Does 2 divide h?
False
Let b be 3/(-3)*-127 + -1 + 5. Let p = -59 + b. Is 12 a factor of p?
True
Let o(v) = 5*v**2 - 3*v**2 - 5*v - 12 - 12*v + 6*v. Let k be o(9). Suppose 17 = 3*w - 2*z - k, 5 = z. Does 11 divide w?
False
Let t(n) = -17*n + 28. Let i(a) = 8*a - 15. Let h(s) = 9*i(s) + 4*t(s). Does 13 divide h(28)?
False
Let h(y) = -41*y - 4. Is 19 a factor of h(-9)?
False
Does 19 divide 1*(-5 + 468 + 0)?
False
Let f = -44 - -45. Let d(x) = 5*x**3 + x**2 + x - 1. Does 6 divide d(f)?
True
Suppose -12 = -2*c - 2. Suppose -c*x - 137 = 4*m, 4*x - 5*x + 79 = -3*m. Is 1 - -2 - (m + 0) a multiple of 8?
False
Let u(p) = p + 6. Let l be u(6). Is (-40)/6*l/(-8) even?
True
Let j = 6915 - 4390. Does 57 divide j?
False
Let k(m) = m - 2. Let y(u) = -5*u + 9. Let h = -8 + 4. Let z(a) = h*y(a) - 18*k(a). Is z(1) a multiple of 2?
True
Let u(p) = p**2 - 26*p + 42. Let q(n) = -n**2 + 26*n - 41. Let i(y) = 4*q(y) + 3*u(y). Does 18 divide i(20)?
False
Let u = 1000 - 597. Is u a multiple of 37?
False
Let s(q) = -q**3 - 4*q**2 - q + 22. Does 2 divide s(-6)?
True
Let y be ((-8)/(-10))/(18/(-10) - -2). Suppose -4*j = -c - 795, 603 = 3*j + c - y*c. Is 22 a factor of j?
True
Let j = 262 + -220. Is j even?
True
Let r be 2/(-20) + 492/120. Suppose -g - 3*g + 4*s = -36, 2*g + r*s = 0. Is 6 a factor of g?
True
Let a(f) = 76*f**2 - 1. Let l be a(1). Suppose -2*j - 565 = -5*n + l, -275 = -2*n - 3*j. Does 13 divide n?
True
Let y(z) = 138*z + 28. Let c be y(5). Suppose 2*j - 6 = -j, -c = -5*k + j. Does 13 divide k?
False
Suppose 5*s + 2*w = 27, 5*w = -0*s + 5*s - 20. Suppose -s*u + 359 = -2*r, 3*u - 40 - 169 = -2*r. Is u a multiple of 15?
False
Let v be ((-5)/15)/(1/(-1173)). Suppose 4*s - 209 = -3*d, 0 = -5*d - s + 5*s + v. Is d a multiple of 18?
False
Let o be (-1)/6 + (-6905)/(-30). Let y = o - 89. Let j = -77 + y. Does 16 divide j?
True
Suppose -8*x + 6*x = -6. Suppose 124 = 2*i + 3*r, 0*i - x*i + 4*r + 152 = 0. Is i a multiple of 14?
True
Let t(g) = 209*g - 1. Does 28 divide t(2)?
False
Suppose -3*r = -3 - 3. Suppose -5*l = r*l - 63. Is l even?
False
Let w = -34 + 74. Suppose -2*k - 4*d + w = k, 125 = 5*k - 5*d. Is k a multiple of 8?
False
Suppose -4 = -3*n + n. Let k = 86 + -82. Suppose 234 - n = k*s. Is 29 a factor of s?
True
Let q(c) = 2*c - 3. Suppose 0 = 5*n + b - 14 - 5, -b - 17 = -4*n. Let l be q(n). Suppose 2*a - 3*m - 45 = 0, 5*m + 0 - 75 = -l*a. Is a a multiple of 5?
False
Let h be (108 + 1)/(0 - -1). Let x be 0 + (-2)/(40/(-365))*-4. Let i = h + x. Does 9 divide i?
True
Suppose 167 = -5*d - 3*q + 479, 2*d - 140 = -5*q. Suppose -65*x + 60 = -d*x. Is x a multiple of 4?
True
Let s be (-2)/(-6)*(25 - 10). Suppose 74 = 4*r - s*f + 3*f, -5*f = 15. Let c = r - -5. Does 7 divide c?
False
Suppose 10 = 3*r + 2*r. Let s = -370 - -384. Suppose 2*y + s = r*k, -5*k + 0*y = y - 53. Is 10 a factor of k?
True
Let a(h) = 760*h**2 - 7*h**3 - 760*h**2 - 6. Does 33 divide a(-3)?
False
Let j be 15/(-5)*6/(-9). Is 5 a factor of j - (5 + 57)/(-2)?
False
Let k(v) = -v - 1. Let d be k(-5). Suppose -4*n + d*g + 612 = 0, 3*g - 13 + 4 = 0. Is 15 a factor of n?
False
Let l(s) = -2*s**3 + 23*s**2 + 15*s - 28. Is l(12) a multiple of 4?
True
Let k(p) = -p - 32. Let h be k(-14). Let t be 246/h + 2/3. Let n(j) = -j**3 - 13*j**2 - 3*j + 15. Is 18 a factor of n(t)?
True
Does 87 divide (7 + 17)/(12/786)?
False
Let g = 26 - -16. Suppose g = q + 2*b, 5*q + b = 2*b + 199. Is q a multiple of 10?
True
Suppose 0 = 5*l + 819 - 1069. Is l even?
True
Suppose -5*r + w = -w - 21, -5*r = -w - 18. Suppose -r*j = 4*o - 49, -3*j + j + 3*o = -27. Is j a multiple of 5?
True
Let x(f) = 2*f**2 + 2*f - 2. Let m be x(-2). Let s(d) = -m*d**3 - 5*d**3 + 7*d - 9 - 2*d + 5*d**2 + 6*d**3. Does 13 divide s(5)?
False
Let s(u) = 0*u - 2*u - 3*