0*n + 5*n - 3*n. Is 40 a factor of q(-13)?
False
Suppose 1921 + 6997 = 13*h. Is 14 a factor of h?
True
Let u = 256 + -177. Does 7 divide u?
False
Let h(a) = -a**3 + 41*a**2 - 205*a - 7. Is h(31) a multiple of 112?
True
Let j = -328 - -512. Is j a multiple of 12?
False
Let k(u) = u**3 - 6*u**2 + 3*u + 7. Let y be k(6). Suppose -2*o + 10 - 4 = 2*r, o = -3*r - 1. Suppose 0 = j - y + o. Does 13 divide j?
False
Suppose -10*p - 12 = -7*p, 2602 = 3*h + 5*p. Is h a multiple of 9?
False
Suppose -4*x + 53 = -131. Let o = x - 9. Does 9 divide o?
False
Let y(l) = l + 54 - 32 - l**2 + 32. Suppose 5*p = 2*t, 2*t + 0*p = -p. Is y(t) a multiple of 18?
True
Let m(g) = -g**2 - g + 2. Let t be m(0). Suppose -2*y - c = -y - 7, 0 = t*c + 2. Is ((-315)/(-28))/(2/y) a multiple of 15?
True
Let c = 2094 + 414. Does 32 divide c?
False
Let l be (40/15)/(3/(-9)). Let c be 166/l + (-6)/(-8). Does 19 divide (-1515)/c + 2/8?
True
Let t = 943 + -690. Does 8 divide t?
False
Let o = 8 - 3. Let g(c) = c + 13. Let v be g(-9). Suppose 5*b + 0*b = 2*x + 166, -v*b + 113 = o*x. Does 8 divide b?
True
Let z = 51 + -31. Let i be (-5)/(z/8) + 7. Suppose i*q - 9 = -2*t + 1, 3*t = -q + 41. Does 5 divide t?
True
Suppose -a = 2 - 7. Suppose -a*k - 4*p = -495 + 91, 0 = -5*p - 20. Is k a multiple of 21?
True
Is (-4)/32 - 24485/(-40) a multiple of 25?
False
Suppose 2*x + 8 = -4*z - 124, 2*x + 144 = -z. Let o be x/(-14) - 20/70. Let v = o - -52. Is 18 a factor of v?
False
Suppose 3*t + 10 = 1. Does 5 divide -3 + ((-426)/t)/2?
False
Let x(a) = a + 12. Let q be x(-8). Suppose 0*f - q*f - 5*l = -105, 25 = 5*l. Is 10 a factor of f?
True
Suppose 4*s = -3*t + 4*t + 600, -s = -2*t - 150. Suppose 0*c - s = 5*c. Is 11 a factor of -8*(-33)/c*-5?
True
Let u(f) = 3*f**2 - f + 1. Let g be u(1). Suppose 16 = g*c - 4*q - 18, 0 = -4*c + 3*q + 43. Does 9 divide c?
False
Let g be (-5)/((-50)/52)*10. Let y(q) = q**3 - 6*q**2 + 2*q + 8. Let s be y(6). Suppose -s = -2*d + g. Is d a multiple of 9?
True
Let r(k) = -k**3 + 15*k**2 - 15*k + 26. Let s be r(14). Suppose 32 = -11*j + s*j. Is 16 a factor of j?
True
Suppose -4*u + 4*g = -g - 11, 12 = 3*u - 3*g. Suppose 0 = -o + a + 20, 2*o - 49 = 3*a + 2*a. Let v = o - u. Is v even?
True
Suppose 0 = 5*z + 2*o + 18, -2*z = 2*o + 3 + 3. Let x be (-186)/(-9)*(-24)/z. Does 15 divide (x/8)/(-1)*-2?
False
Let j = 133 - -162. Suppose -2*n = -4*h - 7*n + j, -4*n = 2*h - 140. Does 16 divide h?
True
Let g be 7/((-3 + 4)/(3 - 4)). Is 13 a factor of (-10)/(3 + 22/g)?
False
Suppose 19*i = -40*i + 131983. Is 57 a factor of i?
False
Let c = 34 - 24. Does 6 divide c + (1 - 5/(-5))?
True
Let j(m) be the second derivative of m**3/6 - 11*m**2/2 + 5*m. Let r be j(-10). Let n = r + 35. Is n a multiple of 3?
False
Let g(n) = n**2 - 5*n + 11. Let z be g(5). Suppose -q + 81 = z. Is 10 a factor of q?
True
Let m(s) = 81*s + 7. Let r be m(2). Let g = -74 + r. Does 38 divide g?
False
Suppose -47*q = -42*q. Is 6 a factor of (-36)/(-2) - (0 + q)?
True
Let i = -1284 + 1864. Does 15 divide i?
False
Let m be (6*13 - 4) + 1. Suppose -66 = -4*y + 2*y - 2*h, -3*y + 3*h + m = 0. Suppose -y = 4*f - 165. Is 12 a factor of f?
False
Let f(o) = 2*o**3 + 4*o**2 - 5*o - 4. Let s be f(4). Suppose 0 = -4*h - 4*y + 304, h + h - s = 2*y. Is 20 a factor of h?
True
Let k = 30 - 28. Is k even?
True
Let w(h) = 69*h + 53. Let u(n) = 23*n + 18. Let p(s) = -17*u(s) + 6*w(s). Does 30 divide p(2)?
False
Let n be (-14)/21*(-8 - 1). Is (-8)/n*90/(-4) a multiple of 6?
True
Let i(y) = -2*y**3 - 3*y**2 - 8*y - 12. Is 10 a factor of i(-4)?
True
Does 36 divide 70 + ((-2)/10)/(1/(-10))?
True
Does 3 divide 0 - (1/8 - 4251/24)?
True
Let g = -7 + 10. Suppose 3*n + 0*z + 237 = z, 0 = n - 5*z + 65. Does 8 divide n*(g + (-34)/10)?
True
Suppose -o + 6 = -2*m, 2*o - 15 = 5*m - 2*o. Let h(d) = -25*d - 16. Does 16 divide h(m)?
False
Suppose 4*k + 5*l - 112 = 0, -k + 6*l + 28 = 8*l. Does 7 divide k?
True
Suppose -4*k = -0*k - 5320. Does 95 divide k?
True
Let w(o) be the third derivative of 0*o - 7/24*o**4 + 1/20*o**5 + 0 + 7*o**2 + o**3. Does 22 divide w(5)?
False
Let b = 267 + -123. Is b a multiple of 20?
False
Suppose -s + 348 = 24. Is s a multiple of 7?
False
Is 12 a factor of (-5)/((-20)/(-264))*(-9 - -1)?
True
Suppose 2*m = 4*z - 306, 0 = 2*z - 5*z - m + 217. Suppose 2*p - z = 4*t, -6*t + 2*t + 8 = 0. Does 9 divide p?
False
Let k(j) = j + 3. Let h = 16 + -7. Let t be k(h). Let i = 36 - t. Is i a multiple of 12?
True
Let q(x) = 4*x**2 + 25*x + 4. Let j be q(-8). Does 3 divide ((-260)/25)/((-8)/j)?
True
Is 52 a factor of 10712/515*(-330)/(-4)?
True
Let z be (-2 + 32)*(-13)/26. Is 38 a factor of -2 + (-959)/(-5) + (-3)/z?
True
Suppose -3987 + 123 = -6*c. Is 28 a factor of c?
True
Let n(h) = 69*h**2 + 4*h + 1. Does 10 divide n(1)?
False
Let o = 227 + -161. Is 10 a factor of o?
False
Suppose 3*j - 1093 = -5*v + 429, -4*j = 2*v - 2034. Is j a multiple of 9?
False
Let h be 39/(-6)*140/(-7). Let w = 219 - h. Does 8 divide w?
False
Suppose 4*n - 2*n = 394. Suppose -4*s = g - 313, 2*s - 3*g - n = -30. Suppose 4*u = s + 33. Is u a multiple of 28?
True
Let s(t) = -19*t + 362. Is 48 a factor of s(-30)?
False
Let z = 95 + -55. Is 10 a factor of z?
True
Suppose -f = f. Suppose f = -s - 4 - 2. Does 5 divide 26*2/(-2 - s)?
False
Suppose 5*r = -5*y - 1858 + 9198, 4*r - y - 5847 = 0. Does 77 divide r?
True
Let l = 162 - 76. Suppose t = 2*p + 3*p - l, -3*p = -5*t - 34. Is 9 a factor of p?
True
Suppose -2*a = 35 + 5. Let u = -9 - a. Let m = u - -9. Does 5 divide m?
True
Let o = 33 - 41. Let v = 23 + o. Is v a multiple of 4?
False
Let i(l) = -l**3 - 13*l**2 + 6*l - 3. Let w be i(-11). Let v = -101 - w. Does 29 divide v?
False
Suppose 0 = l + 3*z - 1, 5*l + 3*z - 11 = 6. Suppose l*i = 2 - 10. Is i/5 - 74/(-10) a multiple of 2?
False
Let c(v) = -v**3 + v**2 + 13*v - 59. Does 139 divide c(-14)?
False
Suppose x + d - 271 = 0, 4*d - 16 = -0*d. Is 11 a factor of x?
False
Let r(g) = 234*g**2 - 7*g - 5. Is r(-1) a multiple of 46?
False
Does 16 divide (336/(-63))/((-2)/150)?
True
Let s be 1/(-4)*-46*-2. Is 6 a factor of (s/(-2))/(6/12)?
False
Suppose 4*d - 127 - 433 = 0. Is 35 a factor of d?
True
Let g be (12 + -399)*5/(-3). Suppose 2*m + 3*t - 9 = 402, 0 = -3*m + 5*t + g. Does 30 divide m?
True
Suppose 5*j = -5*c + 34 + 821, -3*c - 5*j + 511 = 0. Is 43 a factor of c?
True
Suppose 0 = -2*n - 2*j + 34, -5*j + 33 = -2*n + 3*n. Let b be (-1 + -2)/(3/(-4)). Let t = b + n. Is 12 a factor of t?
False
Suppose -3*l + t - 2 + 3 = 0, 0 = -3*l - 2*t + 16. Suppose -l*d + 208 = -0*d. Suppose -4*n + 3*q = -d, -q = -4*n - 3*q + 84. Does 10 divide n?
False
Suppose -3*y + 17 = 5*u - 5, 0 = -2*u + 4. Let k(p) = 11*p**2 - 5*p + 4. Let x be k(y). Suppose 4*a - x = -0*a. Is 26 a factor of a?
False
Suppose 0 = 3*y - 0*y - 9. Suppose -o + 3*h + 30 = -41, 0 = -y*o + 3*h + 231. Does 10 divide o?
True
Suppose v - 4*i - 1794 = 0, -5*i + 5433 = -16*v + 19*v. Is v a multiple of 62?
False
Let j = -1027 - -1489. Is 14 a factor of j?
True
Let b(k) = -k**3 + 3*k**2 + k - 2. Let f be b(3). Let r = 1 - f. Does 23 divide 1/((r - 3)/(-138))?
True
Let j(a) be the third derivative of -a**5/60 + 5*a**4/24 - a**3/3 - a**2. Let d be j(3). Suppose 4*h - 66 = t + d*t, 0 = -h + 2*t + 15. Is h a multiple of 5?
False
Let z = -1 + 33. Suppose -4*r + 4*g = z, -r + 3*r = -g - 16. Is (3 + r/3)*105 a multiple of 7?
True
Does 14 divide (-110500)/(-208) - 2*3/(-8)?
True
Let a = 3049 - 658. Is a a multiple of 92?
False
Let k(d) = 3*d**2 + 1. Let q be k(1). Is 14 a factor of (2 - (q + 0))*(-14 + -6)?
False
Suppose -q - n = -2*n - 44, -q = 3*n - 32. Is q a multiple of 41?
True
Let r(w) = -5*w**2 + 10*w + 12. Let y(a) = -9*a**2 + 19*a + 24. Let t(o) = 7*r(o) - 4*y(o). Let p be 0 - 4/(4/(-9)). Is 15 a factor of t(p)?
True
Let p = 1 + 4. Let k(h) = h**2 - 5*h + 5. Let o be k(p). Let j(i) = 3*i + 3. Does 7 divide j(o)?
False
Let l(k) = k + 23. Let t be l(-17). Suppose 2*w + 3*i - 176 = i, 2*w = i + 170. Let v = w + t. Is v a multiple of 21?
False
Is 25 a factor of (-9*5/15 - -3) + 1833?
False
Suppose -277 = -4*q + 47. Suppose j + 2*w = -w + 18, 3*w + q = 2*j. Suppose 0 = -4*o - j + 117. Is o a multiple of 9?
False
Suppose 5*d = -2*x + x + 3, -9 = -3*x + 4*d. Suppose 154 + 320 = x*k. Let g = k - 33. Does 18 divide g?
False
Suppos