1 - (-698)/i?
True
Suppose 0 = o + 1, -30*r = -31*r + 2*o + 4458. Is r a multiple of 8?
True
Let y(f) be the second derivative of -f**4/6 - 11*f**3/3 + 11*f**2 + 73*f. Is y(-11) a multiple of 12?
False
Let k(i) = -i**3 + 12*i**2 - 34*i + 19. Let o be k(8). Let v be (4/2)/2 + 420. Suppose 3*u = -6 + 3, 4*j = -o*u + v. Does 12 divide j?
False
Suppose o = -5*o + 204. Suppose -14*f + o = -22. Is f a multiple of 4?
True
Suppose 5*l - u + 1920 = -3*u, -1152 = 3*l - 4*u. Let o = 606 + l. Is o a multiple of 44?
False
Suppose -3*p = 6*p - 756. Let z = p + -20. Let q = -50 + z. Is 13 a factor of q?
False
Suppose 79*p - 83*p = -20. Suppose 148 = 3*x - u, -5*u = -p*x - 2*u + 244. Is x a multiple of 2?
True
Suppose 4*m - 4*j - 924 = 0, -26*m + 447 = -24*m + 3*j. Is 6 a factor of m?
True
Let l = -214 - -449. Let s = 499 - l. Is 24 a factor of s?
True
Suppose 4 + 4 = -2*o, 2*g + 5*o + 6 = 0. Suppose 6*h - g*h = -2. Suppose h*t = 10 + 4. Is 7 a factor of t?
True
Let x(i) = 94*i - 157. Suppose -36*d + 564 - 96 = 0. Is 51 a factor of x(d)?
False
Suppose 0 = 3*s - 74 + 26. Suppose s*x - 1411 = 4045. Is 5 a factor of x?
False
Let o = 26 - 24. Suppose 0 = 4*a + 5*a - 2*a. Suppose j + 587 = 5*w - j, -4*w - o*j + 484 = a. Is 28 a factor of w?
False
Let g be 12/(-9)*(-27)/18. Suppose -3*i + 171 = 3*b, g*b = 5*b + 4*i - 168. Is b a multiple of 12?
True
Suppose -39*i + 68 = -35*i. Suppose 392 = 31*d - i*d. Is d a multiple of 7?
True
Suppose -i = -4*g - 203, -2*g = 59*i - 54*i - 1125. Is 16 a factor of i?
False
Suppose 4*i = k + 6 - 5, i = 2. Let x = k + 100. Does 2 divide x?
False
Suppose -5*c - 236 - 224 = 0. Let n = -53 - c. Let l = n + 5. Is 3 a factor of l?
False
Let t be 3 + -4 + (-1 - 0). Let h be (t/(-4) - (-148)/8)*-5. Does 8 divide (-114)/h*(-160)/(-3)?
True
Suppose 0 = -14*a + 14635 + 4055. Let d = 3573 - a. Suppose d - 414 = 19*l. Is 25 a factor of l?
False
Suppose 72 = -w + 74. Suppose 3*j - 41 = -2*h + 6, -3*j - 17 = -w*h. Suppose -2*l - 1484 = -h*l. Does 17 divide l?
False
Let v be (-6)/(-2)*(48/9 + -3). Let b be (-189)/(-24) + v/56. Suppose -1084 = -b*s + 924. Does 33 divide s?
False
Suppose 0 = -30*i - 11*i + 17097. Is i a multiple of 3?
True
Let i(p) = -3*p**3 + 126*p**2 - 50*p - 520. Is 44 a factor of i(38)?
False
Let p be 2622 + 0 + (-4 - 0). Suppose -13*n = 4*n - p. Is 10 a factor of n?
False
Suppose 2*g - 24 = -4*g. Suppose -903 = -3*p - 3*z, 0 = 8*p - 3*p + g*z - 1505. Is p a multiple of 11?
False
Let q = 40503 - 24342. Does 73 divide q?
False
Let h(i) = -i**3 - 10*i**2 + 9*i + 14. Let s be h(-13). Suppose 4*k - s = -5*x + 574, k = 5*x - 993. Let d = -120 + x. Is 10 a factor of d?
False
Let h be 0 + 2/3 - (-2508)/(-171). Let f = 102 - h. Does 3 divide f?
False
Let u = 5393 - 2797. Is 59 a factor of u?
True
Let y(w) = 2*w**3 - 5*w**2 - 32*w - 53. Does 30 divide y(14)?
False
Let g(o) = o**2 - 19*o + 85. Let d be g(12). Does 15 divide (7 + (-899)/2)*-2*d?
True
Let j(d) = -d**2 - 27*d + 5048. Is 106 a factor of j(0)?
False
Is 33 a factor of (-5 - (-80235)/10) + 38/(-76)?
False
Is (-19782)/(-22) - -1 - -7*2/(-77) a multiple of 3?
True
Let l be (-4)/((-4)/(-5)) + 0/4 + 2. Let t(o) = -44*o + 15. Let j(g) = -22*g + 7. Let v(q) = 7*j(q) - 3*t(q). Is 14 a factor of v(l)?
True
Let y(l) = 20*l**2 + 2*l - 1. Let o(q) = 2*q**3 - 2*q**2 + 1. Let p be o(1). Let u be y(p). Let s = u - -19. Is s a multiple of 8?
True
Does 43 divide 5/(-65) - (-210756)/169?
True
Let y(h) = -5620*h - 1031. Is y(-3) a multiple of 33?
False
Suppose 78*w - 49*w - 247380 = -76*w. Does 31 divide w?
True
Let i(k) = -55*k + 60. Is 19 a factor of i(-23)?
False
Suppose -4*a = -4*a + 3*a. Suppose 0 = -4*q - a. Is 6 a factor of 2 + -3 + 27 - q/(-2)?
False
Let w be (-7)/1 + (-1785)/7. Let a = 418 - w. Does 68 divide a?
True
Let a = -34384 - -58305. Is a a multiple of 19?
True
Let k = 17122 - 9847. Does 75 divide k?
True
Let r(j) = 88*j**3 + 13*j - 30. Is r(6) a multiple of 75?
False
Let b(h) = 4*h**3 - 2*h**2 + 15. Let m be b(2). Let w(p) = p**2 + 3*p - 353. Is w(m) a multiple of 15?
False
Let s = 13692 - 9496. Suppose 907*b - s = 903*b. Does 16 divide b?
False
Let r(h) = 302*h**3 - 2*h**2 + h + 2. Let t be (-76)/(-32) + -2 + 25/40. Is r(t) a multiple of 12?
False
Suppose -30*i + 107577 = -590823. Is 6 a factor of i?
True
Let n be (-1 + 0)*-4 + 1. Let p(l) = -14*l**3 + 2*l**2 + 44*l + 121. Let z be p(-3). Suppose 0 = n*h + 6*h - z. Is h a multiple of 27?
False
Suppose -2*i - 1867 = -5*b, -5*i - 355 = -6*b + 5*b. Does 3 divide b?
True
Let v(j) = -j**2 + 20*j + 6. Let i be v(11). Suppose -2*g - i = 9. Let w = g + 97. Is w a multiple of 10?
True
Let a(x) = -x**2 + 7*x + 24. Suppose -4*s + 64 = 5*g, -3*g + 7 = 4*s - 33. Let y be a(g). Does 14 divide 1648/36 - 8/y*1?
False
Let q = -30 - -47. Suppose q*i - 21*i + 324 = 0. Does 9 divide i?
True
Let h be (25/(-15)*1*3)/(-1). Suppose -2*q = 2*q - 260. Suppose -4*k - 90 - q = -h*p, -2*p = 4*k - 34. Does 9 divide p?
True
Let c(t) = 3*t + 21. Let l be 0 + -3 + (-5 - -6). Let n(j) = 7*j + 42. Let x(w) = l*n(w) + 5*c(w). Does 18 divide x(10)?
False
Let n be (-4)/10 - (-176)/40. Suppose -14 - 14 = -u - n*o, -u = -2*o - 16. Is 4 a factor of u?
True
Suppose -361*n + 6231 - 2451 = -360*n. Does 70 divide n?
True
Let r = -7 + 12. Let i(c) = -3*c + 121. Does 22 divide i(r)?
False
Let p(m) = 401*m + 110. Let y be p(-2). Let u = y - -1357. Does 27 divide u?
False
Let r(m) = -5*m**3 - 9*m**2 - 18*m + 14. Let h(w) = 14*w**3 + 28*w**2 + 53*w - 42. Let l(f) = 4*h(f) + 11*r(f). Does 20 divide l(-11)?
False
Is 8 a factor of (-75)/15*(-6232)/40?
False
Let u(n) = -168*n**2 + 4*n - 5. Let l be (-32 - -32) + -1 + 0 + 3. Let t be u(l). Is (4/12)/(-1 - 670/t) a multiple of 25?
False
Let j(b) = 5*b - 268. Let n be j(37). Let l = n + 213. Is 6 a factor of l?
False
Suppose -3*j + 4*t + 946 = -2664, 1235 = j + 5*t. Is j a multiple of 55?
True
Let m(g) = -3*g**3 + 5*g**2 - g + 7. Let s be m(5). Let v = -189 - s. Is 17 a factor of v?
False
Suppose 4*y + 28 = 2*p, -4*p = -4*y - 49 + 5. Suppose 1187 = p*t - 493. Does 42 divide t?
True
Let k = -256 + 248. Is (-3740)/k - 6/(-12) a multiple of 12?
True
Suppose 3*f = -13 + 4. Let b be f/6*(-47 - -1). Suppose -b = -2*i + 43. Is i a multiple of 11?
True
Let f(y) be the third derivative of 7*y**5/30 - 11*y**4/24 + 7*y**3 - 2*y**2 - 4*y. Does 62 divide f(3)?
False
Let a(q) = q**3 - q**2 - q + 1. Suppose 0 = -4*j + 6 - 10. Let l be a(j). Let i(z) = -z**3 + z**2 + z + 43. Does 7 divide i(l)?
False
Suppose -4*l - 2 = 2*n, n = -0*n + l - 1. Does 12 divide ((-323 - n) + -2)*-1?
True
Let p(k) = -3*k**2 - 67*k - 55. Let q(d) = -5*d**2 - 101*d - 82. Let g(x) = -8*p(x) + 5*q(x). Let h be g(27). Suppose h = 3*v - 519. Is 11 a factor of v?
False
Is 3318 - (-5 - (11 + -7 + -7)) a multiple of 83?
True
Let s(i) = i**2 + 9*i - 16. Suppose 3*y = -5*z - 2*y - 70, -2*z - y = 25. Let a be s(z). Does 31 divide 12/(-18) - (-820)/a?
False
Suppose 57 = 2*t - t. Suppose 351 - t = 3*b. Suppose -99*p = -b*p - 85. Does 15 divide p?
False
Is 20 a factor of (4 - 42)*3670/(-20)?
False
Let l(y) be the first derivative of 3*y**3 - 7*y**2/2 - 5*y + 99. Suppose p = -5*q - 16, 5*q + 4*p + 4 = -15. Is 13 a factor of l(q)?
False
Suppose -7 = -k + 26. Let l = 3 - k. Does 23 divide 1380/18*(l/(-4))/5?
True
Let u be ((-54)/(-15))/((1/1040)/1). Suppose -4*v - 9*v = -u. Does 9 divide v?
True
Let a(j) = -5*j + 275. Let b be a(52). Let z(x) be the third derivative of x**6/120 - x**5/5 - 17*x**4/12 - 11*x**3/3 - 7*x**2. Is z(b) a multiple of 13?
True
Let m = 70 - 68. Suppose -4*y + 1055 = a, 6*a - m*a = -3*y + 801. Does 30 divide y?
False
Let d = -287 - -292. Suppose 4*m = 2*m + 5*l + 1545, 0 = -2*m - 4*l + 1518. Suppose -5*t + 3*o + 760 = -o, -d*t + 3*o = -m. Does 13 divide t?
True
Suppose 40976 = 5*y + 3*p, -3*y = -2*p - 24707 + 148. Is y a multiple of 38?
False
Let k(t) be the third derivative of -t**5/60 - 41*t**4/24 - 2*t**3 - 54*t**2. Does 21 divide k(-26)?
True
Suppose 6*i - k - 22866 = 45338, 0 = -3*i - 2*k + 34112. Is 30 a factor of i?
False
Suppose 4*x - 7182 + 1722 = -2*t, -3*t + 8183 = -x. Is 31 a factor of t?
True
Let y(s) = -s**3 - 6*s**2 + 8*s + 20. Let g(a) = 36*a. Let f be g(1). Let n be 122/(-18) + f/(-162). Is 7 a factor of y(n)?
False
Let y(c) = c**3 + 11*c**2 - 20