 of 16?
True
Suppose 6980 - 2340 = 29*t. Is t a multiple of 33?
False
Suppose 88*t - 83345 = 71535. Is 55 a factor of t?
True
Suppose -3*m + 15 = 4*x + 2*m, 2*m = -2. Suppose -5*l = 2*i - 25, 3*l - x*l = i - 10. Suppose i = 5*p - 51 + 11. Is 3 a factor of p?
False
Let g(y) = -2*y + 317. Is 13 a factor of g(61)?
True
Let p(t) = t**3 + 3*t**2 + t. Let d(y) = -y**2 + 11*y - 2. Let r be d(11). Let s be p(r). Suppose -2*c = z - 11, 12 - s = z + c. Is z a multiple of 2?
False
Let o(h) = 16*h**3 + h - 3. Let w(u) = u - 4. Let y be w(6). Let c be o(y). Suppose -4*t + 97 = -c. Is t a multiple of 21?
False
Let s(d) = d**3 + 7*d**2 - 2*d - 5. Let c be s(-6). Suppose -w + c = -17. Is (w/(-21))/((-4)/14) a multiple of 2?
True
Let n be 32*1/((-4)/4). Let s = -29 - n. Suppose 5*p - 2*p - 131 = -4*q, -s*p - 2*q = -127. Is p a multiple of 10?
False
Let n(v) = v - 5. Let g be n(14). Suppose -g = -j - 11. Is (-1374)/(-66) + j/(-11) a multiple of 19?
False
Let t(q) = -14*q + 5*q + 22 + 23 - 4*q. Does 8 divide t(-7)?
True
Let g(f) = f**3 - 9*f**2 + 15*f + 89. Does 90 divide g(16)?
False
Does 24 divide (-6)/5 - (-452)/10?
False
Let r(a) = -a**3 - 6*a**2 - 3*a - 9. Let p be r(-6). Suppose p*c - 928 = c. Is 14 a factor of c?
False
Let h be (12/14)/((-5)/(-210)). Is 13 a factor of (-5448)/(-28) + (h/(-14) - -3)?
True
Suppose -3*k + 577 = 4*u, 0 = 2*k + 5*u - 0*u - 387. Is 13 a factor of k?
False
Suppose 3*q = 2*o - 3*o + 5, 0 = o - 2*q + 5. Is (o - 1)/((15/(-155))/3) a multiple of 31?
True
Let z = 54 + -44. Is 7 a factor of (-10)/(-25) + 66/z?
True
Let c be 1/((-440)/(-436) + -1). Suppose 3*f - 116 = -4*r, -5*f + c = -4*r - 63. Does 9 divide f?
True
Let b(s) = 13*s + 13. Let j(g) = -20*g - 19. Let h(c) = -8*b(c) - 5*j(c). Is 26 a factor of h(-13)?
False
Suppose -52*i + 51*i = 2*n - 101, 4*i - 392 = -5*n. Is i a multiple of 2?
False
Is 68598/36 - (-3)/6 a multiple of 31?
False
Suppose -23*r + 10333 = -1926. Is 41 a factor of r?
True
Suppose 15*c - 20*c + 195 = 0. Suppose -i + 2*i = c. Is i a multiple of 10?
False
Let k(z) = -z**2 + 12*z - 15. Let y be k(10). Suppose y*t + 2*i - 310 = 2*t, -75 = -t + 5*i. Let f = t - 60. Does 20 divide f?
True
Suppose 16001 = 28*g + 2197. Does 17 divide g?
True
Suppose g = 3*y - 2*g - 18, -4*g = -3*y + 18. Suppose y*c = 5*c + 79. Does 9 divide c?
False
Suppose 30*o - 1491 = 549. Is o a multiple of 4?
True
Suppose 24*u - 3875 + 899 = 0. Is 16 a factor of u?
False
Let x be (-18)/(-1 + (-6)/(-4)). Let r = 64 + x. Suppose -5*m + 72 = -r. Is m a multiple of 4?
True
Suppose -3*f = -5*b - 708, -2*f + 3*f - 236 = -5*b. Let g = -136 + f. Let y = g + -50. Is 16 a factor of y?
False
Let t(b) be the second derivative of -b**5/20 - b**4/12 - 5*b**3/6 + b**2 - 5*b. Let w be t(-4). Suppose 0 + w = 5*j. Is 10 a factor of j?
False
Let d(u) = -5*u - 5. Let h be (-3)/((2 - 1)*-1). Suppose -2*i - 5*y - 6 = 0, -h*i - 12 = y + 10. Is d(i) a multiple of 16?
False
Let g = 1446 - 1186. Does 10 divide g?
True
Suppose g - 5 - 14 = 0. Suppose -g = -4*y + 3*y + 2*j, -3*j = -5*y + 95. Is 19 a factor of y?
True
Let h = 1 + 22. Suppose -21*n - 112 = -h*n. Is 8 a factor of n?
True
Let q(v) = v + 7. Let g be q(5). Suppose -g*j = -19*j + 735. Is j a multiple of 15?
True
Let i(o) = 5*o**2 - 10*o - 3. Let a be i(9). Let u = -19 + 22. Suppose j - a = -u*j. Is j a multiple of 13?
True
Suppose -2*k = -12*n + 14*n - 736, 0 = 3*n + 5*k - 1100. Does 2 divide n?
True
Suppose -2*m - 187523 = -45*m. Is m a multiple of 16?
False
Let a = 170 - 94. Suppose 4*o - 2 = -z, a = 5*z - 3*o - 26. Is z a multiple of 9?
True
Suppose -3 = -3*f + 2*f. Suppose f*g = g + 68. Is g a multiple of 17?
True
Let q(c) be the second derivative of 7*c**3/6 + 2*c**2 - 4*c. Suppose -x = 4*m - 11, 3*x - x + 4 = 5*m. Is q(m) a multiple of 12?
False
Let k(l) = 7*l - 11. Let i be k(11). Is 14 a factor of (i/5)/(7/35)?
False
Let i(c) = -c + 30 + 21 - 12 - c. Is i(11) even?
False
Let c(w) be the second derivative of w**3/6 + 9*w**2 + 6*w. Let z be c(-15). Suppose -o + 36 = 4*b, z*b + 3*o = b + 28. Does 5 divide b?
False
Let w = 226 - 45. Is w a multiple of 25?
False
Let c = -81 - -77. Does 9 divide -4*(0 + 26/c)?
False
Suppose 9*u - 2375 = -5*d + 4*u, 0 = 5*d - 2*u - 2382. Suppose 2*y - 162 - 90 = 3*k, -k = 4*y - d. Does 16 divide y?
False
Let c(y) = 6*y - 3. Suppose 3*o - 9 = -3. Let n be c(o). Is n/3 - 3 - -3 a multiple of 3?
True
Let v(n) = n**2 + 13*n + 2. Let z = 22 - 35. Let x be v(z). Suppose -x*w + 12 + 24 = 0. Is 6 a factor of w?
True
Let j be 3*(3 - 5 - -1). Let s = 3 + j. Does 15 divide (40 - 10)/(s - -2)?
True
Let u(h) = -71*h - 718. Is 58 a factor of u(-37)?
False
Let f(c) = 2*c**3 - 5*c**2 - 4*c - 7. Let p(l) = l**3 + l**2. Let o(w) = -f(w) + 3*p(w). Does 42 divide o(-6)?
False
Suppose 5*n + 72 + 28 = 0. Let x = n - -75. Is x a multiple of 11?
True
Let m(u) = 884*u**3 - 2*u**2 + 4*u - 4. Is m(1) a multiple of 89?
False
Does 13 divide 25275/30 - (2 + 3/(-2))?
False
Suppose 34*m - 31*m = 282. Let l = -2 + 6. Suppose -j + 7 = u - m, 0 = 2*u + l*j - 206. Does 21 divide u?
False
Let s(z) = -z**3 - 3*z**2 + 2. Let v be (-1)/((5 + -4)/3). Let b be s(v). Suppose -m - b*m = -48. Is m a multiple of 4?
True
Is 4 a factor of ((-30)/(-25))/((-12)/(-440))?
True
Suppose -2*b - 1281 = -2*f + b, 4*f - b - 2537 = 0. Let u = -362 + f. Does 19 divide u?
False
Let t(b) = -b**2 + 10*b. Let w be t(10). Suppose 2016 = 7*m - w*m. Does 52 divide m?
False
Suppose -47 = -2*r + 9. Let x = 40 - r. Does 2 divide x?
True
Suppose -3*r + 101 = -97. Let g = r + -21. Is g a multiple of 10?
False
Suppose 0*v + v + 3*w = 98, 3*w = 5*v - 490. Is v a multiple of 4?
False
Let z(f) = 3*f**2 - f. Let d be z(-1). Suppose 2*o - 16 = -4*w, -5*w + 38 = d*o - 0*w. Let s = o - 0. Does 4 divide s?
True
Suppose -175 = 2*t - 135. Is 53 a factor of (795/t)/(18/(-48))?
True
Let j be ((1 - 1) + -2)/((-4)/2). Suppose 0 = 2*s - 2*z, 3*s - 2*z - 2*z = -3. Is (j + (0 - s))*-24 a multiple of 20?
False
Let f = -537 + 948. Is 19 a factor of f?
False
Let o(m) be the first derivative of 5*m**4/2 + m**3 - m**2/2 - m + 4. Let c be o(2). Suppose 3*w - 5*p = c - 5, -4*w + 120 = -4*p. Does 11 divide w?
True
Suppose 3*i + w - 21 = 0, w = 4 - 1. Suppose -11*t + 170 = -i*t. Does 9 divide t?
False
Let a(o) = -3*o**2 + 15*o + 10. Let t be a(6). Let c(u) be the first derivative of -u**4/4 - 7*u**3/3 + 8*u - 1. Is c(t) a multiple of 36?
True
Let v = 14 + -12. Let k(b) = 41*b**2 + 3*b - 2. Let c be k(v). Suppose -2*i - c = -5*i. Is 20 a factor of i?
False
Suppose -6*u = -2*u + 12. Let g(o) = -3*o**3 - 5*o**2 - 4*o - 6. Is g(u) a multiple of 9?
False
Let b(n) = -n**2 - n - 48. Suppose 4*x = 2*x. Let r be b(x). Let s = 106 + r. Is s a multiple of 29?
True
Let v(n) = 38*n + 1. Let x be v(2). Let u = 273 - x. Is u a multiple of 49?
True
Let c(r) be the first derivative of 2*r**3/3 + 3*r**2 + 7*r + 2. Let o be c(5). Suppose -m + 2 = -1, -2*y + 3*m + o = 0. Is y a multiple of 12?
True
Let d(v) = -11*v - 15 - v**2 + 6 - 42 - 10*v. Is 5 a factor of d(-8)?
False
Suppose -2*u = 7 + 1. Let c = 9 + u. Suppose 3*p + p = -3*k + 275, -174 = -2*k - c*p. Is k a multiple of 25?
False
Let a(j) = 18*j + 15*j + 14*j - 38*j - 5*j**2 + j**3 - 1. Is a(4) a multiple of 6?
False
Let m(h) = 12*h**3 + h**2 + h - 2. Let r be m(2). Suppose 2*d - 142 = -2*z, -5*d - r = -3*z + 89. Does 19 divide z?
False
Let n be (-2*(-7)/4)/((-1)/(-130)). Suppose 12*h - 17*h + n = 0. Is h a multiple of 13?
True
Let y(s) = 3*s - 18. Let i be y(8). Suppose 122 = 4*f + 2*m, -2*m - 41 = -f - i*m. Does 4 divide f?
False
Let p be -1*((-2)/(-2))/(1/(-35)). Let j = -35 - -8. Let d = p + j. Is 8 a factor of d?
True
Let c(x) = -69*x + 9. Let p be c(-10). Suppose -p = -10*z + 21. Is z a multiple of 18?
True
Suppose 0 = 4*o + a - 15, 7 = 2*o + 3*a + 2. Suppose 0 = -h + o*h. Is (-5 - (h - 2)) + 24 a multiple of 14?
False
Suppose 0 = -20*d + 15*d + 210. Suppose 930 = 6*n - d. Is 18 a factor of n?
True
Let t be ((-13)/(-1))/((-3)/(-22 - -4)). Suppose x - 4*x + t = -3*f, -112 = -4*x + 2*f. Does 15 divide x?
True
Suppose -2*n - 2048 = -5*x, 3*x - 831 - 403 = -4*n. Suppose -16 = -6*i + x. Does 7 divide i?
False
Suppose -2*o + 7*o = 10. Suppose 0 = -0*q + 2*q - o*k - 74, -q = -2*k - 38. Suppose 3*m - q = -i - m, 3 = m. Is i a multiple o