 j?
True
Suppose 3*x = -l + 794, 5*x + 12*l - 9*l - 1326 = 0. Does 9 divide x?
False
Let v(y) = 51*y**2 - 6*y - 7. Suppose 2*o = 4*l + 16, -3*l - o + 3 - 5 = 0. Is 10 a factor of v(l)?
False
Let l(v) = -v**2 - 3*v + 5. Let s be l(-3). Suppose -p - 4*p + 370 = -s*r, 2*p = -4*r + 166. Does 11 divide p?
True
Is 66 a factor of (3/(-2))/((-11914)/(-11956) + -1)?
False
Let w(i) = 2*i - 36. Let u be w(16). Is 10 a factor of u/(3 + -2) - (-53 - -8)?
False
Let r be 543 + -4 + 3 + 3 + -3. Suppose -n + r = 4*x + 4*n, x + n = 135. Is 7 a factor of x?
True
Suppose z - 12 = 5*f, z + 2*z - 5*f - 16 = 0. Suppose u = z*u + 3. Is ((-2)/u)/(1/93) a multiple of 15?
False
Suppose -145 + 2466 = 11*m. Is m a multiple of 20?
False
Suppose -r = 3*r - 1288. Suppose -4*m = -3*f + f - r, 2*f = 2*m - 166. Is m a multiple of 8?
False
Does 53 divide ((-320)/(-15))/8*53*12?
True
Let c = 27 - 31. Let s = 27 + c. Is s a multiple of 4?
False
Let w = 5 + -3. Suppose 0 = w*l - 18 - 2. Suppose l*n = 11*n - 36. Is n a multiple of 12?
True
Let f be (4 - 8/2)*-1. Does 33 divide ((f - -1) + (-48)/(-3))*3?
False
Suppose -3*f + 106 = -2*f. Is f a multiple of 10?
False
Suppose -c = 3*c. Let t(x) = -3 + 3 - 2*x + 26. Is t(c) a multiple of 20?
False
Let i be ((4 + 2/(-2))*-6)/1. Is (2858/i + (-8)/36)/(-1) a multiple of 34?
False
Suppose -2*f - 7*o - 12 = -3*o, -2*f - 2*o = 4. Let l be (0 + f/4)*208. Let z = -26 + l. Does 26 divide z?
True
Let a(p) be the third derivative of -p**4/12 - 3*p**3/2 + 5*p**2. Let c be a(-6). Is 3 a factor of (8 - (2 + -2)) + c?
False
Let b = 9 + -7. Suppose -b*o + 51 = -o. Does 11 divide o - (2/1 - 3)?
False
Let w(b) = -305*b**2 - 8*b + 5. Let v(r) = 102*r**2 + 3*r - 2. Let o(d) = -8*v(d) - 3*w(d). Is o(-1) a multiple of 10?
True
Let l = -953 + 1603. Is l a multiple of 7?
False
Suppose -4*a = -3*n + 2039, -4*n - 509 + 3234 = a. Does 16 divide n?
False
Let c = -1562 - -4354. Is 48 a factor of c?
False
Suppose -10*n + 904 = 274. Is 21 a factor of n?
True
Let b = -212 - -357. Suppose -2*o + 169 = j, 2*o - 14 = -3*j + b. Does 29 divide o?
True
Suppose -i - 109 = 5*g, -5*g = 2*i - 6*i - 536. Let x = i - -252. Does 41 divide x?
True
Let i = -298 + 434. Is i a multiple of 18?
False
Let d(n) = n + 7. Let y(t) = 8*t + 1. Let a be y(-1). Let m be d(a). Suppose 5*h - 107 = -2*s, 5*s - 5*h + 3*h - 340 = m. Does 22 divide s?
True
Let c be -6 + 0 + (-19 - -23). Let g(n) = -45*n - 2. Is 22 a factor of g(c)?
True
Let m(g) = -5*g**3 + g**2 + 8*g - 3. Let i(b) = 6*b**3 - 2*b**2 - 7*b + 2. Let h(r) = -4*i(r) - 5*m(r). Let d be h(5). Suppose -8*t + d = -t. Does 7 divide t?
True
Suppose 7*o - 13 - 15 = 0. Suppose 3*x + 375 = 2*w, 0*w - 3*w - o*x = -520. Is 30 a factor of w?
True
Let l = 50 + -50. Suppose l = -2*f - 2*k + 118, -3*f + 5*k = -52 - 149. Does 4 divide f?
False
Let k(q) = -q**2 - 7*q - 3. Let m be k(-3). Let d = 11 - m. Suppose -d*i + 4*i - 22 = 0. Is i a multiple of 11?
True
Let x(n) = -n**2 - 15*n - 15. Let a be (8/(-6))/(6/63). Let q be x(a). Is 7 a factor of ((-42)/(-28))/(q/(-14))?
True
Suppose -27*z + 31*z = 3*u + 26, -3*z - u + 26 = 0. Let v = 5 + 3. Suppose 6*s + z = v*s. Is s a multiple of 4?
True
Suppose 0 = 3*v + 3*k + 1554, 0 = -5*v - k - 881 - 1725. Does 7 divide (-2)/4 - v/12?
False
Suppose -18*b + 17*b = 0. Suppose -q + 5*q - 144 = b. Is q a multiple of 12?
True
Let f(j) = -j**2 - 1. Let i(c) = -2*c**2 - 1. Let g(l) = -f(l) + i(l). Let k be g(1). Let o(p) = -20*p**3 + p**2 + p + 1. Does 7 divide o(k)?
True
Let d(l) = -l**2 - 6*l + 9. Let i be d(-9). Does 17 divide 96 + 2/(-9) + 50/i?
False
Suppose 5*k - 5*w = 7*k + 404, 0 = -5*k + 3*w - 1010. Let b = k - -344. Is 18 a factor of b?
False
Let x(g) = 1269*g + 44. Does 37 divide x(1)?
False
Let h(z) = z**2 + 4*z + 1. Let k be h(-5). Let j(b) = 0 - 1 - 2 - 2*b**2 - k*b + 3*b**2. Is j(7) a multiple of 2?
True
Suppose -2*v = -5*c + 298, -c - 24 = 4*v - 88. Does 12 divide c?
True
Let r be 0*((-3)/6)/(-1). Suppose 2*w = -4*f + 74, r = 3*w + 6*f - 3*f - 105. Does 33 divide w?
True
Suppose 4*f = 3*i + 2*i - 2, -10 = -f - 4*i. Let t(y) = -y + 1. Let r be t(f). Does 12 divide (-29)/((-6)/3 - r)?
False
Let f(a) = -a**2 - 3*a + 5. Let h be f(-4). Let k(n) be the second derivative of 5*n**3/3 + 7*n. Is 5 a factor of k(h)?
True
Let r(q) = q**3 - 10*q**2 - q + 11. Let v be r(10). Let s be (v*(-8 - -2))/(-2). Suppose 2*h = 4*y - 36, -5 = -3*y - 7*h + s*h. Is y a multiple of 3?
False
Let z(i) = -2*i**3 - 8*i**2 - 7*i - 17. Is z(-6) a multiple of 13?
True
Let k(m) = 1 + 3 - 5*m + 2 - 4. Is 5 a factor of k(-3)?
False
Suppose 18 = -3*v + 72. Let n = 21 - v. Suppose 0 = n*j + 2*w + 20 - 333, j = -2*w + 103. Does 35 divide j?
True
Suppose 4*c - 6*c = -0*c. Suppose -4*k + 3 + 1 = c, o - 109 = 5*k. Is o a multiple of 19?
True
Suppose 0*t - 4*t = -2*i - 2, -3*i = 4*t - 17. Suppose 3*z - 3*v + v + 47 = 0, 3*z - v = -43. Is 13 a factor of t/z + (-652)/(-13)?
False
Let g = -17 + 17. Does 2 divide g - 0 - (-2 + -1)?
False
Suppose 0 = -a - 1, 4*a - 225 = h + a. Let c = -109 - h. Does 17 divide c?
True
Suppose -9*b = -5*b. Suppose b = -8*w + 813 - 45. Is w a multiple of 32?
True
Let v(l) be the first derivative of -2*l**2 - 14*l - 30. Does 10 divide v(-26)?
True
Suppose 0 = 2*z - i - 1117, -z + 873 = -i + 317. Is z a multiple of 44?
False
Does 9 divide 14025/25 + (-6)/(-1)?
True
Let g(x) = x**2 + 2*x - 1. Let t be g(-3). Suppose t*d = 233 - 55. Does 47 divide d?
False
Let g be 0 + -1 - (-16 - -100). Let n = -76 - g. Is n a multiple of 3?
True
Suppose -3*c = -0*c + 21. Let y(f) = -4*f - 2. Let a be y(c). Suppose -b = -72 + a. Does 16 divide b?
False
Let b = 647 - 455. Let j = -88 + b. Suppose 0 = 4*o - j - 16. Does 10 divide o?
True
Suppose -w + 17 = -4*l, 0 = -5*w - 0*w - 3*l + 39. Is 16 a factor of (-21)/w*-9 - -4?
False
Let a(k) = -12*k + 16. Let h(c) = 36*c - 49. Let r(j) = 11*a(j) + 4*h(j). Is r(6) a multiple of 12?
False
Suppose 0 = 5*g - 6*g + 366. Let l = g - 181. Is l a multiple of 45?
False
Suppose 50*b = 48*b - 14. Suppose 175 = 3*x + 2*x. Let q = x - b. Does 9 divide q?
False
Suppose 4*z + 9784 = 4*i, 70*z - 69*z = 4. Does 14 divide i?
True
Let g(r) = -r**3 + 9*r + 7. Let v(h) = -3*h**3 + 7*h**2 - 3*h - 2. Let z be v(2). Does 7 divide g(z)?
True
Suppose 2*d - 2450 = -4*y, 5*y + 2*d - 3065 = -3*d. Does 38 divide y?
False
Let m = -96 - -44. Let v = 56 + m. Is v a multiple of 4?
True
Let y(c) = 4*c - 14. Let f(h) = -9*h + 28. Let j = 1 - 3. Let g(d) = j*f(d) - 5*y(d). Is g(-9) a multiple of 16?
True
Let v(m) = 14*m - 2. Let q be v(1). Does 4 divide 27 - q/3*-1?
False
Suppose -18 = 3*a + 4*w, -3*a + 5*w + 5 = 2*a. Let c(t) = -36*t - 8. Does 8 divide c(a)?
True
Suppose -3 - 6 = 3*k. Let v = k + 6. Suppose 28 = 4*o + 2*y, 1 = y - v. Does 4 divide o?
False
Let g be (-74)/9 + 10/45. Let p(h) = h + 26. Is p(g) a multiple of 5?
False
Let p(w) = 74*w**2 + 6*w + 17. Is 53 a factor of p(6)?
False
Let m(z) = z + 2. Let x be m(-3). Let k = x - -6. Is 17 a factor of k*2/((-30)/(-153))?
True
Suppose 2*t - 3164 = -t + 2*u, -t = 5*u - 1083. Is 106 a factor of t?
False
Let q = -742 - -1446. Is 31 a factor of q?
False
Suppose -12*c = -7*c - 20. Let o be 0 - c*(0 - 1). Suppose 0 = 5*s - o*s - 18. Is 3 a factor of s?
True
Suppose -3*m - 3*q - 20 - 28 = 0, q = -2*m - 30. Let r = 14 + m. Suppose -2*i = 5*d - 25, 2*i + r*d - 60 = 2*d. Is 7 a factor of i?
False
Let w(a) = 2*a**2 - 22*a + 4. Is 25 a factor of w(-4)?
False
Let b = -1144 + 1174. Is b a multiple of 3?
True
Let v(w) = -w**3 + 9*w**2 - 7*w + 1. Suppose -5*u + 0*r - 3*r + 47 = 0, -3*r + 12 = 0. Is v(u) a multiple of 31?
False
Let t(g) = g + 37. Suppose 2*u - 7*u = 0. Is 6 a factor of t(u)?
False
Let g(x) = x**3 + 5*x**2 + 6*x + 5. Let h be g(-3). Let b(z) = z**2 - z + 9 + 1 - 3. Is b(h) a multiple of 9?
True
Suppose 0 = 2*x + 4*n, -2*x - 3*n - 3 + 5 = 0. Suppose -4*y = 16, x*y + 46 = -l + 4*l. Does 2 divide l?
True
Let s(b) = -b**3 + 17*b**2 + b - 3. Let r be s(17). Suppose 5*f - 189 + r = 0. Is f a multiple of 7?
True
Suppose -c = 5*v + 34, 10 = -v - c - 0. Is 10 a factor of (-1)/((-3)/v) + 48?
False
Let u be (-5)/(55/(-42)) - (-70)/385. Suppose 8*q = u*q + 284. Is q a multiple of 7?
False
Let y be (1 - 0/1)*-20. Let h = 23 + y. Does 14 divide (h/(-6))/((-3)/168)?
True
Let x = 1483 + -538. 