-2. Suppose 3*t - 42 - 27 = r. Is 7 a factor of t?
False
Let k = 43 + -26. Is 5 a factor of k?
False
Let v = 7 - 4. Let i = v + -3. Suppose 0 = 3*n - i*n - 15. Is 2 a factor of n?
False
Suppose 2*q - 6 = 4*y, 0 = -4*q - q - 4*y + 15. Suppose q*t + t + 3*i = 56, 0 = -5*t + i + 51. Does 5 divide t?
False
Suppose -46 = -5*x + 64. Is 11 a factor of x?
True
Let w(n) = 2*n**2 - 2*n + 7*n - n**2 - 9 - 3*n. Is 10 a factor of w(6)?
False
Suppose 4*r - 2*r = 2*f - 632, -5*f = 2*r + 646. Is (-20)/(-70) - r/14 a multiple of 11?
False
Suppose 0 = m - 4*g + 3, g + 31 = 5*m + 4*g. Let v = 15 + 1. Suppose 4*r - v = m*t, 11 = 4*r - r - 4*t. Does 4 divide r?
False
Suppose -4*y = -8*y + 352. Does 22 divide y?
True
Let q(k) = k**2 - 3*k. Let u be q(4). Suppose 44 = u*c - 4*a, -5*a + 5 - 12 = 3*c. Does 6 divide c?
True
Let r(q) = -3*q - 3. Is 9 a factor of r(-8)?
False
Suppose -3*i - 24 = 3*p, 2*i - 4*p + 24 = -2*i. Let h = i - -4. Is 16 + h/3 - 1 a multiple of 7?
True
Let b = 57 + -13. Is b a multiple of 6?
False
Let a be (-29008)/(-126) - 4/18. Suppose 5*m - a - 35 = 0. Does 15 divide m?
False
Let k(h) = h**3 + 6*h**2 - h - 2. Is 10 a factor of k(-5)?
False
Suppose 22 = t + v, -2*v = -t - 0*v + 10. Suppose 0*k = 3*k - t. Is k a multiple of 2?
True
Let p be (-2)/(-3)*9/3. Suppose -5*b - a = -41, -p*a = b + 2*a - 12. Is 6 a factor of b?
False
Let i be (2/(-2))/((-2)/10). Suppose 52 + i = l. Is l a multiple of 19?
True
Let p = -23 - 14. Let h = p - -62. Is 25 a factor of h?
True
Is 2328/84 + (-4)/(-14) a multiple of 28?
True
Let j = 5 + -11. Let k be (-2)/(-3) - 44/j. Suppose k = 3*t - 16. Does 4 divide t?
True
Suppose -d - 7 = -74. Is d a multiple of 9?
False
Let s = 5 - 3. Suppose 3 = s*r - 5. Suppose -4*f = -r*x - 36, -2*f = -5*x - 19 - 2. Does 8 divide f?
True
Suppose 4 = -f, 0 = u + f + 3*f - 136. Is 21 a factor of u?
False
Let z be 2 + 0 + (-2 - -4). Suppose -4*f + 44 = -0*m - 2*m, -z*f + 46 = -m. Is f a multiple of 12?
True
Let l = 204 - 181. Does 8 divide l?
False
Let t(i) be the third derivative of i**4/24 + 5*i**3/6 - i**2. Let z be t(6). Let o = z - 1. Does 5 divide o?
True
Suppose -40 + 16 = -6*u. Suppose u*z + 4*p = 332 - 92, 303 = 5*z + 2*p. Does 26 divide z?
False
Does 9 divide (-18)/(-5)*(-6 + 20 + 1)?
True
Does 5 divide 42 - 3/(15/(-10))?
False
Suppose -o + 116 = 42. Does 27 divide o?
False
Let i = -4 - -7. Suppose 0 = i*q - 18 - 60. Does 14 divide q?
False
Let m = 66 + -18. Is m a multiple of 24?
True
Let q(p) = 3*p + 18. Is q(10) a multiple of 16?
True
Suppose 4*b - 2*b = -18. Let u be ((b - 0) + -1)*-4. Suppose 2*h - 28 - u = 0. Is 13 a factor of h?
False
Suppose -3*m + 5*f + 129 = -0*m, -m + 63 = 5*f. Is m a multiple of 16?
True
Suppose -2*g - 5*b + 77 + 66 = 0, 0 = -5*g - 4*b + 366. Is 33 a factor of g?
False
Let o(i) = -i - 4. Let y = -1 + -2. Let q be o(y). Let g = q - -8. Is 5 a factor of g?
False
Suppose 7*w - 2*w + 210 = 0. Is 3/(-6*3/w) a multiple of 7?
True
Let s = 180 + -143. Is s a multiple of 13?
False
Let v(t) = -t**3 - 3*t**2 + 3. Let w be v(-3). Suppose 2*k = -3*y + 67, -2*k + 45 = -w*y - 52. Does 15 divide k?
False
Suppose 0 = m + m - 66. Suppose 0 = -k + 4*k - 2*a - 82, 0 = -k - 5*a + m. Is 14 a factor of k?
True
Let s = -23 - -26. Suppose s*k + 2*a = 136, -195 = -5*k + 2*a + a. Does 16 divide k?
False
Let g = -1 - -4. Suppose 5*k - 3*s = 360, -4*k = -s - g*s - 280. Let h = k + -41. Does 18 divide h?
False
Let y = 124 - 106. Does 2 divide y?
True
Let s(a) = -7*a + 11. Is s(-5) a multiple of 24?
False
Does 8 divide (-2)/9 + (-1308)/(-54)?
True
Let r = -2 - -8. Suppose -2*b - 134 = 3*a, 335 = -r*b + b + a. Let t = -31 - b. Is t a multiple of 12?
True
Let m(k) = 9*k - k + 4*k + 7*k. Is m(1) a multiple of 11?
False
Let y = -15 - -17. Suppose -4*t - 55 = -9*m + 4*m, -10 = -y*m + 4*t. Is 5 a factor of m?
True
Let m be (-1)/(((-8)/18)/4). Suppose -2*r + 325 - m = 4*a, -2*r - 2*a = -314. Suppose z = -3*z + r. Is z a multiple of 15?
False
Let y(x) = 35*x + 4. Is 29 a factor of y(9)?
True
Suppose 2 + 8 = -2*c, 59 = -4*h + 5*c. Is 182/(-65)*(h + 1) a multiple of 14?
True
Let u be -4 - (4/2 - 4). Let i be u + (-5)/(10/42). Let z = 39 + i. Does 13 divide z?
False
Let d be 4/(-6) + (-14)/(-3). Suppose 6*m - d*m - 80 = -2*k, 0 = -5*k - 15. Let i = m + -3. Does 20 divide i?
True
Let u(g) = g**2 - 3*g. Let s = 6 - -3. Let j be (-4)/(-18) - (-52)/s. Is u(j) a multiple of 18?
True
Is 10 a factor of ((-3)/((-9)/(-282)))/(-2)?
False
Let b be 68/16 - 6/(-8). Let s be (4/b)/((-1)/(-15)). Suppose -2*r + s = r. Is r a multiple of 2?
True
Let t be (-3)/(-9) + 56/3. Let q = 31 - t. Is q a multiple of 6?
True
Suppose -2*f = 4*n + 18, 4*n - f = -0*f - 21. Let y(b) = -2*b + 7. Does 6 divide y(n)?
False
Let a be (-32)/(-20)*(-5)/(-2). Suppose 0 = -a*l + 2*k + 156, 0 = 2*l - 3*k + 4*k - 82. Is 15 a factor of l?
False
Let j = 4 + -1. Suppose y + 2*k + 2 + 5 = 0, -j*k - 18 = -y. Is y even?
False
Let d(p) = -p**3 + 10*p**2 - 8*p - 7. Let v be d(9). Suppose -3*i - 2*i = -120. Let o = i + v. Is o a multiple of 13?
True
Let s = -14 - -17. Is 9 a factor of (-1)/s - (-164)/6?
True
Let a(i) = -48*i - 1. Does 14 divide a(-1)?
False
Suppose 2*a - 4*z = 16, -a + 2*z - 3*z + 2 = 0. Suppose 0 = -5*c + 4*n + 37, 0 + a = 2*n. Is ((-9)/6)/(c/(-174)) a multiple of 10?
False
Suppose 25 = -5*x, 3*d + 7 = 5*x - 70. Does 9 divide 3/(d/18 - -2)?
True
Is 2 a factor of ((-2)/4)/(2/(-12))?
False
Let o = -18 + 40. Let w(g) = -g**3 + 12*g**2 + 14*g - 9. Let m be w(13). Suppose m*h = 18 + o. Is 4 a factor of h?
False
Suppose -2*i + 0*i = 2*s - 22, 4*s = -i + 50. Suppose 5*g = 2*u + 17, -4*g = 3*u + u - 8. Let c = s - u. Does 7 divide c?
True
Let h = -3 - -3. Let w = 0 - h. Suppose 0*q + q - 16 = w. Does 8 divide q?
True
Suppose 0 = w - 2 - 6. Is 4 a factor of w?
True
Suppose -5*m = -d + 39, -4*d + 23 = -0*m - m. Let r(t) = -2*t - 9. Let w be r(m). Suppose w*a = -0*a + 4*v + 121, 4*a = v + 88. Is a a multiple of 11?
False
Let h(r) = r**2 - 3*r + 2. Let j be 69/15 + 2/5. Let i be h(j). Suppose -5*k - i + 112 = 0. Is 10 a factor of k?
True
Suppose s + 5*l - 44 = 0, 6*s + 3*l = 4*s + 53. Suppose -8 - s = -c. Is 9 a factor of c?
True
Suppose 3*k + 5*a - 2 = 0, -k - 3*k - 4*a = 8. Let p(j) = -5*j - 10. Let s(c) = -4*c - 9. Let t(x) = k*s(x) + 5*p(x). Is 3 a factor of t(-6)?
False
Let a(t) = -3*t**3 + t**2 + 3*t - 1. Suppose 7*w + 2 = 8*w. Let j be a(w). Let n = -11 - j. Is n a multiple of 2?
True
Suppose k - 14 = -2. Does 7 divide k?
False
Let y(d) = d + 7. Let n be y(-10). Let b = n + 5. Suppose b*s = 3*s - 25. Does 7 divide s?
False
Suppose 25*f - 18*f - 714 = 0. Does 20 divide f?
False
Suppose -340 = 8*m - 10*m. Is m a multiple of 34?
True
Let y(d) = d - 1. Suppose 2*n = 29 - 7. Does 10 divide y(n)?
True
Let x be -14 + -3 - (-4 + 2). Is 19 a factor of (-190)/x*(-3)/(-2)?
True
Let l(m) = m**3 + 6*m**2 + 5*m. Let q be l(-5). Let z = q - -4. Suppose -2*a + 18 = z. Is 6 a factor of a?
False
Let l(g) = -g**3 - g**2 - g + 1. Let i(h) = 3*h**3 - 2*h**2 - 2*h. Let y(o) = i(o) + 4*l(o). Let v be y(-5). Suppose 0 = 4*t - v*t + 175. Does 14 divide t?
False
Let j(t) = t**3 - 9*t**2 + 5*t + 17. Is j(10) a multiple of 10?
False
Let f = -13 - -24. Is f a multiple of 2?
False
Suppose 4*v - 33 = 4*t - 13, -5*v + 4*t = -24. Suppose -a + 120 = v*a. Is a a multiple of 12?
True
Let r(h) = -h**3 + 4*h**2 + 7*h - 6. Let o(g) = 4*g**3 + 2*g - 1. Let z be o(1). Let c be r(z). Suppose -7 = -c*x + 5. Does 3 divide x?
True
Let v = 67 - 13. Let y(j) = j**3 + 5*j**2 + 3*j + 4. Let k be y(-4). Let c = v - k. Does 23 divide c?
True
Suppose 5*s + 94 = 3*r, s = 3*s - 8. Does 8 divide r?
False
Suppose -21 = -s - 2*k - 2*k, 5*s = -k + 162. Suppose 20*o + 1 = 21. Let g = s + o. Is 13 a factor of g?
False
Suppose -3*y + 3*q = -57, 5*y - 65 - 6 = -3*q. Does 9 divide y?
False
Suppose -2*d + d - 2*r = -23, 2*d + 3*r = 45. Does 3 divide d?
True
Let m be (-1 + -4)*(-2)/(-5). Is (-32 - m)/((-9)/6) a multiple of 14?
False
Let o be (2 - 1)/(4/8). Let q(z) = 2*z + 3*z + 0*z**2 + 6*z**o + z**3 + 3. Is q(-4) a multiple of 10?
False
Let m be (1 - 0)*-1*-4. Let d = m - 7. Is 11 a factor of (33/(d/(-1)))/1?
True
Is (-50)/5*(-1)/3*36 a multiple of 20?
True
Let b(q) = -q**2 + 9*q - 9*q. Let t be b(0). Is 5/((-2 + t)/(-4)) a multiple of 4?
