ue
Let v(b) = b + 7. Let a be v(-4). Suppose -2*w = -a*q + 7, w - q + 5 - 2 = 0. Is (47 - 3)/(w/(-4)) a multiple of 22?
True
Let a(j) = -36*j**2 - 1 - 16*j + j**3 + 50*j**2 - 3. Is a(-15) even?
False
Let j(f) = 2*f**2 + 6*f**2 - 6 + 0*f**2 - 7*f - 5*f**2. Is 7 a factor of j(-3)?
True
Let o be (-362)/(-3) - 6/9. Suppose 4*q = l + q - 19, 4*l - q - o = 0. Let a = 18 + l. Does 14 divide a?
False
Let q be ((-12)/10)/(63/(-210)). Suppose q*l + 8*k - 221 = 3*k, 0 = -2*l + 2*k + 88. Does 6 divide l?
False
Suppose -4*s = -0*s - 164. Suppose -i - 2*i - 5*j + 59 = 0, 0 = 2*i + 5*j - s. Is i a multiple of 2?
True
Suppose -4*c + 5*b - 35 = -5*c, -c - b + 15 = 0. Let n = c + 30. Is n a multiple of 10?
True
Suppose 0 = a + 3, 3*a = j + a - 6. Suppose -5*v - 33 = -l, -2*v + 14 = -j*l + 3*l. Is 4 a factor of l?
True
Let z(r) = 117*r + 46. Does 42 divide z(7)?
False
Suppose 5*d = -0*d + 15. Suppose 2*l + 0 = 10, 3*p - 3 = -d*l. Let m(b) = -2*b**3 - 5*b - 4. Is 29 a factor of m(p)?
False
Let m(i) = i**3 - 29*i**2 - i + 206. Does 59 divide m(29)?
True
Suppose 8*o + 18*o = 8268. Is o a multiple of 22?
False
Let s(c) = c**2 + 13*c - 1. Let n(u) = -u**2 - 6*u. Let b(d) = -7*n(d) - 3*s(d). Let q = 4 - 7. Is 9 a factor of b(q)?
False
Let r(j) = -j**3 - 6*j**2 + 5*j - 13. Is 22 a factor of r(-8)?
False
Suppose 1 = 5*d + 5*a + 21, 3*d = 5*a - 4. Let z = d - -8. Suppose -180 = -z*l - 0*l. Is 12 a factor of l?
True
Let b(v) = v**3 + 11*v**2 + 11*v + 12. Let t be b(-10). Suppose 692 = 4*n + 2*u, t*u = n + n - 352. Is n a multiple of 31?
False
Suppose 966 = 2*o + 2*b - 6*b, -4*b = 4*o - 1992. Is o a multiple of 29?
True
Let s = 1003 + -674. Suppose -2*m + s + 81 = 0. Does 42 divide m?
False
Suppose -2*r - 3*v = -47, -3*r + 48 = -r + 4*v. Is r a multiple of 3?
False
Let b be ((-5)/2)/((-6)/(-12)). Let t be ((-12)/10)/((-2)/b). Does 17 divide (-2)/(t + 1) - -26?
False
Suppose g + 5*p = -1 + 33, 4*g + 2*p - 74 = 0. Suppose -g*h + 12*h = -470. Is 4 a factor of h?
False
Let j = -135 - -2397. Is 87 a factor of j?
True
Let i(z) = 118 - 259 + 11*z + 132. Is i(3) a multiple of 6?
True
Let k = 1408 - 692. Suppose -j - 5*r + 83 + 41 = 0, k = 5*j + r. Is j a multiple of 9?
True
Let q(c) = 76*c**3 + 4*c - 2. Let l = 70 + -69. Is q(l) a multiple of 26?
True
Let b(i) = -i**3 + 12*i**2 + 13*i - 26. Let x be b(11). Suppose -x = -5*p + 2*g, 5*p - g - 135 - 104 = 0. Does 6 divide p?
True
Suppose -2*p = 3*f - 11, -3*p + 2*f - 5 + 2 = 0. Suppose x + p = 7. Suppose -3*a = 2*i - 23, -2*a = -5*i - x*a + 47. Is 7 a factor of i?
True
Let d be (-1)/((-20)/6 + 3). Suppose d*s = 2*x + 159, 2*x = s - 3*s + 106. Let p = s - 25. Is 14 a factor of p?
True
Let b be (-89)/(-7) - (-2)/7. Let o be -2 - -5 - 26/b. Is 17 a factor of -1 - 3 - (o + -39)?
True
Suppose 3509 = 7*v + 541. Does 36 divide v?
False
Is 4 + (-10 - 2740/(-10)) a multiple of 67?
True
Suppose 0 = -2*i + 4*o - 22, 2*i + 3*o = -2*o + 14. Does 8 divide i - 2 - -51 - 1*-1?
False
Let c be (-12)/3*(-74)/2. Suppose -3*l + 119 + c = 0. Does 23 divide l?
False
Is 10 a factor of (12 + -32)/(2/(-29))?
True
Let t be 8/(5 - 3) + 1. Suppose 6*q + 2*u = q + 650, -239 = -2*q - t*u. Is q a multiple of 22?
True
Let q(x) be the second derivative of -5*x**3/6 - x**2/2 + 6*x. Let w be q(-3). Suppose -w*m = -10*m - 48. Does 7 divide m?
False
Let w = 512 + -334. Is w a multiple of 6?
False
Suppose 12*p = 2994 + 4554. Suppose -2*f = -3*z - p, -1265 = -4*f - 4*z + 3*z. Does 32 divide f?
False
Is 39810/60 - 3/(-6) a multiple of 83?
True
Suppose -4*h + 1915 = 4*t + 735, 1182 = 4*t + 2*h. Is 4 a factor of t?
True
Let s(j) = 3*j**2 - 2 + 7*j**2 + 26*j - 29*j. Is s(-1) a multiple of 7?
False
Suppose -2649 = -10*k + 361. Is 7 a factor of k?
True
Let p(j) = -j**2 + 6*j + 42. Let u be p(10). Suppose -29 = -6*d + 5*d + 2*k, -u*d - 2*k = -76. Does 35 divide d?
True
Suppose -7*y + 160 = -5*y. Suppose y = 6*m - 28. Is m a multiple of 10?
False
Suppose -331 = 2*g - 1005. Does 21 divide g?
False
Let t(j) = j**2 - 11*j + 7. Let s be t(11). Suppose 11*u - 40 = s*u. Is u a multiple of 5?
True
Let k = 105 + -102. Suppose 3*i = 7*y - 8*y + 338, k*y + 554 = 5*i. Does 13 divide i?
False
Let k(j) = -5*j**2 + 4*j - 3. Let f be k(-3). Let z = -8 - f. Is z a multiple of 13?
True
Let a be (-124)/(-24) - (-3)/(-18). Suppose 0 = 4*m - 3*h - 167, 87 = 2*m + a*h + 10. Let x = m - 23. Does 15 divide x?
False
Let k be 1 + 1/2*6. Suppose 0 = k*w - d + 19, -w + 5*w + 2*d + 22 = 0. Let p = 48 + w. Is p a multiple of 16?
False
Let j(a) = 24*a**2 + 2*a + 2. Let h be j(2). Let x = 36 - 86. Let s = x + h. Is s a multiple of 13?
True
Let h = -32 + 36. Suppose 3*m - 2*m + 3 = 2*q, -h*m + 8 = -3*q. Suppose 5*f = -q*o + 291, 0 = -2*f + 3*o + 23 + 75. Does 11 divide f?
True
Let z = 18 + -13. Suppose -d - 356 = -5*v, z*v - d + 5*d = 351. Suppose 0 = -i + 1, 5*i - 30 = -3*a + v. Is a a multiple of 13?
False
Let k = 1838 + -1058. Is k a multiple of 65?
True
Let i be 3/(-15) - 2/(-10). Does 4 divide ((-43)/(-1 - i))/(13/13)?
False
Let v = 58 + 83. Is 29 a factor of v?
False
Let c = -191 - -345. Suppose -150*f = -c*f + 640. Is f a multiple of 11?
False
Let p = 1974 - 232. Does 16 divide p?
False
Suppose 7163 = 6*v - 2143. Is v a multiple of 33?
True
Let g = -40 - -101. Suppose -7 = -2*j + g. Is j a multiple of 6?
False
Let p(m) = -6 + 5 - 5*m + 7*m**2 + 12. Is 23 a factor of p(5)?
True
Suppose -3*v + 23 = 2*b, -35 = v - 6*v - 5*b. Suppose 0 = -v*m + 4*m + 5, c + 5*m - 8 = 0. Suppose 90 = -c*f + 216. Does 21 divide f?
True
Suppose -2*k = -99 - 57. Suppose 0 = -3*j + 2*o + 247 - k, -49 = -j - 3*o. Does 13 divide j?
False
Suppose 5*q = -19*z + 20*z - 105, -4 = -2*q. Does 9 divide z?
False
Let v be (698/3)/((-16)/(-24)). Let x = -142 + v. Is 25 a factor of x?
False
Let s be 1/3 - (-258)/9. Let o = s + -91. Is 7 a factor of 1/2 - o/4?
False
Let p be 6/15 - 46/10*-1. Suppose -m + 1 = -p. Is m a multiple of 4?
False
Let l(q) = 5*q**2 + 3*q + 4. Let y = -50 + 54. Is l(y) a multiple of 32?
True
Suppose -5*d + 60 = 5*i, -2*d + 4*d + i = 21. Does 31 divide ((-3)/d)/(8/(-744))?
True
Suppose 1503 = -2*v + 5*v - 2*z, 2027 = 4*v + 5*z. Is 81 a factor of v?
False
Let p(q) = -21*q**2 + 2*q. Let r be p(-2). Let i = r - -123. Does 5 divide i?
True
Let t(v) = -v**3 - 2*v**2 - 3. Let j be t(-3). Let z be 6/(0 + j/68). Suppose 5*r + 2*o - z = -0*r, -60 = -4*r - 3*o. Does 4 divide r?
True
Let n = 173 - 49. Suppose 0 = 6*t - 2*t - n. Is 4 a factor of t?
False
Suppose 368*r = 366*r + 744. Is 93 a factor of r?
True
Let p(i) = 3*i**3 - 17*i**2 - 9*i - 14. Does 13 divide p(9)?
True
Let x be 1*5 + (11 - 11). Suppose 0 = -5*p - z - 33, z = 5*p + 15 + 12. Let y = x - p. Is y even?
False
Let c = 123 - -197. Is 5 a factor of c?
True
Suppose 3*o + 285 = 3*p - 0*o, -4*p + 3*o + 384 = 0. Is 33 a factor of p?
True
Let z = 10 - 5. Suppose z*j = j - 12. Let a(p) = -7*p - 6. Is a(j) a multiple of 5?
True
Suppose 8*r - 3*j - 15037 = 4*r, -15039 = -4*r + j. Does 10 divide r?
True
Suppose 5*u - 5*o - 15 = 0, -4*u + 8*o - 5*o = -10. Is 195 + (2 - -2) - u a multiple of 9?
True
Let d(z) = 2*z**2 + 60*z - 26. Is 22 a factor of d(-33)?
False
Let b be 1/3 + 590/(-6). Let g = 10 - b. Is 36 a factor of g?
True
Suppose -3*v - 45 = 2*v. Let x = 14 + v. Suppose -l - 5*o + 16 = -o, -x*o + 27 = 3*l. Does 4 divide l?
True
Let r(g) be the first derivative of g**4/4 + 8*g**3/3 - 2*g**2 - 8*g + 2. Let p be r(-6). Let c = -42 + p. Is c a multiple of 23?
True
Let m be (218/(-4))/(8/(-80)). Let p = m + -307. Is (-8)/(-16) + p/4 a multiple of 12?
True
Suppose 6*b - 572 = 2*b. Let f = b + -79. Is 32 a factor of f?
True
Suppose -2*x = -3*x + 85. Suppose 3*a - 30 = -j + 235, a = -j + x. Is 19 a factor of a?
False
Suppose 24 = o - 2*p, -3*o + 3*p + 2*p = -68. Is o a multiple of 16?
True
Let x(y) = y**3 + y**2 + 2*y + 224. Suppose -3*b + 27 - 27 = 0. Is 16 a factor of x(b)?
True
Let a(i) = 4*i**2 + 10*i + 22. Let w be a(-10). Let j = w + -126. Does 16 divide j?
False
Let s(q) = 17*q**2 + 9*q + 3. Let w(y) = -10*y**2 - 5*y - 2. Let o(a) = 3*s(a) + 5*w(a). Suppose 0 - 12 = -2*b + 2*l, 3*b - 26 = -l. Is 20 a factor of o(b)?
False
Let m(x) = -60*x - 24. Let s(b) = -b - 1. Let i(l) = -m(l) + 36*s(l). Is 10 a factor of i(3)?
True
Let c(q) = 2*q - 1 + q**2 - 6*q + 4*q + 12*q**3. Supp