 -3*i - 8, 5*i = -k + 2. Suppose 0*d + 145 = 3*c - d, 3*c + k*d = 160. Is c a multiple of 25?
True
Let k be (-16)/(-7) - (-2)/(-7). Suppose 35 = 3*x + 2*x. Suppose -k*d - 95 = -x*d. Is d a multiple of 7?
False
Let v(b) = 49*b + 44. Is 13 a factor of v(6)?
True
Let l = 2540 - 332. Is l a multiple of 92?
True
Let j be (3 - -7)*(24/15 - 1). Suppose -j*l + 213 = -387. Is l a multiple of 17?
False
Let t(x) be the second derivative of -x**4/12 + 11*x**3/3 + 19*x**2 + 7*x. Is t(20) a multiple of 31?
False
Let o = -36 - -106. Suppose 2*g - 2*u = o, -2*g + 5*u = 2*u - 70. Is 7 a factor of g?
True
Let a = -189 - -784. Does 58 divide a?
False
Let g(i) = -12*i**2 - 46*i - 5. Let z be g(-20). Is 6/4 - z/42 a multiple of 17?
False
Let n(w) = 8*w**2 + 11*w - 18. Is n(-9) a multiple of 28?
False
Let t(p) = -2*p**2 + 27*p - 3. Does 10 divide t(13)?
True
Let u be 20/3 + (-12)/(-9). Let j be (-43)/(-8) + (-3)/u. Suppose 2*h = j*h - 99. Is h a multiple of 11?
True
Suppose 3*t = 3*v - 1857, 5*v = -4*t - 1153 + 4293. Is v a multiple of 12?
True
Is 11 a factor of 2/6 - 25256/(-66)?
False
Let y(j) = 6*j + 3 - 41*j + 8*j + 13*j + 8*j. Let a = 11 + -16. Is y(a) a multiple of 17?
False
Let t(c) = -c + 9. Let z be t(6). Suppose 4*b = -q + 65, 5*q - b - 175 - 108 = 0. Suppose -2*r = z*f - 88, 2*f - 2*r + 3*r = q. Is 5 a factor of f?
False
Suppose 31*y = 21*y + 1300. Does 52 divide y?
False
Suppose 3*x - 2081 = -2*x + 4*g, 4*x - 3*g - 1664 = 0. Suppose -29 - 94 = -q + 3*d, 2*d - x = -3*q. Does 27 divide q?
True
Let v(t) be the third derivative of 0 - 1/120*t**6 + 0*t**3 - 1/15*t**5 + 0*t - 1/6*t**4 + 3*t**2. Is v(-4) a multiple of 16?
True
Let a(w) = w**3 + 2*w**2 + w - 1. Let p(g) = 5*g**3 + 3*g**2 - g - 17. Let o(x) = 4*a(x) - p(x). Let s be 2 + -1 - (-1 - 4). Is o(s) a multiple of 4?
False
Suppose -5*o = -6*o + 4. Suppose 4*f + 122 = 2*s, -o*s + 9*s - 290 = 5*f. Does 11 divide s?
True
Let r = -86 + 141. Is r a multiple of 3?
False
Suppose 79 + 57 = 2*q. Is q a multiple of 56?
False
Let c(t) = t**2 + 10*t + 15. Let s be c(-8). Is 2 + s + -2 + 7 a multiple of 2?
True
Let w = -211 - -397. Is w a multiple of 21?
False
Let l = -10 + 5. Let d(o) = -o**3 - 5*o**2 - o + 2. Is d(l) a multiple of 7?
True
Suppose 2*z + 658 = 3*q, -3*z + 2*z + 1 = 0. Is q a multiple of 22?
True
Suppose 0 = 3*b - 430 - 95. Let u = b + -77. Is 14 a factor of u?
True
Does 52 divide 21/70 + 2828/40?
False
Let w(a) = 10*a**2 - 13*a + 123. Is 58 a factor of w(7)?
True
Let g(q) = -q**3 - 3*q**2 + 4*q + 4. Let c be g(-3). Let k(i) = -i**3 - 7*i**2 + 6*i - 1. Is 3 a factor of k(c)?
True
Suppose -35 = -q - q + 5*a, -4*a = 2*q + 10. Suppose 147 = q*m - 143. Let y = m + -1. Does 19 divide y?
True
Let d = -11 - -16. Suppose -5*z - d*r - 10 = 0, 4*r - 4 = -z - 0. Is (-12)/z + (7 - 0) a multiple of 5?
True
Let n(d) = 11*d - 36. Is 66 a factor of n(19)?
False
Suppose -3*j + 0*j = -4*a + 11670, 5*a = 2*j + 14584. Is 9 a factor of a/405*(-1)/(4/(-10))?
True
Suppose 10*q + 6000 = 15*q. Suppose q = 15*g - 7*g. Does 50 divide g?
True
Is ((-4596)/9)/(-1*7/21) a multiple of 25?
False
Let a(q) = -q**2 - q. Suppose 6*t - 2*t + 4 = 0. Let y(c) = c**2 - 9*c + 18. Let i(x) = t*y(x) - 2*a(x). Does 16 divide i(-14)?
False
Suppose -24 = 3*x - 4*w, -x + 4*w - w = 13. Suppose -3*t + q - 6*q + 325 = 0, 0 = 4*t + 4*q - 444. Let d = x + t. Is 28 a factor of d?
False
Let x(w) = -w**3 - 16*w**2 - 17*w - 2. Let c(t) = t**2 - t. Let n(z) = 2*z**2 - 6*z - 3. Let u(r) = -4*c(r) + n(r). Let k be u(-3). Does 28 divide x(k)?
True
Let g(a) = a**3 + 6*a**2 + 4*a - 1. Let k be g(-4). Let y(n) = -n + 24. Let o be y(k). Suppose -5*i = -5*j + 45, -j - j - i = -o. Does 6 divide j?
True
Let w(i) = 2*i**2 + 3*i**2 - 4*i - 286*i**3 + 285*i**3 + 5. Is w(4) a multiple of 4?
False
Let g(h) = -h**3 + 4*h**2 + 7*h - 6. Let t be g(5). Suppose -t = 3*o + o, 5*o = 4*i - 9. Is 3 a factor of 2 + i - 0/1?
True
Suppose 0 = -d - 5 + 12. Suppose d*t - 344 = 3*t. Does 12 divide t?
False
Let k be (-5159)/4 + 14/(-56). Is 19 a factor of ((-1)/3)/(5/k)?
False
Suppose 2*x + 3642 = 2*y, -4*y = 8*x - 4*x - 7268. Is y a multiple of 17?
True
Suppose -14*v + d = -10*v - 1607, -2*v + d + 801 = 0. Is 21 a factor of v?
False
Does 13 divide 148*(1 + 0)*3/4?
False
Let y(l) = 2*l**2 - 11*l + 8. Let n be y(5). Is 4/(4/n) - -13 even?
True
Let l = -63 - -161. Suppose -2*g = -0*g - l. Suppose -132 = -3*k - 2*i, 2*k + 5*i = g + 39. Is k a multiple of 10?
False
Let d = -3 - -55. Is 37 a factor of d?
False
Suppose -15 = 3*u + 9. Let x(h) = -3*h - 17. Let o be x(-7). Is 87/o - 2/u a multiple of 8?
False
Let a = -785 + 1127. Does 9 divide a?
True
Let v = 2 - -2. Let p be (-4191)/(-27) + v/(-18). Let q = -69 + p. Is q a multiple of 23?
False
Let c be 72/90*205/2. Let r = -32 + c. Is r a multiple of 10?
True
Let x = -4 + 3. Let g be 7 + -11 + x*3. Does 18 divide (-63)/(-18)*(-36)/g?
True
Let u = 9 + -7. Let m(b) = 10*b**2 - 4*b + 1. Let k(t) = -t**2 - t. Let n(r) = -2*k(r) + m(r). Is n(u) a multiple of 16?
False
Let m be (12/5)/(2/(-15)). Is 4 a factor of (-156)/m - (-4)/(-6)?
True
Let r = -116 - -173. Is 6 a factor of r - -6*(-3)/6?
True
Let f be ((-97)/(-4))/((-2)/8). Let g = 11 - f. Does 26 divide g?
False
Let z = 5 - 25. Does 16 divide ((-10)/z)/((-2)/(-448))?
True
Let a be (-4041)/(-36) - (-2)/(-8). Suppose -a = -f - 0*f. Is f a multiple of 16?
True
Let m = 1 + 4. Suppose -o - k = -m, -o + 0 = 4*k - 14. Suppose 7 = u + o. Does 3 divide u?
False
Let s(o) = o**2 - 14*o + 22. Does 22 divide s(-8)?
True
Let v(h) = 63*h - 1. Let y be v(1). Suppose -4*u + 81 = -3*r, 0 = 3*u - r - r - y. Is u a multiple of 8?
True
Let m = -626 - -1066. Is 20 a factor of m?
True
Let q(l) = 12 - 5*l**3 - 10*l**2 + 6*l**3 + 7*l + 0*l**3 - l. Does 8 divide q(10)?
True
Suppose -804 = -5*a + 3*a. Suppose d = 7*d + a. Let n = d + 102. Is 7 a factor of n?
True
Suppose 0 = -221*v + 219*v + 464. Does 8 divide v?
True
Let k(q) = -q**3 + 8*q**2 - 6*q - 3. Let o(x) = x**3 + 14*x**2 + 13*x - 1. Let a be o(-13). Let m be ((0 - 5)/1)/a. Is k(m) a multiple of 12?
False
Let f(m) = m. Let o be f(-6). Let v = 11 + o. Suppose v + 4 = s. Does 5 divide s?
False
Let h = 41 - 62. Let n = h - -42. Suppose n = 3*a - 3*t, -7*t + 3*t = -4. Is 5 a factor of a?
False
Suppose 3*j - 5*f + 277 = 0, -3*f + 4*f + 176 = -2*j. Let t = j - -128. Is t a multiple of 6?
False
Suppose -2*p - 21 = -4*k - k, 17 = 3*k + p. Suppose 3*a - 85 = -k*s, 5*a + 2*s - 114 = 34. Does 10 divide a?
True
Does 35 divide (-37184)/70*(-5)/(-2)*-1?
False
Let x = -127 - -4623. Let l be x/30 + 4/30. Suppose 3*m - 3*c - l = 0, -3*m + 5*m - 4*c = 98. Is m a multiple of 17?
True
Is 2 + 239 + 4*1 a multiple of 8?
False
Let z be 3 + (3 - 0) + 2. Suppose r = 4*k - 175, 3*r - z*r = -k + 20. Suppose y + k = 2*y. Does 15 divide y?
True
Let v(f) = 4*f**2 - 14*f - 25. Let m be v(13). Let k = 693 - m. Is k a multiple of 16?
True
Suppose -1113 = 3*y + 4*o, -2*y + 7*y - 4*o + 1855 = 0. Let k = 546 + y. Is 28 a factor of k?
False
Let c be 2/4*(-3 - -31). Let r(l) = 3*l - 11. Does 5 divide r(c)?
False
Does 28 divide 4/9 - 95988/(-54)?
False
Let n = -377 + 477. Is 4 a factor of n?
True
Let n be 1 + (-9)/12 + 490/(-8). Let v = n + 85. Is 12 a factor of v?
True
Let d = 75 + -93. Let c = 48 - d. Does 6 divide c?
True
Let s = 21 + -13. Let n = -140 - -230. Suppose -3*x - n = -s*x. Is x a multiple of 9?
True
Let c(t) = t**2 + 10*t - 7. Let v(u) be the third derivative of u**5/60 - u**4/3 + u**3/2 - u**2. Let r be v(5). Does 14 divide c(r)?
False
Suppose -330 = -3*x + 3. Let z = x - -85. Does 28 divide z?
True
Let d be (-14)/63 + (-38)/(-9). Let o = d - 7. Is o*12/(-1 - 0) a multiple of 18?
True
Suppose 52 = 3*x - 23. Suppose -y + x = 3*c, 3*y + 2*c - 12 = 35. Does 13 divide y?
True
Does 15 divide (-772)/(-3) - 13*154/858?
True
Let h = 37 + -23. Let y = 62 + h. Is 16 a factor of y?
False
Let c = 23 + -23. Suppose c = j - 4*j + 207. Suppose k = 4*f + j, -2*f + 121 = 3*k - 72. Is k a multiple of 11?
False
Let z(a) = 5*a**3 + 10*a**2 - 82*a + 17. Is z(7) a multiple of 103?
True
Suppose 0 = -5*v + i + 16, v - i - 8 = -2*i. Suppose -t + v*c = -2*t + 29, -4*c = -4*t + 76. Is t a multiple of 15?
False
Let h(k) = 257*k**2 + 3*k + 5. Is h(-2) a multiple of 79?
True
Let c be 1/(-2)*(3 - 3). Suppose 4*o