 -3*k = 3*m - 165450. Is 33 a factor of k?
True
Suppose 0 = -n - 4*f + 6554, 34*f - 26151 = -4*n + 31*f. Suppose 70*a = 43*a + n. Does 32 divide a?
False
Let o be ((-1)/(-3))/(2/402). Suppose -o*p = 11748 - 44444. Is p a multiple of 51?
False
Suppose 108*r + 119*r = 80*r + 895671. Is r a multiple of 25?
False
Let p = 21 + 1123. Suppose 7*j - p = -j. Does 11 divide j?
True
Let r(v) = 167*v - 949. Is r(20) a multiple of 5?
False
Suppose 13*n - 10*n = -r - 8, 5*r + 2 = 4*n. Suppose -180 = 2*b + 3*b. Let m = r - b. Is m a multiple of 17?
True
Let p(j) = j**2 + 7*j + 9. Let h be p(-1). Let f = -295 + 443. Suppose -f + 523 = h*n. Is 25 a factor of n?
True
Is 24528*(-13 - (-40)/3) a multiple of 7?
True
Let f(x) = 64*x**3 + 5*x**2 + x - 4. Let w be f(4). Suppose -w = 390*a - 396*a. Is a a multiple of 12?
True
Let m = 30977 + -19682. Does 58 divide m?
False
Let d be 413/(-21) - 2/6. Suppose 285*y = 279*y + 444. Let l = d + y. Does 6 divide l?
True
Is 48 a factor of (-857014)/(-42) + (2926/147 - 20)?
False
Let d = 66 + 15. Let b(f) = -f**3 + f**2 - f - 31. Let j be b(0). Let a = d + j. Does 10 divide a?
True
Let n(o) = -o**2 + o + 93. Let a = 0 + 5. Suppose -2*c = -5*v - 4, -a*v = 3*c - 8 + 2. Is n(v) a multiple of 31?
True
Let w = -403 - -1072. Suppose -w = -2*o + 3*m, 4*o - 3*m - 1345 = -4*m. Is 8 a factor of o?
True
Suppose 4*d = 5*t - 241, 8*d - 3*t = 4*d - 239. Let l = d - -169. Is 11 a factor of l?
True
Let q = -2388 + 2412. Is q a multiple of 3?
True
Let a be -106 - (-1 - 0)/(-1). Let k(b) = 2*b**2 - 31*b + 292. Let u be k(13). Let q = u + a. Is q a multiple of 20?
True
Let h(b) be the second derivative of 1/6*b**3 + 0 + 63/2*b**2 - 11*b. Is 7 a factor of h(-24)?
False
Let z(l) = 4*l**2 - 14 + l**3 - 10*l - 4*l**2 + 0*l**3 - 11*l**2. Suppose -5*p = 12*p - 204. Is z(p) a multiple of 10?
True
Let d = 7258 + 12678. Suppose 33*o = 54784 - d. Is 44 a factor of o?
True
Suppose 0 = 31*m - 92894 - 52372. Does 9 divide m?
False
Let m(y) = -179*y + 27. Let t be m(-7). Suppose -134*s + 142*s = t. Does 40 divide s?
True
Let v = 12424 - -14317. Is 191 a factor of v?
False
Let h = 3831 - 2743. Is 16 a factor of h?
True
Let y(h) = 7*h - 1. Suppose 28 - 1 = -9*p. Let o be y(p). Does 12 divide o*(0 - -10)/(-5)?
False
Suppose -124*h - 53*h = -3586551. Does 58 divide h?
False
Let i(d) = -55*d**3 - d**2 - 6*d - 8. Is i(-4) a multiple of 23?
False
Let m(a) = a**2 + 38*a + 4. Suppose -5*g = t - 49, 7*t - 8*t - 41 = -5*g. Is 7 a factor of m(g)?
True
Is 15 a factor of 75004/10 + (-14)/35?
True
Let v(t) = -3*t - 63. Let j be v(-22). Is 6 + -9 + j/(-1) + 243 a multiple of 20?
False
Let o(c) = 17*c - 19. Let f be o(2). Suppose 0 = f*g - 36*g + 6300. Is g a multiple of 15?
True
Let f be (-32)/(-18) - 2/(-9). Let b(i) = 2*i**2 - 4*i + 4. Let q be b(f). Suppose q*o - 4*c - 532 = 76, 334 = 2*o + 4*c. Does 14 divide o?
False
Let z(a) = 107*a + 2078. Does 49 divide z(60)?
False
Let h = 65 - 78. Let m(u) = -11*u - 3. Let s be m(h). Suppose -s = -5*o + 260. Is o a multiple of 10?
True
Let a = -264 - -579. Let y = 635 - a. Is y a multiple of 80?
True
Let d be ((40/3)/2)/(4/78). Let j = 142 - d. Does 12 divide j?
True
Let h(p) = -9*p. Let s(m) = 2*m. Let c(l) = h(l) + 5*s(l). Let r(t) = -7*t + 42. Let b(n) = 6*c(n) + r(n). Is 17 a factor of b(-26)?
True
Let q be -5 + 21 + -2 + 2. Is (-6)/q*4*(-44)/3 a multiple of 11?
True
Let k = -269 - -274. Suppose -2*d + k*h = 15 - 137, -120 = -2*d + 4*h. Is 14 a factor of d?
True
Is 4 a factor of 344/(-15 - (-385)/25)?
True
Let y = 52849 + -18689. Is 14 a factor of y?
True
Let h = 100072 + -48696. Is h a multiple of 104?
True
Let i = -37151 + 53424. Is 57 a factor of i?
False
Let l be (9/2)/(2/36). Let w be (-9)/((-9)/8) + 1. Let y = l - w. Is 12 a factor of y?
True
Suppose -1232 = -12*i - 476. Suppose 2*g = -4*v + 20, 5*g - 5 = 5*v - 0. Suppose -i = -2*q - v. Is 3 a factor of q?
True
Let a(n) = 100*n**2 + 3*n - 44. Let i be a(-7). Suppose i - 1505 = 15*k. Does 37 divide k?
True
Let o(g) = g - 5. Let c be o(1). Let z be (-5)/(-15)*(c + 16). Suppose -219 = -z*s - 47. Is 43 a factor of s?
True
Suppose h + 2812 = 4*z, -101 - 3411 = -5*z + 2*h. Is z a multiple of 11?
True
Suppose 2*g = -1 + 1. Suppose g = -12*k + 752 + 1636. Is 50 a factor of k?
False
Suppose 122 = 7*k - 18. Let n = k + -23. Does 31 divide n*(0 + 124/(-6))?
True
Let n(s) = 16*s - 9. Let q be n(-4). Let v = q - -90. Suppose 2*i + v = 27. Is i even?
False
Let h(z) = -z - 8. Let o = 79 + -85. Let t be h(o). Is 3 a factor of (-476)/21*3/t?
False
Let h = 6 + -4. Suppose -l - 9 = 4*a - 359, 2*a - 160 = -3*l. Suppose 3*w + 5*f = 4*w - a, h*w = 4*f + 172. Is w a multiple of 7?
True
Suppose 4*u = -j + 646, -178*j - 1214 = -180*j + 5*u. Does 24 divide j?
False
Suppose 19*g = 11*g + 243936. Suppose -14*z = 19*z - g. Is 21 a factor of z?
True
Suppose 1054983 = 299*t - 548554. Is 117 a factor of t?
False
Suppose 2*m + 19*a = 24*a + 502, 0 = -2*m - 4*a + 520. Is m a multiple of 8?
True
Let k(z) = -6*z + 48. Let u be k(8). Is (2 - u) + (-6 - (-423)/3) a multiple of 14?
False
Suppose -3*m + 21 + 39 = 4*r, -5*m + 70 = 5*r. Is r/30 - 184/(-10) a multiple of 4?
False
Suppose -7*a + 235 = -2*a. Let w = a + -71. Is (w/36)/((-2)/69) a multiple of 11?
False
Let a(c) = 4*c**2 + 6*c + 3. Let q be a(-2). Let r(g) = 3*g - 19. Let y be r(q). Suppose 3*j - 214 = 4*o, -y*o = -3*j - 130 + 354. Does 26 divide j?
True
Suppose 0 = -3*z + f + 4667, -5*z - 2*f + 4*f = -7778. Suppose -z + 646 = -14*k. Does 3 divide k?
False
Suppose -18 = -12*s + 126. Is 14 a factor of (-1417 - 5)*s/(-18)?
False
Suppose -133*h + 29*h + 23608 = 0. Suppose 5*t - 5 = 5. Suppose 115 + h = t*r. Is r a multiple of 9?
True
Let k(l) = 2610*l - 1310. Does 235 divide k(9)?
False
Suppose 249*y = 4*r + 247*y - 1478, -r + 352 = -3*y. Is r a multiple of 52?
False
Suppose 7*i + w + 23 = 10*i, -4*i + 28 = -4*w. Suppose 5*y + i*u - 1390 = 10*u, 2*y = -u + 556. Does 18 divide y?
False
Let z = 110 + -2662. Is z/(-55) - (-6)/(-15) a multiple of 6?
False
Suppose -t + 530 + 359 = 2*c, 15 = 5*c. Suppose 77 = 4*v - t. Does 15 divide v?
True
Let n be -3*(1 + (3 - 5)). Suppose 2*l = -n*l + 5100. Suppose -9*w + l = -3*w. Is 43 a factor of w?
False
Suppose 48 = -21*o + 17*o. Is 32 a factor of ((o/(-16))/(-1))/((-1)/108)?
False
Let r(i) = 695*i - 8141. Is r(14) a multiple of 7?
True
Let t(s) = 5640*s**2 + 592*s + 6. Is t(2) a multiple of 20?
False
Let z(d) = -d**3 + 40*d**2 + 47*d + 15. Is z(41) a multiple of 9?
True
Suppose 2*a - 4*o - 7672 = 0, 4*a - 65*o - 15356 = -63*o. Is a a multiple of 12?
True
Let c = 21 + -12. Let y(h) = 15*h**2 - 12*h - 16. Let j(i) = -13*i**2 + 11*i + 14. Let a(p) = -7*j(p) - 6*y(p). Is a(c) a multiple of 17?
True
Let s(w) = -w**3 + 3*w**2 + 15*w - 7. Let r be s(-3). Suppose -m - 5*h + 521 = 0, -935 = -5*m + r*h + 1535. Does 27 divide m?
False
Let q(j) = -j**3 + 21*j**2 - 69*j - 658. Is 121 a factor of q(-16)?
False
Let j be (6/(-4) - -1)/(3/(-18)). Suppose 3*g = 5*r - 3772 + 322, -j*r = -4*g - 2059. Does 77 divide r?
True
Let j(r) = 4 - 2*r**2 - 4*r - 34*r + r**2 + 0 + 1. Is j(-29) a multiple of 22?
False
Let d(b) be the second derivative of 7*b**3/6 - 41*b**2/2 - 11*b + 2. Is 6 a factor of d(13)?
False
Suppose -5*g = -20, -20 = -3*h + 2*g - 7*g. Is h/(-5) - 11*-17 a multiple of 15?
False
Suppose 58*v = 74*v - 2368. Suppose -c - g = -105, -4*c + v = 3*g - 275. Is c a multiple of 42?
False
Suppose 10*j + x = 6*j - 293, -5*j = -x + 373. Let m(a) = 41*a - 3. Let i be m(3). Let r = j + i. Does 4 divide r?
False
Suppose -5*n = 2*t - 1340, -4*t - 868 + 3576 = -4*n. Is 27 a factor of t?
True
Let u be -2 + -1 + 36/18. Let s be (u - (-11)/9) + 194/18. Let i(v) = 3*v - 15. Is i(s) a multiple of 3?
True
Let v(f) = 4*f**3 + 2*f**2 - f + 11. Let w = -24 + 18. Let y(s) = 7*s**3 + 4*s**2 - 3*s + 21. Let u(m) = w*y(m) + 11*v(m). Is u(4) a multiple of 13?
False
Let u be 7/(35/(-40)) - -3. Let g be 10/6*(-18)/u. Suppose -g*k - 51 = -243. Does 32 divide k?
True
Let o(u) = -13*u**3 - 8*u**2 - 10*u - 4. Let y be (-12)/((-16)/(-4))*1. Is o(y) a multiple of 5?
True
Let w(i) = -12*i + 114. Let y be w(-41). Suppose t = 2*h + y, -3*h - 5 = 7. Does 13 divide t?
True
Suppose 0 = 3*l - 9, -o - o - 5*l + 69 = 0. Let u = 21 + o. Does 12 divide u?
True
Is (-36175