 -3*k + g = k - 52. Suppose -a = 2*s + 5, -4*a = -5*s - 8 - 37. Is 80/(k/3) - (s - -3) a multiple of 11?
True
Let q = 11979 - 11121. Is 189 a factor of q?
False
Let r = 1120 + -580. Let p = -284 + r. Does 64 divide p?
True
Suppose 4*p + 180 = 4*x, p = -5*x - 0*p + 225. Suppose 3*z - 306 = -x. Let v = -57 + z. Does 4 divide v?
False
Let i(a) = a**2 - a + 1. Let g(r) = 8*r**2 - 32*r + 29. Let j(x) = g(x) - 5*i(x). Suppose -55 = -5*m + h, -11 = -2*m - h + 4. Is j(m) a multiple of 6?
True
Let g(s) = 419 + 200 - s**3 + s - 158 + 2*s. Let i be g(0). Suppose 7*f = i + 799. Does 30 divide f?
True
Let w = 185968 - 128178. Does 63 divide w?
False
Let a = -3854 - -4166. Is 18 a factor of a?
False
Let o = -26 + 18. Let r(d) = d**3 + 6*d**2 - 19*d - 18. Let t be r(o). Suppose t*i - 3*i - 186 = 0. Is i a multiple of 15?
False
Let y = -1637 + 1641. Let t(q) = -q**2 - 3*q + 4. Let b be t(-3). Suppose 2*x + 46 + 102 = y*v, -b*v + 154 = -5*x. Does 9 divide v?
True
Does 13 divide 804/48*2*172?
False
Let x(c) = 40*c + 24. Suppose q = -3*u - 3*q + 18, 3*u = q + 18. Is x(u) a multiple of 44?
True
Let l be 3 + (-4 - -4) + 9. Suppose -5*y - 4*u - l = -0, 3*y = 2*u + 6. Suppose y = 5*o - 256 + 86. Is o even?
True
Let r = 35 - 35. Suppose r = 6*u + 1478 + 1558. Let f = 718 + u. Does 20 divide f?
False
Let v = -239 - -242. Suppose -2*s + 2*i + i + 1610 = 0, 2*s + v*i = 1622. Is s a multiple of 101?
True
Let w = 123072 - 81328. Is 13 a factor of w?
False
Let u = 89 + -78. Let q = -143 + u. Let c = 198 + q. Is 33 a factor of c?
True
Let j be (-6)/4*((-40)/(-6))/(-5). Suppose 5*f - 3*f = l - 2, -j*l = 2*f + 26. Let p(d) = -d**3 - 6*d**2 - 16*d - 10. Does 41 divide p(l)?
True
Let w = -7 + 61. Let g be (2/(-2))/((-7 + 1)/w). Suppose g*o = 5*o + 188. Is o a multiple of 9?
False
Let m be (36/45)/(0 - 3/(-1545)). Suppose 15*w + 4*q = 10*w + m, 3*w - 244 = -4*q. Does 3 divide w?
True
Suppose 39223 = 55*j - 27217. Is 18 a factor of j?
False
Let m = 160 - 136. Suppose -4*s + 4*l = -84, s - l - 3*l = m. Is s a multiple of 8?
False
Let v = -18047 + 25082. Is v a multiple of 67?
True
Let k = 2456 + -367. Let z = k + -1360. Is 11 a factor of z?
False
Let a(z) = -641*z + 236. Is a(-2) a multiple of 66?
True
Suppose -2100 = -5*d - 5*x + 5490, -3*x + 1522 = d. Suppose -2*f - 456 = -d. Suppose 12*k = -26 + f. Does 5 divide k?
False
Let b(t) = -9*t + 24 + 2*t + 39 - 8. Let d be b(7). Suppose -d*a + 59 = -5*a. Is 31 a factor of a?
False
Suppose 2*j = 5 + 9. Suppose 4*z - 3*o = 6*z - j, 0 = 5*z + o - 37. Suppose -z*l + 1410 = -3*l. Is 47 a factor of l?
True
Let l = 144637 + -102319. Does 56 divide l?
False
Suppose 2 = -2*t - 5*o, 2*o = -3 - 1. Let r be (0 + 0)/(t/(-2)). Does 38 divide -3 + r + 5 - -105?
False
Let o(r) = -383*r - 11. Let f be o(-1). Let m = f - 163. Is 20 a factor of m?
False
Let n = 551 - 1047. Let k = n + 592. Is k a multiple of 4?
True
Does 165 divide (-36)/8*15/(-6)*178676/285?
False
Suppose 3*u = 2*o - 43, 0 = -4*u + 4*o - 64 - 0. Let d(m) = 3*m**2 + 30*m - 6. Does 5 divide d(u)?
False
Suppose -n + 2*g = 65, -15*n - 2*g + 179 = -18*n. Suppose -3*a = 341 + 1. Let h = n - a. Does 19 divide h?
True
Let y(u) = 230*u - 1180. Is y(31) a multiple of 35?
True
Let t = -4175 + 4550. Does 3 divide t?
True
Let h(d) = -104*d**2 + 4*d + 7. Let p be h(4). Let x = p + 2313. Does 28 divide x?
True
Let j(p) = -255*p + 1555. Is 10 a factor of j(-39)?
True
Let c(l) = -25*l - 207. Let v be c(-8). Is 3/v + 33984/63 a multiple of 45?
False
Let j = 2758 + -564. Suppose 0 = 4*r - 2*z - j, 15 = 3*z + 2*z. Suppose -r = 117*n - 122*n. Does 11 divide n?
True
Is (1 + 5141)*(-131)/(-393) a multiple of 4?
False
Does 12 divide -228*(-13)/390*(-1640)/(-4)?
False
Suppose -24443*l + 24435*l + 16 = 0. Suppose 5*d - 3 - 22 = 0. Suppose -3*u - l*u - 10 = 0, 266 = d*a - 3*u. Is a a multiple of 4?
True
Suppose 13*b - 2*b = 22. Suppose 5*t - z - 188 = 0, -b*t - 117 = -5*t + 2*z. Is 4 a factor of t?
False
Let y = 1316 - -2556. Is y a multiple of 5?
False
Let y(c) = -6*c**2 - 2*c**3 - 15*c**2 + 38 + 20*c**2 + 85. Does 13 divide y(0)?
False
Let i(h) = h**2 + 15*h + 8. Let r be i(-8). Let d = 46 + r. Let b(l) = -22*l - 3. Does 11 divide b(d)?
False
Suppose g + 4*g - 3*y - 2255 = 0, 5*y - 479 = -g. Suppose 0 = 4*k + 2*a - g, 2*a - 11 = -1. Is k a multiple of 7?
False
Let x = 373 + -373. Suppose -31*c - 2*k = -28*c - 1896, -5*c + 5*k + 3135 = x. Is c a multiple of 14?
True
Suppose -3*z = -12*z + 27. Let r(i) = 4*i - 2*i + 2 + i**z + 35*i**2 - 25*i**2. Is r(-4) a multiple of 9?
True
Let j = 33 + -31. Suppose j*z - 243 = 51. Suppose 4*q - z = 77. Is q a multiple of 14?
True
Let t = 29 + -26. Suppose 0*y - 3*y = t*h - 1368, -2*h - 1848 = -4*y. Suppose 2*d - 345 = n - 4*n, d = -4*n + y. Does 33 divide n?
False
Let l = -52 + 51. Let s be (2040/(-45))/(l/(-3)). Let u = -15 - s. Does 18 divide u?
False
Suppose f - 3295 = -3*x + 2469, -x + f + 1924 = 0. Is 3 a factor of x?
False
Let d be (55/11 - 26/6)*6. Suppose -3*g = 4*m - 646, d*m - 2*g - 656 = -0*m. Is 5 a factor of m?
False
Let s = 44700 - 11188. Is s a multiple of 71?
True
Suppose n = -5*b - 1145, 2*n - 2*b = -1352 - 914. Let w = -780 - n. Does 39 divide w?
False
Let a(z) = 8*z**2 - 38*z - 152. Is 22 a factor of a(-29)?
True
Let c(d) = 288*d - 24. Let r be c(1). Is (4 - -1) + 13/(78/r) a multiple of 7?
True
Let y(h) = -52*h - 2466. Is 3 a factor of y(-48)?
True
Suppose -3*n - 28*r = -23*r - 13063, -n = -5*r - 4401. Is n a multiple of 98?
False
Let j(f) be the second derivative of f**5/10 + f**4/24 + 13*f**3/3 - 11*f**2 - 35*f. Let c(x) be the first derivative of j(x). Does 31 divide c(6)?
True
Let v be (40/100)/((-3)/(-2820)). Let b = 1260 - v. Is b a multiple of 13?
True
Is 111 a factor of 10 + (-2 - 1 - -4)*35621?
True
Let v = -140 - -149. Does 18 divide 4/v - (-316)/18?
True
Suppose -12822 - 23578 = -5*m. Suppose -19*v = -6*v - m. Is 56 a factor of v?
True
Suppose 0 = -5*m + 3*x + 4724, -4*m + 3775 = -12*x + 9*x. Does 3 divide m?
False
Let k = -5051 + 16079. Is k a multiple of 10?
False
Suppose -20*f + 34*f - 38962 = -9*f. Does 22 divide f?
True
Let c(f) = -5*f - 1. Let g be c(-1). Suppose 2*o + 90 = -g*o. Is 7 a factor of (-2)/o*6*35?
True
Is 14 a factor of 635 + 1 + -7 + 1?
True
Suppose 17 + 46 = 3*p. Let l = p - -18. Is 5 a factor of (5 + l/(-9))/((-1)/(-12))?
False
Let s = -355 + 381. Suppose -30*d + s*d + 412 = 0. Is 3 a factor of d?
False
Let k(i) = 87*i - 4597. Does 14 divide k(53)?
True
Let q(u) = -249*u + 7153. Is 4 a factor of q(13)?
True
Suppose -2935*o + 1332775 = -2901*o + 138355. Does 13 divide o?
False
Suppose 5*r + 1164 = 2*v - 766, -4*r = -v + 1544. Let j = -557 - r. Is (796/18 + 38/j)/2 a multiple of 20?
False
Let n(q) = 59 - 20*q**2 - 17*q - 18*q + 17*q + 2 - q + q**3. Is 9 a factor of n(21)?
False
Let a(v) = -3*v + 22. Let b be a(7). Let r(o) = 152*o + 3. Let u be r(b). Is 13 a factor of (0 - -4)/(-2) - (0 - u)?
False
Is 22 a factor of (-3)/((43/(-258))/(110/18))?
True
Let r be (-138)/(-10) - 1*2/(-10). Suppose -5*t - r = 11. Is (93 - 9)*((-5)/2)/t a multiple of 6?
True
Let w = -308 - -308. Suppose -5*x + w*x - 4*f + 2903 = 0, -4*f + 1154 = 2*x. Is 32 a factor of x?
False
Suppose 2*c + 51 = 55. Suppose -3*f + c*w - 275 = -916, -1067 = -5*f + 3*w. Suppose -4*k + f = 51. Does 10 divide k?
True
Is (180968/(-28))/(-2) + (-413)/(-49) + -8 a multiple of 16?
True
Let k = 54542 + -13140. Does 169 divide k?
False
Suppose 13*h - 24*h = 1551. Let x = -90 - h. Is x a multiple of 3?
True
Let a = -568 - -2528. Suppose 117*q + a = 131*q. Is q a multiple of 28?
True
Let f be -65 - (1/2 + 9/6). Let k = 116 - f. Suppose 0 = -3*v + 3*a + k, -3*a = 5*v - 405 + 108. Is v a multiple of 12?
True
Let s(a) = -36*a - 1366. Let d be s(-38). Let b = 5 - -2. Suppose 300 = -d*c + b*c. Is 12 a factor of c?
True
Suppose -48*h + 4728 = -36*h. Suppose h = 5*k + 234. Is k a multiple of 4?
True
Let l(i) = -3*i**2 - 8*i - 4. Let x be l(6). Let w = -5444 + 5328. Let p = w - x. Is p a multiple of 11?
True
Let l(r) be the first derivative of -3*r**4/4 - 5*r**3/3 - 7*r**2/2 + 8*r - 44. Is 13 a factor of l(-3)?
True
Let g(f) = -22*f - 10. Let u = 35 + -35. Let y be (u - 4/(-1))/(-2). Does 13 divide g(y)?
False
Let r be 2*-14*(-1)/4. Suppose -15*o = -r*o - 224. Suppose -o*z + 31*z - 