alse
Let o(p) = -538*p**3 - 3*p**2 - p + 3. Let n be o(1). Let z = 652 + n. Is 2 a factor of z?
False
Let h(n) = -1953*n - 899. Is h(-10) a multiple of 31?
True
Let q(r) = -2*r**3 + 20*r**2 - 2*r - 4. Let z be 13 + (8/(-6) + 1)*15. Is q(z) a multiple of 24?
False
Let m(a) = 6909*a - 6. Let f be m(-1). Does 79 divide (4/10)/((-3)/f)?
False
Suppose 13336 - 56327 = -13*d. Does 14 divide d?
False
Let t be (-30)/4*(-28)/3. Let w = t - 60. Does 21 divide (792/(-30))/(-2*1/w)?
False
Let o(x) = 125*x - 191. Is o(40) a multiple of 12?
False
Let j(d) = -101*d**3 - 9*d**2 - 10*d - 15. Is 45 a factor of j(-4)?
True
Suppose d = -36 - 52. Let j = d - -202. Is j a multiple of 19?
True
Let v = 2 - 28. Let i be (-12)/(-2 + 4/(-56)*v). Let o = 81 + i. Is 33 a factor of o?
True
Let a be (-2 + 1 + 0)*(-6 - -4). Let z(o) = 188*o - 4. Let g be z(a). Suppose -5*x = k - 0*x - 80, -g = -5*k + 3*x. Is k a multiple of 25?
True
Let h be 6/(-12)*6 - -9. Does 4 divide (h - 90/12)/(3/(-304))?
True
Let u = 290 + -241. Suppose 51*x = u*x + 560. Does 14 divide x?
True
Let k(f) = -3*f**3 + 15*f**2 - 20*f + 8. Let l be k(6). Is 3 a factor of (88/l)/((-2)/335)?
False
Let x(s) = -171*s + 9. Let c be x(-4). Let k = -495 + c. Is 14 a factor of k?
False
Is 27 a factor of (-11466360)/(-5184) - (-1 - (-7)/8)?
False
Let c = -1233 + 2920. Let s be 1/(-3) + c/21. Suppose 0 = 2*p - p - s. Is p a multiple of 10?
True
Suppose 10 - 28 = -3*y. Let x(b) = 2*b + 17 + 6 - 13*b + 5*b**2 - 32. Does 21 divide x(y)?
True
Suppose -2*k + 213 = 3*k + 4*w, -k = -w - 48. Suppose 47*x + 875 = 72*x. Let o = x + k. Is 20 a factor of o?
True
Suppose 82*j = 1439013 + 327103. Is 121 a factor of j?
True
Let w = 5775 - 5611. Is w a multiple of 2?
True
Let u(p) be the third derivative of 0 + 1/6*p**4 - 8*p**2 - 23/6*p**3 + 0*p. Does 9 divide u(8)?
True
Suppose 0 = -a + 5*p + 3838, 4665 + 2969 = 2*a + 4*p. Is 49 a factor of a?
False
Let k be 4887/6*(8/12)/1. Let f = k - 255. Does 24 divide f?
True
Let z be 0 + 0 - (-110 + 5). Let a = -7 + z. Is a a multiple of 8?
False
Suppose 923*k - 12972290 + 604827 = 18650875. Does 9 divide k?
True
Let f = 49 + -28. Let c = -43 + f. Is (c/7)/(4/(-28)) a multiple of 11?
True
Suppose 0 = -5*c + 4*r - 2, 2*c + r + r = 10. Suppose -4*v = -c*s + 16, -5*v - 8 = -7*v. Suppose -s*o + 654 = -10*o. Does 13 divide o?
False
Suppose -5*i = -5*f - 23015, 3265 + 5962 = 2*i + 5*f. Is 49 a factor of i?
True
Is -23 + 30 + (7 - -43975) + 1 a multiple of 142?
False
Let c be (-2)/8*(-3 - (10 + -5)). Suppose 3*z - 2*i = 1631, 0*i - c*i = 3*z - 1615. Is z a multiple of 76?
False
Let v be (0 + 28/6)/(3/1566). Suppose 22*k = 10*k + v. Is 11 a factor of k?
False
Let x = 258 + -1539. Let p = 2001 + x. Is 12 a factor of p?
True
Suppose -67*z + 114367 = -43998 + 49289. Does 11 divide z?
True
Does 4 divide 157/((-11)/957*-3)?
False
Let i be (-19)/(-57) + (-14)/(-3). Suppose 5*c = 2*b - 1814, i*c = -7 - 13. Is 39 a factor of b?
True
Suppose -179*k + 3063099 = 1012833. Does 2 divide k?
True
Let l = 14 + -10. Suppose -35 = 140*x - 141*x. Suppose 4*o - 59 = -3*j + x, -2*j + l*o + 36 = 0. Does 26 divide j?
True
Let s be 0*4*3/24. Suppose 11*b = -4*t + 8*b + 99, s = 4*b - 4. Does 12 divide t?
True
Let p be 2/(-18) + (-121561)/(-387). Let i = 474 - p. Does 6 divide i?
False
Let b = 929 + -411. Suppose -4*f + 806 = 2*d, -4*f + b + 289 = 3*d. Does 19 divide f?
False
Suppose 12*x - 7*x = 3*v + 4, -2*x = v - 6. Suppose 842 = 4*b + x*c, -5*b = -2*c + 8*c - 1056. Does 10 divide b?
True
Let g(m) = 81*m - 30. Let o be g(1). Let q(v) = v**3 - 52*v**2 + 51*v + 108. Does 18 divide q(o)?
True
Let u = -27 + 14. Let l = u - -17. Does 5 divide (l/4 - 0)*5?
True
Is 7 a factor of (4/12)/((((-57)/(-774))/(-19))/(-49))?
True
Suppose -3*u = 5*f - 3674, 213*f + 4*u + 767 = 214*f. Is 6 a factor of f?
False
Let d be ((-130)/(-78))/((-1)/(-3)). Suppose -t - d*t + 12 = 0. Is (7*-4)/((-1)/t) a multiple of 7?
True
Let m(q) = -4*q + 93. Let v be m(23). Let p = v - -90. Is p a multiple of 12?
False
Does 90 divide 18906/14 + 1035/(-2415)?
True
Suppose 13*d - 9*d - 1520 = 2*i, -d + 256 = 15*i. Is d even?
True
Let m(w) = -145*w + 7445. Is m(0) a multiple of 55?
False
Let y(q) = -5*q**2 - 7*q + 13. Let l be y(-9). Let o = -464 - l. Let a = 315 + o. Does 36 divide a?
True
Suppose 3*l + 2*w = 21561, 0 = -3*l - 9*w + w + 21597. Does 101 divide l?
False
Let i be (18 - 28)/(-2 + 0). Suppose -n + 65 = -s, 0 = i*n - 4*s + s - 333. Is 6 a factor of n?
False
Let d(u) = -2*u**2 - 78*u + 6. Let j be d(-29). Is 45 a factor of -1 + j + (4 + -6 - -2)?
True
Suppose u + 32*l + 62 = 36*l, 3*u + 3*l = -141. Suppose 5*h - 15 = -290. Let p = u - h. Is 2 a factor of p?
False
Let g = 2865 + -2625. Is 60 a factor of g?
True
Suppose 3*x - k + 22 = 4*k, -21 = -x - 4*k. Let c be (-2 - 7)*15/x. Let g = c + 213. Is 13 a factor of g?
True
Suppose 0 = 25*y - 84*y + 267891 - 59739. Is y a multiple of 194?
False
Let y = 168 + -420. Let q be (5/3)/((-3)/y). Suppose 5*a - 2*w - q = 2*w, a - 17 = 3*w. Is 4 a factor of a?
True
Suppose 4*j + 35 - 283 = -g, -2*j = -4*g + 938. Is 4/14 - (7 + g/(-7)) a multiple of 3?
True
Does 4 divide ((-6)/18)/((-12)/(-9))*(-1272 + 36)?
False
Suppose 0 = -5*q + 2*h + 30, -2*h + 4*h + 12 = 2*q. Does 3 divide (-3784)/(-152) - q/(-57)?
False
Let j(q) be the first derivative of q**7/420 - q**6/120 + q**4/6 - 16*q**3/3 + 2. Let c(g) be the third derivative of j(g). Is 4 a factor of c(3)?
False
Suppose 15*r + 1 = 76. Let d(w) = -w + 13. Let x be d(10). Suppose -4*k + h + 173 = 0, r*h = -k + 14 + x. Is k a multiple of 42?
True
Let b be (1/2)/(1156/(-232) + 5). Suppose 36*f = b*f + 1680. Does 40 divide f?
True
Suppose -195 = 3*l - 2*i - 1084, -2*i + 1176 = 4*l. Suppose -l = 15*m - 14*m. Let v = -158 - m. Is 18 a factor of v?
False
Suppose -35 - 345 = -46*j - 49*j. Let h(b) be the first derivative of 4*b**2 + 15*b + 1. Is 19 a factor of h(j)?
False
Suppose -6*i - 236 = -1238. Suppose i*n = 158*n + 2250. Is 13 a factor of n?
False
Does 81 divide 36/(-72)*9/(9/(-17504))?
False
Suppose -56*a + 16974 = 566. Is 2 a factor of a?
False
Let k(y) = 3*y**3 - 6*y**2 + 3*y - 6. Suppose h = 3*j + 2 - 21, -4*j - 2*h + 12 = 0. Is 9 a factor of k(j)?
True
Let t(i) = -2*i**2 + 222*i + 3796. Is 30 a factor of t(122)?
False
Let q be 5/(70/148) - 4/7. Suppose -597 = q*f - 2787. Is 7 a factor of f?
False
Let o(b) = -182*b**2 - 15*b + 16. Let f be o(-4). Let z = -2016 - f. Is z a multiple of 10?
True
Is 48 a factor of 648179/103 + ((-25)/(-15))/((-2)/6)?
True
Suppose -w - 15 = -41. Let t be 2968/w + 18/(-117). Suppose -j + t = y - 2*y, -j = -5*y - 122. Is j a multiple of 14?
True
Let z = 5421 + 5763. Does 108 divide z?
False
Let f be ((-188)/(-10))/((6/(-3))/(-50)). Let q = -422 + f. Is 6 a factor of q?
True
Let c be 0*3/12*-1. Let q(n) = n - 4. Let i be q(c). Let v(y) = 3*y**2 + y + 8. Is v(i) a multiple of 13?
True
Suppose 3*i + 118 = 2*z, z - 4*i = 3*z - 104. Suppose c - 8*c - z = 0. Let t(a) = a**2 - 13*a + 2. Is t(c) a multiple of 29?
False
Suppose 295 = 2*u - 781. Suppose u*f - 548*f + 11220 = 0. Does 33 divide f?
True
Let z(t) = t**2 + 2*t + 109. Suppose 0 = 4*i + k + 74, 0 = i - 0*k + 2*k + 15. Is z(i) a multiple of 27?
True
Suppose -5*r + 9*h - 7*h = -66571, -2*r + 2*h + 26626 = 0. Is 21 a factor of r?
False
Let y = 10 - -19. Let n = y - 27. Is (n - 0 - -19) + 5 + -3 a multiple of 23?
True
Let a = 3215 - 1974. Let y = a + -729. Suppose -3*l = -19*l + y. Does 16 divide l?
True
Suppose 4*h + 2*p - 260 - 254 = 0, 0 = -4*h + 5*p + 521. Suppose 2*q + 514 = 5*o, 2*o - 94 = -5*q + h. Suppose -3*d - o = -7*d. Is 2 a factor of d?
True
Let w(h) = -3 - 4*h + h**3 + 4*h**2 - 5*h + h - 7*h. Let j be w(-6). Suppose 10 = 5*r - j, 4*i - 5*r - 103 = 0. Does 4 divide i?
True
Let u(o) = 2*o**2 - 5*o + 393. Is 38 a factor of u(43)?
True
Let s = 2842 + -6142. Let q = -816 - s. Suppose 13*f - q = f. Is 11 a factor of f?
False
Does 71 divide 71/(-5)*(5 + -210)?
True
Let h(w) = 5*w**2 - 3*w - 5. Let t be h(-1). Suppose 0 = -t*f - 10*f + 2418. Is f a multiple of 31?
True
Is (-11 - 199822/6)*(-42)/28 a multiple of 31?
True
Suppose 2*n - 4 = -3*z, 9*n - 3*z = 4*n + 31. Suppose 0 = n*u - 241 - 199. Is u a multiple of 44?
True
Let s(x) = 3*x**2 + 10*x - 40. Suppose u - 5*t = 3, -t = 4*u - 5*u - 