= 4*n + 180. Let g = 61 + n. Does 7 divide g?
True
Suppose 6*r = 5*r + 7. Suppose -2*d + r*j - 4*j - 6 = 0, 0 = -2*d - j + 10. Suppose 324 = x + d*x. Is x a multiple of 23?
False
Let v = 2472 - 2360. Does 56 divide v?
True
Suppose -5*l + 6350 = -5*y, -5*l = 8*y - 3*y - 6360. Is l a multiple of 53?
False
Let w(p) = p**3 + 7*p**2 - 2*p - 12. Suppose 2*n = 5*o - 17, 0*o + 5*n = 4*o - 17. Suppose 0*j - 2*z - 4 = -j, -o*j - 4*z - 38 = 0. Is 9 a factor of w(j)?
True
Let c(j) = -j**3 + 17*j**2 + 5*j - 1. Let y be c(17). Suppose 23*u - 20*u = y. Does 14 divide u?
True
Let a(g) = 24*g**2 + 3*g - 40. Does 23 divide a(5)?
True
Suppose 2*c = 3*x + 74 + 67, 4*c - 5*x - 283 = 0. Is 24 a factor of c?
True
Let j = -45 - -30. Let l = 175 + j. Is 38 a factor of l?
False
Let b(a) = -2*a**2 - 6*a - 3. Let s be b(-2). Let r = s + 5. Suppose v - 5*f = 27, -v + 47 = 2*f + r. Is 7 a factor of v?
False
Let q(y) be the third derivative of y**6/120 + y**5/5 + 19*y**4/24 - 14*y**3/3 - 49*y**2. Is 44 a factor of q(-9)?
True
Let b be 6/9*(6 - 3). Suppose -b*n - n = -3*z - 12, n = 3*z + 8. Is 8 a factor of -12*n/(-14)*14?
True
Let m = -1570 - -3114. Does 14 divide m?
False
Suppose 2 = t - 2. Let z = t + 0. Suppose z*o - 74 = w + w, -5*o + 4*w + 91 = 0. Does 5 divide o?
False
Suppose 10 = -5*p, -5*b - 5*p - 4 = 6. Suppose b = 11*t - 12*t - 23. Does 5 divide 1 - (t - (-3 + 1))?
False
Let z(w) = -52*w**3 - w**2 - 9*w - 8. Is z(-1) a multiple of 2?
True
Suppose -h = 2*h - 2*j - 2406, -4*h + 5*j = -3215. Is 20 a factor of h?
True
Let a(c) = c**2 + 5*c + 15. Let x = -25 + 18. Is a(x) a multiple of 6?
False
Is 23 a factor of 1376/10 - (-44)/110?
True
Is 6 a factor of 1410/4 + 175/50?
False
Suppose 5*r + 166 = 1021. Is r a multiple of 4?
False
Let v(k) = 23*k - 138. Is 3 a factor of v(9)?
True
Suppose -3*q + 255 = -2583. Does 11 divide q?
True
Let q(g) = g**2 - 2*g - 2. Let b be q(-5). Let l be (6/(-6))/(6/(-132)). Let k = b - l. Is 11 a factor of k?
True
Suppose 0 - 6 = 6*k. Is (-146 + 7)*1*k a multiple of 52?
False
Suppose -g - 12 = -4*g + 3*w, -3*g = -4*w - 11. Suppose -g*s - 3 + 33 = 0. Let a(d) = -2*d**3 + 15*d**2 - 9*d + 6. Is 30 a factor of a(s)?
True
Suppose -2*y + 2 + 0 = 0. Suppose -2*h + 0*n + 22 = 5*n, 0 = -h + 2*n + 2. Suppose y + h = z. Is 3 a factor of z?
False
Let r(f) = -f**3. Let c(z) = 6*z**3 - z**2 - z + 30. Let d(m) = c(m) + 5*r(m). Let n = -433 - -433. Is 12 a factor of d(n)?
False
Suppose -3 = -8*u + 7*u. Suppose -2 = -u*r + 10. Suppose -5*m - p = -267, -r*m = -2*m - 5*p - 96. Does 9 divide m?
False
Let i(d) = 3*d**2 + 23*d + 23. Is 22 a factor of i(-17)?
False
Suppose 0 = 5*v - 4 - 16. Does 9 divide (73/2)/(-1*(-2)/v)?
False
Let r(d) = -d**2 + 28*d + 5. Is 4 a factor of r(7)?
True
Let j(m) = m**3 - 2*m**2 - 4*m - 5. Let g be j(4). Suppose -g = -l + 11. Suppose -l - 2 = -3*q. Does 7 divide q?
False
Let t = -36 - -53. Suppose 3*v = -3*s + 60, -v - 2 = -4*s - t. Is v a multiple of 19?
True
Let j = 7 + -1. Is 3 a factor of (j/(-4) + 3)*10 + 1?
False
Let n(w) = -w**2 - 9*w. Let s be n(-9). Suppose 10*c - 6*c - 256 = s. Is 21 a factor of (4 - (5 - 0)) + c?
True
Let p = 7639 + -4219. Does 24 divide p?
False
Suppose 0 = -180*u + 176*u + 1464. Does 6 divide u?
True
Suppose -y = a - 23, 10*y - 5*y - 3*a = 91. Suppose s - y = -3*s. Suppose -96 = d - s*d. Does 12 divide d?
True
Let p(k) = -8 - 12 + k**2 - 11*k + 0*k**2. Is p(-5) a multiple of 9?
False
Suppose -37 = -2*d + 77. Is d a multiple of 9?
False
Let x = 4869 - 2214. Is x a multiple of 13?
False
Suppose 8*n + 132 = 4*n. Is 14 a factor of n/(-27) + -1 - (-376)/9?
True
Let z = 15 + -14. Let f be (-1)/(z*(-2)/4). Suppose 3*i + 246 = 3*v + f*v, 4*i - 216 = -4*v. Is 17 a factor of v?
True
Suppose -2*u = 2*r - 794, 2*r = 6*r + 3*u - 1584. Does 78 divide r?
False
Suppose 24*j = 7*j + 89080. Is j a multiple of 131?
True
Let v(t) = -2*t**3 + 35*t**2 + 14*t - 67. Is 21 a factor of v(16)?
False
Let r = -226 + 298. Is r a multiple of 9?
True
Let o = 1 - 3. Let i(n) = -21*n. Is i(o) a multiple of 6?
True
Suppose 159 + 132 = -3*w. Let o(f) = -2*f - 14. Let r be o(22). Let v = r - w. Is v a multiple of 13?
True
Let q(h) = 6*h**2 + 2*h - 18. Is q(-8) a multiple of 6?
False
Let y(p) = -80*p**2 - 7*p - 1. Let h be y(-3). Does 14 divide 8/10*h/(-40)?
True
Let t(k) = k**2 + 2. Let h be t(0). Suppose 5*f = -0*m + h*m + 12, f + 4*m = 20. Suppose 0 = f*z + 5*i - 227, -2*i = -2*z + z + 47. Is z a multiple of 15?
False
Let n = 12 + 0. Suppose 5*j + 3*v - 19 = 0, v = -3*v + n. Is 250/7 - j/(-7) a multiple of 9?
True
Let q be (1 - -2)*4/(-6). Let z be 47/12 - (-38)/456. Does 16 divide z/q - (-5 - 13)?
True
Let n = -172 - -372. Suppose -4 = 4*u - n. Does 7 divide u?
True
Let k = 7 - -15. Suppose k = -4*s + 114. Is 23 a factor of s?
True
Suppose 6 = -m + 10. Suppose 0 = -m*n + 5*n - 11. Does 4 divide n?
False
Is 15*4*(-19)/(-38) even?
True
Suppose -223*s + 245*s = 25344. Is s a multiple of 32?
True
Is 5 a factor of (7 - (58 + 1))*(-33)/12?
False
Suppose -1680 = 902*m - 904*m. Does 6 divide m?
True
Let p(h) = 11*h**2 - 14*h + 32. Does 53 divide p(-8)?
True
Let f(h) = 6*h + 10. Let n be f(22). Let b = n + -16. Does 18 divide b?
True
Suppose -s + 643 = -0*b + 4*b, 0 = -3*b - 3*s + 471. Suppose -3*y + b = -u, -4*u - 270 = 4*y - 9*y. Is 23 a factor of y?
False
Suppose -6*b + 3*b + 990 = 0. Let f = -183 + b. Is f a multiple of 40?
False
Suppose 10*c + 9 = 7*c. Let p(u) = -3*u**3 - u**2 + 2*u - 3. Is p(c) a multiple of 16?
False
Let l be 36/60 + (-4)/(-10). Let m be (-5)/20 - l/(-4). Suppose m = -6*f + 9*f - 36. Does 3 divide f?
True
Suppose 10*h = -3*h + 7826. Is h a multiple of 60?
False
Is ((-5344)/(-10) + -4)/(2/10) a multiple of 68?
True
Let k be (12 + -8)*(-15)/(-4). Let d = k + 9. Is d a multiple of 8?
True
Suppose -283*l + 290*l = 3367. Does 19 divide l?
False
Let s be ((-8)/6)/2 + (-67)/3. Let u be 94/(-10) + (-2)/(-5). Let n = u - s. Is 6 a factor of n?
False
Let w be (6/15)/(-1)*-25. Let d(v) = v**3 - 10*v**2 + 5*v + 13. Let u be d(w). Suppose 0 = c + 3*n - u, 2*c - 5*n - 93 = -0*c. Is 27 a factor of c?
True
Let x(f) = -f**3 + 7*f**2 - 5*f + 18. Let v be x(8). Let d = v + 164. Is d a multiple of 16?
False
Let k = 675 + -309. Is 23 a factor of k?
False
Is (156/(-5 + 1))/(2/(-20)) a multiple of 20?
False
Let y(o) be the second derivative of o**5/20 - 3*o**4/2 + 2*o**3/3 + 15*o**2/2 + 15*o. Is 29 a factor of y(18)?
True
Let r(u) = u + 242. Does 23 divide r(-17)?
False
Suppose 0*i = 2*i + 26. Let f(y) be the second derivative of -y**4/12 - 13*y**3/6 + 9*y**2 + 15*y. Is f(i) a multiple of 7?
False
Suppose -4*u = -3*m - 2480, -696 = -3*u - 4*m + 1139. Does 2 divide u?
False
Let n(h) = -146*h - 612. Does 7 divide n(-8)?
False
Let p(t) = t**2 - 8*t + 10. Let m be p(7). Suppose 4*l + 3*r = 8, -7*l + 8 = -m*l + r. Suppose -l*w + 7 + 47 = 0. Is 9 a factor of w?
True
Suppose 44389 = 64*g - 12699. Is g a multiple of 14?
False
Let g be (-49)/(-14)*(-8)/(-14). Is 0 + g + (1 - -26) a multiple of 5?
False
Let r = 22 - 19. Suppose r*d + 6*m - 3*m - 15 = 0, -2 = -m. Suppose -3*w = d*w - 72. Is 5 a factor of w?
False
Let f = -219 - -520. Is 13 a factor of f?
False
Suppose 28 = 5*q - 4*o, 0 = q - 0*o - 3*o - 10. Suppose q*f - 5*n = 234, 0*f - 3*f - 2*n = -164. Does 14 divide f?
True
Let p(g) = 2*g**3 + 2*g**2 + 2*g - 8. Let i(z) = -z**3 - z**2 - z + 1. Let a(x) = -3*i(x) - p(x). Does 4 divide a(0)?
False
Suppose -2*t + h = -5127, -3*t - 180 = -4*h - 7858. Is 43 a factor of t?
False
Let u(h) = 7*h**2 - 8*h + 3. Let v(f) = 4*f + 1. Let s be v(1). Is u(s) a multiple of 16?
False
Suppose -v + 0 + 8 = 0. Let q = 110 - v. Does 8 divide q?
False
Suppose 4*x - 3024 = 4*l, 5570 = 5*x + 4*l + 1790. Does 108 divide x?
True
Suppose -3*t = 5*m - 20, -2*t + 4*m + 35 = -t. Let i(a) = -9 + 2*a**2 - t*a - 3*a**2 + 12. Is i(-5) a multiple of 38?
False
Suppose 6229 = 3*g - 5*a + 1197, 3*a - 4992 = -3*g. Does 77 divide g?
False
Let u = 118 + 176. Is 14 a factor of u?
True
Let r(u) = -u**3 + 7*u**2 + 7*u + 6. Let y be r(8). Is 8 a factor of 40 - ((1 - 4) + (-6)/y)?
True
Suppose 0 = 5*p + x - 16, -4*p = -3*p + x. Suppose -i - i + 191 = 5*k, p*k - i = 158. Does 13 divide k?
True
Suppose 5*h - l = -3*l - 72, 0 = h - 5*l + 9. Let r = 17 + h. Let x(m) = m**3 - m. Is x(r) a multi