 = -t - 48. Let x = -4 - 88. Let r = t + x. Does 12 divide r?
True
Is (1007 + 0)/(98/196) a multiple of 38?
True
Let i be 6/9*2*12. Is 9 a factor of (-20)/i*66*12/(-10)?
True
Let j(i) be the second derivative of 33*i**4/4 + 5*i**3/6 - 5*i**2/2 - 7*i. Is 10 a factor of j(1)?
False
Let a be (-2)/5 + 49/35. Suppose 3*g + a - 4 = 0. Is (-1)/(3/(-21)) + g a multiple of 4?
True
Suppose t = -3 - 9. Is (-3)/t + 190/8 a multiple of 12?
True
Suppose r + 304 = 9*r. Let k = r + 134. Is k a multiple of 52?
False
Let j(r) = r**2 + r. Let t(z) = -z**3 + 11*z**2 + 9*z - 10. Let m(d) = -2*j(d) + t(d). Is m(6) a multiple of 28?
True
Suppose 0 = 180*l - 184*l + 1904. Is l a multiple of 34?
True
Suppose 4 = -4*c + 4*x, 3*x - 2 - 1 = -5*c. Let b = -1 + c. Does 4 divide 3/(3/(-12) - b)?
True
Let u(b) = -7*b + 57. Let r(n) = -7*n + 56. Let w(v) = -3*r(v) + 2*u(v). Is 25 a factor of w(22)?
True
Let a(u) = -2*u. Let b be a(-1). Let d(v) = 6*v**b + 5 - 2 - 2*v + 4*v + 0*v. Does 29 divide d(3)?
False
Suppose 2*g = 2, 9*g - 11*g = p - 348. Does 18 divide p?
False
Let o = 35 - 18. Is 2 a factor of (9/(-3) - 1) + o?
False
Suppose s + 45 + 100 = 2*b, 3*b + 4*s = 234. Suppose b = -4*d + 6*d. Let w = d - 15. Is 21 a factor of w?
False
Let k = 6 + -26. Suppose -3*m - 1 = -97. Let d = m + k. Is d a multiple of 6?
True
Let q be (72/45)/((-1)/(-25)). Suppose f - 5 = -5*w + 24, 5*f = -4*w + q. Let g(u) = -u**3 + 7*u**2 - 5*u + 2. Does 9 divide g(w)?
True
Suppose -17*f + 12*f = 285. Let a = f - -132. Does 25 divide a?
True
Let v(x) = -x + 40. Suppose 2*j - 2 = -14. Is v(j) a multiple of 5?
False
Let m = 203 + 373. Is m a multiple of 16?
True
Suppose 1702 = 24*r - 794. Does 52 divide r?
True
Suppose 7*g - 2210 = 415. Is g a multiple of 5?
True
Is -4 - -3 - 4*73/(-2) a multiple of 29?
True
Let j be (1 + 0)/((-7)/(-7)). Suppose -2*c - j = -7. Suppose c*d = -d + 148. Does 11 divide d?
False
Suppose 0 = -l + 5, -8*w = -5*w - 5*l - 290. Is 7 a factor of w?
True
Let k = 58 - 47. Suppose -c + 17 + k = 0. Is c a multiple of 14?
True
Suppose 3*u - 7*u = 16. Let k be ((-54)/(-8))/((-1)/u). Suppose 4*m - k - 85 = 3*b, -3*b = 5*m - 140. Is m a multiple of 15?
False
Suppose 68370 = -4*f + 57*f. Is 13 a factor of f?
False
Let a(b) = -b**3 + b**2 - b. Let o be a(2). Let r be o/(-9) + 1056/9. Suppose 0 = 3*p + 4*v - r, -3*p = -p - 4*v - 92. Does 14 divide p?
True
Is ((-4)/(-6))/(36/1998) a multiple of 8?
False
Let x(c) = c + 11. Let g be x(-3). Suppose 4*r + g = 0, 3*s + r + 2*r - 99 = 0. Does 7 divide s?
True
Let g be (3/6 - 2)*(-70)/21. Suppose a = -2, 60 = -g*o + a + 437. Is o a multiple of 25?
True
Let n(r) = -r**3 + 2*r**2 - r + 3. Let o be n(3). Let l = o + 23. Let g = 20 - l. Is g even?
True
Let f(x) = 5*x**2 + 8*x + 8. Let o be f(-5). Suppose -o = -3*q - 0. Is q a multiple of 5?
False
Let y = 65 - 60. Let u = 1 - -5. Suppose -y*z - 24 = -u*z. Is z a multiple of 5?
False
Let a be (-12)/21 + (-120)/(-14) + -2. Is 28/a + -4 + (-10)/(-3) a multiple of 4?
True
Suppose -s - 5621 = -3*c, 3*c + 30*s - 27*s - 5601 = 0. Does 13 divide c?
True
Let x = -48 - -57. Suppose 10*d = -5*p + x*d + 1498, -4*d - 8 = 0. Does 29 divide p?
False
Suppose -4*j + 5736 = 4*j. Suppose -j + 60 = -9*l. Is l a multiple of 10?
False
Suppose 5 = d, -4*d = -q - d + 1749. Is q a multiple of 14?
True
Let z = 1368 - 438. Is z a multiple of 30?
True
Let z = -362 + 648. Does 75 divide z?
False
Suppose 1194 = 3*l - 360. Is l a multiple of 42?
False
Let u = -294 + -32. Let m = -146 - u. Does 45 divide m?
True
Let d(r) = r**3 + 6*r**2 - r - 6. Let t be d(-6). Suppose 4*s - 200 + 20 = t. Suppose -5*u - s = -135. Is 6 a factor of u?
True
Let m = -1319 - -1541. Is m a multiple of 12?
False
Let d be 8490/135 + (-1)/(-9). Suppose d*y - 124 = 62*y. Is y a multiple of 18?
False
Suppose 0 = -3*n + 197 + 22. Let w = 133 - n. Is 26 a factor of w?
False
Suppose -8*b = -9*b + 2. Suppose -n = 2*g - 95, -2*n + g + 169 = -b*g. Is 15 a factor of n?
False
Suppose -u - 4*y + 39 = 0, 2*u - 5*y = 7*u - 180. Let o be 8/(-2) + u/(-7). Let j = o + 41. Is j a multiple of 6?
False
Let d(i) = -4*i - 1. Let l be d(-1). Let b(c) = 0*c**2 + 4 + 6*c + 8*c**2 - l*c. Is b(-2) a multiple of 10?
True
Let q(o) = -o - 4. Let s be q(-7). Suppose -6 + s = -t. Is 19 a factor of (-40)/t*(-3)/2?
False
Is 23010/(-156)*(-48)/5 a multiple of 82?
False
Let q = -223 - -327. Let n = q - -69. Is 16 a factor of n?
False
Suppose -2*u + 924 = 5*u. Is u a multiple of 4?
True
Let v(k) = 4*k - 6. Let z(c) = -c + 2. Let t = 8 + -11. Let d(q) = t*v(q) - 8*z(q). Is d(-13) a multiple of 18?
True
Suppose 4*t - 266 = -22. Suppose 2 + t = w. Does 17 divide w?
False
Suppose -7171 = -4*x + 1985. Is 7 a factor of x?
True
Let c(x) = x**3 - 5*x**2 - 6*x + 3. Let l be c(6). Let o(f) = -l - 3 - 1 + 3 + 2*f. Is 3 a factor of o(4)?
False
Let d be (24/30)/((-4)/(-10)). Suppose -3*v = 3*a + 6, -d*v + a - 4*a = 6. Suppose v = 4*y - 19 - 1. Is y even?
False
Let h be (-286)/(-2) + 26/(-13). Suppose 4*w + h = 2*v + 55, v - 5*w - 55 = 0. Suppose -3*i - 2*i + 60 = 2*r, 2*i = -3*r + v. Is i a multiple of 4?
False
Let i(k) = 11*k**2 - 5*k - 1. Let g(q) = -q + 3. Let f(j) = j**2 - 3*j + 1. Let d be f(4). Let h be g(d). Is i(h) a multiple of 11?
False
Let o(a) be the second derivative of -a**5/60 + 3*a**4/4 + 2*a**3 - 7*a**2/2 - 6*a. Let c(b) be the first derivative of o(b). Does 19 divide c(15)?
True
Let a(q) be the third derivative of q**5/30 + 3*q**4/8 - 5*q**3/3 - 24*q**2. Suppose -3*i + 0 - 9 = 0, -2*g - i = 17. Is 15 a factor of a(g)?
False
Suppose -32 = -4*d - 3*x - 396, 0 = 2*d - 2*x + 196. Suppose -l + 3*l - 3*z + 282 = 0, 3*l = -3*z - 438. Let t = d - l. Does 25 divide t?
True
Let f = -229 + 328. Let n = 122 - f. Is n a multiple of 9?
False
Let b(d) = 36*d + 102. Is b(21) a multiple of 26?
True
Suppose 23*n - 2038 - 998 = 0. Is 11 a factor of n?
True
Suppose -s - d - 121 = 0, 36 = -5*s - 3*d - 571. Does 5 divide 8/36*-3 + s/(-3)?
True
Let w = 7 - 9. Let x be 4/6*(-9)/w. Suppose -4*n - 3*t + 125 = 0, 0*t - 78 = -x*n + 3*t. Is 29 a factor of n?
True
Let v = 1051 - 997. Is 18 a factor of v?
True
Let j(v) = 19*v - 108. Is 5 a factor of j(12)?
True
Suppose -4*x = -2*l + 12 + 26, 4*l = 4*x + 80. Suppose l = -h + 24. Is (-2)/h + (-78)/(-9) a multiple of 8?
True
Suppose 3*s = 3*y - 209 + 770, 4*s = -y + 738. Is 12 a factor of s?
False
Is 4 a factor of (0 + 106)*((-1470)/28)/(-35)?
False
Does 12 divide (-16)/((-128)/(-24)) - -33*11?
True
Is (-3 - -1) + (-19)/((-38)/468) a multiple of 19?
False
Let c(f) = 23*f - 24. Let r be c(7). Suppose 2*h - 427 = -r. Is 26 a factor of h?
False
Suppose -2*y + 40 = 4*f, 3 = f - 1. Suppose 0*q - y = -4*q. Suppose q*s - 2*c = 108, 0 = -4*s + 2*c - 0*c + 146. Is 8 a factor of s?
False
Let h(g) = -g**2 - 6*g + 24. Let d(k) = -k**2 + 11*k - 17. Let a be d(10). Is 17 a factor of h(a)?
True
Suppose 4*p = v + 20891, -8*v + 7*v = -5. Is 158 a factor of p?
False
Let w = 27 + -23. Suppose -94 - 142 = w*o - 4*c, 2*o + 3*c + 143 = 0. Is 21/(-28)*1*o a multiple of 16?
True
Is 2 a factor of -2 + 4 + 27/3?
False
Suppose -60 = -y + 5*y. Let q = 35 + y. Suppose 3*c + 49 = 2*i + 123, 5*i + q = 0. Is 11 a factor of c?
True
Suppose -51567 = -54*v + 67233. Is 22 a factor of v?
True
Let u be ((-8)/(-6) - -2)*12. Suppose 2*v - 14 = -a, 0*a - 4*v = 4*a - u. Suppose w + a*l - l - 19 = 0, -2*w = 5*l - 58. Does 10 divide w?
False
Suppose -5*o = 2*x - 1492, 0 = -5*o + 16 - 6. Is 30 a factor of x?
False
Let d be 1/2*-1*-80. Let u be -2*(3/(-2) + 0). Suppose -u*n + 4*n = d. Is 10 a factor of n?
True
Is ((-6)/(-5))/2 - (-18718)/245 a multiple of 10?
False
Let z be 1/(-3) - 119/3. Let j be z/6*24/(-20). Suppose j*p = 3*p + 360. Does 18 divide p?
True
Suppose 4*a = -2*z + 2218, -8*a = -11*a + 3. Does 26 divide z?
False
Let n(b) = 26*b**2 + 2*b. Let o = 7 - 5. Let w be n(o). Suppose 0*u = -3*u + w. Is 15 a factor of u?
False
Suppose 7*q = -19*q + 1508. Is q a multiple of 29?
True
Suppose 0*v - 4*q = -3*v - 28, v + 5*q = -3. Does 18 divide (-1906)/(-9) + v/(-36)?
False
Suppose -f = 3*j + 9, -f - 17 = -5*j - 48. Suppose -300 = v - f*v. Suppose -6*o - v = -180. Is 8 a factor of o?
False
Let r = -75 + 75. Suppose 0 = i + 5*n - 308, r*n - n = -i + 284. Is 36 a factor of i?
True
Let p = 407 + 218. Suppose 2*a - 4