ivide -2 - 80/(-32)*o/10?
True
Let q(p) = -136 + 19*p - p**2 + 135 + 5*p**2 - 5*p**2. Is q(15) a multiple of 8?
False
Let m(q) be the second derivative of -q**5/20 - 5*q**4/3 - 9*q**3/2 - 12*q**2 + 141*q. Is 8 a factor of m(-19)?
True
Suppose 0 = -2*x - 2*k + 1550, -37*k = x - 38*k - 785. Does 5 divide x?
True
Suppose -2*g = -2*r - 8932, -7*r = 2*g - 4*r - 8927. Is g a multiple of 35?
False
Let u(y) = -5*y - 23. Let g be (-2 - 0)/2 - (-49)/(-7). Does 6 divide u(g)?
False
Is 112 a factor of -1 - 225168/(-30) - (-9)/(-15)?
True
Suppose -9*i + 3311 = -7*i - 5*b, -4*i = b - 6611. Is 9/12 - (i/(-4))/1 a multiple of 69?
True
Let m = -369 - -372. Let p be ((-7)/7)/((-2)/10). Suppose x - 48 = -p*h, -148 = -5*x + h - m*h. Is x a multiple of 9?
False
Suppose -4*h + 2288 = 4*u, 34*h = 2*u + 32*h - 1128. Is u a multiple of 8?
True
Let z = -1487 - -1583. Does 8 divide z?
True
Let q(c) = -c**3 - 5*c**2 - 10*c - 7. Let p be q(-4). Suppose -o = 2*z - p, -24 = -2*o - z - z. Suppose -o*j = 25 - 74. Is j a multiple of 2?
False
Suppose -18*p - 21925 = 7*p. Let t = 1625 + p. Does 17 divide t?
True
Let m be 1*(4 - (0 - -1)). Let n(z) = z**3 - 3*z**2 + z - 2. Let p be n(m). Let u(q) = 11*q**3 + 2*q**2 - 1. Does 6 divide u(p)?
True
Let y = -104 + 119. Let d(h) = -h**3 + 16*h**2 - 14*h + 8. Let i be d(y). Suppose 0 = -16*a + i*a - 294. Is 7 a factor of a?
True
Let y(v) = 377*v - 58. Is 34 a factor of y(8)?
True
Suppose 3*l - 241 = -130. Suppose 30*u + 1771 = l*u. Is u a multiple of 5?
False
Suppose 0 = -c - 3*m - 5, m + 5 = 2*c - 20. Suppose 16*r - 420 = c*r. Is 10 a factor of r?
True
Let r(p) = -18273*p**2 - 8. Let o be r(3). Let x be o/(-45) - (-2)/9. Does 8 divide x/51 + (-1)/(-3)?
True
Let t = -59 + 38. Let v = -10 - t. Suppose -7*m - 132 = -v*m. Does 9 divide m?
False
Let p be 2/(-1 + (1 - (-3)/6)). Suppose 2*t + 0*t - 4*a - 310 = 0, 680 = p*t + 4*a. Is 11 a factor of t?
True
Is 16 a factor of (-978)/12225 - (-496004)/50?
True
Suppose 0 = -12*o - 113 + 5. Is 10 a factor of (-17)/(204/400)*o?
True
Let j = -5145 + 12576. Is 20 a factor of j?
False
Let k = 17295 - 11874. Is 32 a factor of k?
False
Let g = 47 - 50. Let j be 8/g*8/((-96)/18). Is 4*(3*j - 0) + -3 a multiple of 15?
True
Let u be 46/8 - (17/(-4) - -4). Let c(o) = 2*o**2 - 15*o + 5 + 2 + u + 33*o. Is c(-12) a multiple of 17?
True
Suppose 18*g - 812 = 14*g. Suppose 2*j - k - 150 = 0, -3*j + g = -0*j + 4*k. Does 14 divide j?
False
Suppose -b - m + 2*m = -21, 4*m + 12 = 0. Is 28 a factor of (-16902)/(-90) - b/10?
False
Suppose -d = -2*r + 2 - 3, 4*d + 3*r - 26 = 0. Suppose 0 = -d*j - 4*t - 4, 2 = j - 2*t - 0. Suppose z = -j - 1, -z - 115 = -3*m. Is 19 a factor of m?
True
Let o(d) be the third derivative of -5*d**4/24 + 21*d**3/2 - d**2. Suppose -3*z - 161 = -16*z - 10*z. Is o(z) even?
True
Let j(o) = 2*o**3 - 55*o**2 - 14*o - 96. Does 47 divide j(29)?
True
Let x(w) = 10*w**2 + 6*w - 24. Suppose 223*p - 227*p = -36. Does 17 divide x(p)?
False
Let u(r) be the third derivative of 0 + 0*r - 7/12*r**4 - 2*r**2 + 19/6*r**3. Is 26 a factor of u(-12)?
False
Suppose -12*n + 550 - 46 = 0. Is 7 a factor of 18 + 3*1*14/n?
False
Let d = 171 - 168. Suppose -d*a + 165 = 2*a. Does 3 divide a?
True
Let g(a) = a**2 - 69*a + 75. Does 5 divide g(80)?
True
Is 24 a factor of (-881994)/(-105) + (939/(-105) - -9)?
True
Suppose -103*y + 282067 = 108821. Does 5 divide y?
False
Let n = 4104 + 329. Does 18 divide n?
False
Suppose 5*t - 19 = -2*c, c - 181*t - 12 = -186*t. Suppose -c*n = -14*n + 3346. Does 23 divide n?
False
Let p be -6*(-3 + (-915)/9). Let r = 388 + -383. Suppose 4*d = 2*q + 2*q - p, -825 = -r*q - 3*d. Is q a multiple of 18?
True
Suppose 5*x = 5, -2*v - 13528 = -2*x - 68218. Does 113 divide v?
True
Does 22 divide (778803/(-10))/(-3) - ((-459)/(-90) - 5)?
True
Let q(a) = 131*a**3 - 45*a - 53*a + 154*a - 6 - 49*a - 3*a**2. Does 87 divide q(2)?
True
Let d be 77/14 - 2 - (-3)/6. Suppose -5*n = -d*k - 34 - 502, 3*n - 319 = 5*k. Does 8 divide n?
False
Let j(d) be the third derivative of 23*d**5/60 + 25*d**4/24 - d**3/3 + 4*d**2. Is 16 a factor of j(-5)?
True
Let c(q) = -q**3 - 13*q**2 - 8*q + 29. Let d be c(-12). Suppose 6*v - 140 = v. Let t = d + v. Is 9 a factor of t?
True
Let s(l) = l**3 - 6*l**2 + 27*l - 202. Let v be s(7). Suppose b - 20942 = -v*b. Is b a multiple of 55?
False
Suppose -12 = -3*d, 21*p - 18*p = 5*d + 33259. Does 28 divide p?
False
Let s = 573 + -569. Let l(b) = 39*b**2 - 13*b + 23. Is l(s) a multiple of 10?
False
Let o(t) be the first derivative of t**4/4 - 10*t**3/3 + 7*t**2/2 + 12*t - 2. Let i be o(9). Is 20/i*12/(-1) a multiple of 20?
True
Let n(u) = -64*u - 172. Let i be (-2)/(-10) - (2 + 77/35). Is n(i) a multiple of 12?
True
Suppose -178*x + 14 = -171*x. Suppose 2*c - x*b = -0*b + 1530, b = -4*c + 3075. Is 16 a factor of c?
True
Suppose -m - 3*o - 9 = 0, 2*m + 4*o - 17 + 29 = 0. Suppose m = 2*l + d - 42, -10 = -l + 5*d - 0*d. Is 8 a factor of l?
False
Let w = 281 + 328. Let x = w - -518. Does 15 divide x?
False
Let u = -3546 - -24123. Is u a multiple of 19?
True
Let t(q) = -2*q**3 + 10*q + 10*q**3 - 9*q**3 + 11*q - 10*q**2. Is 7 a factor of t(-13)?
False
Suppose -4*t = -o - 14077 - 108448, 61273 = 2*t + 3*o. Is 20 a factor of t?
False
Let h(i) = i**3 - 8*i**2 - 22*i + 20. Let q be h(10). Suppose q = -5*l + 539 + 341. Is l a multiple of 16?
True
Let i be 16/6*27/6. Suppose -3*z + 9 = 3*h - 0, -4*h + 4*z + i = 0. Suppose 22 = h*j - 68. Does 5 divide j?
True
Let o(l) = 520*l - 2440. Does 4 divide o(7)?
True
Let h(b) = b**3 - 9*b**2 + 17*b - 43. Let l be 3/12*(-208)/(-4) + -4. Does 2 divide h(l)?
True
Suppose 33*y = -0*y - 18*y + 510714. Does 49 divide y?
False
Let o = -40 - -87. Suppose -1076 = -43*g + o*g. Let n = -185 - g. Does 12 divide n?
True
Let j be (-9)/(-9) - (-3 + (2 - 2)). Suppose -3*p + j*g + 27 = -34, -g + 94 = 5*p. Is p a multiple of 4?
False
Let g = -35 - -37. Suppose 0 = d + 5*v - 780, 5*d - g*d = v + 2404. Is 20 a factor of d?
True
Let p be (-27)/15*15/(-9). Suppose 0 = -3*u + p*q + 2616, u - 2*q - 876 = -3*q. Is 19 a factor of u?
True
Suppose -2*m + 16*m - 67606 = 0. Is 11 a factor of m?
True
Let q be 94/(-7) - (40/(-28) - -2). Let z = 62 + q. Does 12 divide z?
True
Let k be 1 + 2 + 0 + 2*-15. Let r be (2/(-7))/((-2)/434). Let u = k + r. Is 5 a factor of u?
True
Let y(d) = 3520*d**3 - 3*d**2 + 301*d - 602. Is y(2) a multiple of 124?
True
Let q = 282 + -276. Suppose q*w = 2235 - 51. Is 9 a factor of w?
False
Is -10 + (192363/6 - (-25)/(-50)) a multiple of 314?
False
Suppose 202*i = 192*i + 9240. Is i a multiple of 33?
True
Suppose -538*r = -549*r + 23914. Is r a multiple of 127?
False
Let p(j) = 19 - j + 2*j + 0*j. Let w be p(-17). Suppose 0 = w*h + 4*n - 154 + 2, 3*h - 236 = 2*n. Does 13 divide h?
True
Suppose -28*k = -112313 - 290915 - 88900. Does 8 divide k?
True
Let i be (210/3)/2 - 0/(-3). Suppose -5*o + i = -4*o. Suppose -2*n + 13 = -o. Is 8 a factor of n?
True
Let d be (-40)/15 - -3 - 58/(-6). Suppose 156 - 626 = -d*a. Suppose -2*i + a = -65. Is i a multiple of 14?
True
Let i = -30 - -18. Is ((-18)/(-15))/(i/(-2820)) a multiple of 22?
False
Suppose 5*t - 460 - 90 = -5*i, -3*i = t - 320. Let m = 17 + -12. Suppose -5*j + 0*y = -m*y - i, -j + 23 = -3*y. Is j a multiple of 10?
True
Is 27 a factor of (((-6444)/6)/(-3))/(415/(-85) - -5)?
False
Is ((-212)/(-5))/(43/3225) a multiple of 12?
True
Let v(r) = -r**3 + 6*r**2 + r - 2. Let w be v(6). Let x = 84 - 84. Suppose x*s + 260 = w*s. Does 18 divide s?
False
Suppose -8*q + 44 = -7*q. Let d be 6/(-1)*22/q. Is 17 a factor of (9/27)/(d/(-153))?
True
Let k = -50 - -732. Suppose -4*w + 707 = 3*j, 0 = -4*w - 4*j + k + 22. Let p = w - -32. Is p a multiple of 14?
False
Let g be (3/6*4)/1. Suppose -61 = -y + 5*o, -5*o = g*y - 61 + 14. Let q = 65 - y. Is q a multiple of 10?
False
Suppose 81563 = 192*o - 187*o - 2*m, -m = -3*o + 48938. Is o a multiple of 3?
False
Let l(s) = 163*s - 1628. Let z be l(10). Let f(r) = 2*r**2 - 2*r - 1. Let q be f(-1). Suppose -j = 2*w - 11, -q*j - w + 33 = z*w. Does 11 divide j?
True
Suppose -9*o + 24633 + 54900 = 0. Is o a multiple of 91?
False
Suppose -3*i + 2768 = -12*c + 10*c, -5*c = -i + 914. Is 4 a factor of i?
True
Suppose -28*y + 131*y = 129780. Is 10 a factor of y?
True
Does 64 divide (-4)/12*-431 - 4/((