 divide p?
False
Is (-1000)/(-15)*27/2 a multiple of 18?
True
Is 15 a factor of (6/(-5)*3)/(8/(-800))?
True
Let c(l) = -3*l**3 - 4*l**2 + 2*l - 2. Let o be c(-6). Suppose 2*f = 7*f + o. Let v = -66 - f. Does 17 divide v?
False
Let k be (-2)/10 - (-44)/20. Suppose 2*t = 6*t + 4*u, 0 = k*t + 5*u + 15. Does 10 divide 3/(9/6)*t?
True
Is 64 a factor of (-3 - 14 - -8)*(-1 - 112)?
False
Suppose -43*r + 44*r = 124. Is 54 a factor of r?
False
Suppose -4*w - 85 + 69 = 0, 3*w + 905 = s. Does 10 divide s?
False
Let y = 1397 + -983. Is y a multiple of 7?
False
Suppose -110*z + 101*z = -2502. Is z a multiple of 4?
False
Suppose x + 6*x = 35. Suppose x*h - 1376 = -296. Is 37 a factor of h?
False
Let l = -582 - -830. Is 31 a factor of l?
True
Let p be (27 - -6) + 6/((-4)/2). Is (p/(-2))/(9/(-45)) a multiple of 25?
True
Let a = -59 - -82. Suppose 5*v - 747 = a. Does 11 divide v?
True
Let d be (1 - -2) + (-300)/3. Let q = 21 - 23. Is (d/(-2))/((-1)/q) a multiple of 38?
False
Suppose a + 0*a = 3*m + 450, 5*m - 4*a = -750. Let v = -66 - m. Is v a multiple of 18?
False
Let y(i) = 10*i + 20*i**2 - 12*i - 5 + 6*i**2 + 0. Is y(3) a multiple of 32?
False
Suppose 0 = 4*y + y - 2100. Let m = -6 + 6. Suppose -2*r = m, n + r - y = -3*n. Does 35 divide n?
True
Suppose -19*x + 848 = -634. Does 14 divide x?
False
Let a = 1064 + -584. Is 15 a factor of a?
True
Suppose -4*c - 32 = -24. Is 23 a factor of 2665/39 - (c/3 - 0)?
True
Let u(t) = -t**3 - 16*t**2 - 14*t + 11. Let h be u(-15). Does 26 divide ((-12)/(-4))/(h/(-104))?
True
Suppose 3*k + 2*d + 2*d - 15 = 0, 0 = 4*d. Let x be ((-6)/k)/((-8)/80). Does 3 divide x/(4/(-16)*-6)?
False
Suppose 0 = -4*j + 2*r - 841 + 3255, 3013 = 5*j - r. Does 46 divide j?
False
Suppose 3*s - 3 = 2*s, -5*f - s = -53. Suppose -f*u - u + 627 = 0. Does 9 divide u?
False
Suppose 13*w - 88 = -9*w. Suppose 2*o - 52 = -3*l, -2*o - 48 = -3*o + w*l. Does 4 divide o?
True
Let y be (0/4 + -5)/(-5). Does 21 divide y/((-2)/(-118)) - (-1 - -5)?
False
Suppose -8*m = 103 - 519. Let x = m - -10. Is 26 a factor of x?
False
Suppose 0 = m - 5*j + 120, 2*m + 2*m + 572 = -3*j. Let a be (-1)/((-144)/m - 1). Is (336/a)/((-1)/5) a multiple of 21?
False
Suppose -5*b + 3780 = -2*y, 3*y = 3*b - 1917 - 351. Is b a multiple of 7?
True
Is ((-72)/(-20))/((-15)/(-8250)) a multiple of 15?
True
Let h(j) = 2*j - 10*j - 2 + 3*j. Does 25 divide h(-15)?
False
Suppose -y + 3*i + 36 = -0*y, 5*y - 4*i = 235. Is 16 a factor of y?
False
Suppose x = -4*q + 10, 4*x - 2*q - 61 = 3*q. Let n = x - -3. Let w = n + -9. Is 8 a factor of w?
True
Suppose -t + 2*s + 9 = s, -3*t - s = -11. Suppose 5*q = 2*o - 0*o - 304, 4*o - t*q - 608 = 0. Is o a multiple of 18?
False
Let t = 0 - -1. Suppose -p = -1 - t. Suppose 0 = -p*l + 6*l - 12. Is l a multiple of 3?
True
Let l be 10/55 + (-62)/(-22). Suppose l*v - v = 2. Suppose 49 = 2*t + 2*z - 13, -z = -v. Is t a multiple of 5?
True
Suppose -5*q + 32 = 4*v - 0*v, 5*q - 8 = 4*v. Suppose q*i - 3*d - 174 = -i, -5*i = -4*d - 177. Does 14 divide i?
False
Let h(p) = 343*p**3 - p**2 - p + 2. Is 10 a factor of h(1)?
False
Let v(a) = -54*a - 3. Is 9 a factor of v(-6)?
False
Is 4 a factor of (-108)/270 - (-1602)/5?
True
Let r be -3*(0 - 84/(-9)). Let d = r + 13. Let g(m) = m**3 + 15*m**2 - m + 21. Is g(d) a multiple of 12?
True
Let o(b) = -7*b + 5 + 8 - 11 + 9. Let v be o(-7). Suppose -3*h + 2*w = -35, 0 = 5*h - w - 2*w - v. Does 15 divide h?
True
Let h(l) = 54*l**2 - 4*l - 12. Is 51 a factor of h(4)?
False
Let a = 12 - 9. Let c = 5 - a. Suppose 42 = -c*b + 4*b. Is 15 a factor of b?
False
Let h = 45 + -43. Does 10 divide ((-96)/(-9) - h)*(-60)/(-8)?
False
Let d = 4589 - 2601. Is 8/18 + d/63 a multiple of 16?
True
Suppose -1 = -5*u - k + 16, 4*u - 2*k = 8. Suppose u*a - 214 - 686 = 0. Is 25 a factor of a?
True
Let r = 120 - 14. Suppose -258*m + 259*m - 2 = 0. Suppose 2*u - c = 103 - 6, 2*c - r = -m*u. Is 25 a factor of u?
True
Does 43 divide (4640/(-12))/1*45/(-15)?
False
Let z be -3 - 10/(-5) - 1. Is 21 a factor of ((-4)/(-5))/(12/2130) + z?
False
Suppose 2016 = 4*j + 2*j. Does 24 divide j?
True
Let j = -60 - -115. Is j a multiple of 3?
False
Suppose -18 = -s + 30. Let h = 88 - s. Is 8 a factor of h?
True
Suppose 26 = -7*y + 1363. Suppose 0 = -5*z + m + y, -5*m - 108 = -5*z + 87. Is 19 a factor of z?
True
Suppose -4*a + 144 = -4*l, 4 - 1 = -3*a. Let t = l + 77. Is 9 a factor of t?
False
Suppose -2*j + 84 = 3*j - 2*i, 2 = -i. Suppose 0 = -4*x - 0 + j. Suppose -x*o + 5 = -3*o. Does 2 divide o?
False
Suppose -6*y - 174 = -9*y. Suppose -5*b - 6*g + y = -2*g, -3*g - 4 = -b. Is 10 a factor of b?
True
Let q(x) = -3*x**3 - 2*x**2 + 3*x + 4. Suppose -1 - 5 = -2*u. Let l be q(u). Does 6 divide (-8)/12 - l/3?
False
Let k = 26 + -28. Is 14 a factor of 22 + (k/(-1) - -2)?
False
Let x(u) = u**2 - 3*u + 229. Does 25 divide x(0)?
False
Suppose -7 = -5*c + 8. Suppose 5*i - c*i + 68 = 0. Let h = i - -62. Does 7 divide h?
True
Let k be ((-12)/10)/((-9)/30). Suppose k*l + 117 = -n + 2*n, 0 = 4*l + 4*n + 92. Let h = 95 + l. Is h a multiple of 38?
False
Let j(y) = -y**2 + 40. Suppose 6*x = 8*x. Is 8 a factor of j(x)?
True
Suppose -19*w + 26*w = 1267. Is 9 a factor of w?
False
Suppose -2*j = -0*j + 94. Let p(d) = -2*d + 115. Let z be p(10). Let u = j + z. Is u a multiple of 16?
True
Let a(l) be the first derivative of l**3/3 - 9*l**2/2 - 2*l + 3. Is a(11) a multiple of 10?
True
Does 5 divide (-49 - 1)/((-7)/14*4)?
True
Let r be -6 - (-9 + -5 + (3 - 6)). Let o(h) = -2 + 5*h + 2*h + 3. Is o(r) a multiple of 19?
False
Suppose 4*v + 29 = 621. Let p = -22 + v. Does 21 divide p?
True
Let g(k) = -k**3 - 5*k**2 - 7*k - 18. Let c be g(-6). Let m = 76 - c. Is 4 a factor of m?
True
Let w(z) = 3648*z**2 - 15*z + 7. Is w(1) a multiple of 14?
True
Let t(r) = -2*r**3 - 7*r**2 - 3*r + 6. Suppose -2*d - 2 = -4. Suppose 2*s + 9 = -d. Is t(s) a multiple of 32?
True
Let p be 68/2 + 0/(-2). Let x be (p/3)/(3/(-27)). Let n = -23 - x. Is 25 a factor of n?
False
Let c(t) = 18*t**2 - 37*t + 19. Does 7 divide c(9)?
False
Suppose 1027 = 2*t - 5*x, -4*x - 274 + 2258 = 4*t. Does 25 divide t?
False
Let j(b) = 2*b - 2. Let z be j(1). Suppose z*q - 3*q = -6. Suppose -i - q*f + 17 = 0, -4*i = -f - 2*f - 123. Is 19 a factor of i?
False
Let v(o) be the second derivative of -23*o**6/120 - o**4/8 - o**3/3 + 11*o**2/2 - 10*o. Let b(i) be the first derivative of v(i). Is b(-1) a multiple of 3?
True
Let d(c) = -4*c + 16. Let b be d(5). Let w be (-84 - (-2 - b)) + 3. Let j = w + 119. Does 18 divide j?
True
Suppose 940 + 704 = 6*r. Is r a multiple of 12?
False
Suppose -10*u + 16 = -18*u. Is 13 a factor of 74 + u/2 + 2?
False
Suppose 17*i - 1410 + 152 = 0. Is 37 a factor of i?
True
Suppose 4*o - 33 = -5*v, -3*v + 3*o - 2*o + 13 = 0. Suppose 5*u - 60 = -c, 0 = -v*c + u - 32 + 436. Does 20 divide c?
True
Suppose 3*h - 2*h = 207. Does 8 divide h/6 + (3/6)/1?
False
Let d = 2 - 0. Suppose 0 = d*v - 5*v + 15. Is 2 a factor of v?
False
Let z(o) = 95*o**3 + 4*o**2 - 10*o + 2. Is z(2) a multiple of 6?
False
Let w(f) = f**3 + 4*f**2 - 4*f - 5. Let g be w(-4). Suppose 0 = -6*s + g*s - 65. Does 5 divide s?
False
Let t(m) = -m**2 - 21 - m + 13 - 3*m + 7. Let c be t(-5). Let r(n) = -3*n + 15. Does 9 divide r(c)?
False
Suppose 4*j - 46 - 14 = 0. Suppose 5*u + j = 0, 3*w = -w - u + 33. Is 5 a factor of w?
False
Let d be (-2)/(-2) + -2 + 3. Suppose 0 = w + d, 4*x + 0*w - 388 = -2*w. Is x a multiple of 14?
True
Suppose -y + 1 = 0, -f + 728 = -2*y - 296. Is 54 a factor of f?
True
Let a = 5 - 15. Let j(p) = p**3 - 5*p**2 - 14*p + 13. Let l be j(7). Let d = a + l. Is d a multiple of 2?
False
Let r = 241 + -112. Is r a multiple of 3?
True
Suppose -232 = -2*i + 5*o, -o - 116 = -i - 2*o. Is 11 a factor of i?
False
Let q(t) = -8*t + 2. Let b be q(8). Is 13 a factor of (b/4)/(9/(-126))?
False
Let r(o) = o**2 - 13*o + 1. Let q be r(13). Does 6 divide (119/(-34))/(q/(-12))?
True
Suppose f = 3*f - 12. Suppose -r + f*r = 0. Suppose 0*p + 2*p - 72 = r. Does 9 divide p?
True
Suppose -3*y + 12 = 5*p - 31, 0 = -y - 4*p + 26. Is 4/y - (-994)/21 a multiple of 12?
True
Suppose 4*i = 4*h - 44, 4*h - 5*h = -5*i - 31. Suppose -h*z - 2*z + 72 = 0. Is 15/z*(38 - -1) a multiple of 14?
False
Suppose 6*f + 43 - 403 = 0. Is f a multiple of 10?
True
Suppose 0 = 20*u - 26*u +