factor of n?
False
Let d = -15227 + 48238. Is d a multiple of 96?
False
Suppose 0*g + 10*g = 20. Let q be (9/(-21)*g)/(8/(-28)). Suppose -3*i - q*i = -336. Is i a multiple of 10?
False
Let c(q) be the third derivative of q**6/120 + q**5/12 - q**4/4 + 2*q**3 - 20*q**2. Let r be c(4). Suppose x - 5*x + r = 4*i, 0 = 4*x - 8. Does 31 divide i?
True
Suppose 26*m + 38*m - 1837382 = -15*m. Does 29 divide m?
True
Suppose 0 = -32*m + 11327 + 16897. Suppose 14*n - m = -7*n. Does 2 divide n?
True
Suppose -12*t - 3604 = -17416. Is t a multiple of 29?
False
Let g(u) = -1. Let y(b) = -2*b - 13. Let i(p) = -4*g(p) - y(p). Let o be i(-7). Does 8 divide (-3)/4 + o/((-48)/(-1004))?
False
Let f(z) be the third derivative of -7/3*z**3 + 0*z + 7/60*z**5 + 0 - 6*z**2 - 1/8*z**4 + 1/120*z**6. Does 2 divide f(-7)?
False
Is (3/(-4))/((-4)/(-8))*(-464276)/222 a multiple of 3?
False
Let v(c) = -1438*c - 408. Is v(-12) a multiple of 26?
True
Let j = -316 + 334. Suppose 8*f + j*f - 19266 = 0. Is 57 a factor of f?
True
Suppose 2297 = 5*i + 162. Suppose -l + i = 268. Is 6 a factor of l?
False
Suppose 5*h - 29675 = -3*n, 0 = -3*n - 4*h + 9819 + 19852. Is 15 a factor of n?
True
Suppose -4*r = 4*z - 0*r - 1136, 856 = 3*z + 5*r. Suppose z = n + 5*o, 4*n + 557 - 1590 = -o. Suppose 2*j - 52 = -f + j, -5*f + n = 2*j. Is 11 a factor of f?
False
Let a = -1624 + 1939. Is a a multiple of 15?
True
Suppose -2*c - 4500 = -5*w + 4547, -4*c = 4. Is 5 a factor of w?
False
Let t(i) = 63*i - 87. Let y(j) = 64*j - 91. Let h(m) = -5*t(m) + 6*y(m). Does 60 divide h(19)?
True
Suppose 4*h + 2 = -5*o, -7*o = -3*h - 3*o + 14. Suppose 0 = 5*q - 10, h*u - 3*q - 8 = 400. Let y = u - 93. Is 19 a factor of y?
True
Let h = 91 + -88. Suppose 5*m - 9*m = -8. Suppose 6*x - h*x - 337 = m*y, 4*x + 3*y = 472. Is 23 a factor of x?
True
Let r = 2890 + -1194. Is r a multiple of 32?
True
Suppose -u = 4*b - 23, 48 = 4*u - b + 7. Suppose 270 = -u*m + 13*m. Is m a multiple of 15?
True
Let b(l) = l - 12. Let k be b(15). Suppose -2*c = -k*n - 296, n + 102 = 3*c + c. Let p = 150 + n. Does 14 divide p?
False
Let a(v) be the second derivative of 2*v**4 - v**3 + 9*v**2/2 - 8*v. Does 9 divide a(2)?
False
Suppose -4*y + 13*f - 10*f + 131914 = 0, -y + f = -32978. Does 85 divide y?
True
Does 4 divide ((3 - 0)/((-12)/(-80)))/((-156)/(-3666))?
False
Let k(a) = -5*a**2 + 61*a - 4. Let u(j) = -2*j**2 + 20*j - 1. Let y(m) = -4*k(m) + 11*u(m). Let h be y(-11). Suppose -h = -f + 99. Is 18 a factor of f?
True
Suppose 4*x = -3*o + 7 - 1, -5*x - o + 2 = 0. Suppose s + 23 = 13*r - 11*r, x = -3*r - 5*s + 54. Suppose -12*h - 19 = -r*h. Does 6 divide h?
False
Let b(r) = r**2 + 15*r - 57. Let q be b(-18). Let o be q*2/(-6) - (-5 - -6). Suppose 4*k + 5*t - 1056 = 0, o = 5*k + 2*t - 84 - 1219. Does 21 divide k?
False
Suppose -1868 = -w - 5*z, 3*w - 4788 = -5*z + 766. Is w a multiple of 12?
False
Let g be (-256)/(-3712) - 520/(-29). Is (753/(-2))/(g/(-96) - 0) a multiple of 110?
False
Let h(t) = -t**3 + 5*t**2 + 7*t - 2. Let d = -2 + 7. Let c be h(d). Suppose -c*n + 34*n = 34. Is n a multiple of 5?
False
Suppose 21 + 17 = 2*g. Suppose -12 = 17*i - g*i. Let m(t) = -t**3 + 8*t**2 - 5*t + 12. Does 27 divide m(i)?
True
Let s(a) = a**2 - 43*a + 220. Let u be s(6). Is 11 a factor of 1261 - (3 + -5 + u)?
True
Suppose -10*q - 12 = -16*q. Suppose -q*y = -15 - 7. Suppose -3*r - y = -47. Is r a multiple of 2?
True
Suppose -4*j + 2*o + 82 = 0, 0 = 3*j - 2*o - 17 - 45. Let n = -20 + j. Suppose b - 3*t - 120 - 21 = 0, b - 5*t - 145 = n. Is 15 a factor of b?
True
Suppose -5*n + 114 = 4*j, j - 9*n - 60 = -5*n. Does 9 divide j?
True
Let w = -22 - -24. Let y(a) = 4*a**2 - a + w*a - 6*a**2 + 9*a**3. Is y(2) a multiple of 22?
True
Suppose 5*t = 3*t + 8. Suppose t*p = 2*p + 378. Suppose 3*w - 201 = p. Does 12 divide w?
False
Let o(c) = c**2 - 18*c - 20. Let k be o(15). Let s = -32 - k. Is 8 a factor of s?
False
Suppose 2*l + 2 = -3*c, 0 = -2*l - c + 4*c + 10. Suppose 408 = 3*p + 4*m, -5*p + l*m - 39 + 693 = 0. Is 3 a factor of p?
True
Let l(i) = -24*i + 41 + 45 + 20*i. Does 6 divide l(17)?
True
Let h(q) be the third derivative of 1/24*q**4 - 36*q**2 + 0*q + 0 + 7/6*q**3. Is 2 a factor of h(12)?
False
Suppose -2*j - 18 + 8 = 0. Let w = j - -9. Suppose -16 = 4*t, -5*c + w*t - 3*t = -709. Is c a multiple of 11?
False
Suppose y + w = -4*w + 19, 0 = -4*w + 16. Let z be (-8 + 7)*(2 - (-12 - y)). Let d = z + 155. Is d a multiple of 12?
False
Let i(n) = -18*n + 77. Let r be i(4). Suppose -160 - 252 = -r*c - 4*v, -v + 243 = 3*c. Is 8 a factor of c?
True
Is -1 + 3015 - (0 - -4 - (162 - 162)) a multiple of 35?
True
Suppose -2*f - 151 = 273. Let g = -128 - f. Is 12 a factor of g?
True
Let q be 10/6 + 168/(-9). Is q/((-12)/8*1/3) even?
True
Suppose 7588*x + 41391 = 7589*x. Does 64 divide x?
False
Does 12 divide (-2006)/4*(-101 + 53)?
True
Let w = -27 - -78. Suppose -w*l = -56*l + 20. Suppose 5*n - 281 = -k - k, 5*n - l*k - 263 = 0. Is 10 a factor of n?
False
Let q be (3/(-6)*0)/(-2). Suppose q = 31*i - 28*i - 225. Suppose -79*o = -i*o - 988. Is 12 a factor of o?
False
Let w(x) = x**2 + 4*x - 40. Let f(d) = d**3 + d**2 - 9*d - 6. Let k be f(-4). Let z be w(k). Let c = z + -112. Is 10 a factor of c?
True
Let y(p) = 4607*p**2 + 24*p - 44. Is y(2) a multiple of 256?
True
Suppose a - k - k = 8, 0 = -4*k - 12. Let t(x) = 4*x + 11*x**2 - a + 0 + x**3 - x + 4*x. Is 19 a factor of t(-10)?
False
Let z = 536 + -547. Is 55/z - 1/(2/(-1256)) a multiple of 13?
False
Is ((-95)/10 - 3)/(11/(-2) + 5) a multiple of 5?
True
Let i(y) be the first derivative of y**4/4 - y**3 + 3*y**2/2 - 18*y - 2. Let g = 280 + -274. Does 36 divide i(g)?
True
Let v = 310 - 337. Let p(w) = w**2 + 12*w + 81. Does 18 divide p(v)?
True
Let f(r) = r**2 - 5*r - 3. Let t be f(-2). Suppose -3*c = t*x - 14*x - 696, -5*x = 15. Is 8 a factor of c?
False
Suppose 14*i + 3288 = 4*t, 16*i = 4*t + 18*i - 3352. Does 19 divide t?
True
Let j = -4851 - -5987. Does 71 divide j?
True
Suppose 5*s - 6*s = 2. Let a be (10 + (-24)/6)/(s/(-18)). Let u = a + 27. Is 10 a factor of u?
False
Let x = -40 - -33. Let b be 36/10 - (28/10)/x. Suppose 2 = -b*h + 102. Does 13 divide h?
False
Let q = -92 + 96. Suppose 0 = -q*c + c - 5*u + 388, 0 = 5*c + 3*u - 636. Does 42 divide c?
True
Let l(i) = 20*i - 15. Let w(n) = -8*n - 85. Let v be w(-11). Is 2 a factor of l(v)?
False
Let w(o) = 3*o**2 + 39*o - 252. Is w(59) a multiple of 6?
True
Suppose 49*y = 2173743 - 1429628 + 1699417. Does 14 divide y?
True
Let k = 1476 + -876. Does 40 divide k?
True
Let h(s) = s**2 + 19*s - 42. Let k be h(-17). Let i = 112 + k. Is 12 a factor of i?
True
Let u = 10 + -8. Let s be 1 + 0 + (u - -2). Suppose -d - 120 = -s*d. Does 10 divide d?
True
Let n(h) = 104*h**3 - h**2 - 6*h + 93. Is 106 a factor of n(5)?
True
Let w(n) = -n**3 - 50*n**2 + 88*n + 388. Is w(-55) a multiple of 20?
False
Let w(m) = -m**2 + 6*m + 10. Let g be w(6). Let t = -9 + g. Let u = 18 + t. Does 3 divide u?
False
Let p(i) = -5*i + 3. Let t be p(4). Let g = 15 + t. Is 29 a factor of (151/3)/(g/(-6))?
False
Let k = -43 + 40. Let l be (-3 - (-2 + k))*15/6. Is 28/l + (-6)/(-15) a multiple of 4?
False
Suppose -32*q + 2*z + 158878 = -28*q, -39751 = -q - 4*z. Is q a multiple of 131?
False
Let t be 144/14 - -3 - 2/7. Suppose -366 = -t*p + 934. Is 12 a factor of p?
False
Let j(g) = 28*g**2 + 22*g - 91. Let k be (-12 - -2 - -20)*1/2. Is 9 a factor of j(k)?
False
Suppose 13*f = 75832 + 218. Is 45 a factor of f?
True
Let w = 1082 - -7164. Is 7 a factor of w?
True
Suppose -6*z = -21 + 15. Let i(p) = -118*p - 1. Let h be i(z). Let j = -96 - h. Is j a multiple of 7?
False
Suppose -3*d - 5734 = -2*d - 6069. Let n(t) = -t**3 + 4*t**2 - 2*t - 1. Let z be n(2). Is 36 a factor of (z + d/(-3))*(-12)/8?
False
Suppose 0 = -3*b - b + 12. Let r(l) = -3*l**2 - 10*l**2 + l**2 + l**b + 14 - 11*l. Is r(13) a multiple of 10?
True
Let d = -19 + 23. Suppose -d*f = -3*x - 519, 7*x + 865 = 2*x - 2*f. Let y = 285 + x. Is 28 a factor of y?
True
Let f be 137376/40 - 3*(-2)/10. Suppose 14*d - 3145 = f. Is 37 a factor of d?
False
Let c(d) = -82*d**2 + 14*d - 21. Let f(o) = 28*o**2 - 5*o + 7. Let w(k) = 2*c(k) + 7*f(k). Does 13 divide w(5)?
False
Suppose -5*v - w = -4550, -4*v + 3222 = 5*w - 439. Is v/4 + (-39)/(-52) a multiple of 57?
True
