7 + -2?
False
Let h(i) = 7*i**2 - 50*i + 53. Is 17 a factor of h(-14)?
True
Suppose 5*t - 129 - 161 = 0. Is t a multiple of 29?
True
Let m(r) = 3*r**2 + 4*r - 135. Is 12 a factor of m(15)?
True
Let m(x) = 2678*x**3 - x**2 - 20*x + 21. Does 17 divide m(1)?
False
Suppose -4*r - 4*m - m + 41 = 0, -5*r + 40 = 4*m. Suppose r*c = 1023 + 1905. Is (-2)/11 + c/33 a multiple of 22?
True
Let o = 32 - -79. Suppose -3*s = -4*z + 123, 3*z + 6*s - o = 2*s. Does 25 divide z?
False
Let o(n) = -11*n**2 + 7*n - 1. Let f be o(3). Let k = f + 86. Is k even?
False
Let q = 37 - 32. Suppose -14 = -q*w + 7*w. Let h = w - -10. Does 2 divide h?
False
Let q(p) be the first derivative of 2*p**3/3 - p**2 - 3. Let d be (-1 - 0) + -1 - -4. Does 4 divide q(d)?
True
Let w(n) = 39 - n + 0*n - 6 + 0*n. Is w(0) a multiple of 13?
False
Let v be 1 - (0 + 1)/(-1). Let j(u) = u**v - 1 + 4*u - 5 - 3. Does 12 divide j(-8)?
False
Let c be ((-2)/4)/(1/(-4)). Suppose 12 = 2*v + c*q, 4*q + 3 = 4*v + v. Suppose v*p = -p + 24. Is p a multiple of 6?
True
Let z(g) = 7*g - 2. Let u be z(2). Is 6 a factor of (6/u)/((-1)/(-74))?
False
Let o be ((-5)/3)/(2/(-6)). Suppose -6*j + 2*j + 14 = o*i, -i = -5*j + 3. Is 3 a factor of 5 - i - (-2 + -10)?
True
Is 30/(-4)*(3 - (-115)/(-5)) a multiple of 50?
True
Let n = -54 - -101. Suppose -n*k - 156 = -48*k. Does 12 divide k?
True
Suppose 32*c - 31*c - 40 = 0. Suppose -205 = -5*f - 4*y + c, 2*f = y + 98. Is 7 a factor of f?
True
Let o(x) = -367*x**3 - 5*x**2 - 2*x - 1. Is o(-1) a multiple of 5?
False
Is 216/(-486) + 19804/9 a multiple of 55?
True
Let a = 1428 - 742. Is a a multiple of 17?
False
Suppose -130 = -2*h - 4*u, -2*h - 5*u = -7*h + 325. Suppose 3*r - 13 = -3*q + h, -5*r + 122 = q. Is r a multiple of 17?
False
Let p = -637 - -1130. Is p a multiple of 17?
True
Let h(p) be the first derivative of 1/4*p**4 - 5/2*p**2 + 4/3*p**3 + 8 - 6*p. Does 14 divide h(-4)?
True
Let a(u) be the first derivative of -7*u**5/10 - u**4/12 - u**3/2 - u**2 - 6*u - 6. Let w(n) be the first derivative of a(n). Does 7 divide w(-1)?
True
Suppose -498*k + 492*k = -12012. Does 11 divide k?
True
Is 17 a factor of (-4)/(-8) - (-55750)/20?
True
Let b = -253 - -283. Is 6 a factor of b?
True
Suppose -5*a = d + 2, -a = -5*d + a + 17. Suppose 200 = 7*i - d*i. Is 12 a factor of i?
False
Suppose -2*i - 19 = -1. Let t(o) = -o**3 - 10*o**2 - 14*o - 13. Let m be t(i). Suppose -2*h - 3*d = -166, 2*d + m = -4*h + 364. Is h a multiple of 17?
False
Suppose -29*v - 4284 = -41*v. Is 51 a factor of v?
True
Let s(c) = -2*c**3 + 13*c**2 - 15*c + 9. Let t(j) = j**3 - 7*j**2 + 8*j - 4. Let d(v) = -4*s(v) - 9*t(v). Is d(8) a multiple of 32?
True
Let i = -28 + 32. Suppose 2*n = i*k + 40, -5*n + 4*k + 56 = -62. Does 13 divide n?
True
Let h(i) = 2*i**2 - 84*i + 4. Does 4 divide h(59)?
False
Let u be (-2 - (-12)/9)*-3. Let h(y) = 2*y**u - y**2 - 6*y + y + 0*y**2 - 2. Does 4 divide h(6)?
True
Let q(j) = -j**3 - 5*j**2 + 2*j + 7. Let s = -12 + 7. Let p be q(s). Is 3/(p/(-1))*17 a multiple of 11?
False
Let s = -386 - -522. Is s a multiple of 5?
False
Let n = -425 + 1375. Is 31 a factor of n?
False
Does 61 divide ((-24)/(288/(-2379)))/((-2)/(-8))?
True
Let t = -425 + 890. Is 22 a factor of t?
False
Suppose -19*d = -14*d - 25. Suppose 3*h + 2*h - d*u - 360 = 0, -5*u = 2*h - 165. Is 15 a factor of h?
True
Let t(g) = g + 28. Let j be t(-30). Let c(o) = -47*o + 4. Does 23 divide c(j)?
False
Let z(w) = -4*w + 1. Let m be z(3). Let u = m - -13. Suppose -97 = -t + u*k - 22, 4*t = -4*k + 324. Does 10 divide t?
False
Let d be (-12)/(-10)*(-15)/(-9). Suppose 25 = 3*v - 2*v - 5*p, 0 = -d*v + 5*p + 65. Is v a multiple of 10?
True
Let m(y) = 2*y**2 - 2*y - 4. Let w = -341 + 186. Let u be w/(-55) + 4/22. Is 8 a factor of m(u)?
True
Let v(u) be the first derivative of u**6/120 - u**5/12 + u**4/4 + u**3/6 - u**2 - 2. Let z(o) be the second derivative of v(o). Is 31 a factor of z(5)?
True
Let b(y) = y**3 - 3*y**2 - 1. Suppose -3*z + 2 = 29. Let p be (9 - 2) + z + 6. Is b(p) a multiple of 15?
True
Suppose 2*b - 1278 = -4*g, 4*g = -5*b - 363 + 1638. Is 80 a factor of g?
True
Suppose -k + 3 = z - 2*z, -5*k = z - 9. Suppose -3*o = -k*o - 30. Is o a multiple of 13?
False
Suppose -29*w + 9848 = -34000. Is w a multiple of 72?
True
Let c(p) = -p**3 + 11*p**2 + 5*p - 8. Is c(6) a multiple of 20?
False
Let s(k) = k**3 + 5*k**2 + 5*k + 8. Let p be s(7). Suppose 2*l - 512 = -4*c, -5*c = 3*l - 5*l - p. Does 41 divide c?
False
Suppose 0 - 16 = 2*o. Let x = 12 + o. Suppose z - 281 = -2*j - 3*j, 2*j + x*z = 98. Does 19 divide j?
True
Let u(b) = b**2 - 20*b - 46. Let a be u(22). Is 24 a factor of (3/a)/((-21)/1372)?
False
Suppose 2*i - 5*g - 122 = 0, -5*i = -0*i + 5*g - 375. Does 2 divide i?
False
Let v(h) = 2*h + 2. Let n be v(3). Suppose 630 = n*s - s. Does 30 divide s?
True
Suppose 6*b + 2*b - 1936 = 0. Let j = b + -148. Is j a multiple of 7?
False
Let g(m) = 2*m**2 + 43*m + 270. Is 9 a factor of g(-26)?
True
Suppose -3*j + p = 5*p + 35, -20 = 4*p. Suppose 4*w - 52 = 2*y, 0 = 4*w - 1 - 11. Is ((-22)/j)/((-2)/y) a multiple of 22?
True
Let l = -113 - -455. Suppose -n - 5*n = -l. Is n a multiple of 47?
False
Suppose -4*m - d + 86 = -3*d, 3*m - d = 62. Let n(r) = r**3 + 13*r**2 - r + 28. Let k be n(-13). Suppose m = 4*w - k. Is 15 a factor of w?
True
Suppose -5*c - 11 = -86. Is 591/c + (-2)/(40/(-12)) a multiple of 2?
True
Let k(o) = -2*o**2 - 8*o + 2. Let a be k(-4). Suppose -2*p = a*p - 12. Is 2 a factor of p?
False
Suppose 0 = -f + 213 + 256. Is f a multiple of 15?
False
Let s(z) be the second derivative of -11/2*z**2 - 7/6*z**3 - 2*z + 0 + 1/12*z**4. Is s(9) a multiple of 4?
False
Let u(o) = -o**3 + o**2 + 2*o + 3. Let c be u(-2). Let a = c + 0. Is a a multiple of 11?
True
Let t(l) = -88*l. Let o be t(2). Let r = -259 - o. Let u = r - -119. Is 9 a factor of u?
True
Let h = 410 - 52. Is 61 a factor of h?
False
Let o(c) = -c - 1. Let a(m) = -3*m + 1. Let h(t) = -a(t) + 2*o(t). Let q be h(5). Is 134/3 - q/3 a multiple of 11?
True
Let n(t) = -t**3 - 13*t**2 + 17*t + 21. Let x be n(-14). Let i(l) = -l + 23. Is i(x) a multiple of 11?
True
Let x(f) = -f**2 + 3*f. Let y be x(3). Let r = y + -7. Let i = r + 10. Is 2 a factor of i?
False
Suppose -30 - 3 = -11*f. Suppose -f*l + 54 = -102. Does 13 divide l?
True
Suppose -507 = -44*r - 67. Does 10 divide r?
True
Let w(m) = 3*m - 10. Let x be w(5). Suppose 5*a = 2*u + 887, 4*a - x*u = 6*a - 349. Let v = a - 95. Is 20 a factor of v?
False
Suppose 0 = 2*t + 8, 7 = x + 5*t + 27. Suppose 17*s = -588 + 656. Suppose 4*n + s - 188 = x. Is n a multiple of 15?
False
Suppose 2*u + 2*p = 188, 0*p = 5*p + 25. Suppose -6*o + o + 352 = 4*q, 0 = -q - 4*o + u. Is 18 a factor of q?
False
Suppose 0 = -3*c - w + 17, 23 = 4*c - c + 4*w. Let i(q) = -q**3 + 5*q**2. Let x be i(c). Suppose -4*a - m - 51 = -173, x = 3*a - m - 88. Is 30 a factor of a?
True
Let u be ((-8)/(-12))/2*0. Suppose -2*b - 2*d - 19 + 61 = u, 2*b + d - 40 = 0. Does 18 divide b?
False
Let m(t) = t**2 + 15*t + 113. Is m(-26) a multiple of 3?
True
Let v(u) be the first derivative of -5*u**2/2 - 2*u - 1. Does 3 divide v(-5)?
False
Suppose -23 = -x - 21. Suppose -4*y + 0*y = x*v - 180, y + 2*v = 48. Is 6 a factor of y?
False
Suppose -4*j + 5*i = -3, 3*i + 2*i = -j + 7. Suppose 0*b + 5*b = -v + 297, -5*v + 105 = j*b. Is b a multiple of 26?
False
Suppose -5*s + 2*a = -2580, 4*a + 908 = 2*s - 108. Is s a multiple of 7?
True
Suppose 21*j - 24*j + 1122 = 0. Is j a multiple of 22?
True
Is 39 a factor of 1*3*(-53 - -170)?
True
Is 16 a factor of (5 - -2*27/(-30))*35?
True
Suppose -6*a + 7*a = -12. Let z(c) = c + 17. Let s be z(a). Suppose 2*r - 9 = h - 30, s*r + 12 = h. Does 8 divide h?
False
Let g(b) = -127*b - 2. Let s(d) = 4*d + 11. Let h be s(-3). Is g(h) a multiple of 27?
False
Suppose -4*j + 126 = -3362. Does 24 divide j?
False
Let g(z) = 2*z**3 - 2*z**2 - 3*z + 1. Suppose 4*y - 8*y - x + 14 = 0, -4*x = 5*y - 23. Suppose -2*h + 11 - y = 0, 3*i = -3*h + 21. Does 15 divide g(i)?
False
Suppose -2*b = 3*d + 2*d - 910, 0 = -5*d - 3*b + 905. Suppose p - 9*p = -d. Is 4 a factor of p?
False
Suppose -60*k + 3976 = -53*k. Does 71 divide k?
True
Let g = -3 - -6. Let c be 1 - -1*(4 - g). Suppose -3*m + 8 = c. Is m a multiple of 2?
True
Let i = -61 + 182. Is i a multiple