vide y?
True
Suppose 0 = -3*b + 4*h + 35016 + 42104, -2 = h. Does 108 divide b?
True
Let b(l) = l**3 + 15*l**2 + l + 13. Let w be b(-15). Let f(h) = -2*h**2 - 3*h. Let a be f(w). Is ((-2 - 495/6) + 0)*a a multiple of 13?
True
Let v = 18133 + -13066. Is v a multiple of 9?
True
Is 43 a factor of (24/21)/(11/24101)?
False
Let m = 22378 + -11026. Does 44 divide m?
True
Let p(f) = -f**3 - 12*f**2 - 11*f + 35. Suppose 13*d - 77 = 20*d. Is p(d) a multiple of 3?
False
Let f(w) = w. Let l be f(6). Suppose 12 = -2*g + l*g. Suppose -j + 8 = -g*m - 21, -m = 5*j - 177. Is j a multiple of 7?
True
Suppose 42*y + 107*y - 4987936 = -395*y. Is y a multiple of 7?
False
Is 11 a factor of (9*(-847792)/(-198))/2?
False
Let d(w) = 13*w**2 + 8*w - 4. Let p(f) = f + 2. Let n(q) = d(q) + 4*p(q). Is n(-4) a multiple of 10?
False
Let v(u) = 192*u**2 + 302*u + 18. Is 42 a factor of v(-9)?
True
Let m = 25 - 21. Suppose 2*y - 93 = 3*f, m*y - 204 = -5*f + 37. Is 9 a factor of y?
True
Let n be -5 - ((16900 - 5) + 0). Is 4 a factor of 4/(-22) - n/143?
False
Suppose 5*h + 4*s = 1920, -2*h - 194 = -2*s - 944. Is h a multiple of 19?
True
Suppose -141*y = -144*y + 231. Suppose -4*x + 3*j - 37 = -151, -3*x + y = 2*j. Does 2 divide x?
False
Let p(o) = 13*o - 1. Let k be p(5). Suppose -4 = -5*n + 7*n, -5*n = -q + k. Is q a multiple of 9?
True
Let r(a) = a**2 + 16. Suppose -4*z + 0 = 4. Let n = z + -5. Does 52 divide r(n)?
True
Let q(l) = 30*l + 219. Does 11 divide q(7)?
True
Let w be (-3 - -2)*(-20594)/14. Let t = w - 1027. Is t a multiple of 17?
False
Is 273/((-9)/(-48)*(8 - 184/24)) a multiple of 28?
True
Let j = 2934 + 1222. Is 108 a factor of j?
False
Let c(o) = o**2 - 111*o + 1825. Does 6 divide c(107)?
False
Let o(b) = b**3 - 16*b**2 - 18*b + 10. Let z be o(17). Let q be ((-15)/(-9)*z)/((-2)/6). Let p = q - -10. Does 11 divide p?
False
Let t = 25167 - 23413. Does 73 divide t?
False
Suppose 57*u - 192470 - 73510 = -53*u. Is u a multiple of 6?
True
Let r be 0 - (-150)/(-4 + 1). Let l = -46 - r. Suppose 5*s - 568 = y + 581, -2*y = l*s - 908. Does 24 divide s?
False
Let n be (44/8)/((-2)/20). Is 2 + -13 - -6 - n a multiple of 27?
False
Suppose 0 = 352*u - 328*u - 1234560. Does 42 divide u?
False
Is 9 a factor of ((-33606)/54)/((-13)/39)?
False
Suppose 10*k + 14 = 54. Suppose -k*f = -9*f. Suppose f = 17*q - 20*q + 156. Is 4 a factor of q?
True
Suppose 5*h + 4*n + 6 + 4 = 0, 4*n = -20. Is ((-20414)/59)/(h*1/(-1)) a multiple of 16?
False
Suppose -t + 4225 = 5*x - 0*x, 4*t - 4*x - 16900 = 0. Does 15 divide t?
False
Let x(q) = 30*q**3 - 10*q**3 + 82*q**3. Let g(r) = -r - 5. Let u be g(-6). Is 12 a factor of x(u)?
False
Is (-25)/(-5) - 1 - (-3705)/13 a multiple of 18?
False
Let x = 0 + 103. Let i = -68 + x. Let g = i - 7. Does 5 divide g?
False
Let v(d) = 18 - 4*d - d + 11*d. Let h be v(6). Suppose 0 = 3*q + 3*u - h, q = -3*q + 2*u + 72. Is 14 a factor of q?
False
Suppose 2*d = -3*k + 47964, -48*k + 50*k + 4*d = 31976. Does 28 divide k?
True
Let y(m) = 419*m**2 + 430*m - 1698. Is 177 a factor of y(4)?
True
Let r = -100 + -12. Let j = 14 - r. Is j a multiple of 44?
False
Let z(v) = v**2 - 25*v + 13. Let u be z(8). Is -2 - 3 - (u + 8) a multiple of 5?
True
Suppose 0 = 40*k - 360*k + 7627520. Is 101 a factor of k?
True
Suppose 3*n + 3*n = -1080. Is (76/95)/((-1)/n) a multiple of 16?
True
Let o(i) = 23*i**3 + 6*i**2 - 21*i + 68. Is o(4) a multiple of 4?
True
Let y = 254 - 2. Suppose -5*m - m = -y. Let f = m - -3. Does 12 divide f?
False
Let m = 30 + -66. Let b = m - -47. Is b even?
False
Let o = 26034 - 25795. Is o a multiple of 4?
False
Suppose -300*b - 61*b = -1531362. Is b a multiple of 17?
False
Let r = 135 - 71. Let z be (1 + r)*1/1. Let q = z - 22. Is 6 a factor of q?
False
Suppose 2*z = 3*p - 7732, 2*p - 2292 = -5*z + 2850. Does 12 divide p?
False
Suppose 195 = 6*l - 9*l. Let f = -53 - l. Does 8 divide (-1)/2 + 86*f/16?
True
Let b(a) = -9*a + 104. Let h be b(11). Suppose -5*n + 8*n = -h*t + 300, -10 = 2*n. Is 21 a factor of t?
True
Let l(w) = w**2 + 11*w + 4. Let b be l(-11). Suppose -4*z - 4*v = -320, -b*v = -z + 4*z - 236. Let f = 164 - z. Is 16 a factor of f?
True
Let o = -229 + 289. Is 62300/o + 15/9 a multiple of 20?
True
Suppose 91 - 75 = 16*g. Is 25 a factor of g/1*(6/(-3) + 777)?
True
Let p = 3444 + 244. Is p a multiple of 8?
True
Let c(x) be the third derivative of 17*x**7/2520 - x**6/120 + 7*x**5/15 + 5*x**2. Let s(z) be the third derivative of c(z). Is s(3) a multiple of 12?
True
Let c = -21112 + 40617. Is 11 a factor of c?
False
Let g(k) = 99*k**2 - 5*k - 14. Let z(n) = n**3 + 9*n**2 + 8*n - 2. Let q be z(-8). Is g(q) a multiple of 28?
True
Let b(p) = -13*p - 1. Let d be b(-1). Let k(n) = 2*n - 5. Let z be k(d). Let x = 53 + z. Is 36 a factor of x?
True
Let m = -126 - -166. Suppose -7*q - m + 355 = 0. Does 5 divide q?
True
Let o(b) be the third derivative of -5*b**4/24 - 8*b**2 - 3. Is 5 a factor of o(-3)?
True
Let p be ((16/(-6))/(-4))/(24/756). Does 52 divide (-13797)/p*(-1)/(-3)*-1?
False
Let m(x) = -x**2 + 12*x - 18. Let h be m(10). Suppose 0 = 8*j - h*j - 1650. Let p = -166 + j. Is p a multiple of 31?
False
Suppose 4*k + 2*w + 5 = 17, -7 = -3*k - 2*w. Suppose k*c = 5, -2*c = -0*p - p + 173. Does 25 divide p?
True
Let l be (462/9)/2 + (-1)/(-3). Suppose -22*p + l*p - 12 = 0. Suppose 435 = 3*x + 2*n, -p*x + 0*n = -n - 426. Is 27 a factor of x?
False
Let h(k) = k**3 - 7*k**2 + 25*k + 20. Let q be h(12). Suppose -2*d - q = -6*d. Is d a multiple of 32?
False
Let i be (16/(-32))/((-3)/18). Let a(p) = 20*p**2 - 7*p + 33. Is 11 a factor of a(i)?
False
Suppose -6*b - 4*b = -550. Suppose 4*v - 308 = -2*u, 3*u = -5*v + 406 + b. Is 6 a factor of u?
False
Suppose -z = -5*t + 4083 + 898, 4*t - 3976 = 3*z. Is t a multiple of 108?
False
Let c = 1914 - -120. Does 79 divide c?
False
Suppose c - 107 - 11 = -3*l, l - 2*c = 30. Suppose l - 131 = -w. Does 31 divide w?
True
Let i(n) be the third derivative of -7*n**4/12 - 16*n**3/3 - 4*n**2 + 17*n. Is 41 a factor of i(-14)?
True
Let s = 23 + -19. Suppose -s*f - 5*u = -39, 5*u - 27 = -2*f - 0*f. Suppose -f*j + 10*j = 216. Is 27 a factor of j?
True
Suppose -5*q = 5 - 20. Suppose 4*o + 16 = -2*p + 3*p, 0 = o + q. Suppose -p*y + 88 = 4*r, -5*r - 3*y - 31 = -141. Is r a multiple of 22?
True
Suppose 2*r + 4*t = 6, 0 = 2*r - 2*t - 77 + 71. Let o(d) = 282*d + 14. Is o(r) a multiple of 118?
False
Suppose 4*p - 4*x = 28, -p - 3*x - 3 = -6. Is (-2)/p - (82/(-3) - 3) a multiple of 15?
True
Let b(k) = -6*k**2 - 170*k - 120. Does 16 divide b(-20)?
True
Suppose 4*q - n + 405 + 343 = 0, -n = -2*q - 376. Is 7 a factor of 2/(-12) + (-102145)/q?
False
Suppose 167*q - 89*q - 1754064 = 0. Does 78 divide q?
False
Let a(o) = o**3 - 5*o**2 - 6*o + 2. Let b be a(6). Suppose -3*c + b*v = -845, 5*v = -c + 2*c - 299. Is c a multiple of 31?
True
Let z = 9300 + -7572. Is z a multiple of 43?
False
Suppose 6*j = 3*q - 119658, 32633 + 47181 = 2*q + 2*j. Does 12 divide q?
True
Let x(j) be the first derivative of -9*j**2/2 - 80*j + 5. Is x(-15) a multiple of 5?
True
Let b = 761 - 777. Let w(c) be the first derivative of -c**4/4 - 16*c**3/3 + 15*c - 2. Does 8 divide w(b)?
False
Let f be (0 - (-3)/(-2))/((-45)/8310). Let b = -87 + f. Let a = b + -38. Does 30 divide a?
False
Let y(g) = 2*g + 4. Let o be (-10)/(-70) - 30/14. Let s be (o + 7)*12/10. Is 16 a factor of y(s)?
True
Suppose 502924 - 91500 = 72*a - 71048. Is a a multiple of 205?
False
Suppose 133 = -2*p - 3*n, -p + 2*n = 56 + 28. Suppose 0 = 12*y + 429 + 783. Let b = p - y. Is b a multiple of 7?
False
Let c be 8400/63*6/4. Suppose 1135*l - 1130*l = c. Is 4 a factor of l?
True
Let z be -5 + 3 + -2 + 3 + 1. Suppose z = 4*v - 4*q - 437 - 31, -4*v + 3*q + 472 = 0. Suppose 5*y - v = 44. Does 11 divide y?
True
Suppose -18*z = -17*z - 366. Let a = 696 - z. Does 11 divide a?
True
Suppose 0 = 3*y + 4*a + 181, 230 = -4*y - 3*a - 9. Let f = -54 - y. Suppose 0 = f*x - 2*h - 242, 3*h - 237 = -4*x - 25. Is x a multiple of 18?
False
Let t = 14010 - 6167. Does 23 divide t?
True
Let v = -788 - -324. Let w = -291 - v. Let a = 320 - w. Is 49 a factor of a?
True
Suppose 20*h - 16*h - 12 = 4*r, -5*h - 2*r + 15 = 0. Suppose -5*f = h*a - 870, -93*a - 576 = -95*a - 2*f. Does 19 divide a?
True
Let x be (16/(-6))/(-4)*-3. Let o(t) = -298*t