- 7. Let a be t(-5). Suppose 5*i - 7*h + 2*h - 120 = 0, -h - 76 = -a*i. Does 13 divide i?
True
Let x(p) = p**3 + 5*p**2 - 2*p**2 + 38 - 2 - 4*p**2. Is x(0) a multiple of 18?
True
Suppose 5*h + t = -3*t + 71, 3*h - 4*t - 17 = 0. Does 11 divide h?
True
Suppose 0 = 5*x - v - 20, -3*v = -2*x - 4*v + 1. Suppose l = -l, -x*r - l + 120 = 0. Suppose -r = 2*n - 96. Is n a multiple of 14?
True
Let u(c) = -2*c**3 - 7*c**2 + c - 4. Suppose -27 = 5*f - 2*r, -5*f + 0*r - 4*r = 21. Is u(f) a multiple of 22?
True
Let h = -10 - -9. Let z(k) = 8*k**2 - 1. Is 2 a factor of z(h)?
False
Suppose 0 = -3*s + 1 + 5. Suppose -4*w - 229 = 5*i + 113, -w + 129 = -s*i. Let d = -18 - i. Is d a multiple of 23?
False
Suppose -s + 2 = -11. Suppose -4*v + 7 + s = d, 3*d + 4*v - 28 = 0. Is d a multiple of 4?
True
Let b(h) = h**3 + 11*h**2 + 14*h - 6. Is 20 a factor of b(-9)?
False
Is (-10)/35 + 132/21 a multiple of 6?
True
Let v(s) = s + 8. Let q be v(-9). Let b = 7 - q. Is 3 a factor of (-2)/8 + 90/b?
False
Suppose 3*f - 6 - 9 = 0. Is (0 - (-4 + f))*-9 a multiple of 9?
True
Let b(a) = -a**3 + 3*a**2 + 5*a. Let t be b(4). Suppose -t*k = 3*y + 66, -2*k = 2*k - y + 58. Let h = k - -22. Is h a multiple of 4?
False
Let z(n) = -n**3 + 5*n**2 + 6*n + 2. Let q be z(6). Suppose 412 = -q*g - 2*g. Let i = -69 - g. Does 12 divide i?
False
Let o = 31 - 21. Is 10 a factor of o?
True
Does 5 divide 8*3*(28/8 - 3)?
False
Suppose -4 = 5*w - 14, -4*w = 2*c - 36. Is c a multiple of 8?
False
Suppose -p = -2 - 1. Let r = p - -9. Does 12 divide r?
True
Suppose -5*j = -0*l + 2*l + 106, 2*l - 5*j = -86. Is (51/34)/((-2)/l) a multiple of 12?
True
Does 25 divide 54/1 - (-8)/(-2)?
True
Let y = -236 - -337. Is y a multiple of 12?
False
Let i be (4/(-6)*3)/(-1). Suppose i + 1 = u. Suppose -u = -3*a - 12, -2*b - 3*a + 57 = 0. Is 16 a factor of b?
False
Let v(r) = 7*r + 3. Let o be v(6). Let h = o - 7. Let b = -14 + h. Is b a multiple of 12?
True
Suppose 0 = 3*l - 5*l + 6. Suppose l*g - g - 178 = 0. Does 24 divide g?
False
Let p(c) = -7*c - 7. Let y be p(-5). Let x be (-2)/2 + -8 - 2. Let f = x + y. Is 11 a factor of f?
False
Suppose 0 = -i + 3*d + 26 - 0, 2*i - 48 = 5*d. Is i a multiple of 7?
True
Let a(o) = 2*o - 12. Let n be a(8). Suppose -3*q = 6*s - 4*s - 12, q = -s + n. Let c = s + 13. Is 13 a factor of c?
True
Suppose -40 = -r - 4*s + 31, -2*r = -4*s - 190. Is 29 a factor of r?
True
Let c(q) = -q**2 - 11*q - 21. Is 3 a factor of c(-6)?
True
Let u be 4/(-14) - 60/(-14). Let q = 6 - 8. Does 9 divide (q + 18/u)*10?
False
Let p = 6 - 22. Let v = 26 + p. Does 5 divide ((-28)/(-10))/(2/v)?
False
Suppose 4*l = -5 - 3. Let i be (l/(-4))/((-2)/128). Let s = i + 60. Is 15 a factor of s?
False
Is 34 + 4/(-6)*-6 a multiple of 6?
False
Let f = 4 + 4. Let d be 3*-1*f/(-12). Is 14 a factor of ((-2)/4)/(d/(-88))?
False
Let i = 23 - -5. Is 4 a factor of i?
True
Suppose -2*c = 2*c + 68. Let d = c + 41. Does 12 divide d?
True
Suppose -3*m + 3*z + 45 = -7*m, -3*m - 3*z = 33. Let o = m - -27. Does 8 divide o?
False
Let q(r) = r**3 - 2*r**2 + r + 69. Is q(0) a multiple of 10?
False
Let v(z) = -z**3 + 7*z**2 - 6*z + 6. Let c be v(4). Suppose 7*n + c = 2*n. Does 18 divide 21/1*n/(-7)?
True
Let g(n) = n**3 - 6*n**2 + 5*n. Let l be g(5). Let f be (-1*(l + -2))/2. Is 2 + (-1)/(f/(-3)) a multiple of 5?
True
Let k = -6 + 7. Let s be ((-30)/4)/(k/(-2)). Suppose 5*z = c + s, -3*c + 6 = z + 3. Is 3 a factor of z?
True
Suppose h + u = 2*h - 72, 0 = -5*h - 3*u + 328. Does 28 divide h?
False
Suppose m - 134 + 29 = -3*x, 4*m - 429 = -3*x. Is 9 a factor of m?
True
Suppose 0 = -i - 3*i + 48. Let m be (102/i)/(2/4). Let p = m + -12. Is 5 a factor of p?
True
Suppose -4*d + 20 = 5*r, 0*r = -d - 2*r + 5. Suppose -3*j + d = -34. Does 3 divide j?
False
Suppose -3*o + r = -7, 2*r - 7*r = -2*o - 17. Suppose -75 = -o*t + 37. Is 7 a factor of t?
True
Let p(q) = 2*q - 5*q + 1 + 2*q + 2*q. Let k(f) = -4*f - 7. Let s(i) = -k(i) - 6*p(i). Does 5 divide s(-9)?
False
Let w be 9/((9/6)/1). Let x be 4/w + (-58)/(-3). Suppose -5*q + q = x, 5*q - 59 = -3*c. Is c a multiple of 18?
False
Suppose -18*z + 163 = -17*z. Does 7 divide z?
False
Suppose -3*p - 57 = -555. Is 7 a factor of p?
False
Suppose q - 34 = -x + 3*q, 3*x - 3*q - 105 = 0. Is 6 a factor of x?
True
Let m(l) = l**2 - 3*l + 9. Is m(6) a multiple of 9?
True
Suppose -o - 44 = -230. Suppose -2*g = 22 - o. Is g a multiple of 12?
False
Let b(p) = -p**3 + 9*p**2 - 8*p - 10. Let z(s) = s**2 - 2. Let v be z(-3). Is b(v) a multiple of 9?
False
Suppose 2*y - 186 = -3*u, -42 = -u - 2*y + 24. Is u a multiple of 30?
True
Suppose 4*w = -4*d + 344, 2*d + 5*w = -2*d + 349. Is 20 a factor of d?
False
Let k be (270/25)/(3/10). Suppose 9 + 1 = b + a, -4*b + k = 5*a. Is b a multiple of 11?
False
Suppose -22 = -5*l + 3, 10 = 5*m - l. Suppose 2*s = k - m, 3*s - 37 = -5*k - 9. Let q = k + -2. Is q even?
False
Suppose -12 + 0 = -2*c. Is 4 a factor of c?
False
Let v(y) = 5*y + 78. Is 4 a factor of v(0)?
False
Suppose -d - 8 + 44 = 0. Let x = 16 + -11. Suppose 0 = -x*r + 116 - d. Is r a multiple of 16?
True
Let t(r) = 2 - 2 + 0 - 8*r. Let j be t(-6). Suppose -n - j = -6*n + 4*p, 0 = -n - 3*p + 21. Does 6 divide n?
True
Let q(y) = y**3 - 9*y**2 + 3*y + 7. Let m = -9 - -18. Does 10 divide q(m)?
False
Suppose 0*u = -2*u - 4*h + 36, 4*h + 74 = 3*u. Is 11 a factor of u?
True
Let n = 504 - 356. Is n a multiple of 37?
True
Suppose 0 = 7*t - 3*t - 276. Does 23 divide t?
True
Let a(d) = d**3 - 4*d**2 + 3*d. Let u be a(3). Suppose -38 = -r - u*r + 5*p, 0 = -5*p. Is 19 a factor of r?
True
Let b = -27 + -30. Let i = b + 83. Is 13 a factor of i?
True
Let g = -120 - -85. Let t = -24 - g. Does 7 divide t?
False
Let l(b) = -b**2 + 2*b - 2. Let o be l(2). Let x = 1 + o. Does 4 divide x/4 - (-37)/4?
False
Suppose k = -0*k - 4*o - 1, -4*k - 3*o = -9. Let d(i) = 2*i**3 - 2*i**2 + 3*i + 3. Is d(k) a multiple of 16?
True
Suppose 24 = -10*n + 12*n. Is 6 a factor of n?
True
Suppose 0 = -g - 135 + 390. Does 51 divide g?
True
Suppose -43 = -y + 164. Is 14 a factor of y?
False
Let z = -4 - -2. Let i(c) = -7*c**3 + 11*c**2 - 5*c - 7. Let v(o) = -3*o**3 + 5*o**2 - 2*o - 3. Let l(s) = 4*i(s) - 9*v(s). Does 4 divide l(z)?
False
Let m be (-4)/6*6 + -20. Let g = m - -29. Does 5 divide g?
True
Suppose h = -2*h, 2*s - 8 = -h. Let u = 0 + s. Suppose 0 = q - u - 2. Is 3 a factor of q?
True
Let v(s) be the second derivative of 17*s**6/720 + s**5/60 + s**4/6 + 4*s. Let p(c) be the third derivative of v(c). Is 18 a factor of p(2)?
True
Let g = 4 + 35. Is g a multiple of 13?
True
Let p(w) = 10*w - 1. Is 19 a factor of p(2)?
True
Let g(m) = -m - 4. Let h be g(-5). Let t(y) be the first derivative of 13*y**4/2 - y**3/3 + y**2 - y + 4. Does 13 divide t(h)?
True
Let p(r) = -r - 1. Let o be p(-1). Does 13 divide -1 - o - (2 + -18)?
False
Suppose 0*l = -2*l + 2*v + 6, 2*v + 2 = 0. Is l a multiple of 2?
True
Suppose 4*r - 9 = 19. Let z = -5 + r. Is 2 a factor of z?
True
Suppose 4*k = -2*v + 526, 2*k - 5*v = -2*k + 505. Suppose 22 = 4*f - k. Does 19 divide f?
True
Let u be (-8)/(-4)*6/4. Suppose -u*d + 4*k = -150, 159 = 3*d - 2*k + k. Is d a multiple of 14?
False
Let a be (-55)/10 - (-1)/2. Let i(r) be the first derivative of r**3 + 4*r**2 + 5*r - 1. Is 14 a factor of i(a)?
False
Let k(t) = t**3 + 3*t**2 - 4*t + 6. Let c be k(-5). Let r = 38 + c. Is 14 a factor of r?
True
Suppose 10 = -3*u + 46. Does 6 divide u?
True
Suppose -3 = f + 5. Let b = 39 + f. Does 15 divide b?
False
Does 9 divide (7/2)/(4 + 286/(-72))?
True
Suppose 0 = -k - 3*v - 6, 4*k + v - 2 - 7 = 0. Suppose -4*b + 4 = 0, 0 = -k*l + 5*b + 152 + 269. Does 8 divide l/6 + 10/(-15)?
False
Let t be (-8)/(-3)*3/2. Suppose t*u = 2*u. Suppose -26 - 73 = -5*z - 2*y, 4*z - y - 74 = u. Does 16 divide z?
False
Let b = 28 - -26. Is b a multiple of 10?
False
Suppose 6*n = 3*n + 225. Suppose -5*i - 5*z = -n, 83 = 5*i + 4*z - z. Is i a multiple of 9?
False
Let c be 8 + (-5)/((-15)/(-9)). Suppose c - 29 = -4*s. Is s a multiple of 6?
True
Suppose 103 + 191 = 3*x. Is x a multiple of 14?
True
Let q(f) = 6*f - 12. Is 6 a factor of q(8)?
True
Let y(s) = s**2 - s + 1. Let i = 18 - 10. Suppose 3*u - u - i = 0. Is y(u) a multiple of 7?
False
Does 16 divide ((-20)/25*3)/(9/(-300))?
True
Suppose x = -3*p + 99, 2*x + 3*p = -3*x + 435