of 20?
True
Let c be (-2)/14 - (-1681)/7. Suppose -3*q - w - w = c, -3*w = -4*q - 303. Is q/(-24)*18*2 a multiple of 33?
False
Suppose -59*x + 2081 - 75 = 0. Is 17 a factor of x?
True
Let o be (-19 - -11)*9/(-12). Suppose 2*j - 3*j = -f - 591, -2*f - j = 1185. Is 16 a factor of (-9)/o*f/12?
False
Let t = -108 - -185. Suppose -2*l = -5*l + 5*v + 189, -l - 3*v = -t. Is 17 a factor of l?
True
Let s be -9 - -7 - (0/(-2) + -5). Suppose 48 = 5*a + s. Does 6 divide a?
False
Let s = -69 - -173. Is 21 a factor of s?
False
Let f(a) = -4*a**2 + 103 - 2*a**2 + 5*a**2 + 2*a**2 + 2*a - a**3. Does 20 divide f(0)?
False
Suppose 4*k + 69 = k. Let l = 17 + k. Is 8 a factor of (36/(-3))/(9/l)?
True
Let o = 808 - 421. Suppose o = 4*a - x, 7*x - 465 = -5*a + 2*x. Is 24 a factor of a?
True
Let u(r) = 2*r**3 + 7*r**2 + 7*r + 5. Let a be u(-4). Let m = a - -129. Is 18 a factor of m?
True
Suppose r + 3*r = 20. Suppose -2*z + 2*c + 672 = 2*z, 858 = r*z + 2*c. Let p = -118 + z. Is p a multiple of 26?
True
Suppose -5 = -2*v + 1. Suppose -v*t = -5*t + 98. Is t a multiple of 13?
False
Let j = -15 + -11. Let c(f) = 4*f**2 + 6*f + 6. Let h be c(-4). Let t = j + h. Does 5 divide t?
True
Let r = 160 + -110. Is 5 a factor of (-3)/(-6)*r - -3?
False
Let q be 4*(0 - 1)*-1. Let i(m) = q + 6*m - 2 - m**2 + m + 2*m**2. Does 13 divide i(-10)?
False
Suppose -4*a = -i - 4 + 2, -4*a = 2*i - 44. Is 13 a factor of (-4)/i - 1760/(-35)?
False
Suppose -4*j = b + 15, 5 = 2*b - 0*b + j. Suppose 226 = 7*n - b. Is 11 a factor of n?
True
Suppose -3 - 10 = a - 2*l, 5*l = -a - 41. Is 3/a*-2 + (-2093)/(-49) a multiple of 31?
False
Let j be -1*-5*(-6)/15. Let z be (j + 2)/((-2)/(-2)). Suppose 0*x = x - 3*c, z = -4*x - 3*c + 75. Is x a multiple of 5?
True
Suppose 3*n - 1605 = -4*q, -5*q - 3*n = -2822 + 818. Does 21 divide q?
True
Let x be -4*(4/(-24) + 1/(-3)). Suppose 4*h - 224 - 24 = -x*l, -h + 5*l + 51 = 0. Is h a multiple of 3?
False
Let k = 751 + -258. Does 17 divide k?
True
Suppose -4*r + 2623 = 2*a - 4087, -3*r + 5045 = -a. Does 10 divide r?
True
Is (287/(-14) - -1)*(-220)/15 a multiple of 4?
False
Let r be (-3)/5 + (-2428)/20. Let v = -87 - r. Is v a multiple of 6?
False
Let g(j) = -j**3 - 19*j**2 - 17*j + 75. Does 34 divide g(-18)?
False
Let t(f) = -2*f - 3*f + f**2 + 2*f + 0*f**2. Let z be t(3). Suppose z = -v - 4*v + 190. Is v a multiple of 21?
False
Let s = -6 - -2. Does 20 divide -45*((-2)/s + (-152)/48)?
True
Let t be (-6 + 6)*3/(-6). Suppose -4*f + 4*z + 484 = 0, t = 2*f + 2*z - 50 - 172. Is 11 a factor of f?
False
Let o = 392 + -234. Does 11 divide o?
False
Let y be 0*(1/(-2))/(-1). Let r(f) = -f**2 + f + 36. Is 9 a factor of r(y)?
True
Is 35 a factor of -70*(14/(-4) - -1)?
True
Let v(n) = -n. Let y be (-6)/((2 - 1)*1). Let t be v(y). Does 7 divide ((-44)/t)/(4/(-18))?
False
Is (-51)/68 + -2*(-822)/16 a multiple of 3?
True
Let j be (-16)/(-2 - 0) + 2. Let o = -7 + j. Suppose -225 = -o*x - 2*x. Is 11 a factor of x?
False
Suppose -2*b - 3*x + 1472 = 0, x - 235 = -3*b + 1959. Is b a multiple of 55?
False
Suppose 5*o - 189 = -2*c, -c - o = -2*o - 84. Does 17 divide c?
False
Suppose 2*k + 6 = o, -o - 5*k - 10 - 5 = 0. Suppose -l + 4*l - u = 113, 3*u - 3 = o. Is l a multiple of 19?
True
Let o(i) = -13*i - 5. Let l = -53 + 48. Is o(l) a multiple of 12?
True
Suppose 5*z - 5*h + h - 7 = 0, 2*z = -5*h + 16. Suppose z*d + d = 232. Is d a multiple of 20?
False
Let o(l) = 9*l**2 + 8*l - 9. Is 16 a factor of o(5)?
True
Let z = -303 + 366. Is z a multiple of 21?
True
Let k(j) = 2*j + 7. Let y = -12 - -16. Let r be k(y). Let o(u) = -u + 20. Is 5 a factor of o(r)?
True
Suppose 0 = 18*x - 348 - 912. Does 10 divide x?
True
Suppose 3*s - s = 2*z, -4*z + 18 = 2*s. Let l(d) = -5*d**2 - d + 2. Let c be l(z). Let a = -26 - c. Is 10 a factor of a?
True
Suppose -j + 2*j = -2*j. Suppose j = -4*t + 53 + 47. Is t a multiple of 25?
True
Let z be ((-5)/1)/((-3)/3). Suppose -3*f - 22 = -4*d, -z*f + 9 + 1 = 5*d. Suppose -80 = d*q - 336. Does 16 divide q?
True
Is (2 - -1) + 0 + 582 a multiple of 13?
True
Let b be 7*3/(15/(-10)). Let l(g) = -4*g - 36. Is 7 a factor of l(b)?
False
Suppose 5 + 0 = -5*g, 4*x = -2*g + 1678. Does 21 divide x?
True
Let r = -18 - -24. Suppose r*v = -2*v + 32. Does 2 divide v?
True
Suppose 3*h = 2*d - 12, 2*h - 12 = 2*d + 5*h. Suppose d = -13*y + 8*y + 15. Does 3 divide y?
True
Let t(b) = 611*b**2 - 2*b + 3. Does 34 divide t(1)?
True
Let k(l) = -l**2 - 66*l + 16. Does 9 divide k(-55)?
True
Let o = -49 + 46. Does 4 divide 9 + (1 - (5 + o))?
True
Let b(m) = -m + 2. Let o = 1 + -3. Let f be b(o). Suppose 0*a - f*a + 180 = 0. Is a a multiple of 19?
False
Let d(c) = -c**3 - 2*c**2 + c + 4. Let r be d(2). Is (-48)/r*60/(-3 - -7) a multiple of 35?
False
Let c be ((-80)/(-25))/((-3)/(-45)). Suppose 4*p - c = 84. Suppose 0 = 2*s - s + 5*i - p, 4*i = 5*s - 165. Is s a multiple of 8?
False
Let w(a) = -3*a - 17. Let j be w(-7). Suppose -j*v = 0, v - 152 = -4*y + 5*v. Suppose -p + 4*p - 5*l = 37, 0 = -3*p + 4*l + y. Is p a multiple of 7?
True
Let a(q) = -31*q - 35. Is a(-7) a multiple of 19?
False
Let s = 130 + -92. Let v = 53 - s. Does 7 divide v?
False
Suppose 5*b = 7*g - 9*g + 1008, 0 = -4*g + b + 1972. Is g a multiple of 78?
False
Suppose -47*v + 55339 = -1202. Does 31 divide v?
False
Suppose -s + 4 = -0. Suppose -s*g = -9*g. Suppose -3*a - 2*z + 70 = g, 3*a + 5*z = 7*a - 78. Is 11 a factor of a?
True
Suppose -5*p + 6751 = 4*a, -4*a - 4058 = -5*p + 2661. Is p a multiple of 11?
False
Suppose 3*p - 1 - 8 = 0. Suppose -p*j - 5*u + 97 = 0, j + 2*u - 41 + 10 = 0. Is 13 a factor of j?
True
Suppose -768 = -a - 5*x - 120, 5*a = -2*x + 3194. Is a a multiple of 29?
True
Let r(v) = v**3 - 2*v**2 - 11*v - 4. Let d be -5*8/(-20) + 3. Does 10 divide r(d)?
False
Suppose -2*x = -0 + 8. Let q(r) = -2*r**3 - 4*r**2 + 3*r + 3. Let v be q(x). Let h = v + -1. Is h a multiple of 12?
False
Suppose -5*q + 16 - 1 = 0. Suppose -2*r + 3*r - 5 = 0, 10 = o + q*r. Let x(h) = -h**3 - 2*h**2 - 3*h + 6. Is 19 a factor of x(o)?
False
Is 12 a factor of 27/6*(-3680)/(-69)?
True
Let g = -13 + 31. Is g a multiple of 4?
False
Let d(p) = -p**3 - 13*p**2 - 12*p - 12. Let k be d(-12). Let q be k*(2/(-4) + 1). Does 13 divide (104/q)/(8/(-12))?
True
Let w(b) = b + 11. Let z be w(-9). Suppose -z*g + 3*g = 0, 3*t + 2*g = 24. Is 4 a factor of t?
True
Let o be (-12)/(-48) + 38/8. Suppose 0 = -o*r + 10*r. Suppose r = -2*y - l + 26, 2*y - 3*l = -l + 38. Is y a multiple of 15?
True
Let a(x) = -4*x**3 - x**2 + 17*x - 16. Let d(y) = y**3 - 3*y + 3. Let q(j) = -2*a(j) - 11*d(j). Let p be (5 + -2)/((-6)/4). Does 7 divide q(p)?
False
Is 9 a factor of -10 - (-140)/12 - 652/(-3)?
False
Suppose -33 + 141 = -3*k. Is (-8)/k + (-723)/(-27) a multiple of 4?
False
Let o = -47 + 212. Suppose 14*l = 19*l - o. Is 11 a factor of l?
True
Suppose 3*h - 5*b + 6 - 33 = 0, 0 = -5*h - 4*b + 8. Let w be (-7 + h)*1/(-3). Does 13 divide 1/(4/376) + w?
False
Let s(j) = 2*j**2 - 4 + 3 - 4*j**2 - j**3. Let n be s(2). Let o = n + 25. Does 2 divide o?
True
Let f be (-12)/(-5)*(-5)/(-2). Is (-16)/f*204/(-16) + 0 a multiple of 6?
False
Let j(t) = t**3 - 30*t**2 + 59*t - 42. Does 7 divide j(28)?
True
Let l = 91 - 89. Does 9 divide (378/15)/(l/10)?
True
Is (-10 - 3423 - 11)*(-8)/6 a multiple of 112?
True
Does 25 divide (-2)/(-8) - (-106464)/128?
False
Let l be ((-486)/7)/(21/(-98)). Suppose -4*t = -276 - l. Does 25 divide t?
True
Let p(m) be the first derivative of 11*m**2/2 + 8*m + 21. Is p(2) a multiple of 25?
False
Let x = -100 - -170. Suppose 42*r - 43*r = -x. Is 14 a factor of r?
True
Suppose 2*t = 368 + 1044. Let d = t + -422. Is 29 a factor of d?
False
Suppose 3*x = 192 + 753. Is 35 a factor of x?
True
Let a = -57 - -60. Suppose 6*q - 7*q + 3*t + 101 = 0, 5*q - a*t - 445 = 0. Is 26 a factor of q?
False
Let g = 1218 - 1212. Suppose 3*o - 3*a = 127 + 8, 0 = -o + 5*a + 57. Suppose -t + 31 = 4*v, 2*t - 5*v + g = o. Is t a multiple of 8?
False
Let i = 56 - 51. Is 2 a factor of (-75)/(-10)*8/i?
True
Let p(v) = -v**3 - 5*v**2. Let q be 10/3*66/(-44). Let u be p(q). Suppose u = -6*s - 0*s + 228. Is s a multiple of 9?
False
Suppose 5*t - 12 = 2*t. Suppose 0 = 3*l + t*k - 178, 7 = k + 3. Suppose 210 = 3*o + l. Is 10 a factor of o?
False
Suppose 2*q + 4 = -2*y, 3*y + 10 = q - 0*y. Suppo