divide p?
False
Suppose -32*u = -30*u + 856. Let j = -252 - u. Is 44 a factor of j?
True
Does 50 divide (-117)/(-18)*1*(1 + -3)*-1689?
False
Suppose 0 = 20*x + 49 - 69. Let k(l) = -378*l**2 + 7*l - 20. Let u(p) = -252*p**2 + 5*p - 13. Let f(r) = 5*k(r) - 8*u(r). Is f(x) a multiple of 17?
False
Suppose 5*p = -4*n + 6192, -2*n = 6 - 2. Suppose -11*a = -7*a - p. Is 10 a factor of a?
True
Let g be 7 + 1/((-2)/20*2). Suppose 0 = -5*r + 32 - 7. Suppose g*p = -r*w + 476, -2*w = -0*w - 5*p - 202. Is 16 a factor of w?
True
Let z(m) = -4*m**3 - 10*m**2 + 6*m - 15. Let k(w) = -5*w**3 - 9*w**2 + 5*w - 15. Let y(p) = -3*k(p) + 4*z(p). Suppose 4*h = 2*h - 28. Is 11 a factor of y(h)?
True
Is 86 a factor of (-41326)/(-13) - (-4)/(832/16)?
False
Let o = -2825 - -5183. Is 5 a factor of o?
False
Let v(b) = 7*b + 5. Let h be v(1). Suppose 5*u + u = h. Suppose u*f = 2*l + 21 - 61, 0 = 2*l + 4*f - 40. Is l a multiple of 2?
True
Suppose -7*n - 17 = 39. Let j(l) = -l**3 - 7*l**2 + 8*l + 2. Let o be j(n). Is 34 a factor of (3 + -4)/(o + (-615)/306)?
True
Let h be 13/4 - (-2)/(-8). Let a(k) = 6*k - 9*k**2 + 7 + k**3 - 1 + 0 - h*k. Is 68 a factor of a(11)?
False
Let a be (3/6)/((-3)/(-18)). Suppose -3*h + a*q + 58 + 53 = 0, 5*h - 181 = q. Suppose -3*u - 2*r = -h, 4*r = -0*u + 2*u - 8. Is u a multiple of 5?
True
Let q = 91 - 57. Let f = q - 6. Suppose -68 = -4*a + f. Is 4 a factor of a?
True
Let x(h) = 8041*h - 1821. Does 23 divide x(1)?
False
Let f(x) = -x**3 + 4*x**2 - 7. Let c(j) = -5*j**2 + 10. Let y(n) = -3*c(n) - 4*f(n). Let z(b) = b**2 - 2*b - 5. Let m be z(4). Is 6 a factor of y(m)?
False
Suppose 9*n + 12285 = 4*n + 8*n. Does 195 divide n?
True
Suppose -4*c + 64 = -32. Let x be (-1)/(-3 - c/(-6)). Does 25 divide 185 + (-2 + 4 - (x - -3))?
False
Let s(z) = 5*z**2 - z + 2. Let w be 1/((-14)/4) - (-36)/28. Let b be s(w). Does 23 divide 103 + (-1)/(-2)*b?
False
Let q(y) = y**3 + 7*y**2 - 4*y - 65. Let k be q(-9). Let i = 391 + k. Does 5 divide i?
True
Let i(g) = -g**2 - 26*g - 67. Let f be i(-15). Suppose 3*x = -4*c + f, 6*c = 3*c - 3. Is 21 a factor of x?
False
Does 13 divide 4122/(-10)*(-1015)/87 - -1?
True
Suppose -519616 - 9499 = -40*y + 58525. Does 119 divide y?
False
Let v be ((-15)/(-4))/((-4)/16). Let l be 1203/v + (-2)/(1*-10). Is (-5 - -3 - (l - -1))/1 a multiple of 20?
False
Suppose 15*n - 5*n = 40. Let c = 7 - n. Suppose -2*j - 156 = -c*x, 5*x = -5*j - 0*j + 260. Does 5 divide x?
False
Let c be 7/7 + (-2)/(-1). Suppose 0 = n - 5*y + 5, -c*n = -0*n - 4*y - 7. Suppose n*g = 2*s - 63, -5*s - 3*g = -2*g - 117. Is 7 a factor of s?
False
Does 34 divide (332/(-6))/(20200/(-1836) + 48 + -37)?
True
Let b = -3067 + 4742. Is b a multiple of 7?
False
Is 2/9 + 206*(-4245)/(-270) a multiple of 60?
False
Suppose -v = t - 5 + 1, -t = -4*v + 6. Suppose -3*z - 2*r = -1208, -r + 827 = t*z - 4*r. Does 16 divide z?
False
Let x(s) = 8*s**2 + 12*s. Let v be x(-1). Does 8 divide -40*(v + (-1)/5*28)?
True
Let t(n) = -n**3 + 5*n**2 + 13*n + 7. Let q be t(7). Suppose q*k - 6 = -2*k. Suppose -5*d = 15, k*d + 25 = -2*o + 6*o. Is o a multiple of 2?
True
Suppose -6593 = -u + 5*t, -3*u = -133*t + 130*t - 19839. Is u a multiple of 3?
True
Let z(j) = j**2 - 9*j - 6. Suppose -2*t + 2 = -b + 7, 0 = -2*t + 4*b - 20. Suppose 4*c + 4*o + 16 = t, c + 4*o = o. Is 25 a factor of z(c)?
False
Let p be 1*(4 + 10/(-5))*6. Suppose 801 = -p*z + 15*z. Does 11 divide z?
False
Let v = -9749 - -10578. Is v a multiple of 8?
False
Let p be (-6)/4*100/(-6). Suppose 21*h - p*h = -128. Suppose 0 = f - h - 45. Does 11 divide f?
True
Suppose 0 = 2*w + 3*v + 194, -3*w + 58 = 2*v + 344. Let p = 83 + w. Let i(s) = 3*s**2 + 9*s + 6. Is 15 a factor of i(p)?
True
Let q = 535 + -535. Suppose 2*r - 5*u - 1431 = q, 1428 = 2*r - 0*r - 4*u. Does 15 divide r?
False
Let i be 6/(-2)*84/9. Let t = i - -30. Suppose -5*s = -6*s + 2*r + 18, 0 = t*r + 10. Is s a multiple of 5?
False
Does 7 divide (192/120)/((-2)/(-6055))?
True
Suppose 0 = -3*w - 4*k + 114, 3*w - 5*k - 43 = 98. Suppose 12*g - 13*g + w = 0. Is 3*(-4)/g - 1016/(-28) a multiple of 7?
False
Let g = -6553 + 10209. Is g a multiple of 8?
True
Suppose a + 876 = 6*a - f, 4*a = -4*f + 720. Suppose a = 65*z - 57*z. Is z a multiple of 2?
True
Suppose 4*d = -4*g + 24, -3*d + 4*d + 5*g = 10. Is d/(5/52) + -2 + 3 a multiple of 2?
False
Suppose 9 = 4*d + m, -5*d - 2*m + 10 = -d. Does 35 divide ((-40)/(-40))/(d/140)?
True
Let f = -95 - -214. Let l = f + -74. Is 11 a factor of l?
False
Let d(i) = 41*i**2 + 133*i - 2102. Is d(17) a multiple of 79?
True
Let m(x) be the second derivative of -x**5/20 - 3*x**4/4 + 7*x**3/2 - 17*x**2/2 - 23*x. Let n be m(-11). Does 12 divide n*(-11 - 3/(-1)) - -4?
False
Suppose -2*u = 10, 2*w - 5 = -0*w - u. Suppose -z = -r + 4 + 5, 4*z + 27 = -w*r. Is 4 a factor of 1 + 22 + 6/12*z?
False
Let n = 43 + -15. Suppose 0*f - 5*f + h = -102, 0 = -f + 4*h + n. Is (2 - -14)*f/16 a multiple of 3?
False
Let t(p) = 10*p**2 + 17*p - 8. Let j(s) = 5*s**2 + 8*s - 4. Let b(q) = 5*j(q) - 2*t(q). Suppose -5*r + 10*r + 10 = -5*g, -r + 2*g = -10. Is 6 a factor of b(r)?
False
Let z = -23 - -27. Suppose 0 = -3*o + 5*m - z, -3*o + 5*o - m = 2. Suppose 588 = o*k + 194. Does 33 divide k?
False
Suppose 3*z = 12, 5*z = -3*y + 2*z + 57. Suppose 2384 = -y*d + 6344. Is d a multiple of 22?
True
Let v(b) = 144*b**2 + 407*b + 11. Does 67 divide v(7)?
True
Is 11 a factor of 2/(-4) + (-5825)/(-2) + 3?
True
Let r(t) = 25*t**2 - 58*t + 26. Does 3 divide r(11)?
False
Let p(o) = o**3 + 19*o**2 + 17*o - 13. Let k be p(-18). Suppose d = 2*y - d, 2*d = -k*y + 14. Suppose -2*u + 46 = 4*f, 3*u = -f + 11 - y. Is f a multiple of 5?
False
Let g(s) = 8*s**2 - 25*s - 102. Let z(o) = -2*o**2 + 6*o + 26. Let i(q) = -2*g(q) - 9*z(q). Is 13 a factor of i(10)?
True
Suppose 383*o - 139700 = 373*o. Is 110 a factor of o?
True
Suppose 234*y - 3068 = 221*y. Is 11 a factor of y?
False
Let f = -11065 + 16571. Suppose 18*q - 794 - f = 0. Is 14 a factor of q?
True
Suppose 37716 = 4*r - 4*w, 2*w = -26 + 22. Is 121 a factor of r?
False
Let b(k) = -3*k**2 - 149*k + 121. Let h(s) = -4*s**2 - 222*s + 181. Let t(o) = 7*b(o) - 5*h(o). Does 65 divide t(26)?
False
Let m(o) = 20*o**2 - o + 526. Does 26 divide m(-21)?
False
Suppose 18*c = -5*c + 23920. Is 10 a factor of c?
True
Suppose 124*a = 2036052 - 135876. Is 12 a factor of a?
True
Let i be (-6 + 60/9)*3/2. Is 80 a factor of i*-3 - 963/(-1)?
True
Suppose -13*u = -17*u + 2*q + 7292, 2*u = 4*q + 3640. Is u a multiple of 38?
True
Let a = -349 + 352. Is 18 a factor of 3/(-3 - a)*-202?
False
Let a(l) = -86*l**3 - 21*l**2 - 184*l + 30. Does 22 divide a(-7)?
False
Suppose -2*g - 3 + 5 = -4*c, 4*c - 4 = 0. Suppose g*u = -3*m + 81, -6*u + u + 165 = -m. Is u a multiple of 9?
False
Let h(x) be the first derivative of x**4/4 - 31*x**3/3 + 59*x**2/2 + 6*x + 105. Does 5 divide h(29)?
True
Suppose 0 = -2*m + 6 - 0. Let x be 0 + (m - (-3 - -3)). Let v = x - -33. Is v a multiple of 5?
False
Suppose 5*m - g + 19 = -4*g, -3*m = g + 9. Does 3 divide (m - -2) + (-9 - -43)?
False
Suppose n - 5*d = -649, 3*n + 2056 = -3*d + 73. Let z = -346 - n. Is 66 a factor of z?
False
Suppose -3*m + 4 = 2*d, -5*m = -d - 2*m + 20. Suppose 13 = d*o - 59. Suppose -o*v = -369 - 126. Is 14 a factor of v?
False
Let h(l) be the first derivative of 14*l**3/3 - 27*l**2/2 - 8*l - 40. Does 10 divide h(-5)?
False
Let k(g) = g**3 - 2*g - 1. Let z be k(-1). Suppose -5*c = -25, z = -q + 2*q - 5*c - 3. Suppose -11*n + q = -10*n. Does 14 divide n?
True
Let p = 40 - 34. Let n be (-212)/1*-1 + 18/p. Suppose -4*m + 62 = -0*i + i, 0 = 5*i + m - n. Does 14 divide i?
True
Let t = -5861 - -13256. Suppose -t = -26*y + 9*y. Is y a multiple of 29?
True
Does 17 divide (135/(-75))/(33/(-59840))?
True
Let v be -5 + 12*60/(-9). Let p = 85 + v. Suppose p*i + 5*i = 520. Is i a multiple of 8?
True
Let a(x) = -x**2 - 13*x + 20. Let c = 11 - 25. Let q be a(c). Suppose -q*r + 0*r = -852. Is 15 a factor of r?
False
Suppose -3*m + 0 + 33 = -2*s, m - 16 = -s. Suppose 19*c - m*c = 4140. Is c a multiple of 30?
True
Let l = 16749 + -14621. Is l a multiple of 76?
True
Suppose -51*m = -33*m - 63558. Suppose -4*u + 1210 = -r - m, -3*r + 1169 = u. Is 37 a factor of u?
True
Suppose -7 = -2*r + 3. Suppose -r*a = -7*a - 8. Let c = a - -91. Is c a multi