factor of c?
True
Is ((-336)/40)/(5/(-425)) a multiple of 61?
False
Let c(k) = 7*k**2 - 3*k + 6. Let a be (-12)/(-5) - 9/(-15). Does 20 divide c(a)?
True
Suppose 2*x + i = 26, 5*x + 0*i = 3*i + 65. Suppose -5*y = -120 - 25. Let s = y + x. Is 21 a factor of s?
True
Let d(t) = 29*t - 2. Let q be d(1). Let b = 33 - q. Is b even?
True
Let z = 40 + -37. Suppose -3*n - 3*d + 89 = -n, z*n - 127 = 2*d. Suppose 0 = 5*m + n - 413. Is 37 a factor of m?
True
Suppose 5*k - 45 = 8*k. Is 19 a factor of 77/4 - k/(-60)?
True
Let s(n) = 57*n + 131. Is s(10) a multiple of 26?
False
Let o(x) = 15*x**2 - 11*x - 73. Does 36 divide o(-7)?
False
Let o = 1078 + -634. Is o a multiple of 9?
False
Let p(f) = 25*f**2 - 14*f + 6. Is p(4) a multiple of 12?
False
Let n = 1262 + -803. Does 14 divide n?
False
Let m = 14 + 1. Suppose -2*d = 5*c - 14 - 7, -3*c + m = 2*d. Suppose 3*i = 5*w + 115, -d*i + 0*w + w = -95. Is i a multiple of 6?
True
Is 22 a factor of 6/(-21) - 18492/(-42)?
True
Suppose 27*u - 290 = -2*u. Is 2 a factor of u?
True
Suppose 0 = 5*w - p - 319, 5*p + 123 = 3*w - w. Suppose 3*h + 2*u + 47 = 0, 6*h - 2*h + 4*u = -w. Let l = 45 - h. Does 23 divide l?
False
Let l(f) be the first derivative of 2*f**3/3 + 23*f**2/2 + 19*f + 41. Is l(-12) a multiple of 5?
False
Is 13 a factor of -3 - 0 - (-15 + 10 + -563)?
False
Is 10 a factor of (1 + (6 - 0) - 6) + 109?
True
Let v = 1001 - 481. Does 8 divide v?
True
Let z = -1329 - -1485. Is 13 a factor of z?
True
Suppose 327 - 122 = 5*i. Let h = 71 - i. Let c = -3 + h. Is c a multiple of 25?
False
Suppose -2*x + 176 = -4*g, -8*g + 43 = -5*x + 479. Is 7 a factor of x?
True
Suppose -a + 9 - 6 = 0. Does 32 divide (a/(-9))/(1/(-153))?
False
Suppose 4*x + j - 635 = 0, 2*x + 0*j - j - 325 = 0. Suppose 5*k = 10*k - x. Does 16 divide k?
True
Let c(y) = -14*y - 210. Let h(b) = 2*b. Let w(q) = -c(q) - 6*h(q). Is w(0) a multiple of 15?
True
Let w(h) = -12*h**3 - 2*h - 4. Let i = 2 + -4. Does 24 divide w(i)?
True
Suppose -3*i + 3 = 6, -2*i = -4*p + 14. Suppose 2*j - 194 = -4*k, p*k - 2*k + 5*j - 35 = 0. Does 10 divide k?
True
Suppose -3*w + 28 = -x + 233, -3*x - 3*w = -567. Is x a multiple of 4?
False
Suppose -3*h = -5*a - 1164, -1971 = -5*h - 2*a - 0*a. Is 20 a factor of h/6 - 7/(-14)?
False
Is (-2625)/(-6) + ((-2)/(-1))/4 a multiple of 8?
False
Suppose -2*j = 3*q, 2*q - 8 = 4*q. Does 10 divide 4009/57 + (-2)/j?
True
Let m = 45 + -82. Let o = m + 110. Does 12 divide o?
False
Suppose -y - 12 = -4*y. Is 31 a factor of (-1 - (y - 1)) + 110?
False
Is 51/(-68) - (-454)/8 a multiple of 7?
True
Let k(o) = 12*o - 20. Let b be k(-12). Let y = b - -278. Is y a multiple of 16?
False
Suppose c - 2*q - 14 = q, 3*c = 3*q + 24. Suppose 0 = 5*a - 2*f - 17, -c*f + 29 + 16 = 5*a. Suppose 112 - 17 = a*p. Is 4 a factor of p?
False
Suppose -13*i + 9*i - 3*r = -522, -5*r - 670 = -5*i. Does 24 divide i?
False
Let s(h) = -3 + h**2 - 4 - 5*h + 0*h. Suppose 3*g = -7*m + 6*m - 3, -3*g = 5*m - 33. Does 8 divide s(m)?
False
Suppose 0 = -v + 4*k + 37, 3*v + 4*k + 0*k - 31 = 0. Suppose 20*p = v*p + 21. Does 2 divide p?
False
Suppose 5*q - 3055 = -260. Is q a multiple of 28?
False
Let k = 19 - 21. Let y(l) = -9*l**3 - 6*l - 1. Does 14 divide y(k)?
False
Let v = 1 - -4. Suppose v*y + 15 = 1435. Suppose f - 5*l = 37, -5*l + y - 61 = 4*f. Is 15 a factor of f?
False
Let z(i) = -2*i + 41. Let a be z(18). Suppose -g + 602 = 5*x, -a*x - 2*g + 604 = -0*x. Is x a multiple of 22?
False
Is 29 a factor of -31 - -40 - (1 - 2835)?
False
Let j = 13 + 0. Let g = -29 - -17. Let a = j - g. Does 25 divide a?
True
Suppose j + 25 = 5*w, 5*w - 33 = 3*j + 4*w. Let n(y) = y**3 + 11*y**2 + 5. Let h be n(j). Is 14 a factor of (h/20)/((-3)/(-8))?
True
Suppose 220 = 5*d + 5*o, -d + 2*o = -2*o - 54. Let r = 186 - 183. Suppose -c = -2*m - 7, m = -r*c - 2*c + d. Is 5 a factor of c?
False
Let d = -91 + 1335. Is d a multiple of 25?
False
Let n(m) be the first derivative of m**4/4 - 6*m**3 + 17*m**2/2 + 3*m - 4. Let f be n(17). Let q(t) = t**2 + t - 3. Is q(f) a multiple of 2?
False
Let g = -1 - -1. Suppose -5*u = 2*c + 4, -5*c - 10 + 0 = 3*u. Suppose 5*p + u*p - 160 = g. Is p a multiple of 16?
True
Let z be (-81)/(-63) - 2/7. Does 3 divide z + (2 + 22)/3?
True
Suppose 0 = -7*j + 5*j + 1200. Suppose -4*f = f - j. Suppose -s = s - f. Is 20 a factor of s?
True
Suppose -5*d + 6*d - 297 = 0. Suppose -4*s + 2*x + 190 = 0, 5*x - 104 + d = 4*s. Does 15 divide s?
False
Suppose -2*d + 942 = 4*i, 3*d + 483 = -4*i + 6*i. Is i a multiple of 9?
False
Is (-2)/(-3) - (-121)/3 a multiple of 13?
False
Let c = -12 - -16. Suppose 0 = -4*n + 12, a = c*n - 69 + 12. Let u = -20 - a. Is 11 a factor of u?
False
Suppose -180 = -2*m + 6*m. Let k be (30/m)/((-4)/162). Let p = k + -18. Is 2 a factor of p?
False
Suppose 196 = -5*h + t, -8 = 2*t - 0*t. Suppose 0 = -5*i + 11*j - 12*j + 79, -4*i + 2*j + 66 = 0. Let p = i - h. Is p a multiple of 14?
True
Let y(x) = x**3 - 2*x**2 - 9*x - 9. Let i be y(8). Suppose 3*t + 3*c - i = t, -3*t + 435 = -2*c. Does 32 divide t?
False
Let m = -60 + -21. Let h = m - -144. Is h a multiple of 7?
True
Suppose 4*p + 6 = 7*p. Suppose 3*w = 11 - 2, p*w = 3*q - 156. Does 18 divide q?
True
Suppose -u + 483 = 3*q, -3*u - 5*q + 1911 = 474. Is u a multiple of 9?
False
Suppose -5*o - 2*a = -4950, -4*a + 1980 = o + o. Is o a multiple of 79?
False
Suppose -3 = -0*i - 2*i - t, 4*i + 4 = -4*t. Suppose -q - 100 = -c, q + i + 0 = 0. Suppose -5*d + 19 = -c. Does 12 divide d?
False
Is 97/(-291) + 820/3 even?
False
Let i(t) = -3*t + 12. Let r(w) = w - 1. Let o(h) = -i(h) - r(h). Let u be o(11). Suppose u + 33 = k. Is k a multiple of 7?
False
Let d(z) = 68*z**2 + 13*z - 7. Does 5 divide d(-3)?
False
Let v(j) = 2*j**2 + 7*j - 10. Suppose 22 = -6*m + 3*m - 4*b, -m + 5*b = 20. Let k be v(m). Suppose 7*c - 2*c = k. Is c a multiple of 9?
False
Let c(r) = -7*r**3 + r - 5*r**2 + 11 + 6*r**3 + 0*r**3. Let m be c(-5). Let l(d) = -d**2 + 11*d + 6. Is l(m) a multiple of 9?
True
Suppose 117 = -3*f + 804. Does 7 divide f?
False
Let y = -2900 + 5315. Is y a multiple of 14?
False
Is (-553)/77 + 7 - 16218/(-22) a multiple of 11?
True
Let q = 4 + -2. Let b(m) = -3*m + 10. Let i be b(-6). Suppose -4*s = 5*g - 151, -g + q*g + 3*s = i. Is 6 a factor of g?
False
Suppose -5*u + 2*u = -2016. Suppose -9*p + 6 = 5*v - 12*p, -2*p = v + 4. Suppose v = -0*b + 7*b - u. Does 15 divide b?
False
Let f(g) be the second derivative of -g**5/60 - 11*g**4/24 + 5*g**3/6 + 3*g**2 + 9*g. Let x(d) be the first derivative of f(d). Is 7 a factor of x(-5)?
True
Is 12 a factor of -5 + 0 + 102 - 2/2?
True
Suppose 0 = 11*x - 19 - 25. Suppose 5*q + 0*a - 101 = 2*a, 3*a = -x*q + 67. Does 7 divide q?
False
Suppose -18 = -2*c - 0. Suppose c*g - 78 = 6*g. Is 13 a factor of g?
True
Suppose 20 = 4*l, -4*p + 2*l - 2 = -0*p. Let h be 44/12 + p/6. Suppose 0*i + 2*r = 2*i - 90, h*r + 222 = 5*i. Is i a multiple of 14?
True
Let s = 2 - -3. Let q(f) = -9*f - 165. Let j be q(-21). Suppose -s*y + 116 = -j. Is 28 a factor of y?
True
Let i(c) = 50*c**2 - 3*c + 46. Does 21 divide i(5)?
True
Does 9 divide -4724*((-4)/(-112) - 2/7)?
False
Let d be -1 + 0 + 4/1. Suppose d*v = -0*v - 549. Is 15 a factor of v/(-12) + 3/(-12)?
True
Suppose 0 = 3*n + w - 6, 2*w - 2 = -3*n + 1. Let c(o) = 5*o + 3*o + o + n. Does 19 divide c(6)?
True
Suppose -3 = -3*p, 170 = 3*h + 2*p - 0*p. Suppose 3*q + h = 5*w + 19, -q - 17 = -4*w. Is 11 a factor of q*16*(-2)/6?
False
Let x(m) = -48*m - 47. Does 21 divide x(-9)?
False
Suppose -4*q + 3255 = 5*s, -2*q = -4*s - 1263 - 345. Is q a multiple of 31?
False
Let r(a) = a**3 + 4*a**2 + 3*a - 2. Let i be r(-2). Let z = 60 - i. Let t = 117 - z. Is 19 a factor of t?
True
Let s(t) = t**2 - 16*t - 13. Let i be s(16). Let l(p) = -p**2 - 19*p - 12. Does 22 divide l(i)?
True
Suppose 38*x = 20*x + 2034. Is x a multiple of 4?
False
Let o(c) = c**3 + 4*c**2 - 3*c - 10. Let a be o(-4). Suppose -2*p + 80 = a*g + 3*g, -15 = 3*p. Does 9 divide g?
True
Does 4 divide (-2)/((2/40)/((-38)/5))?
True
Suppose 11*h - 15 = 6*h. Suppose 0 = -h*a - 3 + 27. Is a a multiple of 8?
True
Let c(r) be the second derivative of r**5/4 + r**4/3 - 2*r**3/3 + r**2 - 13*r. Let l be c(3). Let n = l - 100. Does 9 divide n?
False
Suppose 2*z + 1 = b, 4*b = -3*z - z + 16. Let h = 7 - z. Is 10 a factor of -