ue
Let s = -751 + -725. Let n = 2714 + s. Is 20 a factor of n?
False
Let f(r) = -45*r**2 - 2*r - 2. Let z be f(-1). Let g = 46 + z. Is (-7 + 3)*g + 49 a multiple of 15?
True
Let j(s) = -8*s + 125 - 147 - 3*s**2 + 6*s**2. Does 31 divide j(-5)?
True
Suppose -3*i = -u - 28216, -2*i - 60*u = -63*u - 18792. Is i a multiple of 49?
True
Let i(j) = 11*j - 20. Let k(o) = -34*o + 59. Let v(r) = -7*i(r) - 2*k(r). Let u be v(-8). Suppose -246 = -2*q - u. Is q a multiple of 19?
True
Suppose 1719*t = 1818*t - 294921. Is t even?
False
Suppose 0 = -318*f + 312*f + 14124. Is f a multiple of 38?
False
Let c(n) = -489*n**3 + n**2 - 4*n - 14. Does 10 divide c(-3)?
True
Let n be (-86)/(-12) + 10/(-60). Suppose 0 = -5*a - 15, 2*a + 297 = 2*x + n*a. Is 39 a factor of x?
True
Suppose 33*f = 28*f + 20. Suppose -z = -f*z. Suppose -2*b + z*x - 5*x = -99, -4*b + 128 = -4*x. Is 5 a factor of b?
False
Let n = 8380 - -16339. Is 25 a factor of n?
False
Let x(b) = b**2 + 9*b + 20. Let n be x(-6). Let y be (1/((-14)/7))/(n/(-20)). Suppose y*c = 7*c - 120. Is 4 a factor of c?
True
Let k(u) = 6*u**2 - 101*u - 1444. Does 141 divide k(85)?
False
Let z = 15883 - 11480. Is z a multiple of 7?
True
Let j be -7 - ((3 - -950) + 0). Does 6 divide (-8)/(-16)*-1*j?
True
Suppose 0 = 5*x - 46 - 94. Suppose 29*j = x*j + 3. Suppose -59 + 5 = -j*z. Is z a multiple of 6?
True
Suppose -2*h = -7*h + 105. Let i = h + -18. Suppose -64 = -4*z + i*z - 2*l, 3*l + 39 = z. Does 18 divide z?
True
Suppose v = -5*i + 5*v + 40, 4*i + v = 53. Does 24 divide i/32 - (-2 + 3605/(-8))?
False
Let g = -7 - 75. Let s = -36 - g. Suppose 44*a = s*a - 32. Is 11 a factor of a?
False
Let y(t) = 2*t**2 + 55*t + 8. Let s be y(-24). Let u = -107 - s. Is u a multiple of 4?
False
Let k(t) = -t**3 - 4*t**2 + 7*t + 5. Let g be k(2). Is 20/(g - (-194)/38) a multiple of 10?
True
Let v(g) = -720*g - 10. Let p(k) = 240*k + 3. Let c(j) = 17*p(j) + 6*v(j). Let m be c(-3). Suppose 0 = u + w - 4*w - 147, -m = -5*u + 3*w. Is 41 a factor of u?
False
Let k(s) = -10*s - 108. Let f be k(-11). Suppose -z + 533 = f*n - 2380, n + 2*z = 1458. Is n a multiple of 112?
True
Let i(d) = 36*d**2 + 11*d - 74. Is 21 a factor of i(-17)?
True
Let w(j) = 86*j**2 - 22*j + 26. Let y be w(-5). Let i = y - 719. Does 16 divide i?
False
Let c(z) = -97*z**3 + z**2 - 14*z - 8. Does 64 divide c(-4)?
True
Let n = -41 - -50. Suppose -7*q + 12 = -n. Suppose 0 = 4*s - 4, 2*r + 4*s = -q*r + 194. Does 6 divide r?
False
Let p(m) = m**3 + 4*m**2 + 2. Let g be p(-4). Let h be 6/45*1*3*305. Does 34 divide h*g*(-7)/(-14)?
False
Suppose 57768 = 14*q + 5827 - 92665. Is 103 a factor of q?
False
Let n be 2/(2*3/(-36)). Let a = -2 - n. Suppose -15*v + a*v = -385. Is v a multiple of 17?
False
Let c(n) = -n**2 - 23*n + 50. Let h be 0 + 1 + 3 - (0 + 27). Let i be c(h). Let k = i + 8. Is k a multiple of 6?
False
Let z(w) = 43*w**2 - 99*w + 20. Does 44 divide z(8)?
True
Suppose -3*t - 21021 = -5*w + 2*w, 2*w + 3*t - 13999 = 0. Does 34 divide w?
True
Let h be -4 + (6 - 0) - (-111 + 0). Let k = h - 110. Does 4 divide (-12)/(6*k/(-24))?
True
Suppose -371 = -2*w + 221. Suppose o - w = -o. Is o a multiple of 37?
True
Let z(q) = 47*q**2 + 15*q - 42. Let n(v) = v**3 - 11*v + 12. Let p be n(3). Is z(p) a multiple of 104?
False
Let o = 138 + -85. Suppose -3*u + 68 = o. Suppose -3*y = 4*k - 440, -u*k + 34 = 9. Is 28 a factor of y?
True
Suppose -19*r + 86*r - 237248 = -32496. Is 19 a factor of r?
False
Suppose 18*p = 14*p. Suppose p = 4*a, 3*s = 4*a - 2*a - 126. Let g = -20 - s. Is 15 a factor of g?
False
Let f(o) = 12 + 10*o - 50 - o**2 + 17 + 4 + 11*o**3 - 5*o. Does 12 divide f(4)?
False
Suppose -5*y = w - 2*y - 12861, -w + 12859 = y. Does 16 divide w?
False
Let t(h) = -h**3 + 21*h**2 - 22*h + 30. Let f be t(20). Let o = 37 + f. Is o a multiple of 3?
True
Is 11 a factor of ((-210)/49)/(12/(-7980))?
False
Let i(u) = 2*u**2 + 2 + 3*u**2 - 4*u - 2 + 7*u**2 + 9 + 10*u**3. Is 63 a factor of i(4)?
False
Let o(q) = -q**2 - 4*q - 4. Suppose 2*j - 12 = 4*f, -4*j = -2*f + 7*f + 28. Let a be o(j). Suppose -5*m + 404 + 71 = a. Is m a multiple of 24?
False
Suppose -120*b = 93*b - 171*b - 423570. Is 17 a factor of b?
False
Suppose -4*c + 3*r + 66449 - 20963 = 0, -5*r = -4*c + 45490. Suppose 43*q = 2390 + c. Is 19 a factor of q?
False
Let v(u) = 2*u**2 + 9*u + 21. Let g be v(-12). Let r = g - 122. Is r a multiple of 11?
False
Suppose -37*k + 44*k = 23814. Suppose -7*h = 2*h - k. Is h a multiple of 50?
False
Let j(r) = 5*r**3 + 6*r**2 + 2*r - 4. Let v = -338 - -341. Is j(v) a multiple of 13?
False
Let j = 26939 + -15028. Is j a multiple of 67?
False
Let f be 1/3*(-12 + 15). Is f/2*(-71 - -1551) a multiple of 74?
True
Suppose 6 = -10*n - 654. Let o = 45 - n. Does 5 divide o?
False
Let x = 197 - 192. Suppose 144 = y + 3*f, x*f = -y + 4*f + 148. Is y even?
True
Suppose -3*t - 11705 = -4*z, -2*z = -t - t - 5850. Suppose z - 865 = 5*d + 3*a, 2*a - 1239 = -3*d. Is 19 a factor of d?
False
Let m be (0 + 1)/(17/306). Suppose 47*x + m = 45*x. Does 12 divide (-3 + x)/3 - -102?
False
Let y(s) = s**2 + 19*s - 34. Let l be y(-21). Does 12 divide (-12 - (-39809)/88) + (-3)/l?
False
Let u(k) = 31*k**2 - 18*k + 450. Is 87 a factor of u(12)?
True
Let b(l) = -l**2 - l + 585. Let p = 73 + -73. Is 15 a factor of b(p)?
True
Suppose -q - 5*h + 106 = q, -4*h = -q + 53. Let u = q - 48. Suppose 0 = -2*k - u + 53. Does 6 divide k?
True
Suppose -2*b + 57*m - 62*m + 789 = 0, -5*m + 1553 = 4*b. Does 16 divide b?
False
Let f be 4 + 2 + 1 + -2. Suppose 3*p + 2 = f*s + 295, s + 200 = 2*p. Does 2 divide p?
False
Let g(a) = a**3 - 7*a**2 - 10*a + 14. Let l be g(8). Does 5 divide -22 + 26 + (-296)/l?
False
Suppose -4 = 2*h, f + 0*h - h = 4. Let i(m) = -4*m - 4*m**f - 2 + 2*m**3 + 13 - 8. Does 19 divide i(5)?
True
Let o = 15877 - 7399. Is o a multiple of 18?
True
Let g = -44 + 33. Let t = g + 27. Does 35 divide ((-477)/12)/((-4)/t)?
False
Let n = 174 + -169. Suppose 9*j - 5*h - 27 = 8*j, -4*j = n*h - 158. Is j a multiple of 20?
False
Let d(x) = 388*x + 202. Is d(6) a multiple of 81?
False
Let h(d) = -3*d - 164. Let l(x) = -x - 55. Let s(f) = 3*h(f) - 8*l(f). Let z be s(-10). Let q = 86 + z. Is q a multiple of 11?
True
Let s(a) = 8*a + 40. Let m be 4 + (-12)/2 + (-2 - -7). Does 13 divide s(m)?
False
Let k be (-3)/6 + (-204)/(-8). Suppose -5*r = 6*c - 11*c + k, 5*c = 4*r + 25. Suppose r = 2*s - a - 112, -s + 2*a = -2*a - 70. Does 18 divide s?
True
Let k = 7 - 2. Suppose 0*w = -k*w + 5*i - 30, -5*i + 23 = 2*w. Let m = 166 + w. Does 9 divide m?
False
Let m(g) = 65*g - 621. Does 24 divide m(48)?
False
Let y be (61/61)/(1/(-2)). Does 24 divide 608*(1/y + 30/24)?
True
Let k be (-4)/16*(-2 - 18). Is k/15*-1*9 - -30 even?
False
Let s = 110 + -108. Is 798/14 + s/((-4)/6) a multiple of 18?
True
Suppose 805 = 3*n + 5*s, -2*s - 287 = -n + s. Let m = 418 - n. Is m a multiple of 13?
True
Let v = -12386 - -20148. Is 13 a factor of v?
False
Let a(y) = y**2 + 9*y - 41. Let q(c) = -5*c + 20. Let f(v) = 4*a(v) + 9*q(v). Does 2 divide f(2)?
True
Let t be 95/19 - 2/1*-206. Let x = 838 - t. Is 8 a factor of x?
False
Let s be 25/50*(-1 - -1) + -241. Let j = s + 571. Is 37 a factor of j?
False
Let q(k) = k**2 + 7*k - 18. Suppose -5*d - 20 = -3*d. Let j = d + -5. Does 15 divide q(j)?
False
Let h(b) = 409*b - 32. Let j be h(5). Let q = -1032 + j. Is q a multiple of 32?
False
Let l be ((-1)/3)/(44/(-22044)). Suppose -2*r + l = 5*p, 5*r - 265 = -2*p + 184. Is 3 a factor of r?
False
Suppose -176 = 482*w - 493*w. Suppose -2290 = -w*m + 110. Does 18 divide m?
False
Let q(c) = 4 + 8*c + 8*c**2 + 9*c**2 + 4*c - 18*c**2. Let d be q(9). Suppose -u + d = -22. Does 27 divide u?
False
Let l(z) = z + 3. Let g(k) = -5*k - 33. Let a(y) = 3*g(y) + 24*l(y). Is a(11) a multiple of 18?
True
Let x = 47904 - 27708. Is x a multiple of 108?
True
Let c(z) = 4775*z - 251. Is 28 a factor of c(7)?
False
Let w(p) = 2*p**2 - 20*p + 7. Let d be w(10). Suppose -18*t + 99 = -d*t. Is 4 a factor of (0 + 456/t)*81/36?
False
Is 32/(-4 - 0) + (-29540)/(-7) a multiple of 26?
True
Let h(l) = 28*l + 197. Let z(c) = -28*c - 193. Let u(k) = -5*h(k) - 6*z(k). Is 18 a factor of u(4)?
False
Let h(i) = 41*i**2 + i + 9. Let o be h(-3). Let r = o - 167. Does 15 divide ((-2)/1)/(-2 - r/(-105))?
True
Suppose -29*r =