247*c. Is c/4 - (-1)/(-6 - -8) a multiple of 40?
False
Suppose 61 = i - 2*n, 4*n - 2*n + 226 = 4*i. Let s(r) = -51 - i + 8*r + 103. Is 5 a factor of s(1)?
True
Let a = 36600 - 17038. Is 17 a factor of a?
False
Suppose -27*f - 16 = -29*f. Suppose -20 + 60 = -f*t. Is 8 a factor of (-5170)/(-50) - (1 - (-8)/t)?
True
Suppose -4510 = -5*j + 2*j + r, 3014 = 2*j + 3*r. Is 16 a factor of j?
True
Suppose 2*z = 3*j - 4*j - 134, -3*z = 12. Suppose -2*s - 12 = 0, -s - 211 = 2*f + 95. Let q = j - f. Is q a multiple of 5?
False
Suppose 39*v + 657 = 30*v. Let m = 35 - v. Does 18 divide m?
True
Suppose 20*t + 13812 = 2*l + 22*t, -3*l + 20658 = -7*t. Does 25 divide l?
True
Let p(w) = 2*w**2 + w - 7. Let i be p(2). Suppose 0 = g, i*g + 5 + 5 = 5*k. Suppose 7*l - 125 = k*l. Is 8 a factor of l?
False
Does 15 divide 4*(-63943)/44*(-2 - 0/(-1))?
False
Suppose 18*q - 15*q - 1011 = 0. Suppose -3*z - p + q = 0, 0 = -5*z - p + 667 - 106. Is z a multiple of 8?
True
Suppose 3*y - 2126 = -62. Is 15/((-60)/y)*-2 a multiple of 35?
False
Let u = -430 + 865. Suppose c + 4*h - u = 0, 432 = c - 2*h + 5*h. Is 9 a factor of c?
True
Does 12 divide (50/(-675) - 2804/54)/((-1)/138)?
True
Suppose -153 + 42 = -3*r. Let w = 1 + -1. Suppose -4*f + 23 + r = w. Is f even?
False
Suppose a - 2*a = 0. Let g = 1047 + -591. Suppose 108 = m - 5*l, 5*m = -a*m + 4*l + g. Is m a multiple of 50?
False
Suppose 0 = 23*p - 17*p. Suppose 4*g - j - 484 = p, 131 - 607 = -4*g - j. Does 40 divide g?
True
Let q = -18400 - -36198. Is 11 a factor of q?
True
Suppose 15 + 0 = 5*z, 0 = 2*h - 2*z - 82. Does 22 divide (-18 - -18) + h*9?
True
Suppose 171*u - 35139 - 176584 = 150284. Does 73 divide u?
True
Let o(s) = -2*s - 6*s - 5*s + s**2 - 12 - 2*s. Let d be o(16). Suppose 5*a - d*r - 262 = 0, 2*a + 2*r - 274 = -3*a. Does 9 divide a?
True
Suppose 5*c + 4*w - 845 = 0, 21*c - 4*w = 16*c + 885. Suppose -9*o = -c - 2302. Is 20 a factor of o?
False
Let j(u) = -u**3 + 21*u**2 + 24*u + 15. Let p be j(22). Suppose 4*b - 5*z - 30 = 204, b = z + p. Does 10 divide b?
False
Let y(x) = -2199*x - 448. Is y(-4) a multiple of 15?
False
Does 4 divide (152/6)/((-10)/12*(-33)/660)?
True
Let t(b) = 2*b - 21. Let y be t(13). Suppose -y*u + 72 = -5*q - 123, 3*q + 9 = 0. Is 9 a factor of u?
True
Let c be (-1)/(-3) - (-3 + 102/(-18)). Let y be 9/(-27) + -1057*(-3)/c. Does 4 divide (y/(-110))/((-1)/15)?
True
Let y(v) be the third derivative of v**5/20 - v**4/24 + v**3/6 - 16*v**2. Is y(5) a multiple of 71?
True
Let p be (-261)/(-29) + (-9 - -1). Suppose 2*l = l - 2. Is 28 + (l - p) + -1 a multiple of 6?
True
Let t be 430/(-30) + (-1)/(-3). Let b be (1/(t/(-35)))/(2/12). Let u = b + 49. Is 4 a factor of u?
True
Suppose -4*g = 4, -3*y + 912 = -3*g - 639. Is 3 a factor of y?
True
Let c be (-9)/12 - (-4312)/32. Suppose 0 = 5*n + 5*m - 190, -c = -4*n + 4*m + m. Is 36 a factor of n?
True
Let p = 20622 + -16696. Is 7 a factor of p?
False
Suppose -j - 5*t + 7 = j, 5*j - 26 = -4*t. Suppose 0 = -j*s + 10*s - 1584. Suppose 0 = 2*f - 4*g - s, -2*g = 3 + 1. Does 35 divide f?
False
Suppose 3*s + 358 = 2*h + s, 0 = 2*h - 4*s - 350. Suppose 0 = 188*b - h*b - 225. Is 15 a factor of b?
True
Let u(d) = 33*d**2 - 7*d - 11. Let t be u(5). Suppose -4*z = -3*x + t, -4*z - 1040 = -7*x + 3*x. Is 6 a factor of x?
False
Suppose 0 = -93*o + 87*o + 6. Is 63 a factor of o/((-1555)/389 + 4)?
False
Let o(p) = -3*p**2 + 25*p - 12. Let s be o(8). Is 67 a factor of 17/((-119)/(-6202)) - s?
False
Let a(d) = 82*d**2 - 2*d. Let q be a(1). Let g be (3/2)/(12/q). Suppose -330 = -4*h + 2*y, 0*y = -2*y + g. Is 5 a factor of h?
True
Let d(f) = 3*f - 4. Let c be d(3). Suppose 5*g + 155 = c*h, -71 = -2*h - 0*h - g. Suppose k = -k + h. Does 17 divide k?
True
Let u(g) = 2*g**2 - 35*g + 51. Let t be u(16). Suppose 0 = 2*c - 3*q - 1748, t*c - 5*q + 2*q = 2616. Does 31 divide c?
True
Suppose -5*j - 4*t + 6 = 0, -3*j + 2*j - 1 = 3*t. Suppose 4*c + j*x - 520 = 0, 4*x = -2*c + c + 116. Is 11 a factor of c?
True
Let f be 18/(-3)*1/(-2). Let q = 1023 + -1020. Suppose -q*t - 6 = 0, -3*t - 82 = -f*u + 359. Is 10 a factor of u?
False
Let v = 37 - 43. Let c(r) be the first derivative of -r**2/2 - r + 6. Is 2 a factor of c(v)?
False
Let z = 924 - 921. Suppose -z*v = -v - 2730. Is 65 a factor of v?
True
Is -84*51*(-15 - (-215)/15) a multiple of 14?
True
Let p be 0 + -274 + -5 + 1. Let d = p + 1086. Is (-6)/15 - (d/20)/(-1) a multiple of 4?
True
Let w(i) = i**3 + 56*i**2 - 42*i - 1440. Does 34 divide w(-52)?
True
Let v = 52 - 52. Let y be -1*(-5)/(-10)*v. Suppose -5*k + 17*k - 192 = y. Is 7 a factor of k?
False
Let j(u) = 72*u**2 - 144*u - 664. Does 32 divide j(-5)?
True
Suppose -83 = -5*b + 4*p, 2*b + 5*p + 7 = 27. Suppose 0 = 11*o - 48 + b. Suppose -4*g + 31 = -o*y, 4*g + 5*y - 75 + 20 = 0. Is g a multiple of 6?
False
Is 127761/9 + -2 + (-162)/243 a multiple of 19?
True
Suppose 2*t = 4*v + t - 15, 0 = -3*v + 5*t - 10. Suppose 5*l + 2*y - 1485 = 0, -2*y + v*y + 280 = l. Is 23 a factor of l?
False
Suppose 2*j - 9283 - 8212 = -3*r, 0 = j - 7. Is 252 a factor of r?
False
Let i(r) be the first derivative of 3*r**5/20 + 5*r**4/12 - r**3/2 + 2*r**2 + 17*r + 15. Let l(a) be the first derivative of i(a). Is l(3) a multiple of 17?
False
Is 16 a factor of 10/(-30)*402/4*-168?
False
Suppose 34868 = 57*m - 27168 - 11380. Does 23 divide m?
True
Suppose -19*u + 7*u + 48168 = 0. Suppose -34*s + 40*s - u = 0. Does 16 divide s?
False
Suppose -86 + 26 = -5*n. Let i be (-70)/n - (-2)/(-12). Is 4 a factor of ((-164)/20 - -1)/(i/40)?
True
Suppose 200412 - 48376 = 21*m - 103219. Is m a multiple of 13?
True
Suppose 45*j = 44*j - 6. Let t be (-1 - 11/j)/(13/78). Suppose 215 = 2*n + t*f - 85, -5*n + 5*f + 750 = 0. Is 6 a factor of n?
True
Let g = -9 + 15. Let o(i) = 11*i - 39. Let d be o(g). Suppose -3*m + d = f, -4*f - f - m + 107 = 0. Is 5 a factor of f?
False
Let g be (-3)/2*(21 - 1) + -4. Let f = 170 - g. Suppose -4*r = 2*u - f, -2*u + 4*r = 23 - 219. Does 20 divide u?
True
Suppose 0 = a + 2*a + 5*t + 3, -a + 10 = -2*t. Suppose 0 = -5*i - 15, 0 = h - a*i - i - 25. Is h a multiple of 7?
False
Suppose -125*q + 11612 + 204076 = 84*q. Is q a multiple of 8?
True
Let j be (21/28)/((-3)/(-24)). Let x = j + 31. Suppose -277 = -5*f + 3*v, -f = 6*v - 2*v - x. Does 21 divide f?
False
Is 24 a factor of -36*68775/126*(-15)/50?
False
Suppose -3*z - 544 + 88 = 0. Let j be (z/(-12))/(2/3). Is 48 a factor of j*-9*(4 - 5)?
False
Suppose -3*m - 4*a + 9246 = 0, 0 = -170*m + 172*m - 5*a - 6141. Is m a multiple of 19?
True
Let p(v) = v - 3. Let y(i) = i - 4. Let f(n) = 4*p(n) - 3*y(n). Let g be f(3). Is 12 a factor of 36*(g - -2)/15?
True
Let l be 13 + (-45 + 3)/(-7). Let t(h) = 2*h + 4. Does 3 divide t(l)?
True
Suppose -742 = -51*w + 4154. Is 48 a factor of w?
True
Let s(w) = w**2 + 20*w + 2. Let b be s(-8). Is 18 a factor of (1 + b/4)/(8/(-128))?
True
Let u(p) = 435*p - 1578. Does 7 divide u(17)?
True
Let h(c) = -c**2 - 7*c + 11. Let k be h(-8). Let y(b) = 84*b - 7. Let s be y(k). Is 32 a factor of (-3 + s/2)/((-4)/(-8))?
False
Let h(a) = 2*a**2 + 42*a - 898. Does 28 divide h(-43)?
False
Suppose -10*a = 177 + 1723. Let h = a + 238. Does 12 divide h?
True
Suppose -5*u - 16805 = -5*d, 5*d + 5*u = 1355 + 15440. Is 15 a factor of d?
True
Let o be (64536/40)/3 - (-12)/(-15). Let v = o - 211. Does 26 divide v?
False
Let w(v) = 12*v**2 - 2*v - 45. Let k(i) be the second derivative of 2*i**4/3 - i**3/6 - 15*i**2 + 14*i. Let l(j) = -7*k(j) + 5*w(j). Is l(-3) a multiple of 6?
True
Let b = -106 + 156. Let a = 50 - b. Suppose a = u - 7 - 83. Does 45 divide u?
True
Suppose -12*g + 806 = 19*g. Suppose 4*l + t = 495, 4*t + g = 6. Is l a multiple of 25?
True
Let h be (-2)/10 + (-2040)/50. Let q = h + 43. Is (45/(-6))/(q/(-4)) a multiple of 5?
True
Suppose 5*c = p - 7, 4*c = -0*p + p - 7. Let b(f) = 4*f**2 - 24*f + 12. Let i(l) = -3*l + 1. Let j(n) = b(n) - 6*i(n). Is 26 a factor of j(p)?
False
Let j be 5 + 30/(-3) - -5. Suppose 0 = 5*c - 0*c + 4*d - 129, j = 5*d + 20. Suppose 4*t - 5*a = 76, -5*t = a - 37 - c. Is t a multiple of 14?
True
Let f(v) = 53*v**2 - 131*v + 2298. Is f(16) a multiple of 162?
True
Let m be (-5 - (-6 - -2))*(3 - 2). Let z be ((-4)/2)/(m/13). Let k = z + -1. Does 9 divide k?
False
Let p(n) = n**2 - 13*n - 1. Let v(y) = 5*y - 1