rue
Suppose -2*s - 5*d - 151 = -36, -5*s - 253 = d. Let z = 42 + s. Is 6 a factor of (-1)/3 - (3008/12)/z?
False
Suppose 3*n = 4*f - 1265 + 161, 3*f - 828 = 2*n. Does 6 divide f?
True
Let o = 52 + -148. Suppose -10*k + 165 = 155. Is k/(o/966 - 2/(-14)) a multiple of 2?
False
Suppose 317 = -4*t + 5881. Is 13 a factor of t?
True
Let i = -282 - -294. Suppose -13886 = -i*r - 4382. Does 36 divide r?
True
Does 40 divide 2/(-4) + 2 - (-118503)/38?
True
Does 59 divide (77290/(-50))/((-16)/80)?
True
Let c = -11586 + 12898. Does 7 divide c?
False
Let n(l) = 10734*l + 1534. Does 106 divide n(2)?
True
Let s(r) be the third derivative of r**4/8 - 7*r**3/6 + 9*r**2. Let k be s(4). Suppose 0*m + 2*m = f + 49, 0 = m - k*f - 2. Is m a multiple of 9?
True
Let p(s) = 14*s**2 - 2*s - 1. Suppose -4*c - 2*q - 12 = 0, -5*q + 1 + 2 = -c. Let i be p(c). Let r = i - 71. Is r a multiple of 12?
True
Is 101 a factor of 1095/18*18/(-60)*(5 + -969)?
False
Let s = -77 - -81. Suppose 0 = -5*n + 2*o - 984, -59 - 129 = n + s*o. Does 9 divide (-75)/125 - n/10?
False
Let v(a) = 7*a**3 - 6*a**2 + 2*a - 8. Let r = -160 - -164. Is 27 a factor of v(r)?
False
Let m be 53/(-4) + (-3)/(-12). Let o(n) = 5*n**2 - n - 16. Let k(v) = 4*v**2 - 2*v - 15. Let x(t) = -6*k(t) + 5*o(t). Is 44 a factor of x(m)?
True
Let g = 18 + -43. Let x = -13 - g. Let o(v) = v**3 - 11*v**2 - 5*v + 7. Is 13 a factor of o(x)?
True
Suppose -2*g + 106 = 4*r, 5*r + 4*g - 134 = -0*g. Let z = -4 - r. Does 9 divide (-828)/z + 4/10 - 1?
True
Suppose 1835*g = 1842*g - 14. Suppose g*u - 110 = -6*y + 2*y, 0 = 4*u + 4*y - 228. Is u a multiple of 4?
False
Suppose 20617 = 15*r + 32*c - 31*c, 4*c = 5*r - 6842. Does 6 divide r?
True
Suppose -65*i - 1217791 = -3164736. Is 11 a factor of i?
True
Let c be (-2 - (-13124)/6) + (-6)/(-9). Let i = c + -1552. Does 61 divide i?
False
Suppose 4*n + 8 = 0, -4*p + 9*p - 4*n - 8933 = 0. Is 7 a factor of p?
True
Suppose -1668*q = -1633*q - 2178400. Is q a multiple of 20?
True
Is (-3)/(((-13)/156)/(24/3)) a multiple of 43?
False
Let f = -7487 - -14987. Does 60 divide f?
True
Suppose -4*k - l = -109561, 147*k - 82183 = 144*k + l. Is 110 a factor of k?
False
Suppose -5*s + 39125 = 5*x, x + 18860 - 57965 = -5*s. Suppose -2978 + s = 18*m. Is 27 a factor of m?
False
Let p(f) = 36*f - 604. Is 56 a factor of p(23)?
True
Let q(v) = -2*v - 2. Let t(g) = 27*g + 33. Let m(a) = -9*q(a) - 3*t(a). Does 18 divide m(-5)?
True
Let k(h) = 5*h - 29. Let m be k(6). Let w be (1 - 1)*-1*m/2. Suppose 4*t - 6*t + 138 = w. Is 10 a factor of t?
False
Suppose 13906 = 2*x - 28*n + 30*n, -6*x = n - 41758. Is x a multiple of 6?
False
Let f = 6278 + 1050. Does 32 divide f?
True
Let q = -3254 - -5321. Does 161 divide q?
False
Let y(i) = -4*i**3 - 41*i**2 - 32*i + 58. Is y(-12) even?
True
Let j be -3 + 9*(1 - -1). Let t = 226 + -226. Suppose -j*i + 12*i + 270 = t. Does 18 divide i?
True
Suppose 0 = -10*c + 16*c + 1524. Let h = 371 + c. Is 2 a factor of h?
False
Let i be (-4 + 2 - 1) + 4504 + -5. Suppose i + 130 = 18*l. Is l a multiple of 18?
False
Let j be (-1 - -32)/((-7)/(-126)). Let h = j - 126. Is 18 a factor of h?
True
Suppose g = -2*w + 322, -g - 619 = -3*g + w. Let z = g + -87. Does 41 divide z?
False
Let w(x) = -439*x + 139. Let l be w(-5). Is 17 a factor of l/4*(680/(-30))/(-17)?
False
Suppose 3*w = r - 20, -25 - 3 = -2*r + 2*w. Let s(i) = -46 + 8*i + r*i**2 - 10*i + 45. Is s(-2) a multiple of 3?
False
Suppose 0 = -0*g - 5*g - l + 37, -g = -5*l - 23. Suppose 3*j = 2*t + 50, g = -0*j + 4*j. Let a = 134 + t. Is a a multiple of 28?
True
Let k(o) = o**2 + 3*o + 4. Let r be k(-7). Suppose -64 = -3*q + r. Let w = q - -103. Does 15 divide w?
True
Let p = -28384 - -47088. Is 56 a factor of p?
True
Let z = 334 - -185. Suppose 4*w + 5*c = z, 5*w = -c - 4*c + 645. Does 14 divide w?
True
Let k = 16 + -10. Suppose 5 = -k*f + 23. Suppose x + f*x - 717 = i, 4*x - 5*i = 705. Does 15 divide x?
True
Let h(l) = 19*l**3 + l - 14*l**3 - 14*l**2 + 1 + l. Let q(r) = -9*r**3 + 27*r**2 - 4*r - 3. Let i(t) = 11*h(t) + 6*q(t). Is 3 a factor of i(-8)?
True
Let v = -9609 + 11849. Does 16 divide v?
True
Suppose 4*z = 2*z + 2*f + 4, 0 = 2*z - 4*f. Is 26 a factor of 1565/z*(-24)/(-15)?
False
Let g be 8/6 + 88/24. Suppose -5*s = a - 6, g*s + 6 = -a - 3*a. Suppose -4*f = 5*j - 495, -f + s*j + 129 = 5*j. Is f a multiple of 30?
True
Let o be (-6)/(-4)*1*(408/(-36) - -6). Let y(a) = -2*a**3 - 11*a + 3*a**3 + 7*a**2 - 8 + 0*a**3. Is 16 a factor of y(o)?
True
Let o be 2 + -1*(-3 - 1). Let w(d) = 2*d**2 + 3*d - 4. Let s(g) = -g**2 - 3*g + 6. Let k(l) = o*s(l) + 4*w(l). Is 20 a factor of k(5)?
True
Suppose 2*o = -3*o + 10. Let s be 2/(-6) + 2120/60. Suppose o*c - s = 295. Is 15 a factor of c?
True
Suppose 0 = -16*x + 7*x + 21060. Is 60 a factor of x?
True
Let v be -3 + ((-14)/3)/((-6)/9). Suppose -a + v*a - 66 = 0. Suppose -3*n - a = -5*n. Is 3 a factor of n?
False
Let v = -27 + 53. Suppose 5*w = 2*j - 5 + 21, 5*w - v = -3*j. Suppose j*o + 95 = 4*o - 5*b, 4*o - 223 = -b. Is o a multiple of 42?
False
Suppose 6 = 19*r - 25*r. Let v(g) = -289*g - 9. Does 40 divide v(r)?
True
Let f(y) = -281*y**2 + 11*y + 11. Let s be f(-1). Let h = 361 + s. Does 3 divide h?
False
Suppose -n + 4*m + 78 = 0, -98 = -2*n + 2*m + 64. Suppose -67*p + 910 = -32*p. Let d = n - p. Is 7 a factor of d?
True
Suppose 58 + 110 = -p. Let s be -1*p/20 - (-4)/(-10). Suppose -13*q = -s*q - 35. Is q a multiple of 7?
True
Let u = 233 + -230. Suppose 1808 = 5*d - u*j, -3*d + 6*d - 1096 = -j. Is 26 a factor of d?
True
Let j(q) be the first derivative of -q**3/3 - 9*q**2/2 + q + 36. Let z(b) = b**2 + 10*b - 1. Let i(h) = -6*j(h) - 5*z(h). Is i(-11) a multiple of 38?
True
Let k(s) = 56*s**2 + 24*s - 102. Let j be k(-22). Is 1/(-3) - j/(-42) a multiple of 9?
True
Let v(a) = 2*a**2 - 4*a + 76. Let z be v(23). Suppose 4*x = -5*f + z, -2*f + 1032 = 5*x - 279. Does 4 divide x?
False
Suppose -4*w + 40 = 4*w. Suppose w = 3*h + 17, 460 = p - 5*h. Is p a multiple of 8?
True
Let t(o) = -o**3 - 25*o**2 + 4*o + 64. Is 27 a factor of t(-38)?
True
Let k = 541 - 539. Let q(u) = -69*u + 2. Let b(g) = 208*g - 6. Let h(r) = 6*b(r) + 17*q(r). Is 19 a factor of h(k)?
False
Let w(c) = -c**2 + 10*c - 18. Let y be w(3). Suppose g - 2*a = -2*g + 1347, y*g - 4*a = 1347. Let u = g + -302. Is 14 a factor of u?
False
Let j = 37331 - -19939. Is 10 a factor of j?
True
Let j = 51 + -47. Let s be ((-6)/9)/(j/6)*-3. Suppose 83 = s*x + h, 3*x - 4*h - 29 = 44. Does 3 divide x?
True
Suppose 5*d = 5*t + 250, 0 = 2*d + 11 - 1. Let k = t - -58. Suppose k*z = 5*j + 4*z - 145, 87 = 3*j + 3*z. Is 10 a factor of j?
False
Let t be 30*-6*5/(-90). Let w(x) = -5*x + 215. Does 13 divide w(t)?
False
Let c(w) = -46*w + 7. Let l be c(-5). Suppose 2*k + l = 3*k. Suppose -5*t + 277 = j - k, 4*t + 3*j = 420. Is 17 a factor of t?
True
Let l = 247 + -222. Is 29 a factor of (2260/l)/(4/20)?
False
Suppose 3*o = 6, 0 = 2*r + 2*o - 103 + 33. Suppose -r*s + 29*s = -392. Is 6 a factor of s?
False
Let o = 29 + -24. Suppose 0 = o*c - 6*c + 99. Suppose -c = -5*v + 76. Is 7 a factor of v?
True
Let l = 396 - 377. Suppose l = 2*s - 89. Is s a multiple of 54?
True
Suppose -2*b = 3*l - 0*b - 604, 4*l + b = 812. Suppose -l = -4*h + 3*q, -5*h + 88 = -3*h + 2*q. Is h a multiple of 2?
True
Let c = -463 - -468. Suppose 2*v - c*v = -363. Is v a multiple of 21?
False
Let z(y) be the first derivative of y**4/4 + 3*y**3 - 11*y**2/2 - 8*y + 5. Let k be z(-10). Suppose -2 = -k*v, -130 = -2*l + v + 41. Is l a multiple of 16?
False
Is 15 a factor of (-8)/22 - (-21 + 1762980/(-330))?
False
Let x be (-117)/1 + (7 - 11)*1. Let o = x + 171. Is 9 a factor of o?
False
Let a = -28238 + 32189. Is a a multiple of 27?
False
Let n = 2875 - 755. Is 20 a factor of n?
True
Let h = -29 - 16. Let l be 2/9 + (-170)/h. Suppose -4*y = -x - 7*y + 30, -l*y = 16. Is 14 a factor of x?
True
Suppose -4*w - 5 = 7. Let h be w/(6/4) + 2. Suppose -2*t - 115 + 297 = h. Is t a multiple of 21?
False
Suppose 0 = -12*y - 30*y - 28*y + 1339380. Is 18 a factor of y?
True
Let r = -296 + 266. Suppose 0 = -4*x - 6 + 438. Let n = x + r. Is 6 a factor of n?
True
Let q(t) = -75*t - 61. Let j be q(1). Let p = j + 321. Is p a multiple of 5?
True
Let k = 9 - 13. Let j be -2 - (3 + 245)/k. Suppose 5*q + 4*t - 16 = 89, 3*