g - 4 = 6, 2*d + b*g = j. Is 12 a factor of d?
True
Is (1 + -97)*-4*(-25)/(-60) a multiple of 16?
True
Suppose -6*j = -j - 115. Suppose -3 + j = 4*o. Suppose o*n + 10 = 100. Does 6 divide n?
True
Let h = 26 - 31. Let t(c) = -c**3 + 11*c - 4. Does 18 divide t(h)?
False
Let t be (3/4)/(2/32). Suppose 5*l = 4*m - 15, l = -5*m - 15 - 17. Let h = t - l. Does 4 divide h?
False
Suppose -2*b = -2*o + 3188, -12*o - b = -8*o - 6356. Is o a multiple of 30?
True
Is 7 a factor of ((-231)/(-4))/((-21)/(-56))?
True
Suppose -2*v = 5*s - 21, 4*v - 16 - 2 = -2*s. Let f be v + 0 + 1 + 0. Suppose 2*h = 6 + f. Is h a multiple of 3?
False
Suppose 0 = -2*h + m - 41, -h - 10 = -m + 4*m. Suppose 5*l - 19 - 131 = 0. Let y = h + l. Is 10 a factor of y?
False
Let f = 180 - 1020. Does 10 divide (-1 - 2)*f/18?
True
Suppose -2 = -y, t + y = 5*y + 22. Let d = t - -36. Is 22 a factor of d?
True
Does 21 divide ((-36)/(-10))/(12*2/15680)?
True
Suppose 0*x - 4 = -2*x. Let b(i) = 3*i - 1 + x*i**2 - i**2 + 0*i**2. Is 3 a factor of b(-4)?
True
Let z(y) = 3*y - 9. Suppose 10*j - 5*j = 45. Let b be z(j). Suppose 0 = -u - 3*f + b, 0 = -3*u + 3*f - f + 43. Is u a multiple of 5?
True
Let c = 345 + 326. Is 11 a factor of c?
True
Let w be (0 - 1) + 214 + -9. Suppose -5*y + w = -y. Is 17 a factor of y?
True
Suppose -5*m + 46*m - 63017 = 0. Does 53 divide m?
True
Let b(x) = -4*x**3 - x. Let w be b(1). Is (28/(-12))/(w/285) a multiple of 26?
False
Suppose -3*b - 6 + 15 = 0. Suppose 3*a - f = 21, -b*f - 19 = -a - 4. Let t(h) = h**3 - 6*h**2 + 7*h - 7. Is 7 a factor of t(a)?
True
Let g = 1 - -21. Let m = 65 - g. Does 14 divide m?
False
Suppose 2*q - 8 = -0*q. Suppose -q*n + 24 = -48. Does 6 divide n?
True
Is 10 a factor of (3 - 13)*(-98 + 1)?
True
Let d(s) = 2*s**3 - 4*s**2 + 2*s - 3. Let m be d(3). Suppose -m = 3*i - 63. Suppose 0 = -f + i. Is f a multiple of 7?
True
Let f be -46*(-2 + (-14)/(-4)). Let z = -109 - f. Let g = z + 64. Is g a multiple of 6?
True
Let y(h) = h**2 + 2*h. Let a be y(-2). Let l(p) = -2*p + 28. Let w(c) = -5*c + 85. Let s(q) = -8*l(q) + 3*w(q). Is 15 a factor of s(a)?
False
Suppose -4*s + a = -4*a - 68, s = 4*a + 28. Is s a multiple of 6?
True
Let h(c) = -3*c**2 - 3. Let n(u) = 7*u**2 + 7. Let a(m) = 9*h(m) + 4*n(m). Let x be a(2). Suppose -2*v - 144 = -x*v. Is v a multiple of 14?
False
Let f(x) = -3*x + 55. Does 2 divide f(16)?
False
Let q(t) = -49*t - 5. Does 8 divide q(-3)?
False
Suppose 3*w + 108 = 4*m - 45, 2*m - 2*w = 76. Is 13 a factor of m?
True
Suppose 0*f = 4*f + 64. Is (-1 - 0)/(f/368) a multiple of 6?
False
Let b = -46 - -242. Suppose 0 = 5*h - 5, 4*m = h + b + 427. Does 52 divide m?
True
Suppose 3*v = -2*s - 0*s + 1953, s = -3*v + 969. Is 6 a factor of s?
True
Suppose -2*v + 18 = 3*l, 3*v - 5*l + 2 = -9. Suppose 4*r - 431 = -v*b, 5*r = -4*b + 7*r + 538. Is b a multiple of 34?
False
Let h = 232 + -96. Suppose -n + d + 63 - 1 = 0, -2*n - d = -h. Does 11 divide n?
True
Let q be (1 - 0)*7*(-4)/(-7). Suppose -q*y + 95 = -0*d + 3*d, -80 = -3*y - 4*d. Is y a multiple of 4?
True
Let o = 2012 - 1714. Does 3 divide o?
False
Let t(v) = 154*v + 165. Does 33 divide t(3)?
True
Let m(z) = -4*z**3 - 5*z**2 - 2*z + 6. Let o be m(4). Let l = -174 - o. Suppose 2*x - 4*x = -l. Is 33 a factor of x?
False
Suppose -3*z + 2 = -j - 4*z, -3*z - 22 = -5*j. Suppose t = -j*t + 240. Is t a multiple of 9?
False
Is 46 a factor of -2*21/6 - (-92 - 7)?
True
Let u(y) = y**3 + 29*y**2 + 40*y + 31. Is u(-27) a multiple of 21?
False
Let w = -17 + 14. Let h(p) = -2*p**2 - 3*p - 4. Let m be h(w). Let x(r) = -r - 3. Is 10 a factor of x(m)?
True
Suppose -2*z = 3*z - 4*y - 20, -3*z = 4*y + 20. Suppose z*u = -4*u + 16. Suppose -2*j = 5*c - 20 - 20, u*c + 2*j - 30 = 0. Does 5 divide c?
True
Let q(h) = -h - 1. Let d(z) = -45. Let t(g) = d(g) - 4*q(g). Is 14 a factor of t(19)?
False
Suppose -4518 = 2313*i - 2319*i. Does 19 divide i?
False
Let z(y) = y**3 - 5*y**2 - 9*y + 21. Let b be z(6). Suppose 0 = -0*u + b*u + 3, 0 = 3*s + 2*u - 61. Does 16 divide s?
False
Let t(f) = -5*f - 61. Let u be t(-14). Suppose 2*b + u*b - 1980 = 0. Is 15 a factor of b?
True
Let a(c) = -25*c + 3. Let u = -52 + 36. Let d = -17 - u. Is a(d) a multiple of 9?
False
Let c(i) be the third derivative of -i**5/60 - 7*i**4/8 - 13*i**3/3 - 2*i**2. Is c(-14) a multiple of 9?
True
Suppose -5*l + 82 = 2*z, -205 = -0*z - 5*z + 3*l. Is z a multiple of 10?
False
Suppose -2*j + 124 = -2*q, j - 82 = q - 4*j. Is 10 a factor of -61 - q - (1 + -156 + 1)?
True
Let c(p) = p**2 - 7*p - 6. Let a be c(8). Let z = 21 + a. Suppose z + 139 = 3*h. Does 9 divide h?
True
Let a = -1056 + 2050. Does 3 divide a?
False
Is 3 a factor of 1377/16 - (-53)/(-848)?
False
Let l = -2863 - -3007. Is l a multiple of 3?
True
Let j(q) = q**3 - 15*q**2 + 75*q - 43. Does 9 divide j(13)?
True
Let q(f) = f**3 + 2*f**2 + 3*f + 4. Let t be q(-3). Let s = t - -18. Suppose u - 3*v + 0*v - 12 = 0, s*v = -4*u + 96. Does 7 divide u?
True
Let l be 0/(-9) - (2 - 1). Let w be (-5 + 5)/(3 + l). Suppose 3*z + 3*x - 9 = w, 4*z - x = 3*x + 4. Is z even?
True
Let j = 615 + -69. Does 39 divide j?
True
Let k(l) = -12*l**2 - 17*l**2 + 30*l**2 - 6*l - 5. Let v be k(7). Suppose v*p = 5*p - 207. Is p a multiple of 23?
True
Suppose 2628 = -87*l + 90*l. Is 146 a factor of l?
True
Let x = 8 + -16. Let i be 6*2*x/(-24). Suppose 4*r - 24 = i. Is 2 a factor of r?
False
Let u = 207 + -113. Suppose x = -5*j + 53, 0 = -3*x + x - 3*j + 85. Let b = u - x. Does 28 divide b?
True
Let a = 58 + -26. Suppose -a*v - 160 = -34*v. Is v a multiple of 10?
True
Let j(c) = 10*c + 97. Is j(-5) a multiple of 2?
False
Let q = -46 + 49. Suppose -5*m + 4*x + 420 = x, 168 = 2*m + q*x. Is 6 a factor of m?
True
Let v be (-3)/(4 + (-9 - -4)). Suppose -5*y = -v*y - t - 58, -3*y + 4*t = -92. Does 11 divide y?
False
Suppose 0 = -5*z + f + 461, -5*z - 3*f + 253 = -224. Suppose 155 = 5*k - c - 0*c, 3*k - z = 2*c. Is k a multiple of 31?
True
Let y(h) = -905*h - 4. Is y(-2) a multiple of 14?
True
Suppose 209*k - 214*k = -585. Is k a multiple of 24?
False
Let h be (-3 - -2)/(2/(-8)). Suppose h*z = 7*z - 3. Is 69/(z + 2) + 4 a multiple of 9?
True
Let o = -72 + 97. Is 17 a factor of (o - 8)*((-2)/2 - -2)?
True
Suppose -9611 = -222*w + 215*w. Does 94 divide w?
False
Suppose -5*z + 2*g = -1187, -5*g = -5*z + 8*z - 737. Is 16 a factor of z?
False
Let z(g) = 30*g + 4. Let j be z(-2). Let v = -53 - j. Is v a multiple of 3?
True
Let j = 490 + -432. Does 2 divide j?
True
Let f = -2 + 8. Suppose 0*r - f = r. Is 8 a factor of (-870)/(-18) + 2/r?
True
Suppose 8*g + 5124 = 15*g. Does 12 divide g?
True
Let j(z) be the first derivative of z**3/3 + 3*z**2/2 - 27*z - 6. Is 19 a factor of j(-10)?
False
Suppose -21*d + 369 + 1332 = 0. Does 2 divide d?
False
Let h = -44 - -74. Let y = h + -15. Is 15 a factor of y?
True
Suppose -3*p - f + 3*f = -2664, -2*p - 4*f = -1776. Is p a multiple of 12?
True
Does 2 divide ((-2)/(-7))/(105/735)?
True
Let u(p) = -7*p - 4*p - 3*p**2 + 6 + 4 + 2*p**2. Does 5 divide u(-10)?
True
Let x be 6/8 + (-102)/8. Let i = -12 - x. Suppose -3*r + 8*r - 50 = i. Does 5 divide r?
True
Let v be (-3)/5 + 443/5. Let m = v + -39. Is m a multiple of 6?
False
Let l(w) = w**2 + w - 20. Let c be l(-8). Let u(f) = f**3 + 3*f**2 - 2*f - 4. Let j be u(-3). Is 4 a factor of c/8 + j/4?
False
Let l(i) = -6*i + 55. Suppose -w + 19 = -3*m, -3*w + 17 = -m - 3*m. Is l(m) a multiple of 9?
False
Let l be 1 - 1 - (3 - 2). Suppose 22*s - 21*s = -17. Does 16 divide ((5 + -3)*s)/l?
False
Let u = 222 - 61. Is 2 a factor of u?
False
Let l = 485 + -365. Does 9 divide l?
False
Let w = -21 - -26. Suppose -w*c - b = b - 240, 4*b + 270 = 5*c. Is c a multiple of 11?
False
Suppose 0 = -r - 8*p + 12*p + 65, 2*r = 5*p + 115. Does 6 divide r?
False
Suppose 3*j - 6*j - 3*j = 0. Suppose 22*d - 18*d - 644 = j. Is 23 a factor of d?
True
Let i = -2420 - -3265. Does 26 divide i?
False
Let s(q) = -q**3 + 3*q**2 - 4*q + 4. Suppose 2*g + 9 = t - 4*t, -4*g + 22 = -2*t. Is 28 a factor of s(t)?
True
Let f = -702 + 982. Is f a multiple of 8?
True
Let w(g) = g**3 - 7*g**2 - 2*g - 4. Suppose 6*h = 8*h - 10. Let z be w(h). Is 22 a factor of (-69)/2*z/48?
False
Suppose -2*k = -0*k - 10. Suppose -2*p - 13 = -k. Let a(q) = -2*q - 4. Is 4 a factor of a(p)?
True
Suppose -285 = 3*h + 5*