- -90. Is 15 a factor of z?
True
Is (28/(-8) + 1)*(-25164)/45 a multiple of 6?
True
Let v be 1*2*68/17. Suppose v*a - 10*a = -376. Does 15 divide a?
False
Let g be (-8)/(-12)*27/(-6). Let o be (36/g)/(-3) + -1. Suppose -5*w = -n - 80, 2*w - 4*w + o*n + 32 = 0. Is 7 a factor of w?
False
Let v(a) = -a**3 + 2*a**2 + 4*a + 6. Suppose -3*t = 4*r - t, 2*t - 14 = 3*r. Is 7 a factor of v(r)?
True
Let q = 498 - 346. Is 19 a factor of q?
True
Suppose -417*o - 6720 = -425*o. Does 24 divide o?
True
Let t(l) = 5*l**2 + 14*l + 27. Let m be t(-8). Suppose -5*b = -3*x - 0*x - 285, 4*b - x - m = 0. Does 30 divide b?
True
Suppose 2*x + 36 = 4*y, 2 + 3 = -y - 3*x. Let j(o) = -3*o - y + 0 + 9*o. Does 18 divide j(5)?
False
Suppose -3*a - 9 = 0, 2*z - 2*a - 1038 = 1306. Suppose 751 = 8*f - z. Is 15 a factor of f?
True
Suppose 3*p - 7 = -1. Suppose -2*b + p*u + 5 = -1, -4*u - 3 = -b. Suppose 4*s - 248 = -b*w, 3*s = 4*w - s - 284. Does 13 divide w?
False
Suppose 86*z = 71*z + 2700. Is z a multiple of 18?
True
Suppose 4*h = -2*c + 8704, -5*h + 3216 = -3*c - 7664. Is 18 a factor of h?
False
Let c(k) = 2*k**2 - 9*k + 10. Let x(u) = u - 1. Let m be x(8). Let r be c(m). Suppose 3*l - 3*h - r = 0, l - 5*h - 42 = -l. Does 11 divide l?
True
Let h be 11/(-44) + 217/4. Let m be ((-8)/(-12))/(2/(-66)). Let q = m + h. Is q a multiple of 16?
True
Suppose -14 = 4*x + 6. Let m be ((-5)/x)/((-1)/(-8)). Does 10 divide 1 + m + 1/1?
True
Let s = -1310 - -2326. Is 5 a factor of s?
False
Let f(x) = -110*x - 135. Is 5 a factor of f(-11)?
True
Suppose n - 7 = -0*n. Suppose -t + n = -2*m - 2*m, -5*m + 5*t - 5 = 0. Is 57*1*m/(-6) a multiple of 9?
False
Suppose -4*g + n = -157 - 9, -2*n = -5*g + 209. Suppose -4*p + 47 = -g. Is 4 a factor of p?
False
Let f(q) = -2*q**2 - 2*q + 4. Let h be f(2). Let n be (h - 0)*1/(-2). Does 7 divide 2/n - (-276)/8?
True
Let t(m) = -2*m**2 + 128*m - 14. Is 18 a factor of t(32)?
True
Let l = -12 + 15. Suppose -4*o = -l*o. Suppose 6*d - 3*d - 63 = o. Is d a multiple of 21?
True
Let a be (3 - 0)*21/(-7). Let v = a - -12. Does 17 divide (-6)/v - (2 - 21)?
True
Let o(b) = -b**2 - 3*b + 3. Suppose 4*h = 6 - 22. Let q be o(h). Let p(t) = -20*t**3 + 1. Is 3 a factor of p(q)?
True
Let l = -45 + 16. Let u = 37 + l. Is u a multiple of 7?
False
Let n(j) = 9 + 9 + 0*j**2 - 8 - 22*j - j**2. Let x be n(-17). Suppose 0 = 3*y + 6, 3*y + x = b + y. Is 26 a factor of b?
False
Let h = 34 + -30. Let n be -6*h*15/40. Let o = n + 24. Does 15 divide o?
True
Let w(a) = 4 + 0*a - a**2 - 3*a + 1 - 1. Let o be w(-3). Suppose m + 2*k + 71 = o*m, -m = -2*k - 17. Does 9 divide m?
True
Let h = -3639 - -5780. Is 63 a factor of h?
False
Let c(x) = -x + 20. Let d be c(8). Suppose -5*f = -2*f - d. Is f a multiple of 3?
False
Suppose -2*s - 12 + 3 = -3*f, -25 = -5*f. Suppose -s*q + j = -95 - 66, 0 = -j + 1. Is q a multiple of 27?
True
Suppose 3*r - 384 = -t, -4*t + 3*r + 575 + 991 = 0. Does 130 divide t?
True
Suppose 4*z - 3*v = -5, 2*v - 9 = -3*z - 0*v. Suppose z = -u + 18. Does 11 divide u?
False
Let y(x) = x**3 - 2*x + 4. Let v be y(4). Suppose -5*s + 3*b = -124, s + s + 4*b - v = 0. Suppose 4*j = 3*u - s, 3*u + 3*j - 2*j - 46 = 0. Does 7 divide u?
True
Suppose -12 = 2*t - 14. Does 4 divide -2 + t + (-104)/(-4)?
False
Let x = 1429 + -594. Is x a multiple of 8?
False
Let o(c) = 2*c + 3. Let z(i) = i**3 + 7. Let r(h) = h + 4. Let f be r(-4). Let n be z(f). Does 14 divide o(n)?
False
Suppose 12 = 2*o - 180. Let z(d) = -43*d**3 + d + 3. Let m be z(-1). Suppose 3*f - m - o = 0. Is 28 a factor of f?
False
Does 51 divide 24/(-15) + 50252/170?
False
Suppose -3*t - 414 = -5*l, -5 = -2*t - 1. Is 14 a factor of l?
True
Suppose -2*d + 7*d + q - 458 = 0, q - 367 = -4*d. Suppose -5*z - 4 = y, 2*z - 16 = -y + 5*y. Suppose -4*j - h + 196 = z, 3*j = h + 238 - d. Is 8 a factor of j?
False
Let z(p) = 6 - 35*p + 74*p + p**3 - 28*p - p**2. Is z(5) a multiple of 23?
True
Suppose -49*k + 54*k - 15 = 0. Suppose 4*z - 61 = -k*m + 2*z, 4*m - 2*z - 86 = 0. Is 2 a factor of m?
False
Suppose 4*d = 9 + 3. Is 6 a factor of 1/d + 321/9?
True
Let t(j) = j**3 - 15*j**2 + 15*j - 6. Let i be t(14). Suppose -4*g = m - 183, 2 = -5*g - i. Does 42 divide m?
False
Suppose 23*j = 12*j + 6358. Is 17 a factor of j?
True
Let y(o) = -o**3 - 9*o**2 + 10*o + 11. Let z be (-10)/(3*(-2)/(-6)). Does 8 divide y(z)?
False
Let d(n) = 152*n + 227. Is d(6) a multiple of 24?
False
Let l = 12 + -7. Suppose 0 = -4*u + g + g + 46, u + 5*g = -l. Is (-28)/(-35) - (-432)/u a multiple of 22?
True
Let x = 3626 - 2102. Is x a multiple of 62?
False
Let r = -95 - -239. Is 8 a factor of r?
True
Let p(t) = -2*t**3 - 3*t**2 + 2. Suppose 0*u - 5*u + 15 = 0. Suppose 3*q - 4*q - 5*f + 6 = 0, -3*f + 18 = -u*q. Does 17 divide p(q)?
False
Let p(d) = 3*d**2 + 6*d - 9. Let g(w) = 7*w**2 + 11*w - 19. Let k(v) = 2*g(v) - 5*p(v). Let y be (-14)/(-8)*(0 + -4). Does 7 divide k(y)?
True
Suppose -12*l - 12609 = -69525. Is l a multiple of 93?
True
Let z = -54 - -58. Suppose z*w - 2*w = 4*l + 348, -w = -l - 177. Is w a multiple of 10?
True
Let v = -2 + -123. Let g = v + 159. Is g a multiple of 3?
False
Suppose -117*b = -102*b - 975. Is 2 a factor of b?
False
Let d(t) = -38*t - 1. Suppose 0 = -m - 6 + 5. Let y be d(m). Suppose -95 = -3*n + y. Is 11 a factor of n?
True
Suppose -2*g = g + 4*t + 262, -173 = 2*g + 3*t. Is (3 - 6) + 5 + -2 - g a multiple of 12?
False
Let o(v) = 5*v**2 + v - 5. Let w be o(6). Suppose 5*y = -w + 1001. Does 41 divide y?
True
Let a(s) be the second derivative of s**5/20 + s**4 + s**3/6 - 8*s**2 - s - 5. Is a(-11) a multiple of 8?
False
Let j(c) be the third derivative of 7/20*c**5 + 0*c - 1/3*c**3 + c**2 + 0 + 1/24*c**4. Does 31 divide j(-2)?
False
Let t be 48 - (2 + 6/3). Let m be 147/2 + 3/6. Let b = m - t. Is 10 a factor of b?
True
Suppose 9*k - 10*k = 16. Let g = -11 - k. Suppose -2*m - 3*q + 52 = 0, -g*m + 23 + 89 = 3*q. Is 20 a factor of m?
True
Suppose -41 = -2*q + 5*h, -10 = 3*q - 2*h - 44. Let w(v) = 10*v**2 - 6*v**2 + 4*v**2 + 2*v**3 - 3*v**3 + 4. Is w(q) a multiple of 2?
True
Let y(j) = -j**2 + j + 3. Let a = 7 + -10. Let m be y(a). Let u(v) = -v**2 - 14*v - 11. Does 15 divide u(m)?
False
Let f be ((-16)/6)/(3/(-18)). Let d be f/56 + 180/7. Let n = d + 4. Is 10 a factor of n?
True
Let s = 698 + -162. Is s a multiple of 151?
False
Suppose 0 = -5*c, 4*b - 2*c = -15 - 13. Is 24 a factor of (-897)/b + (-4)/28?
False
Suppose 3*y - 15 = -3*n, y + 2*n - 10 = 3*y. Let t(k) = k**3 + k**2 - 2*k + 15. Is 5 a factor of t(y)?
True
Does 7 divide (-1489 + -4)*1*(-4 + 3)?
False
Suppose x - 15 = -2*z, -4*x + 5*x = -3*z + 12. Let v be (x/(-7))/(2/22). Let n = v + 50. Does 17 divide n?
True
Suppose -4*d + o + 173 = 0, -3*d + 5*o = 4*o - 130. Is d a multiple of 3?
False
Is 14*-2*(-3328)/104 a multiple of 28?
True
Let u = 33 - 33. Suppose u = -3*m - 6 + 12. Suppose 4*v - 45 - 141 = -m*p, 0 = 2*v + 5*p - 113. Does 11 divide v?
True
Let w(o) = 24*o + 864. Is 25 a factor of w(10)?
False
Let x = -623 + 665. Does 7 divide x?
True
Suppose 0 = -56*j + 95*j - 44070. Is j a multiple of 11?
False
Suppose 0*f + 4*f - 4*m - 92 = 0, 5*f - 2*m - 100 = 0. Suppose -15 + 67 = -4*o. Let i = o + f. Is i a multiple of 3?
False
Let u be 9/(-3) - -1*11. Let w(j) = 12*j - 9. Does 18 divide w(u)?
False
Suppose -u + 16 = 4*n, -3*n + 1 + 8 = 0. Suppose u*m = 3*m. Let h(v) = v**3 - 2*v**2 + 32. Does 4 divide h(m)?
True
Let a(d) = -d**3 + 8*d**2 - 5*d - 11. Let l be a(8). Suppose 0 = -0*v - 2*v - 4*s + 220, 0 = -4*v + 2*s + 460. Let k = v + l. Is k a multiple of 21?
True
Suppose 53 = -3*d + o, -5*d + 0*o - 3*o = 93. Does 5 divide (11 - 13)*-2*d/(-8)?
False
Let w(l) = l**3 + 23*l**2 + 16*l + 10. Is 4 a factor of w(-22)?
False
Let y = -5 - -9. Suppose -a + y = a. Suppose 0 = a*z + 5*k - 11, -5*z + 8*k = 3*k - 115. Does 6 divide z?
True
Suppose -3*w + 65 + 88 = -2*t, -2*w = -4*t - 102. Let z = 81 + w. Is 23 a factor of z?
False
Let i = -43 - -91. Is 21 a factor of i?
False
Let r(v) = -40*v + 236. Does 43 divide r(-2)?
False
Suppose 5*m - 91 = -2*g, g + 3*g = -3*m + 147. Let y = 65 - g. Is 8 a factor of y?
True
Let d(n) = 2*n**3 + 7*n**2 - 12*n + 1. Does 8 divide d(4)?
False
Suppose -o = 3*o - 532. Suppose 4*d - 4*b - 152 = 0, 3*d - 128 = b - 5*b. Suppose 4*k - 52 - d = 4*c, 0 = -5*k - c + o. 