4. Is 52 a factor of f?
True
Let i(f) = 48 - 2*f**2 - 22 - 40*f - 24. Let g be i(-20). Suppose -z - g*t + 100 = -0*z, 0 = -5*z - t + 482. Does 17 divide z?
False
Let y(o) = o**2 + 21*o - 19. Let v be y(12). Let a = -372 + v. Is 3 a factor of a?
False
Let m(z) = -84*z**2 + 30*z**2 - 11 - 19*z + 22 + 53*z**2 + 16. Suppose 0 = -4*f - f - 70. Is 10 a factor of m(f)?
False
Let p(u) = -187*u + 8. Let f be p(-5). Suppose -f - 632 = 7*i. Let s = i + 325. Is 9 a factor of s?
False
Suppose 4*w - 15957 = -3*q, -5*q - 246*w = -247*w - 26618. Does 17 divide q?
False
Let o(q) = 3*q**3 + 11*q - 2*q**3 + 12 - 9*q**2 - 28. Let f be o(8). Suppose -360 = -0*v - f*v. Is v a multiple of 19?
False
Is 9 a factor of 7866 + (10/35 - (-33)/7)?
False
Let q(a) = 2*a + 3. Let y be q(-8). Is 7 a factor of (-39)/y + (-4 - 2)*-19?
False
Suppose o + 24 = 4*o. Suppose 2*u + 430 = -o*u. Let n = 166 + u. Is 23 a factor of n?
False
Let w = 39 - 34. Suppose -19 = 4*j - w*j. Does 7 divide j + -1*(-2 - 1)?
False
Let i be -1*379/(-1) - -5. Suppose 12*f = 14*f - i. Does 11 divide f?
False
Let m(d) be the third derivative of -d**5/30 - d**4/2 + 2*d**3/3 - 4*d**2. Let a be m(-6). Does 36 divide a/18 - (3 + 1321/(-9))?
True
Suppose -2*a = p - 231, a + p - 3*p - 123 = 0. Let i = 204 - a. Is 3 a factor of i?
True
Suppose 3*o + 290 = 14. Let u = 179 + o. Let g = u - 46. Does 7 divide g?
False
Let m(z) = -2*z + 16. Let c be (-9)/6*(20/(-6))/1. Let j be m(c). Suppose -j*n = -n - 415. Does 16 divide n?
False
Let z(v) = 13*v**3 - 4*v**2 - 3*v - 3. Let k be z(-3). Is 13 a factor of k/(-6)*1 - 24/(-16)?
True
Suppose -5*c - 83 + 3 = 4*p, -5*p + 85 = -3*c. Does 9 divide 0*(-4)/c - -567?
True
Let v(x) = x**2 + 2*x - 22. Let g be v(-9). Let r = 85 - g. Is 5 a factor of r?
False
Suppose 2*u - 5*l = -0*u + 695, 1070 = 3*u - 2*l. Is 30 a factor of u?
True
Let h be (4 - (-66)/(-15))*(-1 + 36). Let q(c) = c**3 + 16*c**2 + 12*c + 4. Let n be q(h). Let f = n - 157. Is f a multiple of 13?
False
Let d(o) = -159*o + 2075. Is d(-26) a multiple of 46?
False
Let j(d) = -d**3 + 14*d**2 - 13*d - 32. Let m be j(14). Is m/(-1) - (-4 - 0) a multiple of 52?
False
Let v = -864 - -1401. Suppose k = -2*i + 85 + 132, -5*i + 3*k = -v. Does 2 divide i?
True
Let o = -1010 - -1448. Let b = o + -375. Is 63 a factor of b?
True
Let l = -24561 + 37198. Is 202 a factor of l?
False
Let k = -174 + 179. Suppose -2*s = 5*c - 49, 3*s + k*c + 34 = 110. Is 4 a factor of s?
False
Let k(m) = m**3 + 13*m**2 + 12*m + 1. Suppose 42 = -5*w - 18. Let p be k(w). Let d(n) = 109*n - 4. Is d(p) a multiple of 15?
True
Let u = -1055 + 3492. Suppose 0 = 13*j - u - 3218. Does 29 divide j?
True
Let t be (-4454)/170 + 2/(-20)*-2. Let w be 23 + t - (-8 - -1). Is 7 a factor of 29 + w/(-1)*(-13)/26?
False
Is (-70437)/(-6) + (12 + -24)/(-24) a multiple of 83?
False
Let r(o) = o**3 + 8*o**2 + 2*o + 5. Let s be r(0). Suppose -107 = -3*f - s*j, -44*j - 135 = -4*f - 43*j. Is 17 a factor of f?
True
Let f = 535 + 1676. Does 32 divide f?
False
Suppose -4*v + 4*h = 6*h + 294, 0 = -v + h - 75. Let c = v + 138. Does 2 divide c?
True
Suppose 3*u + 17 = 4*h, 1 = -5*u - 3*h - 8. Let d(j) = 42*j**2 + 14*j + 4. Is 10 a factor of d(u)?
True
Let k be 49/(-7) + (-74)/(-2). Suppose 0 = -5*h + k*h - 8375. Is 4 a factor of h?
False
Let t be (2250/126 - 11)*(-238)/4. Let c(w) = 120*w + 3. Let o be c(-2). Let k = o - t. Is k a multiple of 12?
False
Let o(d) = -10*d**2 - 4*d - 4. Let f be o(-1). Is 14 a factor of (152/f)/(28/(-280))?
False
Let c be (-1 + 2)/((-13)/(-481)). Suppose 18*o + c*o = 6380. Is 27 a factor of o?
False
Let k be ((-1266)/21)/((-180)/35 - -5). Let z = -152 + k. Does 13 divide z?
False
Is (8/(-18)*1974/(-28))/(9/1863) a multiple of 46?
True
Let a(c) be the first derivative of -c**3/3 + c**2/2 + 3*c + 19. Let m be a(0). Suppose m*z = 8*z - 40. Is z a multiple of 4?
True
Let k be 13/((-130)/(-32))*105*2. Suppose 5*s + k = 2082. Is s a multiple of 6?
True
Suppose a + 23 = 27. Suppose -3*j = -4*i + j - a, -3 = -3*j. Let r(n) = -3*n + 35. Is r(i) a multiple of 6?
False
Let y be 36/45*10*3. Suppose 5*u - 79 + y = 0. Suppose -10*n - 70 = -u*n. Is 14 a factor of n?
True
Let w(b) = 302*b**2 + 500*b + 3. Is w(6) a multiple of 111?
True
Suppose -n - 2*w + 26204 = -27278, 4 = w. Does 22 divide n?
False
Suppose 909*t - 2504862 = 847*t. Is t a multiple of 67?
True
Let s = 220 + -211. Suppose 12*v = 2*l + s*v - 266, 4*v - 238 = -2*l. Is l a multiple of 4?
False
Suppose 5*l - 23 = 42. Let t = 13 - l. Does 5 divide (t/(3/1) + 1)*67?
False
Let i(u) = u**3 + 2*u**2 - 2. Let w be i(-2). Suppose 0 = -19*k - 59 + 116. Does 14 divide w + (k + 75)*2?
True
Let q = 61076 - 43006. Does 65 divide q?
True
Let t = 9853 + -2323. Does 5 divide t?
True
Let y be 3/(-4) + (-513)/(-108). Suppose -x = -4*r + 240, -y*r = -7*x + 3*x - 240. Is 7 a factor of r?
False
Let p(v) be the second derivative of v**5/10 - v**4/12 + v**3/2 - v**2 + 12*v. Let t be p(2). Does 35 divide ((-105)/2)/((-6)/t)?
True
Let o(d) = 16*d**3 + 6*d**2 + 17*d - 453. Is o(13) a multiple of 106?
True
Let c(p) = 178*p**2 + 8*p - 5. Let k(a) = 89*a**2 + 5*a - 3. Let b(r) = 3*c(r) - 5*k(r). Is b(-1) a multiple of 45?
True
Let s(j) = -573*j - 590. Is s(-22) a multiple of 16?
True
Let q(t) = -t**3 - 21*t**2 - 37*t + 28. Let c be q(-19). Does 44 divide (193/(2 - 1))/(10 - c)?
False
Let a(w) = 361*w**3 - 12*w**2 + 32*w - 7. Is a(2) a multiple of 4?
False
Let c = 5618 - -6073. Does 10 divide c?
False
Let v(f) = 4755*f**2 + 41*f + 38. Does 44 divide v(-1)?
True
Let k = -76 - -70. Let z(w) = w**3 + 8*w**2 + 9*w - 4. Does 7 divide z(k)?
True
Let j(h) = -h**3 - h**2 - 10*h + 5. Let r be ((-7)/(-2))/((-15)/(-10) - 2). Is 41 a factor of j(r)?
True
Let f(q) = 6*q**3 + q**2 - 3*q + 1. Let x be f(1). Suppose -x*o + 128 = -9*o. Let d = o + 59. Is d a multiple of 4?
False
Let w be 20/(-12) - 4/(-6). Let n(o) = -4*o + 4230*o**2 - 3 - 54*o**3 - 4230*o**2. Does 11 divide n(w)?
True
Let w(h) = -h - 10. Let v be w(-11). Let f be (-12)/(v + -5) + -133. Is 8 a factor of -562*1/(-5) + 52/f?
True
Is 4/34 - (-25659260)/4301 a multiple of 3?
False
Suppose 4*w - 6218 = s - 711, -5*s + 5489 = 4*w. Suppose 4*m + k - w = 0, 5*m - 1418 = -k + 301. Does 15 divide m?
False
Suppose -7*z = 10*z - 1972. Let a = z + 142. Is a a multiple of 43?
True
Does 11 divide 2*-3 - (-882 + (1 - -4))?
False
Let f be -21*5/60*-28. Suppose -47*r + f*r - 2004 = 0. Does 26 divide r?
False
Let l(q) = 6*q - 30. Let i(j) = j - 6. Let t(x) = -11*i(x) + 2*l(x). Let h be t(-10). Is 16 a factor of 2 + 0/(-2) + (58 - h)?
True
Let s be 22/8*2*2. Let q(f) = -12 - 7 - 16 + 7*f. Is 9 a factor of q(s)?
False
Suppose -7123*t + 7138*t - 16290 = 0. Is 6 a factor of t?
True
Let y(g) = g**3 - 4*g**2 - 11*g - 2. Let n be y(6). Suppose 1170 = 5*w + u, n*w - 562 - 388 = 2*u. Is 16 a factor of w?
False
Let k(z) = -3344*z + 350. Does 17 divide k(-2)?
True
Suppose 0 = -3*q + 2*q + 4*q. Suppose q*h = -3*h + 3*w - 3, 0 = 2*h + 2*w - 18. Let j(n) = 6*n**2 - 2*n - 10. Does 7 divide j(h)?
False
Let d = 57 - -47. Is (2 + 0/2)/(d/7280) a multiple of 70?
True
Let m(k) be the first derivative of -3*k**4/4 + k**3 + 9*k**2 + 12*k + 50. Is m(-4) a multiple of 10?
True
Let l(i) = -89*i**3 + 5*i**2 - 4*i - 3. Let s be l(2). Let z = 1567 + s. Does 17 divide z?
False
Let q(l) = l**3 + 44*l**2 - 152*l + 45. Does 31 divide q(-39)?
True
Suppose 68537 = 119*c - 329280. Is 18 a factor of c?
False
Let f(y) = -7*y**2 - 6*y + 5. Let j(o) = -5*o**2 - 5*o + 4. Let b(h) = 2*f(h) - 3*j(h). Is 2 a factor of b(-5)?
True
Let s(t) be the first derivative of -3*t**2/2 + 225*t - 160. Is 12 a factor of s(-9)?
True
Suppose -8*t = -9*t - 16*t + 43180. Is 12 a factor of t?
False
Let a = -2223 - -7008. Is 8 a factor of a?
False
Let q(w) = -5*w + 159. Let c be q(29). Let a(i) = 88*i - 78. Does 63 divide a(c)?
False
Suppose 0 = 2*v - 4*d - 22, -2*d - 12 = -4*v + 14. Suppose 4 = c - 3*c, -3*g - v*c = -638. Is 9 a factor of g?
True
Let g be ((-2)/4)/((-31)/1178). Suppose o = -g*o + 32160. Is o a multiple of 67?
True
Suppose 0*c + 94*c = 117876. Is 22 a factor of c?
True
Suppose -8*k + 11011 = -6*k - 5*d, 33045 = 6*k - 3*d. Is 34 a factor of k?
True
Suppose -2*h = j - 9328, -3*j + 5608 + 8393 = 3*h. Is 59 a factor of h?
True
Let r(c) = -c**3 + 67*c