- f**4/3 - 8*f**3/3 + 22*f**2. Let g be t(-5). Is -1 - -4 - (-4 + 76)*g a multiple of 15?
True
Suppose -8*z - 1492 = -11*z + 2*b, -484 = -z + 4*b. Suppose 3*u - 4*i = -u + z, -2*u - 2*i + 262 = 0. Is 9 a factor of u?
False
Let a = 62 - 232. Does 5 divide 10/(((-5)/a)/((-2)/(-4)))?
True
Suppose -2*x = 53 + 479. Let q = x - -661. Is q a multiple of 54?
False
Let p = -45 + 156. Suppose 5*m + p = -v + 3*v, -4*m - 20 = 0. Is v a multiple of 2?
False
Let h(v) be the first derivative of -6*v**2 - 2*v - 9. Let j be h(-7). Is 2 + (j/6 - (-8)/(-12)) a multiple of 12?
False
Let z(d) = d**3 + 10*d**2 + 8*d - 5. Let a be z(-9). Suppose n - a = 0, -w - 7*n + 17 = -2*n. Let m(p) = -p**3 + p**2 + 5*p + 4. Does 4 divide m(w)?
False
Let n(y) = y**3 - 32*y**2 + 91*y + 39. Let x(c) = 86*c - 57. Let q be x(1). Is n(q) a multiple of 21?
False
Let b(o) = -33*o - 33. Suppose 50*c - 56*c = 54. Is 22 a factor of b(c)?
True
Suppose 5*j = 0, 2*j + 1025 = -4*x + 5265. Does 16 divide x?
False
Let p be (5/(-1) - -2) + 24. Suppose -t = -p*t + 16540. Suppose t = 9*l - 1441. Is l a multiple of 17?
False
Let a(p) = -28*p - 40. Let r = 49 + -40. Let n be a(r). Let i = 430 + n. Does 23 divide i?
True
Let b = 92 - 187. Suppose d - 168 = 2*u, -3*d - 2*u + 414 = -122. Let h = d + b. Does 16 divide h?
False
Let q = -41755 + 75343. Is 108 a factor of q?
True
Let t(c) be the second derivative of 17/6*c**3 - 21*c + 0 + 0*c**2. Is t(7) a multiple of 38?
False
Suppose 8871 = -23*c + 108047. Is 22 a factor of c?
True
Let n(l) = 519*l**3 + 13*l**2 - 9*l - 3. Is n(1) a multiple of 13?
True
Is 117 a factor of (-32 + 29)*-1528*-6*(-2)/9?
False
Suppose 0 = -23*l + 13*l. Suppose l = -3*o + 31 + 2. Is 5 a factor of o?
False
Suppose 0 = 5*f - r + 8715, 4*f - 26*r = -29*r - 6953. Let s = 3086 + f. Is 17 a factor of s?
False
Let f = 43914 - 27669. Does 15 divide f?
True
Let x be ((-801)/60 - (-24)/40)*-4. Suppose 43 = -4*i + 15. Let j = x + i. Does 11 divide j?
True
Let p = -1314 - -19314. Does 12 divide p?
True
Suppose 0*x + 2*u = -4*x - 922, 238 = -x - 3*u. Let w = 258 + x. Is 3 a factor of w?
False
Let j = 4109 + 209. Does 34 divide j?
True
Let u(s) = -341*s + 377. Is 24 a factor of u(-24)?
False
Let k(x) = -4*x - 74. Let d be k(-19). Suppose 3*f = -s + 904, 6*s - 10*s = d*f - 616. Does 60 divide f?
True
Suppose -l + 20*w + 16970 = 23*w, -17006 = -l + 3*w. Does 124 divide l?
True
Suppose -4*t - 59 = -5*x, 5*x = 3*t + 65 - 2. Suppose 0 = -x*j + 25*j - 4480. Does 7 divide j?
True
Suppose a = -2*k + 8 + 3, 5*k - 19 = -2*a. Suppose 0 = a*g - 4*g - 8112. Is 48 a factor of g?
True
Suppose -3*d = -5*d - 5*v - 4, -25 = -5*d + 5*v. Let q(o) = o**3 - 2*o**2 - 4*o + 5. Let u be q(d). Suppose -u*t + 151 + 9 = 0. Is 10 a factor of t?
True
Let s(z) = 508*z + 62. Does 27 divide s(7)?
True
Let y(b) = b + 10. Let l be y(-5). Suppose l*w + 423 = 2*h, -h + 550 - 211 = -4*w. Let a = -55 - w. Is a a multiple of 14?
False
Let d(o) = -102*o - 18. Let l(x) = x**3 + 18*x**2 + 31*x - 18. Let n be l(-16). Is 55 a factor of d(n)?
False
Suppose -5*w - 2*h + 90390 = 0, 19*w - 18*w - 18085 = h. Is w a multiple of 23?
False
Let q(p) = -p**3 - p**2 + 52*p + 13617. Is q(0) a multiple of 215?
False
Suppose -811 = 3*v - 3*s + 4*s, 2*v = 3*s - 559. Let a = v - -165. Let r = 151 + a. Is 11 a factor of r?
True
Let k = 18 + -14. Suppose 3*i - k*i = -4. Suppose 105 = -w + i*w. Is 22 a factor of w?
False
Is (-1)/(((-165)/110594)/15) a multiple of 86?
False
Let a(h) = -5*h**2 - 39*h + 6966. Is 54 a factor of a(0)?
True
Let o(t) = t + 2. Let u(a) = -18*a - 28. Let c(z) = -28*o(z) - 2*u(z). Is 62 a factor of c(31)?
True
Let p = -4905 + 17517. Is p a multiple of 12?
True
Suppose -2593*k - 251754 = -2599*k. Is 22 a factor of k?
False
Let s(t) = 186*t**2 - 18*t - 104. Is s(-7) a multiple of 8?
True
Suppose -96*s = -92*s - 52. Suppose 0 = 5*j + s*j - 10062. Is j a multiple of 40?
False
Let b(c) = 4*c - 4. Suppose n + 0 = 1. Let x be b(n). Suppose x = -11*m + 13*m - 186. Does 9 divide m?
False
Let o be -146*1/3*-6. Let d = -127 + o. Is 33 a factor of d?
True
Let l be 3*(-2)/12*4 + 22. Let p = l + -19. Does 7 divide p - 4 - ((-22 - -3) + -7)?
False
Suppose -126 = 25*b - 4*b. Let g(a) = 16*a**2 - 3*a - 46. Is g(b) a multiple of 14?
False
Suppose 15608 = 10*o + 1208. Is 15 a factor of o?
True
Let c(w) = -1 - 134*w - 1 - 122*w - 195*w. Let x be c(-2). Suppose 26*o - x = 21*o. Is 18 a factor of o?
True
Suppose 116*f - 779921 = -93*f + 600315. Does 156 divide f?
False
Suppose -3*m = -4*y - 7, m - 9 = 4*y - 6*y. Let w(u) = -u**y - u**2 + 4*u**2 + 7*u. Is w(-5) a multiple of 5?
True
Let z = 184 - 137. Suppose z*k + 2780 = 51*k - 4*b, 3*k = -5*b + 2125. Does 28 divide k?
True
Suppose -541989 = -345*t + 898340 + 1262056. Is t a multiple of 144?
False
Let s be (68/(-16) + 4)*(4 - 4). Let a(j) = -j**3 - 22*j + 221. Is a(s) a multiple of 16?
False
Let i(u) be the third derivative of -7/60*u**5 + 32*u**2 + 0*u + 0 + 1/12*u**4 - 1/6*u**3 + 1/120*u**6. Is i(7) even?
False
Let h(y) = -352*y - 855. Is h(-72) a multiple of 9?
True
Let o(p) = -p**2 - 40*p + 223. Let y be o(5). Is ((-28)/(-28))/(y/(-730)) a multiple of 56?
False
Let a = -51 - -46. Let n(v) = 20*v + 125. Does 2 divide n(a)?
False
Let y = 13221 - 11062. Does 29 divide y?
False
Suppose -2*j + 5*s - 1409 + 42230 = 0, -4*s = -12. Does 249 divide j?
True
Let q = 810 - 845. Let l be (2/(-4))/(2/156). Let p = q - l. Is 2 a factor of p?
True
Let v = 987 - 503. Let w = -339 + v. Is 13 a factor of w?
False
Suppose 110*q + 577752 = 166*q. Is 57 a factor of q?
True
Let y(h) = 122*h + 23688. Is 9 a factor of y(0)?
True
Suppose 10*f + 29*f - 799744 = -169114. Does 126 divide f?
False
Let z be (-2)/1*(1 - (-5 - -10)). Suppose 3*p = m + 356, 5*m = -z*p + 3*p + 600. Suppose -4*b = -289 - p. Is 17 a factor of b?
True
Let p = -1668 - -1832. Let s(h) = -24*h**2 + 2*h - 2. Let r be s(2). Let j = r + p. Is j a multiple of 14?
True
Let z be ((-18)/12)/(0 + (-9)/12). Suppose z*a = 2*u - 510, 5*u - 2*u = -5*a + 805. Is 12 a factor of u?
False
Let z = -282 - -287. Suppose z*g - 930 = 1145. Does 45 divide g?
False
Let r = 468 + -306. Let f = -1561 + 1561. Suppose f = -3*v + r + 27. Is 7 a factor of v?
True
Does 86 divide -2*3/(-9) + ((-17608)/12)/(-1)?
False
Suppose 5*i = t + 11, t + 4*i - 8*i + 10 = 0. Does 7 divide (-21)/(-6)*21*(-4)/t?
True
Let n(s) = -3*s - 9. Let m be n(-4). Suppose m*g - 2274 = -3*d, 108 = -4*g - 5*d + 3137. Suppose 6*q - g = 205. Is 35 a factor of q?
False
Suppose 124302 = 7*y - 3*y + 2*a, -5*a - 155445 = -5*y. Is 15 a factor of y?
True
Let h(d) = -d**2 - 19*d - 6. Let f be h(-22). Does 6 divide (f/14)/((-36)/1008)?
True
Suppose -5*p + 5*n - 40 = 0, n - 2 = -57*p + 55*p. Let l(k) = -35*k - 3. Let s(b) = -106*b - 8. Let w(j) = -17*l(j) + 6*s(j). Does 12 divide w(p)?
False
Let h(p) = 119*p - 6211. Is h(75) a multiple of 5?
False
Let g(v) = v**3 + 6*v**2 + 4*v - 8. Let a be g(-3). Suppose -5 = 5*l, 4*r - 12*l - 405 = -a*l. Does 5 divide r?
True
Suppose 120*u = 121*u - 136. Let v(i) = i**3 + i**2 + i - 44. Let z be v(0). Let j = u + z. Is j a multiple of 19?
False
Suppose 104*m = 97613 + 95307. Is 2 a factor of m?
False
Let x = -28225 - -31753. Is x a multiple of 181?
False
Let q(a) = 6*a + 103. Let m(g) = -g + 2. Let v(s) = m(s) - q(s). Is 21 a factor of v(-20)?
False
Suppose 2*u = -0*k - 4*k - 2, -u = k - 1. Suppose 3*x + u + 6 = -a, x - 1 = -a. Is 32 a factor of -4 - -30*15/a?
False
Let t(y) = -y + 8. Let i be t(3). Suppose 2*m - 26 = -4*p + 4*m, 0 = -i*p - 2*m + 10. Does 14 divide 3/(-6)*p + 63?
False
Suppose 20 = -68*i + 73*i. Suppose i*u + 4 = -8, k - 2*u - 17 = 0. Is 2 a factor of k?
False
Let l(o) = 52*o**2 - 9*o + 35. Let a(i) = 105*i**2 - 19*i + 75. Let v(u) = -6*a(u) + 13*l(u). Does 10 divide v(3)?
True
Suppose 57 - 150 = 3*r. Let d(k) = -7*k + 15. Let z be d(4). Let i = z - r. Is i a multiple of 9?
True
Let i be ((-3)/(-4))/(200/32 + -6). Suppose -c = 5*w + 2*c - 21, -5 = -i*w + 2*c. Suppose 2*s + 2*s + 3*t - 57 = 0, -w*t - 3 = -s. Is 6 a factor of s?
True
Let x(g) be the third derivative of 11*g**5/60 - 23*g**4/24 - 46*g**3/3 - 73*g**2 + 2. Is x(-7) a multiple of 16?
True
Let a be 4*1*(822/(-4))/(-3). Suppose 5*t - a = 4*t. Suppose 7*f + 113 = t. Is 2 a factor of f?
False
Let d be (-3)/(-4