f 7?
True
Let m(f) be the third derivative of -3*f**4/8 + 161*f**3/3 - 41*f**2. Is m(0) a multiple of 23?
True
Suppose 0*q - 2*q + 8 = -4*j, q = -5*j + 4. Suppose 5*a + v - 680 = 0, -v = q*a - 2*v - 553. Does 2 divide a?
False
Suppose o + 81 = -3*w - 127, 0 = -4*o - 4. Let g be (1596/(-63))/((-2)/(-9)). Let h = w - g. Is 15 a factor of h?
True
Does 74 divide 4329/13*(-246)/(-27)?
True
Is (-12 - 6)*120/(-4)*2 a multiple of 30?
True
Suppose 0 = -d + 2, d - 16 = 4*r + 10. Let j(h) = -21*h - 16. Let f be j(r). Suppose t - f = -t. Does 19 divide t?
False
Let b = 264 - 185. Let m = b - 30. Let c = m - -71. Is c a multiple of 30?
True
Suppose -14*r + 11*r = d + 1, 4 = -4*d + 5*r. Let q(y) = -428*y**3 - y**2 - y - 1. Is q(d) a multiple of 44?
False
Let g be ((-2)/6)/((-1)/51). Suppose -2*n = -3 - g. Suppose -5*d + n*d - 260 = 0. Is d a multiple of 13?
True
Let j(d) be the third derivative of -d**5/60 + 7*d**4/2 - 5*d**3/2 - d**2. Let p(m) be the first derivative of j(m). Is 21 a factor of p(0)?
True
Let y(v) = -3*v**3 - 7*v**2 - 6*v - 4. Let d(t) = -t**3 - t**2 - 1. Let f(r) = 2*d(r) - y(r). Is 5 a factor of f(3)?
False
Let c(y) = y**3 - 28*y**2 + 183*y - 89. Is 3 a factor of c(27)?
False
Suppose -9*h = 14*h + 6*h - 1015. Does 5 divide h?
True
Let n(m) = m**3 - 42*m**2 + 41*m + 1. Let l be n(41). Does 41 divide 3 - 0/l - (-190 + 12)?
False
Let f(q) = 5*q**2 + 11*q + 35. Let j be f(-5). Is ((-7)/(j/(-114)))/((-2)/(-270)) a multiple of 18?
True
Let y be 185*1/((-10)/8). Let m = 304 + y. Is m a multiple of 4?
True
Let n(y) = y**3 + 8*y**2 - 13*y - 31. Let s(d) = -d**3 + 11*d**2 - 10*d - 9. Let a be s(10). Let w be n(a). Suppose -16*r + 517 = -w*r. Is r a multiple of 2?
False
Suppose -m + 1509 = 5*r, -2*m = -4*m + 3*r + 3083. Is m a multiple of 36?
False
Let w = 485 + -265. Let c(f) = f**3 + 15*f**2 - 28*f - 38. Let x be c(-17). Let u = w + x. Does 16 divide u?
True
Is 3 a factor of (((-1680)/1400)/(3/5))/(4/(-706))?
False
Is (2/(-7) - 115022/6965)*-235 a multiple of 28?
True
Suppose 3*t - 170 = 4*s + 155, 2*t = -2*s + 184. Does 3 divide t?
True
Let n be (0 + -2)/(6/(-375)*-5). Let s = n - -26. Is 54/s + -2 + (1 - -1) a multiple of 27?
True
Let t(v) = -3*v - 7. Let r be t(-3). Suppose -p - 3*c = r*p - 1062, 4*p - 1401 = -c. Does 23 divide p?
False
Let v(g) = g**3 - 5*g**2 + 6*g - 6. Let m be (-2 - 0)/((-13)/(195/6)). Let r be (m/10)/((-2)/4) + 6. Does 8 divide v(r)?
True
Let f(m) = 2*m + 3 - m**2 + 2 + 0*m - 15*m**3 - 4. Let d be f(2). Let x = -69 - d. Does 10 divide x?
True
Let z = -80 - -54. Let s = z - -220. Let q = s - 48. Does 12 divide q?
False
Let b(d) = -d**3 + 22*d**2 + 18*d + 18. Let y be b(22). Suppose -1506 + y = -7*k. Is 39 a factor of k?
True
Let t(x) = -x**2 + x + 160. Let s be t(-12). Suppose -2*c = -s*m - 924, 3*m = -5*c + 877 + 1368. Is 12 a factor of c?
False
Suppose 1031*n - 1037*n = -19152. Is n a multiple of 84?
True
Suppose 3*b + 5*x - 2828 - 728 = 0, -5910 = -5*b - 5*x. Does 11 divide b?
True
Let t(p) = 2*p + 47. Let r(a) = a + 23. Let h(c) = -5*r(c) + 2*t(c). Let b be h(-24). Suppose b*w + 280 = 2*y, -554 = -3*y - y + 3*w. Is y a multiple of 27?
False
Let u be (16890/(-12) - (-6)/(-4))*-1. Let y = -771 + u. Does 22 divide y?
True
Suppose 14*z - 16*z + 232 = 0. Suppose -7*k + 242 = z. Is k a multiple of 2?
True
Suppose 2361*p = 2368*p - 91. Is 2351/p - (2 - 56/26) a multiple of 24?
False
Let z(b) = b**2 - 31. Let f be z(6). Suppose f*k - k - 128 = 0. Is (-3)/((-12)/(-2))*(0 - k) a multiple of 11?
False
Let f = 988 - -9792. Is f a multiple of 187?
False
Let t be (-65)/(-7) - (-4)/(-14). Let d = t + -3. Suppose -d*m - 55 = -205. Is m a multiple of 2?
False
Suppose 3*w - 5 = -0*x - 5*x, 4*x - 31 = 3*w. Suppose 2*g - 2*a - x = -0, -5*a - 8 = -3*g. Does 12 divide g/(6/4) + 2816/24?
False
Suppose -12*p + 32 = -4*p. Suppose 273 = p*m + 45. Is m a multiple of 8?
False
Suppose 287 = -9*o + 944. Suppose 2*h - 471 = -o. Suppose -3*x + m + h = -4*m, 0 = -5*x + 4*m + 323. Is x a multiple of 9?
True
Suppose -2*y - 12 = -20. Suppose 2*j = -f + 398, f - y*f - j + 1199 = 0. Is 16 a factor of f?
True
Suppose -2*m + 6*f - 1 = 3*f, -2*f + 2 = 0. Suppose -2*n = -3*y + 66, -7*n = -3*n - 12. Does 19 divide 79/m + y/(-8)?
True
Suppose 0 = -2*o - 12, 87*j - o = 92*j - 20374. Is 9 a factor of j?
False
Suppose -5*p + 6 = -4. Let q(o) = 0 - 2*o + 2 + 3*o**p - 13. Does 9 divide q(5)?
True
Suppose -5*f + b = -948, -2*f + 447 = -3*b + 86. Is f a multiple of 65?
False
Let q be (6/4)/((-12)/(-15232)). Let k = -1204 + q. Is k a multiple of 55?
False
Is 27162/9 + -6 + -6 - -8 a multiple of 26?
False
Let c = -55 - -367. Suppose d = 2, 0 = -2*b - 0*d - d + c. Is b a multiple of 58?
False
Suppose -312 = -r - 327. Let m(g) = g**2 + 6*g + 1. Let d be m(-4). Is (d/3)/(1/r) a multiple of 21?
False
Let w(q) = -352*q + 1646. Is 30 a factor of w(-7)?
True
Is 185 a factor of ((-4)/(-3))/(602/4176375)?
True
Suppose -4*u - 76 = -4*t, -55 = 3*u - 5*t + 4*t. Let d = u + 25. Suppose 6*p = 5*p + d. Is p even?
False
Suppose -3*s + 5*n + 260 = 0, 4*s - 8*n = -13*n + 300. Suppose 0 = -421*d + 417*d + s. Is 12 a factor of d?
False
Let s(q) = q**2 + q + 29. Let b be s(-6). Let m = -47 + b. Suppose 5*a - m = 13. Is a a multiple of 5?
True
Let a = -1293 - -2295. Suppose 4*c - 4*s = 2*c + a, -1014 = -2*c - 2*s. Is 62 a factor of c?
False
Let t be -1*(-1)/(1/23). Suppose -53 = 5*x - 8. Let p = t + x. Is p a multiple of 14?
True
Let k(f) = f**2 + f - 14. Let i be k(-5). Suppose 5*z - 1220 = -0*z. Is 6 a factor of 1/3 + (z/i - 1)?
False
Let d be (3 + -6)*-1 + 1*2. Suppose -3*u = -q - 1027, -4*u - d*q + q = -1364. Does 12 divide u?
False
Suppose 0 = -2*d + 6, 3*c + 27*d = 32*d + 150. Let h = 20 - 54. Let b = c + h. Is 7 a factor of b?
True
Suppose 2*l + 53 = 2*a - 3, 0 = a + 2*l - 13. Let f = 42 - a. Suppose -16*z = -f*z + 39. Is z a multiple of 4?
False
Suppose 169*x = 166*x + 6216. Suppose -26*m = -33*m + x. Is m a multiple of 9?
False
Let m(x) = -2*x**2 - 11*x - 42. Suppose 42 = -9*k - 3. Let u(i) = i**2 + 6*i + 22. Let q(l) = k*u(l) - 3*m(l). Is q(-9) a multiple of 26?
False
Suppose 4018 = -6*z + 15593 + 6551. Is 5 a factor of z?
False
Suppose 21*x - 20423 - 70297 = -14*x. Is 3 a factor of x?
True
Suppose 13*u = -2*u + 228000. Is 50 a factor of u?
True
Let h be (-2 - -4) + (-992)/(-3 + 1). Suppose -32*m + 35*m = 3*p + h, -2*m = 4*p - 350. Is 20 a factor of m?
False
Suppose 18*p - 64 = 22*p. Is (-6)/p - (-68926)/176 a multiple of 7?
True
Suppose -5*z = 4*c + c + 20, 4*c + 3*z + 13 = 0. Is c/((4/(-6) + 1)/(-1)) a multiple of 3?
True
Suppose 78 = -2*b + 5*b. Let v(i) = 8*i - 112. Does 48 divide v(b)?
True
Let v(x) = 6*x**3 + 5*x**2 - 2*x - 1. Let i(z) = -z**3 + z**2 + z + 1. Let c(b) = -5*i(b) - v(b). Does 5 divide c(-11)?
True
Suppose 4*j = 149 - 13. Let m = j + -32. Suppose w = 2*x - 227, -m*x - 5*w - 12 = -269. Does 10 divide x?
False
Suppose 120*y - 123*y = 4*d - 38834, 48544 = 5*d + 4*y. Is d a multiple of 2?
True
Suppose 106 = -26*t + 28. Let d(b) = -45*b + 185. Does 10 divide d(t)?
True
Let d(n) = 76*n + 101. Let p be 1064/114*(-3)/(-2). Is d(p) a multiple of 75?
False
Suppose 38*k - 87698 = 538. Is 9 a factor of k?
True
Let p = -3824 + 7600. Does 4 divide p?
True
Is 2 a factor of -4 + (-80)/(-15) + 247280/120?
True
Suppose 7*g - 167938 = 114302. Is 160 a factor of g?
True
Let m be 7 - (3 - -2) - 3. Let s(h) = -36*h + 45. Is s(m) a multiple of 18?
False
Let k = 383 + -382. Let b(x) = 8*x**2 + 16*x - 17. Is 7 a factor of b(k)?
True
Suppose -3*p = -5*p + 16. Suppose -96 = 2*i - p*i. Is (-483)/14*1/((-6)/i) a multiple of 23?
True
Let t(g) be the third derivative of -g**4/24 + g**2. Let z(i) = 2*i - 6. Let s(n) = t(n) - z(n). Is 6 a factor of s(-4)?
True
Suppose 0 = -2255*d + 2211*d + 294800. Does 268 divide d?
True
Let g(s) = -s**2 + 10*s - 16. Let i be g(6). Suppose -550 = -5*h + 5*r, 6*r = -3*h + i*r + 325. Does 35 divide h?
True
Suppose j - 4*x - 2280 = 0, 5 = -13*x + 8*x. Suppose -z + 566 = n, -3*z = -4*n - 4*z + j. Is n a multiple of 10?
True
Let c = 27029 - 5278. Is 71 a factor of c?
False
Suppose -24 + 0 = -3*l. Suppose -14*a - 72 = -l*a. Is 13 - -124 - 5/(15/a) a multiple of 16?
False
Let p = 6444 - 4236. Is 24 a factor of p?
True
Let w(a) = -215*a**2 + 14*a + 4. Let d be w(-2