56)/(-16). Suppose -2*m + 4*m - 2*w = 10, -4*w = r*m + 20. Suppose -4*q + q + 105 = m. Is q a multiple of 11?
False
Let d(p) be the third derivative of p**6/120 + p**5/10 - 7*p**4/24 + p**3/2 + 16*p**2. Does 5 divide d(-6)?
True
Let s be -1 + 1 + 1 - -4. Suppose -g - 4*n = 3*g - 72, -2*g = -s*n - 1. Does 13 divide g?
True
Suppose 11*l = 23*l - 468. Suppose -2100 = -46*q + l*q. Is q a multiple of 12?
True
Let z(q) = -q**3 + 9*q**2 - 10*q + 3. Suppose j - 5*y + 8 + 1 = 0, 4*j + y - 27 = 0. Is 31 a factor of z(j)?
False
Suppose 5*d + 14 = -36. Let h = d + 15. Is h a multiple of 2?
False
Suppose -21*n = -18*n - 924. Is 5 a factor of n?
False
Suppose -2*c + 14 = 8. Suppose -o - 140 = -4*s + 953, 2*o = c*s - 816. Is s a multiple of 17?
False
Suppose -3*x + 40 = -2*x - 2*s, -242 = -5*x - 4*s. Suppose 2*a - x + 2 = 0. Is a a multiple of 3?
False
Let t = -519 - -1128. Does 7 divide t?
True
Suppose 0 = 4*r + 2*p - 40, -2*p - 8 = -6*p. Let g = r + -30. Let m = g - -33. Does 6 divide m?
True
Let t(x) = -x - 6. Let g be t(-12). Suppose -3*m - m = -84. Suppose g = b - m. Is 10 a factor of b?
False
Let d = 1377 - 961. Is 3 a factor of d?
False
Let v(l) = 5*l - 3. Let q be v(-4). Let m = 48 + q. Is 5 a factor of m?
True
Suppose 450 = 5*j + l - 2*l, 0 = 4*j + 5*l - 331. Let t = j - 17. Does 24 divide t?
True
Suppose j + 0*j = 5. Suppose -4 = 2*z - 5*f, -z + 5 = 4*z - j*f. Does 12 divide ((-12)/16)/(z/(-144))?
True
Let n = -30 - -42. Let c(o) = -2*o + 26. Let x be c(n). Does 6 divide x*(-2 - (-39)/6)?
False
Suppose 157*w - 164*w = -6447. Is 5 a factor of w?
False
Let b be (-6)/(-8) + (-55)/20. Let h be (1 - -2) + (b - -2). Suppose -h*f + 2 = -58. Is f a multiple of 10?
True
Let m(j) be the first derivative of -j**2/2 + 15*j + 9. Is m(-8) a multiple of 11?
False
Let w(n) = n**3 - 7*n**2 + 4*n + 7. Let s be w(7). Suppose -4*o + s - 311 = 0. Let z = o + 115. Is z a multiple of 14?
False
Let i = 38 - 47. Let g be i + 154 + (-1)/1. Does 2 divide (4/(-6))/((-6)/g)?
True
Suppose -3*u - 56 + 332 = 0. Is 16 a factor of 0 + 1/(1/u)?
False
Suppose -4*m = -8*m + 28. Let k = 45 - m. Does 11 divide k?
False
Suppose 2620 = 2*z - 5*j, 4 = -2*j + 3*j. Is 40 a factor of z?
True
Suppose 0 = -24*r + 56*r - 23040. Is 45 a factor of r?
True
Let q(w) = 17*w**2 - 4*w + 3. Suppose 0*x + 4*x - 8 = 0. Let s be q(x). Let k = 93 - s. Does 15 divide k?
True
Suppose z - 356 = b, 1432 = 4*z + 4*b - 24. Is 9 a factor of z?
True
Suppose -4210 + 370 = -32*b. Is 60 a factor of b?
True
Let p(m) = m - 23. Is p(32) even?
False
Let z = 275 - 114. Is z a multiple of 15?
False
Let c(o) = -12*o + 18. Let u be c(-5). Suppose 3*v - u = 90. Does 15 divide v?
False
Let g = -127 - -169. Is g a multiple of 38?
False
Let x(u) = u**3 + 4*u**2 + 5*u + 1. Let a be x(-3). Let p = 34 + a. Is 9 a factor of p?
False
Let x be (1 - 0)/((-7)/(-35)). Suppose -u + 64 = 5*i, -138 - 86 = -x*u - i. Is 18 a factor of u?
False
Let c(m) = -817*m + 9. Is 71 a factor of c(-1)?
False
Suppose -2*u = 3*p - 5 - 21, -5*u + 70 = 5*p. Suppose -15*x - 52 = -u*x. Does 26 divide x?
True
Let m = 1409 + -679. Is 44 a factor of m?
False
Suppose -3*m + 0*m = -990. Suppose j = -4*j + m. Suppose 47 + j = h - p, -5*h - p + 547 = 0. Is 22 a factor of h?
True
Is 43 a factor of ((-1581)/(-153))/(1/111)?
False
Let f(l) = 25*l. Let n = -1 - -5. Suppose 10 = 5*u + v, -u = -3*u + 4*v + n. Is f(u) a multiple of 13?
False
Suppose 0 = -22*n + 19*n + 12. Let y(h) = -h**3 + 3*h**2 + 4*h. Let t be y(4). Suppose 3*f + n*o - 10 = 0, 5*f + 2*o - 7 - 19 = t. Does 6 divide f?
True
Let t(l) = l**3 - 16*l**2 + 20*l - 17. Does 36 divide t(17)?
True
Let i(r) be the second derivative of 8*r - 1/3*r**3 + 5/2*r**2 + 0. Does 3 divide i(-5)?
True
Let y(b) = -4*b + 4. Let r(u) = -u**2 + 2*u - 4. Let g be r(4). Is 13 a factor of y(g)?
True
Suppose 3*j = -r + 6*r - 10, -2*r + 3*j + 4 = 0. Does 15 divide (-3 + r + 3)*-1 + 18?
False
Let j be (-1)/((-3)/15 + 0). Suppose j*r + 16 = r. Is 7 a factor of r/(-14) + 388/14?
True
Is 25 a factor of ((750/(-4))/3)/((-40)/80)?
True
Let d(z) = z**3 + 13*z**2 - 15*z - 11. Let x be d(-14). Suppose 0 = 3*r + a - 4*a - x, -11 = r + 3*a. Is 3*-9*(r - -1) a multiple of 9?
True
Suppose -3 = -3*r, -16*g - r = -12*g - 937. Is 9 a factor of g?
True
Let a = 13 + -9. Suppose -a = -0*x + 4*x, -8 = -3*q - 4*x. Suppose -3*c - q*z + 300 = c, 383 = 5*c - 3*z. Is c a multiple of 36?
False
Suppose -d + 4*b = -2*d + 70, -158 = -3*d + b. Is 13 a factor of d?
False
Suppose -631*t + 634*t = 5*r - 14025, -5*r = 3*t - 14055. Does 39 divide r?
True
Suppose -35 = 3*f + 5*x + 5, 0 = -5*f + 3*x - 44. Let t be 6/15 + (-36)/f. Suppose 42 = t*h - 2*h. Does 9 divide h?
False
Suppose 16*s = 20*s + 5*a - 714, s - 180 = -2*a. Does 7 divide s?
False
Let u(p) = -315*p**3 - p - 1. Does 35 divide u(-1)?
True
Suppose 429 = 5*y + 2*v, -261 = -3*y + v - 4*v. Let f = -66 + y. Is f even?
False
Let v = -138 + 128. Let b(q) = q**3 + 10*q**2 + 9. Does 6 divide b(v)?
False
Is 4 a factor of (12 - 4)/(14/7 - 0)?
True
Suppose 4 + 17 = -w. Let n = 84 + w. Suppose 2*p - n = -25. Does 19 divide p?
True
Suppose 3*m + 4 - 19 = 0. Suppose 0 = -g + 3*k - 5, -3*g + 0*g + 5*k = 3. Suppose -4*x + 45 = -3*v - 31, -g*x + m*v = -84. Does 16 divide x?
True
Suppose -1078 = -5*l - 3*c, c = 6*c + 20. Is 5 a factor of l?
False
Let a(s) = 2*s**3 + 2*s**2 + 5*s. Let h(f) be the first derivative of f**4/4 + f**2/2 - f + 1. Let p(i) = -a(i) + h(i). Does 5 divide p(-3)?
True
Let f(w) be the third derivative of w**6/120 + 3*w**5/20 + 7*w**4/24 - 5*w**3/3 - 3*w**2. Suppose -c = 3*g + 23, 2 + 30 = -4*g - 2*c. Is 13 a factor of f(g)?
True
Suppose -8*q + 118 = -794. Suppose x - q = -5*x. Does 14 divide x?
False
Suppose 5*t - 5*q - 5696 = -3*q, 3*t - 3*q = 3414. Is t a multiple of 60?
True
Does 48 divide (-1 + 2)*(53 - -2)?
False
Let l(r) = 492*r + 8. Is 16 a factor of l(2)?
True
Suppose -4*o = -2*x - 20, -9 = o + 3*x - 0. Let r(k) = 0*k**2 + 0*k**2 + o*k - 2 + 3 + 4*k**2. Is r(3) a multiple of 10?
False
Suppose -h + 4*b - 7 = 0, -h + 3*b - 7 = -0*b. Is 6 + h + 0 + 43 a multiple of 14?
True
Let g(d) = d**2 - 4. Let z be g(-3). Let a(t) = 7*t - 22. Is a(z) a multiple of 3?
False
Let o(c) = c**2 - 4*c - 2. Let l be o(5). Let h be 1*(247 + (l - 4)). Suppose 5*k = z + 418, -z - 6 = -3*k + h. Does 23 divide k?
False
Let t(n) = 2*n**2 + 65*n - 25. Is 41 a factor of t(12)?
False
Let z = 120 + -98. Is 3 a factor of z?
False
Let q(w) be the second derivative of -w**4/12 - 4*w**3/3 - 3*w**2/2 + 13*w. Let f be q(-8). Is (5 + -4)/(f/(-111)) a multiple of 8?
False
Let m(g) = g + 2. Let w be m(6). Does 14 divide w/(342/(-87) + 4)?
False
Suppose -c + 158 + 133 = 0. Suppose -3*p + 2*l + c = l, p - 84 = -4*l. Does 16 divide p?
True
Let n = 4977 - 2807. Does 31 divide n?
True
Suppose -47*z + 48*z - 4 = 0. Suppose z*x = -5*x + 1503. Does 24 divide x?
False
Suppose 0*i + 5*i = 4*m - 22, -i = -2*m + 8. Let x be (-20)/(-8) + (-1)/i. Suppose x*h + 2*h = 440. Is 26 a factor of h?
False
Let g = -190 + 235. Is g a multiple of 9?
True
Let h(q) = 73*q + 11. Let y be h(7). Suppose -2*n - y = -5*n + 3*j, 846 = 5*n + j. Is n a multiple of 15?
False
Let p(r) = 2*r**3 + 2*r**2 - r - 1. Let j be p(2). Let w = -10 + j. Suppose -w = -d + 37. Does 24 divide d?
True
Suppose -l = 86 - 91. Suppose l*n - 198 = -3*y + 206, 3*n - 140 = -y. Is 43 a factor of y?
False
Suppose 0*s = -5*v - 4*s + 2943, v + 3*s = 593. Is v a multiple of 10?
False
Let p(z) = -2*z**2 + 10*z + 3. Let w be p(5). Suppose 2*m = 2*h - 62, -6*m + 131 = 4*h - w*m. Is 8 a factor of h?
True
Suppose -9758 = -25*g + 8*g. Is 31 a factor of g?
False
Let h = -26 - -121. Let g = h - 11. Is 28 a factor of g?
True
Let k(j) = 30*j + 2. Let h be k(-10). Let r = 96 + h. Let s = r - -308. Does 22 divide s?
False
Suppose 3*p = -10 - 2, -3*k - 5*p - 353 = 0. Let x = k + 156. Does 9 divide x?
True
Suppose 18 = -5*m - 5*j + 48, -20 = -5*j. Is m/5 - 8980/(-50) a multiple of 30?
True
Let n(a) be the first derivative of 2*a**2 - 24*a - 17. Is 3 a factor of n(10)?
False
Suppose 2*t - 28 - 6 = 4*v, 31 = t + 5*v. Suppose 0 = t*q - 23*q + 288. Is q a multiple of 18?
True
Let i = 5 - 1. Suppose 0 = s + i*s - 25. Suppose 5*b - 3*u - 2*u = 165, 2*b = -s*u + 66. Is b a multiple of 11?
True
Is 98 a factor of (-1078)