 w + 5*w = -28540, o + 5*w - 7117 = 0. Does 9 divide o?
False
Suppose 2*q - x = 4752, -7*x - 11878 = -5*q - 5*x. Does 40 divide q?
False
Let i(l) = 18*l**2 - 61*l + 14. Let t = 476 - 472. Is 2 a factor of i(t)?
True
Suppose 68 = 2*o - o. Let s = o + 32. Is 10 a factor of s?
True
Let s(a) = -17*a + 15. Let b be s(-14). Let j be (-978)/9*(-6)/(-4). Let f = b + j. Does 15 divide f?
True
Suppose 0 = 5*h - 5*v - 18445, -18418 = -5*h + 5*v - 9*v. Is h a multiple of 19?
True
Suppose -11*r + 6488 = 493. Let s = 230 - r. Is 4/(-16) - (s/4)/3 a multiple of 26?
True
Let g(p) = 1473*p - 35. Let m be g(2). Suppose -3*k + 2187 = 3*u, -4*u + k + m = 15. Is 25 a factor of u?
True
Let x(l) = 10*l + 313. Let c be x(-31). Suppose -w + c*z = -29, -3*w + 58 = -z - 69. Does 11 divide w?
True
Let t(q) = -2*q + 6*q + q + 6 - 9*q. Suppose 3*n + 3*u + 48 = 0, -2*n + n = -3*u. Is t(n) a multiple of 6?
True
Let p = -11038 - -17023. Is 5 a factor of p?
True
Is 16 a factor of (36/(-15) + 3 - 1)*(-9430675)/466?
False
Suppose -3*h + 13729 + 20036 = -3*k, -3*h - 4*k = -33779. Is h a multiple of 27?
False
Let a(q) = 3*q + 8*q - 5*q**3 + 25 - 13 + 11. Does 66 divide a(-5)?
False
Let t = 2511 + -6. Does 75 divide t?
False
Suppose i = 5 - 3, -2*w + 1116 = -i. Suppose 4*q - 101 - w = 0. Is 27 a factor of q?
False
Let k(s) = 5*s**2 - 2. Let n be k(1). Let u(v) = -4*v**2 - v**3 + 5*v**3 + 11*v - 5*v**n + 5*v - 3. Is u(-7) a multiple of 8?
True
Suppose -5*n + 2*n + 4511 = 2*k, -5*k - 3*n = -11264. Suppose -2404 = -19*d + k. Does 16 divide d?
False
Let p = 3545 + -1445. Does 12 divide p?
True
Suppose -s - 4*a - 209 = -5*a, 2*s - 4*a = -426. Suppose 2*b + 82 + 112 = -2*q, -q - 97 = -2*b. Let x = q - s. Does 35 divide x?
False
Let a = 5 + 0. Suppose -5*i - a = 0, -2*m - 3*i = -0*i - 27. Let q = m - -25. Is 40 a factor of q?
True
Suppose 2*z = -3*b + 5382, -b = -3*z - 2156 + 362. Does 26 divide b?
True
Is 3 a factor of 4462 - -4 - (-54)/(-13 - -31)?
False
Let u(r) = -8*r + 76. Let a be u(-19). Let m = -204 + a. Is 2 a factor of m?
True
Suppose 0 = 3*u - 12, u + 10 = -z + 7. Let c = 0 + -1. Is c + (4 + -5)*z a multiple of 6?
True
Suppose -2*k + 601 = -1325. Is k a multiple of 2?
False
Let v(t) = -3509*t - 1060. Does 127 divide v(-3)?
False
Is 17 a factor of 12 - (-4 - 7012) - (-9)/(18/(-16))?
False
Let m be (-31 - -11)*((-3)/2)/3. Suppose 55 = -m*c + 15. Is (-692)/c*1 - 2 a multiple of 11?
False
Let o be (24 - 19)*((-981)/15)/(-1). Let h = -191 + o. Does 7 divide h?
False
Let g be (-63)/(-27)*36/21. Let a(z) = 20*z**3 + 5*z**2 - 8*z - 2. Is a(g) a multiple of 34?
True
Suppose 281 + 9232 = 4*w + 5*d, 0 = w + 2*d - 2382. Suppose -5*z + 772 + 2212 = x, 4*z - 3*x = w. Let b = z - 281. Is b a multiple of 45?
True
Let a be 6/(-39) - (-6)/39. Suppose 4*t - 1488 = 5*q, a*t = -5*t - 3*q + 1897. Does 13 divide t?
True
Suppose m - 35 = -2*y + 36, -y = -2*m + 142. Let w(c) = m + 3*c + 7*c - 106. Is w(10) a multiple of 20?
False
Let h(f) = -4*f + 56. Let m be h(13). Is 4 a factor of (66 + -2)/(m + -3)?
True
Does 4 divide (2424/27)/((-262)/(-50697))?
True
Suppose 3*m = 5*o + 4319 - 1452, 4*m - o - 3851 = 0. Does 44 divide m?
False
Let x = -30 - -48. Let u = 45 - x. Suppose -71 = -g + u. Is g a multiple of 30?
False
Is ((-14081)/6)/(22/(-264)) a multiple of 14?
False
Let f be 11*(26/26 + 18/(-22)). Let k be 60/3*8/10. Suppose -f*t = -8 - k. Is t a multiple of 12?
True
Let s be 6 + -1 + 2 + (-10)/2. Suppose 10*x = 14*x + s*j - 1190, 580 = 2*x + 4*j. Is 75 a factor of x?
True
Let l be 4 + -4 - (-3)/(6/(-44)). Let q be l*(-6)/36 - 2/3. Suppose -q*a + 3*f + 2*f = -499, 2*a - 338 = -2*f. Is a a multiple of 11?
False
Suppose -8*y + 438 = 518. Does 17 divide (-3064)/y + (-24)/60?
True
Let w(n) = 607*n - 2762. Is w(60) a multiple of 20?
False
Let g be (-6 + 6)*4/8. Suppose g = -29*b + 5485 + 14119. Is b a multiple of 17?
False
Suppose 44*k + 3556 = 32552. Does 2 divide k?
False
Let p(b) = 40*b - 57. Suppose 7*o = 4*o - 108. Let i be o/(-9)*(-6)/(-4). Does 25 divide p(i)?
False
Let o = 656 - 608. Is (o/(-20))/(3/(-250)) a multiple of 20?
True
Let l = 27 - 35. Let f = 8 + l. Suppose 3*z - 3*r = 66, f = 3*z + 3*r - 10 - 32. Does 9 divide z?
True
Let x(h) = -196*h**3 - 4*h**2 + 5*h + 6. Let f be x(-2). Suppose f = 23*l - 1212. Does 5 divide l?
True
Suppose 5*t - 44 = -4*y, 4*y + 14*t = 12*t + 32. Does 21 divide (-3 + y)*(24 + 4)?
True
Suppose -3*w + 5*i - 236 = -1058, 281 = w - 4*i. Suppose -158*g - 112 = -186*g. Suppose -w = -g*c + 243. Does 17 divide c?
False
Suppose 21*i - 28 = 25*i. Is (6 + -5)*i/(14/(-160)) a multiple of 2?
True
Let z(k) = k**2 - 9*k + 13. Let t be z(7). Let q = 33 - t. Suppose 9*b - 8*b = q. Is 7 a factor of b?
False
Suppose 9504 = 15*c + 15663 - 96399. Is 64 a factor of c?
True
Suppose 3184*i - 10000 = 3159*i. Does 80 divide i?
True
Suppose 5*d - 2*b = 27003 + 40386, 0 = 4*d + 3*b - 53902. Does 9 divide d?
False
Suppose 9*n - 11*n + 413 = -j, 1640 = -4*j + 4*n. Let q = -335 - j. Is 4 a factor of q?
True
Let y(r) = -114*r + 7505. Is y(0) a multiple of 95?
True
Suppose 3*m = 3*d - 18663, 4*m + 12452 = 2262*d - 2260*d. Does 168 divide d?
True
Suppose -2 = v - 15. Let y = 43 - 25. Suppose -v*h - 40 = -y*h. Is h a multiple of 4?
True
Does 60 divide (-45202)/(-4) + ((-704)/(-176) - (-7)/(-2))?
False
Let n(w) = -20*w + 9. Let o be n(-7). Let q = 228 + o. Is q a multiple of 13?
True
Suppose 3*d - 138 = -3*j, 5*j + d - 62 = 152. Suppose 3*n - 5*h = 7*n + 16, n - 5 = h. Suppose -n - j = -f. Does 26 divide f?
False
Let j = 252 + -242. Suppose -j*c = 2*c - 3600. Is c a multiple of 25?
True
Let q = -1927 - -3815. Let g = q - 1290. Is g a multiple of 29?
False
Let n(r) = -2*r**2 - 8*r - 2. Let f be n(-3). Let m be ((-18)/f)/((-24)/(-32)). Let d(t) = 8*t**2 + 35*t - 6. Is 9 a factor of d(m)?
True
Let s = 40 + -41. Let j(x) = 1161*x**2 + 3*x + 1. Is j(s) a multiple of 61?
True
Suppose 3*q + 159 = -3*t, -5 - 28 = t + 5*q. Let h = -54 - t. Suppose -4*z - z + h*a = -206, -4*z = -a - 167. Does 7 divide z?
True
Let u(l) = 5*l**3 - 7*l**2 - 19*l + 10. Let a be u(8). Suppose 0 = 4*t - a - 478. Does 18 divide t?
True
Let s(r) = 6*r - 92. Let v be s(16). Is 3145/50 - v/(-40) a multiple of 2?
False
Let w(a) = -11*a**2 - 7 - 83*a + 34*a + 43*a - 6*a**3. Let u be w(-8). Suppose 3*l + 8*l = u. Does 24 divide l?
False
Suppose 4*q + 7 = 15. Suppose y + q = -y. Is (y + 2)/(5/940) a multiple of 47?
True
Let l = -55570 - -82493. Is l a multiple of 7?
False
Let i(r) = 72066*r**3 - 9*r**2 - 14*r + 21. Is i(1) a multiple of 16?
True
Let q(s) = -4*s - 58. Let a be q(-6). Let h = 131 + a. Does 10 divide h?
False
Suppose -4*m + 4168 = -3*f, 5*m - 3*m - 2*f = 2082. Is 19 a factor of m?
True
Is 36 a factor of (-3 - (-7)/2)/(21/(-294)) + 18096?
False
Let i(c) = -11*c**3 + 100*c**2 + 268*c - 276. Let w(r) = 7*r**3 - 67*r**2 - 179*r + 184. Let z(u) = -5*i(u) - 8*w(u). Is 43 a factor of z(38)?
True
Let v be (-8)/(-10)*15/6 + 1. Suppose 11 = t + t - 3*y, -y + 1 = -v*t. Is (-1 - t/6) + (-494)/(-57) a multiple of 2?
True
Let u be (-2)/2 + 4 + 1. Let x be u/(-14) + 102/14. Let n = x - -14. Is 7 a factor of n?
True
Let a = 63 + -64. Is -4 + 6 + -4 - -74 - a a multiple of 2?
False
Let f(v) = v**2 + 14*v + 2. Let s be f(-14). Let a be (-532)/(-12) + -1 - s/(-3). Suppose 12*z - 28 = a. Is 4 a factor of z?
False
Suppose -428*k = -213*k - 220*k + 435. Is 4 a factor of k?
False
Let h(m) = 374*m - 9329. Does 76 divide h(81)?
False
Is 147 a factor of (152/608)/((-1)/(-12500))?
False
Let q = 169 - 176. Let h(o) = -19*o - 91. Does 7 divide h(q)?
True
Suppose 0 = 21*x - 26*x - 2*j + 22303, -3*x + j = -13373. Does 4 divide x?
False
Let n be 1*18/8*4/3. Suppose -n*s = 3*s - 564. Is (s/(-4))/((-11)/22) a multiple of 26?
False
Let p = -12 + 15. Let b(t) = -t + 5. Let q be b(p). Is (-3)/((12/(-122))/q) a multiple of 14?
False
Let v be 16/12 - ((-978)/9 - (15 + -13)). Suppose 0 = -2*a + 5*p - 0*p - 81, -90 = 2*a - 2*p. Let k = v + a. Is 16 a factor of k?
True
Suppose 12*t = -z + 17*t + 23000, z - 4*t = 22998. Is z a multiple of 19?
True
Suppose -s = -2*z - 1094, -8*s - z + 4403 = -4*s. Is s a multiple of 5?
True
Suppose -8*b + 7313 = -12736 - 7839. Is b a multiple of 83?
True
Suppose 4*t = 10*t - 96. Let k = 62 + t. Suppose -16*c - k = -622. Does 8 divi