Let q be (-3)/(-2)*2*1. Is m(q) a multiple of 31?
True
Let q = -457 + 464. Suppose 3*m - 30 = -4*i, -4*i + 3*i + q = m. Does 2 divide i?
False
Let x(m) = m**3 + 22*m**2 - 47*m + 29. Let a be x(-24). Is 8 + -17 - -704 - a a multiple of 17?
False
Let j(u) = 197*u**3 + 2*u**2 + 25*u - 84. Is 167 a factor of j(5)?
True
Let a = -66 - -62. Let g be 2 + a/(-8)*4. Suppose 2*v - 209 - 251 = -2*r, -v + g*r + 240 = 0. Does 45 divide v?
False
Let i = -730 - -982. Let g(d) = 131*d**2 - 2*d - 1. Let j be g(-1). Let q = i - j. Is q a multiple of 31?
False
Suppose 475 = 6*t + 175. Suppose 0*f + 5*f = t. Suppose -30*p = -32*p + f. Is p even?
False
Let w be (1 + -2)*13*(-4 + -165). Suppose w = -8*f + 5365. Does 33 divide f?
True
Suppose -5*q = 4*w - 2*w - 10250, w = 4*q - 8187. Suppose q = 18*f - 1516. Is 9 a factor of f?
True
Let z be 1232/(-10) + 3 + (-57)/15. Let y = z - -135. Is 2 a factor of y?
False
Suppose 7933 = 3*o + 2*q, -3*o + 27*q + 7930 = 32*q. Let f = o - 1163. Does 19 divide f?
True
Let z = -119 + 135. Let y be 9/(-12) + 1 + 764/z. Suppose -y*j - 375 = -51*j. Is j a multiple of 25?
True
Suppose 3*t - 2*t - 483 = -5*u, 3*u - 12 = 0. Suppose -2*m - p + t = 0, 38 = -m - 2*p + 274. Is m a multiple of 24?
False
Is (-1)/5*6*(58 - 9623) a multiple of 62?
False
Let y = 31 - 29. Suppose 1 + y = t. Suppose 5*d = 3*m - 17, 4*d = m - t*m + 26. Is m a multiple of 2?
False
Suppose -7 = -4*k - 27. Let c(w) be the second derivative of w**4/6 - w**3/2 - 10*w**2 - 604*w - 2. Is 9 a factor of c(k)?
True
Let d = 204 + -742. Let u = d - -1030. Is 17 a factor of u?
False
Let j(f) = f**3 - 6*f**2 - 6*f - 3. Let b be j(7). Suppose -2*c - b*p = -200 - 66, 5*c - 635 = -4*p. Let n = 260 - c. Does 14 divide n?
False
Suppose -p = -5*b + 13094, 0 = 2*b - 12*p + 11*p - 5240. Is 4 a factor of b?
False
Let u = -22561 - -65617. Is u a multiple of 36?
True
Let w = -4865 + 20511. Does 33 divide w?
False
Suppose w - 3*x = 4730, 4*w + 2983 - 21935 = 4*x. Is 32 a factor of w?
False
Let c = -46 - -17. Let l = c - -31. Does 12 divide 13/l*(-4 + 8)?
False
Let h(i) be the first derivative of i**3 + i**2 - 14*i + 12. Suppose 3*x = -x + 20. Is 9 a factor of h(x)?
False
Suppose -u + 5*n - 2 = 3, 5*u - 35 = -5*n. Suppose u*f - 1848 = -38. Does 3 divide f/12 - (-1 + (-7)/(-6))?
True
Let j(a) be the second derivative of a**5/60 + a**4/8 - 5*a**3/3 - 7*a**2/2 + 13*a. Let t(n) be the first derivative of j(n). Is t(-9) a multiple of 44?
True
Let b be (-30)/4*(-16)/36*3. Suppose 0 = -21*y + b*y + 3256. Is 37 a factor of y?
True
Let t(q) = -1 + 14*q - 16*q + 75*q**2 + 35*q**2. Does 6 divide t(1)?
False
Suppose k = -4 + 21. Let y(l) = -l**2 + 14*l + 32. Let r(u) = 2*u**2 - 27*u - 65. Let v(j) = 4*r(j) + 9*y(j). Is 11 a factor of v(k)?
False
Let i = 3492 + 15166. Does 43 divide i?
False
Suppose h + 2*s - 113 = 0, -2*h + 250 = 5*s - 9*s. Suppose 5*x - 4*b = 430, 2*x + b = h + 40. Does 11 divide x?
False
Let y(x) = 27*x**2 - 129*x - 3350. Is y(-31) a multiple of 9?
False
Let v(x) = -x**3 - x**2 + x + 2. Let h be v(-2). Let s(i) = 2*i**2 - 68*i + 69. Let y be s(1). Is y/h + 21/4 a multiple of 3?
True
Let j(k) = -141*k - 94. Let m be j(-3). Is 4 - -6*m/14 a multiple of 28?
False
Suppose 129 = -y - 212. Let j = 227 + y. Let p = -75 - j. Is 6 a factor of p?
False
Suppose -3*f + 8*f = -3*t + 2537, -3*f + 3 = 0. Does 120 divide t?
False
Suppose 0 = -4*h + 2*l + 256, 3*l = -5*h + 323 + 8. Let d be 1/(265/h - 4). Let w(b) = -b**3 + 12*b**2 + 14*b + 14. Is 27 a factor of w(d)?
True
Let o = 163 - 163. Suppose 4*c + 2*c - 804 = o. Is c a multiple of 16?
False
Let x(p) be the third derivative of 22*p**5/15 - 31*p**2. Is 44 a factor of x(1)?
True
Suppose -4*y - 42 = -7*y. Let s(u) = 23*u**2 + 26*u + 14. Let m(v) = 27*v**2 + 28*v + 15. Let k(a) = -6*m(a) + 7*s(a). Is k(y) a multiple of 8?
True
Let a = 8 - 4. Let i(l) = 59*l - 523. Let k be i(11). Is 2 + (-7)/14 + k/a a multiple of 7?
False
Let j be 4 - (15 + -15)*(-1)/(-3). Suppose j*z - 1560 = -11*z. Is 3 a factor of z?
False
Suppose -32*a = -0 - 0. Is 4 + a + 1 + 151 a multiple of 5?
False
Let g = -420 + 596. Does 25 divide (g/(-40))/((-2)/80)?
False
Is 38/(-57) - (-40415)/3 a multiple of 94?
False
Let r = 102 - 95. Let p(j) = 263*j - 244. Is 39 a factor of p(r)?
False
Let l(o) = -4*o**2 - 9*o. Let n(i) = -3*i**2 + 2*i. Let v be n(-1). Let s(r) = 9*r**2 + 18*r. Let q(d) = v*l(d) - 2*s(d). Is 14 a factor of q(6)?
True
Let y(s) = 52*s + 1863. Does 69 divide y(0)?
True
Let z be 15/6*(-1 + 3) - 2. Suppose 1019 = z*c - 298. Is c a multiple of 81?
False
Let o = 4790 + -4260. Is o even?
True
Let i = 4975 - -15596. Is 110 a factor of i?
False
Let h(a) be the third derivative of -a**6/60 - a**5/3 - 3*a**4/8 + 4*a**3 + 84*a**2. Is h(-11) a multiple of 21?
False
Let n = 24358 + -19417. Does 6 divide n?
False
Suppose 0 = -g + 8, d + 9*g = 13*g + 1115. Is 111 a factor of d?
False
Suppose 0 = -4*b + 52 + 12. Let y be (1*b)/(5 + -3). Suppose 0 = -11*q + y*q + 102. Does 17 divide q?
True
Let c(p) = 232*p**2 - 21*p - 94. Is c(7) a multiple of 209?
False
Let o(g) = -g**3 - 6*g + 2229. Let f be o(0). Suppose 7*h = 2*x + 2*h - f, -3316 = -3*x + 2*h. Is 10 a factor of x?
False
Let p = -1 + 5. Suppose 0 = 5*k + p*b - 25, 5*k = 3*b + b + 25. Suppose -n - k*x - 5 = 0, -x + 0*x = 5*n - 71. Is n a multiple of 15?
True
Is 3 + -7 + 31960/10 a multiple of 6?
True
Suppose 2*g = -3*q + 47, -33 = -q - q - 3*g. Suppose -3*y + 27 = q. Suppose 3*l + u - 117 = 6*u, -y*l = u - 156. Does 13 divide l?
True
Suppose -16*n - 7698 - 2811 = -47*n. Is 3 a factor of n?
True
Let m be 23/46 + 5/2. Suppose 0 = h - 2*p - 66, m*h - 2*p - 144 = 66. Is 6 a factor of h?
True
Suppose -65 = -0*p - 5*p. Suppose -u - 12 = -p*u. Let h = u - -38. Does 17 divide h?
False
Let c = 546 - 339. Let f = c - 91. Does 29 divide f?
True
Let p be (10 + 29/(-3))/((-2)/12). Is 481 - (-10 + (7 - p)) a multiple of 18?
False
Let c = -189 + 197. Suppose -c*n = -21*n + 3510. Is 18 a factor of n?
True
Let x = 11026 - 10034. Is x a multiple of 62?
True
Let o(m) = m**3 - 23*m**2 - 19*m - 45. Let z be o(24). Is ((-2)/3)/((-5)/z) a multiple of 10?
True
Suppose -5*v + 694 = -3476. Suppose 15*t + 4884 - v = 0. Let z = t - -402. Is 15 a factor of z?
False
Let u(h) = 1054 - h**2 + 48*h - 10*h**3 + 11*h**3 - 47*h. Does 17 divide u(0)?
True
Let d = 470 + -104. Suppose -8*o = d - 1902. Is 24 a factor of o?
True
Let c(t) = 36*t**2 + 41*t - 130. Does 13 divide c(18)?
True
Let j be 1380/3 - (1 - 1). Suppose -5*l + m + 10 = -3*m, 0 = 4*l - 2*m - 14. Is j/l - (-44)/(-66) a multiple of 14?
False
Let d(v) be the first derivative of 71*v**3/3 - 16*v**2 - 60*v + 138. Is d(-2) a multiple of 12?
True
Suppose 3*b - r + 8 = 0, 2*r = b - 6*b - 17. Let z = -430 + 435. Does 6 divide b/z - 186/(-10)?
True
Let s(f) = -2*f + 29. Let l be s(13). Suppose 0 = -10*p + l*p + 203. Let x = p - -7. Is 36 a factor of x?
True
Let w(m) = -3*m**3 + 2*m**2 + 4*m - 1. Let s be w(4). Suppose f + 2 = d, -7*f + 3*d = -3*f + 10. Is 32 a factor of (-59 + -1)/(f - s/40)?
True
Let b = 10981 - -230. Is 101 a factor of b?
True
Let o be ((-14)/(-8))/(8/(-5760)*-6). Let v = o - 122. Does 11 divide v?
True
Let o(t) = -t**3 + 18*t**2 - 15*t - 34. Let a be o(17). Suppose a = 3*r - 244 - 197. Does 3 divide r?
True
Suppose -5*j = 120 - 350. Let a = -15 + j. Suppose -5*u - 2*s = -81 - a, -3*s + 108 = 5*u. Is u a multiple of 3?
True
Suppose -5*z - 129 = -139. Suppose 5*s + 282 = z*c, 3*c + 3*s - 2*s = 406. Is c a multiple of 33?
False
Suppose 2*l = -3*n + 118794, -5*n + 113543 = 5*l - 183432. Is l a multiple of 16?
False
Let w(n) = -38*n - 83*n + 154*n - 101*n - 7. Suppose -5*b - 4*d = 14, -12 = 7*b - 3*b + 4*d. Is w(b) a multiple of 43?
True
Suppose 6*a - 16*a + 1120 = 0. Suppose 0 = i - p - a, -3*p - 5 = -17. Is 29 a factor of i?
True
Let i(w) be the second derivative of 28*w**3/3 + 7*w**2 - 248*w. Does 7 divide i(8)?
True
Let a(m) = 6*m**2 - 57*m + 11. Let h be a(9). Let s = -33 + h. Is 0/16 - ((-1 - -1) + s) a multiple of 5?
False
Suppose -i - 3 = 3*p, -3*p + 35 = 4*i + 11. Let o be -4 + (-4 - 1) + i. Suppose -2*s - 169 + 617 = o. Is s a multiple of 18?
False
Let u = 27583 - 3700. Is u a multiple of 70?
False
Let x = -10588 - -25246. Is x a multiple of 42?
True
Let m(v) be the first derivative 