r of o?
True
Suppose 4*k + 144 = 8*k - 5*n, k = -2*n + 23. Is k a multiple of 4?
False
Let n(s) = 0*s**2 + 6*s**2 + 8*s + 3 + s**3 + s**2. Suppose -10*c + 25 = -15*c. Does 13 divide n(c)?
True
Let z = -116 - -221. Is z a multiple of 35?
True
Let f(x) = 2*x**2 + 16*x + 14. Let g = -78 - -47. Let z = g - -21. Is f(z) a multiple of 18?
True
Let n be (-22)/(-7) + -3 - (-27)/7. Suppose 4*t - 276 = 4*v, t + 2*t + n*v = 200. Is t a multiple of 21?
False
Is 16 a factor of (-3849)/(-5) - (-88)/(-110)?
False
Let z be (-5 + -2)/(3/(-33)). Suppose -4*q + 5*q - z = 0. Does 14 divide q?
False
Does 42 divide (-2)/23 - (-176792)/161?
False
Is 14 a factor of -5 + (-432)/(-2) + 7 + 6?
True
Suppose 23*a = 27*a + 4456. Does 6 divide (-12)/(-78) + (a/(-13))/2?
False
Let f = -176 + 329. Is f a multiple of 17?
True
Let f(b) = 337*b**3 - b**2 + 7*b - 6. Is f(1) a multiple of 9?
False
Let j = 88 - 319. Let c = 539 + j. Is c a multiple of 22?
True
Let f be (-4)/22 - (-252)/(-66). Let y = 7 + f. Let d(p) = 3*p**2 + 3. Is d(y) a multiple of 10?
True
Let i be (-5 + 6)/((-1)/(-2)). Is (-78 - i)*(-10)/25 a multiple of 8?
True
Suppose -3*b = b. Suppose b = 2*g + 5*g - 728. Does 23 divide g?
False
Suppose -172 = 23*k - 19*k. Let q = k - -115. Is 12 a factor of q?
True
Let r = -16 - -20. Let z(n) = n**2 - 7*n + 13. Let k be z(r). Is 11 a factor of 63/k - (-2 + -2)?
False
Let f(t) = 14*t. Let l be f(2). Let w be 4/(-5)*(-70)/l. Suppose u = 4*d + 3*u - 38, -2*u = w*d - 14. Is 4 a factor of d?
True
Let h(a) = 13*a + 11. Let k(w) = -65*w - 56. Let u(p) = 22*h(p) + 4*k(p). Is u(2) a multiple of 5?
True
Suppose 0 = -2*y + 3*y - 2. Suppose -4*z = -r + 5*r + 4, y*r + 10 = 2*z. Is 468/33 - z/11 a multiple of 14?
True
Let p(x) = -15*x - 84. Let n be p(-9). Suppose q = 2*q - k - n, -5*q + 271 = 3*k. Does 4 divide q?
False
Let q(d) = -d**3 + 4*d**2 - 5*d + 4. Let w be q(2). Suppose 0 = -w*y - 70 + 140. Does 5 divide y?
True
Let q = 29 - 24. Suppose 3*v - 179 = -2*r + 10, v = q*r + 80. Does 8 divide v?
False
Let u(n) = 7*n**2 - 3*n + 3. Does 4 divide u(-2)?
False
Let z = -1874 - -2213. Is z a multiple of 9?
False
Let q = -1 - -3. Suppose r - 5*j = q - 1, 3*r + 3*j = 3. Is 14 a factor of (-45)/(-3) - (r + 0)?
True
Let f(z) = 15*z - z + 4*z - 15. Does 12 divide f(5)?
False
Let w(d) = -d**2 + 13*d - 12. Let n(i) = -i**3 + 17*i**2 + 10. Let g = 49 - 32. Let b be n(g). Does 6 divide w(b)?
True
Let p(y) = 74*y**2 + 3*y + 4. Is 30 a factor of p(3)?
False
Suppose 2*s + 207 + 43 = 0. Let o = s + 261. Is o a multiple of 17?
True
Let h(x) = 14*x + 2*x**2 + 90 + x**2 - 85 - 4*x**2. Is h(10) a multiple of 15?
True
Is (3/3)/(29/12731) + -3 a multiple of 15?
False
Let j(u) = u**3 - 5*u**2 - 12*u + 39. Let i be j(6). Does 5 divide (1*42/35)/(i/250)?
True
Let u = 44 + 321. Suppose 5*a = -4*b + u, 2*b + 128 = -a + 3*a. Is 14 a factor of a?
False
Suppose 6*k - 175 + 31 = 0. Suppose 8*r - 8 = k. Does 2 divide r?
True
Let r(p) = 4*p - 6. Let d(m) = -m**3 - 11*m**2 - m - 6. Let c be d(-11). Let v be r(c). Suppose h = -h + v. Is h a multiple of 7?
True
Let i(z) = -94*z - 1. Let h be i(4). Let m = 528 + h. Does 21 divide m?
False
Is 32 a factor of (-48)/88 - (-139070)/55?
True
Let b(o) = 3*o - 23. Let u be b(15). Suppose 20*d = u*d - 66. Is d a multiple of 3?
True
Let v = -7192 + 11284. Does 93 divide v?
True
Let p be -6 + (-6 - (2 + -21)). Let o(f) = 22*f**2 - f - 1. Let d be o(2). Suppose -4*b - 3*c + 68 = 0, 5*c = -p*b + 2*b + d. Does 17 divide b?
True
Let k(s) = 21*s - 2. Let h = 27 + -23. Is 41 a factor of k(h)?
True
Let z(r) = 5*r**3 + r + 10. Let b be z(3). Does 8 divide 0 + (8/(-2) - -8) + b?
True
Suppose 19 = -5*g - 2*b, 3*g + 2*g + 23 = -4*b. Is g - (0 + (-106 - -1)) a multiple of 34?
True
Let m = 1519 - 910. Does 21 divide m?
True
Let d = -124 + 184. Does 20 divide d?
True
Let u = -1231 - -2894. Is u a multiple of 13?
False
Let a(p) = 4*p - 28. Is 3 a factor of a(12)?
False
Suppose 14*u - u = 1586. Suppose u = -5*k + 342. Is 4 a factor of k?
True
Suppose -3321 = -4*v - 5*w, -4176 = -5*v + w + w. Does 139 divide v?
True
Let s be (-4)/(-12) + 24/9. Is 19 a factor of (-145)/(-15)*((4 - s) + 2)?
False
Let q(c) = 2*c - 1. Let k(m) = -m**3 - 10*m**2 - 2*m - 13. Let y be k(-10). Let r be q(y). Let h(d) = -d**2 + 13*d + 7. Is 6 a factor of h(r)?
False
Let l = -32 - -17. Is 10 a factor of 10/l - 64/(-6)?
True
Suppose 4*i - 1104 = -5*w, -2*i + 442 = 2*w - 0*i. Suppose 7*f - w = 12*f. Is 7 a factor of (-451)/f - 2/8?
False
Suppose 0 = 3*i, 4*g + 2*i + 2*i = 8. Suppose -2*w + 76 = -g*b, -b + 48 = 2*w - 37. Is 31 a factor of w?
False
Does 19 divide (-4)/(24/4806)*(-1)/3?
False
Let z(u) = -3*u + 135. Let c(t) = -2*t + 67. Let s(d) = -5*c(d) + 3*z(d). Let j(x) = 14. Let v(q) = -11*j(q) + 2*s(q). Is 4 a factor of v(13)?
True
Suppose 310 = -5*q - 0*c - c, 2*c = 2*q + 136. Let h = q - -132. Is 12 a factor of h?
False
Suppose 0 = 2*q - 2 - 6. Let i be 1*9 + (3 - q). Is 8 a factor of 20/(-2 - i/(-3))?
False
Let m(j) = 12*j**2 - 7*j + 6. Let w be m(4). Suppose -30*n = -25*n - w. Is n a multiple of 11?
False
Let l(i) = i**2 + 8*i - 2. Let n be l(-8). Let m be (-11 - 3)*(-5)/n. Let q = m - -49. Is q a multiple of 14?
True
Let l(j) = -j**3 + 6*j**2 - 3*j + 3. Let p(m) = 4*m - 4*m**2 + 5*m**2 - 1 - 14*m + 5. Let h be p(10). Does 9 divide l(h)?
False
Suppose -b = -5*y, 0 = 4*y - 0*b + b. Suppose y = -2*t - 5*x + 84 - 13, -t + 19 = -3*x. Does 14 divide t?
True
Let w be (44 - -1) + -2 + (2 - 0). Suppose -j + w = 4*n, 3*n - 3*j = -n + 57. Is n a multiple of 6?
True
Let y(r) = 2*r**2 - r - 2. Let x(k) = -k**2 - 11*k + 4. Let s be x(-10). Let v = s + -12. Is y(v) a multiple of 2?
True
Let b = -17 + 24. Suppose -b*h - 4*h = -198. Does 3 divide h?
True
Let q(c) = -c**2 - 16*c - 43. Let i be q(-12). Let a(u) = -19*u**2 - 2*u - 1. Let t be a(-1). Is 0 - t/3*i a multiple of 14?
False
Let t(d) = 1 + 0*d + 29*d**3 + 5*d - d**2 - 25*d**3. Is t(3) a multiple of 22?
False
Let a(l) = -l + 14. Let u(n) = n. Let x be u(8). Let d be a(x). Suppose -d*k + 304 = -98. Is 35 a factor of k?
False
Suppose 0 = 5*p + 3*o - 439, -5*p + 9*o + 447 = 8*o. Is p a multiple of 2?
False
Let n be (-904)/(-2) + (-10 - -13). Suppose -n = -5*z - 80. Is 15 a factor of z?
True
Let s(m) = m**2 + 6*m - 19. Let u be s(12). Suppose 3*w - u - 37 = 0. Does 26 divide w?
True
Suppose 2*a - 371 = -3*v, 2*a + 168 + 322 = 4*v. Is 41 a factor of v?
True
Let y(q) = -7*q**3 + 2*q**2 - 10*q - 9. Let f(r) = r**3 + r**2 + 2*r. Let t(z) = 6*f(z) + y(z). Suppose 0 = 4*d - d - 21. Is t(d) a multiple of 15?
False
Suppose 6*x - 6 = 12. Let r(y) = -2*y**3 + 4*y**2 - 5*y + 1. Let a(d) = 2*d**3 - 5*d**2 + 5*d - 1. Let z(u) = -2*a(u) - 3*r(u). Does 10 divide z(x)?
True
Suppose 6 = 3*y - 0. Does 30 divide (596 + 4)/5 - y?
False
Let o = -80 - -45. Let i = 63 + o. Does 24 divide i?
False
Let l(c) = 243*c - 1. Let r be l(-1). Is 12 a factor of r/(-10) - (-2)/(-5)?
True
Let d(r) = -35*r + 7. Let y be d(-7). Let o = y - 180. Suppose o = 2*q - 0*q. Is q a multiple of 9?
True
Let t(j) = j**2 - 3*j + 4. Let h be 2/4*4 + 1. Let d be t(h). Does 18 divide (-2)/(-8)*d*41?
False
Let c(p) = 48*p + 93. Is 11 a factor of c(12)?
False
Suppose -724 = -6*p - 28. Suppose 0 = l - 5*b - 78, -p = -3*l - 3*b + 82. Does 12 divide l?
False
Let m(f) = -9 - 6 - 13 + 24 + 4*f**2. Let i be 2/(2/4*1). Does 20 divide m(i)?
True
Suppose 981*l + 1210 = 983*l. Is l a multiple of 55?
True
Let w(g) be the first derivative of -g**2/2 + 18*g + 21. Is w(8) a multiple of 2?
True
Is 8 a factor of -20*(3 + (4 + -3)*-25)?
True
Let a = -294 + 429. Is 45 a factor of a?
True
Let d(m) = 2*m**2 - 3*m + 130. Let i = 119 - 119. Does 12 divide d(i)?
False
Let j(b) = -b - 5. Let l(s) be the second derivative of -s**5/20 - s**4/4 + s**3/2 - 3*s**2/2 - s. Let x be l(2). Does 2 divide j(x)?
True
Let t = -133 - 25. Let y = -46 - t. Does 21 divide y?
False
Let f = -70 - -69. Let h = f + 25. Is 8 a factor of h?
True
Let n = 95 + -40. Suppose 8*x - n = 3*x. Suppose 5*v - x = 9. Does 4 divide v?
True
Suppose 17*f + 4*j = 20*f - 107, -5*f + 150 = -j. Is f even?
False
Let w(f) = 52*f + 8. Let t be w(3). Suppose -j + 15 = 2*j. Suppose -x + j*l = -22, t = 4*x + x + 2*l. Does 8 divide x?
True
Suppose 3*y - 2*a - 714 = 0, -6*a = -3*y - 7*a + 705. Let n = 1