alse
Let m be -1 - (-4 + 2) - -2. Suppose m*v = 0, -4*v = 2*n - n - 93. Is n a multiple of 13?
False
Suppose -3375 = -5*r - i, -4*i + 0*i - 1350 = -2*r. Is r a multiple of 37?
False
Let l = 6 + 0. Let h = 13 - l. Is (h/7)/(1/29) a multiple of 11?
False
Suppose 7*w + 5*t - 95 = 4*w, 5*t = -10. Let g be (6 - 4) + 0 + w. Let o = g - 30. Does 2 divide o?
False
Let g(s) = s**3 - 5*s**2 + 5. Let j be g(5). Let n be -8*(-4 - 7/(-2)). Suppose -2*o + 305 = j*m - 5*o, 3*o - 217 = -n*m. Is 28 a factor of m?
False
Suppose -3*m + 26 = 4*p - 6, 0 = 2*p - 4*m + 6. Is 8 a factor of p/(5/64) - (7 + -3)?
False
Let w(g) be the third derivative of 0*g + 1/24*g**4 + 13/6*g**3 - 10*g**2 + 0. Is 7 a factor of w(8)?
True
Let l(h) = -h**3 - 9*h**2 - 11*h - 11. Let n(y) = -y - 16. Let s be n(-8). Does 7 divide l(s)?
False
Is 2454/9 - 4/(-12) a multiple of 3?
True
Let i(w) = 252*w - 112. Is 39 a factor of i(2)?
False
Let x = -18 + 21. Suppose 2*v = -2*h + 22 + 22, h - x = 0. Is v a multiple of 6?
False
Is 22 a factor of 480/300 - 52116/(-15)?
True
Suppose -m + 0*m = -461. Suppose m + 418 = 3*c. Is c a multiple of 30?
False
Suppose -4*v - 80 = -8*v. Let l = 19 + v. Is l a multiple of 11?
False
Let n(m) = -m**3 - m**2 - 1. Let q be n(-2). Suppose q*l = -5*s + 38, s = -0*s + 5*l + 30. Is s a multiple of 10?
True
Let t = 492 - -33. Is t a multiple of 35?
True
Let w(a) = -a**3 - 5*a**2 - 4*a + 1. Let d be w(-3). Let u(g) = g**3 + 6*g**2 - g - 6. Let h be u(d). Let n = h + 0. Is n a multiple of 12?
True
Suppose -n + 8 = -20. Let c = -46 - -69. Let g = n + c. Does 17 divide g?
True
Is 230 - 12 - (2 - 2/1) a multiple of 7?
False
Suppose -4*d + 4*x = -452, x + 565 = -2*d + 7*d. Is d a multiple of 3?
False
Suppose -z + 5 = w + 1, z - w = -4. Suppose 0 = d - z*d - 38. Is d a multiple of 23?
False
Let o be ((-4)/2 - -4)*-1. Let v be 0 - ((2 - 4) + o). Suppose -d + 41 = 5*s, v*s + 124 = 5*d + 2*s. Is d a multiple of 13?
True
Suppose 0 = -d - d + 168. Does 26 divide ((-16)/(-6) + -2)*d?
False
Suppose 14*o - 8327 = 4455. Is o a multiple of 21?
False
Is (-278)/((-7 + 19)/(-6)) a multiple of 10?
False
Let o be 93*(1/3)/1. Suppose -w = -4*a + 527, 0 = -2*a - 4*w - 49 + 317. Let l = a - o. Is 31 a factor of l?
False
Let t(v) = v**3 + 6*v**2 + 2*v - 9. Let s be t(-5). Let f be (-20)/(-15)*(-6)/(-4). Suppose -40 = -s*i + f*i. Does 5 divide i?
True
Let u be 0/(15/(-5)*2/(-3)). Suppose 3*d - 83 = -c + 5, u = 4*d - 2*c - 114. Is 19 a factor of d?
False
Suppose 5*j = 3*g - 549, -2*g = 3*j - 0*j - 347. Suppose 0 = 2*d - 233 + 11. Let c = g - d. Does 21 divide c?
False
Let t(m) = -m**2 - 3*m + 3. Let a be t(-3). Suppose p - 11 = -3*p + 3*s, -5 = -a*p - s. Suppose -p*k = -5*k + 54. Is k a multiple of 9?
True
Let v = 8 - 14. Let b(r) = -r**3 - 7*r**2 - 7*r - 4. Let s be b(v). Suppose -5*n - 5*w = -10, s*n - 4*w - 22 = -0*w. Is n a multiple of 5?
True
Suppose 0 = 5*b + s + 112, -4*b + s + s - 98 = 0. Let f = 40 + b. Let q = -4 + f. Is q a multiple of 13?
True
Let k = -18 - -7. Let d be (3 + -7)*k/2. Suppose 9*u = 8*u + d. Is 16 a factor of u?
False
Let j(x) = 3*x + 10. Let o be j(7). Let f(z) = -z**3 + 6*z**2 - z - 7. Let i be f(6). Let c = o + i. Does 9 divide c?
True
Let i = -1 - -1. Suppose -5*d - 20 = 0, 5*y - y - 4*d - 428 = i. Does 26 divide y?
False
Let d(a) = -a**2 - 17*a - 14. Let x be (-11)/(6/3 - 1). Does 5 divide d(x)?
False
Let s(x) = -x**2 - 9*x - 8. Let k be s(-7). Let t = k - -9. Is t a multiple of 15?
True
Let w(r) be the third derivative of r**5/60 - r**4/24 + r**3/6 + 2*r**2. Suppose y = 2*d - 2*y + 2, -5*d = -y + 18. Is 16 a factor of w(d)?
False
Let i = -12 + 17. Let z(o) = -o**3 + 11*o**2 - 17*o - 7. Let f be z(9). Suppose i*s - 186 = f*s. Does 18 divide s?
False
Suppose 2*g + 619 = b, 3*g - 1065 = 3*b - 2910. Does 40 divide b?
False
Let d = 24 - 22. Suppose d*c + 1 = -1, -5*y + 35 = -5*c. Suppose 2*i = y*i - 28. Is 3 a factor of i?
False
Let m(v) = 3*v. Suppose 3*k - 5 = -2*k. Let r be m(k). Suppose -4*n - 43 = -w, -3*w + 124 + 32 = -r*n. Does 15 divide w?
False
Let u(z) = z**3 + 18*z**2 + z + 20. Let o be u(-18). Suppose -a - a = -o*y + 14, 0 = 3*y - 3. Let k(x) = -3*x. Is 12 a factor of k(a)?
False
Let i(n) = 11*n**2 - 4 - 7*n**2 + 2*n**2 + n. Is i(2) a multiple of 17?
False
Suppose 3*t - 14 = -5. Suppose 62 = 4*b + 54. Suppose -d + b = -t. Is 2 a factor of d?
False
Let f = 16 - 25. Let c = f + 10. Is 7 + (13 - c)/4 a multiple of 5?
True
Let f(b) = -b**3 + 2*b - 1. Let a(o) = -o - 1. Let r be (-3 - -7) + -1 + 0. Let p be a(r). Does 17 divide f(p)?
False
Let h(j) = 15 - 23 - 12 + 6*j. Does 3 divide h(6)?
False
Let i(r) = -2*r**2 + 30*r - 6. Is i(9) a multiple of 19?
False
Let j be (2 - -1)/3 + (-2)/(-1). Suppose -2*w - 478 = -4*x, -x - 17 = -j*w - 129. Does 8 divide x?
False
Suppose -2*s - 4*l = l + 13, 0 = -4*s - 3*l - 19. Let k(b) = -2*b**3 - 4*b**2 - 8*b - 6. Does 13 divide k(s)?
False
Is 72 a factor of ((-2605)/(-3)*135/75)/3?
False
Suppose -5*i = 4*s - 713, 5*i - 462 = -5*s + 433. Does 20 divide s?
False
Let u = 6 - 11. Let o(f) = -f - 1. Let j be o(u). Does 6 divide 26 - 2*j/8?
False
Let o be ((-12)/(-2) + -4)*1 + 2. Suppose -o*m + 169 = 5*q, 0 = -0*m - 4*m + q + 163. Is 5 a factor of m?
False
Suppose 2*b + 5*k + 8 = b, 0 = 2*b - 4*k + 2. Let p(y) = -2 - 5*y + 5 + 4*y. Is 6 a factor of p(b)?
True
Let f(l) = -l**3 + l**2 + 16. Let h be f(0). Let j = 34 - h. Is 2 a factor of (6/(-9))/((-3)/j)?
True
Suppose 144 = 2*t + 3*l - l, 211 = 3*t + 2*l. Suppose -2*i + 4*g = -3*i + 109, 109 = i + 3*g. Let x = i - t. Is 14 a factor of x?
True
Let d(r) = -r**2 - 8*r + 13. Let p be d(-9). Suppose -v + 100 = p*v. Does 10 divide v?
True
Let k be ((-33)/77)/(2/(-14)). Suppose -2*s = k - 61. Let f = 27 + s. Is 9 a factor of f?
False
Suppose 4*h - 1 = 3*h. Suppose 0 = -4*n - h + 1553. Suppose 0*o - 5*o = -4*a - n, -391 = -5*o + 3*a. Does 20 divide o?
True
Let w = -311 - -1332. Is w a multiple of 52?
False
Let a = -49 - -1336. Does 33 divide a?
True
Let f(d) = 127*d - 107*d - 1 + 5. Let v be f(-2). Is (-4)/6 + (-1968)/v a multiple of 9?
True
Is 6 a factor of (-75 - -75) + ((-348)/2)/(-1)?
True
Suppose 6*a + 8 = 4*a. Let l be (16/2)/a*-1. Suppose 3*w - l*n - 114 = 0, -3*w = -w + 5*n - 95. Is 17 a factor of w?
False
Suppose 0 = 5*a + 1 + 4. Is (-14)/(a/(-6)*-3) a multiple of 4?
True
Let i(z) be the third derivative of z**6/120 + z**5/15 - 7*z**4/12 + z**3/2 + 2*z**2. Let g(y) = -y - 12. Let s be g(-6). Does 15 divide i(s)?
True
Does 4 divide 8 + (-1782)/225 - (-5046)/50?
False
Let a = -24 - -29. Suppose -a*z + 82 = -188. Is z a multiple of 10?
False
Let o be (0*(-4)/16)/2. Suppose o = -5*m - 188 + 53. Is 2 a factor of (2/6)/((-1)/m)?
False
Suppose -2*q + 5 = 3*g, -g = -3*q + 2*g. Is 558/14 + q/7 - 2 a multiple of 19?
True
Let s = 1397 - 671. Does 22 divide s?
True
Let q be 2250/33 + (-14)/77. Suppose 61 = w + h, -2*w + q = -5*h - 26. Suppose 92 = 4*g - 6*x + 2*x, -4*g = 3*x - w. Is g a multiple of 9?
True
Let b be -3*(-1)/3*4. Suppose b*d - 89 - 11 = 0. Suppose -d = -2*o + 5. Is o a multiple of 15?
True
Suppose 0 = -148*x + 136*x + 1956. Does 8 divide x?
False
Let y(u) = -u**3 + 12*u**2 - 15*u + 10. Let a = 12 - 2. Let g be y(a). Suppose -7*c + 5*c = -g. Is 15 a factor of c?
True
Let j be (-4)/(-10) + (-17)/5. Is 20 a factor of (119 - j) + -4*1?
False
Let n(b) = 3*b**2 + 29*b - 3. Let k(r) = -4*r**2 - 43*r + 4. Let p(i) = -5*k(i) - 7*n(i). Is 4 a factor of p(9)?
True
Let y be 2/8*4 - (-1)/1. Suppose -30 = -3*s + y*s. Is s a multiple of 5?
True
Suppose 3*j - 27*j + 58368 = 0. Is 64 a factor of j?
True
Let n = 365 - 154. Is n a multiple of 13?
False
Suppose 0 = 5*c - o - 45, -4*o - o = c + 17. Let g = -9 + c. Is 17 a factor of (-15 - 2)*1/g?
True
Let u(q) = 63*q**2 + q + 1. Let i(f) = -f**2. Let d(g) = 4*i(g) + u(g). Does 12 divide d(-1)?
False
Let q = -219 + 308. Suppose 1 + q = 5*m. Is 6 a factor of m?
True
Suppose 3*f - 9 = -2*v, -4*v + v + 5*f - 15 = 0. Suppose v*g = -3*g + 129. Let w = g + -24. Does 4 divide w?
False
Let c = -1435 + 2085. Is c a multiple of 13?
True
Let l(h) = -209*h + 1. Let t(y) = y - 1. Let k(q) = -l(q) - 2*t(q). Is k(1) a multiple of 29?
False
Suppose -23 = 19*l - 4. Is 97 + (-4)/(0 - (l - 0)) a multiple of 30?
False
Suppose -1213*s + 3570 = -1208*s. Does 14 divide