12 = -3*d - d. Suppose 0 = 3*h + h - i - 78, 3*h = -d*i + 70. Is h a multiple of 10?
True
Is (33/(-15) - 1)/((-15)/750) a multiple of 16?
True
Suppose 0 = -8*c + 774 + 1546. Is 5 a factor of c?
True
Suppose -2*d - 44 = 2*d. Let f = d - -36. Suppose -6*v = -67 + f. Is v even?
False
Let l = 17 + -13. Suppose -4*j + y = -217 + 33, j - 46 = -l*y. Is j a multiple of 12?
False
Is 45 a factor of (-85652)/(-230) - (8/(-5) - -2)?
False
Let n = 1 + -2. Let g(f) = -6*f**3 + 2*f**2 + 2*f + 1. Let y be g(n). Suppose -y*r = -8*r + 18. Is r a multiple of 6?
True
Let w(x) = x + 29. Does 2 divide w(-20)?
False
Suppose 4*q = 2*i + 786, -3*q + 3*i + 2*i = -579. Does 66 divide q?
True
Suppose 231787 + 5023 = 85*c. Does 14 divide c?
True
Suppose -o = 3*o + 284. Let h = -13 - o. Does 23 divide (h/3)/((-2)/(-3))?
False
Let b(y) be the third derivative of -9*y**4/8 - 3*y**3 - 15*y**2. Does 18 divide b(-4)?
True
Suppose -2*g = j - 86, 3 = g + 2*j - 37. Is 9 a factor of g?
False
Suppose -2*s - 3*q = -6*s + 93, -2*q + 98 = 4*s. Suppose p + 6 - 1 = 0. Does 11 divide s - ((-2)/(-1) + p)?
False
Let c(b) = 7*b**2 + 6*b + 3. Let a(m) = 2*m**2 + 2*m + 1. Let q(u) = -8*a(u) + 3*c(u). Let r be q(-3). Suppose -5*h + r = -0*h. Is 8 a factor of h?
True
Let b(t) = 70*t**2 + 25*t - 25. Does 10 divide b(1)?
True
Let l = 264 - -868. Is 56 a factor of l?
False
Suppose 5*c + 2*d - 8 = 0, 3*c + d + 2*d - 12 = 0. Suppose -2*j + 53 + 75 = c. Is j a multiple of 16?
True
Suppose -5*l = 4*h - 0*h - 12, -3*h + 9 = 2*l. Suppose 4*t = 7*t + w - 13, h*w - 9 = t. Is t a multiple of 2?
False
Let r(g) = 8*g - g**3 - g - 7*g**2 + 6*g**2. Let b be r(3). Let h = 9 - b. Is 8 a factor of h?
True
Let d be (10/6 - 1)/(3/18). Suppose -5*t = -4*q + 295, -3*q + 207 = -3*t + d*t. Is 11 a factor of q?
False
Suppose 170*y - 169*y = 555. Is 5 a factor of y?
True
Let w be 5/(-15)*3*1. Let p(i) = -62*i**3 + i**2 + i. Is p(w) a multiple of 38?
False
Let o be (-10)/12 + (-7)/42. Let b be ((-2 - -2)/o)/2. Does 10 divide (-43)/(-1) + -3 + b?
True
Is 18 a factor of (-6)/(-20)*46*(60 - 0)?
True
Let g = 462 - 202. Suppose 0*w - 4*w = -g. Is w a multiple of 13?
True
Suppose -u - 102 = -30. Is 18 a factor of (u/20)/(1/(-25))?
True
Suppose y + 2*y = 0. Suppose 5*r + 2*d = d - 79, -4*r - 3*d - 61 = y. Let g = 68 + r. Is g a multiple of 11?
False
Let s(x) = 5*x - 20. Let z be s(5). Suppose 5*g = -5*t + 3*g + 714, 4*t + z*g - 561 = 0. Is 16 a factor of t?
True
Let z(o) = o**3 - 19*o**2 + 17*o + 5. Is 34 a factor of z(19)?
False
Suppose -3*g - 134 = -8*g - 2*i, i = 2. Suppose -g = 3*t - 5*t. Does 8 divide t?
False
Suppose 4*s = -3*i + 52, i = -4*s - 26 + 86. Is 12 a factor of (-4)/s*6*-40?
True
Suppose 5*u - 25 = -0*u. Suppose u*a - 1 = 9. Suppose -28 = -a*l - 2*l - 4*f, -4*l + 37 = -5*f. Is 4 a factor of l?
True
Suppose -4*q + q = 9. Let a be (-364)/(-18) - ((-11)/(-9) - 1). Let u = a + q. Does 17 divide u?
True
Suppose 11445 = 17*p + 1347. Is 11 a factor of p?
True
Suppose 13*z - 10*z - 1005 = -c, -4*z + 5036 = 5*c. Does 24 divide c?
True
Let x(r) = -2*r - 11. Let k be x(-7). Let a(b) = b**2 - b - 4. Let t be a(k). Suppose t*s = -12 + 30. Is 3 a factor of s?
True
Let t be (-6)/4 + 6/4. Let f be (-3)/2*(2 - t). Does 22 divide f + 66 - 3*-1?
True
Let g be ((-2)/5)/((-122)/(-20) + -6). Is (-4)/(g/(-60)*-1) a multiple of 11?
False
Let a = -1844 - -887. Let h = -645 - a. Does 52 divide h?
True
Let g(a) = -84*a**3 - a**2. Let d be g(-1). Suppose 0 = 4*y - 3*u + d, 0*u - 102 = 5*y - 2*u. Does 30 divide 6*y/(-1 + -1)?
True
Does 28 divide (-874 + 34)/(-1 + 0) + 0?
True
Let c = 438 + -60. Does 18 divide c?
True
Let i be -15*((-6)/(-15) - 1). Does 11 divide (-14)/63 + 110/i?
False
Let b = 30 + -27. Suppose 5*m + 523 = 4*w, 3*m + 259 = b*w - w. Does 15 divide w?
False
Is 71 a factor of (96/(-12) - -9)*1*311?
False
Let a be ((-3)/(-2) + -2)/((-2)/4). Is 7*a*(7 + (-40)/(-56)) a multiple of 18?
True
Is 12 a factor of (12 + 4860/6)*2?
True
Let c = -75 + 78. Suppose -w - c*m + 93 = 0, -6*w = -3*w - 3*m - 255. Is 16 a factor of w?
False
Suppose 3*o = c - 14, -o = c - 0 + 2. Suppose 4*j + 5*d = 44, j - c = 2*d - d. Does 6 divide j?
True
Suppose -55*t = -23*t - 10624. Does 20 divide t?
False
Let j = -135 + 72. Let d = j - -78. Is 5 a factor of d?
True
Suppose 0*d - 36 = -2*q + 5*d, -3*d + 75 = 3*q. Suppose 4*k + 5*v = 92, k - 8*v - q = -7*v. Does 21 divide k?
False
Let i = 204 - 406. Let j = -16 - i. Suppose j = v + v. Is 19 a factor of v?
False
Let q(r) = r**2 - 17*r - 34. Is q(29) a multiple of 28?
False
Suppose 4*c = s - c - 77, 5*s - c - 265 = 0. Suppose -s*h - 160 = -56*h. Is h a multiple of 17?
False
Let h(x) = -13*x - 6. Let o(s) = 38*s + 18. Let a(b) = 17*h(b) + 6*o(b). Let q be a(6). Suppose q + 32 = 5*j. Is 8 a factor of j?
True
Let j = -19 + 31. Let t be 2/((j/(-4))/(-18)). Is t*4/3 + 2 a multiple of 6?
True
Let z be -3*(0 - -6) + 1*2. Let v(a) = -4*a - 27. Does 3 divide v(z)?
False
Suppose 4*j = 5*c - 3*c - 4, 14 = c + 2*j. Let w = -272 - -272. Suppose 2*u - 4 - c = w. Is 4 a factor of u?
False
Let f be 4*(-1)/2 - -202. Let r = -93 + f. Is 10 a factor of r?
False
Suppose -528 = f - 5*f. Does 7 divide f?
False
Let g(d) = -d**2 - d. Let w(f) = -62*f - 1 + 43*f - 7 - 3*f**2. Let r(i) = 4*g(i) - w(i). Is 22 a factor of r(14)?
True
Suppose -70 + 451 = 4*k + 5*l, 5*l + 64 = k. Does 42 divide k?
False
Suppose -15744 - 2092 = -13*f. Is f a multiple of 14?
True
Let a be (-1 + -3)/((-6)/3). Is a/8 + 2508/16 a multiple of 23?
False
Let i = 87 + 143. Is i - 1/(2 - 3) a multiple of 11?
True
Suppose 1309 = -8*d + 8005. Is 9 a factor of d?
True
Suppose 0*i + 2484 = 12*i. Is i a multiple of 69?
True
Let z(n) = n**3 + 19*n**2 - 45*n - 7. Is z(-21) a multiple of 3?
False
Let o = 8 + 37. Suppose -h = -k + 4*k - o, -h + k + 57 = 0. Does 9 divide h?
True
Suppose 0 = 6*y - 9*y + 15. Suppose -4*h - 680 = -y*p, -5*p = 5*h - 397 - 238. Is p a multiple of 29?
False
Let k(g) = g**3 - 15*g**2 + 30*g - 40. Is 15 a factor of k(17)?
False
Let n(t) = 19*t**2 + 298*t - 34. Is 174 a factor of n(-27)?
False
Let g(y) = -4*y - 10. Let l be g(-19). Is 3 a factor of (-4)/16 + l/8?
False
Let i(t) = -t**3 - 9*t**2 - 10*t - 16. Let v be i(-8). Let s(h) = h**3 + 90. Does 10 divide s(v)?
True
Let s be 4/(-24) + (-7)/(-42). Suppose s = -4*b + 12*b - 528. Is b a multiple of 9?
False
Let n(w) = 695*w**2 + 2*w - 1. Let u be n(1). Suppose 5*f = -3*y + 466, -5*f = -y - u + 218. Is f a multiple of 26?
False
Let z(b) be the second derivative of -b**4/12 + 19*b**3/6 - 10*b**2 - 2*b - 9. Suppose -2*v = -0*v - 16. Is 13 a factor of z(v)?
False
Suppose -4*g - 65 = -q, -g + 260 = 4*q + g. Is 5 a factor of q?
True
Let b(o) = -121*o - 576. Is b(-12) a multiple of 12?
True
Let u(p) = 7*p + 9. Let x be u(-5). Let z = 25 + x. Does 15 divide 60*(3 - (-2)/z)?
True
Let g = 21 - 21. Suppose 78 = 3*q - g*q. Is q a multiple of 26?
True
Let r = -2922 + 7272. Is 50 a factor of r?
True
Suppose 3*b + 13 = -23. Let j = b + 60. Is j a multiple of 16?
True
Suppose -2*f - 3*f - 4*d = 6, -2*d = -4*f - 10. Is 5 a factor of (-812)/(-98) + f/7?
False
Let m(k) = 6*k**2 + 15*k + 112. Is m(-7) a multiple of 43?
True
Suppose -9*o = -2*o + 84. Does 12 divide (-9)/o - (-762)/8?
True
Suppose 4*z - 7*z - 9 = 0. Let m = 2 - z. Suppose -5*f = -10*f - 3*k + 63, -m*f = -4*k - 56. Does 5 divide f?
False
Let z = -16 - -6. Let s be ((-451)/(-22))/((-1)/z). Suppose 55 = l - 2*c, -3*l + 3*c + s = 7*c. Is 21 a factor of l?
True
Suppose 0 = 4*q - 1123 - 2097. Does 35 divide q?
True
Suppose 49*t - 5670 = 39*t. Is t a multiple of 46?
False
Suppose 5*l + 2*d + 3737 = 0, -4391 = 4*l - d - 1391. Let s be (-2)/4 + l/(-14). Let z = s - 23. Does 15 divide z?
True
Let c be (-10)/55 - (-444)/22. Let x = c - 15. Suppose -22 = -y + x*w, -w = 3*y + 3*w - 142. Is 21 a factor of y?
True
Let c be 0*((-7)/(-2) + -4). Suppose -1337 = -7*y - c*y. Is y a multiple of 46?
False
Let p(q) = q**2 + 5*q + 11. Let f(r) = 2*r**2 + 6*r + 12. Let y(j) = 2*f(j) - 3*p(j). Suppose -u - 10*u = -77. Is y(u) a multiple of 19?
True
Suppose -6*x = -3*x - 1224. Suppose -51 = 3*r - 2*p - 296, -5*r = -3*p - x. Is r a multiple of 29?
False
Suppose -214 = -3*w + 116. Is 10 a factor of w?
True
Suppose -360 = -5*i + 2*i. Let g(j) = j**3 - 27*j**2 - 60*j + 58. Let f be g(