p = -5*d - 12919 - 15636, 5*p - 28539 = -3*d. Does 39 divide p?
False
Let x = -6327 + 14926. Does 89 divide x?
False
Let y = -14049 - -15605. Is 16 a factor of y?
False
Let n = 3335 - -881. Is n a multiple of 2?
True
Let x(w) = -432*w - 6980. Is 23 a factor of x(-87)?
False
Let m(x) = 17*x**3 + 11*x**2 - 21*x + 12. Does 9 divide m(5)?
False
Let t(p) = 2*p**3 + 6*p**2 - 2*p - 3. Let g be t(-3). Is 39 a factor of (2178/(-15))/(g/(-10))?
False
Let c(u) be the second derivative of 2*u**4/3 - u**3/3 + 6*u**2 + 2*u + 82. Does 7 divide c(-7)?
False
Let n be (21/(-9))/(2/(-12)). Suppose -9*z = -4*z + 310. Let l = n - z. Does 7 divide l?
False
Let f(u) = -u**3 - u**2 - 3*u + 4. Let s be f(-5). Let x = s + -256. Let n = x + 230. Is 18 a factor of n?
False
Suppose 0 = -0*p - 16*p - 128. Is -11*(p + 1/1) a multiple of 44?
False
Let q(g) be the first derivative of g**2 + 28*g - 4. Let i be q(-13). Is 6 a factor of (16/(-4) - -5)/(i/114)?
False
Let a = -245 - -250. Suppose -a*m + 2700 = 15*m. Is 5 a factor of m?
True
Suppose -5*a = -4*a - 2*n - 45, 0 = 3*a + 3*n - 135. Let p be (6/(-10))/(a/(-50))*6. Suppose 2*f = -4*z + 452, -p*z + 584 = 3*f + 134. Is z a multiple of 38?
True
Let f be (-8)/(-6)*4815/(-30). Let i = f + -12. Does 40 divide (4 - i) + (0 - -3)?
False
Suppose t + 2116 = 3*u, -3*u = -5*u - 4*t + 1406. Suppose r = 2*p + 516, r - 5*p = u - 198. Is 15 a factor of r?
False
Let b(p) = -p**2 + 19*p + 2. Let n be 36/(-36)*1/(2/(-38)). Let t be b(n). Is 53*(-9)/(-6)*t/3 a multiple of 14?
False
Let l = -5229 + 7644. Suppose i - l = -6*i. Suppose -102 = -x + 4*d, -3*x + 3*d = 4*d - i. Is 19 a factor of x?
True
Let u(b) = 195*b**3 - 5*b**2 - 8*b + 17. Is u(2) a multiple of 3?
False
Is 27 a factor of 10958/4 + 1 + -1 - 1242/(-2484)?
False
Let d(u) = u**3 + 22*u**2 + 3*u + 13. Let r be d(-22). Let x = 431 + r. Is 27 a factor of x?
True
Let d = 52 + -52. Suppose 3*f - 3*l - 30 = d, 2*f + 19 = 3*f - 4*l. Suppose 8*z - 24 = f*z. Is z a multiple of 6?
True
Suppose 2*m - 46801 - 22971 = 42362. Is m a multiple of 33?
True
Suppose 0 = -9*u + 9 + 9. Suppose 2*j - 2*l - 450 = 0, -u*l = -l - 2. Is 88 a factor of j?
False
Suppose 1542*m - 57267 = 1533*m. Is m a multiple of 74?
False
Suppose -3*k + 5*k + 314 = 0. Let z = 212 + k. Does 2 divide z?
False
Suppose k + 5 = 5*y, -6*k = 4*y - 5*k - 13. Suppose -q = g - 779, 1538 = 4*g - 2*g - 3*q. Suppose y*p + 192 = b, 5*b - p = b + g. Is 7 a factor of b?
False
Suppose -x = -3*y + 3675, 2*x - 3755 = -3*y - 89. Suppose -h + 7*h = y. Let i = 379 - h. Is i a multiple of 35?
True
Suppose -25*p - 56 = -256. Suppose -p*t = -33*t + 18675. Does 19 divide t?
False
Suppose 0 = s - 3*z - 9, 4*z - 5 = s - 17. Let p be -3 + 11 - (s + 3). Suppose 0 = -3*m + p*u + 113, -3*u + 274 = 5*m + 97. Is m a multiple of 4?
True
Suppose 3*n - 2*n + 20 = -5*l, -l - 3*n = -10. Let w = l + 76. Suppose -2*b - w + 183 = 0. Is b a multiple of 7?
True
Suppose t + 553320 = -29*t + 320*t. Does 6 divide t?
True
Let h = -2395 - -2403. Suppose 0 = -5*u + a + 192, 4*u + 5*a - 85 - 57 = 0. Suppose -6*n + h*n = u. Is n a multiple of 19?
True
Let k(r) = r**3 + 18*r**2 - 19*r + 2. Let n be k(-19). Is -7 - (2 - 1024)/n a multiple of 21?
True
Let t be 1 + (-1 - 1) + 2. Let c be (0/t)/(2 + -5 + 4). Suppose c = -0*n - n + 34. Is n a multiple of 10?
False
Is 3/(-2)*130*-3*3*3 a multiple of 27?
True
Let q(g) = -13*g + 11. Let n(a) = -13*a + 11. Let o(f) = -5*n(f) + 6*q(f). Let l be o(-7). Suppose 0 = -w + 7*w - l. Does 4 divide w?
False
Let c(s) = s**3 + 4*s**2 + 5*s - 4. Let x be c(-5). Let r = x - -24. Is 296/7 - r/(-105) a multiple of 21?
True
Let s be -2 + -1 + 9/3. Let o(b) = b**3 - b**2 - 3*b - 5. Let x be o(s). Is (-4)/(10/x) - -106 a multiple of 23?
False
Let z be (-80)/8 + (-12)/(-2) + -3. Let q(r) = r**3 + 23*r**2 - 8*r + 10. Is q(z) a multiple of 29?
False
Suppose -3*n - 26 = 3*h + 10, 5*n - 40 = 5*h. Let g(f) = -23*f + 10. Let d be g(h). Let k = d - 28. Is k a multiple of 31?
False
Let u(g) = g**2 - 19*g - 23. Suppose 0 = -7*j + 120 + 20. Let n be u(j). Is (43 - n) + (-6)/9*-6 a multiple of 4?
False
Let d = 10 - 6. Suppose 3*z + 168 = d*z. Suppose -z = -a - 6*a. Is a a multiple of 2?
True
Suppose 0 = 2*h - 4*u, h - 2*h - u + 3 = 0. Suppose -3*z - 2*a = -169, -a - 174 = -3*z + h*a. Let o = z + -45. Does 3 divide o?
True
Suppose 280*u - 4827630 = -75*u - 3*u. Is u a multiple of 29?
True
Suppose 799 = 8*o - 6*o - 5*k, 0 = 4*o - 2*k - 1622. Let b = -118 + o. Is 12 a factor of b?
False
Suppose 1487 = u - d, u = -3*u - 5*d + 5930. Is 15 a factor of u?
True
Let s = -39 + 48. Suppose 0 = 4*x - s*x + 10. Suppose 2*h - x*a + 5*a = 153, -345 = -5*h + 5*a. Is 18 a factor of h?
True
Let v be (-14)/(-35) + (1 - (-114)/15). Suppose v*n - 1211 = -122. Suppose 89 = 2*t - 3*u, -n = 2*t - 5*t + 2*u. Is 9 a factor of t?
False
Let c(n) = 415*n + 974. Is 37 a factor of c(17)?
True
Let r = 13828 - 4023. Is 185 a factor of r?
True
Let z = 18204 + -15810. Is 171 a factor of z?
True
Suppose 3*k - 6112 = 258*v - 263*v, -3672 = -3*v - 3*k. Is 5 a factor of v?
True
Suppose -560 = 2*y + 58. Let r be (y/(-9))/((-10)/60). Let t = r - -407. Is t a multiple of 20?
False
Let a = -15000 + 16857. Is a even?
False
Suppose -4*n - 2412 = -4*z, z - 2*n = -4*z + 3012. Suppose -z - 160 = -3*o. Is o a multiple of 20?
False
Let q(c) = 236*c**2 - 2*c + 76. Is q(5) a multiple of 19?
True
Let h be ((-82)/(-123))/((-2)/(-15)). Suppose -1930 = -h*v + w, -5*v - 7*w + 11*w = -1930. Is 52 a factor of v?
False
Let k(c) = -4*c - 10. Let t be k(-6). Let o be 3/(3/(-27)*(-6)/t). Let v = -43 + o. Is 10 a factor of v?
True
Suppose -4*u + 2*u + 13952 = 4*g, u - 3*g = 7001. Is u a multiple of 44?
False
Does 2 divide (18516/20)/((-36)/(-180))?
False
Let o(l) = 104*l**2 - 19*l - 129. Is o(8) a multiple of 5?
True
Let c = -41 + -40. Let y = 321 + c. Does 24 divide y?
True
Suppose 32*j - 329539 = -147*j. Is 94 a factor of j?
False
Suppose -3 = 5*u + 12, -3*l - 5*u = 1509. Let b = -261 - l. Is 19 a factor of b?
False
Let l be 3 - (10 + -10)/(2 + -1). Suppose l*q = q + 4*t + 16, 4*t = -4*q - 4. Does 4 divide q*5*(-190)/(-25)?
True
Let g(o) = -1563*o - 3948. Is g(-7) a multiple of 9?
True
Let w(v) = -3*v + 43. Let c be w(9). Suppose 0 = c*a - 1247 - 3265. Is a a multiple of 8?
False
Suppose 98*r + n = 94*r + 11242, -2809 = -r - n. Is 98 a factor of r?
False
Suppose 0*c = 17*c - c - 54000. Is c a multiple of 25?
True
Let k be -5 - (-2 + -6 - -9). Let c(y) = -156*y - 288. Is 18 a factor of c(k)?
True
Let k(z) = 24*z**2 + z + 2. Suppose u + 5*f + 18 = 0, 3*u - 4*f = 4*u + 14. Let g be (-4)/5*(-5)/u. Is 23 a factor of k(g)?
False
Suppose -1411776 = 156*s - 285*s. Does 19 divide s?
True
Suppose -3*n = -4*c - 3493, -2*c + 68*n - 63*n = 1729. Let p = c + 1460. Is p a multiple of 11?
True
Let i(m) = m**2 + 24*m - 44. Let z be i(-26). Suppose 12*o - z*o = 2040. Is 15 a factor of o?
True
Does 138 divide (6 - 54550)/(-8) + 14/2?
False
Let a = -22 + -36. Let k = a + 25. Does 48 divide k*132/(-90) - 2/5?
True
Let i = 24869 + 18941. Does 118 divide i?
False
Suppose -4*z + 64 = 3*f, 7*z = -2*f + 2*z + 52. Is 25 a factor of (46 - f)/(2/10)?
True
Suppose b - 13318 = h, 3*b + h = 5175 + 34787. Is 53 a factor of b?
False
Suppose 14034 = 34*w - 11092. Let n = -269 + w. Does 40 divide n?
False
Let l(y) = 21*y + 20. Suppose 70 + 92 = -9*k. Let r be l(k). Is 12 a factor of ((-16)/24 - r/(-30))*-5?
False
Suppose -4*b + 6 = -14. Does 25 divide (-54)/((-6)/(-9)*(-3)/b)?
False
Suppose -19692 = -27*t + 504. Is t a multiple of 44?
True
Suppose 17*l + 755 = 5634. Let o = l - 52. Does 16 divide o?
False
Let m(x) = -x + 15. Let h be m(15). Suppose 3*s = -5*g - 130, 184 = -4*s - h*g - 4*g. Is (0 - s/7)/((-2)/(-14)) a multiple of 25?
True
Let w be (7 - 30/4)*8/2. Does 7 divide 216 + (-1)/w*0 + -2?
False
Suppose 72*y + 15 = 75*y, -3*y = -3*u + 3903. Is 18 a factor of u?
False
Let k = 331 - 138. Suppose 4*t - k = -73. Let u = t - -45. Is 18 a factor of u?
False
Suppose 13 = 10*l - 37. Suppose 0 = 3*f + 2*f - 3*q - 36, -l*q = 10. Does 7 divide 41 - (-1 + 0 + (3 - f))?
False
Suppose -3*n = 2*w - 12, -2*w + 18 = w - 4*n. Let f(i) = 4*i**2 - 13*i + 5. Let h be f(w). Let k = -24 + h. Does 15 divide k?
False
Let g(u) = -40*u - 91. Let b be g(-7). Let f = b + 147. I