 t = 7*g - 15. Suppose -2*l + h = -108, -5*l + 270 = g*h - w*h. Does 6 divide l?
True
Suppose 2*t - 22 = 2*g - 130, -3*g + 170 = -5*t. Suppose -22 = 14*f - g. Let j(h) = 11*h**2 + 2*h - 4. Does 22 divide j(f)?
True
Does 118 divide ((-350)/(-4) + 1)*2272/142?
True
Suppose -5*a = -5*j - 10, 8*j + 0*j - 8 = 0. Suppose 7 - a = z, 5*u - 3*z = 93. Is u a multiple of 2?
False
Let b = -116 + 66. Let t = b + 354. Is 43 a factor of t?
False
Suppose 18*i - 14*i = -13*i + 78302. Is 7 a factor of i?
True
Let m(j) = -2*j + 13. Let p be m(7). Let u(h) = -7*h - 4. Let n be u(p). Suppose -4*g + 152 = -4*z, -n*g - 4*z + 116 = -9*z. Does 7 divide g?
False
Let c(j) = -16*j**3 + 5*j**2 - 31*j - 6. Let l(g) = 8*g**3 - 3*g**2 + 16*g + 3. Let f(u) = -6*c(u) - 11*l(u). Does 12 divide f(5)?
True
Suppose 994 = 5*b - 2*i, -5*i + 405 + 575 = 5*b. Suppose -a = -6*a - 25, -2*a - b = -4*g. Let t = g + 16. Is 17 a factor of t?
False
Suppose 0 = -80*i + 18*i + 43400. Is 20 a factor of i?
True
Let d = -12866 - -15986. Is 40 a factor of d?
True
Let r(u) = 2*u**2 - 5*u - 6. Let m be r(5). Let v(i) = -i**2 + 4*i + 34. Let b be v(-4). Suppose -259 = -b*z - m. Is z a multiple of 10?
True
Suppose 5*i - 31512 = 99*h - 95*h, 4*i = 4*h + 25212. Does 150 divide i?
True
Let j(u) = u**3 - 42*u**2 - 80*u - 245. Is 64 a factor of j(47)?
True
Let a(l) = -l - 8. Let r be a(-11). Suppose -643 - 17 = -r*p. Suppose -8*u + 13*u = p. Is 11 a factor of u?
True
Suppose 0 = -2*f + 5*j + 2646, -2*f - 1337 = -3*f - j. Suppose -f = -3*r + 5*b - 3*b, 5*b - 1298 = -3*r. Suppose -315 - r = -6*g. Is 21 a factor of g?
True
Let y(i) = i**2 - 12*i + 10. Let o be y(12). Suppose -o*f + 22*f - 528 = 0. Is 2 a factor of f?
True
Let l(v) = -v**3 + 9*v**2 - 8*v + 2. Let c be l(8). Let q(u) = 26*u + 4. Is 7 a factor of q(c)?
True
Let x be -7 - (3 - 2)*-24. Suppose x*d - 15*d = 352. Is d a multiple of 11?
True
Let a = 44390 - 39655. Does 3 divide a?
False
Suppose -4*g - 122*w = -125*w - 53515, w = 4*g - 53513. Does 18 divide g?
False
Is 139 a factor of (-25642)/(-6) - (-212)/(-318)?
False
Let q(h) = 2*h**3 + 3*h**2 + 2*h + 4. Let m be q(-3). Let x = -153 - m. Let p = -76 - x. Is 12 a factor of p?
True
Let p = 11956 - 42. Does 14 divide p?
True
Let q(h) = -19*h + 24. Let l(d) = 16*d - 23. Let a(c) = -7*l(c) - 6*q(c). Does 2 divide a(15)?
False
Let k(n) = 1041*n + 6163. Is k(34) a multiple of 132?
False
Suppose -63*y + 67*y - 3*m = 25904, y - m = 6475. Does 11 divide y?
True
Suppose 13*b + 193830 = 34*b. Does 142 divide b?
True
Let q(f) = 152*f**2 + 11*f - 25. Is 35 a factor of q(-4)?
False
Let n be -33 - (8/4 + -4). Let f = 70 - 126. Let q = n - f. Is 12 a factor of q?
False
Let x(b) = 407*b + 1552. Is 8 a factor of x(48)?
True
Let k = 514 - -2964. Is k a multiple of 94?
True
Suppose -4*p + 455*o - 454*o = -12507, 4*p - 12512 = -4*o. Does 66 divide p?
False
Suppose -75*n + 892827 + 2413971 = 218*n. Is n a multiple of 297?
True
Let r(o) = o**3 + 62*o**2 - 199*o - 164. Is r(-61) a multiple of 12?
True
Let g(d) = 26*d - 1. Let v be g(1). Suppose 3*n - v - 17 = 0. Suppose 2*z = n*z - 288. Is z a multiple of 4?
True
Let n(w) = w**3 - 10*w**2 - 40*w + 15. Let l be n(13). Suppose l*u + 77 = 13*u. Is 7 a factor of u?
True
Let w be (-9)/4*4 - -884. Let i = w + -756. Is i a multiple of 7?
True
Is 62 a factor of (7696/(-32) - -17)/((-1)/6)?
False
Suppose -9*x + 104 = 2*l - 13*x, -10 = 5*x. Is 36/l + (-2218)/(-8) a multiple of 41?
False
Let l = 2 + 56. Let u = l - -32. Suppose -4*s + 0 = y - 25, -2*y + u = -2*s. Does 7 divide y?
False
Let m be (17/(408/(-16)))/(2/15). Suppose 19 - 319 = 5*y. Let b = m - y. Does 5 divide b?
True
Let d be (-20)/3*(-24)/20. Suppose -1044 = d*v + 4*v. Let g = v + 109. Is 10 a factor of g?
False
Suppose 38*r = 46*r - 24. Suppose -8*a = -r*a + 3*s - 429, 5*s - 267 = -3*a. Is 12 a factor of a?
True
Let n = -131 - -131. Suppose 6*c - 684 - 648 = n. Does 50 divide c?
False
Is (-224)/(668/860 + -6*4/30) a multiple of 32?
True
Is 3 a factor of (31/(1550/(-30)))/(6/(-5230))?
False
Suppose 48 - 48 = -26*u. Suppose -5*l - 5*i + 4580 = u, -5*l - 8*i + 11*i + 4540 = 0. Is 40 a factor of l?
False
Let t = 216 + -42. Suppose 2910 - t = 9*g. Is g a multiple of 39?
False
Let i(t) = -137*t + 133. Let g be i(-10). Suppose g + 87 = 5*c. Is c a multiple of 6?
True
Let a(o) = -26*o**2 - 2604*o + 200. Is 20 a factor of a(-100)?
True
Suppose -2*h - 2*g - 501 = 517, 5*h = 3*g - 2569. Let z = 439 - h. Is z a multiple of 82?
False
Suppose 12688 = 32*q - 16*q. Does 93 divide q?
False
Suppose -205*i + 32 = -204*i. Suppose 0 = -i*j + 44*j - 1920. Does 5 divide j?
True
Suppose -g = -2*n - 42, -5*g - n = -146 - 64. Is 32 a factor of (1 - 1070/(-4))/(g/28)?
False
Suppose 5 = 4*n - 83. Suppose 0 = 3*l + 3*r - 12, 0*l - 3*l = -2*r - n. Is (4/l)/(10/675) a multiple of 15?
True
Let z be (9/(-18))/((-5)/40). Suppose 102*q = -z*p + 104*q + 1268, -961 = -3*p - q. Does 11 divide p?
True
Suppose -4*p - 67*i + 70*i + 10684 = 0, -3*p - 4*i + 8038 = 0. Is p a multiple of 56?
False
Let b(q) = -q**2 + 9*q + 78. Let z be b(36). Let x = z + 1326. Is x a multiple of 72?
True
Let o = -82 - -126. Suppose -2*x = -4*m + 38, -2*m + 5*x = 9*x - o. Is m a multiple of 12?
True
Suppose 0 = -8*m + 39*m - 23746. Is 25 a factor of ((-20)/(-15))/(m/762 - 1)?
False
Let f(h) = -4*h**3 + 57*h**2 - 13*h - 6. Let w be f(14). Suppose 0 = -c - 2*g + 66, -8 = w*g - 6*g. Is 3 a factor of c?
False
Is (154/(-42))/((-2014)/12060 + (-2)/(-12)) a multiple of 12?
False
Let m be 8/12 - 160/(-30). Let h(d) = 4*d**3 + d**2 + 17*d + 17. Does 12 divide h(m)?
False
Let t(k) = -13981*k - 4247. Is 255 a factor of t(-2)?
True
Let l(p) = -p**2 - 9*p + 16. Suppose 9*z + 33 = 6*z. Let b be l(z). Let g = b + 30. Is g a multiple of 8?
True
Let x be 4/(-2) + 5 - 1. Suppose -x*h - 254 - 193 = -v, 3*v - 1341 = 2*h. Suppose -125 = -2*s - n + 100, -4*s + v = 5*n. Is s a multiple of 13?
False
Let v(h) = 18*h + 14*h - 3 - 52*h + h**2 + 16*h. Does 28 divide v(-8)?
False
Suppose f + r - 1102 = 0, 5*f - r - 3306 = 2*f. Suppose -f = -4*m + 2418. Does 92 divide m?
False
Suppose -110 = 2*y + n - 5*n, -5*y - 215 = 2*n. Let a = y + 48. Suppose 4*s - 181 = r, s - r = a*s - 89. Is s a multiple of 15?
True
Let b(p) = 5941*p**2 + 37*p. Is b(2) a multiple of 14?
False
Let u(z) = -z**3 + 13*z**2 - 3*z + 12. Let n be u(10). Suppose 7*y + 999 = -n. Let r = -125 - y. Is r a multiple of 15?
False
Suppose -3*b + 4*b = 4*r + 2243, -3*b = -4*r - 2241. Let m be r/(-34)*(1 + 9 - -2). Suppose n - m = -n + 3*x, 0 = 2*n + 2*x - 218. Is 6 a factor of n?
False
Suppose 3*x = 2*b - 13, -3*x + 2 - 5 = 0. Let f be (1 - 9) + (28 - 5). Is 5 a factor of 3/f*b - -54?
True
Let i = 2276 + 3127. Is i a multiple of 63?
False
Let o = -291 + 400. Let p = 26 + o. Is p a multiple of 7?
False
Let w(a) = 48*a**2 + 23*a - 79. Let m be w(3). Let x = m + -32. Is 6 a factor of x?
True
Suppose 5*w + 4*o = 18, -4*w + 5*o = -1 + 3. Suppose -4*x = 4*h - w*h - 150, -2*x = -2*h + 120. Is 13 a factor of h?
True
Suppose 15*w - 20*w = 2*l - 2087, -3*w + 1253 = l. Let q = w - -131. Is q a multiple of 55?
True
Suppose 12 = -12*s + 18*s. Does 49 divide 635 - (5 - s) - 1*-5?
True
Suppose 6*y + 80 = 44. Does 41 divide 76/(-114) + (-742)/y?
True
Let h(a) = -565*a - 5. Let t be h(-4). Suppose -t + 860 = -3*n. Does 15 divide n?
True
Let j = 1073 + -546. Suppose -5*g + 478 = -j. Is 67 a factor of g?
True
Let r(j) = 22*j**2 + 26*j + 90. Does 51 divide r(14)?
False
Suppose -w + 2503 = 4*j, -29*w + 17617 = -22*w - 4*j. Does 30 divide w?
False
Let w = -2788 - -4677. Is w a multiple of 21?
False
Suppose 21759 = p - t, -113088 = -5*p - 2*t - 4314. Does 14 divide p?
True
Let d(c) = 19*c**2 - 55*c - 127. Is 18 a factor of d(-26)?
False
Let c(f) = -3*f + 58. Let k be c(16). Suppose -5*x = -k*x + 1320. Is x a multiple of 11?
True
Let h(i) = 3*i**3 + 2*i**2 + 3*i + 20408. Does 16 divide h(0)?
False
Let w(s) = -s**3 - 14*s**2 - 32*s + 7. Let h be w(-11). Is 3 a factor of ((-390)/35)/(h/28)?
True
Let i = -1586 + 2774. Is 12 a factor of (i/(-15))/((-2)/10)?
True
Let f(l) = 6*l**2 - 24*l - 734. Is 6 a factor of f(-17)?
False
Let z = -60 - -51. Is 53 a factor of ((-162)/(-30))/z*-1405?
False
Suppose t - 99 = -10*t. Is (24/16)/(t/(-2436)*-1) a multiple of 12?
False
Let x(n) = 1