. Let h = n - 16. Is 16 a factor of h?
True
Let m be 2/3 - (-100)/12. Suppose -6*d - 4*l - 38 = -m*d, 4*d - 39 = 3*l. Let w(b) = 2*b**2 - 5*b + 2. Does 22 divide w(d)?
True
Suppose -3*w + 859 - 328 = 4*y, -5*w = 15. Let z = y + -49. Suppose -20 = 3*x - z. Is 8 a factor of x?
False
Suppose -4*o + 502 = -198. Suppose o + 53 = 3*p. Does 12 divide p?
False
Let a = 5528 - 2396. Is a a multiple of 29?
True
Let j(x) = 1047*x + 89. Is j(1) a multiple of 16?
True
Let h be 4/7 - (-3896)/(-56). Let q = 79 + h. Does 10 divide q?
True
Let u(o) = -7*o**2 + 2*o**2 + 9 + 4*o**2 - 8*o. Let q be u(-9). Let f = q + 12. Does 3 divide f?
True
Suppose -n - 1 = 0, q = 2*n - 5*n. Suppose -2*r - q*r = 0. Suppose 3*c - 6 - 33 = r. Does 3 divide c?
False
Let c(i) = i**3 - 10*i**2 + 4. Let u be c(10). Suppose -u*t = -9*t + 70. Is t a multiple of 9?
False
Let y(c) = -2*c**2 + 103*c + 11. Is 11 a factor of y(46)?
True
Let c(v) = -23*v**2 - 3*v. Let o be c(-3). Let m = -100 - o. Is 14 a factor of m?
True
Is (2/6)/(48/374544) a multiple of 51?
True
Suppose -16*i = -11*i + 85. Let a be (-12)/6*i/2. Let m = a - 10. Does 7 divide m?
True
Suppose 3*i = -i + 560. Let h be i/21 + 2/(-3). Let b(v) = -v + 8. Does 2 divide b(h)?
True
Suppose 0 = 2*u - 0*u - 104. Is u a multiple of 9?
False
Let x be 24/30*130/4. Let j(w) = -12 + x - 18 + 12*w. Does 22 divide j(4)?
True
Let g(m) = 49*m**3 - 2*m**2 + 6*m - 14. Does 5 divide g(2)?
False
Let u = -1515 - -2271. Does 16 divide u?
False
Suppose 5*t - 3*t = 4*x + 142, -257 = -3*t - 5*x. Suppose 5*j = -4 + t. Is j a multiple of 15?
True
Suppose 988 - 412 = 6*w. Is 12 a factor of w?
True
Let u(q) = 2*q**3 + 6*q**2. Let z(d) = -4*d**3 - 12*d**2 + d. Let h(p) = -5*u(p) - 2*z(p). Is 5 a factor of h(-4)?
True
Let y = -25 + 25. Suppose 4*j + 5*o - 397 = 0, y = -5*j - 3*o - 261 + 741. Does 31 divide j?
True
Let y = -7 - 38. Let o = y + 92. Does 15 divide o?
False
Let m(q) = q**3 - 13*q**2 + 11*q + 16. Let g be m(12). Suppose -g*z = -4*d - 100, -3*z = -8*z + d + 121. Suppose -4*i + 136 = -z. Does 20 divide i?
True
Let l(x) = x - 8. Let n be l(7). Is 34 a factor of n - -2 - (5 - 99)?
False
Let t(k) = 8*k - 11. Let p(o) = 7*o - 12. Let m(n) = 6*p(n) - 4*t(n). Is 16 a factor of m(9)?
False
Let m = -32 + 36. Suppose -w + 2 + 2 = q, -5*w = m*q - 25. Is 9 a factor of w?
True
Suppose n + 5*w + 6 = 0, -4 = -2*n - 2*w - 8. Let a = n - -26. Does 16 divide a?
False
Let z = 2 - 24. Suppose -2*q - 3*q = 195. Let i = z - q. Is i a multiple of 17?
True
Let z(a) = 3*a**2 - a. Let m be z(1). Let d be 0/(m + -1 - -1). Suppose d = -3*i + 7*i - 40. Is 10 a factor of i?
True
Let n be 3/(-5) + (-32)/(-20). Does 39 divide (60/(-5))/((-48)/(-52) - n)?
True
Suppose -2*l + 7*l - 22 = j, 5*j - 30 = -3*l. Suppose b - 27 = -l. Let o = b - 12. Does 5 divide o?
True
Suppose -u + 36 = 8*u. Suppose 14 = -5*x + u*f + 104, -x + 39 = -5*f. Is x a multiple of 7?
True
Does 6 divide 2/(((-114)/19)/(1 + -2470))?
False
Let t = -136 + 138. Suppose 2*c - 472 = 3*h, -h = -t*c + 4*h + 472. Is c a multiple of 21?
False
Suppose -3*d + 300 = 5*h, -2*h = 5*d - 163 + 43. Does 10 divide h?
True
Suppose 6*u - 1114 = 3*u + 4*x, 2*x - 752 = -2*u. Suppose 0 = 12*q - 1166 + u. Is q a multiple of 11?
True
Let q be 0*((-3)/6 + 0) + 5. Suppose q*j = 2*j + 72. Is j a multiple of 6?
True
Let y = -609 - -1057. Does 54 divide y?
False
Let b be (-1)/5 - 164/(-20). Suppose -b*n + 5*n = -36. Is n a multiple of 6?
True
Let p be (-9)/((-27)/(-6)) + 436. Suppose z - 74 = -y + 148, -3*y = -2*z + p. Does 13 divide z?
False
Let o = 480 - 129. Suppose -o = -5*t - 96. Is t a multiple of 7?
False
Suppose -g + 11 = 4*b, 0 = -2*g + 4*b + 8 - 34. Let n be 2/g - 10593/(-45). Does 5 divide -3 - n/10*-2?
False
Suppose 0 = -3*j - f + 720, -4*j - 3*f + 968 = f. Does 17 divide j?
False
Suppose 0*z + 4*u = -5*z + 502, -z = -u - 104. Suppose -4*d + 90 + z = 0. Does 24 divide d?
True
Suppose -115*o - 3*u = -118*o + 105, 0 = 2*o - 5*u - 70. Is 24 a factor of o?
False
Suppose -3*o + 14 = -13. Suppose 5*b + 102 = -4*y, 44 + 19 = -4*b + 3*y. Let s = o - b. Is 11 a factor of s?
False
Let i = 12139 + -6980. Is 34 a factor of i?
False
Let i = -1312 + 3524. Is i a multiple of 89?
False
Let r be (-16)/(-5 + 1) + -2. Suppose 0 = -s - r*s + 342. Is 9 a factor of s?
False
Let x(l) be the first derivative of 69*l**2/2 - 8. Let s be x(1). Let h = s - 44. Is 16 a factor of h?
False
Suppose 4*m = 3 + 1, 0 = 2*p + 4*m + 50. Let y be 954/p + (-2)/3. Let i = y - -62. Does 13 divide i?
True
Suppose d - 52 = -0*d. Suppose 0 = -4*u + 2*l + d, 5*l - 7*l + 83 = 5*u. Is 7 a factor of u?
False
Suppose 5*b = i - 11 - 2, 2*i - 10 = 2*b. Let l(j) = -j - 7. Let g(c) = c + 6. Let t(p) = -7*g(p) - 6*l(p). Does 2 divide t(b)?
True
Suppose -l + 5*l + 72 = 0. Let c(n) = n + 15. Let b be c(l). Does 20 divide (1 - b) + (-8 - -37)?
False
Is 3 a factor of 195 + (-11 - (9 + -11))?
True
Suppose 2*o = -2*y - 170 + 422, -y - 394 = -3*o. Does 10 divide o?
True
Let c = -72 - -718. Is c a multiple of 24?
False
Let q(o) = 2*o - 6. Let h be q(4). Suppose -11 = -h*d + 11. Is d a multiple of 9?
False
Let z = 14 + -12. Let u be (-5 + 0)*(z + -10). Suppose 4*j + u = 3*b + 3*j, -40 = -4*b - 2*j. Is 12 a factor of b?
True
Suppose -5*t + 6 + 9 = 0. Suppose q = 2*d - 4*q - 17, 0 = -t*q - 3. Suppose -2*y + 30 = d. Does 4 divide y?
True
Let u(i) = -6*i**3 + i + 1. Let z be u(-1). Suppose -z*t + 3*t + 270 = 0. Does 27 divide t?
False
Let g = -13 - -17. Suppose 0 = -10*h + 204 - g. Is 9 a factor of h?
False
Is 78 a factor of -15*(-54 - (8 - 5))?
False
Suppose -n + 27 = 3*x, 4*x - 7*x + 39 = 2*n. Suppose n*c - 440 = 2*c. Does 9 divide c?
False
Let y be ((-26)/39)/(4/18). Let i(u) = -3*u**2 - 6*u + 1. Let g be i(y). Let m(o) = -o + 7. Does 9 divide m(g)?
False
Let h = 45 - 18. Suppose -5*p + 3*u + 0*u - 47 = 0, p - 5*u = -h. Let y = 40 + p. Is 7 a factor of y?
False
Suppose 0 = -4*s + 761 + 439. Is (-10)/35 + s/21 a multiple of 7?
True
Does 3 divide (2/(-5))/(50/(-3625))?
False
Suppose -3417 - 1703 = -20*v. Does 10 divide v?
False
Let v = 19 - 17. Let h(l) = 11*l**2 - 5*l + 2. Let a be h(3). Suppose t = v*t - a. Does 43 divide t?
True
Let b be ((-84)/(-15))/((-2)/(-5)). Let x = b - 11. Let n(i) = -i**3 + 4*i**2 + 2*i - 2. Is n(x) a multiple of 13?
True
Let b(a) = 3*a**2. Let g(x) = -x**3 - 7*x**2 - 8*x - 9. Let d = -11 + 5. Let r be g(d). Is b(r) a multiple of 9?
True
Let b(s) = -2*s - 3. Let y be b(-3). Let f be (-13 - -13) + 0 + y. Suppose -f*u + 6 = -2*u. Is u a multiple of 6?
True
Let f be (20*1)/(24/36). Is f/3 + 1 + 1 a multiple of 6?
True
Let a be -81*(-2)/3 + -3. Suppose -3*u + 174 = u + 5*t, u - a = -5*t. Suppose 19*b - 20*b = -u. Is 14 a factor of b?
False
Let k = -87 - -147. Suppose -58 = -v + 2*i, k = -2*v + 3*v - 4*i. Is v a multiple of 8?
True
Suppose -6*l + 29 = -1. Suppose 0 = 4*b - 4 - 0, -5*a + l*b = -310. Is 3 a factor of a?
True
Suppose 2289 = 5*q - 4686. Is 38 a factor of q?
False
Let m(r) = 27*r**2 - 40*r - 178. Is 12 a factor of m(-4)?
False
Suppose 2*s - 24 = 2*f, 3*f = -3*s - f + 8. Let m be (-1)/4 - (-18)/s. Is ((-212)/(-16))/(m/16) a multiple of 37?
False
Suppose -5*t + p = -436, -t - 6*p + 108 = -p. Is 9 a factor of ((-20)/4*t/10)/(-1)?
False
Let v(i) = 13*i + 17. Let y(s) = -7*s - 8. Let k(p) = -3*v(p) - 5*y(p). Is 8 a factor of k(-5)?
False
Let t = -21 - -23. Suppose -9*k + 553 = -t*k. Is k a multiple of 14?
False
Suppose 0 = 4*c, 3*p + 2*c - 2 = 2*p. Let t = 32 + -46. Let w = p - t. Is 6 a factor of w?
False
Suppose 5*z = z + 16. Suppose 0 = c - 2, 5*c = -z*a + 17 + 5. Let m = a + 30. Does 7 divide m?
False
Suppose 70 = 4*j - 3*j. Is j a multiple of 19?
False
Let i(s) = 3*s - 23. Let y be i(9). Suppose 0 = -4*d + y*m + 472, 0 = -2*d - 0*m + 4*m + 244. Does 22 divide d?
False
Let f(w) = 5*w**3 - 15*w**2 + 64*w - 53. Does 67 divide f(10)?
True
Let d = -7 - -8. Let o be ((-45)/30)/(d/8). Is 18 - o/(-4) - 0 a multiple of 5?
True
Let h(k) = -8*k**3 - 5*k + 7. Let s be h(-5). Suppose -d - s = -5*d. Does 26 divide d?
False
Let q = -35 - -37. Suppose -4*f - 3*g = -6 - 159, 82 = 2*f + q*g. Is f a multiple of 21?
True
Let z(p) = 23*p**3 - p**2 - 4*p - 2. Let s(h) = 24*h**3 - 2*h**2 - 4*h - 3. Let t(f) = -5*s(f) + 6*z(f). Does 12 divide t(2)?
False
Let z(q) be the third de