
False
Suppose 8*o - 3*o + 5*h = -795, 474 = -3*o - 2*h. Let s be o/18*(0 + (-6)/4). Let j = s + 46. Does 7 divide j?
False
Is (-27296)/(-6) - 92/(-138) a multiple of 35?
True
Let d(q) be the third derivative of -8*q**2 + 0 - 11/6*q**3 + 11/60*q**5 - 7/12*q**4 + 1/120*q**6 + 0*q. Is 13 a factor of d(-12)?
True
Suppose 3*w - 5*c - 5342 = 0, 0*w + 4*c - 5333 = -3*w. Is w a multiple of 28?
False
Let y(i) = i**3 + 10*i**2 - i - 2*i**3 - 13*i**2. Let c be y(-3). Does 35 divide 2*44/6*c?
False
Let d(g) be the first derivative of 38*g**2 - 14*g + 9 - 44*g**2 + 8. Is d(-13) a multiple of 27?
False
Let n(c) = 86*c + 322. Let s(g) = 18*g + 224. Let u be s(-12). Is n(u) a multiple of 7?
False
Let t(f) be the third derivative of f**4/12 + 28*f**3/3 - 115*f**2. Is 29 a factor of t(-4)?
False
Let c(m) = 17*m**2 + 6*m - 12 + 0*m**2 + m. Let k be c(5). Suppose 0*y = -4*y + k. Does 14 divide y?
True
Suppose -3*l + 3*g = -9, 0 = -2*l - 0*l - g + 9. Let r = 171 + 59. Suppose -2*w = -l*w + r. Does 8 divide w?
False
Suppose 0 = -5*n - 5*k + 43220, 2*n - 5*k = 16401 + 915. Is 17 a factor of n?
False
Suppose -6*h + 4*h + 2408 = 4*p, -2*p = 2*h - 1206. Suppose -381 = z - p. Is 34 a factor of z?
False
Let s be 52/20 - (-3)/(-5). Suppose f - 14 = c, 2*c = -s*c - 8. Suppose -5*l - 1232 = -f*l. Is 16 a factor of l?
True
Let t be 39 - (((-4)/(-2))/(-2))/1. Let m = t - 33. Does 2 divide (-2 - -5)*(714/9)/m?
True
Suppose 0*q + 685 = -4*q + 3*o, -o = -4*q - 679. Let x = -71 - q. Is 14 a factor of x?
True
Let s(a) = -a**3 - 18*a**2 - 141*a - 50. Does 10 divide s(-14)?
True
Let z = -361 + 378. Suppose 35*f - 87048 = -z*f. Is f a multiple of 18?
True
Suppose 4*q = 4*m + 16, -3*m + 8 + 4 = 0. Is q + (347 - 1) + -4 a multiple of 10?
True
Let i = -3337 + 4161. Does 119 divide i?
False
Suppose 8*y = 10*y - 32. Suppose -4*c = -2*s + 10, 2*c - 3*c - 4*s = y. Let d(g) = -g**3 - g**2 + 3*g. Is 3 a factor of d(c)?
True
Is 281 a factor of (-4407)/(-4)*-3*(-3080)/198?
False
Let d(i) = 2*i**3 - 34*i**2 + 10*i - 126. Does 30 divide d(18)?
False
Let b = 9462 - -1880. Does 107 divide b?
True
Is (-233149)/(-931) - (-4)/7 a multiple of 10?
False
Let t be (-1 - (-9 - -1))*(7 - 8). Let h be 2/t + 396/63. Let o = 60 - h. Does 9 divide o?
True
Let y(i) = -13*i**3 + i**2 - 2*i - 4. Let s be y(-1). Suppose 7*b = s*b - 460. Is 13 a factor of b?
False
Let g be (-2)/((-8)/(-6)) - 75/(-10). Suppose -3*f + 1946 = -2*z + 6*z, 3*f - g = 0. Is z a multiple of 8?
False
Let g = -689 - -706. Suppose g*m - 933 = -15. Does 6 divide m?
True
Suppose -55 = 5*x - 3*w - 2*w, 2*x - w + 21 = 0. Let t = -5 - x. Suppose -t*p + 3 = -4*p, 0 = -2*z + 5*p + 73. Is 18 a factor of z?
False
Suppose 4*w + 694 = 5*s, 0*w = -3*s - 5*w + 372. Is s a multiple of 12?
False
Suppose -s - 45 = -45. Let q be (-40)/(-6) - 4/6. Suppose -w + q*w - 210 = s. Is w a multiple of 6?
True
Let g(f) be the first derivative of 14*f**3/3 + f**2 + 10*f + 85. Is g(-3) a multiple of 10?
True
Suppose 172*p = -1225 + 34823 + 26774. Does 9 divide p?
True
Is 2250/125*(-33)/(-9) a multiple of 11?
True
Let r(d) = -4*d - 10. Let t(k) = 3*k - 11. Let c be t(-6). Let j be 11/(-33) + c/3 + 1. Does 7 divide r(j)?
False
Let t = -209 - -197. Is 16 a factor of 2/(-3) + (-1136)/t?
False
Suppose -2*b + 902 = l + 566, -l - 4 = 0. Suppose -f - 3*f = 416. Let p = b + f. Is 22 a factor of p?
True
Suppose -5*j = -442*s + 445*s - 9697, -3*j = s - 3235. Is 7 a factor of s?
False
Let j = 47 + -25. Let z(b) = b + 29. Is 16 a factor of z(j)?
False
Let r(m) = 16*m + 27. Let g be r(16). Suppose 23 - 8 = 3*i. Suppose 0 = -i*x - 3*k + 345, -4*x = -3*k + 4*k - g. Does 18 divide x?
True
Let i(s) = -3*s**3 - 2*s**2 + 2*s + 3. Let u be i(-1). Suppose -3*l - 87 = -f + 75, -4*f - u*l + 634 = 0. Does 53 divide f?
True
Does 16 divide 11767 - (-11 + 95/5)?
False
Is 35 a factor of (-356994)/(-20) - (-12)/400*10?
True
Let g(s) be the second derivative of 3*s**5/20 - s**4/4 - 2*s**3/3 - s. Let o = 18468 - 18465. Does 2 divide g(o)?
True
Suppose -62*s + 7*s + 105456 = -3*s. Is s a multiple of 4?
True
Let u = 47 + -31. Let i(k) = 42*k - 22. Is 13 a factor of i(u)?
True
Let s = 15 - 6. Suppose -s*j + 336 = -8*j. Suppose 9*h - j = -5*h. Does 4 divide h?
True
Let m(b) = -b**2 - 25*b + 171. Let z = -227 + 204. Does 12 divide m(z)?
False
Let b(r) = -42*r - 25. Let y = -9 + 39. Suppose -y*s + 8 = -32*s. Is 11 a factor of b(s)?
True
Let w = 112 + -107. Let r be 1822/(-7) - (w - 37/7). Does 16 divide -4 + (-8)/(32/r)?
False
Let j(p) = 11 + 4*p - 67*p - 36*p - 29. Let m(d) = d**3 + 5*d**2 - 2. Let y be m(-5). Is 15 a factor of j(y)?
True
Let n = -29 - -45. Let c(y) = 15 + 16 - 11 + 6*y - 2 + 12. Is c(n) a multiple of 9?
True
Let d(j) = j**2 - 11*j + 25. Let k be d(9). Suppose -k*r + 0*r = -1344. Does 64 divide r?
True
Let b(k) = -913*k**3 + k**2 + 4*k + 3. Is 157 a factor of b(-1)?
False
Let c(o) = -174*o - 162. Let a(p) = -3*p + 21. Let j be a(8). Is 60 a factor of c(j)?
True
Let n be 26/(-14) - (-10)/(-700)*10. Does 20 divide (-304 + -8)/(3/n)?
False
Let n = 20286 - 18499. Is 13 a factor of n?
False
Suppose 95*t + 96*t = 1226602. Is 13 a factor of t?
True
Let a(t) = -t**3 + 16*t**2 - 14*t - 9. Let c be a(15). Suppose -5 = -w + c*w. Is (-120)/(-9)*w/((-1)/12) a multiple of 32?
True
Suppose 0 = -k - 4*i + 1013, 5089 = 5*k - i - 3*i. Suppose 4*o = k + 883. Is 66 a factor of o?
False
Suppose -7*y + 9*y - 10 = 0. Suppose y*o - 9 - 18 = -2*n, 3*o = -n + 14. Let l = 40 + n. Does 32 divide l?
False
Suppose 8*h - 18 - 6 = 0. Suppose -8*p = -7*p - 2*r - 308, 0 = -h*p + 4*r + 920. Is 8 a factor of p?
True
Let k(h) = h**2 + 7*h + 26. Let l = 12 - -27. Let a = -48 + l. Does 11 divide k(a)?
True
Let s = 13251 + -7803. Is s a multiple of 53?
False
Let a be (-9)/(-9) + 190/(-2). Let n = a + 93. Does 8 divide n/((-2)/184) - -1?
False
Suppose -190*w + 2929572 + 204933 = -2890015. Is w a multiple of 21?
False
Let p(k) = 2*k**3 - 15*k**2 + 49*k - 464. Is 111 a factor of p(11)?
False
Let g be 51/21 + -2 + (-164)/7. Let q(a) = -a**3 - 21*a**2 + 44*a - 3. Is q(g) a multiple of 9?
False
Suppose 5*i - 14*y = -12*y - 16, 4*y = 4*i + 8. Let x(r) = 86*r**2 - 4*r - 21. Is 43 a factor of x(i)?
False
Let c(f) = 18*f + 2*f**2 + 13 - 79*f - 10 - 6*f + 11. Is c(-15) a multiple of 13?
True
Suppose 40*q + 4 = 41*q. Suppose -q*c + 8*c = 412. Let h = c - 13. Is 9 a factor of h?
True
Let q(w) = w**2 + 5*w - 11. Let b be q(-7). Is 99 - 4/(12/b) a multiple of 37?
False
Let j be (154/56)/((-11)/12 - -1). Suppose -3*f + j + 78 = 0. Suppose -162 = -5*q - f. Does 10 divide q?
False
Let s(h) be the first derivative of -9*h**2/2 - 30*h + 19. Let d = -174 + 164. Is 12 a factor of s(d)?
True
Let g = 16 + 92. Let h(c) = 2*c**2 + c - 6. Let o be h(-3). Is 9 a factor of g/24*o*2?
True
Let g(r) be the third derivative of -143*r**4/12 - 13*r**3/6 + 7*r**2 + 8. Is g(-1) a multiple of 39?
True
Let n(v) = 1816*v**2 + 60*v + 122. Is 42 a factor of n(-2)?
True
Let n be -6 + 9420/(-38) + 4/(-38). Let w = n + 457. Is w a multiple of 12?
False
Suppose -16*m = -255784 - 25112. Suppose 54*s - m = 12*s. Is 38 a factor of s?
True
Let y be 6 + -12 + -64 - -4. Is 96/(-12)*y/4 a multiple of 20?
False
Let h = 52 + -44. Suppose 3 - h = -k. Suppose -t + 2*j = j - 43, -3*t = k*j - 89. Does 38 divide t?
True
Let c(f) = f**2 - 7*f + 4. Let k be c(8). Suppose 2*h = 3*v - 8, 2*h + k = -v + 5*v. Is (-4 + 3)*(h + -53) a multiple of 18?
False
Let k(h) = 2*h + h - h**3 + 4*h**2 + 3*h. Let u be k(5). Suppose u*y + 3*t - 160 = 0, -y + 0*t + 50 = -3*t. Is y a multiple of 4?
False
Let s = -14743 + 18295. Is 32 a factor of s?
True
Suppose -4*p = -3*d + 2*d - 9, d = -2*p - 3. Does 7 divide ((-30)/p)/(-1)*749/321?
True
Does 79 divide ((2 + 7 - 8) + -4)*(-21251)/3?
True
Suppose t - 3*m - 585 - 6024 = 0, 2*t - 2*m = 13246. Does 37 divide t?
False
Suppose -p = -4*r + 145818, -5*r - 124*p + 182304 = -120*p. Does 186 divide r?
True
Suppose -9*y + 65*y = 379456. Is y a multiple of 53?
False
Let k be 18/(-4)*(-4)/3. Let g(o) = o**3 + 18*o**2 + 40*o - 51. Let p be g(-15). Suppose -5*a + 4*z + 204 = 0, -5*z = 5*a - k*a + p. Does 22 divide a?
True
Suppose 0 = 257*n - 167*n - 386190. Does 10 divide n?
False
Let b be 2/((-207)/204 + 1). Let q be (105/(-25) - -6)*145. Let g = b + q. Is 19 a factor 