of 22?
True
Is 10 a factor of (-25)/5 - (-240 - (-7 - -2))?
True
Let m(h) = 3*h**2 - 15*h + 39. Let l(w) = -w**2 + 8*w - 19. Let z(s) = 5*l(s) + 2*m(s). Does 22 divide z(9)?
True
Let m(l) = l**3 + 17*l**2 - 22*l + 9. Let f be m(-17). Suppose -3*r + 3*d - 4*d + f = 0, -2*d - 368 = -3*r. Does 30 divide r?
False
Suppose 2*r + r = -z - 237, 4*z - 300 = 4*r. Let u = r - -115. Is 3 a factor of u?
False
Suppose -r - 2*r = 5*z - 69, 0 = 4*z - 4*r - 36. Let l(y) = -y**2 + 11*y + 9. Let x be l(z). Let j = x - -11. Does 4 divide j?
True
Does 4 divide (1 + -3 + -5)*-13?
False
Let z = -26 - -20. Let w be 9/15 + z/10. Suppose 0 = -i - w + 60. Is i a multiple of 20?
True
Let g be (28/(-70))/((-2)/85). Let y = g + -13. Suppose -4*z + 37 = -z + 4*x, 5*x + 101 = y*z. Does 8 divide z?
False
Let v = 685 + 283. Does 8 divide v?
True
Let c = 34 - 65. Let w = 41 - c. Does 18 divide w?
True
Let n(c) be the second derivative of c**5/60 + 5*c**4/24 - c**3/2 - 5*c**2 - 2*c. Let v(x) be the first derivative of n(x). Does 9 divide v(6)?
True
Suppose 0 = -2*b + 9 - 3, 2*b - 678 = 4*z. Is 1/(-6) + (-18172)/z a multiple of 20?
False
Let s(a) = -a**2 - 8*a - 9. Let h be s(-6). Suppose 3*r = 6, h*t = 2*t + r + 38. Is t a multiple of 4?
True
Let h be (-4 - (-4 + 4)) + 4. Suppose h = 6*f - 4*f - 456. Does 34 divide f?
False
Suppose 8 = -i + 2*i. Suppose 10*f - i*f - 40 = 0. Is 5 a factor of f?
True
Suppose -4*s + 2*l = -91 - 297, -s + 99 = -l. Let n = s + -25. Is 10 a factor of n?
True
Let p(y) = 12*y**2. Let z be p(2). Let o = z - 29. Is 19 a factor of o?
True
Let p(x) = x**3 + 8*x**2 + 6*x - 4. Let b be p(-7). Let a be (-4)/(-2) + -2 - (2 - 4). Suppose 5*y - 4*k = 92, -5*y = -b*y - a*k - 38. Is y a multiple of 8?
True
Let p(s) = 106*s - 8. Let q be p(5). Suppose -q - 138 = -5*h. Is h a multiple of 44?
True
Suppose -3*j - 5*d + 413 = -395, -10 = -2*d. Is j a multiple of 19?
False
Let i be ((-18)/(-15))/3*(5 + 0). Is i/(-3)*(-231)/22 a multiple of 7?
True
Let y = 204 - -762. Is y a multiple of 42?
True
Let u = 1089 + -487. Is 36 a factor of u?
False
Let n(h) = -50*h - 1. Let o be n(-1). Suppose -5*t = 4*p - 40, -3*p - 3*t = -4*t - 11. Suppose 11 = p*u - o. Does 12 divide u?
True
Is (-4 + 73)/(33/110) a multiple of 5?
True
Let q(i) = i**3 + 12*i**2 - 36*i - 16. Let c be q(-14). Let m = c - 30. Is m a multiple of 16?
False
Let v(h) = -h**2 + 9*h + 9. Let x be v(7). Suppose -4*b + x = -3*z + 54, -2*z = -5*b - 23. Suppose z*m - 4*m - 60 = 0. Is m a multiple of 4?
True
Let z(s) = s + 4. Let i be z(4). Suppose -d = -0*d + i. Does 6 divide (d/2)/((-1)/4)?
False
Suppose 4*n - 56 = -0*n. Suppose -n*l + 10*l = -76. Does 19 divide l?
True
Let q(t) = -198*t - 8. Let l be q(-4). Suppose n - l = -7*n. Is 14 a factor of n?
True
Let w = 513 + 72. Is w a multiple of 29?
False
Suppose 4 - 13 = -z. Let y = 12 - z. Suppose y*q - q = 36. Is 3 a factor of q?
True
Let s = -23 + 25. Let m(h) = 5*h**2 + h + 5. Let a be m(-4). Suppose 0 = 2*w - s*z - 90, 4*w + 3*z - a = 134. Is w a multiple of 16?
False
Let r = -1376 - -2989. Is r a multiple of 6?
False
Let b = 986 + -528. Is 24 a factor of b?
False
Suppose 5*b + 4*c = 1361, -5*c + 1097 = 4*b - 10*c. Does 10 divide b?
False
Suppose 0*m = -5*c - 5*m + 10, -5*m - 10 = 0. Suppose -19 = -c*r + 9. Is r a multiple of 7?
True
Suppose -20 - 4 = 4*u. Let t(y) = y**3 + 7*y**2 + y + 19. Is t(u) a multiple of 12?
False
Let k = -30 - -14. Let s be k/6*18/(-12). Suppose -s*i + l = i - 131, -2*i + 4*l = -38. Is i a multiple of 9?
True
Let x(a) be the first derivative of a**4/4 + 8*a**3/3 + 3*a**2 + 12. Does 17 divide x(-6)?
False
Let m(j) = -6*j**2 - 3*j + 2. Let r(g) = 6*g**2 + 4*g - 1. Let v(f) = 3*m(f) + 4*r(f). Is v(-5) a multiple of 13?
True
Let l = 44 + -41. Suppose 17 = o - y - 190, -1035 = -5*o + l*y. Is 21 a factor of o?
False
Suppose -304 = -2*d + 3*a, -624 = -4*d + a + a. Let c = d + 31. Does 21 divide c?
True
Suppose 0 = 5*q - k - 2215, -6*k + 4*k = -5*q + 2215. Is 17 a factor of q?
False
Suppose -3*z - j = -4, -4*j + 20 = -5*z + j. Suppose z = -5*y + 3*w - 92 + 16, 4*y = -5*w - 46. Is 12 a factor of (y/(-7))/((-4)/(-26))?
False
Let s = -379 + 139. Let b = s + 360. Does 12 divide b?
True
Let f = -45 - -47. Suppose -3*z = 3*b - 273, 75 = -f*z + 3*z - 3*b. Does 13 divide z?
False
Let y = -88 - -90. Suppose 2*x - 25 = -3*x. Suppose -4*d = -y*m - 158, 0 = 3*d - d + x*m - 85. Is 10 a factor of d?
True
Let h = 62 - 57. Suppose 1537 = h*z - 4*i, i + 62 + 554 = 2*z. Is z a multiple of 45?
False
Suppose 7 = -5*q - 53. Let a = 12 + q. Suppose 2*n - 3*n + 58 = a. Is 13 a factor of n?
False
Let o(m) = -2*m**3 - 5*m**2 - 14*m - 2. Let z(a) = -a**2 - 30*a - 60. Let x be z(-28). Is 5 a factor of o(x)?
False
Let l(n) = 2*n**3 + 2*n**2 - 1. Let m be 22/8 + (-13)/(-52). Is l(m) a multiple of 18?
False
Let k(p) = -p - 6. Let i be k(-7). Is (3/(-9))/(i/(-87)) - 3 a multiple of 8?
False
Let y be 3 - 4 - -3 - 5. Is 22 a factor of 501/((-15)/(-2 + y))?
False
Let f = -3014 + 4825. Is f a multiple of 17?
False
Let i(y) = 3*y + 77. Is 9 a factor of i(16)?
False
Suppose -3*z + 4 = 5*m - 2*z, 0 = -2*m + 5*z - 20. Does 13 divide 2 + (1 + m - -62)?
True
Let f be 992/6 - (-7)/(-21). Let w = f + -67. Does 14 divide w?
True
Suppose 16*p = 26*p - 3610. Does 9 divide p?
False
Let i = 106 - 258. Does 32 divide (i/(-10))/((-1)/(-5))?
False
Let i(k) = 4*k**3 + 5*k**2 - 3*k + 4. Let v(x) = 7*x**3 + 11*x**2 - 5*x + 9. Let h(g) = -5*i(g) + 3*v(g). Let b be h(-8). Let u = b + 29. Is u a multiple of 18?
True
Let u be (-30)/(-4) - (-4)/8. Let c = -1 + u. Does 4 divide c?
False
Let t = -9 - -11. Let c be (-3 - t/(-2))*3. Is 4 a factor of 16/(c/9*-3)?
True
Let n(k) = k**2 + 9*k + 21. Let f be n(-3). Does 13 divide (f/(45/(-280)))/((-3)/9)?
False
Let l = -28 - -25. Let j be l - (4 - (1 - -12)). Does 12 divide (-6 - 138)*(-4)/j?
True
Suppose 0 = 4*n + 4*v - 116, -4*n + 41 = -v - 90. Let x be (-4)/6 + (-645)/(-9). Let m = x - n. Does 13 divide m?
True
Suppose 0 = 4*n + 2*f - 434, 5*f - 144 = -4*n + 281. Is n even?
True
Let s(t) = t**2 + 2*t**3 - 5*t - 7*t**2 + t**2 + 6. Let k be -1 + (2/(6/6) - -3). Is 17 a factor of s(k)?
True
Let l(g) = 304*g**2 + 2. Is l(-2) a multiple of 42?
True
Suppose -7 = b - 2*b + 5*l, -2*b + l + 5 = 0. Let o be (60/(-50))/(b/20). Let x = o + 34. Is 6 a factor of x?
False
Let m(r) = r**2 + r - 2. Let i = 3 - 2. Let l be m(i). Suppose l*c + c - 9 = 0. Is 4 a factor of c?
False
Let z be 0 - (-4 + 5) - -71. Suppose -i - 3*i + 212 = -3*f, 42 = i + 2*f. Let d = z - i. Does 10 divide d?
True
Let c(a) = 2*a**2 + 19*a + 9. Is 15 a factor of c(-27)?
False
Let l(g) = g**3 - g**2 + 1. Let d(q) = -4*q**3 + 5*q**2 - 2. Let b(p) = d(p) + 6*l(p). Is b(2) even?
True
Suppose 0 = 4*z + 4*r + 72 + 96, 4*z = 5*r - 159. Let q = z - -62. Is 7 a factor of q?
True
Suppose s = -0*s + 4. Let f be s/(-18) + 2310/(-54). Let k = f + 72. Does 6 divide k?
False
Suppose -2*i + 115 = j + 2*i, 0 = 2*j - 2*i - 180. Suppose -5*q + 5*u - u = -98, -5*u = -5*q + j. Is 16 a factor of q?
False
Let q = 1 + -25. Does 11 divide (q/9)/4*3 - -101?
True
Let u be (6/5)/((-12)/(-40)). Suppose -18 = -w - 5*p, w - 3 = -u*w + 4*p. Suppose -w*y + 5*q - 4*q + 41 = 0, 62 = 4*y - 5*q. Is y even?
False
Suppose -5*z + 15 = -2*z. Suppose 0 = -2*q + z + 7. Suppose -95 = a - q*a. Is 19 a factor of a?
True
Let w(q) = -8*q**2 + 4*q - q + 5*q + 5 + q**3. Let t be w(7). Suppose -4*g - 2*v = 0, 2*g + 2*v + t = 4*g. Is g a multiple of 2?
True
Suppose -j = -5*j - 6*j. Let q = 70 + j. Is 9 a factor of q?
False
Suppose -13*y - 432 = -1485. Does 5 divide y?
False
Suppose 6 = 5*a - 3*k - 11, -k = 4*a - 17. Suppose m - q = 270, 9*m - 1336 = a*m - 2*q. Is 16 a factor of m?
False
Let q = 60 - 85. Let t be ((-1506)/15)/(10/q). Let o = t - 174. Does 19 divide o?
False
Let l(g) = 13*g**2 + 2*g + 1. Let c = 20 - 22. Let j be (-2)/4 - c/(-4). Is 6 a factor of l(j)?
True
Suppose -7291 + 2287 = -4*g. Is 139 a factor of g?
True
Let k be (-1)/4 - ((-30)/24 - -1). Suppose k = -3*c + 52 + 332. Does 35 divide c?
False
Suppose 0*k + 5*k - 30 = 0. Suppose k*o - o = 15. Suppose -o*y + 21 = -3. Is 4 a factor of y?
True
Let r = 130 - 127. Is 6 a factor of (3 + 412/(-12))/((-2)/r)?
False
Let w = 2364 - 300. Does 72 divide w?
False
Suppose -d + 67 = 2*d - l, 86 = 4*d