. Is 21 a factor of j(m)?
False
Let a(s) = -s**3 + 26*s**2 - s - 3. Let p be a(4). Suppose -r = -337 - p. Is r a multiple of 86?
False
Let x(u) = 12*u**2 + 50*u + 283. Does 207 divide x(-32)?
True
Let o = 2 - -17. Suppose 5*m = -25, 4*q + 5*m = -0*q + 243. Let n = q - o. Is n a multiple of 16?
True
Let k(g) = -10*g**3 - 3*g**2 + 12*g + 35. Let z be k(-5). Let c = -478 + z. Is c a multiple of 16?
True
Suppose -310*b - 4491 = -883961. Is b a multiple of 109?
False
Let w(l) be the second derivative of -2*l**3/3 + 20*l**2 - 21*l. Let s be w(9). Suppose 16 - 60 = -s*r. Is 4 a factor of r?
False
Suppose 2*d = -5*d + 2604. Let a = d - 297. Is 6 a factor of a?
False
Let i = -4472 - -6212. Is i a multiple of 15?
True
Let m = -16 + 70. Is (-12)/m - 2/(54/(-12507)) a multiple of 16?
False
Suppose -12*r + 21651 = -12981. Suppose 3*j = -9, -3*t + 3*j = 6*j - r. Suppose -7*n + t = 146. Is n a multiple of 13?
True
Let n(z) = -87*z + 326. Let a be n(9). Let c = 793 + a. Is 21 a factor of c?
True
Suppose -9*q - 149328 = -70*q. Is 5 a factor of q?
False
Suppose 0 = 6*j - 6*j + 2*j. Suppose -10*z + 2567 + 2953 = j. Does 46 divide z?
True
Let w(y) = -y**2 - 211*y - 1286. Does 17 divide w(-143)?
False
Is 364/(62/84 - (-72)/(-126)) a multiple of 45?
False
Let z(v) = 100*v + 186. Let d be z(-9). Let p = d + 1750. Is p a multiple of 101?
False
Let y be (3/(-6))/(2/(-136)). Suppose -y*z + 39*z = 255. Is 51 a factor of z?
True
Let c = 222 - 217. Is 19 a factor of -570*(c - (-2 + 148/20))?
True
Let p(i) be the first derivative of -i**3/3 + 8*i**2 + 6*i - 35. Is p(12) a multiple of 5?
False
Is (-421675)/(-12) + 11/(-44) + (-190)/570 a multiple of 53?
True
Let v(r) = r**2 - r + 12. Suppose 5*k - 32 = k. Let j be v(k). Suppose j = -4*f + 204. Does 34 divide f?
True
Suppose -334*q + 4*v - 6080 = -338*q, 0 = -q + 4*v + 1510. Does 138 divide q?
True
Let n be 5/15 + 104/39. Suppose 188 = s + 2*h, s + 7*h - n*h - 190 = 0. Is s a multiple of 80?
False
Let n = -358 - -358. Suppose n = h - 101 + 44. Is 3 a factor of h?
True
Let u = 21 + 289. Is (-5823)/(-30) - (u/100 - 3) even?
True
Let c(w) be the third derivative of 19*w**4/24 + 41*w**3/6 + w**2 - 16*w. Does 16 divide c(0)?
False
Is 5 a factor of (-5)/(-1) - -2 - (-1 - 98)?
False
Let v(c) = 4 - 24 - 35*c + 9 + 4. Does 12 divide v(-5)?
True
Suppose 610*f - 616*f + 348 = 0. Does 23 divide ((-12)/33)/((-16)/88) + f?
False
Let x = -341 - -382. Is (x - -25)*(-20)/(-6) a multiple of 20?
True
Is 9 a factor of 3557/1 - (-17 + 19)?
True
Let q(o) = -4*o + 8. Let m be q(5). Let k(a) = -a**2 - 13*a - 10. Let h be k(m). Suppose -2*d + 3*w + 210 = 0, 0*d = -h*d - 4*w + 224. Does 36 divide d?
True
Let u(f) = 1318*f - 3958. Is 159 a factor of u(10)?
True
Let n(i) = i**3 - 6*i. Suppose 0*k - 74 = -5*k + 3*z, -4*z + 8 = 0. Let c be 1 - ((-4)/(-6) - k/6). Does 5 divide n(c)?
False
Let d(m) = m**2 - m + 15. Let y be d(-4). Suppose 0 = -36*u + y*u + 324. Does 12 divide u?
True
Suppose 0 = w + n - 3687 + 1227, 0 = -5*n - 30. Is 31 a factor of w?
False
Suppose 4*i = 5*n + 158, -i = -4*n + 6*n - 46. Is 7 a factor of (-14)/i - 686/(-6)?
False
Suppose y - 4*q = 419, -2*y + 3*q + 1039 - 206 = 0. Is y a multiple of 35?
False
Let i(c) = 3423*c**2 - 457*c + 1. Is i(-1) a multiple of 31?
False
Suppose -12 = -16*q + 10*q. Suppose q*v + 213 = 5*v. Let m = v - 1. Is m a multiple of 10?
True
Suppose 3*a - 24006 = 3*z, 5*a - 16997 - 23019 = 2*z. Is 12 a factor of a?
True
Let h = 1029 - 1026. Let t = 18 - -27. Suppose 4*s + h*y = 310, -s + t + 39 = 4*y. Is 19 a factor of s?
True
Suppose -5*n = 0, -x - 4*x = 4*n - 20480. Suppose 9*a - 2456 = x. Does 26 divide a?
True
Let m = 31073 - 7763. Is m a multiple of 37?
True
Suppose 10*d - 2*d = 7808. Suppose -3*s = 4*y - 1957, -6*y - 2*s + d = -4*y. Is 6 a factor of y?
False
Suppose 46*m - 52*m - 24 = 0. Let n be m + 8 - -1*241. Suppose 3*f = -u + n, -f + 63 + 20 = u. Is f a multiple of 13?
False
Suppose 2*c - 7084 + 224 = 3936. Is c a multiple of 17?
False
Let s(j) = 433*j - 722. Does 105 divide s(4)?
False
Let t(z) = z**3 - 10*z**2 + 8*z + 11. Let n be t(9). Suppose -f + 4*i + 5 = -0, -i + n = 0. Is (-2)/f + (-5156)/(-52) a multiple of 39?
False
Let u be (-8)/60 + 826/(-105). Let i = u + 137. Is 43 a factor of i?
True
Suppose 11*y + 30 = 5*y. Let s(z) = 16*z**2 + 8*z + 3. Let a be s(y). Suppose -8*d + 939 = a. Is 8 a factor of d?
True
Let f(u) = u**2 + 6*u - 33. Suppose -8*i + x = -9*i - 14, -5*i + 2*x - 42 = 0. Is 7 a factor of f(i)?
True
Let g(l) = 217*l**3 - 2*l**2 - 103*l + 321. Is 21 a factor of g(3)?
False
Let u(y) = -y**3 + 62*y**2 - 585*y - 179. Is u(47) a multiple of 10?
False
Suppose 37*g - 36*g - 2*s = -1632, 8139 = -5*g + 3*s. Let x = g + 2572. Is 22 a factor of x?
True
Let a(m) = -m**2 + 3*m + 21. Let n be a(5). Let j = 17 - n. Suppose 2*v + j = -0, -5*w = -2*v - 561. Does 40 divide w?
False
Let u(r) = r**2 - 8*r - 30. Let d be u(12). Suppose 0*m + d*m = 15372. Is 7 a factor of m?
True
Let b be (-600)/(-105) - (-4)/14. Let s be (-2 - b)*(4 + (-9 - -2)). Let q = s - -10. Does 4 divide q?
False
Let i(h) = h. Suppose 4*n + 16 = 4*u, 4*n + 2*u - 4 = 5*n. Let w(z) = 9*z - 45. Let q(g) = n*i(g) + w(g). Is 10 a factor of q(15)?
True
Let h be (-660 - -1)/(-3 + 2). Let i = -379 + h. Is 40 a factor of i?
True
Let s be (-27)/(-63) + (199/(-7) - 3). Let d(k) = k**3 + 2*k**2 + 3*k + 7. Let f be d(-3). Let l = f - s. Is 5 a factor of l?
True
Let h = 3823 - 2463. Is h a multiple of 16?
True
Let n(z) = -4*z**2 - 7*z + 8. Suppose -4 = 2*w, -4*w - 28 = 4*s + s. Let y(o) = 17*o**2 + 29*o - 32. Let t(d) = s*y(d) - 18*n(d). Is t(-8) a multiple of 37?
False
Let v(n) = n**3 + n + 41. Let g(t) = -3*t - 35*t**2 + 2*t - 3*t + 34*t**2. Let a be g(-4). Is v(a) a multiple of 6?
False
Let o(i) = 2552*i**2 - 95*i + 174. Is 112 a factor of o(2)?
True
Let x(q) = q**2 + q - 6. Let y be x(-3). Suppose 2*p - 3*p + 5*t = 9, y = -5*t + 10. Let u(z) = 119*z + 1. Is u(p) a multiple of 24?
True
Suppose -4*r + 164 = 4*m, 2*r + 3*r = 5*m - 215. Let t = m + 393. Does 8 divide t?
False
Suppose x - 14*t + 19*t = 4, x - 4*t - 4 = 0. Suppose 3*m + 154 = -3*r + x*r, 4*m + 312 = 2*r. Is r a multiple of 4?
True
Let r be (12 - 13)*5/((-20)/1564). Suppose 0 = -2*d - 2*d - 5*v - 813, d - v + 201 = 0. Let t = r + d. Is 16 a factor of t?
False
Suppose -15*b = -124 - 416. Suppose -m + 2*s = -16, -32*s = -b*s - 8. Is 2 a factor of m?
True
Suppose 66 = -5*a - 64. Let f(r) = -13*r - 271. Is 16 a factor of f(a)?
False
Let m(z) = 843*z**3 - 7*z**2 + 40*z - 51. Does 71 divide m(2)?
True
Suppose 5*n + 439 = 434, 3*n = -4*t + 8149. Is 29 a factor of t?
False
Let a be 330/(-33)*(-82 - 1). Let p = a - 575. Is 28 a factor of p?
False
Suppose 45654 = 8*s + 2*d, -5718 = -s + 18*d - 16*d. Is s a multiple of 8?
False
Suppose 4*y - 13030 = -206*o + 204*o, 2*y - o - 6513 = 0. Is 12 a factor of y?
False
Suppose -17*k + 6524 = 5*k - 8942. Is k even?
False
Suppose 3626 + 3254 = 2*j - 4*s, 4*j = -2*s + 13790. Is 5 a factor of j?
False
Let d = 2397 + 2571. Is 27 a factor of d?
True
Let o(i) = -i**2 - 3*i - 14. Let u(q) = -q**2 - 3*q - 13. Let f(d) = 2*o(d) - 3*u(d). Let j be f(4). Does 47 divide (-4)/(-26) - (-7209)/j?
False
Let n = 447 + -448. Let c(j) = -6*j**3 + 2*j**2 + j - 2. Does 5 divide c(n)?
True
Let r(v) = 4*v**2 - v + 2. Let u be r(6). Suppose 0*q = 4*c + 2*q + u, 2*c - q = -66. Does 4 divide (1/1)/((-3)/6) - c?
True
Is 4 a factor of 2/(-2)*341612/(-410)*10?
True
Does 22 divide (-245933 - 17)/(-5) + 11?
False
Let y(p) = 31*p + 99. Let d(g) be the third derivative of -7*g**4/8 - 11*g**3 + 5*g**2. Let m(q) = 7*d(q) + 5*y(q). Is 21 a factor of m(9)?
True
Let s(r) = 140*r - 46. Let o(b) = -140*b + 47. Let w(n) = 4*o(n) + 5*s(n). Is w(3) a multiple of 54?
True
Let b = -1217 - -3965. Suppose -69*z = -65*z + 4*u - b, 0 = 5*z - 5*u - 3425. Does 30 divide z?
False
Suppose 3*m + 59036 = 5*h - 21646, 0 = 2*h + 5*m - 32279. Does 33 divide h?
True
Let h(z) = -18*z - 6. Let j be h(7). Let q be -1 - 1120/(-11) - 24/j. Suppose -2*t - t = 2*a - 311, t = 2*a + q. Is t a multiple of 15?
False
Let m(q) = -q**2 + 2*q + 6. Let u be m(-2). Let n be -5 + (6/(-4) - u/4). Is 16 a factor of 436/n*(-21)/14?
False
Suppose 2*n = -c + 283, 0 = c + 3*c - 5*n - 1119. Suppose -u + c + 263 = 5*o, -2632 = 