g?
True
Suppose 9863*m - 9864*m + 2628 = 0. Is 9 a factor of m?
True
Let i(f) = 1798*f**2 + 46*f + 47. Does 33 divide i(-1)?
False
Let r = 1170 + -715. Is 28 a factor of r?
False
Let m(o) = -o**2 + 13*o + 8. Let u(r) = -r**2 + 9*r - 12. Let g be u(6). Is m(g) even?
True
Let d(g) = g**2 + 12*g + 3. Let i be d(-12). Suppose -47 = z - 2*z + i*u, 12 = 4*u. Is 15 a factor of (1 + z)*(6 + -3)?
False
Suppose -28 = 2*t + 4*m, -48 = 5*t + 2*m + 6. Let h(q) = q**2 - q + 10. Does 20 divide h(t)?
True
Let a(h) = 23*h**2 - 11*h + 23. Suppose -5*l = 6*p - 9*p - 19, -p - 11 = -4*l. Is a(l) even?
False
Let u = 4658 + -3137. Suppose -4*a - u = 3*p, -3*a + p + 4*p = 1119. Is (-1 + -1)/(27/a) a multiple of 6?
False
Let q(p) = p + 25. Let z be ((-327)/(-2))/(-3) + 2/(-4). Let j = 58 + z. Does 7 divide q(j)?
True
Suppose -5*z - 2*b + 115 = -5*b, 0 = -z + b + 25. Let i = 29 + z. Is 7 a factor of i?
True
Suppose -1 + 17 = 4*v. Suppose 12 = -2*z + 4*h, -8*z + 3*z + v*h = 6. Suppose l - 264 = -z*l. Does 11 divide l?
True
Let j(a) = -a**2 - 15*a + 2. Let h be j(-15). Suppose 0 = -h*c + 7 - 1. Let m = c + 87. Does 18 divide m?
True
Let k = 385 - 231. Let p = 102 - k. Let t = p - -140. Is 11 a factor of t?
True
Let d(v) = v**3 - 5*v**2 - 6*v + 5. Let b be d(6). Suppose 6*t = b*t - 32. Let h = t + 42. Is 3 a factor of h?
False
Let w(z) = 2*z + 4. Let j be w(20). Suppose h - 172 = -j. Suppose -4*k - 3*c = -h, 64 - 2 = 2*k + 2*c. Is k a multiple of 8?
False
Suppose u - 12*u = -8140. Suppose 2*m - 6*v = -2*v + u, 5*v = 3*m - 1107. Does 14 divide m?
True
Suppose 3*x - 7*k = -2*k - 154, -306 = 5*x + 4*k. Let g = -61 - x. Is g*(-4)/12 - -114 a multiple of 23?
True
Suppose 20*f + 39 = 17*f - 3*c, 0 = 3*f + c + 37. Is (-1)/(-12)*2 - 8362/f a multiple of 39?
False
Suppose 31*j - 48 = 33*j. Is 3 a factor of -12*(-18)/j*6/(-9)?
True
Let g be 5/(-2)*(-6)/5. Suppose -9*d = -g*d - 12. Suppose -3*n + d*u = n - 804, 4*n - u = 800. Does 17 divide n?
False
Let f = -497 + 503. Let n(v) = 5*v**3 - 19*v**2 + v - 5. Does 14 divide n(f)?
False
Let c be 30/(-50) - (-69)/15. Let x(u) = 147*u + 24. Is 9 a factor of x(c)?
True
Suppose -462326 = -126*i + 649113 + 253897. Is 84 a factor of i?
True
Let g = 53851 - 37132. Is g a multiple of 61?
False
Is 3 a factor of (-77700)/(-252) + (-1)/3?
False
Let x(z) be the second derivative of 37*z**4/12 + z**3/3 - 13*z**2/2 + 42*z. Is x(-4) a multiple of 20?
False
Let i(o) = -5*o - 18. Let y be i(-4). Suppose -4*p = 12, -3*p = -3*n - 5*p - 24. Is 9 - y/(4/n) a multiple of 6?
True
Let l(z) = 130*z**2 - 116*z + 24. Does 18 divide l(5)?
False
Let m be (-1)/1*(1 - (4 + -5)). Is 3 + m + 2 + 52*15 a multiple of 25?
False
Let c(l) = -5*l + 46. Let z be c(10). Is 12 a factor of 9*2*(-18)/z?
False
Suppose -3*p = -4*a - 6502, 89*p + 5*a + 6506 = 92*p. Does 32 divide p?
False
Let l(p) = 2*p**2 + 32. Let d be (-6)/(-4) - ((-60)/8)/(-5). Is l(d) a multiple of 2?
True
Let q(v) = -v**3 + 4*v**2 + 6*v - 3. Let g(i) = i - 6. Let n be g(11). Let y be q(n). Suppose y*b + 208 = 3*f - 0*f, -f + 65 = -5*b. Is 10 a factor of f?
True
Let s(r) = -91*r + 1230. Is s(0) a multiple of 15?
True
Let u(z) = -423*z + 145. Let a be u(-15). Suppose 341*o - 336*o = a. Is o a multiple of 59?
True
Let d be (8 - 12)/4 + 1*-76. Let m = d + 137. Does 20 divide m?
True
Suppose 15*a = 6726 + 7059. Let z = 1549 - a. Does 18 divide z?
True
Let s(y) = 4*y**3 + y**2 - 26*y + 60. Is s(10) a multiple of 26?
True
Suppose 11530836 = 475*v + 11*v. Does 44 divide v?
False
Suppose -c - 4 = -r, 2*c + 7*r - 2*r - 20 = 0. Suppose c = -6*z + 9*z - 252. Is 12 a factor of z?
True
Is 22 a factor of (-560)/336 + (-7534)/(-6)?
True
Suppose -44 + 334 = 2*n. Suppose u - 535*y - 40 = -532*y, 5*y = u - 40. Let b = n - u. Is b a multiple of 21?
True
Let w(h) = -59*h + 14. Let y be w(-7). Suppose 277 = 8*j - y. Is 44 a factor of j?
True
Suppose -7*p = -2*p + 4180. Let a = p + 1687. Does 34 divide a?
False
Suppose 0 = 5*u - 4*m - 15357 + 4207, 5*u = -m + 11125. Does 13 divide u?
False
Let x(q) = q**2 - 17*q + 39. Let i be x(15). Suppose 4*o = 4*h - 3548, -i*o = 5*h - 5*o - 4444. Does 17 divide h?
False
Let f(z) = 3*z**2 - 587*z + 594*z - 4*z**2 + 3. Let x be f(7). Suppose -y - 5*r - 303 = -4*y, x*r = -9. Is y a multiple of 22?
False
Let m(z) be the second derivative of 1/6*z**4 + 25*z + 1/5*z**5 + 0 - 5/6*z**3 - 1/2*z**2. Is 22 a factor of m(3)?
True
Let j(n) = -3*n**3 - 16*n**2 + 3*n - 3. Let i be j(-7). Let m = -107 + i. Does 8 divide m?
False
Let a = -21180 - -35188. Is a a multiple of 206?
True
Let r = -580 + 1876. Is 33 a factor of r?
False
Suppose -266*p + 12 = -263*p. Suppose -p*l + 1168 = 5*c, 2*l = 5*c + 7*l - 1170. Is 29 a factor of c?
True
Suppose 5*s + 25 = 0, -5*o - 4*s + 111645 = 415. Does 20 divide o?
False
Let z(d) = -d**3 + 28*d**2 - 29*d + 59. Let n be z(27). Suppose 0 = -13*q - n*q + 3042. Is q a multiple of 13?
True
Suppose 16*m + 4 = -12. Let z be m*(-2 + -1) + -14. Let o(i) = -6*i - 24. Does 6 divide o(z)?
True
Suppose -4*y = -r - 15510, 5*y - 580*r + 576*r = 19371. Does 132 divide y?
False
Let d be ((-10)/8)/(29/116). Is 17 a factor of (-48)/d*85/2?
True
Let m be (-30)/270 - (-1510)/(-18). Does 13 divide (230/69)/((-1)/m)?
False
Suppose 15*y - 60 = -0*y. Suppose n - 17 = -s + 6*n, s - 62 = -y*n. Is 14 a factor of s?
True
Let s = -1916 + 2723. Let i = s + -2. Suppose 3*o = -2*o + i. Does 11 divide o?
False
Let c = 1079 + 3374. Is c a multiple of 10?
False
Suppose 156593 = 22*q - 57643. Does 6 divide q?
True
Let p = -78132 + 110976. Is 119 a factor of p?
True
Suppose 3*g - 96 = 7*g + 5*r, -3*r - 75 = 3*g. Let b = 31 + g. Suppose -3*p = 2*d - 192, -b*p - 275 = 2*d - 5*d. Does 31 divide d?
True
Suppose -9*c = 2*c - 7365 - 26361. Does 61 divide c?
False
Let y(r) = 60*r - 207. Let g be y(4). Suppose -g*h - 4*h = -7548. Is 12 a factor of h?
True
Let g be (-60)/20*1/(-3). Let y be (-18)/63*-7 + 6/g. Let d(f) = 13*f - 55. Is d(y) a multiple of 7?
True
Suppose -74*f - 232658 = -792276 - 716882. Is f a multiple of 15?
True
Is (-44205)/(-24) - -7*(-6)/(-336) a multiple of 27?
False
Let t(f) = -f**2 - 19*f + 2. Suppose 3*k = -d - 56, 0 = k - 0*d - 5*d + 24. Let m be t(k). Suppose -3*r + m*r + 140 = 0. Does 7 divide r?
True
Let f be (1 - 0) + (-17 - -21). Suppose -f*r + 855 = -5*z, -5*r + z + 293 + 562 = 0. Is r a multiple of 19?
True
Let g(k) = 4*k**2 - 170*k + 3320. Does 61 divide g(78)?
True
Let d = 3454 + 12669. Is d a multiple of 23?
True
Suppose 0 = -9*j - 78 + 258. Suppose 2*b = j + 4. Let n(z) = -z**2 + 14*z + 3. Is 5 a factor of n(b)?
False
Suppose -333*q + 88*q = -8581125. Is q a multiple of 75?
True
Let y = -277 + 572. Let t = y + -175. Is t a multiple of 8?
True
Let n(b) = -b**3 + 21*b**2 - 28*b - 4. Let d(t) = t**3 - 22*t**2 + 30*t + 3. Let y(h) = 4*d(h) + 5*n(h). Does 15 divide y(15)?
False
Suppose 2*f - 32216 + 7196 = 0. Is f a multiple of 15?
True
Suppose -24*d = 78*d - 226475 - 122059. Is d a multiple of 67?
True
Let r(u) = 483*u**2 - 24*u + 207. Is r(6) a multiple of 40?
False
Does 3 divide 72/324 + 15422/18 + 4?
True
Suppose -r - 8 = -230. Suppose -j - r = -4*q, 0*q = 5*j + 3*q + 1087. Let d = j - -329. Is 46 a factor of d?
False
Let f = -674 + -441. Let k = -570 - f. Is k a multiple of 28?
False
Suppose -78*n = -81*n + 20244. Does 34 divide n?
False
Let p be ((-1)/(-3))/((-4)/(-96)). Suppose -u + 2*r = -3, -2*u - 3*r = -u - p. Suppose -5*t = a - 117, 7 + 8 = -u*a. Is t a multiple of 8?
True
Let s(j) = -3*j**3 - 12*j**2 - 10*j. Let b(v) = -6*v**3 - 26*v**2 - 21*v. Let m(w) = 6*b(w) - 13*s(w). Suppose -5*i + 13 + 2 = 0. Is 16 a factor of m(i)?
False
Let j = 258 + -255. Suppose 5*l - 1064 = 4*f, -3*l = -j*f + 297 - 936. Is 36 a factor of l?
False
Let r(t) = 3914*t**3 - t**2 - 6*t + 3. Is r(2) a multiple of 21?
False
Let g = 535 - -1293. Is 17 a factor of g?
False
Does 17 divide 937 - (20 - 7) - 6?
True
Let b = 1599 + 4881. Suppose -15*p = -780 - b. Does 22 divide p?
True
Suppose -38*b + 55*b + 60*b - 128821 = 0. Is 3 a factor of b?
False
Let b(l) = l**2 - 18*l - 3. Let s be (2 + 19)/(-6*1/(-6)). Does 20 divide b(s)?
True
Suppose 6*l + 91 = 109. Let z be (l/2 + -2)*-1186 + 4. Suppose 0 = -3*j - 180 + z. Is 13 a factor of j?
False
Let a = -10 - -15. Suppose -a = -2*y - 1. Suppose -t + 134 = y*h, h + 