+ 6. Suppose -k*t = -g*t + 174. Is 11 a factor of t?
False
Suppose -n + 3*a + 2 = 0, -9 + 33 = 5*n - a. Suppose n*o = 6*o - 53. Is 14 a factor of o?
False
Let x(o) = 107*o - 39. Does 17 divide x(4)?
False
Let t(w) = 13*w - 4. Let g(f) = 13*f - 5. Let j(n) = 2*g(n) - 3*t(n). Is 9 a factor of j(-4)?
True
Let f(q) = q**2 - 6*q + 2. Let i be f(4). Let k = 98 - i. Is k a multiple of 7?
False
Suppose 0 = 46*h - 63*h + 2023. Is h a multiple of 7?
True
Suppose v = 2*v - 1. Suppose v = -3*m + 13. Suppose -m*a - 4*q + 134 = a, -q + 146 = 5*a. Is 10 a factor of a?
True
Let v = -28 - -33. Suppose -h - z + 110 = 3*h, 0 = -v*h - 3*z + 134. Does 7 divide h?
True
Suppose -4*q + 33 = 257. Is q/10*35/(-2) a multiple of 14?
True
Suppose 18726 = 18*w + 3768. Is 10 a factor of w?
False
Suppose 5*f + 0*f = 2*c - 23, f + 19 = 4*c. Suppose -2*t = 3*t - 450. Suppose c*u = t + 42. Is u a multiple of 13?
False
Let l(y) = y**3 + 14*y**2 + 14*y - 8. Let a be (1 - 2)/(2/26). Let t be l(a). Is 31 a factor of 30/(((-18)/t)/3)?
False
Let l(x) be the second derivative of 4*x**3/3 - x**2/2 - 2*x. Does 3 divide l(2)?
True
Let s(d) = -d**3 - 13*d**2 + 32*d + 4. Is 22 a factor of s(-17)?
True
Let b = -155 + 227. Let n = b - 22. Is 25 a factor of n?
True
Suppose 0 = l + 3*l - 168. Let q = -103 + 103. Suppose q = -j + l + 52. Does 23 divide j?
False
Suppose 12 = 5*k - 2*h, -5*k + 1 = -4*h - 3. Suppose -2 = -f + k. Is (-3)/f + 142/4 a multiple of 9?
False
Let q be 15/(-8) + 6/(-48). Let u be (-1 - 1)*(-3)/q. Is (-3)/(1*u/27) a multiple of 25?
False
Suppose -3*h + 8 = -4*y, -2*y - 2 - 2 = -5*h. Is y - (1 + (-143 - 3) + -1) a multiple of 36?
True
Let i be (-84)/(-105)*(1 + 4). Suppose -5*w - 145 = -i*z, 0 = z - 4*z - 3*w + 129. Does 20 divide z?
True
Is 169 + (3 - 7) + -5 a multiple of 8?
True
Suppose 4*q - 1491 = -4*z - 587, -5*q + 4*z + 1103 = 0. Does 16 divide q?
False
Let f(v) = v**2 - 2*v - 7. Let m be f(7). Let r = m - 26. Suppose -r*u = -0*y - 2*y, u + y = 8. Is u even?
True
Let n be (-1 + 0)*(416 + 9). Let v = -243 - n. Is 26 a factor of v?
True
Let t(z) = -7*z**3 - 2*z**2 + 2*z - 1. Let y be t(1). Let c = 1 + 5. Is 8 a factor of (c/y)/((-1)/40)?
False
Let s(o) = o**3 + 12*o**2 + 10*o + 9. Suppose -5*h = -2*h + 33. Is 10 a factor of s(h)?
True
Suppose 3*i = -4 - 8. Is (7/14)/(i/(-112)) a multiple of 14?
True
Let q be (6 + -7)/(1/(-50)). Let t = -60 - -32. Let b = q + t. Does 11 divide b?
True
Let n = 1040 + 1060. Is 5 a factor of n?
True
Let o(v) = 23*v**2 - 3*v + 1. Is 6 a factor of o(5)?
False
Is 12 a factor of (50/125)/((-1)/(-995))?
False
Let l(b) = 16*b. Let o be l(-2). Let x = o - -57. Is 13 a factor of x?
False
Let s(y) = -4*y**2 + 3*y + 16. Let i be s(-5). Let q = -79 - i. Does 20 divide q?
True
Suppose -322*v + 305*v + 25585 = 0. Does 105 divide v?
False
Let o(p) be the third derivative of p**6/3 + p**5/20 - p**3/3 + 20*p**2. Does 10 divide o(1)?
False
Suppose 0 = -5*l + 63 - 43. Is 4 a factor of 37 + l + -2 + 1?
True
Suppose -5*v + 1041 - 81 = 0. Is 6 a factor of v?
True
Let b = 80 - 77. Let s be 5 - ((-8)/2)/(-2). Is s - (b - 0) - -17 a multiple of 17?
True
Let o(t) = -3*t + 9. Is o(-11) a multiple of 7?
True
Let r = 32 - -46. Suppose 174 = 4*f - r. Is f a multiple of 36?
False
Does 19 divide ((-8)/(-7))/(8/28) + 72?
True
Let l = 92 + -62. Let c be (-36)/(-60)*5 - 1/1. Suppose -c*m - l = 5*r - 76, -3*m = 5*r - 74. Does 14 divide m?
True
Let j = -401 - -457. Does 2 divide j?
True
Let j(s) = -6*s**2 - 17*s - 11. Let v(d) = 5*d**2 + 17*d + 10. Let z(c) = -4*j(c) - 5*v(c). Let k = 14 - 27. Is z(k) a multiple of 20?
False
Let z(m) = -2*m + 2. Let r be z(1). Let l be 0 + 4 + r/3. Suppose 6*h - 3*k = l*h + 30, 5*h + 3*k - 33 = 0. Is 4 a factor of h?
False
Let x be 3/((-18)/(-795))*(0 + 2). Let r = -3 + x. Is r a multiple of 17?
False
Let j(t) = -17*t + 4. Let k be j(-4). Let w = 42 - 83. Let d = k + w. Does 22 divide d?
False
Let a = -202 - -256. Is 18 a factor of a?
True
Let k = -949 + 1741. Is 12 a factor of k?
True
Does 36 divide (-68)/119 - 9080/(-14)?
True
Does 38 divide (-3 + 4)*15/5*51?
False
Let i be -3 - (-1 - 4) - 1 - -1. Suppose 5*r = i*s - 43 - 16, -195 = -5*s + 3*r. Does 11 divide s?
False
Let l(f) = f**2 + 23*f - 7. Let s be l(-21). Let c = 94 + s. Is 15 a factor of c?
True
Let s(p) = 8*p**2 + 5*p - 4. Let b(v) = 8*v**2 + 5*v - 5. Let n(h) = -4*b(h) + 5*s(h). Is 35 a factor of n(-5)?
True
Let z(i) = 2*i - 34. Let r be z(16). Does 23 divide (-243)/r + (-12)/(-8)?
False
Let t(w) = 53*w - 18. Is t(2) even?
True
Let g = 41 - 27. Suppose 460 = g*o - 4*o. Is 6 a factor of o?
False
Suppose 2*s + 2*a = 376, 5*s - a + 251 = 1215. Let u = s + -114. Is u a multiple of 13?
True
Suppose t = -4*l + 6, 0 = -2*t - 4*l + 5 + 3. Suppose 0 = -5*m - o + 23, -t*m + 3*o + 3 = 4. Suppose -2*n = m*i - 36, -n + 0 = 3*i - 15. Is n a multiple of 6?
True
Let g(b) = 4*b**2 + b - 1 + 0 - b**2. Let u be g(1). Let i = 12 - u. Is i a multiple of 3?
True
Suppose 108*m = 75*m + 1551. Does 47 divide m?
True
Let x(l) = l**3 + 14*l**2 + l - 1. Let f(z) = -16*z + 2. Let n be f(1). Let v be x(n). Let i = -9 - v. Is i even?
True
Let t(n) = -2*n**3 + 2*n**2 - n + 1. Let v be t(2). Is 25 - ((-2)/6)/((-3)/v) a multiple of 17?
False
Suppose -12*j + 421 = -11*j. Does 24 divide j?
False
Suppose 0 = -3*p - 52*n + 54*n + 584, 2*p - 4*n - 376 = 0. Is p a multiple of 22?
True
Suppose h - 7 = -0. Suppose 40 - h = 3*d. Is d a multiple of 6?
False
Let m(j) = 32*j + 236. Is 76 a factor of m(14)?
True
Let b = -201 + 626. Is 25 a factor of b?
True
Suppose 2*c = -0*c - 54. Let u be 2/((c/(-60))/9). Suppose 4*t + t + 3*i = 108, -2*t + u = 2*i. Does 12 divide t?
True
Suppose -53 = 5*t - 3. Let a = t + 15. Suppose -4*g - 7 + 29 = -2*i, a*g - 26 = i. Does 5 divide g?
True
Suppose f + 4*b = 28, -b - 70 = -3*f + b. Does 4 divide f?
True
Let b(z) = z**3 - 39*z**2 + 108*z + 82. Is b(36) a multiple of 8?
False
Suppose 42 = -6*l + 12*l. Is 8 a factor of -2 + l/2 - (-19)/2?
False
Let k(g) = -g**3 - 58*g**2 - 83*g - 48. Does 14 divide k(-57)?
False
Let d be 1 + 2 + (-5 - 1). Let v(f) = -3*f**2 + f + 6. Let a(n) = 2*n**2 - 3. Let k(p) = 5*a(p) + 3*v(p). Is k(d) even?
False
Let l be 243/(-15) + (-5)/(-25). Let o = l + 26. Is o a multiple of 10?
True
Is 18 a factor of (33/77)/(2/7322)?
False
Let c = 33 - 63. Let m be (-628)/15 - (-4)/c. Let s = m - -102. Is s a multiple of 15?
True
Suppose -t + 2*t + 223 = v, -4*v - 5*t + 901 = 0. Does 12 divide v?
False
Suppose -8*x + 329 + 375 = 0. Is 12 a factor of x?
False
Suppose 3*d + d = 5*l + 3186, -d = 5*l - 784. Is d a multiple of 27?
False
Is 9 a factor of (-36)/10*3900/(-120)?
True
Let j(w) = -w**3 + 23*w**2 - 20*w + 20. Is j(22) a multiple of 5?
False
Let g = 66 - 62. Let h(r) = r + 2. Let k be h(0). Suppose 4*y + 0*y + 34 = k*o, g*o + 4*y - 8 = 0. Is o a multiple of 7?
True
Let c = -410 + 184. Let r = c + 318. Is 14 a factor of r?
False
Let k = 396 + -156. Let i = -160 + k. Does 17 divide i?
False
Let k(q) = q**3 + 12*q**2 + 12*q + 10. Let t be k(-10). Let h = t + -25. Is 13 a factor of h?
True
Let g(f) = -f**3 - 46 + 9*f**2 + 50 - f**2 + 4*f. Is 12 a factor of g(8)?
True
Suppose 3*p = 12, 0*r + 5*p + 14 = r. Suppose 4*i = 5*t - 90, 3*t = -5*i + r + 20. Is 4 a factor of t?
False
Suppose a - 36 = 4*y, -2*a - 5*y + 10 = -36. Is 7 a factor of a?
True
Suppose 2*n = -46*n + 30048. Is 6 a factor of n?
False
Let a = 153 - 151. Suppose 4*s + 19 = -21. Is 15 a factor of a/s - 624/(-20)?
False
Suppose -7*w - 305 = -2*w. Let g = 166 + w. Suppose 111 = -0*d + 2*d + 5*c, 3*c = -2*d + g. Does 16 divide d?
True
Let m(x) = -6*x + 5*x + 2 + 2 + 0. Let c be m(-9). Suppose 2*n - 106 = 4*w, -c - 41 = -n + 3*w. Is 9 a factor of n?
False
Suppose 6*k = 4*k + 13584. Is 21 a factor of k/54 + (-2)/(-9)?
True
Suppose 9*g - 4*g - 10 = -3*o, -5*o + g - 2 = 0. Suppose o = 2*b + 4*z - 56, -b + 20 = -4*z - 32. Is b a multiple of 12?
True
Let z = -53 + 120. Suppose -4*f + n + 161 = 0, -4*f + 2*n + 95 = -z. Is 5 a factor of f?
True
Let n(x) = 14*x**2 + 9*x + 15. Is 7 a factor of n(-4)?
True
Let s = -84 - -84. Suppose s = b - 5*b + 84. Is 21 a factor of b?
True
Let k be 4/(-30)*-3 + 52/(-5). Let y(j) = j**3 + 9*j**2 - 12*j + 12. Does 8 divide y(k)?
True
Let y(s) be the first derivative of -s**4/4 + 14*s**3/3 + 9*s