 2968975 = 2448*s. Is s a multiple of 151?
False
Suppose -2*z - 11 - 1 = 0. Does 35 divide (10/z)/5 - (-1186)/3?
False
Suppose 0*z - 2*z + 5*g = -403, -z - 5*g + 164 = 0. Suppose -194*v + 75 = -z*v. Does 9 divide 3206/30 - (-2)/v?
False
Let g(t) = t**3 - 8*t**2 - 6*t - 20. Let x be g(9). Suppose -x*z = -86 + 30. Suppose 133 = 5*v + z. Is v a multiple of 5?
True
Suppose 29*g = 285537 + 559436. Does 87 divide g?
False
Suppose -4*i - 249 = -4*t + 111, 4*t + 3*i = 374. Let m = -8 + t. Is 3 a factor of m?
True
Let u be (6/(-2))/((-84)/392). Suppose 9626 - 3578 = u*w. Does 54 divide w?
True
Let f(q) = -8*q**2 + 9*q - 32. Let i(t) = 12*t**2 - 13*t + 48. Let r(u) = -8*f(u) - 5*i(u). Is r(16) a multiple of 38?
False
Let x = -4934 + 6134. Does 30 divide x?
True
Let f(z) = -3*z**3 + 3*z**2 - 20*z - 9. Let j be f(7). Let x = 259 - j. Is x a multiple of 17?
False
Let l = -42 + 51. Let r be -1 + (3/l)/(5/15). Is 8 a factor of -5 + 42 - 0 - (-3 + r)?
True
Let u = 1162 - 1144. Is 6 a factor of u?
True
Let c be 12/6 - (3 - -2). Let z be c - (6/(-12) - 2/4). Does 30 divide 9*z/(-6) - (-56 + -1)?
True
Let p(x) = -1481*x**3 + x**2 - 349*x - 703. Is 11 a factor of p(-2)?
True
Let x = -7854 + 49937. Is x a multiple of 205?
False
Suppose -29*x - 25966 = -189410. Does 7 divide x?
False
Suppose -y = 2*f + 364, 2*f - 1 = -3. Is 17 a factor of y/(-15) + ((-387)/(-135) - 3)?
False
Suppose 2094 = -2*x - 4*x. Suppose 2*y - 4*y - 4*j + 1014 = 0, 5*j = -5*y + 2515. Let r = x + y. Is 10 a factor of r?
True
Suppose -58*x - 48 = -66*x. Is 4 a factor of (-1)/x + (-1375)/(-6)?
False
Let i = 13286 + -5652. Is 22 a factor of i?
True
Let m = 245 + -142. Let z = 87 - m. Is 5 a factor of 0 - (-105)/(-7)*z/6?
True
Suppose -9*t + 20 = -43. Suppose 118 = 2*u + 2*h, 16 = 3*h - t*h. Is u a multiple of 3?
True
Let t = 62681 - 36932. Is 219 a factor of t?
False
Suppose 3*n - 17 = -4*v, 2*n + 2*n - v + 9 = 0. Let r(t) = -2*t**2 - t + 1. Let l be r(n). Suppose l = 2*h - 537 + 201. Is h a multiple of 46?
False
Suppose 5*a - 5 = -5*o, -3 - 1 = -4*a. Suppose o*u - 5*u + 30 = 0. Is 4225/52 + u/8 a multiple of 16?
False
Suppose 2*g + c = -46, 0 = -g - g + 2*c - 40. Let b = g + 214. Suppose -b = -9*z + 7*z. Is 32 a factor of z?
True
Let j be 2072/32 - 2/(-8). Suppose -3*b + 0*b + j = -5*d, 4*b = -4*d + 76. Suppose 7*i = 8*i - b. Is i a multiple of 4?
True
Suppose 136022 + 121774 = 12*m. Is 86 a factor of m?
False
Let o be 2/((-6)/(-2) + -5)*30. Is 265*24/o*-1 a multiple of 34?
False
Is 139 a factor of (3336/(-3))/(32/(-128))?
True
Let h(n) = 8*n**2 - 12*n + 10. Let b(t) = 9*t**2 - 11*t + 11. Let j(f) = 5*b(f) - 6*h(f). Let o be j(5). Suppose 0 = o*z - 1250 + 230. Is z a multiple of 34?
True
Suppose 0 = 16*u - 38843 - 1653. Suppose 0 = 24*r - u - 2773. Is 47 a factor of r?
False
Let t be (-2)/(-6) + 566/3. Suppose -1062 = -2*d - x, -4*d + 5*x + 2313 - t = 0. Is 55 a factor of d?
False
Let r = 40071 - 28422. Is 7 a factor of r?
False
Suppose 2*b = 5*b - 51. Suppose -2*m = -b*m - 840. Let v = m - -105. Does 7 divide v?
True
Suppose 4*i + 3*w = 63, i = -4*i - w + 87. Suppose -20*l = -i*l - 1176. Is l a multiple of 14?
True
Suppose -74*f = -66*f - 32. Suppose 2*x + 1205 = f*x - 3*n, -4*n + 1782 = 3*x. Is 46 a factor of x?
True
Suppose -100 + 0 = 10*p. Let v be p/3*(-12240)/100. Suppose -3*j + 5*g + 322 = -0*j, -4*j - 4*g = -v. Does 6 divide j?
False
Let p(z) = 486*z - 433. Is 92 a factor of p(11)?
False
Suppose -4*c = i - 16, i - 7*c + 9*c - 12 = 0. Is 4 a factor of 7 + i - 8 - -117?
True
Suppose -2*n + 4*v - 36977 = -9989, 5*v = 0. Is (-7)/(-14) - n/12 a multiple of 75?
True
Let x(a) = 44*a - 74. Let n be x(11). Suppose -2*j + i + 2*i = -n, 3*i = -5*j + 1025. Does 41 divide j?
True
Let i(b) = b**3 - 7*b**2 + 5*b + 10. Let v be i(6). Suppose v*o - 193 = 39. Suppose -o*j + 160 = -54*j. Is 10 a factor of j?
True
Let b be -6*1*(-8)/12. Suppose -2*i = -b*a - 42, i - 23 = 3*a + 9. Does 27 divide 271/6 + a/66?
False
Suppose 8*t = 3*t + 890. Let u(y) = 6*y - 20. Let b be u(5). Let j = t - b. Is j a multiple of 12?
True
Suppose 0 = 3*j + 4*v - 3576, -3*j - 9*v - 568 = -4129. Is 38 a factor of j?
False
Let p(y) = 7*y - 28. Let n be p(4). Suppose 0 = 3*r - h - 245, n = 3*h - 3. Suppose -o + r = 3*v - 23, 0 = 5*o - 3*v - 489. Is o a multiple of 8?
False
Suppose -308*l + 336*l - 1764 = 0. Is l a multiple of 3?
True
Let v = -177 + 805. Let d = v + -493. Is d a multiple of 27?
True
Suppose 7*z = 62785 + 84859. Does 100 divide z?
False
Suppose -43 = 5*s + 2*o + 59, -3*s - 3*o = 63. Let a be s/(-10) - (2 + -1)/1. Is (a/2 - 1)/((-1)/58) a multiple of 7?
False
Let g(o) = -29*o**3 + 35*o**2 + 166*o + 26. Is g(-5) a multiple of 24?
True
Suppose 2*m - 63 - 643 = 3*g, m = -2*g + 346. Suppose c + m = 2*y + 6*c, -4*y + 648 = -3*c. Does 19 divide y?
False
Suppose -3*c = -2*a - 24168, 3*a + 32214 = 4*c + 2*a. Is c a multiple of 132?
True
Suppose 710 = 5*i - 0*i + 5*d, 0 = -2*i + 2*d + 288. Let u = 203 - i. Does 4 divide u?
True
Suppose -5*z = 21*z - 33358. Is 69 a factor of z?
False
Let z = -912 - -1782. Suppose 50*t - 60*t + z = 0. Is t a multiple of 5?
False
Let w(z) = z**3 - 13*z**2 - 28*z - 26. Let h be w(15). Suppose 0 = 3*k + u - 1037, -4*k - h*u + 972 + 416 = 0. Is k a multiple of 20?
False
Suppose 0 = -0*z - 8*z - 16. Is 519 + (1 - -1)/(z/3) a multiple of 12?
True
Let w = -115 + 121. Suppose 0 = w*j - 2357 - 37. Does 57 divide j?
True
Let w(l) = -4*l**2 - 109*l + 13. Let s(p) = p**2 + 55*p - 6. Let y(d) = -5*s(d) - 2*w(d). Is y(23) a multiple of 22?
False
Does 77 divide 737*(3 + 9 + (-4)/12*15)?
True
Let p(j) = -2*j**2 - 16*j - 42. Let d be p(-6). Let i = 51 + d. Does 6 divide i?
False
Suppose -2*s = i - 1905, 13*i = 3*s + 8*i - 2864. Suppose -4*k + 4*u + 2599 = 651, 5*u = -2*k + s. Is k a multiple of 22?
True
Let j be (-2)/(2 - 10/4). Let b(r) = 12 - j*r**3 + 3 + 3*r**3 - r**2 - r. Is b(0) a multiple of 5?
True
Let o(s) = -2*s**3 - 16*s**2 - 4*s - 12. Let f be o(-9). Suppose f*g = 176*g + 2400. Does 15 divide g?
True
Let o(g) = -14*g - 36. Let k be 29/5 + (-56)/70. Suppose 0*a + 117 = -4*a + k*v, 49 = -3*a - 4*v. Is 15 a factor of o(a)?
False
Suppose 0 = -13*v + 60*v - 51410 - 41133. Does 11 divide v?
True
Suppose -40*f + 39*f - 7 = 0. Let l(q) = q**2 - 6*q - 45. Does 16 divide l(f)?
False
Let w = -2926 + 5006. Is 26 a factor of w?
True
Suppose 28 = -2*c + 2*d, -c + 5*d - 24 = -6. Let b(x) = x + 27. Let g be b(c). Let z = 28 - g. Is z a multiple of 6?
False
Let q(v) = v + 1. Let z be q(5). Suppose -z*s = 4*s - 6040. Suppose j - 146 = -0*j - 2*u, -s = -4*j - 4*u. Does 12 divide j?
True
Suppose 0 = 5*o - 0*o - 170. Let c = -52 + o. Let n = c - -46. Does 7 divide n?
True
Suppose 104*c = 113*c - 24534. Suppose -3*p = -5*p + c. Is p a multiple of 46?
False
Let h(r) = -r**3 + 4*r**2 - 3*r - 1. Let a be 1*-1*((-48)/6 + 5). Let y be h(a). Does 33 divide (-1064)/(-5 - y) - 2?
True
Suppose 3*r - 164 = 34. Suppose m - r = 3*w, -4*w - w + 132 = 2*m. Let t = -9 + m. Is t a multiple of 19?
True
Let z(j) = -j**3 - 13*j**2 + 27*j - 45. Let u be z(-15). Let r(h) = h - 2. Let q be r(4). Suppose u*v + 80 = q*v. Is v a multiple of 6?
False
Suppose -3*w - 5 = -z, w = 4*w - 4*z + 11. Suppose 12*g = 14*g - 4*i + 28, 2*g - 5*i + 33 = 0. Does 15 divide (g - w)/((-12)/188)?
False
Suppose 157*n = 17*n - 62*n + 3608730. Is n a multiple of 18?
False
Let v(g) = 3*g**2 - 38*g - 1792. Does 34 divide v(-60)?
True
Let k(p) = p**3 + 45*p**2 - 19*p + 87. Does 6 divide k(-45)?
True
Let s = 1388 - 405. Let k = s - 526. Is 9 a factor of k?
False
Let b be 22/6 - 6/9. Suppose 5*t + 7 - 197 = 5*o, 4*t = b*o + 116. Let l = o + 61. Does 25 divide l?
True
Let r be -3 - -2*(22/4)/1. Suppose -6*x + r + 16 = 0. Suppose 164 = -s + x*s + 2*u, -275 = -5*s - 3*u. Is s a multiple of 7?
False
Let c(s) = -4*s + 6. Let w be c(6). Let o be -1 - (-13)/((-13)/3). Is 4 a factor of w/o*(28/(-3))/(-7)?
False
Suppose 4*l - 5*g - 19542 = 0, 8*l - 4863 = 7*l + 5*g. Is 40 a factor of l?
False
Let z = 890 + -891. Is 61 a factor of 7854/(-84)*(z - (2 + 1))?
False
Let z(m) = -2*m + 49. Let x = -11 - 24. Does 7 divide z(x)?
True
Does 72 divide 798 + 0 - ((-43 - -29) + 20)?
True
Let c(p) = 319*p**2 + 111*p - 32. Does 116 divide c(11)?
True
Suppose 0 = 218*w - 687946 - 2922570. Is 140 a