4 = s + 3*n, 3*n = -4*s - 361 + 959. Suppose -2*g + 44 = q + g, r*q = -5*g + s. Is q a multiple of 11?
False
Is 470/3*-22*33/(-605) a multiple of 94?
True
Suppose 16 = 19*d - 15*d. Suppose -2*q + 158 = -d*u, -3*q + u + 70 + 192 = 0. Is q a multiple of 24?
False
Suppose 5*d - 947 = 4*f, -5*d + 1180 = 2*f - 7*f. Let l = f - -165. Let w = l - -235. Is 32 a factor of w?
False
Let y(o) = -213*o**2 + 4*o + 3. Let u be y(-1). Let v = u + 327. Is v a multiple of 3?
False
Is (780/8)/(39/1846) a multiple of 23?
False
Let j(g) = 3*g. Let f(r) = 3*r + 1. Let h(s) = -6*f(s) + 5*j(s). Let u be h(-2). Suppose u = -4*o + 165 + 47. Is 17 a factor of o?
False
Suppose -37100*h + 37114*h - 61124 = 0. Is 37 a factor of h?
True
Let x(i) = -4*i**3 - 11*i**2 - 7*i - 10. Let w be x(-3). Does 69 divide (-12)/60 + 6104/w?
False
Let o(v) be the third derivative of -v**7/2520 - 11*v**6/720 - v**4/12 + 40*v**2. Let h(z) be the second derivative of o(z). Does 6 divide h(-5)?
True
Suppose -3*g = 59 - 62, -g - 48567 = -x. Is x a multiple of 104?
True
Suppose -47*b = -62647 + 10759. Is b a multiple of 48?
True
Let o(b) = -413*b + 1380. Is o(-14) a multiple of 41?
False
Is (-6*427/105)/((8/(-8))/20) a multiple of 4?
True
Let k(h) = -117*h + 124*h - 4 + 39. Let n be k(0). Let l = n - 14. Is 8 a factor of l?
False
Let d = 263 - 109. Let a = 424 - d. Is a a multiple of 46?
False
Let w(v) = 38*v + 2153. Is 3 a factor of w(-13)?
True
Let w(q) = 2*q**3 + 28*q**2 - 9*q + 46. Is w(-12) a multiple of 16?
False
Let l(t) = -27*t**3 + 18*t**2 - 4*t + 26. Is l(-10) a multiple of 102?
True
Let w(l) = -l**2 + 4*l + 5. Let y be w(11). Let t = 78 + y. Is 5 - 48/t - (0 + -5) a multiple of 2?
True
Suppose 3*p + 338652 = -53*p + 3320652. Is 125 a factor of p?
True
Suppose -b + 9818 = 3*i, 0 = -48*b + 51*b + i - 29454. Is b a multiple of 48?
False
Suppose 0*h + 9 = 3*h. Suppose h*t = -t. Suppose -25*y + 22*y + 180 = t. Is y a multiple of 10?
True
Let d(n) = n**2 - 3*n**2 - n - 4 - 18*n - 13. Let k be d(-8). Suppose -2*f = -k*f - 5*i + 680, 4*i + 12 = 0. Does 15 divide f?
False
Suppose 185*a - 20 = 181*a. Suppose -o + 3*b - 116 = -2*o, -b + 552 = a*o. Is o a multiple of 11?
True
Let j(a) = 12*a - 544. Is j(56) even?
True
Let i = -698 - -998. Is i even?
True
Let d be 19/19 - (0 - 121). Suppose -z = -d + 10. Is 14 a factor of z?
True
Suppose 13*g = 11*g + 408. Suppose g = -6*q + 18*q. Does 6 divide q?
False
Let o(t) = 334*t + 4671. Let g be o(-14). Let c be -18 - (4/2)/(-2). Is 15 a factor of (-15)/g*c/(-1)?
False
Is (8/(-84))/((-6)/42)*12633/2 a multiple of 23?
False
Let c(k) = -2*k - 1. Let q be c(-2). Let x(m) = 18*m**2 - 9*m + 35. Is x(q) a multiple of 34?
True
Suppose -4*a + 2*s = 8, -7*a - s = -4*a + 11. Is (-8)/(0 - -4) + (a - -190) a multiple of 16?
False
Let m = -1046 - -1075. Is (-2)/m - 1096416/(-3132) a multiple of 7?
True
Suppose 0 = 27*h - 412969 - 293513. Is h a multiple of 49?
True
Is 15 a factor of ((-588)/5)/((-40)/1000)?
True
Suppose x - 2*x - 4 = 0, -10 = -y + 3*x. Suppose 31*n = 113*n + 344400. Does 39 divide y/(-9) + n/(-54)?
True
Let b = 157 + 239. Suppose 17*z = 20*z + b. Let i = z - -192. Does 15 divide i?
True
Let a = 61 + -90. Let q = 31 + a. Suppose -4*c + q*i + 48 = -0*c, -3*i - 61 = -5*c. Is c a multiple of 2?
False
Let y = 339 - 325. Suppose 0 = -y*x + 11*x + 90. Is x even?
True
Suppose 0 = 3*k - 15, -5*i + 3*k - 269 = -1594. Let z = -428 + 281. Let c = z + i. Is 11 a factor of c?
True
Suppose 0 = -8*c - 8, -6*i + 10*i - 3*c = 223347. Is i a multiple of 18?
True
Suppose 34 = -2*z - 5*x - 2, -3*x - 28 = 2*z. Does 21 divide (-11 - z)*(-71)/1?
False
Let g(k) = -155 - 4*k**2 + 82 + 2*k + 80 + k**3. Let p be g(4). Is (-6)/((p/(-500))/(3/6)) a multiple of 10?
True
Suppose 37*z - 25 = 32*z. Let m(d) = 2*d**3 - 7*d + 5. Does 26 divide m(z)?
False
Suppose -i = -5*o + 33, -37 = 2*i - 5*o + 34. Let k = 21 - 43. Let z = k - i. Is z a multiple of 3?
False
Let p = -6065 - -6547. Is 23 a factor of p?
False
Let i be 247 - (-6)/15*-20. Suppose -j - i = -347. Is 4 a factor of j?
True
Let b(n) = 59*n**2 + 5*n - 4. Let w(g) = 119*g**2 + 10*g - 8. Let u(l) = 13*b(l) - 6*w(l). Suppose -13 = -109*m + 96*m. Is u(m) a multiple of 6?
True
Suppose 0 = -5*f + 1104 + 1636. Let l = 345 + f. Is 19 a factor of l?
True
Let b = -370 + 772. Suppose -502 = -4*f - 2*j + b, 3*j = -4*f + 906. Is 34 a factor of f?
False
Let c = -1378 - -6394. Is 76 a factor of c?
True
Suppose 28*q - 42*q = -28. Suppose 2600 - 676 = 2*o - 2*a, -q*o - a + 1918 = 0. Is 24 a factor of o?
True
Let g(x) = -7*x - 105. Let u(j) = -10*j - 156. Let p(w) = 7*g(w) - 5*u(w). Suppose -3*t = -t. Is p(t) a multiple of 15?
True
Let t(r) = 9 - 4 + 5 - r. Let k be t(8). Suppose -k*j = 4*n - 114, -147 = -5*n + 2*j - 6*j. Is n a multiple of 9?
True
Let g = -316 + 323. Let b(w) = -w**3 + 8*w**2 - 7*w + 24. Does 22 divide b(g)?
False
Suppose 95*d = 101*d - 5148. Is 7/(7/d)*(-2)/(-3) a multiple of 44?
True
Suppose 0*u - u = 16. Let c be ((-4)/6)/(u/(-72)) - -351. Suppose 21*x + c = 24*x. Is x a multiple of 6?
False
Let c(x) be the first derivative of 4*x**2 + 13*x + 2. Suppose p - 140 = -13*p. Is c(p) a multiple of 27?
False
Let z(t) = 48*t**2 + 19*t - 39. Let i be 6/1 - (-2 + 5). Is z(i) a multiple of 12?
False
Suppose -5*n - 6 = -4*k, k = -0*k + 5*n - 6. Suppose k*d + 400 = 3*m + 1008, -3*m = d - 152. Suppose 2*w - 68 = d. Is w a multiple of 11?
True
Let m(k) = -38*k - 9. Let s be (11/(44/8))/(1/(-2)). Let c be -4 + s/(-2 - 0). Is 11 a factor of m(c)?
False
Let u(a) = a - 14. Let b be u(16). Suppose 4*f = 5*l - 25, 15 = 3*l - 6*f + f. Suppose -5*j + 13 + 32 = l*g, -j - b*g = -4. Does 14 divide j?
True
Let o(m) = 65*m**2 + 12*m + 20. Let w be 2*(2/18 + 140/(-126)). Is 16 a factor of o(w)?
True
Let q = 60 + -81. Let d = q + 29. Suppose d*w = 598 - 198. Is 5 a factor of w?
True
Suppose 165*u + 155188 = 176*u. Is 17 a factor of u?
False
Let n(w) = -w**3 - 3*w**2 + 2*w - 3. Let r be n(-3). Let j = -129 + 63. Does 16 divide (j/r)/((-4)/(-102))?
False
Let a be 21*((-1)/4 + (-35)/(-60)). Suppose -970 = -a*y + 1263. Does 35 divide y?
False
Suppose -3*m + 5*t + 7614 = 0, -2*m + 621 = -5*t - 4455. Does 54 divide m?
True
Suppose 0 = t - 3, 5*z + 3*t - 6067 = 17252. Does 63 divide z?
True
Let w = -35 - -28. Let z(r) = -r - 2. Let m be z(w). Suppose 114 = 6*g - m*g. Is 30 a factor of g?
False
Suppose 14326 = -14*d + 627946. Does 30 divide d?
True
Suppose -23*m + 18*m + 20 = 0. Suppose 2*o = s - 52, 5*s + m*o - 381 = -149. Let k = s - -8. Is 6 a factor of k?
False
Suppose 143*f = 126*f + 135269. Does 25 divide f?
False
Suppose -3*a = 2*d - 1588, 4*a = -3*d - a + 2384. Let v = d - 432. Does 26 divide v?
False
Let t(j) = -j**2 - 25*j - 42. Let k be t(-18). Let b = k - 73. Suppose p - b = 166. Is p a multiple of 21?
False
Let f(w) = 10*w - 8 + 15*w - 26*w. Let h be f(-5). Is 14 a factor of h/7 - 597/(-21)?
True
Is 19 a factor of (-1 - -1923)*(-138)/(-92) - -3?
False
Is 15 a factor of 0 + 15484 - (72 - 53)?
True
Let o = -494 + 496. Suppose 0*f = -x + o*f + 332, -4*f - 1312 = -4*x. Is 27 a factor of x?
True
Let s(c) = 650*c + 1980. Does 20 divide s(12)?
True
Let i(q) = -q**2 + 45*q + 2802. Does 83 divide i(61)?
True
Suppose 6308 = 5*g - 2*x - 2*x, -2*x - 3784 = -3*g. Does 14 divide g?
True
Suppose 655471 = 47*t - 706448. Does 12 divide t?
False
Is 5 a factor of 26/117 - 4112/36*-8?
False
Suppose v = 3*u + 16762, -29*u - 50276 = -3*v - 30*u. Does 10 divide v?
False
Let r(n) = -n**3 + 8*n**2 - 12*n + 10. Let y be r(6). Suppose -2*q = -2*a + 50, -3*a - 79 = y*q - 6*q. Let d = 118 + q. Is d a multiple of 24?
True
Let x be 138/9 + 8/(-24). Suppose -3*d + 2*y = -x, -6 - 9 = 5*y. Suppose d*k = 2*z - 0*z + 290, 0 = k + 2*z - 86. Is 13 a factor of k?
False
Suppose -2*z = 2*y + 9 - 23, -2*y + 3*z = -24. Suppose -x = 5*w - 144, x - 4*x - 128 = -5*w. Is 727/y - w/(-126) a multiple of 37?
False
Let x = -14 - 4. Let y be (x/(-12))/((-1)/(-6)). Suppose 4*z = y*z - 490. Is 19 a factor of z?
False
Suppose -1478 = -2*j + 41*t - 46*t, -3776 = -5*j + t. Is j a multiple of 5?
False
Let h = -7464 + 19811. Is 36 a factor of h?
False
Suppose -4*u + 25 = -15. Let k(m) = 6*m**2 - 7*m - 26. Does 36 divide k(u)?
True
Let p be 7/14*(-143 + -3). Let c = p + 172. Does 9 divide c?
True
Suppose 