
Suppose -22*g + 20*g = -24. Is 12 a factor of g?
True
Suppose 6*t = 6 - 0. Let b(y) = 54*y. Is b(t) a multiple of 9?
True
Let i(f) = f**2 - f - 15. Let n be i(0). Suppose 8*z - 4*k - 179 = 3*z, z = -k + 43. Let u = z + n. Does 6 divide u?
True
Let i(v) = -184*v + 11. Let k be i(-2). Suppose 121 = f - 2*b, f - 2*b - k = -2*f. Does 13 divide f?
False
Let i = -10 + 13. Let d = i + 0. Suppose -7*y + 56 = -d*y + 2*h, 3*h = -3*y + 39. Is y a multiple of 15?
True
Let y = -53 + 74. Suppose 0 = 5*z - 2*z + y. Let f = z - -22. Is 13 a factor of f?
False
Let u = 15 + -9. Is 17 a factor of 78 - 1*(-4 + u)?
False
Let h(j) = -j**2 + 15*j + 34. Let x be h(17). Suppose 3*u - g - 117 = x, -85 = -4*u + 2*u + 3*g. Does 19 divide u?
True
Let n be (-5 - -6)/(-1) + -308. Is 8 a factor of n/(-18) + (-4)/24?
False
Let g(h) = -4*h + 8. Let q be g(4). Is 5 + 8/(q/(-175)) a multiple of 20?
True
Suppose 0 = -69*b + 73*b - 1840. Is b a multiple of 20?
True
Suppose 0 = -4*j + 5*i + 271, 5*i - 68 - 6 = -j. Suppose -3*b = -q + j, 0 = 2*q - 0*q + 2*b - 114. Does 18 divide q?
False
Suppose 0 = 4*v - 3*i + 20, -2*i = 5*v + 26 + 22. Is (-18 - v)*(-66)/5 a multiple of 22?
True
Suppose -16*g + 13921 - 1921 = 0. Does 15 divide g?
True
Let h be 5/(2*1/2). Suppose -2*b + j + 167 = 0, 4*j + 420 = h*b + j. Is 27 a factor of b + (-3 - -3)/2?
True
Let s be (-4)/14 + 3648/28. Is (5 - 0 - 4)*s a multiple of 26?
True
Suppose 14 = 8*c - 2. Does 16 divide 3/c*520/36*3?
False
Let u(o) = 180*o**2 - 2*o + 7. Let p be u(-4). Is p/90 + (-1)/6 a multiple of 13?
False
Suppose 4*v - 4*o - 76 = 0, 4*v + o - 71 = 4*o. Suppose s + 3*s = -2*z + 16, -4*s + v = 3*z. Let u(i) = 9*i + 1. Is u(s) a multiple of 23?
True
Let o(r) = 34*r + 15. Is 11 a factor of o(7)?
True
Let d = 301 - 521. Let w = -128 - d. Suppose -4*t + 4*y + w = 0, 4*t - y = 18 + 80. Does 4 divide t?
False
Suppose -2454 + 192 = -13*m. Is m a multiple of 13?
False
Let d(o) = o**3 - 5*o**2 + 4. Let l be d(5). Suppose 36 = 3*s + 3*z, l = -z + 9. Is 2 a factor of s?
False
Let r(m) = -m**2 - 8*m + 5. Let b be 3*(-5)/((-10)/(-6)). Let s be r(b). Does 9 divide (144/s)/(-2 - 0)?
True
Suppose -7*u + 350 = -266. Is 22 a factor of u?
True
Let c = 26 + 4. Let n = 51 - c. Suppose 36 = s - n. Is s a multiple of 19?
True
Let k(f) = -f**3 + 3*f**2 - 8*f + 18. Let y be k(3). Suppose 4*o - 2*p - 31 = -p, 5 = 5*p. Is ((-84)/o)/(y/16) a multiple of 13?
False
Does 7 divide 525/12*-2*48/(-15)?
True
Let k(t) = t**2 - 2*t - 7. Let j = -24 - -21. Does 2 divide k(j)?
True
Suppose -8*w = 24*w - 43872. Does 57 divide w?
False
Is 26 a factor of (-3705)/76*5/(45/(-48))?
True
Let w be 3 - (-12)/(-4 - -7). Suppose w*l - 614 = 1248. Is 49 a factor of l?
False
Does 9 divide (38 + -3)*1512/20?
True
Let s(l) be the second derivative of 33*l**5/20 - l**4/6 + l**3/2 + 19*l. Is 53 a factor of s(2)?
False
Suppose -14 = 5*y - 39. Suppose y*r - 2*r - 3*x = 3, -x + 23 = 5*r. Is 2 a factor of r?
True
Does 34 divide 3/((-3069)/(-1020) + -3)?
True
Suppose 0 = -5*y + 4*y + 4*r - 6, 4*r - 12 = 0. Suppose -11*m = -y*m. Suppose -5*q + 15 = m, -7*q + 2*q = -3*k + 78. Does 31 divide k?
True
Let o be 9 - 4 - ((-5)/1 - -3). Suppose -o*s + 12*s = 160. Is s a multiple of 3?
False
Does 13 divide 6084/104*40/6?
True
Let d = 69 + -72. Let m = d + 32. Is m a multiple of 29?
True
Suppose -68 - 160 = -u. Does 19 divide u?
True
Let l(v) = v - 19. Let a(j) = -5 - 2 + j - 12. Let h(k) = -6*a(k) + 5*l(k). Does 10 divide h(-11)?
True
Suppose -65448 - 826 = -26*h. Is 87 a factor of h?
False
Suppose -j = 3, -871 = q - 5*q + j. Does 31 divide q?
True
Let j be 2/(-8) - (-63)/12. Suppose -j*w - 72 = -9*w. Is w a multiple of 6?
True
Let q = 10 + 49. Does 2 divide q?
False
Let x(l) = -13*l + 6 + 4 + 6*l**2 - 5*l**2 + 3. Does 9 divide x(14)?
True
Let y(i) = -i**2 - 3*i + 7. Let r be y(-5). Let l be (-2 + 4)/(-2) - r. Suppose -l*a + 105 = 3*a. Does 21 divide a?
True
Suppose -143 = -5*u - n, -4*u + 0*n - 4*n = -108. Suppose -1 = -l + u. Does 11 divide l?
False
Let c = 5 + -2. Suppose -2*z = -g - 183, 12 = -c*z - g + 289. Does 23 divide z?
True
Let j(d) = -d**3 + 3*d**2 + 7*d + 2. Let q(k) = 1. Let u(x) = j(x) + 4*q(x). Is 16 a factor of u(-6)?
True
Let j(s) be the first derivative of 2 - s + 27*s**2 - 45*s**2 - 3. Is 22 a factor of j(-3)?
False
Suppose -4*x = x - 15. Let z = x + -3. Suppose z = 5*b - 2*s - 52, -3*b = -3*s - 25 + 1. Is 6 a factor of b?
True
Let k(j) = j**3 - 2*j - 3. Let p be k(-2). Let y = p + 9. Suppose -3*b - 30 = -5*m, y*b + 16 = 4*m - 2*b. Is m a multiple of 3?
True
Let i(d) = -2*d**3 + 7*d**2 - 6*d + 6. Let u(j) = j**3 - j**2 + j - 1. Let f(n) = i(n) + 6*u(n). Is f(2) a multiple of 12?
True
Let w be (1 - 2)/((-1)/(-310)). Let f = w + 497. Is 57 a factor of f?
False
Suppose -57*l = -56*l - 37. Is l a multiple of 2?
False
Let s(v) = -2*v**3 - 2*v**2 - 7*v - 11. Let o be s(-6). Suppose 5 = 2*g - o. Does 33 divide g?
True
Let w = 3 - -16. Let r = w - -13. Is 5 a factor of r?
False
Let j be (-2 - 0 - -2)*(-5)/(-10). Suppose -2*a + 228 + 112 = j. Is 34 a factor of a?
True
Suppose 0 = 3*x - 3*j - 429, 2*j - 3*j + 409 = 3*x. Is 46 a factor of (3 - (-34)/(-6))/((-4)/x)?
True
Let h = -32 + 54. Suppose 2*r - h = 84. Suppose -5*n = 2*d - 128, -180 = -5*n - 3*d - r. Is 18 a factor of n?
False
Suppose 20*n + 7*n = 8964. Is 5 a factor of n?
False
Let p = 1139 + -635. Does 72 divide p?
True
Suppose -2*u + 4*l = -176, -4*u = -5*l + 97 - 437. Is 20 a factor of u?
True
Suppose 5*j + 3*w + 10 = 0, -5 = 3*j + 5*w + 17. Suppose 2*p + 7 = j, 2*p = x - 175. Does 20 divide x?
False
Let b(s) = 18*s**2 + 3*s - 1. Let q be b(-1). Suppose v - q = 18. Is 16 a factor of v?
True
Let p be (-1)/4 - (3451/28)/(-17). Let h = 53 + p. Does 11 divide h?
False
Let g(p) = 2*p + 18. Let a be g(-8). Suppose a*w + 5*j = 13, 0 = -5*w + 5*j + 22 + 28. Does 2 divide w?
False
Let t(q) = 5*q**2 + 76*q + 58. Does 44 divide t(-25)?
False
Suppose i = -2*i - 237. Is 10 a factor of (-1)/(-8) + i/(-8)?
True
Let w = 77 - 167. Is 10 a factor of 1/10 + (-10971)/w?
False
Suppose -5*j + 6*j - 4 = 0. Let d = j + 2. Suppose 0 = -3*k + d + 12. Does 3 divide k?
True
Suppose 0 = 5*a - 5 - 5. Let b(q) = q**2 - 4. Let h be b(-2). Suppose -c - a*c + 162 = h. Does 15 divide c?
False
Suppose 0*r + 2*r - 836 = -4*s, -5*r = -3*s + 640. Suppose -2*u + s = 3*u. Suppose 124 = n + 4*n - 3*b, 2*n = 5*b + u. Is 13 a factor of n?
True
Let g(p) = -3*p**3 - 6*p**2 - 13*p. Let k be g(-7). Suppose -k - 86 = -8*y. Is 22 a factor of y?
False
Suppose -3*h + 1088 = -3097. Does 28 divide h/25 + 1/5?
True
Let r(u) be the second derivative of u**3/6 - 7*u**2 + u. Suppose 5*g + 4*d - 48 = 26, 5*g + 2*d - 82 = 0. Is r(g) a multiple of 2?
True
Suppose 0 = -25*h + 9867 + 14883. Is h a multiple of 66?
True
Let d = -2657 + 4162. Is d a multiple of 10?
False
Suppose 5*b + 4*o - 285 = 2*o, -5*b - o = -285. Suppose -b*t = -52*t - 155. Is t a multiple of 19?
False
Let h(l) = -6*l - 8. Let f be h(6). Let u = 75 + f. Is u a multiple of 24?
False
Suppose 0*c - 45 = -9*c. Suppose -4*f = 5*k - 454, 3*k - 136 = -c*f + 139. Does 31 divide k?
False
Let y(v) = 5*v**2 + 13*v + 4. Let t be y(-7). Suppose -8 = -0*r - 2*r, 3*r = -k + t. Is 7 a factor of k?
False
Suppose r - 8 = -r. Suppose -m + 46 = -r*c, m + c = 20 + 21. Suppose 2*h + 4*u = m + 48, -h + 41 = 4*u. Is h a multiple of 16?
False
Let h(n) = 2*n**2 + 10*n - 18. Let w be h(15). Let l = w - 414. Does 28 divide l?
True
Let s(u) = u**3 + 8*u**2 + 9*u + 10. Let m be s(-7). Let z(r) = r**2 - r + 9. Is z(m) a multiple of 3?
False
Let a be (-696)/(7 + -4) + -4. Let f = a + 394. Does 40 divide f?
False
Is (-1278)/(-30)*(-7 - -47) a multiple of 24?
True
Suppose 7*j + 2*p = 4*j + 121, -p + 211 = 5*j. Suppose 2*g = -4*f + 3*f + j, 2*g = 5*f - 227. Let m = -21 + f. Is m a multiple of 8?
True
Suppose -5*t - 5*g = -4450, t - g - g = 893. Suppose t = 11*x - 0*x. Does 9 divide x?
True
Let v(p) be the second derivative of p**5/20 + 7*p**4/6 - p**3/6 - 6*p**2 - 4*p. Let c be v(-14). Let w(q) = 15*q**2 - 2. Is w(c) a multiple of 29?
True
Suppose 4*f - 156 = -4. Let q = 49 - f. Does 4 divide q?
False
Let j = -971 - -2440. Is j a multiple of 46?
False
Let q(r) = -r**2 - 13*r. Let x(b) be the first derivative of -b**4/4 - 11*b**3/3 - 10*b + 4. Let z be x(-11). 