171. Suppose -q = -3*r + 2*s, 2*s = -4*r + 83 - 9. Is r a multiple of 10?
True
Suppose 10*c - 8*c = 218. Let w = c + 23. Suppose -5*y = -w - 88. Is 11 a factor of y?
True
Suppose -4*t + 3*t + 791 = 4*q, 4*t = 5*q + 3164. Is t a multiple of 67?
False
Let l = -417 + 437. Is l even?
True
Let m(b) = -b**3 - 2*b**2 - 2*b + 3. Let y be m(2). Let c = 122 - y. Is c a multiple of 22?
False
Let f(y) = -y**2 - 20*y + 1243. Is 11 a factor of f(0)?
True
Suppose 4*j - 18 = 6. Let o(k) = -k**2 - k. Let v(n) = 3*n**2 - 6*n - 2. Let b(g) = -2*o(g) - v(g). Is b(j) a multiple of 14?
True
Suppose 0 = 5*f - f - 4*s - 88, f + 5*s = -2. Suppose -f = -i + 67. Does 17 divide i?
True
Suppose 0 = -0*b - 2*b + 2, -4*b = 4*d - 24. Suppose d*h = n + 30 + 182, -4*n + 141 = 3*h. Does 7 divide h?
False
Suppose 124 + 848 = 6*d. Is d a multiple of 6?
True
Suppose 3*f - 24 = -3*f. Suppose f*n + n - 400 = 0. Does 16 divide n?
True
Let z = -19 + 11. Let d be (-21)/(-4) + 27/36. Let b = d - z. Does 14 divide b?
True
Suppose t - 1129 = 5*n, n + 949 = -2*t + 3251. Does 82 divide t?
False
Let a(i) = i**3 - 13*i**2 + 13*i - 7. Suppose -3*w = -4*w - 12. Let p be -5*5/(25/w). Does 2 divide a(p)?
False
Let v be (1 - 4)/((-3)/(-10)*1). Let y = 76 + v. Is y a multiple of 22?
True
Suppose 3*x - 1191 = 3*n, 438 = -5*x + 4*n + 2420. Is 6 a factor of x?
False
Suppose 3*y - 3 - 3 = 0. Suppose 42 = 4*q - y*q. Is 7 a factor of q?
True
Suppose -969 - 12105 = -6*u. Is u a multiple of 8?
False
Let u = 26 - 35. Let f(s) = -s**3 - 10*s**2 - 10*s. Is 9 a factor of f(u)?
True
Let u = 63 - 119. Suppose 57 = -3*c + 291. Let i = u + c. Is 11 a factor of i?
True
Let q = -14 - -14. Suppose -7*p + 6*p + 9 = q. Suppose 0 = r - 5*n + p, 4*r - 60 = -3*n - n. Does 11 divide r?
True
Suppose 4*g + 2*v = -2*v + 84, -3*v + 23 = g. Suppose m - 6*m + g = 0. Suppose -m*o - 2*w = -108, 0 = -w + 4*w. Does 14 divide o?
False
Let x(d) be the third derivative of d**4/12 - 19*d**3/6 + 4*d**2. Let y be x(0). Let g = y - -27. Does 3 divide g?
False
Let p(z) = -2*z - 1. Let c be p(-2). Suppose 4*b = 3*g - 5, 6*b = c*g + b - 4. Suppose -8*i = -g*i - 180. Does 18 divide i?
True
Suppose -5*y = -r + 83, -5*r + 2*y = -2*y - 436. Let q = r + 15. Is 19 a factor of q?
False
Suppose 16 = -4*i - 0. Let f be i/6 + (-98)/(-21). Suppose -f*n = -0*n - 188. Is n a multiple of 8?
False
Suppose -3*d = -5*l - 8, -4*l - 2*d + 2 = 26. Does 11 divide l/(-8) - 436/(-8)?
True
Suppose 0 = -3*b + 2*b + 1. Let u be (-3 - (-92 - b)) + 2. Suppose -u = -3*y + 25. Does 13 divide y?
True
Does 6 divide 91 + -87 + (-21)/2*-38?
False
Let w(n) = 3*n + 88. Is 5 a factor of w(-18)?
False
Suppose 11*d + 263277 = 74*d. Is 13 a factor of d?
False
Suppose -2*u + 3666 = -3*p, 8499 = 4*u - 5*p + 1171. Is u a multiple of 15?
False
Suppose -22 - 2 = -2*y. Let i = -8 + y. Suppose s + i*g = 5*s - 12, 0 = 4*s + 2*g - 30. Is s a multiple of 6?
True
Let r(m) = 2*m**3 + 23*m**2 + 8*m - 7. Let x be r(-10). Let q be (3/2)/((-2)/(-4)). Suppose -4*t - 300 = -4*n, -n = -4*n - q*t + x. Does 20 divide n?
False
Let q(t) = -2*t**2 + 12*t + 17. Let i be q(7). Suppose 2*g = 5*x + 80, 2*x = g - 41 + i. Is 10 a factor of g?
True
Suppose 3*g + 48 = 144. Suppose -4*n + 2*c + 0*c = g, n + 8 = -3*c. Does 9 divide 273/12 - 2/n?
False
Suppose -5*j + z + 50 = 5*z, 5*j - 5*z = 5. Does 42 divide -2 + j/(24/212)?
False
Suppose 3*s - 5 = 1. Is 36 a factor of ((20/(-15))/(-2))/(s/432)?
True
Let h(q) = 6*q**2 - q**2 - 9*q**3 - q + 28*q**3 + 1 - 4*q**2. Does 14 divide h(1)?
False
Let j = -3 - 11. Let g = 16 - j. Is 15 a factor of g?
True
Suppose -g - 2*g + 12 = 0. Suppose 0 = g*x - x - 9. Suppose 5*w + 56 = 3*q, -4*q - x*w = -36 - 0. Is 4 a factor of q?
True
Let m = 28 - 28. Suppose m = -o + 9*o - 528. Is 21 a factor of o?
False
Suppose -13*w + 1 = -14*w. Let u(t) = 15*t**2. Is u(w) even?
False
Suppose 5*w + 8 = 7*w. Suppose -l - w*l = 30. Is (-2)/(-3) + (-32)/l a multiple of 3?
True
Suppose -5*b + 130 = -30. Is b a multiple of 16?
True
Let d(n) = 3*n + 5. Let i be d(-3). Is 53 + i + 7 + -3 a multiple of 27?
False
Let r = 0 - 0. Let t be ((-7)/(-2) + -4)*r. Suppose 0*w + 7*w - 210 = t. Is 10 a factor of w?
True
Let k(b) = 3*b**2 - 6*b - 23. Is k(8) a multiple of 13?
False
Suppose 2094 = 5*a + 449. Let k = -210 + a. Does 7 divide k?
True
Let p(b) = -b**2 - 15*b - 10. Let h be p(-13). Is 52/h - 3/12 a multiple of 3?
True
Suppose -1104 = -19*v - 6595. Let a = -128 - v. Is a a multiple of 27?
False
Suppose -6*r + 2040 = 4*r. Does 19 divide r?
False
Let m = 993 + -294. Is 12 a factor of m?
False
Suppose 2*z = 4*i - 118, 3*z + 41 = 4*i - 80. Is i a multiple of 5?
False
Let g be 2 + (-2 - 4 - 2). Let j be ((-8)/(-3))/(2/g). Let h = 10 - j. Is 18 a factor of h?
True
Let x be 3/(-9) + 158/6. Does 7 divide 2 - -4*x/4?
True
Let g be 62*(-2 + (-12)/(-8)). Let c = 34 + g. Is c a multiple of 3?
True
Suppose 800 = 2*n + 20. Is 27 a factor of n?
False
Suppose 10*v + 8 = 2*v. Let k(r) = 88*r**2 - r - 2. Is 22 a factor of k(v)?
False
Suppose h - 3*h = -32. Suppose -4*g = -2*k - 22, 12 = g - 5*k - h. Suppose g - 7 = -t. Is 2 a factor of t?
True
Let c = 35 + -16. Let i = c + -11. Let x = 11 - i. Is x even?
False
Let w be -3 - (0 + -12 - -3). Suppose -27 = -3*a - w. Let v(i) = 2*i**2 - 7*i - 1. Does 16 divide v(a)?
True
Let g = -51 + 164. Suppose -7*q = -g - 139. Does 6 divide q?
True
Suppose -8*b + 17 + 7 = 0. Suppose b*o = -o + 20, -5*d + 1105 = -o. Is d a multiple of 14?
False
Suppose 0 = -4*o + 4*w + 15 - 47, -2*o = 5*w + 2. Let n be (1/(-1))/((-3)/o). Let j = 32 - n. Is j a multiple of 5?
False
Suppose -y = -3*p + 4, p = -2*y - p + 8. Suppose 2*b - 4*b + 10 = 0, -y*b = -2*x - 8. Suppose -2*n = -67 - x. Is n a multiple of 17?
True
Suppose 0 = 5*k - 79 - 81. Suppose 2*y + 2*x = -2*y + k, -3*y + 2*x + 10 = 0. Suppose r - 210 = -y*r. Does 10 divide r?
True
Let j(l) = 55*l + 181. Is j(9) a multiple of 13?
True
Suppose 0 = -5*u + 8 + 7. Suppose -g + s = -5, 3*s = -u*g - s + 22. Suppose -k = -22 + g. Is k a multiple of 12?
False
Let c(r) = -r**3 - 5*r**2 - 9*r - 7. Let d be c(-4). Let s(w) = -w**3 + 14*w**2 - 6*w + 11. Is s(d) a multiple of 17?
True
Let n(q) be the first derivative of -q**4/4 - 2*q**3/3 + 3*q**2/2 + 6*q - 5. Let s be n(-5). Suppose -s = -3*o + o. Is o a multiple of 11?
True
Let c(b) = b**2 + b + 1. Let d(o) = -2*o**2 - 8*o - 1. Let q(h) = -3*c(h) - d(h). Let l be q(4). Suppose 3*p + 4*n + 3 = 35, p = l*n + 4. Is 8 a factor of p?
True
Suppose -5*d - 2*m = 270, -5*m - 285 = -0*d + 5*d. Does 13 divide (13 - 1)/(-6)*d?
True
Let i(k) = -k**3 - 9*k**2 - 8*k + 7. Let g be i(-8). Suppose 3*t + 4*a = -g, t + 3*t - 24 = 3*a. Is t even?
False
Let f = 5411 + -2395. Does 13 divide f?
True
Let r be -4*(((-3)/2)/1 + 1). Suppose -r*h - 3*l + 14 = -26, 2*h = -2*l + 44. Is h a multiple of 13?
True
Let r(f) = -4*f**2 + 9 - f**2 - 3*f + f**3 + 0*f**2. Is 7 a factor of r(6)?
False
Suppose 6*n - 5*v = 12869, -3*n + 2021 + 4416 = -5*v. Is 13 a factor of n?
False
Let c be 148/(-3) - 4/(-12). Let l(w) = 3*w**2 + 21*w - 5. Let j be l(-7). Let h = j - c. Does 34 divide h?
False
Suppose -7 = 4*v + 3*k + 81, 0 = 5*v + 4*k + 109. Is 7 + v/5 + 158 a multiple of 21?
False
Let j(s) = -s**3 + 12*s. Let b be j(-10). Is ((-9)/(-4))/(30/b) a multiple of 22?
True
Let z(k) = 27*k - 110. Is z(16) a multiple of 46?
True
Let l(x) = 10*x + 251. Does 17 divide l(14)?
True
Suppose 0 = 28*u + 95*u - 125460. Is u a multiple of 42?
False
Suppose 17*k + 22968 = 46*k. Is k a multiple of 44?
True
Let t = -21 + 23. Suppose t*o + 3*d - 41 = -9, 3*d = -o + 22. Is 10 a factor of o?
True
Suppose -25*r - r + 9204 = 0. Is r a multiple of 34?
False
Suppose 0*k + 3504 = 6*k. Is 42 a factor of k?
False
Suppose -5*j = -0*j - 235. Suppose 5*z = 292 - j. Is z a multiple of 12?
False
Let f be 2 - (1 - 4) - 3. Let j be (0 - f)/(2 + 0). Is (-97)/(-4) - j/(-4) a multiple of 8?
True
Let t = -1856 + 2720. Does 48 divide t?
True
Does 4 divide (12160/(-114))/(2/(-15) + 0)?
True
Suppose -5*b = -5*x - 1815, 2*b + 5*x = 3*b - 363. Is 33 a factor of b?
True
Let c = -547 + 1427. Is c a multiple of 20?
True
Let g be 1/(4 + -2 + -3). Let r be (g + 115/15)*147. Is 16 a factor of r/25 - 2/10?
False
Let k be ((-4)/4*2)/(-3 + 2). Suppose 5*h = 7*z - k*z + 360, 0 = -2*h - z + 153. Is 25 a 