e -2*a = -3*r - 294 - 157, j*r = -4*a + 932. Does 5 divide a?
True
Suppose -q = 3*j - 31022, -3*q - 3248*j + 3243*j = -93090. Is q a multiple of 244?
False
Let q = -66 + 72. Let v(i) be the second derivative of -i**5/20 + 3*i**4/4 - 7*i**3/6 + 5*i**2/2 + 5*i. Is v(q) a multiple of 16?
False
Let j = -9 + 0. Let f be 27/j - -1*243. Suppose -36 = 2*l - f. Is 19 a factor of l?
False
Let f = -24 - -59. Suppose 1252 = -f*l + 39*l. Is 35 a factor of l?
False
Suppose 0 = -3*y + 17 - 5. Let m(k) = k**3 - 3*k**2 - 3*k + 1. Let n be m(y). Suppose 5*z = 315 + n. Does 16 divide z?
True
Suppose 0*j + r + 7 = 4*j, -2*j - 5*r = -9. Suppose j*p - 323 = 181. Is p a multiple of 28?
True
Let h(w) = 1062*w**2 - 396*w + 1180. Is 15 a factor of h(3)?
False
Suppose 4*v - 9173 = 19555. Suppose -v = 8*z - 14*z. Is z a multiple of 19?
True
Suppose 115*g - 420789 = 540841. Does 42 divide g?
False
Let p = 46831 + -380. Is 15 a factor of p?
False
Let f(h) = 840*h**2 + 347*h - 1745. Is f(5) a multiple of 10?
True
Suppose 3*r - 5*r + 7*b = 24, 5*r - 4*b = -60. Does 21 divide (-3)/(r - -9) - -420?
False
Let k be (-4)/(-10)*(102 - 92). Suppose -4*w = -2*a + 18 - 118, k*w = -5*a + 114. Does 13 divide w?
True
Suppose 2*z = -8, 15*i + 5*z = 10*i + 55. Suppose -470 = i*m - 17*m. Does 21 divide m?
False
Suppose 0 = 36*u - 7*u - 156774. Does 53 divide u?
True
Let z = 24854 - 4922. Is z a multiple of 302?
True
Let r = 56 - 57. Let i(l) = -426*l - 1. Let u be i(r). Suppose 0 = -4*d - d + u. Does 14 divide d?
False
Suppose 9*n + 6 = 11*n. Suppose 0 = 3*l + 12 - 3, 3*g - n*l = 3. Does 11 divide ((-500)/(-35))/(g/(-7))?
False
Let h = 222 + -130. Suppose -11*b + 3*b - 288 = 0. Let f = h + b. Does 7 divide f?
True
Let v be ((-1572)/(-20) - -6)/(2/290). Suppose 4813 + v = 28*h. Does 4 divide h?
False
Let b be (2/2)/((-27)/9099) + 3. Let m = b + 817. Is 7 a factor of m?
True
Let o(j) = 2*j**2 - 11*j + 22. Suppose 418 - 13 = 5*f. Let a = f + -89. Is o(a) a multiple of 15?
False
Let h = 330 - 47. Let l = -92 + h. Does 43 divide l?
False
Suppose 55*k + 779 + 651 = 0. Let i(d) = 8*d + 352. Is i(k) a multiple of 9?
True
Suppose 50 = 4*d - 5*q, -2*d - 3*q + 6*q + 24 = 0. Does 48 divide 4884/d*(11/2 + -3)?
False
Let u(q) = 191*q + 2. Let x be u(1). Suppose 5*t - x = -3*w, -t = -3*t + 5*w + 71. Suppose -4*j = -t - 122. Is j a multiple of 8?
True
Suppose -29*j + 238 + 35287 = 0. Is 294 a factor of j?
False
Suppose 15 = i - 5*x - 3, -5*i - 2*x + 9 = 0. Suppose 0 = i*l + 27 - 81. Is 4*5 + (-4 - l/(-9)) a multiple of 9?
True
Suppose 0 = -5*g - 5*a + 2135, -g = 5*a - 464 + 9. Is g a multiple of 6?
True
Let x(a) = 3*a**2 - 6*a + 4. Let v be x(7). Let m be (-19)/12*3*-12. Suppose -2*z + v + m = 0. Is 37 a factor of z?
False
Let k = -339 - -343. Suppose -3*b + 1612 = k*s, 0 = b + 3*b + s - 2158. Is b a multiple of 29?
False
Let l(o) = 284*o + 770. Let c(g) = 95*g + 257. Let k(v) = -14*c(v) + 5*l(v). Is k(10) a multiple of 37?
False
Suppose 44*r = 45*r + 3, -3*r + 1566 = 5*n. Suppose 0 = -41*x + 40*x + n. Is 5 a factor of x?
True
Suppose 5*m + 4*a = 2801, 2*m = 215*a - 216*a + 1118. Does 4 divide m?
False
Does 29 divide -1*(2 + 0 + -2) + 197635/29?
True
Let a be 1 + 2 + (3 - -3). Let x be ((-15)/a)/((-1)/3). Suppose 167 = 2*y + 3*z + 16, 4*y = x*z + 357. Is 40 a factor of y?
False
Let b = -58 + 58. Suppose b = -5*a - 1000 - 310. Let v = a + 437. Is 25 a factor of v?
True
Let t be 2/(4/160*-1). Let b be t/(-6) - (-8)/12. Suppose j - 52 = -b. Is 8 a factor of j?
False
Is 1/((-5)/(-15)) - (-29 + -953) a multiple of 5?
True
Let k be (-3 - (-21)/5)*30/9. Let d(j) = -2*j**2 - 18*j + 11. Let m be d(-10). Does 24 divide (-63)/k*96/m?
True
Suppose 8*k - 12 = -4*u + 12*k, 0 = -3*u - 5*k - 7. Does 4 divide ((-96)/28)/(u/(-14))?
True
Suppose j = 2*j - 2*d + 34, 3*d = -5*j - 144. Let g = j - 12. Let l = 66 + g. Is l a multiple of 4?
True
Let g(b) = 1212*b**2 - 31*b + 134. Is g(3) a multiple of 22?
False
Suppose 0 = 4*u - a + 1160, 5*a - 455 = 4*u + 721. Let p = -188 - u. Is p a multiple of 12?
False
Let y = -60 + 59. Let l be (y - 0 - (-55)/44)*1532. Let h = l - 242. Is 18 a factor of h?
False
Let s be (1*3)/(33/(-22)). Let d be s/(-8) - (-5610)/24. Let g = -28 + d. Does 45 divide g?
False
Let k(c) = -5*c - 70. Let h(o) = -10*o - 140. Let i(y) = 2*h(y) - 5*k(y). Let l be i(-20). Let z = 64 + l. Is 4 a factor of z?
False
Suppose -4*k = o - 6, -2*o - 2*k + 4 = -2. Suppose 0*c + o*c + 38 = 0. Let s = c + 35. Does 3 divide s?
False
Let t = -3 + 5. Let i(p) = -65*p + 28. Let a be i(0). Does 13 divide a + 2 - t/2?
False
Suppose 2*r - 4*j = 52748, 3*r - 2*j + 3597 = 82723. Is 168 a factor of r?
True
Let d = -3894 + 4055. Is d a multiple of 23?
True
Suppose 272*s - 273*s - 121 = 0. Let u = -235 + 162. Let k = u - s. Is k a multiple of 8?
True
Suppose -5*m + d + 41 = 0, 3*m = d + 2*d + 27. Let i(j) = 8*j + 17*j - m*j. Is i(6) a multiple of 39?
False
Let s(g) = 77*g - 2545. Is 17 a factor of s(58)?
True
Suppose -10*a + 1408 = 402 - 2844. Does 7 divide a?
True
Does 22 divide 2458 - (-18 - -13) - -9?
False
Let t be 2/(-3*4/(-24)). Suppose 9*w - 11*w + t = 0. Is 2 a factor of (w*(-51)/(-30))/((-2)/(-10))?
False
Let b(m) = 11*m**2 - 55*m + 746. Does 50 divide b(-43)?
True
Let x(g) = 5*g - g + 560 - 478 - 2*g. Does 10 divide x(4)?
True
Suppose 8*i + 17 = 57. Suppose -4535 = -i*u + 20*l - 15*l, -u + 3*l + 917 = 0. Is u a multiple of 11?
True
Suppose 2*x + 2*q = 30, 6*x - 8*x + 3*q = -35. Suppose -x*g + 10570 = 2650. Does 33 divide g?
True
Suppose 5*k + 7*m = 12*m + 225, -2*k = 4*m - 84. Is 847/k*29 - 3/(-4) a multiple of 13?
True
Let m = -202 - -113. Let s = m + 146. Is s*2/8 + 7/(-28) a multiple of 14?
True
Suppose -c - 15 = 4*c - 5*s, -5*c + s - 15 = 0. Is 20 a factor of 779 + c/((-12)/16)?
False
Let m(k) = -k + 36. Let o(t) = -2*t**2 - 22*t - 2. Let r be o(-11). Is 2 a factor of m(r)?
True
Let g(f) = f**3 + 7*f**2 + 13*f + 2. Let b be g(-4). Does 41 divide b*(-7)/14 + 81?
True
Suppose 3*y - 63974 = -5*s, 4*y = 11*s - 5*s - 76822. Is 51 a factor of s?
False
Suppose -20 = 5*k, 2*k - 5*k = 2*g - 80. Suppose g = 5*z - 2*t, 0 = -4*z - 3*t + 4*t + 35. Is -1 + z + -3 - -79 a multiple of 14?
False
Let y be ((-124208)/(-60))/1 + 32/(-240). Is 50*(2852/y - (-4)/18) a multiple of 20?
True
Let j(v) = -v**3 + 15*v**2 + 16*v - 21. Let s be j(12). Let h = s + -263. Is h a multiple of 20?
True
Suppose 5*g = 4*t + 33, -2*g + 12 - 10 = 4*t. Suppose -2*k = 2*f - 696, 0*f - g*k - 354 = -f. Is f a multiple of 55?
False
Let x = -74 + 106. Suppose x*q = 27*q + 5. Is 29 a factor of (q - -113) + (-21 - -23)?
True
Suppose 3*b = -0*b - s + 9, 2*s = 4*b - 22. Suppose 0 = -w + b*v + 206, 543 + 7 = 3*w + 5*v. Is 16 a factor of w?
False
Is (-10248)/((-31)/((-310)/(-20))) a multiple of 14?
True
Suppose j = 16 - 0. Let y(c) = -8*c**2 - c + 5. Let g be y(1). Does 4 divide (g/2)/((-2)/j)?
True
Let q be ((-210)/(-126))/(5/6). Suppose -1 = -5*i + h, -5*i + 3*h + 3 = -3*i. Suppose q*o - 320 = -2*j, -2 = -i*j + j. Is 24 a factor of o?
False
Suppose -269*c + 68 = -268*c. Is (-16)/(-8) + c/2 a multiple of 12?
True
Suppose -9*f + 3293 = -4447. Let q = f - -268. Does 41 divide q?
False
Let f(z) = -21*z + 60. Let d be f(3). Does 4 divide -3*12/54 + (-1313)/d?
False
Let j = 11 + -7. Suppose -j*k - 5*t + 7*t = -1774, -k + 4*t = -454. Does 17 divide k?
True
Suppose 0 = 5*w + 5*z - 9770, 5*w + z = 562 + 9200. Is 26 a factor of w?
False
Let c(g) = 2*g**3 + 9*g**2 + 2*g - 6. Let y = -38 + 34. Let o be c(y). Does 7 divide 0/o + (-5 - -35)?
False
Suppose -26*l = -24*l - 22. Suppose 2*m + 7 = l. Let b(g) = 11*g**3 - g**2 + g + 2. Does 6 divide b(m)?
False
Let i(m) = -m**3 + 4*m - 23 + 3*m - 9*m**2 + 0*m**3. Let w be i(-10). Suppose -w*k + 5*k + 218 = 0. Does 41 divide k?
False
Let c = -70638 + 101925. Is c a multiple of 153?
False
Suppose -6*h + 10*h + 1312 = 0. Let i = h - -538. Suppose a + i = 2*j, 0 = -j + 3*j - 4*a - 216. Is j a multiple of 10?
False
Let k(o) = -25*o - 201. Let a be k(-11). Suppose 2722 = 6*p - a. Is 40 a factor of p?
False
Suppose -6*o = 783 - 4635. Suppose -1301*a + o = -1299*a. Is a a multiple of 19?
False
Let m(a) = -133*a - 6. Let r be m(-1). Suppose 3*f - r = 2*z, -2*z = -3*f - 7*z + 155. Is 9 a factor of f?
True
Let t(f) = f**3 + 5*f - 35. Let m be t(0)