ltiple of 3?
True
Suppose -274 = 2*k - 0*k. Suppose 2*s = -2*z + 468, -5*z + 6*z = -1. Let x = s + k. Does 28 divide x?
False
Let y(k) = -22*k + 232. Let a be y(-12). Let m = a - 218. Is m a multiple of 5?
False
Let o(d) = 14*d**2 + 4*d + 6. Suppose -5*b - 15 = -0*b. Let h be o(b). Suppose -f = -y + 21, -4*y - 5*f + h = -0. Is y a multiple of 5?
True
Let k(v) = -28 + 42*v - 23 + 16. Does 8 divide k(3)?
False
Suppose 0 = -3*w - 0 + 15. Suppose 360 = w*y + y. Let a = y + -28. Is 9 a factor of a?
False
Suppose -241 = -4*c + 3*n, 28 = c - 5*n - 28. Suppose c*w = 68*w - 3787. Does 9 divide w?
False
Let s = -11294 + 14706. Is 12 a factor of s?
False
Let h = -3362 - -8542. Is 13 a factor of h?
False
Suppose 72*x = 75*x - 12. Suppose -5*o + 308 = -2*a + 4*a, -5*o + x*a = -284. Suppose 4*t + o = 5*t. Does 6 divide t?
True
Let q(n) = 2*n**3 - 6*n + 6. Let o be q(1). Suppose o*v = 188 + 64. Is 14 a factor of v?
True
Suppose -13*t - 4*t = -51. Suppose c + 2*p = 83, t*p + 4 = 4*p. Is 2 a factor of c?
False
Let m(w) = -w**2 - 5*w - 5. Let z be m(-5). Let a(u) be the third derivative of -u**6/120 - u**3/6 - 2*u**2 - 38. Is a(z) a multiple of 31?
True
Let s(c) be the first derivative of c - 5*c**2 + 12 + 1/3*c**3. Is s(13) a multiple of 7?
False
Let n = -373 + 593. Suppose -16 = -224*d + n*d. Suppose -3*r = 2*o - o - 185, -r + d = 0. Is 48 a factor of o?
False
Let o be ((-483)/23 + 16)*(1 - 2). Suppose -f = 2*f - 1428. Suppose o*n = -2*n + f. Is n a multiple of 36?
False
Let k(o) = -o**3 + 15*o**2 - 16*o + 33. Let c be k(14). Suppose -9 = -8*f + c*f. Suppose -z = -38 - f. Is 10 a factor of z?
False
Suppose 2*f + 5*l - 218 = 0, -5*f + 4*l = -200 - 279. Suppose -f = -5*o + j + 3401, 0 = j - 5. Is o a multiple of 43?
False
Suppose -4*a = -4*f + 186 + 146, a + 98 = 4*f. Let t = a + 53. Is 7 a factor of 2079/15 + (-10)/t?
False
Suppose 0 = -c + 3*c + 1192. Let s = c - -1219. Does 75 divide s?
False
Let v = 8154 - 3568. Does 24 divide v?
False
Suppose t = -4*l + 6403, -5*l - 5*t + 8006 = -3*t. Suppose 0 = -5*y + 3*s + 4000, 19*s - 21*s - l = -2*y. Does 36 divide y?
False
Let n be (2*1)/(6/69). Is 29 a factor of 1/(2/(-158))*(n - 24)?
False
Let r be 40*4/(-12)*(-684)/(-24). Does 42 divide ((-12)/(-90)*-9)/(6/r)?
False
Let a(q) = q**2 + 11*q + 1. Let l be a(-12). Suppose 3*g - l = -i - 3, g = -i + 4. Suppose -g*h = x - 111 - 134, 3*h + 2*x = 250. Is h a multiple of 16?
True
Suppose 2*j - 5358 - 2512 = -p, -3*j + 11826 = -2*p. Is j a multiple of 4?
False
Suppose -2*i - 352 = -1666. Suppose 5*b + 0*x - 2*x + 816 = 0, -4*b + 3*x = i. Does 6 divide ((-1)/(-2))/(b/(-80) + -2)?
False
Let k = -177 + 173. Let a(q) = 22*q**2 + 11*q + 28. Does 24 divide a(k)?
True
Suppose 6*r - 7*r + 5 = 0. Let z(k) = -k**2 + 17*k + 12. Is z(r) a multiple of 9?
True
Let q = -8 + 16. Suppose -24*f + 1122 = 9*f. Let o = f - q. Is 26 a factor of o?
True
Suppose -40 = 10*y - 6*y. Let a(w) = w**3 + 11*w**2 + 8*w + 16. Let z be a(y). Let d = z + -15. Is d a multiple of 21?
True
Suppose 1252 = -6*v + 442. Let k = -51 - v. Is k a multiple of 5?
False
Is 14 a factor of 16/18 - 628070/(-45)?
True
Is 8 a factor of 4/30 - ((-724827995)/42600 + (-2)/16)?
False
Let k be 12 - 0*(-5)/(-60). Suppose 5*m = -417 + 1872. Suppose -825 - m = -k*z. Is 38 a factor of z?
False
Let u be (5/(-10)*8)/(2/(-3)). Let f be 330/(-25)*(-40)/u. Let s = 142 - f. Is 18 a factor of s?
True
Suppose 2*j + 2 = 16. Let n = j - 3. Suppose -n*d + 10 + 374 = 0. Is d a multiple of 29?
False
Suppose r - 2*r = -2*m + 8, -2*m - 2*r = -8. Let c be (202/16)/((-1)/(-12)) + 18/12. Suppose c = m*b - b. Is 26 a factor of b?
False
Let b(w) = w**2 - w - 1. Let s be b(0). Let l be (-24)/6 - 14*s. Suppose -z = -c + 12, 3*z + l = 2*c - 14. Is c a multiple of 3?
True
Suppose 0 = 5*x - 4*n - 710, 2*x + 710 = 7*x + 5*n. Let o = x - 139. Is o a multiple of 2?
False
Let z be -5 + 3/(-4)*-4. Is 21 a factor of z + 35/20 - (-898)/8?
False
Suppose 0 = q - 35 - 3. Suppose 0 = q*c - 35*c - 993. Does 18 divide c?
False
Let f(h) = h**3 - 20*h**2 + 51*h + 9. Let z be f(17). Suppose -z*d + 5*d - 1066 = -5*i, d - 206 = -i. Is i a multiple of 10?
True
Let u be 279/45 + (0 - 2/10). Suppose 3*d + 3*s - u = 0, -4*d = -d + 5*s. Suppose 2*i - 46 = -3*k + k, -d*k + 59 = 3*i. Does 4 divide i?
True
Let b(o) = 4456*o**2 - 29*o - 30. Is b(-1) a multiple of 81?
True
Let y = 36 - 39. Let x = -24 - -18. Does 29 divide 3 + ((-52)/x)/((-1)/y)?
True
Let k be ((-98)/(-6) + -15)/(2/39). Let m = k - -157. Is m a multiple of 2?
False
Suppose -10*i + 2624 = -8*i - 4*x, -2*i + 2648 = 2*x. Suppose i = -12*s + 22*s. Is 22 a factor of s?
True
Let d = 79307 + -41340. Is d a multiple of 58?
False
Does 45 divide (-2)/(-8) + 60575/20*1?
False
Suppose 0*d + r = 2*d - 15, -d - r = -9. Let s(k) = -3*k**2 + 15 - 11*k + k**2 + 4*k**2. Is 11 a factor of s(d)?
True
Let m be (8 - -4)*(-6)/(-8). Suppose p = 4*p - m. Suppose -p*d - 9 = -204. Is d a multiple of 5?
True
Suppose 0 = -2*q - 5*v, -3*q - 2*q - 4*v = 0. Let m be (15 - 17)*(-59 - q). Suppose -5*l + 0*s - 2*s + 196 = 0, -3*l - s = -m. Is 10 a factor of l?
True
Let q(b) = 2*b**2 + 4*b. Let a(i) = -4*i**2 - 2*i + 37. Let r(x) = -7*x**2 - 5*x + 73. Let m(f) = -5*a(f) + 3*r(f). Let n be m(-8). Does 15 divide q(n)?
True
Let p = 98 - 83. Suppose p*x = 13*x + 64. Suppose 27*b + 225 = x*b. Is 5 a factor of b?
True
Does 230 divide 383024/22 + ((-6)/55)/((-1452)/(-2420))?
False
Let a(v) = 2*v**2 - 23*v + 27. Let w(f) = f + 9. Let m be w(-5). Suppose -m*y + 53 = -3*g, 3*y + g - 21 = 9. Is 16 a factor of a(y)?
True
Let d(l) = -l**2 - l - 1. Let y(a) = 61*a**2 + 18*a - 90. Let t(w) = -4*d(w) + y(w). Is t(4) a multiple of 51?
False
Let c be (-14)/28 - (-218)/4. Suppose -4*v - 27184 = -3*d, -4 = 2*v + 2*v. Is 20 a factor of (d/c - 8) + 2/9?
True
Suppose -10021 = 15*u - 22335 - 36871. Does 6 divide u?
False
Let x = 16 + -16. Let o(u) = -u**2 + 4*u + x*u + 47 - 6*u. Is 9 a factor of o(0)?
False
Let b(d) = -78*d - 14. Let t be b(-4). Let u = t + -172. Is u a multiple of 14?
True
Let h = 9 + -3. Suppose 9*q - h = 6*q. Let b(o) = 12*o**3 + 3*o**2 - 1. Is b(q) a multiple of 36?
False
Let h(m) = 4*m + 20. Let w be h(-32). Does 16 divide -168*((-5)/(-3))/(42/w)?
True
Is 62 a factor of (-16 - 1344/(-80))/((-2)/(-6035))?
False
Suppose 13*j + 1450 = 5974. Suppose -j = -2*k + w, 4*w + 0*w + 16 = 0. Is k a multiple of 4?
True
Suppose -4*c - 2*p + 20390 = 0, 35*c - 3*p = 33*c + 10207. Is c a multiple of 15?
False
Let p(t) = -2*t**3 + 11 - 12 - 17*t**2 + 4 - t**3 + 10 - 44*t. Does 22 divide p(-7)?
False
Let s be 90/14 + (-27)/63. Let r(p) = 12*p + 6*p + 7 + s*p. Does 32 divide r(4)?
False
Let n(k) = 2*k**3 + 8*k**2 - 22*k + 80. Is 76 a factor of n(10)?
True
Suppose 11*h - 60 = 8*h. Does 29 divide 5182/h - (-10)/(-100)?
False
Suppose -3*u = 4*w + 22, -4*u = -3*w + 5*w + 16. Let y(z) = 109*z**2 + 6*z + 11. Is 15 a factor of y(u)?
True
Let i = -497 + 3157. Is i a multiple of 14?
True
Let m = 3185 - 1447. Is m a multiple of 79?
True
Suppose 5*m + 4*t + 3 = 1, -2*t = m + 4. Suppose -6 = -m*s, -6 = -5*y - 0*s + 3*s. Is 4 a factor of 10/y*966/115?
True
Let f(t) = -t**2 - 42*t + 137. Let y be f(-45). Does 45 divide (-172 - (-3 - 7))/(y/(-10))?
True
Let r be (34/6)/(5/(-540)*-6). Let z = r - 132. Does 21 divide (-5)/z*-14*1*-36?
True
Let q(h) = 8 + 19*h + h**3 + 14*h**2 - 2*h - 2. Let o = 1284 + -1296. Does 40 divide q(o)?
False
Let x(k) = 8*k - 272. Let u be x(34). Suppose u = -56*d + 51*d + 930. Is 26 a factor of d?
False
Suppose -24*n + 59001 = -17359 - 11624. Is n a multiple of 74?
False
Let u(f) be the second derivative of f**3/2 + 85*f**2/2 + 45*f - 2. Is u(29) a multiple of 13?
False
Suppose -11*m + 245 = q - 12*m, -3*q - 3*m + 705 = 0. Is q a multiple of 4?
True
Suppose f = -5*w + 6467, -f = -2 - 0. Let v = w - 708. Is v a multiple of 9?
True
Suppose 2*a = -4 - 0. Let c(o) = 10*o - 6. Let z(q) = 20*q - 11. Let i(x) = a*z(x) + 5*c(x). Is i(4) a multiple of 10?
False
Suppose 4*a = -12*a + 7*a + 41355. Does 76 divide a?
False
Is 17 a factor of (504/(-140) + -24)/((-2)/275)?
False
Suppose 84499 = -88*l + 108*l - 56701. Does 75 divide l?
False
Let r(z) = 368*z + 4. Let g be r(4). Suppose -4*m - g = -4*u - 9*m, -3*m = -u + 386. Is 17 a factor of u?
True
Suppose -5*z = 3*r + r - 20