36?
True
Suppose -88*w + 93*w + 116693 = 4*t, -2*w = -2*t + 58346. Does 187 divide t?
True
Suppose 0 = -3*u - 4*z + 14482, u - 2*z - 24128 = -4*u. Does 12 divide u?
False
Suppose 9 = 3*h + 3*v, 4*v - 7*v = -2*h + 11. Suppose -h*m - 327 = -3*y - 131, 3*m = y - 152. Is 3/12 + (-9711)/m a multiple of 17?
True
Suppose -133 = 5*h - a + 96, -2*h - a = 86. Let b be (80/h)/8*-9. Suppose -5*v = -b*f + 86, -4*v - 196 = -5*f - v. Is 19 a factor of f?
True
Let c(u) = -u**2 + 33*u + 64. Suppose v - 37 = 5*j + 5, -v + 26 = 3*j. Is c(v) a multiple of 2?
True
Let m(w) = -23*w + 0*w + 4*w - 40. Let x be (4/(4 + -2))/(398/(-2587)). Is 12 a factor of m(x)?
False
Let a(x) = 4*x - 18. Let u be a(6). Suppose 2*i + 2*i + u = 3*z, -2*i - 2*z + 4 = 0. Suppose i = 5*k + 2*j - 83 - 56, -5*k + 136 = 3*j. Is k a multiple of 5?
False
Let p = -6382 + 6494. Is p a multiple of 9?
False
Let j(l) = -8*l - 96. Let v(b) = 31*b + 384. Let c(f) = -9*j(f) - 2*v(f). Let s be c(0). Is (-130)/(-6) - (-32)/s a multiple of 22?
True
Is 15 a factor of ((-180)/21)/(-17 - 10822/(-637))?
True
Let q(h) = h**2 - 6*h + 4. Let z be q(6). Suppose -b = 4*i + 12, z*b + 4*i = -0*b. Suppose -8*x + 92 = -b. Is 2 a factor of x?
True
Suppose 20*u - 1884 = 16*u. Let h = 98 + u. Is h a multiple of 28?
False
Let r = -2579 - -2661. Let n(k) = -3*k**3 + 5*k**2 - 3*k - 2. Let f be n(3). Let g = r + f. Is 15 a factor of g?
False
Suppose 8*m - 57673 = -4*v + 7*m, -5*m = -v + 14413. Does 178 divide v?
True
Is 8 a factor of -1 - ((-2)/3)/(5 - (-233264)/(-46656))?
False
Suppose -5*q - 3*t + 18 = -0*t, 5*q = t + 34. Let z(o) = 8*o + 31. Let x be z(q). Let n = x + 167. Is n a multiple of 23?
False
Let y(i) = -2*i**3 + 28*i**2 + 22*i + 29. Let a be y(14). Let w = -243 + a. Is w a multiple of 3?
False
Let g(v) = 111*v + 351. Does 21 divide g(8)?
True
Suppose 23*b - 283526 = 51676. Is b a multiple of 11?
False
Let g(i) = -29*i + 2. Let v be g(-6). Suppose -3*t = 25 + v. Let z = -26 - t. Is z a multiple of 41?
True
Suppose 6*w - 7*w = 2*c + 1197, -2*c + 3*w - 1209 = 0. Is 42 a factor of (c/(-5))/((-8)/(-56))?
True
Let s(a) = -a**2 - 17*a + 208. Let m be s(-17). Suppose 200 + m = 2*r. Is 51 a factor of r?
True
Suppose -2*h - 2*z = -5*h, -2*z = 3*h - 12. Suppose -h*n = -5*g + 239 - 74, n = -g + 26. Is 11 a factor of g?
False
Let x be (-2)/6*0/1. Suppose 6*b + g - 91 = 2*b, -4*b - 5*g + 71 = x. Let s = b + 2. Is 19 a factor of s?
False
Suppose -3*w = -5*u - 789, 3*w = 3*u + 2*w + 475. Let z be -3 + (-17)/(-7) + u/(-21). Suppose m + t = 48, 12*t = 3*m + z*t - 112. Is m a multiple of 9?
False
Suppose -3*w = -4*u + w - 12, -4*u - 17 = -5*w. Suppose 4*n = 3*q + 786, -u*n - q + 172 + 216 = 0. Is n a multiple of 15?
True
Let h = 4 + -2. Suppose -3*u + i = 199, u + i + h*i + 53 = 0. Is (0 + (-12)/10)/(1/u) a multiple of 26?
True
Suppose 6*a = 2*y - 62800, 27*y - 30*y + 4*a + 94160 = 0. Is 148 a factor of y?
True
Let z(k) = -7*k**2 - 15*k - 4. Let s(t) = -6*t**2 - 14*t - 4. Let q(j) = 6*s(j) - 5*z(j). Let w be q(-9). Does 8 divide 23 + 0 + (-16)/w?
False
Let f(s) = s - 1. Let c be f(7). Suppose -3*d = -c - 93. Is d a multiple of 33?
True
Suppose 111*x - 48*x = -85*x + 967476. Is 16 a factor of x?
False
Suppose -36*i + 3*o = -35*i - 16650, -83218 = -5*i - o. Is 65 a factor of i?
False
Let j(r) = 2*r**2 + 5*r + 18. Let o be j(-14). Suppose 192 = 3*g + 3*w, -4*g - w + o = g. Does 23 divide g?
True
Let c = -1227 + 1250. Is 10 a factor of c?
False
Let n be 1199/(-11) + (4 - -1). Let v = -103 - n. Let s(f) = 39*f**2 + 1. Does 10 divide s(v)?
True
Suppose 0*j = j + 10. Suppose -x = s - 21, 127*x - 129*x = -s + 30. Let t = s + j. Does 4 divide t?
False
Let n(c) be the first derivative of -3*c**2 - 33*c - 2. Let v be n(-6). Suppose 0 = -0*i - 4*i + v*o + 328, -o = -2*i + 162. Is 16 a factor of i?
False
Let s be 8/(-36) - 50/18. Let d be 4/(3 - (3 + s))*3. Suppose -216 = -8*i - d*i. Is 15 a factor of i?
False
Let b(u) = 56*u**2 - 144*u - 1065. Is 32 a factor of b(-7)?
False
Let x be 6/((-18)/(-195)) - 1. Let u = -42 + x. Does 3 divide u?
False
Let o(q) be the first derivative of q**5/5 + 7*q**4/24 + 4*q**3/3 + 7*q**2/2 - 13. Let f(m) be the second derivative of o(m). Is f(-3) a multiple of 19?
True
Suppose -10*m = 5*l - 2580, -12 + 4 = 4*l. Is 7 a factor of m?
True
Let x(z) = 13*z**2 + 820*z + 231. Does 59 divide x(-64)?
False
Let g = -1222 - -1890. Suppose 616 = 2*z + 4*i, -g = -2*z + i - 57. Is z a multiple of 18?
True
Suppose 5*k - 6521 = -v + 9701, k + 2*v - 3239 = 0. Suppose 6*y - k = -101. Is 22 a factor of y?
False
Suppose -1 - 9 = -5*x. Let g be (2 + (-21)/(-2))*2. Suppose g = x*k - 1. Is 2 a factor of k?
False
Let l(d) = 2*d**3 - 6*d**2 + 10*d - 8. Let u be l(4). Let t = 34 - 53. Let f = t + u. Does 11 divide f?
False
Let r(h) = 4*h**2 + 3*h - 6. Let b be r(3). Suppose -2*a + 10 = 0, -4*g = -5*g + 5*a - b. Let n = 92 + g. Is 13 a factor of n?
True
Suppose k + 2*k = -3*b + 42, -4*b = -2*k - 50. Suppose 0 = b*w - 7*w + 960. Let g = w + 246. Is 20 a factor of g?
False
Suppose 2*b + 3*z - 2179 = 0, -4*z + 3263 = 3*b - 5*z. Suppose -57*m = -53*m - b. Does 16 divide m?
True
Suppose -432 = -18*n + 36*n. Is 36 a factor of (n + -6)/(-6) + 494?
False
Let i be 11*6/((-18)/(-33)). Let q = 125 - i. Suppose -o - 3*y = -0*o - 48, -2*y = q*o - 232. Is o a multiple of 9?
False
Let b be (-72)/33 + 2 - (-8)/44. Suppose 0 = -o - b*o + 7. Suppose o*p = -0*p + 350. Is p a multiple of 25?
True
Let q(v) = 32*v - 1384. Is 36 a factor of q(59)?
True
Suppose 6*x = 9*x - t - 131, 0 = -5*x - 3*t + 195. Suppose -572 = -5*s - x. Is 30 a factor of s?
False
Let p be 3*(-1)/(-18) - 22625/(-6). Let b = p - 2232. Does 14 divide b?
False
Let v(t) = 8*t**2 + 73*t - 763. Is 215 a factor of v(18)?
False
Is 20 a factor of (-26)/2 + (-14266)/(-2)?
True
Let q = -11956 - -13547. Does 4 divide q?
False
Let y = -53 + 54. Let g be (4 - 2) + y - (-3 - -1). Suppose -2*p - 3*z = -133, g*p - 5*z - 510 = -165. Is p a multiple of 17?
True
Does 31 divide (-16)/216 - 142294/(-54)?
True
Let v(y) = 9*y**2 - 16*y - 4. Let t be v(-7). Is 32 a factor of (-18)/36 + t/2?
False
Is 1486/4 + (-6)/(-12)*5 even?
True
Let q be (-3 - 6) + (-70)/(-5). Let z(l) = l**3 + 4*l**2 + 2*l - 13. Is z(q) a multiple of 23?
False
Suppose 4*s + 107*b = 108*b + 168130, 0 = 4*s + 2*b - 168112. Does 11 divide s?
True
Suppose -u + 5 = 2*b + 14, -5*u = 5*b + 30. Let j(z) = 6*z**2 + 7*z**2 - 6*z + 0*z**2 + 2*z + 6. Does 18 divide j(u)?
False
Suppose 134169 = -29*n + 393197. Does 77 divide n?
True
Let c = -107 - -674. Suppose -c = -7*j + 378. Is j a multiple of 7?
False
Let f = 9453 - -4086. Is 118 a factor of f?
False
Let z be 7 + (0 - 4) + 102/2. Let q be (-16)/(-4) - -1*z/(-3). Is 2 a factor of -3 - 7/(q/36)?
False
Let q(k) = -2*k**2 + 46*k + 69. Let m be q(22). Let y = m + 685. Is y a multiple of 19?
True
Suppose -115*i + 100 = -110*i. Suppose 4*n = -i, -123 = -2*o - 3*n + 662. Is 20 a factor of o?
True
Suppose -16*z + 4278 - 582 = 0. Suppose -3*k = 3*d - 141, -4*k - 61 + z = -5*d. Is k a multiple of 17?
False
Let z(h) = 212381 - 212563 - 55*h - 12*h. Does 30 divide z(-8)?
False
Suppose -5*c - x = -3*c - 1, 2*c - 13 = 3*x. Let s(h) = -3*h + 6*h - 8*h**2 - 84*h**3 + 11*h**c + 2 - 94*h**3. Is 18 a factor of s(-1)?
True
Let o(a) = a**3 - a - 2. Let w be o(2). Let k be (2/w)/((-6)/(-288)*-4). Let v(s) = -5*s + 5. Does 7 divide v(k)?
True
Let w = 192 + -189. Suppose 3*j = -w*g + 48, 2*j - 20 = 3*g + g. Is j a multiple of 3?
False
Let z be (-9)/(-15) - (-97)/5. Suppose 0*b = -5*b. Does 15 divide (5 + b)*84/z?
False
Suppose -4*d + 7418 = -7*n + 10*n, 5*d - 2*n - 9307 = 0. Does 18 divide d?
False
Let s(g) = -428*g - 108. Is 33 a factor of s(-27)?
False
Let u(a) = -1605*a - 600. Is 13 a factor of u(-10)?
False
Let o(h) = h**2 - 5*h - 34. Let r be o(11). Suppose -12 = -r*l + 29*l. Suppose 0*i = 5*i, 0 = 3*c + l*i - 252. Does 21 divide c?
True
Let i(y) = -61*y - 4. Let s(q) = 2*q - 36. Let w be s(15). Is 42 a factor of i(w)?
False
Let l(s) = s**3 - 3*s**2 - 3*s - 1. Let p be l(4). Suppose -m - 134 = 5*c - 1570, p*c + 3*m = 852. Is c a multiple of 33?
False
Suppose -5*y + q = -15, 3*y - 2*y + 5*q + 23 = 0. Let x(l) = 0*l + 154*l**3 + 26*l**3 - l**y - 6*l + 7*l. Is x(1) a multiple of 30?
True
Let k(v) = 164*v**2 + 52 - 132*