True
Let t(x) = -3*x + 12. Let i be t(5). Let h(z) = -3*z + 3. Is h(i) a multiple of 12?
True
Is (-4*(-14)/(-20))/((-1)/30) a multiple of 6?
True
Suppose 0 = -3*b + b + 72. Suppose 5*i = i + b. Is 9 a factor of i?
True
Let q(o) = 3*o**2 - o. Let m be q(1). Let k = m - 1. Is 6 a factor of (-3)/3 + k + 16?
False
Suppose 0 = -5*s - 4*w - 6, -3*w = s - 2*w + 2. Suppose 5*j = 5, -5*l + 2*l = s*j + 22. Let v(p) = p**3 + 8*p**2 + 9. Does 7 divide v(l)?
False
Let z(j) = 4*j**2 + 10*j - 20. Is z(6) a multiple of 22?
False
Let w = 127 - 15. Is 28 a factor of w?
True
Let d = 152 - 89. Does 18 divide d?
False
Suppose 2*f + 2*f - 240 = -4*a, 2*a = -f + 124. Suppose -4*g + 0*g = -a. Let b = 16 + g. Is b a multiple of 16?
True
Let n = -3 - -3. Is 8 a factor of (2 + n)/(8/92)?
False
Suppose 0 = -u - 0*j - 5*j + 25, -4*u + 4 = -4*j. Suppose 0 = u*q - 5, 5*q - 118 = 5*s + 22. Let y = -17 - s. Is 5 a factor of y?
True
Suppose -5*r - 10 = -4*n, -4*r - 2 = 2*n + 6. Suppose 5*l - l + z - 10 = n, 5*z = 5*l. Suppose 5*o = 5*u - 125, 0 = -2*u - 4*o + l*o + 46. Does 12 divide u?
True
Let d = -30 - -43. Suppose 4*y = 45 - d. Does 17 divide (1 + -7)/(y/(-28))?
False
Is 24 a factor of (-4 + 3 - 2) + 51?
True
Let p(y) = y**3 + 14*y**2 + 11*y - 14. Does 6 divide p(-13)?
True
Let y(f) = f**3 - 2*f**2 - f - 1. Let q be y(2). Is ((-189)/(-6))/q*-2 a multiple of 11?
False
Let f be 4/((-12)/(-129)) - -1. Suppose 3*j + 2*w - f = 0, 4*j - 2*w - 65 + 11 = 0. Is 13 a factor of j?
False
Let j(c) = -c**2. Let y be j(2). Let d be 1 - 1*(-19 - -2). Let b = y + d. Is b a multiple of 14?
True
Suppose -3*m + 3 = 0, 3*r - 499 = -2*r - 4*m. Does 32 divide r?
False
Let s = 1 + -12. Let h(m) = -3*m - 16. Is h(s) a multiple of 17?
True
Let t(m) = m**3 + m + 1. Let z(c) = 6*c**3 + 7*c**2 + 6*c + 9. Let y(v) = 5*t(v) - z(v). Is y(-7) a multiple of 3?
True
Is 24 + -3 - 3/3 a multiple of 6?
False
Let y = -5 + 41. Let f = -17 + y. Suppose -2*g + 4*l + f = -1, -l - 12 = -g. Is 14 a factor of g?
True
Suppose 3*j + 0 = -9. Let k(p) = -7*p - 4. Is 8 a factor of k(j)?
False
Suppose 28 = 5*o + 4*m, 2 = -o + 2*o - m. Suppose -r + 0*r = -f + 68, -f = -o*r - 77. Suppose -d - f = -4*i + i, 3*d + 55 = 2*i. Is i a multiple of 12?
False
Let x be 0 + (6 - (-2 + 1)). Suppose 2 = 3*a - x. Suppose 30 = -0*p + a*p - 4*h, 3*p - 5*h - 27 = 0. Is p a multiple of 7?
True
Let g(u) = u**2 + 8*u + 1. Let c be ((-12)/9)/(3/18). Let d be g(c). Is 2 a factor of d + 1 + (1 - -2)?
False
Suppose -g - 3*d = -2*d - 7, 0 = -2*g + 4*d - 10. Suppose 2*n - g*n = -6. Is n a multiple of 6?
True
Suppose -i + 2 = -1. Does 2 divide i + 3 + 4 + -3?
False
Suppose -5*t + n = -3*t - 283, 0 = 3*t + 2*n - 414. Suppose -2*c = -7*c + t. Is 9 a factor of c?
False
Let r be 3*(-16)/(-12)*-2. Let s = 23 + r. Does 5 divide s?
True
Suppose -2*a - 4*o + 139 = 3*a, 30 = a + 3*o. Is a a multiple of 9?
True
Let y be (2 + 3 - -3) + -2. Let s be 153/54 + 1/y. Suppose 0*f + 51 = 4*l + s*f, -5*l + 50 = f. Is l a multiple of 3?
True
Let k be (-4)/(-8)*(-15 + -1). Let r = -10 - k. Let m(h) = 6*h**2 + 2. Is m(r) a multiple of 12?
False
Let k be ((-2)/(-4))/(5/(-10)). Let s = -10 + k. Let x = 15 + s. Is 4 a factor of x?
True
Suppose -4*y - 3 = 1. Let o be y - (5 - (2 + -2)). Let t = 30 + o. Is t a multiple of 17?
False
Suppose -4*m = -4*a + 72, 10 = -5*m - 5. Suppose -5*v = 4*f - 191, -f - 3*v + 93 = f. Let c = f - a. Does 13 divide c?
True
Let w = 1 + -1. Suppose -u + 4 + 1 = w. Suppose u*j - 4*h - 24 = 0, 2*j + 4 = 4*j + 4*h. Is 4 a factor of j?
True
Suppose -4*s = 5*k - 636, s = 3*k - 2*k - 120. Is k a multiple of 33?
False
Let v(o) = o**3 - 22*o**2 - 17*o - 17. Does 18 divide v(23)?
False
Suppose 0*r - 136 = -4*r. Suppose -5*x + 189 = r. Is x a multiple of 16?
False
Suppose 0*a + 42 = 3*a. Suppose -j + 2*v = v - 8, -2*j + v = -a. Suppose -4*b - j = -b, -s - b = -2. Does 2 divide s?
True
Let x(z) = z**2 + 16*z + 20. Let h be x(-13). Let c = 23 + 7. Let d = h + c. Is 9 a factor of d?
False
Let s = 203 - 43. Does 32 divide s?
True
Let r(a) = -a**2 - a + 2. Let i be r(0). Is 15 - i - (4 + -2) a multiple of 6?
False
Let k = -9 - -18. Let v = k - 6. Does 3 divide v?
True
Let s(k) = 4*k**2 + 2*k - 1. Let f be s(1). Suppose -2*p + 24 = 3*u, -f*p - u + 81 = -4*u. Does 5 divide p?
True
Let a = 298 - 145. Is a a multiple of 17?
True
Let s(n) = -42*n**2 - 4*n - 3. Let m(u) be the second derivative of 125*u**4/12 + 11*u**3/6 + 4*u**2 - 5*u. Let i(d) = 4*m(d) + 11*s(d). Is 16 a factor of i(1)?
False
Let s = -28 - -73. Is s a multiple of 15?
True
Let x be 4 + -2 + -1 + 4. Suppose l = 4, 2*l - 14 = x*g + 6*l. Does 9 divide g/(-9) - 25/(-3)?
True
Let m(k) = -7 - k**3 + 0*k + 5*k**2 + k - 3*k**2. Let y be m(6). Does 5 divide (-2)/11 + y/(-11)?
False
Suppose 10*x - 62 = 78. Does 7 divide x?
True
Suppose 31 = 5*n - 19. Let i = n - 6. Suppose -i*v = v - 155. Is 10 a factor of v?
False
Is 30 a factor of 3/4 - 418/(-8)?
False
Let o = 1 + -6. Let b(g) = -g**3 - 3*g**2 + 7*g - 1. Does 5 divide b(o)?
False
Suppose -2*d - d - 3*q = -21, 3*d + 4*q - 26 = 0. Let a(w) = 1 + 0*w + 4*w + 3*w. Does 5 divide a(d)?
True
Is 4 a factor of (-24)/10*(210/(-18) + -5)?
True
Suppose -10*c + 124 + 166 = 0. Is 9 a factor of c?
False
Suppose 3*c - 443 = -x, -584 = -c - 3*c + 2*x. Suppose c = 3*d + f, 6*d - 183 = 2*d + 3*f. Is d a multiple of 16?
True
Let m be 3/4 + 3/12. Suppose -y + 0 = m. Does 7 divide (y + 2 + 3)*2?
False
Suppose -3*b = 5*r - 649, -7*r = -3*b - 2*r + 599. Suppose -5*s = -77 - b. Is s a multiple of 17?
False
Let n(w) = 5*w**2 - 3*w + 6. Does 22 divide n(4)?
False
Let s be -2 - 8*(-68)/8. Suppose -1 = -6*p + 5*p, 3*u - 3*p = s. Does 23 divide u?
True
Let f(q) be the third derivative of q**4/12 - 2*q**3/3 + q**2. Let d be f(5). Let m = 44 - d. Is 19 a factor of m?
True
Let k(q) = -q**3 + 4*q**2 + 7. Let g be (-5 + 1)*-1 + 1. Let p be k(g). Let l = p + 32. Is l a multiple of 12?
False
Suppose 2 = 4*y - 6. Let r = y - -6. Does 8 divide r?
True
Suppose 23*u - 19*u - 76 = 0. Does 4 divide u?
False
Let v = -20 - -42. Does 10 divide v?
False
Suppose -3*a - 6 = -0*a. Let l = 4 + a. Suppose -l*h - 2*b = -58, 2*b - 43 = -2*h + 3*b. Is h a multiple of 12?
True
Let b = -4 + 4. Suppose -w + 8 = 2*u, b = u + w + 3*w - 4. Suppose c - 6 - u = 0. Does 5 divide c?
True
Let o(a) = 9*a - 7. Is o(7) a multiple of 14?
True
Suppose 0 = h - 3, -2*t + 115 = 2*h + 5. Does 6 divide t?
False
Let s be 12352/56 + (-4)/7. Suppose 4*z - s = -z. Is z a multiple of 22?
True
Let z = -66 - -90. Is 6 a factor of z?
True
Suppose 4*h = 1 - 5. Let m(b) = -6 - 2*b + 6*b**2 + 2 + 3. Is 7 a factor of m(h)?
True
Suppose -2*f = -2*s - 5*f + 357, 3*f + 513 = 3*s. Is 29 a factor of s?
True
Suppose 5*q - 3*q = 32. Let k = 24 - q. Is k a multiple of 8?
True
Suppose -5*g = -w + 5*w - 53, -5*g = w - 2. Let i = w + 11. Is i a multiple of 14?
True
Suppose 3*c = -3, -2*q + q - 3*c - 26 = 0. Let j = q + 138. Suppose 3*b + 2*b = j. Is b a multiple of 12?
False
Let q = 127 - 87. Is 20 a factor of q?
True
Let b(x) = 5*x**2 + 11*x - 2. Does 46 divide b(-8)?
True
Let j be 4/(-3)*27/(-9). Suppose 78 + 6 = j*i. Is 7 a factor of i?
True
Does 25 divide (238/(-21) + 1)/(1/(-12))?
False
Suppose -43*g + 45*g = 234. Does 7 divide g?
False
Suppose b = -b + 6. Suppose -b*w = w - 20. Does 5 divide w?
True
Suppose -358 = 4*c + 2*f - 82, -3*f = -4*c - 296. Let i = -153 + 280. Let o = i + c. Does 20 divide o?
False
Suppose -6*x + 253 + 419 = 0. Is 16 a factor of x?
True
Suppose 4*g - 131 + 23 = 0. Is g a multiple of 6?
False
Suppose 0 = 2*p - 250 + 82. Is p a multiple of 21?
True
Let x(t) = 10*t**2 + 2*t. Is 48 a factor of x(-5)?
True
Let n be (-70)/7*2/(-4). Suppose -4*a + 5*w = -62, -5*w - n + 15 = 0. Is 6 a factor of a?
True
Suppose 209 = 2*z + 53. Does 9 divide z?
False
Let i = -45 + 31. Is 2340/91 - 4/i a multiple of 13?
True
Let r(o) = 14*o - 8. Is 12 a factor of r(3)?
False
Let c = -23 + 100. Does 9 divide c?
False
Suppose m - 1 = -2*o, -4*m + 10 - 2 = 4*o. Suppose g + 1 + 2 = 0, 0 = m*h - 2*g - 216. Is 27 a factor of h?
False
Let u be 8/(-6)*9/(-6). Let n be 0/(-3 + u) + -2. Does 7 divide (-7)/(n/6*1)?
True
Let v(q) = q**3 + 10*q**2 + 7*q - 16. Is v(-9) even?
True
Suppose 0 = 2*g - 118 - 20. Let x = -49 + g. Suppose 5*u - x = 3*u. Is u a multiple o