
False
Let p = -3846 + 3862. Is p a multiple of 2?
True
Let y = -21 - -27. Let s = 1 + y. Does 15 divide (-30)/(-105) - (-194)/s?
False
Let d(l) = 5*l**2 + 498*l + 1493. Let v be d(-3). Let q(k) = 28*k - 4. Let h be q(4). Suppose -48*a = -v*a - h. Does 14 divide a?
False
Let i = 59 + -58. Let b be (58/6)/(i/72*-2). Let t = -196 - b. Is t a multiple of 38?
True
Let v = -18657 - -27196. Is 45 a factor of v?
False
Let x(g) = 18*g**3 + 17*g**2 + 9*g - 39. Does 131 divide x(9)?
True
Let g(i) = 11*i - 21. Let n be g(-20). Let v = n - -357. Does 29 divide v?
True
Let r(q) = -3*q**3 - 2*q**2 - 5*q + 4. Let k = 82 - 86. Does 23 divide r(k)?
True
Suppose 0 = -4*i - 2*p + 22, 5*p - 10 = 12*i - 13*i. Suppose -i*g - 3*g - 24 = 0. Is -18*-10*((-18)/8)/g a multiple of 16?
False
Suppose -11*v - j = -8*v - 4300, 0 = 5*v + 5*j - 7160. Suppose 3*d = -3*t + v, 4*d = 16 - 0. Does 94 divide t?
False
Suppose -202*x - 5*j - 5108 = -203*x, 4*x = 3*j + 20432. Is x a multiple of 28?
False
Let j = 6655 + -4717. Does 19 divide j?
True
Let f(w) be the second derivative of -w**3/3 + 17*w**2/2 - 16*w. Let i be f(7). Does 13 divide 30/(-8) + i - 1004/(-16)?
False
Let x be 201/7 - 6/(-21). Suppose 3*v + x = s, 4*s + 3*v = 3 + 53. Suppose s*k - 12*k = 530. Does 12 divide k?
False
Let a(r) = r**2 + 3*r + 30. Let m(x) = -3*x + 57. Let i be m(14). Is a(i) a multiple of 10?
True
Let a be 6*1*23/6. Let c be 1 + -1 - a/((-23)/1458). Suppose -5*i - y = y - c, 4*i = -3*y + 1165. Is i a multiple of 28?
False
Let d = 293 - 111. Let j = d + -2. Is j a multiple of 18?
True
Let u be ((8 - 5)/3)/((-2)/(-10)). Suppose 370 = -2*z + w + 1528, -u*z - w + 2902 = 0. Is 43 a factor of z?
False
Let j = -643 + 434. Let r = 625 + j. Is r a multiple of 32?
True
Suppose 340 = 4*r + r. Suppose 5*t + 15*t - 1140 = 0. Let v = r - t. Does 11 divide v?
True
Let x(z) = -4*z + 364. Let s be (4 + 2)*1 + -6. Is x(s) a multiple of 13?
True
Let v = 35 + -6. Let w = 37 - v. Suppose w*f - 496 = 4*f. Does 31 divide f?
True
Let z(f) = f**2 + 24*f - 2. Let m be z(-21). Let o = 80 + m. Suppose 0 = 5*b + o, -x = -3*b - 24 - 3. Is x a multiple of 3?
True
Is 7 a factor of (((-1724)/(-6))/1)/((-81)/((-61236)/24))?
True
Suppose b = -10*m + 5*m + 24894, 5*m - 5*b = 24870. Does 176 divide m?
False
Suppose 0 = -3*n - 9 - 3. Is 37 a factor of (42 - n) + -6 - (-1 + 4)?
True
Suppose 15*t - 18932 = 3343. Is t a multiple of 11?
True
Suppose -o - 1 = 2*s - 0, 4*s + 5*o = -5. Does 61 divide 1/(s - -3)*3660/5?
True
Let j = 313 - 14. Suppose -4*s = -5*s + j. Suppose -3*t + y + s = 0, 0 = -3*t + 4*y + y + 307. Is 32 a factor of t?
False
Suppose 0 = -10*h + 5*h + 15. Suppose h*n - 5*n + 22 = 0. Is 8 a factor of 220/n - (-8)/2?
True
Suppose -17 = -5*d - 22. Let q be d*3/9*-849. Suppose 2*b - q = 233. Is 40 a factor of b?
False
Let m = 749 - 249. Let j = m + -336. Does 17 divide j?
False
Let i = 16117 + 1977. Is 166 a factor of i?
True
Is 8 a factor of 64/(-3)*(-20)/(400/2115)?
True
Does 25 divide 2268 - (12/9 - (-125)/(-15))?
True
Let s(l) be the third derivative of 7*l**6/60 - l**5/60 - l**4/12 - l**3/2 - 3*l**2 - 24. Does 30 divide s(3)?
True
Suppose -384*z + 198*z + 1997268 = 0. Is z a multiple of 14?
True
Suppose -13*a + 1162 + 2094 = -956. Is a a multiple of 10?
False
Is 2 - 6 - 1 - (-43140)/24*14 a multiple of 37?
True
Let z = 7 + -12. Let g be (-16)/(-40) + 12/z + -35. Let q = g + 66. Is 14 a factor of q?
False
Let m(f) = 4*f**3 - 8*f**2 + 5*f - 7. Let r be 4 - ((1 + 4 - 3) + -134). Let p = 141 - r. Is m(p) a multiple of 14?
False
Suppose -3*o + 5 + 25 = 0. Let k(b) = b - 17. Let d be k(o). Is 30 a factor of (d - -7) + (-168)/(-2)?
False
Let c(g) = 0*g + 347*g**2 - 2*g - 68*g**2 - 8 - 5*g. Does 51 divide c(-1)?
False
Let b(p) = 502*p - 140. Is b(13) a multiple of 103?
True
Let x = -16 - -35. Let u(q) = 1. Let r(y) = y**2 - 14*y - 13. Let h(j) = r(j) - 6*u(j). Is h(x) a multiple of 19?
True
Let s = 141 + 434. Suppose 2*j = -4*i + 242, 0*i - 5*i - s = -5*j. Does 9 divide j?
True
Let n be ((-198)/(-44))/(1/(-2)). Is 3 a factor of (-669)/n*(1 - -2)*1?
False
Let p(l) = 3*l - 37. Let y be p(14). Let v = 35 - y. Is (-10)/v + 1160/6 a multiple of 25?
False
Let p be (68/(-85))/((-2)/5). Is 3 + p + (-4136)/(-22) a multiple of 20?
False
Suppose -156*t = -163*t + 42070 + 25179. Is 48 a factor of t?
False
Let m(g) = 17*g**2 + 38*g - 17. Let a(b) = 15*b**2 + 33*b - 16. Let r(d) = 7*a(d) - 6*m(d). Let x(s) = -3*s - 3. Let n be x(-2). Is 5 a factor of r(n)?
False
Let z(m) = m**2 - 124*m + 5262. Is z(122) a multiple of 12?
False
Let l(x) = 1. Let a(w) = -3*w + 25. Let y(i) = a(i) + l(i). Let z be y(8). Suppose 480 = 2*t + z*t. Does 24 divide t?
True
Suppose -18*f + 16*f + 6 = 0. Is 4 a factor of -41*(-4)/f*3/2?
False
Let n(h) = -2*h**2 - 3*h + 142. Let t(p) = p**2. Let z(c) = -n(c) - t(c). Is 46 a factor of z(19)?
True
Let a = -4029 + 7562. Does 12 divide a?
False
Suppose -k + 0 = -10. Let v = 652 - 453. Suppose k = -3*r + v. Is 21 a factor of r?
True
Let k be 10/((20/(-5))/(-496)). Suppose 34*o = 44*o - k. Is 8 a factor of o?
False
Suppose 0 = -5*p - 70 - 60. Let f = p - -66. Let l = f - -64. Is l a multiple of 52?
True
Let r(y) = y + 2. Let n be r(3). Suppose 6*j - 9*j + n*m = -1354, -2*j + 888 = 4*m. Does 32 divide j?
True
Suppose -39*t + 40*t = 2. Is 26 a factor of (124/5)/(t/115)?
False
Suppose -150287 = -42*l + 44693 + 38372. Is 13 a factor of l?
False
Suppose -u - 25 + 1 = 5*v, -3*u + 3*v = 0. Let h be u/1 + 7/(28/16). Suppose h = 3*p - 89 - 40. Is 12 a factor of p?
False
Let b = -3162 + 9060. Does 29 divide b?
False
Suppose 28*t = 23*t + 1065. Let h = t + -168. Is 5 a factor of h?
True
Suppose 12 + 14 = 4*f + 5*b, -5*b - 10 = -5*f. Suppose -18*l = -22*l + 3*s + 221, f*l - 219 = 5*s. Is 7 a factor of l?
True
Suppose -k - 4 = -u, u - 3*k = -0*k + 12. Is 32 a factor of 38/(-95) + 1926/15 + u?
True
Let q(d) = d**3 + 13*d**2 + 10*d - 14. Let h be q(-12). Let o(a) = -14*a**2 - 5*a + 69*a**2 + 8 - h. Does 38 divide o(-2)?
True
Let b = 503 - 237. Is b a multiple of 2?
True
Let c(i) = -i**2 - 22*i - 46. Let z be c(-13). Suppose -3*n + 3*q + 456 = 0, 3*q + 375 = 2*n + z. Does 8 divide n?
True
Suppose -8*o + 28 = -o. Suppose -o*n = -3*n + 2, -n = 2*q - 34. Does 8 divide (6/q)/(1/159)?
False
Let k(p) = -211*p + 12. Let r be k(-4). Let b = 2356 - r. Is b a multiple of 60?
True
Suppose -54*z + t = -3*t - 378198, 5*z = t + 35024. Is z a multiple of 20?
False
Let w = 48 - 93. Let i = w - -44. Let u(b) = 79*b**2 - b. Is u(i) a multiple of 16?
True
Let j = -176 - -199. Is (-6)/5*j/(92/(-600)) a multiple of 18?
True
Suppose -2*a = 2*h - 9 - 7, 0 = 3*h + 2*a - 22. Suppose h*s - 3104 = -10*s. Does 18 divide s?
False
Suppose -264*g = 178*g - 584766. Is 3 a factor of g?
True
Let q = 31972 - 15556. Does 342 divide q?
True
Let z = -5290 - -7560. Is 10 a factor of z?
True
Suppose -5*t - 2*y = -781, 772 = 5*t + y - 2*y. Let d = t - -15. Suppose d = 4*i - 278. Is 9 a factor of i?
False
Suppose 4*k + 13*c - 17820 = 11*c, 2*c = 0. Is k a multiple of 165?
True
Suppose 12*f = -10*f + 88. Suppose 2*n = k + 98, -244 = -n - f*n + 2*k. Is 4 a factor of n?
True
Suppose 2*b = -2*b + 4*n - 1284, 3*n - 6 = 0. Let p = 187 + b. Does 33 divide (-2*3/12)/(1/p)?
True
Let s(v) = 2*v**2 - 9*v - 57. Is 85 a factor of s(57)?
False
Let x(o) = 45*o + 47. Let n be x(10). Let i = n + -308. Does 7 divide i?
True
Let x = -141 - -99. Let v = x + 231. Is 13 a factor of v?
False
Suppose 9*i + 14*i - 39835 - 27900 = 0. Is i a multiple of 19?
True
Let d(f) = 6*f**3 - 3*f**2 - 20*f + 80. Does 31 divide d(10)?
True
Let g(v) = 278*v**2 - 27*v - 5. Let q(k) = 1528*k**2 - 148*k - 28. Let i(l) = 28*g(l) - 5*q(l). Is i(2) a multiple of 17?
True
Suppose v + 2*o = -58, -35 = 2*v + 2*o + 79. Let y = v - -66. Suppose -y*k - 4*k = -1512. Does 17 divide k?
False
Let z = 11435 - 5631. Is z a multiple of 17?
False
Let p = 2761 + -1941. Is 10 a factor of p?
True
Suppose -5*x = 4*s + 16, s - 6*s = -x - 9. Does 20 divide (38/114)/(s/327)?
False
Is (-391 + 1)*(5 - 11) a multiple of 39?
True
Suppose -533 = -6*u - 539. Does 33 divide ((-4)/12 + u)*297/(-6)?
True
Suppose -18226 = -24*g - 9268 + 50802. Is 30 a factor of g?
True
Suppose 3*z - d - 100074 = 19131, z = 5*d + 39735. Does 204 divide z?
False
Suppose 0 = 39*