r of p?
False
Let v(a) = 7*a**3 + 8*a**2 - a - 1. Let s(p) = -8*p**3 - 9*p**2 + p + 2. Let j(y) = -6*s(y) - 7*v(y). Is j(-5) a multiple of 3?
False
Let g = 38 + -18. Let t be (g/6)/((-2)/3). Let i = 8 - t. Is i a multiple of 3?
False
Suppose -264 = 7*l + 884. Let v = -710 + 474. Let n = l - v. Is 24 a factor of n?
True
Let u be 40/((-9)/7 - 10/(-35)). Let p = u - -136. Is 16 a factor of p?
True
Let p(w) = 31*w**2 - 12*w - 11. Is p(-1) a multiple of 32?
True
Suppose y + 4*u - 490 = 0, y + 3*u - 2012 = -3*y. Does 11 divide y?
True
Let v = -363 - -610. Is v a multiple of 13?
True
Let j(r) = 6*r**2 - 2*r - 3. Let t be j(-2). Let l = -7 + t. Suppose -y + l - 1 = 0. Does 17 divide y?
True
Is (16 + 5)/((-9)/(-201)) a multiple of 25?
False
Suppose -17*d + 13*d + 12 = 0. Suppose -12*u = -d*u - 153. Suppose -u*p + 675 = -12*p. Does 31 divide p?
False
Let z be (6/(-5))/((-1)/5). Let i be (-9 + z)*1/(-3). Does 16 divide (i/2)/(5/640)?
True
Let s be -4 + 18*(-6)/(-9). Suppose s = l - 31. Is 5 a factor of l?
False
Let m(x) = -4*x**2 - 8*x + 18. Let b be m(7). Is (2 - 3)*(b/2 - -4) a multiple of 29?
False
Let a be 0/(3 + 0 + 0). Suppose a = -2*y - 3*y + 150. Suppose 0 = -z + 3*z - y. Is z a multiple of 15?
True
Let h = 464 - 307. Suppose 2*d + w - h = 17, 0 = 5*d - w - 435. Does 29 divide d?
True
Suppose 3*o + o - 36 = -5*j, -20 = -3*j - 4*o. Let l = j - -16. Is 6 a factor of l?
True
Suppose 5*a - 4*p + 150 + 114 = 0, -a - 5*p = 76. Let i = 8 - a. Does 32 divide i?
True
Is 21 a factor of 4 - ((-1610)/4 + 3/(-2))?
False
Suppose 0 = -z - z + 5*t + 484, -3*z + 3*t = -726. Let d = z - 85. Is 46 a factor of d?
False
Suppose u - 4*w - 1840 = -3*u, w - 908 = -2*u. Does 19 divide u?
True
Let x = -8 + 1066. Does 23 divide x?
True
Let t be (-6)/8*(-280)/5. Suppose 18 = 6*i - t. Does 4 divide i?
False
Let c = 1950 - 911. Does 9 divide c?
False
Let x = -81 + 58. Let f = -24 - x. Let b(w) = 33*w**2 + 1. Is b(f) a multiple of 8?
False
Does 6 divide (-6)/14 + (3 - 1662/(-7))?
True
Let l be ((-80)/(-24) + -4)*(-1122)/4. Suppose -5*s = 3*r - s + 361, 3*r = -s - 376. Let t = l + r. Does 15 divide t?
True
Let p(o) = 2*o**2 - 11*o + 15. Let r = 12 + -4. Is p(r) a multiple of 25?
False
Let i be ((-24)/10)/((-4)/(-30)). Suppose -4*u = 22*c - 18*c - 160, 71 = 2*u - c. Let g = u + i. Is 19 a factor of g?
True
Let d = 56 - 52. Suppose d*n + 73 = 413. Is n a multiple of 17?
True
Let o = 14 + -12. Suppose -5*h + o + 8 = 0. Does 14 divide (-16)/4 + (41 - h)?
False
Suppose -5 = -3*s - 0*s - u, 0 = -s - 5*u + 25. Let x(d) = s*d + 11*d**2 + 3*d + 5*d**2. Is 17 a factor of x(-2)?
False
Let b = -15 - -6. Let f(r) = -r**3 - 8*r**2 + 5*r - 1. Is f(b) a multiple of 5?
True
Suppose 0 = 4*g - 3*i - 392, -35*g + 2*i - 294 = -38*g. Suppose 2*a - 178 = a. Let l = a - g. Is 17 a factor of l?
False
Let h(d) = d**3 - 9*d**2 + 11*d + 7. Let m be h(7). Let p(l) = -l**3 - 12*l**2 + 26*l - 4. Does 24 divide p(m)?
True
Suppose 0 = 4*g - 20 + 4. Let k(z) = 2*z**3 - 2*z**2 - 3*z - 6. Is 26 a factor of k(g)?
True
Let s(x) = -x**3 - 3*x**2 + 4*x - 15. Let f be s(-5). Suppose 880 = 20*g - f*g. Does 15 divide g?
False
Suppose -1603 = -7*y + 5*y - 3*x, 5*y - 2*x - 4036 = 0. Does 13 divide y?
True
Suppose -4*i + 52 = -2*i. Let v = -14 + i. Let l = v + -9. Is 3 a factor of l?
True
Suppose y - 2 - 8 = -2*a, -2*y - 4 = -4*a. Suppose 1951 - 419 = y*g + u, -4*u = 16. Suppose -5*n = -4*m + g, -8*n - 16 = -4*n. Is 35 a factor of m?
False
Let l = 174 - 90. Suppose v = 2*v - l. Does 22 divide v?
False
Let r be (-198)/(-21) + 12/21. Does 3 divide 178/10 - (-2)/r?
True
Suppose 15 + 31 = 3*x + q, 2*q = -2*x + 28. Suppose -4*c = l - x, -3*l - 4*c - 16 = -4*l. Let r = 28 - l. Is r a multiple of 12?
True
Let n(f) = -f**3 - 12*f**2 + 14*f - 17. Suppose -30 = 2*v - 4. Let a be n(v). Is (12/(-10))/(2/a) a multiple of 9?
True
Suppose 0*r + 4*g = -3*r - 2, 2 = 2*g. Is 36 a factor of 1/r + 891/6?
False
Let l(d) = -d**3 - d**2 + d + 1. Let s(q) = -4*q**3 - 14*q**2 + 8*q - 8. Suppose -5 = -6*y + 1. Let r(j) = y*s(j) - 5*l(j). Is r(9) a multiple of 5?
False
Let v(c) = 8*c - 9. Let o(t) = 24*t - 26. Let p(w) = -3*o(w) + 10*v(w). Does 44 divide p(7)?
True
Suppose -954 - 142 = -4*i. Let l = i - 121. Does 9 divide l?
True
Suppose 5*d + 107 = 102, -c + 1148 = -2*d. Does 43 divide c?
False
Suppose -2*t + 52 = -6*t. Let p = t - -78. Is p a multiple of 11?
False
Suppose -4*v = 8 + 8, 0 = -i + 5*v + 482. Does 13 divide i?
False
Is (-3)/((-3)/(-74))*5/(-2) a multiple of 5?
True
Let k be 4 - (-4 - (2 + -7)). Does 22 divide (-3)/((k/90)/(-1))?
False
Suppose -2*u - 19 - 17 = 0. Let d = -13 - u. Suppose d*l = -3*m + 76, -20 = -l + 3*m + 6. Is l a multiple of 8?
False
Suppose -8 - 8 = 4*j. Let y(s) = -s**3 - 4*s**2 - s - 2. Let o be y(j). Is (-6 - (-2 + o))/(-1) a multiple of 6?
True
Let s(a) = 3*a + 1992. Is s(0) a multiple of 83?
True
Suppose -2*x = -10, 5*x - 5130 = -4*o + 3*x. Is 32 a factor of o?
True
Suppose 78 = -2*t + 926. Suppose 4*b - 3*a = t, 3*a = 3*b + 4*a - 318. Is b a multiple of 10?
False
Suppose 3*y = -617 + 3050. Is 30 a factor of y?
False
Suppose -4*u + 2172 = 732. Suppose -2*g + u = 4*g. Does 14 divide g?
False
Let c(i) be the second derivative of -i**6/360 + i**5/10 + i**4/24 - i**3/3 + 2*i. Let y(k) be the second derivative of c(k). Is y(11) a multiple of 10?
False
Suppose -10*x + 563 = -347. Does 5 divide x?
False
Let y(b) = -4*b**2 - 173*b - 2. Is 12 a factor of y(-24)?
False
Suppose 3*x = -o + 69, x - 3*o + 3 = 16. Let l = 4 + x. Is l a multiple of 7?
False
Does 5 divide ((-80)/15 - 1)*(-21 - -6)?
True
Let m be 3*(3 + 20/15). Suppose -3*u = -4*p + 87, p - 8 - m = u. Is p a multiple of 24?
True
Let m = -462 + 714. Is m a multiple of 14?
True
Let k(w) = -3*w - 123. Let i be k(0). Does 27 divide (-2)/(1*3/i)?
False
Let o = -151 - -230. Let r = o + -58. Is r a multiple of 2?
False
Let o(y) = -2*y**2 - 2 + 4*y - 7*y + 0 - y**3 + 8*y**2. Let b(g) = g**2 - 2*g + 3. Let j be b(2). Is 8 a factor of o(j)?
True
Let p(w) = 6*w**2 + 4*w + 2. Let d be p(-3). Suppose 6*q = 4*q - d. Let k = 5 - q. Is 8 a factor of k?
False
Let t(l) = -3*l**2 - l - 9. Let m(n) = -4*n**2 - 9. Suppose 2*c - 25 = -3*c. Let w(d) = c*t(d) - 4*m(d). Is 7 a factor of w(8)?
False
Let s = -45 + 250. Suppose -6*p + s + 767 = 0. Does 37 divide p?
False
Let g(p) = p + 22. Does 41 divide g(19)?
True
Let u(i) = -i**2. Let r(m) be the second derivative of -m**4/2 + 7*m**3/3 - 7*m**2 - 5*m. Let v(n) = -r(n) + 5*u(n). Is 7 a factor of v(14)?
True
Suppose -5*z + 3*z + 8 = 0. Suppose 4*d + z = -5*k + k, 45 = -5*k + 3*d. Does 8 divide 14 + 5*k/(-15)?
True
Let a = -30 + 35. Suppose -4*q - 18 = -a*q. Is 18 a factor of q?
True
Suppose 701 = 5*i - 4*i. Does 8 divide i?
False
Let y be 14383/(-95) - (-2)/5. Is 5/20 + y/(-4) a multiple of 13?
False
Suppose 9*k = 1112 + 8707. Is 79 a factor of k?
False
Let c(v) = 2*v - 18. Let k(b) = b**3 - 3*b**2 + b + 1. Let y be k(3). Suppose 3*t = 46 - y. Is c(t) a multiple of 5?
True
Let m(t) = -t**2 - 5*t + 9. Let f be m(-6). Let i(q) = 3*q**2 + 1 + f - 4*q - 1. Does 12 divide i(4)?
False
Let t(i) be the first derivative of i**3/3 - 4*i**2 - 1. Let y be t(7). Is 3 a factor of y*(52/(-28) - -1)?
True
Suppose -546 = 828*u - 831*u. Is 14 a factor of u?
True
Let l = 2 + -2. Suppose 2*s + 9 = 3*w + 22, -1 = 4*s + 3*w. Suppose l = s*g - g - 5. Is g a multiple of 5?
True
Suppose 0*c + 3*c + o + 358 = 0, -4*c + 3*o = 486. Let g = c - -170. Is 3 a factor of g?
False
Suppose 30 = 3*i + 21. Is i - (-47 + -2 + -2) even?
True
Let v(z) = -3*z - 1. Let g be v(4). Let k = -7 - g. Is 5 a factor of 21*1 - k/2?
False
Suppose 0 = -4*a + 2*r + 7212, -2*r - 8 = 2*r. Is 8 a factor of a/(-30)*-2 + (-6)/45?
True
Suppose -5*m + 286 = -4*m. Does 10 divide m?
False
Let n = -269 - -514. Is 49 a factor of n?
True
Let i(v) = 3*v**3 - v**2 - v + 3. Let c be i(3). Let x = -20 + c. Let s = -36 + x. Is 6 a factor of s?
False
Let f(x) = -5*x**3 - 2*x + 1. Let c be f(1). Let y = c + 7. Suppose -2*n - 3*p = -43, 3*n = 4*n - 3*p + y. Does 7 divide n?
True
Let d(t) = t**2 + 5*t - 6. Suppose -6*c = -4*c + 12. Let h be d(c). Suppose -5*v + 4*u = u - 25, 2*v + u - 10 = h. Is v a multiple of 3?
False
Let j(o) = o + 8. Let y be j(0). Let u be y/3*(-18)/12. Does 14 divide (-89 + u)*(-1)/3?