*x = c + 1, -2*c + x + 13 = -z. Is 3 a factor of c?
True
Let t(q) = -3*q**2 + 3*q + 4. Let p be t(3). Let c be (-6)/(-21) + (-66)/p. Suppose 3*i + 2*n + n = 57, -2*i + c*n + 3 = 0. Does 7 divide i?
True
Let a = 38 + -29. Is a a multiple of 4?
False
Let y = 62 + -43. Does 19 divide y?
True
Let y = 18 - 28. Let m = y - -14. Suppose m + 4 = 2*n. Is 3 a factor of n?
False
Let z be 2/(-9) + 47/9. Suppose z*r - 5*q = 75, r + 45 = 6*r + q. Is 8 a factor of r?
False
Let b(r) = r**3 - 8*r**2 + 2*r - 4. Is b(8) a multiple of 3?
True
Suppose -26 = -z - 8. Does 6 divide z?
True
Let r(g) = -g**3 + 2*g**2 + 3*g + 3. Does 2 divide r(-2)?
False
Is 5 a factor of 78/5 - 10/(300/18)?
True
Let w(n) = 2*n - 12. Let z be w(12). Suppose 15*p - z*p - 84 = 0. Does 17 divide p?
False
Let w(p) = -5*p. Let z(r) = r**2 - 7*r + 2. Let x be z(7). Suppose -6 = -t + 4*d, 0 = t - x*d + 3*d + 4. Is w(t) a multiple of 10?
True
Does 17 divide 242/3 + (5 - (-51)/(-9))?
False
Suppose 0 = -2*h + 118 + 70. Is h a multiple of 21?
False
Let m be (-5)/(-2) - 3/6. Suppose 5*x - m*t - 30 = 3*t, 20 = -5*x - 5*t. Does 4 divide x/(-1)*-1*7?
False
Suppose 0 = -5*t + 4 + 21. Suppose -4*v + 24 = 2*a, 0 = a + 5*v - 19 - t. Is 2 a factor of a?
True
Suppose 0 = 4*v + 45 - 141. Let s be (3 + 0)*26/(-6). Let p = s + v. Does 9 divide p?
False
Suppose t - 84 = -t. Does 22 divide t?
False
Suppose -2*n + 4*n = 0, 5*a - 825 = -n. Is a a multiple of 23?
False
Suppose g - 52 - 13 = 0. Suppose 0*d = d - g. Is d a multiple of 13?
True
Let v(f) = f**3 - 5*f**2 - 6*f + 6. Let s be v(7). Let o = s - 40. Is o a multiple of 9?
False
Does 25 divide (150/(-1))/((-36)/24)?
True
Let c(o) = o**2 + 3*o + 3. Let z be c(-3). Suppose -72 = -z*h + 51. Is h a multiple of 16?
False
Suppose 0 = -0*j + 3*j + 15. Let o = -12 - j. Let g = 23 + o. Is 9 a factor of g?
False
Suppose g - 5*g = -40. Is g a multiple of 10?
True
Let b = 9 + -10. Let d(k) = 10*k**2 - k - 1. Is 4 a factor of d(b)?
False
Is 25 a factor of (-4*72)/(-3) + 4?
True
Let m be 6/(-9) - (-159)/9. Suppose m + 17 = i. Does 17 divide i?
True
Suppose -5*h + 250 = r - 3*r, h - 2*r = 58. Suppose w = -3*i + h, -2*w = -i + 14 - 5. Is 3 a factor of i?
True
Let t = -25 + 27. Is t even?
True
Let w be (-4)/10 - 634/(-10). Let h = w - 35. Is 9 a factor of h?
False
Let u = 7 - 2. Suppose -t = -0*t - u. Does 5 divide t?
True
Suppose 2*j - 148 = -4*h, 2*j + 27 + 10 = h. Let m = -9 + h. Is 14 a factor of m?
True
Let q(a) = a**2 - 6*a + 6. Let k be q(4). Let r(w) = -w**2 - 5*w - 6. Let b be r(-4). Does 10 divide (-20)/(-1)*b/k?
True
Suppose -40 = -2*r + r. Suppose 0 = 2*u + 2 - r. Suppose 71 + u = 3*x. Is x a multiple of 15?
True
Let h(p) = -p**3 - 13*p**2 + 3*p + 3. Let y(n) = n**3 + 12*n**2 - 2*n - 4. Let i(t) = -4*h(t) - 5*y(t). Is 24 a factor of i(-8)?
True
Let u(n) be the third derivative of 13*n**4/24 - n**3/6 - 2*n**2. Is u(1) a multiple of 12?
True
Let v be (-3 + (-20)/(-6))*-12. Suppose -5*s = 24 - 64. Let u = s + v. Is u even?
True
Let a = 15 + 39. Let u = a - -62. Suppose 0*n = -5*n - 20, -4*g + 2*n + u = 0. Does 10 divide g?
False
Let j(n) = -100*n**2 + 9*n - 9. Let a(f) = -25*f**2 + 2*f - 2. Let k(m) = -26*a(m) + 6*j(m). Is k(1) a multiple of 25?
True
Suppose -25*d + 30*d = 35. Suppose 6*z + 19 = d*z. Does 5 divide z?
False
Suppose -2*q + 4*q - 44 = 0. Does 5 divide q?
False
Let c = -16 + 27. Suppose 2*n + 25 = -c. Let g = 32 + n. Is 7 a factor of g?
True
Let j(u) = -3*u - 21. Is j(-9) a multiple of 2?
True
Does 3 divide 1/(4*(-1)/(-44))?
False
Is 21 a factor of ((-6)/6)/((-1)/24)?
False
Let f(g) = -10*g**3 - 31*g**2 - 24*g - 9. Let z(h) = 3*h**3 + 10*h**2 + 8*h + 3. Let u(l) = 2*f(l) + 7*z(l). Let k be u(-7). Does 6 divide (-49)/(-4) + 1/k?
True
Suppose 0 = -b - 0*b + 10. Does 10 divide b?
True
Does 16 divide ((-5)/3 + -1)*(-22 + -2)?
True
Suppose -48*w + 43*w = -375. Is w a multiple of 15?
True
Let u(j) = 3 + 10*j + 2*j**2 + 0*j**2 - j**2. Is 5 a factor of u(-11)?
False
Suppose 3*f - j = -f, 2*f = 5*j. Suppose -4*l + 48 = -f*l. Is l a multiple of 12?
True
Does 30 divide 3 - (-3 - -4) - -155?
False
Suppose 0*h - 120 = -5*h. Suppose -4*s = -h - 12. Is s a multiple of 9?
True
Suppose -v + 5*k = 2*v + 20, k - 4 = 0. Suppose v = -m - 4*m + 5. Is 10 a factor of (-1)/((-1 - m)/26)?
False
Suppose 5*z = -3*n + 83, -n - 2*z = 2*z - 23. Is n a multiple of 31?
True
Suppose -3*h + 2*r = -6 - 39, -2*h - r = -30. Is ((-4)/5)/((-6)/h) even?
True
Let u be (-3)/9 - (-32)/6. Let z(m) = m**2 - 5*m - 7. Let d be z(u). Is (d + -2)/((-3)/2) a multiple of 3?
True
Let s(t) = t**3 - 9*t**2 - 6*t - 49. Is s(11) a multiple of 22?
False
Let d be ((-27)/45)/(1/(-5)). Suppose -d*n + 0*n + 45 = 0. Is n a multiple of 5?
True
Suppose 2*b + 142 = -5*l, -2*l - b - b - 58 = 0. Let n = l + 48. Suppose 2*t = 12 + n. Is t a multiple of 16?
True
Let h(u) be the first derivative of -u**4/4 + 2*u**3 + u**2 + 2*u + 2. Is h(6) a multiple of 7?
True
Suppose 0 = -2*q + 212 + 86. Is 36 a factor of q?
False
Let l = 41 + -22. Does 4 divide l?
False
Suppose -69 = -l + 4*h - 13, -5*l - 3*h + 188 = 0. Is l a multiple of 9?
False
Let x(o) = -o**3 - 5*o**2 - 5*o - 5. Let r be x(-4). Let f(i) = -12*i. Is 7 a factor of f(r)?
False
Suppose m - 2*m + t = -6, -3*m + 15 = -2*t. Suppose 2*j + m*j = 95. Is j a multiple of 4?
False
Let x(w) = w**3 - w**2 + w + 56. Let c be x(0). Let d = 24 - c. Let p = -18 - d. Does 7 divide p?
True
Suppose -168 = d - 5*d. Is 21 a factor of d?
True
Suppose -2*c + 75 + 47 = 0. Suppose -3*o + c + 2 = 0. Is o a multiple of 21?
True
Suppose -5*g = -226 + 2781. Does 15 divide 2/5 - g/35?
True
Let x(u) = 11*u - 5. Let n(q) = q - 1. Let o(z) = -6*n(z) + x(z). Let j be o(-2). Let p = j + 13. Is 2 a factor of p?
True
Let t(w) = 11*w - 1. Let f(a) = -12*a + 1. Let v(c) = 4*f(c) + 5*t(c). Does 16 divide v(6)?
False
Let f(p) = -5*p**3 + 6*p - 1. Is 13 a factor of f(-3)?
False
Is 20 a factor of 1/(0 + 1/159)?
False
Suppose -1307 - 133 = -10*h. Does 8 divide h?
True
Suppose n = -5, -3*t + 5*n + 9 = -34. Does 6 divide t?
True
Suppose 2*s - 5*s = l - 130, 3*s - 128 = -2*l. Is 11 a factor of s?
True
Suppose -4*f = -5*r - 843, -21*f + 18*f - 2*r = -661. Is 31 a factor of f?
True
Let o be 2*1*25/(-5). Is (o/(-15))/((-4)/(-18)) a multiple of 3?
True
Let z(h) = -3*h + 6. Let t be z(4). Is 7 a factor of 14/4*t/(-3)?
True
Let s = 193 - 117. Is s a multiple of 19?
True
Suppose -3*k = 2*k - 25. Suppose 0*b + b = k*c - 64, -8 = -2*c - 4*b. Does 4 divide c?
True
Suppose 3*o + 8 = 4*f - 19, -2*f = -5*o - 31. Suppose -4*r - 5*j = -3*j, -4*r + f*j + 20 = 0. Is 2 a factor of r*2*(-3)/(-3)?
True
Let u = -64 - -133. Is u a multiple of 16?
False
Let u(z) = -35*z. Let f(c) = 70*c. Let x(s) = -6*f(s) - 11*u(s). Suppose -2*m = 2*w - 4, w + 4*w - 3*m + 14 = 0. Is x(w) a multiple of 13?
False
Suppose -5*q = -6*g + 4*g + 33, q = g - 9. Suppose 0 = -9*i + g*i + 300. Is i a multiple of 15?
True
Suppose 20 = -f + 6*f. Let n be -2*(1 + (-49)/2). Let j = n - f. Is j a multiple of 16?
False
Let o be 0 + 2 + (-2)/(-2). Let w(x) = x - 1. Let b be w(4). Suppose o*m = 5*s + 8, -2*m + 3*m = b*s. Is 6 a factor of m?
True
Suppose -g + 10 = 4*g. Is 12 a factor of 371/21 - g/(-6)?
False
Suppose -5*a - 22 = -247. Let j = 85 - a. Does 16 divide j?
False
Suppose -3*f + 5*v + 190 - 17 = 0, 4*v + 46 = f. Is f a multiple of 11?
True
Let o = 261 - 13. Suppose -4*t + o - 40 = 0. Is 22 a factor of t?
False
Let d(q) = -55*q**3 - 2*q**2 + q + 2. Does 9 divide d(-1)?
True
Let f(z) be the second derivative of z**3/6 + z**2/2 - 3*z. Let d be f(-1). Suppose 0*l - 5*l = 2*b - 75, d = -4*b - 20. Does 15 divide l?
False
Suppose -5*o = -3*b + 2 + 11, b = -4*o + 10. Let s be 4/b + 40/12. Suppose -h + 25 = s*h. Is 5 a factor of h?
True
Suppose -4*p + 3*w - w + 16 = 0, 4*p - 4*w - 24 = 0. Suppose 2*j - n = 29, 3 = 3*n - p*n. Is (j/(-10))/(2/(-35)) a multiple of 11?
False
Let l(q) = q**2 + 3*q - 18. Is l(-8) a multiple of 22?
True
Let d(n) = n**3 + 7*n**2 + 4*n - 5. Let b be d(-6). Let v = b - 3. Suppose -3*z - 34 = -2*k, v = -k - 2*z + 14. Is 4 a factor of k?
False
Let o(m) = m**3 + 8*m**2 + 6*m + 8. Does 11 divide o(-6)?
True
Does 19 divide (1 - 1) + (78 - 0)?
False
Suppose 20*r - 252 = 6*r. Is 2 a factor of r?
True
Let p = 4 + -1. Suppose p*z - 30 = 4*h, -5*z - 3*